Well-posedness and longtime behavior of the conserved Navier--Stokes--Allen--Cahn equation with unmatched viscosities and singular potential

技術要約：不一致な粘性と特異ポテンシャルを伴う保存型ナビエ・ストークス・アレン・カーン方程式の適正設定と長期的挙動

1. 問題定式化
本論文は、一致する密度を持つ二相流を記述する、保存型アレン・カーン方程式と非線形に結合したナビエ・ストークス系による質量保存モデルを調査している。系は有界領域 $\Omega \subset \mathbb{R}^d$ ($d \in \{2, 3\}$) 上で定義され、流体速度 $v$、相場変数 $\phi$（相対濃度を表す）、および化学ポテンシャル $\mu$ を含む。このモデルは以下を組み込んでいる：

• 不一致な粘性: 粘性係数 $\nu(\phi)$ は相場に依存し、非定数であることが仮定されている。
• 特異ポテンシャル: 自由エネルギー密度には、$\phi = \pm 1$ で無限大となる典型的なフローリー・ハギンズ型の特異ポテンシャル $f(\phi)$ が含まれる。これは物理的な制約 $|\phi| < 1$ を強制するものである。
• 境界条件: 速度については粘着条件（no-slip conditions, $v=0$）、相場については斉次ノイマン条件（$\partial_n \phi = 0$）を用いる。

支配方程式は以下の通りである：
$$\begin{aligned} \partial_t v + (v \cdot \nabla)v - \text{div}(\nu(\phi)Dv) + \nabla \pi &= \mu \nabla \phi, \\ \nabla \cdot v &= 0, \\ \partial_t \phi + v \cdot \nabla \phi + \mu - \bar{\mu} &= 0, \\ \mu &= -\Delta \phi + f'(\phi), \end{aligned}$$
ここで、$\bar{\mu}$ は $\mu$ の空間平均を表す。

2. 手法
著者らは、関数解析、エネルギー法、および漸近解析手法の組み合わせを用いている：

• ガラーキン近似: 存在証明のために、特異ポテンシャルを処理するためにヨシダ近似（$F_\lambda$）を用いて正則化を行う完全なガラーキン・スキームを利用する。
• エネルギー評価: 全域的な弱解は標準的なエネルギー不等式を通じて確立される。強解については、時間微分とストークス作用素（$A_S$）を用いて方程式をテストすることにより、高次の評価を導出する。その際、ガリョーディ・ニーレンベルグ不等式やアグモン不等式を利用する。
• 相対エネルギー法: 条件付き弱・強一意性を確立するために、著者らは相対エネルギー法を用いる。この手法では、ポテンシャルの非線形性や可変粘性を考慮した汎関数を用いて、弱解と強解を比較する。
• デ・ジアグリ・イテレーション: 非漸近的な厳密分離特性（解が $t \to \infty$ において純粋相 $\pm 1$ から離れること）を証明するために、著者らはパラボリック方程式に対してデ・ジアグリのイテレーション技法を適用し、これを結合系に適応させる。
• ロジャシエヴィッチ・サイモン不等式: 一意の平衡状態への収束は、ポテンシャルが実解析的である場合に、エネルギー汎関数とその勾配のノルムを関連付けるロジャシエヴィッチ・サイモン不等式を用いて証明される。

3. 主要な貢献と結果

• 3次元における局所的適正設定: 本論文は、高次の正則性を持つ初期データ（$v_0 \in H^1_\sigma$, $\phi_0 \in H^2_N$, $F'(\phi_0) \in L^2$）に対する、3次元における局所的な強解の存在と一意性を証明している。決定的なことに、これらの解は瞬時に純粋相から厳密に分離していることが示されている。
• 2次元における無条件の一意性: 著者らは、2次元において弱解が無条件に一一意的であることを証明することで、先行文献における未解決の問いを解決した。これは、解が純粋相から厳密に分離していることを要求せず、代わりに2次元のラディシェネスカの不等式の特定の構造に依拠して達成される。
• 3次元における条件付き弱・強一意性: 3次元における条件付き弱・強一意性の結果が確立されている。この条件は、弱解がポテンシャルの導関数の積分条件（$F'(\phi) \in L^4(0, T; L^4(\Omega))$）を満たすことを要求するが、これは標準的な「厳密分離」の仮定よりも弱い条件であることが示されている。
• 漸近的分離と収束:
  • 粘性に関する最小限の正則性: 本論文は、いかなる全域的弱解も漸近的に純粋相から分離し、2次元および3次元の両方において一意の平衡状態に収束することを実証している。この結果は、粘性に関する追加の正則化仮定を必要とせず、具体的には $\nu \in C^0([-1, 1])$ という最小限の仮定の下で成立する。
  • 漸近的正則化: 粘性がより滑らかな場合（$\nu \in W^{1,\infty}(\mathbb{R})$）、著者らは任意の弱解が漸近的に正則化されることを示している。これは、有限時間後に弱解が強解となり、それによって高次ノルムにおける平衡状態への収束が導かれることを意味する。

4. 意義と主張
本論文は、既存の文献（特に[15], [18], [19]を参照）に対して、いくつかの重要な進展を主張している：

• 漸近的分離に関する初の成果: 著者らは、この結合系（不一致な粘性と特異ポテンシャルを伴う）において、全域的な弱解が漸近的に純粋相から分離し、初期の正則化仮定を必要とせずに2次元および3次元の両方で一意の平衡状態に収束することを示すのは、これが初めてであると述べている。
• 緩和された粘性仮定: 平衡状態への収束は、粘性係数が単に連続（$\nu \in C^0$）である場合でも証明されており、これはリプシッツ連続性を要求することが多かった従来の結果と比較して、大幅な緩和となっている。
• 未解決問題の解決: 先行研究で未解決であった2次元における弱解の無条件の一意性が、厳密に確立された。
• 手法の堅牢性: 本手法は、漸近的な厳密分離特性と条件付き弱・強一一意性を組み合わせることで、粘性が十分に滑らかであれば弱解がいずれ正則化されることを示し、それによって高次ノルムにおける収束を保証している。

本研究は、第一著者および第三著者による最近の重要な成果（[18, 19]として参照）に依拠しており、それらを不一致な粘性と特異ポテンシャスのケースへと拡張することで、最小限の構造的仮定の下での系の長期的ダイナミクスに関する包括的な全体像を提供している。