速度有旋的无磁阻抗轴对称hall-凯发娱乐注册

期刊菜单

速度有旋的无磁阻抗轴对称hall-mhd系统的正则性判别准则
on regularity criteria of non-resistive axi-ally symmetric hall-mhd system with a non-vanishing swirl component of velocity

doi: , , html, , 科研立项经费支持
作者: 杨美鲜：南京信息工程大学数学与统计学院，江苏南京
关键词: ；；；；；；；

摘要: 本文研究速度有旋的无磁阻抗轴对称hall-mhd系统的正则性判别准则。我们证明了：如果磁场的旋度分量满足一个beale-kato-majda型准则，且速度的水平旋度分量满足一个prodi-serrin型准则时，系统的强解可以光滑地延拓到可能的爆破时间之外。

abstract: in this paper, we consider the regularity criteria for the non-resistive axially symmetric hall-mhd system whose swirl component of velocity is non-trivial. we show that if the swirl component of the magnetic field satisfies a beale-kato-majda-type criterion, and the swirl component of the velocity satisfies a prodi-serrin-type criterion, then the strong solution can smoothly extend beyond a possible blow-up time.

文章引用：杨美鲜. 速度有旋的无磁阻抗轴对称hall-mhd系统的正则性判别准则[j]. 理论数学, 2024, 14(2): 783-798.

1. 引言

1.1. 研究背景与意义

磁流体动力学(简称mhd)主要研究等离子体等导流体在电磁场作用下的运动规律，其理论广泛应用于航空航天等工程领域中。与经典的mhd系统相比，hall-mhd系统可以用于描述等离子体、恒星形成、太阳耀斑、中子星中的磁重联现象(见 [1] [2] [3] )。但hall效应项是一个包含未知函数二阶导数的非线性项，这让hall-mhd系统比经典的mhd系统更加复杂。

近年来，学者们对hall-mhd系统的适定性和正则性做了很多研究。值得一提的是，chae-degond-liu [4] 建立了弱解的全局存在性和sobolev空间 $h^{s} (ℝ^{3}) (s > 5 / 2)$ 的光滑解的局部适定性。随后，chae-wan-wu [5] 证明了具有分数阶磁扩散的hall-mhd方程的局部适性。benvenutti-ferreira [6] 证明了 $h^{2}$ 强解的局部适定性。dai [7] 改进了 $h^{s} (ℝ^{n}) (s > n / 2)$ 空间的局部适定性理论。更多大初值解的正则性准则，以及小初值解的全局适定性和渐近性在 [8] [9] [10] [11] [12] 中可以找到。最近，li-pan [13] 证明了一类无磁阻抗和热扩散率的三维轴对称mhd-boussinesq系统，如果其磁场只包含水平旋度分量，则三维mhd-boussinesq系统的轴对称强解可以光滑地延拓到可能的爆破时间 $t_{*}$ 之外，当且仅当速度的水平旋度分量满足prodi-serrin型准则：

$\int_{0}^{t_{*}} {‖ \frac{u_{θ}}{r^{s}} (t, \cdot) ‖}_{l^{p}}^{q} d t < \infty, 其中 s \geq 0, \frac{3}{p} \frac{2}{q} \leq 1 s, \frac{3}{1 s} < p \leq \infty .$

本文旨在运用类似的方法，得出无磁阻抗速度有旋的hall-mhd系统在 $h^{m} (ℝ^{3}) (m \geq 3)$ 空间的解的正则性判别准则。我们希望通过探索这些问题，为现代偏微分方程理论注入新的思维和元素，同时加深我们对流体动力学中物理现象的理解，为流体力学、实验物理学等领域建立严格的理论数学基础。

1.2. 主要工作

本文考虑三维无磁阻抗的hall-mhd系统：

