Weinstock inequality in hyperbolic space II

技術的要約：双曲空間におけるワインシュトックの不等式 II

問題設定
本論文は、次元 $n \ge 3$ の双曲空間 $\mathbb{H}^n$ 内の有界領域における、第1非ゼロ・ステクレフ固有値 $\sigma_1(\Omega)$ の形状最適化問題に取り組んでいる。著者らは、周長（境界面積）を一定とした場合のワインシュトック型の不等式の妥当性を調査している。中心となる問いは、予想1（[13]におけるオープン・クエスチョン 4.27）として定式化されており、これは「有界凸領域 $\Omega \subset \mathbb{H}^n$ に対して、$\sigma_1(\Omega)$ は、同じ境界面積を持つ（$|\partial \Omega^*| = |\partial \Omega|$）測地球 $\Omega^*$ によって最大化されるか？」というものである。この予想は、$n=2$ の場合は（Fraser と Schoen [15] による共形写像の手法により）成立することが既知であり、高次元における体積制約のケースについても（Binoy と Santhanam [5] により）成立しているが、$n \ge 3$ における周長制約のケースは未解決のままであった。著者らは以前、[23] において $n \ge 4$ のケースを解決しており、本論文ではこの結果を臨界的なケースである $n=3$ へと拡張し、星状かつ平均凸な境界を持つ場合にはすべての $n \ge 3$ に対して統一的な証明を提供している。

手法
証明戦略は、いくつかの高度な幾何学的および解析的なツールを統合したものである：

1. 逆平均曲率流 (IMCF): 著者らは、境界 $\Sigma_t$ を進化させるために Gerhardt [21] によって導入された IMCF を利用する。このフローは、表面積を指数関数的に拡大させつつ、星状および平均凸の性質を保持する。このフローに沿った幾何学的量の進化方程式を用いて、単調性の公式を確立する。
2. 重み付き質量転送法 (Weighted Mass Transplantation): 本研究の核心的な革新は、「重み付き質量転送法」の開発である。標準的な質量転送法（Weinberger [44]）は、等しい体積を持つ領域 $\Omega$ と測地球 $B(R)$ の間の積分を比較するものである。しかし、低次元（$n=3, 4$）においては、証明に必要な特定の補助関数がグローバルな単調性を欠いている。これを克服するために、著者らはバスタブ原理（Bathtub principle）に着想を得た、非単調な重み関数を含む積分の比較を可能にする重み付きのバリアント（定理 4.8）を導入している。
3. 補助関数と幾何学的解析: 著者らは、測地球に関連する特定の体積・面積比関数 $g(r)$ を定義する。彼らは $g(r)$ およびその導関数の解析的性質を厳密に分析し、これらの関数の特定の組み合わせ（$\lambda^2 g'/g$ など）が単調であることを確立する。また、特定の動径項の体積積分による逆関数を通じて定義される補助関数 $h$ を構築し、境界積分と内部エネルギーの間の隔たりを埋める。
4. 変分的特徴付け: $\sigma_1(\Omega)$ の上界は、重心と関数 $g(r)$ を含む注意深く選択されたテスト関数を用いたレイリー商によって導出される。

主要な貢献と結果

• 主要定理 (定理 1.2): 著者らは、星状かつ平均凸な境界を持つ任意の滑らかな有界領域 $\Omega \subset \mathbb{H}^n$ ($n \ge 3$) に対し、および $|\partial \Omega^*| = |\partial \Omega|$ である測地球 $\Omega^*$ に対し、以下の不等式が成立することを証明する：
  $$\sigma_1(\Omega) \le \sigma_1(\Omega^*)$$
  等号成立は、$\Omega$ が測地球である場合、かつその場合に限られる。この結果は、凸領域に対する予想1に対して肯定的な回答を与える（系 1.4）。
• $n=3$ ケースの解決: 本論文は、標準的な単調性議論が失敗する次元 $n=3$（および $n=4$）から生じる解析的な困難に特に対処している。重み付き質量転送法を導入することで、著者らはこの低次元への不等式の拡張に成功し、すべての $n \ge 3$ に対する証明を完了させた。
• 高次固有値への拡張 (系 1.6): 推定の結果として、著者らは、最初の $n-1$ 個の非ゼロ・ステクレフ固有値の調和平均に関する等周的型不等式を確立している。彼らは、星状かつ平均凸な領域に対して、以下が成立することを証明した：
  $$\sum_{i=1}^{n-1} \frac{1}{\sigma_i(\Omega)} \ge \sum_{i=1}^{n-1} \frac{1}{\sigma_i(\Omega^*)}$$
  ここで、等号成立は $\Omega$ が測地球である場合、かつその場合に限られる。これは、Verma の等周不等式 [42] を双曲幾何の設定へと拡張するものである。

意義と主張
本論文は、次元 $n \ge 3$ の双曲空間における周長制約付きワインシュトックの不等式の問題を「完全に解決した」と主張している。重み付き質量転送法という新しい手法を通じて低次元における $n=3$ のギャップを埋めることで、著者らは、双曲幾何において固定された周長の下で、第1ステクレフ固有値の唯一の最大化因子として測地球が剛性を持つことを確認する統一的な枠組みを提供している。この研究は、スペクトル幾何学における特定の未解決問題（[13] のオープン・クエスチョン 4.27）を解決しており、正の曲率を持つ空間では剛性がしばしば崩れるのに対し、$\mathbb{H}^n$ のような負の曲率を持つ空間は、凸領域に対して強いスペクトル剛性を示すことを実証している。特に、重み付き質量転送法は、低次元におけるグローバルな単調性の欠如によって生じる解析的な障害を克服するためのツールとして提示されている。