BGD domains in p.c.f. self-similar sets II: spectral asymptotics for Laplacians

Abstract

Let $K$ be a p.c.f. self-similar set equipped with a strongly recurrent Dirichlet form. Under a homogeneity assumption, for an open set $\Omega \subset K$ whose boundary $\partial \Omega$ is a graph-directed self-similar set, we prove that the eigenvalue counting function ${\rho }^{\Omega }(x)$ of the Laplacian with Dirichlet or Neumann boundary conditions (Neumann only for connected $\Omega$) has an explicit second term as $x\to +\infty$, beyond the dominant Weyl term. If $\partial \Omega$ has a strong iterated structure, we establish that \begin{equation*} ρ^Ω(x)=ν(Ω)G\Big(\frac{\log x}2\Big)x^{\frac{d_S}2}+κ(\partialΩ)G_1\Big(\frac{\log x}2\Big)x^{\frac d2}+o\big(x^{\frac d2}\big), \end{equation*} where $G$ and $G_1$ are bounded periodic functions, $\nu$ and $\kappa$ are certain reference measures, and $d_S$ and $d$ are dimension-related parameters.

28 pages, 7 figures