[Paper Review] Spectral Analysis and Dirichlet Forms on Barlow-Evans Fractals

Benjamin Steinhurst, Alexander Teplyaev|arXiv (Cornell University)|Apr 23, 2012

Mathematical Dynamics and Fractals24 references3 citations

TL;DR

This paper establishes a complete spectral theory for Laplacians on Barlow-Evans projective limit fractals using Dirichlet forms, enabling eigenfunction expansions analogous to Fourier series. It constructs connected fractal spaces isospectral to fractal strings of Lapidus and van Frankenhuijsen, generalizing results on Laakso and Sierpinski Pâte-à-Choux spaces.

ABSTRACT

We develop the foundation of the spectral analysis on Barlow-Evans projective limit fractals, or vermiculated spaces, which corresponds to symmetric Markov processes on these spaces. For some new examples, such as the generalized Laakso spaces and a Spierpinski Pâte à Choux, one can develop a complete spectral theory, including the eigenfunction expansions that are analogous to Fourier series. Also, one can construct connected fractal spaces isospectral to the fractal strings of Lapidus and van Frankenhuijsen. Our work is motivated by recent progress in mathematical physics on fractals.

Motivation & Objective

• To develop a complete spectral theory for Laplacians on projective limit fractals using Dirichlet forms.
• To generalize spectral results from Laakso spaces and Sierpinski gasket-like fractals to a broader class of fractal spaces.
• To construct connected fractal spaces that are isospectral to fractal strings, linking discrete and continuous spectral structures.
• To provide a framework for spectral resolution and eigenfunction expansions on non-embeddable, highly irregular fractal spaces.
• To extend the applicability of Dirichlet form theory to intrinsic, abstract fractal limit spaces without Euclidean embeddings.

Proposed method

• Constructing projective limits of metric measure spaces with compatible Dirichlet forms using base spaces and multiplier spaces.
• Defining a limiting Dirichlet form on the projective limit space $F_\infty$ via inverse limits of Dirichlet forms on finite approximations.
• Using the theory of symmetric regular Dirichlet forms to characterize the domain and spectrum of the limiting Laplacian.
• Applying spectral decomposition techniques to derive explicit eigenfunction expansions analogous to Fourier series.
• Designing a recursive construction of approximating spaces $F_i$ with boundary conditions and gluing maps to simulate interval stitching.
• Verifying isospectrality by ensuring new eigenvalues introduced at each step match those of the corresponding interval in a fractal string.

Experimental results

Research questions

• RQ1 Can a complete spectral theory, including eigenfunction expansions, be developed for Laplacians on Barlow-Evans projective limit fractals?
• RQ2 How does the spectrum of the Laplacian on the limit space $F_\infty$ relate to the spectra of the finite approximations $F_i$?
• RQ3 Can connected fractal spaces be constructed that are isospectral to fractal strings of Lapidus and van Frankenhuijsen?
• RQ4 What is the role of the projective limit construction in preserving spectral data across different fractal geometries?
• RQ5 To what extent can spectral analysis on non-embeddable fractals be carried out using Dirichlet form theory alone?

Key findings

• The spectrum of the Laplacian on the projective limit space $F_\infty$ decomposes into eigenvalues inherited from finite approximations $F_i$, with no new eigenvalues introduced in the limit.
• For generalized Laakso spaces and the Sierpinski Pâte-à-Choux, a complete spectral resolution is achieved, including explicit eigenfunction expansions.
• The construction yields connected fractal spaces that are isospectral to fractal strings, with identical eigenvalue sets and multiplicities.
• The spectrum on each $F_i$ is the union of spectra from previous stages and new intervals of length $l_i$ with multiplicity $m_i$, matching the fractal string's eigenvalues.
• The limiting Dirichlet form is non-degenerate and corresponds to a symmetric, regular, irreducible diffusion process on $F_\infty$.
• The method generalizes prior results on Laakso spaces and extends spectral theory to non-self-similar, non-embeddable fractal spaces.