Next Article in Journal
A Double-Density Clustering Method Based on “Nearest to First in” Strategy
Previous Article in Journal
Dynamical Behavior of a Stochastic SIRC Model for Influenza A
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Composition Identities of Chebyshev Polynomials, via 2 × 2 Matrix Powers

1
Dipartimento di Matematica e Informatica, Università degli Studi di Perugia, Via Vanvitelli, 1, 06123 Perugia, Italy
2
International Telematic University UniNettuno, Corso Vittorio Emanuele II, 39, 00186 Roma, Italy
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(5), 746; https://doi.org/10.3390/sym12050746
Submission received: 26 March 2020 / Revised: 10 April 2020 / Accepted: 14 April 2020 / Published: 6 May 2020

Abstract

:
Starting from a representation formula for 2 × 2 non-singular complex matrices in terms of 2nd kind Chebyshev polynomials, a link is observed between the 1st kind Chebyshev polinomials and traces of matrix powers. Then, the standard composition of matrix powers is used in order to derive composition identities of 2nd and 1st kind Chebyshev polynomials. Before concluding the paper, the possibility to extend this procedure to the multivariate Chebyshev and Lucas polynomials is touched on.

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: T m [ T n ( x ) ] = T m n ( x ) , 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 2 × 2 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 F k , n 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 2 × 2 Non-Singular Matrix

