[论文解读] Spectral theory of pseudo-differential operators of degree 0 and application to forced linear waves

Yves Colin de Verdìère|arXiv (Cornell University)|Apr 10, 2018

Spectral Theory in Mathematical Physics参考文献 31被引用 12

一句话总结

本文利用莫尔理论和逃逸函数，研究了紧致流形上0次自伴伪微分算子的谱理论，分析了受迫线性波动方程解的长时间行为。关键贡献在于：基于加丁不等式，给出了逃逸函数存在的精确动力学条件；并在二维流形的典型莫尔斯-斯梅尔情形下，完整描述了渐近解的波前集，扩展了[CSR-18]中的先前结果。

ABSTRACT

We extend the results of our paper "Attractors for two dimensional waves with homogeneous Hamiltonians of degree 0" written with Laure Saint-Raymond to the case of forced linear wave equations in any dimension. We prove that, in dimension 2,if the foliation on the boundary at infinity of the energy shell is Morse-Smale, we can apply Mourre's theory and hence get the asymptotics of the forced solution. We also characterize the wavefrontsets of the limit Schwartz distribution using radial propagation estimates.

研究动机与目标

• 将0次伪微分算子的谱理论扩展至二维流形上的典型莫尔斯-斯梅尔情形。
• 利用加丁不等式，建立逃逸函数存在的必要且充分的动力学条件。
• 通过谱理论和径向传播估计，分析受迫线性波动方程解的长时间行为。
• 描述紧致流形在特定动力学结构下，当 t → ∞ 时渐近解的波前集。
• 研究三维流形中具有 S^1 对称性的系统内受迫惯性波或内部波的物理应用。

提出的方法

• 利用谱定理，将受迫波动方程解的行为与自伴算子 H 的谱性质联系起来。
• 通过构造全局逃逸函数应用莫尔理论，依赖于主符号 h 的哈密顿动力学。
• 利用加丁不等式，在无穷远处的精确动力学条件下确保严格正的逃逸函数存在。
• 使用径向传播估计（来自梅尔罗兹和瓦西）在 L^2 中定位渐近解 u_∞ 的波前集。
• 将问题约化至能量壳 Σ_ω = h^{-1}(ω)，并研究在 Z_ω = Σ_ω / ℚ^+ 上诱导的叶状结构。
• 分析具有 S^1 对称性的三维流形情形，该情形与旋转系统中受迫波的物理模型相关。

实验结果

研究问题

• RQ1 对于0次符号的哈密顿流，何种动力学条件可确保莫尔理论中全局逃逸函数的存在？
• RQ2 在二维曲面上的典型莫尔斯-斯梅尔情形下，渐近解 u_∞ 的波前集在 t → ∞ 时如何表现？
• RQ3 当庞加莱映射失去双曲性时，H 的谱图像是否可超越具有绝对连续谱的区间？
• RQ4 当通过拉普拉斯项引入小粘性系数 σ → 0^+ 时，受迫波动方程的解会发生什么变化？
• RQ5 流形上微分同胚的谱理论（如圆周上的无理旋转）与莫尔理论的酉类比有何关联？

主要发现

• 基于加丁不等式，给出了逃逸函数存在的必要且充分条件，该条件以无穷远处的动力学为依据。
• 在二维曲面的典型莫尔斯-斯梅尔情形下，利用径向传播估计精确定位了渐近解 u_∞ 的波前集。
• 证明了 H 的本质谱为区间 [h_-, h_+]，其中 h_- 和 h_+ 分别为主符号 h 的最小值和最大值。
• 对于具有 S^1 对称性的三维流形，该方法适用于旋转流体中受迫惯性波等物理系统。
• 渐近解 u(t) 在 L^2 中模有界函数收敛于一个分布 u_∞，其波前集由哈密顿流和 Z_ω 上的叶状结构决定。
• 本文证明了在黏性受迫波动方程中，极限 t → ∞ 与小黏性极限 σ → 0^+ 不一定可交换。