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

Aufgabe * (4 Punkte)

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Die Gleichmächtigkeit von zwei Mengen ${}L$ und ${}M$.
2. Die Stetigkeit in einem Punkt ${}a\in {\mathbb {K} }$ einer Abbildung ${}f:{\mathbb {K} }\rightarrow {\mathbb {K} }$.
3. Die gleichmäßige Stetigkeit einer Funktion

   $f\colon T\longrightarrow {\mathbb {K} }$

   auf einer Teilmenge ${}T\subseteq {\mathbb {K} }$.

4. Das Cauchy-Produkt von zwei komplexen Reihen.
5. Die Exponentialreihe zu einer komplexen Zahl ${}z\in {\mathbb {C} }$.
6. Die gleichmäßige Konvergenz einer Funktionenfolge

   $f_{n}\colon T\longrightarrow {\mathbb {K} }$

   auf einer Teilmenge ${}T\subseteq {\mathbb {K} }$.

7. Der Logarithmus zur Basis ${}b\in \mathbb {R} _{+}$, ${}b\neq 1$, einer positiven reellen Zahl ${}x$.
8. Die Differenzierbarkeit in einem Punkt ${}a\in {\mathbb {K} }$ einer Abbildung ${}f\colon {\mathbb {K} }\rightarrow {\mathbb {K} }$.

Lösung

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Die Gleichmächtigkeit von zwei Mengen ${}L$ und ${}M$.
2. Die Stetigkeit in einem Punkt ${}a\in {\mathbb {K} }$ einer Abbildung ${}f:{\mathbb {K} }\rightarrow {\mathbb {K} }$.
3. Die gleichmäßige Stetigkeit einer Funktion

   $f\colon T\longrightarrow {\mathbb {K} }$

   auf einer Teilmenge ${}T\subseteq {\mathbb {K} }$.

4. Das Cauchy-Produkt von zwei komplexen Reihen.
5. Die Exponentialreihe zu einer komplexen Zahl ${}z\in {\mathbb {C} }$.
6. Die gleichmäßige Konvergenz einer Funktionenfolge

   $f_{n}\colon T\longrightarrow {\mathbb {K} }$

   auf einer Teilmenge ${}T\subseteq {\mathbb {K} }$.

7. Der Logarithmus zur Basis ${}b\in \mathbb {R} _{+}$, ${}b\neq 1$, einer positiven reellen Zahl ${}x$.
8. Die Differenzierbarkeit in einem Punkt ${}a\in {\mathbb {K} }$ einer Abbildung ${}f\colon {\mathbb {K} }\rightarrow {\mathbb {K} }$.

 

Aufgabe * (4 Punkte)

Formuliere die folgenden Sätze.

1. Der Zwischenwertsatz.
2. Das Folgenkriterium für die Stetigkeit einer Funktion

   $f\colon {\mathbb {K} }\longrightarrow {\mathbb {K} }$

   in einem Punkt

   ${}a\in {\mathbb {K} }$.
3. Das Additionstheorem für den Sinus.
4. Die Quotientenregel für die Ableitung, also die Formel für die Ableitung von ${}{\frac {f}{g}}$ (mit den Voraussetzungen an ${}f$ und ${}g$).

Lösung

Formuliere die folgenden Sätze.

1. Der Zwischenwertsatz.
2. Das Folgenkriterium für die Stetigkeit einer Funktion

   $f\colon {\mathbb {K} }\longrightarrow {\mathbb {K} }$

   in einem Punkt

   ${}a\in {\mathbb {K} }$.
3. Das Additionstheorem für den Sinus.
4. Die Quotientenregel für die Ableitung, also die Formel für die Ableitung von ${}{\frac {f}{g}}$ (mit den Voraussetzungen an ${}f$ und ${}g$).

 

Aufgabe * (7 Punkte)

Beweise das Folgenkriterium für die Stetigkeit einer Funktion ${}f\colon \mathbb {R} \rightarrow \mathbb {R}$ in einem Punkt ${}x\in \mathbb {R}$.

Lösung

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 \mathbb {N} }$ die Bildfolge ${}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }$ gegen ${}f(x)$ konvergiert. Wir müssen die Äquivalenz von (1) und (2) zeigen.

