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

In this paper, the operators of fractional integration introduced by Marichev-Saigo-Maeda involving Appell's function F₃(·) are applied, and several new image formulas of generalized Lommel–Wright function are established. Also, by implementing some integral transforms on the resulting formulas, few more image formulas have been presented. We can conclude that all derived results in our work generalize numerous well-known results and are capable of yielding a number of applications in the theory of special functions.

Primary: 44A20 Transforms of special functions; 65R10 For numerical methods; 26A33 Fractional derivatives and integrals; Secondary: 33C20 Generalized hypergeometric series, pFq; 33E50 Special functions in characteristic p (gamma functions, etc.); 2010 AMS classification by MathSciNet

1. Introduction and Preliminaries

Fractional calculus (FC) represents a complex physical phenomenon in a more accurate and efficient way than classical calculus. In recent years, many researchers [1–7] have used fractional order integral models in real-world problems in various fields of science and technology. There exists several definitions of fractional order integrals in the literature that can be used to solve the fractional integral equations involving special functions. For an exhaustive literature review, one may refer to the paper by Srivastava and Saxena [8].

The generalized functions such as Bessel, Lommel, Struve, and Lommel–Wright functions have originated from concrete problems in applied fields of sciences viz mechanics, physics, engineering, astronomy, etc.

The generalized Lommel–Wright function $J_{\omega ,\vartheta }^{\phi ,m}(z)$ is defined by de'Oteiza et al. [9] and is represented in the following manner:

$\begin{array}{l}{J}_{\omega ,\vartheta }^{\phi ,m}(z)={\left(z/2\right)}^{\omega +2\vartheta }{\displaystyle \sum _{k=0}^{\infty }\frac{{(-1)}^k{(z/2)}^{2k}}{{(\Gamma (\vartheta +k+1))}^m\Gamma (\omega +k\phi +\vartheta +1)}}\\ ={\left(z/2\right)}^{\omega +2\vartheta }{}_1{\psi }_{m+1}[(1,1);\underset{m-times}{\underbrace{(\vartheta +1,1)}},(\omega +\vartheta +1,\phi );-z^2/4]\\ z\in ℂ\backslash (-\infty ,0],\phi >0,m\in \mathbb{N},\omega ,\vartheta \in ℂ,& (1.1)\end{array}$

where _pψ_q denotes the Fox–Wright generalized hypergeometric function which is defined as given in Srivastava and Karlsson [10, p. 21] and Kilbas et al. [11, P. 56]

$\begin{array}{ll}{}_p{\psi }_q\left(\begin{array}{c}(a_1,A_1),\mathrm{...}(a_p,A_p);\\ (b_1,B_1),\mathrm{...},(b_q,B_q);\end{array}z\right)={\displaystyle \sum _{n=0}^{\infty }\frac{{\Pi }_{j=1}^p\Gamma (a_j+n{A}_j)}{{\Pi }_{j=1}^q\Gamma (b_j+n{B}_j)}}\frac{z^n}{n!},& (1.2)\end{array}$

where a_i, b_j ∈ ℂ and A_i, B_j ∈ ℝ = (−∞, ∞); A_i, B_j ≠ 0, i = 1, 2, …, p, j = 1, 2, …, q, ${\displaystyle \sum _{j=1}^q}{B}_j-{\displaystyle \sum _{j=1}^p}{A}_j>-1$.

A useful generalization of the Lommel–Wright function and its special cases, $J_{\omega }^{\phi }(z)J_{\omega ,\vartheta }^{\phi }(z),$ depending on the arbitrary fractional parameter φ > 0 presents a fractional order extension of the Bessel function J_ω(z).

Prieto et al. [12] studied some useful results in the theory of fractional calculus operators of generalized Lommel–Wright function. The convergence of series involving generalized Lommel–Wright function was studied by Konovska [13].

When m = 1, the following generalization of the Bessel function, introduced by Pathak [14] is obtained as a special case of generalized Lommel–Wright function (1.1) (see e.g., [15, p. 353]):

$\begin{array}{l}{J}_{\omega ,\vartheta }^{\phi }(z)=J_{\omega ,\vartheta }^{\phi ,1}(z)\\ ={\left(\frac{z}{2}\right)}^{\omega +2\vartheta }{\displaystyle \sum _{k=0}^{\infty }\frac{{(-1)}^k{\left(\frac{z}{2}\right)}^{2k}}{\Gamma (\vartheta +k+1)\Gamma (\omega +k\phi +\vartheta +1)}},\\ z\in ℂ\backslash (-\infty ,0],\phi >0,\omega ,\vartheta \in ℂ.& (1.3)\end{array}$

On taking m = 1, φ = 1, and $\vartheta =\frac{1}{2}$ in (1.1), we obtain the Struve function H_ω(·) (see e.g., [16, p. 28, Equation (1.170)])

$\begin{array}{l}{H}_{\omega }(z)=J_{\omega ,1/2}^{1,1}\\ ={\left(\frac{z}{2}\right)}^{\omega +1}{\displaystyle \sum _{k=0}^{\infty }\frac{{(-1)}^k{\left(\frac{z}{2}\right)}^{2k}}{\Gamma (k+\frac{3}{2})\Gamma (k+\omega +\frac{3}{2})}}z,\omega \in ℂ.& (1.4)\end{array}$

If we take m = 1, φ = 1, and ϑ = 0 in (1.1), it gives the relationship with the Bessel function as follows (see e.g., [16, p. 27, Equation (1.161)]):

$\begin{array}{l}{J}_{\omega }(z)=J_{\omega ,0}^{1,1}(z)={\displaystyle \sum _{k=0}^{\infty }\frac{{(-1)}^k{(z/2)}^{\omega +2k}}{\Gamma (\omega +k+1)k!}}\\ z,\omega \in ℂ,z\ne 0,\Re (\omega )>-1.& (1.5)\end{array}$

A generalization of the hypergeometric fractional integrals, including the Saigo operators [17, 18] has been introduced by Marichev [19]. The details of these fractional operators have been found in Samko et al. [5, p. 194, Equation (10.47)] and later extended and studied by Saigo and Maeda [20, p. 393, Equation (4.12) and Equation (4.13)] in terms of complex order Appell function F₃(·) of two variables (see [10, p. 23]) in the kernel

$\begin{array}{l}{F}_3(\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime };\eta ;x;y)\\ ={\displaystyle \sum _{m,n=0}^{\infty }\frac{{(\zeta )}_m{({\zeta }^{\prime })}_n{(\varrho )}_m{({\varrho }^{\prime })}_n}{{(\eta )}_{m+n}}}\frac{x^m}{m!}\frac{y^n}{n!},(\max \{\left|x\right|,\left|y\right|\}<1).& (1.6)\end{array}$

The Appell function F₃ reduces to the Gauss hypergeomatric function ₂F₁ and satisfies the system of two linear partial differential equations of the second order as follows (see [10, p. 301, Equation 9.4]):

$\begin{array}{ll}{F}_3(\zeta ,\eta -\zeta ,\varrho ,\eta -\varrho ;\eta ;x;y)={}_2{F}_1(\zeta ,\varrho ;\eta ;x+y-xy).& (1.7)\end{array}$

Further, it is easy to see that

$\begin{array}{ll}{F}_3(\zeta ,0,\varrho ,{\varrho }^{\prime },\eta ;x,y)={}_2{F}_1(\zeta ,\varrho ;\eta ;x)& (1.8)\end{array}$

and

$\begin{array}{ll}{F}_3(0,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\eta ;x,y)={}_2{F}_1({\zeta }^{\prime },{\varrho }^{\prime };\eta ;y).& (1.9)\end{array}$

In this paper, we develop and study the image formulas involving the generalized Lommel–Wright function using fractional calculus integral operators. We use the generalized Marichev-Saigo-Maeda fractional integral operators, involving the Appell function, defined as follows:

$\begin{array}{l}\left(I_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }f\right)(x)=\frac{x^{-\zeta }}{\Gamma \kappa }{\displaystyle {\int }_0^x{(x-t)}^{\kappa -1}}{t}^{-{\zeta }^{\prime }}\\ \times F_3\left(\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime };\kappa ;1-\frac{t}{x},1-\frac{x}{t}\right)f(t)dt,\\ \Re (\kappa )>0,\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa \in ℂ,x>0& (1.10)\end{array}$

and

$\begin{array}{l}\left(I_{0-}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }f\right)(x)\\ =\frac{x^{-\zeta }}{\Gamma \kappa }{\displaystyle {\int }_x^{\infty }}\left(t-x\right){}^{\kappa -1}{t}^{-\zeta }{F}_3\left(\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime };\kappa ;1-\frac{x}{t},1-\frac{t}{x}\right)f(t)dt,\\ \Re (\kappa )>0,\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa \in ℂ,x>0.& (1.11)\end{array}$

