Some Types of Identities Involving the Legendre Polynomials

Abstract

In this paper, a new non-linear recursive sequence is firstly introduced. Then, using this sequence, a computational problem involving the convolution of the Legendre polynomial is studied using the basic and combinatorial methods. Finally, we give an interesting identity.

1. Introduction

For any $\lambda >0$, the generating function for the Gegenbauer polynomials $C_n^{\lambda }\left(x\right)$ of index $\lambda$ is

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

(1)

so that $C_n^{\frac{1}{2}}\left(x\right)=P_n\left(x\right)$, the Legendre polynomial. For example, the first several terms of $P_n\left(x\right)$ are $P_0\left(x\right)=1$, $P_1\left(x\right)=x$, and $P_2\left(x\right)=\frac{3}{2}{x}^2-\frac{1}{2}$, and the second order non-linear recursive formula is

$$\begin{array}{c}\hfill P_{n+1}\left(x\right)=\frac{2n+1}{n+1}·x{P}_n\left(x\right)-\frac{n}{n+1}·P_{n-1}\left(x\right),n\ge 1.\end{array}$$

It is well known that these polynomials satisfy the differential equation

$$\begin{array}{c}\hfill (1-x^2)\frac{d^{2}y}{d{x}^2}-2x\frac{dy}{dx}+n(n+1)y=0,(n=0,1,2,\cdots ),\end{array}$$

with general expression

$$\begin{array}{c}\hfill P_n\left(x\right)=\frac{1}{2^{n}n!}·\frac{d^n}{d{x}^n}\left[{(x^2-1)}^n\right]=\sum _{k=0}^{\left[\frac{n}{2}\right]}\frac{{(-1)}^k(2n-2k)!}{2^{n}k!(n-k)!(n-2k)!}·x^{n-2k},n\ge 1.\end{array}$$

The Legendre polynomials $P_n\left(x\right)$ are orthogonal polynomials (see [1]), and they play an important role in mathematical theory and application. Therefore, the polynomials $P_n\left(x\right)$ attract a large number of mathematical experts and mathematics enthusiasts to study their various properties, and get a series of interesting results. Some theoretical results are as in [2,3], especially the important works [4,5,6] of T. Kim et al., where they obtained a series of interesting identities involving the Legendre polynomials and their generalization. Some important applications of the Legendre polynomials can also be found in [7,8,9,10,11].

In this paper, we consider the computational problem of the convolution sums

$$\begin{array}{c}\hfill C_n^{\frac{k}{2}}\left(x\right)=\sum _{a_1+a_2+\cdots +a_k=n}{P}_{a_1}\left(x\right)·P_{a_2}\left(x\right)\cdots P_{a_{k-1}}\left(x\right)·P_{a_k}\left(x\right),\end{array}$$

(2)

where the summation is taken over all k-dimensional nonnegative integer coordinates $(a_1,a_2,\cdots ,a_k)$, such that $a_1+a_2+\cdots +a_k=n$.

If $k=2m$ is an even number, then, from the generating function (1) and the definition of the second kind Chebyshev polynomials $U_n\left(x\right)$ (see [12]), we have

$$\begin{array}{c}\hfill \sum _{n=0}^{\infty }{U}_n\left(x\right)·t^n={\left(\frac{1}{\sqrt{1-2xt+t^2}}\right)}^2=\sum _{n=0}^{\infty }\left(\sum _{a+b=n}{P}_a\left(x\right)P_b\left(x\right)\right)·t^n.\end{array}$$

This time, (2) becomes the convolution sum of the second kind Chebyshev polynomials $U_n\left(x\right)$. Related results can be found in [12,13,14,15,16,17].

When $k=2m+1$ is an odd number, Yalan Zhou and Xia Wang [18] studied the computational problem of (1), and they used the elementary method and some complex calculation to obtain three identities for (2) with $k=3,5,7$. In this paper, as a comment on article [18], we will study this problem again and give an effective calculation of formula (1), by using the basic and combinatorial methods. For convenience, we use the Pochhammer symbols, defined by

$${\left(a\right)}_0=1,{\left(a\right)}_{n+1}={\left(a\right)}_n(a+n),{\left(a\right)}_n=\prod _{i=1}^n\left(a+i-1\right).$$

