Differintegral

From Wikipedia, the free encyclopedia

In mathematics, the differintegral is the combined differentiation/integration operator used in fractional calculus. The operator does not define a separate function, but is a notation style for taking both the fractional derivative and the fractional integral of the same expression. This operator is here denoted

$\mathbb{D}^q_t.$

See the page on fractional calculus for the general context.

1 Standard definitions
2 Definitions via transforms
3 Basic formal properties
4 Some basic formulae
5 See also
6 References
7 External links

[edit] Standard definitions

The three most common forms are:

The Riemann-Liouville differintegral

This 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.

${}_a\mathbb{D}^q_tf(t)$	$=\frac{d^qf(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$

The Grunwald-Letnikov differintegral

${}_a\mathbb{D}^q_tf(t)$	$=\frac{d^qf(t)}{d(t-a)^q}$
	$=\lim_{N \to \infty}\left[\frac{t-a}{N}\right]^{-q}\sum_{j=0}^{N-1}(-1)^j{q \choose j}f\left(t-j\left[\frac{t-a}{N}\right]\right)$

The Weyl differintegral

This is formally similar to the Riemann-Liouville differintegral, but applies to periodic functions, with integral zero over a period.

[edit] Definitions via transforms

Using the continuous Fourier transform, here denoted F: in Fourier space, differentiation transforms into a multiplication:

$\mathcal{F}\left[\frac{df(t)}{dt}\right] = it\mathcal{F}[f(t)]$

which generalizes to

$\mathbb{D}^qf(t)=\mathcal{F}^{-1}\left\{(it)^q\mathcal{F}[f(t)]\right\}.$

Under the Laplace transform, here denoted by L, differentiation transforms to a multiplication

$\mathcal{L}\left[\frac{df(t)}{dt}\right] = s^{-1}\mathcal{L}[f(t)].$

Generalizing to arbitrary order and solving for D^qf(t), one obtains

$\mathbb{D}^qf(t)=\mathcal{L}^{-1}\left\{s^{-q}\mathcal{L}[f(t)]\right\}.$

[edit] Basic formal properties

Linearity rules

$\mathbb{D}^{q}(x+y)=\mathbb{D}^{q}(x)+\mathbb{D}^{q}(y)$

$\mathbb{D}^{q}(ax)=a\mathbb{D}^{q}(x)$

Composition (or semigroup) rule

$\mathbb{D}^a\mathbb{D}^{b}x = \mathbb{D}^{a+b}x$

Zero rule

$\mathbb{D}^{0}x=x$

Subclass rule

$\mathbb{D}^{a}x=d^{a}x$ for a a natural number

Product rule of differintegration

$\mathbb{D}^q_t(xy)=\sum_{j=0}^{\infty} {q \choose j}\mathbb{D}^j_t(x)\mathbb{D}^{q-j}_t(y)$

[edit] Some basic formulae

$\mathbb{D}^{q}(x^n)=\frac{\Gamma(n+1)}{\Gamma(n+1-q)}x^{n-q}$

$\mathbb{D}^{q}(\sin(x))=\sin \left( x+\frac{q\pi}{2} \right)$

$\mathbb{D}^{q}(e^{ax})=a^{q}e^{ax}$

[edit] See also

Fractional order integrator

[edit] References

"An Introduction to the Fractional Calculus and Fractional Differential Equations", by Kenneth S. Miller, Bertram Ross (Editor), John Wiley & Sons; 1 edition (May 19, 1993). ISBN 0-471-58884-9.

"The Fractional Calculus; Theory and Applications of Differentiation and Integration to Arbitrary Order (Mathematics in Science and Engineering, V)", by Keith B. Oldham, Jerome Spanier, Academic Press; (November 1974). ISBN 0-12-525550-0.

"Fractional Differential Equations. An Introduction to Fractional Derivatives, Fractional Differential Equations, Some Methods of Their Solution and Some of Their Applications", (Mathematics in Science and Engineering, vol. 198), by Igor Podlubny, Academic Press (October 1998). ISBN 0-12-558840-2.

"Fractals and Fractional Calculus in Continuum Mechanics", by A. Carpinteri (Editor), F. Mainardi (Editor), Springer-Verlag Telos; (January 1998). ISBN 3-211-82913-X.

"Physics of Fractal Operators", by Bruce J. West, Mauro Bologna, Paolo Grigolini, Springer Verlag; (January 14, 2003). ISBN 0-387-95554-2

Operator of fractional derivative in the complex plane, by Petr Zavada, Commun.Math.Phys.192, pp. 261-285,1998. doi:10.1007/s002200050299 (available online or as the arXiv preprint)

Relativistic wave equations with fractional derivatives and pseudodifferential operators, by Petr Zavada, Journal of Applied Mathematics, vol. 2, no. 4, pp. 163-197, 2002. doi:10.1155/S1110757X02110102 (available online or as the arXiv preprint)