An inertial decomposition and related range results (Q1065895)

Ein System \(\mathcal A =(A_1,\ldots, A_s)\) komplexer \(n\times n\)-Matrizen heißt quasikommutativ, wenn für alle Indextripel \(A_i\) mit \(A_jA_k - A_kA_j\) vertauschbar ist. Ein solches System ist stets simultan auf Dreiecksform transformierbar, so daß auch die Eigenwerte \(\lambda_j^{(i)}\) der \(A_i\) simultan geordnet sind. Weiter sei \(G=(g_{i,j})\) eine feste Hermitesche \(s\times s\)-Matrix, und \(\mathcal H_n\) sei der Raum aller Hermiteschen \(n\times n\)-Matrizen. Durch \(\mathcal T_{\mathcal A,G}(H) = \sum_{i,j} g_{i,j} A_iHA^*\!_ j\) wird dann eine lineare Abbildung \(\mathcal T = \mathcal T_{\mathcal A,G}\colon \mathcal H_n\to \mathcal H_n\) mit Eigenwerten \(\phi_{k,l}=\sum_{i,j}g_{i,j}\lambda_ k^{(i)}\overline{\lambda_l^{(j)}}\) definiert. Die Eigenwerte \(\phi_{k,k}\) sind reell, und In(\(\mathcal A,G)=(\pi,\nu,\delta)\) besteht aus der Anzahl \(\pi\) der positiven, der Anzahl \(\nu\) der negativen und der Anzahl \(\delta\) der verschwindenden dieser Eigenwerte. Unter der Zusatzvoraussetzung, daß \(A_1,\ldots, A_s\) sogar simultan auf eine dieser Aufspaltung entsprechende Block-Diagonalform transformiert werden können, resultiert eine entsprechende Summenzerlegung des \(\mathbb C^n\) in Unterräume \(P_+,P_-\) und \(P_0\). Verff. beweisen in der ersten Arbeit mehrere Kriterien über Erhaltungseigenschaften von \(\mathcal T\) bezüglich der Eigenschaft ,,positiv bzw. negativ definit'' auf \(P_+\) und \(P_-\). Diese Untersuchungen werden in der zweiten Arbeit [Zbl 0577.15009] fortgesetzt. Speziell werden Definitheits- und Semidefinitheitseigenschaften von \(\mathcal T(H)\) bei positiv definitem \(H\) durch In(\(\mathcal A,G)\) ausgedrückt, und mit \(K= \mathcal T(H)\) und den Eigenwerten \(\eta_1\leq\ldots\leq \eta_n\) von \(H^{-1}K\) wird die Ungleichung \(\eta_1\leq \phi_{k,k}\leq \eta_n\) bewiesen. Schließlich wird die Frage untersucht, wann \(K= \mathcal T(H)\) mit positiv definitem \(H\) erfüllbar ist.