1 Introduction and preliminaries

The research on integral transforms involving special functions (see, e.g., [14, 6, 812, 19]) has received a considerable attention of the research community primarily because their application has made prominent contributions in several domains of mathematics, engineering and their applications in mathematical physics (see, e.g., [7, 15, 21, 22, 2730]). Among these special functions of mathematical physics, the Wright, the Bessel, and similar functions are of central importance and are fairly useful in the theory of integral and fractional calculus. To this end, a very little or no work on integral transforms involving Wright function has been done so far. In the main section, our focal point is to derive two essential theorems concerning integral transforms which will be used further, followed by related corollaries. In the last section, we specifically evaluate the Wright type auxiliary functions and some other deducible functions to derive a few results as special cases.

Now we recall some useful definitions of functions that are essential for the present investigation.

Definition 1.1

Wright introduced the classical Wright function \(W_{\alpha,\beta }(t)\) [13, 20], defined by the series representation

$$ W_{\alpha,\beta }(t)=\sum_{n=0}^{\infty } \frac{1}{\varGamma {(\alpha {n}+\beta )} }\frac{t^{n}}{n!} \quad(\beta \in \mathbb{C},\alpha > -1), $$
(1)

\(\forall \alpha \in \mathbb{R}\text{ and }\beta,\gamma,\delta \in \mathbb{C}; \alpha >-1, \delta \neq 0,-1,-2,\ldots,\text{ with }t \in \mathbb{C}\text{ and }|t| < 1\text{ with }\alpha =-1\), a further generalization of the Wright function (see, for details, [18]) was introduced as

$$ W_{\alpha,\beta }^{\gamma,\delta }(t)=\sum _{n=0}^{\infty } \frac{(\gamma )_{n}}{(\delta )_{n} \varGamma (\alpha {n}+\beta )} \frac{t^{n}}{n!}, $$
(2)

where \((\gamma )_{n}\) is the Pochhammer symbol (see [21] p. 2 and pp. 4–6) and \(\varGamma (\cdot)\) is the gamma function (see [21] Sect. 1.1), with the two auxiliary functions

$$ M_{\alpha }^{\gamma,\delta }(t)=W_{-\alpha,1-\alpha }^{\gamma,\delta }(-t)= \sum_{n=0}^{\infty } \frac{(\gamma )_{n}}{\varGamma {(1-\alpha -\alpha n)} (\delta )_{n}} \frac{(-t)^{n}}{n!} $$
(3)

and

$$ F_{\alpha }^{\gamma,\delta }(t) = W_{-\alpha,0}^{\gamma,\delta }(-t)= \sum_{n=1}^{\infty } \frac{(\gamma )_{n}}{\varGamma {(-\alpha n)}(\delta )_{n}} \frac{(-t)^{n}}{n!}. $$
(4)

Wright [2426] studied the generalized Wright hypergeometric function defined as

ψ q p [ ( α 1 A 1 ) , , ( α p , A 1 ) ; ( β 1 , B 1 ) , , ( β q , B q ) ; t ] = m = 0 j = 1 p Γ ( α j + A j m ) j = 1 q Γ ( β j + B j m ) t m m ! ,
(5)

where the coefficients (\(A_{1},\ldots,A_{p}\); \(B_{1},\ldots B_{q}\)) \(\in \mathbb{R}^{+}\) obey

$$ 1-\sum_{j=1}^{p}A_{j}+ \sum_{j=1}^{q}B_{j} \geq 0. $$

It is easily seen that (5) is the generalization of the famous generalized hypergeometric series \(_{p}F_{q}\) defined by

F q p [ α 1 , , α p ; β 1 , , β q ; t ] = n = 0 ( α 1 ) n ( α p ) n ( β 1 ) n ( β q ) n t n n ! .
(6)

The Fox H-function [16], a generalization of the Fox–Wright function, is defined in terms of the Mellin–Barnes integral as