Es sei (1) erfüllt und sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Folge in ${}\mathbb {R}$, die gegen ${}x$ konvergiert. Wir müssen zeigen, dass

${}\lim _{n\rightarrow \infty }f(x_{n})=f(x)\,$

ist. Dazu sei ${}\epsilon >0$ vorgegeben. Wegen (1) gibt es ein ${}\delta >0$ mit der angegebenen Abschätzungseigenschaft und wegen der Konvergenz von ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ gegen ${}x$ gibt es eine natürliche Zahl ${}n_{0}$ derart, dass für alle ${}n\geq n_{0}$ die Abschätzung

${}d(x_{n},x)\leq \delta \,$

gilt. Nach der Wahl von ${}\delta$ ist dann

$d(f(x_{n}),f(x))\leq \epsilon {\text{ für alle }}n\geq n_{0},$

so dass die Bildfolge gegen ${}f(x)$ konvergiert.
Es sei (2) erfüllt.  Wir nehmen an, dass ${}f$ nicht stetig ist. Dann gibt es ein ${}\epsilon >0$ derart, dass es für alle ${}\delta >0$ Elemente ${}z\in \mathbb {R}$ gibt, deren Abstand zu ${}x$ maximal gleich ${}\delta$ ist, deren Wert ${}f(z)$ unter der Abbildung aber zu ${}f(x)$ einen Abstand besitzt, der größer als ${}\epsilon$ ist. Dies gilt dann insbesondere für die Stammbrüche ${}\delta =1/n$, ${}n\in \mathbb {N} _{+}$. D.h. für jede natürliche Zahl ${}n\in \mathbb {N} _{+}$ gibt es ein ${}x_{n}\in \mathbb {R}$ mit

$d(x_{n},x)\leq {\frac {1}{n}}{\text{ und mit }}d(f(x_{n}),f(x))>\epsilon .$

Diese so konstruierte Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ konvergiert gegen ${}x$, aber die Bildfolge konvergiert nicht gegen ${}f(x)$, da der Abstand der Bildfolgenglieder zu ${}f(x)$ zumindest ${}\epsilon$ ist. Dies ist ein Widerspruch zu (2).

 

Aufgabe * (8 Punkte)

Zeige, dass es stetige Funktionen

$f,g\colon \mathbb {R} _{\geq 0}\longrightarrow \mathbb {R} ,$

mit ${}fg=0$ derart gibt, dass für alle ${}\delta >0$ weder ${}f{|}_{[0,\delta ]}$ noch ${}g{|}_{[0,\delta ]}$ die Nullfunktion ist.

Lösung

Wir betrachten die Zerlegung von ${}\mathbb {R} _{+}$ in die unendlich vielen halboffenen Intervalle ${}I_{n}=[{\frac {1}{n+1}},{\frac {1}{n}}[$ für ${}n\in \mathbb {N} _{+}$ und ${}I_{0}=[1,+\infty ]$. Auf ${}I_{n}$, ${}n\in \mathbb {N} _{+}$, definieren wir die stetige Funktion ${}\varphi _{n}$ durch

${}{\begin{aligned}\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}}.\end{aligned}}$

Diese Funktion hat an den Intervallgrenzen den Wert ${}0$. Die Ableitung ist

$-2x+{\frac {2n+1}{(n+1)n}},$

das Maximum liegt also im arithmetischen Mittel der Intervallgrenzen vor und besitzt den Wert

${}{\begin{aligned}\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}}.\end{aligned}}$

Mit Hilfe dieser Funktionen definieren wir

$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

$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 ${}[0,{\frac {1}{n}}]$ durch ${}{\frac {1}{n}}$ beschränkt sind. Offenbar ist ${}fg=0$ und für jedes ${}\delta >0$ sind weder ${}f{|}_{[0,\delta ]}$ noch ${}g{|}_{[0,\delta ]}$ die Nullfunktion.

 

Aufgabe * (2 Punkte)

Gibt es eine reelle Zahl, die in ihrer dritten Potenz, vermindert um das Vierfache ihrer zweiten Potenz, gleich der Quadratwurzel von ${}42$ ist?

Lösung

Es geht um eine reelle Lösung für die Gleichung

