[論文レビュー] Bethe-Sommerfeld Conjecture and Absolutely Continuous Spectrum of Multi-Dimensional Quasi-Periodic Schrödinger Operators

Yulia Karpeshina, Leonid Parnovski+1 more|arXiv (Cornell University)|Oct 12, 2020

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

ひとこと要約

本稿は、$ d \geq 2 $ の多変数準周期的シュレーディンガー作用素 $ H = -\Delta + V(\mathbf{x}) $ の一般クラスに対して、運動量空間における多スケール解析を用いて、一般化固有関数を平面波の小さな摂動として構成する新規技術を導入し、絶対連続スペクトルが半直線 $[\lambda_*, \infty)$ を含むことを証明している。この結果は、準周期的設定におけるベーテ＝ゾンマーフェルト予想の一つの形を裏付けている。

ABSTRACT

We consider Schrödinger operators $H=-Δ+V({\mathbf x})$ in ${\mathbb R}^d$, $d\geq2$, with quasi-periodic potentials $V({\mathbf x})$. We prove that the absolutely continuous spectrum of a generic $H$ contains a semi-axis $[λ_*,+\infty)$. We also construct a family of eigenfunctions of the absolutely continuous spectrum; these eigenfunctions are small perturbations of the exponentials. The proof is based on a version of the multi-scale analysis in the momentum space with several new ideas introduced along the way.

研究の動機と目的

• 多変数準周期的シュレーディンガー作用素の絶対連続スペクトルに半直線が存在することを確立すること。
• 大規模な $ \|\mathbf{k}\| $ に対して、指数関数 $ \mathbf{e}_{\mathbf{k}} $ の小さな摂動として絶対連続スペクトルの一般化固有関数を構成すること。
• 次元 $ d \geq 2 $ の設定において、スペクトルが半直線を含むと予想される準周期的設定に、ベーテ＝ゾンマーフェルト予想を拡張すること。
• 有限個のフーリエモードを持つ準周期的ポテンシャルを取り扱える、頑健な運動量空間における多スケール解析フレームワークを構築すること。
• 基本周波数 $ \vec{\boldsymbol{\omega}} $ のほとんどすべての選択に対して、スペクトルが $[\lambda_*, \infty)$ を含むことを示すこと、ただし $ \lambda_* $ は十分に大きい。

提案手法

• 準周期的ポテンシャル $ V(\mathbf{x}) = \sum_{|\mathbf{n}| < Q} V_{\mathbf{n}} e^{i\langle \mathbf{n} \vec{\boldsymbol{\omega}}, \mathbf{x} \rangle} $ を持つシュレーディンガー作用素 $ H = -\Delta + V(\mathbf{x}) $ を定式化する。ここで $ \vec{\boldsymbol{\omega}} \in [-1/2, 1/2]^{dl} $ かつ $ \mathbf{n} \in \mathbb{Z}^l $ である。
• 作用素 $ H $ に対して不変な指数関数の空間 $ \mathfrak{H}(\mathbf{k}) = \mathrm{span}\{ e^{i\langle \mathbf{k} + \mathbf{n} \vec{\boldsymbol{\omega}}, \mathbf{x} \rangle} \}_{\mathbf{n} \in \mathbb{Z}^l} $ を考える。
• 繰り返し摂動論を用いて、$ \|u^{(\infty)}\|_{L^\infty} < C \|\mathbf{k}\|^{-\delta} $（$ \delta > 0 $）を満たす一般化固有関数 $ U^{(\infty)}(\mathbf{k}, \mathbf{x}) = e^{i\langle \mathbf{k}, \mathbf{x} \rangle} (1 + u^{(\infty)}(\mathbf{k}, \mathbf{x})) $ を構成する。
• リーマン球面のパッチ、クラスタ、中心立方体を用いた新しい再帰的スキームを含む運動量空間における多スケール解析を適用し、リゾルベントを制御し、スペクトル局在を回避する。
• 行列値正則関数に対するカルタンの補題を用いて、ハミルトニアンの逆行列が大きくなるような「悪い」周波数の測度を推定する。
• マルチスケールのブートストラップ法により、悪い集合の測度に対する指数的減衰推定を確立し、良い周波数の集合が全測度を持つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 多変数準周期的シュレーディンガー作用素の絶対連続スペクトルは、基本周波数の一般な選択に対して半直線 $[\lambda_*, \infty)$ を含むか？
• RQ2 絶対連続スペクトルの一般化固有関数は、大規模な $ \|\mathbf{k}\| $ に対して平面波 $ e^{i\langle \mathbf{k}, \mathbf{x} \rangle} $ の小さな摂動として構成可能か？
• RQ3 運動量空間における多スケール解析は、有限個のフーリエモードを持つ準周期的ポテンシャルを扱うためにどの程度適応可能か？
• RQ4 ファイバー空間 $ \mathfrak{H}(\mathbf{k}) $ の構造と $ H $ がそれに対して作用する方法は、フロケ型解の構成をどのように可能にするか？
• RQ5 スペクトル的性質が失敗する周波数の集合の測度的挙動はどのようなものか？ その集合が無視可能であることを示せるか？

主な発見

• 任意の有限個のフーリエ係数 $ \{V_{\mathbf{n}}\} $ に対して、基本周波数の全測度部分集合 $ \boldsymbol{\Omega}_* \subset [-1/2, 1/2]^{dl} $ が存在し、任意の $ \vec{\boldsymbol{\omega}} \in \boldsymbol{\Omega}_* $ に対して、$ H $ の絶対連続スペクトルが半直線 $[\lambda_*, \infty)$ を含む。
• 一般化固有関数 $ U^{(\infty)}(\mathbf{k}, \mathbf{x}) $ は、平面波 $ e^{i\langle \mathbf{k}, \mathbf{x} \rangle} $ の小さな摂動として構成され、$ \|u^{(\infty)}\|_{L^\infty} < C \|\mathbf{k}\|^{-\delta} $（$ \delta > 0 $）を満たし、$ \mathbf{k} $ に関して一様である。
• この構成は、リゾルベントノルムに対する再帰的制御を用いた運動量空間における多スケール解析に依存し、パッチ、クラスタ、中心立方体を用いて問題を局所化する。
• この手法により、「悪い」周波数（ハミルトニアンの逆行列が大きくなる）の集合の測度が指数的に減少することが示され、全測度のスペクトル的結果が保証される。
• この結果は、$ d \geq 2 $ の設定において、準周期的設定におけるベーテ＝ゾンマーフェルト予想を裏付け、これまでの周期的または特定の2次元ケースに限られた結果を拡張している。
• 一般化固有関数は、絶対連続スペクトルおよび構成された解の構造のおかげで、長時間にわたるボールスティック輸送を示す。