[论文解读] 0-th Order Pseudo-differential Operator on the Circle

Zhongkai Tao|arXiv (Cornell University)|Sep 13, 2019

Spectral Theory in Mathematical Physics参考文献 8被引用 4

一句话总结

本文研究圆周上的0阶拟微分算子，证明其谱是绝对连续的，且在与主符号的临界值不相交的区间中可能含有有限个嵌入本征值。通过Mourre估计与谱理论，本文确立了连续谱、绝对连续谱及纯点谱的结构，并利用Weyl量化构造了在零处具有嵌入本征值的算子的显式例子。

ABSTRACT

In this paper we consider 0-th order pseudodifferential operators on the circle. We show that inside any interval disjoint from critical values of the principal symbol, the spectrum is absolutely continuous with possibly finitely many embedded eigenvalues. We also give an example of embedded eigenvalues.

研究动机与目标

• 分析圆周上0阶拟微分算子的谱结构，特别是连续谱、绝对连续谱与纯点谱的分布。
• 将Mourre估计框架扩展至紧流形上的0阶算子，聚焦于圆周情形。
• 建立谱为绝对连续且仅含有限个嵌入本征值的条件。
• 通过Weyl量化与截断函数，构造在零处具有嵌入本征值的算子的显式例子。
• 通过微局部分析，将经典符号理论的结果推广至非经典0阶算子。

提出的方法

• 本文利用Mourre估计分析圆周上自伴0阶拟微分算子的谱类型。
• 通过主符号在纤维方向无穷远处的渐近行为定义本质谱。
• 应用Weyl量化映射从符号构造算子，并通过积分表示推导本征值条件。
• 基于符号的导数构造一个自伴共轭算子A，以生成Mourre估计。
• 利用亚解析延拓与紧性论证，控制谱投影中误差项的大小。
• 应用Cayley变换将结果推广至酉算子，证明在避开临界值的区间中谱为连续谱且仅有有限个嵌入本征值。

实验结果

研究问题

• RQ1 在何种条件下，圆周上0阶拟微分算子的谱为绝对连续且仅含有限个嵌入本征值？
• RQ2 主符号的临界值如何影响此类算子的谱分解？
• RQ3 能否为圆周上的0阶算子构造出嵌入本征值的显式例子？
• RQ4 Weyl量化在实现本征函数与本征值的过程中起何种作用？
• RQ5 Mourre估计框架如何适用于紧流形上非经典0阶符号的算子？

主要发现

• 紧流形上0阶拟微分算子的本质谱是主符号沿发散纤维方向的极限点的集合。
• 在圆周上，纯点谱包含于主符号的临界值集合中，其中临界值定义为在纤维方向±1处关于x的导数为零的值。
• 在与临界值集合不相交的任意区间中，纯点谱为有限集，而绝对连续谱为区间[a_-, a^-]与[a_+, a^+]的并集减去临界集。
• 构造了一个显式例子：a(x,ξ) = sin(2πx)(1−χ(ξ))的Weyl量化在零处具有嵌入本征值，对应的本征函数为e^{2kπix}（k为整数）。
• 对于圆周上具有齐次主符号的酉算子，谱为绝对连续谱，且在避开临界值的区间中仅有有限个嵌入本征值。
• 通过Cayley变换，Mourre估计方法可推广至酉算子，且在相同的几何条件下，可得到谱为连续谱且仅有有限个嵌入本征值的结果。