Robin nullity in mode $|k|=1$ and asymptotic radius of the critical hyperbolic catenoid

技術的概要：モード $|k|=1$ におけるロビン零性および臨界双曲的カテナイドの漸近半径

問題提起
本ノートは、双曲空間 $\mathbb{H}^3$ 内の測地線球 $B^3(r(a))$ に含まれる、回転対称な自由境界極小円環面（FBMS）の 1 パラメータ族 $\Sigma_a$ である臨界双曲的カテナイド族の解析的性質を調査する。これらの曲面は、元々 Mori によって導入され、後に do Carmo–Dajczer および Medvedev によって再検討されたものであり、パラメータ $a \to (1/2)^+$ における退化した構成と、$a \to \infty$ における非有界な構成の間に補間する。

主な目的は、角方向フーリエモード $|k|=1$ に制限されたヤコビ作用素のロビン零性とモーセ指数を決定し、大パラメータ極限（$a \to \infty$）および退化極限（$a \to (1/2)^+$）の両方において境界半径 $r(a)$ の精密な漸近展開を導出することである。本研究は、Medvedev によって確立されたモーセ指数の下限を精緻化し、以前は陰的にのみ知られていた幾何学的定数に対する閉形式の式を提供することを目的としている。

手法
本解析は、Medvedev によって提供された $\Sigma_a$ の明示的なパラメータ表示に依存し、回転対称性に関連する保存量 $K(a) = \sqrt{a^2 - 1/4}$ を利用する。手法は、以下の 3 つの主要な解析戦略を通じて進行する。

1. 幾何学的およびスペクトル的設定: 本論文は、誘導計量、第 2 基本形式、およびヤコビ作用素 $L_{\Sigma_a} = \Delta_g + (|II|^2 - 2)$ を確立する。また、測地線球を保存するリー代数 $\mathfrak{so}(3,1)$ によって生成されるキリング・ヤコビ場を同定する。具体的には、カテナイドの測地線軸を固定する空間回転の部分代数を分離する。
2. モードごとの分解: 欧幾里得臨界カテナイドに対する Devyver の戦略に従い、ヤコビ作用素を角方向フーリエモードに分解する。解析は、モード $|k|=1$ に関連する半径方向の常微分方程式（ODE）に焦点を当てる。零性結果の証明には、ストゥルム・リウヴィル理論を利用し、半径方向プロファイルの零点と解のワロンスキアンを解析することで、奇数パリティセクターと偶数パリティセクターを区別する。
3. 漸近解析: 大パラメータ極限については、ラプラス型の漸近法を用いて陰的な自由境界条件を解析する。これには、ベータ関数を通じて角方向プロファイル $\phi(s)$ に関連する広義積分を評価することが含まれる。退化極限については、$a = 1/2$ の近傍で半径方向座標をスケーリングし、主要項の係数に関する超越方程式を解く摂動解析を行う。

主要な貢献と結果

• モード $|k|=1$ におけるロビン零性と指数:
  本論文は、すべての $a > 1/2$ に対して、モード $|k|=1$ に制限されたヤコビ作用素のロビン零性が正確に 2 であることを証明する。核は、$(x_1, x_2)$ 平面および $(x_1, x_3)$ 平面における回転 $L_{12}$ および $L_{13}$ に関連するキリング・ヤコビ場によって張られる。
  中心的な発見は、これらの場の半径方向プロファイル $f_*(s)$ を閉形式で同定することである：
  $$f_*(s) = \partial_s \Phi^0_a(s, 0) = \sinh(r(s)) \cdot r'(s),$$
  ここで $r(s)$ は球の中心からの双曲距離である。この構造的同一性は、ヤコビ場を双曲面モデルにおける時間座標の微分と直接結びつける。
  したがって、モード $|k|=1$ におけるロビンモーセ指数は 2 であることが確立される。この結果は、$|k|=1$ セクターからの寄与が正確に 2 であることを確認することで、Medvedev の $\text{ind}(\Sigma_a) \ge 4$ という下限を精緻化し、残りのモードが総指数に少なくとも 2 を寄与することを意味する。

• 漸近半径（$a \to \infty$）:
  本論文は、$a \to \infty$ における境界半径 $r(a)$ の漸近展開を導出する：
  $$r(a) = \frac{3}{2} \log a + d_\infty + o(1).$$
  定数 $d_\infty$ は、積分 $\int_0^\infty \cosh(2t)^{-3/2} dt$ のベータ関数評価を用いて閉形式で計算される：
  $$d_\infty = \log \left( \frac{\sqrt{2} \, \Gamma(1/4)^2}{\pi^{3/2}} \right) = \log \left( \frac{2\sqrt{2\pi}}{\Gamma(3/4)^2} \right).$$
  これは、この漸近定数に対する最初の明示的な閉形式の式を提供する。

• 退化極限（$a \to (1/2)^+$）:
  パラメータが下限に近づくにつれて、半径は以下のように振る舞う：
  $$r(a) = c_* \sqrt{a - 1/2} \, (1 + o(1)).$$
  定数 $c_*$ は $c_* = \sigma_* \cosh \sigma_*$ で与えられ、ここで $\sigma_*$ は方程式 $\sigma = \coth \sigma$ の唯一の正の不動点である。これは、曲面が退化した構成に崩壊する速度を特徴づける。

意義と主張
本論文は、臨界双曲的カテナイドのスペクトル特性に対する厳密な解析的精緻化を提供すると主張する。$|k|=1$ モードにおける核を特定のキリング場と明示的に同定し、ストゥルム・リウヴィル理論を通じて指数カウントを証明することで、本研究は幾何学的直観（等長変形）とスペクトル解析の間の溝を埋める。
閉形式定数 $d_\infty$ の導出は、特殊関数理論（ガンマ関数およびベータ関数）に依存する非初等的なステップとして提示され、この族に対する精密な幾何学的不変量を提供する。結果は、総モーセ指数が正確に 4 であるという仮説を支持するが、本論文は、モード $|k| \ge 2$ における指数の消滅を証明し、モード $|k|=0$ における正確な指数を決定することは未解決問題であると指摘している。本研究は、これらの特定の解析的結果を確立する短いノートとして位置づけられ、高次漸近および高次元類似に関するさらなる調査は未解決の問題として残されている。