On weak solutions for the stationary Cahn-Hillard-Navier-Stokes equations with singular potential

技術的概要：特異ポテンシャルを伴う定常 Cahn-Hilliard-Navier-Stokes 方程式の弱解

問題設定
本論文は、拡散界面を有する 3 次元、圧縮性、2 相流体混合物を記述する定常 Navier–Stokes–Cahn-Hilliard 系に対する弱解の存在を調査する。この系は、質量、運動量、および濃度の保存則と、化学ポテンシャル方程式とが結合して支配される。モデルの顕著な特徴は、Flory–Huggins（対数）型の特異な自由エネルギー密度の導入である。この選択により、質量分率 $c$ が物理的範囲 $(-1, 1)$ 内に留まり、かつ真空状態 ($\rho = 0$) の存在を許容することが可能となる。

具体的な境界値問題は、速度に対してディリクレ条件、濃度および化学ポテンシャルに対してノイマン条件を課した有界領域 $\Omega \subset \mathbb{R}^3$ におけるものである。主な数学的課題は、以下の 2 つの要因に起因する。

1. 定常設定: 進化問題とは異なり、定常系は時間進化に駆動される事前のエネルギー不等式 ($E(t) \leq E(0)$) を欠いており、これは通常、特異ポテンシャルおよび濃度場に対する必要な制御を提供する。
2. 特異ポテンシャルと真空: 自由エネルギーにおける対数特異性は標準的なテイラー展開による正則化を妨げ、真空状態近傍での密度の潜在的な退化性が、極限への移行に必要なコンパクト性議論を複雑にする。

手法
著者らは、慎重に構成された近似系に対して適用される 2 段階の極限過程を通じて存在を確立する。

1. ポテンシャルの専門的な正則化:
   $c$ に関する $L^2$ 評価の欠如と標準的なテイラー展開の失敗に対処するため、著者らは特異な対数項に対して専門的な正則化 $f^\delta_2(c)$ を導入する。以前の手法とは異なり、この近似は、$|c| \to \infty$ において差 $f^\delta_2(c) - \frac{\theta_c}{2}c^2$ が線形的にのみ増大するように構成されている。この特定の構成は、反拡散項によって誘起される二次成長を相殺するように設計されており、それにより必要なコンパクト性を回復し、一様評価を可能にする。

2. 2 段階近似スキーム:

   • レベル 1 ($\epsilon$-極限): 著者らはまず、人工粘性および正則化パラメータ ($\epsilon$) を導入して正則化された系を構成する。不動点定理（Schaefer の不動点定理）を用いて、この近似系に対する強解の存在を証明する。$\epsilon$ に依存しない一様評価を導出することで、極限 $\epsilon \to 0$ を取り、正則化された自由エネルギーを持つ中間系に対する弱解を得る。
   • レベル 2 ($\delta$-極限): 2 段階目は、ポテンシャルの正則化を除去する ($\delta \to 0$) ことである。ここでの主要な困難は、密度の $L^{3/2}$ 可積分性を制御することである。著者らは、人工圧力の特定の選択と微妙な補間議論を採用する。この議論は、正則化されたポテンシャルの構造、具体的には $|c| > 1+\delta$ に対して $\frac{\partial f^\delta_2}{\partial c} - \theta_c c = O(\ln \frac{1}{\delta})$ という観察結果を利用する。これにより、密度ノルムに関する評価を閉じ、$\delta$ に依存しない一様評価を確立する。

3. 強収束と物理的範囲:
   極限 $\delta \to 0$ を取るには、非単調な圧力項を処理するために密度の強収束を証明する必要がある。定常圧縮性 Navier–Stokes 方程式の理論からの手法を適応させ、著者らは密度の強収束を確立する。さらに、極限濃度 $c$ が、密度の支集 ($\{\rho > 0\}$) 上でほとんど至る所、厳密な物理的範囲 $-1 < c < 1$ を満たすことを証明し、特異項が well-defined であることを保証する。

主要な結果
主要定理（定理 1.1）は、以下の条件の下で定常問題に対する弱解 $(\rho, u, \mu, c)$ の存在を確立する。

• 領域: $C^2$ 境界を持つ有界単連結領域。
• 外力: 外力 $g_1, g_2$ は有界である。
• 断熱指数 ($\gamma$):
  • 外力が非回転 ($\nabla \times g_1 = 0$) の場合、$\gamma > 3/2$。
  • 外力が回転 ($\nabla \times g_1 \neq 0$) の場合、$\gamma > 5/3$。
• 質量制約: 全質量 $m_1 > 0$ および相対質量 $m_2$ は $m_2 \in (-m_1, m_1)$ を満たす。

この解は、再正規化された連続の方程式、運動量および濃度方程式の弱形式、およびエネルギー不等式を満たす。重要なのは、濃度が $\rho(x) > 0$ となる場所でほとんど至る所 $-1 < c(x) < 1$ を満たすことである。

意義と主張
著者らは、この仕事が以下の要素を同時に組み込んだ、定常圧縮性 Navier–Stokes–Cahn-Hilliard 系の弱解に対する最初の存在結果を提供すると主張する。

1. 二成分混合物に対して物理的に整合的であるが、濃度の大域的有界性の欠如により数学的に困難な特異自由エネルギーポテンシャル（Flory–Huggins 型）。
2. 方程式に退化をもたらす真空状態 ($\rho = 0$) の存在。

本論文は、許容される断熱指数 $\gamma$ の範囲が、単一流体の定常圧縮性 Navier–Stokes 方程式に関する結果に基づいて拡張可能である可能性に言及しつつも、現在の範囲は自由エネルギーの特異性による境界近傍での濃度に関する重み付き評価の困難さによって制限されていると指摘する。この仕事は、エネルギー不等式による制御が得られる進化モデルと、特異ポテンシャルを有する定常モデルとの間のギャップを埋める重要な一歩を表している。