${\begin{array}{l} \partial_{t} u u \cdot \nabla u \nabla p - μ δ u = \frac{1}{μ_{0}} h \cdot \nabla h, \\ \partial_{t} h u \cdot \nabla h ν_{0} \nabla \times [(\nabla \times h) \times h] = h \cdot \nabla u, \\ \nabla \cdot u = 0, \\ \nabla \cdot h = 0, \end{array}$ (1.1)

它描述了在磁场洛伦兹力和霍尔效应的双重作用下，不可压缩磁流体的运动规律以及相应磁场的变化规律。

其中 $u : ℝ^{3} \to ℝ^{3}$ 代表速度， $h : ℝ^{3} \to ℝ^{3}$ 代表磁场， $p : ℝ^{3} \to ℝ$ 代表压力。 $μ, μ_{0}, ν_{0} > 0$ 分别表示恒定粘度、真空渗透率和霍尔效应的比值。不失一般性，我们在本文中假设 $μ = μ_{0} = ν_{0} = 1$ 。

大部分的证明是在柱坐标 $(r, θ, z)$ 中进行的。对于 $x = (x_{1}, x_{2}, x_{3}) \in ℝ^{3}$ ，令：

$r = \sqrt{x_{1}^{2} x_{2}^{2}}, θ = \arctan \frac{x_{2}}{x_{1}}, z = x_{3} .$

当

${\begin{array}{l} u = u_{r} (t, r, z) e_{r} u_{θ} (t, r, z) e_{θ} u_{z} (t, r, z) e_{z}, \\ h = h_{θ} (t, r, z) e_{θ}, \end{array}$

满足系统(1.1)时，我们称解 $(u, h)$ 为系统(1.1)的一个轴对称解。其中，基向量 $e_{r}, e_{θ}, e_{z}$ 为

$e_{r} = (\frac{x_{1}}{r}, \frac{x_{2}}{r}, 0), e_{θ} = (- \frac{x_{2}}{r}, \frac{x_{1}}{r}, 0), e_{z} = (0, 0, 1) .$

则系统(1.1)可重写为：

${\begin{array}{l} \partial_{t} u_{r} (u_{r} \partial_{r} u_{z} \partial_{z}) u_{r} - \frac{u_{θ}^{2}}{r} \partial_{r} p = (δ - \frac{1}{r^{2}}) u_{r} - \frac{h_{θ}^{2}}{r}, \\ \partial_{t} u_{θ} (u_{r} \partial_{r} u_{z} \partial_{z}) u_{θ} \frac{u_{r} u_{θ}}{r} = (δ - \frac{1}{r^{2}}) u_{θ}, \\ \partial_{t} u_{z} (u_{r} \partial_{r} u_{z} \partial_{z}) u_{z} \partial_{z} p = δ u_{z}, \\ \partial_{t} h_{θ} (u_{r} \partial_{r} u_{z} \partial_{z}) h_{θ} - \frac{2}{r} h_{θ} \partial_{z} h_{θ} = \frac{h_{θ} u_{r}}{r}, \\ \partial_{r} u_{r} \frac{u_{r}}{r} \partial_{z} u_{z} = 0. \end{array}$ (1.2)

轴对称速度 $u$ 的涡度 $w$ 为：

$w = \nabla \times u = - \partial_{z} u_{θ} \cdot e_{r} (- \partial_{r} u_{z} \partial_{z} u_{r}) \cdot e_{θ} (\frac{u_{θ}}{r} \partial_{r} u_{θ}) \cdot e_{z},$

其中

$w_{r} = - \partial_{z} u_{θ}, w_{θ} = \partial_{z} u_{r} - \partial_{r} u_{z}, w_{z} = \partial_{r} u_{θ} \frac{u_{θ}}{r} .$

它们满足：

${\begin{array}{l} \partial_{t} w_{θ} - \frac{u_{r}}{r} w_{θ} (u_{z} \partial_{z} u_{r} \partial_{r}) w_{θ} - \frac{2 u_{θ}}{r} \partial_{z} u_{θ} = - \frac{1}{r} \partial_{z} {(h_{θ})}^{2} (δ - \frac{1}{r^{2}}) w_{θ}, \\ \partial_{t} w_{r} (u_{r} \partial_{r} u_{z} \partial_{z}) w_{r} = (w_{z} \partial_{z} w_{r} \partial_{r}) u_{r} (δ - \frac{1}{r^{2}}) w_{r}, \\ \partial_{t} w_{z} (u_{r} \partial_{r} u_{z} \partial_{z}) w_{z} = δ w_{z} (w_{r} \partial_{r} w_{z} \partial_{z}) u_{z} . \end{array}$ (1.3)

下面定义四个在证明主要定理时用到的量：

$h : = \frac{h_{θ}}{r}, ω : = \frac{w_{θ}}{r}, j : = \frac{w_{r}}{r}, γ = : r u_{θ} .$

直接计算可知，它们满足如下方程组：

${\begin{array}{l} \partial_{t} ω u \cdot \nabla ω = \frac{\partial_{z} u_{θ}^{2}}{r^{2}} - \partial_{z} h^{2} (δ \frac{2}{r} \partial_{r}) ω, \\ \partial_{t} j (u_{r} \partial_{r} u_{z} \partial_{z}) j = (δ \frac{2}{r} \partial_{r}) j (w_{r} \partial_{r} w_{z} \partial_{z}) (\frac{u_{r}}{r}), \\ \partial_{t} h (u_{z} \partial_{z} u_{r} \partial_{r}) h = \partial_{z} h^{2}, \\ \partial_{t} γ (u_{r} \partial_{r} u_{z} \partial_{z}) γ = δ γ - \frac{2}{r} \partial_{r} γ . \end{array}$ (1.4)

本文所使用的符号和约定如下： $≲$ 等价于 $c \leq$ ，其中c是任意常数。我们用 $c_{a, b, c, \dots}$ 来表示一个与 $a, b, c, \dots$ 相关的正常数。对于 $l_{1}, l_{2}, l_{3} \in ℕ \cup {0}$ ，我们规定 $\nabla^{l} = \partial_{x_{1}}^{l_{1}} \partial_{x_{2}}^{l_{2}} \partial_{x_{3}}^{l_{3}}$ ，其中 $| l | = l_{1} l_{2} l_{3}$ ，为一个多重指标。 $l^{p}$ 代表一般的带范数的勒贝格空间。 $w^{k, p}$ 表示经典的sobolev空间， ${\dot{w}}^{k, p}$ 表示一般的齐次sobolev空间，它们对应的范数和半范数如下：

$\begin{array}{l} {‖ f ‖}_{w^{k, p}} : = \sum_{0 \leq | l | \leq k} {‖ \nabla^{l} f ‖}_{l^{p}}, \\ {| f |}_{{\dot{w}}^{k, p}} : = \sum_{| l | = k} {‖ \nabla^{l} f ‖}_{l^{p}}, \end{array}$

其中， $1 \leq p \leq \infty$ 且 $k \in ℕ$ 。当 $p = 2$ 时，我们分别用 $h^{k}$ 和 ${\dot{h}}^{k}$ 来代表 $w^{k, p}$ 和 ${\dot{w}}^{k, p}$ 。对于任意banach空间x，如果 ${‖ v (t, \cdot) ‖}_{x} \in l^{p} (0, t)$ ，那么我们说 $v : [0, t] \times ℝ^{3} \to ℝ$ 属于banach空间 $l^{p} (0, t; x)$ 。

同时，将 $l^{p} (0, t; x)$ 简记为 $l_{t}^{p} x$ 。若一个函数f属于两个banach空间 $x_{1}$ 与 $x_{2}$ 的交集，则将f的yudovich-型范数表示为：

${‖ f ‖}_{x_{1} \cap x_{2}} : = {‖ f ‖}_{x_{1}} {‖ f ‖}_{x_{2}} .$

本文的主要结论如下：

定理1.1对任意 $0 < t_{*} < \infty$ ，令 $(u, h) \in c ([0, t_{*}]; h^{m} (ℝ^{3})) (m \geq 3)$ 为系统(1.1)的强解，假设初始值 $(u_{0}, h_{0}, \frac{h_{0} \cdot e_{θ}}{r}) \in h^{m} (ℝ^{3})$ 是轴对称的，且满足 $\nabla \cdot u_{0} = 0$ 。如果

$\int_{0}^{t_{*}} {‖ \frac{\partial_{z} h_{θ}}{r} (t, \cdot) ‖}_{l^{\infty}} d t \int_{0}^{t_{*}} {‖ \frac{u_{θ}}{r^{s}} (t, \cdot) ‖}_{l^{p}}^{q} d t < \infty,$

那么 $(u, h) (t, \cdot)$ 在 $t_{*}$ 时刻之前一直属于 $h^{m} (ℝ^{3})$ ， $\frac{3}{p} \frac{2}{q} \leq 1 s$ ， $p > \frac{3}{1 s}$ 。

推论1.2对任意 $0 < t_{*} < \infty$ ，令 $(u, h) \in c ([0, t_{*}]; h^{m} (ℝ^{3})) (m \geq 3)$ 为系统(1.1)的强解，假设初始值 $(u_{0}, h_{0}, \frac{h_{0} \cdot e_{θ}}{r}) \in h^{m} (ℝ^{3})$ 是轴对称的，且满足 $\nabla \cdot u_{0} = 0$ 。如果

$\int_{0}^{t_{*}} {‖ \frac{\partial_{z} h_{θ}}{r} (t, \cdot) ‖}_{l^{\infty}} d t \int_{0}^{t_{*}} {‖ \nabla \times (u_{θ} e_{θ}) ‖}_{l^{p}}^{q} d t < \infty,$

那么 $(u, h) (t, \cdot)$ 在 $t_{*}$ 时刻之前一直属于 $h^{m} (ℝ^{3})$ ，其中 $\frac{3}{p} \frac{2}{q} \leq 2$ ， $p > \frac{3}{2}$ 。

1.3. 创新点与拓展的方向

创新点：关于hall-mhd系统的研究结果有很多，然而无磁阻抗的hall-mhd系统研究结果几乎没有。其主要原因是：对于无磁阻抗的hall-mhd系统，不能像处理有磁阻尼的hall-mhd系统那样利用耗散项 $- ν δ h$ 控制高阶非线性霍尔效应项 $ν_{0} \nabla \times [(\nabla \times h) \times h]$ 。即使是速度场 $u \equiv 0$ ，系统(1.4)也会在有限时间内爆破。为了解决这一困难，我们在之前研究无磁阻抗无旋系统的论文 [14] [15] 中，引入了磁场量相关量 $h : = h_{θ} / r$ 与速度场相关量 $ω : = w_{θ} / r$ ，并对 $(h, ω)$ 所组成的系统进行能量估计。然而，对于无磁阻抗有旋的hall-mhd系统，其初始速度的旋度分量不为0，从而 $w_{r} = - \partial_{z} u_{θ}$ 与 $w_{z} = \partial_{r} u_{θ} u_{θ} / r$ 也不为零，因此不能像无旋系统那样仅利用 $(h, ω)$ 的系统进行能量估计。为此，本文额外引入速度场相关量 $j : = w_{r} / r$ ，对 $(h, ω, j)$ 所组成的系统进行能量估计，最终给出系统(1.4)的解的正则性判别准则。

拓展的方向：本文给出了无磁阻抗的hall-mhd系统在sobolev空间 $h^{m} (ℝ^{3}) (m \geq 3)$ 的正则性判别条件，但hall-mhd系统在sobolev空间 $h^{m} (ℝ^{3}) (m \geq 3)$ 的全局适定性问题仍未解决。此外，无磁阻抗的hall-mhd系统在更低阶的sobolev空间中的正则性判别准则，也是我们需要考虑的问题。

接下来，将在第2节中介绍一些必要的引理，主要结果的证明将在第3节和第4节中进行。

2. 准备工作

在本节中，我们将列出一些基本估计和不等式，它们将在本文剩余部分中经常用到。第一个是sobolev-hardy不等式：

引理2.1 (sobolev-hardy不等式) 设 $ℝ^{n} = ℝ^{k} \times ℝ^{n - k}$ 且 $2 \leq k \leq n$ ，记 $x = (x^{'}, z) \in ℝ^{k} \times ℝ^{n - k}$ 。对任意 $θ < k$ ， $1 < q < n$ ， $0 \leq θ \leq q$ ，令 $q^{*} \in [q, \frac{q (n - θ)}{n - q}]$ 。则存在一个正常数 $c = c (θ, q, n, k)$ ，使得对所有 $f \in c_{0}^{\infty} (ℝ^{n})$ ，有

$\int_{ℝ^{n}} \frac{| f |^{q^{*}}}{{| x^{'} |}^{θ}} d x \leq c {‖ f ‖}_{l^{q}}^{\frac{n - θ}{q^{*}} - \frac{n}{q} 1} {‖ \nabla f ‖}_{l^{q}}^{\frac{n}{q^{*}} - \frac{n - θ}{q^{*}}} .$

特别地，令 $n = 3$ ， $k = 2$ ， $q = 2$ ， $q^{*} \in [2, 2 (3 - θ)]$ ，并假设 $0 \leq θ < 2$ ， $r = \sqrt{x_{1}^{2} x_{2}^{2}}$ 。那么存在一个常数 $c = c (q^{*}, θ)$ 使得对所有 $f \in c_{0}^{\infty} (ℝ^{n})$ ，有

${‖ \frac{f}{r^{\frac{θ}{q^{*}}}} ‖}_{l^{q^{*}}} \leq c {‖ f ‖}_{l^{2}}^{\frac{3 - θ}{q^{*}} - \frac{1}{2}} {‖ \nabla f ‖}_{l^{2}}^{\frac{3}{2} - \frac{3 - θ}{q^{*}}} .$

这里我们省略过程，感兴趣的读者参考 [16] 的引理2.4。接下来，我们说 $\nabla \frac{u_{r}}{r}$ 可以由 $\frac{w_{θ}}{r}$ 的 $l^{p}$ 边界控制。这个证明可以在 [14] 中的命题2.5找到。

引理2.2 定义 $ω : = \frac{w_{θ}}{r}$ ，对任意 $1 < p < \infty$ ，存在一个绝对常数 $c_{p} > 0$ ，使得：

${‖ \nabla \frac{u_{r}}{r} ‖}_{l^{p}} \leq c_{p} {‖ ω ‖}_{l^{p}} .$

下面是著名的gagliardo-nirenberg不等式(参见 [17] )：

引理2.3 (gagliardo-nirenberg) 固定 $q, r \in [1, \infty]$ ，同时 $j, m \in ℕ \cup {0}$ ， $j \leq m$ 。假设 $f \in l^{q} \cap {\dot{w}}^{m, r}$ ，且存在一个实数 $α \in [j / m, 1]$ 使得

$\frac{1}{p} = \frac{j}{3} α (\frac{1}{r} - \frac{m}{3}) \frac{1 - α}{q} .$

那么 $f \in {\dot{w}}^{j, p}$ 并且存在一个常数 $c > 0$ 使得

${‖ \nabla^{j} f ‖}_{l^{p}} \leq c {‖ \nabla^{m} f ‖}_{l^{r}}^{α} {‖ f ‖}_{l^{q}}^{1 - α} .$

以下两种情况除外：

1) $j = 0$ ， $m r < d$ 且 $q = \infty$ ；(这种情况下需要假设，要么在无穷远处 $u \to 0$ ，要么 $u \in l^{s}$ 对于 $s < \infty$ 。)

2) $1 < r < \infty$ 且 $m - j - 3 / r \in ℕ$ 。(这种情况下需要另外假设 $α < 1$ 。)

下面的结果可以由biot-savart定律和calderon-zygmund奇异积分算子的 $l^{p}$ 有界性得到，在 [18] 中有详细的证明。

引理2.4 令 $u = u_{r} e_{r} u_{θ} e_{θ} u_{z} e_{z}$ 为一个轴对称的散度为零的向量场， $w = \nabla \times u = w_{r} e_{r} w_{θ} e_{θ} w_{z} e_{z}$ ， $b = u_{r} e_{r} u_{z} e_{z}$ ，对任意 $1 < p < \infty$ ，我们有

${‖ \nabla b ‖}_{l^{p}} \leq c_{p} {‖ w_{θ} ‖}_{l^{p}}, {‖ \nabla^{2} b ‖}_{l^{p}} \leq c_{p} ({‖ \nabla w_{θ} ‖}_{l^{p}} {‖ \frac{w_{θ}}{r} ‖}_{l^{p}})$

以及

${‖ \nabla u ‖}_{l^{p}} \leq c_{p} {‖ w ‖}_{l^{p}}, {‖ \nabla^{2} u ‖}_{l^{p}} \leq c_{p} {‖ \nabla w ‖}_{l^{p}} .$

下面我们将介绍一个在研究navier-stokes方程中经常用到的时空插值。它通过在 $l^{2}$ 和 $l^{6}$ 之间插值 $l^{p} (2 \leq p \leq 6)$ 范数得到，证明过程可参考 [13] 引理2.2。

引理2.5 如果 $u \in l^{\infty} (0, t; l^{2} (ℝ^{3})) \cap l^{2} (0, t; {\dot{h}}^{1} (ℝ^{3}))$ ，那么 $u \in l^{q} (0, t; l^{p} (ℝ^{3}))$ ，其中 $\frac{2}{q} \frac{3}{p} \geq \frac{3}{2}$ ， $2 \leq p \leq 6$ 。

下面的引理陈述了 $l_{t}^{r} l^{p}$ -型空间中热流的标准最大正则性。可以在 [19] 的定理7.3中找到证明。

引理2.6 (热流的最大 $l_{t}^{q} l^{p}$ 正则性) 算子 $a$ 定义为：

$a : f \mapsto \int_{0}^{t} \nabla^{2} e^{(t - s) δ} f (s, \cdot) d s .$

则对所有 $t \in (0, \infty]$ ， $1 < p$ 且 $q < \infty$ ， $l^{q} (0, t; l^{p} (ℝ^{d}))$ 到它本身是有界的，并且有：

${‖ a f ‖}_{l^{q} (0, t; l^{p} (ℝ^{d}))} \leq c {‖ f ‖}_{l^{q} (0, t; l^{p} (ℝ^{d}))} .$ (2.1)

最后，我们聚焦下列三重线性形式的估计，这在最后的证明中将经常用到。参阅 [15] 了解引理的证明过程。

引理2.7 令 $m \in ℕ$ ，且 $m \geq 2$ ， $f, g, k \in c_{0}^{\infty} (ℝ^{3})$ ，那么有下面估计式：

$| \int_{ℝ^{3}} [\nabla^{m}, f \cdot \nabla] g \nabla^{m} k d x | \leq c {‖ \nabla^{m} (f, g, k) ‖}_{l^{2}}^{2} {‖ \nabla (f, g) ‖}_{l^{\infty}} .$

3. 定理1.1的证明

我们将定理1.1的证明分解为以下步骤。首先，由引理3.1，我们得到了 $l^{p}$ 空间中 $h$ 的守恒定律。其次，我们需要分别处理 $ω$ 和j的方程，并结合两个方程来估计组合量 $(ω, j)$ 。下一步是做 $\frac{u_{r}}{r}$ 的 $l_{t}^{1} l^{\infty}$ 估计。接下来，估计 $h_{θ}$ 和 $w$ 。由涡度 $w$ 的 $l_{t_{*}}^{\infty} l^{2}$ 估计和引理2.4的结果 ${‖ \nabla u ‖}_{l^{p}} \leq c_{p} {‖ w ‖}_{l^{p}}$ ，我们可以得到 $u$ 的 $l_{t_{*}}^{1} l^{\infty}$ 估计。然后得到 $\nabla h$ 和 $\nabla h$ 的 $l_{t_{*}}^{\infty} l^{\infty}$ 有界性。最后， $(u, h, h)$ 的高阶估计完成了整个证明。

3.1. 基本能量估计

下面的引理是 [13] 的引理3.1和 [15] 的引理3.1的直接推论：

引理3.1 (基本能量估计) 令 $(u, h)$ 为系统(1.2)的一个光滑解，我们有：

1) 对任意 $p \in [1, \infty]$ ， $t \in ℝ_{}$ ，

$\begin{array}{l} {‖ h (t, \cdot) ‖}_{l^{p}} = {‖ h_{0} ‖}_{l^{p}}; \\ {‖ γ (t, \cdot) ‖}_{l^{p}} \leq {‖ γ_{0} ‖}_{l^{p}} . \end{array}$ (3.1)

2) 对于 $u_{0}, h_{0} \in l^{2}$ 且 $t \in ℝ_{}$ ，我们有

${‖ (u (t, \cdot), h (t, \cdot)) ‖}_{l^{2}}^{2} \int_{0}^{t} {‖ \nabla u (s, \cdot) ‖}_{l^{2}}^{2} d s \leq c_{0} {(1 t)}^{2},$ (3.2)

其中 $c_{0}$ 只依赖于 ${‖ (u_{0}, h_{0}) ‖}_{l^{2}}$ 。

3.2. $(ω, j)$ 的 $l_{t}^{\infty} l^{2} \cap l_{t}^{2} {\dot{h}}^{1}$ 估计与 $\frac{u_{r}}{r}$ 的 $l_{t}^{1} l^{\infty}$ 估计

3.2定义 $ω : = \frac{w_{θ}}{r}$ ， $j : = \frac{w_{r}}{r}$ 。令 $(u, h)$ 为系统的唯一局部轴对称解，初值 $(u_{0}, h_{0}) \in h^{m} (ℝ^{3}) (m \geq 3)$ ，则下面 $(ω, j)$ 的 $l_{t}^{\infty} l^{2} \cap l_{t}^{2} {\dot{h}}^{1}$ 估计成立：

$\sup_{0 \leq t \leq t_{*}} {‖ (ω, j) (t, \cdot) ‖}_{l^{2}}^{2} \int_{0}^{t_{*}} {‖ \nabla (ω, j) (t, \cdot) ‖}_{l^{2}}^{2} < \infty .$

证明我们从 $ω$ 开始估计，在方程(1.4)₁两边乘以 $ω$ ，并在 $ℝ^{3}$ 上积分得到：

$\frac{1}{2} \frac{d}{d t} {‖ ω (t, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla ω (t, \cdot) ‖}_{l^{2}}^{2} = - \underset{o_{1}}{\underset{︸}{\frac{1}{2} \int_{ℝ^{3}} u \cdot \nabla ω^{2} d x}} \underset{o_{2}}{\underset{︸}{\int_{ℝ^{3}} \frac{\partial_{r} ω^{2}}{r} d x}} - \underset{o_{3}}{\underset{︸}{\int_{ℝ^{3}} ω \cdot \partial_{z} h^{2} d x}} \underset{o_{4}}{\underset{︸}{\int_{ℝ^{3}} \frac{\partial_{z} {(u_{θ})}^{2} \cdot ω}{r^{2}} d x}} .$

首先处理 $o_{1}$ ， $o_{2}$ 和 $o_{3}$ 。

$o_{1} = \frac{1}{2} \int_{ℝ^{3}} \nabla \cdot u \cdot ω^{2} d x = 0.$

$o_{2} = \int_{0}^{2 π} d θ \int_{0}^{\infty} \int_{ℝ} \frac{\partial_{r} ω^{2}}{r} \cdot r d z d r = 2 π \int_{ℝ} ω^{2} (t, \infty, z) - ω^{2} (t, 0, z) d z = - 2 π \int_{ℝ} ω^{2} (t, 0, z) \leq 0.$

最后一个等式是由 $u$ 在边界上为0得到的。

$o_{3} = | \int_{ℝ^{3}} \partial_{z} ω \cdot h^{2} | \leq {‖ \partial_{z} ω (t, \cdot) ‖}_{l^{2}} {‖ h (t, \cdot) ‖}_{l^{4}}^{2} \leq \frac{1}{2} {‖ \partial_{z} ω (t, \cdot) ‖}_{l^{2}}^{2} \frac{1}{2} {‖ h (t, \cdot) ‖}_{l^{4}}^{4} .$

接下来估计 $o_{4}$ 。

$\begin{matrix} o_{4} = \int_{ℝ^{3}} \frac{2 u_{θ} \partial_{z} u_{θ}}{r^{2}} ω d x = - \int \frac{2 u_{θ}}{r} \cdot j \cdot ω d x \\ \leq 2 \int_{ℝ^{3}} {| \frac{u_{θ}}{r} |}^{\frac{1}{2}} | j | d x \cdot \int {| \frac{u_{θ}}{r} |}^{\frac{1}{2}} | ω | d x \\ \leq \int_{ℝ^{3}} | \frac{u_{θ}}{r} | {| j |}^{2} d x \int_{ℝ^{3}} | \frac{u_{θ}}{r} | {| ω |}^{2} d x \\ ≜ o_{41} o_{42} . \end{matrix}$

上面结果是由cauchy-schwartz不等式和young不等式得到的。接下来，分别对 $o_{41}$ 与 $o_{42}$ 进行估计，从而得到 $o_{4}$ 的估计。

$o_{41} = \int_{ℝ^{3}} \frac{| u_{θ} |}{r^{s}} \frac{{| j |}^{2}}{r^{1 - s}} d x \leq c {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}} {‖ \frac{| j |^{2}}{r^{1 - s}} ‖}_{l^{p^{'}}} .$

这里我们运用了hölder不等式，其中 $p^{'} = \frac{p}{p - 1}$ 。

情形1： $0 \leq s \leq 1$

利用引理2.1，我们有：

$\begin{matrix} {‖ \frac{{| j (t, \cdot) |}^{2}}{r^{1 - s}} ‖}_{l^{p^{'}}} = {(\int_{ℝ^{3}} \frac{{| j |}^{2 p^{'}}}{r^{(1 - s) p^{'}}} d x)}^{\frac{1}{p^{'}}} = {(\int_{ℝ^{3}} \frac{{| j |}^{2 p^{'}}}{r^{\frac{(1 - s) p^{'}}{2 p^{'}} \cdot 2 p^{'}}})}^{\frac{1}{2 p^{'}} \cdot 2} \\ \leq {(c {‖ j (t, \cdot) ‖}_{l^{2}}^{\frac{1}{2} \frac{s}{2} - \frac{3}{2 p}} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{\frac{1}{2} - \frac{s}{2} \frac{3}{2 p}})}^{2}, \end{matrix}$

其中， $θ = (1 - s) p^{'}$ ， $q^{*} = 2 p^{'}$ 。因此，通过young不等式， $o_{41}$ 可以估计如下。

当 $p > \frac{3}{1 s}$ ：

$o_{41} \leq c {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}} {‖ j (t, \cdot) ‖}_{l^{2}}^{1 s - \frac{3}{p}} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{1 - s \frac{3}{p}} \leq c {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}}^{\frac{2 p}{p (1 s) - 3}} {‖ j (t, \cdot) ‖}_{l^{2}}^{2} \frac{1}{4} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2} .$

当 $p = \frac{3}{1 s}$ ：

$o_{41} \leq c_{s} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2} .$

类似地， $o_{42}$ 可以估计如下：

$o_{42} \leq {\begin{array}{l} c_{s, p} {‖ \frac{u_{θ}}{r^{s}} (t, \cdot) ‖}_{l^{p}}^{\frac{2 p}{(1 s) p - 3}} {‖ ω (t, \cdot) ‖}_{l^{2}}^{2} \frac{1}{4} {‖ \nabla ω (t, \cdot) ‖}_{l^{2}}^{2}, & 当 p > \frac{3}{1 s}; \\ c_{s} {‖ \frac{u_{θ}}{r^{s}} (t, \cdot) ‖}_{l^{p}} {‖ ω (t, \cdot) ‖}_{l^{2}}^{2}, & 当 p = \frac{3}{1 s} . \end{array}$ s

情形2： $s > 1$

当 $p > \frac{3}{1 s}$ ：

$\begin{matrix} o_{41} = \int_{ℝ^{3}} {| \frac{u_{θ}}{r^{s}} |}^{\frac{2}{s 1}} \cdot {(r u_{θ})}^{\frac{s - 1}{s 1}} \cdot {| j (t, \cdot) |}^{2} d x \leq {‖ γ_{0} ‖}_{l \frac{2 p (1 s)}{(1 s) (p - 2) 2}}^{\frac{s - 1}{s 1}} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}}^{\frac{2}{s 1}} {‖ j (t, \cdot) ‖}_{l^{\frac{2 p (1 s)}{p (1 s) - 2}}}^{2} \\ \leq {‖ γ_{0} ‖}_{l \frac{2 p (1 s)}{(1 s) (p - 2) 2}}^{\frac{s - 1}{s 1}} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}}^{\frac{2}{s 1}} {‖ j (t, \cdot) ‖}_{l^{2}}^{1 - \frac{3}{p (1 s)}} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{\frac{3}{p (1 s)}} \leq c_{{‖ γ_{0} ‖}_{l^{\infty}}, s, p} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}}^{\frac{2 p}{(1 s) p - 3}} {‖ j (t, \cdot) ‖}_{l^{2}}^{2} \frac{1}{4} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2} . \end{matrix}$

这里，第一个不等式使用了hölder不等式和引理3.1，第二个和第三个不等式分别使用引理2.1和young不等式。

当 $p = \frac{3}{1 s}$ ：

$o_{41} \leq c_{s} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2} .$

类似地，我们得到 $o_{42}$ 的估计。

当 $p > \frac{3}{1 s}$ ：

$o_{42} \leq c_{{‖ γ_{0} ‖}_{l^{\infty}}, s, p} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}}^{\frac{2 p}{(1 s) p - 3}} {‖ ω (t, \cdot) ‖}_{l^{2}}^{2} \frac{1}{4} {‖ \nabla ω (t, \cdot) ‖}_{l^{2}}^{2} .$

