Eine auf Homotopie beruhende Existenzmethode, die ein lösbares Problem mit einem Zielproblem durch eine stetige Familie von Problemen parametriert durch t in [0,1] verbindet und dabei auf a priori-Abschätzungen sowie analytische oder topologische Fortsetzung baut, um Lösungen entlang des Pfades zu erhalten.

Prinzip

Man deformiert eine lösbare Gleichung kontinuierlich zum Ziel und erhält dabei gleichmäßige a priori-Abschätzungen sowie Erhalt der Invertierbarkeit (oder Indexkontrolle) der linearisierten Operatoren, sodass Lösungen für alle Parameterwerte bestehen bleiben.

Demonstration

Zur Lösung einer nichtlinearen elliptischen PDG L(u)=N(u) betrachtet man L_t(u)=tN(u)+(1-t)G(u) mit einem linear lösbaren G; durch uniforme Schranken für die Lösungen und Offenheits-/Geschlossenheitsargumente in t wird die Lösbarkeit von t=0 bis t=1 ausgedehnt.

Fehlanwendung

Wendet man die Methode ohne uniforme a priori-Abschätzungen oder ohne Kontrolle des Kompaktheitsverlustes an, so kann die Lösungsschar divergieren oder an einem Parameterwert verschwinden, trotz anfänglicher Lösbarkeit.

Konsequenz

Ist die Methode anwendbar, erhält man Existenz (und oft Stetigkeit) von Lösungen des Zielproblems, häufig Erhalt der Regularität und mitunter Eindeutigkeit, falls Invertierbarkeit entlang des Pfades bewahrt bleibt.

Umkehrung

Kreuzt der Parameterpfad einen Bifurkationspunkt, an dem die Invertierbarkeit der Linearisierung versagt, bricht das Kontinuitätsargument zusammen; dann sind Bifurkationstheorie oder andere globale Verfahren nötig.

Abgrenzung

Setzt eine zusammenhängende Parameterfamilie, ein bekannt lösendes Anfangsproblem und Kontrolle (a priori-Abschätzungen, Indextheorie oder Kompaktheit) entlang des Pfades voraus; ersetzt nicht lokale Methoden, wenn nur lokale Informationen vorliegen.

Semantische Spannung

Steht zwischen lokalen impliziten Funktionstechniken (lokale Fortsetzung) und topologischen/variationalen Methoden (Existenz ohne Pfadkontrolle); die Methode betont Deformation verbunden mit Abschätzungen.

Synthese

Die Kontinuitätsmethode nutzt eine stetige Deformation vom einfachen zum schwierigen Problem und propagiert mit Hilfe a priori-Abschätzungen und analytisch/topologischer Fortsetzung die Lösbarkeit über das Parameterintervall.