黃耀芳,李 莉,董 玉,張洪林

（寧波大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,浙江 寧波 315211）

Navier-Stokes 方程描述了黏性流體的運(yùn)動(dòng),而三維不可壓方程解的適定性問(wèn)題仍然是公開(kāi)的難題.1934 年,Leray[1]證明了不可壓Navier-Stokes 方程全局弱解的存在性.到目前為止,最優(yōu)的正則性結(jié)果仍然歸功于Caffarelli 等[2],他們證明了Navier-Stokes 方程的任何適當(dāng)弱解的奇異集具有一維Hausdorff 零測(cè)度.后來(lái),Lin[3]使用緊性方法證明了相同的結(jié)果.Vasseur[4]使用De Giorgi 為橢圓方程引入的方法證明了同樣的結(jié)果.由于沒(méi)有足夠的耗散來(lái)控制方程的非線性性,因此標(biāo)準(zhǔn)的Navier-Stokes 方程是超臨界的.

為了增強(qiáng)Navier-Stokes 方程的耗散,諸多學(xué)者進(jìn)行了一系列改進(jìn).考慮具有超耗散的廣義Navier-Stokes 方程

其中u=(u1,u2,u3)表示流體的速度場(chǎng),p代表壓力.如果α≥ 5/4且初始數(shù)據(jù)是光滑的,則該方程具有全局光滑解并且解是具有唯一性的[5-8].2009年,Tao[9]研究了具有以下對(duì)數(shù)形式的超臨界超耗散項(xiàng)的Navier-Stokes 方程:

Tao 改進(jìn)了上述結(jié)果并發(fā)現(xiàn)方程(2)對(duì)任何光滑且有緊支集的初始數(shù)據(jù)都有全局光滑解.Barbato 等[10]通過(guò)在對(duì)數(shù)弱耗散項(xiàng)上引入較弱的條件,進(jìn)一步改進(jìn)了Tao 的研究結(jié)果.學(xué)者們還研究了具有超耗散的不可壓磁流體動(dòng)力學(xué)方程,但結(jié)果并不完全一樣[7,11].

一些數(shù)學(xué)家通過(guò)研究具有部分超耗散的Navier-Stokes 方程來(lái)改進(jìn)方程(1)的結(jié)果.Yang 等[12]減少了方程(1)中的超耗散,研究了以下具有部分耗散的三維Navier-Stokes 方程的全局正則性:

并證明了當(dāng)u0∈H1(R3)時(shí),方程(3)的強(qiáng)解具有全局存在性和唯一性.2021 年,Li 等[13]證明了u0∈Hs(R3)(s＞ 5/2)時(shí)方程(3)H s解的全局存在性和唯一性.

當(dāng)所有方程中都去除沿x3方向的超耗散時(shí),可得

受Yang 等[12]研究的啟發(fā),本文從u2和u3的方程中去除沿x3方向的超耗散,考慮以下不可壓Navier-Stokes 方程的適定性:

本文證明了方程(5)的1H解的全局存在性和唯一性.需要注意的是,如果u1,u2沒(méi)有沿x3方向的耗散,即將從u1,u2的方程中去掉,則使用此方法不能證明以下問(wèn)題的適定性:

1 主要結(jié)果

首先介紹一些符號(hào).在本文其余部分,分?jǐn)?shù)階拉普拉斯算子(-Δ)α是通過(guò)傅里葉變換定義的[14]:

本文的主要結(jié)果可表示為如下兩個(gè)定理.

定理1 假設(shè)u0∈H1(R3),則方程(5)存在一個(gè)全局解u,且滿(mǎn)足

此外,如果有一個(gè)解在更好的函數(shù)空間,則可以得到下面的唯一性結(jié)果.

定理2 如果u(1),u(2)是方程(5)的兩個(gè)解,它們都滿(mǎn)足式(6)并且?9/4u(2)∈L2（0,∞;L2(R3)）,則u(1)≡u(píng)(2).

2 全局存在性和正則性的證明

首先給出用于證明上述定理的預(yù)備知識(shí).

引理1 (Sobolev 嵌入不等式)假設(shè)2 ≤p≤∞且s＞d(1/2 -1/p),則存在一個(gè)僅依賴(lài)于d,p和s的常數(shù)C,使得

此外,如果2 ≤p＜+∞,式(7)對(duì)s=d(1/2 -1/p)也成立.

