Interfaces and non-uniqueness in a cross-diffusion system with independent drifts

技術的要約：独立したドリフトを伴うクロス拡散系における界面と非一意性

問題設定
本論文は、共通の全密度 $S = \rho + \mu$ に依存する圧力則と、異なる外部ドリフトポテンシャル $V$ および $W$ に従う、2つの個体群密度 $\rho(t, x)$ および $\mu(t, x)$ の進化を記述する1次元クロス拡散系を調査している。系は以下によって支配される：
$$\begin{aligned} \partial_t\rho - \partial_x(\rho \partial_x f'(\rho + \mu)) - \partial_x(\rho \partial_x V) &= 0, \\ \partial_t\mu - \partial_x(\mu \partial_x f'(\rho + \mu)) - \partial_x(\mu \partial_x W) &= 0. \end{aligned}$$
中心となる問いは、初期データが**分離（segregated）**されている場合（すなわち、$\rho_0$ と $\mu_0$ が単一の界面で接する互いに素な支持集合を持つ場合）、かつドリフトが異なる場合のコーシー問題のウェルポーズドネス（適正設定）である。具体的には、著者らは、ドリフトが界面において2つの相を互いに押し付けるレジーム（$\partial_x W(0) - \partial_x V(0) > 0$）を検討している。これまでの文献では、特定の条件下で分離解が存在し、分離状態を維持することが確立されていたが、本研究は、**粘性消失（vanishing-viscosity）**極限から得られる解と比較した際の、そのような解の一意性に疑問を投げかけている。

手法
著者らは、異なる解の概念を区別するために相対エントロピーのアプローチを採用している。彼らの手法の核となるのは以下の通りである：

1. 相対エントロピー汎関数: 彼らは、汎関数 $\Phi[\rho, \mu] = \int_{\mathbb{R}} h(\rho, \mu) dx$ を定義する。ここで $h(u, v) = (u+v)\log(u+v) - u\log u - v\log v$ である。この汎関数は非負であり、密度が分離している場合（$\rho\mu = 0$）にのみゼロとなる。
2. 粘性近似: 彼らは、粘性項（$\varepsilon \partial_{xx}$）を加えた系を分析し、$\varepsilon \to 0$ の極限を研究する。彼らは粘性レベルでのエントロピー散逸恒等式を導出し、極限を通過させることで、粘性消失解の相対エントロピーの下限を得る。
3. 界面における分布解析: 界面における量 $q = \partial_x \rho - \frac{\rho}{S}\partial_x S$ の分布微分を特徴付けることが重要な技術的ステップである。鋭い界面を持つ分離解の場合、この項はディラック測量として振る舞う。
4. 混合による矛盾: 著者らは、もしドリフトが相を押し付けるならば、粘性消失解の相対エントロピーの下限は厳密に正となり、混合が生じることを証明する。逆に、分離解は $\Phi \equiv 0$ を維持する。この矛盾により、非一意性が確立される。
5. 一般のデータの取り扱い: 一般の初期データに対して、著者らは界面が消失（真空の生成）したり、ドリフトが混合を誘発する領域から離れていったりしないことを保証する必要がある。そのために以下を利用する：
   • 先行研究 [56] による分離解の正則性の結果。
   • デカップルされたドリフト拡散方程式の比較原理およびハーナックの不等式を用い、もし界面に真空が形成されるならば、種は瞬時に混合し、分離の仮定に矛盾することを示す。
   • 低拡散レジーム（$\alpha > 1$）における圧力劣解（traveling waveから着想を得たもの）の構成。

主要な貢献と結果

1. 定常状態に関する明示的な非一意性:
   著者らは、圧力勾配が界面の両側でドリフトとバランスを取るような、明示的な定常分離解 $(\bar{\rho}, \bar{\mu})$ を構成する。彼らは、この解が有効な弱解であるが、粘性消失解にはなり得ないことを証明する。ドリフトが相を押し付けるという条件下では、粘性消失極限は必然的にオーバーラップ（混合）を生じさせるが、明示的な定常解は分離状態を維持する。

2. 一般の初期データに対する非一意性:
   定常状態を超えて、本論文は広範な圧力則（$f'(s) \sim s^{\alpha-1}$、$\alpha > 1/3$ を含む）および一般的な分離初期データに対して、コーシー問題が少なくとも2つの異なる弱解を持つことを証明している：

   • 分離解（[56] の移動最小化スキームを用いて構成）。
   • 粘性消失解（[58] のコンパクトネス議論を用いて構成）。
     これらの解は、粘性消失解が混合領域（正の相対エントロピー）を発達させるのに対し、分離解はそうしないため、異なるものである。

3. エントロピー散逸不等式:
   中心的な技術的結果は、粘性消失解に対する以下の不等式の導出である：
   $$\Phi[\rho(t), \mu(t)] \geq \int_0^t \langle q(s), \partial_x V - \partial_x W \rangle ds$$
   この不等式は、ドリフトの差によって誘発される混合を定量化し、異なる解のクラスを区別するための主要な道具として機能する。

意義と主張
本論文は、この特定のクラスの独立したドリフトを伴うクロス拡散系における非一意性の最初の実証を提供すると主張している。著者らは以下の点を強調している：

• 物理的解 vs 数学的解: この現象は、「粘性消失によって選択される『物理的』な解（混合を許容する）が、数学的に有効な分離解と異なる」ことを示している。これは、弱解のクラスにおける系のウェルポーズドネスに疑問を投げかけるものである。
• Muskat問題との類似: この挙動は、異なる密度の流体の間の不安定な界面が自発的に混合領域を生じさせるMuskat問題と強い類似性を持っている。
• 既存理論の限界: 本研究は、クロス拡散系の標準的な存在理論（滑らかな近似のコンパクト性に依存することが多い）が、分離解が存在する場合であっても、分離を維持しない解を選択する可能性があることを浮き彫りにしている。
• 範囲: 著者らは、これらの結果が、種が自己拡散を示さないクロス拡散系に特有であることを明示している。自己拡散項を持つ系は、鋭い界面を防ぐより高い正則性を備えているため、この非一意性のメカニズムは、単一種の移流拡散モデルや自己拡散的クロス拡散系には適用されないと述べている。

結論として、本論文は、相を押し付ける独立したドリフトを持つクロス拡散系において、分離状態と混合状態を区別するためのより制限的な選択基準（粘性消失極限など）がない限り、コーシー問題は弱解のクラスにおいて不良設定（ill-posed）であると結論付けている。