Satz von der impliziten Funktion

Satz von der impliziten Funktion

Der Satz von der impliziten Funktion ist einer der wichtigsten Sätze in der Analysis. Er beinhaltet ein relativ einfaches Kriterium, wann eine implizite Gleichung oder ein Gleichungssystem (lokal) eindeutig aufgelöst werden kann.

Inhaltsverzeichnis

Begriffsbestimmung

Eine implizit definierte Funktion (kurz implizite Funktion) ist eine Funktion, die nicht in der „einfachen“ Zuordnungsvorschrift y=f(x) gegeben ist, sondern deren Funktionswerte implizit durch eine Gleichung F(x,y) = 0 definiert sind. Dabei ist F eine vektorwertige Funktion, die genauso viele Einzelfunktionen enthält, wie y Komponenten hat. Wird x fixiert, so ergibt sich ein Gleichungssystem in y mit genauso vielen Gleichungen wie Unbekannten. Der Satz über die implizite Funktion beschreibt Voraussetzungen, unter denen die folgende Aussage gilt:

Wenn eine Lösung y0 für einen Parametervektor x0 bekannt ist, dann kann für jeden Parametervektor x\approx x_0 in einer kleinen Umgebung von x0 auch immer eine eindeutig bestimmte Lösung y\approx y_0 des Gleichungssystems F(x,y) = 0 gefunden werden, die in einer Umgebung der ursprünglichen Lösung y0 liegt.

Diese Aussage des Satzes erlaubt nun, eine Funktion f zu definieren, die jedem Parametervektor x\approx x_0 gerade den Lösungsvektor y=f(x)\approx y_0 zuordnet, sodass diese Funktion auf ihrem Definitionsbereich die Gleichung F(x,f(x)) = 0 erfüllt. Der Satz von der impliziten Funktion stellt zudem sicher, dass diese Zuordnung x\mapsto f(x) unter gewissen Bedingungen und Einschränkungen an F, x und y wohldefiniert ist, insbesondere, dass sie eindeutig ist.

Der Einheitskreis wird als die Menge aller Punkte (x,y) beschrieben, welche die Gleichung F(x,y) = 0 erfüllen, mit F(x,y) = x2 + y2 − 1. In einer Umgebung des Punktes A kann y als Funktion von x ausgedrückt werden: y=f(x)=\sqrt{1-x^2}. Bei Punkt B geht das nicht.

Motivierendes Beispiel

Setzt man F(x,y) = x2 + y2 − 1, so beschreibt die Gleichung F(x,y) = 0 den Einheitskreis in der Ebene. Der Einheitskreis kann nicht als Graph einer Funktion y = f(x) geschrieben werden, denn zu jedem x aus dem Intervall ( − 1,1) gibt es zwei Möglichkeiten für y, nämlich y=\pm\sqrt{1-x^2}.

Es ist jedoch möglich, Teile des Kreises als Funktionsgraph darzustellen. Den oberen Halbkreis bekommt man als Graph der Funktion

f_1\colon (-1,1) \to \R, f_1(x)=\sqrt{1-x^2},

den unteren als Graph von

f_2\colon (-1,1) \to \R, f_2(x)=-\sqrt{1-x^2}.

Der Satz von der impliziten Funktion gibt Kriterien für die Existenz von Funktionen wie f1 oder f2. Er garantiert auch, dass diese Funktionen differenzierbar sind.

Satz von der impliziten Funktion

Aussage

Seien U \subseteq \mathbb{R}^m und V \subseteq \mathbb{R}^n offene Teilmengen und

 F\colon U \times\, V \to \mathbb{R}^n,\quad (x,y)=(x_1,\dots,x_m,y_1,\dots,y_n) \mapsto F(x,y)=(\,F_1(x,y),\dots,F_n(x,y)\,)

