Diffusion on Middle-ξ Cantor Sets

Abstract

In this paper, we study $C^{\zeta }$-calculus on generalized Cantor sets, which have self-similar properties and fractional dimensions that exceed their topological dimensions. Functions with fractal support are not differentiable or integrable in terms of standard calculus, so we must involve local fractional derivatives. We have generalized the $C^{\zeta }$-calculus on the generalized Cantor sets known as middle-$\xi$ Cantor sets. We have suggested a calculus on the middle-$\xi$ Cantor sets for different values of $\xi$ with $0<\xi <1$. Differential equations on the middle-$\xi$ Cantor sets have been solved, and we have presented the results using illustrative examples. The conditions for super-, normal, and sub-diffusion on fractal sets are given.

1. Introduction

It is well known that many phenomena in nature can be modeled by fractals; these shapes can be observed almost anywhere in the natural world [1]. Fractal antennas have maximal length, area, and volume to accommodate a multi-band or wide-band design, which is useful in cellular telephone and microwave communications [2,3,4]. Fractals also play important roles in biology. For example, in the neural and vascular networks of the human body, viruses and certain tumors grow and ramify in a fractal shape [5,6,7]. In these studies, researchers tried to predict and recognize osteoporosis from test results and from the fractal structure of bone texture [8]. Fractals have also been hypothesized to be important for human perception of beauty in artworks [9,10]. Non-Markovian random walks and fractal dimensions which are connected to physical properties of fractal sets were studied in [11,12,13]. The polynomial asymptotic behavior of the Wiener index on infinite lattices including fractals has been given [14].

Anomalous diffusion on fractals has received attention in recent years from various researchers [15,16]. Non-constant diffusion coefficients have been studied [17], and the diffusion coefficient is proportional to a power of the noise intensity [18]. The models for the diffusion coefficient characterize random motions in various regions of parameterized space and relate to the fractal structure as a function of the slope of the map [19,20]. Fractal structural parameters have been applied to obtain porosity and tortuosity for micro-porous solids [21]. The scale-dependent fractal dimension for a random walk trajectory was used to derive the diffusion coefficient [22,23]. The quenched-trap model on a fractal lattice does not lead to continuous-time random walks if the spectral dimension is less than 2 [24].

Fractional calculus has been applied to define derivatives on fractal curves [25,26,27,28,29,30,31,32]. Fractional derivatives have non-local properties, so that they are used to model processes with memory effects [29,30].

Local fractional derivatives were suggested and applied from a physics perspective [33,34] in a formalism called $C^{\zeta }$-calculus (or $C^{\zeta }$-C), which has also been generalized for unbounded and singular functions [35]. Schrödinger equations on fractal curves were derived using $C^{\zeta }$-C and Feynman path methods [36]. A mathematical model of diffraction was given for fractal sets [37]. Non-local derivatives were defined for fractal sets and applied in fractal mediums [38,39,40]. The Fokker–Planck equation for thick fractal absorbers was derived in view of $C^{\zeta }$-C [41].

Anomalous diffusion in fractal comb structures, where the anomalous diffusion exponent depends on the fractal dimension of the comb structure, has also been studied [42,43,44], and the theoretical predictions in these works was recently experimentally proven [45]. Recently, as an application of the mathematical model, experimental and simulation results were utilized to model sub-diffusion and super-diffusion in physical processes [46,47].

By conducting research along these lines, we have generalized $C^{\zeta }$-C to middle-$\xi$ Cantor sets.

The outline of the paper is as follows. In Section 2, we review $C^{\zeta }$-C and the basic tools required. In Section 3, we apply the $C^{\zeta }$-C on the middle-$\xi$ Cantor sets. In Section 4, we consider and solve some differential equations on middle-$\xi$ Cantor sets, and, in Section 5, we consider diffusion processes on such sets. Section 4 is devoted to the conclusion.

2. Basic Tools in the Fractal Calculus

In this section, we review the Cantor-like sets and their properties [48], and then summarize $C^{\zeta }$-C [33,34,38,39].

2.1. Middle-$\xi$ Cantor Sets

