设为首页 加入收藏 期刊导航 网站地图
  • 首页
  • 期刊
    • 数学与物理
    • 地球与环境
    • 信息通讯
    • 经济与管理
    • 生命科学
    • 工程技术
    • 医药卫生
    • 人文社科
    • 化学与材料
  • 会议
  • 合作
  • 新闻
  • 我们
  • 招聘
  • 千人智库
  • 我要投搞
  • 办刊

期刊菜单

  • ●领域
  • ●编委
  • ●投稿须知
  • ●最新文章
  • ●检索
  • ●投稿

文章导航

  • ●Abstract
  • ●Full-Text PDF
  • ●Full-Text HTML
  • ●Full-Text ePUB
  • ●Linked References
  • ●How to Cite this Article
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)
其中 为整数, 1m1,
i
p1
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)存在唯一解 ,
00T12
(, )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.
给定 ,0a0
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和00使得

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 X0
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
(, )(,).TvvTvTvii
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
(, )(,)vvTvv12
(, )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
uN
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.

版权所有:汉斯出版社 (Hans Publishers) Copyright © 2012 Hans Publishers Inc. All rights reserved.