Next Article in Journal
Some New Fractional Trapezium-Type Inequalities for Preinvex Functions
Previous Article in Journal
On Analytic Functions Involving the q-Ruscheweyeh Derivative

Fractal Fract 2019, 3(1), 11; https://doi.org/10.3390/fractalfract3010011

Article
On the Fractal Langevin Equation
Young Researchers and Elite Club, Urmia Branch, Islamic Azad University, Urmia, Iran
Received: 22 February 2019 / Accepted: 12 March 2019 / Published: 13 March 2019

Abstract

:
In this paper, fractal stochastic Langevin equations are suggested, providing a mathematical model for random walks on the middle-$τ$ Cantor set. The fractal mean square displacement of different random walks on the middle-$τ$ Cantor set are presented. Fractal under-damped and over-damped Langevin equations, fractal scaled Brownian motion, and ultra-slow fractal scaled Brownian motion are suggested and the corresponding fractal mean square displacements are obtained. The results are plotted to show the details.
Keywords:
local fractal calculus; fractal mean square displacement; middle-τ Cantor sets; fractal Langevin equations

1. Introduction

In the last decade, analysis on fractals has been developed by many researchers [1,2,3,4,5,6,7,8]. Harmonic analysis is used to define integrals and derivatives on fractal sets [4]. Probability theory is used to define Laplacians on fractals [9]. Fractional spaces are mapped to continuous real space in order to define differential equations on fractals [10,11,12,13]. Fractional calculus is applied in fractal spaces to explain anomalous diffusion [14,15,16,17,18]. Time-fractional continuum models with short memory are studied to model the evolution law for the damage variable for hyperelastic materials [19].
In a seminal paper, generalized standard calculus is formulated to define derivatives and integrals on totally disconnected fractal sets and fractal curves [20,21,22,23]. Recently, an extension of fractal calculus for the fractals embedding in 2D is formulated [24].
Mean square displacements of random walks having power law are modeled utilizing $F α$-calculus to provide applications in statistical mechanics [23,25]. The over-damped Langevin equation is investigated, which describes dynamics of Brownian particles in the long time limit. The anomalous diffusion of particles in free cooling granular gases is modeled in [26].
In this paper, we suggest fractal under-damped and over-damped Langevin equations, fractal scaled Brownian motion, and ultra-slow fractal scaled Brownian motion. Using stochastic fractal differential equations, the fractal mean square displacement is derived, which leads to a new hierarchy of random walks.
The outline of the paper is as follows: In Section 2, we review basic tools. We define the fractal Langevin equation with different coefficients and work out the mean square displacement for under-damped and over-damped Langevin equations in Section 3. In Section 4, we present fractal ultra-slow and scaled Brownian motion and their fractal mean displacements. Finally, we conclude our results in Section 5.

2. Basic Tools

In this section, we give a short review of local generalized Riemman calculus on fractal middle-$τ$ Cantor set.

2.1. Middle-$τ$ Cantor Set

The middle-$τ$ Cantor set created by following stages:
(I)
Delete an open interval of length $0 < τ < 1$ from the middle of the $I = [ 0 , 1 ]$.
$C 1 τ = [ 0 , 1 2 ( 1 − τ ) ] ∪ [ 1 2 ( 1 + τ ) , 1 ]$
(II)
Remove disjoint open intervals of length $τ$ from the remaining sections of step I.
$C 2 τ = [ 0 , 1 4 ( 1 − τ ) 2 ] ∪ [ 1 4 ( 1 − τ 2 ) , 1 2 ( 1 − τ ) ] ∪ [ 1 2 ( 1 + τ ) + 1 2 ( ( 1 + τ ) + 1 2 ( 1 − τ ) 2 ) ] ∪ [ 1 2 ( 1 + τ ) ( 1 + 1 2 ( 1 − τ ) ) , 1 ] . ⋮$
(III)
Pick up disjoint open intervals of length $τ$ from the remaining sections of previous step, and so on ad infinitum.
$C τ = ⋂ k = 1 ∞ C k τ$
The Lebesgue measures of middle-$τ$ Cantor sets are zero and their Hausdorff dimensions are given by
$dim H ( C τ ) = log 2 log 2 − log ( 1 − τ ) ,$
where $H ( C τ )$ is the Hausdorff measure [27].

2.2. Local Fractal Calculus

