Expressing Sums of Finite Products of Chebyshev Polynomials of the Second Kind and of Fibonacci Polynomials by Several Orthogonal Polynomials

Abstract

This paper is concerned with representing sums of the finite products of Chebyshev polynomials of the second kind and of Fibonacci polynomials in terms of several classical orthogonal polynomials. Indeed, by explicit computations, each of them is expressed as linear combinations of Hermite, generalized Laguerre, Legendre, Gegenbauer and Jacobi polynomials, which involve the hypergeometric functions ${}_1{F}_1$ and ${}_2{F}_1$.

1. Introduction and Preliminaries

In this section, we will fix some notations and recall some basic facts about relevant orthogonal polynomials that will be used throughout this paper.

For any nonnegative integer n, the falling factorial polynomials ${\left(x\right)}_n$ and the rising factorial polynomials $<x{>}_n$ are respectively defined by (see [1])

$$\begin{array}{c}\hfill {\left(x\right)}_n=x(x-1)\cdots (x-n+1), (n\ge 1), {\left(x\right)}_0=1,\end{array}$$

(1)

$$\begin{array}{c}\hfill <x{>}_n=x(x+1)\cdots (x+n-1), (n\ge 1), <x{>}_0=1.\end{array}$$

(2)

The two factorial polynomials are related by:

$$\begin{array}{c}\hfill {(-1)}^n{\left(x\right)}_n=<-x{>}_n, {(-1)}^n<x{>}_n={(-x)}_n.\end{array}$$

(3)

$$\begin{array}{c}\hfill \frac{(2n-2s)!}{(n-s)!}=\frac{2^{2n-2s}{(-1)}^s<\frac{1}{2}{>}_n}{<\frac{1}{2}-n{>}_s}, (n\ge s\ge 0).\end{array}$$

(4)

$$\begin{array}{c}\hfill \mathsf{\Gamma }(n+\frac{1}{2})=\frac{\left(2n\right)!\sqrt{\pi }}{2^{2n}n!}, (n\ge 0).\end{array}$$

(5)

$$\begin{array}{c}\hfill \frac{\mathsf{\Gamma }(x+1)}{\mathsf{\Gamma }(x+1-n)}={\left(x\right)}_n,\frac{\mathsf{\Gamma }(x+n)}{\mathsf{\Gamma }\left(x\right)}=<x{>}_n, (n\ge 0).\end{array}$$

(6)

$$\begin{array}{c}\hfill B(x,y)={\int }_0^1{t}^{x-1}{(1-t)}^{y-1}dt=\frac{\mathsf{\Gamma }\left(x\right)\mathsf{\Gamma }\left(y\right)}{\mathsf{\Gamma }(x+y)}, (Rex, Rey>0),\end{array}$$

(7)

where $\mathsf{\Gamma }\left(x\right)$ and $B(x,y)$ are the gamma and beta functions, respectively.

The hypergeometric function is defined by:

$$\begin{array}{c}{}_p{F}_q(a_1,\cdots ,a_p;b_1,\cdots ,b_q;x)\hfill \\ =\sum _{n=0}^{\infty }\frac{<a_1{>}_n\cdots <a_p{>}_n}{<b_1{>}_n\cdots <b_q{>}_n}\frac{x^n}{n!}, (p\le q+1, |x|<1).\hfill \end{array}$$

(8)

We are now going to recall some basic facts about Chebyshev polynomials of the second kind $U_n\left(x\right)$, Fibonacci polynomials $F_n\left(x\right)$, Hermite polynomials $H_n\left(x\right)$, generalized (extended) Laguerre polynomials $L_n^{\alpha }\left(x\right)$, Legendre polynomials $P_n\left(x\right)$, Gegenbauer polynomials $C_n^{\left(\lambda \right)}\left(x\right)$ and Jacobi polynomials $P_n^{(\alpha ,\beta )}\left(x\right)$. All the necessary results on those special polynomials, except Fibonacci polynomials, can be found in [2,3,4,5,6,7]. Furthermore, the interested reader may refer to [8,9,10,11] for full accounts of the fascinating area of orthogonal polynomials.

In terms of generating functions, the above special polynomials are given by:

$$\begin{array}{c}F(t,x)=\frac{1}{1-2xt+t^2}=\sum _{n=0}^{\infty }{U}_n\left(x\right)t^n,\hfill \end{array}$$

(9)

$$\begin{array}{c}G(t,x)=\frac{1}{1-xt-t^2}=\sum _{n=0}^{\infty }{F}_{n+1}\left(x\right)t^n,\hfill \end{array}$$

(10)

$$\begin{array}{c}{e}^{2xt-t^2}=\sum _{n=0}^{\infty }{H}_n\left(x\right)\frac{t^n}{n!},\hfill \end{array}$$

(11)

$$\begin{array}{c}{(1-t)}^{-\alpha -1}exp(-\frac{xt}{1-t})=\sum _{n=0}^{\infty }{L}_n^{\alpha }\left(x\right)t^n, (\alpha >-1),\hfill \end{array}$$

(12)

$$\begin{array}{c}{(1-2xt+t^2)}^{-\frac{1}{2}}=\sum _{n=0}^{\infty }{P}_n\left(x\right)t^n,\hfill \end{array}$$

(13)

$$\begin{array}{c}\frac{1}{{(1-2xt+t^2)}^{\lambda }}=\sum _{n=0}^{\infty }{C}_n^{\left(\lambda \right)}\left(x\right)t^n, (\lambda >-\frac{1}{2}, \lambda \ne 0, \left|t\right|<1, \left|x\right|\le 1),\hfill \end{array}$$

(14)

$$\begin{array}{c}\frac{2^{\alpha +\beta }}{R{(1-t+R)}^{\alpha }{(1+t+R)}^{\beta }}=\sum _{n=0}^{\infty }{P}_n^{(\alpha ,\beta )}\left(x\right)t^n,\hfill \\ (R=\sqrt{1-2xt+t^2},\alpha ,\beta >-1).\hfill \end{array}$$

(15)

Explicit expressions of special polynomials can be given as in the following.

$$\begin{array}{cc}\hfill U_n\left(x\right)& =(n+1){}_2{F}_1(-n,n+2;\frac{3}{2};\frac{1-x}{2})\hfill \\ & =\sum _{l=0}^{[\frac{n}{2}]}{(-1)}^l\left(\genfrac{}{}{0pt}{}{n-l}{l}\right){\left(2x\right)}^{n-2l},\hfill \end{array}$$

(16)

$$\begin{array}{c}\hfill F_{n+1}\left(x\right)=\sum _{l=0}^{[\frac{n}{2}]}\left(\genfrac{}{}{0pt}{}{n-l}{l}\right)x^{n-2l},\end{array}$$

(17)

