[论文解读] Spectral gaps for periodic Schrödinger operators with hypersurface magnetic wells: Analysis near the bottom

Bernard Helffer, Yuri A. Kordyukov|ArXiv.org|Dec 23, 2008

Spectral Theory in Mathematical Physics参考文献 9被引用 5

一句话总结

本文分析了在非紧流形上具有超曲面磁阱的周期性磁 Schrödinger 算子的谱隙，其中磁场均在超曲面 S 上规则地消失。利用半经典分析与隧道效应估计，证明了在 h → 0 时，当 S 上满足非退化微阱条件时，谱底附近存在任意多个谱隙，并在单阱近似下给出了特征值的渐近展开式。

ABSTRACT

We consider a periodic magnetic Schrödinger operator $H^h$, depending on the semiclassical parameter $h>0$, on a noncompact Riemannian manifold $M$ such that $H^1(M, {\mathbb R})=0$ endowed with a properly discontinuous cocompact isometric action of a discrete group. We assume that there is no electric field and that the magnetic field has a periodic set of compact magnetic wells. We suppose that the magnetic field vanishes regularly on a hypersurface $S$. First, we prove upper and lower estimates for the bottom $λ_0(H^h)$ of the spectrum of the operator $H^h$in $L^2(M)$. Then, assuming the existence of non-degenerate miniwells for the reduced spectral problem on $S$, we prove the existence of an arbitrary large number of spectral gaps for the operator $H^h$ in the region close to $λ_0(H^h)$, as $h o 0$. In this case, we also obtain upper estimates for the eigenvalues of the one-well problem.

研究动机与目标

• 分析具有在超曲面 S 上规则消失的磁阱的周期性磁 Schrödinger 算子的谱结构。
• 在 h → 0 时，建立谱底 λ₀(Hʰ) 的精确上下界。
• 在 S 上满足非退化微阱条件时，证明谱底附近存在任意多个谱隙。
• 在半经典极限下，推导单阱问题特征值的渐近展开式。

提出的方法

• 利用半经典分析研究 h → 0 时孤立磁阱之间的隧道效应。
• 通过在阱的紧子集上使用 Dirichlet 实现，将谱问题约化为单阱模型。
• 使用参数解法与依赖于 h 的相位和振幅函数的 WKB 型假设构造拟态。
• 应用基于近似特征值与谱分离的一般谱隙存在性准则（定理 4.2）。
• 利用 |B(x)| 的迹和正部 Tr⁺(B(x)) 来表征磁场强度及其极小值。
• 通过超曲面 S 上的算子 K 对特征值进行渐近分析，特征值展开式包含 h^(2k+2)/(k+2) 和 h^(2k+3)/(k+2) 项。

实验结果

研究问题

• RQ1 在什么条件下，周期性磁 Schrödinger 算子的谱在 h → 0 时于谱底附近表现出任意多个谱隙？
• RQ2 磁阱的几何结构，特别是其在超曲面 S 上的消失方式，如何影响谱隙结构？
• RQ3 单阱问题特征值在谱底附近的精确渐近行为是什么？
• RQ4 谱隙结构能否通过超曲面 S 上微阱的非退化性来控制？
• RQ5 隧道效应在磁场强度极小值附近的谱局域化中起什么作用？

主要发现

• 谱底 λ₀(Hʰ) 满足上下界，其量级为 h^(2k+2)/(k+2)，其中 k ≥ 1，取决于磁阱的局部几何结构。
• 当 S 上的微阱非退化时，对于足够小的 h，Hʰ 的谱在 [0, h(b₀ + ε₀)] 内至少存在 N 个谱隙，其中 N ≥ 1。
• 第 m 个特征值 λₘ(Hʰ) 具有如下渐近展开式：λₘ(Hʰ) = ĥνω_min(B)^(2/(k+2)) h^((2k+2)/(k+2)) + λₘ h^((2k+3)/(k+2)) + O(h^((4k+7)/(2(k+2))))，当 h → 0 时成立。
• 该特征值展开式在假设模型算子 K 在 S 上的基态能量对控制参数的二阶导数为正时成立，从而保证了离散谱。
• 若二阶导数为零，则 K 的谱为半直线 [λ₀, ∞)，但只要在 (λ₀, b_N) 中选取特征值且 b_N > λ₀，谱隙依然存在。
• 拟态 Uʰ 满足 (Hʰ − z(h))Uʰ = O(h^((4k+7)/(2(k+2)))) 且 ||Uʰ|| = 1 + o(1)，证实了渐近逼近的准确性。