Fractal derivative explained

In applied mathematics and mathematical analysis, the fractal derivative or Hausdorff derivative is a non-Newtonian generalization of the derivative dealing with the measurement of fractals, defined in fractal geometry. Fractal derivatives were created for the study of anomalous diffusion, by which traditional approaches fail to factor in the fractal nature of the media. A fractal measure t is scaled according to tα. Such a derivative is local, in contrast to the similarly applied fractional derivative. Fractal calculus is formulated as a generalization of standard calculus.[1]

Physical background

Porous media, aquifers, turbulence, and other media usually exhibit fractal properties. Classical diffusion or dispersion laws based on random walks in free space (essentially the same result variously known as Fick's laws of diffusion, Darcy's law, and Fourier's law) are not applicable to fractal media. To address this, concepts such as distance and velocity must be redefined for fractal media; in particular, scales for space and time are to be transformed according to (xβ, tα). Elementary physical concepts such as velocity are redefined as follows for fractal spacetime (xβ, tα):[2]

v'=

dx'=
dt'
dx\beta
dt\alpha

,\alpha,\beta>0

,

where Sα,β represents the fractal spacetime with scaling indices α and β. The traditional definition of velocity makes no sense in the non-differentiable fractal spacetime.

Definition

Based on above discussion, the concept of the fractal derivative of a function f(t) with respect to a fractal measure t has been introduced as follows:[3]

\partialf(t)
\partialt\alpha
=\lim
t1t
f(t1)-f(t)
\alpha-t
t\alpha
1

,\alpha>0

,

A more general definition is given by

\partial\betaf(t)
\partialt\alpha
=\lim
t1t
\beta
f
\beta
(t
1)-f
(t)
\alpha-t
t\alpha
1

,\alpha>0,\beta>0

.For a function y(t) on

F\alpha

-perfect fractal set F the fractal derivative or

F\alpha

-derivative of y(t) at t is defined by
\alpha
D
F

y(t)=\left\{ \begin{array}{ll} \underset{xt}{F-\lim}~

y(x)-y(t)
\alpha
S
\alpha
(x)-S
F
(t)
F

,&if~t\inF;\\ 0,&otherwise. \end{array} \right.

.

Motivation

The derivatives of a function f can be defined in terms of the coefficients ak in the Taylor series expansion:

infin
f(x)=\sum
k=1

ak(x-x

infin
k=1

{1\overk!}{dkf\over

k}(x
dx
0)(x-x
k=f(x
0)+f'(x

0)(x-x0)+o(x-x0)

From this approach one can directly obtain:

f'(x0)={f(x)-f(x0)-o(x-x0)\overx-x0}=\lim

x\tox0

{f(x)-f(x0)\overx-x0}

This can be generalized approximating f with functions (xα-(x0)α)k:

infin
f(x)=\sum
k=1
\alpha)
b
0
k=f(x
0)+b
\alpha)+o(x
0
\alpha)
0

Note that the lowest order coefficient still has to be b0=f(x0), since it's still the constant approximation of the function f at x0.

Again one can directly obtain:

b1=\lim

x\tox0

{f(x)-f(x0)\over

\alpha}
x
0

\overset{\underset{def

}} (x_0)

The Fractal Maclaurin series of f(t) with fractal support F is as follows:

infty
f(t)=\sum
m=0
\alpha
(D)mf(t)|t=0
F
m!
\alpha
(S
F

(t))m

Properties

Expansion coefficients

Just like in the Taylor series expansion, the coefficients bk can be expressed in terms of the fractal derivatives of order k of f:

bk={1\overk!}l({d\overdx\alpha}r)

kf(x=x
0)

Proof idea: Assuming

^kf(x=x_0)

exists, bk can be written as

b_k=a_k \cdot^kf(x=x_0)

One can now use

f(x) = (x^\alpha-x_0^\alpha)^n \Rightarrow ^kf(x=x_0)=n!\delta_n^k

and since

b_n\overset1 \Rightarrow a_n =

Chain rule

If for a given function f both the derivative Df and the fractal derivative Dαf exist, one can find an analog to the chain rule:

{df\overdx\alpha}={df\overdx}{dx\overdx\alpha}={1\over\alpha}x1-\alpha{df\overdx}

The last step is motivated by the implicit function theorem which, under appropriate conditions, gives us

dx
dx\alpha

=(

dx\alpha
dx

)-1

Similarly for the more general definition:

{d\betaf\overd\alphax}={d(f\beta)\overd\alphax}={1\over\alpha}x1-\alpha\betaf\beta(x)f'(x)

Notes and References

  1. Book: Khalili Golmankhaneh, Alireza . 2022 . Fractal Calculus and its Applications . Singapore . World Scientific Pub Co Inc. 328 . 10.1142/12988 . 978-981-126-110-7 . 248575991 .
  2. Chen . Wen . May 2006 . Time-space fabric underlying anomalous diffusion . Chaos, Solitons & Fractals . 28 . 4 . 923–929 . 10.1016/j.chaos.2005.08.199. math-ph/0505023 . 2006CSF....28..923C .
  3. Chen . Wen . Sun . Hongguang . Zhang . Xiaodi . Korošak . Dean . March 2010 . Anomalous diffusion modeling by fractal and fractional derivatives . Computers & Mathematics with Applications . en . 59 . 5 . 1754–1758 . 10.1016/j.camwa.2009.08.020. free .