respectively.

The power functions of left-hand sided and right-hand sided Marichev-Saigo-Maeda fractional integral operators as given in the Equations (1.10) and (1.11) (see Saigo et al. [6, 20]) are given by

$\begin{array}{l}\left(I_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }{t}^{\chi -1}\right)(x)\\ =\frac{\Gamma (\chi )\Gamma (\chi +\kappa -\zeta -{\zeta }^{\prime }-\varrho )\Gamma (\chi +{\varrho }^{\prime }-{\zeta }^{\prime })}{\Gamma (\chi +{\varrho }^{\prime })\Gamma (\chi +\kappa -\zeta -{\zeta }^{\prime })\Gamma (\chi +\kappa -{\zeta }^{\prime }-\varrho )}{x}^{\chi +\kappa -\zeta -{\zeta }^{\prime }-1},& (1.12)\end{array}$

where ζ, ζ′, ϱ, ϱ′, κ ∈ ℂ, x>0 and if ℜ(κ) > 0, ℜ(χ)>max{0, ℜ(ζ + ζ′ + ϱ − κ), ℜ(ζ′ − ϱ′)}.

$\begin{array}{l}\left(I_{0-}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }{t}^{\chi -1}\right)(x)\\ =\frac{\Gamma (1-\chi -\kappa +\zeta +{\zeta }^{\prime })\Gamma (1-\chi +\zeta +{\varrho }^{\prime }-\kappa )\Gamma (1-\chi -\varrho )}{\Gamma (1-\chi )\Gamma (1-\chi +\zeta +{\zeta }^{\prime }+\varrho +{\varrho }^{\prime }-\kappa )\Gamma (1-\chi +\zeta -\varrho )}\\ \times x\chi -\zeta -{\zeta }^{\prime }+\kappa -1,& (1.13)\end{array}$

where ζ, ζ′, ϱ, ϱ′, κ ∈ ℂ are such that ℜ(κ) > 0 and ℜ(χ) < 1 + min{ℜ(−ϱ), ℜ(ζ + ζ′ − κ), ℜ(ζ + ϱ′ − κ)}.

1.1. Relation Among the Operators

In this section, we recall some relationships between the fractional integral operators.

If we set ζ′ = 0 then in view of the formula (1.8), the relationship between Marichev-Saigo-Maeda and the Saigo fractional integral operators is found by Saxena and Saigo [6, p. 93, Equation (2.15)] as

$\begin{array}{ll}\left(I_{0,x}^{\zeta ,0,\varrho ,{\varrho }^{\prime },\eta }f\right)(x)=\left(I_{0,x}^{\eta ,\zeta -\eta ,-\varrho }f\right)(x),(\Re (\eta )>0)& (1.14)\end{array}$

and

$\begin{array}{ll}\left(I_{x,\infty }^{\zeta ,0,\varrho ,{\varrho }^{\prime },\eta }f\right)(x)=\left(I_{x,\infty }^{\eta ,\zeta -\eta ,-\varrho }f\right)(x),(\Re (\eta )>0),& (1.15)\end{array}$

where the general operators $I_{0,x}^{\zeta ,0,\varrho ,{\varrho }^{\prime },\eta }$ and $I_{0,x}^{\zeta ,0,\varrho ,{\varrho }^{\prime },\eta }$ reduce, respectively, to the Saigo operators $I_{0,x}^{\zeta ,\varrho ,\eta }$ and $I_{x,\infty }^{\zeta ,\varrho ,\eta }$ [17] defined as follows:

$\begin{array}{l}\left(I_{0,x}^{\zeta ,\varrho ,\eta }f\right)(x)=\frac{x^{-\zeta -\varrho }}{\Gamma (\zeta )}{\displaystyle {\int }_0^x{(x-t)}_2^{\zeta -1}}\\ \times F_1\left(\zeta +\varrho ,-\eta ;\zeta ;1-\frac{t}{x}\right)f(t)dt,(\Re (\zeta )>0)& (1.16)\end{array}$

and

$\begin{array}{l}\left(I_{x,\infty }^{\zeta ,\varrho ,\eta }f\right)(x)={\displaystyle {\int }_x^{\infty }{(t-x)}^{\zeta -1}}{t}^{-\zeta -\varrho }{}_2\\ \times F_1\left(\zeta +\varrho ,-\eta ;\zeta ;1-\frac{x}{t}\right)f(t)dt,(\Re (\zeta )>0)& (1.17)\end{array}$

where integrals in (1.16) and (1.17) exist.

Let ζ, ϱ, η, χ ∈ ℂ with ℜ(ζ) > 0. Then the following power function formulas involving the Saigo operators hold true:

$\begin{array}{l}\left(I_{0,x}^{\zeta ,\varrho ,\eta }{t}^{\chi -1}\right)(x)=\frac{\Gamma (\chi )\Gamma (\chi +\eta -\varrho )}{\Gamma (\chi -\varrho )\Gamma (\chi +\eta +\zeta )}{x}^{\chi -\varrho -1},\\ \Re (\chi )>\max \left\{0,\Re (\varrho -\eta )\right\}& (1.18)\end{array}$

and

$\begin{array}{l}\left(I_{x,\infty }^{\zeta ,\varrho ,\eta }{t}^{\chi -1}\right)(x)=\frac{\Gamma (1-\chi +\varrho )\Gamma (1-\chi +\eta )}{\Gamma (1-\chi )\Gamma (1-\chi +\zeta +\varrho +\eta )}{x}^{\chi -\varrho -1},\\ (\Re (\chi )<1+\min \left\{\Re (\varrho ),\Re (\eta )\right\}).& (1.19)\end{array}$

On replacing ϱ = −ζ in the operators $I_{0,x}^{\zeta ,\varrho ,\eta }(·)$ and $I_{x,\infty }^{\zeta ,\varrho ,\eta }(·)$, these reduce to the Riemann-Liouville and the Weyl fractional integral operators, respectively, by means of the following relationships (see Kilbas [11]):

$\begin{array}{ll}\left({{R}}_{0,x}^{\zeta }f\right)(x)=\left(I_{0,x}^{\zeta ,-\zeta ,\eta }f\right)(x)& (1.20)\end{array}$

and

$\begin{array}{ll}\left({{W}}_{x,\infty }^{\zeta }f\right)(x)=\left(I_{x,\infty }^{\zeta ,-\zeta ,\eta }f\right)(x).& (1.21)\end{array}$

The Riemann-Liouville fractional integral operator and the Weyl fractional integral operator are defined as follows (see e.g., [21]):

$\begin{array}{ll}\left({{R}}_{0,x}^{\zeta }f\right)(x)=\frac{1}{\Gamma (\zeta )}{\displaystyle {\int }_0^x{(x-t)}^{\zeta -1}}f(t)dt,(\Re (\zeta )>0)& (1.22)\end{array}$

and

$\begin{array}{ll}\left({{W}}_{x,\infty }^{\zeta }f\right)(x)=\frac{1}{\Gamma (\zeta )}{\displaystyle {\int }_0^x{(t-x)}^{\zeta -1}}f(t)dt,(\Re (\zeta )>0),& (1.23)\end{array}$

provided both the integrals converge.

The operators $I_{0,x}^{\zeta ,\varrho ,\eta }(·)$ and $I_{x,\infty }^{\zeta ,\varrho ,\eta }(·)$ reduce to Erdélyi–Kober fractional integral operators on setting ϱ = 0 as follows:

$\begin{array}{ll}\left({{E}}_{0,x}^{\zeta ,\eta }f\right)(x)=\left(I_{0,x}^{\zeta ,0,\eta }f\right)(x),& (1.24)\end{array}$

and

$\begin{array}{ll}\left({{K}}_{x,\infty }^{\zeta ,\eta }f\right)(x)=\left(I_{0,x}^{\zeta ,0,\eta }f\right)(x),& (1.25)\end{array}$

where the Erdélyi–Kober type fractional integral operators are defined as follows (see [22]):

$\begin{array}{ll}\left({{E}}_{0,x}^{\zeta ,\eta }f\right)(x)=\frac{x^{-\zeta -\eta }}{\Gamma (\zeta )}{\displaystyle {\int }_0^x{(x-t)}^{\zeta -1}}{t}^{\eta }f(t)dt,(\Re (\zeta )>0)& (1.26)\end{array}$

and

$\begin{array}{ll}\left({{K}}_{x,\infty }^{\zeta ,\eta }f\right)(x)=\frac{x^{\eta }}{\Gamma (\zeta )}{\displaystyle {\int }_x^{\infty }{(t-x)}^{\zeta -1}}{t}^{-\zeta -\eta }f(t)dt,(\Re (\zeta )>0),& (1.27)\end{array}$

