Theory and Modern Applications

Chebyshev polynomials and their some interesting applications

Abstract

The main purpose of this paper is by using the definitions and properties of Chebyshev polynomials to study the power sum problems involving Fibonacci polynomials and Lucas polynomials and to obtain some interesting divisible properties.

1 Introduction

For any integer $$n\geq 0$$, the first kind Chebyshev polynomials $$\{T_{n}(x)\}$$ and the second kind Chebyshev polynomials $$\{U_{n}(x) \}$$ are defined by $$T_{0}(x)=1$$, $$T_{1}(x)=x$$, $$U_{0}(x)=1$$, $$U_{1}(x)=2x$$ and $$T_{n+2}(x)=2xT_{n+1}(x)-T_{n}(x)$$, $$U_{n+2}(x)=2xU _{n+1}(x)-U_{n}(x)$$ for all $$n\geq 0$$. If we write $$\alpha =\alpha (x)=x+\sqrt{x ^{2}-1}$$ and $$\beta =\beta (x)=x-\sqrt{x^{2}-1}$$ for the sake of simplicity, then we have

\begin{aligned} T_{n}(x)&=\frac{1}{2} \bigl( \alpha^{n}+ \beta^{n} \bigr)=\frac{n}{2} \sum_{k=0}^{ [ \frac{n}{2} ] }(-1)^{k} \frac{(n-k-1)!}{k!(n-2k)!}(2x)^{n-2k}, \quad \vert x \vert < 1 \end{aligned}
(1)

and

\begin{aligned} U_{n}(x)&=\frac{1}{\alpha -\beta } \bigl( \alpha^{n+1}- \beta^{n+1} \bigr)=\sum_{k=0}^{ [ \frac{n}{2} ] }(-1)^{k} \frac{(n-k)!}{k!(n-2k)!}(2x)^{n-2k}, \quad \vert x \vert < 1. \end{aligned}
(2)

Fibonacci polynomials $$\{F_{n}(x)\}$$ and Lucas polynomials $$\{L_{n}(x) \}$$ are defined by $$F_{0}(x)=0$$, $$F_{1}(x)=1$$, $$L_{0}(x)=2$$, $$L_{1}(x)=x$$ and $$F_{n+2}(x)=xF_{n+1}(x)+F_{n}(x)$$, $$L_{n+2}(x)=xL _{n+1}(x)+L_{n}(x)$$ for all $$n\geq 0$$. If we write $$U(x)=\frac{x+\sqrt{x ^{2}+4}}{2}$$ and $$V(x)=\frac{x-\sqrt{x^{2}+4}}{2}$$, then we have

$$F_{n}(x)=\frac{1}{U(x)-V(x)} \bigl( U^{n}(x)-V^{n}(x) \bigr) \quad \textrm{and} \quad L_{n}(x)=U^{n}(x)+V^{n}(x) \quad \textrm{for all } n\geq 0.$$

These polynomials occupy a very important position in the theory and application of mathematics, so many scholars have studied their various properties and obtained a series of interesting and important results. See references [113] for Chebyshev polynomials and [1416] for Fibonacci and Lucas polynomials. For example, Li Xiaoxue [1] proved some identities involving power sums of $$T_{n}(x)$$ and $$U_{n}(x)$$. As some applications of these results, she obtained some divisible properties involving Chebyshev polynomials. Precisely, she proved the congruence

\begin{aligned} U_{0}(x)U_{2}(x)U_{4}(x)\cdots U_{2n}(x)\cdot \sum_{m=1}^{h} T_{2m} ^{2n+1}(x) \equiv 0\bmod \bigl( U_{2h}(x)-1 \bigr) . \end{aligned}

In this paper, we shall use the definition and properties of Chebyshev polynomials to study the power sum problem involving Fibonacci and Lucas polynomials and prove some new divisible properties involving these polynomials. That is, we shall prove the following two generalized conclusions.

Theorem 1

Let n and h be non-negative integers with $$h\geq 1$$. Then, for any odd number $$l\geq 1$$, we have the congruence

\begin{aligned} L_{l}(x)L_{3l}(x)\cdots L_{l(2n+1)}(x)\cdot \sum _{m=0}^{h} L_{2ml} ^{2n+1}(x) \equiv 0\bmod \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}

