Eine numerische und theoretische Methode zum Lösen parametrisierter Gleichungen durch kontinuierliches Verformen eines einfachen Problems mit bekannten Lösungen in das Zielproblem, während Lösungswege verfolgt werden.

Prinzip

Konstruiere eine Homotopie H(x,t), die zwischen einem einfachen Startsystem H(x,0)=0 mit bekannten Lösungen und dem Zielsystem H(x,1)=0 interpoliert, und folge dann den Lösungsbahnen x(t) für t in [0,1].

Demonstration

Lösen eines Systems polynomialer Gleichungen durch Definition eines Startsystems desselben Grades mit bekannten Nullstellen und Verwendung von Prädiktor–Korrektor-Pfadverfolgungsalgorithmen, um jede Wurzelbahn bis zum Zielsystem zu verfolgen.

Fehlanwendung

Das Versäumnis, Pfadsingularitäten oder Bifurkationen zu behandeln, und die Annahme, dass naives Pfadfolgen alle Lösungen liefert; dies kann Lösungen übersehen, die kollidieren oder ins Unendliche entweichen, ohne projektive Behandlung.

Konsequenz

Unter Generizitäts- und Regularitätsbedingungen liefert es alle isolierten Lösungen polynomialer Systeme und bietet robuste globale Löser, wo lokale Methoden (z. B. Newton) ferne Wurzeln nicht finden.

Umkehrung

Direkte lokale Wurzelsuche ohne Fortsetzung, die ausschließlich auf Anfangsschätzungen und lokale Konvergenzgebiete vertraut und daher Lösungen weit von den Startpunkten entfernt übersehen kann.

Abgrenzung

Gilt hauptsächlich für stetige Familien von Problemen (polynomiale oder analytische Systeme) und isolierte endliche Lösungen; gilt nicht direkt für unendlich-dimensionale oder nicht-analytische Probleme ohne Anpassung.

Semantische Spannung

Homotopie-Fortsetzung steht im Gegensatz zur rein symbolischen Eliminierung: Erstere ist numerisch und pfadbasiert und ermöglicht globale Lösungsfindung, während Letztere exakte algebraische Ausdrücke liefert, aber oft rechnerisch unpraktisch ist.

Synthese

Homotopie-Fortsetzung ist die Technik, ein lösbares Startproblem in das Ziel zu verformen und dabei numerisch Lösungsbahnen zu verfolgen, wodurch unter Regularitätsannahmen eine globale Strategie zur Auffindung von Lösungen entsteht.