${}f(x)=x^{3}-4x^{2}={\sqrt {42}}\,.$

Es ist ${}f(0)=0$ und ${}f(5)=25$ und ${}0\leq {\sqrt {42}}\leq 25$. Da ${}f$ als Polynomfunktion stetig ist, gibt es nach dem Zwischenwertsatz ein ${}x\in \mathbb {R}$ mit ${}f(x)={\sqrt {42}}$.

 

Aufgabe * (3 Punkte)

Wir betrachten die Funktion

$f\colon \mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto x^{3}-3x+1.$

Bestimme, ausgehend vom Intervall ${}[0,1]$, mit der Intervallhalbierungsmethode ein Intervall der Länge ${}1/8$, in dem eine Nullstelle von ${}f$ liegen muss.

Lösung

Wegen ${}f(0)=1$ und ${}f(1)=-1$ muss nach dem Zwischenwertsatz im Intervall ${}[0,1]$ eine Nullstelle von ${}f$ liegen.

Die Intervallmitte ist ${}{\frac {1}{2}}$, dort hat ${}f$ den Wert

${}f{\left({\frac {1}{2}}\right)}={\left({\frac {1}{2}}\right)}^{3}-3{\left({\frac {1}{2}}\right)}+1={\frac {1-12+8}{8}}=-{\frac {3}{8}}\,.$

Dies ist negativ, also muss eine Nullstelle im Intervall ${}[0,{\frac {1}{2}}]$ liegen.

Die Intervallmitte von diesem Intervall ist ${}{\frac {1}{4}}$, dort hat ${}f$ den Wert

${}f{\left({\frac {1}{4}}\right)}={\left({\frac {1}{4}}\right)}^{3}-3{\left({\frac {1}{4}}\right)}+1={\frac {1-48+64}{64}}={\frac {17}{64}}\,.$

Dies ist positiv, also muss eine Nullstelle im Intervall ${}[{\frac {1}{4}},{\frac {1}{2}}]$ liegen.

Die Intervallmitte von diesem Intervall ist ${}{\frac {3}{8}}$, dort hat ${}f$ den Wert

${}f{\left({\frac {3}{8}}\right)}={\left({\frac {3}{8}}\right)}^{3}-3{\left({\frac {3}{8}}\right)}+1={\frac {27-576+512}{512}}=-{\frac {37}{512}}\,.$

Dies ist negativ, also muss eine Nullstelle im Intervall ${}[{\frac {1}{4}},{\frac {3}{8}}]=[{\frac {2}{8}},{\frac {3}{8}}]$ liegen. Die Länge dieses Intervalls ist ${}{\frac {1}{8}}$.

 

Aufgabe * (4 Punkte)

Es seien ${}b>a$ reelle Zahlen. Wir betrachten die Abbildung

$\Psi \colon C^{0}([a,b],\mathbb {R} )\longrightarrow C^{0}(]a,b[,\mathbb {R} ),\,f\longmapsto f{|}_{]a,b[}.$

Zeige, dass ${}\Psi$ injektiv, aber nicht surjektiv ist.

Lösung

