Time-Asymptotic Stability of the Stationary Solution to the Impermeable Wall Problem for the radially Symmetric Navier-Stokes-Korteweg Equations

技術要約：径対称ナビエ・ストークス・コートウェグ方程式における不透過壁問題の定常解の漸近的安定性

問題設定
本論文は、$\Omega = \{x \in \mathbb{R}^n \mid |x| > 1\}$ （$n \ge 3$）という外部領域で定義される、径対称ナビエ・ストークス・コートウェグ（NSK）方程式の初期境界値問題を調査するものである。この系は、毛管現象（キャピラリティ効果）を伴う圧縮性流体の運動をモデル化している。本研究では、特に「不透過壁問題」に焦点を当てており、これは境界 $|x|=1$ において流速がゼロ（$u(t, 1) = 0$）であり、密度勾配が一定（$\rho_r(t, 1) = \rho_b$）であるという条件である。遠方条件として、解は $r \to \infty$ において定数密度 $\rho_+$ およびゼロ速度に漸近することが求められる。

主な目的は、初期データが唯一の定常解 $(\tilde{\rho}, 0)$ の小さな摂動である場合の、時間依存解の漸近的挙動を解析することである。このような定常解の存在と性質は著者の先行研究 [27] で確立されているが、本論文では、時間依存解がこの定常状態へと収束するかどうか、その安定性と収束性を扱う。

手法
解析は、初等的なエネルギー評価と、注意深く設計されたエネルギー汎関数に基づいている。核心となる手法は以下の通りである：

1. 摂動の定式化: 解 $(\rho, u)$ を、定常解 $(\tilde{\rho}, 0)$ と摂動 $(\phi, \psi) = (\rho - \tilde{\rho}, u)$ に分解する。支配方程式は、これらの摂動に関する形式に書き換えられる。
2. 関数不等式: 特定の境界条件を持つ $[1, \infty)$ 上の関数に対する一連の重み付き関数不等式（補題 2.1–2.3）を確立する。これらの不等式は、次元 $n \ge 3$ に決定的に依存しており、$L^\infty$ ノルムや重み付き $L^2$ ノルムを導関数によって制御するために用いられる。
3. ア・プリオリ評価: 摂動の $H^2 \times H^1$ ノルムに関するア・プリオリ評価を導出する。これは、4つの異なるエネルギー汎関数（$E_1$ から $E_4$）の線形結合である結合エネルギー汎関数 $\mathcal{L}$ を構成することによって達成される：
   • $E_1$: 内部エネルギーと運動エネルギーを含む基本的な $L^2$ 型の評価。
   • $E_2$: 密度の導関数に対する散逸を抽出するための、内積 $\langle \rho \psi, \phi_r \rangle$ を含む交差項の評価。
   • $E_3$: 速度の一次導関数と密度の二次導関数を含む高次評価。
   • $E_4$: $\|\psi_t\|^2$ を制御するための、速度の時間微分に関する評価。
     ア・プリオリな微小性の条件は、摂動の $H^2 \times H^1$ ノルムに対して課されるが（命題 3.1）、大域的な存在性の証明は、より高い正則性空間 $H^3 \times H^2$ で構築された局所解に依存している。
4. 継続議論: 大域的な存在性は、標準的な反復スキーム（$H^3 \times H^2$ において確立）を用いた局所存在理論と、導出されたア・プリオリ評価を組み合わせることで証明される。局所解が、初期摂動および境界データが十分に小さい場合に、全時間領域にわたる大域的な解へと延長できることを示すために、継続議論が用いられる。
5. 漸近収束: $t \to \infty$ における収束を証明するために、摂動とその導関数の二乗ノルムが $W^{1,1}(0, \infty)$ に属することを示す。これは、大域的存在性の証明において確立された高次導関数の有界性と、散逸項を利用して、これらのノルムの時間微分が時間に対して可積分であることを示すことにより達成される。

主要な貢献と結果

• 主定理 (Theorem 1.1): 境界データ $|\rho_b|$ が十分に小さく、かつ初期摂動 $(\rho_0 - \tilde{\rho}, u_0)$ が $H^2 \times H^1$ ノルムにおいて小さい場合（ただし、初期データ自体は $H^3 \times H^2$ に属する）、径対称 NSK 方程式に対して一意な大域的な強解が存在することを証明する。
• 収束: 大域解は、定常解 $(\tilde{\rho}, 0)$ へと時間漸近的に収束する。具体的には、以下の関係が確立される：
  $$\lim_{t \to \infty} (\|\rho(t) - \tilde{\rho}\|_{W^{1,\infty}(1,\infty)} + \|u(t)\|_{L^\infty(1,\infty)}) = 0.$$
• 次元の制約: 解析には、空間次元 $n \ge 3$ が明示的に必要とされる。著者は、摂動の $L^\infty$ ノルムを抑えるために使用される関数不等式（補題 2.2 および 2.3）を得る上で、この制約が不可欠であると述べている。
• 文脈における新規性: 本論文は、径対称ナビエ・ストークス（NS）方程式およびナビエ・ストークス・フーリエ（NSF）方程式の時間漸近的挙動は研究されてきたものの、外部領域における径対称 NSK 方程式（毛管現象を組み込んだもの）の時間漸近的挙動については、これまで調査されていなかったことを強調している。本研究はこの空白を埋めるものである。

意義と主張
本論文は、不透過壁を持つ外部領域における径対称 NSK 方程式の定常解の、時間漸近的安定性の最初の厳密な証明を提供すると主張している。微小性の仮定の下で解の大域的存在性と収束性を確立することにより、本研究は、一次元の場合および全空間の場合を超えて、圧縮性粘性・毛管流体の理解を拡張するものである。その手法は、特定の重み付き不等式と多機能的なエネルギーアプローチを組み合わせた初等的なエネルギー評価が、高次元における毛管項および外部領域の幾何学によって導入される複雑さを扱うのに十分であることを示している。これらの結果は、定常解の存在に関する著者の先行研究のフォローアップとして、この特定のクラスの問題に関する長時間ダイナミクスの全体像を完成させるものである。