Regularity criterion for the 3D generalized Newtonian fluids

以下は、提供された論文「Regularity criterion for the 3D generalized Newtonian fluids（3 次元一般化ニュートン流体の正則性基準）」の技術的な要約です。

1. 研究の背景と問題設定

対象とする方程式:
本論文は、3 次元空間における非定常な一般化ニュートン流体の運動を記述する方程式系 (1.1) を扱っています。
$$\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$でせん断希薄化、$p=2$で古典的ニュートン流体、$p > 2$ でせん断稠化）。

研究の動機:

• 弱解の存在と正則性: 一般に $p > 1$ に対して弱解の存在は知られていますが、その弱解が「強解（滑らかな解）」となるための十分条件（正則性基準）は未解決の課題です。
• 既存の成果: 古典的な Navier-Stokes 方程式（$p=2$）では、Prodi-Serrin 型条件や Besov 空間を用いた条件（Kozono, Zhang, Yang 等）が研究されています。一般化ニュートン流体（$p \neq 2$）についても、速度 $u$ やその勾配 $\nabla u$ の Lebesgue 空間 $L^\alpha$ における条件がいくつか提案されています（Bae et al., Zhang & Wang, Sin & Baranovskii 等）。
• 課題: これらの既存条件は Lebesgue 空間に基づいていますが、より広い関数空間である負の正則性指数を持つ同次 Besov 空間（$\dot{B}^{-a}_{\infty, \infty}$）への拡張と、$p$ の範囲（特に $5/3 < p < 11/5$）における統一的な基準の確立が求められていました。

2. 主要な結果（定理 1.1）

著者らは、$5/3 < p < 11/5$ の範囲において、弱解 $u$ が強解となるための新しい正則性基準を証明しました。

条件:
速度勾配 $\nabla u$ が以下の空間に属する場合、解は正則（強解）となります。
$$\nabla u \in L^{\frac{2}{2-(3-p)a}}(0, T; \dot{B}^{-a}_{\infty, \infty}(\mathbb{R}^3))$$
ここで、パラメータ $a$ は $p$ の値に応じて以下のように定義されます：

• $5/3 < p < 2$ の場合：$3/2 < a < \frac{2}{3-p}$
• $2 \le p < 11/5$ の場合：$1/p < a < \frac{2}{3-p}$

意義:

• この条件は、方程式のスケーリング不変性（scaling invariance）の観点から「臨界（critical）」な空間です。
• 既存の Lebesgue 空間に基づく条件（例：$\nabla u \in L^\beta(0,T; L^\alpha)$）を、より広い Besov 空間の枠組みで一般化・拡張しています。
• 特に、$5/3 < p \le 7/5$ および $5/3 < p \le 8/5$ のような、従来の研究で未解決または扱われていなかった $p$ の範囲を含んでいます。

3. 手法と証明の鍵

証明の核心は、エネルギー不等式における非線形項の評価にあります。

基本的なアプローチ:
強解の存在を示すために、$\nabla u$ の $L^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$ を制御することが最大の難所です。

技術的な革新点:

1. 改良された Gagliardo-Nirenberg 不等式（Lemma 2.3）:
   著者は、負の正則性指数を持つ Besov 空間 $\dot{B}^{-a}_{\infty, \infty}$ と $L^n$ 空間を用いた新しい補間不等式を導出・利用しました。
   $$\|f\|_{L^m} \le c_0 \|f\|_{\dot{B}^{-a}_{\infty, \infty}}^\theta \|f\|_{L^n}^{1-\theta}$$
   これにより、$\nabla u$ の $L^3$ ノルムを、$\dot{B}^{-a}_{\infty, \infty}$ ノルムと $L^2$（または $L^{3p}$）ノルムの積で評価できます。

2. ケース分けによる評価:

   • ケース 1 ($5/3 < p < 2$): $L^3$ 空間を $L^{3p} \cap L^q$ ($q < 2$) で補間し、Young の不等式と Lemma 2.3 を組み合わせます。
   • ケース 2 ($2 \le p < 11/5$): $L^3$ 空間を $L^2 \cap L^q$ ($q > 3$) で補間し、同様に Lemma 2.3 を適用します。

3. パラメータの調整:
   上記の評価式において、$q$ と $a$ を適切に選ぶことで、$\int |\nabla u|^3 dx$ を $S$（高階微分項）と $\|\nabla u\|_{L^2}$、そして仮定された Besov 空間ノルムの積で抑えることに成功しました。これにより、Gronwall の不等式を適用し、$\nabla u$ の $L^2$ ノルムが有限であることを示し、解の正則性を確立します。

4. 貢献と意義

• 既存結果の統合と拡張:
  従来の Prodi-Serrin 型条件（Lebesgue 空間）を、より鋭い Besov 空間の条件に一般化しました。特に、Zhang & Yang [33] の結果（$p=2$ の場合）を $p \neq 2$ の場合に拡張し、$p$ の広い範囲で統一的な基準を提供しました。
• 未解決領域の解決:
  従来の文献では扱われていなかった $5/3 < p \le 7/5$ や $5/3 < p \le 8/5$ のようなせん断希薄化流体の領域において、正則性基準を初めて確立しました。
• 数学的技法の応用:
  非線形項の評価において、負の正則性指数を持つ Besov 空間を効果的に利用する手法を提示し、流体方程式の正則性問題における関数空間論の応用範囲を広げました。

5. 結論

本論文は、3 次元一般化ニュートン流体の弱解が正則となるための新しい十分条件を、速度勾配の Besov 空間における条件として確立しました。この結果は、流体の粘性がせん断速度に依存する複雑な系においても、解の爆発を防ぐための精密な制御条件が存在することを示しており、非線形偏微分方程式論および流体力学の分野において重要な進展です。