[论文解读] Schrödinger operators with complex singular potentials

Vladimir Mikhailets, Volodymyr Molyboga|arXiv (Cornell University)|Jun 3, 2013

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

一句话总结

本文在空间 $ H_{\text{unif}}^{-1}(\mathbb{R}) $ 中建立了具有复值势的单变量薛定谔算子的多种定义之间的等价性与自伴性，证明了其通过光滑势的范数预解逼近，并将谱局部化于复平面上的抛物区域，从而弥补了以往关于分布势研究中的空白。

ABSTRACT

We study one-dimensional Schrödinger operators $\mathrm{S}(q)$ on the space $L^{2}(\mathbb{R})$ with potentials $q$ being complex-valued generalized functions from the negative space $H_{unif}^{-1}(\mathbb{R})$. Particularly the class $H_{unif}^{-1}(\mathbb{R})$ contains periodic and almost periodic $H_{loc}^{-1}(\mathbb{R})$-functions. We establish an equivalence of the various definitions of the operators $\mathrm{S}(q)$, investigate their approximation by operators with smooth potentials from the space $L_{unif}^{1}(\mathbb{R})$ and prove that the spectrum of each operator $\mathrm{S}(q)$ lies within a certain parabola.

研究动机与目标

• 解决文献[10]中关于实值 $ H_{\text{unif}}^{-1}(\mathbb{R}) $ 势的薛定谔算子自伴性证明不完整的问题。
• 将理论扩展至 $ H_{\text{unif}}^{-1}(\mathbb{R}) $ 中的复值势，此前对算子（最小、弗里德里奇斯、形式和、最大）的定义尚未完全统一。
• 确立算子 $ \mathrm{S}_0(q) $、$ \mathrm{S}(q) $、$ \mathrm{S}_{\text{fs}}(q) $ 与 $ \mathrm{S}_F(q) $ 一致且对复数 $ q \in H_{\text{unif}}^{-1}(\mathbb{R}) $ 为 $ m $-扇形。
• 证明具有 $ L_{\text{unif}}^1(\mathbb{R}) $ 中光滑势的逼近算子在范数预解意义下收敛于极限算子 $ \mathrm{S}(q) $。
• 基于势的范数与正则性参数，提供 $ \mathrm{S}(q) $ 在复平面上谱的精确抛物局部化。

提出的方法

• 使用正则化方法通过 $ \mathrm{S}(q)y = -(y' - Qy)' - Qy' + \tau y $ 定义 $ \mathrm{S}(q) $，其中 $ q = Q' + \tau $，且 $ Q, \tau \in L_{\text{unif}}^2(\mathbb{R}) \times L_{\text{unif}}^1(\mathbb{R}) $。
• 应用形式和方法与弗里德里奇斯扩张，定义算子的替代版本，并通过 $ m $-扇形性与定义域重合证明其等价性。
• 采用预解逼近技术，证明若 $ \|q - q_n\|_{H^{-1}(0,1)} \to 0 $，则 $ \mathrm{S}(q_n) \to \mathrm{S}(q) $ 为范数预解收敛。
• 通过预极小算子数值范围的估计推导谱局部化，得出谱的扇形与抛物界。
• 使用形如 $ |t_q[u]| \leq a\varepsilon\|u'\|^2 + b\varepsilon^{-s}\|u\|^2 $ 的变分估计，以 $ a, b, s $ 表示谱虚部的界。
• 应用抽象定理13，导出显式抛物区域 $ \mathcal{M}_{a,b,s} $ 包含谱，其依赖于势的正则性参数。

实验结果

研究问题

• RQ1 在 $ H_{\text{unif}}^{-1}(\mathbb{R}) $ 中，对于复值势，最小、弗里德里奇斯、形式和与最大算子 $ \mathrm{S}_0(q) $、$ \mathrm{S}_F(q) $、$ \mathrm{S}_{\text{fs}}(q) $ 与 $ \mathrm{S}(q) $ 是否等价？
• RQ2 能否在范数预解意义下，用 $ L_{\text{unif}}^1(\mathbb{R}) $ 中的光滑势逼近 $ H_{\text{unif}}^{-1}(\mathbb{R}) $ 中具有复奇异势的薛定谔算子？
• RQ3 对于此类势，$ \mathrm{S}(q) $ 的谱在复平面上的精确局部化为何？
• RQ4 谱界如何依赖于势的分解 $ q = Q' + \tau $ 的范数，其中 $ Q \in L_{\text{unif}}^2(\mathbb{R}) $，$ \tau \in L_{\text{unif}}^1(\mathbb{R}) $？
• RQ5 对于实势，二次型 $ (\mathrm{S}(q)u, u) $ 的实部下界为何？其如何依赖于势的总变差？

主要发现

• 算子 $ \mathrm{S}_0(q) $、$ \mathrm{S}(q) $、$ \mathrm{S}_{\text{fs}}(q) $ 与 $ \mathrm{S}_F(q) $ 对所有 $ q \in H_{\text{unif}}^{-1}(\mathbb{R}) $ 均为 $ m $-扇形且一致，解决了文献中的基础性空白。
• $ \mathrm{S}(q) $ 的谱位于一个显式定义的抛物区域 $ \mathcal{M}_{a,b,s} \subset \mathbb{C} $ 内，其参数 $ a, b, s $ 由势的分解导出。
• 对于满足 $ Q \in \mathrm{BV}_{\text{loc}}(\mathbb{R}) $ 且在单位区间上 $ |q(I)| \leq K_0 $ 的势 $ q = Q' $，谱包含于 $ \left\{ \lambda \in \mathbb{C} \,\middle|\, |\mathrm{Im}\,\lambda| \leq 16K_0(\mathrm{Re}\,\lambda + (8K_0+1)^2)^{1/2} \right\} $。
• 预极小算子 $ \mathrm{S}_{00}(q) $ 的数值范围包含于一个扇形 $ \mathcal{S}_{K,\varepsilon} $，其显式界依赖于 $ K $ 与 $ \varepsilon $，确保扇形性。
• 对于实值势，当 $ K \geq 1/2 $ 时，二次型满足 $ (\mathrm{S}(q)u, u) \geq -32K^4\|u\|^2 $；当 $ K < 1/2 $ 时，满足 $ \geq -4K\|u\|^2 $，其中 $ K $ 为 $ Q $ 的总变差的上界。
• 当 $ \|q - q_n\|_{H^{-1}(0,1)} \to 0 $ 时，$ \mathrm{S}(q_n) \to \mathrm{S}(q) $ 的范数预解收敛成立，证实了算子在逼近下的稳定性。