[论文解读] Well-posedness of Hersch-Szegő's center of mass by hyperbolic energy minimization

Richard S. Laugesen|arXiv (Cornell University)|Jun 22, 2020

Geometric Analysis and Curvature Flows参考文献 25被引用 5

一句话总结

本文通过沿双曲测地线最小化严格凸的能量泛函，建立了赫施-采戈在双曲球体中广义质心的适定性。证明了在径向权函数条件下，质心的存在性、唯一性及对测度的连续依赖性，通过解析最小化方法而非拓扑不动点方法，推广了先前的结果。

ABSTRACT

The hyperbolic center of mass of a finite measure on the unit ball with respect to a radially increasing weight is shown to exist, be unique, and depend continuously on the measure. Prior results of this type are extended by characterizing the center of mass as the minimum point of an energy functional that is strictly convex along hyperbolic geodesics. A special case is Hersch's center of mass lemma on the sphere, which follows from convexity of a logarithmic kernel introduced by Douady and Earle.

研究动机与目标

• 建立单位开球上具有径向权函数的有限测度的广义双曲质心的适定性。
• 通过解析最小化方法，将基于布劳威尔不动点定理的先前存在性结果推广。
• 将质心表征为沿双曲测地线的严格凸能量泛函的唯一极小化子。
• 将球面上赫施的质心引理与圆盘上采戈的结果作为本框架的特例恢复。
• 在权函数与测度支集满足弱条件的前提下，处理闭球上的测度，包括球面上的点质量。

提出的方法

• 定义一个双曲能量泛函，其极小化子对应于广义质心。
• 利用径向权函数 $ g $ 的双曲原函数 $ G $，要求满足 $ (1 - r^2)G'(r) = g(r) $，以构造能量泛函。
• 当 $ g(r) $ 严格递增时，证明能量泛函沿双曲测地线的严格凸性。
• 应用变分法，在 $ \int_0^1 g(r)(1 - r^2)^{-1} dr = \infty $ 条件下，证明紧支集测度下存在唯一极小化子。
• 通过分析极小化子在扰动下的稳定性，建立其对测度的连续依赖性。
• 利用等距变换与双曲距离的测地线凸性，证明能量泛函的关键凸性性质。

实验结果

研究问题

• RQ1 在何种径向权函数 $ g(r) $ 与测度 $ \mu $ 条件下，广义双曲质心存在？
• RQ2 在何种条件下质心唯一，且其对测度的连续依赖性得以保证？
• RQ3 如何在双曲几何中将质心表征为沿测地线的严格凸能量泛函的极小化子？
• RQ4 赫施在球面上的质心引理与采戈在圆盘上的结果能否作为本框架的特例被恢复？
• RQ5 双曲原函数 $ G $ 在确保极小化问题的凸性与适定性方面起何作用？

主要发现

• 当 $ \int_0^1 g(r)(1 - r^2)^{-1} dr = \infty $ 时，对单位开球上的任意有限测度，广义双曲质心存在。
• 当 $ g(r) $ 严格递增，或 $ g $ 仅单调递增但 $ \mu $ 不被支持在一条双曲测地线上时，质心唯一。
• 在相同条件下，质心对测度 $ \mu $ 连续依赖。
• 质心被表征为沿双曲测地线的严格凸能量泛函的唯一极小化子。
• 当 $ g(r) = r $ 时，球面上赫施的质心引理与圆盘上采戈的结果作为特例被恢复。
• 从原点到某点的双曲距离在不经过原点的测地线上是严格双曲凸的，这构成了能量泛函严格凸性的基础。