Pure Mathematics 理论数学, 2011, 1, 208-214 http://dx.doi.org/10.12677/pm.2011.13040 Published Online October 2011 (http://www.hanspub.org/journal/pm/) Copyright © 2011 Hanspub PM Existence and Nonexistence of Global Solutions of Higher-Order Parobolic System with Slow Decay Initial Data* Fuqin Sun, Sujuan Hu School of Science, Tianjin University of Technology and Education, Tianjin Email: sfqwell@163.com; husujuan8@sina.com Received: Feb. 21st, 2011; revised: Apr. 20th, 2011; accepted: Apr. 21st, 2011. Abstract: This paper concerns with the Cauchy problem of a higher-order parobolic system. By constructing a so called “comparison principle”of the higher-order parobolic system and utilizing Schauder fixed point theorem and the test function method, we prove the existence and nonexistence of global solutions to such a problem with slow decay initial data. Keywords: Higher-Order Parobolic System; Comparison Principle; Slow Decay Initial Data; Global Solutions 半线性高阶抛物型方程组具慢衰减初值问题 整体解的存在与不存在性* 孙福芹,胡素娟 天津职业技术师范大学理学院,天津 Email: sfqwell@163.com; husujuan8@sina.com 收稿日期:2011年2月21日;修回日期:2011年4月20日;录用日期:2011 年4月21日 摘 要:本文研究一类半线性高阶抛物型方程组的 Cauchy 问题。通过建立高阶抛物型方程组的所谓 “比较原理”,利用Schauder 不动点理论和试验函数等方法,证明了该问题在慢衰减初值条件下解的 整体存在性与不存在性。 关键词:高阶抛物型方程组;比较原理;慢衰减初值;整体解 1. 引言 本文研究半线性高阶抛物型方程组的Cauchy 问题 1 2 112 221 1102 20 ,, , 0,, 0,,, p mN t p mN tN uuu xRt uuu xRt uxuxuxux xR 0, , 0, (1.1) 其中 为整数, 1m1, i p1 0()() (), NN i uxX LRLR 1, 2i 。高阶半线性和拟线性热方程在许多领域,诸如 薄胶片理论,火苗蔓延,双稳定系统,相位平移和高阶扩散,都有重要的应用,参看Peletier 和Troy的专著[1]。 关于高阶热方程的研究可见[2-13]及其所引文献。 *国家自然科学基金资助(10701024),天津市高校科技发展基金资助(20081003)。 孙福芹 等半线性高阶抛物型方程组具慢衰减初值问题整体解的存在与不存在性209 | 关于单个方程式的Cauchy 问题 0 ,, 0, ,, p mN tN uuuxRt uxuxxR 0, (1.2) 的研究已经有很多结果,如文献[2-13]。Galaktionov 和Phonzaev 在文献[7]中指出, 12pm N是问题(1.2)的 Fujita 临界指数,从而将文献[14]关于二阶抛物型方程 1m 的Fujita 型临界指数结果推广到高阶抛物型方程的 情形。在文献[2]中,Caristi 和Mitidieri 研究了问题(1.2)在12pm N和慢衰减初值条件下解的整体存在性与 不存在性。在文献[5]中,Gazzola 与Grunau 则讨论了(1.2)在|| p u替换为 时,初值为最优衰减条件下解的 整体存在性。 1 || p u u 目前对方程组(1.1)的研究则较少。在文献[10]中,本文作者研究了模型(1.1)的广义 Fujita 临界指数问题。证 明了 1) 如果 12 12 12 11 max , 21 pp N mpppp 1 ,则对小初值,解整体存在且存在正常数 12 , 和C使得 1,1 i i uCti ,2; 2) 如果 12 12 12 11 max , 21 pp N mpppp 1 且初值 满足 10 20 ,uu 10 20 d0, d0 NN RR uxx uxx , 则解在有限时刻爆破。最近我们还分别在文献[12]和[11,13]中研究了问题(1.1 )解的自相似行为和爆破解的生命跨 度等问题。本文将利用schauder 不动点定理与试验函数方法获得问题(1.1)在慢衰减初值条件下解的整体存在性 与不存在性。本文关键之处在于建立了关于积分系统(2.1)的所谓“比较原理”(见命题 2.1),它对我们证明解的 整体存在性起着关键作用。 2. 一些记号和预备结论 利用半群理论,问题(1.1)可写成如下积分系统: 1 2 110 2 0 220 1 0 d, d, tp t tp t ubtubtsuss ubtubtsus s (2.1) 其中 表示抛物算子 ,bbtx() m t 的核。已知 21 ,, 2 N mm btx tfxt 以及 2 2 0 2πd m Ns2 (2 )2 e N N f sJ ss 其中 v J 表示 v阶Besel 函数。利用压缩映像原理可以证明存在 ,问题(2.1)存在唯一解 , 00T12 (, )uu ); X 0 [0,, 2, i uC T 1,i见文献[15]。 如果 ,则核是变号的,因此相应的半群是不保序的。为此,我们引入控制核,见文献[7]: 1m(,)btx 2 1 ,expd Nm bxt t , 其中 12 1 2 ,,expdd 21 N m R m xt m 0d, 为常数。易知存在 使 1D ,,,,0,. N btxDbtx txR (2.2) 考虑如下积分系统: 1 1 110 2 0 220 1 0 d, d, tp t tp t ubtu btsDvss ubtubtsDvss (2.3) Copyright © 2011 Hanspub PM 孙福芹 等半线性高阶抛物型方程组具慢衰减初值问题整体解的存在与不存在性 210 | 关于积分系统(2.1)和(2.3),我们有如下比较结果: 命题 2.1 设 满足: 00 , ii uv X 00 ,, N ii DuxvxxRi 1,2 (2.4) 如果与 分别为(2.1)和(2.3)在区间 12 (, )uu12 ,vv 0,T, 上的解,则 0T ,,tx ,,0,, N ii utxvx RtTi 1,2 证明:令 利用(2.3)式易导出 和 分别满足积分不等式: ,1,2 iii wvui i wi w 1 1 2 1 11010 22 0 2202012 0 d d tp p tp p wbtvDuDbtsvsus s wbtv DuDbtsvsuss (2.5) 因为 11 11 1(1) 1 (1) (1) 1(1) ,,, i ii i ii p p p ii iiiii vu pwuvi 1,2 因此,利用(2.2)和 (2.5)式以及核(,)btx 的正性易知 。即0 i w |,|,,,0,,1, N ii utxvtxx Rtti 2. 给定 ,0a0 N vR。引入记号: 21(21) 0 10 ,exp d vNm m N aR txwtax ytv y y 1 21 ,, ,exp Nm m a Gxtys wtsaxyts (21) 易知 0 0 (, )() v atxbt v,且存在常数 使得0C 21(21) exp ||d Nm m N Rtaxyty C 0 为证本文的主要结果, 需要如下几个引理。它们的证明可见文献[3]。 引理 2.1 设。给定 ,则存在常数使得 00 (), N vLR v 1p() 0Cp 00 1 0 (,)()(,), (,). p vv p N aa txCp vtxtxRR 特别地,如果 ,则 0 || lim( )0 xvx 0 || lim(,)0 v a xtx 且极限关于 是一致收敛的。 t 引理 2.2 设1 0() N vLR,且存在常数 C和00使得 0 0, 1 N C vx xR x 则存在 使得 00C 000 1 ,,, 1 vN a Cv txx Rt x 0, 其中 min,N 。 引理 2.3 设 1,2 1 Vx m x 0c ,则对任意的 , ,, sup,,, ddsup,,, dd. t NN cc c RsR xt ys NV VyGxtysysGxtysxt Vy 进一步,若,则存在正常数 和c使得 0ad ,ad C , 0,, ,, ,,0dd,,,0. Nda adca RGxtzVzGzyzCNVGxty 3. 具慢衰减初值解的整体存在性 关于解的整体存在结果,有 定理 3.1 设 ,1, 1,1,2 i mp i 12 12 12 11 max, . 21 pp N mpppp1 如果 且满足 0() i ux X0 01020 () 0,()(), 1| | N i b uxux uxxR x 00b,其中 为某个常数以及 Copyright © 2011 Hanspub PM 孙福芹 等半线性高阶抛物型方程组具慢衰减初值问题整体解的存在与不存在性211 | 12 12 12 11 2max, , 11 pp mpp pp 则问题(1.1)存在整体解。 证明:令任意定义算子 定义如下: 00 ()(), 1,2 ii vxDux i 12 (, ), (), N i vvvL RR 12 1122 (, )(,).TvvTvTvii Tv 1 0(1) 0()d, 1, ii tp ii ii Tvbtvb tsDvssi 2 (3.1) 给定 0, 1M 和。记0ad 10 20 121 2 ,|0,, 0,, vv N iia SvvvCRvvvMtx 我们将要利用Schauder 不动点定理证明 在T S 上有唯一不动点。为此需要验证: 1) S 为非空,有界闭的凸集; 2) TS S ; 3) TS 在S 上按 范数是紧集; L 4) 是连续算子。 T 容易验证条件(a)满足,下证(b)。假设 12 (, )vvS 。首先由 以及核0 i v()bt 的正性易知 。另外条件 0 i Tv 12 12 12 11 max , 21 pp N mpppp 1 蕴含 12 12 21 2, 2, 22 ,22 pmNpmN ppNm mNppNm mN . 因此可取 1 (1)(2)(1) (2) (1) 2 1, max0,1, , 1,2. 2 i ii iii i mN pp pppi pNm 由引理 2.1 知 (1) (1) (1)(1) (1) 10 2010 20 1 1 0 (1) (, ),1,2 i iiii i p pppp vv vv aa i vMCMbtxi (3.2) 由引理 2.2 得 (2) (2) (2)(1) (2) 10 20 1(2) 0 (1) 1,1,2 1| | i iiii ii p pppp vv a ip vMCMbi x . (3.3) 其中 min, N 。 令(2) 1 () 1| |i p Vx x 结合(3.2)和(3.3)式得 (1) 01 010 0 ,,,,, ,,,0ddd, iii NN t p vp ii dda RR TvtxtxCMbG xtysVyGyszvvzyszi 20 1,2. (3.4) 进一步,可取 1 (2) 12 12 12 (1) 11 2 max0,1, min, 21 i i i pp pp mn ppNmp p 1 由假设条件知 12 12 12 11 min ,2 max,. 11 pp Nm pp pp 从的取法可知 (2) i p(2) 2. i p m d,1,2. 因此应用引理2.3,由(3.4)导出 (1) 01 01020 ,(,,,0) iiiN p vp ii dca R TvtxCMbNVGyszvvzzi (3.5) 由 ,易知 ,因此从(3.5)式得ad ,, ,0,, ,0 da GxtzGxtz (1) 10 20 21 11220 1 (, )(, )(). ii p pv ca i Tvt xTvt xCCMbNV v Copyright © 2011 Hanspub PM 孙福芹 等半线性高阶抛物型方程组具慢衰减初值问题整体解的存在与不存在性 212 | 取充分小以及 0 b2 M C,由上式得到 10 20 1122 ,, vv a Tv txTvtxM ,因此条件(b)成立。 结合TS 的一致有界性和算子 T的定义,利用与文献[16]类似的方法可证条件(c)成立。下证(d)成立。 给定函数 (1) (1)(2) (2) 121 2 (,),(, )vv vvS 。由(3.1)式得 11 (1) (2)(1)(2) (1) (1) 0,, ,dd,1,2. ii ii N pp t ii iidii R TvTvDGxtysvvys i (3.6) 由引理 2.2,得 11 11 11 (1)( 2)(1)(2 )(1)(2) 11 11 (1) (1) (1) (1)(1) (1) 1(2) 1 1 (1) (2)(1) 1 (1) (1) (1) (1) ( max () 1 , ii ii pp pp ii ii ii iii ii ii ii ii pi p ii i pp p ii ii i ii pii i pp pp vvpvvvv pCM vvCMVyvv y (2) 1 1) , 1,2 pi ii (3.7) 由 的取法,利用引理 2.3,由(3.7)式导出 (2) 11 1 (1) (2)(1)(2) (1)(1), 1,2. i iiii p pp ii iicii TvTvCNVvvi 因此条件(d)成立。进而利用Schauder 不动点定理可知 T在S 上有一个不动点 12 (, )vv . 定义 (,), , (,), , i i vtxt vxt 由前面证明易知 2 10 20 12121122 1 ,,,, 0, ,, N ii ii i vv a VVTVVTVTVTVTVMxRt 0, 因此 12 (, )VV 是一致有界和等度连续的。利用修正的Ascoli-Arzela 定理,可知 存在子列 在[0 12 (, nn VV ), ) N R的一个紧子集上一致收敛于函数 ,进一步,由 12 (, )vv 1 0(1) 0() d,1, iin tp ii ii TVbtvb tsDVss i 2 和控制收敛定理,得,即 是(3.1)的一个整体解。应用命题 2.1 可知问题(1.1)的解 12 12 (, )(,)vvTvv12 (, )vv12 (, )uuu 是整体存在的,且 1,2 vv ia utx tx 10 20 ,,,i,定理 3.1证毕。 4. 具慢衰减初值解的整体不存在性 先给出问题(1.1)一个弱解的定义: 定义 4.1 令[0,) N QR 1i 。称 为问题(1.1)的弱解,如果 12 (, )uu 1) (1 )(), 1,2, i p iloc uL Qi 1N 2) 0(), 1,2, il oc uLR i 且对于任意 ,下面积分等式成立: (, )()txCQ 10 (1) ,dd,0ddd, 1,2. i iN pm iit i QRQ utxxtuxxxu xti (4.1) 关于问题(1.1)弱解的不存在性,我们有: 定理 4.1 设。进一步假设下面条件成立: 1, 1 i mp 1) 在上几乎处处成立, . 00 i uN R1 0(),1,2 N iloc uLRi 2) 存在常数 ,使得 10 20 || lim inf10. xxuuC (4.2) Copyright © 2011 Hanspub PM 孙福芹 等半线性高阶抛物型方程组具慢衰减初值问题整体解的存在与不存在性213 | 其中 12 12 12 11 02max, 11 pp mpp pp 则问题(1.1)不存在弱解。 证明:假设 是(1.1)的一个弱解。设 满足11 12 (, )uu 0() iCR i 以及给定 。令 1, 01, 0, 2. i s ss 0R 12 2 ,, Rm x t tx txR R ,其中 0 充分大确保后面的积分是收敛的。 记 r 22 (, ):2,2 mm R QtxQRtRRxR ,任意 ,1r 表示 的r H older 共轭指数。对(4.1) 式使用 H older 不等式,得 11 1 22 2 11 2 2 1 2 22 210 1 ,dd,0ddddddd, pp p pp pp m t N QR Q RR p p QQ utxxtuxxxxtxt uxt (4.3) 11 1 11 1 11 1 1 2 1 11 110 2 ,dd,0ddddd dd pp . p pp pp m t N QR Q RR p p QQ utxxtuxxxxtxt uxt (4.4) 作变换 12 , . m RxRt 易知 1 11 2 22 21 1 21 1 dd , dd . R R mpN pp t Q mp N pp t Q xt CR xt CR (4.5) 将(4.5)代入(4 .3)和(4.3 ),得 1 211112 1212 2 2 110 1 ,dd,0dd,d pp mp Nppp p p N QR Q utxxtuxx CRuxtx (4.6) 1 211 112 2112 1 2 220 1 ,dd,0dd,d pp mp Nppp p p N QR Q utxxtuxxCRuxtx (4.7) 因此利用Young 不等式,从(4.6)和(4.7)导出 1 12 12 1 211 1 1112 21 10 ,0 d N pp p mp NpppNm pp Rux xxCRCR (4.8) 2 12 12 1 2111 221221 20 ,0d N pp p mp NpppNm pp Rux xxCRCR (4.9) 将(4.8)和(4.9)式相加,得 12 12 12 11 22 1 10 20 +,0d N pp Nm Nm pppp Ruxuxx xCRR 1 (4.10) 由(4.2)式,对任意 0 ,存在 使得 00R 10 200 1 , x uu CxR (4.11) 因此从(4.10)和(4.11)式得,当 时, 0 RR Copyright © 2011 Hanspub PM 孙福芹 等 | 半线性高阶抛物型方程组具慢衰减初值问题整体解的存在与不存在性 Copyright © 2011 Hanspub PM 214 12 12 12 0 0 11 22 11 10 2010 20 10 20 +,0d +,0 +,0d d1 1 NR RR R pp Nm Nm pp pp RB N BB B CRRuxuxxx uxuxxx C uxuxx xxCR x d . (4.12) (4.12)式蕴含 12 12 12 11 2max , 11 pp mpp pp 1, 1 1(),1,2 N Ri 这是一个矛盾。定理 4.1证毕。 定理 4.2 设mp以及uL 。如果 i0il oc 01020 0, , 0, , 1 N i uuu xR x 以及 1 11pp 2 12 12 =2 max, . 11 mpp pp ,使得如果问题(1.1)存在一个弱解,则必有 0 。 则存在常数 00 证明:设定理中的条件成立。在(4.12)式中取 R ,得 12 12 12 11 22 11 10 201020 1 + ,0d+ ,0d 1 d1 1 N pp Nm Nm pp pp RB N B Cuxuxxx uxuxx xC x x 该不等式蕴含 C 。定理 4.2 证毕。 参考文献 (References) [1] L. A. Peletier, W. C. Troy. Spacial patterns: Higher order models in physics and mechanics. Boston-Berlin: Birkha Auser, 2001. [2] C. J. Budd, V. A. Galaktionov and J. F. Williams. Self-similar blow-up in higher-order semilinear parabolic equations. SIAM Journal on Mathematics, 2004, 64(5): 1775-1809. [3] G. Caristi, E. Mitidieri. Existence and nonexistence of global solutions of higher-order parobolic problems with slow decay initial data. Journal of Mathematics Analysis and Application, 2003, 279(2): 710-722. [4] S. B. Cui. Local and global existence of solutions to semilinear parabolic initial value problems. Nonlinear Analysis, 2001, 43(3): 293-323. [5] F. Gazzola, H-C. Grunau. Global solutions for superlinear parabolic equations involving the biharmonic operator for initial data with optimal slow decay. Calculus of Variations and Partial Differential Equations, 2007, 30(3): 389-415. [6] V. A. Galaktionov, P. J. Harwin. Non-uniqueness and global Similarity solutions for a higher-order semilinear parabolic equation. Nonlinearity, 2005, 18: 717-746. [7] V. A. Galaktionov, S. I. Pohozaev. Existence and blow-up for higher-order semilinear parabolic equations: Majorizing order-preserving opera- tors. Indiana University Mathematics Journal, 2002, 51: 1321-1338. [8] V. A. Galaktionov. On a spectrum of blow-up patterns for a higher-order semilinear parabolic equations. Proceedings: Royal Society of London, A., 2001, 457: 1-21. [9] V. A. Galaktionov, J. F. Williams. On very singular sililarity solutions of a higher-order semilinear parabolic equation. Nonlinearity, 2004, 17: 1075-1099. [10] P. Y. H. Pang, F. Q. Sun and M. X. Wang. Existence and Non-existence of global solutions for a higher-order semilinear paraboic system. Indi- ana University Mathematics Journal, 2006, 55(3): 1113-1134. [11] F. Q. Sun. Life span of blow-up solutions for a higher-order semilinear parabolic equation. Electronic Journal of Differential Equations, 2010, 17: 1-9. [12] F.Q. Sun, F. Li and X. Q. Jia. Asymptotically self-similar global solutions for a higher-order semilinear parabolic system. Journal of Partial Differential Equations, 2009, 22(3): 282-298. [13] 孙福芹, 王明新. 高阶半线性抛物型方程组的生命跨度[J]. 数学年刊, 2006, 27(1): 27-38. [14] H. Fujita. On the blowing up of solutions of the Cauchy problem for 1 t uuu . Journal of the Faculty of Science, University of Tokyo, 1966, 13(2): 105-113. [15] M. E. Taylor. Partial differential Equations III: Nonlinear equations. New York: Springer-Verlag, 1996: 272-276. [16] Q. S. Zhang. Global existence and local continuity of solutions for semilinear parabolic equations. Communications in Partial Differential Equations, 1997, 22: 1529-1557. |