Theorem 2

Let n and h be non-negative integers with $$h\geq 1$$. Then, for any even number $$l\geq 1$$, we have the congruence

\begin{aligned} F_{l}(x)F_{3l}(x)\cdots F_{l(2n+1)}(x)\cdot \sum _{m=0}^{h} L_{2ml} ^{2n+1}(x) \equiv 0\bmod \bigl( F_{l(2h+1)}(x)+F_{l}(x) \bigr) . \end{aligned}

Especially for $$l=1$$ and 2, from our theorems we may immediately deduce the following two corollaries.

Corollary 1

For any non-negative integers n and h with $$h\geq 1$$, we have

\begin{aligned} L_{1}(x)L_{3}(x)\cdots L_{2n+1}(x)\cdot \sum _{m=0}^{h} L_{2m}^{2n+1}(x) \equiv 0\bmod \bigl( L_{2h+1}(x)+x \bigr) . \end{aligned}

Corollary 2

For any non-negative integers n and h with $$h\geq 1$$, we have

\begin{aligned} F_{2}(x)F_{6}(x)\cdots F_{2(2n+1)}(x)\cdot \sum _{m=0}^{h}L_{4m}^{2n+1}(x) \equiv 0\bmod \bigl( F_{2(2h+1)}(x)+ x \bigr) . \end{aligned}

Some notes: In our theorems, the range of the summation for m is from 0 to h. If the range of the summation is $$1\leq m \leq h$$, then it is very easy to prove the following corresponding results:

For any odd number $$l\geq 1$$, we have the polynomial congruence

\begin{aligned} L_{l}(x)L_{3l}(x)\cdots L_{l(2n+1)}(x)\cdot \sum _{m=1}^{h} L_{2ml} ^{2n+1}(x) \equiv 0\bmod \bigl( L_{l(2h+1)}(x)-L_{l}(x) \bigr) . \end{aligned}

For any even number $$l\geq 1$$, we have the polynomial congruence

\begin{aligned} F_{l}(x)F_{3l}(x)\cdots F_{l(2n+1)}(x)\cdot \sum _{m=1}^{h} L_{2ml} ^{2n+1}(x) \equiv 0\bmod \bigl( F_{l(2h+1)}(x)-F_{l}(x) \bigr) . \end{aligned}

Taking $$l=1$$ and 2, and noting that $$L_{1}(x)=F_{2}(x)=x$$, then from these two congruences we can deduce the following:

\begin{aligned} L_{1}(x)L_{3}(x)\cdots L_{2n+1}(x)\cdot \sum _{m=1}^{h} L_{2m}^{2n+1}(x) \equiv 0\bmod \bigl( L_{2h+1}(x)-x \bigr) \end{aligned}

and

\begin{aligned} F_{2}(x)F_{6}(x)\cdots F_{2(2n+1)}(x)\cdot \sum _{m=1}^{h}L_{4m}^{2n+1}(x) \equiv 0\bmod \bigl( F_{2(2h+1)}(x)- x \bigr) . \end{aligned}

Therefore, our theorems are actually an extension of references [1] and [16].

2 Several simple lemmas

To complete the proofs of our theorems, we need some new properties of Chebyshev polynomial, which we summarize as the following three lemmas.

Lemma 1

For any integers $$m, n\geq 0$$, we have the identity

$$T_{n} \biggl( \frac{1}{2}L_{2m}(x) \biggr) = \frac{1}{2}\cdot L_{2mn}(x).$$

Proof

Let $$\alpha = \frac{x+\sqrt{x^{2}+4}}{2}$$ and $$\beta = \frac{x-\sqrt{x^{2}+4}}{2}$$, then $$L_{2m}(x)=\alpha^{2m}+ \beta^{2m}$$, $$\alpha \cdot \beta =-1$$ and $$\alpha^{2m}\cdot \beta^{2m}=1$$. Replace x by $$\frac{1}{2}L_{2m}(x)$$ in $$T_{n}(x)$$ and note that

