Jump to content

Fractional calculus

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 130.56.219.29 (talk) at 06:50, 20 September 2018 (Heuristics: Added a citation to support a claim. The citation originally came from the Differintegral page. The reference was checked and it does indeed support the claim.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Fractional calculus is a branch of mathematical analysis that studies the several different possibilities of defining real number powers or complex number powers of the differentiation operator D

,

and of the integration operator J

,[1]

and developing a calculus for such operators generalizing the classical one.

In this context, the term powers refers to iterative application of a linear operator to a function, in some analogy to function composition acting on a variable, i.e. f ∘2(x) = f ∘ f (x) = f ( f (x) ).

For example, one may ask the question of meaningfully interpreting

as an analogue of the functional square root for the differentiation operator, i.e., an expression for some linear operator that when applied twice to any function will have the same effect as differentiation. More generally, one can look at the question of defining a linear functional

for every real-number values of the parameter a in such a way that, when a takes an integer value n ∈ ℤ, it coincides with the usual n-fold differentiation D if n > 0, and with the -n–th power of J when n < 0.

One of the motivations behind the introduction and study of such kind of extensions of the differentiation operator D is that the sets of operator powers Da | a ∈ ℝ } defined in this way are continuous semigroups with parameter a, of which the original discrete semigroup of Dn | n ∈ ℤ } for integer n is a denumerable subgroup: since continuous semigroups have a well developed mathematical theory, they can be applied to other branches of mathematics.

Fractional differential equations, also known as extraordinary differential equations, are a generalization of differential equations through the application of fractional calculus.

Historical notes

In applied mathematics and mathematical analysis, fractional derivative is a derivative of any arbitrary order, real or complex. The first appearance of the concept of a fractional derivative is found in a letter written to Guillaume de l'Hôpital by Gottfried Wilhelm Leibniz in 1695.[2] As far as the existence of such a theory is concerned, the foundations of the subject were laid by Liouville in a paper from 1832.[3]

Nature of the fractional derivative

The derivative of a function at a point x is a local property only when a is an integer; this is not the case for non-integer power derivatives. In other words, it is not correct to say that the fractional derivative at of a function depends only on values of very near , in the way that integer-power derivatives certainly do. Therefore, it is expected that the theory involves some sort of boundary conditions, involving information on the function further out.[4]

The fractional derivative of a function to order a is often now defined by means of the Fourier or Mellin integral transforms.

Heuristics

A fairly natural question to ask is whether there exists a linear operator H, or half-derivative, such that

.

It turns out that there is such an operator, and indeed for any a > 0, there exists an operator P such that

or to put it another way, the definition of dny/dxn can be extended to all real values of n.

Let f(x) be a function defined for x > 0. Form the definite integral from 0 to x. Call this

.

Repeating this process gives

and this can be extended arbitrarily.

The Cauchy formula for repeated integration, namely

leads in a straightforward way to a generalization for real n.

Using the gamma function to remove the discrete nature of the factorial function gives us a natural candidate for fractional applications of the integral operator.

This is in fact a well-defined operator.

It is straightforward to show that the J operator satisfies

This relationship is called the semigroup property of fractional differintegral operators. Unfortunately the comparable process for the derivative operator D is significantly more complex, but it can be shown that D is neither commutative nor additive in general[5].

Fractional derivative of a basic power function

The half derivative (purple curve) of the function f(x) = x (blue curve) together with the first derivative (red curve).
The animation shows the derivative operator oscillating between the antiderivative (α=−1: y = 12x2) and the derivative (α = +1: y = 1) of the simple power function y = x continuously.

Let us assume that f(x) is a monomial of the form

The first derivative is as usual

Repeating this gives the more general result that

Which, after replacing the factorials with the gamma function, leads us to

For and , we obtain the half-derivative of the function as

To demonstrate that this is, in fact, the "Half Derivative" (where ), we repeat the process to get:

(because and )

which is indeed the expected result of

For negative integer power k, the gamma function is undefined and we have to use the following relation:[6]

This extension of the above differential operator need not be constrained only to real powers. For example, the (1 + i)th derivative of the (1 − i)th derivative yields the 2nd derivative. Also notice that setting negative values for a yields integrals.

