[论文解读] On the Spectrum of the Dirichlet Laplacian in a Narrow Strip, II

Leonid Friedlander, Michael Solomyak|ArXiv.org|Oct 9, 2007

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

一句话总结

本文分析了在由 $\Omega_\epsilon = \{(x,y) \in \mathbb{R} \times (0, \epsilon h(x))\}$ 定义的狭窄无界条带中，Dirichlet Laplacian 的谱行为，其中 $h(x)$ 在 $x=0$ 处具有唯一的全局最大值。通过使用预解分析和 Dirichlet-Neumann 间距法，证明了当 $\epsilon \to 0$ 时，低于连续谱的特征值数量发散，特征值具有两倍渐近展开，特征函数具有一倍渐近展开，二者均由 $h(x)$ 在 $x=0$ 附近的局部行为导出的辅助常微分方程决定。结果将先前在有限区间上的工作推广至无限情形，并包括对具有指数衰减能隙的周期性波导的应用。

ABSTRACT

We consider the Dirichlet Laplacian in a family of narrow unbounded domains. As the width of these domains goes to 0, we study the asymptotic behavior of the eigenvalues that lie below the essential spectrum and the asymptotic behavior of the corresponding eigenfunctions.

研究动机与目标

• 研究当 $\epsilon \to 0$ 时，无界条带 $\Omega_\epsilon = \{(x,y) : x \in \mathbb{R}, 0 < y < \epsilon h(x)\}$ 中 Dirichlet Laplacian 的谱性质。
• 在 $h(x)$ 在 $x=0$ 处具有唯一全局最大值的假设下，建立特征值的两倍渐近展开和特征函数的一倍渐近展开。
• 将先前在有限区间上的结果推广至 $I = \mathbb{R}$ 的情形，此时连续谱非平凡，且低于它的离散特征值数量在 $\epsilon \to 0$ 时发散。
• 通过 Dirichlet-Neumann 间距法提供一种简化的特征值渐近展开证明，避免了对预解分析的详细依赖。

提出的方法

• 对算子 $\mathfrak{A}_{\epsilon,D}^{-1} = (\Delta_{\epsilon,D} - K\epsilon^{-2})^{-1}$ 进行预解分析，通过精心选择 $K$ 以分离出主导谱行为。
• 将谱问题约化为 $\mathbb{R}$ 上的辅助常微分算子，其特征值与特征函数决定了原问题的渐近行为。
• 应用 Dirichlet-Neumann 间距技术，将 $\Delta_{\epsilon,D}$ 的谱与有限子区间及其补集上局部算子的谱进行比较。
• 使用缩放变换 $t = x \epsilon^{-\alpha}$ 分析 $\epsilon \to 0$ 时的有效势，导致预解在算子范数下收敛。
• 对势函数 $V_\epsilon(t)$ 建立一致有界性，以确保 Scharödinger 算子收敛定理的适用性。
• 利用 $DN$-问题（混合边界条件）的结果，通过与 $D$-问题比较，推导出特征值估计。

实验结果

研究问题

• RQ1 在 $x=0$ 处 $h(x)$ 有唯一最大值的无界狭窄条带中，当 $\epsilon \to 0$ 时，低于连续谱的特征值数量如何变化？
• RQ2 在该类条带中，Dirichlet Laplacian 的特征值 $\lambda_j(\epsilon)$ 的两倍渐近展开是什么形式，当 $\epsilon \to 0$ 时？
• RQ3 特征函数的渐近行为如何？其局域化与形状由什么决定？
• RQ4 是否可以不依赖详细预解分析，而通过如 Dirichlet-Neumann 间距法等替代方法推导谱渐近展开？
• RQ5 在 $h(x)$ 周期的情形下，谱的行为如何？能隙宽度如何随 $\epsilon \to 0$ 变化？

主要发现

• 当 $\epsilon \to 0$ 时，即使在无界情形 $I = \mathbb{R}$ 下，Dirichlet Laplacian 低于连续谱的特征值数量也发散至无穷大。
• 每个特征值 $\lambda_j(\epsilon)$ 的两倍渐近展开为 $\lambda_j(\epsilon) = \epsilon^{-2} \left( \frac{\pi^2}{M^2} + \mu_j \right) + o(\epsilon^{-2})$，其中 $\mu_j$ 是由 $h(x)$ 在 $x=0$ 附近局部展开决定的辅助常微分方程的特征值。
• 特征函数在 $x=0$ 附近渐近局域化，其形状由同一辅助常微分方程的特征函数决定。
• 连续谱 $\sigma_{\text{ess}}(\Delta_{\epsilon,D})$ 满足 $\nu(\epsilon) \to \infty$ 当 $\epsilon \to 0$，且对任意紧子集 $\widehat{I} = [-a,a]$，其位于 $\frac{\pi^2}{M_a^2 \epsilon^2}$ 之上，其中 $M_a < M$。
• 对于周期性 $h(x)$，$\Delta_{\epsilon,D}$ 的谱呈现带隙结构，且带宽随 $\epsilon \to 0$ 指数衰减，如附录论文 [4] 所示。
• 通过 Dirichlet-Neumann 间距法获得了一种简化的特征值渐近展开证明，避免了对预解分析的详细依赖，并可直接应用于 $I = \mathbb{R}$ 的情形。