\begin{aligned}& \frac{1}{2}L_{2m}(x)+\sqrt{\frac{1}{4}L^{2}_{2m}(x)-1} \\& \quad = \frac{1}{2} \bigl( \alpha^{2m}+\beta^{2m} \bigr) + \frac{1}{2}\cdot \sqrt{ \alpha^{4m}+\beta^{4m}+2-4} \\& \quad = \frac{1}{2} \bigl( \alpha^{2m}+\beta^{2m} \bigr) + \frac{1}{2} \bigl( \alpha ^{2m}-\beta^{2m} \bigr) \\& \quad = \alpha^{2m}, \\& \frac{1}{2}L_{2m}(x)-\sqrt{\frac{1}{4}L^{2}_{2m}(x)-1} \\& \quad = \frac{1}{2} \bigl( \alpha^{2m}+\beta^{2m} \bigr) - \frac{1}{2}\cdot \sqrt{ \alpha^{4m}+\beta^{4m}+2-4} \\& \quad = \frac{1}{2} \bigl( \alpha^{2m}+\beta^{2m} \bigr) - \frac{1}{2} \bigl( \alpha ^{2m}-\beta^{2m} \bigr) \\& \quad = \beta^{2m}. \end{aligned}

From the definition of $$T_{n}(x)$$

$$T_{n}(x)=\frac{1}{2} \bigl[ \bigl( x+\sqrt{x^{2}-1} \bigr) ^{n}+ \bigl( x-\sqrt{x ^{2}-1} \bigr) ^{n} \bigr] ,$$

we have the identity

\begin{aligned}& T_{n} \biggl( \frac{1}{2}L_{2m}(x) \biggr) \\& \quad = \frac{1}{2} \biggl[ \biggl( \frac{1}{2}L_{2m}(x)+\sqrt {\frac{1}{4}L ^{2}_{2m}(x)-1} \biggr) ^{n}+ \biggl( \frac{1}{2}L_{2m}(x)-\sqrt{ \frac{1}{4}L^{2}_{2m}(x)-1} \biggr) ^{n} \biggr] \\& \quad = \frac{1}{2} \bigl[ \alpha^{2mn}+\beta^{2mn} \bigr] \\& \quad = \frac{1}{2}\cdot L_{2mn}(x). \end{aligned}

This proves Lemma 1. □

Lemma 2

Let n and h be non-negative integers with $$h\geq 1$$. Then, for any odd number $$l\geq 1$$, we have the congruence

\begin{aligned} L_{l(2h+1)(2n+1)}(x)+L_{l(2n+1)}(x)\equiv 0 \bmod \bigl( L_{l(2h+1)}(x)+L _{l}(x) \bigr) . \end{aligned}

Proof

We prove this polynomial congruence by complete induction for $$n\geq 0$$. It is clear that Lemma 2 is true for $$n=0$$. If $$n=1$$, then note that $$2\nmid l$$ and $$L^{3}_{l(2h+1)}(x)= L_{3l(2h+1)}(x)-3L _{l(2h+1)}(x)$$, we have

\begin{aligned}& L_{3l(2h+1)}(x)+L_{3l}(x) \\& \quad =L^{3}_{l(2h+1)}(x)+3L_{l(2h+1)}(x)+ L^{3} _{l}(x)+3L_{l}(x) \\& \quad = \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) \bigl( L^{2}_{l(2h+1)}(x)+ L _{l(2h+1)}(x) L_{l}(x) +L^{2}_{l}(x) +3 \bigr) \\& \quad \equiv 0 \bmod \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}

That is to say, Lemma 2 is true for $$n=1$$.

Suppose that Lemma 2 is true for all integers $$n= 1, 2, \ldots , k$$. That is,

\begin{aligned} L_{l(2h+1)(2n+1)}(x)+L_{l(2n+1)}(x)\equiv 0 \bmod \bigl( L_{l(2h+1)}(x)+L _{l}(x) \bigr) \end{aligned}
(3)

for all $$0\leq n\leq k$$.

Then, for $$n=k+1\geq 2$$, note the identities

$$L_{2l(2h+1)}(x)L_{l(2h+1)(2n+1)}(x)=L_{l(2h+1)(2n+3)}(x)+ L_{l(2h+1)(2n-1)}(x)$$

and