$$\begin{array}{c}\hfill H_n\left(x\right)=n!\sum _{l=0}^{[\frac{n}{2}]}\frac{{(-1)}^l}{l!(n-2l)!}{\left(2x\right)}^{n-2l},\end{array}$$

(18)

$$\begin{array}{cc}\hfill L_n^{\alpha }\left(x\right)& =\frac{<\alpha +1{>}_n}{n!}{}_1{F}_1(-n,\alpha +1;x)\hfill \\ & =\sum _{l=0}^n\frac{{(-1)}^l\left(\genfrac{}{}{0pt}{}{n+\alpha }{n-l}\right)}{l!}{x}^l,\hfill \end{array}$$

(19)

$$\begin{array}{cc}\hfill P_n\left(x\right)& ={}_2{F}_1(-n,n+1;1;\frac{1-x}{2})\hfill \\ & =\frac{1}{2^n}\sum _{l=0}^{[\frac{n}{2}]}{(-1)}^l\left(\genfrac{}{}{0pt}{}{n}{l}\right)\left(\genfrac{}{}{0pt}{}{2n-2l}{n}\right)x^{n-2l},\hfill \end{array}$$

(20)

$$\begin{array}{cc}\hfill C_n^{\left(\lambda \right)}\left(x\right)& =\left(\genfrac{}{}{0pt}{}{n+2\lambda -1}{n}\right){}_2{F}_1(-n,n+2\lambda ;\lambda +\frac{1}{2};\frac{1-x}{2})\hfill \\ & =\sum _{k=0}^{[\frac{n}{2}]}{(-1)}^k\frac{\mathsf{\Gamma }(n-k+\lambda )}{\mathsf{\Gamma }\left(\lambda \right)k!(n-2k)!}{\left(2x\right)}^{n-2k},\hfill \end{array}$$

(21)

$$\begin{array}{cc}\hfill P_n^{(\alpha ,\beta )}\left(x\right)& =\frac{<\alpha +1{>}_n}{n!}{}_2{F}_1(-n,1+\alpha +\beta +n;\alpha +1;\frac{1-x}{2})\hfill \\ & =\sum _{k=0}^n\left(\genfrac{}{}{0pt}{}{n+\alpha }{n-k}\right)\left(\genfrac{}{}{0pt}{}{n+\beta }{k}\right){(\frac{x-1}{2})}^k{(\frac{x+1}{2})}^{n-k}.\hfill \end{array}$$

(22)

Next, we recall Rodrigues-type formulas for Hermite and generalized Laguerre polynomials and Rodrigues’ formulas for Legendre, Gegenbauer and Jacobi polynomials.

$$\begin{array}{c}{H}_n\left(x\right)={(-1)}^n{e}^{x^2}\frac{d^n}{d{x}^n}{e}^{-x^2},\hfill \end{array}$$

(23)

$$\begin{array}{c}{L}_n^{\alpha }\left(x\right)=\frac{1}{n!}{x}^{-\alpha }{e}^x\frac{d^n}{d{x}^n}(e^{-x}{x}^{n+\alpha }),\hfill \end{array}$$

(24)

$$\begin{array}{c}{P}_n\left(x\right)=\frac{1}{2^{n}n!}\frac{d^n}{d{x}^n}{(x^2-1)}^n,\hfill \end{array}$$

(25)

$$\begin{array}{c}{(1-x^2)}^{\lambda -\frac{1}{2}}{C}_n^{\left(\lambda \right)}\left(x\right)=\frac{{(-2)}^n}{n!}\frac{<\lambda {>}_n}{<n+2\lambda {>}_n}\frac{d^n}{d{x}^n}{(1-x^2)}^{n+\lambda -\frac{1}{2}},\hfill \end{array}$$

(26)

$$\begin{array}{c}{(1-x)}^{\alpha }{(1+x)}^{\beta }{P}_n^{(\alpha ,\beta )}\left(x\right)=\frac{{(-1)}^n}{2^{n}n!}\frac{d^n}{d{x}^n}{(1-x)}^{n+\alpha }{(1+x)}^{n+\beta }.\hfill \end{array}$$

(27)

The following orthogonalities with respect to various weight functions are enjoyed by Hermite, generalized Laguerre, Legendre, Gegenbauer and Jacobi polynomials. Here, ${\delta }_{n,m}$ is Kronecker’s delta, so that ${\delta }_{n,m}=1$, for $n=m$, and ${\delta }_{n,m}=0$, for $n\ne m$.

$$\begin{array}{c}{\int }_{-\infty }^{\infty }{e}^{-x^2}{H}_n\left(x\right)H_m\left(x\right)dx=2^{n}n!\sqrt{\pi }{\delta }_{n,m},\hfill \end{array}$$

(28)

$$\begin{array}{c}{\int }_0^{\infty }{x}^{\alpha }{e}^{-x}{L}_n^{\alpha }\left(x\right)L_m^{\alpha }\left(x\right)dx=\frac{1}{n!}\mathsf{\Gamma }(\alpha +n+1){\delta }_{n,m},\hfill \end{array}$$

(29)

$$\begin{array}{c}{\int }_{-1}^1{P}_n\left(x\right)P_m\left(x\right)dx=\frac{2}{2n+1}{\delta }_{n,m},\hfill \end{array}$$

(30)

$$\begin{array}{c}{\int }_{-1}^1{(1-x^2)}^{\lambda -\frac{1}{2}}{C}_n^{\left(\lambda \right)}\left(x\right)C_m^{\left(\lambda \right)}\left(x\right)dx=\frac{\pi 2^{1-2\lambda }\mathsf{\Gamma }(n+2\lambda )}{n!(n+\lambda )\mathsf{\Gamma }{\left(\lambda \right)}^2}{\delta }_{n,m},\hfill \end{array}$$

(31)

$$\begin{array}{c}{\int }_{-1}^1{(1-x)}^{\alpha }{(1+x)}^{\beta }{P}_n^{(\alpha ,\beta )}\left(x\right)P_m^{(\alpha ,\beta )}\left(x\right)dx\hfill \\ =\frac{2^{\alpha +\beta +1}\mathsf{\Gamma }(n+\alpha +1)\mathsf{\Gamma }(n+\beta +1)}{(2n+\alpha +\beta +1)\mathsf{\Gamma }(n+\alpha +\beta +1)\mathsf{\Gamma }(n+1)}{\delta }_{n,m}.\hfill \end{array}$$

(32)

For convenience, we put:

$$\begin{array}{c}\hfill {\gamma }_{n,r}\left(x\right)=\sum _{i_1+i_2+\cdots +i_{r+1}=n}{U}_{i_1}\left(x\right)U_{i_2}\left(x\right)\cdots U_{i_{r+1}}\left(x\right), (n,r\ge 0),\end{array}$$