H α , β μ , σ [ x | ( a 1 , A 1 ) , , ( a α , A α ) ( b 1 , B 1 ) , , ( b β , B β ) ] = 1 2 π i L Θ(s) x s ds,
(7)

where \(i=(-1)^{\frac{1}{2}}, x\neq 0\) and \(x^{-s}= \exp [-s {\ln |x|+i \arg x}]\) and

$$ \varTheta (s)= \frac{\{\prod_{j=1}^{\sigma } \varGamma (1-a_{j}-A_{j}s)\} \{\prod_{j=1}^{\mu } \varGamma (b_{j}+B_{j}s)\}}{\{\prod_{j=\mu +1}^{\beta } \varGamma (1-b_{j}-B_{j}s)\} \{\prod_{j=\sigma +1}^{\alpha } \varGamma (a_{j}+A_{j}s)\}}. $$

The Meijer G-function [5] introduced by Meijer is defined as

$$\begin{aligned} &{}G^{\mu,\sigma }_{\alpha,\beta }\bigl( x|^{a_{1},a_{2},\ldots,a_{\alpha }}_{c_{1},c_{2}, \ldots,c_{\beta }} \bigr) \\ &\quad ={}H^{\mu,\sigma }_{\alpha,\beta } \bigl[ x|^{(a_{k},1)^{ \alpha }_{1}}_{(b_{k},1)^{\beta }_{1}} \bigr] =\sum_{k=1}^{\mu } \frac{\prod_{j=1}^{\mu } \varGamma (c_{j} - c_{k}) \prod_{j=1}^{\sigma } \varGamma (1+c_{k} - a_{j}) x^{c_{k}}}{\prod_{j=\mu +1}^{\beta } \varGamma (1+c_{k} - c_{j}) \prod_{j=\sigma +1}^{\alpha } \varGamma (a_{j} - c_{k})} \\ &\qquad{}\times {}_{p}F_{q} \bigl(1+c_{k}-a_{1}, \ldots,1+c_{k}-a_{\alpha };1+c_{k}-c_{1}, \ldots,1+c_{k}-c_{\beta }; (-1)^{\alpha -\mu -\sigma } x \bigr), \end{aligned}$$
(8)

where \(1 \leq \mu \leq \beta, 0 \leq \sigma \leq \alpha \leq \beta -1\).

The classical Mittag-Leffler function [17, 23] is defined as

$$ E_{\alpha,\beta }(t) = \sum_{k=0}^{\infty } \frac{t^{k}}{\varGamma (k\alpha +\beta )}\quad (\alpha >0, \beta \in \mathbb{C}). $$
(9)

We also note that \(W_{\alpha,\beta }^{\gamma,\delta }\) immediately reduces to the above-mentioned functions as follows:

  1. 1.

    On replacing α by −α, t by −t, setting \(\beta =0\) in (2) and with the help of (4), we get

    $$ W_{-\alpha,0}^{\gamma,\delta }(-t) = F_{\alpha }^{\gamma,\delta }(t). $$
    (10)
  2. 2.

    On replacing α by −α, t by −t, setting \(\beta =1-\alpha \) in (2) and with the help of (3), we get

    $$ W_{-\alpha,1-\alpha }^{\gamma,\delta }(-t) = M_{\alpha }^{\gamma, \delta }(t). $$
    (11)
  3. 3.

    On replacing t by −t in (2) and with the help of (7), we can easily relate the generalized Wright function with the Fox H-function as

    Γ ( γ ) Γ ( δ ) W α , β γ , δ (t)= H 1 3 1 1 [ t | ( 1 γ , 1 ) ( 0 , 1 ) , ( 1 β , α ) , ( 1 δ , 1 ) ] .
    (12)
  4. 4.

    On replacing t by −t, \(\alpha =1\) in (2) and with the help of (8), we can easily relate the generalized Wright function with the Meijer G-function as

    Γ ( γ ) Γ ( δ ) W α , β γ , δ (t)= G 1 3 1 1 [ t | 1 γ 0 , 1 β , 1 δ ] .
    (13)
  5. 5.

    On setting \(\alpha =0\), \(\gamma =1\) in (2) and with the help of (9), we get

    $$ \frac{\varGamma (\beta )}{\varGamma (\delta )} W_{0,\beta }^{1,\delta }(t) = E_{1, \delta }(t). $$
    (14)

