Regularity criterion for the 3D generalized Newtonian fluids

这是一份关于论文《3D 广义牛顿流体正则性判据》（Regularity criterion for the 3D generalized Newtonian fluids）的详细技术总结。

1. 研究背景与问题 (Problem)

研究对象：
论文研究的是三维非定常广义牛顿流体（Generalized Newtonian Fluids）的 Cauchy 问题。其控制方程组（1.1）描述了具有剪切依赖粘度（shear-dependent viscosity）的不可压缩流体运动：
$$\begin{cases} u_t - \text{div}(|Du|^{p-2}Du) + (u \cdot \nabla)u + \nabla\pi = 0, \\ \text{div } u = 0, \\ u(\cdot, 0) = u_0. \end{cases}$$
其中 $u$ 为速度场，$\pi$ 为压力，$Du$为速度梯度的对称部分。指数$p > 1$ 决定了流体的流变特性：

• $1 < p < 2$：剪切变稀（shear-thinning）；
• $p = 2$：经典牛顿流体（Navier-Stokes 方程）；
• $p > 2$：剪切增稠（shear-thickening）。

核心问题：
对于 $5/3 < p < 11/5$ 范围内的广义牛顿流体，已知弱解的存在性（Leray-Hopf 意义下），但弱解的正则性（即弱解是否也是强解）和唯一性仍是未解决的难题。

• 当 $p \ge 11/5$ 时，已知存在全局强解。
• 当 $p \in (5/3, 11/5)$ 时，局部强解存在，但弱解在何时能提升为强解（正则性判据）尚需进一步研究。

目标：
建立基于速度梯度 $\nabla u$ 在临界齐次 Besov 空间 $\dot{B}^{-a}_{\infty, \infty}(\mathbb{R}^3)$ 中的正则性判据，以推广和统一现有的 Prodi-Serrin 型判据。

---

2. 方法论 (Methodology)

论文采用了能量估计、插值不等式以及改进的 Gagliardo-Nirenberg 不等式相结合的方法。

主要步骤：

1. 能量估计：
   将方程乘以 $\Delta u$ 并在 $\mathbb{R}^3$ 上积分，利用散度条件消去压力项，得到关于 $\|\nabla u\|_{L^2}^2$ 的时间演化方程：
   $$\frac{1}{2}\frac{d}{dt}\|\nabla u\|_{L^2}^2 + S \le c_1 \int_{\mathbb{R}^3} |\nabla u|^3 dx,$$
   其中 $S = \int |Du|^{p-2}|\nabla^2 u|^2 dx$ 是耗散项。核心难点在于控制非线性项 $\int |\nabla u|^3 dx$。

2. 分情况讨论与插值：
   针对 $p$ 的不同范围，采用不同的插值策略来估计 $\|\nabla u\|_{L^3}$：

   • 情形 1 ($5/3 < p < 2$)：利用 $L^3 \subset L^{3p} \cap L^q$ ($1<q<2$) 进行插值，结合 Young 不等式。
   • 情形 2 ($2 \le p < 11/5$)：利用 $L^3 \subset L^2 \cap L^q$ ($q>3$) 进行插值。

3. 关键工具：改进的 Gagliardo-Nirenberg 不等式 (Lemma 2.3)：
   这是论文的核心创新点。作者利用了一个针对负正则指数 Besov 空间的插值不等式：
   $$\|f\|_{L^m} \le c_0 \|f\|_{\dot{B}^{-a}_{\infty, \infty}}^\theta \|f\|_{L^n}^{1-\theta},$$
   其中 $f \in \dot{B}^{-a}_{\infty, \infty} \cap L^n$。
   通过巧妙选择参数 $m, n, \theta$ 以及辅助参数 $q$，将 $\|\nabla u\|_{L^3}$ 的估计转化为包含 $\|\nabla u\|_{\dot{B}^{-a}_{\infty, \infty}}$ 和 $\|\nabla u\|_{L^2}$ 的项，并利用耗散项 $S$ 吸收高阶项。