(33)

$$\begin{array}{c}\hfill {\mathcal{E}}_{n,r}\left(x\right)=\sum _{i_1+i_2+\cdots +i_r=n}{F}_{i_1+1}\left(x\right)F_{i_2+1}\left(x\right)\cdots F_{i_r+1}\left(x\right), (n\ge 0,r\ge 1).\end{array}$$

(34)

We note here that both ${\gamma }_{n,r}\left(x\right)$ and ${\mathcal{E}}_{n,r}\left(x\right)$ have degree n.

The classical linearization problem in general consists of determining the coefficients $c_{nm}\left(k\right)$ in the expansion of the product of two polynomials $q_n\left(x\right)$ and $r_m\left(x\right)$ in terms of an arbitrary polynomial sequence ${\left\{p_k\left(x\right)\right\}}_{k\ge 0}$:

$$q_n\left(x\right)r_m\left(x\right)=\sum _{k=0}^{n+m}{c}_{nm}\left(k\right)p_k\left(x\right).$$

Here, we will study the sums of finite products of Chebyshev polynomials of the second kind in (33) and those of Fibonacci polynomials in (34). Then, we would like to express each of ${\gamma }_{n,r}\left(x\right)$ and ${\mathcal{E}}_{n,r}\left(x\right)$ as linear combinations of $H_n\left(x\right), L_n^{\alpha }\left(x\right), P_n\left(x\right), C_n^{\left(\lambda \right)}\left(x\right)$ and $P_n^{(\alpha ,\beta )}\left(x\right)$. These will be done by performing explicit computations and exploiting the formulas in Proposition 1. They can be derived from their orthogonalities, Rodrigues’ and Rodrigues-like formulas and integration by parts. This may be viewed as a generalization of the above-mentioned linearization problem.

Our main results are as follows:

Theorem 1.

Let $n,r$ be integers with $n\ge 0, r\ge 1$. Then, we have the following.

$$\begin{array}{c}\sum _{i_1+i_2+\cdots +i_{r+1}=n}{U}_{i_1}\left(x\right)U_{i_2}\left(x\right)\cdots U_{i_{r+1}}\left(x\right)\hfill \\ =\frac{(n+r)!}{r!}\sum _{j=0}^{[\frac{n}{2}]}\frac{1}{j!(n-2j)!}{}_1{F}_1(-j;-n-r;-1)H_{n-2j}\left(x\right)\hfill \end{array}$$

(35)

$$\begin{array}{c}=\frac{2^n\mathsf{\Gamma }(\alpha +n+1)}{r!}\sum _{k=0}^n\frac{{(-1)}^k}{\mathsf{\Gamma }(\alpha +k+1)}\hfill \\ \times \sum _{l=0}^{[\frac{n-k}{2}]}\frac{{(-\frac{1}{4})}^l(n+r-l)!}{l!(n-k-2l)!{(\alpha +n)}_{2l}}{L}_k^{\alpha }\left(x\right)\hfill \end{array}$$

(36)

$$\begin{array}{c}=\frac{(n+r)!}{r!}\sum _{j=0}^{[\frac{n}{2}]}\frac{(2n-4j+1)}{{(n-j+\frac{1}{2})}_{n-j}j!}{}_2{F}_1(-j;j-n-\frac{1}{2};-n-r;1)P_{n-2j}\left(x\right)\hfill \end{array}$$

(37)

$$\begin{array}{c}=\frac{\mathsf{\Gamma }\left(\lambda \right)(n+r)!}{\mathsf{\Gamma }(n+\lambda +1)r!}\hfill \\ \times \sum _{j=0}^{[\frac{n}{2}]}\frac{(n+\lambda -2j){(n+\lambda )}_j}{j!}{}_2{F}_1(-j;j-n-\lambda ;-n-r;1)C_{n-2j}^{\left(\lambda \right)}\left(x\right)\hfill \end{array}$$

(38)

$$\begin{array}{c}=\frac{{(-2)}^n}{r!}\sum _{k=0}^n\frac{{(-2)}^k\mathsf{\Gamma }(k+\alpha +\beta +1)}{\mathsf{\Gamma }(2k+\alpha +\beta +1)}\hfill \\ \times \sum _{l=0}^{[\frac{n-k}{2}]}\frac{{(-\frac{1}{4})}^l(n+r-l)!}{l!(n-k-2l)!}{}_2{F}_1(k+2l-n,k+\beta +1;2k+\alpha +\beta +2;2)\hfill \\ \times P_k^{(\alpha ,\beta )}\left(x\right).\hfill \end{array}$$

(39)

Theorem 2.

Let $n,r$ be integers with $n\ge 0,r\ge 1$. Then, we have the following.

$$\begin{array}{c}\sum _{i_1+i_2+\cdots +i_r=n}{F}_{i_1+1}\left(x\right)F_{i_2+1}\left(x\right)\cdots F_{i_r+1}\left(x\right)\hfill \\ =\frac{(n+r-1)!}{2^n(r-1)!}\sum _{j=0}^{[\frac{n}{2}]}\frac{1}{(n-2j)!j!}{}_1{F}_1(-j;1-n-r;4)H_{n-2j}(x)\hfill \end{array}$$

(40)

$$\begin{array}{c}=\frac{\mathsf{\Gamma }(\alpha +n+1)}{(r-1)!}\sum _{k=0}^n\frac{{(-1)}^k}{\mathsf{\Gamma }(\alpha +k+1)}\hfill \\ \times \sum _{l=0}^{[\frac{n-k}{2}]}\frac{(n+r-l-1)!}{l!(n-k-2l)!{(\alpha +n)}_{2l}}{L}_k^{\alpha }\left(x\right)\hfill \end{array}$$

(41)

$$\begin{array}{c}=\frac{(n+r-1)!}{(r-1)!4^n}\sum _{j=0}^{[\frac{n}{2}]}\frac{(2n-4j+1)4^j}{{(n-j+\frac{1}{2})}_{n-j}j!}{}_2{F}_1(-j;j-n-\frac{1}{2};1-n-r;-4)P_{n-2j}\left(x\right)\hfill \end{array}$$

(42)

$$\begin{array}{c}=\frac{\mathsf{\Gamma }\left(\lambda \right)(n+r-1)!}{2^n(r-1)!\mathsf{\Gamma }(n+\lambda +1)}\hfill \\ \times \sum _{j=0}^{\left[\frac{n}{2}\right]}\frac{{(n+\lambda )}_j(n+\lambda -2j)}{j!}{}_2{F}_1(-j;j-n-\lambda ;1-n-r;-4)C_{n-2j}^{\left(\lambda \right)}\left(x\right)\hfill \end{array}$$

(43)

