[论文解读] A generalization of Gordon's theorem and applications to quasiperiodic Schrödinger operators

David Damanik, Günter Stolz|arXiv (Cornell University)|May 12, 2000

Spectral Theory in Mathematical Physics参考文献 6被引用 14

一句话总结

本文通过引入基于 $L^1$ 的广义戈登势条件，将戈登定理由一维薛定谔算子的无特征值性质推广。利用解的格朗沃尔型先验估计，作者证明了由利乌ville频率和各类函数（如赫尔德连续、阶跃或幂奇异函数）生成的准周期势，其对应的算子具有空的点谱，从而将经典结果中特征值排除的适用范围扩展至更广泛的势函数类别。

ABSTRACT

We prove a criterion for absence of eigenvalues for one-dimensional Schrödinger operators. This criterion can be regarded as an $L^1$-version of Gordon's theorem and it has a broader range of application. Absence of eigenvalues is then established for quasiperiodic potentials generated by Liouville frequencies and various types of functions such as step functions, Hölder continuous functions and functions with power-type singularities. The proof is based on Gronwall-type a priori estimates for solutions of Schrödinger equations.

研究动机与目标

• 将戈登定理的经典特征值排除准则推广至更广范围的势函数，包括不连续和奇异函数。
• 研究由利乌ville频率生成的准周期势的薛定谔算子的谱理论。
• 为局部可积且一致有界的势函数建立证明薛定谔算子无点谱的一般框架。
• 为具有幂型奇异性、阶跃函数及赫尔德连续函数的势函数，在准周期设定下提供统一的排除准则。

提出的方法

• 通过势函数与其周期逼近函数之间差值的 $L^1$-范数条件，引入广义戈登势的概念。
• 为薛定谔方程的解建立格朗沃尔型先验估计，以控制解在无穷远处的增长。
• 利用一致可积性条件 $\|V\|_{1,{\rm unif}}<\infty$，通过形式方法确保薛定谔算子的良定义性。
• 基于频率 $\alpha$ 的连分数逼近 $\alpha_m = p_m/q_m$ 定义周期逼近函数 $V^{(m)}$，并要求 $\exp(Cq_m)\cdot\int_{-q_m}^{2q_m}|V(x\alpha+\theta)-V(x\alpha_m+\theta)|dx \to 0$ 当 $m\to\infty$ 时成立。
• 应用解的估计，证明不存在 $L^2$-解在无穷远处衰减，从而推出无特征值。
• 证明当 $\alpha$ 为利乌ville数时，该条件对 $V_2$ 的赫尔德连续函数、阶跃函数及幂型奇异性均成立。

实验结果

研究问题

• RQ1 经典戈登定理能否推广至包含不连续或奇异势函数的情形？
• RQ2 对于由利乌ville频率与非光滑势函数生成的准周期薛定谔算子，特征值的缺失是否依然成立？
• RQ3 势函数 $V_2$ 需满足何种条件，才能使由 $V(x) = V_1(x) + V_2(x\alpha + \theta)$ 生成的准周期势成为广义戈登势？
• RQ4 基于 $L^1$ 的准则能否排除如具有 $|x|^{-\gamma}$ 奇异性的无界势函数的特征值？
• RQ5 频率 $\alpha$ 的连分数逼近 $\alpha_m = p_m/q_m$ 如何影响广义特征值排除条件中的收敛速度？

主要发现

• 广义戈登势准则表明，若势函数 $V$ 满足与周期势 $V^{(m)}$ 的 $L^1$-逼近条件，则薛定谔算子 $H = -d^2/dx^2 + V(x)$ 具有空的点谱。
• 对任意利乌ville频率 $\alpha$，若条件 $\lim_{m\to\infty} \exp(Cq_m) \int_{-q_m}^{2q_m} |V_2(x\alpha+\theta) - V_2(x\alpha_m+\theta)| dx = 0$ 成立，则无特征值。
• 赫尔德连续函数 $V_2$ 满足该条件，因其具有 $\delta$-赫尔德模连续性，从而保证 $\int_0^1 \mathrm{osc}_{V_2,\varepsilon}(x)dx \leq D\varepsilon^\delta$。
• 阶跃函数也满足该条件，因其振幅受跳跃大小与区间长度控制，导致 $\mathrm{osc}_{V_2,\varepsilon} \leq C\varepsilon^0$，但仍在 $\exp(Cq_m)$ 衰减下可积。
• 具有幂型奇异性 $V_2(x) = |x|^{-\gamma}$（$0 < \gamma < 1$）的势函数满足该条件，因奇点附近 $L^1$-差值的控制增长导致 $\int_{-q_m}^{2q_m} |V_2(\alpha x) - V_2(\alpha_m x)| dx \leq C p_m^{2-\gamma} |\alpha q_m/p_m - 1|^{1-\gamma}$，其衰减足够快。
• 该结果对所有 $\theta \in [0,1)$ 成立，表明特征值排除在准周期势的相位偏移下具有鲁棒性。