Andreas Meister. Numerik linearer Gleichungssysteme

Transkript

1 Numerik linearer Gleichungssysteme

2 Numerik linearer Gleichungssysteme Eine Einführung in moderne Verfahren Mit MATLAB -Implementierungen von C. Vömel 4., überarbeitete Auflage STUDIUM

3 Bibliografische Information der Deutschen Nationalbibliothek Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über < abrufbar. Prof. Dr. Universität Kassel FB 10 Mathematik und Naturwissenschaften Heinrich-Plett-Str Kassel 1. Auflage , überarbeitete Auflage , überarbeitete Auflage , überarbeitete Auflage 2011 Alle Rechte vorbehalten Vieweg+Teubner Verlag Springer Fachmedien Wiesbaden GmbH 2011 Lektorat: Ulrike Schmickler-Hirzebruch Barbara Gerlach Vieweg+Teubner Verlag ist eine Marke von Springer Fachmedien. Springer Fachmedien ist Teil der Fachverlagsgruppe Springer Science+Business Media. Das Werk einschließlich aller seiner Teile ist urheberrechtlich ge schützt. Jede Verwertung außerhalb der engen Grenzen des Ur heber rechts ge set zes ist ohne Zustimmung des Verlags unzuläs sig und straf bar. Das gilt ins be sondere für Vervielfältigungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen. Die Wiedergabe von Gebrauchsnamen, Handelsnamen, Warenbezeichnungen usw. in diesem Werk berechtigt auch ohne besondere Kennzeichnung nicht zu der Annahme, dass solche Namen im Sinne der Warenzeichen- und Markenschutz-Gesetzgebung als frei zu betrachten wären und daher von jedermann benutzt werden dürften. Umschlaggestaltung: KünkelLopka Medienentwicklung, Heidelberg Gedruckt auf säurefreiem und chlorfrei gebleichtem Papier Printed in Germany ISBN

4 Für Jonas, Anika, Lara und Jannik

5 vii Vorwort Im Rahmen der Numerik linearer Gleichungssysteme befassen wir uns mit der effizienten Lösung großer, linearer Systeme, wodurch ein wichtiges Teilgebiet der Numerischen Linearen Algebra betrachtet wird, das in den letzten Jahren immer größere Bedeutung gewonnen hat. Der in den vergangenen zwei Dekaden vollzogene drastische Anstieg der Leistungsfähigkeit von Personal Computern, Workstations und Großrechneranlagen hat zu einer weitverbreiteten Entwicklung numerischer Verfahren zur Simulation praxisrelevanter Problemstellungen in der Medizin, der Physik, den Ingenieurwissenschaften und vielen weiteren Bereichen geführt. Neben der Methode der Finiten Elemente, die inhärent auf ein lineares Gleichungssystemführt, benötigen auch die häufig verwendeten Finite-Differenzenund Finite-Volumen-Verfahren in Kombination mit einem impliziten Zeitschrittverfahren einen Algorithmus zur Lösung linearer Gleichungssysteme. So ist es nicht verwunderlich, dass die Forschungsaktivitäten auf dem Gebiet der Gleichungssystemlöser einen deutlichen Aufschwung erfahren und zur Entwicklung einer Vielzahl effizienter Verfahren geführt haben. Das vorliegende Buch basiert auf den Inhalten einer vom Autor am Fachbereich Mathematik der Universität Hamburg gehaltenen vierstündigen Vorlesung, die sich im Kontext der erwähnten Entwicklungen mit der Herleitung und Analyse klassischer sowie moderner Methoden zur Lösung linearer Gleichungssysteme befasste. Aufgrund der in diesem Gebiet vorliegenden Vielzahl unterschiedlicher direkter und iterativer Verfahren, ist es innerhalb einer vierstündigen Vorlesung sicherlich nicht möglich alle existierenden Algorithmen vorzustellen. Ziel dieses Manuskriptes ist es daher, dem interessierten Leser einen Überblick über weite Bereiche dieses Gebietes zu vermitteln, die für praktische Anwendungen wichtigen Methoden zu diskutieren, verwandte Algorithmen durch Bemerkungen und Literaturhinweise zu integrieren und die Erarbeitung weiterer Verfahren zu erleichtern. Die vorausgesetzten Grundkenntnisse beschränken sich hierbei gezielt auf übliche Inhalte der Analysis und linearen Algebra mathematischer Vorlesungen in den ersten zwei Semestern eines Hochschulfaches, da die beschriebenen Methoden weit über die Grenzen eines Mathematikstudiums von großem Interesse sind. Zur Unterstützung eines Selbststudiums werden zudem alle benötigten Grundlagen in einem eigenständigen Kapitel bereitgestellt. Nachdem das Auftreten linearer Gleichungssysteme im ersten Kapitel anhand einiger Modellbeispiele beschrieben wird, stellen wir im zweiten Kapitel die für die folgenden Methoden benötigten Grundlagen der linearen Algebra zur Verfügung. Das dritte Kapitel widmet sich den direkten Verfahren, die häufig in modernen Gleichungssystemlösern involviert sind oder teilweise in unvollständigen Versionen als Vorkonditionierer verwendet werden. Der Schwerpunkt liegt auf der Beschreibung iterativer Verfahren, die im anschließenden vierten Kapitel vorgestellt werden. Hierbei wird stets besonderen Wert auf eine Motivation sowie eine übersichtliche, einheitliche und mathematisch abgesicherte Herleitung der iterativen Gleichungssystemlöser gelegt. Neben den Splitting-Methoden, wie zum Beispiel dem Jacobi- und Gauß-Seidel-Verfahren, der Richardson-Iteration und

