Kurs:Analysis 3/19/Klausur mit Lösungen/latex
%Daten zur Institution
%\input{Dozentdaten}
%\renewcommand{\fachbereich}{Fachbereich}
%\renewcommand{\dozent}{Prof. Dr. . }
%Klausurdaten
\renewcommand{\klausurgebiet}{ }
\renewcommand{\klausurtyp}{ }
\renewcommand{\klausurdatum}{ . 20}
\klausurvorspann {\fachbereich} {\klausurdatum} {\dozent} {\klausurgebiet} {\klausurtyp}
%Daten für folgende Punktetabelle
\renewcommand{\aeins}{ 4 }
\renewcommand{\azwei}{ 4 }
\renewcommand{\adrei}{ 4 }
\renewcommand{\avier}{ 2 }
\renewcommand{\afuenf}{ 4 }
\renewcommand{\asechs}{ 11 }
\renewcommand{\asieben}{ 11 }
\renewcommand{\aacht}{ 3 }
\renewcommand{\aneun}{ 3 }
\renewcommand{\azehn}{ 5 }
\renewcommand{\aelf}{ 3 }
\renewcommand{\azwoelf}{ 10 }
\renewcommand{\adreizehn}{ 64 }
\renewcommand{\avierzehn}{ }
\renewcommand{\afuenfzehn}{ }
\renewcommand{\asechzehn}{ }
\renewcommand{\asiebzehn}{ }
\renewcommand{\aachtzehn}{ }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellezwoelf
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabeklausurloesung
{4}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungacht{Eine \stichwort {Mengenalgebra} {} auf einer Menge $M$.
}{Eine
\stichwort {Schrumpfung} {}
für eine Teilmenge
\mathl{T \subseteq M}{.}
}{Die \stichwort {Fortsetzung} {} eines \definitionsverweis {äußeren Maßes}{}{} \maabbdisp {\mu} {{\mathcal P }} { \overline{\R}_{\geq 0} } {} auf einem \definitionsverweis {Präring}{}{} ${\mathcal P }$ auf einer Menge $M$.
}{Ein \stichwort {Hausdorff-Raum} {} $X$.
}{Eine \stichwort {differenzierbare Abbildung} {} \maabbdisp {\varphi} {L} {M } {} zwischen zwei differenzierbaren Mannigfaltigkeiten \mathkor {} {L} {und} {M} {.}
}{Das \stichwort {Produkt} {} von differenzierbaren Mannigfaltigkeiten \mathkor {} {M} {und} {N} {.}
}{Eine \stichwort {orientierte} {} \definitionsverweis {differenzierbare Mannigfaltigkeit}{}{} $M$.
}{Eine \stichwort {geschlossene} {} Differentialform $\omega$ auf einer differenzierbaren Mannigfaltigkeit $M$. }
}
{
\aufzaehlungacht{Ein
\definitionsverweis {Teilmengensystem}{}{}
\mathl{{\mathcal A }}{} auf einer Menge $M$ heißt Men\-gen-Algebra, wenn folgende Bedingungen erfüllt sind.
\aufzaehlungdrei{Es ist
\mathl{M \in {\mathcal A }}{.}
}{Mit
\mathl{T \in {\mathcal A }}{} gehört auch das Komplement
\mathl{M \setminus T}{} zu ${\mathcal A }$.
}{Für je zwei Mengen
\mathl{S,T \in {\mathcal A }}{} ist auch
\mathl{S \cup T \in {\mathcal A }}{.}
}
}{Eine Schrumpfung von $T$ ist eine Folge von Teilmengen
\mathbed {T_n} {}
{n \in \N} {}
{} {} {} {,}
in $M$ mit
\mathl{T_n \supseteq T_{n+1}}{} für alle
\mathl{n \in \N}{} und mit
\mathl{T= \bigcap_{n \in \N} T_n}{.}
}{Für eine beliebige Teilmenge
\mathl{T \subseteq M}{} definiert man
\mathdisp {\tilde{\mu} (T):= \inf \left( \sum_{i \in I} \mu(T_i), \, T \subseteq \bigcup_{i \in I} T_i, \, T_i \in {\mathcal P },\, I \text{ abzählbar} \right)} { }
und nennt dies die Fortsetzung des äußeren Maßes $\mu$.
}{Der
\definitionsverweis {topologische Raum}{}{}
$X$ heißt hausdorffsch, wenn es zu je zwei verschiedenen Punkten
\mathl{x, y \in X}{} zwei
\definitionsverweis {offene Mengen}{}{}
\mathkor {} {U} {und} {V} {}
gibt mit
\mathl{x \in U, \, y \in V}{} und
\mathl{U \cap V = \emptyset}{.}
}{Es seien
\mathkor {} {(U_i,U_i', \alpha_i, i \in I)} {und} {(V_j,V_j', \beta_j, j \in J)} {}
die
\definitionsverweis {Atlanten}{}{}
von
\mathkor {} {M} {und} {N} {.}
Die Abbildung
\maabbdisp {\varphi} {L} {M
} {}
heißt differenzierbar, wenn sie stetig ist und wenn für alle
\mathkor {} {i \in I} {und alle} {j \in J} {}
die Abbildungen
\maabbdisp {\beta_j \circ \varphi \circ (\alpha_i)^{-1}} {\alpha_i( \varphi^{-1}(V_j) \cap U_i) } { V_j'
} {}
\definitionsverweis {stetig differenzierbar}{}{}
sind.
}{Es seien
\mathkor {} {(U_i,U_i',\alpha_i, i \in I)} {und} {(V_j,V_j',\beta_j, j \in J)} {}
die
\definitionsverweis {Atlanten}{}{}
von
\mathkor {} {M} {und} {N} {.}
Dann nennt man den
\definitionsverweis {Produktraum}{}{}
\mathl{M \times N}{} versehen mit den
\definitionsverweis {Karten}{}{}
\maabbdisp {\alpha_i \times \beta_j} {U_i \times V_j} { U_i' \times V_j'
} {}
\zusatzklammer {mit \mathlk{(i,j) \in I \times J}{} und \mathlk{U_i' \times V_j' \subseteq \R^m \times \R^n}{}} {} {}
das Produkt der Mannigfaltigkeiten
\mathkor {} {M} {und} {N} {.}
}{Eine
\definitionsverweis {differenzierbare Mannigfaltigkeit}{}{}
$M$ mit einem
\definitionsverweis {Atlas}{}{}
\mathl{(U_i, V_i, \alpha_i)}{} heißt orientiert, wenn jede Karte
\definitionsverweis {orientiert}{}{}
ist und wenn sämtliche Kartenwechsel
\definitionsverweis {orientierungstreu}{}{}
sind.
}{Eine
\definitionsverweis {differenzierbare}{}{}
\definitionsverweis {Differentialform}{}{}
$\omega$ auf $M$ heißt geschlossen, wenn ihre
\definitionsverweis {äußere Ableitung}{}{}
\mathl{d \omega=0}{} ist.
}
}
\inputaufgabeklausurloesung
{4}
{
Formuliere die folgenden Sätze. \aufzaehlungvier{Die \stichwort {Tschebyschow-Abschätzung} {} \zusatzklammer {Tschebyschow-Ungleichung} {} {} für eine messbare nichtnegative Funktion \maabbdisp {f} {M} {\R_{\geq 0} } {} auf einem $\sigma$-endlichen Maßraum $(M,{\mathcal A },\mu)$.}{Der \stichwort {Satz von Fubini} {} für eine integrierbare Funktion \maabbdisp {f} {M \times N} { \overline{ \R } } {} auf $\sigma$-\definitionsverweis {endlichen}{}{} \definitionsverweis {Maßräumen}{}{} \mathkor {} {M} {und} {N} {.}}{Die \stichwort {Formel für das Volumen des Rotationskörpers} {} \zusatzklammer {zum Subgraphen} {} {} zu einer stetigen Funktion \maabb {f} {[a,b]} {\R_{\geq 0} } {.}}{Der \stichwort {Brouwersche Fixpunktsatz} {.}}
}
{
\aufzaehlungvier{Es sei
\mathl{(M, {\mathcal A }, \mu)}{} ein $\sigma$-endlicher Maßraum und
\maabbdisp {f} {M} {\overline{ \R }_{\geq 0}
} {}
eine messbare numerische nichtnegative Funktion. Dann gilt für jedes
\mathl{a \in \R_{\geq 0}}{} die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \int_{ M } f \, d \mu
}
{ \geq} {a \cdot \mu { \left\{ x \in M \mid f(x) \geq a \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{Die beiden Funktionen
\maabbeledisp {} {M} {\overline{ \R }
} {x} { \int_{ N } f(x,y) \, d \nu (y)
} {,}
und
\maabbeledisp {} {N} { \overline{ \R }
} {y} { \int_{ M } f(x,y) \, d \mu (x)
} {,}
sind fast überall reellwertig und fast überall integrierbar, und es gilt
\mavergleichskettedisp
{\vergleichskette
{ \int_{M\times N} f d (\mu \otimes \nu)
}
{ =} { \int_{ M } \left( \int_{ N } f(x,y) \, d \nu(y) \right) \, d \mu(x)
}
{ =} { \int_{ N } \left( \int_{ M } f(x,y) \, d \mu(x) \right) \, d \nu(y)
}
{ } {
}
{ } {
}
}
{}{}{}}{Es sei
\maabbeledisp {f} {[a,b]} {\R_{\geq 0}
} {t} {f(t)
} {,}
eine stetige Funktion und sei
\mathl{K \subseteq \R^3}{} der Rotationskörper zu $f$ um die $x$-Achse. Dann besitzt $K$ das Volumen
\mavergleichskettedisp
{\vergleichskette
{ \lambda^3(K)
}
{ =} {\pi \cdot \int_{ a }^{ b } f(t)^2 \, d t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{Es sei
\maabbdisp {\psi} { B \left( 0,r \right) } { B \left( 0,r \right)
} {}
eine stetig differenzierbare Abbildung der abgeschlossenen Kugel im $\R^n$ in sich. Dann besitzt $\psi$ einen Fixpunkt.}
}
\inputaufgabeklausurloesung
{4 (2+2)}
{
Häuptling Winnetou möchte sich ein neues Tipi über einer quadratischen Grundfläche von
\mathl{3 \times 3}{} Metern errichten. Er verwendet dafür vier Stangen mit einer Länge von $5$ Metern, die in den Eckpunkten der Grundfläche stehen und sich in der Zeltspitze treffen sollen.
a) Wie viel Quadratmeter Büffelhaut wird für das Zeltdach gebraucht?
b) Wie viel Kubikmeter Rauminhalt hat das neue Zelt?
}
{
a) Die Länge einer schrägen Zeltflächenhöhe ist
\mavergleichskettedisp
{\vergleichskette
{g
}
{ =} { \sqrt{5^2- { \left( { \frac{ 3 }{ 2 } } \right) }^2 }
}
{ =} {\sqrt{25- { \frac{ 9 }{ 4 } } }
}
{ =} {\sqrt{ { \frac{ 91 }{ 4 } } }
}
{ =} {{ \frac{ \sqrt{91} }{ 2 } }
}
}
{}{}{.}
Die Gesamtfläche des Zeltdaches ist daher
\mavergleichskettedisp
{\vergleichskette
{4 { \frac{ 1 }{ 2 } } 3 g
}
{ =} { 3 \sqrt{91}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
b) Die Diagonale der Grundfläche hat die Länge
\mathl{3 \sqrt{2}}{,} der Grundflächenmittelpunkt hat also zu den Eckpunkten den Abstand
\mathl{{ \frac{ 1 }{ 2 } }3 \sqrt{2}}{.} Die Zelthöhe ist daher
\mavergleichskettedisp
{\vergleichskette
{h
}
{ =} {\sqrt{5^2- { \left( { \frac{ 1 }{ 2 } }3 \sqrt{2} \right) }^2 }
}
{ =} {\sqrt{25- { \frac{ 9 }{ 2 } } }
}
{ =} {\sqrt{ { \frac{ 41 }{ 2 } } }
}
{ } {
}
}
{}{}{.}
Das Volumen des Tipis ist somit nach
Fakt *****
gleich
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 3 } } 9 h
}
{ =} { 3 \sqrt{ { \frac{ 41 }{ 2 } } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{2}
{
Zeige, dass in einem
\definitionsverweis {Hausdorff-Raum}{}{}
$X$ jeder Punkt
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {abgeschlossen}{}{}
ist.
}
{
Zu jedem Punkt
\mathbed {y \in X} {}
{y \neq x} {}
{} {} {} {}
gibt es eine offene Umgebung
\mathl{y \in U_y}{} mit
\mathl{x \not\in U}{.} Daher ist
\mavergleichskettedisp
{\vergleichskette
{X \setminus \{x\}
}
{ =} { \bigcup_{y \neq x} U_y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
offen und somit ist das Komplement
\mathl{\{x\}}{} abgeschlossen.
}
\inputaufgabeklausurloesung
{4}
{
Beweise die Tschebyschow-Abschätzung \zusatzklammer {Tschebyschow-Ungleichung} {} {} für eine messbare nichtnegative Funktion \maabbdisp {f} {M} {\R_{\geq 0} } {} auf einem $\sigma$-endlichen Maßraum $(M ,{\mathcal A } ,\mu)$.
}
{
Es sei
\maabbdisp {f} {M} {\R
} {} eine messbare nichtnegative Funktion und
\mathl{a \in \R_{\geq 0}}{.} Es sei
\mathl{T = { \left\{ x \in M \mid f(x) \geq a \right\} }}{.} Dann ist
\mavergleichskettedisp
{\vergleichskette
{ T \times [0, a]
}
{ \subseteq} {S(f)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {im Subgraphen} {} {,}
also
\mavergleichskettedisp
{\vergleichskette
{a \cdot \mu(T)
}
{ =} { (\mu \otimes \lambda^1 ) ( T \times [0, a])
}
{ \leq} { ( \mu \otimes \lambda^1 ) (S(f) )
}
{ =} { \int_{ M } f \, d \mu
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{11 (3+8)}
{
Es sollen drei Kugeln mit Radius $1$ straff in eine Folie eingepackt werden. Berechne das Volumen des Gesamtpakets, wenn
a) die Kugeln linear und anliegend angeordnet werden,
b) die Kugeln als Dreieck anliegend angeordnet werden.
}
{
a) Die Gesamtpackung setzt sich aus zwei Halbkugeln mit Radius $1$ und einem Zylinder der Höhe $4$ über einem Kreis mit Radius $1$ zusammen. Daher ist das Volumen gleich
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 4 }{ 3 } } \pi + 4 \pi
}
{ =} { { \frac{ 16 }{ 3 } } \pi
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
b) Wir wenden das
Cavalieri-Prinzip
an und betrachten den Querschnitt zur Höhe
\mathbed {h} {}
{-1 \leq h \leq 1} {}
{} {} {} {.}
Der Kugelquerschnitt besteht aus drei Kugeln mit Radius
\mathl{r= \sqrt{1-h^2}}{,} deren Mittelpunkte ein gleichseitiges Dreieck mit Kantenlänge $2$ bilden. Wir müssen den Flächeninhalt des durch die Folie gegebenen
\zusatzklammer {abgerundeten} {} {}
Querschnittsdreiecks bestimmen. Die Kantenlänge des zugehörigen spitzen Dreieckes ist $2+2 \sqrt{3} r$. Daher ist der Flächeninhalt dieses Dreieckes gleich
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 2 } } { \frac{ \sqrt{3} }{ 2 } } { \left( 2+2 \sqrt{3} r \right) }^2
}
{ =} { \sqrt{3} { \left( 1+ \sqrt{3} r \right) }^2
}
{ =} { \sqrt{3} + 6 r + 3 \sqrt{3} r^2
}
{ } {
}
{ } {
}
}
{}{}{.}
Davon müssen wir die Spitzen
\zusatzklammer {über den Kreisbögen} {} {}
abziehen. Eine solche Spitze ergibt sich als Flächeninhalt des Vierecks, das durch Kreismittelpunkt, Dreiecksspitze und die beiden tangentialen Punkte gegeben ist, ohne einen Drittelkreis. Das ergibt
\mathl{\sqrt{3} r^2 - { \frac{ \pi }{ 3 } } r^2}{.} Der Flächeninhalt des abgerundeten Dreiecks ist also
\mavergleichskettealign
{\vergleichskettealign
{ \sqrt{3} + 6 r + 3 \sqrt{3} r^2 -3 { \left( \sqrt{3} r^2 - { \frac{ \pi }{ 3 } } r^2 \right) }
}
{ =} { \sqrt{3} + 6 r + \pi r^2
}
{ =} { \sqrt{3} + 6 \sqrt{1-h^2} + \pi { \left( 1-h^2 \right) }
}
{ =} { \sqrt{3} + \pi + 6 \sqrt{1-h^2} - \pi h^2
}
{ } {
}
}
{}
{}{.}
Das Volumen der Dreieckspackung ist somit
\mavergleichskettealign
{\vergleichskettealign
{\int_{-1}^1 \sqrt{3} + \pi + 6 \sqrt{1-h^2} - \pi h^2 dh
}
{ =} { 2 { \left( \sqrt{3} + \pi \right) } + 3 \pi - \pi { \frac{ 2 }{ 3 } }
}
{ =} { 2 \sqrt{3} + { \frac{ 13 }{ 3 } } \pi
}
{ } {
}
{ } {}
}
{}
{}{.}
}
\inputaufgabeklausurloesung
{11 (4+7)}
{
Wir betrachten die Funktion \maabbeledisp {f} {\R^2} {\R } {(x,y)} {x^2+y^4 } {.}
a) Bestimme zu jedem Punkt
\mathl{(r,s) \in \R^2}{} das Volumen des Körpers
\mavergleichskettedisp
{\vergleichskette
{K
}
{ =} { { \left\{ (x,y,z) \in \R^3 \mid r \leq x \leq r+1 , \, s \leq y \leq s+1 , \, 0 \leq z \leq f(x,y) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
b) Zeige, dass das
\zusatzklammer {von $(r,s)$ abhängige} {} {}
Volumen aus Teil a) in genau einem Punkt
\mathl{(r,s)}{} minimal ist
\zusatzklammer {dieser Punkt muss nicht explizit angegeben werden} {} {.}
}
{
a) Das Volumen ist
\mavergleichskettealign
{\vergleichskettealign
{ \int_{ r }^{ r+1 } \int_{ s }^{ s+1 } x^2+y^4 \, d y \, d x
}
{ =} { \int_{ r }^{ r+1 } { \left( x^2y + { \frac{ 1 }{ 5 } } y^5 \right) } | _{ s } ^{ s+1 } \, d x
}
{ =} {\int_{ r }^{ r+1 } { \left( x^2(s+1-s) + { \frac{ 1 }{ 5 } } { \left( (s+1)^5 -s^5 \right) } \right) } \, d x
}
{ =} {\int_{ r }^{ r+1 } { \left( x^2 + { \frac{ 1 }{ 5 } } { \left( 5s^4+10s^3+10s^2+5s+1 \right) } \right) } \, d x
}
{ =} { { \left( { \frac{ 1 }{ 3 } } x^3 + { \left( s^4+2s^3+2s^2+ s+ { \frac{ 1 }{ 5 } } \right) } x \right) } | _{ r } ^{ r+1 }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 1 }{ 3 } } { \left( (r+1)^3-r^3 \right) } + { \left( s^4+2s^3+2s^2+ s+ { \frac{ 1 }{ 5 } } \right) } { \left( r+1-r \right) }
}
{ =} {{ \frac{ 1 }{ 3 } } (3r^2+3r+1) + s^4+2s^3+2s^2+ s+ { \frac{ 1 }{ 5 } }
}
{ =} { r^2+r + s^4+2s^3+2s^2+ s+ { \frac{ 8 }{ 15 } }
}
{ } {}
}
{}{.}
b) Die Ableitung der Volumenfunktion
\mavergleichskettedisp
{\vergleichskette
{V(r,s)
}
{ =} {r^2+r + s^4+2s^3+2s^2+ s+ { \frac{ 8 }{ 15 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist
\mathdisp {(2r+1, 4s^3+6s^2 +4s+1)} { . }
Ein Minimum kann nur vorliegen, wenn die Ableitung $0$ ist. Wir zeigen, dass dies nur für ein
\mathl{(r,s)}{} der Fall sein kann. Wegen der ersten Komponente muss
\mathl{r= - { \frac{ 1 }{ 2 } }}{} sein. Wir zeigen, dass die zweite Komponente
\mavergleichskettedisp
{\vergleichskette
{h(s)
}
{ =} { 4s^3+6s^2 +4s+1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ebenfalls nur eine Nullstelle besitzt, indem wir zeigen, dass $h$ streng wachsend ist. Die Ableitung von $h$ ist
\mavergleichskettedisp
{\vergleichskette
{h'(s)
}
{ =} {12s^2+ 12 s+4
}
{ =} {12s (s+1) +4
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Funktion ist für
\mathl{s \to \infty}{} und
\mathl{s \to - \infty}{} offenbar positiv, sie besitzt also genau ein Minimum, und zwar wegen
\mavergleichskettedisp
{\vergleichskette
{h^{\prime \prime}(s)
}
{ =} { 24 s +12
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bei
\mavergleichskettedisp
{\vergleichskette
{s
}
{ =} {- { \frac{ 1 }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Der Wert des Minimums von $h'$ ist
\mavergleichskettedisp
{\vergleichskette
{h' { \left( - { \frac{ 1 }{ 2 } } \right) }
}
{ =} {12 { \left( - { \frac{ 1 }{ 2 } } \right) } { \left( - { \frac{ 1 }{ 2 } }+1 \right) } +4
}
{ =} {- 12 \cdot { \frac{ 1 }{ 4 } } +4
}
{ =} { - 3+4
}
{ =} {1
}
}
{
\vergleichskettefortsetzung
{ >} {0
}
{ } {}
{ } {}
{ } {}
}{}{.}
Dies bedeutet, dass $h'$ stets positiv ist und somit ist $h$ streng wachsend. Da ferner $h$ ein Polynom vom Grad $3$ ist, also
\mathl{h(s) \to \infty}{} für
\mathl{s \to \infty}{} und
\mathl{h(s) \to -\infty}{} für
\mathl{s \to -\infty}{} gilt, besitzt $h$ genau eine Nullstelle. Insgesamt besitzt also
\mathl{V(r,s)}{} genau einen kritischen Punkt.
Wir müssen noch zeigen, dass in dem einzigen kritischen Punkt ein Minimum von
\mathl{V(r,s)}{} vorliegt. Die Hesse-Matrix zu $V$ ist
\mathdisp {\begin{pmatrix} 2 & 0 \\ 0 & 12s^2+12s+4 \end{pmatrix}} { . }
Diese Matrix ist für jedes $s$ nach der oben durchgeführten Berechnung positiv definit, also liegt im kritischen Punkt ein Minimum vor.
}
\inputaufgabeklausurloesung
{3}
{
Berechne das Integral zur Funktion
\mavergleichskettedisp
{\vergleichskette
{ f(r,s,t)
}
{ =} { s^2 t+r \cos t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
über dem Einheitswürfel
\mathl{W=[0,1]^3}{.}
}
{
Aufgrund des Satzes von Fubini ist
\mavergleichskettealign
{\vergleichskettealign
{ \int_{ W } s^2t+r \cos t \, d \lambda^3
}
{ =} { \int_0^1 \int_0^1 \int_0^1 { \left( s^2t+r \cos t \right) } dr ds dt
}
{ =} {\int_0^1 \int_0^1 { \left( rs^2t+ { \frac{ 1 }{ 2 } } r^2 \cos t \right) } | _{ 0 } ^{ 1 } ds dt
}
{ =} {\int_0^1 \int_0^1 { \left( s^2t+ { \frac{ 1 }{ 2 } } \cos t \right) } ds dt
}
{ =} {\int_0^1 { \left( { \frac{ 1 }{ 3 } } s^3t+ s { \frac{ 1 }{ 2 } } \cos t \right) } | _{ 0 } ^{ 1 } dt
}
}
{
\vergleichskettefortsetzungalign
{ =} {\int_0^1 { \left( { \frac{ 1 }{ 3 } } t+ { \frac{ 1 }{ 2 } } \cos t \right) } dt
}
{ =} { { \left( { \frac{ 1 }{ 6 } } t^2 + { \frac{ 1 }{ 2 } } \sin t \right) } | _{ 0 } ^{ 1 }
}
{ =} { { \frac{ 1 }{ 6 } } + { \frac{ 1 }{ 2 } } \sin 1
}
{ } {}
}
{}{.}
}
\inputaufgabeklausurloesung
{3}
{
Ist die Abbildung \maabbeledisp {\varphi} {S^1} {S^1 } {(x,y)} {( \betrag { x } ,y) } {,} \definitionsverweis {differenzierbar}{}{?}
}
{
Wir betrachten die Verknüpfung von Abbildungen
\mathdisp {\R \stackrel{ \theta }{\longrightarrow} S^1 \stackrel{\varphi}{\longrightarrow} S^1 \subset \R^2 \stackrel{p_1}{\longrightarrow} \R} { , }
wobei
\mavergleichskettedisp
{\vergleichskette
{ \theta(t)
}
{ =} {(\cos t , \sin t )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und $p_1$ die erste Projektion ist. Die trigonometrische Parametrisierung, die Inklusion
\zusatzklammer {einer abgeschlossenen Untermannigfaltigkeit} {} {}
und die Projektion sind differenzierbar. Wäre $\varphi$ differenzierbar, so müsste auch die Gesamtabbildung differenzierbar sein. Diese ist aber
\maabbeledisp {} {\R} {\R
} {t} {\betrag { \cos t }
} {.}
Diese ist an der Stelle
\mathl{t= \pi/2}{} nicht differenzierbar, da dort die linksseitige Steigung $-1$ und die rechtsseitige Steigung $1$ ist. Die Abbildung $\varphi$ ist also nicht differenzierbar.
}
\inputaufgabeklausurloesung
{5}
{
Es sei $X$ ein
\definitionsverweis {Torus}{}{.}
Man gebe eine surjektive
\definitionsverweis {differenzierbare Abbildung}{}{}
\maabbdisp {\varphi} {\R^2} {X
} {}
derart an, dass auch die
\definitionsverweis {Tangentialabbildung}{}{}
\maabbdisp {T_P(\varphi)} { T_P\R^2 } { T_{\varphi(P)}X
} {}
in jedem Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ \R^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
surjektiv ist.
}
{
Wir schreiben den Torus als $X=S^1 \times S^1$ mit dem Einheitskreis
\mathl{S^1= { \left\{ (x,y) \in \R^2 \mid \betrag { (x,y) } = 1 \right\} }}{.}
Die Abbildung
\maabbeledisp {\varphi} {\R^2} {S^1 \times S^1
} {(u,v)} {( \cos u, \sin u , \cos v , \sin v )
} {,}
ist surjektiv, da es sich in den beiden Komponenten um die Standardparametrisierung des Einheitskreises handelt. Auch die Surjektivität der Tangentialabbildung lässt sich komponentenweise überprüfen, da der Tangentialraum einer Produktmannigfaltigkeit das Produkt der Tangentialräume ist. Die Ableitung von
\maabbeledisp {} {\R} { \R^2
} {t} { ( \cos t, \sin t)
} {,}
ist
\mathl{(- \sin t, \cos t) \neq (0,0)}{,} so dass dieser Bildvektor stets den eindimensionalen Tangentialraum des Einheitskreises im Bildpunkt aufspannt.
}
\inputaufgabeklausurloesung
{3 (2+1)}
{
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$.
}
{
a) Es ist
\mathl{df=f'dt}{,} und zwar ist nach der Quotientenregel
\mavergleichskettealign
{\vergleichskettealign
{f'
}
{ =} { { \frac{ (1+t^2) 3\sin^{ 2 } (t^4) \cos (t^4) 4 t^3 - 2t \sin^{ 3 } (t^4) }{ (1+t^2)^2 } }
}
{ =} { { \frac{ 12 (t^3+t^5) \sin^{ 2 } (t^4) \cos (t^4) - 2t \sin^{ 3 } (t^4) }{ 1+2t^2+t^4 } }
}
{ } {
}
{ } {
}
}
{}
{}{.}
b) Die äußere Ableitung von $fdt$ ist
\mathl{f'dt \wedge dt =0}{.}
}
\inputaufgabeklausurloesung
{10 (2+6+2)}
{
Wir betrachten die
$2$-\definitionsverweis {Differentialform}{}{}
\mavergleichskettedisp
{\vergleichskette
{\omega
}
{ =} { x dy \wedge dz -y dx \wedge dz + z dx \wedge dy
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auf der Einheitskugel
\mathl{B \left( 0,1 \right)}{.}
a) Zeige, dass $d \omega$ das Dreifache der Standardvolumenform auf der Kugel ist.
b) Zeige, dass
\mathl{\omega{{|}}_{S^2}}{} die Standardflächenform auf der Einheitssphäre ist.
c) Berechne die Kugeloberfläche aus dem Kugelvolumen mit dem Satz von Stokes.
}
{
a) Es ist
\mavergleichskettealign
{\vergleichskettealign
{d \omega
}
{ =} { d { \left( x dy \wedge dz -y dx \wedge dz + z dx \wedge dy \right) }
}
{ =} { dx \wedge dy \wedge dz - dy \wedge dx \wedge dz + d z \wedge dx \wedge dy
}
{ =} { dx \wedge dy \wedge dz + dx \wedge dy \wedge dz + d x \wedge dy \wedge dz
}
{ =} { 3 d x \wedge dy \wedge dz
}
}
{}
{}{,}
wobei wir verwendet haben, dass sich das Vorzeichen bei der Vertauschung von Faktoren im Dachprodukt ändert.
b) Für einen Punkt
\mathl{P = \begin{pmatrix} x \\y\\ z \end{pmatrix} \in S^2}{} und zwei orthonormale,
\zusatzklammer {zusammen mit $P$} {} {}
die Orientierung repräsentierende Tangentialvektoren
\mathl{u= \begin{pmatrix} u_1 \\u_2\\ u_3 \end{pmatrix}}{} und
\mathl{v= \begin{pmatrix} v_1 \\v_2\\ v_3 \end{pmatrix}}{} ist nach
Fakt *****
\mavergleichskettealign
{\vergleichskettealign
{ \omega {{|}}_{S^2} (u,v)
}
{ =} {\omega (u,v)
}
{ =} { z \det \begin{pmatrix} u_1 & v_1 \\ u_2 & v_2 \end{pmatrix} - y \det \begin{pmatrix} u_1 & v_1 \\ u_3 & v_3 \end{pmatrix} + x \det \begin{pmatrix} u_2 & v_2 \\ u_3 & v_3 \end{pmatrix}
}
{ =} { \det \begin{pmatrix} x & u_1 & v_1 \\ y & u_2 & v_2 \\z & u_3 & v_3 \end{pmatrix}
}
{ } {
}
}
{}
{}{.}
Die Determinante eines die Orientierung repräsentierenden Orthonormalsystems ist aber $1$. Also erfüllt die eingeschränkte Differentialform die Eigenschaft, die die
\definitionsverweis {Standardvolumenform}{}{}
charakterisiert.
c) Die Oberfläche der Kugel ist unter Verwendung von a), b), des Satzes von Stokes und des Kugelvolumens gleich
\mavergleichskettedisp
{\vergleichskette
{ \int_{S^2} \omega
}
{ =} { \int_{ B \left( 0,1 \right) } d \omega
}
{ =} { \int_{ B \left( 0,1 \right) } 3 d x \wedge dy \wedge dz
}
{ =} { 3 \lambda^3 ( B \left( 0,1 \right) )
}
{ =} { 4 \pi
}
}
{}{}{.}
}