Global Well-Posedness of the Vacuum Free Boundary Problem for the Degenerate Compressible Navier-Stokes Equations With Large Data of Spherical Symmetry

技術要約：退化型圧縮性ナビエ・ストークス方程式における真空自由境界問題の全域的ウェルポーズドネス

1. 問題設定
本論文は、2次元および3次元における、退化型圧縮性ナビエ・ストークス（CNS）方程式の真空自由境界問題（VFBP）に対する、大きな初期データを持つ古典解の全域的ウェルポーズドネス（解の存在と一意性）を扱う。この系は、密度に依存する粘性係数（具体的には、浅水波方程式のように密度に比例する粘性）を持つ多原子ガスの運動を記述する。

支配方程式は以下の通りである：
$$\begin{cases} \rho_t + \text{div}(\rho u) = 0, \\ (\rho u)_t + \text{div}(\rho u \otimes u) + \nabla P = 2\mu \text{div}(\rho D(u)), \end{cases}$$
これは流体が占める時間依存の領域 $\Omega(t)$ 上で定義される。ここで、密度 $\rho$ は移動境界 $\partial\Omega(t)$ においてゼロとなる。本研究は、球対称流に焦点を当てており、初期密度 $\rho_0$ は真空境界付近で特定の減衰条件を満たす（「物理的真空」、すなわち音速が特定の割合で消失し、境界において有限かつ非ゼロの加速度を保証する状態）ものとする。

主な数学的課題は、以下に起因する：

• 退化性： 方程式は、真空境界（$\rho \to 0$）付近において、時間の発展および空間的な散逸の両面で退化する。
• 座標特異性： 球座標において、原点（$r=0$）における特異項が生じる。
• 移動境界： 領域 $\Omega(t)$ は未知であり、流れとともに進化するため、自由境界定式化を必要とする。
• 大きなデータ： 本結果は、初期データの大きさに制限を設けない。

2. 手法と主要な戦略
著者らは、領域を固定するためにラグランジュ座標を用いて問題を再定式化する。$\eta(t, r)$ をフローマップ、$U(t, r)$ をラグランジュ速度とする。密度 $\varrho$ は質量保存則によって決定される。問題は、固定された区間 $I = [0, 1)$ 上の初期値境界値問題（IBVP）へと変換される。

解析は、退化と特異性を克服するためにいくつかの新しい戦略に依拠している：

• 新しい重み付きエネルギー汎関数： 著者らは、内部領域（原点付近）と外部領域（真空境界付近）を分離した、分割エネルギー汎関数を導入する。
  • 内部： 初期密度と幾何学的因子（$r^m$）によって重み付けされた標準的なソボレフ型のノルムを用いる。
  • 外部： 真空境界付近の退化を扱うために、密度重み付きノルム（例：$\rho_0^\alpha$）を採用する。重みは、断熱指数 $\gamma$ と初期密度の減衰率 $\beta$ に基づいて慎重に選択される。
• 有効速度： 鍵となる変数の一つは、有効速度 $V = U + 2\mu D_\eta \log \varrho$ である。この変数は減衰輸送方程式を満たし、これにより極めて重要な $L^p$ および $L^\infty$ 推定値の導出が可能となる。
• 内部BDエントロピー推定： 原点における特異性と、一般的な $\beta$ に対して標準的なエントロピー推定が欠如していることを扱うため、著者らはカットオフ関数を用いた「内部」Bresch-Desjardins（BD）エントロピー推定を導出する。
• フローマップ重み付き推定： 決定的なステップとして、フローマップのヤコビアン $(\eta_r, \eta/r)$ の一様な上界および下界を得ることが含まれる。これは以下によって達成される：
  • 密度 $\varrho$ の大域的な上界の導出。
  • 積分を通じて $(\eta_r, \eta/r)$ の下界を確立するための運動量方程式の利用。
  • 有効速度の推定と $\eta_r$ 重み付き推定を組み合わせることで、原点付近での $\log \varrho$ を制御し、流体内部での真空形成を防ぐ。
• 反復スキーム： $\gamma \in (2, 3)$ の場合、エネルギー推定における高次項を扱うために反復スキームが開発され、これにより重み付き空間におけるハーディ型不等式やソボレフ埋め込みの適用が可能となる。

3. 主な結果
本論文は、球対称初期データ $(\rho_0, u_0)$ に対して以下の定理を確立している：

• 大域的存在性と一意性： 断熱指数が 2次元で $\gamma \in (4/3, \infty)$、3次元で $\gamma \in (4/3, 3)$ であり、かつ初期密度が $\beta \in (1/3, \gamma-1]$ を満たす $\rho_0^\beta \in H^3$ を満たすとき、一意な大域的古典解が存在する。
• 境界までの正則性： 解は、すべての時刻 $t > 0$ において、移動真空境界まで古典的（滑らか）であり続ける。
• 真空形成の不在： 密度は有限の時間内において、流体内部で常に厳密に正であり、流体内に新たな真空状態は形成されない。
• 一様有界性： 解は、エネルギー汎関数およびフローマップ微分の時間に関する一様有界性を満たす：
  $$\sup_{t \in [0, T]} (E(t, U) + t D(t, U)) + \int_0^T D(s, U) ds \leq C(T),$$
  $$(\eta_r, \eta/r)(t, r) \in [C(T)^{-1}, C(T)].$$
• 浅水波への適用： $\gamma = n = 2$ の特定の場合として、結果は真空を伴う2次元粘性浅水波方程式（Saint-Venant系）に適用され、大きなデータに対する大域的ウェルポーズドネスを確立する。

4. 意義と主張
著者らは、本研究が、一般的な大きなデータを持つ多次元退化型CNSの古典解の全域的正則性に向けて、実質的な進展を表していると主張している。

• 未解決問題の解決： 本論文は、座標特異性と真空の退化という複合的な困難によりこれまで未解決であった、大きなデータを持つ退化型CNSのVFBPにおける大域的ウェルポーズドネスの問題を解決した。
• 物理的真空： 本結果は、「物理的真空」初期データ（$\beta = \gamma - 1$ の場合）を明示的に許容しており、これはガス星や浅水波において物理的に関連性の高いシナリオであるが、これまでは多次元の設定かつ大きなデータにおいて扱うことが困難であった。
• 手法の革新性： 本論文は、原点の特異性と境界での退化を効果的にデカップリング（分離）する、密度重み付きおよびフローマップ重み付き推定の堅牢な枠組みを導入している。これにより、移動境界までの正則性の伝播が可能となっている。
• 範囲： 手法は、サイズ制限のない一般的な滑らかな球対称初期データに適用可能であることが示されており、これは多くの場合、小さなデータや1次元の設定を必要とした先行研究とは一線を画している。

本論文は、確立された古典解の大域的存在性と一意性が、特に天体物理学や流体力学の文脈において、真空を伴う粘性流の長期ダイナミクスを理解するための厳密な数学的基礎を提供すると結論付けている。