On the large-time behavior of strong solutions to the generalized compressible Navier-Stokes-Korteweg system in 2D and 3D for arbitrarily large initial data

技術要約：一般化圧縮性ナビエ・ストークス・コルテウェーグ系における強解の全域的存在性と長時間挙動

問題設定
本論文は、周期境界条件を持つ2次元および3次元の一般化圧縮性ナビエ・ストークス・コルテウェーグ（NSK）系に対する、任意の大きな初期データ $(\rho_0, u_0) \in H^3 \times H^2$ を持つ強解の全域的存在性と長時間漸近挙動を調査するものである。この系は、ブレッシュ・デジャルダン（BD）関係式 $\mu(\rho) = \nu\rho^\alpha$ および $\lambda(\rho) = 2\nu(\alpha-1)\rho^\alpha$ を満たす密度依存型の粘性係数、および毛管力係数 $\kappa(\rho) = \varepsilon^2\alpha^2\rho^{2\alpha-3}$ によって特徴付けられる。

対処される主な数学的課題は以下の通りである：

1. 大きなデータに対する全域的存在性： 初期データに微小性の仮定を置くことなく、高次元（$N=2,3$）における全域的な強解の存在を確立すること。
2. 密度の一様有界性： 密度が真空から離れ、かつ集中しないこと（すなわち、$C^{-1} \le \rho(x,t) \le C$）を全時間において証明すること。これは高次の正則性を得るための前提条件である。
3. 長時間挙動： 解が $t \to \infty$ において平衡状態へと収束することを示すこと。

先行研究では、特定のパラメータ範囲（例：$\alpha < 1$ に対する Gu-Huang-Meng-Zhou [16]、および $\alpha=1$ に対する Huang-Meng-Zhang [25]）において全域的存在性が確立されていたが、多くの場合、断熱指数 $\gamma$ に制限があったり、任意の大きなデータに対して一様時間の密度有界性や長時間収束性を確立できていなかったりした。

手法
著者らは、**有効速度変換（effective velocity transformation）と、再定式化された系の二重放物型構造（doubly parabolic structure）**を中心とした多角的な解析戦略を採用している。

1. 有効速度定式化： 系を、有効速度 $v := u + c\rho^{\alpha-2}\nabla\rho$ （ここで $c = \nu + \sqrt{\nu^2-\varepsilon^2}$）を用いて、密度と有効速度の結合系（方程式11）へと再定式化する。これにより、系は二重放座型構造を示す。この構造は、追加の正則性を導出し、密度を制御するために極めて重要である。

2. 許容パラメータのためのブートストラップ引数：

   • $\alpha < 1$ の場合： 著者らは、許容される断熱指数 $\gamma$ の範囲を改善する。標準的なエネルギー評価（重み付き $L^2$）と臨界的な評価（重み付き $L^3$）の間のギャップを埋めるブートストラップ引数を利用する。有効速度と密度の可積分性を反復的に向上させることで、$\gamma$ の範囲を先行研究（具体的には3次元において $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$ まで）を超えて拡張する。

3. 上界のための時間離散化戦略：

   • 密度の一様上界を確立するために、著者らは時間軸 $[0, \infty)$ を一様に有界な長さの劣区間 $[t_n, t_{n+1}]$ に分割する時間離散化戦略を採用する。
   • 消散評価を用いて、密度と有効速度が一様な定量的境界を満たす点 $t_n$ を特定する。
   • 各劣区間において、修正されたナッシュ・モーザー（Nash-Moser）反復スキーム（Gu-Huang-Meng-Zhou [16] に着想を得たもの）を適用し、特定の劣区間に依存しない密度上界を導出することで、全域的な一様上界を得る。

