[论文解读] Pseudospectra of the Schroedinger operator with a discontinuous complex potential

Raphaël Henry, David Krejčiřı́k|arXiv (Cornell University)|Mar 9, 2015

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

一句话总结

本文研究了在 $ \mathbb{R} $ 上具有不连续虚部势 $ i\,\mathop{\mathrm{sgn}}\nolimits(x) $ 的薛定谔算符的伪谱性质。尽管势函数有界且谱位于一个半带形区域内，但预解式范数在无穷远处发散，导致出现高度非平凡的伪谱——表明该算符在小扰动下表现出强烈的谱不稳定性，这与自伴算符或弱耦合系统形成鲜明对比。

ABSTRACT

We study spectral properties of the Schroedinger operator with an imaginary sign potential on the real line. By constructing the resolvent kernel, we show that the pseudospectra of this operator are highly non-trivial, because of a blow-up of the resolvent at infinity. Furthermore, we derive estimates on the location of eigenvalues of the operator perturbed by complex potentials. The overall analysis demonstrates striking differences with respect to the weak-coupling behaviour of the Laplacian.

研究动机与目标

• 分析具有不连续虚部势的非自伴薛定谔算符的谱不稳定性。
• 研究在缺乏光滑性且存在连续谱的情况下伪谱的结构。
• 将该算符的行为与自伴或光滑非自伴算符的弱耦合区域进行对比。
• 利用 Birman-Schwinger 原理，对复势扰动下的特征值位置建立严格的估计。
• 证明即使对于有界且不连续的势函数，谱不稳定性依然会出现，从而挑战经典预期。

提出的方法

• 通过求解非齐次方程的解，显式构造 $ L^2(\mathbb{R}) $ 上薛定谔算符 $ H = -\frac{d^2}{dx^2} + i\,\mathop{\mathrm{sgn}}\nolimits(x) $ 的预解核。
• 通过定义 $ \sigma_\varepsilon(H) = \{ z \in \mathbb{C} : \|(H - z)^{-1}\| > \varepsilon^{-1} \} $ 分析预解式 $ \|(H - z)^{-1}\| $ 的算子范数，以刻画伪谱。
• 在 $ x = 0 $ 处施加狄利克雷边界条件，将解分解为左右半直线分量，从而实现预解核的显式计算。
• 应用 Birman-Schwinger 原理，通过分析算符 $ K_z^D = |V|^{1/2}(H^D - z)^{-1}|V|^{1/2} $ 的希尔伯特-施密特范数，研究复势 $ V \in L^1(\mathbb{R}, (1+x^2)dx) $ 下的特征值扰动。
• 证明预解核 $ \mathcal{R}_z^D(x,y) $ 的一致有界性，即 $ |\mathcal{R}_z^D(x,y)| \leq C(1 + |x| + |y|) $，从而推出希尔伯特-施密特范数的一致有界性。
• 将算符 $ H $ 的伪谱与其实现狄利克雷正则化的版本 $ H^D $ 的伪谱进行比较，表明 $ H^D $ 具有平凡伪谱，而 $ H $ 则没有。

实验结果

研究问题

• RQ1 具有不连续虚部势的薛定谔算符的伪谱与自伴算符或光滑非自伴算符的伪谱有何不同？
• RQ2 当势函数有界且谱包含于半带形区域时，谱不稳定性（以伪谱衡量）是否仍可能发生？
• RQ3 势函数的不连续性在导致预解式范数在无穷远处发散、从而引发非平凡伪谱方面起什么作用？
• RQ4 弱耦合复扰动在多大程度上会在谱之外产生特征值？这种现象能否被量化？
• RQ5 为何狄利克雷正则化版本 $ H^D $ 具有平凡伪谱，尽管其谱与 $ H $ 相同？这说明了边界条件在其中扮演何种作用？

主要发现

• 薛定谔算符 $ H = -\frac{d^2}{dx^2} + i\,\mathop{\mathrm{sgn}}\nolimits(x) $ 的伪谱是非平凡的，预解式范数 $ \|(H - z)^{-1}\| $ 在谱 $ \sigma(H) \subset \overline{\mathcal{S}} = [0,\infty) + i(-1,1) $ 的任意固定邻域之外变得任意大。
• 尽管势函数有界且谱位于半带形区域内，该算符仍表现出强烈的谱不稳定性，因为伪谱由于无穷远处的预解式发散而显著扩展至谱之外。
• 狄利克雷正则化算符 $ H^D $ 与 $ H $ 具有相同的谱 $ \sigma(H^D) = \mathbb{R}_+ + i\{ -1, +1 \} $，但其伪谱是平凡的，这表明 $ H $ 的非平凡伪谱源于在 $ x = 0 $ 处缺乏边界条件。
• 对于足够小的 $ \varepsilon > 0 $，扰动算符 $ H^D_\varepsilon = H^D + \varepsilon V $（其中 $ V \in L^1(\mathbb{R}, (1+x^2)dx) $）的谱保持不变：$ \sigma(H^D_\varepsilon) = \mathbb{R}_+ + i\{ -1, +1 \} $，表明不存在弱耦合特征值。
• Birman-Schwinger 算符 $ K_z^D $ 的希尔伯特-施密特范数一致有界：$ \|K_z^D\|_{\mathrm{HS}} \leq C \int_{\mathbb{R}} (1+x^2)|V(x)|\,dx $，这确保了在具有多项式权的 $ L^1 $-扰动下谱的稳定性。
• 该结果为非自伴算符建立了非平凡的 Hardy 不等式类比，表明在狄利克雷正则化情形下不会出现虚束缚态（即弱耦合特征值）。