An isoperimetric inequality for Neumann eigenvalues with radial log-concave measures

技术摘要：关于具有径向对数凹测度的 Neumann 特征值的等周不等式

问题陈述
本文研究了空间形式（$M_\kappa$，其中 $\kappa \in \{1, 0, -1\}$）中原点对称 Lipschitz 区域上 Witten-Laplacian（$\Delta_\phi = \Delta - \nabla \phi \cdot \nabla$）前 $n$ 个非零 Neumann 特征值的调和平均值的等周问题。这些区域赋予了一个径向对数凹测度 $d\gamma_\kappa = e^{-\phi(r)} d\text{Vol}_\kappa$。

核心问题在于，在相同加权体积下，测地球 $B_R$ 是否唯一地最小化前 $n$ 个非零特征值倒数之和：
$$\sum_{i=1}^n \frac{1}{\mu_i(\Omega)} \geq \frac{n}{\mu_1(B_R)}.$$
该不等式意味着经典的 Szegő-Weinberger 不等式（$\mu_1(\Omega) \leq \mu_1(B_R)$）是一个推论。

前人工作的背景与局限性
作者将其工作置于谱几何结果的脉络之中：

• 欧几里得空间： 经典的 Szegő-Weinberger 不等式确立了球体是 $\mu_1$ 的最大值函数。Ashbaugh 和 Benguria 提出了关于倒数和的猜想 (1.1)，该猜想已被 Xia 和 Wang [21] 以及 He, Li, 和 Tang [12] 在特定情况下证明。
• 高斯空间： Chiacchio 和 Di Blasio [8] 将 Szegő-Weinberger 不等式扩展到了高斯测度。Gao 和 Wang [11] 以及 Chiacchio [9] 随后分别在高斯情形下确立了前 $n-1$ 个和前 $n$ 个特征值的锐利调和平均值不等式。
• 一般加权空间： Chen 和 Mao [7] 将这些结果扩展到了带有对数凹测度的空间形式。然而，他们的方法要求权重势函数 $\phi(r)$ 必须是凸的且非增的。这一限制排除了高斯测度（其中 $\phi(r) = r^2/2$ 是递增的），并限制了结果的适用性。

方法论
证明依赖于对测地球上特征函数的精细分析以及一个矩阵迹不等式。该方法分为三个主要阶段：

1. 测地球上的谱分析：
   作者刻画了第一个非零特征值 $\mu_1(B_R)$ 及其相关的特征函数。他们证明，在 $\phi$ 为凸函数的假设下，第一个非零特征值具有 $n$ 重性。相应的特征函数具有形式 $u_i(x) = T_1(r)\psi_i(\theta)$，其中 $\psi_i$ 是球面上的线性坐标函数，而 $T_1(r)$ 是特定径向 Sturm-Liouville 问题的第一个特征函数。

   • 关键技术引理： 他们确立了 $T_1(r)$ 是严格单调递增的，且比值 $T_1(r)/S_\kappa(r)$ 是单调递减的，前提是满足条件 $\left(\frac{C_\kappa(r)}{S_\kappa(r)}\phi'(r)\right)' \geq 0$。该条件取代了 Chen-Mao [7] 中更严格的“非增 $\phi$”的要求。

2. 通过试函数进行变分刻画：
   为了界定倒数之和，作者使用了 Hersch 的变分原理（引理 2.2）。他们在定义域 $\Omega$ 上构造了 $n$ 个试函数 $v_i(x) = G(r)\psi_i(\theta)$，其中 $G(r)$ 是径向特征函数 $T_1(r)$ 的截断版本。

   • 他们定义了使用这些试函数的 Gram 矩阵 $J$（与 $L^2$ 内积相关）和 $K$（与 Dirichlet 能量相关）。
   • 推导出了不等式 $\sum \mu_i^{-1} \geq \text{tr}(K^{-1}J)$。

3. 矩阵迹不等式与优化：
   证明的核心涉及使用“浴缸原理”（引理 2.3）对定义域的径向切片进行估计，从而估计矩阵 $J$ 和 $K$。

   • 利用 $T_1(r)$ 和 $T_1(r)/S_\kappa(r)$ 的单调性，他们证明了定义 $J$ 和 $K$ 的积分被 $\Omega$ 与球 $B_R$ 之间的体积差所界定。
   • 这些界限允许应用特定的矩阵迹不等式（来自 He, Li, 和 Tang [12] 的引理 2.1）：如果 $J \succeq aI + cZ$ 且 $0 \prec K \preceq \lambda aI - dZ$ 且 $\text{tr}(Z)=0$，则 $\text{tr}(K^{-1}J) \geq n/\lambda$。
   • 通过将参数 $a, c, d, \lambda$ 与球的谱量进行对应，他们得到了所需的下界 $n/\mu_1(B_R)$。

主要贡献与结果
主要结果是 定理 1.1，它指出：
设 $\Omega \in E_\kappa$ 是一个与测地球 $B_R$ 具有相同加权体积的原点对称 Lipschitz 区域。若径向权重 $\phi(r)$ 是凸的且满足 $\left(\frac{C_\kappa}{S_\kappa}\phi'\right)' \geq 0$，则：
$$\sum_{i=1}^n \frac{1}{\mu_i(\Omega)} \geq \frac{n}{\mu_1(B_R)}.$$
当且仅当 $\Omega$ 与球 $B_R$ 重合时，等号成立。

重要性与新颖性
本文声称其主要新颖之处在于移除了权重函数 $\phi(r)$ 的非增条件，这是 Chen 和 Mao [7] 最近工作中一个必要的约束。

• 泛化性： 新条件 $\left(\frac{C_\kappa}{S_\kappa}\phi'\right)' \geq 0$ 被更广泛的凸势函数所满足，包括高斯测度（$\phi(r) = r^2/2$）以及形式为 $\phi(r) = r^{2k}$ ($k \geq 1$) 的势函数。
• 统一性： 该结果将 Chiacchio 和 Di Blasio [8]、Chiacchio [9] 以及 Gao-Wang [11] 的高斯空间不等式作为特例纳入其中，同时通过覆盖 Chen-Mao [7] 无法处理的情况，改进了其结果。
• 方法论转变： 作者指出，他们对球上第一特征函数的刻画方法（第 3 节）与 Chiacchio 和 Di Blasio [8] 不同。这被描述为相对直接的方法，适用于广泛的凸径向权重，而不依赖于高斯密度的特定结构或 $\phi$ 的单调性。

结论
本文为具有一般径向对数凹测度的空间形式上的 Neumann 特征值的等周不等式提供了一个统一的几何框架。通过在放宽的凸性条件下建立锐利的调和平均值不等式，本文将谱等周理论的研究范围扩展到了此前文献中受限的设置之外。