Using this notation, we shall prove the following main result:

Theorem 1.

For any positive integer k and integer $n\ge 0$, we obtain the identity

$$\begin{array}{cc}& (2k-1)!!\sum _{a_1+a_2+\cdots +a_{2k+1}=n}{P}_{a_1}\left(x\right)P_{a_2}\left(x\right)\cdots P_{a_k}\left(x\right)\hfill \\ =& \sum _{j=1}^{k}C(k,j)\sum _{i=0}^n\frac{(n+k+1-i-j)!}{(n-i)!}·\frac{\left(\genfrac{}{}{0pt}{}{i+j+k-2}{i}\right)}{x^{k-1+i+j}}·P_{n+k+1-i-j}\left(x\right),\hfill \end{array}$$

where $(2k-1)!!=1\times 3\times 5\cdots (2k-1)=2^k{\left(\frac{1}{2}\right)}_k$, and $C(k,i)$ is a recurrence sequence defined by $C(k,1)=1$, $C(k+1,k+1)=(2k-1)!!$, and $C(k+1,i+1)=C(k,i+1)+\left(k-1+i\right)·C(k,i)$ for all $1\le i\le k-1$.

This theorem represents a complex summation of Legendre polynomials as a linear combination of some $P_n\left(x\right)$, and the coefficients $C(k,i)$ are very regular. This is the greatest advantage of the main theorem. Moreover, the recursive formula for the $C(k,i)$ is easy to calculate.

Especially taking $k=1$ and 2, from the main theorem we can immediately derive the following two corollaries:

Corollary 1.

For any positive integer $n\ge 1$, we have:

$$\begin{array}{c}\hfill \sum _{a+b+c=n}{P}_a\left(x\right)·P_b\left(x\right)·P_c\left(x\right)=\sum _{i=0}^n\frac{n+1-i}{x^{i+1}}·P_{n+1-i}\left(x\right).\end{array}$$

Corollary 2.

For any positive integer $n\ge 1$, we have:

$$\begin{array}{cc}& \sum _{a+b+c+d+e=n}{P}_a\left(x\right)·P_b\left(x\right)·P_c\left(x\right)·P_d\left(x\right)·P_e\left(x\right)\hfill \\ =& \frac{1}{3}·\sum _{i=0}^n\frac{(n+2-i)(n+1-i)(i+1)}{x^{2+i}}·P_{n+2-i}\left(x\right)\hfill \\ & +\frac{1}{6}\sum _{i=0}^n\frac{(n+1-i)(i+2)(i+1)}{x^{3+i}}·P_{n+1-i}\left(x\right).\hfill \end{array}$$

If taking $n=0$ in theorem, we can also obtain the following two results.

Corollary 3.

For any positive integer k, we have the identity

$$\sum _{j=1}^{k}C(k,j)·\frac{(k+1-j)!}{x^{j-1}}·P_{k+1-j}\left(x\right)=(2k-1)!!·x^k.$$

Corollary 4.

For any positive integer k, we have the polynomial congruence

$$\begin{array}{c}\hfill \sum _{j=1}^{k}C(k,j)·(k+1-j)!·x^{k+1-j}·P_{k+1-j}\left(x\right)\equiv 0mod{x}^{2k}.\end{array}$$

For clarity, we compute some values of $C(k,i)$ in the following

Table 1. Values of $C(k,i)$.

$\mathit{C}(\mathit{k},\mathit{i})$	$\mathit{i}=1$	$\mathit{i}=2$	$\mathit{i}=3$	$\mathit{i}=4$	$\mathit{i}=5$	$\mathit{i}=6$	$\mathit{i}=7$	$\mathit{i}=8$	$\mathit{i}=9$
$k=1$	1
$k=2$	1	1
$k=3$	1	3	3
$k=4$	1	6	15	15
$k=5$	1	10	45	105	105
$k=6$	1	15	105	420	945	945
$k=7$	1	21	210	1260	4725	10,395	10,395
$k=8$	1	28	378	3150	17,325	62,370	135,135	135,135
$k=9$	1	36	630	6930	51,975	270,270	945,945	2,027,025	2,027,025

.