当 $p = \frac{3}{1 s}$ ：

$o_{42} \leq c_{s} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}} {‖ \nabla ω (t, \cdot) ‖}_{l^{2}}^{2} .$

由此可得：

当 $p > \frac{3}{1 s}$ ：

$\frac{1}{2} \frac{d}{d t} {‖ ω (t, \cdot) ‖}_{l^{2}}^{2} \frac{1}{4} {‖ \nabla ω (t, \cdot) ‖}_{l^{2}}^{2} \leq \frac{1}{2} {‖ h (t, \cdot) ‖}_{l^{4}}^{4} \frac{1}{4} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2} c_{{‖ γ_{0} ‖}_{l^{\infty}}, s, p} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}}^{\frac{2 p}{(1 s) p - 3}} ({‖ ω (t, \cdot) ‖}_{l^{2}}^{2} {‖ j (t, \cdot) ‖}_{l^{2}}^{2}) .$

那么，由引理3.1的方程(3.1)₁，推导出

$\frac{d}{d t} {‖ ω (t, \cdot) ‖}_{l^{2}}^{2} \frac{1}{2} {‖ \nabla ω (t, \cdot) ‖}_{l^{2}}^{2} \leq c \frac{1}{2} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2} c_{{‖ γ_{0} ‖}_{l^{\infty}}, s, p} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}}^{\frac{2 p}{(1 s) p - 3}} ({‖ ω (t, \cdot) ‖}_{l^{2}}^{2} {‖ j (t, \cdot) ‖}_{l^{2}}^{2}) .$ (3.3)

