Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Arbeitsblatt 14/latex

\setcounter{section}{14}






\zwischenueberschrift{Aufwärmaufgaben}




\inputaufgabe
{}
{

Es sei \maabbdisp {\varphi} {[a,b]} {[c,d] } {} eine bijektive, \definitionsverweis {stetig differenzierbare}{}{} Abbildung. Was besagt in dieser Situation die Transformationsformel für Quader und was die Newton-Leibniz-Formel?

}
{} {}




\inputaufgabe
{}
{

Zeige, dass die Abbildung \maabbeledisp {} {{\mathbb C}^2} {{\mathbb C}^2 } {(x,y)} {(xe^y, -e^{-y}) } {,} in jedem Punkt \definitionsverweis {maßtreu}{}{,} aber nicht injektiv ist.

}
{} {}




\inputaufgabe
{}
{

Zeige, dass die Abbildung \maabbeledisp {} {\R^2} {\R^2 } {(x,y)} {(x+y^2,-y^4-2xy^2-x^2+y^2+x+y) } {,} \definitionsverweis {flächentreu}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Zeige, dass die Transformation \maabbeledisp {} {[0,2 \pi] \times [0,1]} { B \left( 0,1 \right) } {(\alpha,w)} {( \sqrt{w} \cos \alpha, \sqrt{w} \sin \alpha) } {,} auf geeigneten offenen Teilmengen ein \definitionsverweis {Diffeomorphismus}{}{} ist und berechne die \definitionsverweis {Jacobi-Determinante}{}{} in jedem Punkt.

}
{} {}




\inputaufgabe
{}
{

Es sei \maabbdisp {\varphi} {G} {H } {} ein $C^1$-\definitionsverweis {Diffeomorphismus}{}{} mit \definitionsverweis {offenen}{}{} \definitionsverweis {zusammenhängenden}{}{} Mengen \mathkor {} {G} {und} {H} {} im $\R^n$. Zeige, dass $\varphi$ genau dann \definitionsverweis {maßtreu}{}{} ist, wenn die \definitionsverweis {Jacobi-Determinante}{}{} überall den Wert $1$ oder überall den Wert $-1$ hat.

}
{} {}




