Open Access

A reduction formula for a q-beta integral

Advances in Difference Equations20162016:82

https://doi.org/10.1186/s13662-016-0812-8

Received: 25 October 2015

Accepted: 13 March 2016

Published: 22 March 2016

Abstract

In this paper, we give a reduction formula for a specific q-integral. Our formula is expressed as a three term recurrence relations for basic hypergeometric \({_{3}\phi_{2}}\) series. This is a q-analog of work by Watson and by Bailey of 1953.

Keywords

q-beta integralbasic hypergeometric seriescontiguous relations

1 Introduction and preliminaries

In [1], Watson constructed a reduction formula for the integral
$$ I_{n}= \int_{0}^{1} x^{\alpha} (1-x)^{\beta} \frac{d^{n}\{x^{\gamma}(1-x)^{\delta}\}}{dx^{n}}\,dx. $$
In fact, he proved that
$$ I_{n}= \frac{\Gamma(\alpha+\gamma-n+1)\Gamma(\beta+\delta -n+1)}{\Gamma (2\sigma-n+2)} H_{n}, $$
where
$$ H_{n}=\sum_{r=0}^{n} (-1)^{n-r} \begin{pmatrix} n \\ r \end{pmatrix} (- \gamma)_{n-r}(\beta+\delta-n+1)_{n-r}(-\delta)_{r}( \alpha+\gamma -n+1)_{r}, $$
and the notation \((x)_{r}\) denotes the product
$$(x)_{0}\equiv1 \quad\mbox{and}\quad (x)_{r}\equiv x(x+1)\cdots(x+r-1),\quad r\geq1. $$
Furthermore, Watson proved that \(H_{n}\) satisfies the following three term recurrence relation:
$$ (2\sigma-n) (\sigma-n)H_{n+2}- Q_{n} H_{n+1}+ S_{n} H_{n}=0, $$
(1.1)
where
$$\begin{aligned}& S_{n}=(n+1) (\sigma-n-1) (\alpha+\beta-n) (\gamma+\delta-n) (\beta + \delta-n),\\& Q_{n}= (2\sigma-2n-1)\bigl\{ (\beta\gamma-\alpha\delta) (\sigma+1)+ \theta _{3}(n+1) (2\sigma-n)\bigr\} , \end{aligned}$$
and \(2\sigma=\alpha+\beta+\gamma+\delta\), \(2\theta_{3}=\alpha -\beta -\gamma+\delta\). Also, he remarked \(H_{n}\) can be expressed in terms of a hypergeometric series of the type \({_{3}F_{2}}\) with last element unity which implies that (1.1) gives a three term contiguous relation for terminating \({_{3}F_{2}}\) series.

The proof introduced by Watson depends on constructing a second order linear differential equation satisfied by the integrand of \(I_{n}\). On the other hand, in [2], Bailey derived relations between contiguous hypergeometric functions of the type \({_{3}F_{2}}(1)\), and by using these relations, he obtained another proof of Watson’s reduction formula.

In this paper, we introduce a q-analog of the integral \(I_{n}\) by
$$ I_{n,q}= \int_{0}^{1} x^{\alpha} (qx;q)_{\beta} D_{q^{-1}}^{n} \bigl[x^{\gamma }\bigl(q^{\beta+1}x;q \bigr)_{\delta}\bigr]\,d_{q}x,\quad n=0,1,2,\ldots, $$
where α, β, γ, and δ are complex numbers, and q is a positive number less than one. Our aim to obtain a reduction formula for \(I_{n,q}\).

It turns out to us that Watson technique for introducing (1.1) is too hard to applied to our work. Therefore, we follow Bailey’s approach for deriving the reduction formula.

We recall the following definitions (see, e.g., [35]):

The q-shifted fractional is defined by
$$(a;q)_{\infty}= \prod_{j=0}^{\infty} \bigl(1-aq^{j}\bigr), \quad\mbox{and}\quad (a;q)_{n} := \frac{(a;q)_{\infty}}{(aq^{n};q)_{\infty}} \quad\mbox{for } n\in\mathbb{Z}, a\in\mathbb{C}. $$
The q-derivative \(D_{q} f\) of an arbitrary function f is given by
$$(D_{q} f) (x):= \frac{f(x)-f(qx)}{(1-q)x},\quad x\neq0. $$

