Mehrdimensionale Kettenregel
# Mehrdimensionale Kettenregel

Die mehrdimensionale Kettenregel oder verallgemeinerte Kettenregel ist in der mehrdimensionalen Analysis eine Verallgemeinerung der Kettenregel von Funktionen einer Variablen auf Funktionen und Abbildungen mehrerer Variablen. Sie besagt, dass die Verkettung von (total) differenzierbaren Abbildungen bzw. Funktionen differenzierbar ist und gibt an, wie sich die Ableitung dieser Abbildung berechnet.

## Mehrdimensionale Ableitungen

Ist $f\colon \mathbb {R} ^{n}\to \mathbb {R} ^{m}$ eine differenzierbare Abbildung, so ist die Ableitung von $f$ im Punkt $p\in \mathbb {R} ^{n}$, geschrieben $f'(p)\,$, $Df(p)$ oder $Df_{p}$, eine lineare Abbildung, die Vektoren im Punkt $p\in \mathbb {R} ^{n}$ auf Vektoren im Bildpunkt $f(p)\in \mathbb {R} ^{m}$ abbildet. Man kann sie durch die Jacobi-Matrix darstellen, die mit $J_{f}(p)$, ${\frac {\partial f}{\partial x}}(p)$ oder auch mit $Df(p)$ bezeichnet wird, und deren Einträge die partiellen Ableitungen sind:
    $J_{f}(p)=\left({\frac {\partial f_{i}}{\partial x_{j}}}(p)\right)_{ij}={\begin{pmatrix}{\frac {\partial f_{1}}{\partial x_{1}}}(p)&\ldots &{\frac {\partial f_{1}}{\partial x_{n}}}(p)\\\vdots &&\vdots \\{\frac {\partial f_{m}}{\partial x_{1}}}(p)&\ldots &{\frac {\partial f_{m}}{\partial x_{n}}}(p)\end{pmatrix}}$
Die Kettenregel besagt nun, dass die Ableitung der Verkettung zweier Abbildungen gerade die Verkettung der Ableitungen ist, bzw. dass die Jacobi-Matrix der Verkettung das Matrizenprodukt der Jacobi-Matrix der äußeren Funktion mit der Jacobi-Matrix der inneren Funktion ist.

## Satz

Sind $f\colon \mathbb {R} ^{n}\to \mathbb {R} ^{l}$ und $g\colon \mathbb {R} ^{l}\to \mathbb {R} ^{m}$ differenzierbare Abbildungen, so ist auch die Verkettung $h=g\circ f\colon \mathbb {R} ^{n}\to \mathbb {R} ^{m}$ differenzierbar. Ihre Ableitung im Punkt $p\in \mathbb {R} ^{n}$ ist die Hintereinanderausführung der Ableitung von $f$ im Punkt $p$ und der Ableitung von $g$ im Punkt $f(p)$:
    $D(g\circ f)_{p}=Dg_{f(p)}\circ Df_{p}$
bzw.
    $(g\circ f)'(p)=g'(f(p))\circ f'(p).$
Für die Jacobi-Matrizen gilt entsprechend:
    $J_{g\circ f}(p)=J_{g}(f(p))\cdot J_{f}(p)$,
bzw.
    ${\frac {\partial (g\circ f)}{\partial x}}(p)={\frac {\partial g}{\partial y}}(f(p))\cdot {\frac {\partial f}{\partial x}}(p)$
wobei der Punkt die Matrizenmultiplikation bezeichnet. Hier werden die Koordinaten im Definitionsbereich $\mathbb {R} ^{n}$ von $f$ mit $x=(x_{1},\dots ,x_{n})$ bezeichnet, die Koordinaten im Bildraum $\mathbb {R} ^{l}$ von $f$ und damit dem Definitionsbereich von $g$ mit $y=(y_{1},\dots ,y_{l})$. Ausgeschrieben mit den Komponenten der Abbildungen und den partiellen Ableitungen:
    ${\frac {\partial h_{i}}{\partial x_{j}}}(p)=\sum _{k=1}^{l}{\frac {\partial g_{i}}{\partial y_{k}}}(f(p))\cdot {\frac {\partial f_{k}}{\partial x_{j}}}(p)$