\begin{aligned} L_{2l(2h+1)}(x)&=L^{2}_{l(2h+1)}(x)+2\equiv L_{l}^{2}(x)+2\bmod \bigl( L _{l(2h+1)}(x)+L_{l}(x) \bigr) , \end{aligned}

applying inductive hypothesis (3), we have

\begin{aligned}& L_{l(2h+1)(2n+1)}(x)+L_{l(2n+1)}(x) \\& \quad =L_{l(2h+1)(2k+3)}(x)+L_{l(2k+3)}(x) \\& \quad = L_{2l(2h+1)}(x)L_{l(2h+1)(2k+1)}(x)-L_{l(2h+1)(2k-1)}(x) \\& \quad \quad {}+ L_{2l}(x)L_{l(2k+1)}(x)-L_{l(2k-1)}(x) \\& \quad \equiv \bigl( L_{l}^{2}(x)+2 \bigr) L_{l(2h+1)(2k+1)}(x)-L_{l(2h+1)(2k-1)}(x) \\& \quad \quad {} + \bigl( L^{2}_{l}(x)+2 \bigr) L_{l(2k+1)}(x)-L_{l(2k-1)}(x) \\& \quad \equiv \bigl( L^{2}_{l}(x)+2 \bigr) \bigl( L_{l(2h+1)(2k+1)}(x)+L_{l(2k+1)}(x) \bigr) \\& \quad \quad {}- \bigl( L_{l(2h+1)(2k-1)}(x)+ L_{l(2k-1)}(x) \bigr) \\& \quad \equiv 0 \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}

Now Lemma 2 follows from complete induction. □

Lemma 3

Let n and h be non-negative integers with $$h\geq 1$$. Then, for any even number $$l\geq 1$$, we have the congruence

\begin{aligned} F_{l(2h+1)(2n+1)}(x)+F_{l(2n+1)}(x)\equiv 0 \bmod \bigl( F_{l(2h+1)}(x)+F _{l}(x) \bigr) . \end{aligned}

Proof

We can also prove Lemma 3 by complete induction. If $$n=0$$, then it is clear that Lemma 3 is true. If $$n=1$$, then note that $$2\mid l$$ and $$F_{3l(2h+1)}(x)=(x^{2}+4)F^{3}_{l(2h+1)}(x)+3F _{l(2h+1)}(x)$$, we have

\begin{aligned}& F_{3l(2h+1)}(x)+F_{3l}(x) \\& \quad =\bigl(x^{2}+4 \bigr)F^{3}_{l(2h+1)}(x)+3F_{l(2h+1)}(x)+ \bigl(x^{2}+4\bigr)F^{3}_{l}(x)+3F_{l}(x) \\& \quad = \bigl(x^{2}+4\bigr) \bigl( F_{l(2h+1)}(x)+F_{l}(x) \bigr) \bigl( F^{2}_{l(2h+1)}(x)+ F_{l(2h+1)}(x) F_{l}(x) +F^{2}_{l}(x) \bigr) \\& \quad \quad {} + 3 \bigl( F_{l(2h+1)}(x)+F_{l}(x) \bigr) \\& \quad \equiv 0 \bmod \bigl( F_{l(2h+1)}(x)+F _{l}(x) \bigr) . \end{aligned}

So Lemma 3 is true for $$n=1$$. Suppose that Lemma 3 is true for all integers $$n= 1, 2, \ldots , k$$. That is,

\begin{aligned} F_{l(2h+1)(2n+1)}(x)+F_{l(2n+1)}(x)\equiv 0 \bmod \bigl( F_{l(2h+1)}(x)+F _{l}(x) \bigr) \end{aligned}
(4)

for all $$0\leq n\leq k$$.

Then, for $$n=k+1$$, note the identities

$$L_{2l(2h+1)}(x)F_{l(2h+1)(2n+1)}(x)=F_{l(2h+1)(2n+3)}(x)+ F_{l(2h+1)(2n-1)}(x)$$

and

\begin{aligned} L_{2l(2h+1)}(x)&= \bigl( x^{2}+4 \bigr) F^{2}_{l(2h+1)}(x)+2 \\ &\equiv \bigl( x ^{2}+4 \bigr) F_{l}^{2}(x)+2\bmod \bigl( F_{l(2h+1)}(x)+F_{l}(x) \bigr) , \end{aligned}

