Exact spectrum of the Laplacian on a domain in the Sierpinski gasket

Abstract

For a certain domain Ω in the Sierpinski gasket 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 SG and Ω respectively. We prove a comparison between ρ0(x) and ρΩ(x) says that 0≤ρ0(x)−ρΩ(x)≤Cxlog⁡2/log⁡5log⁡x for sufficiently large x for some positive constant C. As a consequence, ρΩ(x)=g(log⁡x)xlog⁡3/log⁡5+O(xlog⁡2/log⁡5log⁡x) as x→∞, for some (right-continuous discontinuous) log⁡5-periodic function g:R→R with 0<infR⁡g<supR⁡g<∞. Moreover, we explain that the asymptotic expansion of ρΩ(x) should admit a second term of the order log⁡2/log⁡5, that becomes apparent from the experimental data. This is very analogous to the conjectures of Weyl and Berry.