[论文解读] Non-contraction of heat flow on Minkowski spaces

Shin‐ichi Ohta, Karl‐Theodor Sturm|arXiv (Cornell University)|Sep 13, 2010

Advanced Differential Geometry Research参考文献 11被引用 5

一句话总结

本文引入了一种类凸性概念——偏斜凸性（skew convexity），用于刻画Finsler流形上梯度流的收缩性，证明此类流是收缩的当且仅当函数具有偏斜凸性。关键结果表明，除非空间为内积空间，否则Minkowski空间上的热流在$L^2$-Wasserstein距离下不具有收缩性，从而解决了非黎曼几何设定下收缩性几何条件的长期悬而未决问题。

ABSTRACT

We study contractivity properties of gradient flows for functions on normed spaces or, more generally, on Finsler manifolds. Contractivity of the flows turns out to be equivalent to a new notion of convexity for the functions. This is different from the usual convexity along geodesics in non-Riemannian Finsler manifolds. As an application, we show that the heat flow on Minkowski normed spaces other than inner product spaces is not contractive with respect to the quadratic Wasserstein distance.

研究动机与目标

• 阐明在非黎曼Finsler流形中梯度流具有收缩性的条件。
• 解决关于Minkowski空间上热流在$L^2$-Wasserstein距离下是否具有收缩性的开放性问题。
• 提出一种新的凸性概念——偏斜凸性，用于刻画Finsler几何中梯度流的收缩性。
• 表明相对熵在Wasserstein空间中的凸性并不蕴含热流的收缩性，除非底层空间为黎曼空间。

提出的方法

• 通过Finsler流形上非对称近似内积的首次变分公式，引入一种新的凸性条件——偏斜凸性。
• 证明函数的$K$-偏斜凸性等价于其梯度流的$K$-收缩性，推广了黎曼情形的结果。
• 分析Minkowski空间中平方范数的偏斜凸性，表明其总是2-偏斜凸的，而不同于标准测地线凸性。
• 利用Minkowski范数中内积的几何刻画，证明仅当空间为内积空间时，才支持$K$-收缩的热流。
• 通过将Minkowski空间上的热流识别为Wasserstein空间中相对熵的梯度流，应用该理论分析热流。
• 建立：若对任意$K\in\mathbb{R}$均无$K$-收缩性，则该空间不可能为内积空间，该结论基于Jacobi场估计中的曲率与光滑性界。

实验结果

研究问题

• RQ1 在Finsler流形上，凸函数的梯度流是否如黎曼情形一样必然具有收缩性？
• RQ2 在非黎曼Minkowski空间中，相对熵在Wasserstein空间中的凸性是否蕴含热流的收缩性？
• RQ3 Minkowski空间的何种几何条件可确保其热流在$L^2$-Wasserstein距离下具有收缩性？
• RQ4 在Finsler流形中，偏斜凸性与测地线上的标准凸性有何区别？
• RQ5 非内积Minkowski空间中收缩性的失效能否通过曲率与光滑性常数来刻画？

主要发现

• 除非空间为内积空间，否则Minkowski范数空间上的热流在任意$K\in\mathbb{R}$下均不具有关于反向$L^2$-Wasserstein距离的$K$-收缩性。
• 偏斜凸性等价于Finsler流形上梯度流的$K$-收缩性，提供了一种与测地线凸性不同的新刻画方式。
• 任何Minkowski空间中平方范数总是2-偏斜凸的，但不一定是沿测地线的$K$-凸（$K>0$时）。
• 构造了一个显式例子：一个凸函数并非0-偏斜凸，表明标准凸性在Finsler几何中不蕴含收缩性。
• 证明依赖于Minkowski范数中内积的几何刻画，表明仅此类空间才允许收缩的热流。
• 分析结果确认：热流在$L^2$-Wasserstein距离下的收缩性蕴含底层空间必为黎曼空间，凸显了其与相对熵凸性的根本差异。