Let us consider a unit interval $J=[0,1]$, and construct the middle-$\xi$ Cantor fractal set $C^{\xi }$ from it as follows.

In the first step, we remove an open interval of length $\xi$ from the exact middle of the interval I, to obtain:

$$C_1^{\xi }=\left[0,\frac{1-\xi }{2}\right]\cup \left[\frac{1+\xi }{2},1\right].$$ (1)

In the second step, we pick up two open disjoint intervals with length ${\xi }^2$ from the middle of each of the remaining intervals that comprise the set $C_1^{\xi }$, in order to obtain

$$\begin{array}{c}\hfill C_2^{\xi }=\left[0,\frac{1-\xi -2{\xi }^2}{4}\right]\cup \left[\frac{1-\xi +2{\xi }^2}{4},\frac{1-\xi }{2}\right]\cup \left[\frac{1+\xi }{2},\frac{3+\xi -2{\xi }^2}{4}\right]\cup \left[\frac{3+\xi +2{\xi }^2}{4},1\right].\end{array}$$ (2)

After iterating this process infinitely many times, with the set constructed at stage k being denoted by $C_k^{\xi }$, we obtain the definition of the middle-$\xi$ Cantor set as follows:

$$C^{\xi }=\bigcap _{k=1}^{\infty }{C}_k^{\xi }.$$ (3)

It is clear that the set $C^{\xi }$ has a self-similarity property, which makes it easy for us to find its fractional dimension. Namely, for every middle-$\xi$ Cantor set, the Hausdorff dimension is given by

$${dim}_H\left(C^{\xi }\right)=\frac{log2}{log2-log(1-\xi )},$$ (4)

where $H\left(C^{\xi }\right)$ is the Hausdorff measure that was used to derive Hausdorff dimension [48]. Furthermore, the middle-$\xi$ Cantor set has zero Lebesgue measure because [48]:

$$L_m\left(C^{\xi }\right)=\underset{k\to \infty }{lim}{L}_m\left(C_k^{\xi }\right)=\underset{k\to \infty }{lim}{(1-\xi )}^k=0.$$ (5)

Remark 1.

If we choose $\xi =1/3$, $\xi =1/4$, $\xi =1/5$, $\xi =3/5$, then we obtain the Cantor triadic set, 4-adic-type Cantor-like set, and 5-adic-type Cantor-like set, respectively. Note that middle-ξ Cantor sets with higher ξ have a larger measure; this was shown by using the idea of differences between Cantor sets [49]. See Section 3 below for more details on these sets.

2.2. Local Fractal Calculus

If $C^{\xi }$ is a middle-$\xi$ Cantor set contained in an interval $J=[v,w]\subset \mathbb{R}$, then the flag function for $C^{\xi }$ is indicated by $\phi (C^{\xi },J)$ and defined by [33,34]

