Implizite Differentiation

{{#if: behandelt die implizite Ableitung in der Mathematik. Zur Derivation ohne Ableitungsmorphem in der Linguistik siehe Derivation (Linguistik)#Implizite Derivation.

 | Vorlage:Hinweisbaustein 
 | {{#ifeq: 0 | 0 |}}

}} Die implizite Differentiation (auch implizite Ableitung) ist eine Möglichkeit, eine Funktion, die nicht explizit durch einen Term, sondern nur implizit durch eine Gleichung gegeben ist (auch implizite Kurve), mit Hilfe der mehrdimensionalen Differentialrechnung abzuleiten.<ref>Gerhard Marinell: Mathematik für Sozial- und Wirtschaftswissenschaftler. 7. Auflage. Oldenbourg Wissenschaftsverlag, München 2001, ISBN 3-486-25567-3, S. 135–136 ({{#if: qxxz_BD09Z0C | {{#if: {{#if: ||1}} {{#if: qxxz_BD09Z0C ||1}} | <0|&pg={{#if:|RA{{{Band}}}-}}PA135|&pg=135}}{{#if:|&q=}}#v=onepage|{{#if:|&pg=|}}{{#if:|&q=}}}}{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}|{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}}} {{#if:|{{#invoke:WLink|getEscapedTitle|{{{Linktext}}}}}|eingeschränkte Vorschau}}{{#if:|| in der Google-Buchsuche}}{{#ifeq:|US|-USA}}{{#if: qxxz_BD09Z0C |{{#invoke: Vorlage:GoogleBook|fine |id=qxxz_BD09Z0C |errN=Parameter „BuchID“ hat falsche Länge |errC=Parameter „BuchID“ enthält ungültige Zeichen |errH=# in der „BuchID“ |errP=Parameterzuweisungen in der „BuchID“ |class=editoronly |cat={{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch}} }} | {{#ifeq: 0 | 0 | }}}} | {{#ifeq: 0 | 0 | }}}}{{#invoke:TemplatePar|check |all= |opt= Suchbegriff= BuchID= Seite= Band= SeitenID= Hervorhebung= Linktext= Land= KeinText= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch |format= }}{{#if:|{{#if:{{#invoke:WLink|isBracketedLink|{{{Linktext}}}}}|}}}}).</ref> Sie kann oft auch benutzt werden, um die Ableitung von Funktionen, die zwar explizit gegeben sind, in dieser Form aber schwierig abzuleiten sind, zu bestimmen.

Regel

Erfüllt die differenzierbare Funktion <math>f \colon \R \to \R</math> die Gleichung

<math> F(x,f(x)) = 0 </math>,

wobei auch <math>F\colon \R^2 \to \R, \ F\colon (x,y) \mapsto F(x,y)</math>, eine differenzierbare Funktion ist, so bedeutet das, dass die Funktion <math>x \mapsto F(x,f(x))</math> konstant (nämlich die Nullfunktion) ist. Ihre Ableitung ist dementsprechend auch konstant null. Mit Hilfe der mehrdimensionalen Kettenregel erhält man dann

<math> 0 = \frac{\mathrm d}{\mathrm d x} F(x, f(x)) = \frac{\partial F}{\partial x} + \frac{\partial F}{\partial y} \, f' = F_x + F_y\,f'\,. </math>

Hierbei sind <math>F_x = \tfrac{\partial F}{\partial x }</math> und <math> F_y = \tfrac{\partial F}{\partial y}</math> die partiellen Ableitungen von <math>F</math>. Zur Vereinfachung der Schreibweise wurden die Funktionsargumente <math>(x,f(x))</math> weggelassen.

Gilt <math>F_y(x_0,f(x_0)) \neq 0</math> an einer Stelle <math>x_0</math>, so gilt dies auch für alle <math>x</math> in einer Umgebung von <math>x_0</math> und man kann die Gleichung nach <math>\,f'</math> auflösen:

<math> f' = -\frac{F_x}{F_y}</math>

bzw. ausführlich

<math> f'(x) = -\frac{F_x(x,f(x))}{F_y(x,f(x))}\,.</math>

Höhere Ableitungen

Durch Anwendung der Produkt- und Kettenregel können auch höhere Ableitungen impliziter Funktionen berechnet werden. So ergibt sich die zweite Ableitung <math>f</math> zu:

<math>f(x) = -\frac{F_{xx}F_y^2+F_{yy}F_x^2-2F_{xy}F_xF_y}{F_y^3}</math>

mit <math>F_{xx} = \frac{\partial^2 F}{\partial x^2}</math>, <math>F_{yy} = \frac{\partial^2 F}{\partial y^2}</math>, <math>F_{xy} = \frac{\partial^2 F}{\partial x \partial y}</math>.<ref>Jörg Feldvoss, Höhere Ableitungen impliziter Funktionen, 2000: https://www.southalabama.edu/mathstat/personal_pages/feldvoss/impldiff.pdf</ref>

Beispiele

Beispiel 1

Gesucht ist die Ableitungsfunktion <math>f'(x)</math> des natürlichen Logarithmus <math>\ln(x)</math>. Man kann diesen auch implizit darstellen

<math>f(x) = \ln(x) \Leftrightarrow e^{f(x)} - x = 0 </math>,

danach die Gleichung ableiten

<math>e^{f(x)} \cdot f'(x) - 1 = 0 </math>,

wieder <math>f(x) = \ln(x) </math> setzen

<math>x \cdot f'(x) - 1 = 0 </math>

und umstellen

<math>f'(x) = \frac{1}{x} </math>.

Beispiel 2

Die Funktion <math>f(x) = x^x</math>, <math>x > 0</math>, kann mit den herkömmlichen Ableitungsregeln nicht ohne Umformungen abgeleitet werden, da sowohl Exponent als auch Basis der Potenz variabel sind. Zunächst kann man durch Logarithmieren den Exponenten eliminieren:

<math>\ln f(x) = x \ln x</math>.

Nun leitet man implizit ab, indem man beide Seiten herkömmlich nach <math>x</math> ableitet:

<math> \frac{\mathrm d }{\mathrm d x } (\ln f(x))= \frac{\mathrm d }{\mathrm d x}(x \ln x) </math>

Die linke Seite kann mit der Kettenregel, die rechte mit der Produktregel und der Regel für die Ableitung des Logarithmus berechnet werden:

<math> \frac{1}{f(x)} \cdot f'(x) = \ln x + x \frac{1}{x} </math>

Löst man nach <math>f'(x)</math> auf und setzt <math>f(x) = x^x</math> ein, so erhält man als Lösung:

<math> f'(x) = f(x) \,(\ln x + 1) = x^x\left( \ln x + 1\right) </math>.

Beispiel 3

Der Kreis mit Mittelpunkt <math>(0,0)</math> und Radius <math>r</math> ist in kartesischen Koordinaten gegeben durch die Gleichung <math>x^2 + y^2 = r^2</math>. Teile davon kann man als Graph einer Funktion <math>y = f(x)</math> schreiben. Deren Ableitung lässt sich mit Hilfe der impliziten Differentiation wie folgt berechnen:

In die definierende Gleichung setzt man <math>y= f(x)</math> ein:

<math>x^2 + f(x)^2 = r^2</math>

Durch Ableiten dieser Gleichung erhält man

<math> 2\,x + 2\, f(x)\,f'(x) = 0\,.</math>

Für <math>f(x) \neq 0</math> ergibt Auflösen nach <math>f'(x)</math>

<math>f'(x) = - \frac{x}{f(x)} = -\frac{x}{y}\,.</math>

Daraus folgt, dass die Tangente an den Kreis im Punkt <math>(x,y)</math> mit <math>y \neq 0</math> die Steigung <math>-\frac{x}{y}</math> hat.

Einzelnachweise

<references />