Difference between revisions of "Toeplitz matrix"
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
Ulf Rehmann (talk | contribs) m (Undo revision 48982 by Ulf Rehmann (talk)) Tag: Undo |
||
Line 1: | Line 1: | ||
− | < | + | ''<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t0929502.png" />-matrix'' |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | An infinite matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t0929503.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t0929504.png" /> satisfying the conditions: | |
− | |||
− | + | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t0929505.png" /></td> </tr></table> | |
− | |||
− | + | where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t0929506.png" /> does not depend on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t0929507.png" />; | |
− | |||
− | |||
− | + | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t0929508.png" /></td> </tr></table> | |
− | |||
− | |||
− | |||
− | |||
− | + | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t0929509.png" /></td> </tr></table> | |
− | |||
− | + | These conditions are necessary and sufficient for regularity (cf. [[Regular summation methods|Regular summation methods]]) of the [[Matrix summation method|matrix summation method]] defined by sending a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295010.png" /> to a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295011.png" /> via the matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295012.png" />: | |
− | |||
− | a | ||
− | |||
− | |||
− | + | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295013.png" /></td> </tr></table> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
The necessity and sufficiency of these conditions for regularity were proved by O. Toeplitz in the case of triangular matrices. | The necessity and sufficiency of these conditions for regularity were proved by O. Toeplitz in the case of triangular matrices. | ||
Line 51: | Line 19: | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> O. Toeplitz, ''Prace Mat. Fiz.'' , '''22''' (1911) pp. 113–119</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> G.H. Hardy, "Divergent series" , Clarendon Press (1949)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> R.G. Cooke, "Infinite matrices and sequence spaces" , Macmillan (1950)</TD></TR></table> | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> O. Toeplitz, ''Prace Mat. Fiz.'' , '''22''' (1911) pp. 113–119</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> G.H. Hardy, "Divergent series" , Clarendon Press (1949)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> R.G. Cooke, "Infinite matrices and sequence spaces" , Macmillan (1950)</TD></TR></table> | ||
+ | |||
+ | |||
====Comments==== | ====Comments==== | ||
− | In the literature the term "Toeplitz matrix" is also used for (finite or infinite) matrices | + | In the literature the term "Toeplitz matrix" is also used for (finite or infinite) matrices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295014.png" /> which have the property that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295015.png" /> depends on the difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295016.png" /> only, i.e., <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295017.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295018.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295019.png" />. The material below concerns Toeplitz matrices in this sense. |
− | which have the property that | ||
− | depends on the difference | ||
− | only, i.e., | ||
− | for all | ||
− | and | ||
− | The material below concerns Toeplitz matrices in this sense. | ||
− | Finite Toeplitz matrices have important applications in statistics, signal processing and systems theory. For such matrices there are different algorithms (N. Levison, I. Schur and others) for inversion. The inverse of a finite Toeplitz matrix | + | Finite Toeplitz matrices have important applications in statistics, signal processing and systems theory. For such matrices there are different algorithms (N. Levison, I. Schur and others) for inversion. The inverse of a finite Toeplitz matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295020.png" /> is not Toeplitz, but it is of the following form: |
− | is not Toeplitz, but it is of the following form: | ||
− | + | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295021.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table> | |
− | |||
− | |||
− | + | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295022.png" /></td> </tr></table> | |
− | = | ||
− | |||
− | + | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295023.png" /></td> </tr></table> | |
− | - | ||
− | |||
− | where | + | where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295024.png" /> is assumed to be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295025.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295026.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295027.png" /> are solutions of the following equations: |
− | is assumed to be | ||
− | and | ||
− | and | ||
− | are solutions of the following equations: | ||
− | + | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295028.png" /></td> </tr></table> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | Here | + | Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295029.png" /> is the Kronecker delta. Formula (a1) is known as the Gohberg–Semencul formula (see [[#References|[a4]]]). See [[#References|[a5]]], [[#References|[a6]]] for further development in this direction. |
− | is the Kronecker delta. Formula (a1) is known as the Gohberg–Semencul formula (see [[#References|[a4]]]). See [[#References|[a5]]], [[#References|[a6]]] for further development in this direction. | ||
− | Infinite Toeplitz matrices | + | Infinite Toeplitz matrices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295030.png" /> define an important class of operators on the Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295031.png" /> which may be analyzed in terms of their symbol <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295032.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092950/t09295033.png" />. The theory of these operators is rich and contains inversion theorems (based on factorization of the symbol), Fredholm theorems, explicit formulas for the index in terms of the winding number of the symbol, asymptotic formulas for the determinant of its finite sections, etc. In fact, the infinite Toeplitz matrices form one of the few classes of operators for which explicit inversion formulas are known and they provide one of the first examples of the modern index theory. For the recent literature see [[#References|[a2]]], [[#References|[a3]]], [[#References|[a7]]]. Infinite Toeplitz matrices with matrix entries of which the symbol is rational are of particular interest, and the corresponding operators may be analyzed in terms of methods from mathematical system theory (see [[#References|[a1]]]). |
− | define an important class of operators on the Hilbert space | ||
− | which may be analyzed in terms of their symbol | ||
− | |||
− | The theory of these operators is rich and contains inversion theorems (based on factorization of the symbol), Fredholm theorems, explicit formulas for the index in terms of the winding number of the symbol, asymptotic formulas for the determinant of its finite sections, etc. In fact, the infinite Toeplitz matrices form one of the few classes of operators for which explicit inversion formulas are known and they provide one of the first examples of the modern index theory. For the recent literature see [[#References|[a2]]], [[#References|[a3]]], [[#References|[a7]]]. Infinite Toeplitz matrices with matrix entries of which the symbol is rational are of particular interest, and the corresponding operators may be analyzed in terms of methods from mathematical system theory (see [[#References|[a1]]]). | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> H. Bart, I. Gohberg, M.A. Kaashoek, "Wiener–Hopf integral equations, Toeplitz matrices and linear systems" I. Gohberg (ed.) , ''Toeplitz Centennial'' , Birkhäuser (1982) pp. 85–135</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> A. Böttcher, B. Silbermann, "Analysis of Toeplitz operators" , Springer (1990)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> I.C. [I.Ts. Gokhberg] Gohberg, I.A. Feld'man, "Convolution equations and projection methods for their solution" , ''Transl. Math. Monogr.'' , '''41''' , Amer. Math. Soc. (1974) (Translated from Russian)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> I. [I.Ts. Gokhberg] Gohberg, A.A. Semencul, "On inversion of finite-section Toeplitz matrices and their continuous analogues" ''Mat. Issled. Kishinev'' , '''7''' : 2 (1972) pp. 201–224 (In Russian)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> G. Heinig, K. Rost, "Algebraic methods for Toeplitz-like matrices and operators" , Akademie Verlag (1984)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> T. Kailath, J. Chun, "Generalized Gohberg–Semencul formulas for matrix inversion" H. Dym (ed.) S. Goldberg (ed.) M.A. Kaashoek (ed.) P. Lancaster (ed.) , ''The Gohberg Anniversary Collection'' , '''I''' , Birkhäuser (1989) pp. 231–246</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> N.K. Nikolskii (ed.) , ''Toeplitz operators and spectral function theory'' , Birkhäuser (1989) (Translated from Russian)</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> H. Bart, I. Gohberg, M.A. Kaashoek, "Wiener–Hopf integral equations, Toeplitz matrices and linear systems" I. Gohberg (ed.) , ''Toeplitz Centennial'' , Birkhäuser (1982) pp. 85–135</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> A. Böttcher, B. Silbermann, "Analysis of Toeplitz operators" , Springer (1990)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> I.C. [I.Ts. Gokhberg] Gohberg, I.A. Feld'man, "Convolution equations and projection methods for their solution" , ''Transl. Math. Monogr.'' , '''41''' , Amer. Math. Soc. (1974) (Translated from Russian)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> I. [I.Ts. Gokhberg] Gohberg, A.A. Semencul, "On inversion of finite-section Toeplitz matrices and their continuous analogues" ''Mat. Issled. Kishinev'' , '''7''' : 2 (1972) pp. 201–224 (In Russian)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> G. Heinig, K. Rost, "Algebraic methods for Toeplitz-like matrices and operators" , Akademie Verlag (1984)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> T. Kailath, J. Chun, "Generalized Gohberg–Semencul formulas for matrix inversion" H. Dym (ed.) S. Goldberg (ed.) M.A. Kaashoek (ed.) P. Lancaster (ed.) , ''The Gohberg Anniversary Collection'' , '''I''' , Birkhäuser (1989) pp. 231–246</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> N.K. Nikolskii (ed.) , ''Toeplitz operators and spectral function theory'' , Birkhäuser (1989) (Translated from Russian)</TD></TR></table> |
Revision as of 14:53, 7 June 2020
-matrix
An infinite matrix , satisfying the conditions:
where does not depend on ;
These conditions are necessary and sufficient for regularity (cf. Regular summation methods) of the matrix summation method defined by sending a sequence to a sequence via the matrix :
The necessity and sufficiency of these conditions for regularity were proved by O. Toeplitz in the case of triangular matrices.
References
[1] | O. Toeplitz, Prace Mat. Fiz. , 22 (1911) pp. 113–119 |
[2] | G.H. Hardy, "Divergent series" , Clarendon Press (1949) |
[3] | R.G. Cooke, "Infinite matrices and sequence spaces" , Macmillan (1950) |
Comments
In the literature the term "Toeplitz matrix" is also used for (finite or infinite) matrices which have the property that depends on the difference only, i.e., for all and . The material below concerns Toeplitz matrices in this sense.
Finite Toeplitz matrices have important applications in statistics, signal processing and systems theory. For such matrices there are different algorithms (N. Levison, I. Schur and others) for inversion. The inverse of a finite Toeplitz matrix is not Toeplitz, but it is of the following form:
(a1) |
where is assumed to be , and and are solutions of the following equations:
Here is the Kronecker delta. Formula (a1) is known as the Gohberg–Semencul formula (see [a4]). See [a5], [a6] for further development in this direction.
Infinite Toeplitz matrices define an important class of operators on the Hilbert space which may be analyzed in terms of their symbol , . The theory of these operators is rich and contains inversion theorems (based on factorization of the symbol), Fredholm theorems, explicit formulas for the index in terms of the winding number of the symbol, asymptotic formulas for the determinant of its finite sections, etc. In fact, the infinite Toeplitz matrices form one of the few classes of operators for which explicit inversion formulas are known and they provide one of the first examples of the modern index theory. For the recent literature see [a2], [a3], [a7]. Infinite Toeplitz matrices with matrix entries of which the symbol is rational are of particular interest, and the corresponding operators may be analyzed in terms of methods from mathematical system theory (see [a1]).
References
[a1] | H. Bart, I. Gohberg, M.A. Kaashoek, "Wiener–Hopf integral equations, Toeplitz matrices and linear systems" I. Gohberg (ed.) , Toeplitz Centennial , Birkhäuser (1982) pp. 85–135 |
[a2] | A. Böttcher, B. Silbermann, "Analysis of Toeplitz operators" , Springer (1990) |
[a3] | I.C. [I.Ts. Gokhberg] Gohberg, I.A. Feld'man, "Convolution equations and projection methods for their solution" , Transl. Math. Monogr. , 41 , Amer. Math. Soc. (1974) (Translated from Russian) |
[a4] | I. [I.Ts. Gokhberg] Gohberg, A.A. Semencul, "On inversion of finite-section Toeplitz matrices and their continuous analogues" Mat. Issled. Kishinev , 7 : 2 (1972) pp. 201–224 (In Russian) |
[a5] | G. Heinig, K. Rost, "Algebraic methods for Toeplitz-like matrices and operators" , Akademie Verlag (1984) |
[a6] | T. Kailath, J. Chun, "Generalized Gohberg–Semencul formulas for matrix inversion" H. Dym (ed.) S. Goldberg (ed.) M.A. Kaashoek (ed.) P. Lancaster (ed.) , The Gohberg Anniversary Collection , I , Birkhäuser (1989) pp. 231–246 |
[a7] | N.K. Nikolskii (ed.) , Toeplitz operators and spectral function theory , Birkhäuser (1989) (Translated from Russian) |
Toeplitz matrix. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Toeplitz_matrix&oldid=49469