eine stetig differenzierbare Abbildung. Die Jacobi-Matrix


  DF = \frac{\partial F}{\partial (x, y)} 
  = \frac{\partial (F_1,\dots,F_n)}{\partial(x_1,\dots,x_m,y_1,\dots,y_n)}
  = \begin{pmatrix}
  \frac{\partial F_1}{\partial x_1} & \cdots & \frac{\partial F_1}{\partial x_m} &
     \frac{\partial   F_1}{\partial y_1} & \cdots & \frac{\partial F_1}{\partial y_n} \\ 
  \vdots & & \vdots &\vdots & & \vdots \\ 
  \frac{\partial F_n}{\partial x_1} & \cdots & \frac{\partial F_n}{\partial x_m} &
     \frac{\partial F_n}{\partial y_1} & \cdots & \frac{\partial F_n}{\partial y_n} 
  \end{pmatrix}

besteht dann aus zwei Teilmatrizen

\frac{\partial F}{\partial x} 
  = \frac{\partial (F_1,\dots,F_n)}{\partial(x_1,\dots,x_m)}
  = \begin{pmatrix}
  \frac{\partial F_1}{\partial x_1} & \cdots & \frac{\partial F_1}{\partial x_m} \\ 
  \vdots & & \vdots  \\ 
  \frac{\partial F_n}{\partial x_1} & \cdots & \frac{\partial F_n}{\partial x_m}  
  \end{pmatrix}

und

\frac{\partial F}{\partial y} 
  = \frac{\partial (F_1,\dots,F_n)}{\partial(y_1,\dots,y_n)}
  = \begin{pmatrix}
  \frac{\partial F_1}{\partial y_1} & \cdots & \frac{\partial F_1}{\partial y_n} \\ 
  \vdots & & \vdots  \\ 
  \frac{\partial F_n}{\partial y_1} & \cdots & \frac{\partial F_n}{\partial y_n}  
  \end{pmatrix},

wobei letztere quadratisch ist.

Der Satz von der impliziten Funktion besagt nun:

Erfüllt  (x_0, y_0) \in U \times\ V die Gleichung F(x0,y0) = 0 und ist die zweite Teilmatrix  \tfrac{\partial F}{\partial y} im Punkt (x0,y0) invertierbar, so existieren offene Umgebungen U0 von x0 und V0 von y0 sowie eine eindeutige stetig differenzierbare Abbildung

 f\colon {U_0} \subseteq {U} \subseteq {\mathbb{R}^m}  \to {V_0} \subseteq {V} \subseteq {\mathbb{R}^n}  ,

mit f(x0) = y0 so, dass

F\big(x, f(x)\big)=0

für alle  x \in U_0 gilt.

Beispiel

Man wende nun diesen Satz auf das anfangs gegebene Beispiel der Kreisgleichung an: Dazu sind die partiellen Ableitungen nach den y-Variablen zu betrachten. (In diesem Fall ist n=1, also ergibt das eine 1×1 Matrix, beziehungsweise einfach eine reelle Funktion): Die partielle Ableitung der Funktion F(x,y) = x2 + y2 − 1 nach y ergibt  \tfrac{\partial F(x,y)}{\partial y} = 2 y  . Diese Ableitung hat einen Kehrwert genau dann, wenn  y \neq 0 ist. Damit folgert man mit Hilfe des Satzes, dass diese Gleichung lokal nach y auflösbar ist, wenn y \neq 0. Der Fall y = 0 tritt nur in den Punkten x = − 1 oder x = 1 auf. Dies sind also die Problempunkte. Tatsächlich sieht man, dass die Formel  y = \pm \sqrt{1 - x^2} sich genau in diesen Problempunkten in eine positive und negative Lösung verzweigt. In allen anderen Punkten ist die Auflösung lokal eindeutig.

Beweisansatz

Der klassische Ansatz betrachtet zur Lösung der Gleichung F(x,y) = 0 das Anfangswertproblem der gewöhnlichen Differentialgleichung


    \phi_v'(t)=-G(x_0+tv,\phi_v(t))
  \;\text{ mit }\;
    G(x,y)=\left(\tfrac{\partial F}{\partial y}(x,y)\right)^{-1}\tfrac{\partial F}{\partial x}(x,y)
  \;\text{ und }\;
   \phi_v(0)=y_0
  .