Definition 1.2

The following result is also essential for the present investigation. For (\(\Re (u)>0\) and \(\Re (v)>0\)), the Lavoie–Trottier [14] integral formula is defined as

$$ \int _{0}^{1}x^{u-1}(1-x)^{2v-1} \biggl(1-\frac{x}{3} \biggr)^{2u-1} \biggl(1-\frac{x}{4} \biggr)^{v-1}\,dx= \biggl(\frac{2}{3} \biggr)^{2u} \frac{\varGamma (u)\varGamma (v)}{\varGamma (u+v)}.$$
(15)

2 Main results

In this section, considering the integral in (15) and the generalized Wright function in (2), we establish two theorems as follows.

Theorem 1

With the existence of the conditions \(\alpha \in \mathbb{R}\)and \(\beta,\gamma,\delta,u,v \in \mathbb{C}, \Re (u+v) > 0, \alpha > -1, \delta \neq 0,-1,-2,\ldots \)with \(t\in \mathbb{C}\)and \(|t| < 1\)with \(\alpha =-1\)and \(x>0\), the following formula holds:

0 1 x u + v 1 ( 1 x ) 2 u 1 ( 1 x 3 ) 2 ( u + v ) 1 ( 1 x 4 ) u 1 W α , β γ , δ { t ( 1 x 4 ) ( 1 x ) 2 } d x = ( 2 3 ) 2 ( u + v ) Γ ( u + v ) Γ ( δ ) Γ ( γ ) 2 ψ 3 [ ( u , 1 ) , ( γ , 1 ) ; ( δ , 1 ) , ( β , α ) , ( 2 u + v , 1 ) ; t ] .
(16)

Proof

Applying the definition (2) in the left-hand side of (16) and denoting it by \(\mathcal{I}\), we write

$$ \mathcal{I}=\sum_{n=0}^{\infty } \frac{t^{n} (\gamma )_{n}}{n! (\delta )_{n} \varGamma (\alpha {n}+\beta )} \int _{0}^{1}x^{u+v-1}(1-x)^{2u+2n-1} \biggl( 1-\frac{x}{3} \biggr)^{2u+2v-1} \biggl( 1-\frac{x}{4} \biggr)^{u+n-1}\,dx. $$
(17)

Using (15) and interchanging the order of integration and summation, we obtain

$$ \mathcal{I}= \biggl(\frac{2}{3} \biggr)^{2(u+v)} \frac{\varGamma (u+v) \varGamma (\delta )}{\varGamma (\gamma )}\sum_{n=0}^{ \infty } \frac{\varGamma (u+n) \varGamma (\gamma +n)}{\varGamma (\delta +n) \varGamma (\alpha n+ \beta ) \varGamma (2u+v+n)} \frac{t^{n}}{n!}, $$
(18)

which on using (5), yields the required assertion (16) of Theorem 1. □

Theorem 2

With the conditions already mentioned in Theorem 1, the following formula holds:

0 1 x u 1 ( 1 x ) 2 u + 2 v 1 ( 1 x 3 ) 2 u 1 ( 1 x 4 ) u + v 1 W α , β γ , δ { x t ( 1 x 3 ) 2 } d x = ( 2 3 ) 2 u Γ ( u + v ) Γ ( δ ) Γ ( γ ) 2 ψ 3 [ ( u , 1 ) , ( γ , 1 ) ; ( δ , 1 ) , ( β , α ) , ( 2 u + v , 1 ) ; 4 t 9 ] .
(19)

Proof

The result in (19) can be derived with ease by the same procedure as followed in the establishment of (16).

