[論文レビュー] Asymptotics of spectral quantities of Schrödinger operators

Thomas Kappeler, B. Schaad+1 more|arXiv (Cornell University)|Jul 22, 2011

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

ひとこと要約

本稿は、トーラス上の1次元シュレーディンガー作用素のスペクトル量に対する改善された漸近展開を確立する。具体的には、フロケ指数（準運動量）および周期的／反周期的固有値を含む。高周波数解のWKB型アンザッツを用いて、$ H^N_0 $ に属するポテンシャルに対して、準運動量 $ \kappa_n $ の漸近展開における主要項が $ n^{-N} $ まで消失することを証明し、誤差項の上限を $ n^{-N-1} $ に高めることで、既知の結果を強化する。この結果は、KdV などの可積分系に応用される。

ABSTRACT

In this paper we provide new asymptotic estimates of the Floquet exponents of Schrödinger operators on the circle. By the same techniques, known asymptotic estimates of various others spectral quantities are improved.

研究の動機と目的

• $ L^2_0 $ ポテンシャルをもつ円周上のシュレーディンガー作用素のフロケ指数（$ \kappa_n $）のより鋭い漸近展開を導出すること。
• 周期的／反周期的固有値 $ \lambda_n $ および平均スペクトル量 $ \tau_n = (\lambda_{2n} + \lambda_{2n-1})/2 $ の既存の漸近推定を改善すること。
• 有界な複素化Sobolev空間 $ H^N_{0,\mathbb{C}} $ の部分集合上で、これらの漸近展開が一様収束することを確立し、複素領域への拡張を図ること。
• $ q \in H^N_0 $ のとき、$ \kappa_n $ の $ 1/n $ 展開における最初の $ N+1 $ 項が恒等的に消失することを示し、スペクトル理論における構造を明確にすること。
• 誤差項を制御し、スペクトルデータに対する一様推定を得るための体系的な枠組みを、WKB型解を用いて構築すること。

提案手法

• 大規模な $ |\nu| $ に対して、シュレーディンガー方程式 $ -y'' + qy = \nu^2 y $ の特別な解 $ y(x,\nu) $ を構成するために、WKBアンザッツが用いられ、誤差推定を簡素化するように設計される。
• 基本解行列 $ M(x,\lambda) $ は $ x=1 $ で、ディリクレ固有値 $ \mu_n $ に対して下三角行列となるため、フロケ指数はトレースと行列式を用いて明示的に計算可能である。
• 準運動量 $ \kappa_n $ は $ \kappa_n = \log\bigl((-1)^n y_2'(1,\mu_n)\bigr) $ として定義され、WKB展開と複素解析的手法を用いてその漸近挙動が導出される。
• 誤差項は、$ 1/\nu $ における $ N $ 次までの近似解 $ z_N(x,\nu) $ を構築することに依拠し、再帰的積分方程式とSobolevノルム推定を用いて制御される。
• スペクトルデータ（ディリクレ固有値 $ \mu_n $、周期的／反周期的固有値 $ \lambda_n $、および $ \tau_n $）は、モノドロミー行列 $ M(1,\lambda) $ のトレースおよび行列式に関連づけられ、これらはWKB解を用いて展開される。
• ポテンシャルおよび関連する特別な関数の実数性と対称性の性質を活用することで、誤差項の上界が一様に得られ、特に $ z_N(x,-\nu) = \overline{z_N(x,\nu)} $ のような複素共役恒等式が用いられる。

実験結果

リサーチクエスチョン

• RQ1 $ n \to \infty $ のとき、$ H^N_0 $ に属するポテンシャルを持つシュレーディンガー作用素のフロケ指数 $ \kappa_n $ の正確な漸近挙動は何か？
• RQ2 周期的／反周期的固有値 $ \lambda_n $ はどのように漸近的に振る舞い、その展開における誤差項は $ H^N_{0,\mathbb{C}} $ 上で一様に有界とみなせるか？
• RQ3 なぜ $ q \in H^N_0 $ のとき、$ \kappa_n $ の $ 1/n $ 展開における最初の $ N+1 $ 項が恒等的に消失するのか？ これはスペクトル理論にどのような意味を持つのか？
• RQ4 平均スペクトル量 $ \tau_n = (\lambda_{2n} + \lambda_{2n-1})/2 $ の漸近挙動は、既知の推定を上回るように改善可能か？ 特に実数の $ H^N_0 $ の場合にその可能性を検討する。
• RQ5 WKB型構成は、誤差項を制御し、スペクトル漸近展開の一様収束を可能にする上で果たす役割は何か？

主な発見

• 任意の $ q \in W \cap H^N_{0,\mathbb{C}} $ に対して、準運動量は $ \kappa_n = \frac{1}{2\pi n} \left( \langle q, \sin 2\pi n x \rangle + \frac{1}{n^{N+1}} \ell^2_n \right) $ と表され、有界集合上で一様に成り立つ。このとき、$ 1/n $ 展開における最初の $ N+1 $ 項が恒等的に消失する。
• 周期的／反周期的固有値の漸近展開は、$ \{\lambda_{2n}, \lambda_{2n-1}\} = \left\{ m_n \pm \sqrt{ \langle q, e^{2\pi i n x} \rangle \langle q, e^{-2\pi i n x} \rangle + \frac{1}{n^{2N+1}} \ell^2_n } + \frac{1}{n^{N+1}} \ell^2_n \right\} $ で与えられ、$ m_n = n^2\pi^2 + \sum_{2 \leq 2j \leq N+1} c_{2j} n^{-2j} $ である。
• 実数ポテンシャルが $ H^N_0 $ に属するとき、平均スペクトル量 $ \tau_n = \frac{\lambda_{2n} + \lambda_{2n-1}}{2} $ は $ \tau_n = m_n + \frac{1}{n^{N+1}} \ell^2_n $ を満たし、$ m_n $ は上記と同じであり、誤差項は有界集合上で一様に有界である。
• すべての漸近展開における誤差項が $ n^{-N-1} $ のオーダーであることが示され、これは以前の推定を改善するものである。
• $ \lambda_{2n}, \lambda_{2n-1} $ の $ \pm $ 項における符号は、すべての $ n \geq 1 $ に対して一貫して $ +1 $ および $ -1 $ に設定可能であり、$ \lambda_{2n-1} \leq \lambda_{2n} $ の正しい順序付けが保証される。
• 本手法により、$ \kappa_n $ が $ L^2_0 $ の複素近傍上で実解析的関数であることが示され、$ H^N_{0,\mathbb{C}} $ 上で漸近展開が一様に有効であることが確立される。