[论文解读] The first eigenvalue of Dirac and Laplace operators on surfaces

Jean-François Grosjean, Emmanuel Humbert|arXiv (Cornell University)|Sep 18, 2006

Spectral Theory in Mathematical Physics参考文献 10被引用 3

一句话总结

本文解决了Agricola、Ammann和Friedrich提出的问题，即关于紧致黎曼曲面上狄拉克算子和拉普拉斯算子的首特征值。通过构造一族共形度量 $ g_\varepsilon $，证明了在所有共形度量 $ \tilde{g} $ 上有 $ \inf \frac{\lambda_1(\tilde{g})^2}{\mu_1(\tilde{g})} \leq \frac{1}{2} $，且等式可被任意接近地逼近，将结果从环面推广至所有紧致自旋曲面。

ABSTRACT

Let $(M,g,σ)$ be a compact Riemmannian surface equipped with a spin structure $σ$. For any metric $ ilde{g}$ on $M$, we denote by $μ\_1( ilde{g})$ (resp. $λ\_1( ilde{g})$) the first positive eigenvalue of the Laplacian (resp. the Dirac operator) with respect to the metric $ ilde{g}$. In this paper, we show that $$\inf \frac{λ\_1( ilde{g})^2}{μ\_1( ilde{g})} \leqslant {1/2}.$$ where the infimum is taken over the metrics $ ilde{g}$ conformal to $g$. This answer a question asked by Agricola, Ammann and Friedrich

研究动机与目标

• 解决Agricola、Ammann和Friedrich提出的问题：在二维环面上是否可能出现 $ \lambda_1^2 < \mu_1 $。
• 将结果从环面推广至所有配备自旋结构的紧致黎曼曲面。
• 为狄拉克算子和拉普拉斯算子的首正特征值建立精确的共形不变量。
• 证明 $ \lambda_{\rm min}^+ \leq \lambda_{\rm min}^+(S^2) $ 且 $ \mu_{\rm sup} \geq \mu_{\rm sup}(S^2) $，将这些不变量与标准球面联系起来。

提出的方法

• 构造一维参数族广义共形度量 $ g_{\varepsilon} = f_{\alpha,\varepsilon}^2 g $，其中 $ f_{\alpha,\varepsilon} $ 在某一点奇异，并使用光滑逼近序列。
• 利用 $ L^2 $-范数与能量估计，分析当 $ \varepsilon \to 0 $ 时特征值 $ \lambda_1(g_\varepsilon) $ 和 $ \mu_1(g_\varepsilon) $ 的渐近行为。
• 利用首特征值的欧拉-拉格朗日方程，导出偏微分方程 $ \Delta_g u = \mu_1(g_\varepsilon) f_{\alpha,\varepsilon}^2 u $，将背景度量中的拉普拉斯算子与特征值联系起来。
• 通过 $ H^1 $ 和 $ H^2 $ 中的弱紧致性与强紧致性证明特征函数与特征值的收敛性，建立一致有界性。
• 应用爆破分析与截断函数，控制特征函数在奇点附近的 $ L^2 $-范数。
• 基于符号变化与常特征函数的反证法，排除退化情形，证明在极限下 $ \lambda_1^2 / \mu_1 \to 1/2 $。

实验结果

研究问题

• RQ1 在紧致黎曼曲面上，狄拉克算子的首正特征值的平方是否可能小于拉普拉斯算子的首正特征值？
• RQ2 在任意配备自旋结构的紧致曲面上，是否存在某个共形度量使得不等式 $ \lambda_1^2 < \mu_1 $ 成立？
• RQ3 在给定曲面上所有共形度量上，比值 $ \lambda_1^2 / \mu_1 $ 的最优上界是什么？
• RQ4 共形不变量 $ \lambda_{\rm min}^+ $ 与 $ \mu_{\rm sup} $ 如何与标准球面 $ S^2 $ 上的值比较？
• RQ5 不等式 $ \inf \lambda_1^2 / \mu_1 \leq 1/2 $ 是否为最优的，且能否被任意接近？

主要发现

• 在所有共形度量 $ \tilde{g} $ 上，$ \lambda_1(\tilde{g})^2 / \mu_1(\tilde{g}) $ 的下确界至多为 $ 1/2 $，从而肯定地回答了文献 [AAF99] 中的问题。
• 对于任意配备自旋结构的紧致黎曼曲面，存在一族共形度量 $ g_\varepsilon $，使得 $ \limsup_{\varepsilon \to 0} \lambda_1(g_\varepsilon)^2 \cdot \text{Vol}_{g_\varepsilon}(M) \leq 4\pi $。
• $ \mu_1(g_\varepsilon) \cdot \text{Vol}_{g_\varepsilon}(M) $ 的下极限至少为 $ 8\pi $，表明比值 $ \lambda_1^2 / \mu_1 $ 可被任意接近 $ 1/2 $。
• 共形不变量 $ \lambda_{\rm min}^+(M,g,\sigma) $ 满足 $ \lambda_{\rm min}^+(M,g,\sigma) \leq \lambda_{\rm min}^+(S^2) = 2\sqrt{\pi} $，将Ammann的结果推广至二维且狄拉克核非平凡的情形。
• 不变量 $ \mu_{\rm sup}(M,g) $ 满足 $ \mu_{\rm sup}(M,g) \geq \mu_{\rm sup}(S^2) $，为文献 [CoES03] 中的结果提供了新证明。
• 该构造表明，对任意 $ \delta > 0 $，存在与原度量共形的度量 $ g $，使得 $ (2 - \delta)\lambda_1(g)^2 < \mu_1(g) $，从而证实了该界为最优。