# Richtungsableitung/K/Einführung/Textabschnitt

Wir stellen uns vor, wir sind an einem Ort im Gebirge und entschließen uns, in eine bestimmte Richtung, beispielsweise nach Nordwest zu gehen, egal was kommen mag. Damit machen wir sämtliche Steigungen und Abhänge mit, die das Gebirge uns in dieser vorgegebenen Richtung bietet. Dabei lernen wir nur den Höhenverlauf des Gebirges entlang dieses linearen Ausschnitts (Querschnitts) kennen. Durch die gewählte Richtung bewegen wir uns auf dem Graphen zu einer Funktion in einer einzigen Variablen, nämlich einer Variablen der Grundgeraden. Dies ist die Grundidee der Richtungsableitung .

## Definition

Es seien $V$ und $W$ endlichdimensionale normierte Vektorräume, $G\subseteq V$ eine offene Teilmenge, und $f\colon G\rightarrow W$ eine Abbildung. Weiter sei $P\in G$ ein Punkt und $v\in V$ ein fixierter Vektor. Dann heißt $f$ differenzierbar in $P$ in Richtung $v$, falls der Grenzwert
    $\operatorname {lim} _{s\rightarrow 0,s\neq 0}\,{\frac {f(P+sv)-f(P)}{s}}$
existiert. In diesem Fall heißt dieser Grenzwert die Ableitung von $f$ in $P$ in Richtung $v$. Er wird mit
    ${\left(D_{v}f\right)}{\left(P\right)}$
bezeichnet.
Den Ausdruck
    ${\frac {f(P+sv)-f(P)}{s}}$
nennt man wieder den Differenzenquotienten im Punkt $P$ in Richtung $v$ von $0$ bis $s$. Er misst die Durchschnittsrichtung (oder Durchschnittssteigung bei $W=\mathbb {R}$) von $f$ in Richtung $v$ für das Zeitintervall $[0,s]$. Die Richtungsableitung in einem Punkt und in eine Richtung ist selbst ein Vektor in $W$. Bei $W={\mathbb {K} }$ ist die Richtungsableitung eine reelle oder komplexe Zahl.

## Beispiel

Wir betrachten die Abbildung
    $f\colon {\mathbb {K} }^{2}\longrightarrow {\mathbb {K} },\,(x,y)\longmapsto x^{2}y,$
in einem Punkt $P=(a_{1},a_{2})$ in Richtung $v=(v_{1},v_{2})$. Der Differenzenquotient ist
    ${\begin{aligned}{\frac {f(P+sv)-f(P)}{s}}&={\frac {f((a_{1}+sv_{1},a_{2}+sv_{2}))-f((a_{1},a_{2}))}{s}}\\&={\frac {(a_{1}+sv_{1})^{2}(a_{2}+sv_{2})-a_{1}^{2}a_{2}}{s}}\\&={\frac {a_{1}^{2}a_{2}+2sa_{1}a_{2}v_{1}+s^{2}a_{2}v_{1}^{2}+sa_{1}^{2}v_{2}+2s^{2}a_{1}v_{1}v_{2}+s^{3}v_{1}^{2}v_{2}-a_{1}^{2}a_{2}}{s}}\\&=2a_{1}a_{2}v_{1}+a_{1}^{2}v_{2}+s(a_{2}v_{1}^{2}+2a_{1}v_{1}v_{2})+s^{2}(v_{1}^{2}v_{2}).\,\end{aligned}}$
Für $s\rightarrow 0$ gehen die beiden hinteren Summanden gegen $0$, sodass sich insgesamt
    $\operatorname {lim} _{s\rightarrow 0}\,{\frac {f(P+sv)-f(P)}{s}}=2a_{1}a_{2}v_{1}+a_{1}^{2}v_{2}\,$
