[論文レビュー] Eigenvalues of collapsing domains and drift Laplacians

Zhiqin Lu, Julie Rowlett|arXiv (Cornell University)|Feb 28, 2010

Geometric Analysis and Curvature Flows参考文献 24被引用数 5

ひとこと要約

本稿では、薄いリーマン多様体族がバクリー＝エメリー多様体に崩壊する際の固有値の収束を確立し、崩壊する領域のノイマン固有値が、誤差 $O(\varepsilon^2)$ を伴ってドリフトラプラシアンの固有値に収束することを示している。主な貢献は、リーマン幾何からバクリー＝エメリー幾何への勾配推定値を転送するための新しい最大原理であり、これにより古典的結果が重み付き多様体へ直接一般化可能である。

ABSTRACT

By introducing a weight function to the Laplace operator, Bakry and Émery defined the "drift Laplacian" to study diffusion processes. Our first main result is that, given a Bakry-Émery manifold, there is a naturally associated family of graphs whose eigenvalues converge to the eigenvalues of the drift Laplacian as the graphs collapse to the manifold. Applications of this result include a new relationship between Dirichlet eigenvalues of domains in $\R^n$ and Neumann eigenvalues of domains in $\R^{n+1}$ and a new maximum principle. Using our main result and maximum principle, we are able to generalize \emph{all the results in Riemannian geometry based on gradient estimates to Bakry-Émery manifolds}.

研究の動機と目的

• 薄い領域がバクリー＝エメリー多様体に崩壊する際のノイマン固有値とそのドリフトラプラシアンの固有値との間のスペクトル収束を確立すること。
• 新規の最大原理を用いて、古典的リーマン幾何の勾配推定値および固有値結果をバクリー＝エメリー多様体の設定へ一般化すること。
• 重み付き崩壊構成を介して、$\mathbb{R}^n$ におけるディリクレ固有値と $\mathbb{R}^{n+1}$ におけるノイマン固有値の間の幾何的ブリッジを提供すること。
• 変動する厚さを持つ薄い領域における固有関数のための技術的道具（シューアド推定値および境界正則性の制御）を開発すること。
• リヤウ型勾配推定値の適用範囲を、再導出を伴わずに重み付き多様体へ拡張すること。

提案手法

• 高さ $\varepsilon e^{-\phi(x)}$ の一パラメータ族 $M_\varepsilon \subset M \times \mathbb{R}^+$ を構成し、$\varepsilon \to 0$ の際に底面多様体 $M$ に崩壊するようにする。
• $M_\varepsilon$ 上でのラプラシアン $\tilde{\Delta} = \Delta + \partial_y^2$ を定義し、そのノイマン固有値 $\mu_k(\varepsilon)$ を分析する。
• $M$ 上のドリフトラプラシアン $\Delta_\phi = \Delta - \nabla\phi \cdot \nabla$ の変分原理を用いて $\mu_k(\varepsilon)$ と比較する。
• 勾配の制御のための新しい最大原理を適用し、$M_\varepsilon$ 上の固有関数の勾配に一様な $C^{2,\alpha}$ 推定値を確立する。
• シューアド推定値および補間不等式を用いて、$\|\nabla r_{k,\varepsilon}\|_{C^{2,\alpha}}$ を $\varepsilon$ および $\|h\|_{C^{4,\alpha}}$ の関数として有界化する。
• 固有関数の比較とエネルギー推定値を用いて、$\mu_k(\varepsilon) = \mu_k + O(\varepsilon^2)$ の主要な収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 薄い領域が1方向に崩壊する際、そのノイマン固有値は、底面多様体上のドリフトラプラシアンの固有値にどのように収束するか？
• RQ2 リーマン幾何からバクリー＝エメリー幾何への勾配推定値を転送する最大原理を確立できるか？
• RQ3 崩壊構成を介して、$\mathbb{R}^n$ におけるディリクレ固有値と $\mathbb{R}^{n+1}$ におけるノイマン固有値の間の正確なスペクトル的関係は何か？
• RQ4 スペクトル収束を用いて、リーマン幾何における古典的固有値推定値が、バクリー＝エメリー多様体へどの程度一般化可能か？
• RQ5 変動する厚さを持つ崩壊する薄い領域における固有関数の一様な $C^{2,\alpha}$ 正則性を保証する技術的条件は何か？

主な発見

• 崩壊する領域 $M_\varepsilon$ のノイマン固有値 $\mu_k(\varepsilon)$ は、$\varepsilon \to 0$ の際に、$M$ 上のドリフトラプラシアンの固有値 $\mu_k$ に誤差 $O(\varepsilon^2)$ を伴って収束する。
• リーマン多様体とバクリー＝エメリー多様体の両方における勾配推定値の間の一対一対応を提供する、新しい最大原理が確立された。
• $M \subset \mathbb{R}^n$ の最初のディリクレ固有値 $\lambda_1$ は、$M_\varepsilon \subset \mathbb{R}^{n+1}$ 上のノイマン固有値 $\mu_{k-1}(\varepsilon)$ の極限と $\lim_{\varepsilon \to 0} \mu_{k-1}(\varepsilon) = \lambda_k - \lambda_1$ を介して関連づけられる。
• $M_\varepsilon$ 上の固有関数の勾配の $C^{2,\alpha}$ ノルムは、$O(\varepsilon^2 + \varepsilon \|\nabla r_{k,\varepsilon}\|_{C^{2,\alpha}})$ で有界であり、一様収束が可能である。
• シューアド推定値および補間不等式を用いてブートストラップの議論を完結させ、$\|\nabla r_{k,\varepsilon}\|_{C^{2,\alpha}}$ が $\varepsilon$ に依存しない形で一様に制御されることを示した。
• この手法により、リーマン幾何からバクリー＝エメリー幾何へのすべての勾配推定値技術の再導出を伴わずに直接転送可能であり、古典的結果の顕著な一般化が達成された。