[论文解读] One-dimensional Schr\\"odinger operators with singular periodic potentials

Vladimir Mikhailets, Volodymyr Molyboga|arXiv (Cornell University)|May 7, 2008

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

一句话总结

本文建立了在 $ H^{-1}_{\text{per}}(\mathbb{R},\mathbb{R}) $ 中具有奇异周期势的单变量薛定谔算子的五种不同定义之间的等价性，证明了它们是自伴算子，且谱具有连续的带隙结构。本文提供了谱连续性的新证明，并精确刻画了谱隙端点为 $[0,1]$ 上的周期与半周期特征值，解决了文献中关于 Friedrichs 扩张与最大拟微分扩张重合问题的先前不一致。

ABSTRACT

We study the one-dimensional Schr\\"odinger operators $$ S(q)u:=-u"+q(x)u,\\quad u\\in \\mathrm{Dom}\\left(S(q)\ ight), $$ with $1$-periodic real-valued singular potentials $q(x)\\in H_{\\operatorname{per}}^{-1}(\\mathbb{R},\\mathbb{R})$ on the Hilbert space $L_{2}\\left(\\mathbb{R}\ ight)$. We show equivalence of five basic definitions of the operators $S(q)$ and prove that they are self-adjoint. A new proof of continuity of the spectrum of the operators $S(q)$ is found. Endpoints of spectrum gaps are precisely described.

研究动机与目标

• 解决文献中关于具有奇异周期势的薛定谔算子不同定义之间等价性的不一致问题。
• 证明对于 $ q \in H^{-1}_{\text{per}}(\mathbb{R},\mathbb{R}) $，最大拟微分算子 $ S_{\text{max}}(q) $ 是自伴的。
• 统一并扩展关于 Friedrichs 扩张、形式和算子以及光滑逼近的范数-预解式极限的先前结果。
• 提供谱连续性的新证明，并精确描述谱隙的结构。

提出的方法

• 使用 $ H^{-1}_{\text{per}}(\mathbb{R},\mathbb{R}) $ 中 $ 1 $-周期分布的傅里叶级数展开，其定义为 $ \sum_{k \in 2\mathbb{Z}} (1+|k|)^{-2} |\hat{q}(k)|^2 < \infty $。
• 应用拉格朗日恒等式与边界极限分析，刻画 $ S_{\text{min}}(q) $ 与 $ S_{\text{max}}(q) $ 的定义域，证明 $ S_{\text{min}}^* = S_{\text{max}} $。
• 建立 $ S_{\text{min}}(q) $、$ S_{\text{max}}(q) $、Friedrichs 扩张 $ S_F(q) $、形式和算子 $ S_{\text{form}}(q) $ 以及光滑逼近的范数-预解式极限 $ S_{\text{lim}}(q) $ 之间的等价性。
• 结合极限算子 $ S_{\text{lim}}(q) $ 使用 Birkhoff-Lyapunov 定理，分析谱的连续性与带隙结构。
• 通过将谱隙的端点识别为 $[0,1]$ 上 Sturm-Liouville 问题的周期与半周期特征值，分析谱隙。

实验结果

研究问题

• RQ1 对于 $ H^{-1}_{\text{per}} $ 势，不同算子定义（拟微分、Friedrichs、形式和、范数-预解式极限）是否等价？
• RQ2 对于 $ q \in H^{-1}_{\text{per}}(\mathbb{R},\mathbb{R}) $，最大拟微分算子 $ S_{\text{max}}(q) $ 是否是自伴的？
• RQ3 谱隙的精确结构是什么？其端点如何与周期和半周期特征值相关联？
• RQ4 能否利用极限算子 $ S_{\text{lim}}(q) $ 构造谱连续性的新证明？

主要发现

• 对于所有实值 $ 1 $-周期势 $ q \in H^{-1}_{\text{per}}(\mathbb{R},\mathbb{R}) $，最大拟微分算子 $ S_{\text{max}}(q) $ 是自伴的。
• 所有五种定义——$ S_{\text{min}}(q) $、$ S_{\text{max}}(q) $、$ S_F(q) $、$ S_{\text{form}}(q) $ 和 $ S_{\text{lim}}(q) $——是等价的，且定义了同一个自伴算子。
• 算子 $ S(q) $ 的谱是连续的，具有带隙结构，其端点满足 $ -\infty < \lambda_0(q) < \lambda_1^-(q) \leq \lambda_1^+(q) < \lambda_2^-(q) \leq \lambda_2^+(q) < \cdots $。
• 当 $ k $ 为偶数时，端点 $ \lambda_k^\pm(q) $ 是 $[0,1]$ 上 Sturm-Liouville 问题的周期特征值；当 $ k $ 为奇数时，它们是半周期特征值。
• 该证明纠正了 Hryniv 和 Mykytyuk 之前声称 $ S_{\text{max}}(q) = S_F(q) $ 的错误，提供了正确且统一的框架。