Some properties of the Mittag-Leffler functions and their relation with the Wright functions

Abstract

This paper is a short description of our recent results on an important class of the so-called Mittag-Leffler functions, which became important as solutions of fractional order differential and integral equations, control systems and refined mathematical models of various physical, chemical, economical, management and bioengineering phenomena. We have studied the Mittag-Leffler functions as their typical representatives, including many interesting special cases that have already proven their usefulness in fractional calculus and its applications. We obtained a number of useful relationships between the Mittag-Leffler functions and the Wright functions. The Wright function plays an important role in the solution of a linear partial differential equation. The Wright function, which we denote by W(z;\alpha ,\beta ), is so named in honor of Wright who introduced and investigated this function in a series of notes starting from 1933 in the framework of the asymptotic theory of partitions.

MSC:33E12.

1 Introduction

1.1 The Mittag-Leffler function

The Mittag-Leffler function is an important function that finds widespread use in the world of fractional calculus. Just as the exponential naturally arises out of the solution to integer order differential equations, the Mittag-Leffler function plays an analogous role in the solution of non-integer order differential equations. In fact, the exponential function itself is a very special form, one of an infinite set of these seemingly ubiquitous functions. The standard definition of Mittag-Leffler [1] is given as follows:

E_{\alpha }(z)=\sum _{k=0}^{\mathrm{\infty }}\frac{z^k}{\mathrm{\Gamma }(\alpha k+1)},\alpha \in C,R(\alpha )>0,z\in C.

(1)

A two-parameter function of the M-L (Mittag-Leffler) type is defined by the series expansion [2]

E_{\alpha ,\beta }(z)=\sum _{k=0}^{\mathrm{\infty }}\frac{z^k}{\mathrm{\Gamma }(\alpha k+\beta )}(\alpha ,\beta \in C,R(\alpha )>0,R(\beta )>0,z\in C).

(2)

The M-L function provides a simple generalization of the exponential function because of the substitution of n!=\mathrm{\Gamma }(n+1)n! with (n\alpha )!=\mathrm{\Gamma }(n\alpha +1). Particular cases of (2) recover elementary functions are recovered

E_{1,2}=\frac{e^z-1}{z},E_{2,2}\left(z^2\right)=\frac{sinh(z)}{z},

and

E_{1/2,1}=e^{z^2}erfc(-z),

where erf (erfc) denotes the (complementary) error function defined as [3]

erfc(z)=\frac{2}{\sqrt{\pi }}{\int }_z^{\mathrm{\infty }}{e}^{-t^2}dt.

By means of the series representation, a generalization of (1) and (2) is introduced by Prabhakar [4] as

E_{\alpha ,\beta }^{\gamma }(z)=\sum _{k=0}^{\mathrm{\infty }}\frac{{(\gamma )}_n}{\mathrm{\Gamma }(\alpha k+\beta )}.\frac{z^k}{k!}(\alpha ,\beta ,\gamma \in C,R(\alpha )>0,R(\beta ),R(\gamma )>0,z\in C),

(3)

where {(\gamma )}_n is the Pochhammer symbol [5] given by