applying inductive hypothesis (4), we have

\begin{aligned}& F_{l(2h+1)(2n+1)}(x)+F_{l(2n+1)}(x)=F_{l(2h+1)(2k+3)}(x)+F_{l(2k+3)}(x) \\& \quad = L_{2l(2h+1)}(x)F_{l(2h+1)(2k+1)}(x)-F_{l(2h+1)(2k-1)}(x) \\& \quad \quad {} + L_{2l}(x)F_{l(2k+1)}(x)-F_{l(2k-1)}(x) \\& \quad \equiv \bigl[ \bigl(x^{2}+4\bigr)F_{l}^{2}(x)+2 \bigr] F_{l(2h+1)(2k+1)}(x)-F _{l(2h+1)(2k-1)}(x) \\& \quad \quad {} + \bigl[ \bigl(x^{2}+4\bigr)F^{2}_{l}(x)+2 \bigr] F_{l(2k+1)}(x)-F_{l(2k-1)}(x) \\& \quad \equiv \bigl[ \bigl(x^{2}+4\bigr)F^{2}_{l}(x)+2 \bigr] \bigl( F_{l(2h+1)(2k+1)}(x)+F _{l(2k+1)}(x) \bigr) \\& \quad \quad {}- \bigl( F_{l(2h+1)(2k-1)}(x)+ F_{l(2k-1)}(x) \bigr) \\& \quad \equiv 0 \bigl( F_{l(2h+1)}(x)+F_{l}(x) \bigr) . \end{aligned}

This completes the proof of Lemma 3. □

3 Proofs of the theorems

In this section, we shall prove our theorems by mathematical induction. Replace x by $$\frac{1}{2}\cdot L_{2ml}(x)$$ in (1), from Lemma 1 we have

\begin{aligned} &\sum_{m=0}^{h} T_{2n+1} \biggl( \frac{1}{2}L_{2ml}(x) \biggr) \\ &\quad = \frac{1}{2}\cdot \sum _{m=0}^{h}L_{2ml(2n+1)}(x) \\ &\quad = \frac{2n+1}{2}\cdot \sum_{k=0}^{n}(-1)^{k} \frac{(2n-k)!}{k!(2n+1-2k)!}\sum_{m=0}^{h}L^{2n+1-2k}_{2ml}(x) \end{aligned}

or

\begin{aligned}& \sum_{m=0}^{h} \bigl[ L_{2ml(2n+1)}(x)-(-1)^{n}(2n+1)L_{2ml}(x) \bigr] \\& \quad = (2n+1)\cdot \sum_{k=0}^{n-1}(-1)^{k} \frac{(2n-k)!}{k!(2n+1-2k)!} \sum_{m=0}^{h}L^{2n+1-2k}_{2ml}(x). \end{aligned}
(5)

Note the identities

\begin{aligned}& \sum_{m=0}^{h}L_{2ml(2n+1)}(x) \\& \quad = \sum_{m=0}^{h} \bigl( \alpha^{2ml(2n+1)}+ \beta^{2ml(2n+1)} \bigr) \\& \quad = \frac{\alpha^{2(h+1)l(2n+1)}-1}{\alpha^{2l(2n+1)}-1}+\frac{ \beta^{2(h+1)l(2n+1)}-1}{\beta^{2l(2n+1)}-1} \\& \quad = \frac{\alpha^{l(2h+1)(2n+1)}-(-1)^{l}\beta^{l(2n+1)}}{\alpha^{l(2n+1)}-(-1)^{l} \beta^{l(2n+1)}}+\frac{\beta^{l(2h+1)(2n+1)}-(-1)^{l}\alpha^{l(2n+1)}}{ \beta^{l(2n+1)}-(-1)^{l}\alpha^{l(2n+1)}} \\& \quad = \frac{L_{l(2h+1)(2n+1)}(x)+L_{l(2n+1)}(x)}{L_{l(2n+1)}(x)}\quad \textrm{if } 2\nmid l; \end{aligned}
(6)

and

\begin{aligned} \sum_{m=0}^{h}L_{2ml(2n+1)}(x)= \frac{F_{l(2h+1)(2n+1)}(x)+F_{l(2n+1)}(x)}{F _{l(2n+1)}(x)} \quad \textrm{if } 2\mid l. \end{aligned}
(7)