4. Gronwall 不等式：
   将估计结果代入能量方程，利用 Gronwall 不等式证明在满足特定条件时，$\|\nabla u\|_{L^2}$ 和耗散积分保持有界，从而保证解的正则性。

---

3. 主要结果 (Key Results)

定理 1.1 (Main Theorem)：
设 $5/3 < p < 11/5$，初始数据 $u_0 \in W^{1,2}_\sigma(\mathbb{R}^3) \cap W^{1,p}(\mathbb{R}^3)$。若弱解 $u$ 满足以下条件：
$$\nabla u \in L^{\frac{2}{2-(3-p)a}}(0, T; \dot{B}^{-a}_{\infty, \infty}(\mathbb{R}^3)),$$
其中参数 $a$ 满足：

• 当 $5/3 < p < 2$ 时，$3/2 < a < \frac{2}{3-p}$；
• 当 $2 \le p < 11/5$ 时，$1/p < a < \frac{2}{3-p}$。

则 $u$ 是 $(0, T]$ 上的强解。

推论与扩展：

• 统一性：该结果统一并推广了之前的文献（如 Bae et al., Zhang & Wang, Sin & Baranovskii 等）中基于 Lebesgue 空间 $L^\alpha$ 的正则性判据。由于嵌入关系 $L^\alpha \subset \dot{B}^{-3/\alpha}_{\infty, \infty}$，本文结果在更弱的空间条件下成立。
• 旋度判据：利用无散度条件 $\text{div } u = 0$ 下的范数等价性，该判据也可以表述为关于旋度 $\nabla \times u$ 的条件。
• 覆盖范围：填补了部分文献中未覆盖的 $p$ 值区间（例如 $5/3 < p \le 7/5$ 或 $5/3 < p \le 8/5$ 的情况）。

---

4. 创新点与贡献 (Contributions)

1. 空间推广：将正则性判据从经典的 Lebesgue 空间 $L^\alpha$ 推广到了具有负正则指数的齐次 Besov 空间 $\dot{B}^{-a}_{\infty, \infty}$。这允许解在空间上具有更弱的正则性（允许奇异性），只要其属于特定的 Besov 空间即可。
2. 技术突破：
   • 克服了直接应用 Gagliardo-Nirenberg 不等式无法得到 $\|\nabla u\|_{L^\infty(0,t; L^2)}$ 有界性的困难。
   • 通过引入中间参数 $q$ 和精细的插值技巧，成功构建了 $\|\nabla u\|_{L^3}$ 与 Besov 范数及 $L^2$ 范数之间的控制关系。
3. 参数优化：明确了 $a$ 与 $p$ 之间的精确依赖关系，给出了使得正则性成立的临界指数范围，统一了剪切变稀和剪切增稠两种情况下的判据形式。

---

5. 意义 (Significance)

• 理论价值：该工作深化了对广义牛顿流体（非牛顿流体）数学理论的理解，特别是针对 $5/3 < p < 11/5$ 这一“临界”区间。它表明，即使流体的非线性项较强，只要速度梯度在特定的 Besov 空间中具有足够的衰减性，解就不会发生爆破。
• 工程应用背景：广义牛顿流体模型广泛应用于血液流动、聚合物熔体、酸奶等复杂流体的模拟。理解这些流体在极端条件下的正则性，有助于更准确地预测流体的稳定性及湍流行为。
• 方法论启示：论文中展示的利用 Besov 空间负指数性质结合改进插值不等式的方法，为研究其他非线性偏微分方程（如 Navier-Stokes 方程、磁流体方程等）的正则性问题提供了新的技术路径。

总结：
Qiao Liu 和 Xincheng Shi 的这篇论文通过引入改进的 Gagliardo-Nirenberg 不等式和 Besov 空间理论，成功建立了三维广义牛顿流体在 $5/3 < p < 11/5$ 范围内的一个新颖且更弱的正则性判据。这一结果不仅推广了现有的 Prodi-Serrin 型判据，也展示了函数空间理论在流体力学正则性研究中的强大作用。