Download On Positive Integer Powers of Toeplitz Matrices

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Matrix completion wikipedia , lookup

Linear least squares (mathematics) wikipedia , lookup

Symmetric cone wikipedia , lookup

Capelli's identity wikipedia , lookup

System of linear equations wikipedia , lookup

Rotation matrix wikipedia , lookup

Eigenvalues and eigenvectors wikipedia , lookup

Jordan normal form wikipedia , lookup

Determinant wikipedia , lookup

Four-vector wikipedia , lookup

Singular-value decomposition wikipedia , lookup

Non-negative matrix factorization wikipedia , lookup

Gaussian elimination wikipedia , lookup

Matrix (mathematics) wikipedia , lookup

Matrix calculus wikipedia , lookup

Orthogonal matrix wikipedia , lookup

Perron–Frobenius theorem wikipedia , lookup

Cayley–Hamilton theorem wikipedia , lookup

Matrix multiplication wikipedia , lookup

Transcript
Journal of Mathematics Research; Vol. 5, No. 4; 2013
ISSN 1916-9795 E-ISSN 1916-9809
Published by Canadian Center of Science and Education
On Positive Integer Powers of Toeplitz Matrices
Honglin Wu1
1
Department of Mathematics, Shanghai Business School, Shanghai, P. R. China
Correspondence: Honglin Wu, Department of Mathematics, Shanghai Business School, 123 Fengpu Ave., Fengxian District, Shanghai 201400, P. R. China. E-mail: [email protected]
Received: October 8, 2013
doi:10.5539/jmr.v5n4p52
Accepted: October 30, 2013
Online Published: November 14, 2013
URL: http://dx.doi.org/10.5539/jmr.v5n4p52
The research is supported by Excellent Young Teacher Foundation of Shanghai (sxy10004) and by Foundations of
Shanghai Business School for teachers with a Doctor’s degree, A-0201-00-050-205, BN2154-3-1
Abstract
In this paper, we restate a necessary and sufficient condition for all positive integer powers of a Toeplitz matrix to
be still Toeplitz matrices which was ever studied by T. N. E. Greville (1983) and Tamir Shalom (1987), and our
new proof is clear and self-contained. We also derive some identities involving the entries of the Toeplitz matrix
and those of its positive integer powers in case that the powers are still Toeplitz matrices.
Keywords: Toeplitz matrix, positive integer power, main diagonal, upper-rth diagonal, lower-rth diagonal
AMS Subject Classifications: 15A23, 05B20, 65F99
1. Introduction
A Toeplitz matrix is an n × n matrix A = (ai j ) where ai j = a j−i , i.e., a matrix of the form
⎛
⎜⎜⎜ a0
⎜⎜⎜ a
⎜⎜⎜ −1
⎜⎜
A = ⎜⎜⎜⎜⎜ a−2
⎜⎜⎜ .
⎜⎜⎜ ..
⎜⎝
a−n+1
a1
a0
a2
a1
a−1
..
.
a0
..
.
a−n+2
···
···
···
..
.
..
.
a−1
an−1
an−2
..
.
a1
a0
⎞
⎟⎟⎟
⎟⎟⎟
⎟⎟⎟
⎟⎟⎟
⎟⎟⎟ ,
⎟⎟⎟
⎟⎟⎟
⎟⎟⎠
where a−n+1 , a−n+2 , . . . , a−1 , a0 , a1 , a2 , . . . , an−1 ∈ C. The entries of A are constant down the diagonals parallel to
the main diagonal. Toeplitz matrix arises in scientific computing and engineering, for example, image processing,
numerical differential equations and integral equations, time series analysis and control theory (see Chan & Ng,
1996; Gray, 2006; Horn & Johnson, 1985; Kailath & Sayed, 1995). A great deal is known about the behavior of
such matrices–the most common and complete references being Grenander and Szegö (1958). A more recent text
devoted to the subject is Böttcher and Silbermann (1999).
For an n × n matrix A = (ai j ), we call the diagonal parallel to the main diagonal which has the entries ai,i+r (i =
1, 2, . . . , n − r) the upper-rth diagonal for r = 1, 2, . . . , n − 1, and call the diagonal parallel to the main diagonal
which has the entries ai,i−r (i = r + 1, r + 2 . . . , n) the lower-rth diagonal for r = 1, 2, . . . , n − 1. Given an n × n
Toeplitz matrix A = (ai j ) = (a j−i ), the upper-rth diagonal has the constant entry ar , and the lower-rth diagonal has
the constant entry a−r for r = 1, 2, . . . , n − 1.
Notice that the positive integer powers of Toeplitz matrices are not necessarily Toeplitz matrices. However, we
can still find a great deal of Toeplitz matrices whose positive integer powers are Toeplitz matrices, for example,
circulant matrices. So what additional conditions do those kinds of Toeplitz matrices have? In section 2, we restate
a necessary and sufficient condition for Toeplitz matrices to have Toeplitz positive integer powers which was ever
studied before. Moreover, we also get some additional results about this problem In section 3, we give some
examples to interpret our result.
52
www.ccsenet.org/jmr
Journal of Mathematics Research
Vol. 5, No. 4; 2013
2. Main Results
T. N. E. Greville obtained a criterion for a nonsingular Toeplitz matrix to have a Toeplitz inverse in 1983 (see
Greville, 1983). In 1987, Tamir Shalom derived an equivalent necessary and sufficient condition for a nonsingular
Toeplitz matrix to have a Toeplitz inverse, and proved that the statement “All positive powers of a nonsingular
Toeplitz matrix are Toeplitz matrices” is equivalent to the statement “The inverse of a nonsingular Toeplitz matrix
is a Toeplitz matrix” (see Shalom, 1987). We restate the necessary and sufficient condition for Toeplitz matrices to
have Toeplitz positive integer powers and give a new proof.
Obviously, any power of a Toeplitz matrix of order n = 1 is naturally a Toeplitz matrix, and any power of a
scalar matrix which is a diagonal matrix whose diagonal elements are the same scalar is also a scalar matrix that
is naturally a Toeplitz matrix. So we only need to consider Toeplitz matrices of order n ≥ 2 which are not scalar
matrices in the following. Now we derive an important result for the product of two Toeplitz matrices which are not
scalar matrices to be still a Toeplitz matrix, and obtain some connections between the entries of the two Toeplitz
matrices and those of their product.
Lemma 1 Let A = (a j−i )ni, j=1 , B = (b j−i )ni, j=1 be Toeplitz matrices which are not scalar matrices, n ≥ 2. If
ai b j−n = ai−n b j for i, j = 1, . . . , n − 1, then the product AB is also a Toeplitz matrix. Furthermore, if we let
AB = C = (c j−i )ni, j=1 , then ci a j−n = ci−n a j and ci b j−n = ci−n b j for i, j = 1, . . . , n − 1.
Proof. Suppose A = (ai j )ni, j=1 = (a j−i )ni, j=1 , B = (bi j )ni, j=1 = (b j−i )ni, j=1 are Toeplitz matrices which are not scalar
n
n
matrices, and AB = C = (ci j )ni, j=1 . Then ci j =
ai,p b p, j =
a p−i b j−p for 1 ≤ i, j ≤ n. Thus, for r = 1, 2, . . . , n−1,
p=1
p=1
the entries of C down the upper-rth diagonal are
ci,i+r =
n
n−i
a p−i bi+r−p =
p=1
aq br−q , i = 1, · · · , n − r;
q=1−i
the entries of C down the lower-(n − r)th diagonal are
ci,i+r−n =
n
n−i
a p−i bi+r−n−p =
p=1
aq br−n−q , i = n − r + 1, · · · , n.
q=1−i
And the entries of C on the main diagonal are
ci,i =
n
n−i
a p−i bi−p =
p=1
aq b−q , i = 1, 2, · · · , n.
q=1−i
Now we assume ai b j−n = ai−n b j for i, j = 1, . . . , n − 1.
Case (I) ai ai−n = 0 for any i = 1, . . . , n − 1.
Then for any j = 1, . . . , n − 1, we have 0 = ai b j−n ai−n b j = a2i b2j−n = a2i−n b2j . That is, ai b j−n = ai−n b j = 0 for any
i, j = 1, . . . , n − 1.
Subcase (I) There exists an i0 (1 ≤ i0 ≤ n − 1) such that ai0 = 0 and ai0 −n 0.
Since ai0 −n b j = ai0 b j−n = 0, we have b j = 0 ( j = 1, . . . , n − 1), i.e., B is a lower triangular Toeplitz matrix.
Considering that B is not a scalar matrix, so there exists an j0 (1 ≤ j0 ≤ n − 1) such that b j0 −n 0. Then
ai = 0 (i = 1, . . . , n − 1) since ai b j0 −n = ai−n b j0 = 0, i.e., A is also a lower triangular Toeplitz matrix. Thus we only
need to show that the lemma holds for the case in which A and B are both lower triangular Toeplitz matrices. Note
that, for r = 1, 2, . . . , n − 1, the entries of C down the upper-rth diagonal are
ci,i+r =
n−i
aq br−q = 0, i = 1, · · · , n − r;
q=1−i
the entries of C down the lower-(n − r)th diagonal are
ci,i+r−n =
n−i
aq br−n−q =
0
q=r−n
q=1−i
53
aq br−n−q ,
www.ccsenet.org/jmr
Journal of Mathematics Research
Vol. 5, No. 4; 2013
for all i = n − r + 1, · · · , n. And the entries of C on the main diagonal are
ci,i =
n−i
aq b−q = a0 b0 , i = 1, 2, · · · , n.
q=1−i
Thus, C = AB is also a lower triangular Toeplitz matrix. Furthermore, if we let AB = C = (c j−i )ni, j=1 , then
ci a j−n = 0 = ci−n a j and ci b j−n = 0 = ci−n b j for i, j = 1, . . . , n − 1.
Subcase (II) There exists an i0 (1 ≤ i0 ≤ n − 1) such that ai0 0 and ai0 −n = 0.
This subcase can be proved similarly to Subcase (I). In fact, A and B are both upper triangular Toeplitz matrices in
this subcase.
Case (II) bi bi−n = 0 for any i = 1, . . . , n − 1.
This case can be proved similarly to Case (I).
Case (III) There exist p, q (1 ≤ p, q ≤ n − 1) such that a p a p−n 0 and bq bq−n 0.
Considering that bi a p−n b j−n a p = bi−n a p b j a p−n and ai bq−n a j−n bq = ai−n bq a j bq−n for i, j = 1, . . . , n − 1, we have
bi b j−n = bi−n b j and ai a j−n = ai−n a j for i, j = 1, . . . , n − 1.
Since ai b j−n = ai−n b j for i, j = 1, . . . , n − 1, we get equations for r = 0, 1, 2, · · · , n − 2:
an−1 br−n+1
an−2 br−n+2
=
=
a−1 br+1 ,
a−2 br+2 ,
ar+1 b−1
···
=
ar−n+1 bn−1 .
Hence,
n−2
aq br−q + an−1 br−n+1
=
a−1 br+1 +
n−2
q=0
q=0
n−3
n−3
aq br−q + an−2 br−n+2
q=−1
r
=
a−2 br+2 +
aq br−q ,
aq br−q ,
q=−1
···
···
···
aq br−q + ar+1 b−1
=
ar−n+1 bn−1 +
q=r−n+2
r
aq br−q .
q=r−n+2
That is,
c1,1+r =
n−1
=
aq br−q
q=0
c2,2+r =
n−2
q=−1
cn−r−1,n−1 =
r+1
n−2
aq br−q = c2,2+r ,
q=−1
=
aq br−q
···
···
aq br−q
=
q=r−n+2
n−3
aq br−q = c3,3+r ,
q=−2
···
r
aq br−q = cn−r,n .
q=r−n+1
Therefore, the entries down the upper-rth diagonal of C are equal for r = 1, 2, . . . , n − 1 and the entries on the main
diagonal of C are also equal.
Similarly, we get equations for r = 2, 3, · · · , n − 1 (suppose n ≥ 3 now without loss of generality since it is not
necessary to prove the case n = 2 here):
ar−1 b1−n
=
ar−n−1 b1 ,
ar−2 b2−n
=
···
=
ar−n−2 b2 ,
a1 br−n−1
54
a1−n br−1 .
www.ccsenet.org/jmr
Journal of Mathematics Research
Vol. 5, No. 4; 2013
So
r−2
aq br−n−q + ar−1 b1−n
=
q=r−n
r−3
aq br−n−q ,
q=r−n
aq br−n−q + ar−2 b2−n
q=r−n−1
0
r−2
ar−n−1 b1 +
=
r−3
ar−n−2 b2 +
aq br−n−q ,
q=r−n−1
···
···
···
aq br−n−q + a1 br−n−1
=
a1−n br−1 +
q=2−n
0
aq br−n−q .
q=2−n
That is,
r−1
cn−r+1,1 =
aq br−n−q
=
q=r−n
r−2
cn−r+2,2 =
q=r−n−1
cn−1,r−1 =
aq br−n−q = cn−r+2,2 ,
q=r−n−1
aq br−n−q
1
r−2
=
···
···
aq br−n−q
=
q=2−n
r−3
aq br−n−q = cn−r+3,3 ,
q=r−n−2
···
0
aq br−n−q = cn,r .
q=1−n
Thus, the entries down the lower-(n − r)th diagonal of C are equal for r = 1, 2, . . . , n − 1.
Therefore, AB is also a Toeplitz matrix. Furthermore, if we let AB = C = (c j−i )ni, j=1 , then
ci = cn−i,n =
i
ci−n = cn−i+1,1 =
i−1
aq bi−n−q = ai−n b0 + a0 bi−n +
Hence,
=
b0 ai a j−n + a0 bi a j−n +
=
b0 ai−n a j + a0 bi−n a j +
=
b0 ai b j−n + a0 bi b j−n +
=
b0 ai−n b j + a0 bi−n b j +
and
ci b j−n
i−1
aq bi−n−q .
q=i−n+1
q0
q=i−n
ci a j−n
aq bi−q
q=i−n+1
q0
q=i−n+1
and
i−1
aq bi−q = ai b0 + a0 bi +
for any i, j = 1, 2, . . . , n − 1.
i−1
q=i−n+1
q0
i−1
q=i−n+1
q0
i−1
q=i−n+1
q0
i−1
q=i−n+1
q0
aq bi−q a j−n
aq bi−q−n a j = ci−n a j
aq bi−q b j−n
aq bi−q−n b j = ci−n b j
2
Next we obtain a sufficient condition for a Toeplitz matrix to have Toeplitz positive integer powers by the lemma
above, and clarify the connections between the entries of the Toeplitz matrix and those of its positive integer
powers.
55
www.ccsenet.org/jmr
Journal of Mathematics Research
Vol. 5, No. 4; 2013
Lemma 2 Let A = (a j−i )ni, j=1 be a Toeplitz matrix, n ≥ 2. If ai a j−n = ai−n a j for i, j = 1, 2, . . . , n − 1, then Ak
(k)
(k)
is also a Toeplitz matrix for any positive integer k. Furthermore, if we let Ak = (a(k)
j−i ), then ai a j−n = ai−n a j for
i, j = 1, 2, . . . , n − 1.
Proof. If A is a scalar matrix, then the lemma holds naturally. Otherwise, We prove by induction on k. The case
k = 1 holds naturally and the case k = 2 is proved by choosing B = A in Lemma 1.
Now we suppose that the lemma holds for k − 1. Since Ak = AAk−1 , the lemma holds by taking B = Ak−1 in Lemma
1.
2
Now we derive a necessary condition for Toeplitz matrices to have Toeplitz squares.
Lemma 3 Let A = (a j−i )ni, j=1 , and A2 be Toeplitz matrices, n ≥ 2. Then ai a j−n = ai−n a j for i, j = 1, 2, . . . , n − 1.
Proof. Suppose that A = (a j−i )ni, j=1 , A2 = (c j−i )ni, j=1 . Then for r = 1, 2, . . . , n − 2, the entries of A2 down the
upper-rth diagonal are equal:
n−1
aq ar−q =
q=0
n−2
aq ar−q = · · · =
q=−1
r
aq ar−q ;
q=1−n+r
the entries of A2 down the lower-(n − r)th diagonal are equal:
r−1
aq ar−n−q =
q=r−n
r−2
aq ar−n−q = · · · =
q=r−n−1
0
aq ar−n−q .
q=1−n
And the entries of A2 on the main diagonal are also equal:
c0 =
n−1
aq a−q =
q=0
n−2
aq a−q = · · · =
q=−1
0
aq a−q .
q=1−n
Compare both sides of each “=”, we derive (n − 1)2 identities: ai a j−n = ai−n a j for i, j = 1, 2, . . . , n − 1.
2
Finally, our main theorem of this paper can be easily obtained.
Theorem 4 Let A = (a j−i )ni, j=1 be a Toeplitz matrix, n ≥ 2. Then any positive integer power of A is also a Toeplitz
matrix if and only if ai a j−n = ai−n a j for i, j = 1, 2, . . . , n − 1.
2
Proof. The sufficiency is proved by Lemma 2, and the necessity is proved by Lemma 3.
The condition in Theorem 4 can be examined by computer easily, so it is a valuable condition for us to study the
powers of Toeplitz matrices. We note that circulant matrices are well-known examples of such Toeplitz matrices
satisfying the necessary and sufficient condition above.
3. Examples
Now we give some matrices, and compare the powers of them.
⎛
⎜⎜⎜ 1 2 3
⎜⎜⎜ 4 1 2
A = ⎜⎜⎜⎜
⎜⎜⎝ 3 4 1
2 3 4
⎛
⎜⎜⎜ 1 2 4
⎜⎜⎜ 4 1 2
B = ⎜⎜⎜⎜
⎜⎜⎝ 2 4 1
1 2 4
⎛
⎜⎜⎜ 1 2 4
⎜⎜⎜ 4 1 2
C = ⎜⎜⎜⎜
⎜⎜⎝ 2 4 1
1 2 4
4
3
2
1
8
4
2
1
0
4
2
1
⎞
⎟⎟⎟
⎟⎟⎟
⎟⎟⎟ ,
⎟⎟⎟⎠
⎛
⎜⎜⎜ 25056
⎜⎜⎜ 24944
A5 = ⎜⎜⎜⎜
⎜⎜⎝ 24928
25072
⎞
⎟⎟⎟
⎟⎟⎟
⎟⎟⎟ ,
⎟⎟⎟
⎠
⎛
⎜⎜⎜ 28361
⎜⎜⎜ 23788
5
B = ⎜⎜⎜⎜
⎜⎜⎝ 20238
17133
⎛
⎜⎜⎜ 10681
⎜⎜⎜ 14668
C 5 = ⎜⎜⎜⎜
⎜⎜⎝ 13214
11997
⎞
⎟⎟⎟
⎟⎟⎟
⎟⎟⎟ ,
⎟⎟⎟⎠
56
25072
25056
24944
24928
24928
25072
25056
24944
24944
24928
25072
25056
34266
28361
23788
20238
40476
34266
28361
23788
47576
40476
34266
28361
11674
16841
14668
13214
12988
18394
16841
14668
9520
12988
11674
10681
⎞
⎟⎟⎟
⎟⎟⎟
⎟⎟⎟
⎟⎟⎟
⎠
⎞
⎟⎟⎟
⎟⎟⎟
⎟⎟⎟
⎟⎟⎟
⎠
⎞
⎟⎟⎟
⎟⎟⎟
⎟⎟⎟
⎟⎟⎟
⎠
www.ccsenet.org/jmr
Journal of Mathematics Research
Vol. 5, No. 4; 2013
The matrix A is a circulant matrix, hence any positive integer power of A, A5 for example, is still a Toeplitz matrix
(a circulant matrix actually) by Theorem 4. The matrices B and C are both Toeplitz matrices, however, B5 is a
Toeplitz matrix while C 5 is no longer a Toeplitz matrix since C = (c j−i )4i, j=1 does not satisfy the conditions in
Theorem 4: c3 c2−4 = 0 × 2 c3−4 c2 = 4 × 4.
Toeplitz matrices have nice properties and great applications in science and industry, there remain many problems
for us to study.
References
Böttcher, A., & Silbermann, B. (1999). Introduction to Large Truncated Toeplitz Matrices. New York, NY:
Springer.
Chan, R., & Ng, M. (1996). Conjugate gradient methods for Toeplitz systems. SIAM Review, 38(3), 427-482.
http://dx.doi.org/10.1137/S0036144594276474
Gray, R. M. (2006). Toeplitz and circulant matrices: A review. Now Pub.
Grenander, U., & Szegö, G. (1958). Toeplitz Forms and Their Applications. Berkeley and Los Angeles: University
of California Press.
Greville, T. N. E. (1983). Toeplitz matrices with Toeplitz inverses. Linear Algebra and its Applications, 55, 877-92.
http://dx.doi.org/10.1016/0024-3795(83)90168-4
Horn, R. A., & Johnson, C. R. (1985). Matrix Analysis. England: Cambridge University Press.
Kailath, T., & Sayed, A. (1995). Displacement structure: theory and applications. SIAM Review, 37(3), 297-386.
http://dx.doi.org/10.1137/1037082
Shalom, T. (1987). On Algebras of Toeplitz Matrices. Linear Algebra and its Applications, 96, 211-226.
http://dx.doi.org/10.1016/0024-3795(87)90345-4
Copyrights
Copyright for this article is retained by the author(s), with first publication rights granted to the journal.
This is an open-access article distributed under the terms and conditions of the Creative Commons Attribution
license (http://creativecommons.org/licenses/by/3.0/).
57