[論文レビュー] The essential spectrum of the Laplacian

Nelia Charalambous, Zhiqin Lu|arXiv (Cornell University)|Nov 14, 2012

Spectral Theory in Mathematical Physics参考文献 9被引用数 6

ひとこと要約

本稿は、完全非コンパクトなリーマン多様体上のラプラシアンの本質的スペクトルに対する、近似固有関数の $ L^∞ $-$ L^1 $ ノルムを用いた、新しいウェイル型基準を導入する。この基準により、曲率や体積成長の仮定なしに、収縮型リッチソリトン上でのラプラシアンの $ L^2 $-本質的スペクトルが $[0,\infty)$ であることを証明する。これは、従来のストゥルムの定理やワンの条件を超えて、既存の結果を拡張するものである。

ABSTRACT

In this article we prove a generalization of Weyl's criterion for the essential spectrum of a self-adjoint operator on a Hilbert space. We then apply this criterion to the Laplacian on functions over open manifolds and get new results for its essential spectrum.

研究の動機と目的

• ヒルベルト空間における自己共役作用素の本質的スペクトルに対するウェイルの基準を一般化し、特に開多様体上のラプラシアンに適用すること。
• $ L^2 $-局所的可積分性を満たさない $ \Delta r $（距離関数のラプラシアン）に起因する、古典的スペクトル基準の失敗を克服すること。
• 滑らかでない、あるいは特異なテスト関数（角や滑らかでない境界を持つ多様体など）に対しても適用可能な新しい基準を確立すること。
• 最大体積成長や曲率の有界性を仮定しない状況でも、収縮型リッチソリトン上でのラプラシアンの $ L^2 $-本質的スペクトルが $[0,\infty)$ であることを証明すること。
• ストゥルムの定理や体積成長条件に依存する従来の結果を超えて、本質的スペクトルが非負実数直線に一致する多様体のクラスを拡張すること。

提案手法

• $ \sigma > 0 $ に対して不等式 $ \|u\|_{L^\infty} \cdot \|\Delta u + \lambda u\|_{L^1} \leq \sigma \|u\|_{L^2}^2 $ を満たす関数 $ u $ を用いた、新しいウェイル型基準を提案。この不等式は、$ \varepsilon = \min(1, (\lambda+1)\sigma^{1/3}) $ に対して $ \sigma(-\Delta) \cap (\lambda - \varepsilon, \lambda + \varepsilon) \neq \emptyset $ を含意する。
• この基準を、完全非コンパクトなリーマン多様体上のラプラシアンに適用し、制御された $ L^\infty $-$ L^1 $ ノルムを持つ近似固有関数を用いる。
• コンパクト台付き連続関数を滑らかに近似するための partition of unity と切り捨て関数を用い、$ \|(-\Delta - \lambda)h\|_{L^1} $ の制御を維持する。
• 滑らか化技術（モリフィケーション）を用いて、コンパクト台付き関数を滑らかにしながらも、$ (-\Delta - \lambda)h $ の $ L^1 $-ノルムの境界を保つ。
• 関数列 $ \{\psi_n\} \subset \mathcal{C}_0^+(M) $ が、$ \|\psi_n\|_{L^\infty} \cdot \|(-\Delta - \lambda)\psi_n\|_{L^1} $ と $ \|\psi_n\|_{L^2}^2 $ の比に衰減条件を満たす場合に、スペクトル包含が成立することを示す補題を確立。
• 近似結果を用いて、このような関数列が任意のコンパクト集合の外に台を持つように選べるならば、$ \lambda \in \sigma_{\text{ess}}(-\Delta) $ が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 $ \Delta u $ の $ L^2 $-有界性に依存しないウェイル型基準を一般化することは可能か？特に $ \Delta r $ が $ L^2 $-局所的可積分でない場合に有効か。
• RQ2 最大体積成長や曲率の有界性を仮定しない場合でも、収縮型リッチソリトン上でのラプラシアンの本質的スペクトルは $[0,\infty)$ のままであるか？
• RQ3 $ u $ が滑らかでない、あるいは $ \Delta u $ が $ L^2 $-可積分でない場合でも、$ \Delta u + \lambda u $ の $ L^\infty $-$ L^1 $ ノルムを用いたスペクトル包含は確立可能か？
• RQ4 角を持つ多様体などの非滑らか幾何を持つ多様体に対しても、この新しい基準を用いて本質的スペクトルを特定可能か？
• RQ5 ストゥルムの定理やワンの体積成長条件が適用できない多様体に対しても、この新しい基準を用いて $ \sigma_{\text{ess}}(-\Delta) = [0,\infty) $ を証明可能か？

主な発見

• 任意の完全な収縮型リッチソリトン上でのラプラシアンの $ L^2 $-本質的スペクトルは、曲率や体積成長の仮定なしに $[0,\infty)$ である。
• 新しい基準により、ある $ \sigma > 0 $ に対して $ \|u\|_{L^\infty} \cdot \|\Delta u + \lambda u\|_{L^1} \leq \sigma \|u\|_{L^2}^2 $ を満たす関数 $ u $ が存在する場合、$ \varepsilon = \min(1, (\lambda+1)\sigma^{1/3}) $ に対して $ \sigma(-\Delta) \cap (\lambda - \varepsilon, \lambda + \varepsilon) \neq \emptyset $ が成り立つ。
• このような関数 $ u $ が任意のコンパクト集合の外に台を持つように選べるならば、$ \lambda \in \sigma_{\text{ess}}(-\Delta) $ が成り立つ。これにより、滑らかさや $ L^2 $-有界性の仮定なしに本質的スペクトルを検出可能である。
• この基準は、古典的手法が失敗する多様体（例：距離関数のラプラシアンが $ L^2 $-可積分でないもの、特定のワーパード積など）にも適用可能である。
• 滑らかでない幾何（角や特異点）を持つ多様体に対しても、標準的な $ L^2 $-基準では適用できないが、本手法によりスペクトル解析が可能になる。
• 近似結果により、連続的かつコンパクト台付き関数からなる関数列が、$ L^\infty $-$ L^1 $-ノルム比に衰減条件を満たす場合に、スペクトル包含を検出可能であることが保証される。