$$\begin{array}{c}=\frac{{(-1)}^n}{(r-1)!}\sum _{k=0}^n\frac{\mathsf{\Gamma }(k+\alpha +\beta +1){(-2)}^k}{\mathsf{\Gamma }(2k+\alpha +\beta +1)}\hfill \\ \times \sum _{l=0}^{\left[\frac{n-k}{2}\right]}\frac{(n+r-1-l)!}{l!(n-k-2l)!}{}_2{F}_1(k+2l-n,k+\beta +1;2k+\alpha +\beta +2;2)\hfill \\ \times P_k^{(\alpha ,\beta )}\left(x\right).\hfill \end{array}$$

(44)

The sums of finite products of Bernoulli, Euler and Genocchi polynomials have been expressed as linear combinations of Bernoulli polynomials in [12,13,14]. These were done by deriving Fourier series expansions for the functions closely related to those sums of finite products. Further, the same were done for the sums of finite products ${\gamma }_{n,r}\left(x\right)$ and ${\mathcal{E}}_{n,r}\left(x\right)$ in (33) and (34) in [15]. Along the same line as the present paper, sums of finite products of Chebyshev polynomials of the second, third and fourth kinds and of Fibonacci, Legendre and Laguerre polynomials were expressed in terms of all kinds of Chebyshev polynomials in [16,17,18]. Finally, we let the reader refer to [19,20] for some applications of Chebyshev polynomials and to [21,22,23,24,25] for some similar iteration methods.

2. Proof of Theorem 1

Here, we are going to prove Theorem 1. First, we will state two results that will be needed in showing Theorems 1 and 2.

The results (a), (b), (c), (d) and (e) in Proposition 1 follow respectively from (3.7) of [3], (2.3) of [7] (see also (2.4) of [6]), (2.3) of [4], (2.3) of [2] and (2.7) of [5]. They can be derived from their orthogonalities in (26)–(30), Rodrigues-like and Rodrigues’ formulas in (21)–(25) and integration by parts.

Proposition 1.

Let $q\left(x\right)\in \mathbb{R}\left[x\right]$ be a polynomial of degree n. Then, we have the following.

$$\begin{array}{cc}\hfill \left(a\right)& q\left(x\right)=\sum _{k=0}^n{C}_{k,1}{H}_k\left(x\right), \mathrm{where}\hfill \\ & C_{k,1}=\frac{{(-1)}^k}{2^{k}k!\sqrt{\pi }}{\int }_{-\infty }^{\infty }q\left(x\right)\frac{d^k}{d{x}^k}{e}^{-x^2}dx,\hfill \\ \hfill \left(b\right)& q\left(x\right)=\sum _{k=0}^n{C}_{k,2}{L}_k^{\alpha }\left(x\right), \mathrm{where}\hfill \\ & C_{k,2}=\frac{1}{\mathsf{\Gamma }(\alpha +k+1)}{\int }_0^{\infty }q\left(x\right)\frac{d^k}{d{x}^k}(e^{-x}{x}^{k+\alpha })dx,\hfill \\ \hfill \left(c\right)& q\left(x\right)=\sum _{k=0}^n{C}_{k,3}{P}_k\left(x\right), \mathrm{where}\hfill \\ & C_{k,3}=\frac{2k+1}{2^{k+1}k!}{\int }_{-1}^{1}q\left(x\right)\frac{d^k}{d{x}^k}{(x^2-1)}^{k}dx,\hfill \\ \hfill \left(d\right)& q\left(x\right)=\sum _{k=0}^n{C}_{k,4}{C}_k^{\left(\lambda \right)}\left(x\right), \mathrm{where}\hfill \\ & C_{k,4}=\frac{(k+\lambda )\mathsf{\Gamma }\left(\lambda \right)}{{(-2)}^k\sqrt{\pi }\mathsf{\Gamma }(k+\lambda +\frac{1}{2})}{\int }_{-1}^{1}q\left(x\right)\frac{d^k}{d{x}^k}{(1-x^2)}^{k+\lambda -\frac{1}{2}}dx,\hfill \\ \hfill \left(e\right)& q\left(x\right)=\sum _{k=0}^n{C}_{k,5}{P}_k^{(\alpha ,\beta )}\left(x\right), \mathrm{where}\hfill \\ & C_{k,5}=\frac{{(-1)}^k(2k+\alpha +\beta +1)\mathsf{\Gamma }(k+\alpha +\beta +1)}{2^{\alpha +\beta +k+1}\mathsf{\Gamma }(\alpha +k+1)\mathsf{\Gamma }(\beta +k+1)}\hfill \\ & \times {\int }_{-1}^{1}q\left(x\right)\frac{d^k}{d{x}^k}{(1-x)}^{k+\alpha }{(1+x)}^{k+\beta }dx.\hfill \end{array}$$

Proposition 2.

Let $m,k$ be nonnegative integers. Then, we have the following.

