王艷萍

(鄭州航空工業(yè)管理學(xué)院 數(shù)理系 河南 鄭州 450015)

0 引言

本文討論高階非線性發(fā)展方程的初邊值問題：

utt-uxx-uxxtt+αux4+βux4t2=f(u)xx,0

(1)

u(0,t)=u(1,t)=uxx(0,t)=uxx(1,t)=0,0≤t

(2)

u(x,0)=φ(x),ut(x,0)=φ(x),0≤x≤1,

(3)

其中，u(x,t)是關(guān)于變量x和t的未知函數(shù),α>0,β>0是物理常數(shù),f(x)是已知的非線性函數(shù)，φ(x)和φ(x)是已知的初始函數(shù).

在晶格動(dòng)力學(xué)和水波的研究中都提出了模型方程[1]

utt-uxx-uxxtt+αux4+βux4t2=γ(u2)xx,

(4)

其中，α>0,β>0和γ≠0是常數(shù).顯然方程(1)是方程(4)的廣義形式，這種方程也被稱為Boussinesq型方程(簡稱Bq方程).關(guān)于Bq方程的孤立子波解和行波解的研究，已經(jīng)有大量的結(jié)果[2-5].文獻(xiàn)[6]研究了方程(4)初邊值問題,給出了問題局部解的存在性和唯一性，并討論了解的爆破性質(zhì)；文獻(xiàn)[7]對方程(1)的初值問題進(jìn)行了討論，給出了問題整體解的存在性和唯一性，并給出了解爆破的充分條件.本文對方程(1)的初邊值問題進(jìn)行研究，首先證明問題(1)～(3)的局部廣義解的存在性與唯一性，然后利用凸性方法證明問題解的爆破.

文中分別用‖·‖和‖·‖Hm表示L2(0,1)和Sobobev 空間Hm(0,1)中的范數(shù),有時(shí)也記Ω=(0,1).

1 局部解和解的爆破

用Galerkin方法和緊性原理可以證明關(guān)于方程(1)～(3)的解的存在性定理.

u(x,t)∈C([0,T0);H4(0,1))∩C1([0,T0);H4(0,1))∩C2([0,T0);H4(0,1))，

其中,T0是解的最大存在區(qū)間.

為了討論問題解的爆破,首先給出引理1和引理2.

引理1(Jensen不等式)設(shè)G(x)定義在(a,b)上,G(x)∈[a1,b1]其中,a,b,a1,b1是有限數(shù)或∞,F(x)是(a1,b1)上的連續(xù)的凸函數(shù),Q(x)∈L1[a,b],且Q(x)≥0,則有

在右端有限時(shí)成立.

下面討論問題(1)～(3)解的爆破性質(zhì).

定理2設(shè)u(x,t)是問題(1)～(3)的廣義解,且

其中,y(x)表示特征問題.

y″+λy=0,y(0)=y(1)=0,0

(a)f(s)∈C2(R)是偶的凸函數(shù),且滿足f(0)=0.f(ρ)-(1+αμ)ρ≥0;

(b)當(dāng)s→+∞時(shí)，f(s)增長得足夠快， 使得積分

(5)

注意到ω(x)及u(x,t)所滿足的邊界條件,利用分部積分可得

(6)

(7)

(8)

把(6)～(8)式代入(5)可以得到

(9)

利用Jensen不等式,注意到關(guān)于f的假定，可知

(10)

由(9)和(10)式得

(11)

由于

特別地，f0(s)在[ρ,+∞)上單增，且f0(s)≥f0(ρ)≥0，因而對?s≥ρ,f(s)-(1+αμ)s≥0.記

由于z(t)>0,從而

定理證畢.

[1] Schneider G,Eugene C W.Kawahara dynamics in dispersive media[J].Physica D,2001(152/153):384-394.

[2] Samsonov A M,Sokurinskaya E V.On existence of longitudinal strain solitons in an infinite nonlinearly elastic rod[J].Soviet Phys Dold,1988,4(2): 298-300.

[3] Samsonov A M.Nonlinear Strain Waves in Elastic Waveguide[M].New York: Springer,1994.

[4] Samsonov A M.On some exact travelling wave solutions for nonlinear hyperbolic equation[J].Longman Scientific & Technical,1993,227(1): 123-132.

[5] Porubov A V.Strain solitary waves in an elastic rod with microstructure[J].Rend Sem Mat Univ Politec Torino,2000,58(1): 189-198.

[6] 王艷萍.一類高階非線性波動(dòng)方程整體解的存在性[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí),2004， 34(10): 153-158.

[7] 王艷萍,郭柏靈.一類廣義Boussinesq型方程的Cauchy問題[J].數(shù)學(xué)年刊， 2008，29A (2): 185-194.

[8] 王艷萍.高階非線性發(fā)展方程中的若干問題[M].北京：知識(shí)產(chǎn)權(quán)出版社，2009.

[9] Glassey R T.Blow-up theorems for nonlinear wave equations[J].Math Z,1973,132(1): 183-203.

[10] 陳國旺，達(dá)芳.一維具阻尼非線性雙曲型方程Cauchy問題解的爆破[J].鄭州大學(xué)學(xué)報(bào):理學(xué)版，2005，37(2):5-10.

[11] 達(dá)芳，郭紅霞.一類非線性波動(dòng)方程的Cauchy問題[J].鄭州大學(xué)學(xué)報(bào):理學(xué)版，2006，38(1):7-14.