[論文レビュー] Nonlinear diffusion equations and curvature conditions in metric measure spaces

Luigi Ambrosio, Andrea Mondino+1 more|arXiv (Cornell University)|Sep 24, 2015

Geometric Analysis and Curvature Flows参考文献 74被引用数 156

ひとこと要約

本稿では、N次元エントロピーの重み付き作用関数を導入し、Rényiエントロピーに由来する非線形拡散セミ群を用いて、測度付き距離空間における曲率次元条件の新しい特徴づけを確立する。2次的Cheegerエネルギーの下で、これは強CD*(K, N)条件と同値であることが示され、RCD*(K, N)空間がBakry-Emery条件BE(K, N)を満たすことを証明することで、合成的曲率次元理論における長年の同値性問題を解決する。主な貢献は、非線形拡散とWasserstein勾配流れを用いて、微分的（Bakry-Emery）と測度的（最適輸送）アプローチの間の同値性を完成させることにある。

ABSTRACT

Aim of this paper is to provide new characterizations of the curvature dimension condition in the context of metric measure spaces (X,d,m). On the geometric side, our new approach takes into account suitable weighted action functionals which provide the natural modulus of K-convexity when one investigates the convexity properties of N-dimensional entropies. On the side of diffusion semigroups and evolution variational inequalities, our new approach uses the nonlinear diffusion semigroup induced by the N-dimensional entropy, in place of the heat flow. Under suitable assumptions (most notably the quadraticity of Cheeger's energy relative to the metric measure structure) both approaches are shown to be equivalent to the strong CD*(K,N) condition of Bacher-Sturm.

研究の動機と目的

• 測度付き距離空間における曲率次元条件の新しい幾何学的・解析的特徴づけを確立すること。
• 有限次元（N < ∞）におけるBakry-Emery Γ-計算アプローチとLott-Sturm-Villaniの最適輸送アプローチの間の溝を埋めること。
• ヒートフローの代わりにN次元Rényiエントロピーに由来する非線形拡散セミ群を用いた、新しい枠組みを提供すること。
• RCD*(K, N)条件がメトリックBakry-Emery条件BE(K, N)を含むことを証明し、合成的曲率次元理論における同値性プログラムを完成させること。
• Wasserstein測地線に沿ったRényiエントロピーのK-凸性を捉える新しいクラスの重み付き作用関数を構築すること。

提案手法

• v̄ を最小速度密度とする重み付き作用関数 A(t)_N(µ; m) = ∫₀¹ ∫_X g(s,t)̺^{1−1/N}(x,s) v̄²(x,s) dm ds を導入し、Wasserstein測地線に沿ったN次元RényiエントロピーのK-凸性を定量化する。
• ヒートフローの代わりに、Rényiエントロピーに由来する非線形拡散セミ群を、変分不等式（EVI）における代替手段として用いる。
• Cheegerエネルギーが2次的であるという仮定の下で、重み付き作用関数の凸性と強CD*(K, N)条件との同値性を確立する。
• ハミルトニアン推定および非線形拡散方程式の前向き・後向き線形化を用いて、エネルギーおよび作用推定を導出する。
• 分離的測地線近似と極限議論を用いて、Wasserstein空間内の離散的曲線から連続的曲線へと移行する。下半連続性およびL¹およびV′収束を活用する。
• コンパクトな台を持つ密度を持つ確率測度の曲線に対する摂動技法を用い、RCD*(K, N)からBE(K, N)条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 測度付き距離空間におけるRényiエントロピーの重み付き作用関数を用いた、曲率次元条件の特徴づけはどのように可能か？
• RQ2 非線形拡散セミ群はCD*(K, N)条件を特徴づける上で果たす役割は何か？ヒートフロー法と比べてどのように異なるか？
• RQ3 局所有限かつ無限小ヒルベルト空間である空間において、RCD*(K, N)条件はメトリックBakry-Emery条件BE(K, N)と同値か？
• RQ4 重み付き作用推定と変分不等式（EVI）は、RényiエントロピーのK-凸性とどのように関係するか？
• RQ5 有限Nにおける微分的（Bakry-Emery）および測度的（最適輸送）な曲率次元条件の定式化の同値性は確立可能か？

主な発見

• 重み付き作用関数 A(t)_N(µ; m) は、Wasserstein測地線に沿ったN次元RényiエントロピーのK-凸性の自然なモジュラスを提供する。
• Cheegerエネルギーが2次の仮定の下で、重み付き作用関数の凸性はBacher-Sturmの強CD*(K, N)条件と同値である。
• Rényiエントロピーに由来する非線形拡散セミ群が変分不等式（EVI）を満たすのは、強CD*(K, N)条件が成り立つ場合に限り、かつそのときに限り成り立つ。
• RCD*(K, N)空間はメトリックBakry-Emery条件BE(K, N)を満たし、微分的および測度的曲率次元境界の同値性が完成する。
• 非線形拡散フローに対して、作用推定 A₂(µ·,t) ≤ e^{-2Λt} A₂(µ·,0) が成り立ち、Λ は作用関数のK-凸性により定義される。
• 分離的測地線近似の極限議論とエネルギー推定を組み合わせることで、著者らはRCD*(K, N)からBE(K, N)不等式を導出し、予想された同値性を確認した。