1. Introduction
To the authors’ knowledge, very few composition identities for Chebyshev polynomials [
1,
2] are known, apart from the classical one for 1st kind:
, and others for the 2nd kind, published by Kimberling in [
3].
Recently, some convolution equations or sums of finite products of Chebyshev polynomials appeared in literature [
4,
5], but none of the composition type.
This is the motivation of this article, which aims to fill a gap in the literature on a very well known topic [
1,
6], which concerns the polynomials of Chebyshev, one of the most used families of orthogonal polynomials.
In what follows, by using a known connection [
7] of the 2nd kind Chebyshev polynomials with
matrix power representation, we derive in a straightforward way composition identities involving 1st and 2nd kind Chebyshev polynomials.
The key result is the useful remark that the trace of matrix powers are simply related to the 1st kind Chebyshev polynomials. Therefore, the standard composition of matrix powers implies the searched composition identities. The considered method could be theoretically used in order to find an infinite number of such compositions, but of course the relative formulas become more and more complicated as the number of nested powers is considered.
The obtained equations could obviously be derived even by using the trigonometric forms of Chebyshev polynomials, but the method proposed in this article seems to be more simple and efficient.
Before concluding the paper, it is mentioned that a similar approach could be used in order to construct composition identities for two variable Chebyshev polynomials and even for the so-called functions that are solutions of linear recurrence equations, with suitable initial conditions, which include the multivariate case of 2nd kind Lucas polynomials, and are useful in order to represent powers of higher order matrices.
2. On Powers of a Non-Singular Matrix
Let
be a non-singular complex matrix, and let
respectively the trace and the determinant of
.
The characteristic equation is given by
and denote by
and
the eigenvalues of
.
We start by considering two results connecting matrix powers with Chebyshev polynomials.
The first result is the representation theorem for matrix powers, proved in [
7]:
Theorem 1. The integer powers of , (), are given by: where is the identity matrix, andare the second kind Chebyshev polynomials. We prove now the second result, which gives the trace of integer matrix powers
(
) in terms of first kind Chebyshev polynomials
:
Theorem 2. For any integer , it results: Proof. Since
, we find, in particular:
and by the Newton–Girard formulas, we can compute the following ones by the recursion:
which is the same recursion associated with Equation (
2).
Putting
so that
, and recalling the position (
12), we find:
Then, Equation (
9) is true for
and
. Therefore, Equation (
9) holds for every
, since the first and second member in this equation satisfy the same recursion (
11) and initial conditions (
13), (for
Equation (
9) trivially holds). □
Corollary 1. For any integer , assuming position (
12)
, it results in:and therefore the representation formula (
3)
becomes: In particular, Equations (
6) and (
7), by using Equation (
12), write:
3. Composition of Chebyshev Polynomials
3.1. A Preliminary Example
In this section, we prove some relations involving 1st and 2nd kind Chebyshev polynomials derived by matrix analysis.
Put by definition:
that is:
Then, we can prove the results:
Theorem 3. For any integer n, the following equations hold: Theorem 4. For any integer n, the following equations hold:
and, as a consequence of Equation (
23), we find the identities:
which give back the recurrence relation for
.
Proof of Theorem 3.1. We compute the
th powers of
in two different forms. By using Equations (
3) and (
18), and recalling the position (
12), we find:
Comparing the coefficients of
and
in Equations (
23) and (
24), we find the two relations:
that is, our result, taking into account definition (
12). □
Proof of Theorem 3.2. Compute the
th power of
in the following forms:
We find:
and, recalling Equation (
7), with the position (
12), it results:
and, recalling Equation (
5), we find:
comparing separately the coefficients of
and
, in Equations (
29)–(
30) and (
30)–(
31), we find Equation (
23). □
3.2. A More General Case
We prove now a more general result.
Theorem 5. For any integers n and m, the following equations hold: Proof of Theorem 3.3. We compute the
th power of
in different forms. By Equation (
15), we have:
but
Then, Equation (
32) follows by comparing the coefficients of
and
in Equations (
33) and (
36). □
Remark 1. Further extensions of the results of Threorem 3.3 can be obtained by considering the powers of matrix in the form:An obvious extension is considering a higher number of powers, that is, . A lot of possible identities can be found using the different form of powers, but the relative equations become more and more complicated as the number k increases. Remark 2. It is possible to consider an application of the above results to the second kind two-variable Chebyshev polynomials [8,9,10], defined by the recursion: In fact, denoting by , , , the invariants of a non-singular matrix , by using the Hamilton–Cayley theorem, in [11], it has been shown thatwhere . Furthermore, in the same article [11], the following expression of in terms of the 2nd kind Chebyshev polynomials has been proven:where the variables are related to the by means of the system: Then, by using Equation (39), the powers of can be represented in terms of the second kind ordinary Chebyshev polynomias. Therefore, the technique used in this article can be exploited in order to derive composition identities for the 2-variable Chebyshev polynomials .
Remark 3. Another application could be obtained by recalling the results on powers of matrices, contained in [12]:where the functions of the invariants of the matrix are defined as the solutions of the linear recursion , satisfying the initial conditions The functions have been used in several frameworks, and in particular in representing matrix exponentials [13,14] and linear dynamical systems [15]. Then, the use of the same technique of this article could be exploited in order to find composition identities for the functions.
4. Conclusions
It has been shown that the use of a matrix power representation for a non-singular matrix can be used in order to derive in a straightforward way composition identities of 2nd and 1st kind Chebyshev polynomials. Further extensions, by using other representation formulas for higher order matrices could be found, but the relative equations involve multivariate Chebyshev polynomials that are not as popular as the classical Chebyshev ones.
Author Contributions
Review and checking, P.B.; investigation, original draft preparation, P.E.R. All authors have read and agreed to the published version of the manuscript.
Funding
This research received no external funding.
Acknowledgments
Dedicated to Hari M. Srivastava on his 80th birthday.
Conflicts of Interest
The authors declare that they have not received funds from any institution and that they have no conflict of interest.
References
- Rivlin, T.J. The Chebyshev Polynomials; J. Wiley and Sons: New York, NY, USA, 1974. [Google Scholar]
- Srivastava, H.M.; Manocha, H.L. A Treatise on Generating Functions; Halsted Press (Ellis Horwood Limited, Chichester), J. Wiley and Sons: New York, NY, USA; Brisbane, Australia; Toronto, ON, Canada, 1984. [Google Scholar]
- Kimberling, C. Four composition identities for Chebyshev polynomials. Fibonacci. Q. 1980, 18, 352–369. [Google Scholar]
- Chen, Z.; Qi, L. Some Convolution Formulae Related to the Second-Order Linear Recurrence Sequence. Symmetry 2019, 11, 788. [Google Scholar] [CrossRef] [Green Version]
- Kim, T.; Kim, D.S.; Dolgy, D.V.; Kwon, J. Sums of Finite Products of Chebyshev Polynomials of the First Kind and Lucas Polynomials by Chebyshev Polynomials. Mathematics 2019, 7, 26. [Google Scholar] [CrossRef] [Green Version]
- Mason, J.C.; Handscomb, D.C. Chebyshev Polynomials; Chapman and Hall: New York, NY, USA; CRC: Boca Raton, FL, USA, 2003. [Google Scholar]
- Ricci, P.E. Alcune osservazioni sulle potenze delle matrici del secondo ordine e sui polinomi di Tchebycheff di seconda specie. Atti Accad. Sci. Torino 1974, 109, 405–410. [Google Scholar]
- Lidl, R.; Wells, C. Chebyshev polynomials in several variables. J. Reine Angew. Math. 1972, 255, 104–111. [Google Scholar]
- Lidl, R. Tschebyscheffpolynome in mehreren variabelen. J. Reine Angew. Math. 1975, 273, 178–198. [Google Scholar]
- Ricci, P.E. I polinomi di Tchebycheff in più variabili. Rend. Mater. 1978, 11, 295–327. [Google Scholar]
- Ricci, P.E. Sulle potenze di una matrice. Rend. Mater. 1976, 9, 179–194. [Google Scholar]
- Bruschi, M.; Ricci, P.E. An explicit formula for and the generating function of the generalized Lucas polynomials. Siam J. Math. Anal. 1982, 13, 162–165. [Google Scholar] [CrossRef]
- Brandi, P.; Ricci, P.E. A note on Golden ratio and higher order Fibonacci sequences. Turkish J. Anal. Number Theory 2020, 8. in print. [Google Scholar]
- Natalini, P. A “hard to die” series expansion and Lucas polynomials of the second kind. Appl. Math. 2015, 6, 1235–1240. [Google Scholar] [CrossRef] [Green Version]
- Natalini, P. Solution of linear dynamical systems using Lucas polynomials of the second kind. Appl. Math. 2016, 7, 616–628. [Google Scholar] [CrossRef] [Green Version]
© 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).