[论文解读] Isoperimetric inequalities for eigenvalues by inverse mean curvature flow

Fangcheng Guo, Guanghan Li+1 more|arXiv (Cornell University)|Feb 17, 2016

Geometric Analysis and Curvature Flows参考文献 12被引用 4

一句话总结

该论文通过逆平均曲率流，为 $ℝ^{n+1}$ 中闭凸超曲面上的拉普拉斯算子和 $p$-拉普拉斯算子的首個非零特征值建立了等周下界。通过证明在流下归一化特征值的单调性，推导出这些特征值的下界等于与初始超曲面体积相同的球面的特征值，且等号成立当且仅当超曲面为球面。

ABSTRACT

By studying the monotonicity of the first nonzero eigenvalues of Laplace and p-Laplace operators on a closed convex hypersurface $M^n$ which evolves under inverse mean curvature flow in $\mathbb{R}^{n+1}$, the isoperimetric lower bounds for both eigenvalues were founded.

研究动机与目标

• 推导 $ℝ^{n+1}$ 中闭超曲面上拉普拉斯与 $p$-拉普拉斯算子首個非零特征值的等周下界。
• 解决一个开放问题：在无边界的闭超曲面上，是否也存在类似于 Rayleigh-Faber-Krahn 与 Szegö-Weinberger 不等式的特征值不等式。
• 提出一种新颖方法，利用逆平均曲率流保持几何不等式并建立特征值单调性。
• 证明在固定体积下，首個非零特征值在所有满足曲率条件的超曲面中，球面取最小值。
• 通过基于流的几何演化技术，推广基于质心方法的现有结果。

提出的方法

• 分析欧氏空间中一般曲率流下拉普拉斯与 $p$-拉普拉斯算子首個非零特征值的演化。
• 聚焦于逆平均曲率流，通过归一化流稳定几何量，推导特征值的演化方程。
• 证明在归一化逆平均曲率流下，归一化特征值 $e^{-p(\frac{1}{n}-\varepsilon)t}\tilde{\lambda}_{1,p}(t)$ 非增。
• 利用不等式 $\frac{d\tilde{\lambda}_{1,p}(t)}{dt} \leq p\left(\frac{1}{n} - \varepsilon(t)\right)\tilde{\lambda}_{1,p}(t)$ 控制特征值随时间的增长。
• 应用归一化流收敛于与初始超曲面体积相同的球面 $\mathbb{S}^n(R)$ 的性质，推导最终的下界。
• 采用条件 $h_{ij} \geq \frac{\alpha}{2}Hg_{ij}$，其中 $\alpha \in [0, \frac{2}{n}]$，以控制曲率夹紧并确保单调性。

实验结果

研究问题

• RQ1 能否为 $ℝ^{n+1}$ 中闭超曲面上拉普拉斯与 $p$-拉普拉斯算子的首個非零特征值建立等周下界？
• RQ2 逆平均曲率流是否能保持导致特征值单调性与最优下界的几何不等式？
• RQ3 球面是否是所有固定体积闭超曲面中首個非零特征值的唯一极小化器？
• RQ4 能否利用逆平均曲率流下特征值的单调性，导出以球面特征值表示的显式下界？
• RQ5 何种曲率条件能确保特征值下界为最优，且等号仅在球面时成立？

主要发现

• 闭超曲面 $M^n$ 上 $p$-拉普拉斯算子的首個非零特征值 $\lambda_{1,p}(M^n)$ 满足 $\lambda_{1,p}(M^n) \geq C^{-1}(n,p,\alpha)\lambda_{1,p}(\mathbb{S}^n(R))$，其中 $C(n,p,\alpha) = \exp\left[\frac{p}{\alpha}\left(\frac{1}{n} - \frac{\alpha}{2}\right)\right]$。
• 当 $p=2$ 时，拉普拉斯特征值满足 $\lambda_1(M^n) \geq C^{-1}(n,\alpha)\lambda_1(\mathbb{S}^n(R))$，其中 $C(n,\alpha) = \exp\left[\frac{2}{\alpha}\left(\frac{1}{n} - \frac{\alpha}{2}\right)\right]$。
• 两个不等式中等号成立当且仅当超曲面 $M^n$ 是与初始超曲面体积相同的 $n$-维球面。
• 在归一化逆平均曲率流下，归一化特征值 $e^{-p(\frac{1}{n}-\varepsilon)t}\tilde{\lambda}_{1,p}(t)$ 非增，这确保了推导下界所依赖的单调性。
• 当 $t \to \infty$ 时，流将初始超曲面演化为与之体积相等的球面 $\mathbb{S}^n(R)$，这对于极限特征值比较至关重要。
• 证明依赖于特征值在流下的可微性，以及利用曲率夹紧条件 $h_{ij} \geq \frac{\alpha}{2}Hg_{ij}$ 控制演化过程。