Da \tfrac{\partial F}{\partial y} in (x0,y0) invertierbar ist, ist dies auch in einer kleinen Umgebung der Fall, d.h. für kleine Vektoren v existiert die Differentialgleichung und ihre Lösung für alle t\in [0,1]. Die Lösung der impliziten Gleichung ist nun durch

f(x)=\phi_{x-x_0}(1)

gegeben, die oben angegebenen Eigenschaften dieser Lösung ergeben sich aus den Eigenschaften der Lösungen parameterabhängiger Differentialgleichungen.

Der moderne Ansatz formuliert das Gleichungssystem F(x,y) = 0 mit Hilfe des vereinfachten Newton-Verfahrens als Fixpunktproblem und wendet darauf den Fixpunktsatz von Banach an. Für die dazugehörige Fixpunktabbildung wird die Inverse A der Teilmatrix \tfrac{\partial F}{\partial y}(x_0,y_0) der Jacobi-Matrix von F im vorgegebenen Lösungspunkt (x0,y0) gebildet. Zu der Abbildung

T(y)=y-A\,F(x,y)

kann man nun zeigen, dass für Parametervektoren x nahe x0 diese Abbildung auf einer Umgebung von y0 kontraktiv ist. Dies folgt daraus, dass T stetig differenzierbar ist und \tfrac{\partial T}{\partial y}(x_0,y_0)=0 gilt.

Zusammenfassung

Der Vorteil des Satzes ist, dass man die explizite Funktion f gar nicht kennen muss, und trotzdem eine Aussage über deren Existenz und Eindeutigkeit folgern kann. In vielen Fällen ist die Gleichung für y auch gar nicht mit Formeln lösbar, sondern nur mit numerischen Verfahren. Interessant ist, dass die Konvergenz solcher Verfahren meist gleiche oder ähnliche Voraussetzung wie der Satz von der impliziten Funktion (Matrix der y-Ableitungen muss invertierbar sein) erfordert.

Eine weitere wertvolle Schlussfolgerung des Satzes ist, dass die Funktion f differenzierbar ist, falls F(x,y) es ist, was bei Anwendung des Satzes über implizite Funktionen vorausgesetzt wird. Die Ableitung kann sogar explizit angegeben werden, indem man die Gleichung F(x,f(x)) = 0 nach der mehrdimensionalen Kettenregel ableitet:

\frac{\partial F}{\partial x}(x,f(x)) + \frac{\partial F}{\partial y}(x,f(x)) \cdot \frac{\partial f}{\partial x}(x) = 0

und dann nach \frac{\partial f}{\partial x}(x) auflöst:

 \frac{\partial f }{\partial x}(x) = - \left( \frac{\partial F }{\partial y}(x,f(x))  \right)^{-1} \cdot \frac{\partial F }{\partial x}\big(x,f(x)\big) .

Eine ähnliche Folgerung gilt für höhere Ableitungen. Ersetzt man die Voraussetzung "F ist stetig differenzierbar", durch "F ist k-mal stetig differenzierbar" (oder beliebig oft oder analytisch), kann man folgern, dass f k-mal differenzierbar (bzw. beliebig oft bzw. analytisch) ist.

Satz von der Umkehrabbildung

Ein nützliches Korollar zum Satz von der impliziten Funktion ist der Satz von der Umkehrabbildung. Er gibt eine Antwort auf die Frage, wann man eine Umkehrfunktion finden kann:

Sei U \subseteq \mathbb{R}^n offen und

f : U \to \mathbb{R}^n

eine stetig differenzierbare Abbildung. Sei a \in U und b: = f(a). Die Jacobi-Matrix Df(a) sei invertierbar. Dann gibt es eine offene Umgebung U_a \subseteq U von a und eine offene Umgebung Vb von b, so dass f die Menge Ua bijektiv auf Vb abbildet und die Umkehrfunktion

g = f^{-1} : V_b \to U_a

stetig differenzierbar ist. Es gilt

