[論文レビュー] Local Poincaré inequalities from stable curvature conditions on metric spaces

Tapio Rajala|arXiv (Cornell University)|Jul 25, 2011

Geometric Analysis and Curvature Flows参考文献 20被引用数 23

ひとこと要約

この論文は、非分岐性の仮定を避けながら、測度付き距離空間における局所的Poincaré不等式を、安定した曲率次元条件（弱CD(K,N)空間およびフローに基づくエントロピー凸性を有する空間を含む）の下で確立する。測度付きGromov-Hausdorff収束における安定性を活用し、非分岐性の仮定を排除することで、弱い局所的(1,1)-Poincaré不等式を証明し、リッチ曲率の下界がある一般化された幾何的設定への古典的解析の拡張を達成する。

ABSTRACT

We prove local Poincaré inequalities under various curvature-dimension conditions which are stable under the measured Gromov-Hausdorff convergence. The first class of spaces we consider is that of weak CD(K,N) spaces as defined by Lott and Villani. The second class of spaces we study consists of spaces where we have a flow satisfying an evolution variational inequality for either the Rényi entropy functional $E_N(ρm) = -\int_X ρ^{1-1/N} dm$ or the Shannon entropy functional $E_\infty(ρm) = \int_X ρ\log ρdm$. We also prove that if the Rényi entropy functional is strongly displacement convex in the Wasserstein space, then at every point of the space we have unique geodesics to almost all points of the space.

研究の動機と目的

• 非分岐性のGeodesicを仮定せずに、リッチ曲率の下界がある測度付き距離空間における局所的Poincaré不等式を確立すること。
• 弱CD(K,N)空間およびフローに基づくエントロピー凸性を有する空間へとPoincaré不等式の有効性を拡張すること。
• 曲率次元条件が測度付きGromov-Hausdorff収束において安定であることを保証し、極限における解析的構造を維持すること。
• 強い移動凸性を有するRényiエントロピー関数の性質が、ほとんどすべての点への一意的Geodesicを示すこと。
• 最小限の幾何的仮定の下で、測度空間上の解析におけるギャップを埋める基礎的不等式を提供すること。

提案手法

• LottとVillaniが定義した弱CD(K,N)条件を用い、Wasserstein空間上での関数の弱移動凸性を要件とする。
• RényiまたはShannonエントロピー関数のための変動不等式を満たすフローを分析し、曲率の下界を導出する。
• 測度付きGromov-Hausdorff収束における安定性を応用し、極限空間におけるPoincaré不等式の保存を確保する。
• Geodesicの分岐と測度の集中を用いた背理法により、一意性および凸性の性質を証明する。
• 上付き勾配と球内の平均積分を用いて、弱い局所的(1,1)-Poincaré不等式を定義する。
• Hölderの不等式と倍加測度の性質を用い、弱いと強いPoincaré不等式の関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 リッチ曲率の下界があるが非分岐性Geodesicを仮定しない測度付き距離空間において、局所的Poincaré不等式を確立できるか？
• RQ2 測度付きGromov-Hausdorff収束において曲率次元条件が安定する場合、極限空間におけるPoincaré不等式は保存されるか？
• RQ3 RényiまたはShannonエントロピーの凸性が、Geodesicの一意性およびPoincaré型不等式の確保に果たす役割は何か？
• RQ4 弱CD(K,N)条件のみから、弱い局所的(1,1)-Poincaré不等式を導出できるか？
• RQ5 Rényiエントロピー関数の強い移動凸性が、ほとんど至る点へのGeodesicの一意性をどのように示すか？

主な発見

• この論文は、非分岐性Geodesicを仮定しない弱CD(K,N)空間に対し、弱い局所的(1,1)-Poincaré不等式を証明する。
• RényiまたはShannonエントロピーに対して変動不等式を満たすフローを有する空間において、局所的Poincaré不等式が成立することを確立する。
• Rényiエントロピー関数が強く移動凸であるならば、任意の固定点へのほとんどすべての点に対して一意的Geodesicが存在する。
• 証明は、分岐Geodesicにおける測度の集中と、関数 $\mathscr{E}_N(\rho m) = -\int \rho^{1-1/N} dm$ を含む凸不等式を用いた背理法に依存する。
• 非分岐性の仮定を除外しても、測度付きGromov-Hausdorff極限におけるPoincaré不等式の安定性が保証される。
• 倍加性と弱い局所的Poincaré不等式が、安定した曲率下界の下で測度付き距離空間上の解析に十分であることが確認される。