4. 下界のための帰納的ブートストラップ（$\alpha < 1$）：

   • 一様な正の下界を確立するには、有効速度のより強い可積分性（$L^p$ で $p > \frac{2}{1-\alpha}$）が必要となる。
   • 著者らは、新しい帰納的ブートストラップ手順を開発する。$(k-1)$ 次レベルの評価を仮定し、$k$ 次レベルの一様および消散評価を導出する。このプロセスを、必要な可積分性に達するまで有限回繰り返すことで、逆変数 $\tau = \rho^{-1}$ に対してナッシュ・モーザー反復を適用し、一様な正の下界を得る。
   • 臨界的なケースである $\alpha = 1$ については、論文内で一様上界を確立しているが、有効速度の $L^\infty$ レベルでのブートストラップを閉じることができないため、下界の確立は未解決の問題であると述べている。

5. 高次評価と減衰：

   • 一様な密度有界性が確立されると、著者らは密度と有効速度の全域的な高次評価を導出する。
   • 有効速度系に内在する楕円構造を利用して、高次微分を制御する。
   • これらの評価により、密度の偏差の $H^3$ ノルムと速度勾配の $H^1$ ノルムがゼロに減衰することを示す長時間挙動の証明へと繋げる。

主要な貢献と結果

• 定理 1.1（$\alpha < 1$ の場合）：

  • 任意の大きな初期データに対し、2次元および3次元における一意な強解の全域的存在性を確立する。
  • パラメータ範囲の拡大： 断熱指数 $\gamma$ の許容範囲を、先行研究（例：[16]）と比較して大幅に拡大した。3次元において、$\gamma$ は $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$ まで到達可能である。
  • 一様有界性： 密度がすべての $t \ge 0$ に対して $C^{-1} \le \rho(x,t) \le C$ を満たすことを証明し、解が真空や集中から離れていることを保証する。
  • 長時間挙動： 初期データの微小性の仮定なしに、$\|\rho(t) - \rho_s\|_{H^3} + \|\nabla u(t)\|_{H^1} \to 0$ ($t \to \infty$) を証明する。ここで $\rho_s$ は平均密度である。

• 定理 1.2（$\alpha = 1$ の場合）：

  • 臨界的なケース $\alpha = 1$（特定の条件下での粘性サン・ヴェナント・モデルや量子ナビエ・ストークス系を含む）における全域的存在性を確立する。
  • 改善されたパラメータ範囲： 3次元における $\gamma$ の許容範囲をさらに拡大し、[22] の $[1, 8/3)$ や [25] の $[1, 7/3)$ を上回る $[1, 11/4)$ を実現した。
  • 一様上界： 密度の一様上界（$\rho(x,t) \le C$）を証明する。
  • 限界： 本論文は、臨界的なケース $\alpha=1$ において一様な正の下界を確立することは依然として困難な課題であり、今後の研究課題として明示している。

意義
本論文は、多次元周期的な NSK 系において、任意の大きな初期データを持つ全域的な強解が、一様時間の密度有界性を持ち、平衡状態へ収束するかどうかという問いに対し、肯定的な回答を与えるものである。

• 未解決問題の解決： [16] や [25] で全域的存在性が確立された後も未解決であった、一般化 NSK 系における大きなデータに対する長時間挙動と一様密度有界性の問題を解決した。
• 手法の進展： 時間離散化戦略と可積分性のためのブートストラップ引数の組み合わせは、重要な手法上の進展である。これにより、量子ナビエ・ストークス解析でしばしば必要とされる制限的な中間領域（$\varepsilon = \nu$）に依存することなく、より広い放物型領域（$\varepsilon < \nu$）をカバーする一様有界の導出が可能となった。
• パラメータの最適化： $\gamma$ の許容範囲を精緻化することにより、毛管効果を持つ圧縮性流体の全域的存在理論の物理的な適用範囲を広げた。

著者らは、初期データに微小性の条件を課さずにこれらの結果を導き出しており、その知見は大きな摂動を伴う物理的に関連性の高いシナリオに対して堅牢であることを強調している。今後の研究の方向として、コーシー問題への拡張および臨界的なケース $\alpha=1$ における下界の確立が挙げられている。