唐夢(mèng)影,張健,王永達(dá)

(河北大學(xué) 數(shù)學(xué)與信息科學(xué)學(xué)院,河北省機(jī)器學(xué)習(xí)與計(jì)算智能重點(diǎn)實(shí)驗(yàn)室,河北 保定 071002)

本文主要研究一類非線性非局部動(dòng)態(tài)Melan方程的初邊值問(wèn)題(可以看作懸索橋的動(dòng)態(tài)橫梁模型):

(1)

20世紀(jì)初,Melan[2]將懸索橋的橋面視為一維橫梁,得出了一類模擬懸索橋的四階方程:

EIwxxxx(x)-(H+h)wxx(x)-hyxx(x)=p(x),?x∈(0,L).

(2)

2014年,Gazzola[3]討論了方程(2)的非線性的起源和非局部項(xiàng)的可能形式,他通過(guò)合適映射的不動(dòng)點(diǎn)定理證明了幾個(gè)存在性結(jié)果.2018年,Gazzola等[1]考慮了Melan方程(靜態(tài)時(shí)懸索橋的數(shù)學(xué)模型)的一種變分形式,并得到了局部解的存在性.有關(guān)Melan方程的其他結(jié)果,見(jiàn)文獻(xiàn)[4-5].

1 預(yù)備知識(shí)

則范數(shù)依次為

其中a,b>0,則其范數(shù)為

2 線性問(wèn)題

本節(jié)考慮一個(gè)線性問(wèn)題

(3)

其中,g=g(x,t)是一給定函數(shù).

成立,則稱w∈ZT是式(3)的一個(gè)弱解.

證明:根據(jù)Galerkin方法,主要分4步.

第1步：構(gòu)造逼近問(wèn)題的解序列.

(4)

對(duì)n≥1,尋找逼近問(wèn)題

((wn)tt,u)2+(wn,u)y=(g,u)2,?u∈En,t>0

(5)

在式(5)中,取u依次為e1,e2,…，en,得到了n個(gè)線性方程

(6)

第2步：{wn}的局部有界性.

給定T>0(t

因?yàn)間∈C0([0,T];L2(0,L))以及H?lder不等式,所以得到

(7)

因此,

根據(jù)引理1以及式(7),得到局部有界性

(8)

第3步:{wn}的強(qiáng)收斂性.

(9)

根據(jù)式(8),{wn}在ZT中有收斂子列.取m>n≥1,并且設(shè)

在式(5)中,用m代替n,并取u=(wm,n)t(t)=(wm-wn)t(t),可得

(10)

當(dāng)m,n→∞時(shí),Cm,n→0.結(jié)合式(9)、式(10),這說(shuō)明了{(lán)wn}在ZT中是Cauchy序列.由完備性知,存在唯一的w∈ZT使得wn→w(n→∞).

第4步:唯一性.設(shè)w1和w2是式(3)的2個(gè)不同的弱解,則有

將2個(gè)方程相減,得

取u=w1-w2,在上式兩邊乘以u(píng)t并在(0,L)×[0,T]上積分,得

即證得w1=w2,定理1證畢.

3 問(wèn)題(1)解的存在唯一性

本節(jié)考慮問(wèn)題(1).首先給出弱解的定義.

成立,則稱w∈ZT是式(1)的一個(gè)弱解.

證明：考慮問(wèn)題

(11)

證明：因?yàn)関∈ZT以及yx∈C0((0,T);L2[0,L]),所以容易驗(yàn)證Φ(v)∈C0([0,T];L2(0,L)).由定理1知,問(wèn)題(11)存在唯一的弱解w.

B:={w∈ZT|w(x,0)=w0(x);wt(x,0)=w1(x);x∈(0,L)}.

則引理2可定義一個(gè)映射

γ∶B→B,γ(v)=w.

上式兩端乘以wt,然后在(0,L)×[0,T]上積分,得

由文獻(xiàn)[1]中的討論,知

因此,

(12)

其中,c與T無(wú)關(guān).于是

(13)

將式(13)代入式(12),得

即

其中，C與T無(wú)關(guān).因此,當(dāng)T足夠小時(shí),γ是一個(gè)壓縮映射.根據(jù)不動(dòng)點(diǎn)理論,知γ的一個(gè)不動(dòng)點(diǎn)就是問(wèn)題(1)的解.