New generating functions of I-function satisfying Truesdell’s $F_{q}$-equation

Abstract

In this paper we first obtain various new forms of the q-analogue of the I-function satisfying Truesdell’s ascending and descending $F_{q}$-equation. Then we use these forms to obtain new generating functions for the q-analogue of the I-function. Some particular cases of these results in terms of the q-analogue of the I-function, H-function and G-function have also been obtained.

1 Introduction

Many researchers engaged their focus on a different version of calculus which is also called calculus without limits or q-calculus. This form of calculus was initiated in the 1920s of the last century. Basic elements of q-calculus can be found in Kac and Cheung’s book [1] entitled “Quantum Calculus”. The investigations of q-integrals and q-derivatives of arbitrary order have gained importance due to their various applications in the areas like ordinary and fractional differential equations, solutions of the q-difference (differential) and q-integral equations, and q-transform analysis.

Hypergeometric functions evolved as a natural unification of many known functions [2–5] starting from the seventeenth century to the present day. Functions of this type may also be generalized using the concept of basic number q, resulting in their basic or q-analogues. Over the last 30 years, great interest in q-functions has been witnessed in view of their applications in number theory, statistics and other areas of mathematics and physics. Recent developments in the theory of basic hypergeometric functions have introduced new generalized forms of them. These functions are Mac-Roberts’s E-function, Meijer’s G-function, Fox’s H-function, Saxena’s I-function and their q-analogues. The q-analogue of the I-function has been introduced by Dutta et al. [6], in view of the q-gamma function, which is a q-extension of the generalized H-function and I-function earlier defined by Saxena et al. [7] and Farooq et al. [8].

In his effort towards achieving unification of special functions, Truesdell [9] has put forward a theory which yielded a number of results for special functions satisfying the so-called Truesdell’s F-equation. Agrawal [10], extended this theory and derived results for a descending F-equation. He obtained various properties like orthogonality, Rodrigue’s and Schalafli’s formulas for the F-equation. Renu Jain et al. [11] obtained various forms of the I-function which satisfy Truesdell’s ascending and descending F-equation. For more of such recent studies, the interested reader is referred to [12–16] and the references therein.

In this paper, on the one hand we derive some identities for the q-analogue of gamma function and on the other we obtain new generating functions which satisfy Truesdell’s ascending and descending $F{_{q}}$-equation. To attain the purpose, we have stretched out F-equation to its q-analogue, namely the $F_{q}$-equation. We have additionally determined different types of the I-function satisfying Truesdell’s ascending and descending $F_{q}$-equation. By applying the various structures we have obtained some generating functions of the I-function. Some special cases of these results are also obtained, which validate the outcomes and also yield some new results. We present our main results in Sect. 3 after presenting related mathematical preliminaries in Sect. 2.

2 Mathematical preliminaries

Before going further to this section, it is to be remarked that some literature can be found for a trivial generalization of the I-function, namely the Aleph function. Therefore, Sexena [17] has proved that the so-called “Aleph function” is nothing but another form of the Saxena I-function, which is the last generalization of the hypergeometric functions. Hence, all studies of the Aleph function are, in fact, studies of the earlier function (I-function) unless it indicates some new properties of both I-function and Aleph function. For further details, see [17] and the references therein. Therefore, in our present investigation we confine ourselves to different forms of the I-function.

2.1 Basic analogue of the I-function

The basic analogue of the modified I-function was given by Dutta et al. [6] in terms of the Mellin–Barnes type basic contour integral as

$$\begin{array}{c}{I}_{p_i,q_i,{\tau }_i;r}^{m,n}\left[(z;q|\begin{array}{ccc}{(a_j,A_j)}_{1,n}& \dots & {[{\tau }_i(a_{ji},A_{ji})]}_{n+1,p_i}\\ {(b_j,B_j)}_{1,m}& \dots & {[{\tau }_i(b_{ji},B_{ji})]}_{m+1,q_i}\end{array})\right]\hfill \\ =\frac{1}{2\pi \omega }\hfill \\ \times {\int }_L\frac{{\prod }_{j=1}^{m}G(q^{(b_j-B_{j}s)}){\prod }_{j=1}^{n}G(q^{(1-a_j-A_{j}s)})}{{\sum }_{i=1}^r{\tau }_i[{\prod }_{j=m+1}^{q_i}G(q^{(1-b_{ji}+B_{ji}s)}){\prod }_{j=n+1}^{p_i}G(q^{(a_{ji}-A_{ji}s)})G(q^s)G(q^{1-s})sin\pi s]}\pi z^{s}ds,\hfill \end{array}$$

(1)

where $z\neq 0$, $0< q<1$ and $\omega =\sqrt{-1}$. The parameters $p_{i}$, $q_{i}$ are non-negative whole numbers fulfilling the disparity $0\leq n\leq p_{i}$, $0\leq m\leq q_{i}$ and $\tau _{i}>0$; $i=1,2,3,\ldots,r$ is finite and $A_{j}$, $B_{j}$, $A_{ji}$, $B_{ji}$ are +ve real numbers and $a_{j},b_{j},a_{ji},b_{ji} \in C$. The $C=C_{\omega \gamma \infty }$ is an appropriate shape of the Mellin–Barnes type in the complex s-plane, which keeps running from $\gamma -\omega \infty$ to $\gamma +\omega \infty$ with $\gamma \in C$, in such a way, that all poles of $G(q^{(b_{j}-B_{j}s)})$; $1\leq j\leq m$, isolating from those of $G(q^{(1-a_{j}+A_{j}s)})$; $1\leq j\leq n$. Every pole of the integrand (1) is simple and void products are translated as unity. The integral converges if $\operatorname{Re}[s \log (z)- \log \sin \pi s]<0$, for substantial estimations of $|s|$ on the contour L, that is, if $|(\arg (z)- w_{2} w_{1}^{-1}\log |z|)|<\pi$, where $0<|q|<1$, $\log q=-w=-(w_{1}+iw_{2} )$, w, $w_{1}$, $w_{2}$ are definite quantities, $w_{1}$, $w_{2}$ are real.

