[论文解读] 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

一句话总结

本论文建立了时变度量测度空间上热流的存在性、唯一性与正则性，并通过等价的几何、分析与概率性质对超 Ricci 流进行表征。关键贡献在于证明了玻尔兹曼熵的动态凸性、对偶热流下 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.

研究动机与目标

• 在时变度量测度空间上定义并严格研究热流，将静态分析推广至演化几何结构。
• 通过等价的几何、分析与概率性质表征超 Ricci 流，将合成 Ricci 曲率界推广至时变空间。
• 确立热流为时变能量在 $L^2$ 中的唯一前向 EVI-流，对偶热流为玻尔兹曼熵在 $L^2$-Wasserstein 空间中的唯一后向 EVI-流。
• 通过证明动态凸性、传输估计、梯度估计与博赫纳不等式在时变设定下的等价性，统一曲率界与抛物型 PDE。

提出的方法

• 通过时变 Dirichlet 型式表述热方程，并利用能量估计与换位引理控制时间导数。
• 在概率测度上研究对偶热方程，其在 $L^2$-Wasserstein 距离下的单调性与玻尔兹曼熵的动态凸性相关联。
• 通过对偶性与压缩估计，证明了玻尔兹曼熵的动态凸性、热流的梯度估计与时变博赫纳不等式之间的等价性。
• 热流被表征为时变能量在 $L^2$ 中的唯一前向 EVI-流，对偶流被表征为玻尔兹曼熵在 $L^2$-Wasserstein 空间中的唯一后向 EVI-流。
• 引入了 EVI 条件的动态版本，通过平方距离的 $\partial_t^-$-导数将度量的时间导数与曲率界联系起来。
• 证明依赖于时变距离函数的对数-Lipschitz 连续性，以及在测地线比较不等式中 $a \to 0$ 的极限论证。

实验结果

研究问题

• RQ1 在何种条件下，时变度量测度空间能保证热流的存在性与正则性？
• RQ2 在时变设定下，如何通过传输、梯度与熵性质等价表征超 Ricci 流？
• RQ3 在演化空间中，度量时间导数与博赫纳不等式中的曲率界之间存在何种精确关系？
• RQ4 时变空间上的热流能否被唯一表征为能量与熵的 EVI-流？
• RQ5 在演化几何中，传输估计、梯度估计与熵的动态凸性在多大程度上仍保持等价？

主要发现

• 在度量的弱可积性条件下，时变度量测度空间上的热流存在、唯一，并满足正则性估计。
• 当且仅当时变度量满足涉及度量时间导数的特定博赫纳型不等式时，玻尔兹曼熵在 Wasserstein 空间中的测地线路径上是动态凸的。
• $L^2$-Wasserstein 距离在对偶热流下的单调性，等价于玻尔兹曼熵的动态凸性，也等价于前向热流的梯度估计。
• 前向热流是时变能量在 $L^2$ 中的唯一前向 EVI-流，对偶热流是玻尔兹曼熵在 $L^2$-Wasserstein 空间中的唯一后向 EVI-流。
• 时变设定下的博赫纳不等式涉及度量的时间导数，并通过平方距离的 $\partial_t^-$-导数的下界表征超 Ricci 流。
• 在 $N=\infty$ 情况下，传输估计、梯度估计与动态凸性之间的等价性成立，将经典结果推广至演化空间。