Kurs:Analysis (Osnabrück 2013-2015)/Teil I/1/Klausur mit Lösungen/latex

Aus Wikiversity
Zur Navigation springen Zur Suche springen

%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}{ 3 }

\renewcommand{\afuenf}{ 7 }

\renewcommand{\asechs}{ 8 }

\renewcommand{\asieben}{ 4 }

\renewcommand{\aacht}{ 5 }

\renewcommand{\aneun}{ 4 }

\renewcommand{\azehn}{ 4 }

\renewcommand{\aelf}{ 4 }

\renewcommand{\azwoelf}{ 2 }

\renewcommand{\adreizehn}{ 8 }

\renewcommand{\avierzehn}{ 5 }

\renewcommand{\afuenfzehn}{ 66 }

\renewcommand{\asechzehn}{ }

\renewcommand{\asiebzehn}{ }

\renewcommand{\aachtzehn}{ }

\renewcommand{\aneunzehn}{ }

\renewcommand{\azwanzig}{ }

\renewcommand{\aeinundzwanzig}{ }

\renewcommand{\azweiundzwanzig}{ }

\renewcommand{\adreiundzwanzig}{ }

\renewcommand{\avierundzwanzig}{ }

\renewcommand{\afuenfundzwanzig}{ }

\renewcommand{\asechsundzwanzig}{ }

\punktetabellevierzehn

\klausurnote

\newpage


\setcounter{section}{0}





