Positive definite quadratic forms proof

[wakko101]

Homework Statement

Given a real symmetric matrix A, prove that:

a) A is positive definite if and only if A = (B^T)B for some real invertible matrix B
b) A is positive semidefinite if and only if there exists a (possibly singular) real matrix Q such that A = (Q^T)Q

Homework Equations

quadratic form q(x) = a1*x1^2 + ... + an*xn^2
And possibly the principal axis theorem.

The Attempt at a Solution

for part a) I think I know how to show that A is pos def if you assume A = (B^T)B:
(P^T)AP = D = (P^T)(B^T)BP = ((PB)^T)PB which implies the diagonal entries of the diagonal matrix D are positive since row of (A^T) = column of A.
I'm not sure how to do it the other way, however. Any hints or advice would be appreciated.

Cheers,
W. =)

 

[jbunniii]

For the "only if" part of (a), do you know a theorem that allows you to express any symmetric matrix in the form

$$A = U^T D U$$

where $U$ is a unitary matrix (in fact, orthogonal since $A$ is real in your case) and $D$ is a diagonal matrix? If $A$ is positive definite, what can you say about the elements of $D$?

Also, I'm not sure I buy your proof of the "if" part. A matrix $A$ is positive definite if for every real vector $x$,

$$x^T A x \geq 0$$

If $A = B^T B$, then what does that imply about $x^T A x$?

 

[wakko101]

I'm not entirely sure this is correct, but I've come up with the following:

If (X^T)AX > 0 then we have (Y^T)DY > 0 (for X = PY and D = (P^T)AP). This implies that the entries on the diagonal matrix D (the eigenvalues) are all positive. So, write D = (Q^T)Q where Q is the diagonal matrix of the square roots of D's elements. Then
D = (Q^T)Q = (P^T)AP = (P^1)AP (since P is orthogonal)
then P(Q^T)Q(P^1) = A
then (PQ)(Q^T)(P^T) (since (Q^T) = Q)
then (PQ)(PQ)^T = A
Take B = (PQ)^T and we have the result.

As for the other part, I don't think I quite finished my reasoning before...if we can show that the assumption requires that D have all positive entries (take them to be a1 to an) then q(v) = a1*xa^2 + ... + an*xn^2 will necessarily be positive. And since D = (PB)^T(PB) then they must be positive because the diagonal entries of D (which are the only ones that are not 0) are the rows of the transpose of PB multiplied by the columns of PB and these are the same vectors.

Cheers,
W. =)