Hölder Derivative of Harmonic Functions on Sierpinski Gasket

In the past years, we established analytic expressions of various fractals and discussed Hölder derivatives of the expressions. Based on our earlier results, we will study the properties of harmonic functions on a very important fractal, the Sierpinski gasket (SG). Our main result is that the harmonic function on SG satisfies a Hölder inequality of order $\alpha =\ln \frac{3}{5}\backslash \ln 2$ .

• Holder Derivative
• Harmonic Function
• Sierpinski Gasket

1. Introduction

The concept of harmonic function on fractals was first introduced and studied by Kigami (see [1] - [3] ) on Sierpinski gasket (SG). Since then, there have been various studies of the harmonic functions. Kigami proved the effective resistances for harmonic structures on p.c.f. semi-similar set (see [4] ). Guariglia studied harmonic Sierpinski gasket and some of its applications (see [5] ). Cao and Qiu considered boundary value problems for harmonic functions on domains in Sierpinski gaskets (see [6] ). Very recently, Gopalakrishnan and Prasad investigated some harmonic functions on Vicsek fractal (see [7] ). Our goal in this paper is to study the properties of harmonic functions on the Sierpinski gasket. By applying the methods we used in our recent work (see [8] ), we will show that the harmonic function on Sierpinski gasket satisfies a Hölder inequality of order $\alpha =\ln \frac{3}{5}\backslash \ln 2$, namely, the harmonic function has a Hölder derivative of order $\alpha =\ln \frac{3}{5}\backslash \ln 2$. The order of this paper is organized as follows: In Section 2, based on the harmonic function introduced by Kigami (see [1] ), we apply the method of [8] to establish a sequence of a priori estimates. In Section 3, we prove our main result that the harmonic function on SG satisfies a Hölder inequality of order $\alpha =\ln \frac{3}{5}\backslash \ln 2$.

2. Harmonic Functions on Sierpinski Gasket—Kagami’s Definition

The initiator of Sierpinski gasket is an equilaternal triangle with sides of unit length, $\Delta P_0{P}_1{P}_2$, $P_0=\left(\frac{1}{2},\frac{\sqrt{3}}{2}\right)$, $P_1=\left(0,0\right)$, $P_2=\left(1,0\right)$. Take

$F_0\left(p\right)=\frac{1}{2}{P}_0+\frac{1}{2}p,F_1\left(p\right)=\frac{1}{2}{P}_1+\frac{1}{2}p,F_2\left(p\right)=\frac{1}{2}{P}_2+\frac{1}{2}p$ (2.1)

After successive iterations, the Sierpinski gasket is obtained.

Figure 1

Denote the three vertices of the initial triangle as V 0 = ( x 1 , y 1 ) = { P 0 , P 1 , P 2 } , the six vertices of three triangles as V 1 = { P 0 , P 1 , P 2 , q 0 , q 1 , q 2 } , where P 0 = F 0 ( P 0 ) , P 1 = F 1 ( P 1 ) , P 2 = F 2 ( P 2 ) , q 0 = F 1 ( P 2 ) = F 2 ( P 1 ) , q 1 = F 0 ( P 2 ) = F 2 ( P 0 ) , q 2 = F 0 ( P 1 ) = F 1 ( P 0 ) . In general, denote the set of vertices of 3 n triangles resulting from m iteration of V 0 as V m , V m = { P = F w 1 ∘ ⋯ ∘ F w m ( P i ) } Denote F w 1 ∘ ⋯ ∘ F w m − 1 ∘ F w ( P i ) = F w 1 , ⋯ , w m ( P i ) F w 1 ∘ ⋯ ∘ F w m − 1 ∘ F w ( q i ) = F w 1 , ⋯ , w m ( q i ) w 1 , ⋯ , w m , ∈ { 0 , 1 , 2 } . Triangles with vertices in V m are called cells, more precisely cells in level- m . For example, Δ P 0 q 1 q 2 , Δ P 1 q 0 q 2 , Δ P 2 q 0 q 1 are level-1 cells.Now, consider difference equations on V m . Assign a value u ( q ) to each point in V m , which can be considered as the discrete value of a function u . For each P ∈ V m , let V m P denote all neighboring points q of P . Since SG is a graph consisting of points and line segments, functions defined on vertices of this graph are called graph functions.Harmonic function on V m is actually defined through the difference analog of Laplace operator u ( x + h ) + u ( x − h ) − u ( x ) h 2 on a lattice with points in V m .Without the denominator, Laplacian Δ u corresponds to

$\begin{array}{l}\underset{i}{{\displaystyle \sum }}\left[u\left(x_i+h\right)+u\left(x_i-h\right)-2u\left(x_i\right)\right]\\ =\underset{i}{{\displaystyle \sum }}\left[\left(u\left(x_i+h\right)-u\left(x_i\right)\right)+\left(u\left(x_i-h\right)-u\left(x_i\right)\right)\right]\end{array}$

For $x_i=P\in V_m$, if $V_{mP}$ denotes the set of all neighboring points, the difference set of $u$ on $V_{mP}$ can be denoted as

