三维不可压磁流体力学方程弱解正则准则

Regularity Criterion of the Weak Solution for the 3D Incompressible MHD Equations

摘要: 文章考虑在三维情况下不可压的磁流体力学(MHD)方程解的正则性。使用Young不等式，Hölder不等式及Sobolev嵌入技术等，扩大了弱解正则的函数空间，证明了当∂₃u,∂₃b∈L^p(0,T;L^q(R³))，2/p+3/q=46/25+3/25q, 31/8≤q≤∞时，或者当∂₃u,∂₃b∈L^p(0,T;L^q(R³))，2/p+3/q=22/13+3/13q,19/8≤q≤∞时，且都有，则三维不可压MHD方程弱解(u, b)在(0,T]上是正则的。

Abstract: This paper considers the regularity of weak solutions for incompressible MHD equations in 3D cases. Here, Yuong inequalities, Hölder inequalities and Sobolev embedding techniques are used to expand the integral space to which the weak solution belongs. Here, it is proved that the weak solution (u, b) is regular on (0,T], if ∂₃u,∂₃b∈L^p(0,T;L^q(R³)) and 2/p+3/q=46/25+3/25q, 31/8≤q≤∞ or ∂₃u,∂₃b∈L^p(0,T;L^q(R³)), 2/p+3/q=22/13+3/13q, 19/8≤q≤∞ ,together with .

1. 引言及主要结论

本文主要考虑下列三维不可压MHD方程弱解的正则性

