Inequalities between Dirichlet and Neumann eigenvalues in large dimensions

技术摘要：高维情形下 Dirichlet 与 Neumann 特征值之间的不等式关系

问题陈述
设 $\Omega$ 为 $\mathbb{R}^d$ 中的有界区域。本文研究了在 Dirichlet 边界条件下（$\lambda_k$）与 Neumann 边界条件下（$\mu_k$）的拉普拉斯算子特征值之间的谱间隙。根据极值原理（min-max principle），对于所有 $k$，$\mu_k \leq \lambda_k$ 是一个标准结论。前人的工作，特别是 Levine 和 Weinberger，已经证明对于凸区域，满足 $\mu_{k+d} \leq \lambda_k$。本文探讨的核心问题是“偏移量” $\Psi(d, k, \Omega)$ 的行为，其中 $\Psi$ 定义为使得 $\mu_{k+\Psi} \leq \lambda_k$ 成立的指数，特别是在维度 $d$ 趋于无穷大的情形下。本文旨在确定随着 $d$ 的增加，指数偏移 $\Psi$ 如何增长，从而超越以往关于凸区域不等式中仅有的线性依赖关系。

方法论
本文结合了谱计数函数、变分原理以及特殊函数的渐近分析。

1. 计数函数与定义： 作者定义了 $\Phi(d, k, \Omega) = \#\{j : \mu_j \leq \lambda_k\}$，并令 $\Psi = \Phi - k$。目标是在大 $d$ 时下界化 $\Phi$（从而下界化 $\Psi$）。
2. 凸区域的变分构造： 为了证明凸区域的主要结果，作者构造了一个特定的 Sobolev 空间 $W^1_2(\Omega)$ 的子空间 $F$，该子空间正交于前 $k$ 个 Dirichlet 特征函数。
   • 该构造利用了凸区域包含在一个最小宽度为 $w(\Omega)$ 的层结构之内的特性。
   • 测试函数采用形式 $u_\eta(x) = \cos(x_1 \delta) e^{i\langle y, \eta \rangle}$，其中 $x = (x_1, y)$，且 $\eta$ 位于 $\mathbb{R}^{d-1}$ 的一个球面上。
   • 通过由这些测试函数及其梯度构成的内积形成矩阵 $B(H)$。作者利用概率论方法（对球面上点 $\eta$ 的选择进行平均）来分析该矩阵的正谱，从而证明存在一个足够大维数的子空间，使得二次型为正。该维度为差值 $N_N(\Omega, \lambda) - N_D(\Omega, \lambda)$ 提供了一个下界。
3. 渐近分析： 证明过程高度依赖于 Bessel 函数零点（$j_\nu$）、Gamma 函数（Stirling 公式）以及高维体积组合估计的渐近行为。
4. 特定几何体： 对于球体和立方体情形，作者通过分析 Bessel 函数的根以及高维情形下特征值的重数，显式地计算了计数函数的渐近行为。

主要贡献与结果

• 一般区域（$k=1, 2$）： 本文为任何有界区域建立了 $\Phi(d, 1, \Omega)$ 和 $\Phi(d, 2, \Omega)$ 的下界。

  • 定理 1.1： 提供了涉及 Bessel 函数第一个正根 $j_{d/2-1}$ 的显式下界。
  • 推论 1.2： 表明对于任何区域，$\Phi(d, 1, \Omega) \geq C_1 (e/2)^d$。这意味着指数偏移随维度呈指数级增长。
  • 推论 1.3： 对于足够大的维度（$d \geq 7$），$\mu_3 < \lambda_1$；对于 $d \geq 6$，$\mu_4 < \lambda_2$。

• 凸区域（主要结果）：

  • 定理 1.4： 对于所有自然数 $k$ 以及所有有界凸区域 $\Omega$，存在一个绝对常数 $C_{conv}$，使得 $\Psi(d, k, \Omega) \geq C_{conv} (e/2)^d$。这证实了对于凸区域，指数偏移随维度呈指数级增长，显著改进了之前的线性界 $\mu_{k+d} \leq \lambda_k$。

• 特定几何体：

  • 定理 1.6（球体）： 推导出了 $d$ 维球体 $B$ 的计数函数对数的渐近行为：$\log \Phi(d, 1, B) = \alpha_{ball} d + O(d^{1/3})$，其中 $\alpha_{ball} = \sqrt{2}\log(\sqrt{2}+1) - \log 2 \approx 0.55$。
  • 定理 1.8（立方体）： 对于 $d$ 维立方体 $Q$，$\log \Phi(d, 1, Q) = \alpha_{cube} d + O(d^{1/3})$，其中 $\alpha_{cube} \approx 1.04$。文中指出该特定定理的证明在另一篇论文中。

意义与主张
本文声称解决了高维情形下 Neumann 与 Dirichlet 特征值之间不等式关系的演变问题。虽然之前的研究表明凸区域的偏移是线性的，但本研究证明该偏移实际上随 $d$ 呈指数级增长。

作者指出，在一般凸区域情形下导出的指数增长率 $(e/2)^d$ 是一个下界。通过分析球体和立方体，本文展示了增长率确实是指数级的，并给出了具体的常数 $\alpha_{ball}$ 和 $\alpha_{cube}$。作者提出了猜想 1.5，认为对于所有区域（不仅限于凸区域），该偏移都以 $C^* e^{\alpha^* d}$ 的形式呈指数增长。球体和立方体的结果用于精细化对常数 $\alpha^*$ 的理解，表明 $\alpha^* \leq \alpha_{ball}$。

本文并未提出新的应用或实验设置，而是专注于完善高维几何分析中谱不等式的理论界限。其意义在于证明了 Neumann 与 Dirichlet 问题之间的谱间隙随着空间维度的增加而剧烈扩大。