21.06.2014 Views

Numerical Methods Contents - SAM

Numerical Methods Contents - SAM

Numerical Methods Contents - SAM

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Evident: symmetry of à − bbT<br />

a 11<br />

∈ R n−1,n−1<br />

As A s.p.d. (→ Def. 2.7.1), for every y ∈ R n−1 \ {0}<br />

( ) T (a11<br />

0 <<br />

− bT y b T ) ( )<br />

a − bT y<br />

11<br />

y b Ã<br />

a 11<br />

y<br />

à − bbT<br />

a 11<br />

positive definite.<br />

The proof can also be based on the identities<br />

( )<br />

(A)1:n−1,1:n−1 (A) 1:n−1,n<br />

=<br />

(A) n,1:n−1 (A) n,n<br />

= y T (Ã − bbT<br />

a 11<br />

)y .<br />

( L1 0<br />

l T 1<br />

✷<br />

)( )<br />

U1 u<br />

, (2.6.4)<br />

0 γ<br />

⇒ (A) 1:n−1,1:n−1 = L 1 U 1 , L 1 u = (A) 1:n−1,n , U T 1 l = (A)T n,1:n−1 , lT u + γ = (A) n,n ,<br />

noticing that the principal minor (A) 1:n−1,1:n−1 is also s.p.d. This allows a simple induction argument.<br />

Note: no pivoting required (→ Sect. 2.3)<br />

(partial pivoting always picks current pivot row)<br />

Ôº½ ¾º<br />

Code 2.7.3: simple Cholesky factorization<br />

1 function R = c h o l f a c (A)<br />

2 % simple Cholesky factorization<br />

3 n = size (A, 1 ) ;<br />

4 for k = 1 : n<br />

5 for j =k +1:n<br />

6 A( j , j : n ) = A( j , j : n ) −<br />

A( k , j : n ) ∗A( k , j ) /A( k , k ) ;<br />

7 end<br />

8 A( k , k : n ) =<br />

A( k , k : n ) / sqrt (A( k , k ) ) ;<br />

9 end<br />

10 R = t r i u (A) ;<br />

MATLAB function:<br />

★<br />

✧<br />

Computational costs (#<br />

elementary arithmetic operations) of Cholesky<br />

decomposition:<br />

1<br />

6 n3 + O(n 2 )<br />

(➣ half the costs of LU-factorization,<br />

R = chol(A)<br />

Code. 2.2.1)<br />

Solving LSE with s.p.d. system matrix via Cholesky decomposition + forward &<br />

backward substitution is numerically stable (→ Def. 2.5.5)<br />

Recall Thm. 2.5.7: <strong>Numerical</strong> instability of Gaussian elimination (with any kind of pivoting) manifests<br />

itself in massive growth of the entries of intermediate elimination matrices A (k) .<br />

✥<br />

✦<br />

Ôº½ ¾º<br />

✬<br />

Lemma 2.7.6 (Cholesky decomposition for s.p.d. matrices).<br />

For any s.p.d. A ∈ K n,n , n ∈ N, there is a unique upper triangular matrix R ∈ K n,n with<br />

r ii > 0, i = 1, ...,n, such that A = R H R (Cholesky decomposition).<br />

✫<br />

Thm. 2.7.5 ⇒ A = LU (unique LU-decomposition of A, Lemma 2.2.3)<br />

A = LDŨ , D ˆ= diagonal of U ,<br />

Ũ ˆ= normalized upper triangular matrix → Def. 2.2.1<br />

Due to uniqueness of LU-decomposition<br />

with unique L, D (diagonal matrix)<br />

A = A T ⇒ U = DL T ⇒ A = LDL T ,<br />

✩<br />

✪<br />

Use the relationship between LU-factorization and Cholesky decomposition, which tells us that we<br />

only have to monitor the growth of entries of intermediate upper triangular “Cholesky factorization<br />

matrices” A = (R (k) ) H R (k) .<br />

Consider: Euclidean vector norm/matrix norm (→ Def. 2.5.2) ‖·‖ 2<br />

➤<br />

A = R H R ⇒ ‖A‖ 2 = sup x H R H Rx = sup (Rx) H (Rx) = ‖R‖ 2 2 .<br />

‖x‖ 2 =1<br />

‖x‖ 2 =1<br />

∥<br />

For all intermediate Cholesky factorization matrices holds: ∥(R (k) ) H∥ ∥ ∥ ∥2 = ∥R (k)∥ ∥ ∥2 = ‖A‖ 1/2<br />

2<br />

This rules out a blowup of entries of the R (k) .<br />

x T Ax > 0 ∀x ≠ 0 ⇒ y T Dy > 0 ∀y ≠ 0 .<br />

➤ D has positive diagonal ➨ R = √ DL T . ✷<br />

Ôº½ ¾º<br />

✬<br />

Lemma 2.7.7 (LU-factorization of diagonally dominant matrices).<br />

⎧<br />

⎨<br />

A has LU-factorization<br />

regular, diagonally dominant<br />

A ⇔<br />

⇕<br />

with positive diagonal ⎩<br />

Gaussian elimination feasible without pivoting (∗)<br />

Ôº½ ¾º<br />

✫<br />

✪<br />

(∗): partial pivoting & diagonally dominant matrices ➣ no row permutations !<br />

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

Saved successfully!

Ooh no, something went wrong!