Local well-posedness of strong solutions to the compressible Navier-Stokes equations with degenerate viscosities and far field vacuum in 3D exterior domains

技術的要約：退化した粘性と遠方場の真空を伴う3次元外部領域における圧縮性ナビエ・ストークス方程式の強解の局所的ウェル・ポーズドネス（適正設定性）

問題設定
本論文は、一般的な外部領域 $\Omega = \mathbb{R}^3 \setminus \bar{D}$（ここで $D$ は有界な滑らかな領域）における、密度依存型（退化した）粘性を持つ3次元等温圧縮性ナビエ・ストークス方程式の強解の局所的ウェル・ポーズドネスを調査している。この系は、$\mu(\rho) = \mu\rho^\delta$ および $\lambda(\rho) = \lambda\rho^\delta$ ($0 < \delta < 1$) という退化した粘性によって特徴付けられる。本研究は、初期密度が遠方場において真空へと接近し（$\rho \to 0$ as $|x| \to \infty$）、流体が境界 $\partial\Omega$ 上で以下のナビエ・スリップ境界条件を満たす初期値境界値問題（IBVP）を扱う：
$$u \cdot n = 0, \quad \text{curl} u \times n = -A(x)u \quad \text{on } \partial\Omega,$$
ここで $A$ は対称行列である。主な課題は、真空が現れる際の運動量方程式における二重の退化と、外部領域における境界項によって導入される複雑さにある。

手法
著者らは、退化を処理するために運動量方程式を $\rho^\delta$ で割るという、Li-Li [17] に着想を得た再定式化戦略を採用している。系は以下のように変換される：
$$\rho^{1-\delta}u_t + \rho^{1-\delta}u \cdot \nabla u - Lu + \frac{a\gamma}{\gamma-\delta}\nabla \rho^{\gamma-\delta} = \delta \nabla \log \rho \cdot S(u),$$
ここで $L$ はラメ演算子である。

強解の局所的存在性を確立するために、著者らは以下の技術的手法を用いている：

1. 環状領域における近似： 外部領域を近似するために、問題をまず有界な環状領域 $\Omega_R = \Omega \cap B_R$ において解く。半径 $R$ に依存しないア・プリオリ推定を導出する。
2. 境界項の処理： ナビエ・スリップ条件から生じる境界項の管理に、分析の大部分が割かれる。コーシー問題とは異なり、エネルギー推定における境界項は行列 $A$ を含み、$A$ は必ずしも正定値ではない。著者らは、密度 $\rho$ が境界付近（具体的には $\Omega_0 = \Omega \cap B_{2R_0}$）で正の下限を保持するという新しい知見を利用し、境界積分における $\rho$ の負の冪を制御することを可能にした。
3. 重み付き推定： $\nabla \rho^{\frac{\delta-1}{2}}$ や $\rho^{\frac{\delta-1}{2}} \text{div} u$ といった項に対する極めて重要な重み付き推定を導出する。環状領域（第1ベッティ数が非ゼロとなる領域）における楕円型推定の導出の困難さを克服するため、カットオフ関数法と、外部領域の構造に適応させた特定のdiv-curl補題を利用している。
4. 爆発基準： 局所解をグローバルな時間へと拡張するために、爆発基準を確立する。これには、変形テンソル $D(u)$ の $L^1(0,T; L^\infty)$ ノルムと、境界付近の密度勾配の特定のノルムの制御が含まれる。

主要な貢献と結果
本論文は、以下の主要な結果を確立している：

• 定理 1.1 (局所的ウェル・ポーズドネス): $\gamma > 1$ かつ $0 < \delta < 1$ の条件下で、初期データ $(\rho_0, u_0)$ が特定の正則性と適合条件（$\rho_0^{\frac{\gamma-1+\delta}{2}} \in D^1_0 \cap D^2$ および適合条件 $L(u_0) = \rho_0^{\frac{1-\delta}{2}}g$ を含む）を満たすとき、時間区間 $[0, T_0]$ 上に一意の強解が存在する。この解は、$\rho^{\frac{\delta-1}{2}} \in L^\infty(0, T_0; L^6(\Omega_0))$ を含む特定の正則性の集合を満たし、これは密度が境界付近でゼロから離れていることを保証する。
• パラメータの独立性: 粘性指数 $\delta$ の選択が断熱指数 $\gamma$ と独立していることは、決定的な貢献である。これは、$\delta \to 1$ as $\gamma \to 1$ という制限的な関係を必要とした先行研究（例：Xin-Zhu [33], Liu-Zhong [23]）とは対照的である。
• 緩和された適合条件: 本論文では、適合条件は (1.13) の一つのみを要求しており、外部領域における従来の文献で見られた2つの追加的な制限的制約を取り除いている。
• 定理 1.2 (爆発基準): 強解の有限時間爆発に関する基準が提供されている。最大存在時間 $T^*$ が有限である場合、$D(u)$ の $L^1(0,T; L^\infty)$ ノルム、$\rho^{\frac{\delta-1}{2}}$ の $L^\infty(0,T; L^6(\Omega_0))$ ノルム、および $\nabla \rho^{\frac{\delta-1}{2}}$ の $L^\infty(0,T; D^{1,2})$ ノルムの和が発散しなければならない。

意義
本論文は、退化した粘性を伴う圧縮性ナビエ・ストークス方程式の理論を、コーシー問題からより一般的な外部領域における境界値問題へと拡張したものである。$\delta$ と $\gamma$ の制約をデカップリング（分離）することで、その結果は、以前必要であった特定の限定的な関係を必要とせずに、マクスウェル分子を含むより広い範囲の物理的シナリオを包含している。遠方場の真空と非正定値な境界行列が存在する場合の境界項を扱うための新しい技術的手法の開発は、外部領域におけるIBVPに関する既存の理論に対する重要な進展である。本研究は、密度が境界の近傍で厳密に正である限り、初期密度が無限遠で消失する場合であっても、強解が局所的に存在することを示している。