Mittag-Leffler function

In mathematics, the Mittag-Leffler function Eα,β is a special function, a complex function which depends on two complex parameters α and β. It may be defined by the following series when the real part of α is strictly positive:

E_{\alpha, \beta} (z) = \sum_{k=0}^\infty \frac{z^k}{\Gamma(\alpha k + \beta)}.

In the case α and β are real and positive, the series converges for all values of the argument z, so the Mittag-Leffler function is an entire function. This function is named after Gösta Mittag-Leffler. This class of functions are important in the theory of the fractional calculus.

For α > 0, the Mittag-Leffler function Eα,1 is an entire function of order 1/α, and is in some sense the simplest entire function of its order.

The Mittag--Leffler function satisfies the recurrence property

E_{\alpha,\beta}(z)=\frac{1}{z}E_{\alpha,\beta-\alpha}(z)-\frac{1}{z \Gamma(\beta-\alpha),}

from which the Poincaré asymptotic expansion

E_{\alpha,\beta}(z)\sim -\sum_{k=1}\frac{1}{z^k \Gamma(\beta-k\alpha)}

follows, which is true for z\to-\infty.

Special cases

For \alpha=0,1/2,1,2 we find

The sum of a geometric progression:

E_{0,1}(z) = \sum_{k=0}^\infty z^k = \frac{1}{1-z}.

Exponential function:

E_{1,1}(z) = \sum_{k=0}^\infty \frac{z^k}{\Gamma (k + 1)} = \sum_{k=0}^\infty \frac{z^k}{k!} = \exp(z).

Error function:

E_{1/2,1}(z) = \exp(z^2)\operatorname{erfc}(-z).

Hyperbolic cosine:

E_{2,1}(z) = \cosh(\sqrt{z}).

For \alpha=0,1,2, the integral

\int_0^z E_{\alpha,1}(-s^2) \, {\mathrm d}s

gives, respectively

\arctan(z),
\tfrac{\sqrt{\pi}}{2}\operatorname{erf}(z),
\sin(z).

Mittag-Leffler's integral representation

E_{\alpha,\beta}(z)=\frac{1}{2\pi i}\int_C \frac{t^{\alpha-\beta}e^t}{t^\alpha-z} \, dt

where the contour C starts and ends at and circles around the singularities and branch points of the integrand.

Related to the Laplace transform and Mittag-Leffler summation is the expression

\int_0^{\infty}e^{-t z} t^{\beta-1} E_{\alpha,\beta}(t^\alpha)dt=\frac{z^{-\beta}}{1-z^{-\alpha}}

and

\int_0^\infty e^{-t z} t^{\beta-1} E_{\alpha,\beta}(-t^\alpha) \, dt = \frac{z^{\alpha-\beta}}{1+z^\alpha}

on the negative axis.

See also

References

External links

This article incorporates material from Mittag-Leffler function on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

This article is issued from Wikipedia - version of the Tuesday, April 12, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.