On the canonical form of a non-singular pencil of Hermitian matrices. (Q2616626)

Verf. betrachtet nichtsinguläre Scharen von Matrizen \(A+\lambda B\) mit \(|B|\neq 0\), wobei \(A\) und \(B\) gleichzeitig reellsymmetrisch oder hermitesch sind, und lößt für sie das Kongruenzproblem durch Aufstellen von Normalformen. Die Matrix \(K\) führe \(AB^{-1}+\lambda E\) in eine reelle kanonische Form über: \[ K^{-1}(AB^{-1}+\lambda E) K = M + \lambda E. \] Dann gibt es eine nichtsinguläre Matrix \(H\), so daß gilt: \[ H^* (A+\lambda B)H = [Z_{11},\dots, Z_{sk_s}](M+\lambda E). \] Dabei bedeutet \([Z_{11},\dots, Z_{sk_s}]\) eine Matrix gleichen Grades, die in Teilmatrizen \(Z_{11},\dots,Z_{sk_s}\) vollständig zerfällt; jeder dieser Teilmatrizen entspricht genau ein Elementarteiler von \(M+\lambda E\); ist der entsprechende Elementarteiler von \(M+\lambda E\) \((\lambda +\lambda _i)^{\eta _{ij}}\) mit reellem \(\lambda _i\), so ist \(Z_{ij}=\varepsilon _{ij} T\) mit \(\varepsilon _{ij} = \pm 1\); ist der entsprechende Elementarteiler \((\lambda +\lambda _i)^{\eta _{ij}}(\lambda +\overline {\lambda }_i)^{\eta _{ij}}\) mit komplexem \(\lambda _i\), so ist \(Z_{ij}=\begin{pmatrix} 0&1\cr 1&0\end{pmatrix} \times T\). \(T\) bedeutet beiden Fällen die Matrix des entsprechenden Grades, die in der Nebendiagonale Einsen, sonst lauter Nulen besitzt. Tritt nun der Elementarteiler \((\lambda +\lambda _j)^\eta \) mehrmals auf, so bedeute \(\sigma _{ij}\) die Summe über die diesen Elementarteilern entsprechenden \(\varepsilon _{ij}\). Dann ist die notwendige und hinreichende Bedingung dafür, daß die beiden Scharen \(A+\lambda B\) und \(C+\lambda D\) mit \(|B| |D|\neq 0\) kongruent (für reellsymmetrische) bzw. konjunktiv sind (für hermitesche Scharen), das Übereinstimmen der Elementarteiler und der Größen \(\sigma _{ij}\).