$H_m\left(u\right){\left(P\right)}_{P\in V_m}=\underset{q\in V_{mP}}{{\displaystyle \sum }}\left(u\left(q\right)-u\left(P\right)\right),$ (2.2)

when $m=0$, $P\in V_0$ and

$\begin{array}{c}{H}_{0}u\left(P\right)=\left(\begin{array}{l}\left(H_{0}u\right)\left(P_0\right)\hfill \\ \left(H_{0}u\right)\left(P_1\right)\hfill \\ \left(H_{0}u\right)\left(P_2\right)\hfill \end{array}\right)=H_0\left(\begin{array}{l}u\left(P_0\right)\hfill \\ u\left(P_1\right)\hfill \\ u\left(P_2\right)\hfill \end{array}\right)=\left(\begin{array}{l}u\left(P_1\right)-u\left(P_0\right)+u\left(P_2\right)-u\left(P_0\right)\hfill \\ u\left(P_0\right)-u\left(P_1\right)+u\left(P_2\right)-u\left(P_1\right)\hfill \\ u\left(P_0\right)-u\left(P_2\right)+u\left(P_1\right)-u\left(P_2\right)\hfill \end{array}\right)\\ =\left(\begin{array}{l}u\left(P_1\right)+u\left(P_2\right)-2u\left(P_0\right)\hfill \\ u\left(P_0\right)+u\left(P_2\right)-2u\left(P_1\right)\hfill \\ u\left(P_0\right)+u\left(P_1\right)-2u\left(P_2\right)\hfill \end{array}\right)=\left(\begin{array}{ccc}-2& 1& 1\\ 1& -2& 1\\ 1& 1& -2\end{array}\right)\left(\begin{array}{l}u\left(P_0\right)\hfill \\ u\left(P_1\right)\hfill \\ u\left(P_2\right)\hfill \end{array}\right)=H_0\left(\begin{array}{l}u\left(P_0\right)\hfill \\ u\left(P_1\right)\hfill \\ u\left(P_2\right)\hfill \end{array}\right).\end{array}$ (2.3)

where $H_0=\left(\begin{array}{ccc}-2& 1& 1\\ 1& -2& 1\\ 1& 1& -2\end{array}\right)$ and $\left(H_{0}u\right)\left(P\right)$ is the second order difference of lattice point $V_0$. $H_{1}u\left(P\right)$ contains six points in $V_1$: $P_0,P_1,P_2,q_0,q_1,q_2$.

$\begin{array}{c}\left(H_{1}u\right)\left(P\right)=\left(\begin{array}{c}\left(H_{1}u\right)\left(P_0\right)\\ \left(H_{1}u\right)\left(P_1\right)\\ \left(H_{1}u\right)\left(P_2\right)\\ \left(H_{1}u\right)\left(q_0\right)\\ \left(H_{1}u\right)\left(q_1\right)\\ \left(H_{1}u\right)\left(q_2\right)\end{array}\right)=\left(\begin{array}{c}\left(H_{1}u\right){\left(P\right)}_{P\in V_0}\\ \left(H_{1}u\right){\left(q\right)}_{q\in V_1\backslash V_0}\end{array}\right)\\ =\left(\begin{array}{c}u\left(q_1\right)+u\left(q_2\right)-2u\left(P_0\right)\\ u\left(q_0\right)+u\left(q_2\right)-2u\left(P_1\right)\\ u\left(q_0\right)+u\left(q_1\right)-2u\left(P_2\right)\\ u\left(P_1\right)+u\left(P_2\right)+u\left(q_1\right)+u\left(q_2\right)-4u\left(q_0\right)\\ u\left(P_0\right)+u\left(P_2\right)+u\left(q_0\right)+u\left(q_2\right)-4u\left(q_1\right)\\ u\left(P_0\right)+u\left(P_1\right)+u\left(q_0\right)+u\left(q_1\right)-4u\left(q_2\right)\end{array}\right)\end{array}$ (2.4)

$\begin{array}{c}=\left(\begin{array}{cccccc}-2& 0& 0& 0& 1& 1\\ 0& -2& 0& 1& 0& 1\\ 0& 0& -2& 1& 1& 0\\ 0& 1& 1& -4& 1& 1\\ 1& 0& 1& 1& -4& 1\\ 1& 1& 0& 1& 1& -4\end{array}\right)\left(\begin{array}{c}u\left(P_0\right)\\ u\left(P_1\right)\\ u\left(P_2\right)\\ u\left(q_0\right)\\ u\left(q_1\right)\\ u\left(q_2\right)\end{array}\right)\\ =\left(\begin{array}{cc}T& J\\ J& X\end{array}\right)\left(\begin{array}{c}\left(H_{1}u\right){\left(P\right)}_{P\in V_0}\\ \left(H_{1}u\right){\left(q\right)}_{q\in V_1\cup V_0}\end{array}\right).\end{array}$

where

$T=\left(\begin{array}{ccc}-2& 0& 0\\ 0& -2& 0\\ 0& 0& -2\end{array}\right),J=\left(\begin{array}{ccc}0& 1& 1\\ 1& 0& 1\\ 1& 1& 0\end{array}\right),X=\left(\begin{array}{ccc}-4& 1& 1\\ 1& -4& 1\\ 1& 1& -4\end{array}\right)$

