[論文レビュー] Existence of solutions to degenerate parabolic equations via the Monge-Kantorovich theory

Martial Agueh|ArXiv.org|Sep 24, 2003

Geometric Analysis and Curvature Flows参考文献 17被引用数 116

ひとこと要約

本稿は、ポーラス媒体方程式、高速拡散方程式、フォッカー・プランク方程式などの非線形拡散方程式に対して、モンジュ＝カンタロヴィチ最適輸送理論を用いた変分的アプローチにより、弱解の存在を確立する。方程式を内部エネルギーとポテンシャルエネルギーを含むエネルギー汎関数に関して Wasserstein 空間上での勾配流と解釈することで、先行研究よりもはるかに弱い凸性仮定のもとで存在を示し、フラックス関数に対する一様強楕円性条件の必要性を排除する。

ABSTRACT

We obtain solutions of the nonlinear degenerate parabolic equation \[ \frac{\partial ρ}{\partial t} = {div} \Big\{ρ abla c^\star [ abla (F^\prime(ρ)+V) ] \Big\} \] as a steepest descent of an energy with respect to a convex cost functional. The method used here is variational. It requires less uniform convexity assumption than that imposed by Alt and Luckhaus in their pioneering work \cite{luckhaus:quasilinear}. In fact, their assumption may fail in our equation. This class of problems includes the Fokker-Planck equation, the porous-medium equation, the fast diffusion equation, and the parabolic p-Laplacian equation.

研究の動機と目的

• 一様楕円性を要件としない二重に退化した放物型方程式の弱解の存在を確立すること。
• ポーラス媒体方程式や高速拡散方程式（$ 1 < p < 2 $）に対して、古典的仮定が失敗する場合でも、変分的手法の適用範囲を拡張すること。
• アルトとルッカウスの枠組みを一般化し、強い楕円性をコスト関数 $ c $ の成長条件に置き換えること。
• 最適輸送幾何学を用いて、非線形的かつ退化した拡散方程式を統一的に変分的に取り扱うフレームワークを提供すること。

提案手法

• 内部エネルギーとポテンシャルエネルギーを含むエネルギー汎関数に関して、Wasserstein 空間上での勾配流としてPDEを定式化すること。
• モンジュ＝カンタロヴィチ最適輸送コストに基づく時刻離散化最小化問題を用いて、近似解を構成すること。
• 確率測度の空間 $ \mathcal{P}_a(\Omega) $ 上での変分法を適用し、コンパクト性と下方連続性を活用すること。
• 一様可積分性とモーメント推定を用いて、エネルギー不等式を確立し、近似解の強い収束を示すこと。
• Legendre-Fenchel変換を用いて、PDEにおけるフラックスを支配する双対コスト関数 $ c^* $ を定義すること。
• 非線形項の弱収束を検証し、変数の二重化技術を用いて一意性を示すことで、離散解の弱解への収束を証明すること。

実験結果

リサーチクエスチョン

• RQ1 古典的楕円性条件が成立しない場合、特に $ 1 < p < 2 $ のとき、非線形拡散方程式に対して弱解を構成可能か？
• RQ2 モンジュ＝カンタロヴィチ最適輸送枠組みは、アルトとルッカウス（1990）のものよりも弱い凸性仮定のもとで存在結果を可能にするか？
• RQ3 Wasserstein 空間上での勾配流構造を用いることで、フラックス関数の一様強強制性を要件としない弱解の存在を証明可能か？
• RQ4 コスト関数 $ c $ にどのような成長条件が、退化した場合の解の存在を保証するために十分か？
• RQ5 変分的アプローチは、非一様凸的フラックスを有する高速拡散方程式や p-ラプラシアン方程式をどのように扱うか？

主な発見

• 本稿は、成長条件 $ \beta |z|^q \leq c(z) \leq \alpha(|z|^q + 1) $ の下で、退化放物型方程式 $ \partial_t \rho = \text{div}(\rho \nabla c^*(\nabla(F'(\rho) + V))) $ の弱解の存在を証明する。この条件は、アルトとルッカウスが要請する楕円性条件よりも厳密に弱い。
• 方法論は、$ c^* $ の一様凸性や楕円性を必要とせず、$ 1 < p < 2 $ の場合に標準的な単調性条件が成立しないケースに対しても対応可能である。
• $ L^1(\Omega_T) $ 上での時刻離散化近似解の強い収束が確立され、その極限が弱解であることが保証される。
• エネルギー不等式が極限でも保存され、解が流れに沿ってエネルギー汎関数の最小化子であることが確認される。
• Fokker-Planck 方程式、ポーラス媒体方程式、高速拡散方程式、放物型 p-ラプラシアン方程式など、代表的な方程式にこの枠組みが適用可能である。
• 変数の二重化法を用いて一意性が確立され、オットーの結果が退化した設定へと拡張される。