General Commentary ARTICLE
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
by Agarwal, R., Jain, S., Agarwal, R. P., and Baleanu, D. (2018). Front. Phys. 6:79. doi: 10.3389/fphy.2018.00079
The commented paper  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), ]. 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 , Lavoie et al. , Marichev , and Prudnikov et al. , 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  and . 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 pFq-function into a p+1Fq+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 we use a representation by after a substitution t/x = σ (see ):
Note that the Riemann-Liouville (RL) integral comes from (1) for γ = 0, β = 1, and the EK operator (1.26) in Agarwal et al.  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: . 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 . 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 -function in the simpler case (all β1 = … = βm = β) or a Fox's -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 , 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 , , , . 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], —for the images of the pFq-functions, and in Kiryakova —for p Ψ q. For definitions of the mentioned Special Functions, one can refer e.g., to Erdélyi  and Prudnikov et al. .
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 I0+ version), as it is defined by (1.10) in Agarwal et al. , and also after a substitution σ = t/x, as:
The kernel special function F3, known as the Appell function of 2 variables (or Horn function) is defined by the power series [see (1.6)]
Note that both above expressions of F3 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. , we mention the following representation in terms of (4) and (3):
and thus also, as the composition of three (commuting) EK integrals: .
Then, it is a turn to consider the nature of the generalized Lommel-Wright function treated in the commented paper . 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., , etc.), namely . Note also that the MSM image of arbitrary p Ψ q-function is given in Cor. 4, Equation (65) of Kiryakova .
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. :
What concerns the result (3.2) of Theorem 3.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 ) that the result is given by the 5Ψ5+m-function in (3.2) of Agarwal et al. . The results for the right-hand sided operators I0− 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 , . Thus, claims in Abstract of Agarwal et al.  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.  as , one can immediately derive the result (3.7) of Th.3.2 in Agarwal et al. , 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).
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).
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.
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
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
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, Brazil
Reviewed by:Jose Tenreiro Machado, Instituto Superior de Engenharia do Porto (ISEP), Portugal
Raffaella 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, email@example.com