Using these data and mathematical induction we can easily verify that

$$C(n+2l,n)=2^{n-1}\left(\genfrac{}{}{0pt}{}{n+l-1}{l}\right){\left(\frac{1}{2}+l\right)}_{n-1},$$

$$C(n+2l+1,n)=2^{n-1}\left(\genfrac{}{}{0pt}{}{n+l-1}{l}\right){\left(\frac{3}{2}+l\right)}_{n-1}.$$

In terms of double factorials,

$$C(n+2l,n)=\left(\genfrac{}{}{0pt}{}{n+l-1}{l}\right)\frac{(2n+2l-3)!!}{(2l-1)!!}$$

and

$$C(n+2l+1,n)=\left(\genfrac{}{}{0pt}{}{n+l-1}{l}\right)\frac{(2n+2l-1)!!}{(2l+1)!!}.$$

From these formulae, we may immediately deduce the following interesting result:

Let p be an odd prime p. Then, for any positive integer i with $1<i\le p$, we have the congruence

$$\begin{array}{c}\hfill C(p,i)\equiv 0modp.\end{array}$$

2. Several Simple Lemmas

We give two simple lemmas in this part, which will be used to prove the theorem. We introduce the first lemma:

Lemma 1.

Let $f\left(t\right)={\left(1-2xt+t^2\right)}^{-\frac{1}{2}}$. Then, for any positive integer k, we have the identity

$$(2k-1)!!·f^{2k+1}\left(t\right)=\sum _{i=1}^k\frac{C(k,i)}{{\left(x-t\right)}^{k-1+i}}·f^{(k+1-i)}\left(t\right),$$

where the definition of $C(k,i)$ is the same as in the theorem, and $f^{\left(h\right)}\left(t\right)$ denotes the h-order derivative of $f\left(t\right)$ with respect to t.

Proof. 

We use mathematical induction to prove the result. According to the definition and properties of the derivative, we have

$$\begin{array}{c}\hfill f^{\prime }\left(t\right)=(x-t)·{\left(1-2xt+t^2\right)}^{-\frac{3}{2}}=(x-t)·f^3\left(t\right)\end{array}$$

and

$$\begin{array}{c}\hfill f^{″}\left(t\right)=-f^3\left(t\right)+3(x-t)f^2\left(t\right)f^{\prime }\left(t\right)=-f^3\left(t\right)+3{(x-t)}^2{f}^5\left(t\right),\end{array}$$

or

$$\begin{array}{c}\hfill f^3\left(t\right)=\frac{1}{x-t}·f^{\prime }\left(t\right)=\sum _{i=1}^1\frac{C(1,i)}{{\left(x-t\right)}^i}·f^{(2-i)}\left(t\right)\end{array}$$

(3)

and

$$\begin{array}{c}\hfill 3·f^5\left(t\right)=\frac{1}{{(x-t)}^2}·f^{″}\left(t\right)+\frac{1}{{(x-t)}^3}{f}^{\prime }\left(t\right)=\sum _{i=1}^2\frac{C(2,i)}{{\left(x-t\right)}^{1+i}}·f^{(3-i)}\left(t\right).\end{array}$$

(4)

That is to say, when $k=1$ and 2, the result of Lemma 1 is true. Suppose that Lemma 1 is true if $2\le k=h$. That is,

$$\begin{array}{c}\hfill (2h-1)!!·f^{2h+1}\left(t\right)=\sum _{i=1}^h\frac{C(h,i)}{{\left(x-t\right)}^{h-1+i}}·f^{(h+1-i)}\left(t\right).\end{array}$$

(5)

From (3), (5), and the definitions of $C(k,i)$, we obtain

