熊坤翠,姜金平,張亦馳,劉文婧
(延安大學(xué) 數(shù)學(xué)與計算機(jī)科學(xué)學(xué)院,陜西 延安 716000)
我們討論如下的二維Navier-Stokes方程:
(1.1)
其中,u=u(x,t)∈2表示速度,p表示壓力項,f(x)表示外力項;Ω表示在2上的光滑區(qū)域,?Ω是表示Ω的邊界,v>0表示流體的運(yùn)動粘性系數(shù);在阻尼項中,c>0,β≥0二者都是常數(shù)。
對于Navier-Stokes解的存在性的探討在文獻(xiàn)[1-3]等都有一定的研究。本文通過Galerkin方法討論了當(dāng)二維Navier-Stokes方程增加非線性阻尼時,它的弱解存在。
給出Sobolev空間的定義:對p≥1,m是非負(fù)整數(shù),則:Wm,p=LP(Ω)∩{u|Dαu∈Lp(Ω),|α|≤m}={u|u∈LP(Ω),Dαu=LP(Ω),|α|≤m},通常用LP(Ω)與Hr(Ω)表示Sobolev空間,在他們上面的內(nèi)積分別為u=(u1,u2)和v=(v1,v2)在空間H1(Ω)的范數(shù)記為
‖u‖=‖u‖H1=‖▽u‖L2=
LP(Ω)空間中的范數(shù)為:
|u|p=‖u‖p=?Ω|u|pdx。
如下Poincare’不等式成立:
λ1|u|2≤‖u‖2。
(2.1)
B(u,u,v)=0,B(u,v,w)=-(B(u,w),v),
由文獻(xiàn)[4]可知,對每一個u,v∈D(A),有
及|B(u,v,w)|≤
給方程(1.1)兩邊同時作用投影算子P得:
定義1[2]設(shè)f∈L2(Ω),對任意T≥0,若函數(shù)對(u(x,t),p(x,t))滿足以下性質(zhì):
(1)u∈L2(0,t;V)∩L∞(0,t;H)∩
Lβ(0,T;L2(Ω)),
定理1 設(shè)f∈L2(Ω),u0∈V及P≥0,則對于任意給定的T≥0,方程(1.1)存在弱解u,使得u∈L2(0,T;V)∩L∞(0,∞;H)∩Lβ(0,T;L2(Ω))。
我們先定義方程(1.1)的弱解。
c(|u|β,ωj)uk=(f,ωj),
j=1,2,…k,uk(0)=u0k,
(3.1)
將方程(1.1)與uk做內(nèi)積得:
穆爾通過動物寓言故事反映人類生活,盡管它們是寓言性的,反映的是現(xiàn)實生活。穆爾在動物世界里找到了自己的生活,展示了一個豐富的自我。從文化批評的角度看,她筆下的動物大多為雌性動物或與女性有關(guān),體現(xiàn)了詩人對女性的關(guān)懷。穆爾以嚴(yán)肅的創(chuàng)作態(tài)度描寫動物、了解動物、尊重動物。她筆下的人與動物是互補(bǔ)的關(guān)系。穆爾通過動物詩歌提醒我們,自然界的生靈時刻受到人類的侵?jǐn)_和控制,人類總是試圖成為大自然的主宰。穆爾明確提出,動物有著它們自己的權(quán)利,值得被尊重;人類應(yīng)該學(xué)習(xí)和模仿自然,而不是控制和征服自然。
c‖uk‖β+2=(f,uk),
(3.2)
再利用Young’s不等式和H?lder不等式,得:
再整理得:
(3.3)
再利用(2.1)得:
由Gronwall’引理,可得:
|uk|2≤
(3.4)
在(3.3)式兩邊對時間t積分得:
?m>0,
(3.5)
根據(jù)(3.4)和(3.5)得到:
(3.6)
因此uk在L∞(0,T;H),L∞(0,T;V),Lβ(0,T;L2(Ω))中有界,又因為B(u,v,w)=0和
可知:‖B(φ),φ‖≤c|φ|1‖φ‖2,?φ∈V。
(3.7)
(3.8)
(3.9)
根據(jù)參考文獻(xiàn)[5]得uk在L2(0,T;H)中弱收斂于u。通過對(3.1)兩邊同時取極限,由(3.7)、(3.8)和(3.9)可得uk在H,V′中,uk弱收斂于u,?t∈[0,T]。再通過對(3.1)取極限,
對于?v∈V∩L2(Ω),
(f,v),
因此u滿足:
利用參考文獻(xiàn)[6],可得u∈C([0,T];H)通過對(3.1)取極限,讓k→∞可得u(x,0)=u0(x),則定理1得證。