{(\lambda )}_n=\frac{\mathrm{\Gamma }(\lambda +n)}{\mathrm{\Gamma }(\lambda )}=\{\begin{array}{cc}1\hfill & (n=0;\lambda \ne 0),\hfill \\ {(\gamma )}_n=\gamma (\gamma +1)(\gamma +2)\cdots (\gamma +n-1)\hfill & (n\in N;\lambda \in C).\hfill \end{array}

Note that

E_{1,1}^1(z)=e^z,E_{\alpha ,1}^1(z)=E_{\alpha }(z),E_{\alpha ,\beta }^1(z)=E_{\alpha ,\beta }(z).

Some new properties of the Mittag-Leffler function, including a definite integral and recurrence relation, were investigated in [6, 7].

1.2 The Wright function

The Wright function plays an important role in the solution of a linear partial differential equation. The Wright function, which we denote by W(z;\alpha ,\beta ), is so named in honor of Wright, who introduced and investigated this function in a series of notes starting from 1933 in the framework of the asymptotic theory of partitions. This function was introduced that related Mittag-Leffler [8–11]. We obtained a number of useful relationships between the Mittag-Leffler functions and the Wright functions.

1.2.1 Definition

The Wright function is defined by the series representation, convergent in the whole z-complex plane [12]

W(z;\alpha ,\beta )=\sum _{k=0}^{\mathrm{\infty }}\frac{z^k}{k!\mathrm{\Gamma }(\alpha k+\beta )}.

1.2.2 The integral representation of the Wright function

W(z;\alpha ,\beta )=\frac{1}{2\pi i}{\int }_{Ha}exp\{u+z{u}^{-\alpha }\}{u}^{-\beta }du,

where Ha denotes the Hankel path. To prove the Hankel path, let us write the integrated function in the form of a power series in z and perform term-by-term integration using the integral representation formula for the reciprocal gamma function

\frac{1}{\mathrm{\Gamma }(z)}={\int }_{Ha}{e}^{\zeta }{\zeta }^{z}d\zeta .

In fact,

\begin{array}{rcl}W(z;\alpha ,\beta )& =& \frac{1}{2\pi i}{\int }_{Ha}exp\{u+z{u}^{-\alpha }\}{u}^{-\beta }du=\frac{1}{2\pi i}{\int }_{Ha}{e}^u\left[\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{n!}{u}^{-\alpha n}\right]u^{-\beta }du\\ =& \sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{n!}\left[\frac{1}{2\pi i}{\int }_{Ha}{e}^u{u}^{-\alpha n-\beta }du\right]=\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{n!\mathrm{\Gamma }(\alpha n+\beta )}.\end{array}

1.2.3 The Laplace transform of the Wright function

We recall that the Mittag-Leffler function plays fundamental roles in applications of fractional calculus like fractional relaxation and fractional oscillation [13–16]. Kiryakova introduced and studied the multi-index Mittag-Leffler functions as their typical representatives, including many interesting special cases that have already proven their usefulness in FC and its applications [17]. Srivatava and Tomovski introduced and investigated the fractional calculus with an integral operator which contains the following family of generalized Mittag-Leffler functions [18]. Haubold, Mathaian and Saxena studied the Mittag-Leffler functions and their applications [19]. There is an interesting link between the Wright function and the Mittag-Leffler function. We now point out that the Wright function is related to the Mittag-Leffler function through the following Laplace transform pair:

2 Some properties of the Mittag-Leffler functions

Theorem 1 (Derivative of the Mittag-Leffler function)

If \alpha ,\beta ,\gamma \in C, R(\alpha )>0, R(\beta )>0, R(\gamma )>0, z\in C and r,n\in N, then

\frac{d^n}{d{x}^n}[z^{\beta -1}{E}_{\alpha ,\beta +r\alpha }^{\gamma }(z)]=z^{\beta -n-1}{E}_{\alpha ,\beta +r\alpha -n}^{\gamma }(z).

Proof Using definition (3), we have that

\frac{d^n}{d{x}^n}[z^{\beta -1}{E}_{\alpha ,\beta +r\alpha }^{\gamma }(z)]=\sum _{k=0}^{\mathrm{\infty }}\frac{{(\gamma )}_k}{\mathrm{\Gamma }(\alpha (k+r)+\beta -n)}\frac{z^{k+\beta -1-n}}{k!}=z^{\beta -n-1}{E}_{\alpha ,\beta +r\alpha -n}^{\gamma }(z).

The Wright function is expressed with help of the Mittag-Leffler function:

\frac{d^n}{d{x}^n}[z^{\beta -1}{E}_{\alpha ,\beta +r\alpha }^{\gamma }(z)]=\sum _{k=0}^{\mathrm{\infty }}{z}^{\beta -1-n}{(\gamma )}_{k}W(z;\alpha ,\beta +r\alpha -n).

 □

Theorem 2 (Integration of the Mittag-Leffler function)

If \alpha ,\beta ,\gamma \in C, R(\alpha )>0, R(\beta )>0, R(\gamma )>0, z\in C and r\in N, then

{\int }_0^z{z}^{\beta +r\alpha -1}{E}_{\alpha ,\beta +r\alpha }^{\gamma }(z)dz=z^{\beta +r\alpha }{E}_{\alpha ,\beta +r\alpha +1}^{\gamma }(z).

Proof According to the Mittag-Leffler function, we have

z^{\beta +r\alpha -1}{E}_{\alpha ,\beta +r\alpha }^{\gamma }(z)=\sum _{k=0}^{\mathrm{\infty }}\frac{{(\gamma )}_k}{\mathrm{\Gamma }(\alpha (k+r)+\beta )}.\frac{z^{k+r\alpha +\beta -1}}{k!}.

Integrating both sides gives

\begin{array}{rcl}{\int }_0^z{z}^{\beta +r\alpha -1}{E}_{\alpha ,\beta +r\alpha }^{\gamma }(z)dz& =& {\int }_0^z\sum _{k=0}^{\mathrm{\infty }}\frac{{(\gamma )}_k}{\mathrm{\Gamma }(\alpha (k+r)+\beta )}.\frac{z^{k+r\alpha +\beta -1}}{k!}dz\\ =& \sum _{k=0}^{\mathrm{\infty }}\frac{{(\gamma )}_k}{\mathrm{\Gamma }(\alpha (k+r)+\beta +1)}.\frac{z^{k+r\alpha +\beta }}{k!}\\ =& z^{\beta +r\alpha }{E}_{\alpha ,\beta +r\alpha +1}^{\gamma }(z).\end{array}

Relation with the Wright functions is as follows:

\begin{array}{rcl}{\int }_0^z{z}^{\beta +r\alpha -1}{E}_{\alpha ,\beta +r\alpha }^{\gamma }(z)dz& =& {\int }_0^z\sum _{k=0}^{\mathrm{\infty }}\frac{{(\gamma )}_k}{\mathrm{\Gamma }(\alpha (k+r)+\beta )}.\frac{z^{k+r\alpha +\beta -1}}{k!}dz\\ =& \sum _{k=0}^{\mathrm{\infty }}{z}^{\beta +r\alpha }{(\gamma )}_{k}W(z;\alpha ,\beta +r\alpha +1).\end{array}

 □

Theorem 3 Let \alpha ,\beta ,\gamma \in C, R(\alpha )>0, R(\beta )>0, R(\gamma )>0, z\in C, r\in N, then

E_{\alpha ,\beta }^{\gamma }(z)=\beta E_{\alpha ,\beta +1}^{\gamma }(z)+\alpha z\frac{d}{dz}{E}_{\alpha ,\beta +1}^{\gamma }(z).

Proof By definition (3), we have that

\begin{array}{rcl}\beta E_{\alpha ,\beta +1}^{\gamma }(z)+\alpha z\frac{d}{dz}{E}_{\alpha ,\beta +1}^{\gamma }(z)& =& \beta E_{\alpha ,\beta +1}^{\gamma }(z)+\alpha z\frac{d}{dz}\sum _{n=0}^{\mathrm{\infty }}\frac{{(\gamma )}_n}{\mathrm{\Gamma }(\alpha n+\beta +1)}.\frac{z^n}{n!}\\ =& \sum _{n=0}^{\mathrm{\infty }}\frac{\beta {(\gamma )}_n}{\mathrm{\Gamma }(\alpha n+\beta +1)}.\frac{z^n}{n!}+\sum _{n=0}^{\mathrm{\infty }}\frac{\alpha n{(\gamma )}_n}{\mathrm{\Gamma }(\alpha n+\beta +1)}.\frac{z^n}{n!}\\ =& E_{\alpha ,\beta }^{\gamma }(z).\end{array}

Relation with the Wright functions is as follows:

\begin{array}{rcl}\beta E_{\alpha ,\beta +1}^{\gamma }(z)+\alpha z\frac{d}{dz}{E}_{\alpha ,\beta +1}^{\gamma }(z)& =& \beta E_{\alpha ,\beta +1}^{\gamma }(z)+\alpha z\frac{d}{dz}\sum _{n=0}^{\mathrm{\infty }}\frac{{(\gamma )}_n}{\mathrm{\Gamma }(\alpha n+\beta +1)}.\frac{z^n}{n!}\\ =& \sum _{n=0}^{\mathrm{\infty }}\frac{\beta {(\gamma )}_n}{\mathrm{\Gamma }(\alpha n+\beta +1)}.\frac{z^n}{n!}+\sum _{n=0}^{\mathrm{\infty }}\frac{\alpha n{(\gamma )}_n}{\mathrm{\Gamma }(\alpha n+\beta +1)}.\frac{z^n}{n!}\\ =& \sum _{n=0}^{\mathrm{\infty }}{(\gamma )}_{n}W(z;\alpha ,\beta ).\end{array}

 □

Theorem 4 For \alpha ,\beta ,\gamma \in C, R(\alpha )>0, R(\beta )>0, R(\gamma )>0, z\in C, r\in N. ‘Note that’

(4)

Proof We have

(5)

(6)

Equation (6) can be written as follows:

\begin{array}{rcl}{E}_{\alpha ,\beta +r\alpha +2}^{\gamma }(z)& =& \sum _{k=0}^{\mathrm{\infty }}[\frac{1}{\alpha (k+r)+\beta }-\frac{1}{\alpha (k+r)+\beta +1}]\frac{z^k{(\gamma )}_k}{\mathrm{\Gamma }(\alpha (k+r)+\beta )k!}\\ =& E_{\alpha ,\beta +r\alpha +1}^{\gamma }(z)-\sum _{k=0}^{\mathrm{\infty }}\frac{z^k{(\gamma )}_k}{(\alpha (k+r)+\beta +1)\mathrm{\Gamma }(\alpha (k+r)+\beta )k!}.\end{array}

(7)

We find from equation (7) that

\begin{array}{rcl}{E}_{\alpha ,\beta +r\alpha +1}^{\gamma }(z)-E_{\alpha ,\beta +r\alpha +2}^{\gamma }(z)& =& \sum _{k=0}^{\mathrm{\infty }}\frac{z^k{(\gamma )}_k}{(\alpha (k+r)+\beta +1)\mathrm{\Gamma }(\alpha (k+r)+\beta )k!}\\ =& \frac{z^k{(\gamma )}_k}{k!}(\frac{1}{(\alpha (k+r)+\beta +2)(\alpha (k+r)+\beta +1)\mathrm{\Gamma }(\alpha (k+r)+\beta )}\\ +\frac{1}{(\alpha (k+r)+\beta +2)\mathrm{\Gamma }(\alpha (k+r)+\beta )})\end{array}

(8)

or

(9)

We now say each summation on the right-hand side of equation (9) is as follows:

\begin{array}{rcl}\frac{d^2}{d{z}^2}\{z^2{E}_{\alpha ,\beta +r\alpha +3}^{\gamma }(z)\}& =& \sum _{k=0}^{\mathrm{\infty }}\frac{(k+2)(k+1){(\gamma )}_k}{\mathrm{\Gamma }(\alpha (k+r)+\beta +3)}.\frac{z^k}{k!}\\ =& \sum _{k=0}^{\mathrm{\infty }}\frac{k^2{(\gamma )}_k}{\mathrm{\Gamma }(\alpha (k+r)+\beta +3)}.\frac{z^k}{k!}\\ +3\sum _{k=0}^{\mathrm{\infty }}\frac{k{(\gamma )}_k}{\mathrm{\Gamma }(\alpha (k+r)+\beta +3)}.\frac{z^k}{k!}+2E_{\alpha ,\beta +r\alpha +3}^{\gamma }(z)\end{array}

(10)

or

(11)

We find from equation (11) that

\sum _{k=0}^{\mathrm{\infty }}\frac{k^2{(\gamma )}_k}{\mathrm{\Gamma }(\alpha (k+r)+\beta +3)}.\frac{z^k}{k!}=z\frac{d}{dz}{E}_{\alpha ,\beta +r\alpha +3}^{\gamma }(z)+z^2\frac{d^2}{d{z}^2}{E}_{\alpha ,\beta +r\alpha +3}^{\gamma }(z).

(12)

Using equations (9), (11), and (12), we get

\begin{array}{c}{E}_{\alpha ,\beta +r\alpha +1}^{\gamma }(z)-E_{\alpha ,\beta +r\alpha +2}^{\gamma }(z)\hfill \\ =(\beta +r\alpha )(\beta +r\alpha +2)E_{\alpha ,\beta +r\alpha +3}^{\gamma }(z)+{\alpha }^2{z}^2\frac{d^2}{d{z}^2}{E}_{\alpha ,\beta +r\alpha +3}^{\gamma }(z)\hfill \\ +\alpha \{\alpha +2+2(\beta +r\alpha )\}z\frac{d}{dz}{E}_{\alpha ,\beta +r\alpha +3}^{\gamma }(z).\hfill \end{array}

Relation with the Wright functions is as follows:

\begin{array}{c}{E}_{\alpha ,\beta +r\alpha +1}^{\gamma }(z)-E_{\alpha ,\beta +r\alpha +2}^{\gamma }(z)\hfill \\ =\sum _{k=0}^{\mathrm{\infty }}(\beta +r\alpha )(\beta +r\alpha +2){(\gamma )}_{k}W(z;\alpha ,\beta +r\alpha +3)\hfill \\ +\sum _{k=0}^{\mathrm{\infty }}{\alpha }^2{z}^2{(\gamma )}_k\frac{d^2}{d{z}^2}W(z;\alpha ,\beta +r\alpha +3)\hfill \\ +\sum _{k=0}^{\mathrm{\infty }}\alpha \{\alpha +2+2(\beta +r\alpha )\}{(\gamma )}_{k}z\frac{d}{dz}W(z;\alpha ,\beta +r\alpha +3).\hfill \end{array}

 □

Theorem 5 If \alpha ,\beta ,\gamma \in C, R(\alpha )>0, R(\beta )>0, R(\gamma )>0, z\in C, r\in N, then

z^r{E}_{\alpha ,\beta +r\alpha }^{\gamma }(z)=E_{\alpha ,\beta }^{\gamma }(z)-\sum _{k=0}^{r-1}\frac{{(\gamma )}_k}{\mathrm{\Gamma }(k\alpha +\beta )}\frac{z^k}{k!}.

(13)

Proof We have from (13)

\sum _{k=r}^{\mathrm{\infty }}\frac{{(\gamma )}_k}{\mathrm{\Gamma }(k\alpha +\beta )}\frac{z^k}{k!}=E_{\alpha ,\beta }^{\gamma }(z)-\sum _{k=o}^{r-1}\frac{{(\gamma )}_k}{\mathrm{\Gamma }(k\alpha +\beta )}\frac{z^k}{k!}.

For r=2,3,4,\dots , we obtain

\begin{array}{c}{z}^2{E}_{\alpha ,\beta +2\alpha }^{\gamma }(z)=E_{\alpha ,\beta }^{\gamma }(z)-\frac{1}{\mathrm{\Gamma }(\beta )}-\frac{{(\gamma )}_{1}z}{\mathrm{\Gamma }(\alpha +\beta )},\hfill \\ z^3{E}_{\alpha ,\beta +3\alpha }^{\gamma }(z)=E_{\alpha ,\beta }^{\gamma }(z)-\frac{1}{\mathrm{\Gamma }(\beta )}-\frac{{(\gamma )}_{1}z}{\mathrm{\Gamma }(\alpha +\beta )}-\frac{{(\gamma )}_2{z}^2}{\mathrm{\Gamma }(2\alpha +\beta )},\hfill \\ z^4{E}_{\alpha ,\beta +4\alpha }^{\gamma }(z)=E_{\alpha ,\beta }^{\gamma }(z)-\frac{1}{\mathrm{\Gamma }(\beta )}-\frac{{(\gamma )}_{1}z}{\mathrm{\Gamma }(\alpha +\beta )}-\frac{{(\gamma )}_2{z}^2}{\mathrm{\Gamma }(2\alpha +\beta )}-\frac{{(\gamma )}_3{z}^3}{\mathrm{\Gamma }(3\alpha +\beta )},\hfill \\ ⋮\hfill \\ \sum _{k=r}^{\mathrm{\infty }}\frac{{(\gamma )}_k}{\mathrm{\Gamma }(k\alpha +\beta )}\frac{z^k}{k!}=E_{\alpha ,\beta }^{\gamma }(z)-\sum _{k=o}^{r-1}\frac{{(\gamma )}_k}{\mathrm{\Gamma }(k\alpha +\beta )}\frac{z^k}{k!}.\hfill \end{array}

Relation with the Wright functions is as follows:

\sum _{k=r}^{\mathrm{\infty }}\frac{{(\gamma )}_k}{\mathrm{\Gamma }(k\alpha +\beta )}\frac{z^k}{k!}=\sum _{k=0}^{\mathrm{\infty }}{(\gamma )}_{k}W(z;\alpha ,\beta )-\sum _{k=0}^{r-1}{(\gamma )}_{k}W(z;\alpha ,\beta ).

 □