[论文解读] 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

一句话总结

本文建立了在环面上具有实解析、时间依赖势的时变线性薛定谔方程解的索伯列夫范数的对数界。通过构造周期逼近并应用弗洛quet理论，作者证明了在势函数解析且有界的假设下，$ 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) $ 的时间周期逼近 $ V_1(x,t) $，使其在 $ |t| \leq T $ 上与 $ V $ 一致，且在 $ t $ 上以 $ 2\pi T $ 为周期。
• 利用弗洛quet理论，将时周期方程的动力学问题转化为在 $ \ell^2(\mathbb{Z}^2) $ 上自伴算子 $ H $ 的谱分析，该算子通过 $ V_1 $ 的傅里叶系数定义。
• 通过限制在有限方块 $ \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\} $ 的分离性在非共振、非周期情形下控制范数增长中起什么作用？

主要发现

• 本文证明了：对于在 $ \mathbb{R}^2 $ 附近带状区域上实解析且有界的势 $ V(x,t) $，解的 $ H^s $ 范数满足 $ \|u(t)\|_{H^s} \leq C_s [\log(|t|+2)]^{\varsigma s} $，其中 $ \varsigma > 3 $，且该常数 $ C_s $ 与 $ s $ 无关。
• 该界是紧的，即对数增长在几乎必然意义下是必要的，这由 [N] 中的结果支持：对于光滑、随机时变势，$ H^s $ 范数几乎必然无界。
• 对于时周期势，范数保持有界，表明对数增长的范式介于有界性与几乎必然无界性之间。
• 证明依赖于通过有限维截断构造弗洛quet算子的近似本征函数，其局域化由 $ \{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} $。