6 viii Vorwort den Relaxationsverfahren, beschreiben wir zunächst die Zweigittermethode und anschließend das Mehrgitterverfahren sowie dessen vollständige Variante. Die Herleitung des CG-Verfahrens nehmen wir durch eine Kombination der zuvor beschriebenen Verfahren des steilsten Abstiegs und der konjugierten Richtungen vor. Desweiteren betrachten wir vom GMRES-Verfahren über die BiCG-Methode bis zum QMRCGSTAB-Verfahren eine große Bandbreite moderner Krylov-Unterraum-Methoden, die zur Lösung von Gleichungssystemen mit einer unsymmetrischen und indefiniten Matrix geeignet sind. Das abschließende fünfte Kapitel ist einer ausführlichen Beschreibung und Untersuchung möglicher Präkonditionierungstechniken gewidmet, da die dargestellten Verfahren bei praxisrelevanten Problemstellungen in der Regel erst in Kombination mit einem geeigneten Vorkonditionierer eine stabile und effiziente Gesamtmethode liefern. Die präsentierten Methoden finden ihre Anwendung in unterschiedlichsten numerischen Verfahren, die in verschiedensten Programmiersprachen entwickelt wurden. Daher wurde gezielt eine Darstellung der Algorithmen gewählt, die eine Umsetzung in ein beliebiges Computer Programm ermöglichen, weshalb die Verwendung einer expliziten Programmiersprache vermieden wurde. Viele der präsentierten Verfahren sind bereits in Softwarepaketen wie zum Beispiel LAPACK [3], LINSOL [76], MATLAB [1] und Templates [8] verfügbar. Bedanken möchte ich mich an dieser Stelle bei Frau Monika Jampert, die weite Teile meines handschriftlichen Manuskriptes in ein L A TEX-Skript verwandelt hat und bei Dipl. Math. Dirk Nitschke für seine Unterstützung bei allen L A TEX-Fragen. Zudem gilt mein Dank Dr. Christoph Bäsler, Dipl. Math. Michael Breuss, Martin Ludwig, Christian Nagel, Dipl. Math. Stefanie Schmidt und Dipl. Math. Christof Vömel für das intensive Korrekturlesen und die vielen konstruktiven Hinweise und Bemerkungen, die sich in vielen Bereichen positiv ausgewirkt haben. Besonders bedanken möchte ich mich an dieser Stelle bei Prof. Dr. Thomas Sonar, der durch seine ermutigende Unterstützung und jahrelange fachliche Begleitung wesentlich zur Entstehung dieses Buches beigetragen hat. Hamburg, im September 1999 Vorwort zur zweiten Auflage Innerhalb der zweiten Auflage wurden neben der Korrektur entdeckter Fehler auch textliche Erweiterungen und ergänzende Bemerkungen eingefügt, die hoffentlich eine bessere Lesbarkeit zur Folge haben. Mein Dank gilt hierbei vielen Lesern, die durch zahlreiche Hinweise und konstruktive Kritik wesentlich zur Verbesserung beigetragen haben. Eine zentrale Erweiterung stellen die im ergänzten Anhang aufgeführten MATLAB- Implementierung zu gängigen Krylov-Unterraum-Methoden dar, die von Dr. C. Vömel entwickelt wurden. Für diese hilfreiche Unterstützung möchte ich mich an dieser Stelle recht herzlich bedanken. Durch diese Ergänzung ergibt sich für den interessierten Anwender eine Möglichkeit zur unmittelbaren Nutzung der diskutierten Verfahren, die einen tieferen Einblick in die jeweiligen Eigenschaften der betrachteten Methode im Kontext individueller Problemstellungen eröffnet.

