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

Aus Wikiversity

\setcounter{section}{56}






\zwischenueberschrift{Übungsaufgaben}




\inputaufgabe
{}
{

Formuliere und beweise den \anfuehrung{Satz über die surjektive Abbildung}{.}

}
{} {}




\inputaufgabegibtloesung
{}
{

Betrachte die Abbildung \maabbeledisp {\varphi} {\R^2} {\R^3 } {(s,t)} { (s, -s-t^2, t^3) = (x,y,z) } {.}

a) Erstelle die \definitionsverweis {Jacobi-Matrix}{}{} von $\varphi$.

b) Bestimme die \definitionsverweis {regulären Punkte}{}{}
\mathl{(s,t)}{} von $\varphi$.

c) Zeige, dass
\mathl{\varphi(s,t)}{} die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ (x+y)^3+z^2 }
{ =} { 0 }
{ } { }
{ } { }
{ } { }
} {}{}{} erfüllt.

d) Zeige, dass die Abbildung injektiv ist.

}
{} {}




\inputaufgabegibtloesung
{}
{

Es sei
\mavergleichskettedisp
{\vergleichskette
{U }
{ =} {(\R_+ \times \R ) \setminus \{(2,4), (4,2) \} }
{ } { }
{ } { }
{ } { }
} {}{}{.} Begründe, ob die Abbildung \maabbeledisp {\varphi} {U} { \R^3 } {(x,y)} {(x+y,xy,x^y) = (u,v,w) } {.} injektiv ist oder nicht.

}
{} {}




\inputaufgabe
{}
{

Es sei $V$ ein \definitionsverweis {endlichdimensionaler}{}{} \definitionsverweis {reeller Vektorraum}{}{,}
\mavergleichskette
{\vergleichskette
{I }
{ \subseteq }{\R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {reelles Intervall}{}{,}
\mavergleichskette
{\vergleichskette
{U }
{ \subseteq }{V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine \definitionsverweis {offene Menge}{}{} und \maabbeledisp {f} {I\times U} {V } {(t,v)} {f(t,v) } {,} ein \definitionsverweis {Vektorfeld}{}{} auf $U$. Zeige die folgenden Aussagen.

a) Wenn $f$ \zusatzklammer {als Abbildung} {} {} \definitionsverweis {Lipschitz-stetig}{}{} ist, so genügt das Vektorfeld einer \definitionsverweis {Lipschitz-Bedingung}{}{.}

b) Wenn das Vektorfeld einer Lipschitz-Bedingung genügt, so sind für jedes feste
\mathl{t \in I}{} die Abbildungen \maabbeledisp {} {U} {V } {v} {f(t,v) } {,} Lipschitz-stetig.

c) Man gebe Beispiele, die zeigen, dass die Implikationen aus a) und b) nicht umkehrbar sind.

}
{} {}




\inputaufgabe
{}
{

Es sei
\mathl{(M,d)}{} ein \definitionsverweis {metrischer Raum}{}{} und sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine \definitionsverweis {Folge}{}{} in $M$, die gegen $x \in M$ \definitionsverweis {konvergiert}{}{.} Es sei $T$ eine Menge und es seien \maabbeledisp {f_n} {T} {M } {t} {f_n(t) = x_n } {,} die zu $x_n$ gehörenden \definitionsverweis {konstanten Funktionen}{}{.} Zeige, dass die Funktionenfolge ${ \left( f_n \right) }_{n \in \N }$ \definitionsverweis {gleichmäßig}{}{} gegen die konstante Funktion \maabbeledisp {f} {T} {M } {t} {f(t) = x } {,} konvergiert.

}
{} {}




\inputaufgabe
{}
{

Es sei $T$ eine \definitionsverweis {endliche}{}{} Menge und \maabbdisp {f_n} {T} {X } {} eine \definitionsverweis {Abbildungsfolge}{}{} in einen \definitionsverweis {metrischen Raum}{}{} $X$. Zeige, dass diese Folge genau dann \definitionsverweis {punktweise konvergiert}{}{,} wenn sie \definitionsverweis {gleichmäßig konvergiert}{}{.}

}
{} {}




