朱道宇

(貴州民族大學(xué) 理學(xué)院，貴州 貴陽 550025)

考慮如下的非均勻不可壓縮Navier-Stokes方程

(1)

ρ|t=0=ρ0，

(2)

u|t=0=u0.

(3)

當(dāng)密度ρ為常數(shù)時，方程(1)簡化為均勻不可壓縮Navier-Stokes方程，也稱Navier-Stokes方程．如果設(shè)ρ=1，則Navier-Stokes方程為

(4)

在文獻(xiàn)[2-3]中，Scheffer為研究恰當(dāng)弱解而給出了Navier-Stokes方程的部分正則性理論，Caffarelli等[4]對Scheffer的結(jié)果進(jìn)行了改進(jìn)，由此證明了對任一恰當(dāng)弱解，奇異集具有一維Hausdorff零測度．恰當(dāng)弱解與一般弱解的差別在于，它必須滿足分布意義下的局部能量不等式：

(5)

事實上，局部能量不等式(5)可以看成是如下被Leray-Hopf弱解所滿足的能量不等式的局部形式：

下面給出關(guān)于非均勻不可壓縮Navier-Stokes方程的滿足局部能量不等式的弱解的存在性定理.

亦即不等式

對空間中任一具有緊支集的C∞函數(shù)φ≥0成立．這里的

第1步 求解近似方程，構(gòu)造方程(1)～(3)的近似解(ρn,un,Fn)．

由文獻(xiàn)[1]中定理2.6知，下面的方程

(6)

具有滿足初值條件

(7)

(8)

un=unωn

(9)

(10)

第2步 (ρn,un)的一致估計和收斂性，方程(1)的弱解的存在性．

由方程(6)的能量定律得

(11)

其中C與n無關(guān)．又由(10)式知ρn有一致的正下界，所以

(12)

利用Sobolev嵌入和(11)式，得

(13)

在(12)和(13)式之間作插值，得

(14)

再利用Holder不等式，可以從(9)～(11)和(14)式推出

(15)

利用文獻(xiàn)[1]中定理2.5，存在某個函數(shù)ρ使得對任意的T>0和R>0，當(dāng)n→∞時有

ρn→ρ∈C([0,T];Lp(BR))，p∈[1,+∞),

其中u滿足對任意的R>0，當(dāng)n→∞時有

(16)

從上面的收斂結(jié)果可知，對任意的T>0和R>0，當(dāng)n→∞時有

(17)

(18)

其中的un如(9)式所定義．類似于文獻(xiàn)[1]中關(guān)于存在性的證明，可得(ρ,u)滿足(1)～(3)，因而是(1)～(3)的弱解．

第3步Fn的一致估計和收斂性．

為了得到局部能量不等式，需要對近似壓力作一致估計．通常，對于不均勻Navier-Stokes方程，對任意的T>0和R>0都有

其中的C與T和n無關(guān)．

運用Sobolev嵌入，得到近似壓力的一致估計為

因此Fn必存在一個弱收斂的子列，不妨仍記為Fn，即當(dāng)n→∞時有

(19)

第4步 局部能量不等式．

用un分別乘以(6)式的前2個方程并相加，得到在R3×(0,T)中成立的等式：

(20)

根據(jù)收斂結(jié)果(16)～(19)式，可以推出

在(20)式中令n→∞并結(jié)合上面4式，得到如下的不等式

參考文獻(xiàn):

[1] LIONS P L.Mathematical topics in fluid mechanics[M]. New York:Oxford University Press, 1996.

[2] SCHEFFER V. Partial regularity of solutions to the Navier-Stokes equations[J]. Pacific J Math, 1976, 66(2): 535-552.

[3] SCHEFFER V. Hausdorff measure and the Navier-Stokes equations[J]. Communications in Mathematical Physics, 1977, 55(2): 97-112.

[4] CAFFARELLI L, KOHN R, NIRENBERG L. Partial regularity of suitable weak solutions of the Navier-Stokes equations[J]. Communications on pure and applied mathematics, 1982, 35(6): 771-831.

[5] SOLONNIKOV V A. A priori estimates for solutions of second-order equations of parabolic type[J]. Trudy Matematicheskogo Instituta im VA Steklova, 1964, 70: 133-212.

[6] SIMON J. Nonhomogeneous viscous incompressible fluids: existence of velocity, density, and pressure[J]. SIAM Journal on Mathematical Analysis, 1990, 21(5): 1093-1117.

[7] GIGA Y, SOHR H. AbstractLpestimates for the Cauchy problem with applications to the Navier-Stokes equations in exterior domains[J]. Journal of Functional Analysis, 1991, 102(1): 72-94.