标题 | 一类具对数非线性项拟抛物方程解的性质 |
范文 | 谌凤霞++佘朝兵 【摘要】本文讨论了一类具对数非线性项拟抛物方程的初边值问题. ut-Δut=Δu=uln|u|,Ω×(0,T), u(x,0)=u0(x),x∈Ω, u(x,t)=0,Ω×(0,T),(1) 其中,ΩRn为有界域.首先,引入泛函及集合,应用新的方法引进了一族新的位势井;其次,应用这族新位势井得到了问题(1)整体解的存在性定理;最后,研究了问题(1)解的不变集合,证明了问题(1)在低初始能量的情况下解在无穷远处爆破的结果. 【关键词】位势井族对数Sobolev嵌入不等式;整体解;爆破解 【基金项目】课题:广东科技学院科研项目,课题编号:GKY-2016KYQN-5. 一、引言 研究问题(1)比较好的一种方法是位势井方法,由Sattinger和Payne在文献[1]中提出.针对如下问题ut-Δu=f(u),x∈Rn,t>0,u(x,0)=u0(x),x∈Rn, 若f(u)=|u|p-1u-u,Liu和Xu研究了在初始條件满足J(u0) 本文所考虑的问题(1)对应的非线性为f(u)=uln|u|,因f(u)不满足其中的假设,所以上述考虑的方法对其失效.于是,本文必须引入对数Sobolev嵌入不等式,以及介绍位势井族和不变集. 二、预备知识 本文中,用‖·‖表示‖·‖2,记(u,v)=∫Ωuvdx.对于问题(1),引入如下泛函和集合:J(u)=14|| ?SymbolQC@ u||2-12∫Ωu2ln|u|dx+14||u||2H10,I(u)=|| ?SymbolQC@ u||2-∫Ωu2ln|u|dx,W={u∈H10(Ω)|I(u)>0,J(u) Jδ(u)=δ4‖ ?SymbolQC@ u‖2-12∫Ωu2ln|u|dx+114‖u‖2H10,Iδ(u)=δ‖ ?SymbolQC@ u‖2-∫Ωu2ln|u|dx,d(δ)= infu∈NδJ(u),Nδ={u∈H10(Ω)|Iδ(u)=0,‖u‖H10≠0}.位势井族:Wδ={u∈H10(Ω)|Iδ(u)>0,J(u) 引理2.1设u0∈H10(Ω),0 三、主要证明如下 定理3.1设u0∈H10(Ω),J(u0) 证明设{ωj(x)}是空间H10(Ω)的基函数系.利用Galerkin近似方法构造问题(1)的近似解: um(t)=∑mj=1gmj(t)ωj(x),m=1,2,…满足 (umt,ωs)+( ?SymbolQC@ umt, ?SymbolQC@ ωs)+( ?SymbolQC@ um, ?SymbolQC@ ωs)=(umln|um|,ωs),s=1,2,…,(2) um(x,0)=∑mj=1amjωj(x)→u0(x) in H10(Ω).(3) 在(2)式两边乘g′ms(t),关于s求和并关于时间t在区间[0,t]上积分,这样对充分大的m,可得 ∫t0‖umτ‖2H10dτ+J(um)=J(um(0)),0≤t<∞. 由(3)得J(um(0))→J(u0), 对充分大的m有 ∫t0‖umτ‖2H10dτ+J(um) 由(2)和引理2.1知,当m充分大时,对0≤t<∞,um(t)∈W.从I(u),J(u)的定义及‖u‖2H10=‖ ?SymbolQC@ u‖2+‖u‖2,可得J(um)=12I(um)+14‖um‖2,从而由(4)及上式可得‖um‖2<4J(um)<4M,及‖ ?SymbolQC@ um‖2≤CM. 由(4)得∫t0‖umτ‖2H10dτ ∫Ω(umln|um|)2dx=∫{x∈Ω;um(x)<1}(umln|um|)2dx+∫{x∈Ω;um(x)>1}(umln|um|)2dx ≤e-2|Ω|+n-222∫{x∈Ω;um(x)<1}u2nn-2mdx≤e-2|Ω|+n-222C2*‖ ?SymbolQC@ um‖2*≤CM,(5) 其中,C是Sobolev嵌入常数H10(Ω)L2nn-2(Ω).因此,存在u∈H10(Ω)及{um}的子列仍记为{um},当m→∞时,使得um→u于L∞(0,+∞;H10(Ω))中弱*收敛,且于Ω×[0,+∞)几乎处处收敛.umln|um|→uln|u|于L∞(0,+∞;H10(Ω))中弱*收敛. 而且,由(3)可知u(x,0)=u0(x)于H10(Ω)中.因此,u(x,t)是问题(1)的整体弱解. 定理3.2设u0∈H10(Ω),J(u0)≤M,I(u0)<0,则问题(1)的解u=u(x,t)在t=+∞处爆破. 证明设u(x,t)是问题(1)满足初始条件J(u0) 则M′(t)=‖u‖2H10=‖u‖2+‖ ?SymbolQC@ u‖2且 M″(t)=2(ut,u)+2( ?SymbolQC@ ut, ?SymbolQC@ u) =2(uln|u|+Δut+Δu,u)+2( ?SymbolQC@ ut, ?SymbolQC@ u) =-2(‖ ?SymbolQC@ u‖2-∫Ωu2ln|u|dx)=-2I(u).(6) 由(6)式可得 M′(t)lnM′(t)-M″(t)≥[(2n+nln2π)‖u‖2H10]2≥0. 從而,得(lnM′(t))′≤lnM′(t).(7) 由(7)式得lnM′(t)≤etlnM′(0)=etln‖u0‖2H10.因此,对t≥0有‖u(·,t)‖H10≤e12et·‖u0‖H10,上式表明u(x,t)不会在有限时间内爆破.另外,由(7)得 M″(t)=-2I(u)=-4J(u)+‖u‖2H10 =4∫t0‖u‖2H10dτ+M′(t)-4J(u0). 并且∫t0( ?SymbolQC@ uτ, ?SymbolQC@ u)dτ2=12∫t0(‖ ?SymbolQC@ u‖2)′τdτ2 =14(‖ ?SymbolQC@ u‖4-2‖ ?SymbolQC@ u0‖2‖ ?SymbolQC@ u‖2+‖ ?SymbolQC@ u0‖4) =14((M′(t))2-2‖ ?SymbolQC@ u0‖2M′(t)+‖ ?SymbolQC@ u0‖4), M(t)M″(t)-(M′(t))2 =∫t0‖u‖2H10dτ4∫t0‖u‖2H10dτ+M′(t)-4J(u0) -4∫t0( ?SymbolQC@ uτ, ?SymbolQC@ u)dτ2-2‖ ?SymbolQC@ u0‖2M′(t)+‖ ?SymbolQC@ u0‖4 ≥4∫t0‖ ?SymbolQC@ u‖2dτ2-∫t0( ?SymbolQC@ uτ, ?SymbolQC@ u)dτ2 +M(t)M′(t)-2‖ ?SymbolQC@ u0‖2M′(t)-4J(u0)M(t) +‖ ?SymbolQC@ u0‖4. 对上式,由赫尔德不等式可得M(t)M″(t)-(M′(t))2≥M(t)M′(t)-2‖u0‖2M′(t)-4J(u0)M(t).(8) 由(8)式可得 M(t)M″(t)-(M′(t))2 ≥12M(t)-2‖u0‖2M′(t)+12M′(t)-4J(u0)M(t) >0. 对充分大的时间t,若J(u0) 有M(t)M″(t)-(M′(t))2>0.观察到 (lnM(t))′=M′(t)M(t)>0, (lnM(t))″=[M(t)M″(t)-(M′(t))2]M2(t)>0. 因此,lnM(t)和(lnM(t))′都是关于t≥0的增函数,从而成立如下不等式: (lnM(t))′=(lnM(t0))′+∫t0[M(τ)M″(τ)-(M′(τ))2]M2(τ)dτ, lnM(t)-lnM(t0)=∫t0(lnM(τ))′dτ≥M′(t)M(t0)(t-t0).(9) 由(9)可得当t≥t0≥0时,有 M(t)≥M(t0)exp[M′(t)(t-t0)]M(t0), 因为M(0)=0,M′(0)>0,因此,我们可以取充分小的t0使得M′(t0)>2M(t0)>0.从而,对充分大的t,可得 ‖u(·,t)‖2H10=M′(t)≥[M′(t0)M(t)]M(t0) ≥M′(t0)exp[M′(t0)(t-t0)]M(t0)≥Ce2t.(10) 故对充分大的时间t,由(8)和(10)可得 Cet≤‖u(·,t)‖H10≤‖u0‖H10e12et.(11) (11)表明问题(1)的弱解u=u(x,t)在t=+∞处爆破.证毕. 【参考文献】 [1]Sattinger D H.On global solution of nonlinear hyperbolic equations[J].Arch.Rat.Mech.Anal.,1968(30):148-172. [2]郑晓阳,刘亚成.一类半线性热方程整体解的非存在性[J].哈尔滨工程大学学报,1998(3):90-92. |
随便看 |
|
科学优质学术资源、百科知识分享平台,免费提供知识科普、生活经验分享、中外学术论文、各类范文、学术文献、教学资料、学术期刊、会议、报纸、杂志、工具书等各类资源检索、在线阅读和软件app下载服务。