ISRN Computational Mathematics

Volume 2014, Article ID 451270, 5 pages

http://dx.doi.org/10.1155/2014/451270

## Powers of Complex Persymmetric Antitridiagonal Matrices with Constant Antidiagonals

College of Science, University of Shanghai for Science and Technology, Shanghai 200093, China

Received 3 January 2014; Accepted 3 March 2014; Published 16 March 2014

Academic Editors: F. W. S. Lima and Q.-W. Wang

Copyright © 2014 Haibo Wang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We derive a general expression for the *p*th power of any complex persymmetric antitridiagonal Hankel (constant antidiagonals) matrices. Numerical examples are presented, which show that our results generalize the results in the related literature (Rimas 2008, Wu 2010, and Rimas 2009).

#### 1. Introduction

Solving some difference, differential, and delay differential equations, we meet the necessity to compute the arbitrary positive integer powers of square matrix. Recently, computing the integer powers of antitridiagonal matrices has been a very popular problem. There have been several papers on computing the positive integer powers of various kinds of square matrices by Rimas et al., and others [1–5]. In 2011, the general expression for the entries of the power of complex persymmetric or skew-persymmetric antitridiagonal matrices with constant antidiagonals is presented by Gutiérrez-Gutiérrez [1]. Rimas [2] gave the general expression of the th power for this type of symmetric odd order antitridiagonal matrices () in 2008. In [3, 4] a similar problem is solved for antitridiagonal matrices having zeros in main skew diagonal and units in the neighbouring diagonals. In 2010, the general expression for the entries of the power of odd order antitridiagonal matrices with zeros in main skew diagonal and elements ; in neighbouring diagonals is derived by Rimas [5]. In 2013, Rimas [6] gave the eigenvalue decomposition for real odd order skew-persymmetric antitridiagonal matrices with constant antidiagonals () and derived the general expression for integer powers of such matrices.

In the present paper, we derive a general expression for the th power of any complex persymmetric antitridiagonal matrices with constant antidiagonals (). This novel expression is both an extension of the one obtained by Rimas for the powers of the matrix with (see [2] for the odd case and [5] for the even case) and an extension of the one obtained by Honglin Wu for the powers of the matrix with (see [3] for the even case).

#### 2. Derivation of General Expression

In this present paper, we study the entries of positive integer power of an complex persymmetric antitridiagonal matrix with constant antidiagonals as follows: where , .

Consider the following complex Toeplitz tridiagonal matrix:

The next trivial result relates the matrix with and with the backward identity [1]: where is the Kronecker delta.

Lemma 1. *Let , , and . Then
**
where and .*

*Proof. *We have
This completes the proof.

We will find the th power () of the matrix (1). Theorem 2 relates all positive integer powers of the matrix to and .

Theorem 2. *If , , and and if , then
**
where .*

*Proof. *We will proceed by induction on . The case is obvious.

Suppose that the result is true for and consider case .

By the induction hypothesis we have
Since we obtain that
Since is symmetric and , we have
This completes the proof.

Next, we have to solve .

We begin this work by reviewing a theorem regarding the Hermitian Toeplitz tridiagonal matrix .

Theorem 3. *Let , , and . Then has eigenvalues
*

*Proof. *See [7].

*With the tridiagonal matrix , we associate the polynomial sequence characterized by a three-term recurrence relation:
*

*With initial conditions and , we can write the relations (11) in matrix form:
where and .*

*Lemma 4. For , the degree of the polynomial is and and has no common root.*

*Proof. *
See [7].

*One can show that the characteristic polynomial of is precisely . Hence the eigenvalues of are exactly the roots of .*

*If are the roots of the polynomial , then it follows from (12) that each is an eigenvalue of the matrix and is a corresponding eigenvector [5, 7, 8]. This observation should be taken into account elsewhere in the paper.*

*The polynomials verify the well-known Christoffel-Darboux Identity.*

*Lemma 5. We have
*

*Proof. *See [7].

*Tending to in formula (13), we get
*

*Since the matrix has distinct eigenvalues , thus, the eigendecomposition of the matrix is
where and is the transforming matrix formed by the eigenvectors of . Namely, , where are defined as above.*

*Lemma 6. If , then
*

*Proof. *By using the relations (13) and (14), we obtain
where if and if .

This completes the proof.

*For , we have .*

*We get immediately the following.*

*Theorem 7. Assume that and . Then
By using the Cauchy Integral Formula, we can give another expressions of the coefficients as follows:
where is a closed curve containing the roots of and no roots of .*

