Premium
On rank invariance of moment matrices of nonnegative Hermitian‐valued Borel measures on the unit circle
Author(s) -
Fritzsche Bernd,
Kirstein Bernd,
Lasarow Andreas
Publication year - 2004
Publication title -
mathematische nachrichten
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.913
H-Index - 50
eISSN - 1522-2616
pISSN - 0025-584X
DOI - 10.1002/mana.200310126
Subject(s) - mathematics , unit circle , rank (graph theory) , hermitian matrix , matrix (chemical analysis) , generalization , unit (ring theory) , sequence (biology) , combinatorics , pure mathematics , measure (data warehouse) , gramian matrix , algebra over a field , discrete mathematics , mathematical analysis , eigenvalues and eigenvectors , materials science , mathematics education , physics , database , quantum mechanics , biology , computer science , composite material , genetics
This paper provides first tools for generalizing the theory of orthogonal rational functions on the unit circle created by Bultheel, González‐Vera, Hendriksen and Njåstad to the matrix case. A crucial part in this generalization is the definition of the spaces of matrix‐valued rational functions for which an orthogonal basis is to be constructed. An important feature of the matrix case is that these spaces will be considered simultaneously as left and right modules over the algebra ℂ q × q . In this modules we will define simultaneously left and right matrix‐valued inner products with the aid of a nonnegative Hermitian‐valued q × q Borel measure on the unit circle. Given a sequence ( α j ) j ∈ℕ of complex numbers located in ℂ\ (especially in “good position” with respect to the unit circle) we will introduce a concept of rank for nonnegative Hermitian‐valued q × q Borel measures on the unit circle which is based on the Gramian matrix of particular rational matrix‐valued functions with prescribed pole structure. A main result of this paper is that this concept of rank is universal. More precisely, it turns out that the rank of a matrix measure does not depend on the given sequence ( α j ) j ∈ℕ . (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)