### Höhere Differenzierbarkeit

Sind, für ein $k\in \mathbb {N}$, die Abbildungen $f$ und $g$ von der Klasse $C^{k}$, das heißt $k$-mal stetig differenzierbar, so ist auch $g\circ f$ von der Klasse $C^{k}$. Dies ergibt sich durch wiederholtes Anwenden der Kettenregel und der Produktregel auf die partiellen Ableitungen der Komponentenfunktionen.

## Spezialfall n = m = 1

Häufig möchte man die Ableitung einer gewöhnlichen reellen Funktion $h\colon \mathbb {R} \to \mathbb {R}$ bestimmen, die aber über einen mehrdimensionalen „Umweg“ definiert ist:
    $h=g\circ f$ mit $f\colon \mathbb {R} \to \mathbb {R} ^{l}$ und $g\colon \mathbb {R} ^{l}\to \mathbb {R}$.
In diesem Fall lässt sich die Kettenregel wie folgt schreiben:
    $h'(x)={\frac {\partial g}{\partial y_{1}}}(f(x))\cdot f_{1}'(x)+\dots +{\frac {\partial g}{\partial y_{l}}}(f(x))\cdot f_{l}'(x)=\operatorname {grad} \ g(f(x))\cdot f'(x)$
Der letzte Malpunkt bezeichnet dabei das Skalarprodukt zwischen zwei Vektoren, dem Gradienten
    $\operatorname {grad} \ g=\nabla g=\left({\frac {\partial g}{\partial y_{1}}},\ldots ,{\frac {\partial g}{\partial y_{l}}}\right)^{\top }$
der Funktion $g$, ausgewertet an der Stelle $f(x)$, und der vektorwertigen Ableitung
    $f'(x)=\left(f_{1}'(x),\ldots ,f_{l}'(x)\right)$ der Abbildung $f$.

### Kettenregel und Richtungsableitung

Für den Spezialfall $f\colon \mathbb {R} \to \mathbb {R} ^{l}$, $f(t)=a+tv$, mit $a,v\in \mathbb {R} ^{l}$, ist
    $(g\circ f)'(0)=\left.{\frac {d}{dt}}\right|_{t=0}g(a+tv)=D_{v}g(a)$
die Richtungsableitung von $g$ im Punkt $a$ in Richtung des Vektors $v$. Aus der Kettenregel folgt dann
    $(g\circ f)'(0)=\operatorname {grad} \ g(f(0))\cdot f'(0)=\operatorname {grad} \ g(a)\cdot v.$
Es ergibt sich also die übliche Formel für die Berechnung der Richtungsableitung:
    $D_{v}g(a)=\operatorname {grad} \ g(a)\cdot v$

## Beispiel

    $h(x)=g(\cos x,\sin x)$
In diesem Beispiel bildet $g$ die äußere Funktion, abhängig von $y=(y_{1},y_{2})$. Somit ist
    $g'(y)={\begin{pmatrix}{\frac {\partial g}{\partial y_{1}}}&{\frac {\partial g}{\partial y_{2}}}\end{pmatrix}}$
Als innere Funktion setzen wir $f(x)=(f_{1}(x),f_{2}(x))=(\cos x,\sin x)$, abhängig von der reellen Variablen $x$. Ableiten ergibt
    $f'(x)={\begin{pmatrix}f_{1}'(x)\\f_{2}'(x)\end{pmatrix}}={\begin{pmatrix}-\sin x\\\cos x\end{pmatrix}}$