Therefore,

$H_1=\left(\begin{array}{cc}T& J\\ J& X\end{array}\right).$

and $\left(H_{2}f\right)\left(P\right)$ is the second difference on $V_2$.

In general, because of the self-similarity of SG, $\left(H_{m}u\right)\left(P\right)$ are similar on all small triangles. Therefore, the discussion on each triangle will be similar to that with $H_1$. That is, $\left(H_{m}u\right)\left(P\right)$ is the second difference on $V_m$ and

$\left(H_{m}u\right)\left(P\right)=\{\begin{array}{ll}{H}_m\left(u\right)\left(P\right)\hfill & P\in V_0,\hfill \\ H_m\left(u\right)\left(P\right)\hfill & P\in V_m\backslash V_0.\hfill \end{array}$

For $u$ to be a harmonic function, $u\left(q_0\right),u\left(q_1\right),u\left(q_2\right)$ must satisfy respectively the following average properties.

$\left(H_{1}u\right){\left(q\right)}_{q\in V_1\backslash V_0}=\left(\begin{array}{c}u\left(P_1\right)+u\left(P_2\right)+u\left(q_1\right)+u\left(q_2\right)-4u\left(q_0\right)\\ u\left(P_0\right)+u\left(P_2\right)+u\left(q_0\right)+u\left(q_2\right)-4u\left(q_1\right)\\ u\left(P_0\right)+u\left(P_1\right)+u\left(q_0\right)+u\left(q_1\right)-4u\left(q_2\right)\end{array}\right)=\left(\begin{array}{l}0\hfill \\ 0\hfill \\ 0\hfill \end{array}\right).$

Due to $H_1\left(u\right)=0$, or equivalently,

$\begin{array}{l}u\left(P_1\right)+u\left(P_2\right)+u\left(q_1\right)+u\left(q_2\right)=4u\left(q_0\right),\\ u\left(P_0\right)+u\left(P_2\right)+u\left(q_0\right)+u\left(q_2\right)=4u\left(q_1\right),\\ u\left(P_0\right)+u\left(P_1\right)+u\left(q_0\right)+u\left(q_1\right)=4u\left(q_2\right).\end{array}$ (2.5)

That is, the sum of the second order difference of $u$ on interior points is equal to zero.

Combining the equations in (2.5) yields

$u\left(P_0\right)+u\left(P_1\right)+u\left(P_2\right)=u\left(q_0\right)+u\left(q_1\right)+u\left(q_2\right).$ (2.6)

Adding $u\left(q_0\right),u\left(q_1\right),u\left(q_2\right)$ to the three equations in (2.5) respectively and applying (2.6), we have

$\begin{array}{l}u\left(P_1\right)+u\left(P_2\right)+u\left(q_0\right)+u\left(q_1\right)+u\left(q_2\right)\\ =u\left(P_1\right)+u\left(P_2\right)+u\left(P_0\right)+u\left(P_1\right)+u\left(P_2\right)=5u\left(q_0\right),\end{array}$

$\begin{array}{l}u\left(P_0\right)+u\left(P_2\right)+u\left(q_0\right)+u\left(q_1\right)+u\left(q_2\right)\\ =u\left(P_1\right)+u\left(P_2\right)+u\left(P_0\right)+u\left(P_1\right)+u\left(P_2\right)=5u\left(q_1\right),\end{array}$

$\begin{array}{l}u\left(P_0\right)+u\left(P_1\right)+u\left(q_0\right)+u\left(q_1\right)+u\left(q_2\right)\\ =u\left(P_1\right)+u\left(P_2\right)+u\left(P_0\right)+u\left(P_1\right)+u\left(P_2\right)=5u\left(q_2\right).\end{array}$

Therefore,

$\left(\begin{array}{l}u\left(q_0\right)\hfill \\ u\left(q_1\right)\hfill \\ u\left(q_2\right)\hfill \end{array}\right)=\frac{1}{5}\left(\begin{array}{ccc}1& 2& 2\\ 2& 1& 2\\ 2& 2& 1\end{array}\right)\left(\begin{array}{l}u\left(P_0\right)\hfill \\ u\left(P_1\right)\hfill \\ u\left(P_2\right)\hfill \end{array}\right)=\frac{1}{5}\left(\begin{array}{ccc}1& 2& 2\\ 2& 1& 2\\ 2& 2& 1\end{array}\right)\left(\begin{array}{c}\alpha \\ \beta \\ \gamma \end{array}\right).$ (2.7)

where $\alpha =u\left(P_0\right),\beta =u\left(P_1\right),\gamma =u\left(P_2\right)$, boundary values. (2.7), showing internal values of $u$ on $q_0,q_1,q_2$ determined by boundary values, is called “ $\frac{1}{5}-\frac{2}{5}$” rule. It is important to note that if $u\left(q_0\right),u\left(q_1\right),u\left(q_2\right)$ are determined by “ $\frac{1}{5}-\frac{2}{5}$” rule, (2.5) is automatically satisfied. That is, the harmonic condition is satisfied. The values of $u$ at $q_0,q_1,q_2$ is the average value of $u$ at four neighboring points, which is one important property of an ordinary harmonic function. This helps us better understand our new harmonic conditions.

Now, substituting $u\left(q_1\right)$, $u\left(q_2\right)$, $u\left(q_3\right)$ determined by (2.7) into $\left(H_{0}u\right){\left(P\right)}_{P\in V_0}$, we obtain

$\begin{array}{l}\left(\begin{array}{l}u\left(q_1\right)+u\left(q_2\right)-2u\left(P_0\right)\hfill \\ u\left(q_0\right)+u\left(q_2\right)-2u\left(P_1\right)\hfill \\ u\left(q_0\right)+u\left(q_1\right)-2u\left(P_2\right)\hfill \end{array}\right)=\frac{3}{5}\left(\begin{array}{l}u\left(P_1\right)+u\left(P_2\right)-2u\left(P_0\right)\hfill \\ u\left(P_0\right)+u\left(P_2\right)-2u\left(P_1\right)\hfill \\ u\left(P_0\right)+u\left(P_1\right)-2u\left(P_2\right)\hfill \end{array}\right)\\ =\frac{3}{5}\left(\begin{array}{ccc}-2& 1& 1\\ 1& -2& 1\\ 1& 1& -2\end{array}\right)\left(\begin{array}{l}u\left(P_0\right)\hfill \\ u\left(P_1\right)\hfill \\ u\left(P_2\right)\hfill \end{array}\right)=\frac{3}{5}{H}_0\left(\begin{array}{l}u\left(P_0\right)\hfill \\ u\left(P_1\right)\hfill \\ u\left(P_2\right)\hfill \end{array}\right)\end{array}$ (2.8)

Generally, denote $F_{w_1,\cdots ,w_{m-1}}$ as ${ℱ}_{m-1}$.

$\begin{array}{l}{H}_m\left(u\right)\left(P\right)\\ =\underset{w_1,\cdots ,w_{m-1}\in \left\{0,1,2\right\}}{{\displaystyle \sum }}\{\left[u\left({ℱ}_{m-1}\left(q_1\right)\right)+u\left({ℱ}_{m-1}\left(q_2\right)\right)-2u\left({ℱ}_{m-1}\left(P_0\right)\right)\right]\\ +\left[u\left({ℱ}_{m-1}\left(q_2\right)\right)+u\left({ℱ}_{m-1}\left(q_0\right)\right)-2u\left({ℱ}_{m-1}\left(P_1\right)\right)\right]\\ +\left[u\left({ℱ}_{m-1}\left(q_0\right)\right)+u\left({ℱ}_{m-1}\left(q_1\right)\right)-2u\left({ℱ}_{m-1}\left(P_2\right)\right)\right]\\ +\left[u\left({ℱ}_{m-1}\left(P_1\right)\right)+u\left({ℱ}_{m-1}\left(P_2\right)\right)+u\left({ℱ}_{m-1}\left(q_1\right)\right)+u\left({ℱ}_{m-1}\left(q_2\right)\right)-4u\left({ℱ}_{m-1}\left(q_0\right)\right)\right]\\ +\left[u\left({ℱ}_{m-1}\left(P_0\right)\right)+u\left({ℱ}_{m-1}\left(P_2\right)\right)+u\left({ℱ}_{m-1}\left(q_0\right)\right)+u\left({ℱ}_{m-1}\left(q_2\right)\right)-4u\left({ℱ}_{m-1}\left(q_1\right)\right)\right]\\ +\left[u\left({ℱ}_{m-1}\left(P_0\right)\right)+u\left({ℱ}_{m-1}\left(P_1\right)\right)+u\left({ℱ}_{m-1}\left(q_0\right)\right)+u\left({ℱ}_{m-1}\left(q_1\right)\right)-4u\left({ℱ}_{m-1}\left(q_2\right)\right)\right]\}.\end{array}$

It follows from the harmonic condition the following average value properties

$\{\begin{array}{l}\left[u\left({ℱ}_{m-1}\left(P_1\right)\right)+u\left({ℱ}_{m-1}\left(P_2\right)\right)+u\left({ℱ}_{m-1}\left(q_1\right)\right)+u\left({ℱ}_{m-1}\left(q_2\right)\right)-4u\left({ℱ}_{m-1}\left(q_0\right)\right)\right]=0\hfill \\ \left[u\left({ℱ}_{m-1}\left(P_0\right)\right)+u\left({ℱ}_{m-1}\left(P_2\right)\right)+u\left({ℱ}_{m-1}\left(q_0\right)\right)+u\left({ℱ}_{m-1}\left(q_2\right)\right)-4u\left({ℱ}_{m-1}\left(q_1\right)\right)\right]=0\hfill \\ \left[u\left({ℱ}_{m-1}\left(P_0\right)\right)+u\left({ℱ}_{m-1}\left(P_1\right)\right)+u\left({ℱ}_{m-1}\left(q_0\right)\right)+u\left({ℱ}_{m-1}\left(q_1\right)\right)-4u\left({ℱ}_{m-1}\left(q_2\right)\right)\right]=0\hfill \end{array}$(2.9)

which shows $H_m\left(u\right){(P)}_{P\in V_m\backslash V_0}=0$ and the average value properties are equivalent. Therefore, the average value properties can also be used to define a harmonic function.

(2.9) implies the “ $\frac{1}{5}-\frac{2}{5}$” rule

$\left(\begin{array}{l}u\left({ℱ}_{m-1}\left(q_0\right)\right)\hfill \\ u\left({ℱ}_{m-1}\left(q_1\right)\right)\hfill \\ u\left({ℱ}_{m-1}\left(q_2\right)\right)\hfill \end{array}\right)=\frac{1}{5}\left(\begin{array}{ccc}1& 2& 2\\ 2& 1& 2\\ 2& 2& 1\end{array}\right)\left(\begin{array}{l}u\left({ℱ}_{m-1}\left(P_0\right)\right)\hfill \\ u\left({ℱ}_{m-1}\left(P_1\right)\right)\hfill \\ u\left({ℱ}_{m-1}\left(P_2\right)\right)\hfill \end{array}\right).$ (2.10)

From the “ $\frac{1}{5}-\frac{2}{5}$” rule, we can obtain the extreme value principle

$\underset{j=0,1,2}{\text{min}}u\left(F_{w_1,\cdots ,w_m}\left(P_j\right)\right)\le u\left(F_{w_1,\cdots ,w_m}\left(q_i\right)\right)\le \underset{j=0,1,2}{\text{max}}u\left(F_{w_1,\cdots ,w_m}\left(P_j\right)\right),i=0,1,2.$

Notice that (2.9) and (2.10) hold for any integer $m>0$.

Now, the other terms of $H_m\left(u\right)\left(P\right)$,

$\begin{array}{l}{H}_m\left(u\right){\left(P\right)}_{V_0}\\ =\underset{w_1,\cdots ,w_{m-1}\in \left\{0,1,2\right\}}{{\displaystyle \sum }}\{\left[u\left({ℱ}_{m-1}\left(q_1\right)\right)+u\left({ℱ}_{m-1}\left(q_2\right)\right)-2u\left({ℱ}_{m-1}\left(P_0\right)\right)\right]\\ +\left[u\left({ℱ}_{m-1}\left(q_2\right)\right)+u\left({ℱ}_{m-1}\left(q_0\right)\right)-2u\left({ℱ}_{m-1}\left(P_1\right)\right)\right]\\ +\left[u\left({ℱ}_{m-1}\left(q_0\right)\right)+u\left({ℱ}_{m-1}\left(q_1\right)\right)-2u\left({ℱ}_{m-1}\left(P_2\right)\right)\right]\}\end{array}$

Applying (2.10), we have

$\begin{array}{l}\left[u\left({ℱ}_{m-1}\left(q_1\right)\right)+u\left({ℱ}_{m-1}\left(q_2\right)\right)-2u\left({ℱ}_{m-1}\left(P_0\right)\right)\right]\\ =\frac{3}{5}\left[u\left({ℱ}_{m-1}\left(P_1\right)\right)+u\left({ℱ}_{m-1}\left(P_2\right)\right)-2u\left({ℱ}_{m-1}\left(P_0\right)\right)\right]\end{array}$

$\begin{array}{l}\left[u\left({ℱ}_{m-1}\left(q_2\right)\right)+u\left({ℱ}_{m-1}\left(q_0\right)\right)-2u\left({ℱ}_{m-1}\left(P_1\right)\right)\right]\\ =\frac{3}{5}\left[u\left({ℱ}_{m-1}\left(P_2\right)\right)+u\left({ℱ}_{m-1}\left(P_0\right)\right)-2u\left({ℱ}_{m-1}\left(P_1\right)\right)\right]\end{array}$

$\begin{array}{l}\left[u\left({ℱ}_{m-1}\left(q_0\right)\right)+u\left({ℱ}_{m-1}\left(q_1\right)\right)-2u\left({ℱ}_{m-1}\left(P_2\right)\right)\right]\\ =\frac{3}{5}\left[u\left({ℱ}_{m-1}\left(P_0\right)\right)+u\left({ℱ}_{m-1}\left(P_1\right)\right)-2u\left({ℱ}_{m-1}\left(P_2\right)\right)\right]\end{array}$

That is,

$\begin{array}{l}\left(\begin{array}{l}u\left({ℱ}_{m-1}\left(q_1\right)\right)+u\left({ℱ}_{m-1}\left(q_2\right)\right)-2u\left({ℱ}_{m-1}\left(P_0\right)\right)\hfill \\ u\left({ℱ}_{m-1}\left(q_2\right)\right)+u\left({ℱ}_{m-1}\left(q_0\right)\right)-2u\left({ℱ}_{m-1}\left(P_1\right)\right)\hfill \\ u\left({ℱ}_{m-1}\left(q_1\right)\right)+u\left({ℱ}_{m-1}\left(q_0\right)\right)-2u\left({ℱ}_{m-1}\left(P_2\right)\right)\hfill \end{array}\right)\\ =\frac{3}{5}\left(\begin{array}{l}u\left({ℱ}_{m-2}\left(q_2\right)\right)+u\left({ℱ}_{m-2}\left(q_1\right)\right)-2u\left({ℱ}_{m-2}\left(P_0\right)\right)\hfill \\ u\left({ℱ}_{m-2}\left(q_2\right)\right)+u\left({ℱ}_{m-2}\left(q_0\right)\right)-2u\left({ℱ}_{m-2}\left(P_1\right)\right)\hfill \\ u\left({ℱ}_{m-2}\left(q_0\right)\right)+u\left({ℱ}_{m-2}\left(q_1\right)\right)-2u\left({ℱ}_{m-2}\left(P_2\right)\right)\hfill \end{array}\right)\end{array}$

Therefore,

$H_m\left(u\right)\left(P\right)=\frac{3}{5}{H}_{m-1}\left(u\right)\left(P\right)=\cdots ={\left(\frac{3}{5}\right)}^m\left(H_{0}u\right)\left(P\right)$

The factor $\frac{3}{5}$ is called the renormalization factor, which plays an important role in our later discussions.

From

$\begin{array}{l}u\left({ℱ}_m\left(q_0\right)\right)-u\left({ℱ}_m\left(q_1\right)\right)=\frac{1}{5}\left[u\left({ℱ}_m\left(P_1\right)\right)-u\left({ℱ}_m\left(P_0\right)\right)\right]\\ u\left({ℱ}_m\left(q_0\right)\right)-u\left({ℱ}_m\left(q_2\right)\right)=\frac{1}{5}\left[u\left({ℱ}_m\left(P_2\right)\right)-u\left({ℱ}_m\left(P_0\right)\right)\right]\\ u\left({ℱ}_m\left(q_1\right)\right)-u\left({ℱ}_m\left(q_2\right)\right)=\frac{1}{5}\left[u\left({ℱ}_m\left(P_2\right)\right)-u\left({ℱ}_m\left(P_1\right)\right)\right]\end{array}$

Thus,

$\begin{array}{l}{H}_m\left(u\right){\left(P\right)}_{V_0}\\ =\underset{w_1,\cdots ,w_{m-1}\in \left\{0,1,2\right\}}{{\displaystyle \sum }}\frac{3}{5}\{\left[u\left({ℱ}_{m-1}\left(P_1\right)\right)+u\left({ℱ}_{m-1}\left(P_2\right)\right)-2u\left({ℱ}_{m-1}\left(P_0\right)\right)\right]\end{array}$

$+\left[u\left({ℱ}_{m-1}\left(P_2\right)\right)+u\left({ℱ}_{m-1}\left(P_0\right)\right)-2u\left({ℱ}_{m-1}\left(P_1\right)\right)\right]$

$+\left[u\left({ℱ}_{m-1}\left(P_0\right)\right)+u\left({ℱ}_{m-1}\left(P_1\right)\right)-2u\left({ℱ}_{m-1}\left(P_2\right)\right)\right]\}$

$=\underset{w_1,\cdots ,w_{m-1}\in \left\{0,1,2\right\}}{{\displaystyle \sum }}\frac{3}{5}\{[\left[u\left({ℱ}_{m-2}{F}_0\left(P_1\right)\right)+u\left({ℱ}_{m-2}{F}_0\left(P_2\right)\right)-2u\left({ℱ}_{m-2}{F}_0\left(P_0\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}{F}_1\left(P_1\right)\right)+u\left({ℱ}_{m-2}{F}_1\left(P_2\right)\right)-2u\left({ℱ}_{m-2}{F}_1\left(P_0\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}{F}_2\left(P_1\right)\right)+u\left({ℱ}_{m-2}{F}_2\left(P_2\right)\right)-2u\left({ℱ}_{m-2}{F}_2\left(P_0\right)\right)\right]]$

$+[\left[u\left({ℱ}_{m-2}{F}_0\left(P_0\right)\right)+u\left({ℱ}_{m-2}{F}_0\left(P_2\right)\right)-2u\left({ℱ}_{m-2}{F}_0\left(P_1\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}{F}_1\left(P_0\right)\right)+u\left({ℱ}_{m-2}{F}_1\left(P_2\right)\right)-2u\left({ℱ}_{m-2}{F}_1\left(P_1\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}{F}_2\left(P_0\right)\right)+u\left({ℱ}_{m-2}{F}_2\left(P_2\right)\right)-2u\left({ℱ}_{m-2}{F}_2\left(P_1\right)\right)\right]]$

$+[\left[u\left({ℱ}_{m-2}{F}_0\left(P_0\right)\right)+u\left({ℱ}_{m-2}{F}_0\left(P_1\right)\right)-2u\left({ℱ}_{m-2}{F}_0\left(P_2\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}{F}_1\left(P_0\right)\right)+u\left({ℱ}_{m-2}{F}_1\left(P_1\right)\right)-2u\left({ℱ}_{m-2}{F}_1\left(P_2\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}{F}_2\left(P_0\right)\right)+u\left({ℱ}_{m-2}{F}_2\left(P_1\right)\right)-2u\left({ℱ}_{m-2}{F}_2\left(P_2\right)\right)\right]]\}$

$=\underset{w_1,\cdots ,w_{m-1}\in \left\{0,1,2\right\}}{{\displaystyle \sum }}\frac{3}{5}\{\left[u\left({ℱ}_{m-2}\left(q_2\right)\right)+u\left({ℱ}_{m-2}\left(q_1\right)\right)-2u\left({ℱ}_{m-2}\left(P_0\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}\left(P_1\right)\right)+u\left({ℱ}_{m-2}\left(q_1\right)\right)-2u\left({ℱ}_{m-2}\left(q_2\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}\left(q_0\right)\right)+u\left({ℱ}_{m-2}\left(P_2\right)\right)-2u\left({ℱ}_{m-2}\left(q_1\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}\left(P_0\right)\right)+u\left({ℱ}_{m-2}\left(q_1\right)\right)-2u\left({ℱ}_{m-2}\left(q_2\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}\left(q_2\right)\right)+u\left({ℱ}_{m-2}\left(q_0\right)\right)-2u\left({ℱ}_{m-2}\left(P_1\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}\left(q_1\right)\right)+u\left({ℱ}_{m-2}\left(P_2\right)\right)-2u\left({ℱ}_{m-2}\left(q_0\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}\left(P_0\right)\right)+u\left({ℱ}_{m-2}\left(q_2\right)\right)-2u\left({ℱ}_{m-2}\left(q_1\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}\left(q_2\right)\right)+u\left({ℱ}_{m-2}\left(P_1\right)\right)-2u\left({ℱ}_{m-2}\left(q_0\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}\left(q_1\right)\right)+u\left({ℱ}_{m-2}\left(q_0\right)\right)-2u\left({ℱ}_{m-2}\left(P_2\right)\right)\right]\}$

$=\underset{w_1,\cdots ,w_{m-1}\in \left\{0,1,2\right\}}{{\displaystyle \sum }}\frac{3}{5}\{\left[u\left({ℱ}_{m-2}\left(q_2\right)\right)+u\left({ℱ}_{m-2}\left(q_1\right)\right)-2u\left({ℱ}_{m-2}\left(P_0\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}\left(q_2\right)\right)+u\left({ℱ}_{m-2}\left(q_0\right)\right)-2u\left({ℱ}_{m-2}\left(P_1\right)\right)\right]$

$+\left[u\left({ℱ}_{m-2}\left(q_0\right)\right)+u\left({ℱ}_{m-2}\left(q_1\right)\right)-2u\left({ℱ}_{m-2}\left(P_2\right)\right)\right]\}$

For $i,j\in \left\{0,1,2\right\}$, we have

$\begin{array}{l}\left|u\left({ℱ}_m\left(q_i\right)\right)-u\left({ℱ}_m\left(q_j\right)\right)\right|\\ \le \frac{1}{5}\{\left|u\left({ℱ}_m\left(P_1\right)\right)-u\left({ℱ}_m\left(P_0\right)\right)\right|+\left|u\left({ℱ}_m\left(P_2\right)\right)-u\left({ℱ}_m\left(P_0\right)\right)\right|\\ +\left|u\left({ℱ}_m\left(P_2\right)\right)-u\left({ℱ}_m\left(P_1\right)\right)\right|\}\end{array}$

Thus,

$\underset{i,j\in \left\{0,1,2\right\}}{\text{max}}\left|u\left({ℱ}_m\left(q_i\right)\right)-u\left({ℱ}_m\left(q_j\right)\right)\right|\le \frac{3}{5}\underset{i,j\in \left\{0,1,2\right\}}{\text{max}}\left|u\left({ℱ}_m\left(P_i\right)\right)-u\left({ℱ}_m\left(P_j\right)\right)\right|$

and successfully

$\underset{i,j\in \left\{0,1,2\right\}}{\text{max}}\left|u\left({ℱ}_m\left(q_i\right)\right)-u\left({ℱ}_m\left(q_j\right)\right)\right|\le {\left(\frac{3}{5}\right)}^m\underset{i,j\in \left\{0,1,2\right\}}{\text{max}}\left|u\left(P_i\right)-u\left(P_j\right)\right|\le {\left(\frac{3}{5}\right)}^{m}C$ (2.11)

where constant $C$ is determined by boundary values. It is now possible to prove that harmonic function on SG satisfies Hölder inequality with $\alpha =\ln \frac{3}{5}\backslash \ln 2$.

3. Main Result

Theorem 3.1 Suppose $p,q$ on SG satisfy $\left|p-q\right|\le {\left(\frac{1}{2}\right)}^m$. Then, harmonic function $u$ satisfy the following inequality

$\left|u\left(p\right)-u\left(q\right)\right|\le C_1{\left|p-q\right|}^{\alpha },$ (3.1)

where $C_1$ is a const and $\alpha =\ln \frac{3}{5}/\ln 2$.

Proof. Suppose $\left|p-q\right|>{\left(\frac{1}{2}\right)}^{m-1}$, we proceed in two cases:

1) $p,q$ belong to some small cells at level- $m$.

2) $p,q$ belong to different cells with a common vertex $F_{w_1,\cdots ,w_m}\left(P_i\right)$.