Die Funktion ${}f(x)={\frac {1}{(x-a)(x-b)}}$ ist eine rationale Funktion von ${}]a,b[$ nach ${}\mathbb {R}$, also stetig. Für ${}x\rightarrow a$ konvergiert der Nenner gegen ${}0$, so dass die Funktion unbeschränkt ist. Eine auf einem abgeschlossenen Intervall definierte stetige Funktion ist aber nach Satz 13.9 beschränkt, so dass ${}f$ nicht die Einschränkung einer stetigen Funktion ${}g:[a,b]\rightarrow \mathbb {R}$ sein kann. Die Abbildung ${}\Psi$ ist also nicht surjektiv.

Für eine stetige Funktion ${}g:[a,b]\rightarrow \mathbb {R}$ gilt

$\operatorname {lim} _{x\in ]a,b[,x\rightarrow a}g(x)=g(a)$

und

$\operatorname {lim} _{x\in ]a,b[,x\rightarrow b}g(x)=g(b).$

Die stetige Funktion ${}g$ ist also durch ihre Werte auf dem offenen Intervall ${}]a,b[$ eindeutig bestimmt, so dass ${}\Psi$ injektiv ist.

 

Aufgabe * (3 Punkte)

Es seien

$f,g\colon \mathbb {R} \longrightarrow \mathbb {R}$

streng wachsende Funktionen, die auf ${}\mathbb {Q}$ übereinstimmen. Folgt daraus ${}f=g$?

Lösung

Wir betrachten die beiden Funktionen

$f(x)={\begin{cases}x,\,{\text{falls }}x<{\sqrt {2}}\,,\\x+1,\,{\text{falls }}x\geq {\sqrt {2}}\,,\end{cases}}$

und

$g(x)={\begin{cases}x,\,{\text{falls }}x\leq {\sqrt {2}}\,,\\x+1,\,{\text{falls }}x>{\sqrt {2}}\,.\end{cases}}$

Beide Funktionen sind streng wachsend und stimmen auf ${}\mathbb {R} \setminus \{{\sqrt {2}}\}$ und insbesondere auf ${}\mathbb {Q}$ überein. Es ist aber ${}f({\sqrt {2}})\neq g({\sqrt {2}})$, so dass die beiden Funktionen verschieden sind.

 

Aufgabe * (4 Punkte)

Beweise die Funktionalgleichung der komplexen Exponentialfunktion, also die Identität

${}\exp \left(z+w\right)=\exp z\cdot \exp w\,$

für ${}z,w\in {\mathbb {C} }$.

Lösung

Das Cauchy-Produkt der beiden Exponentialreihen ist

$\sum _{n=0}^{\infty }c_{n}$

mit ${}c_{n}=\sum _{i=0}^{n}{\frac {z^{i}}{i!}}{\frac {w^{n-i}}{(n-i)!}}$. Diese Reihe ist nach Lemma 15.2 absolut konvergent und der Grenzwert ist das Produkt der beiden Grenzwerte. Andererseits ist der ${}n$-te Summand der Exponentialreihe von ${}z+w$ nach der allgemeinen binomischen Formel gleich

${}{\frac {(z+w)^{n}}{n!}}={\frac {1}{n!}}\sum _{i=0}^{n}{\binom {n}{i}}z^{i}w^{n-i}=c_{n}\,,$

so dass die beiden Seiten übereinstimmen.

 

Aufgabe * (2 Punkte)

Zeige, dass eine konvergente Potenzreihe ${}\sum _{n=0}^{\infty }c_{n}z^{n}$ mit ${}c_{n}=0$ für alle geraden Indizes eine ungerade Funktion darstellt.

Lösung

Nach Voraussetzung besitzt die Potenzreihe die Gestalt

${}{\begin{aligned}f(z)&=\sum _{n=0}^{\infty }c_{n}z^{n}\\&=\sum _{k=0}^{\infty }c_{2k+1}z^{2k+1}.\end{aligned}}$

Daher ist

${}{\begin{aligned}f(-z)&=\sum _{k=0}^{\infty }c_{2k+1}(-z)^{2k+1}\\&=\sum _{k=0}^{\infty }c_{2k+1}(-1)^{2k+1}z^{2k+1}\\&=\sum _{k=0}^{\infty }c_{2k+1}(-1)z^{2k+1}\\&=-{\left(\sum _{k=0}^{\infty }c_{2k+1}z^{2k+1}\right)}\\&=-f(z).\end{aligned}}$

Die Funktion ist also ungerade.

 

Aufgabe * (3 Punkte)

Es sei

$\sum _{n=0}^{\infty }a_{n}z^{n}$

eine absolut konvergente Potenzreihe mit Konvergenzradius ${}r>0$. Es sei ${}I\subseteq \mathbb {N}$ eine Teilmenge. Zeige, dass die Potenzreihe

$\sum _{n=0}^{\infty }b_{n}z^{n}$

mit

${}b_{n}:={\begin{cases}a_{n},\,{\text{ falls }}n\in I,\\0{\text{ sonst}},\end{cases}}\,$

ebenfalls absolut konvergent mit einem Konvergenzradius ${}\geq r$ ist.

Lösung

Wir müssen zeigen, dass die Reihe für jedes ${}z\in {\mathbb {C} }$, ${}\vert {z}\vert <r$, absolut konvergiert. Es ist

${}\sum _{n\in \mathbb {N} }\vert {b_{n}z^{n}}\vert =\sum _{n\in \mathbb {N} }\vert {b_{n}}\vert \vert {z}\vert ^{n}\,.$

Für die Reihenglieder gilt

${}\vert {b_{n}}\vert \vert {z}\vert ^{n}\leq \vert {a_{n}}\vert \vert {z}\vert ^{n}\,.$

Da die Reihe ${}\sum _{n\in \mathbb {N} }\vert {a_{n}}\vert \vert {z}\vert ^{n}$ nach Voraussetzung konvergiert, liegt eine konvergente Majorante vor, so dass auch die Reihe ${}\sum _{n\in \mathbb {N} }b_{n}z^{n}$ absolut konvergiert.

 

Aufgabe * (2 Punkte)

Es sei

$f\colon \mathbb {R} \longrightarrow \mathbb {R}$

eine bijektive differenzierbare Funktion mit ${}f'(x)\neq 0$ für alle ${}x\in \mathbb {R}$ und der Umkehrfunktion ${}f^{-1}$. Was ist an folgendem „Beweis“ für die Ableitung der Umkehrfunktion nicht korrekt?

Es ist

${}{\left(f\circ f^{-1}\right)}(y)=y\,.$

Mit der Kettenregel erhalten wir durch beidseitiges Ableiten die Gleichung

${}f'{\left(f^{-1}(y)\right)}{\left(f^{-1}\right)}'(y)=1\,.$

Also ist

${}{\left(f^{-1}\right)}'(y)={\frac {1}{f'{\left(f^{-1}(y)\right)}}}\,.$