当 $\begin{array}{l} p = \frac{3}{1 s} \end{array}$ ：

$\frac{1}{2} \frac{d}{d t} {‖ ω (t, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla ω (t, \cdot) ‖}_{l^{2}}^{2} \leq \frac{1}{2} {‖ \nabla ω (t, \cdot) ‖}_{l^{2}}^{2} \frac{1}{2} {‖ h (t, \cdot) ‖}_{l^{4}}^{4} c_{{‖ γ_{0} ‖}_{l^{\infty}}, s, p} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}} ({‖ \nabla ω (t, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2}) .$

这等价于下面这个方程。

$\frac{d}{d t} {‖ ω (t, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla ω (t, \cdot) ‖}_{l^{2}}^{2} \leq c_{{‖ γ_{0} ‖}_{l^{\infty}}, s, p} (1 {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}} ({‖ \nabla ω (t, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2})) .$ (3.4)

接下来，处理j的方程。类似于 $ω$ 方程的处理，我们将方程(1.4)乘以j，并对 $ℝ^{3}$ 积分，得到以下结果。

$\begin{matrix} \frac{1}{2} \frac{d}{d t} {‖ j (t, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2} \leq \int_{ℝ^{3}} (\nabla \times (u_{θ} \cdot e_{θ})) \cdot \nabla (\frac{u_{r}}{r}) \cdot j d x \\ = \int_{ℝ^{3}} u_{θ} \cdot e_{θ} \cdot (\nabla j \times \nabla \frac{u_{r}}{r}) d x \\ = \int_{ℝ^{3}} u_{θ} (\partial_{r} \frac{u_{r}}{r} \partial_{z} j - \partial_{z} \frac{u_{r}}{r} \partial_{r} j) d x \\ \leq \frac{1}{2} \int_{ℝ^{3}} {| u_{θ} |}^{2} {| \nabla \frac{u_{r}}{r} |}^{2} d x \frac{1}{2} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2} . \end{matrix}$

第一个不等式使用了下列计算结果。

$\begin{array}{l} \int_{ℝ^{3}} u \cdot \nabla j \cdot j d x = 0 . \\ \int_{ℝ^{3}} \frac{1}{r} \partial_{r} {(\frac{\partial_{z} u_{θ}}{r})}^{2} d x = \int_{0}^{2 π} d θ \int_{0}^{\infty} \int_{ℝ} \frac{\partial_{r}}{r} {(\frac{\partial_{z} u_{θ}}{r})}^{2} d z d r \leq 0 . \end{array}$

$\int_{ℝ^{3}} (w_{r} \partial_{r} w_{z} \partial_{z}) (\frac{u_{r}}{r}) j d x = \int_{ℝ^{3}} (\nabla \times (u_{θ} \cdot e_{θ})) \cdot \nabla (\frac{u_{r}}{r}) \cdot j d x .$

所以我们得到了以下的不等式：

$\frac{d}{d t} {‖ j (t, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2} ≲ \int_{ℝ^{3}} {| u_{θ} |}^{2} {| \nabla \frac{u_{r}}{r} |}^{2} d x .$

然后用与估计 $o_{41}$ 相同的方法对j的方程进行处理。

当 $p > \frac{3}{1 s}$ ：

$\frac{d}{d t} {‖ j (t, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2} \leq {‖ γ_{0} ‖}_{l^{\infty}}^{\frac{2 s}{s 1}} \int_{ℝ^{3}} {| \frac{u_{θ}}{r^{s}} |}^{\frac{2}{s 1}} {| \nabla \frac{u_{r}}{r} |}^{2} d x .$

接下来，我们使用hölder不等式和引理2.2得到以下估计。

$\begin{matrix} \frac{d}{d t} {‖ j (t, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2} \leq {‖ γ_{0} ‖}_{l^{\infty}}^{\frac{2 s}{s 1}} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}}^{\frac{2}{s 1}} {‖ \nabla \frac{u_{r}}{r} ‖}_{l^{2}}^{2 - \frac{6}{p (1 s)}} {‖ \nabla \frac{u_{r}}{r} ‖}_{l^{6}}^{\frac{6}{p (1 s)}} \\ \leq {‖ γ_{0} ‖}_{l^{\infty}}^{\frac{2 s}{s 1}} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}}^{\frac{2}{s 1}} \cdot {‖ ω ‖}_{l^{2}}^{2 - \frac{6}{p (1 s)}} {‖ \nabla ω ‖}_{l^{6}}^{\frac{6}{p (1 s)}} \\ \leq c_{{‖ γ_{0} ‖}_{l^{\infty}, s, p}} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}}^{\frac{2 p}{(1 s) p - 3}} {‖ ω ‖}_{l^{2}}^{2} \frac{1}{4} {‖ \nabla ω ‖}_{l^{2}}^{2} . \end{matrix}$ (3.5)