D(f − 1)(b) = Dg(b) = (Df(a)) − 1 = (Df(g(b))) − 1

Literatur

  • Herbert Amann, Joachim Escher: Analysis II. Birkhäuser, Basel, 1999, ISBN 3-7643-6133-6, S. 230 ff.
  • Otto Forster: Analysis 2. 7. Auflage. Vieweg, Wiesbaden 2006, ISBN 3-8348-0250-6, I.8 Implizite Funktionen, S. 86 - 99.

Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Satz von der inversen Funktion — Der Satz von der impliziten Funktion ist einer der wichtigsten Sätze in der Analysis. Er beinhaltet ein relativ einfaches Kriterium, wann man eine implizite Gleichung oder ein Gleichungssystem (lokal) eindeutig auflösen kann. Inhaltsverzeichnis 1 …   Deutsch Wikipedia

  • Satz über die inverse Funktion — Der Satz von der impliziten Funktion ist einer der wichtigsten Sätze in der Analysis. Er beinhaltet ein relativ einfaches Kriterium, wann man eine implizite Gleichung oder ein Gleichungssystem (lokal) eindeutig auflösen kann. Inhaltsverzeichnis 1 …   Deutsch Wikipedia

  • Satz über die Umkehrfunktion — Der Satz von der impliziten Funktion ist einer der wichtigsten Sätze in der Analysis. Er beinhaltet ein relativ einfaches Kriterium, wann man eine implizite Gleichung oder ein Gleichungssystem (lokal) eindeutig auflösen kann. Inhaltsverzeichnis 1 …   Deutsch Wikipedia

  • Satz über implizite Funktionen — Der Satz von der impliziten Funktion ist einer der wichtigsten Sätze in der Analysis. Er beinhaltet ein relativ einfaches Kriterium, wann man eine implizite Gleichung oder ein Gleichungssystem (lokal) eindeutig auflösen kann. Inhaltsverzeichnis 1 …   Deutsch Wikipedia

  • Implizite Funktion — Der Satz von der impliziten Funktion ist einer der wichtigsten Sätze in der Analysis. Er beinhaltet ein relativ einfaches Kriterium, wann man eine implizite Gleichung oder ein Gleichungssystem (lokal) eindeutig auflösen kann. Inhaltsverzeichnis 1 …   Deutsch Wikipedia

  • Ableitung der Umkehrfunktion — Die Umkehrregel ist eine Regel der Differentialrechnung. Sie besagt, dass für eine umkehrbare (d. h. bijektive) Funktion f, die an der Stelle x differenzierbar ist und dort keine waagerechte Tangente besitzt, d.h. für die gilt, auch ihre… …   Deutsch Wikipedia

  • Umkehrsatz — Der Satz von der impliziten Funktion ist einer der wichtigsten Sätze in der Analysis. Er beinhaltet ein relativ einfaches Kriterium, wann man eine implizite Gleichung oder ein Gleichungssystem (lokal) eindeutig auflösen kann. Inhaltsverzeichnis 1 …   Deutsch Wikipedia

  • Freiheitsgrade — Der Freiheitsgrad bezeichnet einen Parameter eines Systems. Die Eigenschaft, ein Freiheitsgrad zu sein, ergibt sich für einen Parameter daraus, Mitglied in einer Summe von Parametern zu sein, die das System beschreiben. Diese Beschreibung muss… …   Deutsch Wikipedia

  • Rotationsfreiheitsgrad — Der Freiheitsgrad bezeichnet einen Parameter eines Systems. Die Eigenschaft, ein Freiheitsgrad zu sein, ergibt sich für einen Parameter daraus, Mitglied in einer Summe von Parametern zu sein, die das System beschreiben. Diese Beschreibung muss… …   Deutsch Wikipedia

  • Schwingungsfreiheitsgrad — Der Freiheitsgrad bezeichnet einen Parameter eines Systems. Die Eigenschaft, ein Freiheitsgrad zu sein, ergibt sich für einen Parameter daraus, Mitglied in einer Summe von Parametern zu sein, die das System beschreiben. Diese Beschreibung muss… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”