Toward Pólya's Conjecture: Improving the Individual Li-Yau Bound via Energy Orthogonality

技术摘要：迈向波利亚猜想：通过能量正交性改进个体 Li–Yau 界限

问题陈述
本文研究了建立开放集 $\Omega \subset \mathbb{R}^n$（$n \ge 2$，具有有限正测度 $V$）上拉普拉斯算子的单个狄利克雷特征值 $\lambda_k$ 下界的问题。虽然 Weyl 定理提供了渐近行为 $\lambda_k \sim C_n V^{-2/n} k^{2/n}$，但波利亚猜想（Pólya's conjecture）假定该项是对于每一个 $k$ 都成立的严格下界。经典的 Li–Yau 不等式为前 $k$ 个特征值的和提供了尖锐界限 $\sum_{j=1}^k \lambda_j \ge \frac{n}{n+2} C_n V^{-2/n} k^{1+2/n}$。然而，从该和不等式直接推导出的单个特征值后果 $\lambda_k \ge \frac{n}{n+2} C_n V^{-2/n} k^{2/n}$ 被已知是次优的，其系数与预期的 1 相比仍有差距。作者旨在不依赖额外的几何假设（如凸性）或边界正则性的情况下，改进这一特定的单个系数。

方法论
作者开发了两种互补的机制来精炼下界：

1. 能量正交性与傅里叶包络 (Energy Orthogonality and Fourier Envelope)：
   标准的 Li–Yau 论证利用 $L^2$ Bessel 不等式来建立谱投影傅里叶密度 $F_k(\xi) = \sum_{j=1}^k |\hat{\phi}_j(\xi)|^2$ 的常数上界。作者引入了由特征函数梯度正交性（能量正交性）导出的第二个约束。通过将平面波表示为特定向量场的散度并利用特征值方程的弱形式，作者推导出了一个频率相关的衰减上限：$F_k(\xi) \le \frac{V}{(2\pi)^n} \frac{\lambda_k}{|\xi|^2}$。
   结合常数上限，由此得到了径向包络 $h(|\xi|) = \frac{V}{(2\pi)^n} \min\{1, \frac{\lambda_k}{|\xi|^2}\}$。作者随后应用“浴缸原理”（一种重排不等式）来寻找在上述包络下、且满足质量约束 $\int f(\xi) d\xi = k$ 的密度 $f(\xi)$，以最小化二阶矩 $\int |\xi|^2 f(\xi) d\xi$。该极小化问题在维度 $n \ge 3$ 和 $n=2$ 时均可显式求解。

2. 通过 Riesz 平均实现的混合谱闭合 (Hybrid Spectral Closure via Riesz Means)：
   第二种机制解决了通过 $k\lambda_k$ 估计和 $\sum_{j=1}^k \lambda_j$ 时所丢弃的“谱亏损”（spectral deficit）。作者利用恒等式 $S_k = k\lambda_k - R_1(\lambda_k)$（其中 $R_1$ 是第一阶 Riesz 平均，即计数函数的积分）来处理。通过在这一恒等式中插入计数函数 $N_\Omega(t)$ 的下界，作者构造了一个标量方程 $\Phi_k(L) = M_k(L) + J_k(L) - kL = 0$。其中 $M_k(L)$ 是来自包络的最小矩，而 $J_k(L)$ 是截断计数下界的积分。该严格递减函数的唯一正根提供了一个精炼的 $\lambda_k$ 下界。该框架在有界 Lipschitz 区域上通过 Jiang–Lin 的定量计数估计进行了显式实现。

主要贡献与结果

• 通用系数改进：
  主要结果是一个对于任何具有有限正测度的开放集都有效的、严格改进的单个下界，且无需边界正则性假设。该界限形式为：
  $$\lambda_k \ge c_n C_n V^{-2/n} k^{2/n}$$
  其中系数 $c_n$ 满足 $\frac{n}{n+2} < c_n < 1$。

  • 对于 $n \ge 3$， $c_n$ 由方程 $(n-2)x^n - n x^{n-2} + \frac{8}{n+2} = 0$ 的唯一正根 $x_n > 1$ 决定，且 $c_n = K_n^{-2/n}$。
  • 对于 $n=2$， $c_2 = K_2^{-1}$，其中 $K_2 = 1 + \log y_2$，且 $y_2$ 是方程 $y - \log y = 3/2$ 的唯一解。
  • 数值显示，该系数对 Li–Yau 系数有严格提升：$c_2 \approx 0.5383$（比 0.5 提升了约 $7.66\%$），$c_3 \approx 0.6222$（比 0.6 提升了约 $3.71\%$），相对增益随维度增加而减小。

• Lipschitz 区域上的混合精炼：
  在有界 Lipschitz 区域上，作者通过将 Jiang–Lin 计数估计整合进 Riesz 平均恒等式，构建了一个“混合”界限 $L_k^{hyb}$。

  • 定理 5.3 确立了 $L_k^{hyb}$ 是一个单调标量方程的唯一根，且满足 $L_k^{(0)} \le L_k^{hyb} < W_k$（其中 $W_k$ 是 Pólya 项）。
  • 文中提供了必要且充分的准则（方程 5.13）来确定何时混合界限严格大于仅基于体积的基准线以及任何其他独立的下界。
  • 作者展示了虽然该混合界限可以提供显著收益（例如，在数值示例中比独立界限的最大值高出约 $15.3\%$），但它并不会自动支配所有几何估计（例如针对球体等特定区域的估计或带有 $\epsilon$ 损失的高频渐近估计）。

意义与主张

本文声称，其结果对于每一个指数 $k$ 和每一个开放集，都实现了对 Li–Yau 不等式单个后果的严格改进，并保持了正确的 Weyl 标度。这种改进源于保留了在标准常数包络傅里叶论证中丢失的能量正交性信息。

作者明确指出了其研究的局限性：

• 不对和不等式产生改进： 改进后的单个系数 $c_n$ 严格小于 1；因此，对这些单个界限求和并不能恢复 Li–Yau 和不等式的尖锐领先系数。
• 无通用支配性： 混合界限并不会普遍支配在特定几何假设下（如球体的 Pólya 不等式、等周不等式或带有 $\epsilon$ 损失的高频渐近行为）存在的更强估计。
• 范围适中： 本文旨在提供一个透明的“基准”，并提供一个兼容的框架，用于整合额外的几何或谱数据（通过混合机制），而非取代现有的专门估计。作者指出，若要达到预期的 Pólya 系数 1，需要比当前框架更强的矩约束或不同的谱闭合方式。

总之，这项工作通过通过能量正交性精炼傅里叶包络，并提供了一个严谨的、单调的框架来整合计数估计，从而推进了对单个特征值界限的理解，同时在谱几何的更广阔领域中清晰地划定了其改进的界限。