Abstract:We construct and investigate $(1, p)$-Sobolev space, $p$-energy, and the corresponding $p$-energy measures on the planar Sierpiński carpet for all $p \in (1, \infty)$. Our method is based on the idea of Kusuoka and Zhou [Probab. Theory Related Fields $\textbf{93}$ (1992), no. 2, 169--196], where Brownian motion (the case $p = 2$) on self-similar sets including the planar Sierpiński carpet were constructed. Similar to this earlier work, we use a sequence of discrete graph approximations and the corresponding discrete $p$-energies to define the Sobolev space and $p$-energies. However, we need a new approach to ensure that our $(1, p)$-Sobolev space has a dense set of continuous functions when $p$ is less than the Ahlfors regular conformal dimension. The new ingredients are the use of Loewner type estimates on combinatorial modulus to obtain Poincaré inequality and elliptic Harnack inequality on a sequence of approximating graphs. An important feature of our Sobolev space is the self-similarity of our $p$-energy, which allows us to define corresponding $p$-energy measures on the planar Sierpiński carpet. We show that our Sobolev space can also be viewed as a Korevaar-Schoen type space. We apply our results to the attainment problem for Ahlfors regular conformal dimension of the Sierpiński carpet. In particular, we show that if the Ahlfors regular conformal dimension, say $\dim_{\mathrm{ARC}}$, is attained, then any optimal measure which attains $\dim_{\mathrm{ARC}}$ should be comparable with the $\dim_{\mathrm{ARC}}$-energy measure of some function in our $(1, \dim_{\mathrm{ARC}})$-Sobolev space up to a multiplicative constant. In this case, we also prove that the Newton-Sobolev space corresponding to any optimal measure and metric can be identified as our self-similar $(1, \dim_{\mathrm{ARC}})$-Sobolev space.

Intersection of a Moran type Sierpinski carpet and a line with rational slope

A Suggested Lacunarity Expression for Sierpinski Carpets

Dirichlet forms on unconstrained Sierpinski carpets

Metrics on the Sierpinski carpet by weight functions

On the Existence of Cut Points of Connected Generalized Sierpinski Carpets

Self-avoiding Walks on Sierpinski Carpets

On totally disconnected generalised Sierpinski carpets

Spectral structure of Moran Sierpinski-type measure on R 2

Dirichlet forms on unconstrained Sierpinski carpets in $\mathbb{R}^3$

Area and Hausdorff dimension of Sierpiński carpet Julia sets

First-order Sobolev spaces, self-similar energies and energy measures on the Sierpiński carpet

Quasisymmetric Geometry of Sierpinski Carpet Julia Sets

A criterion to generate carpet Julia sets

Connectedness and local cut points of generalized Sierpinski carpets

Self-embedding similitudes of Bedford-McMullen carpets with dependent ratios

Hall Conductivity of a Sierpiński Carpet

Convergence of resistances on generalized {S}ierpiński carpets

Korevaar-Schoen spaces on Sierpiński carpets

Tangents and slices of self-affine carpets

Dimensions of a class of self-affine Moran sets and measures in $\R^2$

Fractal percolation on statistically self-affine carpets