粘性雙調和Camassa－Holm方程整體弱解的存在性與唯一性

甘在會

(天津大學 應用數學中心，天津 300072)

0 引 言

1993年，Camassa 等［1］在淺水波方程的研究中導出了一類粘性Camassa－Holm 方程，

其中，α 是一個非零實常數，ν ＞0 為粘性系數，π 是壓力.方程組(VCHE)也可通過變分原理和拉格朗日平均來導出［2－10］，且(VCHE)也可稱為Navier－Stokes－α方程組［6］.本研究將在系統(VCHE)的基礎上，考慮n維空間中的一類粘性雙調和Camassa－Holm 方程(Navier－Stokes－α－β 方程組)，

關于粘性Camassa－Holm 方程(VCHE)，科研人員已經取得一些成果［2－5，8，10］.在此基礎上，本研究將討論n 維粘性雙調和Camassa－Holm 方程(1)整體弱解的存在性與唯一性，其中，n = 2，3.

先給出一些記號:Lp表示標準勒貝格空間，其范數表示為，，＜u，v ＞=uvdx，表示在Hilbert 空間L2上的標準內積.令，，則表示∑在范數‖·‖p下的完備化空間，Wm，p表示標準的Sobolev 空間，且Hm= Wm，2表示∑在Hm范數下的完備化空間，)' 表示的對偶空間，或表示函數? 的Fourier 變換，?或(?)表示函數? 的Fourier 逆變換.

1 預備知識

賦予粘性雙調和Camassa－Holm 方程(1)如下初值，

于是可得，

引理1 令u 和v 是具有緊支集的光滑函數，n= 2，3，且·u =·v = 0，則如下式子成立，

在式(1)中第一式兩端與u 作內積得，

再利用式(1)中第二式可得，

即式(6)成立.關于t 積分式(6)兩端知，式(7)成立.

對于粘性雙調和Camassa－Holm 方程(1)，給出如下2 個關于弱解的定義.

此外，對任意? ∈L2(［0，T］;(Ω))，且?(T)= 0，如下等式成立，

且關于t 幾乎處處成立，

此外，對任意? ∈L2(［0，T］;，且?(T)= 0，如下等式成立，

且關于t 幾乎處處成立，

2 主要結果及先驗估計式

本研究的主要結果即粘性雙調和Camassa－Holm 方程(1)在定義1 及定義2 意義下整體弱解的存在性與唯一性.

定理1 給定初值v0∈(Ω)，其中，Ω ?n是具有光滑邊界的開有界集，且v0|=0，或者Ω =n，n = 2，3，M ≥0=.則 粘 性 雙 調 和Camassa－Holm 方程(1)在定義1 或者定義2 意義下存在唯一的整體弱解.此外，這個弱解滿足估計式(7)，且對所有m +2k ≤M 時，如下估計式成立，

為了證明定理1，首先給出幾個重要的引理.

引理2 給定v ∈Lp(n)，p ∈(1，∞)，n = 2，3，雙調和Helmholtz 方程，

存在一個弱解，u ∈W2，p(n).此外，函數u 和v 滿足如下估計式，

證明 利用橢圓估計、Sobolev 嵌入定理及插值估計，可得到引理2 的結論.

則，

其中，常數C 僅依賴于α，β，Ω 及n.

證明 利用Poincaré 不等式及Gagliardo－Nirenberg－Sobolev 不等式可推得該引理中的估計式.

及，

此外，近似解式(10)、(11)滿足如下關系式，

證明 將式(10)、(11)代入方程(1)，并與ωi作內積得，

此式代入式(14)可推知，近似解式(10)、(11)滿足關系式(12).注意到Pm∶L20(Ω)→Hm，由式(10)知vm(0)= Pmv0，即式(13)成立.

將式(10)、(11)代入式(12)可得，

方程(16)是關于gim的一個m 階常微分方程系統.由常微分方程解的局部存在性理論知，在某一時間區間［0，Tm］上，方程(16)的解gim有定義且存在.

下面的引理5 給出了Tm一致有界(不依賴于m)，即對任意m，Tm= ∞.

引理5 令n = 2，3，由引理4 構造的近似解滿足如下估計式，

其中，C = C(n，α，β，ν，‖v0‖2)不依賴于T，Ω及m.

證明 在式(12)兩端同乘，

并求和知，

利用式(11)，及um－ α2Δum+ β2(－ Δ)2um=vm，式(19)蘊含著，

由引理1 知，〈um·vm，um〉+〈vm·，um〉= 0.于是，由式(20)可推導出，

即，

于是，式(17)成立.此外，由，

可知，

根據式(17)，將引理3 應用到近似解vm，um知如下估計式成立，

因對任意? ∈H20(Ω)可用ωi求和來表示，故由式(12)知每個近似解滿足，

利用分部積分，H?lder 不等式及Gagliardo－Nirenberg－Sobolev 不等式可推得，

由此可得，

結合式(13)、(22)、(23)與(26)知，

即式(18)成立.

3 主要結果證明(定理1 的證明)

定理1 的證明

1)證明在定義1 意義下Camassa－Holm 方程(1)弱解的存在性，即如下結論成立.

證明 注意到引理4 及引理5，這里僅需證明近似解的收斂性.引理5 蘊含著序列vm有界，根據Banach－Alaoglu 定理，可抽取vm的一個子序列(為了方便，仍用vm表示)滿足存在一個函數v，

使得，

在L∞(［0，T］(Ω))中，vm弱*收斂于v (28)

在L2(［0，T］;(Ω))中，vm弱收斂于v.(29)