Based on the previous theorems, at least two corollaries immediately follow which exploit the use of the hypergeometric function in (6). □

Corollary 2.1

Let \(u+v \in \mathbb{C}\setminus \mathbb{Z}_{o}^{-}\)and with all conditions of Theorem 1, the following integral formula holds true:

0 1 ( 1 x ) 2 u 1 x u + v 1 ( 1 x 3 ) 2 u + 2 v 1 ( 1 x 4 ) u 1 W α , β γ , δ { t ( 1 x 4 ) ( 1 x ) 2 } d x = ( 2 3 ) 2 u + 2 v Γ ( u + v ) Γ ( u ) Γ ( β ) Γ ( 2 u + v ) 2 F α + 2 [ ( γ ) , ( u ) ( δ ) , ( 2 u + v ) , ( β α ) , ( β + 1 α ) , ( β + α 1 α ) | t α α ] .
(20)

Corollary 2.2

Let \(u+v \in \mathbb{C}\setminus \mathbb{Z}_{o}^{-}\)and with all conditions of Theorem 1, the following integral formula holds true:

0 1 ( 1 x ) 2 u + 2 v 1 x u 1 ( 1 x 3 ) 2 u 1 ( 1 x 4 ) u + v 1 W α , β γ , δ { t x ( 1 x 3 ) } d x = ( 2 3 ) 2 u + 2 v Γ ( u + v ) Γ ( u ) Γ ( β ) Γ ( 2 u + v ) 2 F α + 2 [ ( γ ) , ( u ) ( δ ) , ( 2 u + v ) , ( β α ) , ( β + 1 α ) , , ( β + α 1 α ) | 4 t 9 α α ] .
(21)

Proof

Making use of the result (for \(n \in \mathbb{N}_{o}\))

$$ (\lambda )_{2n} = \biggl(\frac{\lambda }{2} \biggr)_{n} 2^{2n} \biggl(\frac{\lambda +1}{2} \biggr)_{n}, $$

in (18) and with the help of (5), we can easily establish (20). A similar approach will establish (21). □

3 Special cases

According to the procedure we have employed, we can appreciate the importance of the special cases mentioned in (10)–(14) to establish some new results. We have indeed the following result.

Corollary 3.1

\(\forall u,v,b \in \mathbb{C}\)with \(\Re (u) > \frac{b}{2}, \Re (u+v) > 0, \Re (2u+v) > \frac{b}{2}\), \(\alpha \in (0,1)\)and \(x > 0\), let

0 1 ( 1 x ) 2 u b 1 x u + v 1 ( 1 x 3 ) 2 u + 2 v 1 ( 1 x 4 ) u b 2 1 F α γ , δ { t ( 1 x 4 ) ( 1 x ) 2 } d x = ( 2 3 ) 2 u + 2 v Γ ( u + v ) Γ ( δ ) Γ ( γ ) 2 ψ 3 [ ( γ , 1 ) , ( u b 2 , 1 ) ; ( δ , 1 ) , ( 0 , α ) , ( 2 u + v b 2 , 1 ) ; t ] .
(22)

Corollary 3.2

Allowing for the conditions already stated in (22), we have

0 1 ( 1 x ) 2 u + 2 v 1 x u b 2 1 ( 1 x 3 ) 2 u b 1 ( 1 x 4 ) u + v 1 F α γ , δ { t x ( 1 x 3 ) 2 } d x = ( 2 3 ) 2 u b Γ ( u + v ) Γ ( δ ) Γ ( γ ) 2 ψ 3 [ ( γ , 1 ) , ( u b 2 , 1 ) ; ( δ , 1 ) , ( 0 , α ) , ( 2 u + v b 2 , 1 ) ; 4 t 9 ] .
(23)

The proof of (22) and (23) is very similar to that of Theorem 1and Theorem 2. It can be easily established by setting \(\beta =0\), \(\alpha =-\alpha \), and replacing t byt and then using (10).

Corollary 3.3