$\{\begin{array}{l}{\partial }_{t}u+\left(u\cdot \nabla \right)u+\nabla p=\Delta u+\left(b\cdot \nabla \right)b,\hfill \\ {\partial }_{t}b+\left(u\cdot \nabla \right)b=\Delta b+\left(b\cdot \nabla \right)u,\hfill \\ \nabla \cdot u=\nabla \cdot b=0,\hfill \\ u\left(x,0\right)=u_0\left(x\right),b\left(x,0\right)=b_0\left(x\right),\hfill \end{array}\left(x,t\right)\in R^3\times \left(0,T\right]$ (1)

这里 $u=\left(u_1,u_2,u_3\right)$， $b=\left(b_1,b_2,b_3\right)$ 和 $p=p\left(x,t\right)$ 分别表示未知流体速度向量场，磁流体速度向量场和标量压力场, $u_0\left(x\right)$， $b_0\left(x\right)$ 是初始条件，且满足在广义下有 $\nabla \cdot u_0=\nabla \cdot b_0=0$。

众所周知在文献 [1] 中，指出满足初始条件时，方程(1)存在弱解是局部正则解。然而，是否存在全局正则性的弱解仍然是一个充满挑战的公开问题。但是，文献中有大量结果表明，如果对弱解施加一些附加条件，则对这个问题的回答是肯定的(参见 [2] - [14] )。对压力p附加一些条件同样也可得到弱解具有正则性(参见 [15] [16] )。在这些结果中，我们对仅涉及速度u，磁场b更感兴趣。

最近，Sadek Gala，Maria Alessandra Ragusa在 [7] 中证明了

${\partial }_3\left(u\pm b\right)\in L^p\left(\left(0,T\right);L^q\left(R^3\right)\right),\frac{2}{p}+\frac{3}{q}=\frac{8}{5}+\frac{3}{5q},4\le q\le \infty$，

或者 ${\partial }_3\left(u\pm b\right)\in L^p\left(\left(0,T\right);L^q\left(R^3\right)\right),\frac{2}{p}+\frac{3}{q}=\frac{4}{11}+\frac{9}{11q},\frac{5}{2}\le q\le \infty$，

则弱解在 $\left(0,T\right]$ 上是正则的。

重要结论之一是著名的Ni-Guo-Zhou准则(参见 [8] 定理1.3，类似的结果也可参考 [17] 定理 1.2)。如下

$\{\begin{array}{l}b,u_3\in L^{p_1}\left(0,T;L^{q_1}\left(R^3\right)\right),2/p_1+3/q_1\le 1,3<q_1\le \infty ,\\ \partial b,{\partial }_{3}u\in L^{p_2}\left(0,T;L^{q_2}\left(R^3\right)\right),2/p_2+3/q_2\le 2,3/2<q_2\le \infty .\end{array}$ (2)

受文献 [7] 和 [8] 的启发，我们得到比文献 [7] 如下更优的结果如下定理1。

这里 $w^{\pm }=u\pm b,w_0^{\pm }=u_0\pm b_0$.

定理1 假设 $u_0,b_0\in L^2\left(R^3\right)$，且在广义积分条件下有 $\nabla \cdot u_0=\nabla \cdot b_0=0,T>0$，设 $\left(u,b\right)$ 是MHD方程的1在 $\left(0,T\right]$ 上满足初始条件的弱解，且 $b_1,b_2\in L^{\frac{2s}{s-3}}\left(0,T;L^s\left(R^3\right)\right),s>3$，如果有

${\partial }_{3}w\in L^p\left(\left(0,T\right);L^q\left(R^3\right)\right),\frac{2}{p}+\frac{3}{q}=\frac{46}{25}+\frac{3}{25q},\frac{31}{8}\le q\le \infty$ (3)

或者

${\partial }_{3}w\in L^p\left(\left(0,T\right);L^q\left(R^3\right)\right),\frac{2}{p}+\frac{3}{q}=\frac{22}{13}+\frac{3}{13q},\frac{19}{8}\le q\le \infty$ (4)

则弱解在 $\left(0,T\right]$ 上是正则的，

注：上式的q值比文献 [7] 的值相应减小，等式值相应增大，所以此结果比文献 [7] 结果更优。

2. 主要结果的证明

我们把方程(1)的第一个方程和第二个方程加减运算，把方程1转化为如下方程

$\{\begin{array}{l}{\partial }_t{w}^{+}+w^{-}\cdot \nabla w^{+}+\nabla p=\Delta w^{+},\hfill \\ {\partial }_t{w}^{-}+w^{+}\cdot \nabla w^{-}+\nabla p=\Delta w^{-},\hfill \\ \nabla \cdot w^{+}=\nabla \cdot w^{-}=0,\hfill \\ w^{+}\left(x,0\right)=w_0^{+}\left(x\right),w^{-}\left(x,0\right)=w_0^{-}\left(x\right),\hfill \end{array}\left(x,t\right)\in R^3\times \left(0,T\right]$ (5)

为了证明定理1，让我们介绍一些辅助结论。我们给出三维乘法的Sobolev不等式及压力估计如下：

引理1 存在一个常数 $C>0$，使得下式成立

${\Vert u\Vert }_{L^{3q}}\le C{\Vert {\partial }_{1}u\Vert }_{L^2}^{\frac{1}{3}}{\Vert {\partial }_{2}u\Vert }_{L^2}^{\frac{1}{3}}{\Vert {\partial }_{3}u\Vert }_{L^q}^{\frac{1}{3}},1\le q\le \infty$. (6)

引理2 假设 $\left(w^{+},w^{-},P\right)$ 是方程2.1组的光滑解，那么有下式成立

i) ${\Vert P\Vert }_{L^r}\le C{\Vert w^{+}\Vert }_{L^{2r}}{\Vert w^{-}\Vert }_{L^{2r}},$ (7)

ii) ${\Vert {\partial }_{3}P\Vert }_{L^r}\le C{\Vert w^{-}\cdot {\partial }_3{w}^{+}\Vert }_{L^r},$ (8)

iii) ${\Vert {\partial }_{3}P\Vert }_{L^r}\le C{\Vert w^{+}\cdot {\partial }_3{w}^{-}\Vert }_{L^r}.$ (9)

注：这里 $1<r<\infty$，引理1的详细证明参见Wu和Cao文献 [3]，引理2的证明可参见文献 [16]。

定理1的证明：

因为 当 $\frac{31}{8}\le q\le \infty$ 时， $L^{\frac{25q}{23q-36}}\left(0,T;L^q\left(R^3\right)\right)\subset L^{\frac{2q}{2q-3}}\left(0,T;L^q\left(R^3\right)\right)$，

当 $\frac{19}{8}\le q\le \infty$ 时， $L^{\frac{13q}{11q-18}}\left(0,T;L^q\left(R^3\right)\right)\subset L^{\frac{2q}{2q-3}}\left(0,T;L^q\left(R^3\right)\right)$。