The function f(t) is constrained so that both the defining integrals (1.26) and (1.27) converge.

The Beta transform (see, e.g.[23]) of a complex valued function f(t) of a real variable t is defined as follows:

$\begin{array}{l}B\{f(t):a,b\}=\underset{0}{\overset{1}{{\displaystyle \int }}}{t}^{a-1}{(1-t)}^{b-1}f(t)dt,\hfill \\ \Re (t)>0,\Re (a),\Re (b)>0.\hfill & (1.28)\end{array}$

Beta transform of the power function t^χ−1 is given by:

$\begin{array}{ll}\begin{array}{l}B\{t^{\chi -1};a,b\}={{\displaystyle \int }}_0^1{t}^{a+\chi -2}{\left(1-t\right)}^{b-1}dt\hfill \\ =\frac{\Gamma (a+\chi -1)\Gamma (b)}{\Gamma (a+\chi +b-1)},\Re (t)>0,\Re (a),\Re (b)>0.\hfill \end{array}& (1.29)\end{array}$

The P_δ - transform of a complex valued function f(t) of a real variable t denoted by P_δ[f(t); s] is a function F(s) of a complex variable s, valid under certain conditions on f(t), (given below is defined as (see Kumar [24])

$\begin{array}{ll}{P}_{\delta }\left[f\left(t\right);s\right]=F\left(s\right)={{\displaystyle {\int }_0^{\infty }\left[1+\left(\delta -1\right)s\right]}}^{{}_{{}^{-}\frac{t}{\delta -1}}}f\left(t\right)dt,\delta >1.& (1.30)\end{array}$

Here f(t) as a function is integrable over any finite interval (a, b), 0 < a < t < b; there exists a real number c such that

(i) if b > 0 is arbitrary, then ${\int }_b^{{\rm Y}}{e}^{-ct}f(t)dz$ tends to a finite limit as Υ → ∞

(ii) for arbitrary a > 0, ${\int }_{\omega }^a|f(t)dt|$ tends to a finite limit as ω → 0+, then the P_δ-transform P_δ[f(t); s] exists for $\Re \left(\frac{ln\left[1+(\delta -1)s\right]}{\delta -1}\right)>c$ for s ∈ ℂ.

P_δ - transform of the power function t^χ−1 is given by

$\begin{array}{l}{P}_{\delta }[z^{\chi -1};s]={\left\{\frac{\delta -1}{\ln [1+(\delta -1)s]}\right\}}^{\chi }\Gamma (\chi ),\\ \chi \in ℂ,\Re (\chi )>0,\delta >1.& (1.31)\end{array}$

P_δ-transform has found many applications. The pathway transforms are the paths going from the binomial form ${ln\left[1+(\delta -1)s\right]}^{-\frac{t}{\delta -1}}$ to the exponential from e^−st. In P_δ-transform, the variable t is shifted from the binomial factor ${ln\left[1+(\delta -1)s\right]}^{-\frac{t}{\delta -1}}$ to the exponent, Hence, this form is more suitable for obtaining translation, convolution, etc. Recently, Agarwal et al. [25] found the solution of non-homogeneous time fractional heat equation and fractional Volterra integral equation using integral transform of pathway type. Also, Srivastava et al. [26] and [27] found some results involving generalized hypergeometric function and generalized incomplete gamma function by using P_δ-transform.

If we take δ → 1 in Equation (1.30), the P_δ-transform reduces to Laplace integral transform (Sneddon [23]):

$\begin{array}{ll}L\left[f(t);s\right]={\displaystyle \underset{0}{\overset{\infty }{\int }}{e}^{-ts}}f(t)dz;,\Re (s)>0.& (1.32)\end{array}$

The following relationship between the P_δ-transform is defined by (1.30) and the classical Laplace transform is defined by (1.32)

$\begin{array}{ll}{P}_{\delta }[f(t):s]=L\left[f(t):\frac{\ln [1+(\delta -1)s]}{\delta -1}\right],(\delta >1)& (1.33)\end{array}$

or, equivalently,

$\begin{array}{ll}L[f(t):s]=P_{\delta }\left[f(t):\frac{e^{(\delta -1)s}-1}{\delta -1}\right],(\delta >1),& (1.34)\end{array}$

which can be applied to convert the table of Laplace transforms into the corresponding table of P_δ-transforms and vice versa.

The following integral formula involving the Whittaker function (see Mathai et al. [16, p. 56]) is used in finding the image formula:

$\begin{array}{l}{\displaystyle \underset{0}{\overset{\infty }{\int }}{t}^{\tau -1}}{e}^{-\frac{1}{2}}{W}_{\sigma ,\eta }(t)dt=\frac{\Gamma (\tau +\eta +\frac{1}{2})\Gamma (\tau -\eta +\frac{1}{2})}{\Gamma (\tau -\sigma +\frac{1}{2})},\\ (\sigma \in ℂ,\Re (\tau \pm \eta )>-1/2).& (1.35)\end{array}$

The Whittaker function (see e.g., Mathai et al. [16, p. 22]) is defined by

$\begin{array}{l}{W}_{\sigma ,\eta }(z)=\frac{\Gamma (-2\eta )}{\Gamma (\frac{1}{2}-\sigma -\eta )}{M}_{\sigma ,\eta }(z)+\frac{\Gamma (2\eta )}{\Gamma (\frac{1}{2}-\sigma +\eta )}{M}_{\sigma ,-\eta }(z)\\ =W_{\sigma ,-\eta }(z),\\ \sigma \in ℂ,\Re (1/2+\eta \pm \sigma )>0& (1.36)\end{array}$

where

$\begin{array}{l}{M}_{\sigma ,\eta }(z)=z^{\eta +\frac{1}{2}}{e}^{-\frac{z}{2}}{}_1{F}_1\left(\frac{1}{2}-\sigma +\eta ;2\eta +1;z\right),\\ \Re (1/2+\eta \pm \sigma )>0,\left|argz\right|<\pi .& (1.37)\end{array}$

2. Image Formula Associated With Fractional Integral Operators

Here, we establish image formulas for the generalized Lommel–Wright function involving Saigo-Maeda fractional integral operators (1.10) and (1.11), in terms of the Fox–Wright function.

Theorem 2.1. Let ζ, ζ′, ϱ, ϱ′, κ, ϑ ∈ ℂ, m ∈ ℕ, φ > 0 and x > 0 be such that

$\begin{array}{l}\Re (\kappa )>0,\Re (\omega )>-1,\\ \Re (\chi +\omega )>\max \{0,\Re (\zeta +{\zeta }^{\prime }+\varrho -\kappa ),\Re ({\zeta }^{\prime }-{\varrho }^{\prime })\}& (2.1)\end{array}$

then there holds the formula

$\begin{array}{l}{I}_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left[t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(tz)\right](x)=x^{A-\zeta -{\zeta }^{\prime }+\kappa -1}{\left(\frac{z}{2}\right)}^{\omega +2\vartheta }\\ {}_4{\psi }_{4+m}\left[\begin{array}{c}(A,2),(A+\kappa -\zeta -{\zeta }^{\prime }-\varrho ,2),(A+{\varrho }^{\prime }-{\zeta }^{\prime },2),(1,1)\\ (A+{\varrho }^{\prime },2),(A+\kappa -\zeta -{\zeta }^{\prime },2),(A+\kappa -{\zeta }^{\prime }-\varrho ,2),(\omega +\vartheta +1,\phi ),\underset{m-times}{\underbrace{(\vartheta +1,1)}}{\displaystyle |}-\frac{{(zx)}^2}{4}\end{array}\right]& (2.2)\end{array}$

where A = χ + ω + 2ϑ.

Proof: Under the conditions stated with the Theorem 2.1, by taking the fractional integral of (1.1) using the equation (1.10) therein and changing the order of integration and summation, we get

$\begin{array}{l}{I}_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left[t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(tz)\right](x)\\ ={\displaystyle \sum _{k=0}^{\infty }\frac{{(-1)}^k{(\frac{z}{2})}^{\omega +2\vartheta +2k}\Gamma (k+1)}{{(\Gamma (\vartheta +k+1))}^m\Gamma (\omega +k\phi +\vartheta +1)k!}}\\ \times I_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left(t^{\omega +2\vartheta +2k+\chi -1}\right)(x)& (2.3)\end{array}$

Further, applying the result (1.12) with χ replaced by χ + ω + 2ϑ + 2k, we obtain

$\begin{array}{l}{I}_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left[t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(tz)\right](x)\\ =x^{A-\zeta -{\zeta }^{\prime }+\kappa -1}{\left(\frac{z}{2}\right)}^{\omega +2\vartheta }{\displaystyle \sum _{k=0}^{\infty }\frac{{(-1)}^k\Gamma (A+2k)\Gamma (k+1)}{\Gamma (A+{\varrho }^{\prime }+2k){(\Gamma (\vartheta +1+k))}^m}}\\ \times \frac{\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }-\varrho +2k)\Gamma (A+{\varrho }^{\prime }-{\zeta }^{\prime }+2k)}{\Gamma (A+\kappa -{\zeta }^{\prime }-\varrho +2k)\Gamma (\omega +\vartheta +1+\phi k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }+2k)}\\ \times \frac{{(zx)}^{2k}}{4^{k}k!}& (2.4)\end{array}$

