[論文レビュー] Eigenvalue inequalities for Klein-Gordon Operators

Evans M. Harrell, Selma Yıldırım Yolcu|ArXiv.org|Oct 1, 2008

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

ひとこと要約

本稿は、$ \mathbb{R}^d $ 内の有界領域上で定義された相対論的擬微分作用素であるクライン＝ゴルドン作用素 $ H_{m,\overline{\Omega}} $ に対して、普遍的な固有値不等式を確立する。トレース恒等式とスペクトル解析を用いて、固有値およびその平均値に関する鋭い上限・下限を導出し、Weyl型の下界と $ \overline{\beta_k} $ を含む普遍的な比を、次元および $ k $ のみに依存する明示的な定数を用いて得る。これらの結果は、外部ポテンシャルを有する摂動作用素に対しても拡張可能である。

ABSTRACT

We consider the pseudodifferential operators $H_{m,Ω}$ associated by the prescriptions of quantum mechanics to the Klein-Gordon Hamiltonian $\sqrt{|{\bf P}|^2+m^2}$ when restricted to a compact domain $Ω$ in ${\mathbb R}^d$. When the mass $m$ is 0 the operator $H_{0,Ω}$ coincides with the generator of the Cauchy stochastic process with a killing condition on $\partial Ω$. (The operator $H_{0,Ω}$ is sometimes called the {\it fractional Laplacian} with power 1/2, cf. \cite{Gie}.) We prove several universal inequalities for the eigenvalues $0 < β_1 < β_2 \le >...$ of $H_{m,Ω}$ and their means $\overline{β_k} := \frac{1}{k} \sum_{\ell=1}^k{β_\ell}$. Among the inequalities proved are: {\overline{β_k}} \ge { m cst.} (\frac{k}{|Ω|})^{1/d} for an explicit, optimal "semiclassical" constant, and, for any dimension $d \ge 2$ and any $k$: β_{k+1} \le \frac{d+1}{d-1} \overline{β_k}. Furthermore, when $d \ge 2$ and $k \ge 2j$, \frac{\overlineβ_{k}}{\overlineβ_{j}} \leq \frac{d}{2^{1/d}(d-1)}(\frac{k}{j})^{\frac{1}{d}}. Finally, we present some analogous estimates allowing for an external potential energy field, i.e, $H_{m,Ω}+ V(\bf x)$, for $V(\bf x)$ in certain function classes.

研究の動機と目的

• 有界領域 $ \Omega \subset \mathbb{R}^d $ に制限された相対論的クライン＝ゴルドン作用素 $ H_{m,\Omega} $ である $ \sqrt{|\mathbf{P}|^2 + m^2} $ の固有値に対する普遍的境界を確立すること。
• 従来、ラプラシアンやシュレーディンガー作用素に対して知られていた古典的普遍固有値不等式を、相対論的粒子をモデル化する一次擬微分作用素 $ H_{m,\Omega} $ に拡張すること。
• 固有値 $ \beta_k $、その平均値 $ \overline{\beta_k} $、および比 $ \overline{\beta_k}/\overline{\beta_j} $ に対する鋭い、次元に依存する境界を、領域の具体的な幾何構造に依存しない形で導出すること。
• 外部ポテンシャル $ V(\mathbf{x}) $ を有する場合、すなわち $ H_{m,\Omega} + V(\mathbf{x}) $ の場合にこれらの不等式を一般化すること。特に、ナノ物理学やグラフェンのような物質における有効ハミルトニアンに関連する、特定の $ L^s $-クラスに属する $ V $ に対して有効である。

提案手法

• 著者らは、擬微分作用素の交換子のトレース恒等式を用いてスペクトル不等式を導出し、ラプラシアンに対する古典的普遍境界の技法を拡張する。
• Fourier変換を用いて $ H_{m,\Omega} $ を定義し、記号を $ \sqrt{|\xi|^2 + m^2} $ とし、Dirichlet境界条件を満たす $ L^2(\Omega) $ 上でのスペクトル性質を検討する。
• $ m = 0 $ の場合、$ H_{0,\Omega} $ はコーシー過程の生成作用素として特定され、遷移密度 $ p_0(t,x) \propto (t^2 + |x|^2)^{-(d+1)/2} $ を用いて核の有界性を示す。
• 半群核のラプラス変換を用いて、リゾルベントノルム $ \|H_{m,\Omega}^{-1}\| $ の推定を行い、$ V_- H_{m,\Omega}^{-1} $ の $ L^p $ ノルムの境界を得る。
• Youngの畳み込み不等式を用いて、$ |x|^{-(d-1)} * \varphi $ の $ L^{2s/(s-2)} $ ノルムを制御し、摂動作用素におけるポテンシャル項の推定を可能にする。
• Legendre変換を用いて $ \overline{\beta_k}/\overline{\beta_j} $ の境界を最適化し、最終的に次元 $ d $、$ k $、$ j $ に明示的な依存関係を示す普遍比不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 有界領域 $ \Omega \subset \mathbb{R}^d $ 上でのクライン＝ゴルドン作用素 $ H_{m,\Omega} $ の固有値 $ \beta_k $ を支配する普遍的不等式は何か。これは $ \Omega $ の幾何構造に依存しない。
• RQ2 固有値の平均値 $ \overline{\beta_k} = \frac{1}{k}\sum_{\ell=1}^k \beta_\ell $ は $ k $ および領域体積 $ |\Omega| $ に対してどのようにスケーリングされるか。また、鋭い半古典的定数は何か。
• RQ3 固有値ギャップ $ \beta_{k+1} - \beta_k $ は $ \overline{\beta_k} $ のみで普遍的に境界づけられるか。$ d \geq 2 $ の場合、最良の定数は何か。
• RQ4 $ k \geq 2j $ の場合、固有値平均の比 $ \overline{\beta_k}/\overline{\beta_j} $ の最良の普遍的比は何か。これは次元 $ d $ および比 $ k/j $ にどのように依存するか。
• RQ5 外部ポテンシャル場 $ V(\mathbf{x}) $ は固有値境界にどのように影響を与えるか。どのような関数クラスの $ V $ に対して、このような普遍的推定が可能か。

主な発見

• 固有値平均はWeyl型の下界 $ \overline{\beta_k} \geq \text{cst.} \left( \frac{k}{|\Omega|} \right)^{1/d} $ を満たし、明示的かつ最良の半古典的定数は次元 $ d $ のみに依存する。
• $ d \geq 2 $ および任意の $ k $ に対して、固有値ギャップは $ \beta_{k+1} \leq \frac{d+1}{d-1} \overline{\beta_k} $ を満たす。これは領域 $ \Omega $ に依存しない普遍的比の境界である。
• $ d \geq 2 $ および $ k \geq 2j $ の場合、固有値平均の比は $ \frac{\overline{\beta_k}}{\overline{\beta_j}} \leq \frac{d}{2^{1/d}(d-1)} \left( \frac{k}{j} \right)^{1/d} $ で抑えられ、明示的な定数を伴う。
• この境界は、$ s > d $ である $ V \in L^s(\Omega) $ の場合に、$ H_{m,\Omega} + V(\mathbf{x}) $ の摂動作用素に対しても拡張可能である。
• 解析により、$ k/j $ および $ d $ に依存する普遍的境界 $ \overline{\beta_k}/\overline{\beta_j} $ が得られ、べき乗則的依存 $ (k/j)^{1/d} $ を示し、半古典的極限において定数が最良であることが示される。
• 本手法はトレース恒等式、リゾルベント推定、およびLegendre変換に依拠しており、球形領域や高温極限などの特定の極限状況で等号が成立する不等式を導出する。