On the Cauchy problem for the multi-dimensional compressible Navier-Stokes-Korteweg system: Global strong solutions with arbitrarily large initial data

論文要約：多次元圧縮性Navier–Stokes–Korteweg系のコーシー問題における大データ強解の存在

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

本論文は、流体力学における長年の未解決問題である、多次元圧縮性Navier–Stokes–Korteweg (NSK) 系のコーシー問題（全空間 $\mathbb{R}^N, N=2, 3$）における大データ（arbitrarily large initial data）の強解の全時間存在性を扱っています。

NSK系は、流体の毛管力（capillarity）を密度勾配の項としてモデル化したもので、粘性係数 $\mu(\rho), \lambda(\rho)$ およびKorteweg応力テンソル $\kappa(\rho)$ が密度 $\rho$ に依存する場合、解析は極めて困難になります。先行研究では、周期境界条件（トーラス $\mathbb{T}^N$）における大データの強解存在は示されていましたが、全空間 $\mathbb{R}^N$ においては、無限遠での密度の非消失（$\rho \to 1$）や、領域の非コンパクト性に起因する積分可能性の欠如が大きな障壁となっていました。

2. 主な貢献 (Key Contributions)

本論文の最大の貢献は、以下の技術的進展を通じて、周期境界条件から全空間 $\mathbb{R}^N$ へと理論を拡張した点にあります。

• 有効速度（Effective Velocity）の導入: 系の構造を利用し、密度と速度の結合を解きほぐすための変数 $v$ を導入することで、解析を容易にしました。
• 改良型Nash-Moser反復法の開発: 全空間における密度の積分可能性の欠如を克服するため、高密度領域と低密度領域を切り分ける切断解析（Truncation analysis）と、独自の改良型Nash-Moser型反復スキームを構築しました。
• 密度の上下界の確立: 密度の爆発（上界）と真空の形成（下界）の両方を防ぐための精密な評価手法を確立しました。

3. 解析手法 (Methodology)

証明は、以下のステップによるア・プリオリ推定（a priori estimates）に基づいています。

1. 局所解の存在: 標準的な手法により、局所的な強解の存在を確立。
2. 有効速度の重み付き積分可能性: 粘性係数がBD型代数関係（$\mu(\rho) = \nu\rho^\alpha, \lambda(\rho) = 2\nu(\alpha-1)\rho^\alpha$）を満たす条件下で、有効速度 $v$ の重み付き $L^{q+2}$ ノルムを評価。
3. 密度の数学的上界の導出: 改良型Nash-Moser反復法を用い、密度 $\rho$ が時間とともに爆発しないことを証明。
4. 密度の数学的下界（真空回避）の導出: 確立した上界を利用して、逆密度 $\tau = \rho^{-1}$ に対する反転Hölder不等式を構成し、密度が $0$ に収束しない（真空が形成されない）ことを証明。
5. 高次エネルギー推定: 密度が上下から抑えられたことを利用し、高次のソボレフノルム（$H^3$ 等）を制御することで、解の最大存在時間が無限であることを示す。

4. 主要な結果 (Results)

定理 1.1:
$N=2, 3$ において、特定のパラメータ条件（Assumption 1.1）を満たすとき、任意の大きさの初期データ $(\rho_0, u_0)$ に対して、一意な大データの全時間強解 $(\rho, u)$ が存在する。

• 密度 $\rho$: 遠方で $1$ に収束し、全時間において正の定数で上下から抑えられる。
• 解の正則性: $\rho-1 \in C([0, T]; H^3(\mathbb{R}^N))$ および $u \in C([0, T]; H^2(\mathbb{R}^N))$ などの高い正則性を保持する。
• パラメータ範囲: 粘性係数の指数 $\alpha$ および断熱指数 $\gamma$ について、周期境界条件の結果と整合する広範な範囲を達成した。

5. 研究の意義 (Significance)

本研究は、毛管力を持つ流体モデルの数学的理論において、境界条件の制約を「有界領域」から「無限領域」へと解放した重要な成果です。特に、密度依存の粘性係数を持つ複雑な系において、真空形成と密度爆発という二つの物理的な破綻を数学的に排除した手法は、他の圧縮性流体モデル（量子Navier-Stokes系など）の解析にも応用可能な強力な枠組みを提供しています。