Allowing for the conditions already stated in (22), we get

0 1 ( 1 x ) 2 u b 1 x u + v 1 ( 1 x 3 ) 2 u + 2 v 1 ( 1 x 4 ) u b 2 1 M α γ , δ { t ( 1 x 4 ) ( 1 x ) 2 } d x = ( 2 3 ) 2 ( u + v ) Γ ( u + v ) Γ ( δ ) Γ ( γ ) 2 ψ 3 [ ( γ , 1 ) , ( u b 2 , 1 ) ; ( δ , 1 ) , ( 1 α , α ) , ( 2 u + v b 2 , 1 ) ; t ] .
(24)

Corollary 3.4

Allowing for the conditions already stated in (22), we get

0 1 ( 1 x ) 2 u + 2 v 1 x u b 2 1 ( 1 x 3 ) 2 u b 1 ( 1 x 4 ) u + v 1 M α γ , δ { t x ( 1 x 3 ) 2 } d x = ( 2 3 ) 2 u b Γ ( u + v ) Γ ( δ ) Γ ( γ ) 2 ψ 3 [ ( γ , 1 ) , ( u b 2 , 1 ) ; ( δ , 1 ) , ( 1 α , α ) , ( 2 u + v b 2 , 1 ) ; 4 t 9 ] .
(25)

Corollary 3.5

Allowing for the conditions already stated in (22), we get

0 1 ( 1 x ) 2 u b 1 x u + v 1 ( 1 x 3 ) 2 u + 2 v 1 ( 1 x 4 ) u b 2 1 × H 1 3 1 1 [ ( 1 x 4 ) ( 1 x ) 2 t | ( 1 γ , 1 ) ( 0 , 1 ) , ( 1 β , α ) , ( 1 δ , 1 ) ] d x = ( 2 3 ) 2 u + 2 v Γ ( u + v ) 2 ψ 3 [ ( γ , 1 ) , ( u b 2 , 1 ) ; ( δ , 1 ) , ( β , α ) , ( 2 u + v b 2 , 1 ) ; t ] .
(26)

Corollary 3.6

Allowing for the conditions already stated in (22), we get

0 1 x u b 2 1 ( 1 x ) 2 ( u + v ) 1 ( 1 x 3 ) 2 u b 1 ( 1 x 4 ) u + v 1 × H 1 3 1 1 [ x t ( 1 x 3 ) 2 | ( 1 γ , 1 ) ( 0 , 1 ) , ( 1 β , α ) , ( 1 δ , 1 ) ] d x = ( 2 3 ) 2 u b Γ ( u + v ) 2 ψ 3 [ ( γ , 1 ) , ( u b 2 , 1 ) ; ( δ , 1 ) , ( β , α ) , ( 2 u + v b 2 , 1 ) ; 4 t 9 ] .
(27)

Corollary 3.7

Allowing for the conditions already stated in (22), we get

0 1 x u + v 1 ( 1 x ) 2 u b 1 ( 1 x 3 ) 2 ( u + v ) 1 ( 1 x 4 ) u b 2 1 × G 1 3 1 1 [ ( 1 x 4 ) ( 1 x ) 2 t | 1 γ 0 , 1 β , 1 δ ] d x = ( 2 3 ) 2 ( u + v ) Γ ( u + v ) 2 ψ 3 [ ( γ , 1 ) , ( u b 2 , 1 ) ; ( δ , 1 ) , ( β , 1 ) , ( 2 u + v b 2 , 1 ) ; t ] .
(28)

Corollary 3.8

Allowing for the conditions already stated in (22), the following integral formula holds true:

0 1 ( 1 x ) 2 u + 2 v 1 x u b 2 1 ( 1 x 3 ) 2 u b 1 ( 1 x 4 ) u + v 1 × G 1 3 1 1 [ x t ( 1 x 3 ) 2 | ( 1 γ , 1 ) ( 0 , 1 ) , ( 1 β , α ) , ( 1 δ , 1 ) ] d x = ( 2 3 ) 2 u b Γ ( u + v ) 2 ψ 3 [ ( γ , 1 ) , ( u b 2 , 1 ) ; ( δ , 1 ) , ( β , 1 ) , ( 2 u + v b 2 , 1 ) ; 4 t 9 ] .
(29)

