# Commentary: A Remark on the Fractional Integral Operators and the Image Formulas of Generalized Lommel-Wright Function

- Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Sofia, Bulgaria

**A Commentary on**

**A Remark on the Fractional Integral Operators and the Image Formulas of Generalized Lommel-Wright Function**

*by Agarwal, R., Jain, S., Agarwal, R. P., and Baleanu, D. (2018). Front. Phys. 6:79. doi: 10.3389/fphy.2018.00079*

## 1. Preliminaries

The commented paper [1] is one example of a long list of recently published works devoted to evaluation of the images of classes of special functions under the classical operators of fractional order integration and differentiation and their various generalizations. The used procedures are usually same standard ones [interchanging the order of integration and summation, as in (2.3), [1]]. And in many cases the resulting expressions are complicated and involve special functions different in kind from the originals. Since both *Special Functions* (*SF*) and operators of *Fractional Calculus* (*FC*) are of great variety, the mentioned publications are growing daily, and their authors seem not observing the fact that *the problem has been resolved in its generality rather earlier*. The main results behind a general approach have been proposed by Kiryakova since 1994 and on, see for example: [2, p.20–1, n; Th.5.2.1], [3, L.3.2, L.4.4], [4, Equations (9), (16)], [5, Th.9], etc. And for the inspiring ideas about, we need to pay tribute to some classical authors in FC and SF, to mention just a few their works as Erdélyi [6], Lavoie et al. [7], Marichev [8], and Prudnikov et al. [9], etc. To remind the audience the known facts, and to propose an alternative approach saving efforts in particular cases, recently the author of this commentary published the surveys [10] and [11]. The references therein contain only a very small number of the recent publications on the subject.

To start with, a classical result (say from Erdélyi [6, §13.1, (95)], Lavoie et al. [7, Table 17.1, p. 261]) says that a Riemann-Liouville fractional integral maps (in general) a _{p}*F*_{q}-function into a _{p+1}*F*_{q+1}-function, increasing its indices by one. The same result is valid for the more general *Erdélyi-Kober* (*EK*) *operator of fractional integration*. For convenience, in the (left-hand sided) operators of FC as EK, instead of ${\int}_{0}^{x}$ we use a representation by ${\int}_{0}^{1}$ after a substitution *t*/*x* = σ (see [2]):

Note that the Riemann-Liouville (RL) integral comes from (1) for γ = 0, β = 1, and the EK operator (1.26) in Agarwal et al. [1] is for β = 1. For example, for *p* ≤ *q* or *p* = *q* (then |*x*| < 1), the result in Kiryakova [2, (4.2.2′), p.218], [3, L.3.2], reads: ${I}_{1}^{{a}_{p+1}-1,{b}_{q+1}-{a}_{p+1}}\left\{{{}_{p}F}_{q}\left({a}_{1},\dots ,{a}_{p};{b}_{1},\dots {b}_{q};\text{\lambda}x\right)\right\}$$=\left[\Gamma \left({b}_{q+1}\right)/\Gamma \left({a}_{p+1}\right)\right]{{}_{p+1}F}_{q+1}\left({a}_{1},\dots ,{a}_{p},{a}_{p+1};{b}_{1},\dots ,{b}_{q},{b}_{q+1};\text{\lambda}x\right)$. For the *generalized Wright hypergeometric function* this relation was easily extended (see e.g., Kiryakova [5, L.7] and [10, L.1]) to

Next, we need to give a short background on the operators of *Generalized Fractional Calculus* (*GFC*), Kiryakova [2]. The basic definition of the operator of *generalized fractional integration* (*generalized fractional integral, multiple EK integral*) uses a single integral representation with a special function in the kernel: a Meijer's ${G}_{m,m}^{m,0}$-function in the simpler case (all β_{1} = … = β_{m} = β) or a Fox's ${H}_{m,m}^{m,0}$-function (in general), where: integer *m* ≥ 1 is the “multiplicity,” (δ_{1} ≥ 0, …, δ_{m} ≥ 0)—the multi-order of integration, (γ_{1}, …, γ_{m}) - a real multi-weight and (β_{1} > 0, …, β_{m} > 0)—additional multi-parameter. Namely,

and it is the identity operator if δ_{1} = δ_{2} = ··· = δ_{m} = 0. In the case of all equal β's: β_{1} = β_{2} = … = β_{m} = β > 0, (3) has a simpler representation by means of *Meijer's* *G**-function*,

The fact which explains the wide applications of (3) and (4) and their numerous particular cases, is that the same operators can be represented also without any use of SF, by means of the repeated integral representations for the *commutative products of classical EK operators* (1), see [2, Ch.1, Ch.5]:

A general result concerning the topic of the commented paper [1], as well as of dozens of similar papers, is stated in our survey papers [10, Th.1, (45)] and [11, Th.4.1], and reads as follows: *The image of a generalized Wright hypergeometric function under GFC integral* (3)–(5), is the *same* kind of SF but with indices increased by the multiplicity *m* ≥ 1 (and additional parameters):

No need to explain that this result comes by combination of (2) and (5), by *m* successive steps. Similar result holds for the generalized fractional differentiation ${D}_{{({\beta}_{k})}_{1}^{m},m}^{{({\gamma}_{k})}_{1}^{m},{({\delta}_{k})}_{1}^{m}}$, [2], [10], [11]. Explanations on the procedures, and important corollaries in the 3 cases *p* < *q*, *p* = *q*, *p* = *q* + 1, have been given in details yet in Kiryakova [2, Ch.4], [3]—for the images of the _{p}*F*_{q}-functions, and in Kiryakova [5]—for _{p} Ψ _{q}. For definitions of the mentioned Special Functions, one can refer e.g., to Erdélyi [6] and Prudnikov et al. [9].

## 2. The Case in the Commented Paper

First, let us comment on the so-called *Marichev-Saigo-Maeda* (*MSM*) *operator* of FC (for shortness of place we consider only the left-hand sided *I*_{0+} version), as it is defined by (1.10) in Agarwal et al. [1], and also after a substitution σ = *t*/*x*, as:

The kernel special function *F*_{3}, known as the *Appell function* of 2 variables (or *Horn function*) is defined by the power series [see (1.6)]

but as shown in [9, § 8.4.51, (2)] and mentioned in our works as Kiryakova [2, Ch.1], [4], etc., it is *also a Meijer* *G**-function*,

Note that both above expressions of *F*_{3} are symmetric w.r.t. the 2 variables, to ξ and ξ′, resp. ρ and ρ′, and w.r.t. the parameters in upper and bottom rows in *G*-function (8). In view of (4), this comes to say that *the MSM fractional integral is nothing but an operator of our GFC with multiplicity* *m* = 3 and β = 1, and so, also a composition (5) of 3 commuting classical EK fractional integrals (1). In Kiryakova [2, p. 21], [10, (64)], etc. various such representations of (7) are provided, as the mentioned symmetry allows this. Here, for the purpose to compare with the results in Agarwal et al. [1], we mention the following representation in terms of (4) and (3):

and thus also, as the composition of three (commuting) EK integrals: ${I}_{0+}^{\xi ,{\xi}^{\prime},\rho ,{\rho}^{\prime},\varkappa}={I}_{1}^{0,{\rho}^{\prime}}{I}_{1}^{\varkappa -\xi -{\xi}^{\prime}-\rho ,\rho}{I}_{1}^{-{\xi}^{\prime}+{\rho}^{\prime},\varkappa -\rho -{\rho}^{\prime}}$.

Then, it is a turn to consider the nature of the *generalized Lommel-Wright function* treated in the commented paper [1]. There, we find its definition (1.1) and also a representation as a *generalized Wright hypergeometric function* (1.2), namely:

Additionally, we are tempted to mention that (10) is a typical example of the *multi-index Mittag-Leffler function* (see e.g., [10], etc.), namely ${J}_{\omega ,\theta}^{\phi ,m}(z)={(\frac{z}{2})}^{\omega +2\theta}{E}_{(1,\dots ,1,\phi ),(\theta +1,\dots ,\theta +1,\omega +\theta +1)}^{(m+1)}\left(-{(\frac{z}{2})}^{2}\right)$. Note also that the MSM image of *arbitrary* _{p} Ψ _{q}-function is given in Cor. 4, Equation (65) of Kiryakova [10].

But specially in this case, it remains to combine the general result (6) in the case *m* = 3 and suitable parameters as for the MSM operator (9) with the representation of (10) as a generalized Wright hypergeometric function _{1} Ψ _{m+1}. As expected, its MSM image, as a composition of three EK fractional integrals, gives again a generalized Wright hypergeometric function but with indices increased by 3, that is, a generalized Wright hypergeometric function _{4}Ψ_{m+4}-function, *as is the correctly evaluated but predictable result* (2.2) of Theorem 2.1 in Agarwal et al. [1]:

What concerns the result (3.2) of Theorem 3.1, [1] for “image formulas for *Beta transform*” (1.28), as *many other authors also* call this integral operator, note that in terms of FC it is just a very special case of the Erdélyi-Kober fractional integral (1), namely:

Thus, application of the Beta transform (single EK integral, *m* = 1, β = 1) to the MSM operator (which is 3-tuple EK, generalized fractional integral, *m* = 3), leads practically to application of a composition of 4 classical EK integrals, and again under the philosophy of our general result (6), this maps a _{P} Ψ _{Q}-function into a _{P+4} Ψ _{Q+4}-function. In the case of the generalized Lommel-Wright function (10) (i.e., _{1}Ψ_{1+m}), it is *predictable* (in sense of survey [10]) that the result is given by the _{5}Ψ_{5+m}-function in (3.2) of Agarwal et al. [1]. The results for the right-hand sided operators *I*_{0−} and for all mentioned special cases of operators, including Saigo operators (1.16) (cases of GFC with *m* = 2), the particular case (1.26) with β = 1 of EK operators (1), etc. and for various special functions (Bessel, Struve, Lommel-Wright, etc.) come from the general result and are presented as some illustrating examples in Kiryakova [10], [11]. Thus, claims in Abstract of Agarwal et al. [1] sound ambitious. For the *pathway* *P*_{δ}*-transform* (1.30) (introduced and studied initially by Mathai and Haubold), from Th.9, (43) in Kumar cited in Agarwal et al. [1] as [24], one can immediately derive the result (3.7) of Th.3.2 in Agarwal et al. [1], since a *P*_{δ}-transform of a _{P} Ψ _{Q} [in this case _{4}Ψ_{4+m} from (11)] gives a _{P+1} Ψ _{Q}-function (i.e., _{5}Ψ_{4+m}).

## 3. Conclusions

One can advise the researchers on the topic to follow a procedure like this:

1. Check if the treated SF can be presented as a Wright g.h.f. _{p} Ψ _{q};

2. Check if the operator of FC to be evaluated can be presented as composition of classical EK operators (i.e., also in the form (3);

3. If so (usually it is the case), apply a general result like (6);

4. Most visible results would be to present a FC image of a SF in terms of *same kind* of SF (with only changed indices and parameters).

## Author Contributions

The author confirms being the sole contributor of this work and has approved it for publication.

## Conflict of Interest

The author declares that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

The reviewer JM declared a past co-authorship with the author to the handling editor.

## References

1. Agarwal R, Jain S, Agarwal RP, Baleanu D. A remark on the fractional integral operators and the image formulas of generalized Lommel-Wright function. *Front Phys.* (2018) **6**:79. doi: 10.3389/fphy.2018.00079

3. Kiryakova V. All the special functions are fractional differintegrals of elementary functions. *J Phys A Math Gen.* (1997) **30**:5085–103. doi: 10.1088/0305-4470/30/14/019

4. Kiryakova V. On two Saigo's fractional integral operators in the class of univalent functions. *Fract Calc Appl Anal.* (2006) **9**:159–76. Available online at: http://www.math.bas.bg/complan/fcaa/

5. Kiryakova V. The special functions of fractional calculus as generalized fractional calculus operators of some basic functions. *Comput Math Appl.* (2010) **59**:1128–41. doi: 10.1016/j.camwa.2009.05.014

7. Lavoie JL, Osler TJ, Tremblay R. Fractional derivatives and special functions. *SIAM Rev.* (1976) **18**:240–68. doi: 10.1137/1018042

8. Marichev OI. *Handbook of Integral Transforms of Higher Transcendental Functions, Theory and Algorithmic Tables*. Chichester: Ellis Horwood (1983).

9. Prudnikov AP, Brychkov Yu, Marichev OI. *Integrals and Series, Vol. 3: More Special Functions*. New York, NY: Gordon and Breach Science Publishers (1992).

10. Kiryakova V. Fractional calculus operators of special functions?–The result is well predictable!. *Chaos Solit Fract.* (2017) **102**:2–15. doi: 10.1016/j.chaos.2017.03.006

Keywords: generalized Lommel-Wright function, generalized Fox-Wright function, generalized hypergeometric series, operators of generalized fractional calculus, multiple Erdelyi-Kober fractional integral, integral transform

Citation: Kiryakova V (2019) Commentary: A Remark on the Fractional Integral Operators and the Image Formulas of Generalized Lommel-Wright Function. *Front. Phys.* 7:145. doi: 10.3389/fphy.2019.00145

Received: 19 May 2019; Accepted: 13 September 2019;

Published: 01 October 2019.

Edited by:

José Tadeu Lunardi, Universidade Estadual de Ponta Grossa, BrazilReviewed by:

Jose Tenreiro Machado, Instituto Superior de Engenharia do Porto (ISEP), PortugalRaffaella Servadei, University of Urbino Carlo Bo, Italy

Copyright © 2019 Kiryakova. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.

*Correspondence: Virginia Kiryakova, virginia@diogenes.bg