Fractional higher differentiability of solutions to strongly nonlinear Stokes systems

这篇论文题为《强非线性 Stokes 系统的解的分阶高阶可微性》（Fractional Higher Differentiability of Solutions to Strongly Nonlinear Stokes Systems），由 Andrea Cianchi, Flavia Giannetti, Antonia Passarelli Di Napoli 和 Christoph Scheven 撰写。

以下是对该论文的详细技术总结：

1. 研究问题 (Problem)

论文主要研究稳态 Stokes 型系统解的局部正则性性质。该系统描述了非牛顿流体（即变形速度与偏应力张量之间存在非线性关系的不可压缩流体）的运动。

系统方程形式为：
$$\begin{cases} -\text{div } a(x, Eu) + \nabla \pi = f \\ \text{div } u = 0 \end{cases}$$
其中：

• $u$ 是速度场，$\pi$ 是压力。
• $Eu = \frac{1}{2}(\nabla u + (\nabla u)^T)$ 是对称梯度（变形速度张量）。
• $a(x, Eu)$是依赖于位置$x$和对称梯度$Eu$ 的非线性算子。
• $f$ 是外力项。

核心挑战：

• 非线性类型： 算子 $a$ 不一定是幂函数型（如 $p$-Laplacian），而是由一般的 Young 函数 $\phi$ 控制，允许极强的非线性行为。
• 正则性缺失： 算子 $a$ 关于空间变量 $x$ 的依赖性不够光滑（仅满足某种分数阶可微性或 Hajlasz-Sobolev 型条件），而非传统的 Lipschitz 连续。
• 数据要求： 需要在较弱的右端项 $f$ 的可积性条件下（即 $f$ 属于某个 Orlicz 空间 $L^\psi$），证明解 $Eu$和$\pi$ 具有分阶（分数阶）可微性。

2. 方法论 (Methodology)

作者采用了一套结合泛函分析、变分法和精细估计的复杂技术框架：

• Orlicz 与 Orlicz-Sobolev 空间框架：
  由于算子 $a$ 的非多项式性质，传统的 $L^p$ 和 $W^{1,p}$ 空间不再适用。论文在 Orlicz 空间 $L^\phi$ 和 Orlicz-Sobolev 空间 $W^{1,\phi}$ 中建立理论框架。这要求使用 Young 函数 $\phi$ 及其共轭函数 $\tilde{\phi}$ 来描述增长条件和可积性。

