5
$\begingroup$

I've managed to prove that if $A$ and $B$ are positive definite then $AB$ has only positive eigenvalues. To prove $AB$ is positive definite, I also need to prove $(AB)^\ast = AB$ (so $AB$ is Hermitian). Is this statement true? If not, does anyone have a counterexample?

Thanks, Josh

  • 0
    Or generate $n$ orthonormal vectors $u_j$ and $n$ positive numbers $\lambda_j$ and take $\sum_j \lambda_j u_j u_j^T$.2011-09-22

4 Answers 4

9

EDIT: Changed example to use strictly positive definite $A$ and $B$.

To complement the nice answers above, here is a simple explicit counterexample:

$A=\begin{bmatrix}2 & -1\\\\ -1 & 2\end{bmatrix},\qquad B = \begin{bmatrix}10 & 3\\\\ 3 & 1\end{bmatrix}. $ Matrix $A$ has eigenvalues (1,3), while $B$ has eigenvalues (0.09, 10).

Then, we have $AB = \begin{bmatrix} 17 & 5\\\\ -4 & -1\end{bmatrix}$

Now, pick vector $x=[0\ \ 1]^T$, which shows that $x^T(AB)x = -1$, so $AB$ is not positive definite.

  • 0
    hi--I was wondering if you may be able to shed any light on this question https://mathoverflow.net/questions/277545/satisfying-the-following-determinant-inequality that makes use of determinant inequalities? I would be much appreciative. thank you!2017-07-30
5

In general no, because for Hermitian $A$ and $B$, $(AB)^* = AB$ if and only if $A$ and $B$ commute. On the other hand, $ABA$ and $BAB$ can be proven to be positive definite.

3

$AB$ is not necessarily Hermitian (or symmetric).

3

As already noted, $AB$ is not necessarily Hermitian. However, the eigenvalues of $AB$ are all real and in fact positive. Let $\lambda$ be eigenvalue with associated eigenvector $\xi$. Then $AB\xi = \lambda \xi$ and multiplying from the left by $\xi^*B^*$ yields $\xi^*B^*AB\xi=\lambda \xi^*B^*\xi$ and so $\lambda = \frac{\xi^*B^*AB\xi}{\xi^*B^*\xi}$ which is positive since $B^*AB$ is positive-definite.

  • 0
    Stupid question from my side. We can define $y=Bx$, else is straightforward.2018-03-19