If we take $r=1$; $\tau _{i}=1$ in (1), then it reduces to the q-analogue of H-function defined by Saxena et al. [18]. If we set $A_{i}=B_{j}=1$ for all i and j, then it reduces to the q-analogue of the G-function defined by Saxena et al. [18].

Ahmad et al. [19] defined the basic analogue of the modified I-function in terms of the q-gamma function as follows:

$$\begin{array}{c}{I}_{p_i,q_i,{\tau }_i;r}^{m,n}\left[(z;q|\begin{array}{ccc}{(a_j,A_j)}_{1,n}& \dots & {[{\tau }_i(a_{ji},A_{ji})]}_{n+1,p_i}\\ {(b_j,B_j)}_{1,m}& \dots & {[{\tau }_i(b_{ji},B_{ji})]}_{m+1,q_i}\end{array})\right]\hfill \\ =\frac{1}{2\pi \omega }\hfill \\ \times {\int }_L\frac{{\prod }_{j=1}^m{\Gamma }_q(b_j-B_{j}s){\prod }_{j=1}^n{\Gamma }_q(1-a_j-A_{j}s)\pi z^s}{{\sum }_{i=1}^r{\tau }_i[{\prod }_{j=m+1}^{q_i}{\Gamma }_q(1-b_{ji}+B_{ji}s){\prod }_{j=n+1}^{p_i}{\Gamma }_q(a_{ji}-A_{ji}s){\Gamma }_q(s){\Gamma }_q(1-s)sin\pi s]}ds.\hfill \end{array}$$

(2)

By setting $\tau _{i}= 1$ in (2), we get the results defined in [7, 8].

2.2 Truesdell F-equation

If for the function $F(z,\alpha )$,

$$ D_{z}^{r}F(z,\alpha )=F(z,\alpha +r), $$

(3)

then it is said to be satisfying the ascending $F_{q}$-condition. However, for $F(z,\alpha )$ satisfying the ascending F-equation, Truesdell [9] has obtained the following generating functions using Taylor’s series:

$$ F(z+y,\alpha )=\sum_{n=0}^{\infty }y^{n} \frac{F(z,\alpha +n)}{n!}. $$

(4)

The function $G(z,\alpha )$ is said to satisfy the descending $F_{q}$-equation if

$$ D_{z}^{r}G(z,\alpha )=G(z,\alpha -r). $$

(5)

For $G(z,\alpha )$ satisfying the descending F-condition, Agrawal [20] has obtained the following generating functions:

$$ G(z+y,\alpha )=\sum_{n=0}^{\infty }y^{n} \frac{G(z,\alpha -n)}{n!}. $$

(6)

The q-derivative of Eqs. (3) and (5) can be written, respectively, in the following manner:

$$\begin{aligned}& D_{q,z}^{r}F(z,\alpha )=F(z,\alpha +r), \end{aligned}$$

(7)

$$\begin{aligned}& D_{q,z}^{r}G(z,\alpha )=G(z,\alpha -r). \end{aligned}$$

(8)

3 Main results

In this section we derive our main results by dividing them into three subsections (Sects. 3.1–3.3). We first obtain the identities involving the gamma function and then we will obtain generating functions satisfying Truesdell’s ascending and descending $F_{q}$-equations.

3.1 Identities involving gamma function

In this section, we first derive some identities for the q-analogue of the gamma function in order to obtain further results of this paper.

Lemma 3.1

The following identity for the q-analogue of gamma function holds true:

$$ \prod_{k=0}^{m-1}\varGamma _{q}\biggl(\frac{\alpha +r+k}{m}\biggr)= \frac{(q^{\alpha };q)_{r}}{(1-q)^{r}}\prod _{k=0}^{m-1}\varGamma _{q} \biggl( \frac{\alpha +k}{m}\biggr). $$

(9)

Proof

Considering the involved ratio and simplifying in the following manner, we get the required result:

