[論文レビュー] Commutators, eigenvalue gaps, and mean curvature in the theory of Schr\"odinger operators

Harrell, Mogoi Evans|arXiv (Cornell University)|Dec 19, 2003

Spectral Theory in Mathematical Physics参考文献 11被引用数 5

ひとこと要約

本稿では、R^{d+1} に埋め込まれたコンパクトで滑らかな d 次元多様体上におけるシュレーディンガー作用素のスペクトル的性質を、交換関係を用いて分析する。平均曲率が固有値ギャップをきめ細かく制約することを確立し、特に作用素 $ H_g = -\Delta + g h^2 $（$ h $ は平均曲率）が中心的な役割を果たす。注目すべきは、固有値ギャップが $ H_{1/4} $ を含む式によって上から抑えられ、その上限は基本固有値ギャップおよび無限に多くの他のギャップにおいて達成可能であるということである。

ABSTRACT

Commutator relations are used to investigate the spectra of Schr\odinger Hamiltonians, $H = -\Delta + V({x}),$ acting on functions of a smooth, compact $d$-dimensional manifold $M$ immersed in $\bbr^{ u}, u \geq d+1$. Here $\Delta$ denotes the Laplace-Beltrami operator, and the real-valued potential--energy function $V(x)$ acts by multiplication. The manifold $M$ may be complete or it may have a boundary, in which case Dirichlet boundary conditions are imposed. It is found that the mean curvature of a manifold poses tight constraints on the spectrum of $H$. Further, a special algebraic r\^ole is found to be played by a Schr\odinger operator with potential proportional to the square of the mean curvature: $$H_{g} := -\Delta + g h^2,$$ where $ u = d+1$, $g$ is a real parameter, and $$h := \sum\limits_{j = 1}^{d} {\kappa_j},$$ with $\{\kappa_j\}$, $j = 1, ..., d$ denoting the principal curvatures of $M$. For instance, by Theorem ef{thm3.1} and Corollary ef{cor4.5}, each eigenvalue gap of an arbitrary Schr\odinger operator is bounded above by an expression using $H_{1/4}$. The isoperimetric parts of these theorems state that these bounds are sharp for the fundamental eigenvalue gap and for infinitely many other eigenvalue gaps.

研究の動機と目的

• 高次元ユークリッド空間に埋め込まれたコンパクトで滑らかな多様体上におけるシュレーディンガー作用素 $ H = -\Delta + V(x) $ のスペクトル的挙動を調査すること。
• 幾何的性質、特に平均曲率が、このような作用素の固有値ギャップをどのように制約するかを特定すること。
• 平均曲率 $ h $ を用いて、特別なシュレーディンガー作用素 $ H_g = -\Delta + g h^2 $（$ g \in \mathbb{R} $）を定義し、その代数的およびスペクトル的中心的役割を同定すること。
• 作用素 $ H_{1/4} $ を用いて、一般のシュレーディンガー作用素の固有値ギャップに対する鋭い上界を確立し、それが基本固有値ギャップおよび無限に多くの高次のギャップにおいて最適であることを証明すること。

提案手法

• 多様体の幾何に関連するベクトル場とシュレーディンガー作用素 $ H $ 間の交換関係技術を用いる。
• 主曲率 $ \kappa_j $（$ j=1,\dots,d $）を用いて平均曲率 $ h = \sum_{j=1}^d \kappa_j $ を定義し、幾何的ポテンシャル $ g h^2 $ を構成する。
• 実数 $ g $ を用いて $ H_g = -\Delta + g h^2 $ を導入し、固有値ギャップ推定のスペクトル的基準としての役割を果たす。
• 交換関係の恒等式を活用して、任意のシュレーディンガー作用素の固有値ギャップに対する上界を $ H_{1/4} $ のスペクトルの言語で導出する。
• 等周型定理を適用し、$ H_{1/4} $ から得られる上界が基本ギャップおよび無限に多くの他のギャップにおいて鋭いことを示す。
• 境界を持つ多様体に対してディリクレ境界条件を適用し、完全多様体および境界を含む多様体の両方を考察する。

実験結果

リサーチクエスチョン

• RQ1 多様体の平均曲率は、その上に定義されたシュレーディンガー作用素の固有値ギャップをどのように制約するか？
• RQ2 平均曲率 $ h $ を用いて定義されるシュレーディンガー作用素 $ H_g = -\Delta + g h^2 $ の代数的およびスペクトル的意義は何か？
• RQ3 一般のシュレーディンガー作用素の固有値ギャップは、$ H_g $ の特定の例（例えば $ H_{1/4} $）を用いて上から抑えられるか？
• RQ4 導出された固有値ギャップの上界は鋭いか？また、どの固有値ギャップにおいて等号が成立するか？

主な発見

• 多様体の平均曲率は、任意のシュレーディンガー作用素 $ H = -\Delta + V(x) $ のスペクトルにきめ細かい制約を課す。
• 作用素 $ H_{1/4} = -\Delta + \frac{1}{4} h^2 $ は、多様体上に定義された任意のシュレーディンガー作用素の固有値ギャップに対する上界を提供する。
• 本稿の等周型定理により、$ H_{1/4} $ から得られる上界が基本固有値ギャップにおいて鋭いことが示された。
• 同じ上界は、最初のギャップに限らず、無限に多くの高次の固有値ギャップに対しても鋭い。
• 構成手法により、特に $ g = \frac{1}{4} $ のとき、$ H_g $ が交換関係を通じてスペクトルギャップを支配する特別な代数的役割を果たすことが明らかになった。
• 境界を持つコンパクト多様体（ディリクレ条件を満たす場合）および完全多様体に対しても、結果は成り立つ。ただし、すべての多様体が $ \mathbb{R}^{d+1} $ に滑らかに埋め込まれていることが条件である。