If l is an odd number, then from (5) and (6) we have

\begin{aligned}& \frac{L_{l(2h+1)(2n+1)}(x)+L_{l(2n+1)}(x)}{L_{l(2n+1)}(x)}-(-1)^{n}(2n+1) \frac{L_{l(2h+1)}(x)+L_{l}(x)}{L_{l}(x)} \\& \quad = (2n+1)\cdot \sum_{k=0}^{n-1}(-1)^{k} \frac{(2n-k)!}{k!(2n+1-2k)!} \sum_{m=0}^{h}L^{2n+1-2k}_{2ml}(x). \end{aligned}
(8)

Now we prove Theorem 1 by mathematical induction. If $$n=1$$, then from (8), Lemma 2 and note that $$2\nmid l$$ we have

\begin{aligned}& L_{l}(x)L_{3l}(x)\sum _{m=0}^{h}L^{3}_{2ml}(x) \\& \quad = L_{l}(x)L_{3l}(x) \biggl[ \frac{L_{3l(2h+1)}(x)+L_{3l}(x)}{L_{3l}(x)}+ \frac{3L _{l(2h+1)}(x)+3L_{l}(x)}{L_{l}(x)} \biggr] \\& \quad \equiv 0\bmod \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}
(9)

That is, Theorem 1 is true for $$n=1$$.

Suppose that Theorem 1 is true for all integers $$1\leq n \leq s$$. Then, for $$n=s+1$$, from (8) we have

\begin{aligned}& \frac{L_{l(2h+1)(2s+3)}(x)+L_{l(2s+3)}(x)}{L_{l(2s+3)}(x)}+(-1)^{s}(2s+3) \frac{L_{l(2h+1)}(x)+L_{l}(x)}{L_{l}(x)} \\& \quad = (2s+3)\cdot \sum_{k=0}^{s}(-1)^{k} \frac{(2s+2-k)!}{k!(2s+3-2k)!} \sum_{m=0}^{h}L^{2s+3-2k}_{2ml}(x) \\& \quad = \sum_{m=0}^{h}L^{2s+3}_{2ml}(x)+(2s+3) \cdot \sum_{k=1}^{s}(-1)^{k} \frac{(2s+2-k)!}{k!(2s+3-2k)!}\sum_{m=0}^{h}L^{2s+3-2k}_{2ml}(x). \end{aligned}
(10)

From Lemma 2 we have

\begin{aligned}& L_{l}(x)L_{3l}(x)\cdots L_{l(2s+3)}(x)\cdot \frac{L_{l(2h+1)(2s+3)}(x)+L _{l(2s+3)}(x)}{L_{l(2s+3)}(x)} \\& \quad \equiv 0 \bmod \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}
(11)

Applying inductive assumption, we have

\begin{aligned}& L_{l}(x)L_{3l}(x)\cdots L_{l(2s+1)}(x)\sum_{k=1}^{s}(-1)^{k} \frac{(2s+2-k)!}{k!(2s+3-2k)!}\sum_{m=0}^{h}L^{2s+3-2k}_{2ml}(x) \\& \quad \equiv 0\bmod \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}
(12)

Combining (9)-(12) and Lemma 2, we can deduce the congruence

\begin{aligned} L_{l}(x)L_{3l}(x)\cdots L_{l(2s+3)}(x)\cdot \sum _{m=0}^{h} L_{2ml} ^{2s+3}(x) \equiv 0\bmod \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}

This proves Theorem 1 by mathematical induction.

Now we prove Theorem 2. If $$2\mid l$$, then from (5) and (7) we have

\begin{aligned}& \frac{F_{l(2h+1)(2n+1)}(x)+F_{l(2n+1)}(x)}{F_{l(2n+1)}(x)}-(-1)^{n}(2n+1) \frac{F_{l(2h+1)}(x)+F_{l}(x)}{F_{l}(x)} \\& \quad = (2n+1)\cdot \sum_{k=0}^{n-1}(-1)^{k} \frac{(2n-k)!}{k!(2n+1-2k)!} \sum_{m=0}^{h}L^{2n+1-2k}_{2ml}(x). \end{aligned}
(13)

