An isoperimetric inequality for lower order Neumann eigenvalues in Gauss space

技术摘要：高斯空间中低阶 Neumann 特征值的等周不等式

问题陈述
本文研究了高斯测度背景下 Witten-Laplacian（或 Ornstein-Uhlenbeck 算子）的 Neumann 特征值的优化问题。具体而言，作者研究了对于连通 Lipschitz 区域 $\Omega \subset \mathbb{R}^m$，前 $m-1$ 个非零 Neumann 特征值 $\mu_1(\Omega), \dots, \mu_{m-1}(\Omega)$ 的调和平均值。核心问题是确定在固定高斯体积的约束下，哪种区域形状能使该调和平均值最大化。

经典的 Szegö-Weinberger 不等式确立了在欧几里得空间中，球体是第一个非零 Neumann 特征值 ($\mu_1$) 的唯一最大化者；而 Chiacchio 和 Di Blasio 证明了其在高斯空间中对于原点对称区域的类似结论。然而，在 Gauss 空间中，关于低阶特征值（特别是其倒数之和）的行为仍是一个悬而未决的问题。本文旨在将 Szegö-Weinberger 结果推广到关于原点对称区域的前 $m-1$ 个特征值的调和平均值。

方法论
证明主定理的方法依赖于结合了适用于高斯测度的变分法与对称化技术。其方法论通过以下步骤进行：

1. 变分特征化： 作者利用加权 Sobolev 空间 $H^1(\Omega, d\gamma_m)$ 中 Neumann 特征值的标准 Rayleigh 商形式。特征值被表征为在正交于低阶特征函数的子空间上的下确界。
2. 球体的分析： 对原点中心球 $B_R$ 的第一个非零特征值进行了详细的谱分析。作者确定了：
   • $\mu_1(B_R)$ 的重数为 $m$。
   • 相应的特征函数具有形式 $u_i(x) = g(r)\psi_i(\theta)$，其中 $\psi_i$ 是线性坐标函数。
   • 径向部分 $g(r)$ 满足特定的 Sturm-Liouville 方程。
   • 至关重要的是，引理 2.3 证明了径向特征函数 $g(r)$ 是严格递增的，并且满足不等式 $g'(r) \leq g(r)/r$，对于 $r \in (0, R]$ 成立。
3. 构造试函数： 为了限制任意对称区域 $\Omega$ 的特征值，作者基于比较球 $B$ 的特征函数构造了试函数 $v_i(x)$。这些函数定义为 $v_i(x) = G(|x|) \frac{x_i}{|x|}$，其中 $G(r)$ 是 $g(r)$ 的一个扩展，在球半径之外保持为常数。
4. 正交性与 QR 分解： 由于 $\Omega$ 关于原点对称，试函数 $v_i$ 的均值为零。作者采用 QR 分解论证来旋转坐标系，以确保试函数满足相对于 $\Omega$ 的前 $i-1$ 个特征函数的必要正交条件。这使得 $v_i$ 可以作为 $\mu_i(\Omega)$ 变分特征化的有效测试函数。
5. 高斯对称化： 证明利用了关于高斯重排的单调性引理（引理 3.1）。该引理指出，对于非增径向函数 $h(r)$，其在 $\Omega$ 上的积分被相同高斯体积下的球 $B$ 上的积分所界定。这被应用于涉及 $G(r)$ 及其导数的项。
6. 不等式综合： 通过对 $i=1$ 到 $m$ 求和变分不等式，并利用 $g(r)$ 的单调性质以及特征值的排序关系 $\mu_1 \leq \dots \leq \mu_m$，作者推导出了倒数之和的下界。

主要贡献与结果
主要结果是 定理 1.1，它建立了 Gauss 空间中前 $m-1$ 个非零 Neumann 特征值调和平均值的锐利等周不等式。

设 $\Omega \subset \mathbb{R}^m$ 为关于原点对称的 Lipschitz 区域，且 $B$ 为与 $\Omega$ 具有相同高斯体积的原点中心球。则：
$$\sum_{i=1}^{m-1} \frac{1}{\mu_i(\Omega)} \geq \frac{m-1}{\mu_1(B)}$$
当且仅当 $\Omega = B$ 时等号成立。

意义与主张
本文声称，该结果推广了 Chiacchio 和 Di Blasio 在 Gauss 空间中建立的 Szegö-Weinberger 型不等式（具体为文献 [12] 中的定理 4.1），后者仅处理第一个特征值 $\mu_1$。通过证明前 $m-1$ 个特征值调和平均值的不等式，作者提供了一个更强的约束，该约束蕴含了原有的结果（因为鉴于特征值的排序，$\mu_1(\Omega) \leq \mu_1(B)$ 是调和平均值不等式的直接推论）。

作者指出，虽然该结果支持关于欧几里得空间中前 $m$ 个特征值倒数之和的更广泛的 Ashbaugh-Benguria 猜想，但关于在没有对称性假设的情况下该猜想是否在 Gauss 空间中成立的问题仍然开放。本文中的对称性假设对于确保试函数所需正交条件的有效性至关重要。

本文并未提出新的应用或实验方案，而是专注于扩展高斯空间中谱几何的理论框架。