Nach der allgemeinen Kettenregel gilt daher:
    ${\begin{aligned}h'(x)&=g'(f(x))\cdot f'(x)=\left.{\begin{pmatrix}{\frac {\partial g}{\partial y_{1}}}&{\frac {\partial g}{\partial y_{2}}}\end{pmatrix}}\right|_{y=f(x)}\cdot {\begin{pmatrix}-\sin x\\\cos x\end{pmatrix}}\\&=-\sin {x}\cdot {\frac {\partial g}{\partial y_{1}}}(\cos {x},\sin {x})+\cos {x}\cdot {\frac {\partial g}{\partial y_{2}}}(\cos {x},\sin {x})\end{aligned}}$

## Ein additives Beispiel mittels Substitution

Um die Ableitung von $\displaystyle f(x)=x^{x}$ zu ermitteln, kann man die Funktion zum Beispiel $x^{x}=e^{x\ln x}$ schreiben und dann die Ketten- und Produktregel anwenden, was zu der Ableitung
    $f'(x)=e^{x\ln x}\left(x\cdot {\frac {1}{x}}+1\cdot \ln x\right)=x^{x}+x^{x}\ln x$
führt. Eine alternative Möglichkeit der Ableitung dagegen bestünde in der Anwendung der mehrdimensionalen Kettenregel:
Sei die Funktion $\displaystyle g(u,v)={u}^{v}$, lauten ihre beiden 1. partiellen Ableitungen ${\frac {\partial g}{\partial u}}=v\,u^{v-1}$ und – aufgrund der Umformung $\displaystyle u^{v}=e^{v\ln u}$ leicht einzusehen – ${\frac {\partial g}{\partial v}}=u^{v}\ln u$. Ersetzt man nun $u$ und $v$ durch die beiden Hilfsfunktionen $\displaystyle h_{1}(x)=x$ und $h_{2}(x)=x$, ergibt sich mit $\displaystyle f(x)=g(h_{1}(x),h_{2}(x))$ und og. mehrdimensionaler Kettenregel:
    $f'(x)={\frac {\partial g}{\partial u}}(x,x)\,h_{1}'(x)+{\frac {\partial g}{\partial v}}(x,x)\,h_{2}'(x)=x\,x^{x-1}\cdot 1+x^{x}\ln x\cdot 1=x^{x}+x^{x}\ln x$
Diese Vorgehensweise kann man etwa so beschreiben:
* Man leitet $x^{x}$ nach dem $x$ in der Basis ab, wobei man das $x$ im Exponenten als eine Konstante betrachtet,
* man leitet $x^{x}$ nach dem $x$ im Exponenten ab, wobei man das $x$ in der Basis als eine Konstante betrachtet,
* man addiert die Ergebnisse.
Der „Trick“ hierbei ist, dass man $x$ in der Basis und $x$ im Exponenten, obwohl sie gleichlauten, unterscheidet.
Diese Herleitung ist allgemein anwendbar, z. B. liefert sie ganz einfach auch die Leibnizregel für Parameterintegrale.

## Verallgemeinerung auf differenzierbare Mannigfaltigkeiten

Sind $M$ und $N$ differenzierbare Mannigfaltigkeiten und $f\colon M\to N$ eine differenzierbare Abbildung, so ist die Ableitung $\,f'(p)$ oder $Df_{p}$ von $f$ im Punkt $p\in M$ eine lineare Abbildung vom Tangentialraum von $M$ im Punkt $p$ in den Tangentialraum von $N$ im Bildpunkt $f(p)$:
    $Df_{p}\colon T_{p}M\to T_{f(p)}N$
Andere Bezeichnungen dafür sind: Differential (dann oft $df_{p}$ geschrieben), Pushforward ($f_{\ast p}$) und Tangentialabbildung ($T_{p}f$).
Die Kettenregel besagt dann: Sind $M$, $N$ und $P$ differenzierbare Mannigfaltigkeiten und ist $h=g\circ f\colon M\to P$ die Verkettung der differenzierbaren Abbildungen $f\colon M\to N$ und $g\colon N\to P$, so ist auch $h$ differenzierbar und für die Ableitung im Punkt $p\in M$ gilt:
    $Dh_{p}=Dg_{f(p)}\circ Df_{p}$

## Kettenregel für Fréchet-Ableitungen

Die Kettenregel gilt ganz entsprechend für Fréchet-Ableitungen.
Gegeben seien Banach-Räume $X$, $Y$ und $Z$, offene Teilmengen $U\subset X$ und $V\subset Y$ und Abbildungen $B\colon U\to Y$ und $A\colon V\to Z$.
Ist $B$ an der Stelle $\varphi \in U$ und $A$ an der Stelle $B(\varphi )\in V$ differenzierbar, so ist auch die Verkettung $A\circ B\colon U\to Z$ an der Stelle $\varphi$ differenzierbar und es gilt
    $(A\circ B)'(\varphi )=A'(B(\varphi ))\circ B'(\varphi )$