[论文解读] The first Stekloff eigenvalue in weighted Riemannian manifolds

Márcio Batista, J. I. Santos|arXiv (Cornell University)|Apr 10, 2015

Nonlinear Partial Differential Equations参考文献 12被引用 3

一句话总结

本论文通过Bakry-Émery Ricci曲率界和加权平均曲率，建立了加权黎曼流形中第一个非零Stekloff特征值的精确估计。在非负加权Ricci曲率及加权平均曲率有下界条件下，第一个Stekloff特征值被几何量上下界控制，且仅当为常权函数下的欧几里得球时取等，将Escobar的经典结果推广至加权情形。

ABSTRACT

In study of eigenvalue problems, a classical problem is the Stekloff eigenvalue problem. There are many estimates of the first non- zero Stekloff eigenvalue, including a sharp estimate on surfaces, obtained by Escobar in "The geometry of the first non-zero Stekloff eigenvalue, J. Funct. Anal. 150 (1997)". In this paper we are interested to study this problem in weighted context. Various estimates are obtained, including a sharp estimate on surfaces, similar to that Escobar obtained.

研究动机与目标

• 将Escobar在曲面上对Stekloff问题的精确特征值估计推广至加权黎曼情形。
• 在曲率与平均曲率约束下，分析紧致加权流形边界上第一个非零Stekloff特征值。
• 以几何量与加权曲率不变量表示第一个Stekloff特征值的上下界。
• 刻画等号成立情形，表明仅当为常权函数下的欧几里得球时等号成立。

提出的方法

• 在带边界的紧致黎曼流形上使用加权Laplacian（漂移Laplacian）Δ_f = Δu − ⟨∇u, ∇f⟩。
• 应用Bakry-Émery Ricci曲率界 Ric_f^k ≥ 0 与加权平均曲率 H_f ≥ c，推导特征值估计。
• 采用变分法与特征函数上的最大值原理，推导涉及第一个Stekloff特征值 p_1 或 q_1 的不等式。
• 利用第二基本形式 II 与边界上的测地线曲率 k_g，将内在几何与特征值界联系起来。
• 通过边界条件 Δ_f u = 0 与 ∂u/∂ν = p_1 u（或更高阶变体）定义Stekloff特征值问题。
• 通过曲率刚性分析等号情形，表明等号蕴含流形等距于常f与k = n+1的欧几里得球。

实验结果

研究问题

• RQ1 在 Ric_f^k ≥ 0 与 H_f ≥ c 条件下，加权黎曼流形中第一个非零Stekloff特征值的精确上下界是什么？
• RQ2 在何种几何与曲率条件下，第一个Stekloff特征值在所导界限中取等？
• RQ3 光滑权函数f的引入如何改变Escobar对曲面经典Stekloff特征值估计的结果？
• RQ4 特征值估计中的等号情形是否可刻画？其对流形几何意味着什么？
• RQ5 加权平均曲率 H_f = H − (1/n)⟨ν, ∇f⟩ 在决定特征值界中起什么作用？

主要发现

• 在 Ric_f^k ≥ 0、H_f ≥ (k−1)c/n 与 II ≥ cI 条件下，第一个Stekloff特征值 p_1 满足 p_1 ≤ √λ_1 / ((k−1)c) (√λ_1 + √(λ_1 − (k−1)c²))，等号成立当且仅当 M 为半径为 1/c 的 n 维欧几里得球，f 为常数，且 k = n+1。
• 在二阶Stekloff问题中，q_1 ≥ nc 成立，条件为 Ric_f^k ≥ 0 与 H_f ≥ ((k−1)/k)c，等号成立当且仅当 M 为 (n+1) 维欧几里得球，f 为常数，且 k = n+1。
• 第一个特征值 q_1 的上界为 A/V，即加权面积与加权体积之比，等号成立蕴含 M 等距于欧几里得球，f 为常数，且 k = n+1。
• 当 ν 与 ∂M 上 f 的归一化梯度重合时，特征值满足 p_1 > k_g − f_ν ≥ c，且当 k_g = k_0 与 f_ν = 0 时取等。
• 在等号情形下，高斯曲率为零，流形等距于常f的欧几里得球，表明在曲率与边界条件下几何具有刚性。
• 证明依赖于当 v 为常数时 Hess φ 与 Ric_f(∇φ, ∇φ) 恒为零，从而推出流形平坦且边界为全脐曲面，具有常测地线曲率。