• 非线性变换 $V(Eu)$：
  为了处理算子的可能退化性，作者引入了关键的非线性变换：
  $$V(Eu) = \sqrt{\frac{\phi'(|Eu|)}{|Eu|}} Eu$$
  正则性结论主要针对 $V(Eu)$而非直接的$Eu$或$\nabla u$。这是因为$V(Eu)$能更好地反映非线性算子的结构，且在$p$-Laplacian 情形下退化为标准的 $|Eu|^{(p-2)/2}Eu$。

• Besov 空间与分数阶可微性：
  正则性的目标空间是 Besov 空间 $B^{\sigma, 2, \infty}_{loc}$。通过证明 $V(Eu)$ 属于该空间，进而利用嵌入定理推导出其属于分数阶 Sobolev 空间 $W^{\rho, 2}_{loc}$。

• 测试函数构造与 Bogovskiĭ 算子：
  在 Stokes 系统的弱形式中，测试函数必须是无散度的（$\text{div } \phi = 0$）。作者利用 Bogovskiĭ 算子 构造满足无散度条件的测试函数，这是处理压力项 $\pi$ 和对称梯度系统的关键步骤。

• 模形式 Poincaré-Sobolev 不等式：
  论文证明了一个新的 Orlicz 空间中的模形式 Poincaré-Sobolev 不等式（第 5 节）。该不等式在有限测度域上成立，且不需要对 Young 函数 $\phi$ 在零点附近进行特殊修改（克服了传统 Sobolev 共轭函数定义的限制），这对于处理一般 Young 函数至关重要。

• 迭代与逼近论证：

  • 先验估计： 首先在算子 $a$ 和 $f$ 具有更高正则性（如 $L^\infty$）的假设下，利用差分商方法（Difference quotients）和迭代引理（Lemma B）推导 $V(Eu)$ 的 Besov 范数估计。
  • 正则化逼近： 通过磨光算子（Mollifiers）构造近似解序列，利用紧性论证将先验估计推广到一般弱解。

3. 主要贡献与结果 (Key Contributions & Results)

A. 对称梯度 $Eu$ 的正则性 (Theorem 4.1 & 4.2)

• 结论： 如果右端项 $f$ 属于 Orlicz 空间 $L^\psi_{loc}$，且 $\psi$ 与 $\phi$ 的 Sobolev 共轭 $\phi_n$ 满足特定的插值不等式条件（涉及参数 $\theta \in (0, 1]$），则非线性变换 $V(Eu)$ 局部属于 Besov 空间 $B^{\sigma, 2, \infty}_{loc}(\Omega, \mathbb{R}^{n \times n})$。
• 正则性指数 $\sigma$：
  $$\sigma = \min \left\{ \alpha, \theta, \frac{\theta s'_\phi}{2} \right\}$$
  其中：
  • $\alpha$ 是算子 $a$ 关于 $x$ 的分数阶可微性指数。
  • $\theta$ 衡量 $f$ 的可积性相对于弱解存在所需最小可积性的“过剩”程度。
  • $s'_\phi$ 是 Young 函数 $\phi'$ 的 Simonenko 指数的共轭。
• 推广性： 该结果不仅涵盖了 $p$-Laplacian Stokes 系统（$p \ge 2$ 和 $1 < p < 2$），还扩展到了更一般的非多项式增长算子，并允许 $x$ 依赖的非光滑性。

B. 压力项 $\pi$ 的正则性

• 结论： 压力项 $\pi$ 也表现出分数阶正则性，属于 Orlicz-Besov 空间 $B^{\varrho, \tilde{\phi}, \infty}_{loc}(\Omega)$。
• 正则性指数 $\varrho$：
  $$\varrho = \frac{\sigma}{\max\{1, i'_\phi/2\}}$$
  其中 $i'_\phi$ 是 $\phi'$ 的 Simonenko 指数的共轭。

C. 伴随的椭圆系统

• 论文还给出了伴随的无散度约束的椭圆系统 $-\text{div } a(x, Eu) = f$ 的平行结果。由于不需要构造无散度测试函数，其证明过程是 Stokes 系统证明的简化版。

D. 具体算例

• 论文详细讨论了 $\phi(t) = t^p$ 以及 $\phi(t) = t^p \log^\beta(1+t)$ 的情形，给出了具体的 $\psi$ 函数形式和正则性指数，展示了结果在临界情形（如 $p=n$）下的适用性。

4. 意义与影响 (Significance)

1. 理论框架的扩展： 将分数阶可微性理论从经典的 $p$-Laplacian 和多项式增长算子推广到了一般 Young 函数控制的强非线性算子。这填补了 Orlicz 空间框架下 Stokes 系统高阶正则性理论的空白。
2. 弱数据下的正则性： 明确了右端项 $f$ 的可积性与解的正则性之间的精确平衡关系。结果表明，只要 $f$ 的可积性略高于弱解存在所需的最低要求（由插值参数 $\theta$ 体现），解就能获得分数阶可微性。
3. 处理非光滑系数： 允许算子 $a(x, P)$ 关于 $x$ 具有分数阶可微性（而非 Lipschitz 连续），这更符合实际物理模型中材料性质可能存在的非光滑变化。
4. 新的分析工具： 提出的 Orlicz 空间模形式 Poincaré-Sobolev 不等式 是一个独立的重要成果，解决了传统 Sobolev 共轭定义在一般 Young 函数下可能出现的定义域问题，为后续研究提供了有力工具。
5. 统一性： 该结果统一并推广了文献中关于 $p$-Laplacian Stokes 系统（如 [27], [28]）和椭圆系统（如 [39]）的已知结果，特别是将 $1 < p < 2$ 的情形和 $x$ 依赖的非光滑性纳入了统一框架。

综上所述，这篇论文通过引入精细的 Orlicz 空间技术和新的不等式，成功建立了强非线性 Stokes 系统在一般增长条件和弱数据假设下的分数阶高阶可微性理论，是偏微分方程正则性理论领域的重要进展。