一些矩阵不等式的新证明

在本文中，我们给出一些著名矩阵不等式的另证。特别地，我们表明在某些条件下如下不等式成立 \begin{align}\sum \limits_{\lambda_i\in \mathrm{Spec}(ab^{T})}\mathrm{min}\{\log |t-\lambda_i|\}_{[||a||,||b||]}&\leq \# \mathrm{Spec}(ab^T)\log\bigg(\frac{||b||+||a||}{2}\bigg)\nonumber \\&+\frac{1}{||b||-||a||}\sum \limits_{\lambda_i\in \mathrm{Spec}(ab^T)}\log \bigg(1-\frac{2\lambda_i}{||b||+||a||}\bigg).\nonumber \end{align}同样在该条件下，如下不等式也成立\begin{align}\int \limits_{||a||}^{||b||}\log|\mathrm{det}(ab^{T}-tI)|dt&\leq \# \mathrm{Spec}(ab^T)(||b||-||a||)\log\bigg(\frac{||b||+||a||}{2}\bigg)\nonumber \\&+\sum \limits_{\lambda_i\in \mathrm{Spec}(ab^T)}\log \bigg(1-\frac{2\lambda_i}{||b||+||a||}\bigg).\nonumber \end{align}