Misplaced Pages

Differintegral

Article snapshot taken from[REDACTED] with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Fractional integration) "Fractional integration" redirects here. Not to be confused with Autoregressive fractionally integrated moving average.
Part of a series of articles about
Calculus
a b f ( t ) d t = f ( b ) f ( a ) {\displaystyle \int _{a}^{b}f'(t)\,dt=f(b)-f(a)}
Differential
Definitions
Concepts
Rules and identities
Integral
Definitions
Integration by
Series
Convergence tests
Vector
Theorems
Multivariable
Formalisms
Definitions
Advanced
Specialized
Miscellanea

In fractional calculus, an area of mathematical analysis, the differintegral is a combined differentiation/integration operator. Applied to a function ƒ, the q-differintegral of f, here denoted by

D q f {\displaystyle \mathbb {D} ^{q}f}

is the fractional derivative (if q > 0) or fractional integral (if q < 0). If q = 0, then the q-th differintegral of a function is the function itself. In the context of fractional integration and differentiation, there are several definitions of the differintegral.

Standard definitions

The four most common forms are:

  • The Riemann–Liouville differintegralThis is the simplest and easiest to use, and consequently it is the most often used. It is a generalization of the Cauchy formula for repeated integration to arbitrary order. Here, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle n = \lceil q \rceil} . a R L D t q f ( t ) = d q f ( t ) d ( t a ) q = 1 Γ ( n q ) d n d t n a t ( t τ ) n q 1 f ( τ ) d τ {\displaystyle {\begin{aligned}{}_{a}^{RL}\mathbb {D} _{t}^{q}f(t)&={\frac {d^{q}f(t)}{d(t-a)^{q}}}\\&={\frac {1}{\Gamma (n-q)}}{\frac {d^{n}}{dt^{n}}}\int _{a}^{t}(t-\tau )^{n-q-1}f(\tau )d\tau \end{aligned}}}
  • The Grunwald–Letnikov differintegralThe Grunwald–Letnikov differintegral is a direct generalization of the definition of a derivative. It is more difficult to use than the Riemann–Liouville differintegral, but can sometimes be used to solve problems that the Riemann–Liouville cannot. a G L D t q f ( t ) = d q f ( t ) d ( t a ) q = lim N [ t a N ] q j = 0 N 1 ( 1 ) j ( q j ) f ( t j [ t a N ] ) {\displaystyle {\begin{aligned}{}_{a}^{GL}\mathbb {D} _{t}^{q}f(t)&={\frac {d^{q}f(t)}{d(t-a)^{q}}}\\&=\lim _{N\to \infty }\left^{-q}\sum _{j=0}^{N-1}(-1)^{j}{q \choose j}f\left(t-j\left\right)\end{aligned}}}
  • The Weyl differintegral This is formally similar to the Riemann–Liouville differintegral, but applies to periodic functions, with integral zero over a period.
  • The Caputo differintegralIn opposite to the Riemann-Liouville differintegral, Caputo derivative of a constant f ( t ) {\displaystyle f(t)} is equal to zero. Moreover, a form of the Laplace transform allows to simply evaluate the initial conditions by computing finite, integer-order derivatives at point a {\displaystyle a} . a C D t q f ( t ) = d q f ( t ) d ( t a ) q = 1 Γ ( n q ) a t f ( n ) ( τ ) ( t τ ) q n + 1 d τ {\displaystyle {\begin{aligned}{}_{a}^{C}\mathbb {D} _{t}^{q}f(t)&={\frac {d^{q}f(t)}{d(t-a)^{q}}}\\&={\frac {1}{\Gamma (n-q)}}\int _{a}^{t}{\frac {f^{(n)}(\tau )}{(t-\tau )^{q-n+1}}}d\tau \end{aligned}}}

Definitions via transforms

The definitions of fractional derivatives given by Liouville, Fourier, and Grunwald and Letnikov coincide. They can be represented via Laplace, Fourier transforms or via Newton series expansion.

Recall the continuous Fourier transform, here denoted F {\displaystyle {\mathcal {F}}} : F ( ω ) = F { f ( t ) } = 1 2 π f ( t ) e i ω t d t {\displaystyle F(\omega )={\mathcal {F}}\{f(t)\}={\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }f(t)e^{-i\omega t}\,dt}

Using the continuous Fourier transform, in Fourier space, differentiation transforms into a multiplication: F [ d f ( t ) d t ] = i ω F [ f ( t ) ] {\displaystyle {\mathcal {F}}\left=i\omega {\mathcal {F}}}