We follow Gasper and Rahman [6] for the definitions of Jackson q-integrals, and the q-gamma and q-beta functions (see also [79]).

The q-integration by parts rule (see [3]) is
$$\int_{0}^{a} f(qt) D_{q}g(t) \,d_{q}t= f(a)g(a)-\lim_{n\rightarrow\infty } f\bigl(q^{n} \bigr)g\bigl(q^{n}\bigr)- \int_{0}^{a} D_{q}f(t) g(t) \,d_{q}t. $$
Let \(a_{1},\ldots,a_{r},b_{1},\ldots,b_{s}\) be complex numbers, the q-hypergeometric series \(_{r}\phi_{s}\) defined by
$$_{r}\phi_{s}( a_{1},\ldots,a_{r},b_{1}, \ldots,b_{s};q,z)= \sum_{n=0}^{\infty } \frac{( a_{1},\ldots,a_{r};q)_{n}}{(q,b_{1},\ldots,b_{s};q)_{n}}z^{n} \bigl(-q^{(n-1)/2}\bigr)^{n(s-r+1)} $$
The series representation of the function \(_{r}\phi_{s}\) converges absolutely for all \(z\in\mathbb{C}\) if \(r\leq s\), and converges only for \(\mid z\mid<1\) if \(r=s+1\) (for more details and results see [1014] and [15]).
Observe that
$$\begin{aligned} I_{0,q} =& \int_{0}^{1} x^{\alpha+\gamma} (qx;q)_{\beta+\delta} \,d_{q}x = B_{q}(\alpha+\gamma+1,\beta+\delta+1)\\ =& \frac{\Gamma_{q}(\alpha +\gamma +1)\Gamma_{q}(\beta+\delta+1)}{\Gamma_{q}(\alpha+\gamma+\beta+\delta+2)}, \end{aligned}$$
and, by using the q-integration by parts, one can verify that
$$\begin{aligned} I_{1,q} =& \int_{0}^{1} x^{\alpha} (qx;q)_{\beta} D_{q^{-1}} \bigl[x^{\gamma }\bigl(q^{\beta+1}x;q \bigr)_{\delta}\bigr] \,d_{q}x \\ =& q^{1-\gamma} \frac {\Gamma _{q}(\alpha+\gamma)\Gamma_{q}(\beta+\delta)}{\Gamma_{q}(\alpha+\gamma +\beta +\delta+1)} \bigl[[\gamma] [\beta+\delta]-q^{\beta}[\delta] [\alpha + \gamma] \bigr], \end{aligned}$$
where the notation \([z]\) is defined by
$$[z]:= \frac{1-q^{z}}{1-q}. $$
Note that the above values of the integrals \(I_{0,q}\) and \(I_{1,q}\) coincide with \(I_{0}\) and \(I_{1}\), respectively, which are given by Watson in the limit \(q\rightarrow1\).

This paper is organized as follows. In Section 2, we derive three term contiguous relations for the basic hypergeometric function \({_{3}\phi_{2}}(a, b, c; d, e; q, q)\). In Section 3, we show that \(I_{n,q}\) can be represented as \({_{3}\phi_{2}}(q)\) and a direct substation in the derived contiguous relation yields the result of this paper.

2 Contiguous relations of \({_{3}\phi_{2}}\)

