Abstract:Every continuous map between two compact Riemannian manifolds is homotopic to a harmonic map (HM). We show that a similar situation holds for continuous maps between a post-critically finite (p.c.f.) fractal and a circle. Specifically, we provide a geometric proof of Strichartz's theorem stating that for a given degree and appropriate boundary conditions there is a unique HM from the Sierpinski Gasket (SG) to a circle. Furthermore, we extend this result to HMs on p.c.f. fractals. Our method uses covering spaces for the SG, which are constructed separately for HMs of a given degree, thus capturing the topology intrinsic to each homotopy class. After lifting continuous functions on the SG with values in the unit circle to continuous real-valued functions on the covering space, we use the harmonic extension algorithm to obtain a harmonic function on the covering space. The desired HM is obtained by restricting the domain of the resultant harmonic function to the fundamental domain and projecting the range to the circle. We show that with suitable modifications the method applies to p.c.f. fractals, a large class of self-similar domains. We illustrate our method of constructing the HMs using numerical examples of HMs from the SG to the circle and discuss the construction of the covering spaces for several representative p.c.f. fractals, including the 3-level SG, the hexagasket, and the pentagasket.

Domains of Dirichlet Forms and Effective Resistance Estimates on P.c.f. Fractals

Multiorder boundaries among discrete domains: relative fractal dimension and others.

BGD domains in p.c.f. self-similar sets I: boundary value problems for harmonic functions

Geodesic Metrics on Fractals and Applications to Heat Kernel Estimates

A Class of Rough Surfaces and Their Fractal Dimensions

Fourier decay of fractal measures on surfaces of co-dimension two in $\mathbb{R}^5$

Some Notes on Function Spaces and Dirichlet Forms on Self-Similar Sets

Extension method in Dirichlet spaces with sub-Gaussian estimates and applications to regularity of jump processes on fractals

Geometry and Analysis of Dirichlet Forms

Poincaré Inequality and Hajlasz-Sobolev spaces on nested fractals

Weighted Poincaré Inequalities for Non-local Dirichlet Forms

On $l^p$ Liouville Theorems for Dirichlet Forms

Oscillation And Dimensions Of Harmonic Functions On The Sierpiński Gaskets

Eigenvalues and eigenfunctions of one-dimensional fractal Laplacians defined by iterated function systems with overlaps

Mean Hausdorff Dimension of Some Infinite Dimensional Fractals for Amenable Group Actions

After the Explosion: Dirichlet Forms and Boundary Problems for Infinite Graphs

Perturbations of Functional Inequalities for Lévy Type Dirichlet Forms

Harmonic maps from post-critically finite fractals to the circle

Non-linear Elliptic Equations on Fractal Domain

Boundary Value Problems for a Family of Domains in the Sierpinski Gasket

Nonlinear Diffusion Equations on Bounded Fractal Domains