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

技术摘要：模 $|k|=1$ 中的 Robin 零化度与临界双曲悬链面的渐近半径

问题陈述
本注记研究了临界双曲悬链面族 $\Sigma_a$ 的解析性质，该族是双曲空间 $\mathbb{H}^3$ 中测地球 $B^3(r(a))$ 内包含的一族旋转对称的自由边界极小圆环面（FBMS）。这些曲面最初由 Mori 引入，后由 do Carmo–Dajczer 和 Medvedev 重新研究，它们在参数 $a \to (1/2)^+$ 时退化为一种退化构型，而在 $a \to \infty$ 时则表现为无界构型。

主要目标是确定限制在角向傅里叶模 $|k|=1$ 上的雅可比算子的 Robin 零化度与 Morse 指标，并推导边界半径 $r(a)$ 在大参数极限（$a \to \infty$）和退化极限（$a \to (1/2)^+$）下的精确渐近展开。这项工作旨在改进 Medvedev 建立的 Morse 指标下界，并为先前仅以隐式形式已知的几何常数提供闭式表达式。

方法论
分析依赖于 Medvedev 提供的 $\Sigma_a$ 的显式参数化，利用与旋转对称性相关的守恒量 $K(a) = \sqrt{a^2 - 1/4}$。方法论通过三个主要分析策略展开：

1. 几何与谱设定：论文建立了诱导度量、第二基本形式以及雅可比算子 $L_{\Sigma_a} = \Delta_g + (|II|^2 - 2)$。它识别了由保持边界测地球的李代数 $\mathfrak{so}(3,1)$ 生成的 Killing–Jacobi 场。具体而言，它分离出了固定悬链面测地轴的空间旋转子代数。
2. 逐模分解：遵循 Devyver 针对欧几里得临界悬链面的策略，雅可比算子被分解为角向傅里叶模。分析聚焦于与模 $|k|=1$ 相关的径向常微分方程（ODE）。零化度结果的证明利用了 Sturm–Liouville 理论，特别是通过分析径向剖面的零点以及解的 Wronskian 来区分奇偶宇称扇区。
3. 渐近分析：对于大参数极限，利用 Laplace 型渐近分析处理隐式的自由边界条件。这涉及通过 Beta 函数评估与角向剖面 $\phi(s)$ 相关的一个反常积分。对于退化极限，通过对径向坐标进行缩放并求解主导系数对应的超越方程，在 $a = 1/2$ 附近进行扰动分析。

主要贡献与结果

• 模 $|k|=1$ 中的 Robin 零化度与指标：
  论文证明，对于每个 $a > 1/2$，限制在模 $|k|=1$ 上的雅可比算子的 Robin 零化度恰好为 2。其核空间由与 $(x_1, x_2)$ 和 $(x_1, x_3)$ 平面中的旋转 $L_{12}$ 和 $L_{13}$ 相关的 Killing–Jacobi 场张成。
  一个核心发现是以闭式形式识别了这些场的径向剖面 $f_*(s)$：
  $$f_*(s) = \partial_s \Phi^0_a(s, 0) = \sinh(r(s)) \cdot r'(s),$$
  其中 $r(s)$ 是到球心的双曲距离。这一结构恒等式直接将 Jacobi 场与双曲面模型中时间坐标的导数联系起来。
  因此，模 $|k|=1$ 中的 Robin Morse 指标被确立为 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$ 的 Beta 函数评估以闭式形式计算得出：
  $$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$ 模态中的核显式识别为特定的 Killing 场，并利用 Sturm–Liouville 理论证明指标计数，这项工作架起了几何直觉（等距形变）与谱分析之间的桥梁。

闭式常数 $d_\infty$ 的推导被呈现为一个非初等步骤，依赖于特殊函数理论（Gamma 函数和 Beta 函数），为该族提供了一个精确的几何不变量。结果支持总 Morse 指标恰好为 4 的猜想，尽管论文指出，证明模态 $|k| \ge 2$ 中指标的消失以及确定模态 $|k|=0$ 中的确切指标仍然是一个未解决的问题。这项工作被框架为一篇确立这些特定解析结果的简短注记，而关于高阶渐近和高维类比的研究则留作开放问题。