[论文解读] Schrödinger operators on armchair nanotubes. II

Andrey Badanin, Jochen Brüning+1 more|ArXiv.org|Jul 26, 2007

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

一句话总结

本文分析了在锯齿形纳米管图上具有周期势的薛定谔算符的谱性质，重点关注其绝对连续谱。它刻画了谱的结构，包括通过周期/反对称本征值和共振（Lyapunov函数的分支点）确定的能隙端点，并推导了高能区能隙的渐近行为，揭示了共振能隙对应于Lyapunov函数的非实数值。

ABSTRACT

We consider the Schrödinger operator with a periodic potential on quasi-1D models of armchair single-wall nanotubes. The spectrum of this operator consists of an absolutely continuous part (intervals separated by gaps) plus an infinite number of eigenvalues with infinite multiplicity. We describe the absolutely continuous spectrum of the Schrödinger operator: 1) the multiplicity, 2) endpoints of the gaps, they are given by periodic or antiperiodic eigenvalues or resonances (branch points of the Lyapunov function), 3) resonance gaps, where the Lyapunov function is non-real. We determine the asymptotics of the gaps at high energy.

研究动机与目标

• 刻画准一维锯齿形纳米管图上薛定谔算符的绝对连续谱。
• 以周期或反对称本征值以及共振（Lyapunov函数的分支点）的形式确定谱能隙端点。
• 分析这些算符在高能区谱能隙的渐近行为。
• 识别Lyapunov函数为非实数值的共振能隙。
• 建立绝对连续谱的多重性及其与势对称性的依赖关系。

提出的方法

• 将纳米管建模为具有六条边构成的基本单元的周期图，排列在六边形晶格中。
• 在图 $\Gamma^N$ 上定义薛定谔算符 $\mathscr{H} = -\Delta + \mathscr{V}_q$，其中 $q \in L^2_{\text{even}}(0,1)$。
• 使用转移矩阵法和Lyapunov函数分析谱性质并定位能隙端点。
• 在顶点处应用Kirchhoff边界条件以确保算符的自伴性。
• 利用微扰理论和傅里叶系数分析推导本征值和谱能隙的渐近展开式。
• 采用函数 $F(\lambda)$ 及其相关函数 $F_-$ 确定共振条件和能隙结构。

实验结果

研究问题

• RQ1 什么决定了锯齿形纳米管上薛定谔算符绝对连续谱中能隙端点的确定？
• RQ2 周期和反对称本征值如何与谱能隙结构相关联？
• RQ3 这些算符在高能区的谱能隙渐近行为如何？
• RQ4 在何种条件下会出现共振能隙——即Lyapunov函数为非实数值时？
• RQ5 势的对称性（$q \in L^2_{\text{even}}(0,1)$）如何影响谱的多重性和能隙结构？

主要发现

• 绝对连续谱由被能隙分隔的区间组成，其端点由周期或反对称本征值或共振（Lyapunov函数的分支点）决定。
• 当Lyapunov函数为非实数时，恰好出现共振能隙，表明谱类型发生转变。
• 在高能区，能隙的渐近行为由 $\lambda_{2,2n}^{0,\pm} = (\pi n)^2 \pm \sqrt{\frac{2}{3}q_{sn}^2 + q_{cn}^2} + o(n^{-1})$ 描述，其中 $q_{sn}, q_{cn}$ 为势的傅里叶系数。
• 对于偶函数势，$F_- = 0$，从而得到 $F_{k,1}(r) = F_{k,2}(r) = -\frac{s_k^2 + 1}{2} \in (-1, -\frac{1}{2}]$，这决定了谱函数 $v_k$ 的符号。
• 当势为狄拉克型扰动 $q_\varepsilon = \frac{1}{\varepsilon}\delta(t - \frac{1}{2} - c_k\varepsilon - \varepsilon^2)$ 时，对小的 $\varepsilon$ 有 $v_k(\lambda_{1,2n-1}^{0,\pm}, q_\varepsilon) > 0$，意味着存在嵌入本征值。
• 当 $k \neq N/2$ 时，$v_k(\lambda_{1,2n-1}^{0,\pm}) \geq 0$ 当且仅当 $F_{k,1}(r_{k,n}^{\pm}) = F_{k,2}(r_{k,n}^{\pm}) \leq -1$，且当这些值位于 $(-1, -\frac{1}{2}]$ 时，有 $v_k < 0$。