[论文解读] Remarks on the Fundamental Solution to Schrödinger Equation with Variable Coefficients

Kenichi Ito, Shu Nakamura|ArXiv.org|Dec 25, 2009

Advanced Mathematical Physics Problems参考文献 5被引用 3

一句话总结

该论文证明了具有变系数的薛定谔算子的时间演化算子 $ e^{-itH} $ 可分解为 $ e^{-itH_0}W(t) $，其中 $ W(t) $ 是一个微局部关联于经典散射规范关系的傅里叶积分算子（FIO）。在非捕获条件与短程假设 $ \mu = 2 $ 下，演化算子微局部地沿散射流支撑，扩展了 Hassell 和 Wunsch 的结果，采用基于 Egorov 型定理与 Beals 型 FIO 特征化的新技术。

ABSTRACT

We consider Schrödinger operators $H$ on $R^n$ with variable coefficients. Let $H_0=-\frac12 riangle$ be the free Schrödinger operator and we suppose $H$ is a "short-range" perturbation of $H_0$. Then, under the nontrapping condition, we show the time evolution operator: $e^{-itH}$ can be written as a product of the free evolution operator $e^{-itH_0}$ and a Fourier integral operator $W(t)$, which is associated to the canonical relation given by the classical mechanical scattering. We also prove a similar result for the wave operators. These results are analogous to results by Hassell and Wunsch, but the assumptions, the proof and the formulation of results are considerably different. The proof employs an Egorov-type theorem similar to those used in previous works by the authors combined with a Beals-type characterization of Fourier integral operators.

研究动机与目标

• 刻画具有变系数的薛定谔算子时间演化算子 $ e^{-itH} $ 的微局部结构。
• 在非捕获与短程假设下，证明 $ e^{-itH} $ 可分解为自由演化 $ e^{-itH_0} $ 与一个傅里叶积分算子 $ W(t) $。
• 建立 $ W(t) $ 通过哈密顿流微局部关联于经典散射规范关系。
• 提出一种基于 Egorov 型定理与 Beals 型 FIO 特征化的全新证明策略，区别于以往工作。
• 将结果微局部推广至非捕获方向的锥形邻域，允许 $ W(t) $ 局部具有 FIO 结构。

提出的方法

• 证明使用了作者先前工作中改进的 Egorov 型定理，将 $ W(t) $ 的作用与经典哈密顿流关联起来。
• 应用 Beals 型 FIO 特征化方法，验证 $ W(t) $ 满足所需的正则性与振荡积分结构。
• 分析依赖于在动能哈密顿量 $ H_k $ 下经典轨迹 $ (y(t), \eta(t)) $ 的渐近展开，对 $ t \to \pm\infty $ 时的 $ z_\pm $ 与 $ \xi_\pm $ 进行估计。
• 通过关于导数阶数 $ |\alpha| + |\beta| $ 的归纳法控制散射数据 $ z_\pm, \xi\pm $ 的导数增长，结合 Duhamel 公式与加权 $ L^\infty $ 估计。
• 短程条件中 $ \mu = 2 $ 确保了 $ a_{jk}(x) - \delta_{jk} $ 与 $ V(x) $ 的充分衰减，从而保证渐近展开的收敛性。
• 使用微局部单位分解将问题局部化，并将全局非捕获结果推广至锥形邻域中的局部 FIO 结构。

实验结果

研究问题

• RQ1 具有变系数的薛定谔算子的时间演化算子 $ e^{-itH} $ 是否可微局部分解为自由演化与一个傅里叶积分算子？
• RQ2 在何种条件下，算子 $ W(t) = e^{itH_0}e^{-itH} $ 是一个关联于经典散射规范关系的傅里叶积分算子？
• RQ3 算子 $ W(t) $ 的微局部奇异谱线集如何与经典散射数据 $ (z_\pm, \xi_\pm) $ 相关？
• RQ4 短程条件中的参数 $ \mu $ 在散射数据的存在性与正则性以及 FIO 结构中起何作用？
• RQ5 全局非捕获假设在多大程度上可被放宽，以获得局部 FIO 表示？

主要发现

• 在假设 A 且 $ \mu = 2 $ 下，时间演化算子满足 $ e^{-itH} = e^{-itH_0}W(t) $，其中 $ W(t) $ 是一个微局部关联于经典散射规范关系的傅里叶积分算子。
• 对每个 $ t \in \mathbb{R}_\pm $，$ W(t) $ 是关联于典范变换 $ w_\pm $ 的 FIO，该变换将初值数据 $ (x_0, \xi_0) $ 映射为散射数据 $ (z_\pm, \xi_\pm) $。
• 算子 $ W(t) $ 的微局部奇异谱线集包含于拉格朗日子流形 $ \Lambda_\pm = \{ (y,\eta,x,-\xi) \mid (y,\eta) = w_\pm(x,\xi) \} $ 中，反映了奇异性的沿经典轨迹传播。
• 在 $ \mu = 2 $ 条件下，散射数据 $ z_\pm $ 与 $ \xi_\pm $ 存在且光滑，分别关于 $ \xi $ 为零次齐次与一次齐次。
• 证明建立了对 $ z_1 - z $ 与 $ \eta_1 - \eta $ 导数的统一估计，即 $ |\partial_x^\alpha \partial_\xi^\beta (z_1 - z)| \leq C|t|\langle \xi \rangle^{1-\mu - |\beta|} $，从而表明散射映射的正则性。
• 结果为微局部成立：若 $ (x_0, \xi_0) $ 为前向非捕获，则在 $ (x_0, \xi_0) $ 的锥形邻域内，$ W(t) $ 是关联于 $ w_+ $ 的 FIO，将全局结果局部化。