For a general function f(x) and 0 < α < 1, the complete fractional derivative is

For arbitrary α, since the gamma function is undefined for arguments whose real part is a negative integer and whose imaginary part is zero, it is necessary to apply the fractional derivative after the integer derivative has been performed. For example,

Laplace transform

We can also come at the question via the Laplace transform. Knowing that

and

etc., we assert

.

For example,

as expected. Indeed, given the convolution rule

and shorthanding p(x) = xα−1 for clarity, we find that

which is what Cauchy gave us above.

Laplace transforms "work" on relatively few functions, but they are often useful for solving fractional differential equations.

Fractional integrals

Riemann–Liouville fractional integral

The classical form of fractional calculus is given by the Riemann–Liouville integral, which is essentially what has been described above. The theory for periodic functions (therefore including the 'boundary condition' of repeating after a period) is the Weyl integral. It is defined on Fourier series, and requires the constant Fourier coefficient to vanish (thus, it applies to functions on the unit circle whose integrals evaluate to 0). The Riemann-Liouville integral exists in two forms, upper and lower. Considering the interval [a,b], the integrals are defined as

Where the former is valid for t>a and the latter is valid for t<b [7].

By contrast the Grünwald–Letnikov derivative starts with the derivative instead of the integral.

Hadamard fractional integral

The Hadamard fractional integral is introduced by J. Hadamard [8] and is given by the following formula,

.

Atangana–Baleanu fractional integral

Recently, using the generalized Mittag-Leffler function, Atangana and Baleanu suggested a new formulation of the fractional derivative with a nonlocal and nonsingular kernel. The integral is defined as:

where is a normalization function such that .[9][10]

Fractional derivatives

Not like classical Newtonian derivatives, a fractional derivative is defined via a fractional integral.

Riemann–Liouville fractional derivative

The corresponding derivative is calculated using Lagrange's rule for differential operators. Computing n-th order derivative over the integral of order (nα), the α order derivative is obtained. It is important to remark that n is the nearest integer greater than α ( that is, ). Similar to the definitions for the Riemann-Liouville integral, the derivative has upper and lower variants.[11].

Caputo fractional derivative

There is another option for computing fractional derivatives; the Caputo fractional derivative. It was introduced by M. Caputo in his 1967 paper.[12] In contrast to the Riemann Liouville fractional derivative, when solving differential equations using Caputo's definition, it is not necessary to define the fractional order initial conditions. Caputo's definition is illustrated as follows.

Atangana–Baleanu derivative

Like the integral, there is also a fractional derivative using the general Mittag-Leffler function as a kernel.[13] The authors introduced two versions, the Atangana–Baleanu in Caputo sense (ABC) derivative, which is the convolution of a local derivative of a given function with the generalized Mittag-Leffler function, and the Atangana–Baleanu in Riemann–Liouville sense (ABR) derivative, which is the derivative of a convolution of a given function that is not differentiable with the generalized Mittag-Leffler function.[14] The Atangana-Baleanu fractional derivative in Caputo sense is defined as:

And the Atangana–Baleanu fractional derivative in Riemann–Liouville is defined as:

These fractional derivatives are useful in applied mathematics to model complex systems due to the following properties:

[15][16][17][18]

Riesz derivative

Other types

Classical fractional derivatives include:

  • Grünwald–Letnikov derivative
  • Sonin–Letnikov derivative
  • Liouville derivative
  • Caputo derivative
  • Hadamard derivative
  • Marchaud derivative
  • Riesz derivative
  • Riesz–Miller derivative
  • Miller–Ross derivative
  • Weyl derivative
  • Erdélyi–Kober derivative

New fractional derivatives include:

  • Machado derivative (This derivative does not exist anywhere in the literature)
  • Chen–Machado derivative
  • Coimbra derivative
  • Katugampola derivative
  • Caputo–Katugampola derivative
  • Hilfer derivative
  • Hilfer-Katugampola derivative
  • Davidson derivative
  • Chen derivative
  • Atangana–Baleanu derivative
  • Pichaghchi derivative

Generalizations

Erdélyi–Kober operator

The Erdélyi–Kober operator is an integral operator introduced by Arthur Erdélyi (1940).[19] and Hermann Kober (1940)[20] and is given by

