[論文レビュー] On systems of continuity equations with nonlinear diffusion and nonlocal drifts

Guillaume Carlier, Maxime Laborde|arXiv (Cornell University)|May 6, 2015

Geometric Analysis and Curvature Flows参考文献 19被引用数 6

ひとこと要約

本稿では、非線形拡散および非局所的勾配の組み合わせを含む非線形連続の方程式系について、勾配のための半陰的Jordan-Kinderlehrer-Otto (JKO)スキームと、非保存的勾配のための放物型エネルギー推定による正則化を組み合わせることで、存在および一意性を確立する。一意性は変位凸性を用いて証明され、多種多様なモデルに一般的に見られる混合勾配構造へのWasserstein勾配流理論の拡張がなされる。

ABSTRACT

This paper is devoted to existence and uniqueness results for classes of nonlinear diffusion equations (or systems) which may be viewed as regular perturbations of Wasserstein gradient flows. First, in the case. where the drift is a gradient (in the physical space), we obtain existence by a semi-implicit Jordan-Kinderlehrer-Otto scheme. Then, in the nonpotential case, we derive existence from a regularization procedure and parabolic energy estimates. We also address the uniqueness issue by a displacement convexity argument.

研究の動機と目的

• 非線形拡散および非局所的勾配を伴う連続方程式系の一般な存在および一意性理論を構築すること、特に勾配が純粋でない場合を含む。
• 非線形拡散および保存的勾配を伴う系に、Jordan-Kinderlehrer-Otto (JKO)半陰的スキームを拡張し、弱解への収束を保証すること。
• JKOスキームが適用できない非保存的ケース（勾配でない、正則な成分を含む勾配）に対して、正則化および放物型エネルギー推定を用いて解の存在を示すこと。
• 勾配でない場合でも、エネルギー汎関数の変位凸性を用いて一意性を確立すること。
• 集団的相互作用を伴う多種多様なモデル（例：集団動態や群衆移動）に適用可能な統一的枠組みを提供すること。

提案手法

• 保存的勾配の場合、Wasserstein空間における最小化により近似解を構成するため、半陰的JKOスキームが用いられる。
• Matthes, McCann, Savaréのフロー交換論法が、非線形拡散項の極限における強収束を保証するために用いられる。
• 非保存的ケースでは、拡散項に正則化を施した後、放物型エネルギー推定を用いて解の存在を導出する。
• エネルギー汎関数の変位凸性が、2つの解間の安定性推定を導くために用いられ、一意性が得られる。
• 解析は周期的境界条件を伴う平坦なトーラス $\mathbb{T}^d$ 上で行われるが、$\mathbb{R}^d$ や有界領域へも拡張可能である。
• 主な仮定には、Wasserstein距離における勾配のリプシッツ連続性およびMcCannの条件を満たすエントロピー型汎関数 $E$ の凸性が含まれる。

実験結果

リサーチクエスチョン

• RQ1 勾配でない非線形拡散および非局所的勾配を伴う連続方程式系について、存在および一意性を確立できるか？
• RQ2 半陰的JKOスキームを非線形拡散および保存的勾配を伴う方程式系に拡張でき、解への収束が保証されるか？
• RQ3 JKOスキームが適用できない非保存的ケースでは、解の存在をどのように証明できるか？
• RQ4 勾配と拡散にどのような条件を課せば、変位凸性によって解の一意性が保証されるか？
• RQ5 この理論は、対称的または非対称的な相互作用を伴う多種多様なモデルに適用可能か？

主な発見

• エネルギーおよび勾配に関する適切な凸性および正則性仮定の下で、保存的勾配を伴う系について弱解の存在が確立される。
• フロー交換論法により、JKOスキームの収束が証明され、極限における非線形拡散項の制御が可能になる。
• 非保存的勾配の場合、拡散項の正則化とその後の放物型エネルギー推定を用いて、有界性および収束性が保証され、解の存在が得られる。
• 変位凸性の議論により一意性が証明され、解が可積分性条件を満たす場合に、安定性推定 $\sum_{i=1}^{l}W_{2}^{2}(\rho_{i,t},\nu_{i,t}) \leq e^{4Ct}\sum_{i=1}^{l}W_{2}^{2}(\rho_{i,0},\nu_{i,0})$ が得られる。
• 可積分性条件 $\int_0^T \sum_i \|v_{i,t}\|_{L^2(\rho_{i,t})} dt < \infty$ が、Wasserstein距離の絶対連続性を保証し、安定性推定に不可欠である。
• 非局所的相互作用を伴う種の相互作用をモデル化する系に、本結果は適用可能であり、集団動態や粉じん媒体のモデルなど、非対称な相互作用を含む場合にも有効である。