[论文解读] A disc maximizes Laplace eigenvalues among isoperimetric surfaces of revolution

Sinan Ariturk|arXiv (Cornell University)|Oct 7, 2014

Geometric Analysis and Curvature Flows参考文献 11被引用 3

一句话总结

本文证明，在 ℝ³ 中所有具有固定边界圆的紧致、连通、浸入的旋转曲面中，平直圆盘唯一地最大化拉普拉斯-贝尔特拉米算子的所有狄利克雷特征值。通过变分法与径向曲线的谱分析，作者表明，任何偏离圆盘平直几何结构的变形都会严格降低特征值，将经典特征值不等式推广至具有固定边界的旋转曲面类。

ABSTRACT

The Dirichlet eigenvalues of the Laplace-Beltrami operator are larger on a flat disc than on any other surface of revoltuion immersed in Euclidean space with the same boundary.

研究动机与目标

• 证明在 ℝ³ 中所有具有固定边界圆的旋转曲面中，平直圆盘唯一地最大化所有狄利克雷特征值。
• 将雷利-法伯-克劳恩不等式推广至具有固定边界的旋转曲面类，而不仅限于平面区域。
• 通过证明在等周约束下，圆盘的特征值严格最大化，解决一个几何谱优化问题。
• 通过径向参数化与依赖于径向轮廓的特征值泛函，分析旋转曲面的谱行为。
• 证明任何非平直的旋转曲面，即使对高阶特征值，其特征值也严格小于圆盘的特征值。

提出的方法

• 在半平面 ℝ²₊ 中，使用弧长参数化旋转曲面的子午线曲线，边界位于 (R,0)，对称轴位于 x=0。
• 将特征值泛函 λₖ,ₙ(α) 定义为涉及径向函数 Fₐ 和角动量项 k²/Fₐ 的加权 L² 空间上的雷莱格商。
• 通过在在原点处为零的 C₀¹(0,L) 函数的 n 维子空间上取极小-极大值，对特征值进行变分表征。
• 构造一条从任意非平直曲线 α 到圆盘径向轮廓 ω 的连续形变路径，保持边界和径向结构不变。
• 利用积分收敛性与权函数的一致收敛性，证明特征值泛函沿形变路径的连续性与上半连续性。
• 通过证明下左上 Dini 导数非负，建立特征值沿形变路径的单调性，除非曲线与 ω 完全相同，否则严格递减。

实验结果

研究问题

• RQ1 在 ℝ³ 中所有具有固定边界圆的旋转曲面中，平直圆盘是否唯一地最大化狄利克雷特征值？
• RQ2 经典雷利-法伯-克劳恩不等式能否推广至非平面的旋转曲面？
• RQ3 当旋转曲面的几何结构从平直圆盘发生扰动时，拉普拉斯-贝尔特拉米算子的特征值如何变化？
• RQ4 在具有相同边界的其他旋转曲面与圆盘之间是否存在严格的谱间隙？
• RQ5 径向轮廓 Fₐ 在决定旋转曲面上拉普拉斯-贝尔特拉米算子谱的作用是什么？

主要发现

• 对于任意满足 Σ ≠ D 且边界半径为 R 的旋转曲面，所有狄利克雷特征值满足 λⱼ(Σ) < λⱼ(D)，对所有 j ≥ 1 成立。
• 对于子午线曲线 α，特征值泛函 λₖ,ₙ(α) 沿从任意非平直 α 到圆盘轮廓 ω 的连续形变路径严格递增。
• 当子午线曲线 α 与径向轮廓 ω(t) = (R−t, 0) 重合时，即对应于平直圆盘时，特征值 λₖ,ₙ(α) 达到唯一最大值。
• 证明的关键在于表明，沿形变路径的特征值泛函的下左上 Dini 导数非负，且当 α ≠ ω 时在某点严格为负。
• 特征值泛函具有连续性与上半连续性，确保最大值存在且唯一在圆盘处取得。
• 该结果适用于所有特征值，而不仅限于第一特征值，且适用于所有具有一个光滑边界分量且固定边界半径的旋转曲面。