$$\begin{aligned} \frac{\prod_{k=0}^{m-1}\varGamma _{q}(\frac{\alpha +r+k}{m})}{\prod_{k=0}^{m-1}\varGamma _{q}(\frac{\alpha +k}{m}}&= \frac{\varGamma _{q}(\frac{\alpha +r}{m})}{\varGamma _{q}(\frac{\alpha }{m})} \frac{\varGamma _{q}(\frac{\alpha +r+1}{m})}{\varGamma _{q}(\frac{\alpha +1}{m})} \frac{\varGamma _{q}(\frac{\alpha +r+2}{m})}{\varGamma _{q}(\frac{\alpha +2}{m})} \cdots \frac{\varGamma _{q}(\frac{\alpha +r+m-1}{m})}{\varGamma _{q}(\frac{\alpha +m-1}{m})} \\ & =\biggl[\frac{\alpha }{m}\biggr]_{q,r/m}\biggl[ \frac{\alpha +1}{m}\biggr]_{q,r/m} \cdots \biggl[\frac{\alpha +m-1}{m} \biggr]_{q,r/m} \\ & = \frac{[(q^{\alpha };q^{m})_{\frac{r}{m}}(q^{\alpha +1};q^{m})_{\frac{r}{m}}(q^{\alpha +2};q^{m})_{\frac{r}{m}} \cdots (q^{\alpha +m-1};q^{m})_{\frac{r}{m}}]}{(1-q)^{r}} \\ & =\frac{(q^{\alpha };q)_{r}}{(1-q)^{r}}. \end{aligned}$$

(10)

 □

Remark 1

Similarly, by following the same type of calculations, we can also derive the following identities:

$$\begin{aligned}& \prod_{k=0}^{m-1}\varGamma _{q}\biggl(1-\frac{\alpha +r+k}{m}\biggr)= \frac{q^{\frac{2r\alpha +r^{2}-r}{2m}}(1-q)^{r}}{(-1)^{r}(q^{\alpha };q)_{r}} \prod_{k=0}^{m-1}\varGamma _{q}\biggl(1-\frac{\alpha +k}{m}\biggr); \end{aligned}$$

(11)

$$\begin{aligned}& \prod_{k=0}^{m-1}\varGamma _{q}\biggl(\frac{\alpha -r+k}{m}\biggr)= \frac{q^{\frac{r}{m}(r-2\alpha +1)}(1-q)^{r}}{(-1)^{r}(q^{1-\alpha };q)_{r}} \prod _{k=0}^{m-1}\varGamma _{q} \biggl(\frac{\alpha +k}{m}\biggr); \end{aligned}$$

(12)

$$\begin{aligned}& \prod_{k=0}^{m-1}\varGamma _{q}\biggl(1-\frac{\alpha -r+k}{m}\biggr)= \frac{(q^{1-\alpha };q)_{r}}{(1-q)^{r}} \prod_{k=0}^{m-1}\varGamma _{q}\biggl(1- \frac{\alpha +k}{m}\biggr). \end{aligned}$$

(13)

Here and in the following, $\triangle (\mu ,\alpha )$, denotes the array of μ parameters:

$$ \frac{\alpha }{\mu }, \frac{\alpha +1}{\mu }, \ldots , \frac{\alpha +\mu -1}{\mu }\quad ( \mu =1,2,3,\ldots ) $$

and

$$ \bigl(\triangle (\mu ,\alpha ),\beta \bigr) \text{ stands for } \biggl(\frac{\alpha }{\mu }, \beta \biggr), \biggl(\frac{\alpha +1}{\mu },\beta \biggr), \ldots , \biggl( \frac{\alpha +\mu -1}{\mu },\beta \biggr). $$

(14)

3.2 Generating functions satisfying Truesdell’s ascending $F_{q}$-equation

In this section we will derive various forms of the q-analogue of the modified I-function, which satisfy Truesdell’s ascending $F_{q}$-equation.

Theorem 3.2

The following form of the I-function satisfies Truesdell’s ascending $F_{q}$-equation:

$$\begin{array}{rl}& {\left(q^{\frac{\alpha -1}{2}[\frac{\rho -1}{\rho }]}z\right)}^{-\alpha }\\ & \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[(q^{\alpha h(\lambda -1)}{z}^{h\lambda };q|\begin{array}{c}{(a_j,{\alpha }_j)}_{1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\rho },(\mathrm{△}(\rho ,\alpha ),h)\\ (\mathrm{△}(\lambda ,\alpha ),h),{(b_j,{\beta }_j)}_{\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\rho },(\mathrm{△}(\rho ,\alpha ),h)\end{array})\right].\end{array}$$

(15)

Proof

Expecting that the structure (15) is $F(z,\alpha )$, supplanting the basic analogue of the I-function according to its definition (2) and then interchanging the order of integration and differentiation, which is legitimized under the conditions of convergence [19], we see that

$$\begin{aligned} &D_{q,z}^{r}F(z,\alpha ) \\ &\quad =\frac{1}{2\pi \omega } \int _{L} \frac{\prod_{k=0}^{\lambda -1}\varGamma _{q}(\frac{\alpha +k}{\lambda }-hs)}{\sum_{i=1}^{l}\tau _{i}[\prod_{j=m+1}^{q_{i}-\rho }\varGamma _{q}(1-b_{ji}+B_{ji}s)} \\ &\qquad {}\times \Biggl(\prod_{j=\lambda +1}^{m}\varGamma _{q}(b_{j}-\beta _{j}s)\prod_{j=1}^{n}\varGamma _{q}(1-a_{j}-\alpha _{j}s)q^{\frac{\alpha (\alpha -1)}{2\rho }-\frac{\alpha (\alpha -1)}{2}}q^{\alpha h(\lambda -1)s}D_{q,z}^{r}{z^{h\lambda s-\alpha }}\pi \Biggr) \\ &\qquad {}\Big/ \Biggl(\prod_{k=0}^{\rho -1}\varGamma _{q}\biggl(1-\frac{\alpha +k}{\rho }+hs\biggr) \prod_{j=n+1}^{p_{i}-\rho }\varGamma _{q}(a_{ji}-\alpha _{ji}s) \\ &\qquad {}\times\prod_{k=0}^{\rho -1}\varGamma _{q}\biggl(\frac{\alpha +k}{\rho }-hs\biggr)\varGamma _{q}(s)\varGamma _{q}(1-s)\sin \pi s\Biggr)\,ds. \end{aligned}$$

(16)

Using the results (9) and (11), we have

$$\begin{aligned}& \prod_{k=0}^{\lambda -1}\varGamma _{q}\biggl(\frac{\alpha +k}{\lambda }-hs\biggr)= \frac{(1-q)^{r}}{(q^{\alpha -h\lambda s};q)_{r}} \prod_{k=0}^{ \lambda -1}\varGamma _{q}\biggl(\frac{\alpha +r+k}{\lambda }-hs\biggr) , \end{aligned}$$

(17)

$$\begin{aligned}& \prod_{k=0}^{\lambda -1}\varGamma _{q}\biggl(1-\frac{\alpha +k}{\lambda }+hs\biggr)= \frac{(-1)^{r}(q^{\alpha -h\lambda s};q)_{r}}{(1-q)^{r}q^{\frac{2r(\alpha -h\lambda s)+r^{2}-r}{2\lambda }}} \prod_{k=0}^{\lambda -1}\varGamma _{q}\biggl(1-\frac{\alpha +r+k}{\lambda }+hs\biggr) . \end{aligned}$$

(18)

Using the identities (17)–(18) in (16) we get the required Truesdell’s ascending $F_{q}$-Eq. (7). □

Remark 2

Similarly the following structures (19) to (23) can be shown to fulfill Truesdell’s ascending $F_{q}$-condition:

$$\begin{array}{c}{\left(\frac{q^{\frac{1}{2}[\frac{\alpha }{\lambda }+\alpha -1]}z}{(1-q)}h\right)}^{-\alpha }\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[(q^{\alpha h(\lambda +1)}{z}^{h\lambda };q|\begin{array}{c}(\mathrm{△}(\lambda ,\alpha +1/2),h),{(a_j,{\alpha }_j)}_{\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(2\lambda ,2\alpha ),h),{(b_j,{\beta }_j)}_{2\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right],\hfill \end{array}$$

(19)

$$\begin{array}{c}{\left(\frac{q^{\frac{1}{2}[\frac{3\alpha +1}{3\lambda }+\alpha -1]}z}{(1-q)}\right)}^{-\alpha }\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[(q^{\alpha h(\lambda +1)}{z}^{h\lambda };q|\begin{array}{c}(\mathrm{△}(\lambda ,\alpha +\frac{2}{3}),h),{(a_j,{\alpha }_j)}_{\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\lambda },(\mathrm{△}(\lambda ,\alpha +1/3),h)\\ (\mathrm{△}(3\lambda ,3\alpha ),h),{(b_j,{\beta }_j)}_{3\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right],\hfill \end{array}$$

(20)

$${\left(q^{\frac{\alpha -1}{2}}z\right)}^{-\alpha }{e}^{\pi i\alpha }{I}_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({\left(q^{\alpha }z\right)}^{h\lambda };q|\begin{array}{c}{(a_j,{\alpha }_j)}_{1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(\lambda ,\alpha ),h),{(b_j,{\beta }_j)}_{\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right],$$

(21)

$${\left(q^{\frac{\alpha -1}{2}\frac{\lambda -1}{\lambda }}z\right)}^{-\alpha }{I}_{p_i,q_i;{\tau }_i;l}^{m,n}\left[(q^{h\alpha (\lambda -1)}{z}^{h\lambda };q|\begin{array}{c}{(a_j,{\alpha }_j)}_{1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(\lambda ,\alpha ),h),{(b_j,{\beta }_j)}_{\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right],$$

(22)

$$\begin{array}{c}{\left(q^{\frac{\alpha -1}{2}\frac{\lambda -1}{\lambda }+\frac{1}{\rho }}z\right)}^{-\alpha }{e}^{\pi i\alpha }\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({\left(q^{\alpha }z\right)}^{h\lambda };q|\begin{array}{c}(\mathrm{△}(\rho ,\alpha ),h),{(a_j,{\alpha }_j)}_{\rho +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(\rho ,\alpha ),h),{(b_j,{\beta }_j)}_{\rho +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\lambda }(\mathrm{△}(\lambda ,\alpha ),h)\end{array})\right].\hfill \end{array}$$

(23)

Next we use the above forms (15) and (19)–(23) to establish the following new generating functions for the q-analogue of the modified I-functions using Truesdell’s ascending $F_{q}$-equation technique.

For example, we establish the following generating function (24) by substituting the structures (15) in Truesdell’s ascending $F_{q}$-condition (7) and supplant z by $\frac{y}{q^{\alpha }}$ and $q^{-\alpha h}y^{h\lambda }$ by x, respectively:

$$\begin{array}{c}{(1+q^{\alpha })}^{-\alpha }\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({(1+q^{\alpha })}^{h\lambda }x;q|\begin{array}{c}{(a_j,{\alpha }_j)}_{1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\rho },(\mathrm{△}(\rho ,\alpha ),h)\\ (\mathrm{△}(\lambda ,\alpha ),h),{(b_j,{\beta }_j)}_{\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\rho },(\mathrm{△}(\rho ,\alpha ),h)\end{array})\right]\hfill \\ =\sum _{r=0}^{\mathrm{\infty }}\frac{{(q^{\frac{(-2\alpha -r+1)((\rho -1)/\rho )}{2}+2\alpha })}^r}{r!}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[((q^{rh(\lambda -1)}x;q|\begin{array}{c}{(a_j,{\alpha }_j)}_{1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\rho },(\mathrm{△}(\rho ,\alpha +r),h)\\ (\mathrm{△}(\lambda ,\alpha +r),h),{(b_j,{\beta }_j)}_{\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\rho },(\mathrm{△}(\rho ,\alpha +r),h)\end{array})\right].\hfill \end{array}$$

(24)

Similarly, we establish the following generating function (25) by putting the structures (19) in Truesdell’s ascending $F_{q}$-condition (7) and supplant z by $\frac{y}{q^{\alpha }}$ and $q^{\alpha h}y^{h\lambda }$ by x, respectively:

$$\begin{array}{c}{(1+q^{\alpha })}^{-\alpha }{I}_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({(1+q^{\alpha })}^{h\lambda }x;q|\begin{array}{c}(\mathrm{△}(\lambda ,\alpha +1/2),h){(a_j,{\alpha }_j)}_{\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(2\lambda ,2\alpha ),h),{(b_j,{\beta }_j)}_{2\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right]\hfill \\ =\sum _{r=0}^{\mathrm{\infty }}\frac{{(q^{\frac{-1}{2}(\frac{2\alpha }{\lambda }+\frac{r}{\lambda }-1)(1-q)})}^r}{r!}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[((q^{rh(\lambda +1)}x;q|\begin{array}{c}(\mathrm{△}(\lambda ,\alpha +r+1/2),h){(a_j,{\alpha }_j)}_{\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(2\lambda ,2(\alpha +r)),h),{(b_j,{\beta }_j)}_{2\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right].\hfill \end{array}$$

(25)

Following the generating function (26) can be established by substituting the structures (20) in Truesdell’s ascending $F_{q}$-condition (7) and replacing z by $\frac{y}{q^{\alpha }}$ and $q^{\alpha h}y^{h\lambda }$ by x, respectively:

$$\begin{array}{c}{(1+q^{\alpha })}^{-\alpha }\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({(1+q^{\alpha })}^{h\lambda }x;q|\begin{array}{c}(\mathrm{△}(\lambda ,\alpha +2/3),h){(a_j,{\alpha }_j)}_{\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\lambda }(\mathrm{△}(\lambda ,\alpha +1/3),h)\\ (\mathrm{△}(3\lambda ,3\alpha ),h),{(b_j,{\beta }_j)}_{2\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right]\hfill \\ =\sum _{r=0}^{\mathrm{\infty }}\frac{{(q^{\frac{-1}{2}(\frac{\alpha }{\lambda }+\frac{r}{2\lambda }+\frac{r}{2}+\frac{1}{6\lambda }-\frac{1}{2})(1-q)})}^r}{r!}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[((q^{rh(\lambda +1)}x;q|\begin{array}{c}(\mathrm{△}(\lambda ,\alpha +r+2/3),h){(a_j,{\alpha }_j)}_{\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\lambda }(\mathrm{△}(\lambda ,\alpha +r+1/3),h)\\ (\mathrm{△}(3\lambda ,3(\alpha +r)),h),{(b_j,{\beta }_j)}_{2\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right].\hfill \end{array}$$

(26)

Similarly, we establish the following generating function (27) by substituting the structures (21) in Truesdell’s ascending $F_{q}$-condition (7) and supplant z by $\frac{y}{q^{\alpha }}$ and $y^{h\lambda }$ by x, respectively:

$$\begin{array}{c}{(1+q^{\alpha })}^{-\alpha }{I}_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({(1+q^{\alpha })}^{h\lambda }x;q|\begin{array}{c}{(a_j,{\alpha }_j)}_{1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(\lambda ,\alpha ),h),{(b_j,{\beta }_j)}_{\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right]\hfill \\ =\sum _{r=0}^{\mathrm{\infty }}\frac{{(-1)}^r{(q^{\frac{1-r}{2}})}^r}{r!}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[((q^{rh\lambda }x;q|\begin{array}{c}{(a_j,{\alpha }_j)}_{1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(\lambda ,\alpha +r),h),{(b_j,{\beta }_j)}_{\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right].\hfill \end{array}$$

(27)

To establish (28) we substitute the structures (22) in Truesdell’s ascending $F_{q}$-condition (7) and supplant z by $\frac{y}{q^{\alpha }}$ and $q^{-\alpha h}y^{h\lambda }$ by x, respectively.

$$\begin{array}{c}{(1+q^{\alpha })}^{-\alpha }{I}_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({(1+q^{\alpha })}^{h\lambda }x;q|\begin{array}{c}{(a_j,{\alpha }_j)}_{1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ {(b_j,{\beta }_j)}_{1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\lambda }(\mathrm{△}(\lambda ,\alpha ),h)\end{array})\right]\hfill \\ =\sum _{r=0}^{\mathrm{\infty }}\frac{{(q^{\frac{(\lambda -1)}{\lambda }(-\alpha -\frac{r}{2}+\frac{1}{2})+\alpha })}^r}{r!}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[((q^{rh(\lambda -1)}x;q|\begin{array}{c}{(a_j,{\alpha }_j)}_{1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ {(b_j,{\beta }_j)}_{1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\lambda }(\mathrm{△}(\lambda ,\alpha +r),h)\end{array})\right].\hfill \end{array}$$

(28)

Similarly we obtain (29) by putting the structures (23) in Truesdell’s ascending $F_{q}$-condition (7) and supplant z by $\frac{y}{q^{\alpha }}$ and $y^{h\lambda }$ by x, respectively:

$$\begin{array}{c}{(1+q^{\alpha })}^{-\alpha }\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({(1+q^{\alpha })}^{h\lambda }x;q|\begin{array}{c}(\mathrm{△}(\rho ,\alpha ),h),{(a_j,{\alpha }_j)}_{\rho +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(\rho ,\alpha ),h),{(b_j,{\beta }_j)}_{\rho +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\lambda }(\mathrm{△}(\lambda ,\alpha ),h)\end{array})\right]\hfill \\ =\sum _{r=0}^{\mathrm{\infty }}\frac{{(-1)}^r{(q^{\frac{(}{1}\lambda -\frac{1}{\rho }-1)(\alpha +\frac{r}{2}-\frac{1}{2})+\alpha })}^r}{r!}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[((q^{rh\lambda }x;q|\begin{array}{c}(\mathrm{△}(\rho ,\alpha +r),h),{(a_j,{\alpha }_j)}_{\rho +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(\rho ,\alpha +r),h),{(b_j,{\beta }_j)}_{\rho +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\lambda }(\mathrm{△}(\lambda ,\alpha +r),h)\end{array})\right].\hfill \end{array}$$

(29)

Remark 3

The above results yield certain special cases of the generating function for the q-analogue of the I-function, H-function and G-function [7, 8, 18, 21].

3.3 Generating functions satisfying Truesdell’s descending $F_{q}$-equation

In this section we will derive the different forms of the q-analogue of the modified I-function, which satisfy Truesdell’s descending $F_{q}$-equation.

Theorem 3.3

The following form of the q-analogue of the modified I-function satisfies Truesdell’s descending $F_{q}$-equation:

$$\begin{array}{rl}& {\left(q^{\frac{\alpha }{2}[\frac{1-\rho }{\rho }]}z\right)}^{\alpha -1}\\ & \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[(\frac{q^{\alpha h(\lambda +1)}}{z^{h\lambda }};q|\begin{array}{c}(\mathrm{△}(\lambda ,\alpha ),h),{(a_j,{\alpha }_j)}_{\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\rho },(\mathrm{△}(\rho ,\alpha ),h)\\ {(b_j,{\beta }_j)}_{1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\rho },(\mathrm{△}(\rho ,\alpha ),h)\end{array})\right].\end{array}$$

(30)

Proof

Assuming that the form (30) is $G(z,\alpha )$, replacing a basic analogue of the modified I-function by its statement (2), then exchanging order of differentiation and integration, which is legitimized under the states of combination [19], we observe that

$$\begin{aligned} &D_{q,z}^{r}G(z,\alpha ) \\ &\quad =\frac{1}{2\pi \omega } \int _{L} \frac{\prod_{j=1}^{m}\varGamma _{q}(b_{j}-\beta _{j}s)}{\sum_{i=1}^{l}\tau _{i}[\prod_{j=m+1}^{q_{i}-\rho }\varGamma _{q}(1-b_{ji}+B_{ji}s)} \\ &\qquad {}\times\Biggl( \prod_{k=0}^{\lambda -1}\varGamma _{q}(1-\frac{\alpha +k}{\lambda }-hs) \prod_{j=\lambda +1}^{n}\varGamma _{q}(1-a_{j}+\alpha _{j}s)q^{\frac{\alpha (\alpha -1)(1-\rho )}{2\rho }}q^{\alpha h(\lambda +1)s}D_{q,z}^{r}{z^{\alpha -1-h\lambda s}}\pi \Biggr) \\ &\qquad {}\Big/\Biggl(\prod_{k=0}^{\rho -1}\varGamma _{q}\biggl(1-\frac{\alpha +k}{\rho }+hs\biggr) \prod_{j=n+1}^{p_{i}-\rho }\varGamma _{q}(a_{ji}-\alpha _{ji}s) \\ &\qquad {}\times \prod_{k=0}^{\rho -1}\varGamma _{q}\biggl(\frac{\alpha +k}{\rho }-hs\biggr)\varGamma _{q}(s)\varGamma _{q}(1-s)\sin \pi s]\Biggr)\,ds . \end{aligned}$$

(31)

Using results (12) and (13), we have

$$\begin{aligned}& \prod_{k=0}^{\lambda -1}\varGamma _{q}\biggl(\frac{\alpha +k}{\lambda }-hs\biggr)= \frac{(-1)^{r}(q^{1-(\alpha -h\lambda s)};q)_{r}}{(1-q)^{r}q^{\frac{r}{2m}(r-2(\alpha -h\lambda s)+1)}} \prod_{k=0}^{ \lambda -1}\varGamma _{q}\biggl(\frac{\alpha -r+k}{\lambda }-hs\biggr) , \end{aligned}$$

(32)

$$\begin{aligned}& \prod_{k=0}^{\lambda -1}\varGamma _{q}\biggl(1-\frac{\alpha +k}{\lambda }+hs\biggr)= \frac{(1-q)^{r}}{(q^{1-(\alpha -h\lambda s)};q)_{r}} \prod_{k=0}^{ \lambda -1}\varGamma _{q}\biggl(1-\frac{\alpha -r+k}{\lambda }+hs\biggr) . \end{aligned}$$

(33)

Using the identities (32) and (33) in (31), we obtain the required Truesdell form of the descending $F_{q}$-Eq. (8). □

Remark 4

Similarly, in the same manner, the following forms (34) to (38) can be shown to satisfy the descending $F_{q}$-condition:

$$\begin{array}{c}{\left(\frac{q^{\frac{-\alpha }{2}[\frac{1+\lambda }{\lambda }]}z}{{(1-q)}^{\alpha }}\right)}^{\alpha -1}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[(\frac{q^{\alpha h(\lambda -1)}}{z^{h\lambda }};q|\begin{array}{c}(\mathrm{△}(2\lambda ,2\alpha ),h),{(a_j,{\alpha }_j)}_{2\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(\lambda ,\alpha +1/2),h),{(b_j,{\beta }_j)}_{2\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right],\hfill \end{array}$$

(34)

$$\begin{array}{c}\frac{{(q^{\frac{-\alpha }{2(\alpha -1)}[\frac{3\alpha +1}{3\lambda }+\alpha -1]}z)}^{\alpha -1}}{{(1-q)}^{\alpha }}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[(\frac{q^{\alpha h(\lambda +1)}}{z^{h\lambda }};q|\begin{array}{c}(\mathrm{△}(3\lambda ,3\alpha ),h),{(a_j,{\alpha }_j)}_{3\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(\lambda ,\alpha +2/3),h),{(b_j,{\beta }_j)}_{\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\lambda },(\mathrm{△}(\lambda ,\alpha +1/3),h)\end{array})\right],\hfill \end{array}$$

(35)

$${\left(q^{\frac{-\alpha }{2}}z\right)}^{\alpha -1}{e}^{\pi i\alpha }{I}_{p_i,q_i;{\tau }_i;l}^{m,n}\left[(\frac{(q^{\alpha h\lambda })}{z^{h\lambda }};q|\begin{array}{c}(\mathrm{△}(\lambda ,\alpha ),h),{(a_j,{\alpha }_j)}_{\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ {(b_j,{\beta }_j)}_{1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right],$$

(36)

$${\left(q^{\frac{\alpha }{2}[\frac{1-\lambda }{\lambda }]}z\right)}^{\alpha -1}{I}_{p_i,q_i;{\tau }_i;l}^{m,n}\left[(\frac{q^{h\alpha (\lambda -1)}}{z^{h\lambda }};q|\begin{array}{c}{(a_j,{\alpha }_j)}_{1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\lambda },(\mathrm{△}(\lambda ,\alpha ),h)\\ {(b_j,{\beta }_j)}_{1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right],$$

(37)

$$\begin{array}{c}{\left(q^{\frac{\alpha }{2}[\frac{1-\lambda }{\lambda }-\frac{1}{\rho }]}z\right)}^{\alpha -1}{e}^{\pi i\alpha }\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[(\frac{q^{\alpha h\lambda }}{z^{h\lambda }};q|\begin{array}{c}(\mathrm{△}(\rho ,\alpha ),h),{(a_j,{\alpha }_j)}_{\rho +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\lambda },(\mathrm{△}(\lambda ,\alpha ),h),\\ (\mathrm{△}(\rho ,\alpha ),h),{(b_j,{\beta }_j)}_{\rho +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right].\hfill \end{array}$$

(38)

Next we use the above forms (30) and (34)–(38) and establish the following generating functions for basic analogue of the I-functions by applying the descending $F_{q}$-equation technique.

To establish (39) we substitute the structure (30) in Truesdell’s descending $F_{q}$-Eq. (8) and replace z by $\frac{y}{q^{\alpha }}$ and $\frac{q^{\alpha h+2\alpha h\lambda }}{y^{h\lambda }}$ by x in progression to get the required outcomes:

$$\begin{array}{c}{(1+q^{\alpha })}^{\alpha -1}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({(1+q^{\alpha })}^{-h\lambda }x;q|\begin{array}{c}(\mathrm{△}(\lambda ,\alpha ),h),{(a_j,{\alpha }_j)}_{\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\rho },(\mathrm{△}(\rho ,\alpha ),h)\\ {(b_j,{\beta }_j)}_{1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\rho },(\mathrm{△}(\rho ,\alpha ),h)\end{array})\right]\hfill \\ =\sum _{r=0}^{\mathrm{\infty }}\frac{{(q^{(-\alpha +r/2+1/2)((1-\rho )/\rho )}+\alpha )}^r}{r!}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[((q^{-rh(\lambda +1)}x;q|\begin{array}{c}(\mathrm{△}(\lambda ,\alpha -r),h),{(a_j,{\alpha }_j)}_{\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\rho },(\mathrm{△}(\rho ,\alpha -r),h)\\ {(b_j,{\beta }_j)}_{1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\rho },(\mathrm{△}(\rho ,\alpha -r),h)\end{array})\right].\hfill \end{array}$$

(39)

To establish (40), we substitute the structures (34) in Truesdell’s descending $F_{q}$-Eq. (8) and replace z by $\frac{y}{q^{\alpha }}$ and $\frac{2\alpha h\lambda -\alpha h}{y^{h\lambda }}$ by x, respectively:

$$\begin{array}{c}{(1+q^{\alpha })}^{\alpha -1}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({(1+q^{\alpha })}^{-h\lambda }x;q|\begin{array}{c}(\mathrm{△}(2\lambda ,2\alpha ),h){(a_j,{\alpha }_j)}_{2\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(\lambda ,\alpha +1/2),h),{(b_j,{\beta }_j)}_{2\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right]\hfill \\ =\sum _{r=0}^{\mathrm{\infty }}\frac{{(q^{(\alpha -\frac{1}{2}-\frac{r}{2})(\frac{1+\lambda }{\lambda })+\alpha (1-q)})}^r}{r!}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[((q^{rh(1-\lambda )}x;q|\begin{array}{c}(\mathrm{△}(2\lambda ,2\alpha -2r),h){(a_j,{\alpha }_j)}_{2\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(\lambda ,\alpha -r+1/2),h),{(b_j,{\beta }_j)}_{2\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right].\hfill \end{array}$$

(40)

To establish (41), we substitute the structures (35) in Truesdell’s descending $F_{q}$-Eq. (8) and replace z by $\frac{y}{q^{\alpha }}$ and $\frac{q^{\alpha h+2\alpha h\lambda }}{y^{h\lambda }}$ by x, respectively:

$$\begin{array}{c}{(1+q^{\alpha })}^{\alpha }\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({(1+q^{\alpha })}^{-h\lambda }x;q|\begin{array}{c}(\mathrm{△}(3\lambda ,3\alpha ),h){(a_j,{\alpha }_j)}_{3\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(\lambda ,\alpha +2/3),h),{(b_j,{\beta }_j)}_{\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\lambda },(\mathrm{△}(\lambda ,\alpha +1/3),h)\end{array})\right]\hfill \\ =\sum _{r=0}^{\mathrm{\infty }}\frac{{(q^{2\alpha +\frac{\alpha }{\lambda }-\frac{r}{2\lambda }-\frac{r}{2}+\frac{1}{6\lambda }+\frac{1}{2}(1-q)})}^r}{r!}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[((q^{-rh(\lambda +1)}x;q|\begin{array}{c}(\mathrm{△}(3\lambda ,3\alpha -3r),h){(a_j,{\alpha }_j)}_{3\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ (\mathrm{△}(\lambda ,\alpha -r+2/3),h),{(b_j,{\beta }_j)}_{\lambda +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i-\lambda },(\mathrm{△}(\lambda ,\alpha -r+1/3),h)\end{array})\right].\hfill \end{array}$$

(41)

To establish (42) we substitute the structures (36) in Truesdell’s descending $F_{q}$-Eq. (8) and replace z by $\frac{y}{q^{\alpha }}$ and $\frac{q^{2\alpha h\lambda }}{y^{h\lambda }}$ by x, respectively:

$$\begin{array}{c}{(1+q^{\alpha })}^{\alpha -1}{I}_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({(1+q^{\alpha })}^{-h\lambda }x;q|\begin{array}{c}(\mathrm{△}(\lambda ,\alpha ),h),{(a_j,{\alpha }_j)}_{\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ {(b_j,{\beta }_j)}_{1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right]\hfill \\ =\sum _{r=0}^{\mathrm{\infty }}\frac{{(-1)}^r{(q^{2\alpha +\frac{r}{2}-1/2})}^r}{r!}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[((q^{-rh\lambda }x;q|\begin{array}{c}(\mathrm{△}(\lambda ,\alpha -r),h),{(a_j,{\alpha }_j)}_{\lambda +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i}\\ {(b_j,{\beta }_j)}_{1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right].\hfill \end{array}$$

(42)

To establish (43) we substitute the structures (37) in Truesdell’s descending $F_{q}$-Eq. (8) and replace z by $\frac{y}{q^{\alpha }}$ and $\frac{q^{2\alpha h\lambda -\alpha h}}{y^{h\lambda }}$ by x, respectively:

$$\begin{array}{c}{(1+q^{\alpha })}^{\alpha -1}{I}_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({(1+q^{\alpha })}^{-h\lambda }x;q|\begin{array}{c}{(a_j,{\alpha }_j)}_{1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\lambda },(\mathrm{△}(\lambda ,\alpha ),h)\\ {(b_j,{\beta }_j)}_{1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right]\hfill \\ =\sum _{r=0}^{\mathrm{\infty }}\frac{{(q^{\frac{(1-\lambda )}{\lambda }(-\alpha +\frac{r}{2}+\frac{1}{2})+\alpha })}^r}{r!}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[((q^{rh(1-\lambda )}x;q|\begin{array}{c}{(a_j,{\alpha }_j)}_{1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\lambda },(\mathrm{△}(\lambda ,\alpha -r),h)\\ {(b_j,{\beta }_j)}_{1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right].\hfill \end{array}$$

(43)

To establish (44) we substitute the structures (38) in Truesdell’s descending $F_{q}$-Eq. (8) and replace z by $\frac{y}{q^{\alpha }}$ and $\frac{2\alpha h\lambda }{y^{h\lambda }}$ by x, respectively:

$$\begin{array}{c}{(1+q^{\alpha })}^{\alpha -1}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[({(1+q^{\alpha })}^{-h\lambda }x;q|\begin{array}{c}(\mathrm{△}(\rho ,\alpha ),h),{(a_j,{\alpha }_j)}_{\rho +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\lambda },(\mathrm{△}(\lambda ,\alpha ),h)\\ (\mathrm{△}(\rho ,\alpha ),h),{(b_j,{\beta }_j)}_{\rho +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right]\hfill \\ =\sum _{r=0}^{\mathrm{\infty }}\frac{{(-1)}^r{(q^{(\frac{1}{\lambda }-\frac{1}{\rho }-1)(-\alpha +\frac{r}{2}+\frac{1}{2})})}^r}{r!}\hfill \\ \times I_{p_i,q_i;{\tau }_i;l}^{m,n}\left[((q^{-rh\lambda }x;q|\begin{array}{c}(\mathrm{△}(\rho ,\alpha -r),h),{(a_j,{\alpha }_j)}_{\rho +1,n},{[{\tau }_i(a_{ji},{\alpha }_{ji})]}_{n+1,p_i-\lambda },(\mathrm{△}(\lambda ,\alpha -r),h)\\ (\mathrm{△}(\rho ,\alpha -r),h),{(b_j,{\beta }_j)}_{\rho +1,m},{[{\tau }_i(b_{ji},{\beta }_{ji})]}_{m+1,q_i}\end{array})\right].\hfill \end{array}$$

(44)

Remark 5

These results yield certain special cases of generating functions for the q-analogue of the I-function, H-function and G-function [7, 8, 18, 22].

4 Conclusion

This study led to different types of the I-function satisfying Truesdell’s ascending and descending $F_{q}$-equation. These forms have been applied to obtain various generating functions for basic analogue of the modified I-function.

The results proved in this paper along with their particular cases are believed to be new. As these functions have well been established as applicable functions these results are likely to contribute significantly in certain applications of the theory of q-calculus.