[论文解读] On Perturbations of Quasiperiodic Schroedinger Operators

Helge Krueger|ArXiv.org|Nov 12, 2007

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

一句话总结

本文利用Eliasson的可约化结果与相对振荡理论，建立了拟周期Schrödinger算子扰动的相对振荡准则与本征求渐近性。该研究将经典的Weyl与Kneser型结果推广至拟周期势，推导出本征值在谱边累积的精确条件，并量化其收敛速率，尤其针对临界势如$ \mu/x^2 $。关键贡献在于引入一个涉及Prüfer角与势扰动的谱阈值条件，将已知的周期与衰减情形结果推广至拟周期设置。

ABSTRACT

Using relative oscillation theory and the reducibility result of Eliasson, we study perturbations of quasiperiodic Schroedinger operators. In particular, we derive relative oscillation criteria and eigenvalue asymptotics for critical potentials.

研究动机与目标

• 将经典扰动结果中关于本征值累积与渐近性的结论推广至拟周期Schrödinger算子。
• 确定本征值在拟周期算子谱边累积的条件，尤其针对临界势。
• 利用相对振荡理论，推导出在谱边界附近扰动的精确本征求渐近性。
• 将Rofe-Beketov的间隙-重数结果推广至拟周期情形，分析在临界扰动下，有多少个谱间隙可包含无穷多个本征值。

提出的方法

• 利用Eliasson的可约化定理，将Schrödinger方程转化为具有幂零矩阵指数的线性系统，从而在谱边附近控制解的行为。
• 通过Prüfer角应用相对振荡理论，比较扰动与未扰动算子的解，引入加权振荡计数。
• 推导出两个解的Wronskian的Prüfer角的微分方程，该方程控制相对振荡行为。
• 采用常微分方程的平均化技术，分析在缓慢变化的权重下振荡相位的长期行为。
• 提出基于时间平均积分的上极限/下极限的判据，涉及扰动$ \Delta q $、基本解$ u_0 $及权重函数$ \alpha, \beta $，以判断相对振荡。
• 将该理论应用于具有Diophantine频率$ \omega $的拟周期势$ q_0(x) = Q(\omega x) $，利用Johnson-Moser理论中的旋转数与谱性质。

实验结果

研究问题

• RQ1 在何种条件下，拟周期Schrödinger算子的纯连续谱在扰动下保持为纯绝对连续谱？
• RQ2 对于临界势如$ \mu/x^2 $，本征值序列在何时于谱边累积，其累积速度如何？
• RQ3 在拟周期设置下，临界扰动下有多少个谱间隙可包含无穷多个本征值？
• RQ4 拟周期算子扰动的精确相对振荡判据是什么？其如何推广经典$ -1/4 $阈值？
• RQ5 从半直线推广至拟周期情形时，$ -d^2/dx^2 + \mu/x^2 $的本征求渐近性如何变化？

主要发现

• 对于具有Diophantine频率的拟周期算子，本质谱为纯绝对连续谱，旋转数通过$ \rho(E) = \frac{1}{2}\langle \omega, n \rangle $确定谱。
• 建立了相对振荡准则：若$ \limsup_{x\to\infty} \frac{1}{\ell} \int_x^{x+\ell} \frac{\beta(t)^2}{\beta'(t)} u_0(t)^2 \Delta q(t) dt < -\frac{1}{4} $，则本征值在谱边$ E $处累积；若上确界大于$ -\frac{1}{4} $，则不累积。
• 对于临界势$ \mu/x^2 $，在$ \lambda \uparrow 0 $下方的本征值个数满足$ N(\lambda) = \frac{1}{4\pi} \sqrt{\frac{\mu}{\mu_{\text{crit}}} - 1} |\ln|\lambda|| (1+o(1)) $，其中$ \mu_{\text{crit}} = -\frac{1}{4} $，与已知的半直线结果一致。
• 本文证明，在临界扰动$ \Delta q = \mu/x^2 $下，仅有有限个谱间隙可包含无穷多个本征值，将Rofe-Beketov的周期情形结果推广至拟周期算子。
• 对于$ -d^2/dx^2 + \mu/x^\gamma $（$ 0 < \gamma < 2 $）的本征求渐近性，推导出$ N(\lambda) \sim \frac{\sqrt{\mu/\mu_{\text{crit}}}}{\pi(2-\gamma)} \left| \frac{\mu}{\lambda} \right|^{(2-\gamma)/(2\gamma)} $，当$ \lambda \uparrow 0 $时成立，确认了预期的幂律标度。
• 该方法成功地将经典结果从衰减与周期情形推广至拟周期势，通过结合可约化、振荡理论与常微分方程的平均化技术。