[论文解读] Resonances for 1D half-line periodic operators: I. Generic case

Trinh Tuan Phong|arXiv (Cornell University)|Sep 13, 2015

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

一句话总结

本文在典型情况下分析了一维半直线薛定谔算符在截断周期势下的共振现象，其中谱参数在本质谱边界附近衰减为 $|\lambda_k - E_0|/L$。通过针对解析延拓的传播器的共振方程进行精细渐近分析，证明了在本质谱边界附近某一特定区域不存在共振，从而确立了在紧致谱区间下方存在一个无共振区域。关键结果是在典型条件下，共振被局域化在本质谱边界之外。

ABSTRACT

The present paper addresses questions on resonances for a $1$D Schrödinger operator with truncated periodic potential. Precisely, we consider the half-line operator $H^{\mathbb N}=-Δ+V$ and $H^{\mathbb N}_L = -Δ+ V 1_{[0,L]}$ acting on $\ell^{2}(\mathbb N)$ with Dirichlet boundary condition at $0$ with $L \in \mathbb N$. We describe the resonances of $H^{\mathbb N}_{L}$ near the boundary of the essential spectrum of $H^{\mathbb N}$ as $L ightarrow +\infty$ in the generic case.

研究动机与目标

• 理解当截断长度 $L \to \infty$ 时，截断周期薛定谔算符在半直线上的共振分布。
• 解决当谱参数表现出典型衰减 $a_k \asymp |\lambda_k - E_0|/L$ 时，共振在本质谱边界 $\partial\Sigma_{\mathbb{Z}}$ 附近的行为。
• 扩展先前要求共振远离 $\partial\Sigma_{\mathbb{Z}}$ 的结果，分析靠近谱边界的临界情形。
• 在势函数满足典型条件时，建立一个无共振区域——即在本质谱的紧致区间下方存在一个无共振区域。

提出的方法

• 分析共振方程 $S_L(E) = \sum_{k=0}^L \frac{a_k}{\lambda_k - E} = -e^{-i\theta(E)}$，其中 $E = 2\cos\theta(E)$，且 $\theta(E)$ 在下半平面进行解析延拓。
• 利用 $S_L(E)$ 的虚部推导出 $\text{Im}S_L(E) = \text{Im}E \sum_{k=0}^L \frac{a_k}{|\lambda_k - E|^2} = e^{\text{Im}E} \sin(\text{Re}\theta(E))$，该式在下半平面为正。
• 在靠近 $E_0 \in \partial\Sigma_{\mathbb{Z}}$ 的矩形区域 $\mathcal{R}_1$ 上应用调和函数方法，利用最大值原理控制虚部。
• 通过将 $k \lesssim \varepsilon^2 L$ 和 $k \gtrsim \varepsilon^2 L$ 的低模态与高模态区域分开，估计 $\mathcal{R}_1$ 边界上的和 $\sum_{k=0}^{\varepsilon L} \frac{a_k y}{(\lambda_k - x)^2 + y^2}$。
• 利用 $a_k \asymp |\lambda_k - E_0|/L \asymp k^2/L^3$ 的渐近估计，统一控制该区域内的和，证明 $|\text{Im}S_L(E)| \lesssim \varepsilon$。
• 证明依赖于 $a_k$ 的典型衰减，这使得在谱边附近能有效控制和的大小，与非典型情形下 $a_k \asymp 1/L$ 的情况形成对比。

实验结果

研究问题

• RQ1 当势函数处于典型情况时，半直线周期薛定谔算符在本质谱边界附近的共振分布如何？
• RQ2 在谱参数 $a_k$ 的典型衰减假设下，当 $L \to \infty$ 时，$H_L^{\mathbb{N}}$ 的共振是否会向 $\partial\Sigma_{\mathbb{Z}}$ 聚集？
• RQ3 是否存在一个无共振区域——即在本质谱的紧致区间下方无共振的区域——对于此类算符？
• RQ4 在谱边附近，$a_k = |\varphi_k(L)|^2$ 的行为如何影响共振分布，特别是在典型情形 $a_k \asymp |\lambda_k - E_0|/L$ 下？

主要发现

• 在典型衰减条件 $a_k \asymp |\lambda_k - E_0|/L$ 下，对于足够大的 $C_0 > 0$，区域 $\mathcal{R}_1 = [E_0 - \varepsilon, E_0] - i[\frac{C_0}{L^2}, \varepsilon^5]$ 内不存在共振。
• 在 $\mathcal{R}_1$ 内，谱和的虚部 $\text{Im}S_L(E)$ 被控制在 $\varepsilon$ 以内，意味着解析延拓的传播器在此区域无极点。
• 通过在 $\mathcal{R}_1$ 边界上应用调和函数方法并利用最大值原理，证明了共振的缺失，从而控制了 $\text{Im}S_L(E)$。
• 在 $\mathcal{R}_1$ 的边界上，估计 $S \lesssim \varepsilon$ 一致成立，通过将和拆分为低模态与高模态贡献，并利用 $a_k \asymp k^2/L^3$ 实现。
• 结果确认，在典型情况下，即使当 $L \to \infty$ 时，共振也不会在紧致谱区间下方的区域向 $\partial\Sigma_{\mathbb{Z}}$ 聚集。
• 分析表明，典型衰减 $a_k \asymp |\lambda_k - E_0|/L$ 导致在谱边附近共振密度显著降低，相较于非典型情形。