*Corollary 8. If the matrix is nonsingular with , then
By using the Cauchy Integral Formula, we can give other expressions of the coefficients :
where is a closed curve containing the roots of and no roots of .*

*Theorem 9. Assume that and . Then
By using the Cauchy Integral Formula, we can give other expressions of the coefficients :
where is a closed curve containing the roots of and no roots of .*

*Proof. *From Theorem 2 we get
Namely,
From Theorem 7 it follows that
By using the Cauchy Integral Formula, we can give other expressions of the coefficients :
This completes the proof.

*Corollary 10. Assume that and . Then
By using the Cauchy Integral Formula, we can give other expressions of the coefficients :
where is a closed curve containing the roots of and no roots of .*

*3. Numerical Examples*

*3. Numerical Examples*

*Consider the order antitridiagonal matrix of the following type:
Assume that
where and are matrix. The polynomial sequence verifies
with initial conditions and .*

*By simple calculation we can show that
where are the Chebyshev polynomials [8] of the second kind which satisfies the three-term recurrence relations:
with initial conditions and .*

*Each satisfies
and thus the roots of are , . Then, the eigenvalues of are
*

*We get by Theorem 7 the following.*

*Assume that and . Then
*

*If the matrix is nonsingular and , then
*

*We can obtain the following:
*

*Theorem 11. Consider an odd natural number , . Let and for every . Then
for all and , , where
are the eigenvalues of the matrix and is the th degree Chebyshev polynomial of the second kind.*

*Theorem 12. Consider an even natural number , . Let and for every . Then
for all and , , where
For even order matrix B the following condition is fulfilled: . This means that even order matrix is nonsingular (its determinant is not equal to zero) and derived expression of can be applied for computing negative integer powers, as well. Taking , we get the following expression for elements of the inverse matrix :
*

*Theorem 13. Consider an even natural number , . Let and , . Then
*

*4. Conclusion and Discussion*

*4. Conclusion and Discussion**In this paper, we derive a general expression for the th power of any complex persymmetric antitridiagonal Hankel (constant antidiagonals) matrices with constant antidiagonals (). This novel expression is both an extension of the one obtained by Rimas for the powers of the matrix with (see [2] for the odd case and [5] for the even case) and an extension of the one obtained by Honglin Wu for the powers of the matrix with (see [3] for the even case). We may safely draw the conclusion that our results generalize the results in the related literature [2, 3, 5].*

*Conflict of Interests*

*Conflict of Interests**The author declares that there is no conflict of interests regarding the publication of this paper.*

*Acknowledgment*

*Acknowledgment**The author is indebted to the referee for various helpful comments in this paper.*

*References*

*References*

- J. Gutiérrez-Gutiérrez, “Powers of complex persymmetric or skew-persymmetric anti-tridiagonal matrices with constant anti-diagonals,”
*Applied Mathematics and Computation*, vol. 217, no. 13, pp. 6125–6132, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Rimas, “On computing of arbitrary positive integer powers for one type of symmetric anti-tridiagonal matrices of odd order,”
*Applied Mathematics and Computation*, vol. 203, no. 2, pp. 573–581, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. Wu, “On computing of arbitrary positive powers for one type of anti-tridiagonal matrices of even order,”
*Applied Mathematics and Computation*, vol. 217, no. 6, pp. 2750–2756, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q. Yin, “On computing of arbitrary positive powers for anti-tridiagonal matrices of even order,”
*Applied Mathematics and Computation*, vol. 203, no. 1, pp. 252–257, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Rimas, “On computing of arbitrary positive integer powers of odd order anti-tridiagonal matrices with zeros in main skew diagonal and elements $1,1,1,\cdots ,1$; $-1,-1,-1,\cdots ,-1$ in neighbouring diagonals,”
*Applied Mathematics and Computation*, vol. 210, no. 1, pp. 64–71, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Rimas, “Integer powers of real odd order skew-persymmetric anti-tridiagonal matrices with constant anti-diagonals (antitridiag
_{n}$(a,c,-a),a\in R\backslash \{0\},c\in R$,”*Applied Mathematics and Computation*, vol. 219, no. 12, pp. 7075–7088, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - R. A. Horn and C. R. Johnson,
*Matrix Analysis*, Cambridge University Press, New York, NY, USA, 1990. View at MathSciNet - L. Fox and I. B. Parker,
*Chebyshev Polynomials in Numerical Analysis*, Oxford University Press, London, UK, 1968. View at MathSciNet

*
*