[論文レビュー] Lecture Notes on Gradient Flows and Optimal Transport

Sara Daneri, Giuseppe Savaré|arXiv (Cornell University)|Sep 20, 2010

Geometric Analysis and Curvature Flows参考文献 48被引用数 14

ひとこと要約

本稿では、測度的進化変分不等式（EVI）を用いた測度空間における勾配流の変分的枠組みを提示し、測地的λ-凸関数 functional の λ-勾配流の存在、安定性、正則化性を確立する。主な貢献は、この理論を最適輸送空間に応用し、 Wasserstein 空間におけるエントロピー関数 functional の λ-凸性を通じて、熱方程式などの拡散 PDE の解を特徴付けることにある。

ABSTRACT

We present a short overview on the strongest variational formulation for gradient flows of geodesically $λ$-convex functionals in metric spaces, with applications to diffusion equations in Wasserstein spaces of probability measures. These notes are based on a series of lectures given by the second author for the Summer School "Optimal transportation: Theory and applications" in Grenoble during the week of June 22-26, 2009.

研究の動機と目的

• 一般の測度空間における勾配流を、測度的進化変分不等式（EVI）を用いて強固な変分的定式化を構築すること。
• コンpact性や滑らかさの仮定に依存しない λ-勾配流の存在、安定性、正則化性を確立すること。
• 測度空間の理論を Wasserstein 空間の確率測度に応用し、エントロピー関数 functional の λ-凸性と熱方程式の解との関係を明示すること。
• 測度的 Gromov-Hausdorff 収束と内在的な幾何的条件を用いて、一般の測度-測度空間への理論の拡張すること。

提案手法

• 測度的進化変分不等式（EVI）を用いて、測度空間内での最大勾配曲線を特徴付ける勾配流を定式化する。
• Ekeland の変分原理を用いた最小化移動スキームにより、コンパクト性の仮定を回避する離散近似を構築する。
• 測度空間の幾何的仮定と精密なコーシー推定を用いて、離散スキームの収束を確立する。
• Wasserstein 空間 $\mathscr{P}_2(X)$ における測地線および絶対連続曲線を特徴付ける。特に $X = \mathbb{R}^d$ の場合を対象とする。
• 相対エントロピー関数 functional $\mathrm{Ent}_\gamma$ が $\mathscr{P}_2(X)$ 上で $\lambda$-測地的凸であるとき、$\mathrm{Ent}_\gamma$ が $\lambda$-勾配流を生成することを証明する。
• 測度的 Gromov-Hausdorff 収束を用いて、リーマン多様体および極限測度-測度空間への理論の応用を行い、熱流の収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 一般の測度空間において、EVI 定式化によって λ-勾配流が存在する条件は何か？
• RQ2 EVI 定式化は、勾配流の安定性、正則化性、漸近的収束性をどのように保証するか？
• RQ3 Wasserstein 空間におけるエントロピー関数 functional の λ-測地的凸性と熱方程式の解との関係は何か？
• RQ4 下界付きリッチ曲率を持つ一般の測度-測度空間へ、エントロピー関数 functional の勾配流を拡張できるか？
• RQ5 測度-測度空間における幾何的・解析的条件として、EVI フレームワークによってマルコフ半群の存在を保証するものは何か？

主な発見

• 測度的進化変分不等式（EVI）は、滑らかさやコンパクト性の仮定を必要とせず、完備かつ下半連続な測度空間において、強い安定性と正則化性を持つ勾配流の定式化を提供する。
• EVI の解は、生成関数 functional の $\Gamma$-収束に対して安定であり、関数 functional の最小化子へ漸近的に収束する。
• Wasserstein 空間 $\mathscr{P}_2(\mathbb{R}^d)$ において、相対エントロピー関数 functional $\mathrm{Ent}_\gamma$ が $\lambda$-測地的凸であることは、その背後に存在する多様体のリッチ曲率が $\lambda$ で下から有界であることに同値であり、幾何的性質と変分的性質を結びつける。
• コンパクトなリーマン多様体 $M$ 上の熱方程式は、$\mathscr{P}_2(M)$ 上でのエントロピー関数 functional の $\lambda$-勾配流と等価であり、EVI の特徴付けによって示される。
• リーマン多様体 $M^h$ が一様にリッチ曲率 $\mathrm{Ric}(M^h) \geq \lambda$ を満たすとき、測度的 Gromov-Hausdorff 収束により、$M^h$ 上の熱流は極限空間 $(X, \mathsf{d}, \gamma)$ 上での $\mathrm{Ent}_\gamma$ の $\lambda$-勾配流に収束する。
• 空間 $X$ が局所的角条件を満たし、$K$-半凸であるとき、$\mathrm{Ent}_\gamma$ の $\lambda$-勾配流は、すべての $p \in [1, \infty)$ に対して $L^p(\gamma)$ 上に一意に拡張されたマルコフ半群として存在する。