\inputaufgabe
{}
{

Es sei
\mathl{(Y,d)}{} ein \definitionsverweis {metrischer Raum}{}{} und
\mavergleichskette
{\vergleichskette
{ T }
{ \subseteq }{ Y }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine Teilmenge. Es sei $T \subseteq \tilde{T} \subseteq \overline{ T }$ und \maabbdisp {g_n} {\tilde{T} } { {\mathbb K} } {} eine \definitionsverweis {Folge}{}{} von \definitionsverweis {stetigen Funktionen}{}{.} Zeige, dass diese Folge genau dann \definitionsverweis {gleichmäßig konvergiert}{}{,} wenn die auf $T$ \definitionsverweis {eingeschränkte}{}{} Folge $f_n=g_n {{|}} _T$ gleichmäßig konvergiert.

}
{} {}




\inputaufgabe
{}
{

Es sei $T$ eine Menge und $E$ ein \definitionsverweis {euklidischer Vektorraum}{}{.} Es sei
\mavergleichskette
{\vergleichskette
{ M }
{ = }{ \operatorname{Abb} \,(T,E) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} versehen mit der \definitionsverweis {Supremumsnorm}{}{.} Beweise die folgenden Eigenschaften für diese \anfuehrung{Norm}{} \zusatzklammer {dabei ist der Wert $\infty$ erlaubt und sinnvoll zu interpretieren} {} {.} \aufzaehlungvier{
\mavergleichskette
{\vergleichskette
{ \Vert {f} \Vert }
{ \geq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{ f }
{ \in }{ M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{
\mavergleichskette
{\vergleichskette
{ \Vert {f} \Vert }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} genau dann, wenn
\mavergleichskette
{\vergleichskette
{ f }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist. }{Für
\mavergleichskette
{\vergleichskette
{ \lambda }
{ \in }{ \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ f }
{ \in }{ M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gilt
\mavergleichskettedisp
{\vergleichskette
{ \Vert {\lambda f} \Vert }
{ =} { \betrag { \lambda } \cdot \Vert {f} \Vert }
{ } { }
{ } { }
{ } { }
} {}{}{.} }{Für
\mavergleichskette
{\vergleichskette
{ g,f }
{ \in }{M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gilt
\mavergleichskettedisp
{\vergleichskette
{ \Vert {g+f} \Vert }
{ \leq} { \Vert {g} \Vert + \Vert {f} \Vert }
{ } { }
{ } { }
{ } { }
} {}{}{.} }

}
{} {}




\inputaufgabe
{}
{

Es sei
\mathdisp {C=C^0([0,1], \R)} { }
die Menge der \definitionsverweis {stetigen Funktionen}{}{,} die mit der \definitionsverweis {Supremumsnorm}{}{} versehen sei. Skizziere zu $\epsilon>0$ die offene und die abgeschlossene $\epsilon$-Umgebung von einem
\mathl{f \in C}{.}

}
{} {}


Es sei $V$ ein ${\mathbb K}$-\definitionsverweis {Vektorraum}{}{.} Eine \definitionsverweis {Abbildung}{}{} \maabbeledisp {\Vert {-} \Vert} {V} {\R } {v} { \Vert {v} \Vert } {,} heißt \definitionswort {Norm}{,} wenn die folgenden Eigenschaften für alle
\mavergleichskette
{\vergleichskette
{ v,w }
{ \in }{V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gelten. \aufzaehlungvier{Es ist
\mavergleichskette
{\vergleichskette
{ \Vert {v} \Vert }
{ \geq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{ v }
{ \in }{ V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Es ist
\mavergleichskette
{\vergleichskette
{ \Vert {v} \Vert }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} genau dann, wenn
\mavergleichskette
{\vergleichskette
{v }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist. }{Für
\mavergleichskette
{\vergleichskette
{ \lambda }
{ \in }{ {\mathbb K} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ v }
{ \in }{ V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gilt
\mavergleichskettedisp
{\vergleichskette
{ \Vert {\lambda v} \Vert }
{ =} { \betrag { \lambda } \cdot \Vert {v} \Vert }
{ } { }
{ } { }
{ } { }
} {}{}{.} }{Für
\mavergleichskette
{\vergleichskette
{ v,w }
{ \in }{V }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gilt
\mavergleichskettedisp
{\vergleichskette
{ \Vert {v+w} \Vert }
{ \leq} { \Vert {v} \Vert + \Vert {w} \Vert }
{ } { }
{ } { }
{ } { }
} {}{}{.} }


Die Norm zu einem Skalarprodukt erfüllt diese Eigenschaften.




\inputaufgabe
{}
{

Es sei $T$ eine Menge und $E$ ein \definitionsverweis {euklidischer Vektorraum}{}{.} Es sei
\mavergleichskettedisp
{\vergleichskette
{M }
{ =} { { \left\{ f:T \rightarrow E \mid \Vert {f} \Vert_T < \infty \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} die Menge der beschränkten \definitionsverweis {Abbildungen}{}{} von $T$ nach $E$. Zeige, dass die \definitionsverweis {Supremumsnorm}{}{} auf $M$ eine \definitionsverweis {Norm}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Zeige, dass ein \definitionsverweis {normierter}{}{} $\R$-\definitionsverweis {Vektorraum}{}{} durch
\mavergleichskettedisp
{\vergleichskette
{d(u,v) }
{ \defeq} { \Vert {u-v} \Vert }
{ } { }
{ } { }
{ } { }
} {}{}{} zu einem \definitionsverweis {metrischen Raum}{}{} wird.

}
{} {}




\inputaufgabe
{}
{

Es sei $T$ eine Menge, $E$ ein \definitionsverweis {euklidischer Vektorraum}{}{} und
\mavergleichskettedisp
{\vergleichskette
{M }
{ =} { { \left\{ f:T \rightarrow E \mid \Vert {f} \Vert_T < \infty \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} die Menge der beschränkten \definitionsverweis {Abbildungen}{}{} von $T$ nach $E$. Zeige, dass eine Folge
\mathl{{ \left( f_n \right) }_{n \in \N }}{} aus $M$ genau dann gegen
\mavergleichskette
{\vergleichskette
{ f }
{ \in }{ M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \definitionsverweis {gleichmäßig konvergiert}{}{,} wenn diese Folge im durch die \definitionsverweis {Supremumsnorm}{}{} gegebenen \definitionsverweis {metrischen Raum}{}{} $M$ \definitionsverweis {konvergiert}{}{.}

}
{} {}




\inputaufgabe
{}
{

Es seien $L$ und $M$ \definitionsverweis {metrische Räume}{}{.} Zeige, dass die Menge $C$ der \definitionsverweis {stetigen Abbildungen}{}{} von $L$ nach $M$ durch
\mavergleichskettedisp
{\vergleichskette
{d(f,g) }
{ \defeq} { {\min { \left( {\operatorname{sup} \, ( d(f(x), g(x)) ,x \in L ) } , 1 \right) } } }
{ } { }
{ } { }
{ } { }
} {}{}{} zu einem metrischen Raum wird.

}
{} {}




\inputaufgabe
{}
{

Es seien $L$ und $M$ \definitionsverweis {metrische Räume}{}{,} wobei $M$ \definitionsverweis {vollständig}{}{} sei. Zeige, dass die Menge $C$ der stetigen Abbildungen von $L$ nach $M$ durch
\mavergleichskettedisp
{\vergleichskette
{d(f,g) }
{ \defeq} { {\min { \left( {\operatorname{sup} \, ( d(f(x), g(x)) ,x \in L ) } , 1 \right) } } }
{ } { }
{ } { }
{ } { }
} {}{}{} zu einem vollständigen metrischen Raum wird.

}
{} {}




\inputaufgabegibtloesung
{}
{

Es sei
\mavergleichskettedisp
{\vergleichskette
{b }
{ \geq} {1 }
{ \geq} {a }
{ >} {0 }
{ } { }
} {}{}{} fixiert und sei
\mavergleichskettedisp
{\vergleichskette
{M }
{ =} { { \left\{ f: [a,b] \rightarrow [a,b] \mid f \text{ stetig} \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{.}

a) Zeige, dass die Abbildung \maabbeledisp {H} {M} {M } {f} {H(f) = \sqrt{f} } {,} wohldefiniert ist.

b) Es sei nun zusätzlich
\mavergleichskette
{\vergleichskette
{a }
{ > }{ { \frac{ 1 }{ 4 } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass die Abbildung $H$ aus a) eine \definitionsverweis {starke Kontraktion}{}{} ist \zusatzklammer {wobei $M$ mit der Maximumsnorm versehen sei} {} {.}

c) Zeige, dass $M$ durch die Maximumsnorm ein vollständiger metrischer Raum wird.

d) Bestimme den Fixpunkt von $H$.

}
{} {}




\inputaufgabe
{}
{

Es sei \maabbdisp {f} {I \times U} {V } {} ein \definitionsverweis {stetiges}{}{} \definitionsverweis {Vektorfeld}{}{,} das auf einer \definitionsverweis {offenen Menge}{}{}
\mathl{U \subseteq V}{} eines \definitionsverweis {endlichdimensionalen}{}{} \definitionsverweis {reellen Vektorraums}{}{} definiert sei und \definitionsverweis {lokal einer Lipschitz-Bedingung}{}{} genüge. Es sei
\mathl{W \subseteq V}{} ein \definitionsverweis {Untervektorraum}{}{} mit der Eigenschaft, dass für alle
\mathl{t \in I}{} und
\mathl{P \in U \cap W}{} die Beziehung
\mathl{f(t,P) \in W}{} gilt. Zeige, dass eine \definitionsverweis {Lösung des Anfangswertproblems}{}{}
\mathdisp {v'=f(t,v) \text{ mit } v(t_0)=w \in U \cap W} { }
ganz in $W$ verläuft.

}
{} {}




\inputaufgabe
{}
{

Löse das Anfangswertproblem
\mathdisp {y^{\prime} = y+1 \text{ mit } y(0)=0} { . }
mit der \definitionsverweis {Picard-Lindelöf-Iteration}{}{.}

}
{} {}




\inputaufgabe
{}
{

Bestimme in Beispiel 56.7 eine explizite Formel für die Iterationen $\varphi_n$.

}
{} {}




\inputaufgabegibtloesung
{}
{

Bestimme die ersten drei Iterationen in der \definitionsverweis {Picard-Lindelöf-Iteration}{}{} für die \definitionsverweis {gewöhnliche Differentialgleichung}{}{}
\mavergleichskettedisp
{\vergleichskette
{y' }
{ =} {y^2+t+yt^2 }
{ } { }
{ } { }
{ } { }
} {}{}{} mit der Anfangsbedingung
\mathl{y(0)=0}{.}

}
{} {}




\inputaufgabe
{}
{

Bestimme die ersten vier Iterationen in der \definitionsverweis {Picard-Lindelöf-Iteration}{}{} für die \definitionsverweis {lineare gewöhnliche Differentialgleichung mit konstanten Koeffizienten}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} x \\y \end{pmatrix}' }
{ =} { \begin{pmatrix} -1 & 3 \\ 2 & 4 \end{pmatrix} \begin{pmatrix} x \\y \end{pmatrix} }
{ } { }
{ } { }
{ } { }
} {}{}{} mit der Anfangsbedingung \mathkor {} {x(0)=2} {und} {y(0)=-7} {.}

}
{} {}




\inputaufgabe
{}
{

Bestimme die ersten vier Iterationen in der \definitionsverweis {Picard-Lindelöf-Iteration}{}{} für die \definitionsverweis {lineare gewöhnliche Differentialgleichung}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} x \\y \end{pmatrix}' }
{ =} { \begin{pmatrix} -t & t^2 \\ 2 & t \end{pmatrix} \begin{pmatrix} x \\y \end{pmatrix} }
{ } { }
{ } { }
{ } { }
} {}{}{} mit der Anfangsbedingung \mathkor {} {x(0)=1} {und} {y(0)=-1} {.}

}
{} {}






\zwischenueberschrift{Aufgaben zum Abgeben}




\inputaufgabe
{4}
{

Wir betrachten das \definitionsverweis {Vektorfeld}{}{} \maabbeledisp {f} {\R \times \R^2} {\R^2 } {(t,u,v)} {(t^2uv,u^2-tv^2) } {.} Bestimme für jedes
\mavergleichskette
{\vergleichskette
{ t }
{ \in }{ \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die nicht-\definitionsverweis {regulären}{}{} Punkte des Vektorfeldes \maabbeledisp {f_t} {\R^2} {\R^2 } {(u,v)} {(t^2uv,u^2-tv^2) } {.} Welche Ortspunkte sind zu keinem Zeitpunkt regulär?

}
{} {}




\inputaufgabe
{4}
{

Löse das \definitionsverweis {Anfangswertproblem}{}{}
\mathdisp {v'=f(t,v) \text{ und } v(1)= (3,2,6)} { }
zum \definitionsverweis {ortsunabhängigen Vektorfeld}{}{} \maabbeledisp {f} {\R \times \R^3} {\R^3 } {(t,x,y,z)} { t^3(3,1,4)-e^{-2t}(2,-1,7)+(t-t^2 e^t )(0,4,5)+(2,2,2) } {.}

}
{} {}




\inputaufgabe
{3}
{

Bestimme die ersten vier Iterationen in der \definitionsverweis {Picard-Lindelöf-Iteration}{}{} für die \definitionsverweis {lineare gewöhnliche Differentialgleichung mit konstanten Koeffizienten}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} x \\y \end{pmatrix}' }
{ =} { \begin{pmatrix} 2 & 1 \\ 0 & 3 \end{pmatrix} \begin{pmatrix} x \\y \end{pmatrix} }
{ } { }
{ } { }
{ } { }
} {}{}{} mit der Anfangsbedingung \mathkor {} {x(0)=4} {und} {y(0)=5} {.}

}
{} {}




\inputaufgabe
{5}
{

Bestimme die ersten vier Iterationen in der \definitionsverweis {Picard-Lindelöf-Iteration}{}{} für die \definitionsverweis {lineare gewöhnliche Differentialgleichung}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} x \\y \end{pmatrix}' }
{ =} { \begin{pmatrix} t^2 & -1 \\ t & t^3 \end{pmatrix} \begin{pmatrix} x \\y \end{pmatrix} }
{ } { }
{ } { }
{ } { }
} {}{}{} mit der Anfangsbedingung \mathkor {} {x(0)=1} {und} {y(0)=1} {.}

}
{} {}




\inputaufgabe
{5}
{

Es sei \maabbdisp {\gamma} {[a,b]} {\R^n } {} eine \definitionsverweis {stetig differenzierbare}{}{} \definitionsverweis {reguläre Kurve}{}{.} Zeige, dass die \definitionsverweis {Faser}{}{} über jedem Punkt
\mavergleichskette
{\vergleichskette
{ c }
{ \in }{ \R^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} endlich ist.

}
{} {}




\inputaufgabe
{6}
{

Es sei
\mathl{G \subseteq \R^m}{} offen und \maabbdisp {\varphi} {G} {\R^n } {} eine in $P \in G$ \definitionsverweis {total differenzierbare Abbildung}{}{} mit \definitionsverweis {injektivem}{}{} \definitionsverweis {totalen Differential}{}{.} Zeige, dass es eine \definitionsverweis {offene Umgebung}{}{} $U$ von $P$ mit
\mavergleichskette
{\vergleichskette
{ \varphi^{-1}(\varphi(P)) \cap U }
{ = }{ \{P\} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gibt.

}
{} {Tipp: Betrachte das totale Differential auf der Einheitssphäre. Der Satz über die injektive Abbildung ist hier nicht anwendbar.}




\inputaufgabe
{4}
{

Es sei $T \subseteq \R^n$ eine \definitionsverweis {kompakte Teilmenge}{}{} und $E$ ein \definitionsverweis {euklidischer Vektorraum}{}{.} Es sei
\mathl{C= C^0 (T,E)}{} der Raum der stetigen Abbildungen von $T$ nach $E$, versehen mit der \definitionsverweis {Supremumsnorm}{}{.} Es seien
\mathl{x_1 , \ldots , x_n \in T}{} und
\mathl{y_1 , \ldots , y_n \in E}{} Punkte. Zeige, dass die Teilmenge
\mathdisp {{ \left\{ f \in C \mid f(x_1) = y_1 , \ldots , f(x_n) = y_n \right\} }} { }
\definitionsverweis {abgeschlossen}{}{} in $C$ ist.

}
{} {}




\inputaufgabe
{4}
{

Es sei
\mathl{M_k=({(a_{ij} })_k)_{1 \leq i \leq m, 1 \leq j \leq n}}{} eine Folge von reellen
\mathl{m\times n}{-}Matrizen und \maabbdisp {\varphi_k} {\R^n} {\R^m } {} die zugehörige Folge von linearen Abbildungen. Zeige, dass die Folgen der Einträge
\mathl{({a_{ij} })_k}{} für alle
\mathl{i,j}{} genau dann konvergieren, wenn die Folge der Abbildungen \definitionsverweis {punktweise konvergiert}{}{.}

}
{} {}




\inputaufgabe
{4}
{

Es sei $T$ eine Menge und \maabbdisp {f_n} {T} {\R^m } {} eine Folge von Abbildungen. Zeige, dass $f_n$ genau dann gegen eine \definitionsverweis {Grenzabbildung}{}{} \maabbdisp {f} {T} {\R^m } {} \definitionsverweis {gleichmäßig konvergiert}{}{,} wenn die \definitionsverweis {Komponentenfunktionen}{}{}
\mathl{(f_i)_n}{} \definitionsverweis {gleichmäßig}{}{} gegen $f_i$ konvergieren.

}
{} {}