一类p-Laplace方程多点边值问题的数值计算
2024-09-14
来源:易榕旅网
维普资讯 http://www.cqvip.com 第45卷第3期 吉林大学学报(理学版) JOURNAL OF JILIN UNIVERSITY(SCIENCE EDITION) Vo1.45 No.3 May 2O07 2OO7年5月 一类P—Laplace方程多点边值问题的数值计算 王慧敏 ,张然 ,金光日 ,毓石 (1.长春税务学院数学系,长春130117;2.大连理工大学应用数学系,辽宁省大连116024; 3.吉林大学数学学院,长春130012) 摘要:研究如下一类P—Laplace方程多点边值问题的数值计算方法: ( ( )) + t, )=0,m一2 t∈(0,1), m一2 (0)=∑6 ( ), 法有效. (1)=∑口 (蠡). 构造一类差分格式,并对该差分格式进行误差分析和数值实验.结果表明,所给出的计算方 关键词:p-aplLace方程;差分格式;误差分析;数值计算 中图分类号:0241.81 文献标识码:A 文章编号:1671-5489(2007)03-0358-07 Numerical Computation of a Class of p・Laplace Equations with Muli-poitnt Boundary Value Condiions tWANG Hui.min ,ZHANG Ran ,JIN Guang.ri ,YU Shi (1.Department ofMnthmatics,Changchun Taxation College,Changchun 130117,China; 2.Department fApploied Mathematica。Dalian University f oTechnology,Dalian 116024,Liaoning Province,Chia;n 3.Colelge fMatohematics,Jilin Univers ̄,Changchun 130012,Chia)n Abstract:The present paper deals with the numerical computation method for a class of p—aplLace equations wih multti—point boundary value conditions which are widely applied to many fields ( ( )) + t, )=0,m一2 t∈(0,1), m一2 =(0)=∑bl ( ), i=l .(1) ∑ ( ). i=l ference scheme for this kind of equations and investigated its error estimate,and also We constructeda diimplemented some numerical experiments,which illustrates the validity of he stcheme. Key words:P—Laplace equations;diference scheme;error analysis;numerical computation 1 引 言 p-aplLace方程在气体通过多孔媒质的扩散及混合气体的自燃等方面均有广泛应用 川.目前,关于 一维p.aplLace方程在不同边值条件下解的存在性已取得一些结果 .文献[5]研究了下列一维 p-aplLace方程多重正解存在的充分条件: 收稿日期:2006-09-19. 作者简介:王慧敏(1978一),女,汉族,硕士。讲师。从事发展方程与动力系统数值方法的研究。E-mail:whm780921@sina.com. 联系人:张然(1977一),女,汉族,博士,副教授。从事i-I- ̄t数学的研究,E-mail:zhangran@jlu.edu.cn. 基金项目:国家自然科学基金(批准号:10471054;10671082;10626026)和吉林大学数学基地项目基金(批准号:J063o14).0 维普资讯 http://www.cqvip.com 第3期 王慧敏,等:一类p-Laplace方程多点边值问题的数值计算 359 ( (u )) + £,u):0,n-2 ,t∈(0,1), 历-2 (1.1) “ (0)=∑blu ( ), u(1)=∑口 u( ), 其中 (s)=I s s,P>1, ∈(0,1),0< l< 2<…< 一2<1,且口i,bi,f满足如下假设: ,n-2,n-2 (1.2) (H。)口i,bi∈[0,+∞),且0<∑口 <1,∑b <1;(Hb)f∈c([0,∞),[0,∞)). 一同大多数方程的定解问题一样,求出P.Laplace方程边值问题的解析解是比较困难的,因此,寻求 种简明有效的数值算法对于解决实际问题具有重要意义.关于多维p-Laplace方程边值问题数值解 法,已经取得了许多令人满意的结果[6 。。,而一维p-Laplace方程多点边值问题的数值解法则比较少 见.本文针对上述p-Laplace方程(1.1).(1.2)构造适当的数值差分格式并近似求解. 2差分格式及其误差分析 2.1 P=4时的情形 考虑当P=4时,方程(1.1)的数值差分格式,并进行误差分析.此时,方程(1.1)化为 ((u ) ) + t,u)=0,t∈(0,1). (2.1) 将[0,1]区间,l等分,剖分节点记为t =(i一1)h(i=1,2,…,lt'+1),其中h=1/n为各小区间的长度. 本文将在如下假设条件下研究方程(I.1)的数值差分格式: (H。)函数 t,u)充分光滑,且关于u是Lipschitz连续的; (H )函数 t,u)有界,即存在常数肘>0,使得对于任意的t∈[0,1],u∈R,都有l t,u)l≤肘; (H,)方程(1.1).(1.2)的解u满足 (£)≠0,对任意t∈[0,1]. 引理2.1假设(H。)成立,则在区间[t ,t ]上方程(2.1)等价于积分方程: 3厂————————— ———————~ u(£)=u( )+』 √(u ) (ti_1)一L (s)) d下, £∈ -]・ 证明:对任意的t E[ti,t…],将方程(2.1)两边在[ti,t]上积分得 (2・2) ’ (u ) (£)=(u ) (£ )一J s,u(s))ds, 整理得 厂———————— ——————一 u (£)=^/(u ) (£ )一I  ̄. /ti-1 ,u( ))ds, 将上述方程两边在区间[t ,t]上再积分一次即得方程(2.2). 下面利用积分方程(2.2)构造差分格式.在方程(2.2)中令t=t ,先用左矩形公式近似方程 (2.2)的外层积分,设其局部截断误差为R。,则得 3厂———————— ■———一 u(t )=u(ti)+h-/(u ) (t¨)一I s,u)ds+R。; 、『 ‘i一1 微商,设其误差为R ,则得 (2.3) 再用右矩形公式近似方程(2.3)中积分,设其局部截断误差为 ,利用向前差商近似方程(2.3)中的 u +1)=u )+ √( +Rc) 一hf(ti,u )) 3厂————————— —————————一 , (2.4) (2.5) 略去误差项R。,吃,R。,以u ,u ,Ui-1分别近似u(t…),u(ti),u(t 一。),得差分格式 Ui+I~ “√( )一hf( uf). 引理2.2假设(H。),(H2)成立,“(t)是方程(2.1)的解,则: (1)存在肘。>0,使得对任意t E[0,1],有l u (£)l≤肘。,其中肘。是依赖于u (0)的常数; (2)存在 >0, >0,使得对任意满足0<h<ho的h,成立l[u(t )一u(t )] l≤M2,其中 维普资讯 http://www.cqvip.com 吉林大学学报(理学版) 第45卷 肘 为依赖于 (0)的常数. 证明:( )由方程(2・1)知,( )(f)=√( )。(0)一 s, ) .再由假设(H ) ̄llf(t, )有界, 从而 l (t)l≤ T ]i ≤ T ≤M。, (2.6) 其中M。是依赖于 (0)的常数. (2)由方程(2.3)知, J ( )一 (t1)J≤ “√ + 。触 又因为ti≤ ≤f…,故^≤ 一t ≤2^,从而 . 1 (f )一 (f )l≤厂“。 而d丁≤^、3朋3/。_ 丽, 于是 l √3朋3。 ≤ , (2.7) 其中M2为依赖于 (0)的常数. 引理2.2表明,方程(2.2)的解导数和差商有界. 引理2.3假设(H。),(H,)成立, (f)为方程(2.1)的解,则存在常数 >0,使得 J Ih l ≥鸭. 证明:6I(H。)可知,存在常数鸭>0,使得f (f)f≥坞成立.利用Lagrange中值定理可知,至少 存在一点f ∈( “。),使得f 生 f=l u'(f )f≥ >0成立. 引理2.3表明,方程(2.2)解的差商的绝对值有正下界. 设 -, ,…, +-为用差分格式(2.5)近似计算得到的方程(1.1)的数值解,则关于数值解有如下 先验估计. 引理2.4假设(H-),(H )成立,则存在常数h。>0,M4>0,使得当h满足0<h<h。时,对于满 足 一 。=D(^)的任意初值 。和 ,利用格式(2.5)计算所得的数值解 满足f f≤ . 证明:由式(2.5)可知 ( ) :( ) 一 ,…・=( ) 一毫 , 再由1≤ ≤,l+1和(H2)中 t, )有界知 f f +I M( ≤f f 因此J J≤ J J+ ≤ ,其中 >。是常数. 假设初始值无误差,即 一。=u(t ), =u(t )时,R川为t川处的局部截断误差,则 峨 +^√( ) 一 ))地 (2.8) 考虑差分格式(2.5)的局部截断误差,可得: 定理2.1假设(H。)一(H,)成立,则差分格式(2.5)的局部截断误差R…:O(h ). 证明:记A。: ,A :hf( ( ),则方程(2.4)可写为 维普资讯 http://www.cqvip.com 第3期 王慧敏,等:一类p-Laplace方程多点边值问题的数值计算 361 ( +。): ( )+h 厂 _ —二_= +R。. 由矩形积分公式的余项可知R。=O(h ),R =O(h ).又因为 (£i): (ti-1)+^ ,(£ 一。)+O(h ), ,(ti-1):兰 +D(^), Rc: ,( ;一。)一兰 :兰 +D(JI1)一兰 =D( ). 记(A。+尺 ) =A +3AIR +3A。R +尺 =A +尺d,则Rd=3A21R +3A。R +尺:=D( ),代入 (ti+-) 的表达式中,有 “( +。): ( i)+h =- 二_ +R。. 设A,:A 一A ,R =R +尺 ,则有u(t )=u(t )+h +R。,其中R =R +R =D(^). 再考虑 ,由引理2.3可知,I a。l≥鸭>0,再由A 的定义知,当h充分小时,有Ia,I≥ >0,在A,处做T yl。 展开得 丽:(A,+Re) =A +÷A 2/3尺 +O(h ),代入 (£…) 的表达式中,有 ti+1): (ti)+M + _^ 尺 +O(h )+尺。= (£ )+M +尺 +。= ( )+^N/(u(t,)hu(ti_1))3一 £i, (£ ))+R“-, 其中R…=D(h ). 下面考虑整体截断误差与局部截断误差的关系,令 …=l u(t…)一 …l为差分格式(2.5)在t… 处的整体截断误差,则有: 定理2.2假设(H。)~(H,)成立,则 i+I≤mI i—I+(1+mI+m2h2) +R“I, 其中m。,m 为正常数. 证明:将式(2.8)--t ̄i(2.5)相减,得 i+。≤ +}^ / 至 三 二: 至 三三二 +月“。一 / 三二: 至三三 l≤ +h J 一 l+R , 其 =( )3一 =( ) 一 ). 下面讨论I 一 l,首先考虑 3廿2。。+ ̄/BIB2一+ , √3廿2一+ ̄/BIB2。+v3廿 2: 3 2 3 2+ _- . 。2由引理2.3可知,当^充分小时,IBl I=l( 生 ) 一 ( )l有正下界,所以存在 c。>0,使得√3 D2。一+ +√3 2 ≥c。>0.由此可得 一 l= ) 一 ;)】 √3廿2一+ +v3廿 2 。维普资讯 http://www.cqvip.com 吉林大学学报(理学版) 第45卷 fl v3 2。 一+ +v3 l2 、c-。。 十。 ’, 其 =( )3-( )一 ). 由于函数Y= 在有限区间内是Lipsehitz连续的,则存在常数L。>0,使得 ( ) 一( ) f 一 LI ~1. 下面讨论B4,由(H。)中 t,H)关于H是Lipschitz连续的可知 B4=by(ti,H‘)一hj5 ,H(ti)]≤hL2 l H —H(ti)l≤hL2 , 其中L2为Lipsehitz常数. 于是 ≤ +h I^;/ 一 l+ +-≤ +h J +B4 J+R ≤ +^ 1 LI -8i_1 f+h clhL, + ≤ 。+(1+ + C )I 。≤ +(1+m。+ ) 。,其中m。,ra 为正常数. 2.2 P=2k的情形 考虑方程(1.1)当P为偶数时的情形,关于P为奇数的情形,由于绝对值的存在较复杂,在此未作 处理.当P=2k(当 ≥1)为正整数时,方程(1.1)化为 ((u ) ) + t,H)=0,t∈(0,1). (2.9) 利用上述假设条件和相同的方法进行研究.类似地,可以构造差分格式 。 叫( ) 。一 H ) . (2.-。) 假设初始值无误差,即H =H(t ),H =H(t )时,R…为ti+l处的局部截断误差,则 (ti+l …【( ) 。一 训 ¨ .(2.11) 考虑差分格式(2.10)的局部截断误差,则可得下面定理: 定理2.3假设(H。)一(H,)成立,则差分格式(2.10)的局部截断误差R…=o(h ). 令 …=l H(t )一H…l为差分方法(2.10)在t…处的整体截断误差,则关于整体截断误差与局 部截断误差的关系,同理可以证明: 定理2.4假设(H,)一(H,)成立,则 i+l≤m3 ‘一l+(1+m3+m4h ) i+Ri+l, 其中m,,m。为正常数. 3数值实验 考虑多点边值问题: ((H )2k-I) + t,H)=0,t∈(0,1), (3.1) H (0)=∑blH ( ),H(1)=∑口 H( ), (3.2) 其中 ∈(0,1),0< 。< <…< 一2<1,且a ,6 ,f满足: (1) b ∈[o,+ ,且0<∑a <1,∑bf<1; 维普资讯 http://www.cqvip.com 第3期 王慧敏,等:一类P—Laplace方程多点边值问题的数值计算 363 (2)f∈C([0,∞),[0,∞)). 下面将利用所构造的差分格式,选取满足假设条件(H。)~(H )的函数 t,u)和边界条件对方程 (1.1)进行数值实验. 首先,描述边值问题(3.1)和(3.2)的数值计算过程. 在[0,1]区间上取定等距节点组0=£・<£ <…< < +・=1,此时记 = ,h=At =音,假设 边值条件(3.2)中的点 恰好是节点tJ,.利用数值差分格式(2.10),可以得到方程(3.1)和(3.2)的近 似: U =U +[(U;一UH)址 一^ ti,u )] Q ¨, 一 , 。一 . 进一步简化可得方程(3.1)和(3.2)的近似差分方程: U =Ui+[(U —U¨2k-I—h2 ti,u )] ‘ ¨, (3.3) 2(u 一M。)一∑bi( +。一 一。)=0, M川一∑口 =0. (3.4) 假设U。,U 已知,则由方程(3.3)可得一序列{U } ,由此定义函数 Ftl一2 2(u 一M。)一∑bi=1 i( 一 ) F(Ul,U2)= Ftl-2 (3.5) M川一∑ai=l uh 通过求解方程F(U。,U )=0得到一组解(U。,U ),以此为初值利用方程(3.3)可得一近似解{U }譬 ,此 解满足近似边值条件(3.4),从而得到方程(3.1),(3.2)的近似解. 例3.1考虑方程: ((U ) ) +tu:0,t∈(0,1), (3.6) 8 8 Ut(0)=∑biM ( ), M(1)=∑口 M( ). (3.7) 为了简单,把边值条件中的点取成差分格式中的点,同时给定其他参数如下: l=0.05, =0.10, =0.15, =0.20, =0.80, =0.85,岛=0.90, =0.95, aI=1/8,a2=1/9,a3=1/10,a4=1/12,a5=1/15,a6=1/15,a7=1/16,a8=1/16, bl=1/16,b2=1/16,b3=1/15,b4=1-/15,b5=1/12,b6=1/10,b7=1/9,b8=1/8. 由于方程(3.6)的精确解未知,在计算误差时,可将[0,1]区间1 000等分后计算所得的数值解作 为精确解. 将[0,1]区间l00等分,计算所得的数值解・在[0,1]区间上取等距节点f = ,h=而1( =l, 2,…,n+1),其余各参数不变.按上述计算方法得到算例3.1的数值解及解的误差图像,如图1所示. 6.5 6.0 5.5 5.0 4.5 4.0 3.5 3.0 t t .1 Numerical solutions(A J and the elTor between the exact and numerical solutions(B) 维普资讯 http://www.cqvip.com 364 吉林大学学报(理学版) 第45卷 例3.2考虑方程: ((H ) ) +sin(tu)=0,t∈(0,1), (3.8) H (0)= (3.9) 例3.2中各参数及节点取法均与例3.1相同.按上述计算方法得到例3.2的数值解及此数值解的 误差图像如图2所示. 。∑ — 6 ,L JI 、, l l Fig.2 Numerical solutions(A)and the error between the exact and numerical solutions(B) 以上数值实验表明,本文给出的计算方法是有效的. 。参考文献 ∑ 口 FAN Xian.1ing.Ex,LⅡ istence of Posiitve Solutions on a Class of Quasilinear Boundary Value Problem[J].Natural Science Journal bfXiangtJIan Uni 、 versity.1993,15:205-209.(范先令.一类二阶准线性边值问题正解的存在性[J].湘潭 大学自然科学学报,1993,15:205-209.) [2] Cheung Wing—sum,REN Jing-li.Twin Positive Solutions for Quasi・linear Mulit・point Boundary Value Problems[J]. Nonlinear Analysis,2005,62:167・177. [3] L0 Hai.shen.0’Regan Donal,Agarwal Ravi P.Existence of Posiitve Solutions for the One・dimension Singulra 口一Laplaeian Equation with Sign Changing Nonlinearities via the Method of Upper and Lower oSlution[J].Methods and Applications of Analysis,2003,10(4):533-542. [4] JIANG Da.cling,CHU Ji.feng,O’Regan Donal,et a1.Positive Solutions for Continuous and Discrete Boundary Value Problems to hte One.dimension p-Laplacian[J].Mathematical Inequalities nad Applications,2004,7(4):523-534. [5] BAI Chuan—zhi.FANG Jin.xHal1.Existence of Mulitple Posiitve Solutions for Nonlinear m・Point Boundary—value Problems [J].Applied Mahtematics nad Computation,2003,140:297-305. [6] ZHAI Jing-chun.SI Shou.kui.On a Class of Numerical Computation Method for Laplace Equations with Boundary Value Conditions[J].Shandong cSienee,1995,8(3):21-24.(翟景春,司守奎.拉普拉斯方程边值问题的一种数值解 法[J].山东科学,1995,8(3):21-24.) [7] WANG Dan.ZHANG Yu,JIANG Guo—feng,et a1.A New Probability Fiinte Element Method[J].Machinery Desing and Manufacture.2000,(1):25-26.(王丹,张钰,蒋国锋,等.一种新的概率有限元计算法[J】.机械设计 与制造,2000,(1):25-26.) [8] XIAO Jie.HUANG Yun—qing,LIU Wen_bin.Some Multigrid Methods ofr oSlving hte p-aLplacina[J]_Naturla cSience Journal ofXinagtan University,2002,24(3):1-8.(肖捷,黄云清,刘文斌.求解P・aLplace方程的几种多重网格 法研究[J].湘潭大学自然科学学报,2002,24(3):l-8.) [9] WANG Ze.wen.LIU Tang-wei,XU Ding.hua. Numerical Computation of a Cauchy Problem for Laplace’s Equation [J].Journal ofEast China Geological Institute,2002,25(4):356-360.(王泽文,刘唐伟,徐定华.Laplace方程 Cauchy问题的一种数值解法[J].华东地质学院学报,2002,25(4):356—360.) [10] LIU Da—wei,GAO Ming.Simple Numerical Computation of aLplace’s Equation on Square with Smaller Square Hole [J].Journal of Shenyang Nomud University(Natural Science Edition),2006,24(2):166・169.(刘大卫,高明. 正方形环域Laplace方程的简明数值解法[J].沈阳师范大学学报(自然科学版),2006,24(2):166・169.) (责任编辑:赵立芹)