下面證明，v 是方程(1)的一個弱解，根據引理4中近似解的構造，對任意基矢量ωj∈L20(Ω)及任意光滑標量關于時間的函數?j(t)使得，?j(T)= 0，利用分部積分知，

收斂性式(28)、(29)蘊含著，

由式(17)及(18)知，存在一個子序列vm使得，

在L2(［0，T］;L20(Ω))中，vm強收斂于v (34)

注意到引理2，存在一個函數u 滿足，u－α2Δu +β2(－ Δ)2u = v.于是，由引理4 可以推導出，

利用Gagliardo－Nirenberg－Sobolev 不等式知，

聯合式(34)、(35)及(36)，利用H?lder 不等式及Gagliardo－Nirenberg－Sobolev 不等式得到收斂性估計，

因ωj在中稠密，且?j是任意光滑函數，故由式(30)、(31)、(32)、(33)、(37)及(38)可得v 是式(1)的一個弱解.命題1 得證.

注記2 命題1 的結論在v0∈(Ω)時也成立.

2)證明在定義2 意義下Camassa－Holm 方程(1)弱解的存在性，即如下命題2 成立.

命題2 令v0∈n)(n = 2，3)，則Camassa－Holm 方程(1)在定義2 意義下存在一個弱解.

證明 設Ri是一個趨于∞的序列，在半徑為Ri－ ε 的球內，χRi= 1;在半徑為Ri的球的邊界上，χRi= 0.由注記2 知，在半徑為Ri的球上，式(1)存在一個弱解vRi，且初值為v0χRi.令vRi在半徑為Ri的球外為0，可將vRi延拓到整個空間n.因式(17)、(18)不依賴于Ω，故式(17)、(18)不依賴于Ri.由Banach－Alaoglu 定理知，存在函數v，

使得，

在L∞(［0，T］，vRi弱*收斂于v.(39)

在L2(［0，T］中，vRi弱收斂于v.(40)

注意到空間L2(［0，T］;H10(Rn))中存在一組正交基{?i}，其中?i光滑且關于空間具有緊支集.由命題1 及注記2，對充分大的Ri成立，

于是，可對線性項取極限Ri→∞.此外，在每個基函數?i的支集內，由強收斂性，可對非線性項取極限.最后，通過對角化討論可證，當Ri→∞時式(41)的收斂性.于是可知，v 是粘性雙調和Camassa－Holm 方程(1)在定義2 意義下的一個弱解.

3)證明正則性估計式(E－1)成立.

命題3 對于命題1，命題2 中構造的Camassa－Holm 方程(1)的弱解v，且v0∈HK0，當M +2P ≤K 時，如下正則性估計式成立，

證明 運用歸納法，由牛頓萊布尼茲公式及Gagliardo－Nirenberg－Sobolev 不等式可得到此命題中的正則性估計式成立.

4)證明在命題1、命題2 中構造的粘性雙調和Camassa－Holm 方程(1)的弱解的唯一性，即如下結論成立.

命題4 在命題1、命題2 中構造的粘性雙調和方程(1)的弱解是唯一的.

證明 令(v，u)和(w，q)是粘性雙調和Camassa－Holm 方程(1)具有相同初值的2 個解.于是，(v－ w，u－ q)滿足，

利用H?lder 不等式、Gagliardo－Nirenberg－Sobolev不等式、柯西不等式及引理3，式(45)右端項滿足如下估計式，

于是，由引理5 可得，

由Gronwall 不等式及‖v0－w0‖2= 0 可推知，對任意t ∈［0，T］，‖v－ w‖2= 0.

由命題1、注記2、命題2、命題3 及命題4 知，定理1 得證.

［1］Camassa R，Holm D D.An integrable shallow water equation with peaked solitons［J］.Phys Rev Lett，1993，71(11):1661－1664.

［2］Chen S，Foias C，Holm D D，et al.Camassa－Holm equations as a closure model for turbulent channel and pipe flow［J］.Phys Rev Lett，1998，81(24):5338－5341.

［3］Chen S，Foias D，Holm D D，et al.The Camassa－Holm equations and turbulence［J］.Phys D，1999，133(1－4):49－65.

［4］Chen S，Foias C，Holm D D，et al.A connection between the Camassa－Holm equations and turbulent flows in channels and pipes［J］.Phys Fluids，1999，11(8):2343－2353.

［5］Domaradzki J A，Holm D D.Navier－Stokes－alpha models:Les equations with nonlinear dispersion［EB/OL］.［2001－03－23］.http://arxiv.org/abs/nlin/013036.

［6］Foias C，Holm D D，Titi E S.The Navier－Stokes－alpha model of fluid turbulence［J］.Phys D，2001，152/153(1):505－519.

［7］Foias C，Holm D D，Titi E S.The three dimensional viscous Camassa－Holm equations，and their relation to the Navier－Stokes equations and turbulence theory［J］.J Dynam Differential Equations，2002，14(1):1－35.

［8］Ilyin A A，Titi E S.Attractors for the two－dimensional Navier－Stokes－α model:an α－dependence study［J］.J Dynam Differential Equations，2003，15(4):751－778.

［9］Holm D D，Marsden J E，Ratiu T S.The Euler－Poincar'e equations and semidirect products with applications to continuum theories［J］.Adv Math，1998，137(1):1－81.

［10］Marsden J E，Shkoller S.Global well－posedness for the agrangian averaged Navier－Stokes(LANS－α)euqations on bounded domains［J］.R Soc Lond Philos Trans Ser A Math Phys Eng Sci，2001，359(1784):1449－1468.