$$\begin{array}{cc}& (2h+1)!!·f^{2h}\left(t\right)·f^{\prime }\left(t\right)=(2h+1)!!(x-t)·f^{2h+3}\left(t\right)\hfill \\ =& \sum _{i=1}^h\frac{(h-1+i)C(h,i)}{{\left(x-t\right)}^{h+i}}·f^{(h+1-i)}\left(t\right)+\sum _{i=1}^h\frac{C(h,i)}{{\left(x-t\right)}^{h-1+i}}·f^{(h+2-i)}\left(t\right)\hfill \\ =& \frac{(2h-1)C(h,h)}{{\left(x-t\right)}^{2h}}·f^{\prime }\left(t\right)+\sum _{i=1}^{h-1}\frac{(h-1+i)C(h,i)}{{\left(x-t\right)}^{h+i}}·f^{(h+1-i)}\left(t\right)\hfill \\ & +\frac{C(h,1)}{{\left(x-t\right)}^h}·f^{(h+1)}\left(t\right)+\sum _{i=1}^{h-1}\frac{C(h,i+1)}{{\left(x-t\right)}^{h+i}}·f^{(h+1-i)}\left(t\right)\hfill \\ =& \frac{(2h-1)C(h,h)}{{\left(x-t\right)}^{2h}}·f^{\prime }\left(t\right)+\frac{C(h,1)}{{\left(x-t\right)}^h}·f^{(h+1)}\left(t\right)\hfill \\ & +\sum _{i=1}^{h-1}\frac{C(h,i+1)+(h-1+i)C(h,i)}{{\left(x-t\right)}^{h+i}}·f^{(h+1-i)}\left(t\right)\hfill \\ =& \frac{(2h-1)C(h,h)}{{\left(x-t\right)}^{2h}}·f^{\prime }\left(t\right)+\frac{C(h,1)}{{\left(x-t\right)}^h}·f^{(h+1)}\left(t\right)+\sum _{i=1}^{h-1}\frac{C(h+1,i+1)}{{\left(x-t\right)}^{h+i}}·f^{(h+1-i)}\left(t\right)\hfill \\ =& \frac{(2h-1)C(h,h)}{{\left(x-t\right)}^{2h}}·f^{\prime }\left(t\right)+\frac{C(h,1)}{{\left(x-t\right)}^h}·f^{(h+1)}\left(t\right)+\sum _{i=2}^h\frac{C(h+1,i)}{{\left(x-t\right)}^{h-1+i}}·f^{(h+2-i)}\left(t\right)\hfill \\ =& \sum _{i=1}^{h+1}\frac{C(h+1,i)}{{\left(x-t\right)}^{h-1+i}}·f^{(h+2-i)}\left(t\right).\hfill \end{array}$$

(6)

From (6), we have

$$\begin{array}{c}\hfill (2h+1)!!·f^{2h+3}\left(t\right)=\sum _{i=1}^{h+1}\frac{C(h+1,i)}{{\left(x-t\right)}^{h+i}}·f^{(h+2-i)}\left(t\right).\end{array}$$

It is to say that Lemma 1 is also suitable for $k=h+1$. □

Lemma 2.

For any positive integers h and k, we have the power series expansion

$$\frac{f^{\left(h\right)}\left(t\right)}{{(x-t)}^k}=\sum _{n=0}^{\infty }\left(\sum _{i=0}^n\frac{(n-i+h)!}{(n-i)!}·\left(\genfrac{}{}{0pt}{}{i+k-1}{i}\right)·\frac{P_{n-i+h}\left(x\right)}{x^{i+k}}\right)t^n$$

for all $\left|t\right|<\left|x\right|$.

Proof. 

From the definition of $f\left(t\right)$, we have

$$f\left(t\right)=\sum _{n=0}^{\infty }{P}_n\left(x\right)·t^n.$$

Then, for any positive integer h, utilizing the properties of the power series, we have

$$\begin{array}{cc}& f^{\left(h\right)}\left(t\right)=\sum _{n=0}^{\infty }(n+h)(n+h-1)\cdots (n+1)·P_{n+h}\left(x\right)·t^n\hfill \\ =& \sum _{n=0}^{\infty }\frac{(n+h)!}{n!}·P_{n+h}\left(x\right)·t^n.\hfill \end{array}$$

(7)

Similarly, for all positive integer $k>1$ and all $\left|t\right|<\left|x\right|$, we also have

$$\frac{1}{x-t}=\frac{1}{x}·\sum _{n=0}^{\infty }\frac{t^n}{x^n}$$

and

