[论文解读] Sharp upper bound and a comparison theorem for the first nonzero Steklov eigenvalue

Binoy, G. Santhanam|arXiv (Cornell University)|Aug 8, 2012

Geometric Analysis and Curvature Flows参考文献 8被引用 13

一句话总结

本文在非紧的秩一对称空间及截面曲率上界为 $k = -\delta^2$ 或 $0$ 的完备单连通黎曼流形中，建立了第一个非零 Steklov 特征值的精确上界。通过基于 Jacobi 场和体积估计的比较技术，证明了该特征值在测地球上达到最大值，且等式成立当且仅当区域与某一测地球等距同构。

ABSTRACT

In this paper we prove that given a volume, among all domains with smooth boundary in rank-1 symmetric spaces of noncompact type, geodesic balls maximizes the first nonzero Steklov eigenvalue. We also prove a comparison result for the first nonzero Steklov eigenvalue for domains in simply connected Riemannian manifolds with certain curvature bounds.

研究动机与目标

• 在截面曲率满足 $K_{\overline{M}} \in [-4, -1]$ 的非紧秩一对称空间中，为有界区域 $\Omega$ 的第一个非零 Steklov 特征值 $\nu_1(\Omega)$ 建立精确上界。
• 将 $\nu_1(\Omega)$ 的比较原理推广至截面曲率满足 $K_{\overline{M}} \leq k$（其中 $k = -\delta^2$ 或 $0$）的完备单连通黎曼流形。
• 证明 $\nu_1(\Omega) \leq C_k \nu_1(B_k(R_k))$，其中 $B_k(R_k)$ 是与 $\Omega$ 体积相同的空间形式 $\mathbb{M}(k)$ 中的测地球，且 $C_k \geq 1$ 仅依赖于体积与维数。
• 刻画不等式中等号成立的几何条件，表明等式成立当且仅当 $\Omega$ 与 $\mathbb{M}(k)$ 中的测地球等距同构。

提出的方法

• 利用 Rauch 比较定理，将 $\overline{M}$ 上的 Jacobi 场与空间形式 $\mathbb{M}(k)$ 上的 Jacobi 场进行比较，建立梯度场范数的逐点上界。
• 应用 Gunther 的体积比较定理，将 $\Omega \subset \overline{M}$ 的体积与 $\overline{M}$ 中的测地球 $B(R_k)$ 及 $\mathbb{M}(k)$ 中的测地球 $B_k(R_k)$ 的体积联系起来。
• 通过构造依赖于径向函数 $g_\delta(r)$ 的测试函数（其为 $\mathbb{M}(k)$ 上某一模型常微分方程的解），推导出涉及第一个特征值 $\nu_1(\Omega)$ 的微分不等式。
• 应用 $\nu_1(\Omega)$ 的 Rayleigh 商刻画，比较 $\Omega$ 与 $B_k(R_k)$ 上形如 $\int_{\Omega} \left( g_\delta^2 \lambda_1(S_k(r)) + (g_\delta')^2 \right) dV$ 的积分。
• 利用函数 $g_\delta^2 \lambda_1(S_k(r)) + (g_\delta')^2$ 关于 $r$ 的单调性，合理化 $\Omega$ 与 $B(R_k)$ 上积分的比较，从而导出常数 $C_k$。
• 证明 $C_k \geq 1$ 且仅依赖于 $\text{Vol}(\Omega)$ 与维数 $n$，且当且仅当 $\Omega$ 与 $\mathbb{M}(k)$ 中的测地球等距同构时 $C_k = 1$。

实验结果

研究问题

• RQ1 在截面曲率满足 $-4 \leq K_{\overline{M}} \leq -1$ 的非紧秩一对称空间中，有界区域 $\Omega$ 的第一个非零 Steklov 特征值 $\nu_1(\Omega)$ 的精确上界是什么？
• RQ2 在截面曲率满足 $K_{\overline{M}} \leq k$（其中 $k = -\delta^2$ 或 $0$）的流形中，$\nu_1(\Omega)$ 与 $\nu_1(B_k(R_k))$ 如何比较？
• RQ3 在不等式 $\nu_1(\Omega) \leq C_k \nu_1(B_k(R_k))$ 中，等号成立的几何条件是什么？
• RQ4 比较常数 $C_k$ 是否可以显式有界，并证明其仅依赖于 $\Omega$ 的体积与维数 $n$？
• RQ5 在所有具有光滑边界且体积固定的有界区域中，测地球是否是 $\nu_1(\Omega)$ 的唯一最大化区域？

主要发现

• 在截面曲率满足 $-4 \leq K_{\overline{M}} \leq -1$ 的非紧秩一对称空间 $\overline{M}$ 中，第一个非零 Steklov 特征值满足 $\nu_1(\Omega) \leq \nu_1(B(R))$，其中 $B(R)$ 是 $\overline{M}$ 中与 $\Omega$ 体积相等的测地球，且等式成立当且仅当 $\Omega$ 与 $B(R)$ 等距同构。
• 在截面曲率满足 $K_{\overline{M}} \leq k$（$k = -\delta^2$ 或 $0$）的完备单连通流形 $\overline{M}$ 中，不等式 $\nu_1(\Omega) \leq C_k \nu_1(B_k(R_k))$ 成立，其中 $B_k(R_k)$ 是与 $\Omega$ 体积相等的空间形式 $\mathbb{M}(k)$ 中的测地球，且 $C_k \geq 1$ 仅依赖于 $\text{Vol}(\Omega)$ 与 $n$。
• 常数 $C_k$ 严格大于 1，除非 $\Omega$ 与 $\mathbb{M}(k)$ 中的测地球等距同构，在此情况下 $C_k = 1$ 且特征值不等式中等号成立。
• 证明依赖于通过 Rauch 定理比较 Jacobi 场以及利用 Gunther 不等式进行体积估计，从而实现对 Rayleigh 商的受控比较。
• 函数 $g_\delta(r)$（其为 $\mathbb{M}(k)$ 上某一模型常微分方程的解）被用于构造测试函数，从而实现对涉及 $\lambda_1(S_k(r))$ 与 $g_\delta'$ 的积分的比较。
• $g_\delta^2 \lambda_1(S_k(r)) + (g_\delta')^2$ 关于 $r$ 的单调性在将 $\Omega$ 上的积分控制于 $B(R_k)$ 上的积分时起关键作用，从而导出最终的特征值比较结果。