根据定理1和(2)式的假设，定理1的证明只要证明下式成立

$u_3,b_3\in L^3\left(0,T;L^9\left(R^3\right)\right)$.

在方程(5)的第一个和第二个方程两边分别用 $w^{+},w^{-}$ 作内积，利用 $\nabla \cdot w^{+}=\nabla \cdot w^{-}=0$，分部积分相加得：

$\begin{array}{l}{\Vert w^{+}\left(\cdot ,t\right)\Vert }_{L^2}^2+{\Vert w^{-}\left(\cdot ,t\right)\Vert }_{L^2}^2+2{\displaystyle {\int }_0^t\left({\Vert \nabla w^{+}\left(\cdot ,\tau \right)\Vert }_{L^2}^2+{\Vert \nabla w^{-}\left(\cdot ,\tau \right)\Vert }_{L^2}^2\right)\text{d}\tau }\\ \le {\Vert w^{+}\left(\cdot ,0\right)\Vert }_{L^2}^2+{\Vert w^{-}\left(\cdot ,0\right)\Vert }_{L^2}^2\le C\end{array}$. (10)

用 $\left|w_3^{+}\right|w_3^{+},\left|w_3^{-}\right|w_3^{-}$ 分别与方程(5)的第一个和第二个方程作内积，利用 $\nabla \cdot w^{+}=\nabla \cdot w^{-}=0$，然后相加得：

$\begin{array}{l}\frac{1}{3}\frac{\text{d}}{\text{d}t}\left({\Vert w_3^{+}\Vert }_{L^3}^3+{\Vert w_3^{-}\Vert }_{L^3}^3\right)+\frac{4}{9}{\displaystyle {\int }_{R^3}\left({\left|\nabla {\left|w_3^{+}\right|}^{3/2}\right|}^2+{\left|\nabla {\left|w_3^{-}\right|}^{3/2}\right|}^2\right)\text{d}x}\\ =-{\displaystyle {\int }_{R^3}{\partial }_{3}p\cdot w_3^{+}\left|w_3^{+}\right|\text{d}x}-{\displaystyle {\int }_{R^3}{\partial }_{3}p\cdot w_3^{-}\left|w_3^{-}\right|\text{d}x}\\ =I_1+I_2\end{array}$. (11)

针对定理1第一种情况的证明，利用Hölder不等式，Yuong不等式和式(8)，对式(11)右边第一项进行估计得

$\left|I_1\right|\le C{\Vert {\partial }_{3}p\Vert }_{L^3}{\Vert w_3^{+}\Vert }_{L^3}^2$ (由Hölder不等式)

$\le C{\Vert w^{+}\cdot {\partial }_3{w}^{-}\Vert }_{L^3}{\Vert w_3^{+}\Vert }_{L^3}^2$ (由式(8))