Since all points in SG are iterations from three boundary points $\left\{P_0,P_1,P_2\right\}$, in case 1),

$p=F_{w_1,\cdots ,w_m,\cdots }\left(P_i\right)=F_{w_1,\cdots ,w_m}\left(x\right)$

$q=F_{w_1,\cdots ,w_m,\cdots }\left(P_j\right)=F_{w_1,\cdots ,w_m}\left(y\right)$

with the same iteration mapping up to level $m$. Therefore,

$\begin{array}{c}\left|u\left(p\right)-u\left(q\right)\right|=\left|u\left(F_{w_1,\cdots ,w_m}\left(x\right)\right)-u\left(F_{w_1,\cdots ,w_m}\left(y\right)\right)\right|\\ \le {\left(\frac{3}{5}\right)}^{m}C=\frac{3}{5}{\left(\frac{3}{5}\right)}^{m-1}C=\frac{3}{5}{\left(\frac{1}{2}\right)}^{\left(m-1\right)\alpha }C\\ \le {\left|p-q\right|}^{\alpha }\cdot \frac{3}{5}C.\end{array}$

As for case 2), since

$\begin{array}{c}\left|u\left(p\right)-u\left(q\right)\right|=\left|u\left(F_{w_1,\cdots ,w_m}\left(x\right)\right)-u\left(F_{w_1,\cdots ,w_m}\left(P_i\right)\right)\right|\\ +\left|u\left(F_{w_1,\cdots ,w_m}\left(P_i\right)\right)-u\left(F_{w_1,\cdots ,w_m}\left(y\right)\right)\right|\\ \le 2{\left(\frac{3}{5}\right)}^{m}C=\frac{6}{5}{\left(\frac{3}{5}\right)}^{m-1}C=\frac{6}{5}{\left(\frac{3}{5}\right)}^{\left(m-1\right)\alpha }C\\ \le {\left|p-q\right|}^{\alpha }\cdot \frac{6}{5}C.\end{array}$

