[论文解读] Spectral Gaps for Periodic Elliptic Operators with High Contrast: an Overview

Rainer Hempel, Olaf Post|ArXiv.org|Jul 16, 2002

Spectral Theory in Mathematical Physics被引用 10

一句话总结

本文研究具有高对比度系数的周期性椭圆算子中的谱隙，表明由于高对比度导致的单元之间的弱耦合会引发谱隙的出现。通过二次型的收敛定理和极小-极大原理，证明了在具有高对比度度量的流形上的Laplace-Beltrami算子，以及在周期性集合上具有大系数的散度型算子，其谱会收敛到低导电性集合上的极限算子谱，当对比度趋于无穷时形成谱隙。

ABSTRACT

We discuss the band-gap structure and the integrated density of states for periodic elliptic operators in the Hilbert space $L_2(\R^m)$, for $m \ge 2$. We specifically consider situations where high contrast in the coefficients leads to weak coupling between the period cells. Weak coupling of periodic systems frequently produces spectral gaps or spectral concentration. Our examples include Schrödinger operators, elliptic operators in divergence form, Laplace-Beltrami-operators, Schrödinger and Pauli operators with periodic magnetic fields. There are corresponding applications in heat and wave propagation, quantum mechanics, and photonic crystals.

研究动机与目标

• 理解周期性椭圆算子中高对比度系数如何导致谱隙。
• 建立单元之间弱耦合诱导谱集中或谱隙形成的条件。
• 将谱隙形成的成果从Schrödinger算子和磁算子推广到散度型算子和Laplace-Beltrami算子。
• 分析在高对比度渐近下谱带和态密度积分的收敛性。
• 为包括光子晶体在内的多种椭圆算子提供谱隙形成的统一框架。

提出的方法

• 利用二次型的单调收敛性和自伴算子的强预解收敛性来分析谱极限。
• 应用极小-极大原理，比较全定义域上算子与低导电性集合M₀上算子的特征值。
• 使用狄利克雷-诺伊曼夹逼法，通过周期胞元上的诺伊曼和狄利克雷特征值来包围谱带。
• 采用限制与延拓算子，比较Q和M₀上瑞利商的特征，尤其适用于Laplace-Beltrami算子。
• 分析希尔伯特空间范数和二次型对对比度参数λ的依赖性，特别是在共形度量情况下。
• 应用Floquet理论，将问题约化为基本胞元Q上的周期边界值问题。

实验结果

研究问题

• RQ1 周期性椭圆算子的系数中高对比度是否由于单元之间的弱耦合而引发谱隙？
• RQ2 当λ→∞时，散度型算子−∇·(1+λχΩ)∇的谱行为如何？
• RQ3 具有高对比度共形因子的Laplace-Beltrami算子的极限谱行为是什么？
• RQ4 在多维情形下，是否可以严格建立谱隙，而无需简化为一维问题？
• RQ5 几何构造（如通过细杆连接的流形）在多大程度上能产生谱隙？

主要发现

• 当m≥3时，具有高对比度共形因子的Laplace-Beltrami算子的谱在λ→∞时收敛到低导电性集合M上的诺伊曼拉普拉斯算子谱，从而形成谱隙。
• 当m≥3时，M₀上的诺伊曼特征值E_k^N是E_k^N(λ)的近似下界和E_k^D(λ)的上界，从而可用于谱隙估计。
• 在散度型算子−∇·(1+λχΩ)∇的情况下，即使在希尔伯特空间范数不单调时，随着λ→∞，由于弱耦合仍会形成谱隙。
• 当m=2时，尽管范数不具单调性，仍可通过变量分离的直接计算证明谱隙的存在。
• 几何构造（如通过细杆连接紧致流形形成的周期性流形）在杆足够细时会产生谱隙。
• 结果可推广至任意无限阶的阿贝尔有限生成群，并可扩展至非欧几里得情形，包括共形平坦和曲面流形。