[論文レビュー] Lower bounds for the first Laplacian eigenvalue of geodesic balls of spherically symmetric manifolds

Bessa, Gregorio Pacelli, Cleon S. Barroso|ArXiv.org|Jan 9, 2006

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

ひとこと要約

この論文は、固定点定理のアプローチを用いて、球対称多様体内の測地的球の第一ディリクレ固有値に対する新しい下界を確立している。この下界は、測地的球の体積と表面積の比にのみ依存し、ユークリッド空間、球面、双曲空間を含むより広いクラスの多様体へ、以前の確率的結果を一般化する。

ABSTRACT

We obtain lower bounds for the first Laplacian eigenvalues of geodesic balls of spherically symmetric manifolds. These lower bounds are only $C^{0}$ dependent on the metric coefficients.

研究の動機と目的

• 球面上の測地的球における第一ラプラシアン固有値の Betz-Camera-Gzyl 下界を、一般の球対称多様体へ拡張すること。
• 第一固有値の下界を、曲率や高階微分可能性に依存せず、メトリック係数の $ C^0 $-正則性にのみ依存する形で提供すること。
• 極を持つ多様体の基本トーンと、積分 $ \int_0^\infty \frac{V(\sigma)}{S(\sigma)}\,d\sigma $ の収束との間の関係を確立すること。
• スペクトル的性質（固有値の下界）と確率的性質（ブラウン運動の非再帰性および確率的完備性）の間の関係を結ぶこと。

提案手法

• 球対称多様体の測地的球 $ B(r) $ における固有値問題を、メトリック $ dt^2 + f^2(t) d\theta^2 $ に対して定式化する。ここで $ f(0) = 0 $、$ f'(0) = 1 $、$ t > 0 $ に対して $ f(t) > 0 $ である。
• 体積／表面積比 $ \frac{V(\sigma)}{S(\sigma)} $ を用いて、$[0,r]$ 上の連続関数の空間に非線形積分作用素 $ T_{a,\Theta} $ を定義する。
• Schauder-Tychonoff 固定点定理を適用し、$ \lambda_1(r) + a < C(r)^{-1} $ の条件下で $ T_{a,\Theta} $ の固定点の存在を示す。ここで $ C(r) = \int_0^r \frac{V(\sigma)}{S(\sigma)} d\sigma $ である。
• 既知の補題を用いて、$ a > 0 $ のとき $ \triangle u + (a + \lambda_1(r))u = 0 $ が $ B(r) $ 内で非自明な非負解をもたないことを示し、矛盾を導く。これにより $ \lambda_1(r) \geq C(r)^{-1} $ を証明する。
• 作用素の像の連続性および相対コンパクト性を用いて、固定点定理の仮定を満たすことを確認する。
• 積分 $ \int_0^\infty \frac{V(\sigma)}{S(\sigma)} d\sigma $ の収束を、ブラウン運動の確率的完備性および非再帰性と関連づけ、スペクトル的性質と確率的性質を結びつける。

実験結果

リサーチクエスチョン

• RQ1 球面上の測地的球における Betz-Camera-Gzyl 固有値下界は、すべての球対称多様体へ一般化可能か？
• RQ2 第一固有値の下界は、特に測地的球の体積と表面積にどのように依存するか？
• RQ3 極を持つ多様体の基本トーン $ \lambda^*(M) $ は、積分 $ \int_0^\infty \frac{V(\sigma)}{S(\sigma)} d\sigma $ の収束とどのように関係するか？
• RQ4 基本トーンの正の性質と、このような多様体上でのブラウン運動の確率的完備性または非再帰性の間にはどのような関係があるか？
• RQ5 曲率やメトリックの高階正則性の仮定なしに、固定点定理のアプローチが鋭いスペクトル的下界を導けるか？

主な発見

• 球対称多様体内の半径 $ r $ の測地的球の第一ディリクレ固有値 $ \lambda_1(r) $ は、$ \lambda_1(r) \geq \left( \int_0^r \frac{V(\sigma)}{S(\sigma)} d\sigma \right)^{-1} $ を満たす。ここで $ V(\sigma) $ と $ S(\sigma) $ はそれぞれ体積と境界の $ (n-1) $ 次元体積である。
• この下界は、メトリック係数 $ f(t) $ の $ C^0 $-正則性にのみ依存するため、滑らかさを超える連続性の仮定があれば、広いクラスの多様体に適用可能である。
• 極を持つ球対称多様体の基本トーン $ \lambda^*(M) $ は、$ \lambda^*(M) \geq \left( \int_0^\infty \frac{V(\sigma)}{S(\sigma)} d\sigma \right)^{-1} $ を満たし、積分が発散する場合には等号が成り立つ。
• もし $ \int_0^\infty \frac{V(\sigma)}{S(\sigma)} d\sigma < \infty $ ならば、$ \lambda^*(M) > 0 $ であり、ブラウン運動の非再帰性を示唆する。
• もし $ \lambda^*(M) = 0 $ ならば、積分 $ \int_0^\infty \frac{V(\sigma)}{S(\sigma)} d\sigma $ は発散しなければならず、これはブラウン運動の確率的完備性を示唆する。
• この結果は、球面から $ \mathbb{R}^n $、$ \mathbb{S}^n(1) $、$ \mathbb{H}^n(-1) $ まで含むすべての球対称多様体へ、Betz-Camera-Gzyl の下界を一般化し、同じ形の下界を有する。