侯宏樂(lè),劉存明
(太原理工大學(xué) 數(shù)學(xué)學(xué)院, 山西 太原 030024)
本文研究的如下的Timoshenko方程組:
(1)
式中:t∈+;x∈是空間變量;φ(t,x)表示位移;ψ(t,x)表示角度;σ(y)是已知光滑函數(shù)且σ′(y)>0,γ>0為正常數(shù). 賦予系統(tǒng)(1)如下的初值條件
t=0:(φ,?tφ,ψ,?tψ)=
(φ0(x),φ1(x),ψ0(x),ψ1(x)).
(2)
在有界區(qū)域, 文獻(xiàn)[1]得到了當(dāng)式(1)的第一個(gè)方程有-φt時(shí),式(1)的解是指數(shù)穩(wěn)定的, 文獻(xiàn)[2] 中, 當(dāng)式(1)的第一個(gè)方程無(wú)-φt時(shí), 式(1)的解不是指數(shù)穩(wěn)定的, 除非在等波速的情況下. 在整個(gè)空間上, 文獻(xiàn)[3]借助傅里葉空間中的能量估計(jì), 得到了在等波速和不等波速情形下的兩個(gè)衰減估計(jì). 文獻(xiàn)[4]改進(jìn)了文獻(xiàn)[3]的結(jié)果. 文獻(xiàn)[5]中, Racke和Houari 引入空間L1,r(), 改進(jìn)了文獻(xiàn)[3]的結(jié)果. 文獻(xiàn)[2,6]用不同的方法得到了相似的結(jié)果.最近, 文獻(xiàn)[7-8]在等波速和不等波速的情形下, 得到了系統(tǒng) (1)在Besov空間中的整體解以及解的衰減估計(jì). 文獻(xiàn)[1,9-10]研究了帶熱傳導(dǎo)及其他耗散類型的Timosh enko系統(tǒng). 文獻(xiàn)[11-12]考慮帶記憶項(xiàng)耗散的情況. Ide和Kawashima在文獻(xiàn)[13]中利用時(shí)間加權(quán)的能量估計(jì)獲得整體解的存在性和解的衰減性.
為了方便, 引入如下記號(hào):H2,L2,L∞分別表示經(jīng)典的Sobolev空間H2(),L2(),L∞(), 它們上面的范數(shù)分別記作‖·‖H2,‖·‖ 及‖·‖L∞;〈·,·〉表示Hilbert空間L2() 上的內(nèi)積,C;Ci(i∈)均表示與時(shí)間變量t無(wú)關(guān)的正常數(shù).
在文獻(xiàn)[3]中,引入了如下的變量替換
u=?tφ,v=?xφ-ψ,y=?xψ,z=?tψ.
由式(1)可得到關(guān)于變量(u,v,y,z)的方程組:
(3)
并滿足初始條件
t=0:(u,v,y,z)=(u0(x),v0(x),
y0(x),z0(x)),
(4)
其中
u0=φ1,v0=?xφ0-ψ0,y0=?xψ0,z0=ψ1.
U∈C([0,T*],H2())∩C1([0,T*],H1()),
其中,T*一般依賴于σ′(y).
對(duì)于Cauchy問(wèn)題(3)~(4), 可以得到如下的整體存在性結(jié)果:
定理1存在常數(shù)δ>0, 使得對(duì)任意滿足
的初值U0, Cauchy問(wèn)題(3)~(4)存在唯一整體經(jīng)典解U=U(t,x), 并且對(duì)任意的t≥0, 成立
本節(jié)將方程組(3)寫(xiě)為一般形式的雙曲方程組, 并利用對(duì)稱化技巧對(duì)U進(jìn)行能量估計(jì), 最后對(duì)相應(yīng)的變量作耗散能量估計(jì).
式(3)可寫(xiě)為如下一般形式方程組
?tU+A(U)?xU+LU=0,
(5)
并且滿足如下初始條件
t=0:U=U0(x),
(6)
其中,U0=(u0,v0,y0,z0),
(7)
(8)
取
(9)
則A0(y)關(guān)于y是一致正定矩陣. 且
(10)
是對(duì)稱矩陣. 從而方程組(5)是可對(duì)稱化雙曲方程組.
為了進(jìn)行能量估計(jì), 下面將用到經(jīng)典的Sobolev嵌入定理H2()W1,∞(), 即存在一個(gè)常數(shù)Cem>0, 使得
‖f‖|L∞≤Cem‖f‖H2, ?f∈H2().
(11)
對(duì)任意T>0, 設(shè)U=U(t,x)是Cauchy問(wèn)題(5)~(6)在區(qū)域[0,T]×上的H2解. 對(duì)任意t∈[0,T], 定義能量泛函ε2(t) 及耗散能量泛函D2(t)為
ε2(t)=〈A0(y)U,U〉+〈A0(y)?xU,?xU〉+
〈A0(y)?x2U,?x2U〉,
‖?xu‖2).
不妨假設(shè)ε2(t) 充分小, 從而由經(jīng)典Sobolev嵌入定理式(11), 得
‖y‖L∞≤C‖U‖H2.
這樣就有
成立, 當(dāng)|y|?1時(shí).
要證明定理1, 只需確立如下的能量不等式
(12)
利用對(duì)稱化技巧及經(jīng)典能量估計(jì), 有如下的命題.
命題1對(duì)于任意的t∈[0,T], 成立
(13)
證明L2估計(jì)式(5)左乘矩陣A0(y), 并與U作L2()內(nèi)積, 得
(14)
由表達(dá)式(8)~(10)通過(guò)簡(jiǎn)單計(jì)算, 易得
-2〈σ″(y)y?xy,z〉+〈σ″(y)y?ty,y〉.
(15)
由柯西-施瓦茲不等式及Sobolev空間嵌入定理(11), 將式(15)右邊第一項(xiàng)化為
|〈σ″(y)y?xy,z〉|≤C‖y‖L∞‖?xy‖‖z‖≤
C‖y‖L∞(‖?xy‖2+‖z‖2)≤
C‖U‖H2(‖?xy‖2+‖z‖2)≤
由式(3)的第三個(gè)方程及分部積分, 式(15)右邊第二項(xiàng)可化為
|〈σ″(y)y?ty,y〉|=|〈σ″(y)y?xz,y〉|=
|-2〈σ″(y)z?xy,y〉-〈σ?(y)yz?xy,y〉|≤
從而得U的L2估計(jì)
(16)
一階能量估計(jì)對(duì)式(5)關(guān)于x求一階偏導(dǎo)數(shù), 得
(17)
式(17)左乘矩陣A0(y), 并與?xU作L2()內(nèi)積, 得
2〈A0(y)(?xA(U))?xU,?xU〉.
(18)
利用方程組(3), 并由Sobolev空間嵌入定理, 易得
|〈(?tA0(y))?xU,?xU〉|=
|〈σ″(y)?ty?xy,?xy〉|=
|〈σ″(y)?xz?xy,?xy〉|≤
C‖?xy‖L∞‖?xy‖‖?xz‖≤
(19)
|2〈-σ″(y)?xy?xz,?xy〉|≤
C‖?xy‖L∞‖?xy‖‖?xz‖≤
(20)
|-2〈A0(y)(?xA(U))?xU,?xU〉|=
|2〈σ″(y)?xy?xy,?xy〉|≤
C‖?xy‖L∞‖?xy‖2≤
(21)
將式(19)~(21)代入式(18), 得
(22)
二階能量估計(jì)對(duì)式(5)關(guān)于x求二階偏導(dǎo)數(shù), 得
(23)
(24)
由表達(dá)式(7)~(10), 并由柯西不等式及Sobolev空間嵌入定理, 易得
(25)
(26)
(27)
(28)
將式(25)~(28)代入式(24), 得
(29)
最后, 將式(16),(22)和(29)相加, 得
(30)
從而得到式(13).
由式(13)知,要完成能量估計(jì), 還需要給出‖?xy‖H1,‖v‖H1,‖?xu‖的時(shí)間耗散估計(jì).
命題2對(duì)于任意的t∈[0,T], 成立
(31)
(32)
(33)
式中:ε為待定的正常數(shù), 且與時(shí)間t無(wú)關(guān).
證明首先證明式(31). 由式(3)中的第四個(gè)方程, 得
σ′(y)?xy=?tz-v+γz.
(34)
式(34)與?xy作L2()內(nèi)積, 由柯西-施瓦茲不等式和Young不等式, 得
〈?xu,z〉+〈?xz,?xz〉+γ〈z,?xy〉≤
Cε‖z‖2+ε‖?xu‖2+‖?xz‖2+
(35)
(36)
再證明式(32). 同樣由式(3)中第四個(gè)方程, 得
v=?tz-σ′(y)?xy+γz.
(37)
式(37)與v作L2()內(nèi)積, 得
〈?x(σ(y)),v〉+γ〈z,v〉.
(38)
對(duì)式(38)右邊的第四項(xiàng)進(jìn)行分部積分, 得
-〈?x(σ(y)),v〉=〈σ(y)-σ(0),?xv〉=
(39)
其中
G(y)σ(y)-σ(0),
且有
成立, 當(dāng)|y|?1時(shí).
將式(39)代入式(38), 由柯西-施瓦茲不等式和Young不等式, 得
γ〈z,v〉+〈σ″(y)z?xy,u〉+〈(σ′(y)-1)z,?xu〉≤
(40)
從而得
(41)
最后證明式(33). 式(3)第二個(gè)方程與?xu作L2() 內(nèi)積, 得
〈?xu,?xu〉=〈?tv,?xu〉+〈z,?xu〉=
由柯西-施瓦茲不等式, 得
Cε‖z‖2+ε‖?xu‖2.
|?xv‖2+C‖z‖2.
(42)
命題3對(duì)于任意的t∈[0,T], 成立
(43)
及
(44)
(45)
(46)
從而式(43)得證.
最后證明式(44). 對(duì)式(3)第四個(gè)方程關(guān)于x求偏導(dǎo), 并與?xv作L2()內(nèi)積, 得
(47)
對(duì)式(47)右邊的最后一項(xiàng), 利用分部積分, 得
(48)
將式(48)代入式(47), 并利用Young不等式, 得
(49)
從而式(44)得證.
將式(31)~(33)及(43)~(44)相加, 得
(50)
其中
B(t)=〈z,?xy〉+〈u,y〉+4〈z,v〉+
〈?xu,?xy〉+4〈?xz,?xv〉+4〈?x(σ(y)),?xu〉.
從而有
(51)
(52)
其中
對(duì)式(13)的兩邊同乘以C2并與式(52)相加, 得
(53)
取C2充分大, 使得γC2>C,則
(54)
從而得
(55)
其中C3=min{γC2,C1}.
因?yàn)棣?(t)充分小, 由式(55)得
(56)
其中,C4為正常數(shù), 對(duì)式(56)兩端在[0,t]上積分,得
(57)
因?yàn)镃2充分大, 故C2ε2(t)-B(t)與ε2(t)等價(jià), 從而得
(58)
證畢.