[論文レビュー] Heat Flows on Time-dependent Metric Measure Spaces and Super-Ricci Flows

Eva Kopfer, Karl‐Theodor Sturm|arXiv (Cornell University)|Nov 8, 2016

Geometric Analysis and Curvature Flows参考文献 32被引用数 8

ひとこと要約

本稿では、時刻に依存する測度付き距離空間における熱流の存在、一意性、正則性を確立し、超リッチフローを等価な幾何的・解析的・確率的性質によって特徴づける。主な貢献は、ボルツマンエントロピーの動的凸性、双対熱流における Wasserstein 距離の単調性、熱流の勾配推定、および時間微分を含むボルツマン型不等式の間の同値性を証明し、進化する幾何構造における合成的リッチ曲率下界と放物型流の統一を実現する。

ABSTRACT

We study the heat equation on time-dependent metric measure spaces (as well as the dual and the adjoint heat equation) and prove existence, uniqueness and regularity. Of particular interest are properties which characterize the underlying space as a super Ricci flow as previously introduced by the second author. Our main result yields the equivalence of (i) dynamic convexity of the Boltzmann entropy on the (time-dependent) $L^2$-Wasserstein space; (ii) monotonicity of $L^2$-Kantorovich-Wasserstein distances under the dual heat flow acting on probability measures (backward in time); (iii) gradient estimates for the heat flow acting on functions (forward in time); (iv) a Bochner inequality involving the time-derivative of the metric. Moreover, we characterize the heat flow on functions as the unique forward EVI-flow for the (time-dependent) energy in $L^2$-Hilbert space and the dual heat flow on probability measures as the unique backward EVI-flow for the (time-dependent) Boltzmann entropy in $L^2$-Wasserstein space.

研究の動機と目的

• 時刻に依存する測度付き距離空間における熱流を定義し、厳密に研究することで、静的解析を進化する幾何構造へと拡張する。
• 合成的リッチ曲率下界を時刻に依存する空間へ一般化するため、超リッチフローを等価な幾何的・解析的・確率的性質によって特徴づける。
• 時間に依存するエネルギーに対する唯一の前向き EVI 流として熱流を、時間に依存するボルツマンエントロピーに対する唯一の後ろ向き EVI 流として双対熱流を特定する。
• 動的凸性、輸送推定、勾配推定、ボルツマン型不等式の間の同値性を証明することで、曲率下界と放物型 PDE を統一する。

提案手法

• 熱方程式は時刻に依存するディリクレ形式を用いて定式化され、エネルギー推定とコンmutator補題を用いて時間微分を制御する。
• 双対熱方程式は確率測度上で研究され、$L^2$-Wasserstein 距離における単調性はボルツマンエントロピーの動的凸性と関連づけられる。
• 双対性と収縮推定を用いて、ボルツマンエントロピーの動的凸性、熱流の勾配推定、および時間に依存するボルツマン型不等式の同値性を証明する。
• 熱流は $L^2$ における時間に依存するエネルギーに対する唯一の前向き EVI 流であり、双対流は $L^2$-Wasserstein 空間におけるボルツマンエントロピーに対する唯一の後ろ向き EVI 流である。
• 時間微分を含む動的 EVI 条件を導入し、二乗距離の $\partial_t^-$-微分を介して時間微分のメトリックと曲率下界を結びつける。
• 証明は、時間に依存する距離関数の対数リプシッツ連続性と、測地線比較不等式における $a \to 0$ の極限議論に依拠する。

実験結果

リサーチクエスチョン

• RQ1 時刻に依存する測度付き距離空間において、熱流の存在と正則性を保証する条件は何か？
• RQ2 時刻に依存する設定において、輸送、勾配、エントロピーの性質を通じて超リッチフローを同値的に特徴づける方法は何か？
• RQ3 進化する空間におけるボルツマン不等式において、メトリックの時間微分と曲率下界の正確な関係は何か？
• RQ4 時刻に依存する空間における熱流は、エネルギーおよびエントロピーの EVI 流として一意に特徴づけられるか？
• RQ5 輸送推定、勾配推定、ボルツマンエントロピーの動的凸性は、進化する幾何構造においてどの程度同値のままで保たれるか？

主な発見

• 時間に依存する測度付き距離空間における熱流は、メトリックの弱い可積分性条件のもとで存在し、一意的であり、正則性推定を満たす。
• ボルツマンエントロピーが Wasserstein 空間内の測地線に沿って動的凸であることは、時間に依存するメトリックがメトリックの時間微分を含む特定のボルツマン型不等式を満たすことに同値である。
• 双対熱流における $L^2$-Wasserstein 距離の単調性は、ボルツマンエントロピーの動的凸性、および前向き熱流の勾配推定と同値である。
• 前向き熱流は $L^2$ における時間に依存するエネルギーに対する唯一の前向き EVI 流であり、双対熱流は $L^2$-Wasserstein 空間におけるボルツマンエントロピーに対する唯一の後ろ向き EVI 流である。
• 時間に依存する設定におけるボルツマン不等式は、メトリックの時間微分を含み、二乗距離の $\partial_t^-$-微分の下限によって超リッチフローを特徴づける。
• 輸送推定、勾配推定、動的凸性の同値性は $N=\infty$ の場合に成り立ち、古典的結果を進化する空間へ拡張する。