\inputaufgabegibtloesung
{}
{

Berechne den Flächeninhalt des Bildes des Rechtecks
\mavergleichskette
{\vergleichskette
{Q }
{ = }{[-1,3] \times [0,2] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} unter der Abbildung \maabbeledisp {\varphi} {\R^2} { \R^2 } {(x,y)} {(x^3,y-x^2) } {.}

}
{} {}




\inputaufgabe
{}
{

Es sei \maabbdisp {f} {[a,b]} { \R_+ } {} eine stetig differenzierbare Funktion. Beweise die Volumenformel für den zugehörigen Rotationskörper $K$ mit der Transformationsformel und der Abbildung \maabbeledisp {\varphi} {[a,b] \times D} { K } {(x,y,z)} { (x, f(x)y, f(x) z) } {,} wobei $D$ die Einheitskreisscheibe bezeichnet.

}
{} {}




\inputaufgabegibtloesung
{}
{

Es sei
\mathl{B \subseteq \R^n}{} \definitionsverweis {messbar}{}{,}
\mathl{P =(a_1 , \ldots , a_n,a_{n+1}) \in \R^{n+1}}{} ein Punkt mit
\mathl{a_{n+1} >0}{} und $K_B$ der zugehörige \definitionsverweis {Kegel}{}{.} Beweise die Maßformel für den Kegel mit der Transformationsformel und der Abbildung \maabbeledisp {\varphi} { \R^n \times [0, a_{n+1}] } { \R^n \times [0, a_{n+1}] } {(x_1 , \ldots , x_n, t) } { (x_1 , \ldots , x_n,0) + { \frac{ t }{ a_{n+1} } } (a_1-x_1 , \ldots , a_n-x_n,a_{n+1} ) } {.}

}
{} {}




\inputaufgabe
{}
{

Es sei
\mavergleichskettedisp
{\vergleichskette
{ T }
{ =} { { \left\{ (\rho\cos\theta,\rho\sin\theta)\in\mathbb{R}^2 \mid \frac{\pi}{2}\leq\rho\leq\theta, \ \cos\theta\geq0, \ \sin\theta\geq 0 \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Berechne den Flächeninhalt von T.

}
{} {}





\inputaufgabe
{}
{

Interpretiere die Substitutionsregel als einen Spezialfall der Transformationsformel.

}
{} {}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Annulus.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Annulus.svg } {} {Nandhp} {Commons} {PD} {}




\inputaufgabe
{}
{

Zeige, dass der Flächeninhalt eines \definitionsverweis {Annulus}{}{} gleich dem Produkt aus der Länge des Mittelkreises und der Breite ist.

}
{} {}




\inputaufgabe
{}
{

Es sei
\mathl{(M, {\mathcal A } , \mu)}{} ein $\sigma$-\definitionsverweis {endlicher}{}{} \definitionsverweis {Maßraum}{}{} und \maabbdisp {h_1, h_2} {M} { \R_{\geq 0} } {} \definitionsverweis {messbare Funktionen}{}{.} Zeige
\mavergleichskettedisp
{\vergleichskette
{ \int_M h_1h_2 d \mu }
{ =} { \int_{S(h_1)} h_2 d \mu \otimes \lambda^1 }
{ } { }
{ } { }
{ } { }
} {}{}{,} wobei $h_2$ in natürlicher Weise als Funktion auf dem \definitionsverweis {Subgraphen}{}{}
\mathl{S(h_1)}{} zu $h_1$ aufgefasst wird.

}
{} {}




\inputaufgabegibtloesung
{}
{

Berechne
\mathl{\int_{\R^2} { \frac{ 1 }{ 1+ { \left( x^2+y^2 \right) }^2 } } dx dy}{} mit Korollar 14.5.

}
{} {}






\zwischenueberschrift{Aufgaben zum Abgeben}




\inputaufgabe
{4}
{

Berechne den Wert des Quadrats
\mathl{{ \left\{ (x,y) \in \R^2 \mid \betrag { x }, \betrag { y } \leq 1 \right\} }}{} für das \definitionsverweis {Bildmaß}{}{}
\mathl{\mu= \varphi_*\lambda^2}{} unter der Abbildung \maabbeledisp {\varphi} {\R^2} {\R^2 } {(x,y)} {(x+y,xy) } {.}

}
{} {}




\inputaufgabe
{4 (1+3)}
{

Es seien \mathkor {} {G} {und} {H} {} \definitionsverweis {offene Mengen}{}{} im $\R^n$ und es sei \maabbdisp {\varphi} {G} {H } {} ein $C^1$-\definitionsverweis {Diffeomorphismus}{}{.} Es sei \maabbdisp {f} {H} {\R_+ } {} eine \definitionsverweis {stetige Funktion}{}{.}

a) Definiere einen Diffeomorphismus zwischen den offenen Subgraphen zu $f$ bzw. zu $f \circ \varphi$.

b) Beweise die Transformationsformel für Integrale in diesem Fall direkt aus Satz 14.2, angewendet auf den Subgraphen, mit Hilfe von Aufgabe 14.12.

}
{} {}




\inputaufgabe
{7 (3+2+2)}
{

Wir betrachten die Abbildung \maabbeledisp {} {[0,10]} {\R } {x} {x^2 } {,} und interessieren uns für die Straße der Breite $1$, deren Mittelstreifen der vorgegebene Funktionsgraph ist.

a) Zeige, dass zu zwei verschiedenen Punkten auf dem Funktionsgraphen die Senkrechten der Länge $1$ \zusatzklammer {mit dem Mittelpunkt auf dem Graphen} {} {} untereinander überschneidungsfrei sind.

b) Man gebe eine \zusatzklammer {möglichst einfache} {} {} Parametrisierung der Straße an.

c) Bestimme den Flächeninhalt der Straße.

}
{} {}