Kurs:Analysis (Osnabrück 2013-2015)/Teil III/Arbeitsblatt 86/latex

\setcounter{section}{86}

\zwischenueberschrift{Aufwärmaufgaben}

\inputaufgabe
{}
{

Bestimme die \definitionsverweis {äußere Ableitung}{}{} der $1$-\definitionsverweis {Differentialform}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \omega }
{ =} { (x^2-y^3)dx+x^3y^2dy }
{ } { }
{ } { }
{ } { }
} {}{}{} auf dem $\R^2$.

}
{} {}

\inputaufgabe
{}
{

Bestimme die \definitionsverweis {äußere Ableitung}{}{} der $1$-\definitionsverweis {Differentialform}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \omega }
{ =} { xy^2dx+yzdy+x^3dz }
{ } { }
{ } { }
{ } { }
} {}{}{} auf dem $\R^3$.

}
{} {}

\inputaufgabegibtloesung
{}
{

Berechne die \definitionsverweis {äußere Ableitung}{}{} $d \omega$ der $1$-\definitionsverweis {Differentialform}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \omega }
{ =} { { \frac{ x^2 }{ y } } dx- { \frac{ x }{ y^2 } } dy }
{ } { }
{ } { }
{ } { }
} {}{}{} auf
\mavergleichskette
{\vergleichskette
{ U }
{ = }{ { \left\{ (x,y) \in \R^2 \mid y \neq 0 \right\} } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

}
{} {}

\inputaufgabegibtloesung
{}
{

Berechne die äußere Ableitung $d \omega$ der Differentialform
\mathdisp {\omega = e^{xz} dx \wedge dy - xyz dx \wedge dz +( \sin ( \cos (xy) ) +y^{10}z^{100} ) dy \wedge dz} { }
auf dem
\mathl{\R^3}{.}

}
{} {}

\inputaufgabegibtloesung
{}
{

Es sei \maabbeledisp {f} {\R} {\R } {t} {f(t) } {,} die durch
\mavergleichskettedisp
{\vergleichskette
{ f(t) }
{ =} { { \frac{ \sin^{ 3 } (t^4) }{ 1+t^2 } } }
{ } { }
{ } { }
{ } { }
} {}{}{} gegeben ist.

a) Berechne die äußere Ableitung von $f$.

b) Berechne die äußere Ableitung von $fdt$.

}
{} {}

\inputaufgabe
{}
{

Bestimme die \definitionsverweis {äußere Ableitung}{}{} der $2$-\definitionsverweis {Differentialform}{}{}
\mathdisp {\omega = xdx \wedge dy+xy^2zdy \wedge dz+xe^ydx\wedge dz} { }
auf dem $\R^3$.

}
{} {}

\inputaufgabegibtloesung
{}
{

Zeige, dass die $1$-\definitionsverweis {Differentialform}{}{}
\mavergleichskette
{\vergleichskette
{ \omega }
{ = }{ (2x- \sin y )dx-x\cos ydy }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} auf dem $\R^2$ \definitionsverweis {geschlossen}{}{} und auch \definitionsverweis {exakt}{}{} ist.

}
{} {}

\inputaufgabe
{}
{

Es sei $\omega$ eine \definitionsverweis {differenzierbare}{}{} \definitionsverweis {Differentialform}{}{} auf einer Mannigfaltigkeit $M$ und \maabb {\varphi} {L} {M } {} eine auf der Mannigfaltigkeit $L$ definierte differenzierbare Abbildung.

\aufzaehlungzwei {Es sei $\omega$ \definitionsverweis {exakt}{}{.} Zeige, dass auch die zurückgezogene Differentialform $\varphi^*\omega$ exakt ist. } {Es sei $\omega$ \definitionsverweis {geschlossen}{}{.} Zeige, dass auch die \definitionsverweis {zurückgezogene}{}{} Differentialform $\varphi^*\omega$ geschlossen ist. }

}
{} {}