$$\phi (C^{\xi },J)=\left\{\begin{array}{c}1,\mathrm{if}{C}^{\xi }\cap J\ne \varnothing ,\hfill \\ 0,\mathrm{otherwise}.\hfill \end{array}\right.$$ (6)

For a set $C^{\xi }$ and a subdivision $Q_{[v,w]}=\{v=y_0,y_1,y_2,\cdots ,y_n=w\}$ of the interval $J=[v,w]$, we define

$${\rho }^{\zeta }[C^{\xi },J]=\sum _{i=1}^n\mathsf{\Gamma }(\zeta +1){(y_i-y_{i-1})}^{\zeta }\phi (C^{\xi },[y_{i-1},y_i])$$ (7)

for any $\zeta$ with $0<\zeta \le 1$. Given $\delta >0$, the associated coarse-grained mass function ${\gamma }_{\delta }^{\zeta }(C^{\xi },v,w)$ of the intersection $C^{\xi }\cap [v,w]$ is given by

$${\gamma }_{\delta }^{\zeta }(C^{\xi },v,w)=\underset{Q_{[v,w]}:\left|Q\right|\le \delta }{inf}{\rho }^{\zeta }[C^{\xi },J],$$ (8)

where the infimum is taken over all subdivisions Q of $[v,w]$ satisfying $\left|Q\right|:={max}_{1\le i\le n}(y_i-y_{i-1})\le \delta$. Then, the mass function ${\gamma }^{\zeta }(C^{\xi },v,w)$ is given by [33,34]

$${\gamma }^{\zeta }(C^{\xi },v,w)=\underset{\delta \to 0}{lim}{\gamma }_{\delta }^{\zeta }(C^{\xi },v,w).$$ (9)

The integral staircase function $S_{C^{\xi }}^{\zeta }\left(y\right)$ of order $\zeta$ for a fractal set $C^{\xi }$ is defined in [33,34] by

$$S_{C^{\xi }}^{\zeta }\left(y\right)=\left\{\begin{array}{c}{\gamma }^{\zeta }(C^{\xi },v_0,y),\mathrm{if}y\ge a_0,\hfill \\ -{\gamma }^{\zeta }(C^{\xi },v_0,y),\mathrm{otherwise},\hfill \end{array}\right.$$ (10)

where $v_0$ is an arbitrary real number. A point y is a point of change of a function $u\left(y\right)$ that is not constant over any open interval $(v,w)$ involving y. All points of change of y is named the set of change of $u\left(y\right)$ and is indicated by $\mathbf{S}\mathrm{ch}\left(S_{C^{\xi }}^{\zeta }\right)$ [33,34]. If $\mathbf{S}\mathrm{ch}\left(S_{C^{\xi }}^{\zeta }\right)$ is a closed set and every point in it is a limit point, then $\mathbf{S}\mathrm{ch}\left(S_{C^{\xi }}^{\zeta }\right)$ is called $\zeta$-perfect.

The $\varsigma$-dimension of $C^{\xi }\cap [v,w]$ is

$$\begin{array}{cc}\hfill {dim}_{\varsigma }(C^{\xi }\cap [v,w])& =inf\{\zeta :{\gamma }^{\zeta }(C^{\xi },v,w)=0\}\hfill \\ & =sup\{\zeta :{\gamma }^{\zeta }(C^{\xi },v,w)=\infty \}.\hfill \end{array}$$ (11)

We also define the concepts of $C^{\xi }$-limits and $C^{\xi }$-continuity, which will be used in the next section.

For a function $h:C^{\xi }\to \mathbb{R}$ and a point $x\in C^{\xi }$, a number l is said to be the limit of h through the points of $C^{\xi }$, or simply the $C^{\xi }$-limit of h as $z\to x$, if given any $ϵ>0$ there exists $\delta >0$ such that

$$z\in C^{\xi }\mathrm{and}|z-x|<\delta \Rightarrow |h\left(z\right)-l|<ϵ.$$ (12)

If such a number exists, then it is denoted by:

$$l=C^{\xi }-\underset{z\to x}{lim}h\left(z\right).$$ (13)

A function $h:C^{\xi }\to \mathbb{R}$ is said to be $C^{\xi }$-continuous at $x\in C^{\xi }$ if

$$h\left(x\right)=C^{\xi }-\underset{z\to x}{lim}h\left(x\right).$$ (14)

2.3. $C^{\zeta }$-Differentiation

If $C^{\xi }$ is an $\zeta$-perfect set, then the $C^{\zeta }$-derivative of a function u defined on $C^{\xi }$ at a point y is defined to be the following, assuming the limit exists [33,34]:

$$D_{C^{\xi }}^{\zeta }u\left(y\right)=\left\{\begin{array}{c}{C}^{\xi }-\underset{z\to y}{lim}\frac{f\left(z\right)-f\left(y\right)}{S_{C^{\xi }}^{\zeta }\left(z\right)-S_{C^{\xi }}^{\zeta }\left(y\right)},\mathrm{if}z\in C^{\xi },\hfill \\ 0,\mathrm{otherwise}.\hfill \end{array}\right.$$ (15)

Let u be a bounded function on $C^{\xi }$ and J be a closed interval as above [33,34]. Then, we define

$$\begin{array}{ccc}\hfill \mathfrak{M}[u,C^{\xi },J]& =& \underset{y\in C^{\xi }\cap J}{sup}u\left(y\right)\mathrm{if}{C}^{\xi }\cap J\ne 0\hfill \end{array}$$ (16)

$$\begin{array}{cc}=& 0\mathrm{otherwise},\hfill \end{array}$$ (17)

and similarly

$$\begin{array}{ccc}\hfill \mathfrak{m}[u,C^{\xi },J]& =& \underset{y\in C^{\xi }\cap J}{inf}u\left(y\right)\mathrm{if}{C}^{\xi }\cap J\ne 0\hfill \end{array}$$ (18)

$$\begin{array}{cc}=& 0\mathrm{otherwise}.\hfill \end{array}$$ (19)

If $S_{C^{\xi }}^{\zeta }\left(y\right)$ is finite for $y\in [v,w]$, and $Q=\{v=y_0,y_1,\cdots ,y_n=w\}$ is a subdivision of $[v,w]$, then the upper $C^{\zeta }$-sum and lower $C^{\zeta }$-sum for a function u over the subdivision Q are given, respectively, by [33,34]

$${\mathfrak{U}}^{\zeta }[u,C^{\xi },Q]=\sum _{j=1}^m\mathfrak{M}[u,C^{\xi },[y_j,y_{j-1}]](S_{C^{\xi }}^{\zeta }\left(y_j\right)-S_{C^{\xi }}^{\zeta }\left(y_{j-1}\right))$$ (20)

and

$${\mathfrak{L}}^{\zeta }[u,C^{\xi },Q]=\sum _{j=1}^m\mathfrak{m}[u,C^{\xi },[y_j,y_{j-1}]](S_{C^{\xi }}^{\zeta }\left(y_j\right)-S_{C^{\xi }}^{\zeta }\left(y_{j-1}\right)).$$ (21)

Let u be a bounded function on $C^{\xi }$. We say that u is $C^{\zeta }$-integrable on $[v,w]$ if [33,34] the two quantities

$$\begin{array}{cc}\hfill \underset{\_}{{\int }_v^w}u\left(y\right)d_{C^{\xi }}^{\zeta }y& =\underset{Q_{[v,w]}}{sup}{\mathfrak{L}}^{\zeta }[u,C^{\xi },Q],\hfill \end{array}$$ (22)

$$\begin{array}{cc}\hfill \overline{{\int }_v^w}u\left(y\right)d_{C^{\xi }}^{\zeta }y& =\underset{Q_{[v,w]}}{inf}{\mathfrak{L}}^{\zeta }[u,C^{\xi },Q],\hfill \end{array}$$ (23)

are equal. In that case, the $C^{\zeta }$-integral of u on $[v,w]$ is denoted by ${\int }_v^{w}u\left(y\right)d_{C^{\xi }}^{\zeta }y$ and is given by the common value of Labels (22)–(23).

Fundamental Theorem of $C^{\zeta }$-Calculus. Suppose that $u\left(y\right):C^{\xi }\to \mathbb{R}$ is $C^{\zeta }$-continuous and bounded on $C^{\xi }$. If we define $\mathrm{g}\left(z\right)$ by

$$\mathrm{g}\left(z\right)={\int }_a^z\mathrm{f}\left(y\right)d_{C^{\xi }}^{\zeta }y$$ (24)

for all $y\in [v,w]$, then:

$$D_{C^{\xi }}^{\zeta }\mathrm{g}\left(y\right)=\mathrm{f}\left(y\right){\chi }_{C^{\xi }}\left(y\right),$$ (25)

where ${\chi }_{C^{\xi }}\left(y\right)$ is the characteristic function of the middle-$\xi$ Cantor set.

Conversely, if $\mathrm{f}\left(y\right)$ is an $C^{\zeta }$-differentiable function, then we have [33,34]

$$D_{C^{\xi }}^{\zeta }\mathrm{f}\left(y\right)=\mathrm{h}\left(y\right){\chi }_{C^{\xi }}\left(y\right)$$ (26)

for some function $\mathrm{h}$, and, consequently, it follows that

$${\int }_v^w\mathrm{h}\left(y\right)d_{C^{\xi }}^{\zeta }y=\mathrm{f}\left(b\right)-\mathrm{f}\left(a\right).$$ (27)

3. Staircase Functions on Middle-$\xi$ Cantor Sets

In this section, we plot middle-$\xi$ Cantor sets and their staircase functions $S_{C^{\xi }}^{\zeta }\left(y\right)$ for special cases, in order to present details of the paper.

3.1. The Cantor Triadic Set

The Cantor triadic set is generated by iteration as follows:

• Step 1. Remove an open interval of length $1/3$ from the middle of the interval $J=[0,1]$.

• Step 2. Remove an open interval of length ${(1/3)}^2$ from the middle of each one of the closed intervals with length $1/3$ remaining from step 1.

• ...

• Step k. Remove an open interval of length ${(1/3)}^k$ from the middle of each one of the closed intervals with length ${(1/3)}^{k-1}$ remaining from step $k-1$.

In the case of the Cantor triadic sets, utilizing Equations (4) and (11), we get $\varsigma$-dimension as follows:

$${dim}_{\varsigma }(C^{1/3}\cap [v,w])={dim}_H(C^{1/3})=0.63.$$ (28)

In Figure 1a, we draw the process mentioned above that established the Cantor triadic set.

Figure 1.

Basic properties of some example Cantor sets.

Using Equation (10), the staircase function of the Cantor triadic set $(S_{C^{1/3}}^{0.63}\left(x\right))$ is sketched in Figure 1c.

The staircase functions have important roles in $C^{\zeta }$-C, being used in integration and differentiation of functions with fractal support.

3.2. The 5-Adic-Type Cantor-Like Set

The procedure to achieve the 5-adic-type Cantor-like set is similar to that for the Cantor triadic set, only differed to remove the open interval of length $3/5$ in every stage. We exhibit these steps in Figure 1b.

The $\varsigma$-dimension of the 5-adic-type Cantor-like set, considering Equations (4) and (11), is

$${dim}_{\varsigma }(C^{3/5}\cap [v,w])={dim}_H(C^{3/5})=0.43.$$ (29)

From Equation (10), the staircase function of the 5-adic-type Cantor-like $(S_{C^{3/5}}^{0.43}\left(y\right))$ is plotted in Figure 1d.

4. Differential Equations on Middle-$\xi$ Cantor Sets

In this section, first, we study the integration and differentiation of functions whose support is a middle-$\xi$ Cantor set. Secondly, differential equations formulated on middle-$\xi$ Cantor sets are suggested and solved using illustrative examples.

Example 1.

Consider a function with the fractal Cantor triadic set support as follows:

$$f\left(x\right)=sin\left(2\pi x{\chi }_{C^{1/3}}^{0.63}\left(x\right)\right)$$ (30)

where

$${\chi }_{C^{1/3}}^{0.63}\left(x\right)=\left\{\begin{array}{cc}\frac{1}{\mathsf{\Gamma }(1+0.63)},\hfill & x\in C^{1/3},\hfill \\ \mathrm{otherwise},\hfill & 0,\hfill \end{array}\right.$$ (31)

is the characteristic function of the fractal Cantor triadic set. We plot the function $f\left(x\right)$ in Figure 2a.

The $C^{\zeta }$-derivative of $f\left(x\right)$, using conjugacy of $C^{\zeta }$-C and ordinary calculus [33,34], is as follows:

$$D_{C^{1/3}}^{0.63}f\left(x\right)=\frac{2\pi }{\mathsf{\Gamma }(1+0.63)}cos\left(2\pi x{\chi }_{C^{1/3}}^{0.63}\left(x\right)\right),$$ (32)

where $\mathsf{\Gamma }(·)$ denotes the gamma function. A plot of the function $D_{C^{1/3}}^{0.63}f\left(x\right)$ is shown in Figure 2b.

The $C^{\zeta }$-integration of $f\left(x\right)$, considering conjugacy of $C^{\zeta }$-C between the ordinary calculus [33,34], will be as follows:

$$\begin{array}{cc}\hfill {\int }_0^{1}sin\left(2\pi x{\chi }_{C^{1/3}}^{0.63}\left(x\right)\right)d_{C^{1/3}}^{0.63}x& =\frac{-\mathsf{\Gamma }(1+0.63)}{2\pi }{\left[cos\left(2\pi \frac{S_{C^{1/3}}^{0.63}\left(x\right)}{\mathsf{\Gamma }(1+0.63)}\right)\right]}_0^1\hfill \\ & =\frac{1}{2\pi }\left[1-cos\left(2\pi \frac{S_{C^{1/3}}^{0.63}\left(1\right)}{\mathsf{\Gamma }(1+0.63)}\right)\right]\hfill \\ & =0,\hfill \end{array}$$

where we use $S_{C^{1/3}}^{0.63}\left(1\right)=\mathsf{\Gamma }(1+0.63)$. In Figure 2c, we plot the integral function of $f\left(x\right)$ over $[0,1]$.

Figure 2.

Graphs relevant to Example 1.

Example 2.

Suppose we have a function on the fractal 5-adic-type Cantor-like set as follows:

$$g\left(x\right)=x^2{\chi }_{C^{3/5}}^{0.43}\left(x\right).$$ (33)

This function $g\left(x\right)$ is sketched in Figure 3a.

The $C^{\xi }$-derivative of $g\left(x\right)$ is derived by a similar method as used in Example 1, which yields the following result:

$$D_{C^{3/5}}^{0.43}g\left(x\right)=2x{\chi }_{C^{3/5}}^{0.43}\left(x\right).$$ (34)

We plot $D_{C^{3/5}}^{0.43}g\left(x\right)$ in Figure 3b.

In the same manner, we obtain the $F^{\zeta }$-integral of $g\left(x\right)$ as follows:

$$\begin{array}{ccc}\hfill {\int }_0^1\left({\chi }_{C^{3/5}}^{0.43}\right)x^2{d}_{C^{3/5}}^{0.43}x& =& \frac{1}{3\mathsf{\Gamma }(1+0.43)}{\left(S_{C^{3/5}}^{0.43}\left(x\right)\right)}^3{|}_0^1\hfill \\ & =& \frac{1}{3\mathsf{\Gamma }(1+0.43)}{\left(S_{C^{3/5}}^{0.43}\left(1\right)\right)}^3=0.26.\hfill \end{array}$$ (35)

We plot the $C^{\zeta }$-integral of $g\left(x\right)$ in Figure 3c.

Figure 3.

Graphs relevant to Example 2.

We are going to use the above results and examples for solving differential equations on the middle-$\xi$ Cantor sets.

5. Diffusion on Middle-$\xi$ Cantor Sets

In this section, we define and give conditions for super, normal and sub-diffusion on middle-$\xi$ Cantor sets.

5.1. Super-Diffusion

Let us consider time as continuous and space as a middle-$\xi$ Cantor set. We consider a probability function $W(x,t),$ which is an $C^{\zeta }$-differentiable function of the space coordinate x and is a differentiable function of time t in the sense of standard calculus. The fractal diffusion equation for a random walk is suggested with the conditional probability $W(x,t)$ as follows:

$${\chi }_{C^{\xi }}\left(x\right)\frac{\partial W(x,t)}{\partial t}=K_{C^{\zeta }}{(D_{C^{\xi },x}^{\zeta })}^{2}W(x,t),t\in \mathbb{R},x\in C^{\xi },$$ (36)

with the initial condition

$$W(x,t=0)={\delta }_{C^{\xi }}^{\zeta }\left(x\right),$$ (37)

where $\left[K_{C^{\xi }}\right]=(Lengt{h}^{2\zeta }/Time)$ is a generalized diffusion coefficient, ${\delta }_{C^{\xi }}^{\zeta }\left(x\right)$ is the Dirac delta function with fractal support. Using conjugacy of $C^{\zeta }$-C between standard calculus [33,34], we have the solution for Equation (36) as follows:

$$W(x,t)=\frac{t^{-1/2}}{\sqrt{4\pi K_{C^{\xi }}}}exp\left[\frac{-S_{C^{\xi }}^{\zeta }{\left(x\right)}^2}{4K_{C^{\xi }}t}\right].$$ (38)

Since $S_{C^{\xi }}^{\zeta }\left(x\right)\le x^{\zeta }$, then Equation (38) can be written as:

$$W(x,t)\mapsto \frac{t^{-1/2}}{\sqrt{4\pi K_{C^{\xi }}}}exp\left[\frac{-x^{2\zeta }}{4K_{C^{\xi }}t}\right].$$ (39)

The function $W(x,t)$ is indicated as the probability distribution of super-diffusion on Cantor sets.

Accordingly, the mean square random walk is

$$\langle S_{C^{\xi }}^{\zeta }{\left(x\right)}^2\rangle =4K_{C^{\xi }}t.$$ (40)

Using the upper bound $S_{C^{\xi }}^{\zeta }{\left(x\right)}^2\le x^{2\zeta }$, we have

$$\langle x^2\rangle \mapsto 4K_{C^{\xi }}{t}^{1/\zeta }.$$ (41)

5.2. Normal Diffusion

Let us consider space as a middle-$\xi$ Cantor set and fractal time associated with the middle-$\xi$ Cantor set, both sets having the same value of $\xi$ and the same dimension $\zeta$. The random walk conditional probability $W(x,t)$ is given by

$$D_{C^{\xi },t}^{\zeta }W(x,t)=G_{C^{\xi }}{(D_{C^{\xi },x}^{\zeta })}^{2}W(x,t),$$ (42)

where $\left[G_{C^{\xi }}\right]=(Lengt{h}^{2\zeta }/Tim{e}^{\zeta })$ is a diffusion coefficient. The solution for Equation (42) with the initial condition Equation (37), utilizing conjugacy of $C^{\zeta }$-C between standard calculus, is:

$$W(x,t)=\frac{S_{C^{\xi }}^{\zeta }{\left(t\right)}^{-1/2}}{\sqrt{4\pi G_{C^{\xi }}}}exp\left[\frac{-S_{C^{\xi }}^{\zeta }{\left(x\right)}^2}{4G_{C^{\xi }}{S}_{C^{\xi }}^{\zeta }\left(t\right)}\right].$$ (43)

Considering the upper bound on the $S_{C^{\xi }}^{\zeta }(·)$, we obtain:

$$W(x,t)\mapsto \frac{t^{-\zeta /2}}{\sqrt{4\pi G_{C^{\xi }}}}exp\left[\frac{-x^{2\zeta }}{4G_{C^{\xi }}{t}^{\zeta }}\right].$$ (44)

The function $W(x,t)$ indicates the probability distribution for normal diffusion with a non-Gaussian propagator.

Applying conjugacy of $C^{\zeta }$-C between standard calculus, we arrive at the mean square of displacement

$$\langle S_{C^{\xi }}^{\zeta }{\left(x\right)}^2\rangle =4G_{C^{\xi }}{S}_{C^{\xi }}^{\zeta }\left(t\right),$$ (45)

and if we use the upper bound on $S_{C^{\xi }}^{\zeta }(·),$ we can write Equation (45) as follows:

$$\langle x^2\rangle \mapsto 4G_{C^{\xi }}t.$$ (46)

5.3. Sub-Diffusion

Let us consider time as a middle-$\xi$ Cantor set with dimension $\beta$ and space as a middle-$\xi$ Cantor set with dimension $\zeta$. A random walk on this fractal space-time has conditional probability that can be obtained by the following differential equation:

$$D_{C^{{\xi }^{\prime }},t}^{\beta }W(x,t)={\chi }_{C^{{\xi }^{\prime }}}{L}_{C^{\xi }}{\left(D_{C^{\xi },x}^{\zeta }\right)}^{2}W(x,t),$$ (47)

where $\left[L_{C^{\xi }}\right]=(Lengt{h}^{2\zeta }/Tim{e}^{\beta })$ is a diffusion coefficient. Solving Equation (42) with the initial condition Equation (37), using conjugacy of $C^{\zeta }$-C between standard calculus, one can obtain

$$W(x,t)=\frac{S_{C^{\xi }}^{\beta }{\left(t\right)}^{-1/2}}{\sqrt{4\pi L_{C^{\xi }}}}exp\left[\frac{-S_{C^{\xi }}^{\zeta }{\left(x\right)}^2}{4L_{C^{\xi }}{S}_{C^{\xi }}^{\beta }\left(t\right)}\right].$$ (48)

In view of the upper bounds on $S_{C^{\xi }}^{\zeta }(·)$, we get

$$W(x,t)\mapsto \frac{t^{-\beta /2}}{\sqrt{4\pi L_{C^{\xi }}}}exp\left[\frac{-x^{2\zeta }}{4L_{C^{\xi }}{t}^{\beta }}\right].$$ (49)

The function $W(x,t)$ is named as the probability of sub-diffusion for a random walk as indicated above.

Similarly to the previous cases, the mean square of displacement in this case will be

$$\langle S_{C^{\xi }}^{\zeta }{\left(x\right)}^2\rangle =4L_{C^{\xi }}{S}_{C^{\xi }}^{\beta }\left(t\right),$$ (50)

and in the same manner we use upper bounds on $S_{C^{\xi }}^{\zeta }(·)$ to get

$$\langle x^2\rangle \mapsto 4L_{C^{\xi }}{t}^{\beta /\zeta }.$$ (51)

Example 3.

Consider a random walk model on the fractal 3-adic-type Cantor-like set. The corresponding mean square value displacement of the random walk is given by:

$$\langle S_{C^{\xi }}^{0.63}{\left(x\right)}^2\rangle =4L_{C^{\xi }}{S}_{C^{\xi }}^{\beta }\left(t\right),$$ (52)

or

$$\langle x^2\rangle \mapsto 4L_{C^{\xi }}{t}^{\beta /0.63},$$ (53)

where the respective cases $\beta >0.63$, $\beta <0.63$, and $\beta =0.63$ are called super-diffusion, sub-diffusion and normal diffusion on the fractal 3-adic-type Cantor-like set, respectively.

In Figure 4, we draw the graphs of mean square value displacement random walk model for super-diffusion, sub-diffusion, and normal diffusion on fractal 3-adic-type Cantor-like sets in the case $\zeta =0.63$.

Figure 4.

Graphs of the mean value displacement of the random walk model for super-diffusion (in red), sub-diffusion (in green) and normal diffusion (in blue) in the case α = 0.63; the smoothed curves represent the corresponding processes on the real line.

Remark 2.

We conclude the results of Section 5 as follows:

• 1. The diffusion is super-diffusion on the middle-ξ Cantor set if $\zeta <\beta$.
• 2. The diffusion is normal on the middle-ξ Cantor set if $\zeta =\beta$.
• 3. The diffusion is sub-diffusion on the middle-ξ Cantor set if $\zeta >\beta$.

Remark 3.

In some figures, we have plotted bars instead of points for the graphs of functions with fractal support, in order to make the results more clear.

6. Conclusions

The $C^{\zeta }$-calculus is a generalization of ordinary calculus that can be applied on middle-$\xi$ Cantor sets for different values of $\xi$. Functions with middle-$\xi$ Cantor set support were considered, and their derivatives and integrals were derived using $C^{\zeta }$-calculus, which shows the advantage of using $C^{\zeta }$-calculus over standard calculus. $C^{\zeta }$-derivatives on new fractal sets were discussed and compared for functions with different fractal supports. New differential equations involving $C^{\zeta }$-derivatives on middle-$\xi$ Cantor sets have been suggested, which can be used as mathematical models for many physical problems. For example, we suggest conditions for super-, normal, and sub-diffusion on fractal sets.

Author Contributions

All authors contributed equally to this work. All authors have read and approved the final manuscript.

Funding

The second author is on a PhD studentship which was funded by the Engineering and Physical Sciences Research Council, UK.

Conflicts of Interest

The authors declare no conflict of interest.