24.03.2013 Views

Iterative Methods for Sparse Linear Systems Second Edition

Iterative Methods for Sparse Linear Systems Second Edition

Iterative Methods for Sparse Linear Systems Second Edition

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

18 CHAPTER 1. BACKGROUND IN LINEAR ALGEBRA<br />

Theorem 1.9 For any square matrix A, there exists a unitary matrix Q such that<br />

is upper triangular.<br />

Q H AQ = R<br />

Proof. The proof is by induction over the dimension n. The result is trivial <strong>for</strong><br />

n = 1. Assume that it is true <strong>for</strong> n − 1 and consider any matrix A of size n. The<br />

matrix admits at least one eigenvector u that is associated with an eigenvalue λ. Also<br />

assume without loss of generality that u2 = 1. First, complete the vector u into<br />

an orthonormal set, i.e., find an n × (n − 1) matrix V such that the n × n matrix<br />

U = [u, V ] is unitary. Then AU = [λu, AV ] and hence,<br />

U H <br />

uH AU =<br />

V H<br />

<br />

[λu, AV ] =<br />

λ u H AV<br />

0 V H AV<br />

<br />

. (1.29)<br />

Now use the induction hypothesis <strong>for</strong> the (n − 1) × (n − 1) matrix B = V HAV :<br />

There exists an (n − 1) × (n − 1) unitary matrix Q1 such that QH 1 BQ1 = R1 is<br />

upper triangular. Define the n × n matrix<br />

<br />

1 0 ˆQ1 =<br />

0 Q1<br />

and multiply both members of (1.29) by ˆ Q H 1 from the left and ˆ Q1 from the right. The<br />

resulting matrix is clearly upper triangular and this shows that the result is true <strong>for</strong><br />

A, with Q = ˆ Q1U which is a unitary n × n matrix.<br />

A simpler proof that uses the Jordan canonical <strong>for</strong>m and the QR decomposition is the<br />

subject of Exercise 7. Since the matrix R is triangular and similar to A, its diagonal<br />

elements are equal to the eigenvalues of A ordered in a certain manner. In fact, it is<br />

easy to extend the proof of the theorem to show that this factorization can be obtained<br />

with any order <strong>for</strong> the eigenvalues. Despite its simplicity, the above theorem has farreaching<br />

consequences, some of which will be examined in the next section.<br />

It is important to note that <strong>for</strong> any k ≤ n, the subspace spanned by the first k<br />

columns of Q is invariant under A. Indeed, the relation AQ = QR implies that <strong>for</strong><br />

1 ≤ j ≤ k, we have<br />

i=j<br />

Aqj = rijqi.<br />

i=1<br />

If we let Qk = [q1, q2, . . .,qk] and if Rk is the principal leading submatrix of dimension<br />

k of R, the above relation can be rewritten as<br />

AQk = QkRk,<br />

which is known as the partial Schur decomposition of A. The simplest case of this<br />

decomposition is when k = 1, in which case q1 is an eigenvector. The vectors qi are

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!