[论文解读] Perturbations of selfadjoint operators with periodic classical flow

Johannes Sjoestrand|ArXiv.org|Mar 3, 2003

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

一句话总结

本文为二维空间中自伴 $h$-伪微分算子的非自伴扰动提供了完整的渐近特征值描述，其中未扰动算子的经典流是周期性的。通过基于作用-角度变量的几何量子化方法，并沿周期轨道进行平均，本文在复平面上宽度为 $Ó(1)$ 的矩形区域内建立了类似Bohr-Sommerfeld的量子化条件，该条件即使在扰动强度 $ϵ$ 较小但与 $h$ 无关时依然成立。关键结果是通过一个具有 $;t$-展开的符号 $ς̂{P}$ 显式参数化了特征值，其中 $;t = h/\u03f5^2$，从而捕捉了实轴附近 $ϵ$-带内的谱分布。

ABSTRACT

We consider non-selfadjoint perturbations of a self-adjoint $h$-pseudodifferential operator in dimension 2. In the present work we treat the case when the classical flow of the unperturbed part is periodic and the strength $ε$ of the perturbation satisfies $h^{δ_0} 0$. We get a complete asymptotic description of all eigenvalues in certain rectangles $[-1/C,1/C]+iε[F_0-1/C,F_0+1/C]$. In particular we are able to treat the case when $ε>0$ is small but independent of $h$.

研究动机与目标

• 分析二维空间中自伴 $h$-伪微分算子 $P$ 的非自伴扰动 $P + i\epsilon Q$ 的谱分布，其中 $P$ 的经典流是周期性的。
• 描述复平面上固定宽度条带 $\operatorname{Im} z \sim \mathcal{O}(\epsilon)$ 内的单个特征值，即使 $\epsilon$ 较小但与 $h$ 无关。
• 将Bohr-Sommerfeld量子化条件推广至具有周期经典动力学的非自伴情形，克服了以往方法要求 $\epsilon \ll h$ 的局限性。
• 在 $h^\delta \ll \epsilon \leq \epsilon_0$（$\delta < 1/4$）范围内，建立特征值关于重标度普朗克常数 $\widetilde{h} = h/\epsilon^2$ 的完整渐近展开。
• 为理解周期哈密顿流与非自伴扰动并存时的特征值聚集与间距，提供几何与分析框架。

提出的方法

• 该方法基于作用-角度变量的几何量子化，适用于与 $H_{p_2}$-流（$p_2$ 为符号主部的二次部分）相适应的周期性流。
• 沿哈密顿向量场 $H_{p_2}$ 的周期轨道进行平均，从而定义平均亚主部项 $\langle p_3 \rangle$。
• 将特征值问题约化为分析符号 $\widehat{P}(\xi, \epsilon; \widetilde{h})$，其在 $\widetilde{h} \to 0$ 时具有 $\widetilde{h}$ 的幂级数渐近展开。
• 通过偏移的作用变量 $\widetilde{h}(k - \alpha/4) - S/2\pi$ 参数化特征值，其中 $S$ 为能量环面上基本周期上的作用积分。
• 通过定义在环面 $\Lambda_{E,F}$ 上的周期循环上作用积分差值的归一化作用变量 $\xi_j$，确保适当的缩放与周期性。
• 该方法避免降维处理，保持问题的二维结构，并依赖于符号的复分析性质与半经典极限下的谱理论。

实验结果

研究问题

• RQ1 当 $P$ 的经典流是周期性且 $\epsilon$ 较小但与 $h$ 无关时，非自伴扰动 $P + i\epsilon Q$ 的特征值在复平面上如何分布？
• RQ2 能否为具有周期经典流的二维非自伴算子建立类似Bohr-Sommerfeld的量子化条件？
• RQ3 在 $ϵ$-带 $\operatorname{Im} z \sim \mathcal{O}(\epsilon)$ 内，特征值的渐近结构是什么？其如何依赖于重标度普朗克常数 $\widetilde{h} = h/\epsilon^2$？
• RQ4 符号展开中负幂次的 $\epsilon$ 项是如何产生的？它们在谱渐近中起什么作用？
• RQ5 平均亚主部项 $\langle p_3 \rangle$ 在决定实轴附近特征值分布中起什么作用？

主要发现

• 在矩形 $[1 - \mathcal{O}(1)^{-1}, 1 + \mathcal{O}(1)^{-1}] + i\epsilon[F_0 - \mathcal{O}(1)^{-1}, F_0 + \mathcal{O}(1)^{-1}]$ 内的特征值由 $z = \widehat{P}(\widetilde{h}(k - \alpha/4) - S/2\pi, \epsilon; \widetilde{h}) + \mathcal{O}(h^\infty)$ 给出，每个 $k \in \mathbb{Z}^2$ 对应一个特征值。
• 符号 $\widehat{P}(\xi, \epsilon; \widetilde{h})$ 在 $\widetilde{h} \to 0$ 时具有渐近展开 $\sum_{n=0}^\infty \widetilde{h}^n \widetilde{p}_n^{(\infty)}(\xi, \epsilon)$，其中 $\widetilde{p}_0(\xi, \epsilon) = p_2(\xi) + i\epsilon e^{3\pi i/4} \langle p_3 \rangle(\xi) + \mathcal{O}(\epsilon^2)$。
• 主导项 $\widetilde{p}_0$ 依赖于平均亚主符号 $\langle p_3 \rangle$，其实部决定了复平面上特征值带的位置。
• 作用变量 $\xi_j$ 定义为归一化作用积分 $\frac{1}{2\pi} \left( \int_{\gamma_j(E,F)} \eta\,dy - \int_{\gamma_j(1,F_0)} \eta\,dy \right)$，确保适当的缩放与周期性。
• 该方法允许 $\epsilon$ 小至 $h^\delta$（$\delta < 1/4$），且关键地，$\epsilon$ 可与 $h$ 无关，这是先前基于平均的方法无法实现的。
• 结果在复平面上宽度为固定的 $\mathcal{O}(1)$ 的矩形区域内提供了完整的谱描述，即使在 $\epsilon \gg h$ 时也成立，扩展了早期工作仅限于 $\epsilon \ll h$ 的范围。