ergibt.
Im Punkt $P=(2,5)$ ergibt sich in Richtung $v=(1,-3)$ beispielsweise die Richtungsableitung
    $2\cdot 2\cdot 5\cdot 1+2^{2}\cdot (-3)=8\,.$

## Beispiel

Es seien $V$ und $W$ endlichdimensionale ${\mathbb {K} }$-Vektorräume und sei
    $L\colon V\longrightarrow W$
eine lineare Abbildung. Dann existiert die Richtungsableitung in jedem Punkt $P\in V$ und in jede Richtung $v\in V$, und zwar ist
    ${\left(D_{v}L\right)}{\left(P\right)}=L(v)\,,$
insbesondere ist also die Richtungsableitung unabhängig vom Punkt. Dies folgt direkt durch Betrachten des Differenzenquotienten; es ist nämlich
    ${\frac {L(P+sv)-L(P)}{s}}={\frac {L(P)+sL(v)-L(P)}{s}}={\frac {sL(v)}{s}}=L(v)\,.$
Daher ist auch der Limes für $s\rightarrow 0$ gleich $L(v)$.
Die Existenz von ${\left(D_{v}f\right)}{\left(P\right)}$ hängt nur von der Abbildung $U{\left(0,\delta \right)}\longrightarrow W$, $s\longmapsto f(P+sv)$, ab (wobei das Intervall $U{\left(0,\delta \right)}$ (im reellen Fall) bzw. der offene Ball (im komplexen Fall) so gewählt ist, dass $s\in U{\left(0,\delta \right)}$ auch $P+sv\in G$ impliziert. D.h. dass $U{\left(P,\delta \right)}\subseteq G$ gilt). Daher kann man die Richtungsableitung im Wesentlichen auf die Ableitung von Kurven zurückführen.

## Lemma

Es seien $V$ und $W$ endlichdimensionale ${\mathbb {K} }$-Vektorräume, $G\subseteq V$ eine offene Teilmenge, und $f\colon G\rightarrow W$ eine Abbildung. Es sei $P\in G$ ein Punkt und $v\in V$ ein fixierter Vektor.
Dann ist $f$ in $P$ in Richtung $v$ genau dann differenzierbar, wenn die (auf einem Intervall bzw. einer offenen Ballumgebung um $0\in {\mathbb {K} }$ definierte) Kurve

### Beweis

$\Box$

## Beispiel

Wir bestimmen die Richtungsableitung zur Funktion
    $f\colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ,\,(x,y)\longmapsto x^{2}-xy^{2}+\sin(xy),$
im Punkt $P=(3,4)$ in Richtung $v=\left(2,\,-5\right)$. Dazu müssen wir die Hilfsfunktion
    $h\colon \mathbb {R} \longrightarrow \mathbb {R} ,\,t\longmapsto h(t)=f(P+tv),$
im Nullpunkt ableiten. Es ist
    ${\begin{aligned}h(t)&=f(P+tv)\\&=f(3+2t,4-5t)\\&=(3+2t)^{2}-(3+2t)(4-5t)^{2}+\sin((3+2t)(4-5t))\\&=9+12t+4t^{2}-48+88t+5t^{2}-50t^{3}+\sin \left(12-7t-10t^{2}\right)\\&=-39+100t+9t^{2}-50t^{3}+\sin \left(12-7t-10t^{2}\right).\end{aligned}}$
Die Ableitung von dieser Funktion im Nullpunkt ist
    $h'(0)=100-7\cos 12\,,$
also ist
    $(D_{(2,-5)}f)(3,4)=100-7\cos 12\,.$

## Lemma

Es seien $V$ und $W$ endlichdimensionale ${\mathbb {K} }$-Vektorräume, sei $G\subseteq V$ offen, $P\in G$ ein Punkt, $v\in V$ ein Vektor und seien
    $f,g\colon G\longrightarrow W$
Abbildungen, die im Punkt $P$ in Richtung $v$ differenzierbar seien. Dann gelten folgende Aussagen.

### Beweis