Here A = χ + ω + 2ϑ.

Interpreting the right-hand side of the above equation, in view of the definition (1.2), we arrive at the result (2.2).

Theorem 2.2. Let ζ, ζ′, ϱ, ϱ′, κ, ϑ ∈ ℂ, m ∈ ℕ, φ > 0 and x > 0 be such that

$\begin{array}{l}\Re (\kappa )>0,\Re (\omega )>-1,\\ \Re (\chi -\omega )>1+\min \{\Re (-\varrho ),\Re (\zeta +{\zeta }^{\prime }-\kappa ),\Re (\zeta +{\varrho }^{\prime }-\kappa )\}& (2.5)\end{array}$

then there holds the formula

$\begin{array}{l}{I}_{0-}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left[t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(z/t)\right](x)=x^{\kappa -\zeta -{\zeta }^{\prime }-A}{\left(\frac{z}{2}\right)}^{\omega +2\vartheta }\\ {}_4{\psi }_{4+m}\left[\begin{array}{c}(A-\kappa +\zeta +{\zeta }^{\prime },2),(A+\zeta +{\varrho }^{\prime }-\kappa ,2),\\ (A-\varrho ,2),(1,1)\\ (A,2)(A+\zeta +{\zeta }^{\prime }+{\varrho }^{\prime }-\kappa ,2),(A+\zeta -\varrho ,2),\\ (\omega +\vartheta +1,\phi ),\underset{m-times}{\underbrace{(\vartheta +1,1)}}\end{array}|-\frac{z^2}{4x^2}\right]& (2.6)\end{array}$

where A = 1 − χ + ω + 2ϑ.

Proof: Under the conditions stated with the Theorem 2.2, on making use of the definitions (1.11) and (1.1) and changing the order of integration and summation, we have

$\begin{array}{l}{I}_{0-}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left[t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(z/t)\right](x)\\ ={\displaystyle \sum _{k=0}^{\infty }\frac{{(-1)}^k{(\frac{z}{2})}^{\omega +2\vartheta +2k}\Gamma (k+1)}{{(\Gamma (\vartheta +k+1))}^m\Gamma (\omega +k\phi +\vartheta +1)k!}}\\ \times I_{0-}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left(t^{\chi -\omega -2\vartheta -2k-1}\right)(x)& (2.7)\end{array}$

Here, on applying the formula (1.13) with χ replaced by χ − ω − 2ϑ − 2k, we obtain

$\begin{array}{l}{I}_{0-}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left[t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(z/t)\right](x)\\ =x^{\kappa -\zeta -{\zeta }^{\prime }-A}{\left(\frac{z}{2}\right)}^{\omega +2\vartheta }{\displaystyle \sum _{k=0}^{\infty }\frac{{(-1)}^k\Gamma (A-\varrho +2k)}{\Gamma (A+2k){(\Gamma (\vartheta +k+1))}^m}}\\ \times \frac{\Gamma (k+1)\Gamma (A-\kappa +\zeta +{\zeta }^{\prime }+2k)\Gamma (A+\zeta +{\varrho }^{\prime }-\kappa +2k)}{\Gamma (A+\zeta -\varrho +2k)\Gamma (\omega +k\phi +\vartheta +1)\Gamma (A+\zeta +{\zeta }^{\prime }+{\varrho }^{\prime }-\kappa +2k)}\\ \times \frac{{(z)}^{2k}}{{(4x^2)}^{k}k!}& (2.8)\end{array}$

where A = 1 − χ + ω + 2ϑ.

So in view of the definition of the generalized Lommel–Wright function given by (1.1), the Equation (2.8) leads to the result (2.6).

For m = 1 and in the light of Equation (1.3), Theorem 2.1 leads to the following corollaries:

Corollary 2.1. Under the conditions stated with the Equation (2.1), the following image formula

$\begin{array}{l}{I}_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left[t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,1}(zt)\right](x)=x^{A-\zeta -{\zeta }^{\prime }+\kappa -1}{\left(\frac{z}{2}\right)}^{\omega +2\vartheta }\\ {\times }_4{\psi }_5\left[\begin{array}{c}(A,2),(A+\kappa -\zeta -{\zeta }^{\prime }-\varrho ,2),\\ (A+{\varrho }^{\prime }-{\zeta }^{\prime },2),(1,1)\\ (A+{\varrho }^{\prime },2),(A+\kappa -\zeta -{\zeta }^{\prime },2),(A+\kappa -{\zeta }^{\prime }-\varrho ,2),\\ (\omega +\vartheta +1,\phi ),(\vartheta +1,1)\end{array}|-\frac{{\left(zx\right)}^2}{4}\right]\\ & (2.9)\end{array}$

A = χ + ω + 2ϑ, for generalized Bessel function $J_{\omega ,\vartheta }^{\phi ,1}(zt)$ holds true.

Corollary 2.2. Under the conditions stated with the Equation (2.5), the image formula

$\begin{array}{l}{I}_{0-}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left[t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,1}(z/t)\right](x)\\ =x^{\kappa -\zeta -{\zeta }^{\prime }-A}{\left(\frac{z}{2}\right)}^{\omega +2\vartheta }\\ {\times }_4{\psi }_5\left[\begin{array}{c}(A-\kappa +\zeta +{\zeta }^{\prime },2),(A+\zeta +{\varrho }^{\prime }-\kappa ,2),\\ (A-\varrho ,2),(1,1)\\ (A,2)(A+\zeta +{\zeta }^{\prime }+{\varrho }^{\prime }-\kappa ,2),(A+\zeta -\varrho ,2),\\ (\omega +\vartheta +1,\phi ),(\vartheta +1,1)\end{array}|-\frac{z^2}{4x^2}\right]& (2.10)\end{array}$

A = 1 − χ + ω + 2ϑ, for generalized Bessel function $J_{\omega ,\vartheta }^{\phi ,1}(z/t)$ holds true.

If we take m = 1, φ = 1, and $\vartheta =\frac{1}{2}$ in (2.2), then we obtain the corresponding results for the Struve function H_ω(·) [16] as

Corollary 2.3. Under the conditions stated with the Equation (2.1), the following image formula

$\begin{array}{l}{I}_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left[t^{\chi -1}{H}_{\omega }(zt)\right](x)\\ =x^{A-\zeta -{\zeta }^{\prime }+\kappa -1}{\left(\frac{z}{2}\right)}^{\omega +1}\\ {\times }_4{\psi }_5\left[\begin{array}{c}(A,2),(A+\kappa -\zeta -{\zeta }^{\prime }-\varrho ,2),\\ (A+{\varrho }^{\prime }-{\zeta }^{\prime },2),(1,1)\\ (A+{\varrho }^{\prime },2),(A+\kappa -\zeta -{\zeta }^{\prime },2),\\ (A+\kappa -{\zeta }^{\prime }-\varrho ,2),(\omega +\frac{3}{2},1),(\frac{3}{2},1)\end{array}|-\frac{{\left(zx\right)}^2}{4}\right]& (2.11)\end{array}$

A = χ + ω + 1, for Struve function H_ω(zt) holds true.

Corollary 2.4. Under the conditions stated with the Equation (2.5), the following image formula

$\begin{array}{l}{I}_{0-}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left[t^{\chi -1}{H}_{\omega }(z/t)\right](x)\\ =x^{\chi -\omega -\zeta -{\zeta }^{\prime }+\kappa -2}{\left(\frac{z}{2}\right)}^{\omega +1}\\ {\times }_4{\psi }_5\left[\begin{array}{c}(A-\kappa +\zeta +{\zeta }^{\prime },2),(A+\zeta +{\varrho }^{\prime }-\kappa ,2),\\ (A-\varrho ,2),(1,1)\\ (A,2)(A+\zeta +{\zeta }^{\prime }+{\varrho }^{\prime }-\kappa ,2),(A+\zeta -\varrho ,2),\\ (\omega +\frac{3}{2},1),(\frac{3}{2},1)\end{array}|-\frac{z^2}{4x^2}\right]& (2.12)\end{array}$

