[論文レビュー] Isoperimetric type problems and Alexandrov-Fenchel type inequalities in the hyperbolic space

Guofang Wang, Chao Xia|arXiv (Cornell University)|Apr 5, 2013

Geometric Analysis and Curvature Flows参考文献 24被引用数 14

ひとこと要約

この論文は、双曲空間 $\mathbb{H}^n$ におけるクエルマスインテグラルおよび曲率積分の、鋭いアレクサンドロフ＝フェンケル型不等式を、クエルマスインテグラルを保存する曲率流れを用いて解き、等周型問題を解決する。主な結果は、等号が成り立つのは測地球に限るという、新しい最適不等式の族の確立であり、これは古典的なユークリッド空間における不等式を双曲空間へと拡張するものである。

ABSTRACT

In this paper, we solve various isoperimetric problems for the quermassintegrals and the curvature integrals in the hyperbolic space $\H^n$, by using quermassintegral preserving curvature flows. As a byproduct, we obtain hyperbolic Alexandrov-Fenchel inequalities.

研究の動機と目的

• ユークリッド空間から双曲空間 $\mathbb{H}^n$ への古典的な等周不等式およびアレクサンドロフ＝フェンケル不等式の拡張を図ること。
• $\mathbb{H}^n$ における非凸およびホロスフィェリカルに凸な領域について、曲率積分およびクエルマスインテグラルに関する未解決問題を解消すること。
• 等号が成り立つのは測地球に限るという鋭い幾何学的不等式を確立することにより、最適性を保証すること。
• クエルマスインテグラルを保存し、測地球へ収束する曲率流れの手法を構築し、不等式の証明に用いること。

提案手法

• クエルマスインテグラルを保存する曲率流れを用いて、$\mathbb{H}^n$ 内の領域を測地球へと発展させる。
• 関数 $f_k(r)$ および $g_k(r)$ を介して、クエルマスインテグラル $W_k(K)$ と曲率積分 $\int_{\partial K} H_k d\mu$ 間の再帰的関係を用いる。
• 単調性および逆関数の技法を適用し、異なる次数の曲率積分間の不等式を導出する。
• 関数 $f_k(r)$ および $f_1^{-1}(s)$ の明示的公式を用いて、境界面積を用いてクエルマスインテグラルおよび曲率積分を表現する。
• 帰納法および関数 $h_k$ の合成を用いて、$k > l$ について $\int_{\partial K} H_k d\mu$ と $\int_{\partial K} H_l d\mu$ 間のネストされた不等式を導出する。
• 流れに基づく推定と $f_k \circ f_1^{-1}(s)$ の明示的計算（$k$ が偶数および奇数の場合）を組み合わせることで、一様な形の基本的不等式 (1.6) を得る。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド空間 $\mathbb{R}^n$ における古典的等周不等式は、$\mathbb{H}^n$ において鋭く最適な形に拡張可能か？
• RQ2 曲率積分に関するアレクサンドロフ＝フェンケル型不等式は、$\mathbb{H}^n$ において、等号が成り立つのは測地球に限る形で確立可能か？
• RQ3 クエルマスインテグラルを保存する曲率流れを用いて、双曲空間におけるこのような不等式を証明できるか？
• RQ4 クエルマスインテグラルと曲率積分の間の正確な関数的関係は何か？
• RQ5 関数 $f_k(r)$ および $f_1^{-1}(s)$ の表現は、すべての $k \geq 2$ について一様な不等式を導くのにどのように寄与するか？

主な発見

• 本論文は、$k > l \geq 1$ について $\int_{\partial K} H_k d\mu \geq h_k\left(\int_{\partial K} H_l d\mu\right)$ の形をした、新たな最適不等式の族を確立し、等号が成り立つのは $K$ が $\mathbb{H}^n$ 内の測地球に限る。
• すべての $k \geq 2$ について、ホロスフィェリカルに凸な領域に対して不等式 $\int_{\partial K} H_k d\mu \geq \omega_{n-1} \left[ \left(\frac{|\partial K|}{\omega_{n-1}}\right)^{\frac{1}{k}} + \left(\frac{|\partial K|}{\omega_{n-1}}\right)^{\frac{n-1-2k}{k(n-1)}} \right]^k$ が成り立ち、等号が成り立つのは $K$ が測地球に限る。
• 基本的不等式 (1.6) は、$n f_{k+1} \circ f_1^{-1}(s) + \frac{nk}{n-k+1} f_{k-1} \circ f_1^{-1}(s) = \omega_{n-1} \left[ \left(\frac{ns}{\omega_{n-1}}\right)^{\frac{2}{k}} + \left(\frac{ns}{\omega_{n-1}}\right)^{\frac{2(n-k-1)}{k(n-1)}} \right]^{\frac{k}{2}}$ として導出され、$1 \leq k \leq n-1$ に対して有効である。
• 証明により、不等式が最適であることが示された：使用した中間の不等式がすべて、$K$ が測地球である場合にのみ等号が成り立つため、最終的な不等式も鋭いものである。
• 偶数および奇数の $k$ について、$f_k(r)$ の明示的公式が導出され、双曲三角関数および積分を含むものであり、最終的な一様不等式の導出に不可欠である。
• 本結果は、以前の部分的な結果を一般化し、$\mathbb{H}^n$ における曲率積分の等周型問題に対して、完全かつ最適な解決を提供する。