[論文レビュー] One-dimensional Schr\\"odinger operators with singular periodic potentials

Vladimir Mikhailets, Volodymyr Molyboga|arXiv (Cornell University)|May 7, 2008

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

ひとこと要約

本稿は、$ H^{-1}_{\text{per}}(\mathbb{R},\mathbb{R}) $ 内の特異な周期的ポテンシャルを持つ1次元シュレーディンガー作用素の5つの異なる定義の同値性を確立し、それらが自己共役であり、バンドギャップ構造を有する連続スペクトルを持つことを証明する。スペクトル連続性の新たな証明がなされ、スペクトルギャップの端点が $[0,1]$ 上の周期的・準周期的固有値として正確に特徴づけられ、Friedrichs拡大と最大準微分拡大の一致に関する先行研究における矛盾が解消される。

ABSTRACT

We study the one-dimensional Schr\\"odinger operators $$ S(q)u:=-u"+q(x)u,\\quad u\\in \\mathrm{Dom}\\left(S(q)\ ight), $$ with $1$-periodic real-valued singular potentials $q(x)\\in H_{\\operatorname{per}}^{-1}(\\mathbb{R},\\mathbb{R})$ on the Hilbert space $L_{2}\\left(\\mathbb{R}\ ight)$. We show equivalence of five basic definitions of the operators $S(q)$ and prove that they are self-adjoint. A new proof of continuity of the spectrum of the operators $S(q)$ is found. Endpoints of spectrum gaps are precisely described.

研究の動機と目的

• 特異な周期的ポテンシャルを持つシュレーディンガー作用素の異なる定義の同値性に関して、先行文献における矛盾を解消すること。
• $ q \in H^{-1}_{\text{per}}(\mathbb{R},\mathbb{R}) $ に対して、最大準微分作用素 $ S_{\text{max}}(q) $ が自己共役であることを証明すること。
• Friedrichs拡大、形式和作用素、滑らかな近似のノルム・リゾルベント極限に関する先行結果を統合・拡張すること。
• スペクトル連続性の新たな証明を提示し、スペクトルギャップの構造を正確に記述すること。

提案手法

• 周期的分布 $ 1 $-周期の $ H^{-1}_{\text{per}}(\mathbb{R},\mathbb{R}) $ のフーリエ級数展開を用い、$ \sum_{k \in 2\mathbb{Z}} (1+|k|)^{-2} |\hat{q}(k)|^2 < \infty $ で定義する。
• ラグランジュの恒等式と境界極限解析を用いて、$ S_{\text{min}}(q) $ および $ S_{\text{max}}(q) $ の定義域を特徴づけ、$ S_{\text{min}}^* = S_{\text{max}} $ を示す。
• $ S_{\text{min}}(q) $、$ S_{\text{max}}(q) $、Friedrichs拡大 $ S_F(q) $、形式和 $ S_{\text{form}}(q) $、滑らかな近似のノルム・リゾルベント極限 $ S_{\text{lim}}(q) $ の間の同値性を確立する。
• リミット作用素 $ S_{\text{lim}}(q) $ と組み合わせてバーグホルト＝リャプノフ定理を適用し、スペクトル連続性およびギャップ構造を分析する。
• スペクトルギャップを、区間 $[0,1]$ 上のSturm-Liouville問題の周期的・準周期的固有値として特定することで分析する。

実験結果

リサーチクエスチョン

• RQ1 準微分作用素、Friedrichs拡大、形式和、ノルム・リゾルベント極限という異なる作用素定義は、$ H^{-1}_{\text{per}} $ ポテンシャルに対して同値であるか？
• RQ2 $ q \in H^{-1}_{\text{per}}(\mathbb{R},\mathbb{R}) $ に対して、最大準微分作用素 $ S_{\text{max}}(q) $ は自己共役か？
• RQ3 スペクトルギャップの正確な構造は何か？ その端点は周期的・準周期的固有値とどのように関係するか？
• RQ4 リミット作用素 $ S_{\text{lim}}(q) $ を用いて、スペクトル連続性の新たな証明を構築できるか？

主な発見

• すべての実数値の1周期的ポテンシャル $ q \in H^{-1}_{\text{per}}(\mathbb{R},\mathbb{R}) $ に対して、最大準微分作用素 $ S_{\text{max}}(q) $ は自己共役である。
• 5つの定義 $ S_{\text{min}}(q) $、$ S_{\text{max}}(q) $、$ S_F(q) $、$ S_{\text{form}}(q) $、$ S_{\text{lim}}(q) $ はすべて同値であり、同一の自己共役作用素を定義する。
• $ S(q) $ のスペクトルは連続的であり、$ -\infty < \lambda_0(q) < \lambda_1^-(q) \leq \lambda_1^+(q) < \lambda_2^-(q) \leq \lambda_2^+(q) < \cdots $ を満たすバンドギャップ構造を持つ。
• 偶数 $ k $ に対して $ \lambda_k^\pm(q) $ は周期的固有値であり、奇数 $ k $ に対しては準周期的固有値である。これらは区間 $[0,1]$ 上のSturm-Liouville問題の固有値である。
• Hryniv と Mykytyuk が主張した $ S_{\text{max}}(q) = S_F(q) $ という誤った主張の誤りが解消され、正しい統一的枠組みが提供される。