Kurs:Mathematik für Anwender (Osnabrück 2020-2021)/Teil II/Arbeitsblatt 49/latex

\setcounter{section}{49}






\zwischenueberschrift{Übungsaufgaben}




\inputaufgabe
{}
{

Leite aus der allgemeinen Kettenregel die Kettenregel für Funktionen in einer Variablen ab.

}
{} {}





\inputaufgabe
{}
{

Leite aus der allgemeinen Kettenregel die Kettenregel für differenzierbare Kurven \zusatzklammer {für eine differenzierbare Kurve \maabb {f} {J} {V } {} und eine differenzierbare Umparametrisierung \maabb {h} {I} {J } {}} {} {} ab.

}
{} {}




\inputaufgabe
{}
{

Es sei $I \subseteq \R$ ein \definitionsverweis {reelles Intervall}{}{} und seien \maabbdisp {f,g} {I} {\R } {} zwei \definitionsverweis {differenzierbare Funktionen}{}{.} Beweise die Produktregel aus der allgemeinen Kettenregel unter Verwendung von Aufgabe 48.4.

}
{} {}




\inputaufgabe
{}
{

Es sei $V$ ein \definitionsverweis {endlichdimensionaler}{}{} $\R$-\definitionsverweis {Vektorraum}{}{} und
\mavergleichskette
{\vergleichskette
{ G }
{ \subseteq }{ V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine \definitionsverweis {offene}{}{} Teilmenge. Weiter seien \maabb {f,g} {G } {\R } {} zwei in
\mavergleichskette
{\vergleichskette
{ P }
{ \in }{ G }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \definitionsverweis {differenzierbare Funktionen}{}{.} Wende die Kettenregel und Aufgabe 48.4 auf das Diagramm
\mathdisp {G \stackrel{f,g} \longrightarrow \R \times \R \stackrel{\operatorname{mult} } \longrightarrow \R} { }
an, um zu zeigen, dass die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ \left(D(f \cdot g)\right)_{P} }
{ =} { g(P) \cdot \left(Df \right)_{P} + f(P) \cdot \left(Dg\right)_{P} }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

}
{} {}




\inputaufgabegibtloesung
{}
{

Bestätige die Kettenregel für
\mathl{g \circ f}{} für die beiden differenzierbaren Abbildungen \maabbeledisp {f} {\R} {\R^2 } {t} {(t^3-t,-t^2) } {,} und \maabbeledisp {g} {\R^2} {\R } {(x,y)} {xy+x+y } {.}

}
{} {}




\inputaufgabe
{}
{

Bestätige die Kettenregel anhand der beiden Abbildungen \maabbeledisp {\varphi} { {\mathbb R}^2 } { {\mathbb R}^3 } {(u,v)} {(u^2v^2,u+ \sin v,v^3) } {,} und \maabbeledisp {\psi} { {\mathbb R}^3} { {\mathbb R}^2 } {(x,y,z)} {(x^2y-z^2,xy^2 +yz \exp x ) } {,} und ihrer Komposition
\mathl{\psi \circ \varphi}{} in folgenden Schritten. \aufzaehlungfuenf{Berechne für einen beliebigen Punkt
\mathl{P \in {\mathbb R}^2}{} das \definitionsverweis {totale Differential}{}{}
\mathl{\left(D\varphi\right)_{P}}{} mit Hilfe von \definitionsverweis {partiellen Ableitungen}{}{.} }{Berechne für einen beliebigen Punkt
\mathl{Q \in {\mathbb R}^3}{} das totale Differential
\mathl{\left(D\psi\right)_{Q}}{} mit Hilfe von partiellen Ableitungen. }{Berechne explizit die Komposition \maabb {\psi \circ \varphi} { {\mathbb R}^2} { {\mathbb R} ^2 } {.} }{Berechne direkt mit partiellen Ableitungen in einem Punkt
\mathl{P \in {\mathbb R}^2}{} das totale Differential von \maabb {\psi \circ \varphi} { {\mathbb R}^2} { {\mathbb R}^2 } {.} }{Berechne das totale Differential von \maabb {\psi \circ \varphi} { {\mathbb R}^2} { {\mathbb R}^2 } {} in einem Punkt
\mathl{P \in {\mathbb R}^2}{} mit Hilfe der Kettenregel und den Teilen (1) und (2). }

}
{} {}




\inputaufgabe
{}
{

Es seien
\mathl{G \subseteq \R^m}{} und
\mathl{D \subseteq \R^n}{} \definitionsverweis {offene Mengen}{}{,} und \maabb {f} {G} {\R^n } {} und \maabb {g} {D} {\R^k } {} \definitionsverweis {Abbildungen}{}{} derart, dass
\mathl{f(G) \subseteq D}{} gilt. Es sei weiter angenommen, dass $f$ in
\mathl{P \in G}{} und $g$ in
\mathl{f(P) \in D}{} \definitionsverweis {total differenzierbar}{}{} ist. Zeige
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ \partial (g \circ f)_j }{ \partial x_i } } (P) }
{ =} { \left( { \frac{ \partial g_j }{ \partial y_1 } } (f(P)) , \, \ldots , \, { \frac{ \partial g_j }{ \partial y_m } } (f(P)) \right) \begin{pmatrix} { \frac{ \partial f_1 }{ \partial x_i } } (P) \\ \vdots\\ { \frac{ \partial f_m }{ \partial x_i } } (P) \end{pmatrix} }
{ } { }
{ } { }
{ } {}
} {}{}{.}

}
{} {}





