Einführung in die Numerische Mathematik - Lehrstuhl Numerische ...
Einführung in die Numerische Mathematik - Lehrstuhl Numerische ...
Einführung in die Numerische Mathematik - Lehrstuhl Numerische ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
4.2 Lösungsmethoden für l<strong>in</strong>eare Gleichungssysteme<br />
4.2.3 LR-Zerlegung für diagonaldom<strong>in</strong>ante Matrizen<br />
Satz 4.28 besagt, dass <strong>die</strong> LR-Zerlegung für beliebige reguläre Matrizen mit Pivotierung<br />
möglich ist. Es gibt allerd<strong>in</strong>gs auch viele Matrizen, bei denen <strong>die</strong> LR-Zerlegung ohne<br />
Pivotisierung stabil durchführbar ist. Beispiele hierfür s<strong>in</strong>d positiv def<strong>in</strong>ite oder diagonaldom<strong>in</strong>ante<br />
Matrizen:<br />
Def<strong>in</strong>ition 4.31 (Diagonaldom<strong>in</strong>anz). E<strong>in</strong>e Matrix A ∈ R n×n heißt diagonaldom<strong>in</strong>ant,<br />
falls<br />
|a ii | ≥ ∑ |a ij |, i = 1, . . . , n.<br />
j≠i<br />
E<strong>in</strong>e diagonaldom<strong>in</strong>ante Matrix hat das betragsmäßig größte Element auf der Diagonalen,<br />
bei regulären Matrizen s<strong>in</strong>d <strong>die</strong> Diagonalelemente zudem ungleich Null.<br />
Satz 4.32 (LR-Zerlegung diagonaldom<strong>in</strong>anter Matrizen). Sei A ∈ R n×n e<strong>in</strong>e reguläre,<br />
diagonaldom<strong>in</strong>ante Matrix. Dann ist <strong>die</strong> LR-Zerlegung ohne Pivotierung durchführbar und<br />
alle auftretenden Pivot-Elemente a (i−1)<br />
ii s<strong>in</strong>d von Null verschieden.<br />
Beweis: Wir führen den Beweis über Induktion und zeigen, dass alle Untermatrizen A (i)<br />
kl>i<br />
wieder diagonaldom<strong>in</strong>ant s<strong>in</strong>d. Für e<strong>in</strong>e diagonaldom<strong>in</strong>ante Matrix gilt<br />
|a 11 | ≥ ∑ |a 1j | ≥ 0,<br />
j>1<br />
und da A regulär ist auch zw<strong>in</strong>gend |a 11 | > 0. Der erste Schritt der LR-Zerlegung ist<br />
durchführbar.<br />
Es sei nun A e<strong>in</strong>e reguläre Matrix, wir wollen zeigen, dass <strong>die</strong> Matrix à nach e<strong>in</strong>em<br />
Elim<strong>in</strong>ationsschritt e<strong>in</strong>e diagonaldom<strong>in</strong>ante Untermatrix Ãij>1 hat. Für deren E<strong>in</strong>träge<br />
ã ij gilt:<br />
ã ij = a ij − a i1a 1j<br />
, i, j = 1, . . . , n.<br />
a 11<br />
Also gilt für <strong>die</strong> Untermatrix:<br />
n∑<br />
n∑<br />
i = 2, . . . , n : |ã ij | ≤ |a ij | −|a i1 | + |a i1|<br />
n∑<br />
|a 1j | − |a i1|<br />
|a 11 | |a 11 | |a 1i|<br />
j=2, j≠i<br />
j=1, j≠i<br />
} {{ }<br />
≤|a ii |<br />
Die resultierende Matrix ist wieder diagonaldom<strong>in</strong>ant.<br />
j=2<br />
} {{ }<br />
≤|a 11 |<br />
≤ |a ii | − |a i1|<br />
|a 11 | |a 1i| ≤ |a ii − a i1<br />
a 11<br />
a 1i | = |ã ii |.<br />
Die Def<strong>in</strong>ition der Diagonaldom<strong>in</strong>anz sche<strong>in</strong>t zunächst willkürlich. Es zeigt sich aber, dass<br />
viele Matrizen, <strong>die</strong> <strong>in</strong> Anwendungen, zum Beispiel bei der Diskretisierung von partiellen<br />
Differentialgleichungen auftreten, <strong>die</strong>se Eigenschaft erfüllen. Zudem ist <strong>die</strong> Diagonaldom<strong>in</strong>anz<br />
e<strong>in</strong>er Matrix sehr e<strong>in</strong>fach zu überprüfen und daher e<strong>in</strong> gutes Kriterium um <strong>die</strong><br />
Notwendigkeit der Pivotierung abzuschätzen.<br />
□<br />
131