If $C τ$ is middle-$τ$ Cantor set, then the flag function is defined by [20,21,23],
$F ( C τ , J ) = 1 if C τ ∩ J ≠ ∅ 0 otherwise .$
where $J = [ d 1 , d 2 ]$. Then, $P α [ C τ , N ]$ is given in [20,21,23] by
$P α [ C τ , N ] = ∑ i = 1 n Γ ( α + 1 ) ( t i − t i − 1 ) α F ( C τ , [ t i − 1 , t i ] ) .$
where $N [ d 1 , d 2 ] = { d 1 = t 0 , t 1 , t 2 , … , t n = d 2 }$ is a subdivisions of $J$.
The mass function $γ α ( C τ , d 1 , d 2 )$ is defined in [20,21,23] by
$γ α ( C τ , b 1 , b 2 ) = lim δ → 0 P δ α [ C τ , N ] = lim δ → 0 inf N [ d 1 , d 2 ] : | N | ≤ δ P α [ C τ , N ] ,$
where infimum is taken over all subdivisions $N$ of $[ d 1 , d 2 ]$ satisfying $| N | : = max 1 ≤ i ≤ n ( t i − t i − 1 ) ≤ δ$.
The integral staircase function $S C τ α ( t )$ is defined in [20,21] by
$S C τ α ( t ) = γ α ( C τ , d 0 , t ) if t ≥ d 0 − γ α ( C τ , d 0 , t ) otherwise ,$
where $d 0$ is an arbitrary and fixed real number.
The $γ$-dimension of a set $C τ ∩ [ d 1 , d 2 ]$ is defined as
$dim γ ( C τ ∩ [ d 1 , d 2 ] ) = inf { α : γ α ( C ϵ , d 1 , d 2 ) = 0 } = sup { α : γ α ( C τ , d 1 , d 2 ) = ∞ } .$
The $C τ$-limit of a function $g : C τ → ℜ$ is given by
$∀ ϵ > 0 , ∃ δ > 0 z ∈ C τ and | z − t | < δ ⇒ | g ( z ) − l | < ϵ .$
If l exists, then we have
$l = C τ - lim z → t g ( z ) .$
The $C τ$-continuity of a function $g : C τ → ℜ$ is defined by
$g ( t ) = C τ - lim z → t g ( z ) .$
The $C τ$-derivative of $f ( t )$ at t is defined [20]
$D C τ α f ( t ) = C τ - lim y → t f ( y ) − f ( t ) S C τ α ( y ) − S C τ α ( t ) if , t ∈ C τ , 0 , otherwise .$
if the limit exists.
In Figure 1, we plot middle-$τ$ Cantor set, sharacteristic function, staircase function and $γ$-dimension for middle-$τ$ Cantor set with $τ = 5 / 7$. (The red line indicates upper bound of staircase function $Γ ( 1.35 ) t 0.35$).
The $C τ$-integral of $k ( t )$ on $J = [ d 1 , d 2 ]$ is defined in [20,21,23] and approximately given by
$∫ d 1 d 2 k ( t ) d C τ α t ≈ ∑ i = 1 n k ( t i ) ( S C τ α ( t i ) − S C τ α ( t i − 1 ) ) .$
For more details, we refer the reader to [20,21].
The characteristic function of the middle-$τ$ Cantor set is defined in [23] by
$χ C τ ( α , t ) = 1 Γ ( α + 1 ) , t ∈ C τ , 0 , o t h e r w i s e .$
The delta function on middle-$τ$ Cantor set, which is called fractal Gaussian noise, is defined by
$δ C τ γ ( t − t 1 ) = ∞ , t = t 1 0 , t ≠ t 1 .$
and
$∫ − ∞ + ∞ g ( t ) δ C τ γ ( t − t 1 ) d C τ α t = g ( t 1 ) .$

3. Fractal Langevin Equation with Different Coefficients

In this section, we study over-damped and under-damped Langevin equations.

3.1. Fractal Over-Damped Langevin Equation

Consider over-damped fractal Langevin equation
$D C τ , t γ x ( t ) = 2 D 0 ζ ( t ) , K = C τ ,$
where $D 0$ (m$2$ s$− γ / α$) is coefficient of diffusion and $ζ ( t )$ is
$< ζ ( t 2 ) ζ ( t 1 ) > = δ K γ ( t 2 − t 1 ) , < ζ ( t ) > = 0 .$
The fractal mean square displacement (FMSD) of random walk corresponding to Equation (15) is given by
$< S K α ( x ) 2 > = 2 D 0 S K γ ( t ) ,$
where $α$ and $γ$ are fractal space and time dimensions, respectively. Using upper bound of staircase function, namely
$S K γ ( t ) < t γ ,$
By substituting Equation (18) into Equation (17), we obtain
$< x ( t ) 2 > ≈ 2 D 0 t γ / α .$
In Figure 2, we plot Equation (19), in which the red, blue, and green lines are to super-, normal- and sub-diffusion, respectively.