$\begin{array}{l}\le C{\Vert w^{+}\Vert }_{L^{3q/\left(q-3\right)}}{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}{\Vert w_3^{+}\Vert }_{L^3}^2\\ \le C{\Vert w^{+}\Vert }_{L^2}^{\left(8q-31\right)/3\left(4q-3\right)}{\Vert w^{+}\Vert }_{L^{3q}}^{\left(q+18\right)/2\left(4q-3\right)}{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}{\Vert w_3^{+}\Vert }_{L^3}^2\\ \le C{\Vert {\partial }_1{w}^{+}\Vert }_{L^2}^{\left(q+18\right)/6\left(4q-3\right)}{\Vert {\partial }_2{w}^{+}\Vert }_{L^2}^{\left(q+18\right)/6\left(4q-3\right)}{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{\left(q+18\right)/6\left(4q-3\right)}{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}{\Vert w_3^{+}\Vert }_{L^3}^2\\ \le C{\Vert \nabla w^{+}\Vert }_{L^2}^{\left(q+18\right)/3\left(4q-3\right)}{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{\left(q+18\right)/6\left(4q-3\right)}{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}{\Vert w_3^{+}\Vert }_{L^3}^2\\ \le C\left({\Vert \nabla w^{+}\Vert }_{L^2}^2+{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{\left(q+18\right)/\left(23q-36\right)}{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}^{6\left(4q-3\right)/\left(23q-36\right)}\right){\Vert w_3^{+}\Vert }_{L^3}^2\end{array}$ (12)

$\le C\left({\Vert \nabla w^{+}\Vert }_{L^2}^2+{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{25q/\left(23q-36\right)}+{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}^{25q/\left(23q-36\right)}\right){\Vert w_3^{+}\Vert }_{L^3}^2$

类似 $\left|I_1\right|$ 的估计方法，得到式(11)右边第二项 $\left|I_2\right|$ 的估计如下：

$\left|I_2\right|\le C\left({\Vert \nabla w^{-}\Vert }_{L^2}^2+{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}^{25q/\left(23q-36\right)}+{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{25q/\left(23q-36\right)}\right){\Vert w_3^{+}\Vert }_{L^3}^2$. (13)

由 $\left|I_1\right|$ 和 $\left|I_2\right|$ 的估计式(12)和(13)代入式(11)得

$\begin{array}{l}\frac{\text{d}}{\text{d}t}\left({\Vert w_3^{+}\Vert }_{L^3}^3+{\Vert w_3^{-}\Vert }_{L^3}^3\right)\\ \le \frac{\text{d}}{\text{d}t}\left({\Vert w_3^{+}\Vert }_{L^3}^3+{\Vert w_3^{-}\Vert }_{L^3}^3\right)+\frac{4}{9}\left({\Vert \nabla {\left|w_3^{+}\right|}^{\frac{3}{2}}\Vert }_{L^2}^2+{\Vert \nabla {\left|w_3^{-}\right|}^{\frac{3}{2}}\Vert }_{L^2}^2\right)\\ \le C\left({\Vert \nabla w^{+}\Vert }_{L^2}^2+{\Vert \nabla w^{-}\Vert }_{L^2}^2+{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{25q/\left(23q-36\right)}+{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}^{25q/\left(23q-36\right)}\right)\left({\Vert w_3^{+}\Vert }_{L^3}^2+{\Vert w_3^{-}\Vert }_{L^3}^2\right)\end{array}$. (14)

在上式两边同时除以 $\left({\Vert w_3^{+}\Vert }_{L^3}^2+{\Vert w_3^{-}\Vert }_{L^3}^2\right)$，在时间空间上积分，利用能量不等式(10)和式(3)得到

${\Vert w_3^{+}\Vert }_{L^{\infty }\left(0,T;L^3\left(R^3\right)\right)}+{\Vert w_3^{-}\Vert }_{L^{\infty }\left(0,T;L^3\left(R^3\right)\right)}\le C$.

由式(14)，上式和能量不等式(10)可得

$\begin{array}{l}\frac{4}{9}\left({\Vert \nabla {\left|w_3^{+}\right|}^{\frac{3}{2}}\Vert }_{L^2}^2+{\Vert \nabla {\left|w_3^{-}\right|}^{\frac{3}{2}}\Vert }_{L^2}^2\right)\\ \le C\left({\Vert \nabla w^{+}\Vert }_{L^2}^2+{\Vert \nabla w^{-}\Vert }_{L^2}^2+{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{25q/\left(23q-36\right)}+{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}^{25q/\left(23q-36\right)}\right)\left({\Vert w_3^{+}\Vert }_{L^3}^2+{\Vert w_3^{-}\Vert }_{L^3}^2\right)\le C\end{array}$.

所以由嵌入不等式得

$\begin{array}{c}{\Vert w_3^{+}\Vert }_{L^3\left(0,T;L^9\left(R^3\right)\right)}+{\Vert w_3^{-}\Vert }_{L^3\left(0,T;L^9\left(R^3\right)\right)}={\Vert {\left|w_3^{+}\right|}^{\frac{3}{2}}\Vert }_{L^2\left(0,T;L^6\left(R^3\right)\right)}^{\frac{2}{3}}+{\Vert {\left|w_3^{-}\right|}^{\frac{3}{2}}\Vert }_{L^2\left(0,T;L^6\left(R^3\right)\right)}^{\frac{2}{3}}\\ \le {\Vert \nabla {\left|w_3^{+}\right|}^{\frac{3}{2}}\Vert }_{L^2\left(0,T;L^2\left(R^3\right)\right)}^{\frac{2}{3}}+{\Vert \nabla {\left|w_3^{-}\right|}^{\frac{3}{2}}\Vert }_{L^2\left(0,T;L^2\left(R^3\right)\right)}^{\frac{2}{3}}\le C\end{array}$.

所以得

$\begin{array}{c}{\Vert u_3\Vert }_{L^3\left(0,T;L^9\left(R^3\right)\right)}=\frac{1}{2}{\Vert \left(u_3+b_3\right)+\left(u_3-b_3\right)\Vert }_{L^3\left(0,T;L^9\left(R^3\right)\right)}\\ \le \frac{1}{2}\left({\Vert w_3^{+}\Vert }_{L^3\left(0,T;L^9\left(R^3\right)\right)}+{\Vert w_3^{-}\Vert }_{L^3\left(0,T;L^9\left(R^3\right)\right)}\right)\le C\end{array}$.

同理可证

${\Vert b_3\Vert }_{L^3\left(0,T;L^9\left(R^3\right)\right)}=\frac{1}{2}{\Vert \left(u_3+b_3\right)-\left(u_3-b_3\right)\Vert }_{L^3\left(0,T;L^9\left(R^3\right)\right)}\le C$.

所以定理1第一种情况证明完成。

定理1第二种情况的证明。利用Hölder不等式，Yuong不等式和式(7)，对式(11)右边第一项进行另一种估计得

$\begin{array}{c}\left|I_1\right|=\left|{\displaystyle {\int }_{R^3}{\partial }_{3}p\cdot w_3^{+}\left|w_3^{+}\right|\text{d}x}\right|\\ \le C{\displaystyle {\int }_{R^3}\left|p\right|}\left|{\partial }_3{w}_3^{+}\right|\left|w_3^{+}\right|\text{d}x\\ \le C{\Vert p\Vert }_{L^{3q/\left(2q-3\right)}}{\Vert {\partial }_3{w}_3^{+}\Vert }_{L^q}{\Vert w_3^{+}\Vert }_{L^3}\\ \le C\left({\Vert w^{+}\Vert }_{L^{6q/\left(2q-3\right)}}^2+{\Vert w^{-}\Vert }_{L^{6q/\left(2q-3\right)}}^2\right){\Vert {\partial }_3{w}_3^{+}\Vert }_{L^q}{\Vert w_3^{+}\Vert }_{L^3}\\ \le C{\Vert w^{+}\Vert }_{L^2}^{2\left(8q-19\right)/3\left(4q-3\right)}{\Vert w^{+}\Vert }_{L^{3q}}^{2\left(q+9\right)/2\left(4q-3\right)}{\Vert {\partial }_3{w}_3^{+}\Vert }_{L^q}{\Vert w_3^{+}\Vert }_{L^3}\end{array}$

$\begin{array}{l}+C{\Vert w^{-}\Vert }_{L^2}^{2\left(8q-19\right)/3\left(4q-3\right)}{\Vert w^{-}\Vert }_{L^{3q}}^{2\left(q+9\right)/2\left(4q-3\right)}{\Vert {\partial }_3{w}_3^{+}\Vert }_{L^q}{\Vert w_3^{+}\Vert }_{L^3}\\ \le C{\Vert {\partial }_1{w}^{+}\Vert }_{L^2}^{\left(q+9\right)/3\left(4q-3\right)}{\Vert {\partial }_2{w}^{+}\Vert }_{L^2}^{\left(q+9\right)/3\left(4q-3\right)}{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{\left(q+9\right)/3\left(4q-3\right)}{\Vert {\partial }_3{w}_3^{+}\Vert }_{L^q}{\Vert w_3^{+}\Vert }_{L^3}\\ +C{\Vert {\partial }_1{w}^{-}\Vert }_{L^2}^{\left(q+9\right)/3\left(4q-3\right)}{\Vert {\partial }_2{w}^{-}\Vert }_{L^2}^{\left(q+9\right)/3\left(4q-3\right)}{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}^{\left(q+9\right)/3\left(4q-3\right)}{\Vert {\partial }_3{w}_3^{+}\Vert }_{L^q}{\Vert w_3^{+}\Vert }_{L^3}\\ \le C{\Vert \nabla w^{+}\Vert }_{L^2}^{2\left(q+9\right)/3\left(4q-3\right)}{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{13q/3\left(4q-3\right)}{\Vert w_3^{+}\Vert }_{L^3}\\ +C{\Vert \nabla w^{-}\Vert }_{L^2}^{2\left(q+9\right)/3\left(4q-3\right)}{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}^{\left(q+9\right)/3\left(4q-3\right)}{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}{\Vert w_3^{+}\Vert }_{L^3}\end{array}$ (15)

$\begin{array}{l}\le C\left({\Vert \nabla w^{+}\Vert }_{L^2}^2+{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{13q/\left(11q-18\right)}\right){\Vert w_3^{+}\Vert }_{L^3}\\ +C\left({\Vert \nabla w^{-}\Vert }_{L^2}^2+{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}^{\left(q+9\right)/\left(11q-18\right)}{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{3\left(4q-3\right)/\left(11q-18\right)}\right){\Vert w_3^{+}\Vert }_{L^3}\\ \le C\left({\Vert \nabla w^{+}\Vert }_{L^2}^2+{\Vert {\partial }_3{w}_{}^{+}\Vert }_{L^q}^{13q/\left(11q-18\right)}\right){\Vert w_3^{+}\Vert }_{L^3}\\ +C\left({\Vert \nabla w^{-}\Vert }_{L^2}^2+{\Vert {\partial }_3{w}_{}^{-}\Vert }_{L^q}^{\left(q+9\right)/\left(11q-18\right)}{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{3\left(4q-3\right)/\left(11q-18\right)}\right){\Vert w_3^{+}\Vert }_{L^3}\\ \le C\left({\Vert \nabla w^{+}\Vert }_{L^2}^2+{\Vert \nabla w^{+}\Vert }_{L^2}^2+{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{13q/\left(11q-18\right)}+{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}^{13q/\left(11q-18\right)}\right){\Vert w_3^{+}\Vert }_{L^3}\end{array}$

同理可证

$\left|I_2\right|\le C\left({\Vert \nabla w^{+}\Vert }_{L^2}^2+{\Vert \nabla w^{+}\Vert }_{L^2}^2+{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{13q/\left(11q-18\right)}+{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}^{13q/\left(11q-18\right)}\right){\Vert w_3^{+}\Vert }_{L^3}$. (16)

由 $\left|I_1\right|$ 和 $\left|I_2\right|$ 的估计式(15)和(16)代入式(11)得

$\begin{array}{l}\frac{\text{d}}{\text{d}t}\left({\Vert w_3^{+}\Vert }_{L^3}^3+{\Vert w_3^{-}\Vert }_{L^3}^3\right)\\ \le \frac{\text{d}}{\text{d}t}\left({\Vert w_3^{+}\Vert }_{L^3}^3+{\Vert w_3^{-}\Vert }_{L^3}^3\right)+\frac{4}{9}\left({\Vert \nabla {\left|w_3^{+}\right|}^{\frac{3}{2}}\Vert }_{L^2}^2+{\Vert \nabla {\left|w_3^{-}\right|}^{\frac{3}{2}}\Vert }_{L^2}^2\right)\\ \le C\left({\Vert \nabla w^{+}\Vert }_{L^2}^2+{\Vert \nabla w^{+}\Vert }_{L^2}^2+{\Vert {\partial }_3{w}^{+}\Vert }_{L^q}^{13q/\left(11q-18\right)}+{\Vert {\partial }_3{w}^{-}\Vert }_{L^q}^{13q/\left(11q-18\right)}\right)\left({\Vert w_3^{+}\Vert }_{L^3}+{\Vert w_3^{-}\Vert }_{L^3}\right)\end{array}$

由上式两边同时除以 $\left({\Vert w_3^{+}\Vert }_{L^3}+{\Vert w_3^{-}\Vert }_{L^3}\right)$，并利用能量不等式(10)和式(4)得

${\Vert w_3^{+}\Vert }_{L^{\infty }\left(0,T;L^3\left(R^3\right)\right)}+{\Vert w_3^{-}\Vert }_{L^{\infty }\left(0,T;L^3\left(R^3\right)\right)}\le C$.

同理定理1第一种情况的证明，可证得 $u_3,b_3\in L^3\left(0,T;L^9\left(R^3\right)\right)$，所以定理第二种情况得证。

基金项目

安徽省省级自然科学基金(KJ20180002)。