\inputaufgabeklausurloesung
{4}
{

Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungacht{Das \stichwort {Bild} {} einer Abbildung \maabbdisp {F} {L} {M } {.}

}{Eine \stichwort {Cauchy-Folge} {} ${ \left( x_n \right) }_{n \in \N }$ in einem angeordneten Körper $K$.

}{Die \stichwort {Gaußklammer} {}
\mathl{\lfloor x \rfloor}{} zu einem Element
\mathl{x\in K}{} in einem archimedisch angeordneten Körper
\mathl{K}{.}

}{Die \stichwort {Gleichmächtigkeit} {} von zwei Mengen $L$ und $M$.

}{Die \stichwort {Stetigkeit in einem Punkt} {} $a \in {\mathbb K}$ einer Abbildung $f:{\mathbb K} \rightarrow {\mathbb K}$.

}{Die \stichwort {Differenzierbarkeit in einem Punkt} {} $a \in {\mathbb K}$ einer Abbildung \maabb {f} {{\mathbb K} } {{\mathbb K} } {.}

}{Eine \stichwort {Stammfunktion} {} einer Abbildung
\mathl{f:D \rightarrow {\mathbb K}}{} auf einer offenen Menge
\mathl{D \subseteq {\mathbb K}}{.}

}{Die \stichwort {Lösung} {} zu einer gewöhnlichen Differentialgleichung
\mathdisp {y'= f(t,y)} { , }
wobei \maabbeledisp {f} {U} {\R } {(t,y)} {f(t,y) } {,} eine \definitionsverweis {Funktion}{}{} auf einer offenen Teilmenge
\mathl{U \subseteq \R^2}{} ist. }

}
{

\aufzaehlungacht{Das Bild von $F$ ist die Menge
\mathdisp {{ \left\{ y \in M \mid \text{es gibt ein } x \in L \text{ mit } F(x)= y \right\} }} { . }
}{Eine \definitionsverweis {Folge}{}{}
\mathl{{ \left( x_n \right) }_{n \in \N }}{} in $K$ heißt Cauchy-Folge, wenn folgende Bedingung erfüllt ist:

Zu jedem
\mathbed {\epsilon \in K} {}
{\epsilon >0} {}
{} {} {} {,} gibt es ein
\mathl{n_0 \in \N}{} derart, dass für alle
\mathl{n,m \geq n_0}{} die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_n-x_m } }
{ \leq} {\epsilon }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt. }{Die Gaußklammer
\mathl{\lfloor x \rfloor}{} ist die größte ganze Zahl
\mathl{n \leq x}{.} }{Die Mengen $L$ und $M$ heißen gleichmächtig, wenn es eine bijektive Abbildung \maabbdisp {f} {L} { M } {} gibt. }{Man sagt, dass $f$ stetig im Punkt $a$ ist, wenn es zu jedem
\mathl{\epsilon >0}{} ein
\mathl{\delta > 0}{} derart gibt, dass für alle $x$ mit
\mathl{\betrag { a-x } \leq \delta}{} die Abschätzung
\mathl{\betrag { f(a)-f(x) } \leq \epsilon}{} gilt. }{Man sagt, dass $f$ differenzierbar in $a$ ist, wenn der \definitionsverweis {Limes}{}{}
\mathdisp {\operatorname{lim}_{ x \in D \setminus \{ a \} , \, x \rightarrow a } \, \frac{ f (x )-f (a) }{ x -a }} { }
existiert. }{Eine Funktion \maabbdisp {F} {D} { {\mathbb K} } {} heißt Stammfunktion zu $f$, wenn $F$ auf $D$ \definitionsverweis {differenzierbar}{}{} ist und
\mathl{F'(x)=f(x)}{} für alle
\mathl{x \in D}{} gilt. }{Unter einer Lösung der Differentialgleichung versteht man eine \definitionsverweis {Funktion}{}{} \maabbeledisp {y} {I} {\R } {t} {y(t) } {,} auf einem mehrpunktigen \definitionsverweis {Intervall}{}{}
\mathl{I\subseteq \R}{,} die folgende Eigenschaften erfüllt. \aufzaehlungdrei{Es ist
\mathl{(t,y(t)) \in U}{} für alle
\mathl{t \in I}{.} }{Die Funktion $y$ ist differenzierbar. }{Es ist
\mathl{y'(t)=f(t,y(t))}{} für alle
\mathl{t \in I}{.} } }

}





\inputaufgabeklausurloesung
{4}
{

Formuliere die folgenden Sätze. \aufzaehlungvier{Das \stichwort {Leibnizkriterium für alternierende Reihen} {.}}{Das \stichwort {Folgenkriterium} {} für die Stetigkeit einer Funktion \maabbdisp {f} {\R} {\R } {} in einem Punkt
\mathl{a \in \R}{.}}{Das \stichwort {Additionstheorem} {} für den Sinus.}{Der \stichwort {Hauptsatz der Infinitesimalrechnung} {} für eine stetige Funktion \maabbdisp {f} {I} {\R } {} auf einem reellen Intervall
\mathl{I \subseteq \R}{.}}

}
{

\aufzaehlungvier{Sei
\mathl{{ \left( x_k \right) }_{k \in \N }}{} eine fallende Nullfolge von nichtnegativen reellen Zahlen. Dann konvergiert die Reihe
\mathl{\sum_{ k = 0}^\infty (-1)^k x_k}{.}}{Die Stetigkeit von $f$ im Punkt $a$ ist äquivalent dazu, dass für jede Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{,} die gegen $a$ konvergiert, die Bildfolge
\mathl{{ \left( f(x_n) \right) }_{ n \in \N }}{} gegen
\mathl{f(a)}{} konvergiert.}{Für $z,w \in {\mathbb C}$ gilt
\mathdisp {\sin (z+w) = \sin z \, \cos w + \cos z \, \sin w} { . }
}{Satzantwort Für einen beliebigen Punkt
\mathl{a \in I}{} ist die Integralfunktion
\mathdisp {F(x) := \int_{ a }^{ x } f ( t) \, d t} { }
differenzierbar und es gilt
\mathdisp {F'(x)=f(x)} { }
für alle
\mathl{x \in I}{.}}

}





\inputaufgabeklausurloesung
{4}
{

Es seien
\mathl{x,y}{} reelle Zahlen. Zeige, dass
\mavergleichskettedisp
{\vergleichskette
{ x- \left \lfloor x \right \rfloor }
{ =} { y- \left \lfloor y \right \rfloor }
{ } { }
{ } { }
{ } { }
} {}{}{} genau dann gilt, wenn es ein
\mathl{n \in \Z}{} mit
\mathl{y=x+n}{} gibt.

}
{

Es sei
\mavergleichskette
{\vergleichskette
{ x- \left \lfloor x \right \rfloor }
{ = }{ y- \left \lfloor y \right \rfloor }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Da
\mathl{\left \lfloor x \right \rfloor, \left \lfloor y \right \rfloor}{} ganze Zahlen sind, ist
\mavergleichskette
{\vergleichskette
{ n }
{ = }{\left \lfloor y \right \rfloor - \left \lfloor x \right \rfloor }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ganzzahlig. Damit gilt
\mavergleichskettealign
{\vergleichskettealign
{ y }
{ =} { \left \lfloor y \right \rfloor + (y - \left \lfloor y \right \rfloor ) }
{ =} { \left \lfloor y \right \rfloor + (x - \left \lfloor x \right \rfloor ) }
{ =} { x + \left \lfloor y \right \rfloor - \left \lfloor x \right \rfloor }
{ =} { x + n }
} {} {}{.}

Sei nun
\mathl{y=x+n}{} mit
\mathl{n \in \Z}{.} Aus der definierenden Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \left \lfloor x \right \rfloor }
{ \leq} {x }
{ <} { \left \lfloor x \right \rfloor + 1 }
{ } { }
{ } { }
} {}{}{} folgt
\mavergleichskettedisp
{\vergleichskette
{ \left \lfloor x \right \rfloor +n }
{ \leq} {x +n }
{ <} { \left \lfloor x \right \rfloor + n+1 }
{ } { }
{ } { }
} {}{}{,} daher muss
\mavergleichskettedisp
{\vergleichskette
{ \left \lfloor x+n \right \rfloor }
{ =} {\left \lfloor x \right \rfloor + n }
{ } { }
{ } { }
{ } { }
} {}{}{} sein. Somit ist
\mavergleichskettealign
{\vergleichskettealign
{ y- \left \lfloor y \right \rfloor }
{ =} {x +n - \left \lfloor x+n \right \rfloor }
{ =} { x+n - ( \left \lfloor x \right \rfloor + n) }
{ =} { x- \left \lfloor x \right \rfloor }
{ } { }
} {} {}{.}

}





\inputaufgabeklausurloesung
{3}
{

Entscheide, ob die \definitionsverweis {reelle Folge}{}{}
\mavergleichskettedisp
{\vergleichskette
{ x_n }
{ =} {{ \frac{ 5n^{ \frac{ 3 }{ 2 } } +4 n^{ \frac{ 4 }{ 3 } } +n }{ 7n^{ \frac{ 5 }{ 3 } } +6 n^{ \frac{ 3 }{ 2 } } } } }
{ } { }
{ } { }
{ } { }
} {}{}{} \zusatzklammer {mit $n \geq 1$} {} {} in $\R$ \definitionsverweis {konvergiert}{}{} und bestimme gegebenenfalls den \definitionsverweis {Grenzwert}{}{.}

}
{

Wir erweitern mit
\mathl{n^{- { \frac{ 5 }{ 3 } } }}{} und erhalten
\mavergleichskettealign
{\vergleichskettealign
{ x_n }
{ =} {{ \frac{ 5n^{ \frac{ 3 }{ 2 } } +4 n^{ \frac{ 4 }{ 3 } } +n }{ 7n^{ \frac{ 5 }{ 3 } } +6 n^{ \frac{ 3 }{ 2 } } } } }
{ =} {{ \frac{ 5n^{ { \frac{ 3 }{ 2 } } - { \frac{ 5 }{ 3 } } }+4 n^{ { \frac{ 4 }{ 3 } } - { \frac{ 5 }{ 3 } } } +n^{1 - { \frac{ 5 }{ 3 } } } }{ 7n^{ { \frac{ 5 }{ 3 } } - { \frac{ 5 }{ 3 } } } +6 n^{ { \frac{ 3 }{ 2 } }- { \frac{ 5 }{ 3 } } } } } }
{ =} { { \frac{ 5n^{ - { \frac{ 1 }{ 6 } } }+4 n^{- { \frac{ 1 }{ 3 } } } +n^{ - { \frac{ 2 }{ 3 } } } }{ 7+6 n^{ - { \frac{ 1 }{ 6 } } } } } }
{ } { }
} {} {}{.} Folgen der Form
\mathl{n^{- q }}{,}
\mathl{q \in \Q_+}{,} konvergieren gegen
\mathl{0}{,} nach den Rechengesetzen für konvergente Folgen konvergiert diese Folge also gegen
\mathl{0}{.}

}





\inputaufgabeklausurloesung
{7}
{

Beweise das Folgenkriterium für die Stetigkeit einer Funktion \maabb {f} {\R} {\R } {} in einem Punkt
\mathl{x \in \R}{.}

}
{

Es bezeichne (1) die Stetigkeit von $f$ im Punkt $x$ und (2) die Eigenschaft, dass für jede gegen $x$ konvergente Folge ${ \left( x_n \right) }_{n \in \N }$ die Bildfolge
\mathl{{ \left( f(x_n) \right) }_{ n \in \N }}{} gegen
\mathl{f(x)}{} konvergiert. Wir müssen die Äquivalenz von (1) und (2) zeigen.

\teilbeweis {}{}{}
{Sei (1) erfüllt und sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine Folge in $\R$, die gegen $x$ konvergiert. Wir müssen zeigen, dass
\mavergleichskettedisp
{\vergleichskette
{ \lim_{n \rightarrow \infty} f(x_n) }
{ =} { f(x) }
{ } { }
{ } { }
{ } { }
} {}{}{} ist. Dazu sei
\mavergleichskette
{\vergleichskette
{ \epsilon }
{ > }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} vorgegeben. Wegen (1) gibt es ein
\mavergleichskette
{\vergleichskette
{ \delta }
{ > }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit der angegebenen Abschätzungseigenschaft und wegen der Konvergenz von
\mathl{{ \left( x_n \right) }_{n \in \N }}{} gegen $x$ gibt es eine natürliche Zahl $n_0$ derart, dass für alle
\mavergleichskette
{\vergleichskette
{n }
{ \geq }{ n_0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ d(x_n,x) }
{ \leq} { \delta }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt. Nach der Wahl von $\delta$ ist dann
\mathdisp {d(f(x_n), f(x)) \leq \epsilon \text{ für alle } n \geq n_0} { , }
so dass die Bildfolge gegen
\mathl{f(x)}{} konvergiert.}
{} \teilbeweis {}{}{}
{Sei (2) erfüllt.  Wir nehmen an, dass $f$ nicht stetig ist. Dann gibt es ein
\mavergleichskette
{\vergleichskette
{ \epsilon }
{ > }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} derart, dass es für alle
\mavergleichskette
{\vergleichskette
{ \delta }
{ > }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} Elemente
\mavergleichskette
{\vergleichskette
{z }
{ \in }{ \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gibt, deren Abstand zu $x$ maximal gleich $\delta$ ist, deren Wert
\mathl{f(z)}{} unter der Abbildung aber zu
\mathl{f(x)}{} einen Abstand besitzt, der größer als $\epsilon$ ist. Dies gilt dann insbesondere für die Stammbrüche
\mathbed {\delta=1/n} {}
{n \in \N_+} {}
{} {} {} {.} D.h. für jede natürliche Zahl
\mavergleichskette
{\vergleichskette
{n }
{ \in }{ \N_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gibt es ein
\mavergleichskette
{\vergleichskette
{x_n }
{ \in }{ \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mathdisp {d(x_n ,x) \leq \frac{1}{n} \text{ und mit } d(f(x_n), f(x)) > \epsilon} { . }
Diese so konstruierte Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{} konvergiert gegen $x$, aber die Bildfolge konvergiert nicht gegen
\mathl{f(x)}{,} da der Abstand der Bildfolgenglieder zu
\mathl{f(x)}{} zumindest $\epsilon$ ist. Dies ist ein Widerspruch zu (2).}
{}

}





\inputaufgabeklausurloesung
{8}
{

Zeige, dass es stetige Funktionen \maabbdisp {f,g} {\R_{\geq 0}} {\R } {,} mit
\mathl{fg=0}{} derart gibt, dass für alle
\mathl{\delta >0}{} weder
\mathl{f {{|}}_{[0, \delta]}}{} noch
\mathl{g {{|}}_{[0, \delta]}}{} die Nullfunktion ist.

}
{

Wir betrachten die Zerlegung von
\mathl{\R_+}{} in die unendlich vielen halboffenen Intervalle
\mathl{I_n = [ { \frac{ 1 }{ n+1 } } , { \frac{ 1 }{ n } } [}{} für
\mathl{n \in \N_+}{} und
\mathl{I_0 = [1, + \infty]}{.} Auf
\mathl{I_n}{,}
\mathl{n \in \N_+}{,} definieren wir die stetige Funktion
\mathl{\varphi_n}{} durch
\mavergleichskettealign
{\vergleichskettealign
{ \varphi_n(x) }
{ =} {- { \left( x - { \frac{ 1 }{ n+1 } } \right) } { \left(x - { \frac{ 1 }{ n } } \right) } }
{ =} {- x^2 + { \frac{ 2n+1 }{ (n+1)n } } x - { \frac{ 1 }{ (n+1) n } } }
{ } { }
{ } { }
} {} {}{.} Diese Funktion hat an den Intervallgrenzen den Wert
\mathl{0}{.} Die Ableitung ist
\mathdisp {-2x +{ \frac{ 2n+1 }{ (n+1)n } }} { , }
das Maximum liegt also im arithmetischen Mittel der Intervallgrenzen vor und besitzt den Wert
\mavergleichskettealign
{\vergleichskettealign
{ \varphi_n { \left( { \frac{ n+{ \frac{ 1 }{ 2 } } }{ (n+1)n } } \right) } }
{ =} {- { \left( { \frac{ n+{ \frac{ 1 }{ 2 } } }{ (n+1)n } } - { \frac{ 1 }{ n+1 } } \right) } { \left( { \frac{ n+{ \frac{ 1 }{ 2 } } }{ (n+1)n } } - { \frac{ 1 }{ n } } \right) } }
{ =} {- { \frac{ { \frac{ 1 }{ 2 } } }{ (n+1)n } } \cdot { \frac{ - { \frac{ 1 }{ 2 } } }{ (n+1)n } } }
{ \leq} { { \frac{ 1 }{ n } } }
{ } { }
} {} {}{.} Mit Hilfe dieser Funktionen definieren wir
\mathdisp {f(x) = \begin{cases} 0 ,\, \text{falls } x = 0\, , \\ 0,\, \text{falls } x \in I_n, n \text{ ungerade} \, ,\\

\varphi_n(x) ,\, \text{falls }  x \in  I_n, n \text{ gerade},\, n \geq 2 ,\, \\ 
0 ,\, \text{falls }  x \geq 1 \, ,

\end{cases}} { }
und
\mathdisp {g(x) = \begin{cases} 0 ,\, \text{falls } x = 0\, , \\ \varphi_n(x) ,\, \text{falls } x \in I_n, n \text{ ungerade} \, ,\\

0 ,\, \text{falls }  x \in  I_n, n \text{ gerade},\, n \geq 2 ,\, \\ 
0 ,\, \text{falls }  x \geq 1 \, .

\end{cases}} { }
Diese Funktionen sind stetig: Dies ist im Innern der Intervalle klar; an den Intervallgrenzen liegt stets der Wert $0$ vor; für den Nullpunkt ergibt sich die Stetigkeit, da die Funktionen auf
\mathl{[0,{ \frac{ 1 }{ n } }]}{} durch
\mathl{{ \frac{ 1 }{ n } }}{} beschränkt sind. Offenbar ist
\mathl{fg=0}{} und für jedes
\mathl{\delta>0}{} sind weder
\mathl{f {{|}}_{[0, \delta]}}{} noch
\mathl{g {{|}}_{[0, \delta]}}{} die Nullfunktion.

}





\inputaufgabeklausurloesung
{4}
{

Wir betrachten das Polynom
\mathdisp {f(x)= x^4 -x^3+5x+2 \in {\mathbb C}[X]} { . }
Bestimme die $x$-Koordinaten sämtlicher Schnittpunkte der Tangente an $f$ im Punkt $x=1$ mit dem Graphen von $f$.

}
{

Es ist
\mavergleichskettedisp
{\vergleichskette
{ f(1) }
{ =} { 1-1+5+2 }
{ =} { 7 }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ f'(1) }
{ =} { 4-3+5 }
{ =} { 6 }
{ } { }
{ } { }
} {}{}{.} Die Tangente ist also der Graph der Funktion
\mathl{t(x)=6x + 1}{.} Wir müssen sämtliche Punkte
\mathl{x \in {\mathbb C}}{} mit
\mathl{f(x)=t(x)}{} bestimmen, wobei der Punkt
\mathl{x_1 = 1}{} dazugehört. Dazu betrachten wir
\mavergleichskettedisp
{\vergleichskette
{ f(x) -t(x) }
{ =} { x^4-x^3+5x+2 -6x-1 }
{ =} { x^4- x^3- x+ 1 }
{ } { }
{ } { }
} {}{}{.} Polynomdivision durch
\mathl{(x - 1)^2}{} ergibt
\mavergleichskettedisp
{\vergleichskette
{ x^4- x^3- x+ 1 }
{ =} { (x-1)^2 (x^2+x+1 ) }
{ } { }
{ } { }
{ } { }
} {}{}{.} Die Nullstellen von
\mathl{x^2+x+ 1}{} sind
\mathdisp {x_2= - { \frac{ 1 }{ 2 } } + { \frac{ \sqrt{3} }{ 2 } } { \mathrm i} \text{ und } x_3 = - { \frac{ 1 }{ 2 } } - { \frac{ \sqrt{3} }{ 2 } } { \mathrm i}} { . }

}





\inputaufgabeklausurloesung
{5}
{

Wir betrachten die durch
\mathdisp {f(x) = \begin{cases}x \cdot \sin \frac{1}{x} \text{ für } x \neq 0\, , \\ 0 \text{ sonst} \, , \end{cases}} { }
definierte Funktion \maabbdisp {f} {\R} {\R } {.} Zeige, dass es zu jedem
\mathl{\lambda,\, - 1 \leq \lambda \leq 1}{,} eine Nullfolge
\mathl{{ \left( x_n \right) }_{n \in \N } \in \R_+}{} derart gibt, dass die Folge der Differenzenquotienten
\mathdisp {{ \frac{ f(x_n) -f(0) }{ x_n } }} { }
gegen $\lambda$ konvergiert.

}
{

Zu jedem $\lambda \in [-1,1]$ gibt es ein $u \in {]0,2 \pi]}$ mit $\sin u = \lambda$. Wir setzen
\mathdisp {x_n \defeq { \frac{ 1 }{ u+ 2 \pi n } }} { . }
Dies ist offenbar eine Nullfolge in $\R_+$. Die zugehörigen Differenzenquotienten sind
\mavergleichskettealign
{\vergleichskettealign
{ { \frac{ f(x_n) }{ x_n } } }
{ =} { { \frac{ x_n \sin { \frac{ 1 }{ x_n } } }{ x_n } } }
{ =} { \sin { \frac{ 1 }{ x_n } } }
{ =} { \sin \left( u + 2 \pi n \right) }
{ =} { \sin u }
} {
\vergleichskettefortsetzungalign
{ =} { \lambda }
{ } {}
{ } {}
{ } {}
} {}{.} Also ist die Folge dieser Differenzenquotienten konstant gleich $\lambda$.

}





\inputaufgabeklausurloesung
{4}
{

Bestimme für die Funktion \maabbeledisp {f} {\R} {\R } {x} { 2^x + { \left( { \frac{ 1 }{ 2 } } \right) }^x} {,} die Extrema.

}
{

Wir schreiben
\mavergleichskettealign
{\vergleichskettealign
{ f(x) }
{ =} { 2^x + 2^{-x} }
{ =} { e^{x \ln 2 } +e^{ - x \ln 2 } }
{ } { }
{ } { }
} {} {}{.} Zur Bestimmung der Extrema betrachten wir die Ableitung, diese ist
\mavergleichskettedisp
{\vergleichskette
{ f'(x) }
{ =} { ( \ln 2 ) e^{x \ln 2 } - ( \ln 2) e^{ - x \ln 2 } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Die Bedingung
\mavergleichskette
{\vergleichskette
{ f'(x) }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{}
} {}{}{} führt durch Multiplikation mit
\mathl{e^{x \ln 2 }}{} und Division durch
\mathl{\ln 2}{} (die beide nicht
\mathl{0}{} sind) auf
\mavergleichskettedisp
{\vergleichskette
{ 0 }
{ =} { e^{ 2 x \ln 2 } - 1 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Daher muss
\mavergleichskettedisp
{\vergleichskette
{ e^{ 2 x \ln 2 } }
{ =} { 1 }
{ } { }
{ } { }
{ } { }
} {}{}{} sein, woraus sich
\mavergleichskettedisp
{\vergleichskette
{ 2 x \ln 2 }
{ =} { 0 }
{ } { }
{ } { }
{ } { }
} {}{}{,} also
\mavergleichskette
{\vergleichskette
{ x }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ergibt. Die zweite Ableitung ist
\mavergleichskettealign
{\vergleichskettealign
{ f^{\prime \prime} (x) }
{ =} { ( \ln 2 ) { \left( ( \ln 2 ) e^{x \ln 2 } + ( \ln 2) e^{ - x \ln 2 } \right) } }
{ } { }
{ } { }
{ } { }
} {} {}{} und somit positiv, also liegt im Nullpunkt ein isoliertes lokales Minimum vor. Da die Ableitung keine weitere Nullstelle hat, ist dieses Minimum das einzige Minimum und daher ein globales Minimum und es gibt keine Maxima.

}





\inputaufgabeklausurloesung
{4}
{

Bestimme die Taylor-Reihe der Funktion
\mavergleichskette
{\vergleichskette
{f(x) }
{ = }{ { \frac{ 1 }{ x } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} im Punkt
\mavergleichskette
{\vergleichskette
{a }
{ = }{2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} bis zur Ordnung $4$ \zusatzklammer {man gebe also das Taylor-Polynom vom Grad $4$ zum Entwicklungspunkt $2$ an, wobei die Koeffizienten in einer möglichst einfachen Form angegeben werden sollen} {} {.}

}
{

Die erste Ableitung ist
\mathdisp {f'(x)= - \frac{1}{x^2} =- x^{-2}, \text{ also } f'(2)= - \frac{1}{4}} { . }
Die zweite Ableitung ist
\mathdisp {f^{\prime \prime} (x)= 2 x^{-3} , \text{ also } f^{\prime \prime} (2)= \frac{1}{4}} { . }
Die dritte Ableitung ist
\mathdisp {f^{\prime \prime \prime} (x)=-6 x^{-4} , \text{ also } f^{\prime \prime \prime} (2)= - \frac{3}{8}} { . }
Die vierte Ableitung ist
\mathdisp {f^{\prime \prime \prime \prime} (x)=24 x^{-5} , \text{ also } f^{\prime \prime \prime \prime} (2)=\frac{24}{32} = \frac{3}{4}} { . }
Das Taylor-Polynom vom Grad $4$ ist demnach
\mathdisp {\frac{1}{2} - \frac{1}{4} (x-2) + \frac{1}{4 \cdot 2} (x-2)^2 - \frac{3}{8 \cdot 3!} (x-2)^3 + \frac{3}{4 \cdot 4!} (x-2)^4} { }
bzw.
\mathdisp {\frac{1}{2} - \frac{1}{4} (x-2) + \frac{1}{8} (x-2)^2 - \frac{1}{16} (x-2)^3 + \frac{1}{32} (x-2)^4} { . }

}





\inputaufgabeklausurloesung
{4}
{

Die beiden lokalen Extrema der Funktion
\mavergleichskettedisp
{\vergleichskette
{f(x) }
{ =} { x^3 -6x^2 +9x+1 }
{ } { }
{ } { }
{ } { }
} {}{}{} definieren ein achsenparalleles Rechteck, das vom Funktionsgraphen in zwei Bereiche zerlegt wird. Bestimme deren Flächeninhalte.

}
{

Es ist
\mavergleichskettedisp
{\vergleichskette
{ f'(x) }
{ =} { 3x^2 -12x+9 }
{ =} { 3(x^2-4x+3) }
{ =} { 3( (x-2)^2 -1) }
{ =} { 3 (x-1 )(x-3) }
} {}{}{.} Die Ableitung hat also bei
\mathl{x=1}{} und bei
\mathl{x=3}{} eine Nullstelle. Wegen
\mathl{f^{\prime \prime}(x) = 6x-12}{} liegt bei
\mathl{x=1}{} ein lokales Maximum mit dem Wert
\mathl{f(1)= 5}{} und bei
\mathl{x=3}{} ein lokales Minimum mit dem Wert
\mathl{f(3)=27-54+27+1=1}{} vor. Der Flächeninhalt des Rechtecks ist $8$. Der Flächeninhalt des Teilbereichs des Rechteckes unterhalb des Graphen ist
\mavergleichskettealign
{\vergleichskettealign
{ \int_1^3 x^3-6x^2+9x+ 1 dx -2 }
{ =} { [{ \frac{ 1 }{ 4 } } x^4- 2x^3+{ \frac{ 9 }{ 2 } }x^2 +x ]_1^3 -2 }
{ =} { { \frac{ 1 }{ 4 } } 81 - 2 \cdot 27 +{ \frac{ 81 }{ 2 } } +3 - { \frac{ 1 }{ 4 } }+ 2-{ \frac{ 9 }{ 2 } }-1 -2 }
{ =} { { \frac{ 3 }{ 4 } } 81 - 54 +3 - { \frac{ 19 }{ 4 } }+ 1 -2 }
{ =} { { \frac{ 243-19 }{ 4 } } -50 -2 }
} {
\vergleichskettefortsetzungalign
{ =} { 4 }
{ } {}
{ } {}
{ } {}
} {}{.} Der Flächeninhalt des Teilbereichs des Rechteckes oberhalb des Graphen ist ebenfalls $4$.

}





\inputaufgabeklausurloesung
{2}
{

Berechne das bestimmte Integral zur Funktion \maabbeledisp {f} {\R} {\R } {x} {f(x) = 2x^3 +3e^x - \sin x } {,} über
\mathl{[-1,0]}{.}

}
{

Eine Stammfunktion ist
\mathdisp {{ \frac{ 1 }{ 2 } } x^4 +3 e^x + \cos x} { . }
Daher ist das bestimmte Integral gleich
\mavergleichskettealign
{\vergleichskettealign
{ \int_{ -1 }^{ 0 } f(x) \, d x }
{ =} { { \left({ \frac{ 1 }{ 2 } } x^4 +3 e^x + \cos x\right) } | _{ -1 } ^{ 0 } }
{ =} { (0+3+1) - { \left({ \frac{ 1 }{ 2 } } (-1)^4 +3 e^{-1} + \cos (-1)\right) } }
{ =} { { \frac{ 7 }{ 2 } } -3e^{-1} - \cos (-1) }
{ } { }
} {} {}{.}

}





\inputaufgabeklausurloesung
{8 (4+1+3)}
{

a) Bestimme die \definitionsverweis {reelle Partialbruchzerlegung}{}{} von
\mathdisp {{ \frac{ 4s }{ s^4-2s^2+1 } }} { . }

b) Bestimme eine \definitionsverweis {Stammfunktion}{}{} von
\mathdisp {{ \frac{ 4s }{ s^4-2s^2+1 } }} { . }

c) Bestimme eine Stammfunktion von
\mathdisp {{ \frac{ 1 }{ \sinh^{ 2 } t } }} { . }

}
{

Es ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 4s }{ s^4-2s^2+1 } } }
{ =} { { \frac{ 4s }{ (s^2-1)^2 } } }
{ =} { { \frac{ 4s }{ (s-1)^2(s+1)^2 } } }
{ } { }
{ } { }
} {}{}{.} Damit liegt die Faktorzerlegung des Nenners vor, so dass die Partialbruchzerlegung die Gestalt
\mathdisp {{ \frac{ 4s }{ (s-1)^2(s+1)^2 } } = { \frac{ a }{ (s-1) } } + { \frac{ b }{ (s-1)^2 } }+ { \frac{ c }{ (s+1) } }+{ \frac{ d }{ (s+1)^2 } }} { }
mit reellen Zahlen
\mathl{a,b,c,d \in \R}{} besitzt. Multiplikation mit dem Hauptnenner ergibt
\mavergleichskettedisp
{\vergleichskette
{4s }
{ =} {a(s-1)(s+1)^2+b(s+1)^2+c(s+1)(s-1)^2+d(s-1)^2 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Einsetzen von
\mathl{s=1}{} ergibt
\mathl{4=4b}{,} also
\mathl{b=1}{.}

Einsetzen von
\mathl{s=-1}{} ergibt
\mathl{-4=4d}{,} also
\mathl{d=-1}{.}

Einsetzen von
\mathl{s=0}{} ergibt
\mathl{0=-a+b+c+d}{,} also ist
\mathl{-a+c=0}{,} also
\mathl{a=c}{.}

Einsetzen von
\mathl{s=2}{} ergibt
\mavergleichskettedisp
{\vergleichskette
{8 }
{ =} {9a+9b+3c+d }
{ =} {9a+9+3c-1 }
{ } { }
{ } { }
} {}{}{.} Also ist
\mathl{9a+3c=0}{} und daher
\mathl{a=c=0}{.} Die Partialbruchzerlegung ist also
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 4s }{ (s-1)^2(s+1)^2 } } }
{ =} { { \frac{ 1 }{ (s-1)^2 } } - { \frac{ 1 }{ (s+1)^2 } } }
{ } { }
{ } { }
{ } { }
} {}{}{.}

b) Eine Stammfunktion von
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 4s }{ (s-1)^2(s+1)^2 } } }
{ =} { { \frac{ 1 }{ (s-1)^2 } } - { \frac{ 1 }{ (s+1)^2 } } }
{ } { }
{ } { }
{ } { }
} {}{}{} ist
\mathdisp {-(s-1)^{-1} + (s+1)^{-1}} { . }

c) Es ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ \sinh^{ 2 } t } } }
{ =} { { \frac{ 4 }{ (e^t-e^{-t})^2 } } }
{ =} { { \frac{ 4 }{ (e^{t})^2-2+ (e^{t})^{-2} } } }
{ } { }
{ } { }
} {}{}{.} Wir wenden die Standardsubstitution
\mathl{t = \ln s}{} an und erhalten
\mavergleichskettealign
{\vergleichskettealign
{ \int { \frac{ 1 }{ \sinh^{ 2 } t } } dt }
{ =} { \int { \frac{ 4 }{ (e^{t})^2-2 + (e^{t})^{-2} } } dt }
{ =} { \int { \frac{ 4 }{ s^2-2+ s^{-2} } } \cdot { \frac{ 1 }{ s } } ds }
{ =} { \int { \frac{ 4s }{ s^4-2s^2+ 1 } } ds }
{ } { }
} {} {}{.} Nach Teil b) ist
\mathdisp {-(e^t-1)^{-1} + (e^t+1)^{-1}} { }
eine Stammfunktion von
\mathl{{ \frac{ 1 }{ \sinh^{ 2 } t } }}{.}

}





\inputaufgabeklausurloesung
{5 (3+2)}
{

a) Bestimme eine Lösung der \definitionsverweis {Differentialgleichung}{}{}
\mathdisp {y'= { \frac{ t^3 }{ y^2 } }, \, y > 0, \, t> 0} { , }
mit dem Lösungsansatz für getrennte Variablen.

b) Bestimme die Lösung des \definitionsverweis {Anfangswertproblems}{}{}
\mathdisp {y'= { \frac{ t^3 }{ y^2 } } \text{ mit } y(1)=1} { . }

}
{

a) Wir setzen
\mathl{g(t)=t^3}{} und
\mathl{h(y)= { \frac{ 1 }{ y^2 } }}{.} Eine Stammfunktion von
\mathl{g(t)}{} ist
\mathl{G(t)={ \frac{ 1 }{ 4 } } t^4}{} und eine Stammfunktion von
\mathl{{ \frac{ 1 }{ h(y) } } =y^2}{} ist $H(y) = { \frac{ 1 }{ 3 } } y^3$. Die Umkehrfunktion von $H$ ist
\mathdisp {H^{-1} (z) = \sqrt[3]{ 3z}} { . }
Daher ist
\mathdisp {y(t)= \sqrt[3]{ { \frac{ 3 }{ 4 } } t^4 } = \sqrt[3]{ { \frac{ 3 }{ 4 } } } t^{ 4/3}} { }
eine Lösung der Differentialgleichung.

b) Wir machen den Ansatz
\mathl{H(y)= { \frac{ 1 }{ 3 } }y^3 +c}{} mit der Umkehrfunktion
\mathdisp {H^{-1} (z) = \sqrt[3]{ 3z-3c }} { , }
was zur Lösung\zusatzklammer {sschar} {} {}
\mathl{y(t) = \sqrt[3]{ { \frac{ 3 }{ 4 } } t^4 -3c }}{} führt. Aus
\mavergleichskettedisp
{\vergleichskette
{1 }
{ =} {y(1) }
{ =} { \sqrt[3]{ { \frac{ 3 }{ 4 } } 1 -3c } }
{ } { }
{ } { }
} {}{}{} folgt
\mathl{c= - { \frac{ 1 }{ 12 } }}{.} Also ist
\mathdisp {y(t) = \sqrt[3]{ { \frac{ 3 }{ 4 } } t^4 + { \frac{ 1 }{ 4 } } }} { }
die Lösung des Anfangswertproblems.

}

Zur pdf-Version dieser Klausur

Zur pdf-Version der Lösungen