[論文レビュー] Bounded Sobolev Norms for Linear Schrödinger Equations Under Resonant Perturbations

W.-M. Wang|ArXiv.org|May 24, 2008

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

ひとこと要約

本稿は、トーラス上での線形時刻周期的シュレーディンガー方程式に対して、共振する解析的ポテンシャルのもとで、フロケハミルトニアンのスペクトル解析を用いて、解の有界なソボレフノルムを確立する。特に $ V(x,t) = 2\cos x \cos t $ のような小さな共振摂動に対して、解の $ H^s $ ノルムが時間にわたって一様に有界であることを証明し、従来の対数的または多項式的境界から、フーリエ空間におけるアンドリュー局在を用いた一様有界性へと拡張する。

ABSTRACT

We prove that the Sobolev norm for a 1-D periodic Schroedinger equation remain bounded under small resonant perturbations.

研究の動機と目的

• トーラス上での時間周期的で共振的かつ実解析的ポテンシャルを有する線形シュレーディンガー方程式の、ソボレフノルム $ \|u(t)\|_{H^s} $ の長時間的挙動を調査すること。
• スペクトル的重なりのため、成長が予想される共振状況において、$ H^s $ ノルムが時間にわたって有界のままであるかどうかを特定すること。
• $ H^s $ ノルムが一様に有界に保たれるためのスペクトル的条件（H1）を確立すること。これは、多項式的または対数的成長に代わるものである。
• 特定のポテンシャル $ V(x,t) = 2\cos x \cos t $ に対して、フロケハミルトニアンの固有関数が一様に局在することを証明し、これによりソボレフノルムの有界性が導かれる。
• 非共振または準周期的ポテンシャルに対する従来の結果を、一般に無限大に発散する可能性があるとされていた共振状況へと拡張すること。

提案手法

• ポテンシャル $ V(x,t) = 2\cos x \cos t $ からの結合を符号化する $ \tilde{\Delta} $ を用いて、$ \ell^2(\mathbb{Z}^2) $ 上のフロケハミルトニアン $ H = \text{diag}(n + j^2) + \delta \tilde{\Delta} $ を分析する。
• 小さなパrameter $ \delta $ を用いた摂動的アプローチにより、スペクトル的性質および固有関数の局在性を研究する。
• ボックス $ \Lambda \subset \mathbb{Z}^2 $ 上での有限体積近似 $ H_\Lambda $ を用い、$ 0 \notin \sigma(H_\Lambda) $ かつ固有値が $ \mathcal{O}(\delta^2) $ の間隔で分離されることを証明する。
• フーリエモードの二重分解を用いて、$ H^s $ ノルムの成長を制御し、固有関数の指数的減衰を利用する。
• 集合 $ \{j^2\} $ が十分な間隔を有することにより、レベルクロッシングを回避でき、確率的またはパrameter依存のポテンシャルを必要とせず、一様な局在性を実現できる。
• ブロッホ波展開を介して、物理空間における解の挙動とフロケハミルトニアンのスペクトル的性質との間の同値性に依拠する。

実験結果

リサーチクエスチョン

• RQ1 共振的時間周期的ポテンシャルが存在する中で、すべての $ s > 0 $ に対してソボレフノルム $ \|u(t)\|_{H^s} $ が時間にわたって有界に保たれるか。
• RQ2 有界性を保証するスペクトル条件（H1）が、$ V(x,t) = 2\cos x \cos t $ のような小さな共振解析的ポテンシャルに対しても成立するか。
• RQ3 $ \{j^2\} $ の算術的構造のおかげで、パrameter や確率的要因が存在しない状況下でも、フロケハミルトニアンの固有関数の一様局在性を確立できるか。
• RQ4 従来の結果が多項式的または対数的成長しか与えなかった共振状況において、$ H^s $ ノルムの有界性を達成できるか。
• RQ5 フロケハミルトニアンの固有値間の分離が、ノルム成長を防ぐ役割を果たすか。

主な発見

• ポテンシャル $ V(x,t) = 2\cos x \cos t $ の下で、解の $ H^s $ ノルムは時間にわたって一様に有界である：すべての $ s > 0 $ に対して $ \|u(t)\|_{H^s} \leq C_s \|u(0)\|_{H^s} $ が成り立ち、$ C_s $ は $ t $ に依存しない。
• フロケハミルトニアン $ H $ の固有関数は一様に局在する：単一のピークから始まる指数的減衰、または対称な二つのピークからの減衰であり、エネルギー $ E $ に依存しない減衰率を有する。
• 小さな $ \delta $ に対して、スペクトル条件（H1）が確認され、すべての有限な $ \Lambda \subset \mathbb{Z}^2 $ に対して $ 0 \notin \sigma(H_\Lambda) $ が成り立つ。これは有界性にとって不可欠である。
• 有限体積近似 $ H_\Lambda $ の固有値は $ \mathcal{O}(\delta^2) $ の間隔で分離され、境界上での固有関数の $ \ell^2 $ ノルムは $ \mathcal{O}(\delta^4) $ であり、強い局在性を示唆する。
• $ H^s $ ノルムの成長は、平滑なポテンシャルに対して一般に得られる $ \mathcal{O}((1+|t|)^s) $ の境界よりも、定数倍の $ \|u(0)\|_{H^s} $ に抑えられる。
• この結果は、$ \{j^2\} $ の算術的分離のおかげで、確率的要因やパrameter依存性を必要とせず、アンドリュー局在の文脈で新規な特徴を有する。