[論文レビュー] Eigenvalues of the Laplacian on a compact manifold with density

Bruno Colbois, Soufi, Ahmad El+1 more|Oct 5, 2013

Geometric Analysis and Curvature Flows被引用数 5

ひとこと要約

本稿は、密度関数を伴うコンパクトなリーマン多様体上の重み付きラプラシアン（バクリ＝エメリーまたはウィッテンラプラシアン）のk番目の固有値に対する上界を確立し、Weylの漸近公式が予測するようにkに従って正しくスケーリングされることを示している。重み付きラプラシアンの固有値上界が密度関数のL^pノルムに鋭い依存関係を示すことも証明し、球面上のHerschの不等式を重み付きの場合に拡張し、最良の第一非ゼロ固有値推定値を提供する。

ABSTRACT

In this paper, we study the spectrum of the weighted Laplacian (also called Bakry-Emery or Witten Laplacian) $L_σ$ on a compact, connected, smooth Riemannian manifold $(M,g)$ endowed with a measure $σdv_g$. First, we obtain upper bounds for the $k-$th eigenvalue of $L_σ$ which are consistent with the power of $k$ in Weyl's formula. These bounds depend on integral norms of the density $σ$, and in the second part of the article, we give examples showing that this dependence is, in some sense, sharp. As a corollary, we get bounds for the eigenvalues of Laplace type operators, such as the Schrödinger operator or the Hodge Laplacian on $p-$forms. In the special case of the weighted Laplacian on the sphere, we get a sharp inequality for the first nonzero eigenvalue which extends Hersch's inequality.

研究の動機と目的

• 滑らかで正の密度関数 $ \sigma = e^{-f} $ を持つコンパクトなリーマン多様体上での重み付きラプラシアン $ L_{\rho} $ のk番目の固有値に対する上界を導出すること。
• これらの上界が、Weylの漸近公式が予測するようにkのべき乗に従ってスケーリングされることを保証すること。
• 密度関数 $ \sigma $ のL^pノルムにたいする依存関係の鋭さを、明示的な反例によって示すこと。
• Herschの不等式のような古典的な固有値不等式を、球面上の重み付きラプラシアンに拡張すること。
• シュレーディンガー作用素やp形式上のホッジラプラシアンを含む関連作用素の固有値に対する上界を提供すること。

提案手法

• 重み付きリーマン幾何学における変分原理と比較技法を用いて、$ \lambda_k(L_{\sigma}) $ の上界を導出する。
• 作用素 $ L_{\sigma} $ とシュレーディンガー作用素 $ H_{\sigma} = \Delta_g + \frac{1}{4}|\nabla f|^2 + \frac{1}{2}\Delta_g f $ のユニタリ同倣を用い、ポテンシャル理論によるスペクトル解析を可能にする。
• 明示的なテスト関数と計量モデル（例：ワーパード積）を構築し、密度関数の極端な変動下での固有値挙動を分析する。
• 準等長性の議論と比較定理を用いて、密度関数が急激に変化する小領域における固有値を推定する。
• 最小最大原理とノイマン固有値比較を用いて、$ \lambda_2(L_{\sigma}) $ を幾何的・解析的量で上界で抑え込む。
• Weylのスケーリングに一致するように、$ \lambda_k(L_{\sigma_j}) \sim c j^2 $ となるような密度列 $ \sigma_j $ を構築することで、上界の鋭さを確立する。

実験結果

リサーチクエスチョン

• RQ1 重み付きラプラシアン $ L_{\sigma} $ の固有値はkに対してどのようにスケーリングされるか。また、このスケーリングは、密度関数 $ \sigma $ のL^pノルムに依存する上界によって捉えられるか。
• RQ2 密度 $ \sigma $ にたいする固有値上界の依存関係は、すべての密度に対して一様に達成可能なより良い依存関係が存在しないという意味で鋭いか。
• RQ3 球面上の第一非ゼロ固有値に対するHerschの等周不等式は、重み付きラプラシアンの設定に一般化可能か。
• RQ4 密度関数 $ \sigma = e^{-f} $ を変化させたときのスペクトル的影響は何か。特に、fが多数の臨界点をもつ、または勾配が急激に変化する場合にどうなるか。
• RQ5 $ L_{\sigma} $ の固有値は、標準ラプラシアンやシュレーディンガー作用素、ホッジラプラシアンなどの関連作用素の固有値とどのように関係するか。

主な発見

• 本稿は、Weylの法則が予測するようにkに正しくスケーリングされる $ \lambda_k(L_{\sigma}) $ の上界を確立し、その上界は密度 $ \sigma $ のL^pノルムに依存する。
• 明示的な密度列 $ \sigma_j $ の構築により、$ \lambda_k(L_{\sigma_j}) \sim c j^2 $ となることが示され、Weylのスケーリングと一致する。これにより、上界のL^pノルムへの依存関係の鋭さが裏付けられる。
• 球面 $ \mathbb{S}^n $ に対して、$ L_{\sigma} $ の第一非ゼロ固有値は、Herschの結果を拡張する鋭い不等式を満たし、球面計量のとき等号が成立する。
• 上記の上界は、シュレーディンガー作用素やp形式上のホッジラプラシアンの固有値推定値の導出に応用され、類似のスケーリング行動が示された。
• モース関数 $ f $ が $ m_0 $ 個の安定的臨界点を持つ場合、$ \sigma \to e^{-\varepsilon f} $ のとき、$ L_{\sigma} $ のスペクトルに任意に大きな固有値が現えることが示され、$ \sigma $ に依存しない一様な上界は存在しないことが示された。
• 構築された領域上での重み付きラプラシアンの第一正の固有値 $ \lambda_2(L_{\sigma_j}) $ は、$ \lambda_2(L_{\sigma_j}) \geq C j^2 $ を満たし、Weylの公式におけるk^2スケーリングの鋭さが確認された。