[論文レビュー] On the spectrum of a Schroedinger operator perturbed by a fast oscillating potential

D. I. Borisov|ArXiv.org|May 25, 2005

Spectral Theory in Mathematical Physics参考文献 27被引用数 3

ひとこと要約

本稿は、周期的で速い振動を持つポテンシャルを有する1次元シュレーディンガー作用素のスペクトル的性質を分析し、$ε \to 0$ の極限において、本質的スペクトルを明示的に導出し、固有値および固有関数の完全な漸近展開を構成する。主な貢献は、本質的スペクトルのギャップ（ラキュナ）内に存在する離散固有値の厳密な漸近的構造の導出であり、その存在条​​件および固有値と関連する固有関数の高次の正確な展開を含む。

ABSTRACT

We study the spectrum of a one-dimensional Schroedinger operator perturbed by a fast oscillating potential. The oscillation period is a small parameter. The essential spectrum is found in an explicit form. The existence and multiplicity of the discrete spectrum are studied. The complete asymptotics expansions for the eigenvalues and the associated eigenfunctions are constructed.

研究の動機と目的

• $L_2(\mathbb{R})$ 上の、速い振動を持つポテンシャルで摂動されたシュレーディンガー作用素の本質的スペクトルを特徴付けること。
• 本質的スペクトルのギャップ（ラキュナ）内に存在する離散固有値の存在、数、多重度を特定すること。
• 振動パラメータ $\varepsilon \to 0$ の極限において、固有値および関連する固有関数の完全な漸近展開を構成すること。
• 半無限および内部のギャップ（ラキュナ）内に離散固有値が出現する厳密な条件を確立すること。

提案手法

• 本質的スペクトルは、周期的微分作用素のスペクトル理論および非有界領域における均質化技法を用いて導出された。
• 作用素 $H_\varepsilon = -\frac{d^2}{dx^2} + V(x) + a(x/\varepsilon)$ が $V$ がコンパクトに台を持つこと、$a$ が1周期で平均がゼロであることとして分析された。
• 多スケール解析と異なる領域（振動的および通常の領域）における解のマッチングを用いて、固有値の漸近展開が構成された。
• 固有関数は、振動的および減衰的成分への分解を用いて漸近展開され、係数は補助的スペクトル問題の解法によって決定された。
• ギャップ内に固有値が存在する条件は、$V$ と $a$ のフーリエ係数を含むある積分の符号と関連づけられ、伝送行列の構成と関連する固有値条件を通じて確立された。
• 高次の漸近展開は、固有値方程式の反復的精錬を用いて導出され、誤差項は作用素ノルム推定と摂動論によって制御された。

実験結果

リサーチクエスチョン

• RQ1 $ε \to 0$ の極限において、速い振動を持つポテンシャルを有するシュレーディンガー作用素 $H_\varepsilon$ の明示的な本質的スペクトルは何か？
• RQ2 本質的スペクトルのギャップ（ラキュナ）内に離散固有値が出現する条件は何か？
• RQ3 $ε \to 0$ の極限において、$H_\varepsilon$ の固有値および固有関数の完全な漸近展開は何か？
• RQ4 振動ポテンシャル $a$ のフーリエ係数と、背景ポテンシャル $V$ の積分が、離散固有値の存在および位置にどのように影響するか？

主な発見

• 作用素 $H_\varepsilon$ の本質的スペクトルは、$\sigma_{\text{ess}}(H_\varepsilon) = \bigcup_{n=0}^{\infty} [\mu_n^+(\varepsilon^2), \mu_{n+1}^- (\varepsilon^2)]$ で与えられ、ここで $\mu_n^\pm(t)$ は $t = \varepsilon^2$ に関する明示的なべき級数展開をもつメロモルフィック関数である。
• 半無限ギャップ（$n=0$）において、しきい値の1次補正は $\mu_{0,1}^+ = -\int_0^1 \left( \int_0^\xi a(\eta)\,d\eta + \int_0^1 a(\eta)\eta\,d\eta \right)^2 d\xi$ であり、$a$ の累積積分に依存する。
• $n$ 番目の内部ギャップ内に離散固有値が存在するのは、$\tau_{\mathfrak{n}_\pm}^\pm > 0$ であるときであり、ここで $\tau_{\mathfrak{n}_\pm}^\pm$ は $V$ と $a$ のフーリエ係数から導かれる係数である。
• $\int_\mathbb{R} V(x)\,dx \geq 0$ ならば、$n \geq 2$ の $n$ 番目のギャップ内に固有値 $\lambda_{\varepsilon,-}$ が存在し、積分が正であれば $\tau_2^- > 0$、積分がゼロであれば $\tau_4^- > 0$ となる。
• 固有値は $\lambda_{\varepsilon,\pm} = \mu_n^\pm + \varepsilon^{2\mathfrak{n}_\pm-2} \cdot \text{低次の項}$ の形の完全な漸近展開をもち、係数は $V$、$a$ およびそれらのフーリエ変換によって決定される。
• 関連する固有関数は、$W_2^2(Q)$ 内で $\psi_{\varepsilon,\pm} = c_\pm(\varepsilon) \cdot \varepsilon T_{11}^\pm(\varepsilon, k_{\varepsilon,\pm}) g_{\varepsilon,\pm}$ に漸近的に等価であり、ここで $g_{\varepsilon,\pm}$ は簡略化されたスペクトル問題を満たし、$c_\pm(\varepsilon) \to 1$ が $ε \to 0$ のとき成り立つ。