Throughout this section, we simply used a to denotes the value \(q^{-n}\) where n is an arbitrary nonnegative integer. We denote by ϕ the function
$${_{3}\phi_{2}}(a, b, c; d, e; q, q), $$
and by \(\phi(a^{+})\), \(\phi(a^{-})\) the same function when a is changed to aq, \(a/q\), respectively. We use a similar notation when the other parameters are so changed. Also, let \(\phi_{+}\), \(\phi_{-}\) be the functions defined by
$$ \phi_{+} = {_{3}\phi_{2}}(aq, bq, cq; dq, eq; q, q) \quad\mbox{and} \quad \phi_{-} = {_{3}\phi_{2}}(a/q, b/q, c/q; d/q, e/q; q, q). $$
By the definition of \({_{3}\phi_{2}}\), one can verify the following:
$$\begin{aligned}& \phi\bigl(a^{+}\bigr)-\phi= qa \frac{(1-b)(1-c)}{(1-d)(1-e)} \phi_{+}, \end{aligned}$$
(2.1)
$$\begin{aligned}& \phi\bigl(a^{-}\bigr)-\phi= -a \frac{(1-b)(1-c)}{(1-d)(1-e)} \phi _{+}\bigl(a^{-} \bigr), \end{aligned}$$
(2.2)
$$\begin{aligned}& \phi\bigl(d^{+}\bigr)-\phi= - qd \frac{(1-a)(1-b)(1-c)}{(1-d)(1-qd)(1-e)} \phi_{+}\bigl(d^{+}\bigr), \end{aligned}$$
(2.3)
$$\begin{aligned}& \phi\bigl(d^{-}\bigr)-\phi= d \frac{(1-a)(1-b)(1-c)}{(1-d/q)(1-d)(1-e)} \phi_{+}. \end{aligned}$$
(2.4)
These equations, and the symmetries of the \({_{3}\phi_{2}}\), give us
$$\begin{aligned}& c(1-a)\bigl\{ \phi\bigl(a^{+}\bigr)-\phi\bigr\} = a(1-c)\bigl\{ \phi\bigl(c^{+} \bigr)-\phi\bigr\} , \end{aligned}$$
(2.5)
$$\begin{aligned}& a(1-b)\bigl\{ \phi\bigl(b^{+}\bigr)-\phi\bigr\} = b(1-a)\bigl\{ \phi \bigl(a^{+}\bigr)-\phi\bigr\} , \end{aligned}$$
(2.6)
$$\begin{aligned}& qa(1-d/q)\bigl\{ \phi\bigl(d^{-}\bigr)-\phi\bigr\} = d(1-a)\bigl\{ \phi\bigl(a^{+}\bigr)-\phi\bigr\} , \end{aligned}$$
(2.7)
$$\begin{aligned}& d(1-e/q)\bigl\{ \phi\bigl(e^{-}\bigr)-\phi\bigr\} = e(1-d/q)\bigl\{ \phi\bigl(d^{-} \bigr)-\phi\bigr\} . \end{aligned}$$
(2.8)
Now, applying the transformation (see [6])
$$ {_{3}\phi_{2}}(a,b,c;d,e;q,q)= \frac{(de/bc;q)_{n}}{(e;q)_{n}}(bc/d)^{n} {_{3}\phi_{2}}(a, d/b, d/c; d, de/bc; q, q), $$
(2.9)
to \(\psi= {_{3}\phi_{2}}(a, d/b, d/c; qd, de/bc; q, q)\) yields the following relations:
$$ \begin{aligned} &\phi= \frac{(de/bc;q)_{n}}{(e;q)_{n}} (bc/d)^{n} \psi\bigl(d^{-}\bigr),\\ &\phi_{+} = \frac{(de/bc;q)_{n-1}}{(qe;q)_{n-1}} (qbc/d)^{n-1} \psi \bigl(a^{+}\bigr),\\ &\phi_{+}\bigl(a^{-}\bigr) = \frac{(de/bc;q)_{n}}{(qe;q)_{n}} (qbc/d)^{n} \psi. \end{aligned} $$
(2.10)
Thus, from (2.7), changing ϕ into ψ, and using (2.10) we get
$$\begin{aligned} &d(1-a)\biggl\{ \frac{(qe;q)_{n-1}}{(de/bc;q)_{n-1}} (d/qbc)^{n-1} \phi _{+} - \frac{(qe;q)_{n}}{(de/bc;q)_{n}} (d/qbc)^{n} \phi_{+} \bigl(a^{-}\bigr)\biggr\} \\ &\quad{}-a(1-d)\biggl\{ \frac{(e;q)_{n}}{(de/bc;q)_{n}} (d/bc)^{n} \phi -\frac {(qe;q)_{n}}{(de/bc;q)_{n}} (d/qbc)^{n} \phi_{+}\bigl(a^{-}\bigr)\biggr\} =0. \end{aligned}$$
After some simplification this yields
$$ a(1-d) (1-e) \phi-(a-e) (a-d) \phi_{+} \bigl(a^{-}\bigr)-(1-a) (qabc-de) \phi_{+}=0. $$
(2.11)
From the symmetries of the \({_{3}\phi_{2}}\), we have
$$ b(1-d) (1-e) \phi-(b-e) (b-d) \phi_{+} \bigl(b^{-}\bigr)-(1-b) (qabc-de) \phi_{+}=0. $$
(2.12)
Using (2.11), (2.12), and (2.1), we obtain the following contiguous relations:
$$\begin{aligned}& \begin{aligned}[b] &ab(a-b) (1-c)\phi+ b(a-e) (a-d)\bigl\{ \phi\bigl(a^{-}\bigr)- \phi\bigr\} \\ &\quad{}-a(b-e) (b-d)\bigl\{ \phi \bigl(b^{-}\bigr)-\phi\bigr\} =0, \end{aligned} \end{aligned}$$
(2.13)
$$\begin{aligned}& \begin{aligned}[b] &qa^{2}(1-b) (1-c)\phi+ q(a-e) (a-d)\bigl\{ \phi\bigl(a^{-}\bigr)- \phi\bigr\} \\ &\quad{}-(1-a) (qabc-de)\bigl\{ \phi\bigl(a^{+}\bigr)-\phi\bigr\} =0, \end{aligned} \end{aligned}$$
(2.14)
$$\begin{aligned}& \begin{aligned}[b] &qb^{2}(1-b) (1-c)\phi+ q(b-e) (b-d)\bigl\{ \phi\bigl(b^{-}\bigr)- \phi\bigr\} \\ &\quad{}-(1-b) (qabc-de)\bigl\{ \phi\bigl(b^{+}\bigr)-\phi\bigr\} =0. \end{aligned} \end{aligned}$$
(2.15)
Now, replacing b by \(b/q\) in (2.6) and b by bq in (2.13) we get
$$\begin{aligned}& (b-aq)\bigl\{ \phi\bigl(b^{-}\bigr)-\phi \bigr\} + b(1-a)\phi- b(1-a)\phi\bigl(a^{+}, b^{-}\bigr)=0, \end{aligned}$$
(2.16)
$$\begin{aligned}& \begin{aligned}[b] &(a-qb) (ed-qabc)\bigl\{ \phi\bigl(b^{+} \bigr)-\phi\bigr\} + bq(a-e) (a-d)\phi\bigl(a^{-},b^{+}\bigr)\\ &\quad{}+\bigl\{ (a-qb) (ed-qabc)-a(qb-e) (qb-d)\bigr\} \phi=0. \end{aligned} \end{aligned}$$
(2.17)
Hence, combining (2.16) and (2.17) yields the three term contiguous relation
$$\begin{aligned} &(a-e) (a-d) (1-b) (b-qa) \phi \bigl(a^{-},b^{+}\bigr) \\ &\quad{}-(1-a) (b-e) (b-d) (a-qb) \phi \bigl(a^{+},b^{-}\bigr) \\ &\quad{}+\bigl\{ d(1-a)\bigl[a(e-b)+qb^{2}\bigr]+[2]ab(e-c) (a-b)-[2]b(ed+qba) \\ &\quad{}+qba^{2}\bigl([2]-a-d\bigr) + q(b-a) \bigl(qbac+e(b+a)\bigr) \\ &\quad{}+b^{3}(qa-c)+qa^{2}(ac-d)+ed\bigl(qa+b^{2}\bigr) \bigr\} \phi=0. \end{aligned}$$
(2.18)

