The principal axis theorem for holomorphic functions
analytic family of matricesanalytic perturbation theorydiagonalizationgerms of analytic functionsHensel's Lemmanormal matrixPrincipal Axis Theoremreal closed fieldRellich's theoremvaluation
Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Valued fields (12J10) Canonical forms, reductions, classification (15A21) Matrices over function rings in one or more variables (15A54) Matrices over special rings (quaternions, finite fields, etc.) (15B33) Hermitian, skew-Hermitian, and related matrices (15B57)
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.
- Rellich's perturbation theorem on Hermitian matrices of holomorphic functions
- Normal matrices over Hermitian discrete valuation rings
- Multiparameter perturbation theory of matrices and linear operators
- Matrices over differential fields which commute with their derivative
- On the Rellich eigendecomposition of para-Hermitian matrices and the sign characteristics of -palindromic matrix polynomials
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)