[论文解读] Singularities of solutions to Schrodinger equation on scattering manifold

Kenichi Ito, Shu Nakamura|ArXiv.org|Nov 21, 2007

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

一句话总结

本文在非 trapping 条件下，刻画了在散射流形（非紧致黎曼流形，其渐近行为为锥形）上薛定谔方程解的波前集。通过标准拟微分算子符号类中的微局部分析与 Egorov 型论证，将时间 $ t_0 $ 处解的奇点与初始波前集的经典散射数据联系起来，给出了基于经典轨迹渐近行为的必要且充分条件。

ABSTRACT

In this paper we study microlocal singularities of solutions to Schrodinger equations on scattering manifolds, i.e., noncompact Riemannian manifolds with asymptotically conic ends. We characterize the wave front set of the solutions in terms of the initial condition and the classical scattering maps under the nontrapping condition. Our result is closely related to a recent work by Hassell and Wunsch, though our model is more general and the method, which relies heavily on scattering theoretical ideas, is simple and quite different. In particular, we use Egorov-type argument in the standard pseudodifferential symbol classes, and avoid using Legendre distributions. In the proof, we employ a microlocal smoothing property in terms of the radially homogenous wave front set, which is more precise than the preceding results.

研究动机与目标

• 在初始数据与经典散射映射的基础上，刻画散射流形上薛定谔方程解的波前集。
• 在非 trapping 条件下，建立解的微局部奇点与经典轨迹在 $ -\infty $ 处渐近行为之间的精确联系。
• 发展一种避免使用 Legendre 分布的方法，转而依赖标准拟微分符号类中的 Egorov 型定理。
• 通过使用径向齐次波前集，对微局部光滑性性质进行改进，使其比以往结果具有更高的精度。
• 以经典散射数据为依据，对波前集传播提供完整刻画，将 Hassell 与 Wunsch 的前期工作推广至更一般的情形。

提出的方法

• 作者通过边界分解，将流形的渐近端识别为 $ (1,\infty) \times \partial M $，从而实现在局部坐标下的分析。
• 他们定义了短程型的散射度量，确保度量与势能在无穷远处的扰动衰减。
• 该方法依赖于作用于标准类中符号的 Egorov 型定理，避免使用 Legendre 分布。
• 关键步骤包括通过迭代符号构造法构造拟逆解：$ b_j $ 与 $ r_j $ 依次定义，以求解输运方程并控制误差项。
• 通过时间尺度变换 $ t' = t/h $ 分析半经典极限下的演化，从而可使用 $ h $-拟微分算子。
• 最终证明算子 $ \tilde{\tilde{B}}(t',h) $ 满足关于 $ L(t') $ 的扭曲换位子方程，误差为 $ O(h^\infty) $，从而确保了解的微局部控制。

实验结果

研究问题

• RQ1 薛定谔方程解的波前集与初始波前集的经典散射数据之间存在何种精确关系？
• RQ2 在 $ -\infty $ 处，如何根据经典轨迹的渐近行为来刻画解的微局部奇点？
• RQ3 是否可以不依赖 Legendre 分布，而仅通过标准拟微分微分演算来描述波前集传播？
• RQ4 通过径向齐次波前集表达的微局部光滑性性质，相较于以往结果，在多大程度上改进了奇点传播的刻画？
• RQ5 在何种条件下，演化后解的波前集完全由初始状态的经典散射数据决定？

主要发现

• 当且仅当对应的经典散射数据 $ (r_-, \theta_-, \rho^-, \omega^-) $ 不在自由演化 $ e^{-it_0H_0}J^*u_0 $ 的波前集中时，有 $ (x_0, \xi^0) \notin \mathrm{WF}(e^{-it_0H}u_0) $。
• 证明表明，若散射数据点位于自由波前集之外，则有 $ \|A(h)e^{-i(t_0 + hT_0)H}u_0\|_{\mathcal{H}} = O(h^\infty) $，这意味着在 $ (x_0, \xi^0) $ 处无奇点。
• 通过迭代符号展开构造拟逆解的方法，确保误差项被定量控制为 $ O(h^\infty) $，从而确认了近似解的微局部精确性。
• 构造算子 $ \tilde{\tilde{B}}(t_0 + hT_0, h) $ 的主符号为 $ (a \circ S_{-t_0/h}^{-1})^2 $，其在初始波前集经经典流映射后的像附近有紧支集。
• 该方法通过使用径向齐次波前集，实现了比以往工作更精确的刻画，其对奇点的描述比标准波前集更为精细。
• 结果在非 trapping 条件下成立，确保经典轨迹在 $ t \to -\infty $ 时逃逸至无穷远，从而保证了散射数据极限 $ r_-, \theta_-, \rho^-, \omega^- $ 的存在性。