Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Teil II/Vorlesung 46/latex
\setcounter{section}{46}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Waeller331.jpg} }
\end{center}
\bildtext {Vorli mag so ziemlich alles. Nur Handies findet sie blöd. Sie sind definitiv nix zum Fressen. Aber auch nix zum Spielen, da sie ablenken, ohne zu zerstreuen.} }
\bildlizenz { Waeller331.jpg } {} {Odatrulle} {Commons} {CC-by-sa 4.0} {}
Wir beschäftigen uns nun mit der Differentialrechnung für Abbildungen mit höherdimensionalem Definitionsbereich. Dazu seien zwei reelle endlichdimensionale Vektorräume
\mathkor {} {V} {und} {W} {}
gegeben. Ferner sei
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine offene Teilmenge und
\maabbdisp {f} {G} {W
} {}
eine Abbildung. Diese Abbildung wollen wir \anfuehrung{differenzieren}{.} Anders als in den bisher behandelten Situationen gibt es bei einem höherdimensionalen Definitionsbereich mehrere nicht äquivalente Konzepte von Differenzierbarkeit. Wir werden nacheinander die \stichwort {Richtungsableitung} {,} \stichwort {partielle Ableitungen} {} und das \stichwort {totale Differential} {} sowie ihre Beziehungen untereinander diskutieren. Wir werden durchgehend voraussetzen, dass die Vektorräume euklidisch sind.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Monkey_Saddle_Surface_(Shaded).png} }
\end{center}
\bildtext {} }
\bildlizenz { Monkey Saddle Surface (Shaded).png } {} {Inductiveload} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Feldberg_3913.jpg} }
\end{center}
\bildtext {} }
\bildlizenz { Feldberg 3913.jpg } {} {Flominator} {Commons} {CC-by-sa 3.0} {}
Es ist erstmal keine große Einschränkung, wenn man den Zielraum als
\mavergleichskette
{\vergleichskette
{W
}
{ = }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ansetzt. Als Definitionsmenge kann man sich zunächst auf
\mavergleichskette
{\vergleichskette
{G
}
{ = }{V
}
{ = }{\R^2
}
{ }{
}
{ }{
}
}
{}{}{}
beschränken, und sich vorstellen, dass die Abbildung jedem Grundpunkt
\mavergleichskette
{\vergleichskette
{(x,y)
}
{ \in }{\R^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
einen Höhepunkt zuordnet, so dass die Abbildung insgesamt ein Gebirge über einer Grundfläche beschreibt.
\zwischenueberschrift{Richtungsableitung}
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 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 \stichwort {Richtungsableitung} {.}
\inputdefinition
{
}
{
Es seien
\mathkor {} {V} {und} {W} {}
endlichdimensionale normierte Vektorräume,
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine offene Teilmenge, und
\maabb {f} {G} {W
} {}
eine Abbildung. Weiter sei
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt und
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein fixierter Vektor. Dann heißt $f$ \definitionswort {differenzierbar in $P$ in Richtung}{} $v$, falls der
\definitionsverweis {Grenzwert}{}{}
\mathdisp {\operatorname{lim}_{ s \rightarrow 0, s \neq 0 } \, \frac{ f(P + sv) - f(P) } {s}} { }
existiert. In diesem Fall heißt dieser Grenzwert \definitionswort {die Ableitung von $f$ in $P$ in Richtung $v$}{.} Er wird mit
\mathdisp {{ \left( D_{v} f \right) } { \left( P \right) }} { }
bezeichnet.
}
Der Ausdruck
\mathdisp {{ \frac{ f(P+sv)-f(P) }{ s } }} { }
heißt wieder \stichwort {Differenzenquotient} {.} Die Existenz von
\mathl{{ \left( D_{v} f \right) } { \left( P \right) }}{} hängt nur von der Abbildung
\maabbele {h} {I} {W
} {s} {f(P+sv)
} {,}
ab
\zusatzklammer {wobei das Intervall
\mavergleichskettek
{\vergleichskettek
{I
}
{ = }{ U { \left( 0,\delta \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
so gewählt ist, dass
\mavergleichskettek
{\vergleichskettek
{s
}
{ \in }{ U { \left( 0,\delta \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auch
\mavergleichskettek
{\vergleichskettek
{P+sv
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
impliziert} {} {.}
Mit dieser Hilfsabbildung $h$ gilt
\mavergleichskettedisp
{\vergleichskette
{h'(0)
}
{ =} { \operatorname{lim}_{ s \rightarrow 0, s \neq 0 } \, { \frac{ h(s) - h(0) }{ s } }
}
{ =} { \operatorname{lim}_{ s \rightarrow 0, s \neq 0 } \, { \frac{ f(P + sv)-f(P) }{ s } }
}
{ =} {(D_vf)(P)
}
{ } {
}
}
{}{}{,}
wobei links die Ableitung zu einer Kurve steht.
Die Richtungsableitung in einem Punkt und in eine Richtung ist selbst ein Vektor in $W$. Bei
\mavergleichskette
{\vergleichskette
{W
}
{ = }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Richtungsableitung eine reelle Zahl.
\inputbeispiel{}
{
Wir betrachten die
\definitionsverweis {Abbildung}{}{}
\maabbeledisp {f} { {\mathbb R}^2 } { {\mathbb R}
} {(x,y)} {x^2y
} {,}
in einem Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ = }{(a_1,a_2)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in Richtung
\mavergleichskette
{\vergleichskette
{v
}
{ = }{(v_1,v_2)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Der Differenzenquotient ist
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ { \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^2a_2 }{ s } }
}
{ =} { { \frac{ a_1^2a_2+ 2sa_1a_2v_1 +s^2a_2v_1^2 + s a_1^2v_2 +2s^2a_1v_1v_2 + s^3 v_1^2v_2 -a_1^2a_2 }{ s } }
}
{ =} { 2a_1a_2v_1 +a_1^2v_2 + s(a_2v_1^2 +2 a_1v_1v_2) + s^2( v_1^2v_2 )
}
}
{}{}{.}
Für
\mathl{s \rightarrow 0}{} gehen die beiden hinteren Summanden gegen $0$, so dass sich insgesamt
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{lim}_{ s \rightarrow 0 } \, { \frac{ f(P+sv)-f(P) }{ s } }
}
{ =} { 2a_1a_2v_1 +a_1^2v_2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt.
Im Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ = }{(2,5)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt sich in Richtung
\mavergleichskette
{\vergleichskette
{v
}
{ = }{ (1,-3)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
beispielsweise die Richtungsableitung
\mavergleichskettedisp
{\vergleichskette
{2 \cdot 2 \cdot 5 \cdot 1 + 2^2 \cdot (-3)
}
{ =} {8
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputbeispiel{}
{
Es seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {endlichdimensionale}{}{}
${\mathbb R}$-\definitionsverweis {Vektorräume}{}{}
und sei
\maabbdisp {L} {V} {W
} {}
eine
\definitionsverweis {lineare Abbildung}{}{.}
Dann existiert die
\definitionsverweis {Richtungsableitung}{}{}
in jedem Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und in jede Richtung
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und zwar ist
\mavergleichskettedisp
{\vergleichskette
{ { \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
\mavergleichskettedisp
{\vergleichskette
{ { \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
\definitionsverweis {Limes}{}{}
für
\mathl{s \rightarrow 0}{} gleich $L(v)$.
}
Typischerweise berechnet man die Richtungsableitung nicht über eine direkte Grenzwertbetrachtung, sondern über die Hilfsfunktion
\mavergleichskette
{\vergleichskette
{ h(t)
}
{ = }{ f(P+tv)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {in den nächsten Vorlesungen werden wir noch den Zusammenhang zu partiellen Ableitungen kennenlernen, der ebenfalls für Berechnungen gut geeignet ist} {} {.}
\inputbeispiel{}
{
Wir bestimmen die
\definitionsverweis {Richtungsableitung}{}{}
zur Funktion
\maabbeledisp {f} { \R^2} {\R
} {(x,y)} {x^2-xy^2+ \sin (xy)
} {,}
im Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ = }{(3,4)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in Richtung
\mavergleichskette
{\vergleichskette
{v
}
{ = }{ \left( 2 , \, -5 \right)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dazu müssen wir die Hilfsfunktion
\maabbeledisp {h} {\R} {\R
} {t} { h(t) = f(P+tv)
} {,}
im Nullpunkt ableiten. Es ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{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)
}
}
{
\vergleichskettefortsetzungalign
{ =} { -39+100t+9t^2 -50t^3+ \sin \left( 12 -7t -10t^2 \right)
}
{ } {
}
{ } {}
{ } {}
}
{}{.}
Die Ableitung von dieser Funktion im Nullpunkt ist
\mavergleichskettedisp
{\vergleichskette
{ h'(0)
}
{ =} { 100 -7 \cos 12
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also ist
\mavergleichskettedisp
{\vergleichskette
{ (D_{(2,-5)} f) (3,4)
}
{ =} { 100 -7 \cos 12
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputfaktbeweis
{Richtungsableitung/R/Elementare Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {endlichdimensionale}{}{}
${\mathbb R}$-\definitionsverweis {Vektorräume}{}{,}
sei
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
offen,
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt,
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Vektor und seien
\maabbdisp {f,g} {G} {W
} {}
\definitionsverweis {Abbildungen}{}{,}}
\faktvoraussetzung {die im Punkt $P$ in Richtung $v$
\definitionsverweis {differenzierbar}{}{}
seien.}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungdrei{Die Summe
\mathl{f+g}{} ist ebenfalls differenzierbar in Richtung $v$ mit
\mavergleichskettedisp
{\vergleichskette
{ { \left( D_{v} (f+g) \right) } { \left( P \right) }
}
{ =} { { \left( D_{v} f \right) } { \left( P \right) } + { \left( D_{v} g \right) } { \left( P \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Das Produkt $af$ mit
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{ {\mathbb R}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist ebenfalls differenzierbar in Richtung $v$ mit
\mavergleichskettedisp
{\vergleichskette
{ { \left( D_{v} (a f) \right) } { \left( P \right) }
}
{ =} { a { \left( D_{v} f \right) } { \left( P \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Die Funktion $f$ ist auch in Richtung
\mathbed {cv} {mit}
{c \in {\mathbb R}} {}
{} {} {} {}
differenzierbar und es gilt
\mavergleichskettedisp
{\vergleichskette
{ { \left( D_{ cv} f \right) } { \left( P \right) }
}
{ =} { c { \left( D_{v} f \right) } { \left( P \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
Die Eigenschaften (1) und (2) ergeben sich aus den entsprechenden Eigenschaften für \definitionsverweis {Limiten von Abbildungen}{}{,} siehe Fakt *****. Für die Eigenschaft (3) siehe Aufgabe 46.17.
Im Rahmen der Theorie des totalen Differentials wird die Frage beantwortet, wie sich die Richtungsableitungen zu verschiedenen Richtungen zueinander verhalten. Wenn im Werteraum eine Basis gegeben ist, so kann man die Richtungsableitung komponentenweise bestimmen.
\inputfaktbeweis
{Richtungsableitung/R/Basis/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {endlichdimensionale}{}{}
reelle
\definitionsverweis {Vektorräume}{{Vorlage:Def}{,}
sei
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
offen,
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt und sei
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Vektor. Es sei
\maabbdisp {\varphi} {G} {W
} {}
eine Abbildung. Es sei
\mathl{w_1 , \ldots , w_n}{} eine
\definitionsverweis {Basis}{}{}
von $W$ und seien $\varphi_j$ die Koordinatenfunktionen zu $\varphi$ bezüglich dieser Basis.}
\faktfolgerung {Dann ist $\varphi$ in $P$ in Richtung $v$ genau dann differenzierbar, wenn sämtliche
\maabbdisp {\varphi_j} {G} { \R
} {}
in $P$ in Richtung $v$ differenzierbar sind. In diesem Fall ist
\mavergleichskettedisp
{\vergleichskette
{ { \left( D_{v} \varphi \right) } { \left( P \right) }
}
{ =} { { \left( { \left( D_{v} \varphi_1 \right) } { \left( P \right) } , \ldots , { \left( D_{v} \varphi_n \right) } { \left( P \right) } \right) }
}
{ =} { w_1 { \left( D_{v} \varphi_1 \right) } { \left( P \right) } + \cdots + w_n { \left( D_{v} \varphi_n \right) } { \left( P \right) }
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt aus allgemeinen Aufgabe 37.5 oder aus Lemma 37.5 in Verbindung mit Aufgabe 46.6.
Aufgrund von diesem Lemma muss man vor allem die Richtungssableitung für den Fall verstehen, wo der Wertebereich gleich $\R$ ist.
Das folgende einfache Beispiel zeigt, dass durchaus alle Richtungsableitungen existieren können, die Abbildung selbst aber noch nicht einmal stetig sein muss.
\inputbeispiel{}
{
Wir betrachten die Funktion
\maabb {f} {\R^2} {\R
} {}
mit
\mathdisp {f(x,y) \defeq \begin{cases} \frac{ xy^3 } { x^2+y^6 } \text{ für } (x,y) \neq (0,0) \, , \\ 0 \text{ für } (x,y) = (0,0) \, .\end{cases}} { }
Für einen Vektor
\mavergleichskette
{\vergleichskette
{v
}
{ = }{(a,b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einen reellen Parameter $s$ erhalten wir auf der Geraden $\R v$ die Funktion
\maabbeledisp {f_v} {\R } {\R
} {s} {f(sa,sb) = \frac{ sas^3b^3 } { s^2 a^2 + s^6b^6 } = \frac{ s^2 ab^3 } {a^2 + s^4 b^6}
} {.}
Für
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist der Nenner stets positiv und die Funktion $f_v$ ist stetig mit dem Wert $0$ bei
\mavergleichskette
{\vergleichskette
{s
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und als
\definitionsverweis {rationale Funktion}{}{}
in $s$ differenzierbar. Für
\mavergleichskette
{\vergleichskette
{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
\mathl{(1/n^3,1/n)}{}
\zusatzklammer {die gegen
\mavergleichskettek
{\vergleichskettek
{0
}
{ = }{ \left( 0 , \, 0 \right)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
konvergiert} {} {}
gilt
\mavergleichskettedisp
{\vergleichskette
{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
\mavergleichskette
{\vergleichskette
{ f(0,0)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
Im vorstehenden Beispiel besteht kein enger Zusammenhang zwischen den Richtungsableitungen in verschiedene Richtungen. Wir werden später sehen, dass unter stärkeren Voraussetzungen die Zuordnung \maabbeledisp {} {V} {W } {v} { { \left( D_{v} f \right) } { \left( P \right) } } {,} linear ist.
Im Allgemeinen möchte man nicht nur in einem einzigen Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ableiten können, sondern in jedem Punkt, was durch die folgende naheliegende Definition präzisiert wird.
\inputdefinition
{}
{
Seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {euklidische Vektorräume}{}{,}
sei
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {offene Teilmenge}{}{,}
sei
\maabb {f} {G} {W
} {}
eine Abbildung und
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein fixierter Vektor. Dann heißt $f$ \definitionswort {differenzierbar in Richtung}{} $v$, falls $f$ in jedem Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in Richtung $v$
\definitionsverweis {differenzierbar}{}{}
ist. In diesem Fall heißt die Abbildung
\maabbeledisp {D_{ v} f} {G} {W
} {P} { { \left( D_{v} f \right) } { \left( P \right) }
} {,}
die \definitionswort {Richtungsableitung}{} von $f$ in Richtung $v$.
} Die Richtungsableitung zu einem fixierten Vektor ist also vom selben Typ wie die Ausgangsabbildung.
\zwischenueberschrift{Polynomiale Funktionen}
\inputbeispiel{}
{
Wir betrachten die
\definitionsverweis {polynomiale Funktion}{}{}
\maabbeledisp {f} { {\mathbb R}^n } { {\mathbb R}
} {(x_1 , \ldots , x_n)} {x_1 \cdots x_n
} {.}
Die
\definitionsverweis {Richtungsableitung}{}{}
in Richtung
\mavergleichskette
{\vergleichskette
{v
}
{ = }{(v_1 , \ldots , v_n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem beliebigen Punkt
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {(x_1 , \ldots , x_n)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt sich durch Betrachten des Differenzenquotienten, also
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ { \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 )
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei ist
\mathl{g(s, x_1 , \ldots , x_n,v_1 , \ldots , v_n )}{} eine polynomiale Funktion in $s$
\zusatzklammer {die \mathlk{x_1 , \ldots , x_n}{} und die \mathlk{v_1 , \ldots , v_n}{} sind fixierte Zahlen} {} {.}
Der
\definitionsverweis {Limes}{}{}
von
\mathl{s \cdot g(s, x_1 , \ldots , x_n,v_1 , \ldots , v_n )}{} geht für
\mathl{s \rightarrow 0}{} gegen $0$. Daher ist
\mavergleichskettedisp
{\vergleichskette
{ { \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.