We proved (3.1).

Kigami and others successfully established Laplace equation without the denominator in the differential on SG, obtaining important average value property and extreme value principle. But for other equations such as the Poisson equation $\Delta u=\varphi$, the denominator in the differentials can not be ignored. It is difficult to discuss the Laplace operator or the Green’s formula. In fact, function $u\left(x\right)$ on SG and Cantor function are “internal function”, just like Koch curve. Since Hölder inequalities are satisfied, their derivatives should be $\alpha$-order Hölder derivatives.

4. Conclusion

Based on the harmonic function introduced by Kigami, we apply the method we developed earlier to establish a sequence of a priori estimates with which we proved our main result that the harmonic function on SG satisfies a Hölder inequality of order $\alpha =\ln \frac{3}{5}\backslash \ln 2$. The significance of the derivative of a harmonic function is that it directly relates to Laplace’s equation. It signifies any distribution with no local “peaks” or “valleys”. This property is crucial in various fields like physics, where it models phenomena like electric potential or steady-state temperature distribution.

5. Future Work

It is reasonable to consider related differential equations as those involving $\alpha$-order Hölder derivatives. The method used in this work involves heavily the analytic expression of SD fractal. Since we have also obtained the analytic expressions of other fractals, we believe in our future study, we could investigate Hölder derivative of harmonic functions on other fractals, such as Koch curve, Cantor set, etc. Of course, the future work would present different challenges as the structures and expressions of other fractals are entirely different. How we establish necessary a priori estimates for different fractals will not be the same and what obstacles ahead are yet to be seen.

