[论文解读] Sharp Fundamental Gap Estimate on Convex Domains of Sphere

Shoo Seto, Lili Wang+1 more|arXiv (Cornell University)|Jun 3, 2016

Analytic and geometric function theory参考文献 16被引用 4

一句话总结

本文在单位球面 $S^n$ 上的严格凸区域上建立了基本谱间隙（前两个狄利克雷特征值之差）的精确下界，其中区域的直径 $D \leq \pi/2$。通过第一特征函数的超对数凹性估计，作者证明该间隙大于对应的一维模型间隙 $[-D/2, D/2]$ 上的间隙；当 $n \geq 3$ 时，该间隙的下界为 $3\pi^2/D^2$，且该界是最优的。

ABSTRACT

In their celebrated work, B. Andrews and J. Clutterbuck proved the fundamental gap (the difference between the first two eigenvalues) conjecture for convex domains in the Euclidean space and conjectured similar results holds for spaces with constant sectional curvature. We prove the conjecture for the sphere. Namely when $D$, the diameter of a convex domain in the unit $S^n$ sphere, is $\le \fracπ{2}$, the gap is greater than the gap of the corresponding $1$-dim sphere model. We also prove the gap is $\ge 3\frac{π^2}{D^2}$ when $n \ge 3$, giving a sharp bound. As in Andrews-Clutterbuck's proof of the fundamental gap, the key is to prove a super log-concavity of the first eigenfunction.

研究动机与目标

• 解决关于球面 $S^n$ 上凸区域的基本谱间隙在 $D \leq \pi/2$ 时是否被一维模型间隙下界控制的猜想。
• 当 $n \geq 3$ 时，建立谱间隙的精确下界 $3\pi^2/D^2$，该下界是最优的。
• 将欧氏空间中使用的超对数凹性技术推广至球面，证明了比以往结果更强的与曲率相关的估计。
• 展示第一特征函数的对数凹性估计如何通过引入曲率效应，改进了早期的 $\nabla^2 \log \phi_1 \leq 0$ 估计。

提出的方法

• 在 $S^n$ 上的凸区域上证明第一特征函数 $\phi_1$ 的超对数凹性估计，表明沿测地线的 $\log \phi_1$ 的方向导数被一维模型特征函数的导数所控制。
• 在区间 $[-D/2, D/2]$ 上构造一个一维模型算子 $\frac{d^2}{ds^2} - (n-1)\tan(s)\frac{d}{ds}$，并施加狄利克雷边界条件，其特征值用作实际区域的比较基准。
• 在常曲率空间形式中使用测地线的变分方法，显式构造一维测地线族，以分析能量的二阶变分并导出与曲率相关的界。
• 通过模型算子的比较原理推导谱间隙的下界，利用曲率项 $-(n-1)\tan(s)$ 捕捉球面几何特性。
• 使用恒等式 $\langle x, y \rangle = \frac{1}{K} \operatorname{cs}_K(d(x,y))$ 计算空间形式中的距离与内积，从而实现测地线变分的显式计算。
• 推导变分向量场及其导数的二阶展开，建立曲率修正的 Hessian 界 $\nabla^2 \log \phi_1 \leq -\bar{\lambda}_1 \, \text{id}$，这是谱间隙估计的关键。

实验结果

研究问题

• RQ1 在球面 $S^n$ 上的凸区域上，基本谱间隙是否满足与欧氏空间相同的精确下界，即当 $n \geq 3$ 时为 $3\pi^2/D^2$？
• RQ2 能否将 $S^n$ 上凸区域第一特征函数的超对数凹性估计加强，以包含曲率效应，从而改进 $\nabla^2 \log \phi_1 \leq 0$ 的界？
• RQ3 当 $D \leq \pi/2$ 时，一维模型间隙 $[-D/2, D/2]$ 上算子 $\frac{d^2}{ds^2} - (n-1)\tan(s)\frac{d}{ds}$ 是否为球面上凸区域实际谱间隙的精确下界？
• RQ4 谱间隙作为维度 $n$ 和直径 $D$ 的函数在球面上如何变化？对于固定的 $D$，其是否随 $n$ 增加而增大？
• RQ5 测地线变分方法是否可推广至常曲率空间形式，以证明超越球面的曲率相关特征值估计？

主要发现

• 对于任意严格凸区域 $\Omega \subset S^n$ 且直径 $D \leq \pi/2$，谱间隙满足 $\lambda_2 - \lambda_1 \geq \bar{\lambda}_2(n,D) - \bar{\lambda}_1(n,D)$，其中 $\bar{\lambda}_i(n,D)$ 为区间 $[-D/2, D/2]$ 上一维模型算子的前两个特征值。
• 当 $n \geq 3$ 且 $D < \pi$ 时，间隙满足 $\lambda_2 - \lambda_1 \geq 3\pi^2 / D^2$，该界是最优且精确的。
• 第一特征函数 $\phi_1$ 满足超对数凹性估计：对任意 $x, y \in \Omega$，沿最小测地线的 $\log \phi_1$ 的方向导数被一维模型特征函数的导数所控制。
• Hessian 满足 $\nabla^2 \log \phi_1 \leq -\bar{\lambda}_1 \, \text{id}$，该结果强化了 Lee 与 Wang 的早期结果 $\nabla^2 \log \phi_1 \leq 0$。
• 一维模型间隙 $\bar{\lambda}_2(n,D) - \bar{\lambda}_1(n,D)$ 关于 $D$ 单调，且为球面上实际间隙的精确比较基准。
• 该方法可推广至欧氏空间及其他常曲率空间形式，但在负曲率情形下，由于二阶变分计算中的几何障碍，超对数凹性估计不成立。