3 The reduction formula

In this section, we state and prove the reduction formula for the q-integral \(I_{n,q}\) stated in the introduction. We start with the following result.

Proposition 3.1

The q-integral \(I_{n,q}\) can be represented in terms of basic hypergeometric series \({_{3}\phi_{2}}\), that is,
$$ I_{n,q}= S_{n} {_{3}\phi_{2}} \bigl(q^{-n}, q^{-\beta-\delta-\alpha-\gamma +n-1}, q^{-\beta}; q^{-\beta-\delta}, q^{-\alpha-\beta}; q, q\bigr), $$
where
$$ S_{n}= q^{\frac{n}{2}(2\beta+5-n)} \frac{\Gamma_{q}(\beta+\delta +1)\Gamma _{q}(\alpha+\gamma+1)}{\Gamma_{q}(\alpha+\gamma+\beta+\delta-n+2)} \frac {(q^{-\gamma};q)_{n} (q^{-\alpha-\beta};q)_{n}}{(q^{-\alpha-\gamma };q)_{n} (q^{1-n+\gamma};q)_{n}}. $$

Proof

Calculating \(D_{q^{-1}}^{n} [x^{\gamma}(q^{\beta+1}x;q)_{\delta}]\) by using a \(q^{-1}\)-type Leibiniz rule (see [6], p.27) gives
$$ I_{n,q}= \int_{0}^{1} x^{\alpha} (qx;q)_{\beta} \sum_{k=0}^{n} \begin{bmatrix} n \\ k \end{bmatrix} _{q^{-1}} \bigl(D_{q^{-1}}^{n-k} f\bigr) \bigl(q^{-k}x\bigr) D_{q^{-1}}^{k} g(x) \,d_{q}x, $$
where
$$f(x)= x^{\gamma}\quad\mbox{and}\quad g(x)= \bigl(q^{\beta+1}x,q \bigr)_{\delta}. $$
Note that
$$\begin{aligned}& \bigl\{ D_{q^{-1}}^{n-k} (\cdot)^{\gamma}\bigr\} \bigl(q^{-k}x\bigr)= \frac {(-q)^{n-k}(q^{-\gamma};q)_{n-k}}{(1-q)^{n-k}} q^{-k^{2}+nk-\gamma k} x^{\gamma-n+k}, \\& D_{q^{-1}}^{k}\bigl(q^{\beta+1}x,q\bigr)_{\delta}= q^{(\beta+\delta+1)k} \frac {q^{-\frac{1}{2}k(k-1)}}{(1-q)^{k}}\bigl(q^{\beta+1}x,q\bigr)_{\delta -k} \bigl(q^{-\delta },q\bigr)_{k} . \end{aligned}$$
This implies
$$\begin{aligned} I_{n,q}={}& \sum _{k=0}^{n} \begin{bmatrix} n \\ k \end{bmatrix} _{q^{-1}} \frac{(-q)^{n-k}(q^{-\gamma};q)_{n-k}}{(1-q)^{n}} \bigl(q^{-\delta};q \bigr)_{k} q^{-\frac{1}{2}k(k-1)} \\ &{}\times q^{(\beta +\delta +1)k-(k-n+\gamma)k} \int_{0}^{1} x^{\alpha+\gamma-n+k} (qx;q)_{\beta} \bigl(q^{\beta+1}x;q\bigr)_{\delta-k} \,d_{q}x. \end{aligned}$$
(3.1)
Denoting the q-integral in the left-hand-side of (3.1) by \(J_{n}\), we obtain
$$\begin{aligned} J_{n} &= \int_{0}^{1} x^{\alpha+\gamma-n+k} (qx;q)_{\beta+\delta-k} \,d_{q}x\\ &= B_{q}(\alpha+\gamma-n+k+1,\beta+\delta-k+1)\\ &=\frac{\Gamma_{q}(\alpha+\gamma-n+k+1)\Gamma_{q}(\beta+\delta -k+1)}{\Gamma _{q}(\alpha+\gamma+ \beta+\delta-n+2)}. \end{aligned}$$
Using [6], Eq. (I.8) and Eq. (I.35), we get
$$ J_{n}= \frac{\Gamma_{q}(\alpha+\gamma+1)\Gamma_{q}(\beta+\delta +1)}{\Gamma _{q}(\alpha+\gamma+ \beta+\delta-n+2)} \frac {(1-q)^{n}q^{k^{2}-nk+\frac {1}{2}n(n+1)}q^{-(\beta+\delta)k-(n-k)(\alpha+\gamma)}}{(-1)^{n} (q^{-\beta-\delta};q)_{k} (q^{-\alpha-\gamma};q)_{n-k}}. $$
(3.2)
Using [6], Eq. (I.11), we get
$$ \frac{(q^{-\gamma};q)_{n-k}}{(q^{-\alpha-\gamma};q)_{n-k}}= \frac {(q^{-\gamma};q)_{n}}{(q^{-\alpha-\gamma} ;q)_{n}} \frac {(q^{1-n+\alpha +\gamma};q)_{k}}{(q^{1-n+\gamma};q)_{k}} q^{-\alpha k}. $$
(3.3)
Substituting (3.2) into (3.1), using (3.3), yields
$$\begin{aligned} I_{n,q}={}& \frac{\Gamma_{q}(\alpha+\gamma+1)\Gamma_{q}(\beta+\delta +1)}{\Gamma _{q}(\alpha+\gamma+ \beta+\delta-n+2)} q^{n(1-\gamma-\alpha )+\frac {1}{2}n(n+1)} \frac{ (q^{-\gamma};q)_{n}}{(q^{-\alpha-\gamma};q)_{n}} \\ &{}\times\sum_{k=0}^{n} \begin{bmatrix} n \\ k \end{bmatrix} _{q^{-1}}(-1)^{k} q^{-\frac{1}{2}k(k-1)} \frac{(q^{1-n+\alpha +\gamma};q)_{k} (q^{-\delta};q)_{k}}{(q^{1-n+\gamma};q)_{k} (q^{-\delta -\beta};q)_{k}}. \end{aligned}$$
(3.4)
Now using [6], Eq. (I.42) and Eq. (I.47), we get
$$\begin{aligned} I_{n,q} =& K_{n} \sum_{k=0}^{n} q^{k} \frac{(q^{-n},q^{-\delta },q^{1-n+\alpha+\gamma};q)_{k}}{(q^{-\beta-\delta},q,q^{1-n+\gamma};q)_{k}}\\ =& K_{n} {_{3} \phi_{2}}\bigl(q^{-n}, q^{1-n+\alpha+\gamma}, q^{-\delta }; q^{-\beta-\delta}, q^{1-n+\gamma}; q, q\bigr), \end{aligned}$$
where
$$ K_{n}= \frac{\Gamma_{q}(\beta+\delta+1)\Gamma_{q}(\alpha+\gamma +1)}{\Gamma _{q}(\alpha+\gamma+\beta+\delta-n+2)}q^{n(1-\gamma-\alpha)+ \frac{1}{2}n(n+1)}\frac{(q^{-\gamma};q)_{n}}{(q^{-\alpha-\gamma};q)_{n}}. $$
Using the transformation (2.9) yields the required result and completes the proof. □

