Eine Klasse numerischer Strategien, die ein globales Rechengebiet in Teilgebiete partitionieren, Randwertprobleme auf diesen Teilgebieten (genau oder approximativ) lösen — gegebenenfalls parallel — und Schnittstellenbedingungen durch Kopplung, Iteration oder Grobgitterkorrekturen durchsetzen, um die globale Lösung zu erhalten.

Prinzip

Großskalige Probleme durch räumliche Partitionierung reduzieren: lokale Lösungen auf Teilgebieten durchführen und über Schnittstellen mittels Übertragungsbedingungen, Lagrange-Multiplikatoren, iterativen Schwarz-Austauschen oder globalen Grobkorrigierungen koordinieren, sodass lokale Berechnungen zu einer konsistenten globalen Lösung zusammengefügt werden.

Demonstration

Lösen einer großen elliptischen PDE auf einem verteilten Rechencluster: Domain in überlappende Teilgebiete aufteilen, auf jedem Knoten das lokale Dirichlet- oder Neumann-Problem mit gegebenen Schnittstellendaten lösen, aktualisierte Schnittstellenspuren mit Nachbarn austauschen (additiver oder multiplikativer Schwarz), iterieren bis Schnittstellenresiduen klein sind, optional ein Grobproblem einbeziehen, um die Konvergenz zu beschleunigen.

Fehlanwendung

Verwendung nicht übereinstimmender Schnittstellendiskretisierungen ohne geeignete Projektion oder Durchsetzung inkompatibler Schnittstellenbedingungen, die Erhaltung oder Stetigkeit verletzen und zu Spurious-Moden, Genauigkeitsverlust oder Divergenz der iterativen Kopplung führen.

Konsequenz

Domain Decomposition liefert skalierbare Löser, die sich für paralleles Rechnen eignen, indem Arbeit und Kommunikation lokalisiert werden; mit geeigneten Übertragungsbedingungen und Grobkorrigierungen erzielt sie netzunabhängige Konvergenz und effiziente Nutzung verteilter Ressourcen.

Umkehrung

Monolithische globale Löseweise: das gesamte global diskretisierte System auf einem Prozessor aufbauen und lösen; obwohl Schnittstelleniterationen entfallen, fehlt es diesem Ansatz oft an paralleler Skalierbarkeit und er kann speicherlimitiert für sehr große Probleme sein.

Abgrenzung

Geltungsbereich: PDEs und Variationsprobleme, bei denen die Domainpartition wesentliche Eigenschaften (Elliptizität, Erhaltung) bewahrt und Schnittstellenoperatoren formuliert und gelöst werden können; ausgeschlossen sind Probleme mit inhärent globaler, nicht trennbarer Physik (stark nichtlokale Kerne) oder Fälle, in denen Kommunikationskosten lokale Lösungszeiten dominieren und die Dekomposition ineffizient macht.

Semantische Spannung

Spannung zwischen Autonomie der Teilgebiete und Kopplung an der Schnittstelle: größere Teilgebiete verringern Schnittstellenaufwand und verbessern lokale Genauigkeit, erhöhen aber Kosten und Speicherbedarf pro Teilgebiet; kleinere Teilgebiete begünstigen Parallelität und Locality, benötigen jedoch mehr Koordination und robuste Übertragungsbedingungen, um globale Genauigkeit und Konvergenz sicherzustellen.

Synthese

Die Domänenzerlegungsmethode ist ein Rahmenwerk, das ein globales Problem in auf Teilgebiete beschränkte lokale Probleme zerlegt, diese lokal löst und über Schnittstellenbedingungen und Iterationen (oder Grobkorrigierungen) koppelt, wodurch große PDE-Systeme parallel und speichereffizient gelöst werden können, während die globale Konsistenz bei sorgfältiger Auslegung erhalten bleibt.