Kuramoto model on Sierpinski Gasket I: Harmonic maps

TL;DR

This paper studies harmonic maps from the Sierpinski gasket to the circle, providing a geometric proof of existence and uniqueness, extending to fractals, and linking to attractors in the Kuramoto model.

Contribution

It introduces a novel construction of covering spaces for harmonic maps on fractals, generalizes the Hopf degree theorem, and applies these to analyze Kuramoto model attractors.

Findings

Proved existence and uniqueness of harmonic maps on SG with prescribed degree.

Extended harmonic map theory to post-critically finite fractals.

Linked harmonic maps to stable steady states in Kuramoto model on fractal graphs.

Abstract

Motivated by the study of attractors in the Kuramoto model (KM) on graphs approximating the Sierpinski gasket (SG), we revisit the problem of harmonic maps (HMs) from SG to the circle, first considered by Strichartz. We provide a geometric proof of Strichartz's theorem, which states that for a prescribed degree and suitable boundary conditions, there exists a unique HM from SG to the circle. We extend this result to HMs on post-critically finite (p.c.f.) fractals. For continuous functions on SG, we define a degree given by vector of integers of arbitrary finite length. We show that the degree determines a homotopy class on SG with values in the circle. This provides an analog of the Hopf degree theorem on SG. We move on to analyze HMs. At the heart of our method lies an original construction of covering spaces. After lifting continuous functions on 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 harmonic function to the fundamental domain and projecting the range to the circle. Each covering space is constructed separately for HMs of a given homotopy class, capturing its intrinsic topology. 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 using numerical examples of HMs from SG to the circle and discuss the construction of covering spaces for several representative p.c.f. fractals, including the 3-level SG, hexagasket, and pentagasket. The results of this paper provide the foundation for a follow-up work where we give a complete description of attractors in the KM on graphs approximating p.c.f. fractals. Specifically, we show that all HMs identified in this paper are stable steady states of the KM.