References

1. Kigami, J. (1989) A Harmonic Calculus on the Sierpinski Spaces. Japan Journal of Applied Mathematics, 6, 259-290. >https://doi.org/10.1007/bf03167882

2. Kigami, J. (1994) Laplacians on Self-Simlar Sets (Analysis on Fractals). American Mathematical Society Translations: Series 2, 161, 75-93.

3. Kigami, J. (1994) Analysis on Fractals. Cambridge University Press.

4. Kigami, J. (1994) Effective Resistances for Harmonic Structures on p.c.f. Self-Similar Sets. Mathematical Proceedings of the Cambridge Philosophical Society, 115, 291-303. >https://doi.org/10.1017/s0305004100072091

5. Guariglia, E. (2018) Harmonic Sierpinski Gasket and Applications. Entropy, 20, Article 714. >https://doi.org/10.3390/e20090714

6. Cao, S. and Qiu, H. (2020) Boundary Value Problems for Harmonic Functions on Domains in Sierpinski Gaskets. Communications on Pure&Applied Analysis, 19, 1147-1179. >https://doi.org/10.3934/cpaa.2020054

7. Gopalakrishnan, H. and Prasad, S.A. (2024) A Study on Harmonic Function on Vicsek Fractal. Chaos, Solitons&Fractals, 181, Article ID: 114607. >https://doi.org/10.1016/j.chaos.2024.114607

8. Yang, G., Yang, X. and Wang, P. (2023) Hölder Derivative of the Koch Curve. Journal of Applied Mathematics and Physics, 11, 101-114. >https://doi.org/10.4236/jamp.2023.111008