[論文レビュー] 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

ひとこと要約

本稿は、双曲的球面上におけるHersch–Szegőの一般化された重心の適切性を、双曲的測地線に沿った厳密に凸なエネルギー汎関数の最小化によって確立する。径数的重み条件の下で重心の存在、一意性、連続的依存性を証明し、位相的不動点法ではなく解析的最小化手法を用いて先行研究を拡張する。

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.

研究の動機と目的

• 単位球上の有限測度に対して径数的重みを用いた一般化された双曲的重心の適切性を確立すること。
• Brouwerの不動点理論に基づく先行の存在結果を、解析的最小化アプローチを用いて拡張すること。
• 重心を双曲的測地線に沿った厳密に凸なエネルギー汎関数の唯一の最小化子として特徴付けること。
• 球面上のHerschの重心の補題と、円板上のSzegőの結果を、この枠組みの特別な場合として回復すること。
• 測度を閉球上、特に球面上の点質量を含む場合に、重み関数および測度の台に対する緩い条件の下で取り扱うこと。

提案手法

• 一般化された重心に対応する双曲的エネルギー汎関数を定義する。
• 径数的重み $ 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 Herschの球面上の重心の補題と、Szegőの円板上での結果は、この枠組みの特別な場合として回復可能か。
• RQ5 双曲的原始関数 $ G $ は、最小化問題の凸性および適切性を保証するために果たす役割は何か。

主な発見

• 任意の有限測度に対して、$ \int_0^1 g(r)(1 - r^2)^{-1} dr = \infty $ を満たす限り、一般化された双曲的重心は開単位球上で存在する。
• 重み関数 $ g(r) $ が厳密に増加するとき、または $ g $ が単調増加でありかつ $ \mu $ が双曲的測地線に沿って支持されていないとき、重心は一意的である。
• 同じ条件下で、重心は測度 $ \mu $ に連続的に依存する。
• 重心は、双曲的測地線に沿った厳密に凸なエネルギー汎関数の唯一の最小化子として特徴付けられる。
• 重み関数 $ g(r) = r $ のとき、球面上のHerschの重心の補題と、円板上のSzegőの結果が、この枠組みの特別な場合として回復される。
• 原点を通らない測地線に沿って、原点からの双曲的距離は厳密に双曲的凸である。これはエネルギー汎関数の厳密凸性の根拠となる。