which generalizes the Riemann–Liouville fractional integral and the Weyl integral.

Katugampola operators

A recent generalization introduced by Udita Katugampola is the following, which generalizes the Riemann–Liouville fractional integral and the Hadamard fractional integral. The integral is now known as the Katugampola fractional integral and is given by,[2][21]

Even though the integral operator in question is a close resemblance of the famous Erdélyi–Kober operator, it is not possible to obtain the Hadamard fractional integral as a direct consequence of the Erdélyi–Kober operator. Also, there is a Katugampola-type fractional derivative, which generalizes the Riemann–Liouville and the Hadamard fractional derivatives.[2] As with the case of fractional integrals, the same is not true for the Erdélyi–Kober operator.[2]

Functional calculus

In the context of functional analysis, functions f(D) more general than powers are studied in the functional calculus of spectral theory. The theory of pseudo-differential operators also allows one to consider powers of D. The operators arising are examples of singular integral operators; and the generalisation of the classical theory to higher dimensions is called the theory of Riesz potentials. So there are a number of contemporary theories available, within which fractional calculus can be discussed. See also Erdélyi–Kober operator, important in special function theory (Kober 1940), (Erdélyi 1950–51).

Applications

Fractional conservation of mass

As described by Wheatcraft and Meerschaert (2008),[22] a fractional conservation of mass equation is needed to model fluid flow when the control volume is not large enough compared to the scale of heterogeneity and when the flux within the control volume is non-linear. In the referenced paper, the fractional conservation of mass equation for fluid flow is:

Groundwater flow problem

In 2013–2014 Atangana et al. described some groundwater flow problems using the concept of derivative with fractional order.[23][24] In these works, The classical Darcy law is generalized by regarding the water flow as a function of a non-integer order derivative of the piezometric head. This generalized law and the law of conservation of mass are then used to derive a new equation for groundwater flow.

Fractional advection dispersion equation

This equation[clarification needed] has been shown useful for modeling contaminant flow in heterogenous porous media.[25][26][27]

Atangana and Kilicman extended the fractional advection dispersion equation to a variable order equation. In their work, the hydrodynamic dispersion equation was generalized using the concept of a variational order derivative. The modified equation was numerically solved via the Crank–Nicolson method. The stability and convergence in numerical simulations showed that the modified equation is more reliable in predicting the movement of pollution in deformable aquifers than equations with constant fractional and integer derivatives[28]

Time-space fractional diffusion equation models

Anomalous diffusion processes in complex media can be well characterized by using fractional-order diffusion equation models.[29][30] The time derivative term is corresponding to long-time heavy tail decay and the spatial derivative for diffusion nonlocality. The time-space fractional diffusion governing equation can be written as

A simple extension of fractional derivative is the variable-order fractional derivative, the α, β are changed into α(x, t), β(x, t). Its applications in anomalous diffusion modeling can be found in reference.[28][31][32]

Structural damping models

Fractional derivatives are used to model viscoelastic damping in certain types of materials like polymers.[33]

PID controllers

Generalizing PID controllers to use fractional orders can increase their degree of freedom. The new equation relating the control variable in terms of a measured error value can be written as

where and are positive fractional orders and , , and , all non-negative, denote the coefficients for the proportional, integral, and derivative terms, respectively (sometimes denoted P, I, and D).[34]

Acoustical wave equations for complex media

The propagation of acoustical waves in complex media, e.g. biological tissue, commonly implies attenuation obeying a frequency power-law. This kind of phenomenon may be described using a causal wave equation which incorporates fractional time derivatives:

See also [35] and the references therein. Such models are linked to the commonly recognized hypothesis that multiple relaxation phenomena give rise to the attenuation measured in complex media. This link is further described in [36] and in the survey paper,[37] as well as the acoustic attenuation article. See [38] for a recent paper which compares fractional wave equations which model power-law attenuation.

Fractional Schrödinger equation in quantum theory

The fractional Schrödinger equation, a fundamental equation of fractional quantum mechanics, has the following form:[39] [40]

where the solution of the equation is the wavefunction ψ(r, t) – the quantum mechanical probability amplitude for the particle to have a given position vector r at any given time t, and ħ is the reduced Planck constant. The potential energy function V(r, t) depends on the system.