where A = 2 − χ + ω, for Struve function H_ω(z/t) holds true.

2.1. Special Cases

(1) On taking φ = 1, m = 1, ϑ = 0, and z = 1 in Theorem 2.1, we obtain the image formula for the Bessel function considered by Purohit et al. [28, Theorem 1].

Corollary 2.5. Under the conditions stated with the Equation (2.1), the following image formula

$\begin{array}{l}{I}_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left[t^{\chi -1}{J}_{\omega }(t)\right](x)\\ =\frac{x^{\chi +\omega -\zeta -{\zeta }^{\prime }+\kappa -1}}{2^{\omega }}\\ {\times }_3{\psi }_4\left[\begin{array}{l}(\chi +\omega ,2),(\chi +\omega +\kappa -\zeta -{\zeta }^{\prime }-\varrho ,2),\\ (\chi +\omega +{\varrho }^{\prime }-{\zeta }^{\prime },2)\\ (\chi +\omega +{\varrho }^{\prime },2),(\chi +\omega +\kappa -\zeta -{\zeta }^{\prime },2),\\ (\chi +\omega +\kappa -{\zeta }^{\prime }-\varrho ,2),(\omega +1,1)\end{array}|-\frac{x^2}{4}\right]& (2.13)\end{array}$

for Bessel function J_ω(t) holds true.

(2) Further, on taking φ = 1, m = 1, and ϑ = 0 in Theorem 2.2, we arrive the right-sided image formula for the Bessel function considered by Purohit et al. [28, Theorem 2].

Corollary 2.6. Under the conditions stated with the Equation (2.5), the image formula

$\begin{array}{l}{I}_{0-}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left[t^{\chi -1}{J}_{\omega }(1/t)\right](x)\\ =\frac{x^{\kappa -\zeta -{\zeta }^{\prime }-1+\chi -\omega }}{2^{\omega }}\\ {\times }_3{\psi }_4\left[\begin{array}{c}(1-\chi +\omega -\kappa +\zeta +{\zeta }^{\prime },2),(1-\chi +\omega +\zeta +{\varrho }^{\prime }-\kappa ,2),(1-\chi +\omega -\varrho ,2)\\ (1-\chi +\omega ,2)(1-\chi +\omega +\zeta +{\zeta }^{\prime }+{\varrho }^{\prime }-\kappa ,2),(1-\chi +\omega +\zeta -\varrho ,2),(\omega +1,1)\end{array}|-\frac{1}{4x^2}\right]& (2.14)\end{array}$

for Bessel function J_ω(1/t) holds true.

3. Image Formulas Associated With Integral Transforms

In this section, we obtain the theorem involving the results obtained in previous sections associated with the integral transforms such as Beta transform, pathway transform, Laplace transform, and Whittaker transform.

3.1. Image Formulas for Beta Transform

Theorem 3.1. Let ζ, ζ′, ϱ, ϱ′, κ, ϑ ∈ ℂ, m ∈ ℕ, φ > 0, and x > 0 be such that

$\begin{array}{l}\Re (l)>0,\Re (n)>0\Re (\kappa )>0,\Re (\omega )>-1,\\ \Re (\chi +\omega )>\max \{0,\Re (\zeta +{\zeta }^{\prime }+\varrho -\kappa ),\Re ({\zeta }^{\prime }-{\varrho }^{\prime })\}& (3.1)\end{array}$

then the following Beta transform formula holds:

$\begin{array}{l}B\left[I_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left(t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(tz)\right)(x):l,n\right]\\ =\frac{x^{A-\zeta -{\zeta }^{\prime }+\kappa -1\Gamma (n)}}{2^{\omega +2\vartheta }}\\ {}_5{\psi }_{5+m}\left[\begin{array}{l}(A,2),(A+\kappa -\zeta -{\zeta }^{\prime }-\varrho ,2),\\ (A+{\varrho }^{\prime }-{\zeta }^{\prime },2),(C-n,2)(1,1)\\ (A+{\varrho }^{\prime },2),(A+\kappa -\zeta -{\zeta }^{\prime },2),(A+\kappa -{\zeta }^{\prime }-\varrho ,2),\\ (\omega +\vartheta +1,\phi ),(C,2),\underset{m-times}{\underbrace{(\vartheta +1,1)}}\end{array}|-\frac{x^2}{4}\right]& (3.2)\end{array}$

Here A = χ + ω + 2ϑ and C = l + ω + 2ϑ + n.

Proof: For our convenience, let the left-hand side of the formula (3.2) be denoted by ς. Applying (1.28) to Equation (3.2), we get

$\varsigma ={\displaystyle {\int }_0^1}{z}^{l-1}{(1-z)}^{n-1}\left[I_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left(t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(tz)\right)(x)\right]dz.$

Here, applying Equation (2.2) to the integral, we obtain the following expression

$\begin{array}{l}\varsigma ={\displaystyle {\int }_0^1{z}^{l-1}}{(1-z)}^{n-1}{z}^{\omega +2\vartheta }\frac{x^{A-\zeta -{\zeta }^{\prime }+\kappa -1}}{2^{\omega +2\vartheta }}\\ \times {\displaystyle \sum _{k=0}^{\infty }\frac{{(-1)}^k\Gamma (A+2k)\Gamma (k+1)}{\Gamma (A+{\varrho }^{\prime }+2k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }+2k)}}\\ \times \frac{\Gamma (A+{\varrho }^{\prime }-{\zeta }^{\prime }+2k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }-\varrho +2k)}{\Gamma (A+\kappa -{\zeta }^{\prime }-\varrho +2k)\Gamma (\omega +\vartheta +1+\phi k){(\Gamma (\vartheta +1+k))}^m}\\ \times \frac{{(z{x}^2)}^k}{4^{k}k!}dz\end{array}$

Here A = χ + ω + 2ϑ.

Interchanging the order of integration and summation, we have

$\begin{array}{l}\varsigma =\frac{x^{A-\zeta -{\zeta }^{\prime }+\kappa -1}}{2^{\omega +2\vartheta }}{\displaystyle \sum _{k=0}^{\infty }}\frac{\Gamma (A+2k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }-\varrho +2k)}{\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }+2k)\Gamma (A+\kappa -{\zeta }^{\prime }-\varrho +2k)}\hfill \\ \times \frac{\Gamma (A+{\varrho }^{\prime }-{\zeta }^{\prime }+2k)\Gamma (k+1){(-1)}^k}{\Gamma (A+{\varrho }^{\prime }+2k)\Gamma (\omega +\vartheta +1+\phi k){(\Gamma (\vartheta +1+k))}^m}\frac{{(x^2)}^k}{4^{k}k!}\times {{\displaystyle \int }}_0^1{z}^{l+\omega +2\vartheta +2k-1}{\left(1-z\right)}^{n-1}dz\hfill \\ =\frac{x^{A-\zeta -{\zeta }^{\prime }+\kappa -1}}{2^{\omega +2\vartheta }}{\displaystyle \sum _{k=0}^{\infty }}\frac{\Gamma (l+\omega +2\vartheta +2k)\Gamma (n)\Gamma (A+2k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }-\varrho +2k)}{\Gamma (l+\omega +2\vartheta +2k+n)\Gamma (A+{\varrho }^{\prime }+2k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }+2k)}\hfill \\ \times \frac{\Gamma (A+{\varrho }^{\prime }-{\zeta }^{\prime }+2k)\Gamma (k+1)}{\Gamma (A+\kappa -{\zeta }^{\prime }-\varrho +2k)\Gamma (\omega +\vartheta +1+\phi k){(\Gamma (\vartheta +1+k))}^m}\times \frac{{(-x^2)}^k}{4^{k}k!}\hfill & (3.3)\end{array}$

Interpreting the right-hand side of the above equation, in the view of the definition (1.2), we arrive at the required result (3.2).

Theorem 3.2. Let ζ, ζ′, ϱ, ϱ′, κ, ϑ, ω ∈ ℂ, m ∈ ℕ, φ > 0, and x > 0 be such that

$\begin{array}{l}\Re (\kappa )>0,\Re (\omega )>-1,\Re (l)>0,\Re (n)>0,\\ \Re (\chi -\omega )>1+\min \{\Re (-\varrho ),\Re (\zeta +{\zeta }^{\prime }-\kappa ),\Re (\zeta +{\varrho }^{\prime }-\kappa )\}& (3.4)\end{array}$

then the following Beta transform formula holds:

$\begin{array}{l}B\left[I_{0-}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left(t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(z/t)\right)(x):l,n\right\}\\ =\frac{x^{\kappa -\zeta -{\zeta }^{\prime }-A}\Gamma (n)}{2^{\omega +2\vartheta }}\\ {\times }_5{\psi }_{5+m}\left[\begin{array}{l}(A-\kappa +\zeta +{\zeta }^{\prime },2),(A+\zeta +{\varrho }^{\prime }-\kappa ,2),\\ (A-\varrho ,2),(C-n,2),(1,1)\\ (A,2)(A+\zeta +{\zeta }^{\prime }+{\varrho }^{\prime }-\kappa ,2),(A+\zeta -\varrho ,2),\\ (\omega +\vartheta +1,\phi ),(C,2),\underset{m-times}{\underbrace{(\vartheta +1,1)}}\end{array}|-\frac{1}{4x^2}\right]& (3.5)\end{array}$

where A = 1 − χ + ω + 2ϑ and C = l + ω + 2ϑ + n.

Proof: The proof of the fractional integral formula (3.5) is similar to the proof of the formula (3.2) given in Theorem 3.1.

Remark 3.1.

(1) For m = 1, Theorem 3.1 and Theorem 3.2 leads to the corresponding results for fractional integral of generalized Bessel function defined by (1.3).

(2) If we take m = 1, φ = 1, and $\vartheta =\frac{1}{2}$ in (3.2) and (3.5), we get the corresponding results for fractional integral of Struve function defined in (1.4).

(3) On taking m = 1, φ = 1, and ϑ = 0, in (3.2) and (3.5), we get the results for fractional integral of Bessel function defined in (1.5).

3.2. Image Formulas for P_δ-Transform

Theorem 3.3. Let ζ, ζ′, ϱ, ϱ′, κ, χ, ϑ ∈ ℂ, m ∈ ℕ, φ > 0, ℜ(χ) > 0, ℜ(s) > 0, δ > 1, and x > 0 be such that

$\begin{array}{l}\Re (\kappa )>0,\Re (\omega )>-1,\Re (s)>0,\\ \Re (\chi +\omega )>\max \{0,\Re (\zeta +{\zeta }^{\prime }+\varrho -\kappa ),\Re ({\zeta }^{\prime }-{\varrho }^{\prime })\}& (3.6)\end{array}$

then the following P_δ-transform formula holds:

$\begin{array}{l}{P}_{\delta }\left[z^{l-1}\left(I_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }{t}^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(tz)\right)(x):s\right]\\ ={\left(\Lambda (\delta ;s)\right)}^{l+\omega +2\vartheta }\frac{x^{A-\zeta -{\zeta }^{\prime }+\kappa -1}}{2^{\omega +2\vartheta }}\\ {\times }_5{\psi }_{4+m}\left[\begin{array}{l}(A,2),(A+\kappa -\zeta -{\zeta }^{\prime }-\varrho ,2),\\ (A+{\varrho }^{\prime }-{\zeta }^{\prime },2),(l+\omega +2\vartheta ,2),(1,1)\\ (A+{\varrho }^{\prime },2),(A+\kappa -\zeta -{\zeta }^{\prime },2),\\ (A+\kappa -{\zeta }^{\prime }-\varrho ,2),\\ (\omega +\vartheta +1,\phi ),\underset{m-times}{\underbrace{(\vartheta +1,1)}}\end{array}|-\frac{{\left(\Lambda (\delta ;s)x\right)}^2}{4}\right]& (3.7)\end{array}$

where A = χ + ω + 2ϑ and $\Lambda (\delta ;s)=\left(\frac{\delta -1}{ln\left[1+(\delta -1)s\right]}\right).$

Proof: For our convenience, we let the left-hand side of the formula (3.7) be denoted as Ξ. Applying (1.30) to Equation (3.2) we get,

$\Xi ={{\displaystyle {\int }_0^{\infty }\left[1+\left(\delta -1\right)s\right]}}^{-\frac{z}{\delta -1}}{z}^{l-1}{I}_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left(t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(tz)\right)(x)]dz$

Here, applying Equation (2.4) to the integral, we obtain the following expression:

$\begin{array}{l}\Xi =\frac{xA-\zeta -{\zeta }^{\prime }+\kappa -1}{2^{\omega +2\vartheta }}{\displaystyle \sum _{k=0}^{\infty }\frac{{(-1)}^k\Gamma (A+2k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }-\varrho +2k)}{\Gamma (A+{\varrho }^{\prime }+2k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }+2k)\Gamma (A+\kappa -{\zeta }^{\prime }-\varrho +2k)}}\\ \frac{\Gamma (A+{\varrho }^{\prime }-{\zeta }^{\prime }+2k)\Gamma (k+1)}{\Gamma (\omega +\vartheta +1+\phi k){(\Gamma (\vartheta +1+k))}^m}\frac{{(x)}^{2k}}{4^{k}k!}\times {\displaystyle {\int }_0^{\infty }{[1+(\delta -1)s]}^{-\frac{z}{\delta -1}}{z}^{\omega +2\vartheta +2k+l-1}dz}\end{array}$

Here making use of the result (1.31) and interchanging the order of integration and summation, we obtain,

$\begin{array}{l}\Xi ={\left(\Lambda (\delta ;s)\right)}^{l+\omega +2\vartheta }\frac{x^{A-\zeta -{\zeta }^{\prime }+\kappa -1}}{2^{\omega +2\vartheta }}{\displaystyle \sum _{k=0}^{\infty }\frac{\Gamma (A+2k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }-\varrho +2k)}{\Gamma (A+{\varrho }^{\prime }+2k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }+2k)}}\\ \times \frac{\Gamma (\omega +2\vartheta +2k+l)\Gamma (A+{\varrho }^{\prime }-{\zeta }^{\prime }+2k)\Gamma (k+1){(-1)}^k}{\Gamma (A+\kappa -{\zeta }^{\prime }-\varrho +2k)\Gamma (\omega +\vartheta +1+\phi k){(\Gamma (\vartheta +1+k))}^m}\frac{{\{\Lambda (\delta ;s)x\}}^{2k}}{4^{k}k!}& (3.8)\end{array}$

where A = χ + ω + 2ϑ and $\Lambda (\delta ;s)=\left(\frac{\delta -1}{ln\left[1+(\delta -1)s\right]}\right).$

In view of the definition (1.2), we arrive at the required result (3.7).

Theorem 3.4. Let ζ, ζ′, ϱ, ϱ′, κ, ϑ ∈ ℂ, m ∈ ℕ, φ > 0ℜ(χ) > 0, ℜ(s) > 0, δ > 1, and x > 0 be such that

$\begin{array}{l}\Re (\kappa )>0,\Re (\omega )>-1,\Re (s)>0,\\ \Re (\chi -\omega )>1+\min \{\Re (-\varrho ),\Re (\zeta +{\zeta }^{\prime }-\kappa ),\Re (\zeta +{\varrho }^{\prime }-\kappa )\}& (3.9)\end{array}$

then the following P_δ- transform formula holds:

$\begin{array}{l}{P}_{\delta }\left(z^{l-1}\left[I_{0-}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }{t}^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(z/t)\right](x):s\right)\\ ={\left(\Lambda (\delta ;s)\right)}^{l+\omega +2\vartheta }\frac{x^{\chi -\omega -2\vartheta -\zeta -{\zeta }^{\prime }+\kappa -1}}{2^{\omega +2\vartheta }}\\ {\times }_5{\psi }_{4+m}\left[\begin{array}{l}(A-\kappa +\zeta +{\zeta }^{\prime },2),(A+\zeta +{\varrho }^{\prime }-\kappa ,2),\\ (A-\varrho ,2),(l+\omega +2\vartheta ,2),(1,1)\\ (A,2)(A+\zeta +{\zeta }^{\prime }+{\varrho }^{\prime }-\kappa ,2),(A+\zeta -\varrho ,2),\\ (\omega +\vartheta +1,\phi ),\underset{m-times}{\underbrace{(\vartheta +1,1)}}\end{array}|-\frac{{\{\Lambda (\delta ;s)\}}^2}{4x^2}\right]& (3.10)\end{array}$

where A = 1 − χ + ω + 2ϑ and $\Lambda (\delta ;s)=\left\{\frac{\delta -1}{ln\left[1+(\delta -1)s\right]}\right\}$.

Proof: Our demonstration of the P_δ-transform of generalized Lommel–Wright function (3.10) is based upon the known result (2.6).

A limit case of the Theorems 3.3 and 3.4 when δ → 1 yields the following corollaries for the Laplace transform in view of the (1.32).

Corollary 3.1. Under the conditions stated with the Equation (3.6), the following Laplace transform formula holds true:

