We study some properties of generalized multivariable Mittag-Leffler function. Also we establish two theorems, which give the images of this function under the generalized fractional integral operators involving Fox’s H-function as kernel. Relating affirmations in terms of Saigo, Erdélyi-Kober, Riemann-Liouville, and Weyl type of fractional integrals are also presented. Some known special cases have also been mentioned in the concluding section.
1. Introduction and Preliminaries
Recently, Gurjar et al. [1] introduced a multivariable generalized Mittag-Leffler (M-L) function; this function and its special cases have recently found various essential applications in solving problems in physics, biology, engineering and applied sciences (see; [2–5]). The function is defined for τ,δj,γj,lj∈C and min1≤j≤sRτ,Rδj;Rγj,Rlj>0,aj,bj>0;aj<bj+Rδj;j=1,2,…,s as(1)Eδj;τ;bjγj;lj;ajz1,…,zs=Eδ1,⋯,δs;τ;b1,⋯,bsγ1,⋯,γs;l1,⋯ls;a1,⋯asz1,…,zs=∑r1,…,rs=0∞γ1a1r1⋯γsasrsΓτ+∑j=1sδjrjz1r1⋯zsrsl1b1r1⋯lsbsrs,where(2)γar=aar∏n=1aγ+n-1ar,a∈N,r∈N0≔N∪0.Some important special cases of the multivariable generalized M-L function are enumerated below:
If lj=bj=1 in (1), the function reduces to multivariate analogue of generalized M-L function which was defined by Saxena et al. [6] as(3)Eδj;τ;1γj;1;ajz1,…,zs=Eδj;τγj;ajz1,…,zs=∑r1,…,rs=0∞γ1a1r1⋯γsasrsΓτ+∑j=1sδjrjz1r1⋯zsrsr1!⋯rs!,where τ,δj,γj∈C and Rδj>0;Raj>0;j=1,2,…,s.
If we set lj=aj=bj=1 in (1), then the function reduces to another type of multivariate generalized M-L function which was also defined by Saxena et al. [6] as(4)Eδj;τ;1γj;1;1z1,…,zs=Eδj,τγjz1,…,zs=∑r1,…,rs=0∞γ1r1⋯γsrsΓτ+∑j=1sδjrjz1r1⋯zsrsr1!⋯rs!,where τ,δj,γj∈C and Rδj>0;j=1,2,…,s.
If we put s=1, equation (1) reduces to generalized M-L function which was defined by Salim and Faraj [7] as(5)Eδ;τ;bγ;l;az=∑r=0∞γarΓτ+δrzrlbr,where τ,δ,γ,l∈C;minRτ,Rδ;Rγ,Rl>0;a,b>0,b≤Rδ+a.
By setting s=1,γ1=1,l1=b1=1, and a1=a in (1) considered by Shukla and Prajapati [8], in addition to that, if a1=1, defined by Prabhakar [9].
If s=1 and γ1=l1=a1=b1=1 in Eq. (1), it reduces to Wiman’s function [10], moreover if τ=1, Mittag-Leffler function [11] will be the result.
In the present paper, our aim is to study some fundamental properties of multivariable generalized M-L function defined in equation (1). For that, we consider two generalized fractional integral operators involving Fox’s H-function as kernel, defined by Kalla [12, 13] and further studied by Srivastava and Buschman [14]. Recently, Garg, Rao and Kalla [15] studied some fractional calculus properties of M-L type function, involving these fractional calculus operators. We use the following notations for the left-sided and right-sided generalized fractional integral operators:(6)R0+ξ1,ξfz=z-ξ1-ξ-1∫0ztξ1z-tξHP,QM,NΛUcj,αj1,pdk,βk1,Qftdt,and(7)R-ξ2,ξfz=zξ2∫z∞t-ξ2-ξ-1t-zξHP,QM,NΛVcj,αj1,pdk,βk1,Qftdt,where U and V represent the expressions t/zm1-t/zn and z/tm1-z/tn respectively, with m,n>0. Here the symbol HP,QM,N. stands for well-known Fox’s H-function, defined by means of the following Mellin-Barnes type integral [16]:(8)HP,QM,Nzcj,αj1,pdk,βk1,Q=12πi∫Lθςzςdς,where(9)θς=∏k=1MΓdk-βkς∏j=1NΓ1-cj+αjς∏k=M+1QΓ1-dk+βkς∏j=N+1PΓcj-αjς,and L is a suitable contour in C. The orders M,N,P,Q are integers, 1≤M≤Q,1≤N≤P and the parameters cj,dk∈R;αj>0,j=1,…,p,βk>0,k=1,…,Q are such that cjdk+l≠βkcj-l′-1,l,l′=0,1,…. For the conditions of analyticity of the H-function and other details, one can see [16, 17]. Throughout the present paper, we assume that these conditions are satisfied by the H-function.
For our purpose, we recall the definition of generalized Wright hypergeometric function pψq(z) (see, for details, Srivastava and Karlsson [18]), for z,ai,bj∈C and αi,βj∈R, with αi,βj≠0(i=1,…,p;j=1,…,q) defined as follows:(10)pψqz=pψqai,αi1,pbj,βj1,qz=∑k=0∞∏i=1pΓai+αikzk∏j=1qΓbj+βjkk!.The generalized Wright function was introduced by Wright [19] in the form of (10) under the condition:(11)∑j=1qβj-∑i=1pαi>-1.
2. Images of the Generalized Multivariable M-L Function under the Generalized Fractional Integral Operators
In this section, we consider two generalized fractional integral operators involving the Fox’s H-function as the kernels and derived the following theorems:
Theorem 1.
Let τ,ε,δj,γj,lj,ωj∈C such that min1≤j≤sRτ,Rδj,Rγj,Rlj>0,aj,bj>0;aj<bj+Rδj;j=1,2,…,s and R0+ξ1,ξ be the generalized left-side fractional integral operator (6), then there hold the result true:(12)R0+ξ1,ξzε-1Eδj;τ;bjγj;lj;ajω1zv1,…,ωszvsz=zε-1Eδj;τ;bjγj;lj;ajω1zv1,…,ωszvs×HP+2,Q+1M,N+2Λ-ξ1-ε-∑i=1sviri,m,-ξ,n,cj,αj1,pdk,βk1,Q,-ξ1-ξ-ε-∑i=1sviri-1,m+n,provided that
minξ,ξ1,ε,v,m,n>0
ξ1+ε+mmin1≤k≤Mdk/βk+1>0
ε+nmin1≤k≤Mdk/βk+1>0
A>0,argΛ<Aπ/2,
where A=∑j=1Nαj-∑j=N+1Pαj+∑k=1Mβk-∑k=M+1Qβk.
Proof.
Using the definition (6) in the left hand side of (12), writing the functions in the form given by (1) and (8), interchanging the order of integration and summations under the statement of Theorem 1, we obtain(13)R0+ξ1,ξzε-1Eδj;τ;bjγj;lj;ajω1zv1,…,ωszvsz=z-ξ1-ξ-1∑r1,…,rs=0∞γ1a1r1⋯γsasrsΓτ+∑j=1sδjrjω1r1⋯ωsrsl1b1r1⋯lsbsrs12πi∫LθςΛς×∫0ztξ1+ε+v1r1+⋯+vsrs-1z-tξtzmς1-tznςdtdς,To evaluate the t-integral substituting t/z=x,dt=zdx, we obtain(14)R0+ξ1,ξzε-1Eδj;τ;bjγj;lj;ajω1zv1,…,ωszvsz=zε-1∑r1,…,rs=0∞γ1a1r1⋯γsasrsΓτ+∑j=1sδjrjω1r1⋯ωsrsl1b1r1⋯lmbsrs12πi∫LθςΛς×zv1r1+⋯+vsrs∫01xξ1+ε+v1r1+⋯+vsrs+mς-11-xξ+nςdxdς,Finally on evaluating the x integral as beta integral and re-interpreting the result in terms of H-Function and generalized multivariable M-L function, we easily arrive at the result (12).
Theorem 2.
Assume τ,ε,δj,γj,lj,ωj∈C such that min1≤j≤sRτ,Rδj,Rγj,Rlj>0,aj,bj>0;aj<bj+Rδj;j=1,2,…,s and R-ξ2,ξ be the generalized right-side fractional integral operator (7), then(15)R-ξ2,ξz-εEδj;τ;bjγj;lj;ajω1z-v1,…,ωsz-vsz=z-εEδj;τ;bjγj;lj;ajω1z-v1,…,ωsz-vs×HP+2,Q+1M,N+2Λ-ξ2-ε-∑i=1sviri,m,-ξ,n,cj,αj1,pdk,βk1,Q,-ξ2-ξ-ε-∑i=1mviri,m+n,provided that
minξ,ξ2,ε,v,m,n>0
ξ2+ε+mmin1≤k≤Mdk/βk+1>0
ε+nmin1≤k≤Mdk/βk+1>0
A>0,argΛ<Aπ/2
where A=∑j=1Nαj-∑j=N+1Pαj+∑k=1Mβk-∑k=M+1Qβk.
Proof.
Proceeding as in Theorem 1, one can easily prove the Theorem 2. Therefore, we omit the detailed proof of Theorem 2.
3. Images of the Generalized Multivariable M-L Function under the Saigo’s Fractional Integral Operators
If we choose M=1,N=P=Q=2,c1=1-ϑ-κ,c2=1+η,d1=0,d2=1-ϑ,α1=α2=β1=β2=1,m=0,n=1,τ=-1 and v=1 in the Theorems 1 and 2, then the fractional integral operators R0+ξ1,ξ and R-ξ2,ξ reduce to the corresponding Saigo’s operators [20, 21]. These operators are connected by the following functional relations:(16)R0+0,ϑ-1fz=Γϑ+κΓ-ηI0+ϑ,κ,ηfz,and(17)R-0,ϑ-1fz=Γϑ+κΓ-ηI-ϑ,κ,ηfz,where the operators I0+ϑ,κ,ηf and I-ϑ,κ,ηf respectively denote the Saigo’s left-side and right-side fractional integral operators and are defined as(18)I0+ϑ,κ,ηfz=z-ϑ-κΓϑ∫0zz-tϑ-12F1ϑ+κ,-η;ϑ;1-tzftdt,ϑ,κ,η∈C,Rϑ>0 and(19)I-ϑ,κ,ηfz=1Γϑ∫z∞t-zϑ-1t-ϑ-κ2F1ϑ+κ,-η;ϑ;1-ztftdt,ϑ,κ,η∈C,Rϑ>0.
Lemma 3.
Let ϑ,κ,η∈C. Then their exists the relation
If Rϑ>0 and Rε>max0,Rκ-η, then(20)I0+ϑ,κ,ηtε-1z=ΓεΓε+η-κΓε-κΓε+ϑ+ηzε-κ-1.
If Rϑ>0 and Rε<1+minRκ,Rη, then(21)I-ϑ,κ,ηtε-1z=Γ1-ε+κΓ1-ε+ηΓ1-εΓ1-ε+ϑ+κ+ηzε-κ-1.
Now, on using the above mentioned substitutions and relations, we obtain the following images of the generalized multivariable M-L function under the fractional integral operators of Saigo type:
Corollary 4.
Let τ,ϑ,κ,η,ε,δj,γj,lj,ωj∈C; such that min1≤j≤sRϑ,Rτ,Rδj,Rγj,Rlj>0,Rε>max0,Rκ-η;aj,bj>0;aj<bj+Rδj;j=1,2,…,s, then the following formula holds:(22)I0+ϑ,κ,ηzε-1Eδj;τ;bjγj;lj;ajω1zv1,…,ωszvsz=zε-κ-1Γl1⋯ΓlsΓγ1⋯Γγs2s+2ψs+3γ1,a1,⋯,γs,as,ε,∑j=1svj,ε+η-κ,∑j=1svj,1,1,⋯,1,1︷stimesl1,b1,⋯,ls,bs,τ,∑j=1sδj,ε-κ,∑j=1svj,ε+ϑ+η,∑j=1svjω1zv1⋮ωszvs.
Proof.
Denote L.H.S. of Corollary 4 by l1. By virtue of (1) and (18), we have(23)l1=I0+ϑ,κ,ηzε-1∑r1,…,rs=0∞γ1a1r1⋯γsasrsΓτ+∑j=1sδjrjω1r1zv1r1⋯ωsrszvsrsl1b1r1⋯lsbsrsz=∑r1,…,rs=0∞γ1a1r1⋯γsasrsΓτ+∑j=1sδjrjω1r1⋯ωsrsl1b1r1⋯lsbsrsI0+ϑ,κ,ηzε+v1r1+⋯+vsrs-1z,which upon Lemma 3(1), yields(24)l1=zε-κ-1∑r1,…,rs=0∞γ1a1r1⋯γsasrsΓτ+∑j=1sδjrjω1r1⋯ωsrsl1b1r1⋯lsbsrs×Γε+v1r1+⋯+vsrsΓε+v1r1+⋯+vsrs+η-κΓε+v1r1+⋯+vsrs-κΓε+v1r1+⋯+vsrs+ϑ+ηzv1r1+⋯+vsrs,Using the definition of (10) in the right-hand side of (24), we arrive at the result (22).
Corollary 5.
Assume τ,ϑ,κ,η,ε,δj,γj,lj,ωj∈C such that min1≤j≤sRϑ,Rτ,Rδj,Rγj,Rlj>0,Rε>max-Rκ,-Rηaj,bj>0;aj<bj+Rδj;j=1,2,…,s, then(25)I-ϑ,κ,ηz-εEδj;τ;bjγj;lj;ajω1z-v1,…,ωsz-vsz=z-ε-κΓl1⋯ΓlsΓγ1⋯Γγs2s+2ψs+3γ1,a1,⋯,γs,as,ε+κ,∑j=1svj,ε+η,∑j=1svj,1,1,⋯,1,1︷stimesl1,b1,⋯,ls,bs,τ,∑j=1sδj,ε,∑j=1svj,ε+ϑ+κ+η,∑j=1svjω1z-v1⋮ωsz-vs.
Proof.
By a similar manner as in proof of Corollary 4 by using Lemma 3(2), we get the desired formula (25).
4. Images of the Generalized Multivariable Mittage-Leffler Function under the Erdélyi-Kober Fractional Integral Operators
If we take κ=0 in the Saigo’s fractional integral operators (18) and (19), then due to Saigo [20], we get(26)I0+ϑ,0,ηfz=I+ϑ,ηfzand(27)I-ϑ,0,ηfz=I-ϑ,ηfz,where the Erdélyi-Kober fractional integral operators are defined by(28)I+ϑ,ηfz=z-ϑ-ηΓϑ∫0zz-tϑ-1tηftdtRϑ>0,and(29)I-ϑ,ηfz=zηΓϑ∫z∞t-zϑ-1t-ϑ-ηftdtRϑ>0.We now give images of the generalized multivariable M-L function under the Erdélyi-Kober fractional integral operators:
Corollary 6.
Let τ,ϑ,η,ε,δj,γj,lj,ωj∈C such that min1≤j≤sRϑ,Rτ,Rδj;Rγj,Rlj>0,Rε>R-η,aj,bj>0;aj<bj+Rδj;j=1,2,…,s, then(30)I0+ϑ,ηzε-1Eδj;τ;bjγj;lj;ajω1zv1,…,ωszvsz=zε-1Γl1⋯ΓlsΓγ1⋯Γγs×2s+1ψs+2γ1,a1,⋯,γs,as,ε+η,∑j=1svj,1,1,⋯,1,1︷stimesl1,b1,⋯,ls,bs,τ,∑j=1sδj,ε+ϑ+η,∑j=1svjω1zv1⋮ωszvs.
Corollary 7.
Let τ,ϑ,η,ε,δj,γj,lj,ωj∈C such that min1≤j≤sRϑ,Rτ,Rδj;Rγj,Rlj>0,Rε>-Rη,aj,bj>0;aj<bj+Rδj;j=1,2,…,s, then(31)I-ϑ,ηz-εEδj;τ;bjγj;lj;ajω1z-v1,…,ωsz-vsz=z-εΓl1⋯ΓlsΓγ1⋯Γγs×2s+1ψs+2γ1,a1,⋯,γs,as,ε+η,∑j=1svj,1,1,⋯,1,1︷stimesl1,b1,⋯,ls,bs,τ,∑j=1sδj,ε+ϑ+η,∑j=1svjω1z-v1⋮ωsz-vs.
5. Special Cases
In this section, we consider some consequences and applications of the results derived in the previous sections. If we take ϑ+κ=0, then the fractional calculus operators (18) and (19), respectively, reduce to the Riemann-Liouville and Weyl fractional integral operators. Hence, we obtain the following image formulas:
Corollary 8.
Let τ,ϑ,ε,δj,γj,lj,ωj∈C such that min1≤j≤sRϑ,Rτ,Rδj;Rγj,Rlj>0,aj,bj>0,aj<bj+Rδj;j=1,2,…,s, then the following formula holds:(32)Iϑzε-1Eδj;τ;bjγj;lj;ajω1zv1,…,ωszvsz=zε+ϑ-1Γl1⋯ΓlsΓγ1⋯Γγs×2s+1ψs+2γ1,a1,⋯,γs,as,ε,∑j=1svj,1,1,⋯,1,1︷stimesl1,b1,⋯,ls,bs,τ,∑j=1sδj,ε+ϑ,∑j=1svjω1zv1⋮ωszvs,where the Riemann-Liouville fractional integral operator is defined by(33)Iϑfz=I0+ϑ,-ϑ,ηfz=1Γϑ∫0zz-tϑ-1ftdt.
Corollary 9.
Assume τ,ϑ,ε,δj,γj,lj,ωj∈C such that min1≤j≤sRϑ,Rτ,Rδj,Rγj,Rlj>0,aj,bj>0;aj<bj+Rδj;j=1,2,…,s, then the following result is true:(34)Kϑz-εEδj;τ;bjγj;lj;ajω1z-v1,…,ωsz-vsz=z-ε+ϑΓl1⋯ΓlsΓγ1⋯Γγs×2s+1ψs+2γ1,a1,⋯,γs,as,ε-ϑ,∑j=1svj,1,1,⋯,1,1︷stimesl1,b1,⋯,ls,bs,τ,∑j=1sδj,ε,∑j=1svjω1z-v1⋮ωsz-vs,where the Weyl type fractional integral operator is given by(35)Kϑfz=I-ϑ,-ϑ,ηfz=1Γϑ∫z∞t-zϑ-1ftdt.
6. Concluding Remark
The generalized multivariable M-L function is interesting due to the various (described in introduction section) M-L functions that follow as its particular cases, so the generalized fractional calculus formulas are deduced in this communication, and we can find many applications giving the Saigo, Erdelyi-Kober, Riemann-Liouville and Weyl type fractional integrals of aforementioned functions on taking special cases into account. For various other special cases we refer to [22–27] and we left results for the interested readers.
Data Availability
No data were used to support this study.
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this paper.
GurjarM. K.PrajapatiJ. C.GuptaK.A study on generalized Mittag-Leffler function via fractional calculus201453613MR3268376SinghJ.A new analysis for fractional rumor spreading dynamical model in a social network with Mittag-Leffler law201929101313710.1063/1.5080691SinghJ.KumarD.BaleanuD.New aspects of fractional Biswas–Milovic model with Mittag-Leffler law20191432330310.1051/mmnp/2018068SutharD. L.AmsaluH.Fractional integral and derivative formulas by using marichev-saigo-maeda operators involving the S-function2019201919648768710.1155/2019/6487687SutharD. L.MangeshaA.Generalized fractional integral formulas for the k-Bessel function201820188519862110.1155/2018/5198621Zbl07029797SaxenaR. K.KallaS. L.SaxenaR.Multivariate analogue of generalized Mittag-Leffler function201122753354810.1080/10652469.2010.533474Zbl1275.33030SalimT. O.FarajA. W.A generalization of Mittag-Leffler function and integral operator associated with fractional calculus20123113ShuklaA. K.PrajapatiJ. C.On a generalization of Mittag-Leffler function and its properties2007336279781110.1016/j.jmaa.2007.03.018PrabhakarT. R.A singular integral equation with a generalized Mittag Leffler function in the kernel197119715MR0293349Zbl0221.45003WimanA.Uber den fundamental satz in der theory der functionen190529119120110.1007/BF02403202MR1555014Mittag-LefflerM. G.Sur la nouvelle fonction1903137554558KallaS. L.Integral operators involving Fox’s H-function19693117122MR268602KallaS. L.Integral operators involving Fox’s H-function II1969727279MR0425529SrivastavaH. M.BuschmanR. G.Integral operators involving Fox’s H –function197372128MR372278GargM.RaoA.KallaS. L.On Mittag-Leffler type function and fractional calculus operators2007213-4349360MR2400192Zbl1153.26302SrivastavaH. M.GuptaK. C.GoyalS. P.1981New Delhi, IndiaSouth Asian Publisher’sMathaiA. M.SaxenaR. K.1978Wiley Eastern Ltd., New Delhi and John Wiley and Sons Inc, New-YorkZbl0382.33001SrivastavaH. M.KarlssonP. W.1985Halsted Press (Ellis Horwood Limited, Chichester), John Wiley and Sons, New York, Chichester, Brisbane and TorontoMR834385WrightE. M.The asymptotic expansion of the generalized hypergeometric function193510428629310.1112/jlms/s1-10.40.2862-s2.0-84963044459SaigoM.A remark on integral operators involving the Gaüss hypergeometric functions1978112135143MR510316SaigoM.A certain boundary value problem for the Euler-Darboux Equations II1981261103119MR613473MishraV. N.SutharD. L.PurohitS. D.Marichev-Saigo-Maeda fractional calculus operators, Srivastava polynomials and generalized Mittag-Leffler function20174111132083010.1080/23311835.2017.1320830MR3772263PurohitS. D.KallaS. L.SutharD. L.Fractional integral operators and the multiindex Mittag-Leffler functions2011218796MR2961704Zbl1250.26007PurohitS. D.SutharD. L.KallaS. L.Some results on fractional calculus operators associated with the M-function2010333225236MR2797433SaxenaR. K.RamJ.SutharD. L.Fractional calculus of generalized Mittag-Leffler functions2009311165172MR2791427SutharD. L.HabenomH.TadesseH.Generalized fractional calculus formulas for a product of Mittag-Leffler function and multivariable polynomials20184111210.1007/s40819-017-0457-7MR3737427SutharD. L.PurohitS. D.Unified fractional integral formulae for the generalized Mittag-Leffler functions2014272117124MR3366357