[论文解读] On local perturbations of Shrodinger operator in axis

R. R. Gadyl’shin|ArXiv.org|Feb 11, 2002

Spectral Theory in Mathematical Physics被引用 7

一句话总结

本文通过引入与谱参数 $ \lambda = -k^2 $ 相关的复频率参数 $ k $，建立了在一维薛定谔算子上进行小局部扰动时，特征值出现的必要且充分条件。关键结果表明，特征值仅当扰动引起的预解式极点进入右半平面 $ \mathrm{Re}\,k > 0 $ 时才会出现，并推导出特征值与特征函数的显式渐近公式。

ABSTRACT

We adduce the necessary and sufficient condition for arising of eigenvalues of Shrodinger operator in axis under small local perturbations. In the case of eigenvalues arising we construct their asymptotics.

研究动机与目标

• 确定在实轴上对薛定谔算子 $ H_0 = -d^2/dx^2 $ 进行小局部扰动时，产生离散特征值的精确条件。
• 基于复频率参数 $ k $（其中 $ \lambda = -k^2 $）构建一种新颖的分析框架，以研究扰动算子的谱行为。
• 在小扰动极限下，推导出特征值及其关联特征函数的显式渐近展开式。
• 将先前仅对实值势能成立的结果推广至复值扰动，揭示了非直观行为，例如尽管势能平均为零，特征值仍可能产生。

提出的方法

• 引入复频率参数 $ k $，使得 $ \lambda = -k^2 $，从而实现解在整个复平面上的解析延拓。
• 定义预解式算子 $ A(k)g = -\frac{1}{2k}\int e^{-k|x-t|}g(t)dt $，其将 $ L_2(\mathbb{R};Q) $ 映射至 $ W^{2}_{2,loc}(\mathbb{R}) $。
• 构造算子 $ T_\varepsilon^{(0)}(k) = \mathcal{L}_\varepsilon[A(k)g] + \frac{\langle g\rangle}{2k}\mathcal{L}_\varepsilon[1] $，以编码扰动结构。
• 定义算子 $ S_\varepsilon(k) = (I + \varepsilon T_\varepsilon^{(0)}(k))^{-1} $，其在小 $ \varepsilon $ 下关于 $ k $ 解析，并利用它推导出特征值条件 $ k - \frac{\varepsilon}{2}\langle S_\varepsilon(k)\mathcal{L}_\varepsilon[1]\rangle = 0 $。
• 分析该方程解 $ k_\varepsilon $ 的位置：若 $ \mathrm{Re}\,k_\varepsilon > 0 $，则存在特征值 $ \lambda_\varepsilon = -k_\varepsilon^2 $。
• 将特征函数表示为 $ \phi_\varepsilon = A(k_\varepsilon)S_\varepsilon(k_\varepsilon)\mathcal{L}_\varepsilon[1] $，从而将其与扰动和预解式结构直接关联。

实验结果

研究问题

• RQ1 在实轴上对薛定谔算子 $ H_0 = -d^2/dx^2 $ 进行小局部扰动时，其在何种条件下会产生离散特征值？
• RQ2 复频率参数 $ k $（与谱参数 $ \lambda = -k^2 $ 相关）如何使我们对常规扰动下特征值出现的理解更加深入？
• RQ3 为何在平均势能为零的扰动下，特征值仍可能产生，这与经典预期相反？
• RQ4 当 $ \varepsilon \to 0 $ 时，特征值 $ \lambda_\varepsilon $ 及其关联特征函数 $ \phi_\varepsilon $ 的精确渐近行为是什么？
• RQ5 扰动的符号和复数性质如何影响特征值的存在性与位置？

主要发现

• 当且仅当方程 $ k - \frac{\varepsilon}{2}\langle S_\varepsilon(k)\mathcal{L}_\varepsilon[1]\rangle = 0 $ 的解 $ k_\varepsilon $ 满足 $ \mathrm{Re}\,k_\varepsilon > 0 $ 时，扰动薛定谔算子 $ H_\varepsilon $ 存在特征值。
• 特征值具有渐近形式 $ \lambda_\varepsilon = -k_\varepsilon^2 $，其中 $ k_\varepsilon = \varepsilon \frac{1}{2}(m_\varepsilon^{(1)} + \varepsilon m_\varepsilon^{(2)} + O(\varepsilon^2)) $，且 $ m_\varepsilon^{(1)} = \langle \mathcal{L}_\varepsilon[1] \rangle $，$ m_\varepsilon^{(2)} $ 涉及扰动核的二重积分。
• 对于复势能 $ V $，条件 $ \langle V \rangle = 0 $ 并不足以保证无特征值；即使 $ m_\varepsilon^{(2)} $ 的实部为负，只要 $ \mathrm{Re}\,k_\varepsilon > 0 $，特征值仍可能存在的。
• 在势能 $ V_{\varepsilon} = \exp(i\varepsilon^{-1})V $ 且 $ \langle V \rangle > 0 $ 的情况下，对某些 $ \varepsilon $-区间存在特征值，其渐近行为为 $ \lambda_\varepsilon = -\left(\varepsilon \cos(1/\varepsilon)\right)^2 \frac{1}{4}\langle V \rangle^2 + O(\varepsilon^3) $。
• 对于非局部扰动 $ \mathcal{L}_\varepsilon[g] = \varkappa(Q)\langle \rho g \rangle $，当 $ \mathrm{Re}\langle \rho \rangle > 0 $ 时存在特征值，其渐近行为为 $ \lambda_\varepsilon = -\varepsilon^2 \frac{1}{4}(|Q|\langle \rho \rangle)^2 + O(\varepsilon^3) $。
• 当 $ \mathcal{L}_\varepsilon[g] = \varkappa(Q)\int_{-\infty}^x \rho(t)g(t)dt $ 时，若 $ |Q|\langle \rho \rangle - \langle x\rho \rangle > 0 $，则存在特征值，其渐近行为为 $ k_\varepsilon = \varepsilon \frac{1}{2}( |Q|\langle \rho \rangle - \langle x\rho \rangle ) + O(\varepsilon^2) $。