Further, Δ = 2/r2 is the Laplace operator, and Dα is a scale constant with physical dimension [Dα] = J1 − α·mα·sα = Kg1 − α·m2−α·sα−2, (at α = 2, D2 = 1/2m for a particle of mass m), and the operator (−ħ2Δ)α/2 is the 3-dimensional fractional quantum Riesz derivative defined by

The index α in the fractional Schrödinger equation is the Lévy index, 1 < α ≤ 2.

Variable-order fractional Schrödinger equation

As a natural generalization of the fractional Schrödinger equation, the variable-order fractional Schrödinger equation has been exploited to study fractional quantum phenomena [41]

where Δ = 2/r2 is the Laplace operator and the operator (−ħ2Δ)β (t)/2 is the variable-order fractional quantum Riesz derivative.

See also

Other fractional theories

Notes

  1. ^ The symbol J is commonly is used instead of the intuitive I in order to avoid confusion with other concepts identified by similar I–like glyphs, e.g. identities.
  2. ^ a b c d Katugampola, U.N., "A New Approach To Generalized Fractional Derivatives", Bull. Math. Anal. App. Vol 6, Issue 4, 15 October 2014, pages 1–15
  3. ^ For the history of the subject, see the thesis (in French): Stéphane Dugowson, Les différentielles métaphysiques (histoire et philosophie de la généralisation de l'ordre de dérivation), Thèse, Université Paris Nord (1994)
  4. ^ "Fractional Calculus". www.mathpages.com. Retrieved 2018-01-03.
  5. ^ See Kilbas, A. A.; Srivastava, H. M.; Trujillo, J. J. (2006). Theory and Applications of Fractional Differential Equations. Elsevier. pp. 75 (Property 2.4).
  6. ^ Bologna, Mauro, Short Introduction to Fractional Calculus (PDF), Universidad de Tarapaca, Arica, Chile
  7. ^ Hermann, Richard (2014). Fractional Calculus: An Introduction for Physicists. New Jersey: World Scientific Publishing Co. p. 46. ISBN 978-981-4551-07-6.
  8. ^ Hadamard, J., Essai sur l'étude des fonctions données par leur développement de Taylor, Journal of pure and applied mathematics, vol. 4, no. 8, pp. 101–186, 1892.
  9. ^ Badr Saad T. Alkahtani, " Chua's circuit model with Atangana–Baleanu derivative with fractional order Chaos, Solitons & Fractals", Volume 89, August 2016, Pages 547–551
  10. ^ Obaid Jefain Julaighim Algahtani. Comparing the Atangana–Baleanu and Caputo–Fabrizio derivative with fractional order: Allen Cahn modelChaos, Solitons & Fractals, Volume 89, August 2016, Pages 552–559.
  11. ^ Hermann, Richard (2014). Fractional Calculus: An Introduction for Physicists. New Jersey: World Scientific Publishing Co. p. 54. ISBN 978-981-4551-07-6.
  12. ^ Caputo, Michele (1967). "Linear model of dissipation whose Q is almost frequency independent-II". Geophysical Journal International. 13 (5): 529–539. Bibcode:1967GeoJ...13..529C. doi:10.1111/j.1365-246x.1967.tb02303.x – via Oxford University Press. {{cite journal}}: Unknown parameter |subscription= ignored (|url-access= suggested) (help).
  13. ^ Atangana A., Dumitru B. "New fractional derivatives with non-local and non-singular kernel: Theory and application to heat transfer model, Thermal Science, Year 2016, Vol. 20, No. 2, pp. 763–769". {{cite journal}}: Cite journal requires |journal= (help)
  14. ^ Atangana A., Koca I. (2016). "Chaos in a simple nonlinear system with Atangana–Baleanu derivatives with fractional order, Chaos, Solitons & Fractals, Volume 89, August 2016, Pages 447–454". Chaos, Solitons & Fractals. 89: 447–454. doi:10.1016/j.chaos.2016.02.012.
  15. ^ Ervin Lenzi K., Tateishi Angel A., Haroldo Ribeiro V. (2017). "The Role of Fractional Time-Derivative Operators on Anomalous Diffusion". Frontiers in Physics. 5: 1–9. arXiv:1706.03434. Bibcode:2017FrP.....5...52T. doi:10.3389/fphy.2017.00052.{{cite journal}}: CS1 maint: multiple names: authors list (link) CS1 maint: unflagged free DOI (link)
  16. ^ Abdon, Atangana (2018). "Non validity of index law in fractional calculus: A fractional differential operator with Markovian and non-Markovian properties". Physica A: Statistical Mechanics and its Applications. 505: 688–706. Bibcode:2018PhyA..505..688A. doi:10.1016/j.physa.2018.03.056.
  17. ^ Atangana A., J.F.Gomez Aguila. (2018). "Decolonisation of fractional calculus rules: Breaking commutativity and associativity to capture more natural phenomena". The European Physical Journal Plus. 133: 166. Bibcode:2018EPJP..133..166A. doi:10.1140/epjp/i2018-12021-3.
  18. ^ Atangana, Abdon (2018). "Blind in a commutative world: Simple illustrations with functions and chaotic attractors". Chaos, Solitons & Fractals An interdisciplinary journal of nonlinear science. 114: 347–363, (2018). doi:10.1016/j.chaos.2018.07.022. {{cite journal}}: line feed character in |journal= at position 27 (help)
  19. ^ Erdélyi, Arthur (1950–51). "On some functional transformations". Rendiconti del Seminario Matematico dell'Università e del Politecnico di Torino. 10: 217–234. MR 0047818. {{cite journal}}: Invalid |ref=harv (help)
  20. ^ Kober, Hermann (1940). "On fractional integrals and derivatives". The Quarterly Journal of Mathematics (Oxford Series). 11 (1): 193–211. Bibcode:1940QJMat..11..193K. doi:10.1093/qmath/os-11.1.193. {{cite journal}}: Invalid |ref=harv (help)
  21. ^ Katugampola, Udita N. (2011). "New approach to a generalized fractional integral". Applied Mathematics and Computation. 218: 860–865. arXiv:1010.0742. doi:10.1016/j.amc.2011.03.062.
  22. ^ Wheatcraft, S., Meerschaert, M., (2008). "Fractional Conservation of Mass." Advances in Water Resources 31, 1377–1381.
  23. ^ Atangana, Abdon; Bildik, Necdet (2013). "The Use of Fractional Order Derivative to Predict the Groundwater Flow". Mathematical Problems in Engineering. 2013: 1–9. doi:10.1155/2013/543026.{{cite journal}}: CS1 maint: unflagged free DOI (link)
  24. ^ Atangana, Abdon; Vermeulen, P. D. (2014). "Analytical Solutions of a Space-Time Fractional Derivative of Groundwater Flow Equation". Abstract and Applied Analysis. 2014: 1–11. doi:10.1155/2014/381753.{{cite journal}}: CS1 maint: unflagged free DOI (link)
  25. ^ Benson, D.; Wheatcraft, S.; Meerschaert, M. (2000). "Application of a fractional advection-dispersion equation". Water Resources Res. 36: 1403–1412. Bibcode:2000WRR....36.1403B. doi:10.1029/2000wr900031.
  26. ^ Benson, D.; Wheatcraft, S.; Meerschaert, M. (2000). "The fractional-order governing equation of Lévy motion". Water Resources Res. 36: 1413–1423. Bibcode:2000WRR....36.1413B. doi:10.1029/2000wr900032.
  27. ^ Benson, D., Schumer, R., Wheatcraft, S., Meerschaert, M., (2001). "Fractional dispersion, Lévy motion, and the MADE tracer tests." Transport Porous Media 42, 211–240.
  28. ^ a b Atangana, Abdon; Kilicman, Adem (2014). "On the Generalized Mass Transport Equation to the Concept of Variable Fractional Derivative". Mathematical Problems in Engineering. 2014: 9. doi:10.1155/2014/542809.{{cite journal}}: CS1 maint: unflagged free DOI (link)
  29. ^ Metzler, R.; Klafter, J. (2000). "The random walk's guide to anomalous diffusion: a fractional dynamics approach". Phys. Rep. 339: 1–77. Bibcode:2000PhR...339....1M. doi:10.1016/s0370-1573(00)00070-3.
  30. ^ Mainardi, F.; Luchko, Y.; Pagnini, G. (2001). "The fundamental solution of the space-time fractional diffusion equation". Fractional Calculus and Applied Analysis. 4 (2): 153–192. arXiv:cond-mat/0702419. Bibcode:2007cond.mat..2419M.
  31. ^ R. Gorenflo, F. Mainardi, "Fractional Diffusion Processes: Probability Distributions and Continuous Time Random Walk", Springer Lecture Notes in Physics, No 621, Berlin 2003, pp. 148–166 arXiv:0709.3990
  32. ^ M. J. Colbrook, X. Ma P. F. Hopkins J. Squire, "Scaling laws of passive-scalar diffusion in the interstellar medium", MNRAS, No 2, 2017, pp. 2421--2429 [1]
  33. ^ Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models. by F. Mainardi, Imperial College Press, 2010.
  34. ^ Tenreiro Machado JA, et al. (2009). "Some Applications of Fractional Calculus in Engineering". Mathematical Problems in Engineering. 2010: 1–34. doi:10.1155/2010/639801.{{cite journal}}: CS1 maint: unflagged free DOI (link)
  35. ^ Holm, S.; Näsholm, S. P. (2011). "A causal and fractional all-frequency wave equation for lossy media". Journal of the Acoustical Society of America. 130 (4): 2195–2201. Bibcode:2011ASAJ..130.2195H. doi:10.1121/1.3631626.
  36. ^ Näsholm, S. P.; Holm, S. (2011). "Linking multiple relaxation, power-law attenuation, and fractional wave equations". Journal of the Acoustical Society of America. 130 (5): 3038–3045. Bibcode:2011ASAJ..130.3038N. doi:10.1121/1.3641457.
  37. ^ S. P. Näsholm and S. Holm, "On a Fractional Zener Elastic Wave Equation," Fract. Calc. Appl. Anal. Vol. 16, No 1 (2013), pp. 26–50, DOI: 10.2478/s13540-013--0003-1 Link to e-print
  38. ^ Holm S., Näsholm, S. P., "Comparison of Fractional Wave Equations for Power Law Attenuation in Ultrasound and Elastography," Ultrasound Med. Biol., 40(4), pp. 695–703, DOI: 10.1016/j.ultrasmedbio.2013.09.033 [2]
  39. ^ N. Laskin, (2002), Fractional Schrödinger equation, Physical Review E66, 056108 7 pages. (also available online: https://arxiv.org/abs/quant-ph/0206098)
  40. ^ N. Laskin, (2018), Fractional Quantum Mechanics, World Scientific
  41. ^ Bhrawy, A.H.; Zaky, M.A. (2017). "An improved collocation method for multi-dimensional space–time variable-order fractional Schrödinger equations". Applied Numerical Mathematics. 111: 197–218. doi:10.1016/j.apnum.2016.09.009.

References

Articles regarding the history of fractional calculus

  • Ross, B. (1975). "A brief history and exposition of the fundamental theory of fractional calculus". Fractional Calculus and Its Applications. Lecture Notes in Mathematics. 457: 1–36.
  • Debnath, L. (2004). "A brief historical introduction to fractional calculus". International Journal of Mathematical Education in Science and Technology. 35 (4): 487–501. doi:10.1080/00207390410001686571.
  • Tenreiro Machado, J.; Kiryakova, V.; Mainardi, F. (2011). "Recent history of fractional calculus". Communications in Nonlinear Science and Numerical Simulation. 16 (3): 1140–1153. Bibcode:2011CNSNS..16.1140M. doi:10.1016/j.cnsns.2010.05.027.
  • Tenreiro Machado, J.A.; Galhano, A.M.; Trujillo, J.J. (2013). "Science metrics on fractional calculus development since 1966". Fractional Calculus and Applied Analysis. 16 (2): 479–500. doi:10.2478/s13540-013-0030-y.
  • Tenreiro Machado, J.A.; Galhano, A.M.S.F.; Trujillo, J.J. (2014). "On development of fractional calculus during the last fifty years". Scientometrics. 98 (1): 577–582. doi:10.1007/s11192-013-1032-6.

Review articles

Books