scientific article; zbMATH DE number 1004254
Several properties of the traces and those of the determinants of complex positive definite matrices are presented. If \(\text{Re }XAX^*>0\) (or \(\text{Re }XAX^*\geq 0\)) for \(A\in \mathbb{C}^{n\times n}\) and arbitrary nonzero vectors \(X\in \mathbb{C}^n\), then \(A\) is called a complex positive definite or complex positive semi-definite), and denote it by \(A\in \mathbb{C}_n^>\) (or \(A\in \mathbb{C}_n^\geq\)). The main results are Theorem 1. Let \(A\in \mathbb{C}_n^>\), \(P\in \mathbb{C}^{m\times n}\), then \[ \text{Retr} (PAP^*)\leq \text{tr} (PP^*) \text{Retr}(A). \] Theorem 2. Let \(A\in \mathbb{C}_n^\geq\), \(A=\left[ \begin{smallmatrix} A_{11} &A_{12}\\ A_{21}^* &A_{22} \end{smallmatrix} \right]\), where \(A_{11}\), \(A_{22}\) are the main minors of order \(n_1\) and \(n_2\) respectively of \(A\), then \[ \text{Retr}(A_{11}) \text{Retr}(A_{22})\geq \text{tr} \Biggl[\biggl( \frac{A_{12}+A_{21}}{2} \biggr)\biggl( \frac{A_{12}+A_{21}} {2} \biggr)^* \Biggr]. \] Theorem 3. If \(A= H+S\in \mathbb{C}_n^>\), \(H= (A+A^*)/2\), \(S=(A-A^*)/2i\), \(\alpha\geq 1/n\), \(a\geq 0\), \(b\geq 0\), \(\text{det }H>a^n\), \(|\text{det }S|> b^n\), then \[ [|\text{det } A|^2- (a^2+b^2)^n]^\alpha\geq [(\text{det } H^2-a^{2n}]^\alpha+ [|\text{det }S|^2- b^{2n}]^\alpha. \] Theorem 4. If \(A\in C_0^>\), \(S\) is nonsingular, \(\alpha\geq 1/n\), \(a\geq 0\), \(b\geq 0\), \(\text{det}(H- SH^{-1}S)\leq 1/a^n\), \(|\text{det} (S-HS^{-1}H)|\leq 1/b^n\), then \[ [|\text{det } A|^{-2}- (a^2+b^2)^n]^\alpha\geq \{[\text{det} (H-SH^{-1}S)]^{-2}- a^{2n}\}^\alpha+ \{|\text{det} (S-HS^{-1} H)|^{-2}- b^{2n}\}^\alpha. \]
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3129205)