Lösung

Die Kettenregel setzt voraus, dass beide Abbildungen differenzierbar sind, das weiß man hier aber von ${}f^{-1}$ nicht.

 

Aufgabe * (4 Punkte)

Wir betrachten das Polynom

$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$.

Lösung

Es ist

${}f(1)=1-1+5+2=7\,$

und

${}f'(1)=4-3+5=6\,.$

Die Tangente ist also der Graph der Funktion ${}t(x)=6x+1$. Wir müssen sämtliche Punkte ${}x\in {\mathbb {C} }$ mit ${}f(x)=t(x)$ bestimmen, wobei der Punkt ${}x_{1}=1$ dazugehört. Dazu betrachten wir

${}f(x)-t(x)=x^{4}-x^{3}+5x+2-6x-1=x^{4}-x^{3}-x+1\,.$

Polynomdivision durch ${}(x-1)^{2}$ ergibt

${}x^{4}-x^{3}-x+1=(x-1)^{2}(x^{2}+x+1)\,.$

Die Nullstellen von ${}x^{2}+x+1$ sind

$x_{2}=-{\frac {1}{2}}+{\frac {\sqrt {3}}{2}}{\mathrm {i} }{\text{ und }}x_{3}=-{\frac {1}{2}}-{\frac {\sqrt {3}}{2}}{\mathrm {i} }.$

 

Aufgabe * (2 Punkte)

Wir betrachten die Funktion

$f\colon \mathbb {R} _{+}\longrightarrow \mathbb {R} ,\,x\longmapsto f(x)=\cos(\ln x).$

a) Bestimme die Ableitung ${}f'$.

b) Bestimme die zweite Ableitung ${}f^{\prime \prime }$.

Lösung

a) Es ist

${}f'(x)=-{\frac {1}{x}}\cdot \sin \left(\ln x\right)\,.$

b) Es ist

${}{\begin{aligned}f^{\prime \prime }(x)&=-{\left({\frac {\sin \left(\ln x\right)}{x}}\right)}^{\prime }\\&=-{\frac {\cos \left(\ln x\right)-\sin \left(\ln x\right)}{x^{2}}}\\&=-{\frac {\cos \left(\ln x\right)}{x^{2}}}+{\frac {\sin \left(\ln x\right)}{x^{2}}}.\end{aligned}}$

 

Aufgabe * (3 Punkte)

Bestimme für die Funktion

$f\colon \mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto 2^{x}+{\left({\frac {1}{2}}\right)}^{x},$

die Extrema.

Lösung

Wir schreiben