7 Über Kommentare, Verbesserungsvorschläge und Korrekturhinweise, die mir bespielsweise über meine -Adresse zugesendet werden können, würde ich mich sehr freuen. Desweiteren besteht unter ix ein Online-Service zum Buch. Neben aktuellen Informationen und Korrekturhinweisen können dieser Seite auch die angesprochenen MATLAB-Implementierungen entnommen werden. Kassel, im November 2004 Vorwort zur dritten Auflage Neben geringfügigen Korrekturen von Tippfehlern wurden im Rahmen dieser Auflage zahlreiche Übungsaufgaben ergänzt, die sich jeweils am Ende der Kapitel 2 bis 5 befinden. Bei einigen Problemstellungen konnte ich dabei auf Übungen aus meinem eigenen Studium zurückgreifen. Den damaligen Aufgabenstellern gilt daher rückwirkend mein herzlicher Dank. Die zugehörigen Lösungen können dem unter bereitgestellten Online-Service entnommen werden. Hier findet der interessierte Leser zudem Hinweise zu themenbegleitenden Kompaktkursen sowie die im Buch aufgeführten MATLAB-Implementierungen. Kassel, im Oktober 2007 Vorwort zur vierten Auflage Innerhalb dieser Auflage wurde mit dem Verfahren nach Householder eine weitere Möglichkeit zur Berechnung einer QR-Zerlegung aufgenommen. Zudem wurden eine kleine Anzahl an Tippfehler beseitigt und einige Ergänzungen bei den mathematischen Aussagen vorgenommen. Die bereitgestellten Zusatzmaterialien sind unter zu finden. Gedankt sei an dieser Stelle allen aufmerksamen Lesern, die mit konstruktiven Vorschlägen zur besseren Lesbarkeit beigetragen haben. Kassel, im Dezember 2010

8 x Inhaltsverzeichnis 1 Beispiele für das Auftreten linearer Gleichungssysteme 1 2 Grundlagen der linearen Algebra Vektornormen und Skalarprodukt Lineare Operatoren, Matrizen und Matrixnormen Konditionszahl und singulärewerte Der Banachsche Fixpunktsatz Übungsaufgaben Direkte Verfahren Gauß-Elimination Cholesky-Zerlegung QR-Zerlegung Das Gram-Schmidt-Verfahren Die QR-Zerlegung nach Givens Die QR-Zerlegung nach Householder Übungsaufgaben Iterative Verfahren Splitting-Methoden Jacobi-Verfahren Gauß-Seidel-Verfahren Relaxationsverfahren Jacobi-Relaxationsverfahren Gauß-Seidel-Relaxationsverfahren Richardson-Verfahren Symmetrische Splitting-Methoden Mehrgitterverfahren Zweigitterverfahren Der Mehrgitteralgorithmus

9 xi Das vollständige Mehrgitterverfahren Projektionsmethoden und Krylov-Unterraum-Verfahren Verfahren für symmetrische, positiv definite Matrizen Die Methode des steilsten Abstiegs Das Verfahren der konjugierten Richtungen Das Verfahren der konjugierten Gradienten Verfahren für regulärematrizen Der Arnoldi-Algorithmus und die FOM Der Lanczos-Algorithmus und die D-Lanczos-Methode Der Bi-Lanczos-Algorithmus Das GMRES-Verfahren Das BiCG-Verfahren Das CGS-Verfahren Das BiCGSTAB-Verfahren Das TFQMR-Verfahren Das QMRCGSTAB-Verfahren Konvergenzanalysen Übungsaufgaben Präkonditionierer Skalierungen Polynomiale Präkonditioner Splitting-assoziierte Präkonditionierer Die unvollständigelu-zerlegung Die unvollständigecholesky-zerlegung Die unvollständigeqr-zerlegung Die unvollständigefrobenius-inverse Das präkonditionierte CG-Verfahren Das präkonditionierte BiCGSTAB-Verfahren Vergleich der Präkonditionierer Übungsaufgaben A Implementierungen in MATLAB 233 Literaturverzeichnis 246 Index 251