[論文レビュー] Logarithmic bounds on Sobolev norms for time-dependent linear Schrödinger equations

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

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

ひとこと要約

本稿は、トーラス上における実解析的で時間に依存するポテンシャルを持つ時間に依存する線形シュレーディンガー方程式の解について、ソボレフノルムの対数的境界を確立する。周期的近似を構築し、フロケ理論を適用することで、$ H^s $ ノルムの増大は $ C_s [\log(|t|+2)]^{\varsigma s} $ 以下であることを証明する。ここで $ \varsigma > 3 $ であり、ポテンシャルの解析性と有界性の仮定のもとで成り立つ。

ABSTRACT

We prove that in 1-D the growth of Sobolev norms for time-dependent linear Schrödinger equations is at most logarithmic in time for any (fixed) potential which is analytic (or Gevrey). Recently it was proven in [N] that almost surely the Sobolev norms are unbounded, which indicates that the log is almost surely necessary. In [W], the author showed that the Sobolev norms remain bounded for an explicit time periodic potential. This is in the exceptional set in the sense of [N]. The present paper together with [N, W] give a rather complete picture of time dependent linear Schrödinger equations on the circle.

研究の動機と目的

• 時間に依存する線形シュレーディンガー方程式の解について、$ \mathbb{T} $ 上でのソボレフノルム $ \|u(t)\|_{H^s} $ の増大に関する鋭い上界を確立すること。
• 一般の時間に依存するポテンシャルのもとで、$ H^s $ ノルムの制御に対数的増大が必要かどうかという未解決問題に取り組むこと。
• 滑らかなポテンシャルに対しては多項式的増大が得られているが、これを解析的ケースに拡張し、最良の対数的境界を得ること。
• 確率的時間依存性のもとで無限大に発散する結果と対比させることで、対数的増大がほとんど確実に必要であることを示すこと。
• 周期的ポテンシャルに関する既知の有界性結果と組み合わせることで、ノルム挙動の包括的画像を提示すること。

提案手法

• 元のポテンシャル $ V(x,t) $ を、$ |t| \leq T $ において一致し、$ t $ に関して周期 $ 2\pi T $ を持つ周期的近似 $ V_1(x,t) $ を構築する。
• フロケ理論を用いて、時間周期的方程式の力学を、$ V_1 $ のフーリエ係数によって定義される $ \ell^2(\mathbb{Z}^2) $ 上の自己共役作用素 $ H $ のスペクトル解析に還元する。
• 有限ボックス $ \Lambda = \{ (j,n) : |j| \leq J(T), |n| \leq N(T) \} $ に制限することで、$ H $ の近似固有関数を構築し、$ J(T) \sim (\log T)^\sigma $、$ N(T) \sim T(\log T)^\sigma $ とする。
• スペクトル $ \{j^2\} \subset \mathbb{N} $ の分離性を用いて、これらの近似固有関数の局在化を確立する。これは [W] における共鳴ケースと類似した性質である。
• 低周波数、中間周波数、高周波数成分に解を分解し、スペクトル局在化と事前推定を用いて各成分の $ H^s $ ノルムを制御することで、解の $ H^s $ ノルムを制御する。
• 時間区間長1ごとに反復して進化を適用し、再帰的に分解を適用し、$ H^s $ における伝搬作用素の境界を用いることで、時間に伴う対数的増大が得られる。

実験結果

リサーチクエスチョン

• RQ1 解析的ポテンシャルを有する時間に依存する線形シュレーディンガー方程式の解について、ソボレフノルム $ \|u(t)\|_{H^s} $ の最適な増大率は何か？
• RQ2 解析的時間依存ポテンシャルのもとで、$ H^s $ ノルム増大の上界として対数的増大が示せるか、そしてその境界が鋭いかどうか？
• RQ3 滑らかで、確率的、解析的時間依存ポテンシャルのそれぞれにおいて、$ H^s $ ノルムの挙動はどのように異なるか？
• RQ4 周期的ポテンシャルに用いられるスペクトル局在化技術を、非周期的だが解析的な時間依存設定にどの程度適応できるか？
• RQ5 非共鳴的・非周期的状況下で、ラプラシアンのスペクトル $ \{j^2\} $ の分離がノルム増大制御に果たす役割は何か？

主な発見

• 実解析的で有界なポテンシャル $ V(x,t) $ が $ \mathbb{R}^2 $ の近傍のストライプに存在する場合、解の $ H^s $ ノルムは $ \|u(t)\|_{H^s} \leq C_s [\log(|t|+2)]^{\varsigma s} $ と、ある $ \varsigma > 3 $ に対して上界を持つことが証明される。この境界は $ s $ に依存しない。
• この境界は鋭いといえる。[N] の結果により、滑らかで確率的な時間依存ポテンシャルのもとで $ H^s $ ノルムがほとんど確実に無限大に発散することを踏まえると、対数的増大はほとんど確実に必要である。
• 時間周期的ポテンシャルではノルムは有界のままであるため、対数的増大の領域は有界性とほとんど確実な無限大発散の間にあることが示された。
• 証明は、フロケ作用素の近似固有関数を有限次元切断によって構築し、$ \{j^2\} $ のスペクトル分離によって局在化を保証する。
• 周期的近似、スペクトル局在化、および単位時間区間における伝搬作用素の反復的制御を組み合わせることで、対数的境界が達成される。
• 最終的な境界は、$ L^2 $ 保存則と時間 $ T $ における $ H^s $ 推定の間の補間によって得られ、すべての $ s > 0 $ に対して $ \|S(0,t)\|_{H^s \to H^s} \leq C_s [\log(|t|+2)]^{\varsigma s} $ が成り立つ。