$\begin{array}{l}{P}_{\delta }\left(z^{l-1}\left(I_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }{t}^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(tz)\right)(x):s\right)=\frac{x^{A-\zeta -{\zeta }^{\prime }+\kappa -1}}{s^l{2}^{\omega +2\vartheta }}\\ {\times }_5{\psi }_{4+m}\left[\begin{array}{l}(A,2),(A+\kappa -\zeta -{\zeta }^{\prime }-\varrho ,2),(A+{\varrho }^{\prime }-{\zeta }^{\prime },2),\\ (l+\omega +2\vartheta ,2),(1,1)\\ (A+{\varrho }^{\prime },2),(A+\kappa -\zeta -{\zeta }^{\prime },2),(A+\kappa -{\zeta }^{\prime }-\varrho ,2),\\ (\omega +\vartheta +1,\phi ),\underset{m-times}{\underbrace{(\vartheta +1,1)}}\end{array}|-\frac{x^2}{s^{2l}4}\right]& (3.11)\end{array}$

where A = χ + ω + 2ϑ.

Corollary 3.2. Under the conditions stated with the Equation (3.9), the following Laplace transform formula holds true:

$\begin{array}{l}{P}_{\delta }\left(z^{l-1}\left[I_{0-}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }{t}^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(z/t)\right](x):s\right)=\frac{x^{\chi -\omega -2\vartheta -\zeta -{\zeta }^{\prime }+\kappa -1}}{s^l{2}^{\omega +2\vartheta }}\\ {\times }_5{\psi }_{4+m}\left[\begin{array}{l}(A-\kappa +\zeta +{\zeta }^{\prime },2),(A+\zeta +{\varrho }^{\prime }-\kappa ,2),\\ (A-\varrho ,2),(l+\omega +2\vartheta ,2),(1,1)\\ (A,2)(A+\zeta +{\zeta }^{\prime }+{\varrho }^{\prime }-\kappa ,2),(A+\zeta -\varrho ,2),\\ (\omega +\vartheta +1,\phi ),\underset{m-times}{\underbrace{(\vartheta +1,1)}}\end{array}|-\frac{1}{s^{2l}4x^2}\right]& (3.12)\end{array}$

where A = 1 − χ + ω + 2ϑ.

Remark 3.2.

(1) On taking m = 1, Theorems 3.3 and 3.4 lead to the P_δ-transform formulas for fractional integrals of generalized Bessel function.

(2) A limit case of the Theorems 3.3 and 3.4, when δ → 1 and m = 1, yields the Laplace transform formulas for fractional integrals of generalized Bessel function.

(3) On taking m = 1, φ = 1, and $\vartheta =\frac{1}{2}$, Theorems 3.3 and 3.4 yield the P_δ-transform formulas for fractional integrals of Struve function.

(4) A limit case of Theorem 3.3 and 3.4, when δ → 1 and m = 1, φ = 1, and $\vartheta =\frac{1}{2}$, yield the Laplace transform formulas for fractional integrals of Struve function.

(5) On taking m = 1, φ = 1, and ϑ = 0, Theorem 3.3 and 3.4 yield the corresponding results for fractional integrals of Bessel function.

(6) A limit case of Theorem 3.3 when δ → 1 and m = 1, φ = 1, and ϑ = 0 yield the corresponding Laplace transform formulas for fractional integrals of Bessel function.

3.3. Image Formulas for Whittaker Transform

Theorem 3.5. Let ζ, ζ′, ϱ, ϱ′, κ, ϑ, η, σ ∈ ℂ, m ∈ ℕ, φ > 0, and x > 0 be such that

$\begin{array}{l}\Re (\kappa )>0,\Re (\omega )>-1,\Re (\tau \pm \eta )>-1/2,\\ \Re (\chi +\omega )>\max \{0,\Re (\zeta +{\zeta }^{\prime }+\varrho -\kappa ),\Re ({\zeta }^{\prime }-{\varrho }^{\prime })& (3.13)\end{array}$

then the following Whittaker transform formula holds:

$\begin{array}{c}{\displaystyle {\int }_0^{\infty }{z}^{\sigma -1}}{e}^{-z/2}\left[W_{\sigma ,\eta }{I}_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left(t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(zt)\right)(x)\right]dz\\ =\frac{x^{A-\zeta -{\zeta }^{\prime }+\kappa -1}}{2^{\omega +2\vartheta }}\\ {}_6{\psi }_{5+m}\left[\begin{array}{l}(A,2),(A+\kappa -\zeta -{\zeta }^{\prime }-\varrho ,2),(A+{\varrho }^{\prime }-{\zeta }^{\prime },2),\\ (E+\eta ,2),(E-\eta ,2),(1,1)\\ (A+{\varrho }^{\prime },2),(A+\kappa -\zeta -{\zeta }^{\prime },2),(A+\kappa -{\zeta }^{\prime }-\varrho ,2),\\ (\omega +\vartheta +1,\phi ),(E-\sigma ,2),\underset{m-times}{\underbrace{(\vartheta +1,1)}}\end{array}|-\frac{x^2}{4}\right]& (3.14)\end{array}$

where A = χ + ω + 2ϑ and E = τ + ω + 2ϑ + 1/2.

Proof: For simplicity, let ϖ be the left-hand side of the formula (3.14). Applying (1.35) to Equation (3.14), we have

$\begin{array}{ll}\varpi ={\displaystyle {\int }_0^{\infty }{z}^{\sigma -1}}{e}^{-z/2}{W}_{\sigma ,\eta }\left[I_{0+}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }\left(t^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(zt)\right)(x)\right]dz.& (3.15)\end{array}$

Here, applying Equation (2.2) to the integral, we obtain the following expression:

$\begin{array}{l}\varpi ={\displaystyle {\int }_0^{\infty }{z}^{\sigma +\omega +2\vartheta -1}}{e}^{-z/2}{W}_{\sigma ,\eta }\\ [\frac{x^{A-\zeta -{\zeta }^{\prime }+\kappa -1}}{2^{\omega +2\vartheta }}{\displaystyle \sum _{k=0}^{\infty }\frac{\Gamma (A+2k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }-\varrho +2k)}{\Gamma (A+{\varrho }^{\prime }+2k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }+2k)}}\\ \\ \times \frac{\times \Gamma (A+{\varrho }^{\prime }-{\zeta }^{\prime }+2k)\Gamma (k+1){(-1)}^k}{\Gamma (A+\kappa -{\zeta }^{\prime }-\varrho +2k)\Gamma (\omega +\vartheta +1+\phi k){(\Gamma (\vartheta +1+k))}^m}\\ \times \frac{{(zx)}^{2k}}{4^{k}k!}]dz\end{array}$

where A = χ + ω + 2ϑ. Interchanging the order of integration and summation, we have

$\begin{array}{l}\varpi =\frac{x^{A-\zeta -{\zeta }^{\prime }+\kappa -1}}{2^{\omega +2\vartheta }}{\displaystyle \sum _{k=0}^{\infty }\frac{\Gamma (E+\eta +2k)\Gamma (E-\eta +2k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }-\varrho +2k)}{\Gamma (E-\sigma +2k)\Gamma (A+\kappa -{\zeta }^{\prime }-\varrho +2k)}}\\ \times \frac{{(-1)}^k\Gamma (A+2k)\Gamma (A+{\varrho }^{\prime }-{\zeta }^{\prime }+2k)\Gamma (k+1)}{\Gamma (A+{\varrho }^{\prime }+2k)\Gamma (A+\kappa -\zeta -{\zeta }^{\prime }+2k)\Gamma (\omega +\vartheta +1+\phi k){(\Gamma (\vartheta +1+k))}^m}\frac{x^{2k}}{4^{k}k!}& (3.16)\end{array}$

where A = χ + ω + 2ϑ and E = τ + ω + 2ϑ + 1/2.

Interpreting the right-hand side of the above equation, in view of the definition (1.2), we arrive at the required result (3.14).

Theorem 3.6. Let ζ, ζ′, ϱ, ϱ′, κ, ϑ, η, σ ∈ ℂ, m ∈ ℕ, φ > 0, and x > 0 be such that

$\begin{array}{l}\Re (\kappa )>0,\Re (\omega )>-1,\Re (\tau \pm n)>-1/2,\\ \Re (\chi -\omega )>1+\min \{\Re (-\varrho ),\Re (\zeta +{\zeta }^{\prime }-\kappa ),\Re (\zeta +{\varrho }^{\prime }-\kappa )\}& (3.17)\end{array}$

then there holds the formula