Applying (13), Lemma 3 and the method of proving Theorem 1, we may immediately deduce the congruence

\begin{aligned} F_{l}(x)F_{3l}(x)\cdots F_{l(2n+1)}(x)\cdot \sum _{m=0}^{h} L_{2ml} ^{2n+1}(x) \equiv 0\bmod \bigl( F_{l(2h+1)}(x)+F_{l}(x) \bigr) . \end{aligned}

This completes the proof of Theorem 2.

References

1. Li, X: Some identities involving Chebyshev polynomials. Math. Probl. Eng. 2015, Article ID 950695 (2015)

2. Ma, Y, Lv, X: Several identities involving the reciprocal sums of Chebyshev polynomials. Math. Probl. Eng. 2017, Article ID 4194579 (2017)

3. Clemente, C: Identities and generating functions on Chebyshev polynomials. Georgian Math. J. 19(3), 427-440 (2012)

4. Chan-Lye, L, Wong, KB: On Chebyshev’s polynomials and certain combinatorial identities. Bull. Malays. Math. Soc. 34(2), 279-286 (2011)

5. Doha, EH, Bhrawy, AH, Ezz-Eldien, SS: Numerical approximations for fractional diffusion equations via a Chebyshev spectral-tau method. Cent. Eur. J. Phys. 11(10), 1494-1503 (2013)

6. Bhrawy, AH, Zaky, MA: A method based on the Jacobi tau approximation for solving multi-term time-space fractional partial differential equations. J. Comput. Phys. 281, 876-895 (2015)

7. Doha, EH, Bhrawy, AH, Hafez, RM, Abdelkawy, MA: A Chebyshev-Gauss-Radau scheme for nonlinear hyperbolic system of first order. Appl. Math. Inf. Sci. 8(2), 535-544 (2013)

8. Doha, EH, Bhrawy, AH: A Jacobi spectral Galerkin method for the integrated forms of fourth-order elliptic differential equations. Numer. Methods Partial Differ. Equ. 25(3), 712-739 (2009)

9. Wang, T, Zhang, H: Some identities involving the derivative of the first kind Chebyshev polynomials. Math. Probl. Eng. 2015, Article ID 146313 (2015)

10. Bircan, N, Pommerenke, C: On Chebyshev polynomials and $$\operatorname{GL}(2,\mathbb{Z}/p\mathbb{Z})$$. Bull. Math. Soc. Sci. Math. Roum. 103, 353-364 (2012)

11. Kim, T, Kim, DS, Seo, JJ, Dolgy, DV: Some identities of Chebyshev polynomials arising from non-linear differential equations. J. Comput. Anal. Appl. 23(5), 820-832 (2017)

12. Kim, DS, Kim, T, Lee, S: Some identities for Bernoulli polynomials involving Chebyshev polynomials. J. Comput. Anal. Appl. 16(1), 172-180 (2014)

13. Kim, DS, Dolgy, DV, Kim, T, Rim, SH: Identities involving Bernoulli and Euler polynomials arising from Chebyshev polynomials. Proc. Jangjeon Math. Soc. 15(4), 361-370 (2012)

14. Yi, Y, Zhang, W: Some identities involving the Fibonacci polynomials. Fibonacci Q. 40, 314-318 (2002)

15. Ma, R, Zhang, W: Several identities involving the Fibonacci numbers and Lucas numbers. Fibonacci Q. 45, 164-170 (2007)

16. Wang, T, Zhang, W: Some identities involving Fibonacci. Lucas polynomials and their applications. Bull. Math. Soc. Sci. Math. Roum. 55, 95-103 (2012)

Acknowledgements

The author would like to thank the referees for their very helpful and detailed comments, which have significantly improved the presentation of this paper. This work is supported by the NSF Grant No. 11771351 of P.R. China.

Author information

Authors

Contributions

All authors read and approved the final manuscript.

Corresponding author

Correspondence to Zhang Wenpeng.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

Li, C., Wenpeng, Z. Chebyshev polynomials and their some interesting applications. Adv Differ Equ 2017, 303 (2017). https://doi.org/10.1186/s13662-017-1365-1