×

On the dimension of bi-infinite systems. (English) Zbl 0531.15006

In this note the kernel \(K_ A\) of biinfinite banded block Toeplitz matrices \[ \begin{pmatrix} \ldots & 0 & A_0 & A_1 & \ldots & A_ p & \ldots \\ \ldots & 0 & A_0 & A_1 & \ldots & A_ p & \ldots \end{pmatrix} \] is described. To this end an isomorphism between \(K_ A\) and a \({\mathbb{C}}[z]\)-module \(K_ A\) is introduced. It is finitely generated. The theorem in this note states that the following are equivalent: (i) A has full column rank, (ii) dim \(K_ A<\infty\), (iii) \(\bar K_ A\) is a torsion module. Moreover dim \(K_ A\) equals the degree of a characteristic polynomial of A. The theorem generalizes a result of P. W. Smith and H. Wolkowicz [Linear Algebra Appl. 57, 115-130 (1984)].
Reviewer: D.Braess

MSC:

15A18 Eigenvalues, singular values, and eigenvectors
Full Text: DOI

References:

[1] Brand, Louis, Differential and difference equations, (1966) · Zbl 0223.34001
[2] Cavaretta, Jr., A. S.; Dahmen, W. A.; Micchelli, C. A.; Smith, P. W., On the solvability of certain systems of linear difference equations, SIAM J. Math. Anal., 12, 833, (1981) · Zbl 0482.15011 · doi:10.1137/0512069
[3] Smith, P. W.; Wolkowicz, Henry, Dimensionality of bi-infinite systems, Linear Algebra Appl., 57, 115, (1984) · Zbl 0527.15004 · doi:10.1016/0024-3795(84)90181-2
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.