為了交換兩個(gè)Lebesgue 范數(shù),證明中將會(huì)使用下列Minkowski 不等式和Gagliardo-Nirenberg 不等式.

引理2 (Minkowski 不等式)假設(shè)f(x,y)是一個(gè)測(cè)度函數(shù),x∈Rm且y∈Rn,如果1 ≤q≤p≤∞,則

下面證明解的全局存在性和正則性.取方程(5)與u的內(nèi)積,分部積分并利用?·u=0得

其中使用了如下記號(hào):

其中

在利用散度條件?·u=0后,可以將I寫(xiě)為

由于對(duì)u1及其導(dǎo)數(shù)有更多的控制,所以在此只給出I2和I3估計(jì)的計(jì)算.首先考慮I2,

將方程(8)中的項(xiàng)根據(jù)它們出現(xiàn)的順序依次標(biāo)記為I21,I22,…,I29.

針對(duì)I21,通過(guò)分部積分有

利用H?lder 不等式和引理2 得

由Sobolev 不等式可得

和

由基本不等式

和Plancherel 定理,有

應(yīng)用引理1 和引理3,取p=∞和s=1,有

其中使用了插值不等式

綜合估計(jì)式(9)～(13)并使用Young 不等式,有

對(duì)于I22的估計(jì),可以利用類(lèi)似于I21估計(jì)的方法.通過(guò)分部積分法有

事實(shí)上,

其中 ?h=(?1,?2).

針對(duì)I23估計(jì),通過(guò)分部積分有

事實(shí)上,

類(lèi)似地,

這就確定了I23的估計(jì).

對(duì)于I24的估計(jì),通過(guò)分部積分有

事實(shí)上,

類(lèi)似地,

這就完成了I24的估計(jì).

為了估計(jì)I25,利用分部積分得到

對(duì)I26的估計(jì)與I24類(lèi)似.通過(guò)分部積分有

事實(shí)上,

同理得

因此就得到了I26的估計(jì).

為估計(jì)I27,通過(guò)分部積分可以得到

對(duì)I271的估計(jì)與I22的估計(jì)類(lèi)似,因此有

類(lèi)似地,

因此就完成了I27的估計(jì).

現(xiàn)在轉(zhuǎn)向I28和I29.通過(guò)分部積分和散度條件?·u=0得

對(duì)I20的估計(jì)與I21類(lèi)似.因此可得

這就完成了I2的估計(jì).

現(xiàn)在考慮I3.注意 ?3u3出現(xiàn)在I3的許多項(xiàng)中,通過(guò)散度條件可以將其轉(zhuǎn)換為 -(?u11+?2u2).更準(zhǔn)確地說(shuō),

將方程(14)中的項(xiàng)根據(jù)它們出現(xiàn)的順序依次標(biāo)記為I31,I32,…,I39.

首先處理I31.

通過(guò)分部積分有

對(duì)I321的估計(jì)與I22的估計(jì)類(lèi)似,因此有

類(lèi)似地,

用估計(jì)I321的方法去估計(jì)I33得

通過(guò)分部積分可得

對(duì)I341的估計(jì)跟I331的估計(jì)方法類(lèi)似,因此有

同理得

現(xiàn)在轉(zhuǎn)向I35和I36.根據(jù)分部積分和散度條件?·u=0有

通過(guò)分部積分可得

因此有

考慮I37,通過(guò)分部積分得

事實(shí)上,

類(lèi)似地,

根據(jù)?·u=0可得

用分部積分可以計(jì)算出

其中

由于I382=-I22,因此省略.

根據(jù)散度條件 ?·u=0,可以計(jì)算出

因此

利用散度條件?·u=0可以得到

由分部積分可得

因此

同理得

根據(jù)I342的估計(jì),可以得到

正如之前提到的,u1包含三個(gè)方向的擴(kuò)散,因此I1的估計(jì)比I2和I3更簡(jiǎn)單,故在此省略了相關(guān)計(jì)算.將上述所有估計(jì)綜合在一起得到

通過(guò)Gr?nwall 不等式可知

則全局存在性和正則性成立.

3 唯一性的證明

本節(jié)證明定理2 中的唯一性結(jié)果.

則其滿(mǎn)足

由H?lder 不等式和引理1 得

其中使用了插值不等式

從而

類(lèi)似地,

結(jié)合J1,J2和J3的估計(jì)得