Kettenregel

Die Kettenregel ist eine grundlegende Ableitungsregel. Mit ihr wird die Ableitung einer Verkettung zweier differenzierbarer Funktionen berechnet. In Lagrange-Notation lautet die Kettenregel:

Die Kettenregel lässt sich verallgemeinern auf Funktionen, die sich als Verkettung mindestens zweier differenzierbarer Funktionen darstellen lassen. Auch eine solche Funktion ist wiederum differenzierbar, ihre Ableitung erhält man durch Multiplikation der Ableitungen aller ineinander verschachtelten Funktionen.

Die Kettenregel bildet einen Spezialfall der mehrdimensionalen Kettenregel für den eindimensionalen Fall.

Ihr Gegenstück in der Integralrechnung ist die Integration durch Substitution.

Geschichte

Die Kettenregel scheint erstmals von Gottfried Wilhelm Leibniz verwendet worden zu sein. Er benutzte sie zur Berechnung der Ableitung von <math>\sqrt{a + b \cdot z + c \cdot z^2}</math> als Verkettung der Quadratwurzelfunktion und der Funktion <math>a + b \cdot z + c \cdot z^2</math>. Er erwähnte sie erstmals in einer Denkschrift von 1676 (mit einem Vorzeichenfehler in der Berechnung). Die gängige Schreibweise der Kettenregel geht auf Leibniz zurück.<ref name="Scholar">{{#invoke:Vorlage:Literatur|f}}{{#if:

       | {{#if: Vorlage:Cite book/ParamBool
               | Vorlage:Toter Link/archivebot
               | Vorlage:Webarchiv/archiv-bot
         }}
  }}{{#invoke:TemplatePar|check
   |all    = title=
   |opt    = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical=  name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx=  accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
   |cat      = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
   |errNS    = 0
   |template = Vorlage:Cite journal
   |format   = @@@
   |preview  = 1
  }}Vorlage:Cite book/URL{{#if:  | Vorlage:Cite book/Meldung }}{{#if:        | Vorlage:Cite book/Meldung }}{{#if: The Mathematics Enthusiast
     || Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
        | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
       | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:Rodríguez|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}</ref> Guillaume de l’Hôpital verwendete die Kettenregel implizit in seiner Analyse des infiniment petits. Die Kettenregel taucht in keinem der Analysis-Bücher von Leonhard Euler auf, obwohl sie über hundert Jahre nach Leibniz' Entdeckung geschrieben wurden.

Es wird angenommen, dass die erste „moderne“ Version der Kettenregel in Lagranges Théorie des fonctions analytiques von 1797 auftaucht; sie erscheint auch in Cauchys Résumé des Leçons données a L'École Royale Polytechnique sur Le Calcul Infinitesimal von 1823.<ref name="Scholar"/>

Mathematische Formulierung

Seien <math>U, V</math> offene Intervalle, <math> v\colon V \rightarrow \mathbb{R} </math> und <math> u\colon U \rightarrow \mathbb{R} </math> Funktionen mit <math> v(V) \subset U </math>.

Die Funktion <math>v</math> sei im Punkt <math> x_0 \in V </math> differenzierbar und <math>u</math> sei im Punkt <math> z_0 := v(x_0) \in U </math> differenzierbar.

Dann ist die „zusammengesetzte“ Funktion (Komposition)

<math>f = u \circ v\colon\,V \rightarrow \mathbb{R}</math>

im Punkt <math>x_0</math> differenzierbar und es gilt:

Im Zusammenhang mit der Kettenregel nennt man <math>u</math> auch die äußere, <math>v</math> die innere Funktion von <math>f</math>.

Merkregel: Die Ableitung einer durch Verkettung gebildeten Funktion im Punkt <math> x_0 </math> ist die „äußere Ableitung“ <math>u'</math>, ausgewertet an der Stelle <math>v(x_0)</math>, mal der Ableitung der inneren Funktion <math>v'</math>, ausgewertet an der Stelle <math>x_0</math>. Oder kurz: „Äußere Ableitung mal innere Ableitung“.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Beispiele

Es wird die durch <math>f(x) = \left(x^3+1\right)^2</math> definierte Funktion <math>f</math> betrachtet.

Diese lässt sich darstellen als Verkettung der Funktion

mit der Funktion

denn es gilt <math>f(x) = u(v(x))</math>.

Für die Anwendung der Kettenregel benötigen wir die Ableitungen <math>u'</math> (äußere Ableitung) und <math>v'</math> (innere Ableitung):

und

Da sowohl <math>u</math> als auch <math>v</math> differenzierbar sind, ist nach der Kettenregel auch <math>f = u \circ v</math> differenzierbar, und es gilt für ihre Ableitung:

Nun ist <math>u'(v(x)) = 2 \cdot (x^3 + 1)</math>, so dass wir insgesamt erhalten:

Unter Zuhilfenahme von Farbe lässt sich die eingangs formulierte Merkregel auch im Formelbild wiedererkennen.

<math>\begin{align}

f(x) &= (\color{Blue}x^3 + 1\color{Black})^2\\ f'(x) &= 2 \cdot (\color{Blue}x^3+1\color{Black}) \cdot \color{Blue} 3 \cdot x^2\color{Black}\\ \end{align}</math>

Man beachte, dass die Darstellung einer Funktion als Verkettung einer äußeren mit einer inneren Funktion keineswegs eindeutig sein muss. So lässt sich die Beispielfunktion auch als Verkettung der Funktionen <math> u(v) = (v + 1)^2 </math> und <math> v(x) = x^3 </math> auffassen, denn auch für diese beiden Funktionen gilt:

Die Anwendung der Kettenregel ist in diesem Fall rechnerisch aufwendiger, da zumindest der Term <math>(v+1)^2</math> ausmultipliziert werden muss.

Insgesamt lässt sich an diesem Beispiel die Kettenregel im Sinne der konstruktivistischen Didaktik selbst entdecken. Ausmultiplizieren ergibt:

Nach Ableiten wird durch Ausklammern die innere Funktion <math>v(x)=x^3+1</math> herauspräpariert:

Hieraus lässt sich dann die Kettenregel vermuten, die dann noch in ihrer Allgemeingültigkeit bewiesen werden muss.

Weitere Beispiele

Die Funktion <math>f(x) = x^x = \left(e^{\ln(x)}\right)^x = e^{x \cdot \ln(x)}</math> ist die Verkettung der Funktion <math>u(v) = e^v</math> mit der Funktion <math>v(x) = x \cdot \ln(x)</math>. Dann ist <math>u'(v) = e^v</math>, also <math>u'(v(x)) = e^{x \cdot \ln(x)}</math> und nach der Produktregel ist <math>v'(x) = \left(x \cdot \ln(x)\right)' = 1 \cdot \ln(x) + x \cdot \frac{1}{x} = \ln(x) + 1</math>. Mit der Kettenregel ergibt sich insgesamt

<math>f'(x) = e^{x \cdot \ln(x)} \cdot \left(\ln(x) + 1\right) = x^x \cdot \left(\ln(x) + 1\right)</math>

Die Funktion <math>f(x) = \sqrt[x]{x} = x^\frac{1}{x} = \left(e^{\ln(x)}\right)^\frac{1}{x} = e^\frac{\ln(x)}{x}</math> ist die Verkettung der Funktion <math>u(v) = e^v</math> mit der Funktion <math>v(x) = \frac{\ln(x)}{x}</math>. Dann ist <math>u'(v) = e^v</math>, also <math>u'(v(x)) = e^\frac{\ln(x)}{x}</math> und nach der Quotientenregel ist <math>v'(x) = \left(\frac{\ln(x)}{x}\right)' = \frac{\frac{1}{x} \cdot x - \ln(x) \cdot 1}{x^2} = \frac{1 - \ln(x)}{x^2}</math>. Mit der Kettenregel ergibt sich insgesamt

<math>f'(x) = e^\frac{\ln(x)}{x} \cdot \left(\frac{1 - \ln(x)}{x^2}\right) = x^\frac{1}{x} \cdot \left(\frac{1 - \ln(x)}{x^2}\right)</math>

Heuristische Herleitung

Für die Berechnung der Ableitung von <math>u \circ v</math> ist der Differenzenquotient <math>\frac{\Delta u}{\Delta x}</math> zu berechnen. Erweitert man diesen Bruch mit <math>\Delta v</math>, so erhält man:

<math>\frac{\Delta u}{\Delta x} = \frac{\Delta u}{ \Delta v} \cdot \frac{\Delta v}{\Delta x}</math>.

Durch den Grenzübergang <math>\Delta x\rightarrow 0</math> gehen die Differenzenquotienten in Differentialquotienten über. Geht <math>\Delta x</math> gegen Null, dann auch <math>\Delta v</math>. Man erhält dann insgesamt für die Ableitung der verketteten Funktion:

<math> \begin{align}

f'(x) &= \lim_{\Delta x \rightarrow 0}\frac{\Delta u}{\Delta x} = \lim_{\Delta x \rightarrow 0}\left(\frac{\Delta u}{\Delta v} \cdot \frac{\Delta v}{\Delta x}\right) \\ &= \lim_{\Delta v \rightarrow 0}\left(\frac{\Delta u }{\Delta v}\right) \cdot \lim_{\Delta x \rightarrow 0}\left(\frac{\Delta v}{\Delta x}\right) = \frac{\mathrm du}{\mathrm dv} \cdot \frac{\mathrm dv}{\mathrm dx} = u'\big(v(x)\big)\cdot v'(x) \end{align}</math>

Beweis

Man definiert

<math>

 D(z,z_0) :=
 \begin{cases}
   \frac {u(z)-u(z_0)} {z-z_0} & \text{falls } z \ne z_0 \\
   u'(z_0)                     & \text{falls } z = z_0
 \end{cases}

</math> Weil <math>u</math> in <math> z_0 </math> differenzierbar ist, gilt

das heißt, die Funktion <math>z \mapsto D(z,z_0)</math> ist an der Stelle <math>z_0</math> stetig. Außerdem gilt für alle <math>z \in U</math>:

Wegen <math>\lim_{x \to x_0} v(x) = v(x_0)</math> folgt daraus:

<math>

\begin{align}

 (u \circ v)'(x_0)
 &= \lim_{x \to x_0}\frac{u\big(v(x)\big)-u\big(v(x_0)\big)}{x-x_0}
  = \lim_{x \to x_0}\frac{D\big(v(x),v(x_0)\big)\cdot\big(v(x)-v(x_0)\big)}{x-x_0}  \\
 &= \lim_{x \to x_0}      D\big(v(x),v(x_0)\big)\cdot\lim_{x \to x_0}\frac{v(x)-v(x_0)}{x-x_0} \\
 &= u'\big(v(x_0)\big)\cdot v'(x_0)

\end{align} </math>

Komplexe Funktionen

Seien <math>U,V\subset \Complex</math> offene Teilmengen, z. B. Gebiete, <math> v\colon V \rightarrow \Complex </math> und <math> u\colon U \rightarrow \Complex </math> Funktionen mit <math> v(V) \subseteq U </math>.

Die Funktion <math>v</math> sei im Punkt <math> x_0 \in V </math> differenzierbar und <math>u</math> sei im Punkt <math> v(x_0) \in U </math> differenzierbar.

Dann ist die zusammengesetzte Funktion

<math>f := u \circ v\colon V \rightarrow \Complex, x \mapsto u(v(x)) </math>

im Punkt <math>x_0</math> differenzierbar und es gilt:

Fazit: Die komplexe Kettenregel ist (einschließlich ihres Beweises) völlig analog zum Reellen.

Verallgemeinerung auf mehrfache Verkettungen

Datei:Chain rule de.png

Anwendung der Kettenregel auf „verschachtelte“ Funktionen

Etwas komplizierter wird das Differenzieren, wenn mehr als zwei Funktionen verkettet sind. In diesem Fall wird die Kettenregel rekursiv angewendet. Beispielsweise ergibt sich bei Verkettung von drei Funktionen <math>u, v</math> und <math>w</math>

die Ableitung

Im Allgemeinen hat die Funktion

<math> f = u_1 \circ \cdots \circ u_n</math>

die Ableitung

<math> f'(x) = u_1' (u_2(\cdots(u_n(x)))) \cdot u_2'(u_3(\cdots(u_n(x)))) \cdot \ldots \cdot u_n'(x) </math>

wie sich durch vollständige Induktion beweisen lässt. Beim praktischen Berechnen der Ableitung multipliziert man also Faktoren, die sich folgendermaßen ergeben:

Den ersten Faktor erhält man dadurch, dass man die äußerste Funktion durch eine unabhängige Variable ausdrückt und ableitet. Anstelle dieser unabhängigen Variablen ist der Rechenausdruck für die restlichen (inneren) Funktionen einzusetzen. Der zweite Faktor wird entsprechend berechnet als Ableitung der zweitäußersten Funktion, wobei auch hier der Rechenausdruck für die zugehörigen inneren Funktionen einzusetzen ist. Dieses Verfahren setzt man fort bis zum letzten Faktor, der innersten Ableitung.

Als Beispiel kann wiederum die Funktion <math>f(x) = (x^3 + 1)^2</math> dienen. Diese lässt sich darstellen als Verkettung der drei Funktionen:

<math> \begin{align}

       u(v) &= v^2 \\
       v(w) &= w + 1 \\
       w(x) &= x^3

\end{align} </math>

denn es gilt:

Damit liefert die auf mehrfache Verkettungen verallgemeinerte Kettenregel mit

<math>\begin{align}

       u'(v) &= 2 \cdot v \\
       v'(w) &= 1 \\
       w'(x) &= 3 \cdot x^2

\end{align}</math>

die Ableitung

Verallgemeinerung für höhere Ableitungen

{{#if: Formel von Faà di Bruno|{{#ifexist:Formel von Faà di Bruno|

|{{#if: |{{#ifexist:{{{2}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{2}}}{{#if: ||{{{titel2}}}}}]]{{#if: |{{#ifexist:{{{3}}}| und [[{{{3}}}{{#if: ||{{{titel3}}}}}]]|}}|}}

|{{#if: |{{#ifexist:{{{3}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{3}}}{{#if: ||{{{titel3}}}}}]]

|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}

Eine Verallgemeinerung der Kettenregel für höhere Ableitungen ist die Formel von Faà di Bruno. Sie ist wesentlich komplizierter und schwieriger zu beweisen.

Sind <math>u</math> und <math>v</math> zwei <math>n</math>-mal differenzierbare Funktionen, deren Verkettung <math>f(x) = u(v(x))</math> definiert ist, so gilt

<math>f^{(n)}(x)=\sum_{(k_1, \dotsc, k_n)\in T_n} \frac{n!}{k_1! \cdot \ \dotsb \ \cdot k_n!}

u^{(k_1+\dotsb+k_n)}(v(x))\, \prod_{m=1\atop k_m\ge1}^n \left(\frac{1}{m!} v^{(m)}(x)\right)^{k_m}</math>

Hierbei bezeichnet <math>f^{(n)}(x)</math> die <math>n</math>-te Ableitung von <math>f</math> an der Stelle <math>x</math>. Die Menge <math>T_n</math>, über die summiert wird, enthält alle <math>n</math>-Tupel <math>(k_1,\ \ldots\ ,k_n)\,</math> aus nichtnegativen, ganzen Zahlen mit <math>1 \cdot k_1 + 2 \cdot k_2 + \cdots + n \cdot k_n = n</math>.

Verallgemeinerung auf Funktionen und Abbildungen mehrerer Veränderlicher

{{#if: Mehrdimensionale Kettenregel|{{#ifexist:Mehrdimensionale Kettenregel|

|{{#if: |{{#ifexist:{{{2}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{2}}}{{#if: ||{{{titel2}}}}}]]{{#if: |{{#ifexist:{{{3}}}| und [[{{{3}}}{{#if: ||{{{titel3}}}}}]]|}}|}}

|{{#if: |{{#ifexist:{{{3}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{3}}}{{#if: ||{{{titel3}}}}}]]

|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}

Hier betrachtet man differenzierbare Funktionen (Abbildungen) <math>f \colon \R^n \to \R^m</math>. Die Ableitung einer solchen Abbildung im Punkt <math>x_0 \in \R^n</math> ist dann eine lineare Abbildung <math>Df_{x_0} \colon \R^n \to \R^m</math>, die durch eine <math>(m \times n)</math>-Matrix, die Jacobi-Matrix <math>J_f(x_0)</math> dargestellt werden kann.

Die Kettenregel besagt, dass die Verkettung von zwei differenzierbaren Abbildungen wieder differenzierbar ist. Ihre Ableitung erhält man, indem man die einzelnen Ableitungen verkettet. Die zugehörige Jacobi-Matrix ist das Matrizenprodukt der einzelnen Jacobi-Matrizen.

Im Detail: Sind die Abbildungen <math>v \colon \R^n \to \R^l</math> im Punkt <math>x_0 \in \R^n</math> und <math>u \colon \R^l \to \R^m</math> im Punkt <math>v(x_0)\in \R^l</math> differenzierbar, so ist auch die Verkettung <math>u \circ v \colon \R^n \to \R^m</math> im Punkt <math>x_0</math> differenzierbar, und es gilt

und

In ähnlicher Form lässt sich eine Kettenregel für Fréchet-Ableitungen von Abbildungen zwischen Banachräumen und für die Ableitungen (Differentiale, Tangentialabbildungen) von Abbildungen zwischen differenzierbaren Mannigfaltigkeiten formulieren.

Abweichende Notationen in der Physik und anderen Wissenschaften

In vielen Naturwissenschaften wie der Physik sowie in der Ingenieurwissenschaft findet die Kettenregel breite Anwendung. Allerdings hat sich hier eine besondere Notation entwickelt, die von der mathematischen Notation der Kettenregel deutlich abweicht.

Vorstellung der Notation

In physikalischer Literatur wird für die Ableitung einer Funktion <math>h</math> nach der Variable <math>x</math> in der Regel die Schreibweise

<math> h'(x) =: \frac{\mathrm dh}{\mathrm dx}(x)</math>

bevorzugt. Ist <math>h</math> eine Verkettung zweier Funktionen: <math>h = f \circ g</math> mit <math>y \mapsto f(y), x \mapsto g(x)</math>, so präsentiert sich die Kettenregel in dieser Notation:

<math> \frac{\mathrm dh}{\mathrm dx}(x) = \frac{\mathrm df}{\mathrm dy}(g(x)) \cdot \frac{\mathrm dg}{\mathrm dx}(x)</math>

Es ist zusätzlich gängige Konvention, die unabhängige Variable der Funktion <math>f</math> mit dem Funktionssymbol der inneren Funktion <math>g</math> zu identifizieren, dafür aber sämtliche Argumentklammern auszulassen:

<math> \frac{\mathrm dh}{\mathrm dx} = \frac{\mathrm df}{\mathrm dg} \cdot \frac{\mathrm dg}{\mathrm dx}</math>

Letztlich wird für die Verkettung <math>f \circ g</math> kein neues Symbol eingeführt, sondern die gesamte Verkettung mit der äußeren Funktion <math>f</math> identifiziert: <math>f = f \circ g</math>.

Die Kettenregel nimmt dann das folgende Aussehen an:

<math> \frac{\mathrm df}{\mathrm dx} = \frac{\mathrm df}{\mathrm dg} \cdot \frac{\mathrm dg}{\mathrm dx}</math>

Formal stellt sich die Kettenregel hier als eine Erweiterung des „Bruches“ <math>\mathrm df/\mathrm dx</math> mit <math>\mathrm dg</math> dar, so dass es in physikalischer Fachliteratur (und auch in anderen Natur- und Ingenieurwissenschaften) gängig ist, die Kettenregel bei Anwendung nicht namentlich zu erwähnen. Stattdessen findet man oft Ersatzformulierungen, so ist etwa von der „Erweiterung von <math>\mathrm df/\mathrm dx</math> mit <math>\mathrm dg</math>“ die Rede, teilweise fehlt eine Begründung vollständig. Auch wenn dies für das ungeübte Auge nicht immer auf den ersten Blick erkennbar ist, steckt hinter all diesen Formulierungen ausnahmslos die Kettenregel der Differentialrechnung.

Obwohl die vorgestellte Notation mit einigen mathematischen Konventionen bricht, erfreut sie sich großer Beliebtheit und weiter Verbreitung, da sie es ermöglicht, mit Ableitungen (zumindest salopp) wie mit „normalen Brüchen“ zu rechnen. Viele Rechnungen gestaltet sie außerdem übersichtlicher, da Klammern entfallen und nur sehr wenige Symbole verwendet werden müssen. Vielfach stellt auch die durch eine Verkettung beschriebene Größe eine bestimmte physikalische Variable dar (z. B. eine Energie oder eine elektrische Spannung), für die ein bestimmter Buchstabe „reserviert“ ist (etwa <math>E</math> für Energie und <math>U</math> für Spannung). Die obige Notation ermöglicht es, diesen Buchstaben in der gesamten Rechnung durchgängig zu verwenden.

Beispiel

Die kinetische Energie eines Körpers hängt von seiner Geschwindigkeit <math>v</math> ab: <math>E = f(v)</math>. Hängt die Geschwindigkeit wiederum von der Zeit ab, <math>v = g(t)</math>, so ist auch die kinetische Energie des Körpers eine Funktion der Zeit, die durch die Verkettung

beschrieben wird. Möchten wir die Änderung der kinetischen Energie nach der Zeit berechnen, so gilt nach der Kettenregel

In physikalischer Literatur würde man die letzte Gleichung in folgender (oder ähnlicher) Gestalt vorfinden:

<math>\frac{\mathrm dE}{\mathrm dt} = \frac{\mathrm dE}{\mathrm dv} \cdot \frac{\mathrm dv}{\mathrm dt}</math>

Klarer Vorteil ist die durchgängige Verwendung von Funktionssymbolen, deren Buchstaben mit denen der zugrunde liegenden physikalisch relevanten Größe (<math>E</math> für Energie, <math>v</math> für Geschwindigkeit) übereinstimmen.

Siehe auch

Literatur

Konrad Königsberger: Analysis 1. 6. Auflage. Springer, Berlin 2004, ISBN 3-540-40371-X.

Weblinks

Einzelnachweise