Corollary 3.2

If \(\gamma=0\) then \(I_{n,q}\) vanishes for all values of n where \(n-\beta-\delta\) and β are nonnegative integers.

Proof

Since
$$ {_{3}\phi_{2}}\bigl(a,b_{1}q^{m_{1}},b_{2}q^{m_{2}};b_{1},b_{2};q,a^{-1}q^{-(m_{1}+m_{2})} \bigr)= 0, $$
(3.5)
where \(m_{1}\), \(m_{2}\) are arbitrary nonnegative integers (see [6]), the proof follows directly from Proposition 3.1 and (3.5). □

Watson remarked \(I_{n}\) vanishes for odd values of n in two special cases, (i) \(\alpha=\gamma\) and \(\beta=\delta\) and (ii) \(\alpha=\beta \) and \(\gamma=\delta\).

Now, we can derive the reduction formula for \(I_{n,q}\).

Theorem 3.3

The reduction formula satisfies a three term recurrence relations of \(I_{n,q}\). More precisely, the following holds:

If
$$W_{n}= {_{3}\phi_{2}}\bigl(q^{-n}, q^{-\beta-\delta-\alpha-\gamma+n-1}, q^{-\beta }; q^{-\beta-\delta}, q^{-\alpha-\beta}; q, q \bigr), $$
then
$$ L_{n} W_{n+1} - Q_{n} W_{n-1}+ M_{n} W_{n}=0, $$
(3.6)
where
$$\begin{aligned}& L_{n}=\bigl(q^{-n}-q^{\theta_{1}} \bigr) \bigl(q^{-n}-q^{\theta_{2}}\bigr) \bigl(1-q^{\theta _{3}+n} \bigr) \bigl(q^{\theta_{3}+n}-q^{1-n}\bigr),\\& Q_{n}= \bigl(1-q^{-n}\bigr) \bigl(q^{\theta_{3}+n}-q^{\theta_{1}} \bigr) \bigl(q^{\theta _{3}+n}-q^{\theta _{2}}\bigr) \bigl(q^{-n}-q^{\theta_{3}+n+1} \bigr),\\& \begin{aligned}[b] M_{n}={}& q^{\theta_{2}} \bigl(1-q^{-n}\bigr)\bigl[q^{-n}\bigl(q^{\theta_{1}}-q^{\theta_{3}+n} \bigr)+ q^{2(\theta_{3}+n)+1}\bigr]+ q^{3(\theta_{3}+n)}\bigl(q^{1-n}-q^{-\beta} \bigr) \\ &{}-[2]q^{\theta_{3}+n}\bigl(q^{\theta_{1}+\theta_{2}}+q^{1+\theta_{3}}\bigr)+ q^{1+\theta _{3}-n} \bigl([2]-q^{-n}-q^{\theta_{2}} \bigr) + q^{1-2n}\bigl(q^{-n-\beta}-q^{\theta_{2}}\bigr)\\ &{}+q\bigl(q^{\theta_{3}+n}-q^{-n}\bigr) \bigl(q^{1+\theta_{3}-\beta}+ q^{\theta _{1}}\bigl(q^{\theta _{3}+n}+q^{-n}\bigr)\bigr)+ q^{\theta_{1}+\theta_{2}}\bigl(q^{1-n}+q^{2(\theta_{3}+n)}\bigr)\\ &{}+[2]q^{\theta_{3}}\bigl(q^{\theta_{1}}-q^{-\beta}\bigr) \bigl(q^{-n}-q^{\theta_{3}+n}\bigr), \end{aligned} \end{aligned}$$
and \(\theta_{1}=-\alpha-\beta\), \(\theta_{2}=-\delta-\beta\), \(\theta _{3}=-\alpha-\beta-\delta-\gamma-1\).

