Eine lokale Aussage, die garantiert, dass in der Nähe eines Punktes, an dem ein System differenzierbarer Gleichungen F(x,y)=0 bezüglich y eine nicht entartete Jacobimatrix hat, eine differenzierbare Abbildung y = g(x) existiert, die das System in einer Umgebung dieses Punktes löst.

Prinzip

Die lokale Auflösbarkeit von Nebenbedingungen wird durch die Invertierbarkeit des partiellen Ableitungsblocks (Jacobi-Matrix) bezüglich der zu eliminierenden Variablen gesteuert; Invertierbarkeit erlaubt die Anwendung der Umkehrabbildung auf die eliminierten Koordinaten.

Demonstration

Für F(x,y) = y + x^2 - 1 bei (x,y)=(0,1) ist die partielle Ableitung ∂F/∂y = 1 ungleich null, also gibt es eine Umgebung, in der y = g(x) = 1 - x^2 die eindeutige lokale Lösung definiert.

Fehlanwendung

Zu glauben, der Satz liefere eine globale explizite Formel oder ihn anzuwenden, wenn die betreffende Jacobimatrix singulär ist; das führt zu nicht existierenden oder nicht eindeutigen lokalen Funktionen.

Konsequenz

Eine durch Nebenbedingungen definierte Mannigfaltigkeit kann lokal parametrisiert werden; beschränkte Optimierungsprobleme oder implizite Dynamiken lassen sich auf die Untersuchung expliziter Koordinatenabbildungen und ihrer Ableitungen zurückführen.

Umkehrung

Ist der Jacobiblock an der Stelle singulär, scheitert die Inversion und es können Bifurkationen, mehrere lokale Äste oder keine differenzierbare lokale Lösung auftreten — die implizite Beziehung lässt sich für die gewählten Variablen nicht lokal auflösen.

Abgrenzung

Erfordert hinreichende Differenzierbarkeit von F (üblicherweise C^1) und Invertierbarkeit der partiellen Ableitung bezüglich der eliminierten Variablen; schließt nicht differenzierbare Relationen, Punkte mit singulärer Jacobimatrix oder globale Fortsetzungen außerhalb der lokalen Umgebung aus.

Semantische Spannung

Wird oft mit dem Umkehrsatz verwechselt: Beide nutzen Invertierbarkeit von Ableitungen, aber der Umkehrsatz behauptet eine lokale Umkehrung für eine bijektive Abbildung über alle Variablen, während der implizite Satz eine Teilmenge von Variablen eliminiert und als Funktionen der verbleibenden darstellt.

Synthese

Ein lokales Existenz- und Eindeutigkeitsresultat: Ist die Jacobimatrix bezüglich der gewählten abhängigen Variablen nicht singulär, definiert die Gleichung F(x,y)=0 diese Variablen lokal als differenzierbare Funktion der übrigen.