当 $p = \frac{3}{1 s}$ ：

$\frac{d}{d t} {‖ j (t, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla j (t, \cdot) ‖}_{l^{2}}^{2} \leq c_{{‖ γ_{0} ‖}_{l^{\infty}}, s, p} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{\frac{3}{1 s}}}^{\frac{2}{s 1}} {‖ \nabla ω ‖}_{l^{2}}^{2} .$ (3.6)

结合(3.3)与(3.5)很容易得到：

当 $p > \frac{3}{1 s}$ ：

$\frac{d}{d t} ({‖ ω (t, \cdot) ‖}_{l^{2}}^{2} {‖ j (t, \cdot) ‖}_{l^{2}}^{2}) ({‖ \nabla ω ‖}_{l^{2}}^{2} {‖ \nabla j ‖}_{l^{2}}^{2}) \leq c c_{{‖ γ_{0} ‖}_{l^{\infty}}, s, p} {‖ \frac{u_{θ}}{r^{s}} ‖}_{l^{p}}^{\frac{2 p}{(1 s) p - 3}} ({‖ ω ‖}_{l^{2}}^{2} {‖ j ‖}_{l^{2}}^{2}) .$

对上述两个方程应用gronwall不等式和定理1.1中的条件 $\int_{0}^{t_{*}} {‖ \frac{u_{θ}}{r^{s}} (t, \cdot) ‖}_{l^{p}}^{q} d t < \infty$ 得到：