Die Eigenschaften (1) und (2) ergeben sich aus den entsprechenden Eigenschaften für Limiten von Abbildungen, siehe Fakt. Für die Eigenschaft (3) siehe Aufgabe.
$\Box$
Im Rahmen der Theorie des totalen Differentials wird die Frage beantwortet, wie sich die Richtungsableitungen zu verschiedenen Richtungen zueinander verhalten. Ohne weitere Voraussetzung gibt es keine Beziehung zwischen ${\left(D_{v}f\right)}{\left(P\right)},\,{\left(D_{w}f\right)}{\left(P\right)}$ und ${\left(D_{v+w}f\right)}{\left(P\right)}$.

## Beispiel

Es sei $S^{1}\subseteq \mathbb {R} ^{2}$ der Einheitskreis und
    $\psi \colon S^{1}\longrightarrow \mathbb {R}$
eine Funktion mit der Eigenschaft
    $\psi (-P)=-\psi (P)\,.$
Mit dieser Funktion definieren wir
    $\varphi \colon \mathbb {R} ^{2}\longrightarrow \mathbb {R}$
durch
    $\varphi (x,y):={\begin{cases}{\sqrt {x^{2}+y^{2}}}\cdot \psi {\left({\frac {(x,y)}{\sqrt {x^{2}+y^{2}}}}\right)}{\text{ für }}(x,y)\neq 0\,,\\0{\text{ sonst}}\,.\end{cases}}\,$
Der Graph dieser Funktion besteht aus einem Büschel von Geraden durch den Nullpunkt. Insbesondere existieren im Nullpunkt sämtliche Richtungsableitungen. Da man aber $\psi$ willkürlich vorgeben kann, haben die Richtungsableitungen nichts miteinander zu tun.
Wenn im Werteraum eine Basis gegeben ist, so kann man die Richtungsableitung komponentenweise bestimmen.

## Lemma

Es seien $V$ und $W$ endlichdimensionale ${\mathbb {K} }$-Vektorräume, sei $G\subseteq V$ offen, $P\in G$ ein Punkt und sei $v\in V$ ein Vektor. Es sei
    $\varphi \colon G\longrightarrow W$
eine Abbildung. Dann gelten folgende Aussagen.

### Beweis

Die erste Aussage folgt aus der zweiten, wenn man für die einzelnen Vektorräume $W_{j}$ Basen einführt (umgekehrt ist auch der zweite Teil ein Spezialfall des ersten). Die zweite Aussage folgt aus Aufgabe oder aus Fakt in Verbindung mit Fakt.
$\Box$
Aufgrund von diesem Lemma muss man vor allem die Richtungsableitung für den Fall verstehen, wo der Wertebereich gleich ${\mathbb {K} }$ ist.
Das folgende einfache Beispiel zeigt, dass durchaus alle Richtungsableitungen (und zwar in jedem Punkt) existieren können, die Abbildung selbst aber noch nicht einmal stetig sein muss.

## Beispiel

Wir betrachten die Funktion $f\colon \mathbb {R} ^{2}\rightarrow \mathbb {R}$ mit
    $f(x,y):=\,$
Für einen Vektor $v=(a,b)$ und einen reellen Parameter $s$ erhalten wir auf der Geraden $\mathbb {R} v$ die Funktion
    $f_{v}\colon \mathbb {R} \longrightarrow \mathbb {R} ,\,s\longmapsto f(sa,sb)={\frac {sas^{3}b^{3}}{s^{2}a^{2}+s^{6}b^{6}}}={\frac {s^{2}ab^{3}}{a^{2}+s^{4}b^{6}}}.$