Proof

This result follows by applying Proposition 3.1 and using equation (2.18) with
$$b=q^{-\beta-\delta-\alpha-\gamma+n-1},\qquad c=q^{-\beta},\qquad d=q^{-\beta -\delta}\quad \mbox{and}\quad e=q^{-\alpha-\beta}. $$
 □
Recall that the little q-Jacobi polynomials, see [16], are defined by
$$ P_{n}(x;a,b;q)= {_{2}\phi_{1}} \bigl(q^{-n}, abq^{n+1}; aq; q, qx\bigr), $$
(3.7)
and the formula
$$P_{n}(x;c,d;q)= \sum_{k=0}^{n} a_{k,n}P_{k} (x;a,b;q) $$
holds with
$$ \begin{aligned} & a_{k,n}= C_{k} {_{3} \phi _{2}}\bigl(q^{k-n},cdq^{n+k+1},aq^{k+1};cq^{k+1},abq^{2k+2};q,q \bigr),\\ &C_{k}= (-1)^{k} q \frac{(q^{-n},aq,cdq^{n+1};q)_{k}}{(q,cq,abq^{k+1};q)_{k}}. \end{aligned} $$
(3.8)

Remark 3.4

In (3.7), if we take \(a=q^{-\beta-1}\), \(b=q^{-\alpha-1}\), \(c=q^{-\beta-\delta-1}\) and \(d=q^{-\alpha-\gamma-1}\), we get \(a_{0,n} =\frac{1}{S_{n}} I_{n,q}\). Thus, the little q-Jacobi polynomials and the q-integrals \(I_{n,q}\) are related in the following way:
$$ P_{n}(x;c,d;q) = \frac{1}{S_{n}} I_{n,q}+ \sum _{k=1}^{n} a_{k,n} P_{k} (x;a,b;q). $$