\inputaufgabe
{}
{

Es seien \maabbdisp {\varphi} {V} {W } {} und \maabbdisp {\psi} {W} {U } {} in
\mavergleichskette
{\vergleichskette
{P }
{ \in }{V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} bzw. in
\mavergleichskette
{\vergleichskette
{\varphi(P) }
{ \in }{W }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \definitionsverweis {total differenzierbare}{}{} Abbildungen. Es sei
\mavergleichskette
{\vergleichskette
{v }
{ \in }{V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein Vektor. Zeige mit der Kettenregel, dass
\mavergleichskettedisp
{\vergleichskette
{ { \left( D_{v} ( \psi \circ \varphi) \right) } { \left( P \right) } }
{ =} { { \left( D_{ { \left( D\varphi \right) }_{P} { \left( v \right) } } ( \psi) \right) } { \left( \varphi(P) \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

}
{} {}




\inputaufgabe
{}
{

Es seien
\mavergleichskette
{\vergleichskette
{G }
{ \subseteq }{ {\mathbb R}^m }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{D }
{ \subseteq }{ {\mathbb R}^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \definitionsverweis {offene Mengen}{}{,} und \maabb {f} {G} { {\mathbb R}^n } {} und \maabb {g} {D} { {\mathbb R}^k } {} \definitionsverweis {Abbildungen}{}{} derart, dass
\mavergleichskette
{\vergleichskette
{ f(G) }
{ \subseteq }{D }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gilt. Es sei weiter angenommen, dass $f$ und $g$ \definitionsverweis {stetig differenzierbar}{}{} sind. Zeige, dass auch
\mathl{g \circ f}{} stetig differenzierbar ist.

}
{} {}




\inputaufgabe
{}
{

Man gebe ein Beispiel für \definitionsverweis {partiell differenzierbare}{}{} Funktionen \maabb {f} {\R^n} {\R^m } {} und \maabb {g} {\R^m} {\R^k } {} derart, dass
\mathl{g \circ f}{} nicht partiell differenzierbar ist.

}
{} {}




\inputaufgabe
{}
{

Man gebe ein Beispiel für \definitionsverweis {partiell differenzierbare}{}{} Funktionen \maabb {f} {\R^n} {\R^m } {} und \maabb {g} {\R^m} {\R^k } {} derart, dass auch
\mathl{g \circ f}{} partiell differenzierbar ist, dass aber
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Jak}(g \circ f )_P }
{ =} { \operatorname{Jak}(g )_{ f(P)} \circ \operatorname{Jak}( f )_P }
{ } { }
{ } { }
{ } {}
} {}{}{} nicht gilt.

}
{} {}




\inputaufgabe
{}
{

Es seien
\mavergleichskette
{\vergleichskette
{G }
{ \subseteq }{ {\mathbb R}^m }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{D }
{ \subseteq }{ {\mathbb R}^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \definitionsverweis {offene Mengen}{}{,} und \maabb {f} {G} { {\mathbb R}^n } {} und \maabb {g} {D} { {\mathbb R}^k } {} \definitionsverweis {Abbildungen}{}{} derart, dass
\mavergleichskette
{\vergleichskette
{ f(G) }
{ \subseteq }{D }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gilt. Es sei weiter angenommen, dass $f$ und $g$ $\ell$-fach \definitionsverweis {stetig differenzierbar}{}{} sind. Zeige, dass auch
\mathl{g \circ f}{} $\ell$-fach stetig differenzierbar ist.

}
{} {}




\inputaufgabe
{}
{

Es sei \maabbdisp {f} {\R} {\R } {} eine Funktion. Zeige, dass die Funktion \maabbeledisp {\varphi} {\R^2} {\R } {(x,y)} {xf(y) } {,} genau dann im Punkt
\mathl{(0,0)}{} \definitionsverweis {total differenzierbar}{}{} ist, wenn $f$ in $0$ \definitionsverweis {stetig}{}{} ist.

}
{} {}





\inputaufgabe
{}
{

Es seien \mathkor {} {V} {und} {W} {} \definitionsverweis {euklidische Vektorräume}{}{,}
\mavergleichskette
{\vergleichskette
{ G }
{ \subseteq }{ V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \definitionsverweis {offen}{}{} und sei \maabbdisp {\varphi} {G} {W } {} eine \definitionsverweis {Abbildung}{}{.} Zeige, dass $\varphi$ genau dann \definitionsverweis {stetig differenzierbar}{}{} ist, wenn $\varphi$ \definitionsverweis {total differenzierbar}{}{} ist und wenn die Abbildung \maabbeledisp {} {G} { \operatorname{Hom} \, (V,W) } {P} { \left(D\varphi\right)_{P} } {,} \definitionsverweis {stetig}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Es sei \maabbdisp {f} { \R^n} { \R^n } {} \definitionsverweis {differenzierbar}{}{} im Nullpunkt und sei
\mathl{{(h_m)}_{m \in \N }}{} eine \definitionsverweis {Folge}{}{} in
\mathl{\R^n \setminus \{ 0\}}{} mit
\mathdisp {\lim_{m \to \infty} h_m = 0, \lim_{m \to \infty} \frac{h_m}{ \Vert {h_m} \Vert } = v \in \R^n, f(h_m) = f(h_k) \text { für alle } m,k \in \N} { . }
Zeige, dass $v$ ein \definitionsverweis {Eigenvektor}{}{} von $\left(Df\right)_{0}$ zum \definitionsverweis {Eigenwert}{}{} $0$ ist.

}
{} {}






\zwischenueberschrift{Aufgaben zum Abgeben}




\inputaufgabe
{5 (1+1+1+1+1)}
{

Wir wollen die Kettenregel anhand der beiden Abbildungen \maabbeledisp {\varphi} { {\mathbb R} ^2 } { {\mathbb R}^3 } {(u,v)} {(uv,u-v,v^2) } {,} und \maabbeledisp {\psi} { {\mathbb R}^3} { {\mathbb R}^2 } {(x,y,z)} {(xyz^2,y \exp(xz)) } {,} und ihrer Komposition
\mathl{\psi \circ \varphi}{} veranschaulichen. \aufzaehlungfuenf{Berechne für einen beliebigen Punkt
\mavergleichskette
{\vergleichskette
{P }
{ \in }{ {\mathbb R}^2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} das \definitionsverweis {totale Differential}{}{}
\mathl{\left(D\varphi\right)_{P}}{} mit Hilfe von \definitionsverweis {partiellen Ableitungen}{}{.} }{Berechne für einen beliebigen Punkt
\mavergleichskette
{\vergleichskette
{Q }
{ \in }{ {\mathbb R}^3 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} das totale Differential
\mathl{\left(D\psi\right)_{Q}}{} mit Hilfe von partiellen Ableitungen. }{Berechne explizit die Komposition \maabb {\psi \circ \varphi} { {\mathbb R}^2} { {\mathbb R}^2 } {.} }{Berechne direkt mit partiellen Ableitungen in einem Punkt
\mavergleichskette
{\vergleichskette
{P }
{ \in }{ {\mathbb R}^2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} das totale Differential von \maabb {\psi \circ \varphi} { {\mathbb R}^2} { {\mathbb R}^2 } {.} }{Berechne das totale Differential von \maabb {\psi \circ \varphi} { {\mathbb R}^2} { {\mathbb R}^2 } {} in einem Punkt
\mavergleichskette
{\vergleichskette
{P }
{ \in }{ {\mathbb R}^2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit Hilfe der Kettenregel und den Teilen (1) und (2). }

}
{} {}




\inputaufgabe
{8}
{

Wir betrachten die Funktionen
\mathdisp {\R^2 \stackrel{f}{\longrightarrow} \R^3 \stackrel{g}{\longrightarrow} \R^2 \stackrel{h}{\longrightarrow} \R^2} { }
mit
\mathdisp {f(u,v) = (u^2,uv,u-v^2)} { , }

\mathdisp {g(x,y,z) = (x+y^2-z,x^2yz)} { , }
und
\mathdisp {h(r,s) = (r^2s,s^2)} { . }
Berechne das \definitionsverweis {totale Differential}{}{} von
\mathl{h \circ g \circ f}{} in einem beliebigen Punkt
\mathl{P=(u,v)}{} auf vier verschiedene Arten.

}
{} {}




\inputaufgabe
{3}
{

Es sei $V$ ein \definitionsverweis {endlichdimensionaler}{}{} \definitionsverweis {reeller Vektorraum}{}{} und sei \maabbdisp {\varphi} {V} {V } {} eine \definitionsverweis {differenzierbare Abbildung}{}{.} Zeige, dass $\varphi$ genau dann eine \definitionsverweis {Verschiebung}{}{} ist, also von der Art
\mathl{P \mapsto P+v}{} mit einem festen Vektor
\mavergleichskette
{\vergleichskette
{ v }
{ \in }{ V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} wenn
\mavergleichskettedisp
{\vergleichskette
{ \left(D\varphi\right)_{P} }
{ =} { \operatorname{Id}_{ V } }
{ } { }
{ } { }
{ } { }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{ P }
{ \in }{ V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist.

}
{} {}




\inputaufgabe
{4}
{

Es sei \maabbdisp {f} {\R^n} {\R^m \setminus \{ 0\} } {} eine \definitionsverweis {differenzierbare Abbildung}{}{.} Zeige, dass dann auch die Abbildung \maabbeledisp {} {\R^n} {\R } {P} { \Vert {f(P)} \Vert } {,} differenzierbar ist und bestimme das \definitionsverweis {totale Differential}{}{} davon.

}
{} {}




\inputaufgabe
{4}
{

Es seien $V$ und $W$ \definitionsverweis {endlichdimensionale}{}{} ${\mathbb R}$-\definitionsverweis {Vektorräume}{}{,}
\mavergleichskette
{\vergleichskette
{G }
{ \subseteq }{V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine \definitionsverweis {offene Mengen}{}{,}
\mavergleichskette
{\vergleichskette
{P }
{ \in }{G }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein Punkt, \maabb {\varphi} {G} {W } {} und \maabb {f} {G} { {\mathbb R} } {} in $P$ \definitionsverweis {differenzierbare Abbildungen}{}{.} Zeige, dass dann die Produktabbildung \maabbdisp {f \cdot \varphi} {G} {W } {} in $P$ differenzierbar ist mit
\mavergleichskettedisp
{\vergleichskette
{ \left(D(f \cdot \varphi)\right)_{P} }
{ =} { f(P) \cdot \left(D \varphi\right)_{P} + \left(Df\right)_{P} \cdot \varphi (P) }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}
{} {Tipp: Verwende Aufgabe 48.12 und die Kettenregel.}




\inputaufgabe
{10}
{

Man gebe ein Beispiel für eine \definitionsverweis {differenzierbare Kurve}{}{} \maabbdisp {\varphi} { \R} { \R^n } {} und eine \definitionsverweis {stetige Funktion}{}{} \maabbdisp {f} {\R^n} {\R } {,} für die die \definitionsverweis {Richtungsableitung}{}{} in jede Richtung existiert, derart, dass die Verknüpfung \maabbdisp {f \circ \varphi} {\R} {\R } {} nicht differenzierbar ist.

}
{} {}