[论文解读] 1--D Schrödinger operators with local interactions on a discrete set

Aleksey Kostenko, M. M. Malamud|arXiv (Cornell University)|Aug 25, 2009

Spectral Theory in Mathematical Physics被引用 20

一句话总结

本文研究了在离散点集 $X = \{x_n\}_{n=1}^\infty$ 上具有 $\delta$- 和 $\delta'$-型点相互作用的一维薛定谔算符，其中点之间的下确界距离 $d_* = 0$。通过边界三元组和威爾函数，建立了此类算符与雅可比矩阵之间的谱对应关系，推导出在 $d_* = 0$ 范围内自伴性、下有界性及离散性的必要与充分条件——揭示了其与 $d_* > 0$ 情况的根本差异。

ABSTRACT

Spectral properties of 1-D Schrödinger operators $\mathrm{H}_{X,α}:=-\frac{\mathrm{d}^2}{\mathrm{d} x^2} + \sum_{x_{n}\in X}α_nδ(x-x_n)$ with local point interactions on a discrete set $X=\{x_n\}_{n=1}^\infty$ are well studied when $d_*:=\inf_{n,k\in\N}|x_n-x_k|>0$. Our paper is devoted to the case $d_*=0$. We consider $\mathrm{H}_{X,α}$ in the framework of extension theory of symmetric operators by applying the technique of boundary triplets and the corresponding Weyl functions. We show that the spectral properties of $\mathrm{H}_{X,α}$ like self-adjointness, discreteness, and lower semiboundedness correlate with the corresponding spectral properties of certain classes of Jacobi matrices. Based on this connection, we obtain necessary and sufficient conditions for the operators $\mathrm{H}_{X,α}$ to be self-adjoint, lower-semibounded, and discrete in the case $d_*=0$. The operators with $δ'$-type interactions are investigated too. The obtained results demonstrate that in the case $d_*=0$, as distinguished from the case $d_*>0$, the spectral properties of the operators with $δ$ and $δ'$-type interactions are substantially different.

研究动机与目标

• 分析当点集 $X$ 的下确界距离 $d_* = 0$ 时，一维薛定谔算符在局部 $\delta$- 和 $\delta'$-相互作用下的谱性质，该情形下标准方法失效。
• 利用边界三元组与威爾函数框架，将对称算符自伴扩张理论扩展至密集点相互作用的情形。
• 建立此类薛定谔算符与雅可比矩阵之间精确的谱对应关系，实现将矩阵谱的已知结果转移至微分算符设定中。
• 推导出在 $d_* = 0$ 情况下算符自伴性、下有界性及离散性的必要与充分条件，表明其与 $d_* > 0$ 情况存在显著差异。

提出的方法

• 作者采用边界三元组与威爾函数理论，对与点相互作用相关的最小对称算符 $\mathrm{H}_{\min}^*$ 的自伴扩张进行参数化。
• 他们为单个相互作用点构建边界三元组的直和，证明当相互作用强度与几何结构满足特定条件时，该结构构成全算符的边界三元组。
• 通过威爾函数与克雷因型预解式公式，将薛定谔算符的谱性质与雅可比矩阵的谱性质联系起来，实现谱的转移。
• 该方法依赖广义边界关系与对称算符的扩张理论，特别是针对无穷亏并指数的非负算符。
• 分析涵盖 $\delta$- 与 $\delta'$-相互作用，后者通过修改后的边界条件框架处理。
• 作者利用贝雷赞斯基判别法及雅可比矩阵的性质，确定亏并指数与谱类型。

实验结果

研究问题

• RQ1 当 $d_* = 0$ 时，一维薛定谔算符在 $\delta$-相互作用下自伴性的必要与充分条件是什么？
• RQ2 当 $d_* = 0$ 时，$\delta$- 与 $\delta'$-相互作用算符的谱性质（如下有界性与离散性）与 $d_* > 0$ 情况相比有何不同？
• RQ3 雅可比矩阵的谱理论能否用于表征具有密集点相互作用的薛定谔算符的谱类型？
• RQ4 相互作用点的几何结构（如 $d_n = 1/n$）在决定算符谱性质方面起什么作用？
• RQ5 在何种相互作用强度 $\alpha_n$ 与 $\beta_n$ 条件下，算符 $\mathrm{H}_{X,\alpha}$ 是下有界或离散的？

主要发现

• 算符 $\mathrm{H}_{X,\alpha}$ 当且仅当其对应的雅可比矩阵 $B_{X,\alpha,q_a}$ 自伴时自伴，建立了直接的谱对应关系。
• 当 $d_n = 1/n$ 且 $\alpha_n = -4n - 2$ 时，算符 $\mathrm{H}_{X,\alpha,0}$ 自伴，表明密集相互作用仍可产生自伴实现。
• 当 $a_0$ 满足 $\varepsilon_1(a_0) = 2$ 时，算符 $\mathrm{H}_{X,\alpha,q_a}$ 的亏并指数为 $n_\pm = 1$，表明其为对称但非自伴。
• 薛定谔算符的谱类型由雅可比矩阵元素的行为决定：若 $\{b_n^{-1}\} \in \ell^1$ 且 $b_{n-1}b_{n+1} \leq b_n^2$，则由贝雷赞斯基判别法得 $n_\pm = 1$。
• 研究表明，当 $d_* = 0$ 时，$\delta$- 与 $\delta'$-相互作用表现出根本不同的谱行为，与 $d_* > 0$ 情况截然不同。
• 薛定谔算符的威爾函数与雅可比矩阵的威爾函数满足关系式 $M_n(z) = R_n^{-1}(\widetilde{M}_n(z) - Q_n)R_n^{-1}$，从而可通过矩阵理论实现谱分析。