The principal axis theorem for holomorphic functions

From MaRDI portal





Rellich's theorem says: Near \(z=0\), an analytic family of matrices \(A(z)\) which is normal (Hermitian) for \(z\in\mathbb{R}\) can be diagonalized by a family of matrices \(U(z)\) which is unitary for real \(z\). The aim of the paper is to give an algebraic proof of this theorem. The authors prove the following theorem: Let \(K\) be a field with valuation \(v\) such that its residue class field is an intersection of real closed fields and let the unique extension \(v'\) of \(v\) to \(K(i)\) be Henselian. Then for any normal matrix \(A\) over \(K(i)\) there exists a unitary matrix \(U\) over \(K(i)\) such that \(U^*AU\) is diagonal. The authors point out that to get Rellich's theorem it is sufficient to take \(K\) as the field of convergent Laurent series with real coefficients.











This page was built for publication: The principal axis theorem for holomorphic functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4699517)