Corollary 3.9

Allowing for the conditions already stated in (22), we get

0 1 ( 1 x ) 2 u b 1 x u + v 1 ( 1 x 3 ) 2 u + 2 v 1 ( 1 x 4 ) u b 2 1 E 1 , δ { t ( 1 x 4 ) ( 1 x ) 2 } d x = ( 2 3 ) 2 ( u + v ) Γ ( u + v ) 2 ψ 2 [ ( 1 , 1 ) , ( u b 2 , 1 ) ; ( δ , 1 ) , ( 2 u + v b 2 , 1 ) ; t ] .
(30)

Corollary 3.10

Allowing for the conditions already stated in (22), we get

0 1 ( 1 x ) 2 u + 2 v 1 x u b 2 1 ( 1 x 3 ) 2 u b 1 ( 1 x 4 ) u + v 1 E 1 , δ { t x ( 1 x 3 ) 2 } d x = ( 2 3 ) 2 u b Γ ( u + v ) 2 ψ 2 [ ( 1 , 1 ) , ( u b 2 , 1 ) ; ( δ , 1 ) , ( 2 u + v b 2 , 1 ) ; 4 t 9 ] .
(31)

4 Graphical interpretation

In this section, we illustrate the solutions (16), (19), (22), (23), (24) and (25) using a graphical representation in terms of the parameter t. We use the numerical method named the Gaussian quadrature method to evaluate the integral of these equations and compare with the main results. To get the specific results, we take \(n=8\) and \(k=5\) (see Figs. 16).

Figure 1
figure 1

Solution of (16) with the parameters used in the simulation \(u=3\), \(v=3\), \(\delta =5\), \(\alpha =-1\), \(\beta =12\) and \(\gamma =2\)

Figure 2
figure 2

Solution of (19) with the parameters used in the simulation \(u=6\), \(v=3\), \(\delta =5\), \(\alpha =-1\), \(\beta =12\) and \(\gamma =2\)

Figure 3
figure 3

Solution of (22) with the parameters used in the simulation \(u=6\), \(v=3\), \(\delta =5\), \(\alpha =0.05\), \(\beta =0\), \(\gamma =5\) and \(b=4\)

Figure 4
figure 4

Solution of (23) with the parameters used in the simulation \(u=6\), \(v=3\), \(\delta =5\), \(\alpha =0.5\), \(\beta =0\), \(\gamma =5\) and \(b=-6\)

Figure 5
figure 5

Solution of (24) with the parameters used in the simulation \(u=6\), \(v=3\), \(\delta =10\), \(\alpha =0.5\), \(\gamma =12\) and \(b=4\)

Figure 6
figure 6

Solution of (24) with the parameters used in the simulation \(u=6\), \(v=3\), \(\delta =10\), \(\alpha =0.5\), \(\gamma =12\) and \(b=4\). Solution of (25) with the parameters used in the simulation \(u=6\), \(v=3\), \(\delta =5\), \(\alpha =0.5\), \(\gamma =5\) and \(b=-6\)

5 Conclusion

In these final remarks, it is worth stressing that the integral formulas computed in this paper involving a generalized Wright function are amenable for further research and generalizations. It is natural to note that the generalized Wright function depicts a close connection with several important special functions mentioned in the paper. As a consequence, we have attempted to compute the integrals of the above-mentioned functions in the form of generalized Wright function by some suitable parametric replacement, linking different families of special functions. We have also used the Gaussian quadrature formula to compare our main results graphically using Matlab. The conclusion we may draw is that the generalized Wright function has a wide range of applications in different domains; therefore, the results obtained provide a significant step which can yield some potential applications in the field of classical and applied mathematics.