New inequalities for eigenvalues of the Dirichlet Laplacian on the hyperbolic space

以下是基于论文《New inequalities for eigenvalues of the Dirichlet Laplacian on the hyperbolic space》（双曲空间上狄利克雷拉普拉斯算子特征值的新不等式）的详细技术总结：

1. 研究背景与问题 (Problem)

• 核心对象：研究 $n$ 维完备黎曼流形 $(M^n, g)$ 上有界连通区域 $\Omega$ 的狄利克雷拉普拉斯算子（Dirichlet Laplacian）的特征值问题：
  $$\begin{cases} \Delta u = -\lambda u & \text{in } \Omega, \\ u|_{\partial \Omega} = 0. \end{cases}$$
  其中特征值按重数排序为 $0 < \lambda_1 < \lambda_2 \le \lambda_3 \le \dots$。
• 研究目标：寻找通用不等式（Universal Inequalities），即不依赖于区域 $\Omega$ 具体几何形状（仅依赖于维数 $n$）的特征值不等式。
• 具体背景：
  • 在欧氏空间 $\mathbb{R}^n$ 中，Yang 不等式（1991）是最著名的结果。
  • 在球面 $S^n(1)$ 上，Cheng 和 Yang 证明了带有修正项的不等式。
  • 双曲空间 $H^n(-1)$ 上的挑战：Cheng 和 Yang (2009) 证明了双曲空间上的一个不等式，但其右侧系数为 4。根据 Weyl 渐近公式和递归关系，理论上该系数应能改进为 $4/n$。
  • Cheng 猜想 (2017)：Cheng 提出猜想，在双曲空间 $H^n(-1)$ 上，特征值应满足：
    $$\sum_{i=1}^k (\lambda_{k+1} - \lambda_i)^2 \le \frac{4}{n} \sum_{i=1}^k (\lambda_{k+1} - \lambda_i) \left( \lambda_i - \frac{(n-1)^2}{4} \right)$$
  • 现有进展：Luo 和 Zheng (2024) 利用共形平坦性质证明了带有系数 $\frac{\rho_{\max}}{\rho_{\min}}$ 的不等式，但修正项中的常数不够精确（为 $\frac{n^2-2n-4}{4}$ 而非 $\frac{(n-1)^2}{4}$）。

2. 方法论 (Methodology)

• 基础工具：
  • 利用 Cheng 和 Yang 提出的通用不等式框架（Proposition 3.1），该框架依赖于选取特定的测试函数 $f$。
  • 利用共形几何变换公式。将双曲空间视为共形平坦流形，度量 $g = e^{2h}g_0$，利用拉普拉斯算子在共形变换下的性质：
    $$\Delta F = e^{-2h} (\Delta_0 F + (n-2)\nabla_0 h \cdot \nabla_0 F)$$
• 核心创新：
  • 选取新的测试函数：作者没有沿用 Luo-Zheng 的方法，而是精心构造了新的测试函数 $f_p$ 和 $f_n$。
  • Poincaré 上半空间模型：在模型 $H^n(-1) = (\mathbb{R}^n_+, \frac{dx_1^2 + \dots + dx_n^2}{x_n^2})$ 下，选取：
    1. 对于 $p=1, \dots, n-1$，选取 $f_p = x_p$（坐标函数）。
    2. 选取 $f_n = \ln x_n$。
  • 精细计算：通过直接计算梯度 $\nabla f$ 和拉普拉斯量 $\Delta f$，结合分部积分和 Cauchy-Schwarz 不等式，推导出关于特征值的积分不等式。
  • 求和与优化：将 $n$ 个方向的不等式求和，利用特征函数的正交归一性 $\int |\nabla u_i|^2 = \lambda_i$，消去积分项，得到纯代数不等式。

3. 主要贡献与结果 (Key Contributions & Results)

定理 1.2 (Theorem 1.2) - 改进的通用不等式

作者证明了在双曲空间 $H^n(-1)$ 上，对于任意有界区域 $\Omega$，特征值满足：
$$\sum_{i=1}^k (\lambda_{k+1} - \lambda_i)^2 \le \frac{\rho_{\max}}{\rho_{\min}} \frac{4}{n} \sum_{i=1}^k (\lambda_{k+1} - \lambda_i) \left( \lambda_i - \frac{(n-1)^2}{4} \right)$$
其中 $\rho_{\max} = \max_{\Omega} \frac{1}{x_n^2}$，$\rho_{\min} = \min_{\Omega} \frac{1}{x_n^2}$。

• 改进点：
  1. 修正项更优：将 Luo-Zheng 结果中的常数 $\frac{n^2-2n-4}{4}$ 改进为 $\frac{(n-1)^2}{4}$。由于 $(n-1)^2 > n^2-2n-4$，这使得不等式右侧更小，结论更强。
  2. 系数结构：保留了 $\frac{\rho_{\max}}{\rho_{\min}}$ 因子，但在修正项上达到了理论预期的形式。

推论 1.3 (Corollary 1.3) - Cheng 猜想的 $\epsilon$-验证

如果区域 $\Omega$ 满足 $\frac{\rho_{\max}}{\rho_{\min}} \le 1+\epsilon$（即区域在 $x_n$ 方向上变化不大，接近“水平”），则：
$$\sum_{i=1}^k (\lambda_{k+1} - \lambda_i)^2 \le \frac{4(1+\epsilon)}{n} \sum_{i=1}^k (\lambda_{k+1} - \lambda_i) \left( \lambda_i - \frac{(n-1)^2}{4} \right)$$
这验证了 Cheng 猜想，误差仅为因子 $(1+\epsilon)$。

定理 1.4 (Theorem 1.4) - 另一类区域的 $\epsilon$-验证

通过选取不同的测试函数 $f_p = \text{arcsinh}(\frac{x_p}{x_n})$，作者证明了对于满足特定几何约束的区域（即 $\max_{x \in \Omega} \sum_{p=1}^{n-1} \frac{(x_p/x_n)^2}{1+(x_p/x_n)^2} \le \frac{\epsilon^2}{1+\epsilon}$），同样可以验证 Cheng 猜想（误差为 $1+\epsilon$）。

• 该条件限制了区域在双曲空间中的“倾斜”程度。

4. 意义与影响 (Significance)

1. 推进了谱几何研究：该论文在双曲空间上狄利克雷拉普拉斯算子的通用不等式领域取得了实质性进展，特别是修正了之前结果中的常数项，使其更接近理论最优值。
2. 验证著名猜想：虽然尚未完全证明 Cheng 猜想（即系数严格为 $4/n$ 且无 $\epsilon$ 或 $\rho$ 因子），但论文在特定几何条件下（$\rho_{\max}/\rho_{\min} \approx 1$ 或特定形状约束）成功验证了猜想，证明了其在大类区域上的有效性。
3. 方法论创新：展示了通过精心构造共形测试函数（特别是利用 $\ln x_n$ 和 $\text{arcsinh}$ 函数）来处理双曲空间几何特性的强大能力，为后续研究提供了新的技术路径。
4. 纪念意义：本文是为了纪念丁伟岳教授 80 寿辰而作，体现了中国数学界在微分几何和谱理论领域的持续活跃与贡献。

总结：Yong Luo 通过引入新的测试函数和精细的共形几何计算，改进了双曲空间上狄利克雷特征值的不等式，修正了修正项常数，并在特定几何条件下验证了 Cheng 猜想，是该领域的重要理论突破。