3.2. Fractal Under-Damped Langevin Equation

Let us consider the fractal under-damped Langevin equation as follows
$( D C τ , t γ ) 2 x ( t ) + γ 0 D C τ , t γ x ( t ) = 2 D 0 γ 0 ζ ( t ) ,$
where $γ 0$ (s$− γ / α$) and $D 0 = T / m γ 0$ are called fractal friction coefficient and fractal diffusion constant, respectively [26]. Let $D K , t γ x ( t ) = v K ( t )$, then, by Equation (20), we obtain
$< v K ( t 1 ) v K ( t 2 ) > = T m exp − γ 0 | S K γ ( t 2 ) − S K γ ( t 1 ) | .$
Using Equation (21), we get
$< S K α ( x ) 2 > = 2 D 0 S K γ ( t ) + 2 D 0 γ 0 ( e − γ 0 S K γ ( t ) − 1 ) .$
which is named FMSD of the fractal under-damped Langevin equation. Utilizing upper bound of $S K γ ( t ) < t γ$, we obtain
$< x ( t ) 2 > ≈ 2 D 0 t γ + 2 D 0 γ 0 ( e − γ 0 t γ − 1 ) 1 / α .$
Replacing the short time $t ≪ 1 γ 0$ into Equation (22), we obtain
$< S K α ( x ) 2 > ≃ D 0 γ 0 S K γ ( t ) 2 .$
By substituting long time $t ≫ 1 γ 0$ into Equation (22), one arrives at Equation (17). In Figure 3, we sketch Equation (23).

4. Fractal Scaled Brownian Motion

The fractal stochastic Langevin equation, which is a model of fractal scaled Brownian motion, is given by
$D C τ , t γ x ( t ) = 2 D ( t ) ζ ( t ) , t ∈ C τ ,$
with the condition in Equation (16) and
$D ( t ) = D 0 ( 1 + t τ 0 ) ν − 1 , t ∈ K ,$
where $ν ∈ [ 0 , 2 ]$ and $τ 0$ (s) are constant. Using Equation (26), we obtain FMSD in the following form
$< S K α ( x ) 2 > = 2 ∫ 0 t D ( t ′ ) d K γ t ′ = 2 D 0 τ 0 ν [ 1 + S K γ ( t ) τ 0 ] ν − 1 , < x ( t ) 2 > ≈ 2 D 0 τ 0 ν [ 1 + t γ τ 0 ] ν − 1 1 / α .$
In Figure 4, we plot Equation (27). Replacing the short time $t ≪ τ 0$ into Equation (27), we have
$< S K α ( x ) 2 > ≈ 2 D 0 S K γ ( t ) ,$
and substituting the long time $t ≫ τ 0$ into Equation (27), we obtain
$< S K α ( x ) 2 > ≈ S K γ ( t ) ν .$
Consequently, Equation (29) covers both sub-and super-diffusive processes. Ultra-slow fractal scaled Brownian motion is obtained substituting $ν = 0$ into Equation (26), and we have
$D ( t ) = D 0 ( 1 + t τ 0 ) − 1 , t ∈ K .$
In view of Equations (30) and (25), we thus obtain FMSD as follows:
$< S K α ( x ) 2 > = 2 D 0 τ 0 log 1 + S K γ ( t ) S K γ ( τ 0 ) ,$
$< x ( t ) 2 > ≈ 2 D 0 τ 0 log 1 + t γ τ 0 γ .$
Substituting long times $t ≫ τ 0$ into Equation (31) leads to
$< S K α ( x ) 2 > ∼ log ( S K γ ( t ) ) .$
By Equation (33) and recalling Equation (18), we get
$< x ( t ) 2 > ≈ ( log ( t γ ) ) 1 / α .$
Remark 1.
These results switch to the known result for the ordinary or scaled Brownian motion and classical Langevin equation by choosing $γ = α = 1$.
In Figure 5, we sketch Equation (34).
Remark 2.
We derive equations using the conjugacy of $C τ$-calculus with the standard calculus [21,26].
Remark 3.
Figure 2, Figure 3, Figure 4 and Figure 5 show super-, normal and sub-diffusion for the models.
Remark 4.
In Figure 2, Figure 3, Figure 4 and Figure 5, we set $γ 0 = τ 0 = D 0 = 1$.