\inputaufgabe
{}
{

Es sei
\mavergleichskette
{\vergleichskette
{ U }
{ \subseteq }{ \R^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine \definitionsverweis {offene Teilmenge}{}{} und $\omega$ eine \definitionsverweis {stetig differenzierbare}{}{} $1$-\definitionsverweis {Form}{}{} auf $U$ mit dem gemäß Lemma 84.3 zugehörigen \definitionsverweis {Vektorfeld}{}{} $F$ auf $U$. Zeige, dass $\omega$ genau dann \definitionsverweis {geschlossen}{}{} ist, wenn $F$ die \definitionsverweis {Integrabilitätsbedingung}{}{} erfüllt.

}
{} {}

\inputaufgabe
{}
{

Es sei
\mathl{U \subseteq \R^n}{} eine \definitionsverweis {offene Teilmenge}{}{} und $\omega$ eine \definitionsverweis {stetig differenzierbare}{}{} $1$-\definitionsverweis {Form}{}{} auf $U$ mit dem gemäß Lemma 84.3 zugehörigen \definitionsverweis {Vektorfeld}{}{} $F$ auf $U$. Zeige, dass $\omega$ genau dann \definitionsverweis {exakt}{}{} ist, wenn $F$ ein \definitionsverweis {Gradientenfeld}{}{} ist.

}
{} {}

\inputaufgabe
{}
{

Es sei $M$ eine \definitionsverweis {zusammenhängende}{}{} \definitionsverweis {differenzierbare Mannigfaltigkeit}{}{} und $\omega$ eine \definitionsverweis {differenzierbare}{}{} $1$-\definitionsverweis {Form}{}{} auf $M$. Zeige, dass $\omega$ genau dann \definitionsverweis {exakt}{}{} ist, wenn für jeden \definitionsverweis {stetig differenzierbaren}{}{} Weg \maabbdisp {\gamma} {[a,b]} {M } {} das \definitionsverweis {Wegintegral}{}{}
\mathl{\int_\gamma \omega}{} nur von
\mathl{\gamma(a)}{} und
\mathl{\gamma(b)}{} abhängt.

}
{} {}

\inputaufgabe
{}
{

Welche der folgenden Funktionen \maabbdisp {} {\R_+} {\R } {} lassen sich \definitionsverweis {differenzierbar}{}{} in den \definitionsverweis {Randpunkt}{}{} $0$ fortsetzen. \aufzaehlungsechs{
\mathl{x^3+ \sin^{ 3 } x -e^{-x}}{,} }{
\mathl{{ \frac{ 1 }{ x } }}{,} }{
\mathl{\sin { \frac{ 1 }{ x } }}{,} }{
\mathl{x \sin { \frac{ 1 }{ x } }}{,} }{
\mathl{{ \frac{ e^{ { \frac{ 1 }{ x } } } }{ x } }}{,} }{
\mathl{x^2 \sin { \frac{ 1 }{ x } }}{.} }

}
{} {}

\inputaufgabe
{}
{

Es sei
\mathl{H \subset \R^n}{} ein \definitionsverweis {Halbraum}{}{.} Es sei
\mathl{Q\in H}{} ein Punkt und $Q \in U \subseteq H$, wobei $U$ eine \definitionsverweis {offene Teilmenge}{}{} des $\R^n$ sei. Zeige, dass $Q$ kein Randpunkt von $H$ ist.

}
{} {}

\inputaufgabe
{}
{

Definiere die Begriffe \stichwort {Diffeomorphismus} {,} \stichwort {totales Differential} {} und \stichwort {höhere Ableitungen} {} für \definitionsverweis {Halbräume}{}{} \zusatzklammer {bzw. offene Teilmengen davon} {} {.}

}
{} {}

\zwischenueberschrift{Aufgaben zum Abgeben}

\inputaufgabe
{3}
{

Bestimme die \definitionsverweis {äußere Ableitung}{}{} der $1$-\definitionsverweis {Differentialform}{}{}
\mathdisp {\omega = xy^2z^3dx+xyzdy+x^3yz^4dz} { }
auf dem $\R^3$.

}
{} {}

\inputaufgabe
{3}
{

Bestimme die \definitionsverweis {äußere Ableitung}{}{} der $2$-\definitionsverweis {Differentialform}{}{}
\mathdisp {\omega = xy^2dx \wedge dy+(x^3-y^2z^4)dy \wedge dz+ \sin (xy) dx \wedge dz} { }
auf dem $\R^3$.

}
{} {}

\inputaufgabe
{5}
{

Es sei
\mathl{U \subseteq \R^n}{} \definitionsverweis {offen}{}{} und es seien
\mathl{\omega_1 , \ldots , \omega_r}{} Differentialformen auf $U$, wobei $\omega_i$ eine $k_i$-\definitionsverweis {Differentialform}{}{} sei. Finde und beweise eine Formel für
\mathdisp {d( \omega_1 \wedge \ldots \wedge \omega_r)} { . }

}
{} {}

\inputaufgabe
{5}
{

Zeige, dass die \definitionsverweis {Differentialform}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \omega }
{ =} { { \left( 2xy+3x^2-y e^{xy} \right) } dx + { \left( x^2-xe^{xy} +8y \right) } dy }
{ } { }
{ } { }
{ } { }
} {}{}{} auf dem $\R^2$ \definitionsverweis {geschlossen}{}{} und auch \definitionsverweis {exakt}{}{} ist.

}
{} {}

\inputaufgabe
{6}
{

Zeige, dass die \definitionsverweis {Halbebene}{}{} $\R_{\geq 0} \times \R$ und der \definitionsverweis {Quadrant}{}{}
\mathl{\R_{\geq 0} \times \R_{\geq 0}}{} \definitionsverweis {homöomorph}{}{} sind.

}
{} {}

\inputaufgabe
{4}
{

Begründe die einzelnen Gleichungen in der Gleichungskette im Beweis zu Lemma 86.2.

Gehe dabei folgendermaßen vor. \aufzaehlungvier{Legen Sie auf Ihrer Benutzerseite (oder Gruppenseite) eine Unterseite an, indem Sie dort die Zeile

[[/Differentialform/Äußere Ableitung/Vergleichskette/Einzelbegründungen]]

schreiben (d.h. Bearbeiten, Schreiben, Abspeichern; das / vorne ist wichtig).

}{Es erscheint ein roter Link. Gehen Sie auf den roten Link und geben Sie dort

 {{:Differentialform/Äußere Ableitung/Vergleichskette/Begründungsfenster}}

ein. }{Es erscheint die Gleichungskette. Wenn Sie auf eines der Gleich-Zeichen gehen, erscheint ein roter Link. Gehen Sie auf diesen roten Link und geben Sie dort die Begründung für diese Abschätzung ein. }{Die Abgabe erfolgt online, indem Sie auf der Abgabeseite(die Sie von der Kursseite auf Wikiversity aus erreichen können) einen Link zu Ihrer Lösung hinterlassen, also dort

[[Ihr Benutzername/Differentialform/Äußere Ableitung/Vergleichskette/Einzelbegründungen]]

hinschreiben.

}

}
{} {}