Declarations

Acknowledgements

The authors would like to thank Prof. Mourad Ismail for pointing out the relation between \(I_{n,q}\) and the little q-Jacobi polynomials. They are very grateful to the reviewers and editors for their suggestions and comments which improved final version of this paper. This research is supported by the DSFP program of the King Saud University in Riyadh through grant DSFP/MATH 01.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Department of Mathematics, Faculty of Science, King Saud University
(2)
Department of Mathematics, Faculty of Science, Cairo University
(3)
Department of Natural and Engineering Science, Faculty of Applied Studies and Community Service, King Saud University

References

  1. Watson, GN: A reduction formula. Proc. Glasgow Math. Assoc. 2, 57-61 (1954) MathSciNetView ArticleMATHGoogle Scholar
  2. Bailey, WN: Contiguous hypergeometric functions of the type \({_{3}F_{2}}(1)\). Proc. Glasgow Math. Assoc. 2, 62-65 (1954) MathSciNetView ArticleMATHGoogle Scholar
  3. Annaby, MH, Mansour, ZS: q-Fractional Calculus and Equations, vol. 2056. Springer, Berlin (2012) MATHGoogle Scholar
  4. Rainville, ED: Special Functions. The MacMillan Company, New York (1960) MATHGoogle Scholar
  5. Andrews, GE, Askey, R, Roy, R: Special Functions. Cambridge University Press, Cambridge (1999) View ArticleMATHGoogle Scholar
  6. Gasper, G, Rahman, M: Basic Hypergeometric Series. Cambridge University Press, Cambridge (2004) View ArticleMATHGoogle Scholar
  7. Jackson, FH: The basic gamma function and elliptic functions. Proc. R. Soc. A 76, 127-144 (1905) View ArticleMATHGoogle Scholar
  8. Jackson, FH: On q-definite integrals. Q. J. Pure and Appl. Math. 41, 193-203 (1910) MATHGoogle Scholar
  9. Askey, R: The q-gamma and q-beta functions. Appl. Anal. 8(2), 125-141 (1979) MathSciNetView ArticleMATHGoogle Scholar
  10. Wilson, JA: Hypergeometric series, recurrence relations and some orthogonal functions. Ph.D. diss., University of Wisconsin, Madison (1978) Google Scholar
  11. Gupta, DP, Ismail, ME, Masson, DR: Contiguous relations, basic hypergeometric functions, and orthogonal polynomials. II. Associated big q-Jacobi polynomials. J. Math. Anal. Appl. 2, 477-497 (1992) MathSciNetView ArticleMATHGoogle Scholar
  12. Gautschi, W: Computational aspects of three-term recurrence relations. SIAM Rev. 9, 24-82 (1967) MathSciNetView ArticleMATHGoogle Scholar
  13. Rakha, MA, Ibrahim, AK: On the contiguous relations of hypergeometric series. J. Comput. Appl. Math. 192(2), 396-410 (2006) MathSciNetView ArticleMATHGoogle Scholar
  14. Ismail, ME, Masson, DR: Generalized orthogonal and continued fractions. J. Approx. Theory 83, 1-40 (1995) MathSciNetView ArticleMATHGoogle Scholar
  15. Vidūnas, R: Contiguous relations of hypergeometric series. J. Math. Anal. Appl. 135, 507-519 (2003) MathSciNetMATHGoogle Scholar
  16. Andrews, GE, Askey, R: Enumeration of partitions: the role of Eulerian series and q-orthogonal polynomials. In: Aigner, M (ed.) Higher Combinatorics, pp. 3-26. Reidel, Boston (1977) View ArticleGoogle Scholar

Copyright

© Mansour and Al-Towailb 2016