Académique Documents
Professionnel Documents
Culture Documents
MULTI-INDEX MITTAG-LEFFLER
FUNCTIONS, GENERALIZED FRACTIONAL
CALCULUS AND LAPLACE TYPE
TRANSFORM
,1
Virginia Kiryakova
Institute of Mathematics and Informatics, Bulgarian
Academy of Sciences, Acad. G. Bontchev Str., Block 8,
Sofia 1113, Bulgaria
Abstract: Recently, the interest in the Mittag-Leffler (M-L) functions has increased
in view of their important role and applications in fractional calculus and
fractional order differential and integral equations (FODIEs). We have introduced
m
and studied analogues of these functions, E(1/ 1 ,...,1/m ),(1 ,...,m )
(z), m 2,
depending on two sets of multi-indices. They generate operators of the generalized
fractional calculus (Kiryakova, 1994: Generalized Fractional Calculus and Appli-
cations, Longman and J. Wiley), and Laplace-type integral transforms involving
the Fox H-function. These new special functions are fractional indices analogues
of Delerues hyper-Bessel functions and the respective differential and integral
equations are fractional (multi-)order analogues of the Bessel type equations
arising often in problems of mathematical physics and engineering.
X X
zk zk
1. MULTI-INDEX MITTAG-LEFFLER E (z) = , E, (z) =
FUNCTIONS (k+1) (k+)
k=0 k=0
(1)
As mentioned in the survey (Gorenflo and Mainardi, wit are natural extensions of the exponential and
1997), even the classical Mittag-Leffler (M-L) trigonometric functions:
X
functions, for a long time, have been almost to- zk
y1 (z) = E1 (z) = exp(z) = ,
tally ignored in the common handbooks on special (k + 1)
k=0
functions and existing tables of Laplace trans-
forms, although a description of their properties X (1)k z 2k
y2 (z) = E2 (z 2 ) = cos z = ,
has appeared yet in the third volume of the Bate- (2k + 1)
k=0
man Project (Erdelyi, et al., 1953), in a chap-
ter devoted to miscellaneous functions. Their satisfying the (integer order) differential equations
widely used definitions by means of power series, D1 y1 (z) = y1 (z), D2 y2 (z) = 2 y2 (z).
(Erdelyi, et al., 1953; Humbert and Agarwal, 1953; However, the M-L functions (1) with a fractional
Dzrbashjan, 1966), > 0, > 0: index , serve as solutions of fractional order
differential equations (FODE), like: D y(z) =
y(z) with y(z) = z 1 E, (z ), > 0, where
1 Partially supported by Bulgarian Ministry of Education D stands for the Riemann-Liouville fractional
and Science, NSF - Grant MM 1305 derivative.
These functions are also simple examples of entire well as Foxs H-functions (see (Prudnikov, et al.,
functions of given order = 1/ and type = 1990; Kiryakova, 1994) of the form :
1 and represent an important class of special (1, 1)
functions that are H-functions, not reducible (for E( 1 ),(i ) (z) = 1 m 1 z
i (i , )m 1
irrational ) to the simpler and more popular i
Meijer G-functions; see (Prudnikov, et al., 1990;
(0, 1)
Kiryakova, 1994). Namely,
1,1 z .
= H1,m+1 (0, 1), (1 i , 1 )m (4)
(0, 1) i 1
1,1
E, (z) = H1,2 z
(0, 1), (1 , )
Z Then, the Mellin-Barnes type integral representa-
1 (s)(1 s) tion holds, z 6= 0:
= (z)s ds. (2)
2i ( s) Z
L 1 (s)(1 s)
E( 1 ),(i ) (z) = Q
m (z)s ds .
Recently the M-L functions have been widely rec- i 2i s
L (i i )
ognized as solutions of FODIEs arising in many i=1
problems of physics, mechanics, control theory
etc. and as inverse Laplace transforms of ra-
We can briefly mention some interesting special
tional (fractional-order) transfer functions, see
cases of our multi-index Mittag-Leffler functions.
for example, the books: (Samko, et al., 1993;
Podlubny, 1999), and all the publications in A special function, generalizing classical M-L
FCAA Journal, Vol. 1-Vol. 9 (FCAA, 1998- functions (1) with respect to the number of in-
2006): http://www.math.bas.bg/fcaa/. Several dices, was considered first by (Dzrbashjan, 1960)
generalizations of (1) have been also recently stud- in the case m = 2, see also (Kiryakova, 1994),
ied, for example in: (Gorenflo, et al., 1998; Kilbas, App., p. 351. He denoted it as 1 ,2 (z; 1 , 2 )
et al., 2004; Kilbas and Saigo, 1996; Saigo and = E( 1 , 1 ),(1 ,2 ) (z) and stressed out on its par-
1 2
Kilbas, 1998); for others, see (Kiryakova, 1994), ticular cases: the M-L function (1); 1/1 z =
App., p.351. E(0,0),(1,1) (z) = , (z; 1, 1); Bessel function
We propose the following extension of the M-L J (z) = (z/2) E(1,1),(+1,1) (z 2/4). In addition,
functions, with respect to number of indices, sat- we observed that the Bessel-Maitland (Wrights
isfying properties close to these in classical case. functions) Jr (z) = E(r,1),(+1,1) (z) as well as the
Struve s, (z) and Lommel functions H (z) =
Definition 1. (Kiryakova, 1994; Al-Musallam, et const.s, (z), follow from Dzrbashjans function.
al., 2002) Let m > 1 be an integer, 1 , . . . , m > 0
and 1 , . . . , m be arbitrary real numbers. By For arbitrary m > 2: let i = (1/i = 0) and
means of these multi-indices, we introduce the i = 1, i = 1, . . . , m. From definition (3),
X
multi-index Mittag-Leffler functions: 1
X E(0,0,...,0),(1,1,...,1) (z) = zk = .
1z
E( 1 ),(i ) (z) = k z k k=0
i
k=0 Consider the case m 2 with i = 1, i =
X zk 1, . . . , m. Then
= . (3) (1, 1)
(1 + k/1 ) . . . (m + k/m ) E(1,1,...,1),(i +1) (z) = 1 m
k=0 (i , 1)m 1
z
"m #1
Lemma 1. These are entire functions of order Y
and type , where: = (i ) 1 Fm (1; 1 , 2 , . . . , m ; z) ,
/1 /m i=1
1 1 1 1 m
= +. . .+ , = ... . reduces to 1 Fm - and to Meijers G1,1
1 m 1,m+1 -function.
Denote i = i+1, i = 1, . . . , m and let additionally
Setting = 1 + . . . + m , we have also the one of i be 1, e.g.: m = 1, i.e. m = 0. Then this
following asymptotic formula, as |z| : multi-index M-L function becomes a hyper-Bessel
|E( 1 ),(i ) (z)| C|z|((1/2)+(m/2)) exp (|z| ) . function, in a sense of P. Delerue; see (Kiryakova,
i
1994), App., (D.3)):
P
m1