[论文解读] An Extension of Barta's Theorem and Geometric Applications

G. Pacelli Bessa, J. Fábio Montenegro|ArXiv.org|Aug 11, 2003

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

一句话总结

本文将Barta定理推广至具有弱可微向量场的黎曼流形，建立了关于基本频率 $\lambda^*(M)$ 的新下界，该下界以 $\mathcal{W}^{1,1}$ 向量场上 $\text{Div}\,X - |X|^2$ 的下确界表示。关键贡献在于提出了一种广义特征值比较原理，将Cheng以及Cheng-Li-Yau的结果推广至测度为零的切点轨迹的测地球情形，并为欧氏空间中的极小超曲面提供了逆稳定性定理。

ABSTRACT

We prove an extension of a theorem of Barta then we make few geometric applications. We extend Cheng's lower eigenvalue estimates of normal geodesic balls. We generalize Cheng-Li-Yau eigenvalue estimates of minimal submanifolds of the space forms. We prove an stability theorem for minimal hypersurfaces of the Euclidean space, giving a converse statement of a result of Schoen. Finally we prove a generalization of a result of Kazdan-Kramer about existence of solutions of certain quasi-linear elliptic equations.

研究动机与目标

• 将Barta定理从光滑向量场推广至 $\mathcal{W}^{1,1}(M)$ 中的弱可微向量场，以拓展其在几何中的应用范围。
• 将Cheng关于黎曼流形中测地球的特征值比较定理推广至切点轨迹的 $(n-1)$-Hausdorff 测度为零的情形。
• 为 $\mathbb{R}^n$ 中的极小超曲面建立一个逆稳定性结果，以补充Schoen定理。
• 通过变换至 $\triangle u - |\text{grad}\,u|^2 = F$ 形式，推广Kazdan-Kramer关于拟线性椭圆方程的存在性结果。
• 利用弱散度与Sobolev空间技术，在黎曼几何中统一并强化谱比较定理。

提出的方法

• 通过与 $C^\infty_0(M)$ 测试函数的分部积分，定义 $X \in L^1_{\text{loc}}(M)$ 的弱散度 $\text{Div}\,X$。
• 引入 $\mathcal{W}^{1,1}(M)$ 空间，即具有弱散度的向量场空间，并对 $f \in C^1(M)$ 推导恒等式 $\text{Div}(fX) = \langle \text{grad}\,f, X \rangle + f\,\text{Div}\,X$。
• 利用变分原理与测试函数，推导主要不等式 $\lambda^*(M) \geq \sup_{\mathcal{W}^{1,1}} \left\{ \inf_M (\text{Div}\,X - |X|^2) \right\}$。
• 通过构造与径向向量场及切点轨迹测度条件相关的合适向量场，将扩展后的Barta型不等式应用于测地球。
• 通过变换 $u = -\log f$，将特征值问题 $\triangle f + Ff = 0$ 转化为 $\triangle u - |\text{grad}\,u|^2 = F$，从而使其适用于拟线性PDE。
• 利用谱理论与Green恒等式，分析 $\triangle u - |\text{grad}\,u|^2 = F$ 在边界数据为无穷大时解的存在性与非存在性。

实验结果

研究问题

• RQ1 Barta定理能否推广至仅具有弱可微性的向量场，而不仅限于 $C^1$ 类？
• RQ2 当切点轨迹具有正测度时，Cheng关于测地球的特征值比较定理在何种几何条件下仍成立？
• RQ3 是否存在Schoen关于 $\mathbb{R}^n$ 中极小超曲面稳定性结果的逆定理？
• RQ4 在边界数据为无穷大的条件下，何种条件可保证拟线性PDE $\triangle u - |\text{grad}\,u|^2 = F$ 的解存在？
• RQ5 广义Barta不等式如何改进空间形式中极小子流形的特征值估计？

主要发现

• 基本频率 $\lambda^*(M)$ 满足 $\lambda^*(M) \geq \sup_{\mathcal{W}^{1,1}} \left\{ \inf_M (\text{Div}\,X - |X|^2) \right\}$，将Barta定理推广至弱向量场。
• 对于满足 $\mathcal{H}^{n-1}(\text{Cut}(p) \cap B_N(p,r)) = 0$ 的测地球 $B_N(p,r)$，有不等式 $\lambda^*(B_N(p,r)) \geq \lambda_1(B_{\mathbb{N}^n(c)}(r))$ 成立，推广了Cheng的结果。
• 特征值比较中的等式成立当且仅当 $B_N(p,r)$ 与 $B_{\mathbb{N}^n(c)}(r)$ 同构。
• 证明了 $\mathbb{R}^n$ 中极小超曲面的稳定性定理：若稳定性算子的第一特征值为正，则超曲面稳定，从而提供了Schoen结果的逆定理。
• 对于边界条件为 $u = +\infty$ 于 $\partial M$ 的拟线性PDE $\triangle u - |\text{grad}\,u|^2 = F$，解存在的充要条件为 $\inf_M F \leq \lambda_1(M) \leq \sup_M F$，且等式成立当且仅当 $F$ 恒等于 $\lambda_1(M)$。
• 对于边界条件为 $u = \psi$ 于 $\partial M$ 的PDE $\triangle u - |\text{grad}\,u|^2 = F$，若 $\sup_M F < \lambda_1(M)$，则解存在；且若解存在，则必有 $\inf_M F < \lambda_1(M)$。