Global existence of weak solutions for the Maxwell--Stefan system in the whole space

技術要約：全空間におけるマックスウェル・ステファン・システムの弱解のグローバルな存在性

問題設定
本論文は、流体混合物における多成分質量輸送を記述する強結合クロスディフュージョン・モデルである、等温マックスウェル・ステファン・システムの数学的解析に取り組むものである。このシステムは、有界領域ではなく、全空間 $\mathbb{R}^3$ 上で定義される。支配方程式は、成分のフラックス $J_i$ と化学ポテンシャルの勾配 $\nabla \mu_i$ を関連付ける線形代数系と、$\sum c_i = 1$ および $\sum J_i = 0$ という制約条件に結合された質量保存則 $\partial_t c_i + \text{div } J_i = 0$ で構成される。

全空間の設定における主要な数学的課題は、濃度 $c_i$ が空間無限遠において厳密に正な定数平衡状態に近づく場合、一般に有限な質量（すなわち $\int_{\mathbb{R}^3} c_i \, dx = \infty$）を持たないことである。その結果、有界領域においてリャプノフ関数として機能する標準的なボルツマン／混合エントロピー汎関数は、無限大となり適用不可能となる。さらに、$H^1(\mathbb{R}^3)$ から $L^2(\mathbb{R}^3)$ へのコンパクト埋め込みの欠如により、有界領域の理論で使用される直接的なグローバルなコンパクト性議論の適用が妨げられる。

手法
近似戦略は、$\mathbb{R}^3$ を半径 $R$ の球 $B_R$ の列によって被覆することと、相対エントロピー・フレームワークを組み合わせたものである。

1. 相対エントロピー定式化： 標準的なエントロピーの代わりに、固定された厳密に正な定数平衡状態 $\bar{c}$ に対する相対エントロピー汎関数 $H[c|\bar{c}]$ を利用する。相対エントロピー密度は、濃度の項におけるアフィン項を除いて、標準的なエントロピーと異なる。決定的なことに、この修正はマックスウェル・ステファン・フラックスの関係を維持する。なぜなら、化学ポテンシャルの勾配 $\nabla \log(c_i/\bar{c}_i) = \nabla \log c_i$ は変化しないからである。
2. 有界領域における近似： 問題はまず、均質な無フラックス境界条件（$J_i \cdot \nu = 0$）を持つ球 $B_R$ 上で解かれる。これらの有界領域における弱解の存在は、Jüngel と Stelzer [8] によって開発されたエントロピー法を用いて確立される。
3. 一様評価： 半径 $R$ に依存しない評価を導出することが重要なステップである。
   • 無フラックス境界条件は $B_R$ 上での質量保存を保証し、標準的なエントロピー不等式を $\bar{c}$ に関する相対エントロピー不等式として書き換えることを可能にする。
   • エントロピー散逸項は、濃度の平方根の勾配（$\nabla \sqrt{c_i}$）およびフラックス（$J_i$）を制御する。
   • これらの評価は純粋にエントロピー的および代数的な性質に基づいており、$R \to \infty$ の際にポアンカレ定数が発散するため、ポアンカレ不等式の使用を明示的に回避している。
4. 極限操作： $R \to \infty$ へと極限を飛ばすために、局所的なコンパクト性議論を用いる。
   • 近似解 $c^R$ および $J^R$ の拡張が、全空間上に定義される（$B_R$ の外側では $c^R = \bar{c}$ および $J^R = 0$ とする）。
   • $c^R - \bar{c}$ に関する $L^\infty(0, T; L^2(\mathbb{R}^3))$ における一様有界性と、$\nabla \sqrt{c^R}$ および $J^R$ に関する $L^2((0, T) \times \mathbb{R}^3)$ における一様有界性が、弱収束を可能にする。
   • 固定された部分領域 $B_K$ 上での Aubin–Lions レマを利用した対角線論法により、局所的な $L^2_{loc}$ における強収束が得られる。この強収束は、非線形なマックスウェル・ステファン関係式において極限を通過させるのに十分である。
   • ファトゥの補題（Fatou's Lemma）および相対エントロピーと散逸項の下半連続性を用いて、グローバルなエントロピー不等式が回収される。

主な貢献と結果
本論文は以下の主要な定理を確立する：

• 存在性： 初期データ $c_0$ が $0 \le c_{0,i} \le 1$、$\sum c_{0,i} = 1$ を満たし、有限の相対エントロピー $H[c_0|\bar{c}] < \infty$ を持つという仮定の下で、$(0, T) \times \mathbb{R}^3$ 上のグローバルな時間における弱解 $(c, J)$ が存在する。
• 正則性： 解は $c_i - \bar{c}_i \in L^\infty(0, T; L^2(\mathbb{R}^3))$、$\nabla \sqrt{c_i} \in L^2((0, T) \times \mathbb{R}^3)$、および $J_i \in L^2((0, T) \times \mathbb{R}^3)$ を満たす。
• エントロピー不等式： 解は以下のグローバルな相対エントロピー不等式に従う：
  $$H[c(t)|\bar{c}] + C \int_0^t \int_{\mathbb{R}^3} \sum_{i=1}^{n+1} |\nabla \sqrt{c_i}|^2 \, dx \, ds \le H[c_0|\bar{c}]$$
  ここで、ほとんど全ての $t > 0$ に対して成立し、$C$ はマックスウェル・ステファン拡散係数のみに依存する。

意義と範囲
本論文は、全空間 $\mathbb{R}^3$ における等温マックスウェル・ステファン・システムの弱解のグローバルな存在性の最初の証明を提供すると主張している。その意義は、無限の質量とグローバルなコンパクト性の欠如という二重の困難を克服した点にある。

著者は結果の限界と範囲を明示的に述べている：

• 遠方場条件は点ごとに課されておらず、代わりに有限の相対エントロピー条件が有限質量の自然な置き換えとして機能しており、解が相対エントロピーの意味で平衡状態に近いことを保証している。
• 有界領域の結果とは異なり、本証明はポアンカレ型の不等式に依存しておらず、平衡状態への指数関数的な収束も示さない。
• したがって、本結果は、長時間緩和や漸近安定性の結果ではなく、厳密にはグローバルな有限エントロピー弱解の存在定理である。