5. Conclusions

In this work, we have studied fractal scaled Brownian motion, the fractal under-damped Langevin equation, and the fractal over-damped Langevin equation. The stochastic Langevin equations with different diffusion coefficients are considered to give different fractal mean square displacements. The results obtained in this manuscript are generalizations of the known results for the ordinary Langevin equation and scaled Brownian motion. Moreover, we obtain different conditions that are related to the dimensions of space and time.

Funding

This research received no external funding.

Conflicts of Interest

The author declare no conflict of interest.

References

1. Mandelbrot, B.B. The Fractal Geometry of Nature; WH Freeman: New York, NY, USA, 1983; Volumn 173. [Google Scholar]
2. Kigami, J. Analysis on Fractals; Cambridge University Press: Cambridge, UK, 2001. [Google Scholar]
3. Falconer, K. Techniques in Fractal Geometry; John Wiley and Sons: Hoboken, NJ, USA, 1997. [Google Scholar]
4. Freiberg, U.; Zahle, M. Harmonic calculus on fractals-a measure geometric approach I. Potential Anal. 2002, 16, 265–277. [Google Scholar] [CrossRef]
5. Strichartz, R.S. Differential Equations on Fractals: A Tutorial; Princeton University Press: Princeton, NJ, USA, 2006. [Google Scholar]
6. Cattani, C. Fractals and hidden symmetries in DNA. Math. Probl. Eng. 2010, 2010, 507056. [Google Scholar] [CrossRef]
7. Cattani, C. Fractional Calculus and Shannon Wavelet. Math. Probl. Eng. 2012, 2012, 502812. [Google Scholar] [CrossRef]
8. Rodriguez-Vallejo, M.; Montagud, D.; Monsoriu, J.A.; Ferrando, V.; Furlan, W.D. Relative Peripheral Myopia Induced by Fractal Contact Lenses. Curr. Eye Res. 2018, 43, 1514–1521. [Google Scholar] [CrossRef] [PubMed]
9. Barlow, M.T.; Perkins, E.A. Brownian motion on the Sierpinski gasket. Probab. Theory Relat. Fields 1988, 79, 543–623. [Google Scholar] [CrossRef]
10. Balankin, A.S. A continuum framework for mechanics of fractal materials I: From fractional space to continuum with fractal metric. Eur. Phys. J. B 2015, 88, 90. [Google Scholar] [CrossRef]
11. Zubair, M.; Mughal, M.J.; Naqvi, Q.A. Electromagnetic Fields and Waves in Fractional Dimensional Space; Springer: New York, NY, USA, 2012. [Google Scholar]
12. Nottale, L.; Schneider, J. Fractals and nonstandard analysis. J. Math. Phys. 1998, 25, 1296–1300. [Google Scholar] [CrossRef]
13. Célérier, M.N.; Nottale, L. Quantum-classical transition in scale relativity. J. Phys. A Math. Gen. 2004, 37, 931–955. [Google Scholar] [CrossRef]
14. Kolwankar, K.M.; Gangal, A.D. Local fractional Fokker–Planck equation. Phys. Rev. Lett. 1998, 80, 214. [Google Scholar] [CrossRef]
15. El-Nabulsi, R.A. Path integral formulation of fractionally perturbed Lagrangian oscillators on fractal. J. Stat. Phys. 2018, 172, 1617–1640. [Google Scholar] [CrossRef]
16. Das, S. Functional Fractional Calculus; Springer Science Business Media: Berlin, Germany, 2011. [Google Scholar]
17. Podlubny, I. Fractional Differential Equations; Academic Press: New York, NY, USA, 1999. [Google Scholar]
18. Chen, W.; Sun, H.-G.; Zhang, X.; Koroak, D. Anomalous diffusion modeling by fractal and fractional derivatives. Comput. Math. Appl. 2010, 59, 1754–1758. [Google Scholar] [CrossRef]
19. Sumelka, W.; Voyiadjis, G.Z. A hyperelastic fractional damage material model with memory. Int. J. Solids Struct. 2017, 124, 151–160. [Google Scholar] [CrossRef]
20. Parvate, A.; Gangal, A.D. Calculus on fractal subsets of real-line I: Formulation. Fractals 2009, 17, 53–148. [Google Scholar] [CrossRef]
21. Parvate, A.; Gangal, A.D. Calculus on fractal subsets of real line II: Conjugacy with ordinary calculus. Fractals 2011, 19, 271–290. [Google Scholar] [CrossRef]
22. Satin, S.; Gangal, A.D. Langevin Equation on Fractal Curves. Fractals 2016, 24, 1650028. [Google Scholar] [CrossRef]
23. Golmankhaneh, A.K.; Fernandez, A.; Baleanu, D. Diffusion on middle-ξ Cantor sets. Entropy 2018, 20, 504. [Google Scholar] [CrossRef]
24. Golmankhaneh, A.K.; Fernandez, A. Fractal Calculus of Functions on Cantor Tartan Spaces. Fractal Fract 2018, 2, 30. [Google Scholar] [CrossRef]
25. Golmankhaneh, A.K.; Balankin, A.S. Sub-and super-diffusion on Cantor sets: Beyond the paradox. Phys. Lett. A 2018, 382, 960–967. [Google Scholar] [CrossRef]
26. Bodrova, A.S.; Chechkin, A.V.; Cherstvy, A.G.; Safdari, H.; Sokolov, I.M.; Metzler, R. Underdamped scaled Brownian motion: (Non-)existence of the overdamped limit in anomalous diffusion. Sci. Rep. 2016, 6, 30520. [Google Scholar] [CrossRef] [PubMed]
27. Robert, D.; Urbina, W. On Cantor-like sets and Cantor-Lebesgue singular functions. arXiv, 2014; arXiv:1403.6554. [Google Scholar]
Figure 1. Figures for Section 2: (a) middle-$τ$ Cantor set with $τ = 5 / 7$; (b) staircase function of middle-$τ$ Cantor set with $τ = 5 / 7$; (c) the $γ$-dimension gives $α = 0.35$ to middle-$τ$ Cantor set with $τ = 5 / 7$; and (d) characteristic function for middle-$τ$ Cantor set with $τ = 5 / 7$.
Figure 1. Figures for Section 2: (a) middle-$τ$ Cantor set with $τ = 5 / 7$; (b) staircase function of middle-$τ$ Cantor set with $τ = 5 / 7$; (c) the $γ$-dimension gives $α = 0.35$ to middle-$τ$ Cantor set with $τ = 5 / 7$; and (d) characteristic function for middle-$τ$ Cantor set with $τ = 5 / 7$.
Figure 2. Graph of FMSD of over-damped Langevin equation setting $γ = 1 , α = 1$ (blue), $γ = 0.63 , α = 0.5$ (red), and $γ = 0.43 , α = 0.5$ (green).
Figure 2. Graph of FMSD of over-damped Langevin equation setting $γ = 1 , α = 1$ (blue), $γ = 0.63 , α = 0.5$ (red), and $γ = 0.43 , α = 0.5$ (green).
Figure 3. Graph of FMSD of under-damped Langevin equation setting $γ = 1 , α = 1$ (blue), $γ = 0.63 , α = 0.5$ (red), and $γ = 0.43 , α = 0.5$ (green).
Figure 3. Graph of FMSD of under-damped Langevin equation setting $γ = 1 , α = 1$ (blue), $γ = 0.63 , α = 0.5$ (red), and $γ = 0.43 , α = 0.5$ (green).
Figure 4. Graph of FMSD of scaled Brownian motion equation setting $γ = 1 , α = 1 , ν = 2$ (blue), $γ = 0.5 , α = 0.63 , ν = 2$ (red), and $γ = 0.5 , α = 0.43 , ν = 2$ (green).
Figure 4. Graph of FMSD of scaled Brownian motion equation setting $γ = 1 , α = 1 , ν = 2$ (blue), $γ = 0.5 , α = 0.63 , ν = 2$ (red), and $γ = 0.5 , α = 0.43 , ν = 2$ (green).
Figure 5. Graph of FMSD of ultra-slow fractal scaled Brownian motion setting $γ = 1 , α = 1$ (red), $γ = 0.63 , α = 0.5$ (blue), and $γ = 1 , α = 0.7$ (green).
Figure 5. Graph of FMSD of ultra-slow fractal scaled Brownian motion setting $γ = 1 , α = 1$ (red), $γ = 0.63 , α = 0.5$ (blue), and $γ = 1 , α = 0.7$ (green).