[論文レビュー] 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

ひとこと要約

この論文は、弱微分可能なベクトル場を用いたリーマン多様体へバルタの定理を拡張し、$\mathcal{W}^{1,1}$ ベクトル場上での $\text{Div}\,X - |X|^2$ の下限に基づいて、基本的トーン $\lambda^*(M)$ の新たな下界を確立する。主な貢献は、切断特異点集合の $(n-1)$-ヒルベルト・ハウスドルフ測度がゼロである測地的球に対して、チエンの結果およびチエン＝リ＝ヤウの結果を拡張した一般化された固有値比較原理であり、ユークリッド空間内の最小超曲面に対する逆安定性定理を提供する。

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.

研究の動機と目的

• smoothでないベクトル場から $\mathcal{W}^{1,1}(M)$ 内の弱微分可能なものへバルタの定理を一般化し、より広範な幾何的応用を可能にする。
• 切断特異点集合の $(n-1)$-ヒルベルト・ハウスドルフ測度がゼロである場合に、リーマン多様体内の測地的球に対するチエンの固有値比較定理を拡張する。
• ユークリッド空間内の最小超曲面に対して、シュレンの定理の逆を示す安定性結果を確立する。
• 変換 $u = -\log f$ を用いて、準線形楕円型方程式の存在結果をカザダン＝クラマーの結果へ一般化する。
• リーマン幾何学における弱発散およびソボレフ空間の技術を用いて、スペクトル比較定理を統合的かつ強化する。

提案手法

• テスト関数 $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\}$ を導出する。
• 測地的球に拡張されたバルタ型不等式を適用するため、径方向ベクトル場と切断特異点集合の測度条件に関連する適切なベクトル場を構成する。
• 固有値問題 $\triangle f + Ff = 0$ を $u = -\log f$ を用いて $\triangle u - |\text{grad}\,u|^2 = F$ に変換し、準線形偏微分方程式への応用を可能にする。
• スペクトル理論とグリーンの恒等式を用いて、境界データが無限大である $\triangle u - |\text{grad}\,u|^2 = F$ の解の存在および非存在を分析する。

実験結果

リサーチクエスチョン

• RQ1 バルタの定理は、$C^1$ よりも弱い微分可能性をもつベクトル場へ拡張可能か？
• RQ2 切断特異点集合の測度が正である場合、測地的球に対するチエンの固有値比較定理が成立する幾何的条件は何か？
• RQ3 ユークリッド空間 $\mathbb{R}^n$ 内の最小超曲面に対して、シュレンの安定性結果の逆は存在するか？
• RQ4 境界データが無限大である準線形偏微分方程式 $\triangle u - |\text{grad}\,u|^2 = F$ の解が存在するための条件は何か？
• RQ5 一般化されたバルタ不等式は、空間形内の最小部分多様体における固有値推定をどのように改善するか？

主な発見

• 基本的トーン $\lambda^*(M)$ は、$\lambda^*(M) \geq \sup_{\mathcal{W}^{1,1}} \left\{ \inf_M (\text{Div}\,X - |X|^2) \right\}$ を満たし、バルタの定理が弱いベクトル場へ拡張される。
• 切断特異点集合の $(n-1)$-ヒルベルト・ハウスドルフ測度がゼロである測地的球 $B_N(p,r)$ に対して、不等式 $\lambda^*(B_N(p,r)) \geq \lambda_1(B_{\mathbb{N}^n(c)}(r))$ が成り立つ。これはチエンの結果の一般化である。
• 固有値比較における等号成立は、$B_N(p,r)$ と $B_{\mathbb{N}^n(c)}(r)$ が等長である場合に限り成立する。
• ユークリッド空間内の最小超曲面に対して安定性定理を証明した：安定性作用素の第一固有値が正であれば、超曲面は安定であり、シュレンの結果の逆が成り立つ。
• 境界上での $u = +\infty$ を満たす準線形偏微分方程式 $\triangle u - |\text{grad}\,u|^2 = F$ に対して、解が存在するのは $\inf_M F \leq \lambda_1(M) \leq \sup_M F$ のときであり、等号成立は $F$ が定数で $\lambda_1(M)$ に等しい場合に限る。
• 境界上での $u = \psi$ を満たす $\triangle u - |\text{grad}\,u|^2 = F$ に対して、解が存在するのは $\sup_M F < \lambda_1(M)$ のときであり、解が存在するならば $\inf_M F < \lambda_1(M)$ が成り立つ。