A straightforward proof of the polynomial factorization of a positive semi-definite polynomial matrix (Q2249734): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q195431 |
Changed an Item |
||
Property / author | |||
Property / author: Jacob W. van der Woude / rank | |||
Normal rank |
Revision as of 23:12, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A straightforward proof of the polynomial factorization of a positive semi-definite polynomial matrix |
scientific article |
Statements
A straightforward proof of the polynomial factorization of a positive semi-definite polynomial matrix (English)
0 references
3 July 2014
0 references
A polynomial matrix \(P(x)=\sum_{i=1}^nP_ix^i\), where \(P_i\in\mathbb{C}^{n\times n}\), is called semidefinite if \(P(x)=P^*(x)\) and \(v^*P(x)v\) is non-negative for every \(x\in\mathbb{R}\) and \(v\in \mathbb{C}^n\). It is a well-known theorem that every positive semidefinite polynomial matrices with complex (real) coefficients can be written as a product of a polynomial matrix with complex (real) coefficients and its conjugate transpose. The author of this paper presents an elementary proof of this theorem. The complex case is proved first and the real case is concluded from the complex one.
0 references
polynomial semidefinite matrix
0 references
polynomial factorization
0 references