[論文レビュー] Dispersion for Schrödinger equation with periodic potential in 1D

Scipio Cuccagna|ArXiv.org|Nov 29, 2006

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

ひとこと要約

本稿は、1次元で周期的ポテンシャルを有するシュレーディンガー作用素に対して分散的推定を確立し、伝播作用素 $ e^{itH_0} $ が $ p \geq 2 $ に対して $ \|e^{itH_0}\|_{L^{p'} \to L^p} \lesssim \max\{t^{-1/2}, t^{-1/3}\}^{1-2/p} $ を満たすことを証明する。証明は歪められたフーリエ変換を用いた核関数の点ごとの評価に依拠し、無限個のスペクトルバンドにわたるブロッホ関数およびその微分に関する新規な評価を含み、高エネルギー帯域端付近における非一様な解析性と小さな分母の問題を克服する。

ABSTRACT

We extend a result on dispersion for solutions of the linear Schrödinger equation, proved by Firsova for operators with finitely many energy bands only, to the case of smooth potentials in 1D with infinitely many bands. The proof consists in an application of the method of stationary phase. Estimates for the phases, essentially the band functions, follow from work by Korotyaev. Most of the paper is devoted to bounds for the Bloch functions. For these bounds we need a detailed analysis of the quasimomentum function and the uniformization of the inverse of the quasimomentum function

研究の動機と目的

• 滑らかで1周期の周期的関数 $ P(x) $ を持つシュレーディンガー作用素 $ H_0 = -d^2/dx^2 + P(x) $ に対して、無限個のスペクトルバンドを有する場合の分散的推定を確立すること。
• 高エネルギー帯域端付近における解析領域の縮小に起因する、ブロッホ関数およびその微分に対する一様な有界性の欠如を克服すること。
• フィルソヴァが既に取り扱った有限帯域の場合から、すべてのギャップが非空である一般的な無限帯域設定への分散的推定の拡張を行うこと。
• バンド関数の微分および歪められたフーリエ変換を用いて、核関数 $ e^{itH_0}(x,y) $ をオscillatory積分の評価によって制御すること。

提案手法

• 証明は、ブロッホ関数を用いた歪められたフーリエ変換によって表現される核関数 $ e^{itH_0}(x,y) $ の点ごとの評価に還元される。
• エネルギーと準運動量を結ぶバンド関数 $ E(k) $ は、コロティャエフの表現を用いて解析され、特に帯域端付近での微分の評価が行われる。
• ブロッホ関数は $ e^{\pm ikx} m_\pm(x,k) $ の形に書かれ、$ m_\pm $ 及びその $ k $-微分に関する評価は、フーリエ級数展開と正規化恒等式を用いて導出される。
• ウェイル＝ティッチマース関数および正規化項 $ N(k) $ を用いて、$ \|m_\pm(\cdot,k)\|_{L^2} $ を制御し、スリット付近でのキャンセルの問題を回避するための明示的公式とシュワーツ＝クリスティオフェル関係式を用いる。
• $ k $-微分の $ m_\pm $ に対してコーシー積分公式を適用し、$ k \approx \pm n\pi $ 付近の特異性を慎重に制御することで、小さな分母の問題を回避する。
• 解析は領域に分けられる：帯域端から離れた領域（標準的停留位相）、帯域端付近（$ m_\pm $ が大きいが $ E'''(k) $ が小さい）、中間領域（狭さと改善された $ m_\pm $ の評価による制御）。

実験結果

リサーチクエスチョン

• RQ1 無限個のスペクトルバンドを有する状況下で、シュレーディンガー作用素に対する分散的推定はどのように振る舞うか？
• RQ2 高エネルギー帯域端付近における解析領域の縮小に起因する、無限帯域設定におけるブロッホ関数およびその微分に対する一様な有界性は確立可能か？
• RQ3 周期的ポテンシャルを有する1次元で、$ e^{itH_0} $ の $ L^{p'} \to L^p $ 作用素ノルムの最良の減衰率は何か？
• RQ4 バンド構造が複雑かつ非一様な場合、歪められたフーリエ変換の核関数はどのように制御可能か？

主な発見

• 本稿は、すべての $ p \geq 2 $ に対して分散的推定 $ \|e^{itH_0}\|_{L^{p'} \to L^p} \lesssim \max\{t^{-1/2}, t^{-1/3}\}^{1-2/p} $ を確立し、$ t $ に依存しない一様な定数 $ C $ を持つ。
• この評価は、自由シュレーディンガー作用素と一致する $ t^{-1/2} $ の減衰率が最良であることを示し、$ t^{-1/3} $ の項はバンド構造に起因する。
• 帯域端付近では、ブロッホ関数ノルムの大きな増大が、$ E(k) $ の三階微分の小ささによって相殺され、効果的な停留位相評価が可能になる。
• 中間領域では、問題領域の狭さと改善された $ m_\pm $-ノルム評価のおかげで、核関数への寄与が制御可能になる。
• 正規化恒等式 $ \widehat{m}_+(0,k)\widehat{m}_-(0,k) - \widehat{m}_+(-n,k)\widehat{m}_-(n,k) \approx \dot{E}/(2k) $ はキャンセルを防ぎ、実軸近傍における $ m_\pm $ の一様な $ L^2 $-ノルム制御を保証する。
• バンド内部において、積 $ m_-^0(x,k)m_+^0(y,k) $ の $ k $-微分は $ C/(|k| |k - \pi n|) $ で有界であり、これにより導関数評価にコーシー積分公式を適用可能になる。