So, d n f ( t ) d t n = F 1 { ( i ω ) n F [ f ( t ) ] } {\displaystyle {\frac {d^{n}f(t)}{dt^{n}}}={\mathcal {F}}^{-1}\left\{(i\omega )^{n}{\mathcal {F}}\right\}} which generalizes to D q f ( t ) = F 1 { ( i ω ) q F [ f ( t ) ] } . {\displaystyle \mathbb {D} ^{q}f(t)={\mathcal {F}}^{-1}\left\{(i\omega )^{q}{\mathcal {F}}\right\}.}

Under the bilateral Laplace transform, here denoted by Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle \mathcal{L}} and defined as L [ f ( t ) ] = e s t f ( t ) d t {\textstyle {\mathcal {L}}=\int _{-\infty }^{\infty }e^{-st}f(t)\,dt} , differentiation transforms into a multiplication L [ d f ( t ) d t ] = s L [ f ( t ) ] . {\displaystyle {\mathcal {L}}\left=s{\mathcal {L}}.}

Generalizing to arbitrary order and solving for D q f ( t ) {\displaystyle \mathbb {D} ^{q}f(t)} , one obtains D q f ( t ) = L 1 { s q L [ f ( t ) ] } . {\displaystyle \mathbb {D} ^{q}f(t)={\mathcal {L}}^{-1}\left\{s^{q}{\mathcal {L}}\right\}.}

Representation via Newton series is the Newton interpolation over consecutive integer orders:

D q f ( t ) = m = 0 ( q m ) k = 0 m ( m k ) ( 1 ) m k f ( k ) ( x ) . {\displaystyle \mathbb {D} ^{q}f(t)=\sum _{m=0}^{\infty }{\binom {q}{m}}\sum _{k=0}^{m}{\binom {m}{k}}(-1)^{m-k}f^{(k)}(x).}

For fractional derivative definitions described in this section, the following identities hold:

D q ( t n ) = Γ ( n + 1 ) Γ ( n + 1 q ) t n q {\displaystyle \mathbb {D} ^{q}(t^{n})={\frac {\Gamma (n+1)}{\Gamma (n+1-q)}}t^{n-q}}
D q ( sin ( t ) ) = sin ( t + q π 2 ) {\displaystyle \mathbb {D} ^{q}(\sin(t))=\sin \left(t+{\frac {q\pi }{2}}\right)}
D q ( e a t ) = a q e a t {\displaystyle \mathbb {D} ^{q}(e^{at})=a^{q}e^{at}}

Basic formal properties

  • Linearity rules D q ( f + g ) = D q ( f ) + D q ( g ) {\displaystyle \mathbb {D} ^{q}(f+g)=\mathbb {D} ^{q}(f)+\mathbb {D} ^{q}(g)}

D q ( a f ) = a D q ( f ) {\displaystyle \mathbb {D} ^{q}(af)=a\mathbb {D} ^{q}(f)}

  • Zero rule D 0 f = f {\displaystyle \mathbb {D} ^{0}f=f}
  • Product rule D t q ( f g ) = j = 0 ( q j ) D t j ( f ) D t q j ( g ) {\displaystyle \mathbb {D} _{t}^{q}(fg)=\sum _{j=0}^{\infty }{q \choose j}\mathbb {D} _{t}^{j}(f)\mathbb {D} _{t}^{q-j}(g)}

In general, composition (or semigroup) rule is a desirable property, but is hard to achieve mathematically and hence is not always completely satisfied by each proposed operator; this forms part of the decision making process on which one to choose:

  • D a D b f = D a + b f {\textstyle \mathbb {D} ^{a}\mathbb {D} ^{b}f=\mathbb {D} ^{a+b}f} (ideally)
  • D a D b f D a + b f {\textstyle \mathbb {D} ^{a}\mathbb {D} ^{b}f\neq \mathbb {D} ^{a+b}f} (in practice)

See also

References

  1. Herrmann, Richard (2011). Fractional Calculus: An Introduction for Physicists. ISBN 9789814551076.
  2. See Herrmann, Richard (2011). Fractional Calculus: An Introduction for Physicists. p. 16. ISBN 9789814551076.
  3. See Kilbas, A. A.; Srivastava, H. M.; Trujillo, J. J. (2006). "2. Fractional Integrals and Fractional Derivatives §2.1 Property 2.4". Theory and Applications of Fractional Differential Equations. Elsevier. p. 75. ISBN 9780444518323.

External links

Categories:
Differintegral Add topic