$$\begin{array}{ccc}\hfill \frac{1}{{(x-t)}^k}& =& \frac{1}{(k-1)!·x^k}·\sum _{n=0}^{\infty }(n+k-1)(n+k-2)\cdots (n+1)·\frac{t^n}{x^n}\hfill \\ & =& \frac{1}{x^k}·\sum _{n=0}^{\infty }\left(\genfrac{}{}{0pt}{}{n+k-1}{n}\right)·\frac{t^n}{x^n}.\hfill \end{array}$$

(8)

Applying (7), (8), and the properties of the power series, we have

$$\begin{array}{cc}& \frac{f^{\left(h\right)}\left(t\right)}{{(x-t)}^k}=\frac{1}{x^k}·\left(\sum _{n=0}^{\infty }\frac{(n+h)!}{n!}·P_{n+h}\left(x\right)·t^n\right)\left(\sum _{n=0}^{\infty }\left(\genfrac{}{}{0pt}{}{n+k-1}{n}\right)·\frac{t^n}{x^n}\right)\hfill \\ =& \frac{1}{x^k}\sum _{n=0}^{\infty }\left(\sum _{i=0}^n\frac{(n-i+h)!}{(n-i)!}·P_{n-i+h}\left(x\right)·\left(\genfrac{}{}{0pt}{}{i+k-1}{i}\right)·\frac{1}{x^i}\right)t^n.\hfill \end{array}$$

This proves Lemma 2. □

3. Proof of the Theorem

Now, we will complete the proof of our main result. According to Lemma 1 and the definition of $f\left(t\right)$, for any positive integer k, we have the following result from the properties of the power series

$$\begin{array}{cc}& (2k-1)!!f^{2k+1}\left(t\right)=(2k-1)!!{\left(\sum _{n=0}^{\infty }{P}_n\left(x\right)·t^n\right)}^{2k+1}\hfill \\ =& (2k-1)!!\sum _{n=0}^{\infty }\left(\sum _{a_1+a_2+\cdots +a_{2k+1}=n}{P}_{a_1}\left(x\right)P_{a_2}\left(x\right)\cdots P_{a_k}\left(x\right)\right)·t^n.\hfill \end{array}$$

(9)

On the other hand, from Lemma 2, we have

$$\begin{array}{cc}& \sum _{i=1}^k\frac{C_k\left(i\right)}{{\left(x-t\right)}^{k-1+i}}·f^{(k+1-i)}\left(t\right)=\sum _{j=1}^k{C}_k\left(j\right)\frac{f^{(k+1-j)}\left(t\right)}{{\left(x-t\right)}^{k-1+j}}\hfill \\ =& \sum _{n=0}^{\infty }\left(\sum _{j=1}^k{C}_k\left(j\right)\sum _{i=0}^n\frac{(n+k+1-i-j)!P_{n+k+1-i-j}\left(x\right)}{(n-i)!}·\frac{\left(\genfrac{}{}{0pt}{}{i+j+k-2}{i}\right)}{x^{k-1+i+j}}\right)t^n.\hfill \end{array}$$

(10)

Then from (9), (10), Lemma 1, and comparing the coefficients of the power series, we have:

$$\begin{array}{cc}& (2k-1)!!\sum _{a_1+a_2+\cdots +a_{2k+1}=n}{P}_{a_1}\left(x\right)P_{a_2}\left(x\right)\cdots P_{a_k}\left(x\right)\hfill \\ =& \sum _{j=1}^{k}C(k,j)\sum _{i=0}^n\frac{(n+k+1-i-j)!}{(n-i)!}·\frac{\left(\genfrac{}{}{0pt}{}{i+j+k-2}{i}\right)}{x^{k-1+i+j}}·P_{n+k+1-i-j}\left(x\right).\hfill \end{array}$$

This completes the proof of our main theorem.

4. Conclusions

The main results of this paper include one theorem and four corollaries. The theorem gave an exact expression for the convolution sums (2) with any odd number $k=2h+1$. This result is meaningful. It not only reveals the close connection between the Legendre polynomials, but also makes a complex convolution sum (2) able to be expressed as a simple combination of some Legendre polynomials. Especially for $k=3$ and 5, the corresponding results Corollary 1 and Corollary 2 are easy to understand. These works have good reference for further research on the classical Legendre polynomials and their generalization. In addition, the theorem also shows that the calculation of (2) can be realized by a computer.