Let A = { a h , k } 2 × 2 be a non-singular complex matrix, and let
u 1 : = t r A , u 2 = d e t A 0 ,
respectively the trace and the determinant of A .
The characteristic equation is given by
λ 2 u 1 λ + u 2 = 0 ,
and denote by λ 1 and λ 2 the eigenvalues of A .
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 A , ( n 2 ), are given by:
A n = u 2 ( n 1 ) / 2 U n 1 u 1 2 u 2 1 / 2 A u 2 n / 2 U n 2 u 1 2 u 2 1 / 2 I ,
where I is the 2 × 2 identity matrix, and
U 0 ( x ) = 1 , U 1 ( x ) = 2 x , U 2 ( x ) = 4 x 2 1 , U 3 ( x ) = 8 x 2 4 x ,
are the second kind Chebyshev polynomials.
In particular, we find:
A 2 = u 2 1 / 2 U 1 u 1 2 u 2 1 / 2 A u 2 U 0 u 1 2 u 2 1 / 2 I = u 1 A u 2 I ,
A 3 = u 2 U 2 u 1 2 u 2 1 / 2 A u 2 3 / 2 U 1 u 1 2 u 2 1 / 2 I ,
A 4 = u 2 3 / 2 U 3 u 1 2 u 2 1 / 2 A u 2 2 U 2 u 1 2 u 2 1 / 2 I ,
We prove now the second result, which gives the trace of integer matrix powers A n ( n = 0 , 1 , 2 , ) in terms of first kind Chebyshev polynomials T n ( x ) :
T 0 ( x ) = 1 , T 1 ( x ) = x , T 2 ( x ) = 2 x 2 1 , T 3 ( x ) = 4 x 2 3 x ,
Theorem 2.
For any integer n 0 , it results:
t r A n = 2 u 2 n / 2 T n u 1 2 u 2 1 / 2 .
Proof. 
Since t r A n = ł 1 n + ł 2 n , we find, in particular:
t r A = u 1 , t r A 2 = u 1 2 2 u 2 ,
and by the Newton–Girard formulas, we can compute the following ones by the recursion:
t r A n = u 1 ( t r A n 1 ) u 2 ( t r A n 2 ) ,
which is the same recursion associated with Equation (2).
Putting
x = T 1 ( x ) = u 1 / 2 u 2 1 / 2 ,
so that u 1 = 2 u 2 1 / 2 x , and recalling the position (12), we find:
t r A = 2 u 2 1 / 2 x = 2 u 2 1 / 2 T 1 ( x ) , t r A 2 = 4 x 2 u 2 2 u 2 = 2 u 2 T 2 ( x ) .
Then, Equation (9) is true for n = 1 and n = 2 . Therefore, Equation (9) holds for every n 0 , since the first and second member in this equation satisfy the same recursion (11) and initial conditions (13), (for n = 0 Equation (9) trivially holds). □
Corollary 1.
For any integer n 0 , assuming position (12), it results in:
t r A n 2 ( d e t A n ) 1 / 2 = T n ( x ) ,
and therefore the representation formula (3)becomes:
A n = u 2 ( n 1 ) / 2 U n 1 ( x ) A u 2 n / 2 U n 2 ( x ) I .
In particular, Equations (6) and (7), by using Equation (12), write:
A 3 = u 2 U 2 ( x ) A u 2 3 / 2 U 1 ( x ) I ,
A 4 = u 2 3 / 2 U 3 ( x ) A u 2 2 U 2 ( x ) I ,

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:
B : = A 2 = u 1 A u 2 I , B 2 = A 4 = ( u 1 2 2 u 2 ) B u 2 2 I ,
that is:
A 4 = ( u 1 3 2 u 1 u 2 ) A ( u 1 2 u 2 u 2 2 ) I ,
Note that
t r A 2 = 2 u 2 T 2 ( x ) , d e t A 2 = u 2 2 0 ,
t r B 2 = 2 u 2 2 T 4 ( x ) , d e t B 2 = u 2 4 0 .
Then, we can prove the results:
Theorem 3.
For any integer n, the following equations hold:
2 x U n 1 [ T 2 ( x ) ] = U 2 n 1 ( x ) , U 2 n 2 ( x ) = U n 1 [ T 2 ( x ) ] + U n 2 [ T 2 ( x ) ] .
Theorem 4.
For any integer n, the following equations hold:
U 4 n 1 ( x ) = U n 1 [ T 4 ( x ) ] U 3 ( x ) , U 4 n 2 ( x ) = U n 1 [ T 4 ( x ) ] U 2 ( x ) + U n 2 [ T 4 ( x ) ] , 2 x U 2 n 1 [ T 2 ( x ) ] = U n 1 [ T 4 ( x ) ] U 3 ( x ) , U 2 n 1 [ T 2 ( x ) ] + U 2 n 2 [ T 2 ( x ) ] = U n 1 [ T 4 ( x ) ] U 2 ( x ) + U n 2 [ T 4 ( x ) ] ,
and, as a consequence of Equation (23), we find the identities:
U 4 n 1 ( x ) = 2 x U 2 n 1 [ T 2 ( x ) ] , U 4 n 2 ( x ) = U 2 n 1 [ T 2 ( x ) ] + U 2 n 2 [ T 2 ( x ) ] ,
which give back the recurrence relation for U n [ T 2 ( x ) ] .
Proof of Theorem 3.1.
We compute the 2 n th powers of A in two different forms. By using Equations (3) and (18), and recalling the position (12), we find:
A 2 n = u 2 ( 2 n 1 ) / 2 U 2 n 1 u 1 2 u 2 1 / 2 A u 2 n U 2 n 2 u 1 2 u 2 1 / 2 I = 1 p t 22 p t = u 2 ( 2 n 1 ) / 2 U 2 n 1 ( x ) A u 2 n U 2 n 2 ( x ) I ,
A 2 n = B n = u 2 n 1 U n 1 [ T 2 ( x ) ] B u 2 n U n 2 T 2 ( x ) I = = u 2 n 1 U n 1 [ T 2 ( x ] u 1 A u 2 I u 2 n U n 2 [ T 2 ( x ) ] I = = u 1 u 2 n 1 U n 1 [ T 2 ( x ) ] A u 2 n U n 1 [ T 2 ( x ) ] + U n 2 [ T 2 ( x ) ] I .
Comparing the coefficients of A and I in Equations (23) and (24), we find the two relations:
u 2 ( n 1 ) / 2 U 2 n 1 ( x ) = u 1 u 2 n 1 U n 1 [ T 2 ( x ) ] , U 2 n 2 ( x ) = U n 1 [ T 2 ( x ) ] + U n 2 [ T 2 ( x ) ] ,
that is, our result, taking into account definition (12). □
Proof of Theorem 3.2.
Compute the ( 4 n ) th power of A in the following forms:
A 4 n = A 4 n = B 2 n .
We find:
A 4 n = u 2 ( 4 n 1 ) / 2 U 4 n 1 ( x ) A u 2 2 n U 4 n 2 ( x ) I ,
A 4 n = u 2 2 n 2 U n 1 [ T 4 ( x ) ] A 4 u 2 2 n U n 2 [ T 4 ( x ) ] I ,
and, recalling Equation (7), with the position (12), it results:
A 4 n = A 4 n = u 2 2 n 1 / 2 U n 1 [ T 4 ( x ) ] U 3 ( x ) A u 2 2 n U n 1 [ T 4 ( x ) ] U 2 ( x ) + U n 2 [ T 4 ( x ) ] I ,
A 4 n = B 2 n = u 2 2 n 1 U 2 n 1 [ T 2 ( x ) ] B u 2 2 n U n 2 [ T 2 ( x ) ] I ,
and, recalling Equation (5), we find:
A 4 n = B 2 n = u 1 u 2 2 n 1 U 2 n 1 [ T 2 ( x ) ] A u 2 2 n U 2 n 1 [ T 2 ( x ) ] + U 2 n 2 [ T 2 ( x ) ] I ,
comparing separately the coefficients of A and I , 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:
U m n 1 ( x ) = U n 1 [ T m ( x ) ] U m 1 ( x ) , U m n 2 ( x ) = U n 1 [ T m ( x ) ] U m 2 ( x ) + U n 2 [ T m ( x ) ] .
Proof of Theorem 3.3.
We compute the ( m n ) th power of A in different forms. By Equation (15), we have:
A m n = u 2 ( m n 1 ) / 2 U m n 1 ( x ) A u 2 m n / 2 U m n 2 ( x ) I ,
but
A m n = A m n .
We find:
A m n = A m n = u 2 m ( n 1 ) / 2 U n 1 [ T m ( x ) ] A m u 2 m n / 2 U n 2 [ T m ( x ) ] I ,
where
A m = u 2 ( m 1 ) / 2 U m 1 ( x ) A u 2 m / 2 U m 2 ( x ) I ,
Then, we find:
A m n = u 2 ( m n 1 ) / 2 U n 1 [ T m ( x ) ] U m 1 ( x ) A u 2 m n / 2 U n 1 [ T m ( x ) ] U m 2 ( x ) + U n 2 [ T m ( x ) ] I .
Then, Equation (32) follows by comparing the coefficients of A and I 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 A in the form:
A n 1 n 2 n 3 = A n 1 n 2 n 3 = A n 1 n 2 n 3 .
An obvious extension is considering a higher number of powers, that is, n 1 n 2 n k . 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 U n ( 2 ) ( u , v ) [8,9,10], defined by the recursion:
U 0 ( 2 ) ( u , v ) = 0 , U 1 ( 2 ) ( u , v ) = 1 , U 2 ( 2 ) ( u , v ) = u , U n ( 2 ) ( u , v ) = u U n 1 ( 2 ) ( u , v ) v U n 2 ( 2 ) ( u , v ) + U n 3 ( 2 ) ( u , v ) .
In fact, denoting by J 1 = t r A , J 2 , J 3 = d e t A , the invariants of a non-singular 3 × 3 matrix A , by using the Hamilton–Cayley theorem, in [11], it has been shown that
A n = U n 1 ( 2 ) ( u , v ) J 3 n 2 3 A 2 + v U n 2 ( 2 ) ( u , v ) + U n 3 ( 2 ) ( u , v ) J 3 n 1 3 A + + U n 2 ( 2 ) ( u , v ) J 3 n 3 I ,
where u : = J 1 J 3 1 / 3 , v : = J 2 J 3 2 / 3 .
Furthermore, in the same article [11], the following expression of U n ( 2 ) ( u , v ) in terms of the 2nd kind Chebyshev polynomials U n ( · ) has been proven:
U n ( 2 ) ( u , v ) = ( x y ) ( n + 2 ) / 2 U n x + y 2 x y + ( x y ) ( n + 5 ) / 2 U n 1 x + y 2 x y + ( x y ) n + 1 1 x y ( x + y ) + ( x y ) 3 ,
where the variables x , y are related to the u , v by means of the system:
u = x + y + ( x y ) 1 v = x y + ( x + y ) ( x y ) 1 .
Then, by using Equation (39), the powers of A 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 U n ( x , y ) .
Remark 3.
Another application could be obtained by recalling the results on powers of r × r matrices, contained in [12]:
A n = F 1 , n 1 ( u 1 , , u r ) A r 1 + F 2 , n 1 ( u 1 , , u r ) A r 2 + + + F r , n 1 ( u 1 , , u r ) I ,
where the F k , n functions of the invariants u 1 , , u r of the matrix A are defined as the solutions of the linear recursion
F k , n = u 1 F k , n 1 u 2 F k , n 2 + + ( 1 ) r 1 u r F k , n r ,
( k = 1 , 2 , , r ) , satisfying the initial conditions
F 1 , 1 = 0 , F 1 , 0 = 0 , F 1 , r 2 = 1 , F 2 , 1 = 0 , F 2 , 0 = 1 , F 2 , r 2 = 0 , F r , 1 = 1 , F r , 0 = 0 , F r , r 2 = 0 .
The F k , n 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 F k , n functions.

4. Conclusions

It has been shown that the use of a matrix power representation for a 2 × 2 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

  1. Rivlin, T.J. The Chebyshev Polynomials; J. Wiley and Sons: New York, NY, USA, 1974. [Google Scholar]
  2. 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]
  3. Kimberling, C. Four composition identities for Chebyshev polynomials. Fibonacci. Q. 1980, 18, 352–369. [Google Scholar]
  4. Chen, Z.; Qi, L. Some Convolution Formulae Related to the Second-Order Linear Recurrence Sequence. Symmetry 2019, 11, 788. [Google Scholar] [CrossRef] [Green Version]
  5. 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]
  6. Mason, J.C.; Handscomb, D.C. Chebyshev Polynomials; Chapman and Hall: New York, NY, USA; CRC: Boca Raton, FL, USA, 2003. [Google Scholar]
  7. 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]
  8. Lidl, R.; Wells, C. Chebyshev polynomials in several variables. J. Reine Angew. Math. 1972, 255, 104–111. [Google Scholar]
  9. Lidl, R. Tschebyscheffpolynome in mehreren variabelen. J. Reine Angew. Math. 1975, 273, 178–198. [Google Scholar]
  10. Ricci, P.E. I polinomi di Tchebycheff in più variabili. Rend. Mater. 1978, 11, 295–327. [Google Scholar]
  11. Ricci, P.E. Sulle potenze di una matrice. Rend. Mater. 1976, 9, 179–194. [Google Scholar]
  12. Bruschi, M.; Ricci, P.E. An explicit formula for f ( A ) and the generating function of the generalized Lucas polynomials. Siam J. Math. Anal. 1982, 13, 162–165. [Google Scholar] [CrossRef]
  13. 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]
  14. 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]
  15. 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]

Share and Cite

MDPI and ACS Style

Brandi, P.; Ricci, P.E. Composition Identities of Chebyshev Polynomials, via 2 × 2 Matrix Powers. Symmetry 2020, 12, 746. https://doi.org/10.3390/sym12050746

AMA Style

Brandi P, Ricci PE. Composition Identities of Chebyshev Polynomials, via 2 × 2 Matrix Powers. Symmetry. 2020; 12(5):746. https://doi.org/10.3390/sym12050746

Chicago/Turabian Style

Brandi, Primo, and Paolo Emilio Ricci. 2020. "Composition Identities of Chebyshev Polynomials, via 2 × 2 Matrix Powers" Symmetry 12, no. 5: 746. https://doi.org/10.3390/sym12050746

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop