[论文解读] Maximal metrics for the first Steklov eigenvalue on surfaces

Mikhail Karpukhin|arXiv (Cornell University)|Jan 22, 2018

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

一句话总结

该论文证明了在任意具有边界的紧致可定向曲面上，存在一个光滑度量使第一个归一化斯泰克洛夫特征值最大化，从而将此前针对亏格零的情况的结果推广至一般亏格。通过一种融合边界分量并应用谱稳定性论证的粘合构造，作者建立了在维度受亏格和边界分量数限制的欧几里得球体内，存在自由边界分支极小浸入的结论。

ABSTRACT

In recent years, eigenvalue optimization problems have received a lot of attention, in particular, due to their connection with the theory of minimal surfaces. In the present paper we prove that on any orientable surface there exists a smooth metric maximizing the first normalized Steklov eigenvalue. For surfaces of genus zero, this has been earlier proved by A. Fraser and R. Schoen. Our approach builds upon their ideas and further developments due to R. Petrides. As a corollary, we show that there exist free boundary branched minimal immersions of an arbitrary compact orientable surface with boundary into a Euclidean ball of some dimension.

研究动机与目标

• 解决在具有边界的紧致可定向曲面上，第一个归一化斯泰克洛夫特征值最大度量的存在性问题。
• 将弗雷泽与肖恩关于亏格零情况的结果推广至任意亏格。
• 为任意具有边界的紧致可定向曲面，建立向欧几里得球体内自由边界分支极小浸入的存在性。
• 提供一种基于度量粘合与谱稳定性的构造方法，以实现最大特征值配置。

提出的方法

• 通过将亏格为 $\gamma$ 且具有 $k+1$ 个边界分量的曲面 $M$ 上两个长度为 $2\varepsilon$ 的边界段粘合，构造新曲面 $M_\varepsilon$。
• 使用一个反定向且保持距离的共形粘合映射 $\varphi_\varepsilon$ 来识别边界段。
• 赋予所得曲面 $M_\varepsilon$ 一个度量 $g_\varepsilon$，该度量在粘合段端点处继承了 $4\pi$ 的锥形奇点。
• 应用谱理论中的夹逼论证，证明 $M_\varepsilon$ 的第一个斯泰克洛夫特征值不低于原曲面的特征值。
• 利用 $\varepsilon \to 0$ 时的极限论证，并在 $L_{g,\rho}(\partial M) = 1$ 的条件下，证明归一化特征值趋近于上确界 $\sigma^*(\gamma,k+1)$。
• 借助最大度量的正则性理论与重数界，得出光滑最大化器存在的结论。

实验结果

研究问题

• RQ1 对于任意亏格 $\gamma \geq 0$ 且具有 $k \geq 1$ 个边界分量的可定向曲面，是否存在一个光滑度量，使其最大化第一个归一化斯泰克洛夫特征值？
• RQ2 能否通过一种减少边界分量数的粘合构造，证明此类最大度量的存在性？
• RQ3 在具有锥形奇点的度量粘合下，斯泰克洛夫特征值的谱行为如何演化？
• RQ4 最大斯泰克洛夫度量与向欧几里得球体内自由边界分支极小浸入之间存在何种关系？
• RQ5 对于亏格为 $\gamma$ 且具有 $k$ 个边界分量的曲面，其可极小浸入的欧几里得球体的维度可被限制在何范围？

主要发现

• 对于任意亏格 $\gamma \geq 0$ 且具有 $k \geq 1$ 个边界分量的可定向曲面，均存在一个光滑度量，使其最大化第一个归一化斯泰克洛夫特征值。
• 上确界 $\sigma^*(\gamma,k)$ 可被实现，证实了在亏格零以外的情况下也存在最大度量。
• 此类度量的存在性意味着存在自由边界分支极小浸入至欧几里得球体 $\mathbb{B}^{n_{\gamma,k}}$，其维度满足 $n_{\gamma,k} \leq 4\gamma + 2k$，且当 $\gamma \geq 2$ 时，可改进为 $n_{\gamma,k} \leq 2\gamma + 3$。
• 通过粘合边界段的构造方法保持了谱下界，并允许归一化特征值在 $\varepsilon \to 0$ 的极限下趋近于上确界。
• 该结果将弗雷泽与肖恩关于亏格零曲面的早期工作推广至任意亏格，采用谱稳定性与度量正则性技术。
• 该方法首次为任意具有边界的紧致可定向曲面提供了自由边界分支极小浸入的通用构造。