[论文解读] Resolvent and spectral measure on non-trapping asymptotically hyperbolic manifolds I: Resolvent construction at high energy

Xi Chen, Andrew Hassell|arXiv (Cornell University)|Oct 25, 2014

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

一句话总结

本论文利用半经典拉格朗日分布与相交拉格朗日分布，结合Mazzeo-Melrose的$0$-微分学，构建了非捕获渐近双曲流形上的高能传播算子。该工作推广了Melrose、Sá Barreto与Vasy的先前结果，为半经典算子$P_h = h^2\Delta - h^2 n^2/4 - 1$构造了参数解，并通过相交拉格朗日子流形上的哈密顿流符号传播，证明了解的存在性模$O(h^\infty)$。

ABSTRACT

This is the first in a series of papers in which we investigate the resolvent and spectral measure on non-trapping asymptotically hyperbolic manifolds with applications to the restriction theorem, spectral multiplier results and Strichartz estimates. In this first paper, we use semiclassical Lagrangian distributions and semiclassical intersecting Lagrangian distributions, along with Mazzeo-Melrose 0-calculus, to construct the high energy resolvent on general non- trapping asymptotically hyperbolic manifolds, generalizing the work due to Melrose, Sa Barreto and Vasy. We note that there is an independent work by Y. Wang which also constructs the high-energy resolvent.

研究动机与目标

• 将高能传播算子的构造从接近双曲度量的度量推广至一般非捕获渐近双曲流形。
• 应用半经典方法，包括拉格朗日分布与$0$-微分学，分析高能极限下传播算子的结构。
• 通过在更广义的渐近双曲度量类中工作，推广Melrose、Sá Barreto与Vasy的结果。
• 利用相交拉格朗日对上的符号传播，为半经典算子$P_h = h^2\Delta - h^2 n^2/4 - 1$构造参数解。
• 为后续在该类流形上研究谱乘子、限制定理与Strichartz估计奠定基础。

提出的方法

• 使用半经典参数$h = \lambda^{-1}$将传播算子方程重写为$P_h A_h = \mathrm{Id}$的形式，其中$P_h = h^2\Delta - h^2 n^2/4 - 1$，从而实现微局部分析。
• 应用Mazzeo-Melrose的$0$-微分学，将传播算子核描述为属于$\Psi^{-2}_0(X) + \rho_L^\zeta \rho_R^\zeta C^\infty(X \times_0 X)$，其中$\zeta = n/2 - i\lambda$。
• 利用半经典拉格朗日分布与相交拉格朗日分布来刻画传播算子核的奇点。
• 通过在嵌入的相交拉格朗日对$(\Lambda_0, \Lambda_1)$上符号求解，构造$P_h$的参数解，其中$\Lambda_1$是$\Lambda_0 \cap \Sigma(P)$在$H_p$下的前向流形。
• 在$\Lambda_1$上求解关于参数解符号的一阶常微分方程，初始数据由限制映射$R(p^{-1}\sigma(F))$在$\partial\Lambda_1$处确定，从而保证唯一性。
• 采用迭代过程构造形式解$U = \sum U_j$，使得$F - P U = O(h^\infty)$，依赖于符号微分学与沿$H_p$的李导数。

实验结果

研究问题

• RQ1 如何在一般非捕获渐近双曲流形上构建高能传播算子，而不仅限于双曲度量的微小扰动？
• RQ2 高能极限下传播算子核的微局部结构是什么？如何利用拉格朗日分布来描述它？
• RQ3 几何条件——非捕获性、$\Lambda_1$上无紧支集的双特征线，以及$H_p$与$\Lambda_0$不相切——如何确保参数解的存在性？
• RQ4 $0$-微分学在描述传播算子在$0$-爆破双空间边界面上奇点结构中起到什么作用？
• RQ5 如何通过李导数$\mathcal{L}_{H_p}$与相交拉格朗日对上的次主符号$s$来控制参数解的符号传播？

主要发现

• 利用半经典方法，本研究在非捕获渐近双曲流形上成功构建了高能传播算子，将先前结果推广至更广义的度量类。
• 传播算子核位于空间$\Psi^{-2}_0(X) + \rho_L^\zeta \rho_R^\zeta C^\infty(X \times_0 X)$中，其中$\zeta = n/2 - i\lambda$，确认了预期的奇点结构。
• 通过相交拉格朗日分布，为半经典算子$P_h = h^2\Delta - h^2 n^2/4 - 1$构造了模$O(h^\infty)$的参数解。
• 参数解的符号沿$\Lambda_1$满足一阶常微分方程$\frac{h}{i}\mathcal{L}_{H_p}(\sigma(U_0)) + s\sigma(U_0) = 0$，在几何假设下具有唯一解。
• 该构造是迭代且符号化的，得到解$U$满足$F - P U = O(h^\infty)$，每一步均由主符号与次主符号控制。
• 该方法可统一应用于所有非捕获渐近双曲流形，为谱理论与色散估计提供了基础。