[论文解读] Fundamental Gap of Convex Domains in the Spheres (with Appendix B by Qi S. Zhang)

Chenxu He, Guofang Wei|arXiv (Cornell University)|May 31, 2017

Analytic and geometric function theory参考文献 9被引用 5

一句话总结

本文将单位球面上凸区域的基本间隙估计从直径 ≤ π/2 扩展至所有直径 < π 的凸区域。通过利用抛物方法推广第一特征函数的对数凹性估计，并与一个Sturm-Liouville算子进行比较，作者建立了当 n ≥ 3 时的最优下界 $ \lambda_1 - \lambda_0 \geq 3\pi^2/D^2$，证实了欧氏几何中基本间隙猜想向球面几何的自然延伸，超越了赤道极限。

ABSTRACT

In [SWW], S. Seto, L. Wang and G. Wei proved that the gap between the first two Dirichlet eigenvalues of a convex domain in the unit sphere is at least as large as that for an associated operator on an interval with the same diameter, provided that the domain has the diameter at most $π/2$. In this paper, we extend Seto-Wang-Wei's result to convex domains in the unit sphere with diameter less than $π$.

研究动机与目标

• 将严格基本间隙下界 $ \lambda_1 - \lambda_0 \geq 3\pi^2/D^2$ 从直径 ≤ π/2 的凸区域扩展至单位球面 $ \mathbb{S}^n(1)$ 上所有直径 < π 的凸区域。
• 将 [SWW] 中第一特征函数对数凹性估计推广至直径小于 π 的凸区域，从而实现与一维Sturm-Liouville算子的比较。
• 建立一个抛物框架，以改进第一特征函数对数凹性初始模估计，基于 Andrews-Clutterbuck 与 Seto-Wang-Wei 的方法。
• 证明在这些区域上拉普拉斯算子的基本间隙由长度为 D 的区间上关联的Sturm-Liouville算子的间隙所控制，且当 $n \geq 3$ 时具有相同的最优常数。

提出的方法

• 作者使用抛物演化方程，将 $\log \phi_0$（第一特征函数）的凹性初始粗糙模估计改进为涉及一维Sturm-Liouville算子特征函数 $\tilde{\phi}_0$ 的精细估计。
• 他们应用 [SWW, 定理 3.2] 中的初始模保持结果，沿抛物流传播对数凹性估计，确保该估计在时间上均匀成立。
• 关键比较通过抛物最大值原理建立，由此导出不等式 $\left\langle \nabla \log \phi_0(y), \gamma'(d/2) \right\rangle - \left\langle \nabla \log \phi_0(x), \gamma'(-d/2) \right\rangle \leq 2(\log \tilde{\phi}_0)'(d/2)$ 对所有 $x,y \in \Omega$, $x \neq y$ 成立。
• 通过应用 [SWW, 定理 4.1] 推导出基本间隙下界，该定理将对数凹性估计与谱间隙比较联系起来，表明 $\lambda_1 - \lambda_0 \geq \mu_1(n,D) - \mu_0(n,D)$。
• 该证明依赖于线性抛物理论，包括具有有界系数的 $Lu = 0$ 解的存在性与正则性，并使用最大值原理与控制收敛定理取初始数据极限。
• 附录 B 通过格林函数的正性以及初始数据 $u(z,0) = \psi_{k,0}(z) - \tilde{\psi}_{k,0}(z)$ 为上解的事实，提供了关键引理的热核证明，确保 $w \leq 0$，从而得出所需的不等式。

实验结果

研究问题

• RQ1 能否将基本间隙估计 $ \lambda_1 - \lambda_0 \geq 3\pi^2/D^2$ 从直径 ≤ π/2 的区域扩展至 $ \mathbb{S}^n(1)$ 上所有直径 < π 的凸区域？
• RQ2 此前仅在 $D \leq \pi/2$ 时成立的第一特征函数对数凹性估计，是否对所有满足 $D < \pi$ 的凸区域均成立？
• RQ3 在 $D < \pi$ 条件下，$ \mathbb{S}^n(1)$ 中凸区域的谱间隙与关联的Sturm-Liouville算子在 $[-D/2, D/2]$ 上的间隙之间的比较是否有效？
• RQ4 能否将 [AC3] 和 [SWW] 中使用的抛物方法适配至赤道极限之外的球面设定？
• RQ5 势函数为 $-(n-1)\tan(s)$ 的Sturm-Liouville算子在控制球面上凸区域的谱间隙中起什么作用？

主要发现

• 在单位球面 $ \mathbb{S}^n(1)$ 上的严格凸区域 $\Omega$ 上，若其直径 $D < \pi$，则拉普拉斯算子的基本间隙满足 $\lambda_1 - \lambda_0 \geq \mu_1(n,D) - \mu_0(n,D)$，其中 $\mu_i(n,D)$ 是在 $[-D/2, D/2]$ 上带狄利克雷边界条件的Sturm-Liouville算子 $\frac{d^2}{ds^2} - (n-1)\tan(s)\frac{d}{ds}$ 的前两个特征值。
• 当 $n \geq 3$ 时，Sturm-Liouville算子的间隙满足 $\mu_1(n,D) - \mu_0(n,D) \geq 3\pi^2/D^2$，这意味着球面上该区域的基本间隙满足最优下界 $\lambda_1 - \lambda_0 \geq 3\pi^2/D^2$。
• 第一特征函数的对数凹性估计被推广至所有满足 $D < \pi$ 的凸区域，其形式为 $\left\langle \nabla \log \phi_0(y), \gamma'(d/2) \right\rangle - \left\langle \nabla \log \phi_0(x), \gamma'(-d/2) \right\rangle \leq 2(\log \tilde{\phi}_0)'(d/2)$，对所有 $x,y \in \Omega$, $x \neq y$ 成立。
• 该证明依赖于凹性模的抛物演化，结合最大值原理与 [SWW, 定理 3.2] 中的初始模保持性，从而实现从初始估计到最终最优界的有效细化。
• 附录 B 中的热核论证确认，抛物方程的解 $w$ 始终非正，这对对数凹性比较至关重要，通过分部积分与初始数据的上解性质，得出 $w(z,t) \leq 0$。
• 该结果证实，球面情形下的谱间隙行为与欧氏情形一致，直至直径极限 $\pi$，从而解决了基本间隙猜想向球面的自然延伸。