Für $a\neq 0$ ist der Nenner stets positiv und die Funktion $f_{v}$ ist stetig mit dem Wert $0$ bei $s=0$, und als rationale Funktion in $s$ differenzierbar. Für $a=0$ ist die Funktion $f_{v}$ konstant $=0$ und damit ebenfalls differenzierbar. Also existieren in $0$ alle Richtungsableitungen zu $f$. Die Funktion $f$ ist allerdings nicht stetig: Für die Folge $(1/n^{3},1/n)$ (die gegen $0=\left(0,\,0\right)$ konvergiert) gilt
    $f{\left({\frac {1}{n^{3}}},{\frac {1}{n}}\right)}={\frac {(1/n^{3})(1/n^{3})}{(1/n^{6})+(1/n^{6})}}={\frac {1}{2}}\,,$
aber $f(0,0)=0$.
Im Allgemeinen möchte man nicht nur in einem einzigen Punkt $P\in V$ ableiten können, sondern in jedem Punkt, was durch die folgende naheliegende Definition präzisiert wird.

## Definition

Seien $V$ und $W$ endlichdimensionale ${\mathbb {K} }$-Vektorräume sei $G\subseteq V$ eine offene Teilmenge, sei $f\colon G\rightarrow W$ eine Abbildung und $v\in V$ ein fixierter Vektor. Dann heißt $f$ differenzierbar in Richtung $v$, falls $f$ in jedem Punkt $P\in G$ in Richtung $v$ differenzierbar ist. In diesem Fall heißt die Abbildung
    $D_{v}f\colon G\longrightarrow W,\,P\longmapsto {\left(D_{v}f\right)}{\left(P\right)},$
die Richtungsableitung von $f$ in Richtung $v$.
Die Richtungsableitung zu einem fixierten Vektor ist also vom selben Typ wie die Ausgangsabbildung.

## Beispiel

Wir betrachten die polynomiale Funktion
    $f\colon {\mathbb {K} }^{n}\longrightarrow {\mathbb {K} },\,(x_{1},\ldots ,x_{n})\longmapsto x_{1}\cdots x_{n}.$
Die Richtungsableitung in Richtung $v=(v_{1},\ldots ,v_{n})$ in einem beliebigen Punkt
    $P=(x_{1},\ldots ,x_{n})\,$
ergibt sich durch Betrachten des Differenzenquotienten, also
    ${\begin{aligned}{\frac {(x_{1}+sv_{1})\cdot (x_{2}+sv_{2})\cdots (x_{n}+sv_{n})-x_{1}\cdot x_{2}\cdots x_{n}}{s}}&={\frac {x_{1}\cdot x_{2}\cdots x_{n}+s{\left(\sum _{i=1}^{n}v_{i}{\frac {x_{1}\cdots x_{n}}{x_{i}}}\right)}+s^{2}g(s,x_{1},\ldots ,x_{n},v_{1},\ldots ,v_{n})-x_{1}\cdot x_{2}\cdots x_{n}}{s}}\\&=\sum _{i=1}^{n}v_{i}{\frac {x_{1}\cdots x_{n}}{x_{i}}}+s\cdot g(s,x_{1},\ldots ,x_{n},v_{1},\ldots ,v_{n}).\,\end{aligned}}$
Dabei ist $g(s,x_{1},\ldots ,x_{n},v_{1},\ldots ,v_{n})$ eine polynomiale Funktion in $s$ (die $x_{1},\ldots ,x_{n}$ und die $v_{1},\ldots ,v_{n}$ sind fixierte Zahlen). Der Limes von $s\cdot g(s,x_{1},\ldots ,x_{n},v_{1},\ldots ,v_{n})$ geht für $s\rightarrow 0$ gegen $0$. Daher ist
    ${\left(D_{v}f\right)}{\left(P\right)}=\sum _{i=1}^{n}v_{i}{\frac {x_{1}\cdots x_{n}}{x_{i}}}\,.$
In den Aufgaben werden wir sehen, dass die Richtungsableitung zu einer polynomialen Funktion in jede Richtung existiert und selbst wieder polynomial ist. Dies wird sich auch einfach im Rahmen des totalen Differentials ergeben.