[论文解读] Exact spectrum of the Laplacian on a domain in the Sierpinski gasket

Hua Qiu|arXiv (Cornell University)|Jun 7, 2012

Mathematical Dynamics and Fractals参考文献 32被引用 6

一句话总结

本文通过弱谱缩减方法，对西尔宾斯基垫片上区域 Ω 的拉普拉斯算子在狄利克雷与诺伊曼边界条件下进行了完整的谱分析，处理了标准谱缩减方法失效的特征值。研究建立了渐近特征值计数函数 ρ^Ω(x) = g(log x)x^{log 3/log 5} + O(x^{log 2/log 5} log x)，其中 g 为有界且周期为 log 5 的函数，并证实了第二阶项的阶为 x^{log 2/log 5}，与威耳与伯里型猜想一致。

ABSTRACT

For a certain domain $Ω$ in the Sierpinski gasket $\mathcal{SG}$ whose boundary is a line segment, a complete description of the eigenvalues of the Laplacian, with an exact count of dimensions of eigenspaces, under the Dirichlet and Neumann boundary conditions is presented. The method developed in this paper is a weak version of the spectral decimation method due to Fukushima and Shima, since for a lot of "bad" eigenvalues the spectral decimation method can not be used directly. Let $ρ^0(x)$, $ρ^Ω(x)$ be the eigenvalue counting functions of the Laplacian associated to $\mathcal{SG}$ and $Ω$ respectively. We prove a comparison between $ρ^0(x)$ and $ρ^Ω(x)$ says that $ 0\leq ρ^{0}(x)-ρ^Ω(x)\leq C x^{\log2/\log 5}\log x$ for sufficiently large $x$ for some positive constant $C$. As a consequence, $ρ^Ω(x)=g(\log x)x^{\log 3/\log 5}+O(x^{\log2/\log5}\log x)$ as $x ightarrow\infty$, for some (right-continuous discontinuous) $\log 5$-periodic function $g:\mathbb{R} ightarrow \mathbb{R}$ with $0

研究动机与目标

• 提供西尔宾斯基垫片上区域 Ω 的拉普拉斯算子在狄利克雷与诺伊曼边界条件下特征值与特征空间维数的完整描述。
• 通过开发适用于不满足通常对称性条件的“坏”特征值的弱版本谱缩减方法，克服标准谱缩减方法的局限性。
• 推导大 x 下特征值计数函数 ρ^Ω(x) 的渐近行为，包括主项与次项。
• 将 ρ^Ω(x) 与完整西尔宾斯基垫片的特征值计数函数 ρ^0(x) 进行比较，建立不等式 ρ^0(x) - ρ^Ω(x) ≤ Cx^{log 2/log 5} log x。

提出的方法

• 开发弱谱缩减方法，以处理因缺乏对称性而无法应用标准谱缩减方法的特征值。
• 该方法依赖于分析与区域 Ω 的逐级图逼近相关的特征多项式 p_m(x) 的根。
• 通过自相似迭代函数系统与有限图上拉普拉斯算子的谱性质，分析特征值计数函数 ρ^Ω(x) 的渐近行为。
• 证明过程使用数学归纳法与多项式 p_m(x) 的符号分析，表明当 m ≥ 3 时，某些特征值大于 2。
• 通过递归构造 θ_m(z) = q_m(φ_−^{(m)}(z))，证明 q_m(x) 在相关区间上为正，从而确保所需区间内特征值的存在性。
• 利用重排定理的改进形式推导出 ρ^Ω(x) 的渐近形式，导致主项中出现周期为 log 5 的函数 g(log x)。

实验结果

研究问题

• RQ1 当标准谱缩减方法对某些特征值失效时，如何在西尔宾斯基垫片的有界区域 Ω 上完整描述拉普拉斯算子的谱？
• RQ2 对于大 x，特征值计数函数 ρ^Ω(x) 的精确渐近行为是什么？其与完整西尔宾斯基垫片谱的关系如何？
• RQ3 能否在 ρ^Ω(x) 的渐近展开中识别出阶为 x^{log 2/log 5} 的第二阶项，如实验数据与威耳及伯里猜想类比所暗示的那样？
• RQ4 周期为 log 5 的函数 g(log x) 在 ρ^Ω(x) 的主项中起什么作用？其界与西尔宾斯基垫片的谱维数有何关联？
• RQ5 弱谱缩减方法如何系统地应用于对称性降低的区域，其中标准方法失效？

主要发现

• 当 x → ∞ 时，特征值计数函数 ρ^Ω(x) 满足 ρ^Ω(x) = g(log x)x^{log 3/log 5} + O(x^{log 2/log 5} log x)，其中 g 为有界且周期为 log 5 的函数，且满足 0 < inf g < sup g < ∞。
• 对于充分大的 x 与某个 C > 0，有 ρ^0(x) - ρ^Ω(x) ≤ Cx^{log 2/log 5} log x。
• 当 m ≥ 3 时，第一组 m 级初始特征值 λ_{m+1,r_m+1} 大于 2，该结果由特征多项式的符号分析得出。
• 通过 θ_m(z) 的归纳法，证明了 q_m(x) 在区间 (0, φ_−^{(m)}(6)) 上为正，从而确保了所需区间内特征值的存在性。
• ρ^Ω(x) 的渐近展开中包含一个阶为 x^{log 2/log 5} 的第二阶项，该结果从数值数据中显现，并与威耳及伯里型猜想的预期一致。
• 弱谱缩减方法成功将谱分析扩展至标准谱缩减方法因缺乏对称性而失效的区域。