Skip to main content
2 of 5
added 59 characters in body
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651

A proof of $$\lambda_n(B)\,{\rm tr}\,A\leq {\rm tr}\,(AB)\leq\lambda_1(B)\,{\rm tr}\,A$$ where $\lambda_n$ is the $n$-th largest eigenvalue of $B$ so $||B||=\lambda_1(B)$ and $A$, $B$ are positive semidefinite, is given in D.L. Kleinman and M. Athans, "The design of suboptimal linear time-varying systems" (1968). The inequality still holds for $B$ real symmetric and $A$ positive semidefinite, as proven in S.D. Wang, T.S. Kuo, and H.F. Hsu, "Trace bounds on the solution of the algebraic matrix Riccati and Lyapunov equation" (1986).

Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651