$\begin{array}{l}{\displaystyle {\int }_0^{\infty }{z}^{\sigma -1}}{e}^{-z/2}{W}_{\sigma ,\eta }\left[\left(I_{0-}^{\zeta ,{\zeta }^{\prime },\varrho ,{\varrho }^{\prime },\kappa }{t}^{\chi -1}{J}_{\omega ,\vartheta }^{\phi ,m}(zt)\right)(x)\right]dz\\ =\frac{x^{\chi -\omega -2\vartheta -\zeta -{\zeta }^{\prime }+\kappa -1}}{2^{\omega +2\vartheta }}\\ {}_6{\psi }_{5+m}\left[\begin{array}{l}(A-\kappa +\zeta +{\zeta }^{\prime },2),(A+\zeta +{\varrho }^{\prime }-\kappa ,2),\\ (A-\varrho ,2),(E+\eta ,2),(E-\eta ,2),(1,1)\\ (A,2)(A+\zeta +{\zeta }^{\prime }+{\varrho }^{\prime }-\kappa ,2),(A+\zeta -\varrho ,2),\\ (\omega +\vartheta +1,\phi ),(E-\sigma ,2),\underset{m-times}{\underbrace{(\vartheta +1)}}\end{array}|-\frac{1}{4x^2}\right]& (3.18)\end{array}$

where A = 1 − χ + ω + 2ϑ and E = τ + ω + 2ϑ + 1/2.

Proof: We can establish the result given in Theorem 3.6 similar to the proof of Theorem 3.5.

Remark 3.3.

(1) For m = 1, Theorems 3.5 and 3.6 lead to the corresponding results for fractional integral of generalized Bessel function defined in (1.3).

(2) If we take m = 1, φ = 1, and $\vartheta =\frac{1}{2}$, Theorems 3.5 and 3.6 yield the corresponding results for fractional integral of Struve function defined in (1.4).

(3) On taking m = 1, φ = 1, and ϑ = 0, Theorems 3.5 and 3.6 yield the corresponding results for fractional integral of Bessel function defined in (1.5).

4. Special Cases and Concluding Remarks

In this section, we consider some special cases of our main results involved in Theorems 2.1–3.6 which can be obtained by setting ζ′ = 0. These interesting corollaries of our results involve the Saigo fractional integral operators $I_{0,x}^{\zeta ,\varrho ,\eta }$ and $I_{x,\infty }^{\zeta ,\varrho ,\eta }$ and can be deduced from the Theorems 2.1–3.6 by appropriately applying the relationships given in the definitions (1.16) and (1.17). If we set ϱ = −ζ in the Theorems 2.1–3.6, then from the relationships (1.20) and (1.21) we obtain the corresponding results for the Riemann–Liouville and the Weyl fractional integral operators, respectively. Again, if we put ϱ = 0 in the Theorems 2.1–3.6, then from the relationships (1.24) and (1.25) we obtain the analogous results for Erdélyi-Kober type fractional integral operators.

In our present investigation, we establish the relationship between well-known fractional integral operators with novel integral transforms. The results obtained here are useful in deriving at various image formulas. The results presented here are very generic and can be specialized to give further potentially interesting and useful formulas involving fractional integral operators.

Author Contributions

RPA devised the problem and supervised the manuscript by adding various results to it. RA and SJ worked on the mathematics in the manuscript. DB provided guidance, checked all calculations, and suggested language modifications to the article paper.

Conflict of Interest Statement

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

References

1. Atangana A, Jain S. A new numerical approximation of the fractal ordinary differential equation. Eur Phys J Plus (2018) 133:37. doi: 10.1140/epjp/i2018-11895-1

CrossRef Full Text | Google Scholar

2. Jain S. Numerical analysis for the fractional diffusion and fractional Buckmaster's equation by two step Adam- Bashforth method. Eur Phys J Plus (2018) 133:19 doi: 10.1140/epjp/i2018-11854-x

CrossRef Full Text | Google Scholar

3. Agarwal R, Jain S, Agarwal RP. Analytic solution of generalized space time advection-dispersion equation with fractional Laplace operator. J Nonlinear Sci Appl. (2016) 9:3545–54. doi: 10.22436/jnsa.009.06.09

CrossRef Full Text | Google Scholar

4. Agarwal R, Jain S, Agarwal RP. Analytic solution of generalized space time fractional fraction diffusion equation. Fract Differ Calc. (2017) 7:169–84. doi: 10.7153/fdc-07-05

CrossRef Full Text | Google Scholar

5. Samko SG, Kilbas AA, Marichev OI. Fractional Integrals and Derivatives: Theory and Applications New York, NY: Gordon & Breach Science Publishers Inc. (1993).

Google Scholar

6. Saxena RK, Saigo M. Generalized fractional calculus of the H-function associated with the Appell function. J Frac Calc. (2001) 19:89–104.

7. Srivastava HM, Tomovski Z. Fractional calculus with an integral operator containing a generalized Mittag-Leffler function in the kernel. Appl Math Comput. (2009) 211:198–210. doi: 10.1016/j.amc.2009.01.055

CrossRef Full Text | Google Scholar

8. Srivastava HM, Saxena RK. Operators of fractional integration and their applications. Appl Math Comput. (2001) 118:1–52 doi: 10.1016/S0096-3003(99)00208-8

CrossRef Full Text | Google Scholar

9. Oteiza MBM, de Kalla S, Conde S. Un estudio sobre la funcition Lommel-Maitland. Rev Técnica Facult Ingenieria Univers Zulia (1986) 9:33–40.

10. Srivastava HM, Karlsson PW. Multiple Gaussian Hypergeometric Series. New York, NY; Chichester; Brisbane, QLD; Toronto, ON: Halsted Press; Ellis Horwood Limited; John Wiley and Sons (1985).

11. Kilbas AA, Srivastava HM, Trujillo JJ. Theory and Applications of Fractional Differential Equations. Amsterdem: Elsevier Science; North-Holland Mathematical Studies (2006).

12. Prieto AI, de Romero SS, Srivastava HM. Some fractional calculus results involving the generalized Lommel-Wright and related functions. Appl Math Lett. (2007) 20:17–22. doi: 10.1016/j.aml.2006.02.018

CrossRef Full Text | Google Scholar

13. Paneva-Konovska J. Theorems on the convergence of series in genearlized Lommel-Wright functions. Frac Cal Appl Anal. (2007) 10:60–74.

Google Scholar

14. Pathak RS. Certain convergence theorems and asymptotic properties of a generalization of Lommel and Maitland transformations. Proc Nat Acad Sci USA. (1966) A-36:81–6.

15. Kiryakova V. On two Saigo's fractional integral operators in the class of univalent functions. Fract Calc Appl Anal. (2006) 9:159–76.

Google Scholar

16. Mathai AM, Saxena RK, Haubold HJ. The H-Function Theory and Applications. New York, NY: Springer-Verlag (2010).

Google Scholar

17. Saigo M. A remark on integral operators involving the Gauss hypergeometric functions. Math Rep Kyushu Univ. (1978) 11:135–43.

Google Scholar

18. Saigo M. A certain boundary value problem for the Euler-Darboux equation I. Math Japonica (1979) 24:377–85.

Google Scholar

19. Marichev OI. Volterra equation of Mellin convolution type with a Horn function in the kernel (In Russian). Izv AN BSSR Ser Fiz -Mat Nauk (1974) 1:128–9.

20. Saigo M, Maeda N. More generalization of fractional calculus. In: Transform Methods and Special Functions. Varna: Bulgarian Academy of Science (1998).

21. Oldham KB, Spanier J. The Fractional Calculus: Theory and Applications of Differentiation and Integration of Arbitrary Order. New York, NY: Academic Press (1974).

Google Scholar

22. Kober H. On fractional integrals and derivatives. Quart J Math Oxford Ser. (1940) 11:193–212.

Google Scholar

23. Sneddon IN. The Use of Integral Transforms. New Delhi: Tata McGraw-Hill (1979).

Google Scholar

24. Kumar D. Solution of fractional kinetic equation by a class of integral transform of pathway type. J Math Phys. (2013) 54:043509. doi: 10.1063/1.4800768

CrossRef Full Text | Google Scholar

25. Agarwal R, Jain S, Agarwal RP. Solution of fractional Volterra integral equation and non-homogeneous time fractional heat equation using integral transform of pathway type. Progr Fract Differ Appl. (2015) 1:145–55. doi: 10.12785/pfda/010301

CrossRef Full Text | Google Scholar

26. Srivastava HM, Agarwal R, Jain S. Integral transform and fractional derivative formulas involving the extended generalized hypergeometric functions and probability distributions Math Methods Appl Sci. (2017) 40:255–73. doi: 10.1002/mma.3986

CrossRef Full Text | Google Scholar

27. Srivastava R, Agarwal R, Jain S. A family of the incomplete hypergeometric functions and associated integral transform and fractional derivative formulas. Filomat (2017) 31:125–40. doi: 10.2298/FIL1701125S

CrossRef Full Text | Google Scholar

28. Purohit SD, Suthar DL, Kalla SL. Marichev-Saigo-Maeda fractional integration operators of the Bessel functions. Matematiche (2012) 67:21–32.

Google Scholar