[论文解读] On the Bound States of Schr\"odinger Operators with $\delta$-interactions on Conical Surfaces

Vladimir Lotoreichik, Thomas Ourmières-Bonafos|arXiv (Cornell University)|Oct 19, 2015

Spectral Theory in Mathematical Physics参考文献 35被引用 22

一句话总结

本文研究了在维度 $d \geq 3$ 的圆锥曲面上具有 $\delta$-相互作用的薛定谔算符。通过将谱分解为角动量纤维，证明了离散谱仅存在于 $d=3$ 时，此时本征值在基本谱阈值 $-\alpha^2/4$ 之下以对数速率累积。精确的累积速率被证明为当 $\varepsilon \to 0^+$ 时，$N_{-\alpha^2/4 - \varepsilon}(H_{\alpha,C}) \sim \frac{\cot\theta}{4\pi} |\ln \varepsilon|$，且本征值在圆锥的张角 $\theta$ 上是非递减的。对于 $d \geq 4$，不存在离散谱。

ABSTRACT

In dimension greater than or equal to three, we investigate the spectrum of a Schr{\"o}dinger operator with a $\delta$-interaction supported on a cone whose cross section is the sphere of co-dimension two. After decomposing into fibers, we prove that there is discrete spectrum only in dimension three and that it is generated by the axisymmetric fiber. We get that these eigenvalues are non-decreasing functions of the aperture of the cone and we exhibit the precise logarithmic accumulation of the discrete spectrum below the threshold of the essential spectrum.

研究动机与目标

• 确定在 $\mathbb{R}^d$ ($d \geq 3$) 中，支持在圆锥超曲面上的薛定谔算符的离散谱的存在性与结构。
• 分析圆锥的几何特性——特别是其张角 $\theta$——对谱的影响，尤其是对基本谱以下的本征值的影响。
• 在维度 $d=3$ 中，为低于阈值 $-\alpha^2/4$ 的本征值数量建立精确的谱渐近展开。
• 证明对于 $d \geq 4$，不存在离散谱，与 $d=3$ 情况形成对比，凸显维度依赖性。

提出的方法

• 通过球谐函数将问题分解为角动量纤维分量，利用变量分离法，将 $d$ 维问题约化为 $(r,z)$-平面上的一族二维问题。
• 分析每个角动量量子数 $l$ 对应的纤维算符 $Q^{[l]}_{\alpha,\Gamma_\theta}$，其定义域为 $L^2(\mathbb{R}^2_+; r^{d-2} dr dz)$。
• 通过证明最低纤维算符（$l=0$）的谱决定了全算符在 $-\alpha^2/4$ 以下的谱，从而证明其在 $d=3$ 中主导离散谱。
• 建立最低纤维算符与一个定义域与 $\theta$ 无关的型式之间的酉等价，从而实现单调性分析。
• 利用变分法与瑞利商，证明在 $d=3$ 中，本征值 $E_k(H_{\alpha,C})$ 是圆锥张角 $\theta$ 的非递减函数。
• 应用受 [11] 启发的谱渐近技术，推导出在 $d=3$ 中本征值在 $-\alpha^2/4$ 附近累积的精确对数速率。

实验结果

研究问题

• RQ1 在维度 $d \geq 4$ 中，支持在圆锥曲面上的薛定谔算符的离散谱是否存在？若存在，其本征值数量是多少？
• RQ2 在维度 $d=3$ 中，本征值在基本谱阈值 $-\alpha^2/4$ 之下的累积速率的精确表达式是什么？
• RQ3 圆锥的张角 $\theta$ 如何影响 $d=3$ 中本征值的位置？
• RQ4 为何尽管在圆锥曲面上存在吸引性的 $\delta$-相互作用，$d \geq 4$ 时离散谱仍会消失？
• RQ5 最低纤维算符（$l=0$）是否足以捕捉 $d=3$ 中的全部离散谱？

主要发现

• 在维度 $d=3$ 中，算符 $H_{\alpha,C}$ 在基本谱阈值 $-\alpha^2/4$ 之下具有无穷多个束缚态，即 $\#\sigma_{\text{dis}}(H_{\alpha,C}) = \infty$。
• 对于 $d \geq 4$，算符 $H_{\alpha,C}$ 不存在离散谱，即 $\#\sigma_{\text{dis}}(H_{\alpha,C}) = 0$，这是由于其与一组谱下界为 $-\alpha^2/4$ 的纤维算符的正交直和酉等价所致。
• 在 $d=3$ 中，本征值 $E_k(H_{\alpha,C})$ 是圆锥张角 $\theta$ 在 $(0, \pi/2)$ 上的非递减函数，意味着更大的圆锥（更宽的张角）会导致更高的或相等的束缚态能量。
• 在 $d=3$ 中，低于 $-\alpha^2/4 - \varepsilon$ 的本征值数量满足精确渐近式：当 $\varepsilon \to 0^+$ 时，$N_{-\alpha^2/4 - \varepsilon}(H_{\alpha,C}) \sim \frac{\cot\theta}{4\pi} |\ln \varepsilon|$。
• $d=3$ 中的离散谱完全由轴对称（$l=0$）纤维生成，且相应的本征值问题与一个定义域与 $\theta$ 无关的型式酉等价。
• 纤维算符 $Q^{[l]}_{\alpha,\Gamma_\theta}$ 的型式核在 $d \geq 4$ 或 $l \geq 0$ 时为 $C_0^\infty(\mathbb{R}^2_+)$，在 $d=3$ 且 $l>0$ 时为 $C_0^{\infty,0}(\mathbb{R}^2_+)$，从而保证了变分方法的有效性。