[论文解读] On the spectrum of a Schroedinger operator perturbed by a fast oscillating potential

D. I. Borisov|ArXiv.org|May 25, 2005

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

一句话总结

本文分析了一维薛定谔算子在快速振荡势场下的谱性质，以显式形式推导出其特征谱，并在振荡周期 $\varepsilon \to 0$ 时构建了本征值与本征函数的完整渐近展开。主要贡献在于严格推导出特征谱间隙中离散本征值的渐近结构，包括其存在的条件以及本征值与对应本征函数的精确高阶展开。

ABSTRACT

We study the spectrum of a one-dimensional Schroedinger operator perturbed by a fast oscillating potential. The oscillation period is a small parameter. The essential spectrum is found in an explicit form. The existence and multiplicity of the discrete spectrum are studied. The complete asymptotics expansions for the eigenvalues and the associated eigenfunctions are constructed.

研究动机与目标

• 在 $L_2(\mathbb{R})$ 中，表征受快速振荡势扰动的薛定谔算子的特征谱。
• 确定特征谱间隙中离散本征值的存在性、数量及重数。
• 在振荡参数 $\varepsilon \to 0$ 时，构建本征值及其对应本征函数的完整渐近展开。
• 建立离散本征值在特征谱的半无限间隙与内部间隙中出现的精确条件。

提出的方法

• 利用周期微分算子的谱理论与无界域中的均质化技术推导特征谱。
• 分析算子 $H_\varepsilon = -\frac{d^2}{dx^2} + V(x) + a(x/\varepsilon)$，其中 $V$ 紧支集，$a$ 为 1-周期且均值为零。
• 通过多尺度分析及不同区域（振荡区与常规区）解的匹配，构建本征值的渐近展开。
• 通过将本征函数分解为振荡与衰减分量，结合求解辅助谱问题确定系数，实现本征函数的渐近展开。
• 通过构造转移矩阵及相应的本征值条件，将间隙中本征值的存在性与涉及 $V$ 及 $a$ 的傅里叶系数的某些积分符号联系起来。
• 通过迭代精化本征值方程，推导高阶渐近展开，利用算子范数估计与摄动理论控制误差项。

实验结果

研究问题

• RQ1 当 $\varepsilon \to 0$ 时，具有快速振荡势的薛定谔算子 $H_\varepsilon$ 的特征谱的显式形式是什么？
• RQ2 在特征谱间隙中，离散本征值在何种条件下出现？
• RQ3 当 $\varepsilon \to 0$ 时，$H_\varepsilon$ 的本征值与本征函数的完整渐近展开是什么？
• RQ4 振荡势 $a$ 的傅里叶系数及背景势 $V$ 的积分如何影响离散本征值的存在性与位置？

主要发现

• 算子 $H_\varepsilon$ 的特征谱为 $\sigma_{\text{ess}}(H_\varepsilon) = \bigcup_{n=0}^{\infty} [\mu_n^+(\varepsilon^2), \mu_{n+1}^-\!(\varepsilon^2)]$，其中 $\mu_n^\pm(t)$ 为关于 $t = \varepsilon^2$ 的显式幂级数展开的亚纯函数。
• 对于半无限间隙（$n=0$），阈值的一阶修正为 $\mu_{0,1}^+ = -\int_0^1 \left( \int_0^\xi a(\eta)\,d\eta + \int_0^1 a(\eta)\eta\,d\eta \right)^2 d\xi$，其依赖于 $a$ 的累积积分。
• 当且仅当 $\tau_{\mathfrak{n}_\pm}^\pm > 0$ 时，第 $n$ 个内部间隙中存在离散本征值，其中 $\tau_{\mathfrak{n}_\pm}^\pm$ 为由势 $V$ 与 $a$ 的傅里叶系数导出的系数。
• 当 $\int_\mathbb{R} V(x)\,dx \geq 0$ 时，对于 $n \geq 2$，第 $n$ 个间隙中存在本征值 $\lambda_{\varepsilon,-}$，若积分正值则 $\tau_2^- > 0$，若积分为零则 $\tau_4^- > 0$。
• 本征值具有如下完整渐近展开形式 $\lambda_{\varepsilon,\pm} = \mu_n^\pm + \varepsilon^{2\mathfrak{n}_\pm-2} \cdot \text{低阶项}$，其系数由 $V$、$a$ 及其傅里叶变换决定。
• 对应的本征函数渐近等价于 $\psi_{\varepsilon,\pm} = c_\pm(\varepsilon) \cdot \varepsilon T_{11}^\pm(\varepsilon, k_{\varepsilon,\pm}) g_{\varepsilon,\pm}$ 在 $W_2^2(Q)$ 中，其中 $g_{\varepsilon,\pm}$ 满足约化谱问题，且 $c_\pm(\varepsilon) \to 1$ 当 $\varepsilon \to 0$ 时。