proof of theorem for normal matrices


1) (AH=g⁢(A)→A is normal)

Keeping in mind that every matrix commutes with its own powers, let’s compute

A⁢AH=A⁢g⁢(A)=A⁢∑i=0n-1ai⁢Ai=∑i=0n-1ai⁢A⁢Ai=∑i=0n-1ai⁢Ai⁢A=(∑i=0n-1ai⁢Ai)⁢A=g⁢(A)⁢A=AH⁢A

which shows A to be normal.

2) (A is normal →AH=g⁢(A))

Let λ1,λ2,…,λr , 1≤r≤n be the distinct eigenvaluesMathworldPlanetmathPlanetmathPlanetmathPlanetmath of A, and let Λ = d⁢i⁢a⁢g⁢{λ1,λ2,…,λn}; then it’s possible to find a (r-1)-degree polynomial g⁢(t) such that g⁢(λi)=λi∗ 1≤i≤r, solving the r×r linear Vandermonde system:

[1λ1λ12⋯λ1r-11λ2λ22⋯λ2r-1⋮⋮⋮⋮⋮1λr-1λr-12⋯λr-1r-11λrλr2⋯λrr-1]⁢[a0a1a2⋮ar-1]=[λ1∗λ2∗λ3∗⋮λr∗]

Since these r eigenvalues are distinct, the Vandermonde matrixMathworldPlanetmath is full rank, and the linear system admits a unique solution; so a (r-1)-degree polynomial g⁢(t) can be found such that g⁢(λi)=λi∗ 1≤i≤r and therefore g⁢(λi)=λi∗ 1≤i≤n. Writing these equations in matrix form, we have

g⁢(Λ)=Λ∗

By Schur’s decomposition theorem, a unitary matrixMathworldPlanetmath U and an upper triangular matrixMathworldPlanetmath T exist such that

A=U⁢T⁢UH

and since A is normal we have T=Λ.

Let’s evaluate g⁢(A).

g⁢(A)=g⁢(U⁢Λ⁢UH)=∑i=0r-1ai⁢(U⁢Λ⁢UH)i

But, keeping in mind that UH⁢U=I,

(U⁢Λ⁢UH)i=U⁢Λ⁢UH⁢U⁢Λ⁢UH⁢U⁢Λ⁢UH⁢⋯⁢U⁢Λ⁢UH⏞i⁢t⁢i⁢m⁢e⁢s=U⁢Λi⁢UH

and so

g⁢(A) = ∑i=0r-1ai⁢(U⁢Λi⁢UH)
= U⁢(∑i=0r-1ai⁢Λi)⁢UH
= U⁢g⁢(Λ)⁢UH
= U⁢Λ∗⁢UH
= U⁢ΛH⁢UH
= (U⁢Λ⁢UH)H=AH

which is the thesis.

Remark: note that this is a constructive proofMathworldPlanetmath, giving explicitly a way to find g⁢(t) polynomial by solving Vandermonde system in the eigenvalues.

Example:

Let A=12⁢[1+j-1-j1+j1+j] (which is easily checked to be normal),

with  U =12⁢[1-jj-1]. Then σ⁢(A)={1,j} and the Vandermonde system is

[111j]⁢[a0a1]=[1-j]

from which we find

g⁢(t)=(1-j)+j⁢t

A simple calculation yields

g⁢(A)=(1-j)⁢I+j⁢A=12⁢[1-j1-j-1+j1-j]=AH
Title proof of theorem for normal matrices
Canonical name ProofOfTheoremForNormalMatrices
Date of creation 2013-03-22 15:36:36
Last modified on 2013-03-22 15:36:36
Owner Andrea Ambrosio (7332)
Last modified by Andrea Ambrosio (7332)
Numerical id 16
Author Andrea Ambrosio (7332)
Entry type Proof
Classification msc 15A21