Weinstock inequality in hyperbolic space II

技术摘要：双曲空间中的 Weinstock 不等式 II

问题陈述
本文研究了双曲空间 $\mathbb{H}^n$（维度 $n \ge 3$）中，有界区域内第一个非零 Steklov 特征值 $\sigma_1(\Omega)$ 的形状优化问题。具体而言，作者调查了周长约束下的 Weinstock 型不等式的有效性。核心问题（由 [13] 中的猜想 1，即开放问题 4.27 提出）是：对于有界凸区域 $\Omega \subset \mathbb{H}^n$，当边界面积相等（$|\partial \Omega^*| = |\partial \Omega|$）时，$\sigma_1(\Omega)$ 是否在测地球 $\Omega^*$ 处取得最大值。虽然该猜想在 $n=2$ 时已通过共形映射技术（Fraser 和 Schoen [15]）得到证实，且在高维的体积约束情形下也已成立（Binoy 和 Santhanam [5]），但对于 $n \ge 3$ 的周长约束情形，该问题仍处于开放状态。作者此前已在 [23] 中解决了 $n \ge 4$ 的情况；本文将该结果扩展到了关键的 $n=3$ 维度，并为所有具有星形平均凸边界的 $n \ge 3$ 情形提供了统一证明。

方法论
其证明策略综合了多种先进的几何与分析工具：

1. 反向平均曲率流 (IMCF)： 作者利用由 Gerhardt [21] 引入的 IMCF 来演化区域的边界 $\Sigma_t$。该流保持了星形和平均凸性质，同时使表面积呈指数级扩张。沿此流演化的几何量方程被用于建立单调性公式。
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. 变分特征： 通过使用涉及质心和函数 $g(r)$ 的精心选择的测试函数，利用 Rayleigh 商推导出 $\sigma_1(\Omega)$ 的上界。

主要贡献与结果

• 主定理 (定理 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$ 个非零 Steklov 特征值的调和平均值的等周型不等式。他们证明了对于星形平均凸区域，
  $$\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$ 的周长约束 Weinstock 不等式问题。通过加权质量转移这一新颖技术弥补了 $n=3$ 维度的空白，作者提供了一个统一的框架，证实了在固定周长约束下，测地球作为双曲几何中第一个 Steklov 特征值的唯一极大值者的刚性。这项工作解决了谱几何中的一个特定开放问题（[13] 中的开放问题 4.27），并表明，与在正曲率空间中刚性往往失效的情况不同，像 $\mathbb{H}^n$ 这样的负曲率空间在凸区域方面表现出极强的谱刚性。其方法论，特别是加权质量转移法，被呈现为一种克服由低维中缺乏全局单调性所导致的分析障碍的工具。