$$\begin{array}{cc}\hfill \left(a\right)& {\int }_{-\infty }^{\infty }{x}^m{e}^{-x^2}dx\hfill \\ & =\left\{\begin{array}{cc}0,\hfill & \mathrm{if} m\equiv 1 (\mathrm{mod} 2),\hfill \\ \frac{m!\sqrt{\pi }}{(\frac{m}{2})!2^m},\hfill & \mathrm{if} m\equiv 0 (\mathrm{mod} 2),\hfill \end{array}\right.\hfill \\ \hfill \left(b\right)& {\int }_{-1}^1{x}^m{(1-x^2)}^{k}dx\hfill \\ & =\left\{\begin{array}{cc}0,\hfill & \mathrm{if} m\equiv 1 (\mathrm{mod} 2),\hfill \\ \frac{2^{2k+2}k!m!(k+\frac{m}{2}+1)!}{(\frac{m}{2})!(2k+m+2)!},\hfill & \mathrm{if} m\equiv 0 (\mathrm{mod} 2),\hfill \end{array}\right.\hfill \\ & =2^{2k+1}k!\sum _{s=0}^m\left(\genfrac{}{}{0pt}{}{m}{s}\right)2^s{(-1)}^{m-s}\frac{(k+s)!}{(2k+s+1)!},\hfill \\ \hfill \left(c\right)& {\int }_{-1}^1{x}^m{(1-x^2)}^{k+\lambda -\frac{1}{2}}dx\hfill \\ & =\left\{\begin{array}{cc}0,\hfill & \mathrm{if} m\equiv 1 (\mathrm{mod} 2),\hfill \\ \frac{\mathsf{\Gamma }(k+\lambda +\frac{1}{2})\mathsf{\Gamma }(\frac{m}{2}+\frac{1}{2})}{\mathsf{\Gamma }(k+\lambda +\frac{m}{2}+1)},\hfill & \mathrm{if} m\equiv 0 (\mathrm{mod} 2),\hfill \end{array}\right.\hfill \\ \hfill \left(d\right)& {\int }_{-1}^1{x}^m{(1-x)}^{k+\alpha }{(1+x)}^{k+\beta }dx\hfill \\ & =2^{2k+\alpha +\beta +1}\sum _{s=0}^m\left(\genfrac{}{}{0pt}{}{m}{s}\right){(-1)}^{m-s}{2}^s\hfill \\ & \times \frac{\mathsf{\Gamma }(k+\alpha +1)\mathsf{\Gamma }(k+\beta +s+1)}{\mathsf{\Gamma }(2k+\alpha +\beta +s+2)}.\hfill \end{array}$$

Proof. 

(a) This is trivial.

(b) The first equality follows from (c) with $\lambda =\frac{1}{2}$ and the second from (d) with $\alpha =\beta =0$.

$$\begin{array}{ccc}\hfill \left(c\right)& & {\int }_{-1}^1{x}^m{(1-x^2)}^{k+\lambda -\frac{1}{2}}dx\hfill \\ & \hfill =& (1+{(-1)}^m){\int }_0^1{x}^m{(1-x^2)}^{k+\lambda -\frac{1}{2}}dx\hfill \\ & \hfill =& \frac{1}{2}(1+{(-1)}^m){\int }_0^1{(1-y)}^{k+\lambda +\frac{1}{2}-1}{y}^{\frac{m+1}{2}-1}dy\hfill \\ & \hfill =& \frac{1}{2}(1+{(-1)}^m)B(k+\lambda +\frac{1}{2},\frac{m+1}{2}).\hfill \end{array}$$

The result now follows from (7).

$$\begin{array}{ccc}\hfill \left(d\right)& & {\int }_{-1}^1{x}^m{(1-x)}^{k+\alpha }{(1+x)}^{k+\beta }dx\hfill \\ & \hfill =& 2^{2k+\alpha +\beta +1}{\int }_0^1{(2y-1)}^m{(1-y)}^{k+\alpha }{y}^{k+\beta }dy\hfill \\ & \hfill =& 2^{2k+\alpha +\beta +1}\sum _{s=0}^m\left(\genfrac{}{}{0pt}{}{m}{s}\right)2^s{(-1)}^{m-s}\hfill \\ & & \times {\int }_0^1{(1-y)}^{k+\alpha +1-1}{y}^{k+\beta +s+1-1}dy\hfill \\ & \hfill =& 2^{2k+\alpha +\beta +1}\sum _{s=0}^m\left(\genfrac{}{}{0pt}{}{m}{s}\right)2^s{(-1)}^{m-s}B(k+\alpha +1,k+\beta +s+1).\hfill \end{array}$$

The result again follows from (7). Even though the following lemma was shown in [26], we will show it for the sake of completeness. □

Lemma 1.

Let $n,r$ be nonnegative integers. Then, we have the following identity.

$$\begin{array}{c}\hfill \sum _{i_1+i_2+\cdots +i_{r+1}=n}{U}_{i_1}\left(x\right)U_{i_2}\left(x\right)\cdots U_{i_{r+1}}\left(x\right)=\frac{1}{2^{r}r!}{U}_{n+r}^{\left(r\right)}\left(x\right),\end{array}$$

(45)

where the sum runs over all nonnegative integers $i_1,i_2,\cdots i_{r+1}$, with $i_1+i_2+\cdots +i_{r+1}=n.$

Proof. 

Noting that the degree of $U_n\left(x\right)$ has degree n and taking the partial derivative ${(\frac{\partial }{\partial x})}^r$ on both sides of (9), we have:

$$\begin{array}{cc}\hfill r!{\left(2t\right)}^r{\left(1-2xt+t^2\right)}^{-(r+1)}& =r!{\left(2t\right)}^r{\left(\sum _{i=0}^{\infty }{U}_i\left(x\right)\right)}^{r+1}\hfill \\ & =\sum _{n=r}^{\infty }{U}_n^{\left(r\right)}\left(x\right)t^n,\hfill \end{array}$$

from which our result follows. □

It is immediate to see from (16) that the r-th derivative of $U_n\left(x\right)$ is equal to:

$$\begin{array}{c}\hfill U_n^{\left(r\right)}\left(x\right)=\sum _{l=0}^{[\frac{n-r}{2}]}{(-1)}^l\left(\genfrac{}{}{0pt}{}{n-l}{l}\right){(n-2l)}_r{2}^{n-2l}{x}^{n-2l-r}.\end{array}$$

(46)

Thus, in particular, we have:

$$\begin{array}{c}\hfill U_{n+r}^{(r+k)}\left(x\right)=\sum _{l=0}^{[\frac{n-k}{2}]}{(-1)}^l\left(\genfrac{}{}{0pt}{}{n+r-l}{l}\right){(n+r-2l)}_{r+k}{2}^{n+r-2l}{x}^{n-k-2l}.\end{array}$$

(47)

Here, we will show only (35), (37) and (38) in Theorem 1, leaving the proofs for (36) and (39) as an exercise, as they can be proved analogously to those for (41) and (44) in the next section.

With ${\gamma }_{n,r}\left(x\right)$ as in (33), we let:

$$\begin{array}{c}\hfill {\gamma }_{n,r}\left(x\right)=\sum _{k=0}^n{C}_{k,1}{H}_k\left(x\right).\end{array}$$

(48)

Then, from (a) of Proposition 1, (45), (47) and integration by parts k times, we have:

$$\begin{array}{cc}\hfill C_{k,1}& =\frac{{(-1)}^k}{2^{k}k!\sqrt{\pi }}{\int }_{-\infty }^{\infty }{\gamma }_{n,r}\left(x\right)\frac{d^k}{d{x}^k}{e}^{-x^2}dx,\hfill \\ & =\frac{{(-1)}^k}{2^{k+r}k!r!\sqrt{\pi }}{\int }_{-\infty }^{\infty }{U}_{n+r}^{\left(r\right)}\left(x\right)\frac{d^k}{d{x}^k}{e}^{-x^2}dx,\hfill \\ & =\frac{1}{2^{k+r}k!r!\sqrt{\pi }}{\int }_{-\infty }^{\infty }{U}_{n+r}^{(r+k)}\left(x\right)e^{-x^2}dx,\hfill \\ & =\frac{2^{n-k}}{k!r!\sqrt{\pi }}\sum _{l=0}^{[\frac{n-k}{2}]}{(-\frac{1}{4})}^l\left(\genfrac{}{}{0pt}{}{n+r-l}{l}\right){(n+r-2l)}_{r+k}\hfill \\ & \times {\int }_{-\infty }^{\infty }{x}^{n-k-2l}{e}^{-x^2}dx.\hfill \end{array}$$

(49)

From (49) and invoking (a) of Proposition 2, we get:

$$\begin{array}{cc}\hfill C_{k,1}& =\frac{2^{n-k}}{k!r!\sqrt{\pi }}\sum _{l=0}^{[\frac{n-k}{2}]}{(-\frac{1}{4})}^l\left(\genfrac{}{}{0pt}{}{n+r-l}{l}\right){(n+r-2l)}_{r+k}\hfill \\ & \times \left\{\begin{array}{cc}0,\hfill & \mathrm{if} k\not\equiv n (\mathrm{mod} 2),\hfill \\ \frac{(n-k-2l)!\sqrt{\pi }}{2^{n-k-2l}(\frac{n-k}{2}-l)!},\hfill & \mathrm{if} k\equiv n (\mathrm{mod} 2).\hfill \end{array}\right.\hfill \end{array}$$

(50)

Now, from (48) and (50), and after some simplification, we obtain:

$$\begin{array}{cc}\hfill {\gamma }_{n,r}\left(x\right)& =\frac{1}{r!}\sum _{\begin{array}{c}0\le k\le n\\ k\equiv n (\mathrm{mod} 2)\end{array}}\frac{1}{k!}\sum _{l=0}^{[\frac{n-k}{2}]}\frac{{(-1)}^l(n+r-l)!}{l!(\frac{n-k}{2}-l)!}{H}_k\left(x\right)\hfill \\ & =\frac{1}{r!}\sum _{j=0}^{[\frac{n}{2}]}\frac{1}{(n-2j)!}{H}_{n-2j}\left(x\right)\sum _{l=0}^j\frac{{(-1)}^l(n+r-l)!}{l!(j-l)!}\hfill \\ & =\frac{(n+r)!}{r!}\sum _{j=0}^{[\frac{n}{2}]}\frac{1}{j!(n-2j)!}{H}_{n-2j}\left(x\right)\sum _{l=0}^j\frac{{(-1)}^l<-j{>}_l}{l!<-n-r{>}_l}\hfill \\ & =\frac{(n+r)!}{r!}\sum _{j=0}^{[\frac{n}{2}]}\frac{1}{j!(n-2j)!}{}_1{F}_1(-j,-n-r;-1)H_{n-2j}\left(x\right).\hfill \end{array}$$

(51)

This shows (35) of Theorem 1.

Next, we let:

$$\begin{array}{c}\hfill {\gamma }_{n,r}\left(x\right)=\sum _{k=0}^n{C}_{k,3}{P}_k\left(x\right).\end{array}$$

(52)

Then, from (c) of Proposition 1, (45), (47) and integration by parts k times, we get:

$$\begin{array}{cc}\hfill C_{k,3}& =\frac{2k+1}{2^{k+r+1}k!r!}{\int }_{-1}^1{U}_{n+r}^{\left(r\right)}\left(x\right)\frac{d^k}{d{x}^k}{(x^2-1)}^{k}dx\hfill \\ & =\frac{{(-1)}^k(2k+1)}{2^{k+r+1}k!r!}{\int }_{-1}^1{U}_{n+r}^{(r+k)}\left(x\right){(x^2-1)}^{k}dx\hfill \\ & =\frac{(2k+1)2^{n-k-1}}{k!r!}\sum _{l=0}^{[\frac{n-k}{2}]}{(-\frac{1}{4})}^l\left(\genfrac{}{}{0pt}{}{n+r-l}{l}\right){(n+r-2l)}_{r+k}\hfill \\ & \times {\int }_{-1}^1{x}^{n-k-2l}{(1-x^2)}^{k}dx.\hfill \end{array}$$

(53)

From (52) and making use of the first equality of (b) in Proposition 2, we have:

$$\begin{array}{cc}\hfill C_{k,3}& =\frac{(2k+1)2^{n-k-1}}{k!r!}\sum _{l=0}^{[\frac{n-k}{2}]}{(-\frac{1}{4})}^l\left(\genfrac{}{}{0pt}{}{n+r-l}{l}\right){(n+r-2l)}_{r+k}\hfill \\ & \times \left\{\begin{array}{cc}0,\hfill & \mathrm{if} k\not\equiv n (\mathrm{mod} 2),\hfill \\ \frac{2^{2k+2}k!(n-k-2l)!(\frac{n+k}{2}-l+1)!}{(\frac{n-k}{2}-l)!(n+k-2l+2)!},\hfill & \mathrm{if} k\equiv n (\mathrm{mod} 2).\hfill \end{array}\right.\hfill \end{array}$$

(54)

From (52), (54), and using (4), we finally obtain:

$$\begin{array}{cc}\hfill {\gamma }_{n,r}\left(x\right)& =\frac{2^{2n+1}}{r!}\sum _{j=0}^{[\frac{n}{2}]}\frac{2n-4j+1}{2^{2j}}{P}_{n-2j}\left(x\right)\hfill \\ & \times \sum _{l=0}^j\frac{{(-\frac{1}{4})}^l(n+r-l)!(n-j+1-l)!}{l!(j-l)!(2n-2j+2-2l)!}\hfill \\ & =\frac{(n+r)!}{2r!}\sum _{j=0}^{[\frac{n}{2}]}\frac{(2n-4j+1)P_{n-2j}\left(x\right)}{{(n-j+\frac{1}{2})}_{n-j+1}j!}\hfill \\ & \times \sum _{l=0}^j\frac{<-j{>}_l<j-n-\frac{1}{2}{>}_l}{<-n-r{>}_{l}l!}\hfill \\ & =\frac{(n+r)!}{r!}\sum _{j=0}^{[\frac{n}{2}]}\frac{(2n-4j+1){}_2{F}_1(-j,j-n-\frac{1}{2};-n-r;1)}{{(n-j+\frac{1}{2})}_{n-j}j!}{P}_{n-2j}\left(x\right).\hfill \end{array}$$

(55)

This shows (37) of Theorem 1.

Remark 1.

In the step of (54), if we use the second equality of (b) in Proposition 2 instead of the first, we would have the expression:

$$\begin{array}{cc}\hfill {\gamma }_{n,r}\left(x\right)& =\frac{{(-2)}^n}{r!}\sum _{k=0}^n\frac{{(-2)}^{k}k!}{\left(2k\right)!}\hfill \\ & \times \sum _{j=0}^{[\frac{n-k}{2}]}\frac{{(-\frac{1}{4})}^l(n+r-l)!}{l!(n-k-2l)!}{}_2{F}_1(2l+k-n,k+1;2k+2;2)P_k\left(x\right).\hfill \end{array}$$

(56)

We note here that (56) is (39), with $\alpha =\beta =0$. This is what we expect, as $P_n\left(x\right)=P_n^{(0,0)}\left(x\right)$.

Finally, we let:

$$\begin{array}{c}\hfill {\gamma }_{n,r}\left(x\right)=\sum _{k=0}^n{C}_{k,4}{C}_k^{\left(\lambda \right)}\left(x\right).\end{array}$$

(57)

Then, from (d) of Proposition 1, (45), (47) and integration by parts k times, we obtain:

$$\begin{array}{cc}\hfill C_{k,4}& =\frac{(k+\lambda )\mathsf{\Gamma }\left(\lambda \right)}{2^{k+r}\sqrt{\pi }\mathsf{\Gamma }(k+\lambda +\frac{1}{2})r!}\times {\int }_{-1}^1{U}_{n+r}^{(r+k)}\left(x\right){(1-x^2)}^{k+\lambda -\frac{1}{2}}dx\hfill \\ & =\frac{2^{n-k}(k+\lambda )\mathsf{\Gamma }\left(\lambda \right)}{\sqrt{\pi }\mathsf{\Gamma }(k+\lambda +\frac{1}{2})r!}\sum _{l=0}^{[\frac{n-k}{2}]}{(-\frac{1}{4})}^l\left(\genfrac{}{}{0pt}{}{n+r-l}{l}\right){(n+r-2l)}_{r+k}\hfill \\ & \times {\int }_{-1}^1{x}^{n-k-2l}{(1-x^2)}^{k+\lambda -\frac{1}{2}}dx.\hfill \end{array}$$

(58)

From (58), and exploiting (c) in Proposition 2 and (5), we have:

$$\begin{array}{cc}\hfill C_{k,4}& =\frac{2^{n-k}(k+\lambda )\mathsf{\Gamma }\left(\lambda \right)}{\sqrt{\pi }\mathsf{\Gamma }(k+\lambda +\frac{1}{2})r!}\sum _{l=0}^{[\frac{n-k}{2}]}{(-\frac{1}{4})}^l\left(\genfrac{}{}{0pt}{}{n+r-l}{l}\right){(n+r-2l)}_{r+k}\hfill \\ & \times \left\{\begin{array}{cc}0,\hfill & \mathrm{if} k\not\equiv n (\mathrm{mod} 2),\hfill \\ \frac{\mathsf{\Gamma }(k+\lambda +\frac{1}{2})(n-k-2l)!\sqrt{\pi }}{\mathsf{\Gamma }(\frac{n+k}{2}+\lambda -l+1)2^{n-k-2l}(\frac{n-k}{2}-l)!},\hfill & \mathrm{if} k\equiv n (\mathrm{mod} 2).\hfill \end{array}\right.\hfill \end{array}$$

(59)

Making use of (6), and from (57) and (59), we finally derive:

$$\begin{array}{cc}\hfill {\gamma }_{n,r}\left(x\right)& =\frac{\mathsf{\Gamma }\left(\lambda \right)}{r!}\sum _{\begin{array}{c}0\le k\le n\\ k\equiv n (\mathrm{mod} 2)\end{array}}\sum _{l=0}^{[\frac{n-k}{2}]}\frac{{(-1)}^l(k+\lambda )(n+r-l)!}{l!\mathsf{\Gamma }(\frac{n+k}{2}+\lambda -l+1)(\frac{n-k}{2}-l)!}{C}_k^{\left(\lambda \right)}\left(x\right)\hfill \\ & =\frac{\mathsf{\Gamma }\left(\lambda \right)(n+r)!}{r!}\sum _{\begin{array}{c}0\le k\le n\\ k\equiv n (\mathrm{mod} 2)\end{array}}\sum _{l=0}^{[\frac{n-k}{2}]}\frac{(k+\lambda )}{(\frac{n-k}{2})!\mathsf{\Gamma }(\frac{n+k}{2}+\lambda +1)}\hfill \\ & \times \frac{{(-1)}^l{(\frac{n-k}{2})}_l{(\frac{n+k}{2}+\lambda )}_l}{l!{(n+r)}_l}{C}_k^{\left(\lambda \right)}\left(x\right)\hfill \\ & =\frac{\mathsf{\Gamma }\left(\lambda \right)(n+r)!}{r!}\sum _{j=0}^{[\frac{n}{2}]}\sum _{l=0}^j\frac{(n-2j+\lambda )}{j!\mathsf{\Gamma }(n-j+\lambda +1)}\hfill \\ & \times \frac{{(-1)}^l{\left(j\right)}_l{(n+\lambda -j)}_l}{l!{(n+r)}_l}{C}_{n-2j}^{\left(\lambda \right)}\left(x\right)\hfill \\ & =\frac{\mathsf{\Gamma }\left(\lambda \right)(n+r)!}{r!}\sum _{j=0}^{[\frac{n}{2}]}\sum _{l=0}^j\frac{(n-2j+\lambda )}{j!\mathsf{\Gamma }(n-j+\lambda +1)}\hfill \\ & \times \frac{<-j{>}_l<j-n-\lambda {>}_l}{l!<-n-r{>}_l}{C}_{n-2j}^{\left(\lambda \right)}\left(x\right)\hfill \\ & =\frac{\mathsf{\Gamma }\left(\lambda \right)(n+r)!}{\mathsf{\Gamma }(n+\lambda +1)r!}\sum _{j=0}^{[\frac{n}{2}]}\frac{(n-2j+\lambda ){(n+\lambda )}_j}{j!}\hfill \\ & \times {}_2{F}_1(-j,j-n-\lambda ;-n-r;1)C_{n-2j}^{\left(\lambda \right)}\left(x\right)\hfill \end{array}$$

(60)

This completes the proof for (38) in Theorem 1.

3. Proof of Theorem 2

Here, we will show only (41) and (44) in Theorem 2, leaving the proofs for (40), (42) and (43) as an exercise, as they can be shown similarly to those for (35), (37) and (38).

The following lemma is stated in Equation (9) of [27] and can be derived by differentiating (10).

Lemma 2.

Let $n,r$ be integers with $n\ge 0$, $r\ge 1$. Then, we have the following identity.

$$\begin{array}{c}\hfill \sum _{i_1+i_2+\cdots +i_r=n}{F}_{i_1+1}\left(x\right)F_{i_2+1}\left(x\right)\cdots F_{i_r+1}\left(x\right)=\frac{1}{(r-1)!}{F}_{n+r}^{(r-1)}\left(x\right),\end{array}$$

(61)

where the sum runs over all nonnegative integers $i_1,i_2,\cdots ,i_r$, with $i_1+i_2+\cdots +i_r=n$.

From (17), it is easy to show that the r-th derivative of $F_{n+1}\left(x\right)$ is given by:

$$\begin{array}{c}\hfill F_{n+1}^{\left(r\right)}\left(x\right)=\sum _{l=0}^{[\frac{n-r}{2}]}\left(\genfrac{}{}{0pt}{}{n-l}{l}\right){(n-2l)}_r{x}^{n-r-2l}.\end{array}$$

(62)

Thus, especially, we have:

$$\begin{array}{c}\hfill F_{n+r}^{(r+k-1)}\left(x\right)=\sum _{l=0}^{[\frac{n-k}{2}]}\left(\genfrac{}{}{0pt}{}{n+r-l-1}{l}\right){(n+r-2l-1)}_{r+k-1}{x}^{n-k-2l}.\end{array}$$

(63)

With ${\mathcal{E}}_{n,r}\left(x\right)$ as in (34), we let:

$$\begin{array}{cc}\hfill {\gamma }_{n,r}\left(x\right)& =\sum _{k=0}^n{C}_{k,2}{L}_k^{\left(\alpha \right)}\left(x\right).\hfill \end{array}$$

(64)

Then, from (b) of Proposition 1, (61), (63), (6) and integration by parts k times, we have:

$$\begin{array}{cc}\hfill C_{k,2}& =\frac{1}{\mathsf{\Gamma }(\alpha +k+1)(r-1)!}{\int }_0^{\infty }{F}_{n+r}^{(r-1)}\left(x\right)\frac{d^k}{d{x}^k}(e^{-x}{x}^{k+\alpha })dx\hfill \\ & =\frac{{(-1)}^k}{\mathsf{\Gamma }(\alpha +k+1)(r-1)!}{\int }_0^{\infty }{F}_{n+r}^{(r+k-1)}\left(x\right)e^{-x}{x}^{k+\alpha }dx\hfill \\ & =\frac{{(-1)}^k}{\mathsf{\Gamma }(\alpha +k+1)(r-1)!}\sum _{l=0}^{[\frac{n-k}{2}]}\left(\genfrac{}{}{0pt}{}{n+r-l-1}{l}\right){(n+r-2l-1)}_{r+k-1}\hfill \\ & \times {\int }_0^{\infty }{e}^{-x}{x}^{n+\alpha -2l}dx\hfill \\ & =\frac{\mathsf{\Gamma }(\alpha +n+1)}{(r-1)!}\sum _{k=0}^n\frac{{(-1)}^k}{\mathsf{\Gamma }(\alpha +k+1)}\hfill \\ & \times \sum _{l=0}^{[\frac{n-k}{2}]}\frac{(n+r-l-1)!}{l!(n-k-2l)!{(\alpha +n)}_{2l}}{L}_k^{\left(\alpha \right)}\left(x\right).\hfill \end{array}$$

(65)

Next, we let:

$$\begin{array}{cc}\hfill {\gamma }_{n,r}\left(x\right)& =\sum _{k=0}^n{C}_{k,5}{P}_n^{(\alpha ,\beta )}\left(x\right).\hfill \end{array}$$

(66)

Then, from (e) of Proposition 1, and (61), (63) and integration by parts k times, we obtain:

$$\begin{array}{cc}\hfill C_{k,5}& =\frac{(2k+\alpha +\beta +1)\mathsf{\Gamma }(k+\alpha +\beta +1)}{2^{k+\alpha +\beta +1}\mathsf{\Gamma }(k+\alpha +1)\mathsf{\Gamma }(k+\beta +1)(r-1)!}\hfill \\ & \times {\int }_{-1}^1{F}_{n+r}^{(r+k-1)}\left(x\right){(1-x)}^{k+\alpha }{(1+x)}^{k+\beta }dx\hfill \\ & =\frac{(2k+\alpha +\beta +1)\mathsf{\Gamma }(k+\alpha +\beta +1)}{2^{k+\alpha +\beta +1}\mathsf{\Gamma }(k+\alpha +1)\mathsf{\Gamma }(k+\beta +1)(r-1)!}\hfill \\ & \times \sum _{l=0}^{[\frac{n-k}{2}]}\left(\genfrac{}{}{0pt}{}{n+r-l-1}{l}\right){(n+r-2l-1)}_{r+k-1}\hfill \\ & \times {\int }_{-1}^1{x}^{n-k-2l}{(1-x)}^{k+\alpha }{(1+x)}^{k+\beta }dx.\hfill \end{array}$$

(67)

Now, from (67), and using (d) in Proposition 2 and (6), we have:

$$\begin{array}{cc}\hfill C_{k,5}& =\frac{{(-1)}^n(2k+\alpha +\beta +1)\mathsf{\Gamma }(k+\alpha +\beta +1){(-2)}^k}{(r-1)!\mathsf{\Gamma }(k+\beta +1)}\hfill \\ & \times \sum _{l=0}^{[\frac{n-k}{2}]}\frac{(n+r-l-1)!}{l!}\hfill \\ & \times \sum _{s=0}^{n-k-2l}\frac{{(-2)}^s\mathsf{\Gamma }(k+\beta +s+1)}{s!(n-k-2l-s)!\mathsf{\Gamma }(2k+\alpha +\beta +s+2)}\hfill \\ & =\frac{{(-1)}^n\mathsf{\Gamma }(k+\alpha +\beta +1){(-2)}^k}{(r-1)!\mathsf{\Gamma }(2k+\alpha +\beta +1)}\hfill \\ & \times \sum _{l=0}^{[\frac{n-k}{2}]}\frac{(n+r-1-l)!}{l!(n-k-2l)!}\hfill \\ & \times \sum _{s=0}^{n-k-2l}\frac{<2l+k-n{>}_s<k+\beta +1{>}_s{2}^s}{<2k+\alpha +\beta +2{>}_{s}s!}\hfill \\ & =\frac{{(-1)}^n\mathsf{\Gamma }(k+\alpha +\beta +1){(-2)}^k}{(r-1)!\mathsf{\Gamma }(2k+\alpha +\beta +1)}\hfill \\ & \times \sum _{l=0}^{[\frac{n-k}{2}]}\frac{(n+r-1-l)!}{l!(n-k-2l)!}\hfill \\ & \times {}_2{F}_1(2l+k-n,k+\beta +1;2k+\alpha +\beta +2;2).\hfill \end{array}$$

(68)

As we desired, we finally obtain:

$$\begin{array}{c}{\gamma }_{n,r}\left(x\right)=\frac{{(-1)}^n}{(r-1)!}\sum _{k=0}^n\frac{\mathsf{\Gamma }(k+\alpha +\beta +1){(-2)}^k}{\mathsf{\Gamma }(2k+\alpha +\beta +1)}\hfill \\ \times \sum _{l=0}^{\left[\frac{n-k}{2}\right]}\frac{(n+r-1-l)!}{l!(n-k-2l)!}{}_2{F}_1(k+2l-n,k+\beta +1;2k+\alpha +\beta +2;2)P_n^{(\alpha ,\beta )}\left(x\right).\hfill \end{array}$$