${}{\begin{aligned}f(x)&=2^{x}+2^{-x}\\&=e^{x\ln 2}+e^{-x\ln 2}.\end{aligned}}$

Zur Bestimmung der Extrema betrachten wir die Ableitung, diese ist

${}f'(x)=(\ln 2)e^{x\ln 2}-(\ln 2)e^{-x\ln 2}\,.$

Die Bedingung ${}f'(x)=0$ führt durch Multiplikation mit ${}e^{x\ln 2}$ und Division durch ${}\ln 2$ (die beide nicht ${}0$ sind) auf

${}0=e^{2x\ln 2}-1\,.$

Daher muss

${}e^{2x\ln 2}=1\,$

sein, woraus sich

${}2x\ln 2=0\,,$

also ${}x=0$ ergibt. Die zweite Ableitung ist

${}{\begin{aligned}f^{\prime \prime }(x)&=(\ln 2){\left((\ln 2)e^{x\ln 2}+(\ln 2)e^{-x\ln 2}\right)}\\\end{aligned}}$

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.

 

Aufgabe * (4 Punkte)

Es sei

$f\colon \mathbb {R} \longrightarrow \mathbb {R} _{+},\,x\longmapsto f(x),$

eine differenzierbare Funktion mit ${}f(0)=1$ und mit ${}f'(x)=\lambda f(x)$ für alle ${}x\in \mathbb {R}$ und ein ${}\lambda \in \mathbb {R}$. Zeige, dass ${}f$ die Funktionalgleichung

$f(x+y)=f(x)\cdot f(y)$

für alle ${}x,y\in \mathbb {R}$ erfüllt.

Lösung

Wir betrachten die zusammengesetzte Funktion ${}g(x)=\ln f(x)$, die wohldefiniert ist, da ${}f$ nur positive Werte annimmt. Die Funktion ${}g$ ist differenzierbar mit

${}g'(x)={\frac {f'(x)}{f(x)}}={\frac {\lambda f(x)}{f(x)}}=\lambda \,.$

Die Ableitung ist also konstant gleich ${}\lambda$, daher ist ${}g(x)=\lambda x+c$. Somit ist

${}f(x)=\exp \left(\ln f(x)\right)=\exp \left(\lambda x+c\right)=\exp \left(\lambda x\right)\exp c\,$

und wegen ${}f(0)=1$ ist ${}c=0$. Daher ist

${}f(x+y)=\exp \left({\lambda (x+y)}\right)=\exp \left({\lambda x+\lambda y}\right)=\exp \left({\lambda x}\right)\cdot \exp \left({\lambda y}\right)=f(x)\cdot f(y)\,.$

 

Aufgabe * (5 Punkte)

Es sei

$f(x)=x^{2}+x-{\frac {7}{4}}.$

Zu jedem Startwert ${}x_{0}\in \mathbb {R}$ betrachten wir die reelle Folge

$x_{n}=f^{n}(x_{0}),$

es gilt also die rekursive Beziehung ${}x_{n+1}=f(x_{n})$. Zeige, dass die Folge für ${}x_{0}\in [-2,1]$ einen Häufungspunkt besitzt.

Lösung

Es ist

${}f(-2)=(-2)^{2}-2-{\frac {7}{4}}={\frac {1}{4}}\,$

und

${}f(1)=1^{2}+1-{\frac {7}{4}}={\frac {1}{4}}\,.$

Die Ableitung der Funktion ist

${}f'(x)=2x+1\,,$

daher wird das Minimum bei

${}x=-{\frac {1}{2}}\,$

mit dem Wert

${}f{\left(-{\frac {1}{2}}\right)}={\left(-{\frac {1}{2}}\right)}^{2}-{\frac {1}{2}}-{\frac {7}{4}}=-2\,$

angenommen. Daher ist

$f([-2,1])\subseteq [-2,{\frac {1}{4}}]\subseteq [-2,1].$

Bei ${}x_{0}\in [-2,1]$ sind demnach alle Folgenglieder ${}x_{n}\in [-2,1]$. Nach dem

Satz von Bolzano-Weierstraß besitzt die Folge eine konvergente Teilfolge und damit einen Häufungspunkt.

 

Zur pdf-Version der Testklausur

Zur pdf-Version der Lösungen