$\begin{array}{l} {‖ ω (t, \cdot) ‖}_{l^{2}}^{2} {‖ j (t, \cdot) ‖}_{l^{2}}^{2} \int_{0}^{t} {‖ \nabla ω (k, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla j (k, \cdot) ‖}_{l^{2}}^{2} d k \\ \leq e^{c_{{‖ γ_{0} ‖}_{l^{\infty}}, s, p} \int_{0}^{t} {‖ \frac{u_{θ}}{r^{s}} (k, \cdot) ‖}_{l^{p}}^{\frac{2 p}{(1 s) p - 3}} d k} \cdot [\int_{0}^{t} c d k {‖ ω_{0} ‖}_{l^{2}}^{2} {‖ j_{0} ‖}_{l^{2}}^{2}] < \infty . \end{array}$ (3.7)

同样，结合(3.4)和(3.6)，并用上述方法处理得到：

当 $p = \frac{3}{1 s}$ ：

$\begin{array}{l} {‖ ω (t, \cdot) ‖}_{l^{2}}^{2} {‖ j (t, \cdot) ‖}_{l^{2}}^{2} \int_{0}^{t} {‖ \nabla ω (k, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla j (k, \cdot) ‖}_{l^{2}}^{2} d k \\ \leq e^{\int_{0}^{t} c d k} [c c_{{‖ γ_{0} ‖}_{l^{\infty}}, s, p} (1 {‖ \frac{u_{θ}}{r^{s}} (0, r, z) ‖}_{l^{p}} ({‖ \nabla ω_{0} ‖}_{l^{2}}^{2} {‖ \nabla j_{0} ‖}_{l^{2}}^{2}))] < \infty . \end{array}$ (3.8)

结合方程(3.7)和(3.8)，命题3.2得证。

与 [15] 中对推论3.3的证明一样，根据引理2.2，并利用如下插值不等式：

${‖ \frac{u_{r}}{r} (t, \cdot) ‖}_{l^{\infty}} \leq c {‖ \frac{u_{r}}{r} (t, \cdot) ‖}_{l^{6}}^{1 / 2} {‖ \nabla \frac{u_{r}}{r} (t, \cdot) ‖}_{l^{6}}^{1 / 2},$

我们可以得到命题3.2的如下推论。

3.3在与命题3.2相同的假设下，对于任何 $t \in (0, t_{*}]$ ， $\frac{u_{r}}{r}$ 满足：

$\int_{0}^{t} {‖ \frac{u_{r}}{r} (s, \cdot) ‖}_{l^{\infty}} d s < \infty .$

3.3. $h_{θ}$ 和 $w_{θ}$ 的 $l_{t_{*}}^{\infty} l^{p}$ -有界性

接下来，我们的目标是推导出 $h_{θ}$ 和 $w_{θ}$ 的 $l_{t_{*}}^{\infty} l^{p}$ 估计。我们有以下结果：

3.4在与定理1.1相同的假设下，我们对 $h_{θ}$ 和 $w_{θ}$ 的估计如下

$\begin{array}{l} {‖ h_{θ} (t, \cdot) ‖}_{l^{p}} \leq {‖ h_{0} ‖}_{l^{p}} \exp (c \int_{0}^{t} [{‖ \frac{u_{r}}{r} (s, \cdot) ‖}_{l^{\infty}} {‖ \partial_{z} h (s, \cdot) ‖}_{l^{\infty}}] d s) < \infty, \\ \sup_{0 \leq t \leq t_{*}} {‖ w_{θ} (t, \cdot) ‖}_{l^{2}}^{2} \int_{0}^{t_{*}} {‖ \nabla w_{θ} (t, \cdot) ‖}_{l^{2}}^{2} d t \int_{0}^{t_{*}} {‖ \frac{w_{θ}}{r} (t, \cdot) ‖}_{l^{2}}^{2} d t < \infty . \end{array}$ (3.9)

其中 $c > 0$ 是一个通用常数。

证明 (3.9) ₁的第一个不等式在 [15] 中有详细的证明过程，我们不在这里展开。然后利用推论3.3以及判别条件 $\int_{0}^{t_{*}} {‖ \frac{\partial_{z} h_{θ}}{r} (t, \cdot) ‖}_{l^{\infty}} d t < \infty$ ，可以导出(3.9)₁的第二个不等式。

接下来，对(1.3)₁执行标准 $l^{2}$ 内积，推导出

$\frac{d}{d t} {‖ w_{θ} (t, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla w_{θ} (t, \cdot) ‖}_{l^{2}}^{2} {‖ \frac{w_{θ}}{r} (t, \cdot) ‖}_{l^{2}}^{2} \leq c ({‖ u_{θ} (t, \cdot) ‖}_{l^{2}} {‖ \nabla u_{θ} (t, \cdot) ‖}_{l^{2}} {‖ j (t, \cdot) ‖}_{l^{2}}^{2} {‖ h (t, \cdot) ‖}_{l^{\infty}}^{2} {‖ h_{θ} (t, \cdot) ‖}_{l^{2}}^{2}) .$

在 $[0, t_{*}]$ 上关于t积分，由 $u_{θ}$ 和 $h_{θ}$ 的 $l_{t}^{\infty} l^{2}$ 估计、 $h$ 的 $l_{t}^{\infty} l^{\infty}$ 估计以及命题3.2中 $(ω, j)$ 的 $l_{t}^{\infty} l^{2}$ 估计推导出以下最终不等式

$\begin{array}{l} \sup_{0 \leq t \leq t_{*}} {‖ w_{θ} (t, \cdot) ‖}_{l^{2}}^{2} \int_{0}^{t_{*}} {‖ \nabla w_{θ} (t, \cdot) ‖}_{l^{2}}^{2} d t \int_{0}^{t_{*}} {‖ \frac{w_{θ}}{r} (t, \cdot) ‖}_{l^{2}}^{2} d t \\ ≲ \sup_{0 \leq t \leq t_{*}} {‖ u_{θ} (t, \cdot) ‖}_{l^{2}} \sup_{0 \leq t \leq t_{*}} {‖ j (t, \cdot) ‖}_{l^{2}}^{2} \int_{0}^{t_{*}} {‖ \nabla u_{θ} (t, \cdot) ‖}_{l^{2}}^{2} d t {‖ h_{0} ‖}_{l^{\infty}}^{2} t_{*} \sup_{0 \leq t \leq t_{*}} {‖ h_{θ} (t, \cdot) ‖}_{l^{2}}^{2} < \infty . \end{array}$

3.4. w的 $l_{t}^{\infty} l^{2} \cap l_{t}^{2} h^{1}$ 估计与 $\nabla u$ 的 $l_{t}^{1} l^{\infty}$ 估计

命题3.5 在与定理1.1相同的假设下，我们有 $w$ 的 $l_{t}^{\infty} l^{2} \cap l_{t}^{2} h^{1}$ 估计。

证明在方程(1.3)₂和(1.3)₃分别做 $l^{2}$ 能量估计，并将得到的结果式子相加，再利用gronwall不等式即可得到：

$\begin{array}{l} \sup_{0 \leq t \leq t_{*}} {‖ (w_{r}, w_{z}) (t, \cdot) ‖}_{l^{2}}^{2} \int_{0}^{t_{*}} (‖ (\nabla w_{r} (t, \cdot), \nabla w_{z} (t, \cdot)) ‖ {‖ \frac{w_{r}}{r} (t, \cdot) ‖}_{l^{2}}) d t \\ \leq {‖ (w_{r} (0, \cdot), w_{z} (0, \cdot)) ‖}_{l^{2}}^{2} \exp (c \int_{0}^{t_{*}} {‖ b (t, \cdot) ‖}_{l^{\infty}}^{2} d t) . \end{array}$ (3.10)

这里 $b = u_{r} e_{r} u_{z} e_{z}$ 。对于(3.10)右边指数函数的内部，可以利用gagliardo-nirenberg插值不等式、引理2.4和hölder不等式，以及估计式(3.10)₂推导出：

$\begin{array}{l} \int_{0}^{t_{*}} {‖ \nabla b (t, \cdot) ‖}_{l^{\infty}}^{2} d t \\ \leq c {\int_{0}^{t_{*}} ‖ \nabla b (t, \cdot) ‖}_{l^{2}} {‖ \nabla^{2} b (t, \cdot) ‖}_{l^{2}} d t \\ \leq c {\int_{0}^{t_{*}} ‖ w_{θ} (t, \cdot) ‖}_{l^{2}} ({‖ \nabla w_{θ} (t, \cdot) ‖}_{l^{2}} {‖ \frac{w_{θ}}{r} (t, \cdot) ‖}_{l^{2}}) d t \\ \leq c {(\int_{0}^{t_{*}} {‖ w_{θ} (t, \cdot) ‖}_{l^{2}}^{2} d s)}^{1 / 2} {(\int_{0}^{t_{*}} ({‖ \nabla w_{θ} (t, \cdot) ‖}_{l^{2}}^{2} {‖ \frac{w_{θ}}{r} (t, \cdot) ‖}_{l^{2}}^{2}) d t)}^{1 / 2} \\ < \infty . \end{array}$

因此，我们有

$\sup_{0 \leq t \leq t_{*}} {‖ (w_{r}, w_{z}) (t, \cdot) ‖}_{l^{2}}^{2} \int_{0}^{t_{*}} ({‖ \nabla (w_{r}, w_{z}) (t, \cdot) ‖}_{l^{2}}^{2} {‖ \frac{w_{r}}{r} (t, \cdot) ‖}_{l^{2}}^{2}) d t < \infty .$ (3.11)

结合(3.9)₂和(3.11)得到我们的结论。

3.6 在与定理1.1相同的条件下，我们有 $\nabla u$ 的 $l_{t}^{1} l^{\infty}$ 估计。

首先回顾 $w$ 的方程。

${\begin{array}{l} \partial_{t} w - δ w = \nabla \times (u \cdot \nabla u) - \nabla \times (h \cdot \nabla h), \\ w (0, x) = \nabla \times u_{0} (x) . \end{array}$

为了简化证明过程，我们把 $w$ 拆成三个部分：

$w : = w_{0} w_{1} w_{2},$

其中， $w_{0}$ 为初值为 $\nabla \times u_{0} (x)$ 的线性抛物型方程的解：

${\begin{array}{l} \partial_{t} w_{0} - δ w_{0} = 0, \\ w (0, x) = \nabla \times w_{0} (x) . \end{array}$

当 $t > 0$ 时，我们只需要考虑 $w_{1}$ 和 $w_{2}$ ，因为 $w_{0}$ 已经满足证明所需的正则性。同时，具有齐次初始值的 $w_{1}$ 和 $w_{2}$ 分别满足

$\partial_{t} w_{1} - δ w_{1} = - \nabla \times (h \cdot \nabla h)$

和

$\partial_{t} w_{2} - δ w_{2} = \nabla \times (u \cdot \nabla u) .$

直接计算可知：

$h \cdot \nabla h = - h h_{θ} e_{r} .$

再由引理3.1中 $h$ 的基本能量估计和命题3.4中 $h_{θ}$ 的估计，推导出

$h \cdot \nabla h \in l^{\infty} (0, t_{*}; l^{4} (ℝ^{3})) \subset l^{4 / 3} (0, t_{*}; l^{p} (ℝ^{3})) .$

因此通过应用引理2.6中热流的最大规律性， $\nabla w_{1}$ 满足

$\nabla w_{1} \in l^{4 / 3} (0, t_{*}; l^{4} (ℝ^{3})) .$

对于 $w_{2}$ ，通过引理2.5中的在 $l_{t}^{2} h^{1}$ 与 $l_{t}^{\infty} l^{2}$ 之间插值范数，得到

$\nabla u \in l^{8 / 3} (0, t_{*}; l^{4} (ℝ^{3})) .$

根据引理2.3，我们有

${‖ u (t, \cdot) ‖}_{l^{\infty}} ≲ {‖ \nabla u (t, \cdot) ‖}_{l^{4}}^{6 / 7} {‖ u (t, \cdot) ‖}_{l^{2}}^{1 / 7} .$

接下来，考虑引理3.1中 $u$ 的基本能量估计，可以得到

$\int_{0}^{t_{*}} {‖ u (t, \cdot) ‖}_{l^{\infty}}^{8 / 3} d t ≲ {‖ u (t, \cdot) ‖}_{l^{\infty} (0, t_{*}; l^{2})}^{8 / 21} \int_{0}^{t_{*}} {‖ \nabla u (t, \cdot) ‖}_{l^{4}}^{16 / 7} d t ≲ {‖ u (t, \cdot) ‖}_{l^{\infty} (0, t_{*}; l^{2})}^{8 / 21} {(\int_{0}^{t_{*}} {‖ \nabla u (t, \cdot) ‖}_{l^{4}}^{8 / 3} d t)}^{6 / 7} t_{*}^{1 / 7} < \infty .$

我们有

$u \cdot \nabla u \in l^{4 / 3} (0, t_{*}; l^{4} (ℝ^{3})) .$

根据引理2.6中的(2.1)，显然有

$\nabla w_{2} \in l^{4 / 3} (0, t_{*}; l^{4} (ℝ^{3})) .$

然后是 $w_{1}$ 的估计和 $w_{2}$ 的估计

$\begin{matrix} w \in l^{4 / 3} (0, t_{*}; l^{4} (ℝ^{3})) . \end{matrix}$ (3.12)

现在结合引理2.3和引理2.4得到

${‖ \nabla u (t, \cdot) ‖}_{l^{\infty}} ≲ {‖ \nabla u (t, \cdot) ‖}_{l^{2}}^{1 / 7} {‖ \nabla^{2} u (t, \cdot) ‖}_{l^{4}}^{6 / 7} ≲ {‖ w (t, \cdot) ‖}_{l^{2}}^{1 / 7} {‖ \nabla w (t, \cdot) ‖}_{l^{4}}^{6 / 7} .$

利用(3.12)，即可得到命题3.6，因为：

$\int_{0}^{t_{*}} {‖ \nabla u (t, \cdot) ‖}_{l^{\infty}} d t ≲ {‖ w ‖}_{l^{\infty} (0, t_{*}; l^{2})}^{1 / 7} \int_{0}^{t_{*}} {‖ \nabla w (t, \cdot) ‖}_{l^{4}}^{6 / 7} d t \leq {‖ w ‖}_{l^{\infty} (0, t_{*}; l^{2})}^{1 / 7} {(\int_{0}^{t_{*}} {‖ \nabla w (t, \cdot) ‖}_{l^{4}}^{4 / 3} d t)}^{14 / 9} t_{*}^{5 / 14} < \infty .$

3.5. $\nabla h$ 和 $\nabla h$ 的 $l_{t_{*}}^{\infty} l^{\infty}$ -有界性

3.7 与定理1.1相同的假设条件，则下列 $\nabla h$ 与 $\nabla h$ 的 $l^{\infty}$ 估计在 $t \leq t_{*}$ 上一致成立：

$\begin{array}{l} {‖ \nabla h (t, \cdot) ‖}_{l^{\infty}} \leq {‖ \nabla h_{0} ‖}_{l^{\infty}} \exp (c \int_{0}^{t} ({‖ \nabla u (s, \cdot) ‖}_{l^{\infty}} {‖ \partial_{z} h (s, \cdot) ‖}_{l^{\infty}}) d s), \\ {‖ \nabla h (t, \cdot) ‖}_{l^{\infty}} \leq {‖ \nabla h_{0} ‖}_{l^{\infty}} \exp (c \int_{0}^{t} ({‖ \nabla u (s, \cdot) ‖}_{l^{\infty}} {‖ \partial_{z} h (s, \cdot) ‖}_{l^{\infty}}) d s) . \end{array}$ (3.13)

其中 $c > 0$ 是一个通用常数。

证明首先，注意到

$| \nabla h | ≃ | \partial_{r} h_{θ} | | \partial_{z} h_{θ} | | h | .$

$h$ 的 $l_{t_{*}}^{\infty} l^{\infty}$ 估计已经在引理3.1中得到，因此我们只需要关注剩下的两项 $\partial_{r} h_{θ}$ 和 $\partial_{z} h_{θ}$ 。对方程(1.2)₄分别应用 $\bar{\nabla} = (\partial_{r}, \partial_{z})$ ，然后对得到的两个结果方程分别执行 $l^{p} (2 \leq p < \infty)$ 能量估计，得到：

${‖ \bar{\nabla} h_{θ} (t, \cdot) ‖}_{l^{p}}^{p} \leq c p {‖ \bar{\nabla} h_{θ} (t, \cdot) ‖}_{l^{p}}^{p - 1} ({‖ \nabla u (t, \cdot) ‖}_{l^{\infty}} {‖ \partial_{z} h (t, \cdot) ‖}_{l^{\infty}}) \times ({‖ \bar{\nabla} h_{θ} (t, \cdot) ‖}_{l^{p}} {‖ h (t, \cdot) ‖}_{l^{p}}) .$ (3.14)

在方程(3.14)两边同时除以 $p {‖ \bar{\nabla} h_{θ} (t, \cdot) ‖}_{l^{p}}^{p - 1}$ ，并注意到 $\frac{d}{d t} {‖ h (t, \cdot) ‖}_{l^{p}} \equiv 0$ ，我们有

$\frac{d}{d t} {‖ \nabla h (t, \cdot) ‖}_{l^{p}} \leq c ({‖ \nabla u (t, \cdot) ‖}_{l^{\infty}} {‖ \partial_{z} h (t, \cdot) ‖}_{l^{\infty}}) {‖ \nabla h (t, \cdot) ‖}_{l^{p}} .$

由此，通过gronwall不等式，我们有以下估计：

${‖ \nabla h (t, \cdot) ‖}_{l^{p}} \leq {‖ \nabla h_{0} ‖}_{l^{p}} \exp (c \int_{0}^{t} ({‖ \nabla u (s, \cdot) ‖}_{l^{\infty}} {‖ \partial_{z} h (s, \cdot) ‖}_{l^{\infty}}) d s), \forall t \in (0, t_{*}] .$

上面的常数c与 $p \in [2, \infty)$ 无关。令 $p \to \infty$ ，我们得到(3.13)₁。

对方程(1.4)₃两边同时应用 $\partial_{r}$ ，然后两边乘以 $p \partial_{r} h {| \partial_{r} h |}^{p - 2}$ ，并在 $ℝ^{3}$ 上积分，我们得到：

$\begin{array}{l} \frac{d}{d t} {‖ \partial_{r} h (t, \cdot) ‖}_{l^{p}}^{p} \leq 2 p \int_{ℝ^{3}} \partial_{z} h {| \partial_{r} h |}^{p} d x \underset{n_{h}}{\underset{︸}{2 p \int_{ℝ^{3}} h \partial_{r} \partial_{z} h \partial_{r} h {| \partial_{r} h |}^{p - 2} d x}} \\ c p \int_{ℝ^{3}} | \nabla u | | \nabla h | {| \partial_{r} h |}^{p - 1} d x, p \geq 2. \end{array}$ (3.15)

通过分部积分， $n_{h}$ 可以被估计如下：

$n_{h} = 2 \int_{ℝ^{3}} h \partial_{z} {| \partial_{r} h |}^{p} d x = - 2 \int_{ℝ^{3}} \partial_{z} h {| \partial_{r} h |}^{p} d x .$

把上述结果代入方程(3.15)，然后应用hölder不等式得到：

$\frac{d}{d t} {‖ \partial_{r} h (t, \cdot) ‖}_{l^{p}}^{p} ≲ p ({‖ \nabla u (s, \cdot) ‖}_{l^{\infty}} {‖ \partial_{z} h (s, \cdot) ‖}_{l^{\infty}}) {‖ \nabla h (t, \cdot) ‖}_{l^{p}}^{p} .$ (3.16)

用同样的方法，对(1.4)₃两边关于z求导，并做执行 $l^{p}$ 估计，得到以下结果：

$\frac{d}{d t} {‖ \partial_{z} h (t, \cdot) ‖}_{l^{p}}^{p} ≲ p ({‖ \nabla u (s, \cdot) ‖}_{l^{\infty}} {‖ \partial_{z} h (s, \cdot) ‖}_{l^{\infty}}) {‖ \nabla h (t, \cdot) ‖}_{l^{p}}^{p} .$ (3.17)

结合方程(3.16)和(3.17)，在不等式两边同时除以 $p {‖ \nabla h (t, \cdot) ‖}_{l^{p}}^{p - 1}$ ，我们可以得到：

$\frac{d}{d t} {‖ \nabla h (t, \cdot) ‖}_{l^{p}} ≲ ({‖ \nabla u (s, \cdot) ‖}_{l^{\infty}} {‖ \partial_{z} h (s, \cdot) ‖}_{l^{\infty}}) {‖ \nabla h (t, \cdot) ‖}_{l^{p}} .$

注意到上述估计与 $p \geq 2$ 是一致的。利用gronwall不等式，令 $p \to \infty$ ，即证引理。

3.6. 高阶估计

最后，我们推导出了系统(1.1)的高阶估计。我们通过联合系统(1.1)和 $h$ 的能量估计，从而克服缺乏磁场阻尼所产生的困难。具体证明可参见 [15] 3.7节。我们在这里仅给出证明关键步骤：

${\begin{array}{l} \partial_{t} u u \cdot \nabla u \nabla p - δ u = h \cdot \nabla h, \\ \partial_{t} h u \cdot \nabla h - h \cdot \nabla u = 2 h \partial_{z} h, \\ \partial_{t} h u \cdot \nabla h - 2 h \partial_{z} h = 0. \end{array}$ (3.18)

对上面三个方程做 ${\dot{h}}^{m}$ 能量估计，有

$\begin{array}{l} \frac{1}{2} \frac{d}{d t} {‖ \nabla^{m} (u, h, h) (t, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla^{m 1} u (t, \cdot) ‖}_{l^{2}}^{2} \\ = - \underset{i_{1}}{\underset{︸}{\int_{ℝ^{3}} [\nabla^{m}, u \cdot \nabla] u \nabla^{m} u d x}} \underset{i_{2}}{\underset{︸}{\int_{ℝ^{3}} [\nabla^{m}, h \cdot \nabla] h \nabla^{m} u d x}} - \underset{i_{3}}{\underset{︸}{\int_{ℝ^{3}} [\nabla^{m}, u \cdot \nabla] h \nabla^{m} h d x}} \underset{i_{4}}{\underset{︸}{\int_{ℝ^{3}} [\nabla^{m}, h \cdot \nabla] u \nabla^{m} h d x}} \\ \underset{i_{5}}{\underset{︸}{\int_{ℝ^{3}} [\nabla^{m}, u \cdot \nabla] h \nabla^{m} h d x}} \underset{i_{6}}{\underset{︸}{2 \int_{ℝ^{3}} \nabla^{m} (h \partial_{z} h) \nabla^{m} h d x}} \underset{i_{7}}{\underset{︸}{2 \int_{ℝ^{3}} \nabla^{m} (h \partial_{z} h) \nabla^{m} h d x}} . \end{array}$ (3.19)

利用引理2.7、hölder不等式，对于 $i_{j}, j = 1, \dots, 7$ 有

$i_{j} ≲ {‖ \nabla (u, h) (t, \cdot) ‖}_{l^{\infty}} {‖ \nabla^{m} (u, h) (t, \cdot) ‖}_{l^{2}}^{2}, \forall j = 1, 2, 3, 4;$

$i_{5} ≲ {‖ \nabla (u, h) (t, \cdot) ‖}_{l^{\infty}} {‖ \nabla^{m} (u, h) (t, \cdot) ‖}_{l^{2}}^{2};$

$i_{6} ≲ {‖ \partial_{z} h (t, \cdot) ‖}_{l^{\infty}} {‖ \nabla^{m} h (t, \cdot) ‖}_{l^{2}}^{2} {‖ \nabla (h, h) (t, \cdot) ‖}_{l^{\infty}} {‖ \nabla^{m} (h, h) (t, \cdot) ‖}_{l^{2}}^{2};$

$i_{7} = - \int_{ℝ^{3}} \partial_{z} h {| \nabla^{m} h |}^{2} d x 2 \int_{ℝ^{3}} [\nabla^{m}, h \partial_{z}] h \nabla^{m} h d x ≲ {‖ \nabla h (t, \cdot) ‖}_{l^{\infty}} {‖ \nabla^{m} h (t, \cdot) ‖}_{l^{2}}^{2} .$

将 $i_{j}, j = 1, \dots, 7$ 代入方程(3.19)得到

$\frac{d}{d t} {‖ (u, h, h) (t, \cdot) ‖}_{{\dot{h}}^{m}}^{2} \leq c {‖ \nabla (u, h, h) (t, \cdot) ‖}_{l^{\infty}} {‖ (u, h, h) (t, \cdot) ‖}_{{\dot{h}}^{m}}^{2} .$

结合引理3.1的(3.1)和(3.2)，并应用插值得出对全sobolev范数的估计如下：

$\frac{d}{d t} {‖ (u, h, h) (t, \cdot) ‖}_{h^{m}}^{2} \leq c {‖ \nabla (u, h, h) (t, \cdot) ‖}_{l^{\infty}} {‖ (u, h, h) (t, \cdot) ‖}_{h^{m}}^{2} .$

最后，由gronwall不等式和命题3.6、命题3.7的结论，定理1.1得证。

4. 推论1.2的证明

由于 $\frac{u_{θ}}{r}$ 是张量 $\nabla (u_{θ} e_{θ})$ 的一部分，我们可以得到

$\begin{array}{l} {‖ \nabla (u_{θ} e_{θ}) ‖}_{l^{p}} \geq {‖ \frac{u_{θ}}{r} ‖}_{l^{p}} . \end{array}$ (4.1)

通过biot-savart定律，对于 $1 < p < \infty$ 都有：

${‖ \nabla (u_{θ} e_{θ}) ‖}_{l^{p}} ≲ {‖ \nabla \times (u_{θ} e_{θ}) ‖}_{l^{p}} .$ (4.2)

结合方程(4.1)和(4.2)，对于 $1 < p < \infty$ 有

${‖ \frac{u_{θ}}{r} ‖}_{l^{p}} ≲ {‖ \nabla \times (u_{θ} e_{θ}) ‖}_{l^{p}} .$

这相当于原始爆破准则中 $s = 1$ 的情况。因此，我们可以得到 $\nabla \times (u_{θ} e_{θ})$ 的爆破准则：

$\int_{0}^{t_{*}} {‖ \frac{\partial_{z} h_{θ}}{r} ‖}_{l^{\infty}} d t \int_{0}^{t_{*}} {‖ \nabla (u_{θ} e_{θ}) ‖}_{l^{p}}^{q} d t < \infty, \frac{3}{p} \frac{2}{q} \leq 2,$

和

$\int_{0}^{t_{*}} {‖ \frac{\partial_{z} h_{θ}}{r} ‖}_{l^{\infty}} d t \int_{0}^{t_{*}} {‖ \nabla \times (u_{θ} e_{θ}) ‖}_{l^{p}}^{q} d t < \infty, \frac{3}{p} \frac{2}{q} \leq 2.$

基金项目

江苏省研究生科研与实践创新计划项目(批准号：kycx23_1290)。

参考文献

[1]	balbus, s.a. and terquem, c. (2001) linear analysis of the hall effect in protostellar disks. the strophysical journal, 552, 235.
[2]	forbes, t. (1991) magnetic reconnection in solar flares. geo-physical & astrophysical fluid dynamics, 62, 15-36.
[3]	homann, h. and grauer, r. (2005) bifurcation analysis of magnetic reconnection in hall-mhd systems. physica d nonlinear phenomena, 208, 59-72.
[4]	chae, d., degond, p. and liu, j. (2014) well-posedness for hall-magnetohydrodynamics. annales de l'institut henri poincaré analyse non lineairé, 31, 555-565.
[5]	chae, d., wan, r. and wu, j. (2015) local well-posedness for the hall-mhd equations with fractional magnetic diffusion. journal of mathematical fluid mechanics, 17, 627-638.
[6]	benvenutti, m.j. and ferreira, l.c.f. (2016) existence and sta-bility of global large strong solutions for the hall-mhd system. differential integral equations, 29, 977-1000.
[7]	dai, m. (2014) local well-posedness of the hall-mhd system in with . mathematische nachrichten, 293, 67-78.
[8]	chae, d. and lee, j. (2020) on the blow-up criterion and small data global existence for the hall-magnetohydrodynamics. journal of differential equations, 256, 3835-3858.
[9]	chae, d. and schonbek, m. (2013) on the temporal decay for the hall-magnetohydrodynamic equations. journal of differential equations, 255, 3971-3982.
[10]	fan, j., li, f. and nakamura, g. (2014) regularity criteria for the incompressible hall-magnetohydrodynamic equations. nonlinear analysis, 109, 173-179.
[11]	weng, s. (2016) on analyticity and temporal decay rates of so-lutions to the viscous resistive hall-mhd system. journal of differential equations, 260, 6504-6524.
[12]	weng, s. (2016) space-time decay estimates for the incom-pressible viscous resistive mhd and hall-mhd equations. journal of functional analysis, 270, 2168-2187.
[13]	li, z. and pan, x. (2022) one component regularity criteria for the axially symmetric mhd-boussinesq system. discrete and continuous dynamical systems, 42, 2333-2353.
[14]	miao, c. and zheng, x. (2013) on the global well-posedness for the boussinesq system with horizontal dissipation. communications in mathematical physics, 321, 33-67.
[15]	li, z., yang, m. (2022) on a single-component regularity cri-terion for the non-resistive axially symmetric hall-mhd system. acta applicandae mathematicae, 181, article no. 1.
[16]	chen, h., fang, d. and zhang, t. (2017) regularity of 3d axisymmetric navier-stokes equations. discrete and continuous dynamical systems, 37, 1923-1939.
[17]	nirenberg, l. (1959) on elliptic partial differential equations. in: faedo, s., ed., annali della scuola normale superiore di pisa – scienze fisiche e matematiche (series 3, volume 13), springer, berlin, 115-162.
[18]	chen, q. and zhang, z. (2007) regularity criterion of axisymmetric weak solutions to the 3d navier-stokes equations. journal of mathematical analysis and applications, 331, 1384-1395.
[19]	kozono, h. and taniuchi, y. (2000) limiting case of the sobolev inequality in bmo, with application to the euler equations. communications in mathematical physics, 214, 191-200.

为你推荐

凯发娱乐注册的友情链接