Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I/Vorlesung 17

Potenzreihen

Definition

Es sei ${{}} (c_n)_{n \in \N}$ eine Folge von reellen Zahlen und ${{}} x$ eine weitere reelle Zahl. Dann heißt die Reihe

$\sum _{ n= 0}^\infty c_n x^{ n }$

die Potenzreihe in ${{}} x$ zu den Koeffizienten ${{}} (c_n)_{n \in \N}$.

Durch Wahl geeigneter Koeffizienten kann man jede Reihe als Potenzreihe zu einer fixierten Basis ${{}} x \in \R$ ansehen. Bei Potenzreihen ist es aber wichtig, dass man ${{}} x$ variieren lässt und dann die Potenzreihe in einem Konvergenzintervall eine Funktion in ${{}} x$ darstellt.

Eine wichtige Potenzreihe haben wir schon in der ${{}} 14$ten Vorlesung kennengelernt, nämlich die geometrische Reihe ${{}} \sum_{n=0}^\infty x^n$, die für ${{}} \mid\! x\!\mid < 1$ konvergiert und dort die Funktion ${{}} 1/(1-x)$ darstellt. Eine weitere besonders wichtige Potenzreihe ist die Exponentialreihe, die für jede reelle Zahl konvergiert und zur reellen Exponentialfunktion führt. Ihre Umkehrfunktion ist der natürliche Logarithmus.

Satz

Es sei

$f(x) := \sum_{n=0}^\infty c_n x^n$

eine Potenzreihe und es gebe ein ${{}} x_0 \neq 0$ derart, dass ${{}} \sum_{n=0}^\infty c_n x_0^n$ konvergiere.

Dann gibt es ein positives ${{}} R$ (wobei $R = \infty$ erlaubt ist) derart, dass für alle ${{}} x \in \R$ mit ${{}} \mid\! x\!\mid < R$ die Reihe konvergiert. Auf einem solchen (offenen) Konvergenzintervall stellt die Potenzreihe ${{}} f(x)$ eine stetige Funktion dar.

Beweis

Der Beweis beruht auf einer systematischen Untersuchung für Potenzreihen und dem Limes von Funktionenfolgen. Wir werden ihn nicht durchführen.

$\Box$

Definition

Zu zwei Reihen ${{}} \sum_{ i = 0}^\infty a_{ i }$ und ${{}} \sum_{ j = 0}^\infty b_{ j }$ reeller Zahlen heißt die Reihe

$\sum_{ k = 0}^\infty c_{ k } \text{ mit } c_k := \sum_{ i = 0 }^{ k } a_i b_{k-i}$

das Cauchy-Produkt der beiden Reihen.

Auch für die folgende Aussage geben wir keinen Beweis.

Lemma

Es seien

$\sum_{ k = 0}^\infty a_{ k } \text{ und } \sum_{ k = 0}^\infty b_{ k }$

zwei absolut konvergente Reihen reeller Zahlen.

Dann ist auch das Cauchy-Produkt ${{}} \sum_{ k = 0}^\infty c_{ k }$ absolut konvergent und für die Summe gilt

$\sum_{ k = 0}^\infty c_{ k } = \left( \sum_{ k = 0}^\infty a_{ k } \right) \cdot \left( \sum_{ k = 0}^\infty b_{ k } \right) .$

Die Exponentialreihe und die Exponentialfunktion

Definition

Für jedes ${{}} x \in \R$ heißt die Reihe

$\sum_{n=0}^\infty \frac{ x^n }{n!}$

die Exponentialreihe in ${{}} x$.

Dies ist also die Reihe

$1+x+ \frac{x^2}{2}+\frac{x^3}{6} + \frac{x^4}{24} + \frac{x^5}{120} + \ldots .$

Satz

Für jedes ${{}} x \in \R$ ist die Exponentialreihe

$\sum_{n=0}^\infty \frac{ x^n }{n!}$

absolut konvergent.

Beweis

Für ${{}} x=0$ ist die Aussage richtig. Andernfalls betrachten wir den Quotienten

${{}} \mid\! \frac{ \frac{x^{n+1} }{(n+1)!} }{\frac{x^n}{n!} }\!\mid = \mid\! \frac{x}{n+1} \!\mid = \frac{ \mid\! x\!\mid }{n+1} \, .$

Dies ist für ${{}} n \geq 2 \mid\! x\!\mid$ kleiner als ${{}} 1/2$. Aus dem Quotientenkriterium folgt daher die Konvergenz.

$\Box$

Aufgrund dieser Eigenschaft können wir die reelle Exponentialfunktion definieren.

Der Graph der reellen Exponentialfunktion

Definition

Die Funktion

${{}} \R \longrightarrow \R , \, x \longmapsto \operatorname{exp} \, x  : = \sum_{n=0}^\infty \frac{ x^n }{n!} \, ,$

heißt (reelle) Exponentialfunktion.

Satz

Für reelle Zahlen ${{}} x,y \in \R$ gilt

$\operatorname{exp} (x+y) = \operatorname{exp} \, x \cdot \operatorname{exp} \, y .$

Beweis

Das Cauchy-Produkt der beiden Exponentialreihen ist

$\sum_{ n = 0}^\infty c_{ n }$

mit ${{}} c_n = \sum_{ i = 0 }^{ n } \frac{x^{i} }{i!} \frac{ y^{n-i } }{ (n-i)!}$. Diese Reihe ist nach Lemma 17.4 absolut konvergent und der Grenzwert ist das Produkt der beiden Grenzwerte. Andererseits ist der ${{}} n$-te Summand der Exponentialreihe von ${{}} x+y$ gleich

${{}} \frac{(x+y)^n}{n!} = \frac{1}{n!} \sum_{ i = 0 }^{ n } \binom { n } { i} x^{i} y^{n-i} = c_n \, ,$

so dass die beiden Seiten übereinstimmen.

$\Box$

Korollar

Die Exponentialfunktion

${{}} \R \longrightarrow \R , \, x \longmapsto \operatorname{exp} \, x \, ,$

besitzt folgende Eigenschaften.

1. Es ist ${{}} \operatorname{exp} \, 0 = 1$.
2. Für jedes ${{}} x \in \R$ ist ${{}} \operatorname{exp} (-x) = ( \operatorname{exp} \, x )^{-1}$. Insbesondere ist ${{}} \operatorname{exp} \, x \neq 0$.
3. Für ganze Zahlen ${{}} n \in \Z$ ist ${{}} \operatorname{exp} \, n = ( \operatorname{exp} \, 1)^n$.
4. Für jedes ${{}} x$ ist ${{}} \operatorname{exp} \, x \in \R_+$.
5. Für ${{}} x >0$ ist ${{}} \operatorname{exp} \, x > 1$ und für ${{}} x <0$ ist ${{}} \operatorname{exp} \, x <1$.
6. Die reelle Exponentialfunktion ist streng wachsend.

Beweis

(1) folgt direkt aus der Definition.
(2) folgt aus

${{}} \operatorname{exp} \, x \cdot \operatorname{exp} (-x) = \operatorname{exp} (x-x) = \operatorname{exp} \, 0 = 1 \,$

aufgrund von Satz 17.8.
(3) folgt für ${{}} n \in \N$ aus Satz 17.8 durch Induktion, und daraus wegen (2) auch für negatives ${{}} n$.
(4). Die Nichtnegativität ergibt sich aus

${{}} \operatorname{exp} \, x = \operatorname{exp} \, \left( \frac{x}{2} + \frac{x}{2} \right) = \operatorname{exp} \, \frac{x}{2} \cdot \operatorname{exp} \, \frac{x}{2} = \left( \operatorname{exp} \, \frac{x}{2} \right)^2 \geq 0 \, .$

(5). Für reelles ${{}} x$ ist ${{}} \operatorname{exp} \, x \cdot \operatorname{exp} (-x) =1$, so dass nach (4) ein Faktor ${{}} \geq 1$ sein muss und der andere Faktor ${{}} \leq 1$. Für ${{}} x > 0$ ist

${{}} \operatorname{exp} \, x = \sum_{n = 0}^\infty \frac{1}{n!} x^n = 1+x+ \frac{ 1 }{ 2 } x^2 + \ldots > 1 \, ,$

da ja hinten nur positive Zahlen hinzuaddiert werden.
(6). Für reelle ${{}} y > x$ ist ${{}} y-x >0$ und daher nach (5) ${{}} \operatorname{exp} (y-x)>1$, also

${{}} \operatorname{exp} \, y = \operatorname{exp} (y-x + x) = \operatorname{exp} (y-x) \cdot \operatorname{exp} \, x > \operatorname{exp} \, x \, .$

$\Box$

Mit der Exponentialreihe definieren wir die eulersche Zahl.

Definition

Die reelle Zahl

$e:= \sum_{k=0}^\infty \frac{ 1 }{ k! }$

heißt eulersche Zahl.

Diese Zahl hat den Wert

$e=1+1+ \frac{ 1 }{ 2 } + \frac{ 1 }{ 6 } + \frac{ 1 }{ 24 } + \ldots \cong 2,71 ... .$

Bemerkung  

Für die eulersche Zahl gilt

$e = \operatorname{lim}_{ n \rightarrow \infty} \left( 1+ \frac{ 1 }{ n } \right)^n ,$

so dass ${{}} e$ auch als Grenzwert dieser Folge eingeführt werden kann. Die Konvergenz bei der Exponentialreihe ist aber deutlich schneller.

Statt ${{}} \operatorname{exp} \, x$ werden wir in Zukunft auch ${{}} e^x$ schreiben.

Satz

Die reelle Exponentialfunktion

${{}} \R \longrightarrow \R , \, x \longmapsto \operatorname{exp} \, x \, ,$

ist stetig und stiftet eine Bijektion zwischen ${{}} \R$ und ${{}} \R_+$.

Beweis

Die Stetigkeit folgt aus Satz 17.2, da die Exponentialfunktion ja über eine Potenzreihe definiert ist. Nach Korollar 17.9  (4) liegt das Bild in ${{}} \R_+$ und ist nach dem Zwischenwertsatz ein Intervall. Die Unbeschränktheit des Bildes folgt aus Korollar 17.9  (3), woraus wegen Korollar 17.9  (2), folgt, dass auch beliebig kleine positive reelle Zahlen zum Bild gehören. Daher ist das Bild gleich ${{}} \R_+$. Die Injektivität ergibt sich aus Korollar 17.9  (6).

$\Box$

Logarithmen

Definition

Der natürliche Logarithmus

${{}} \, \operatorname{ln} \, \colon \R_+ \longrightarrow \R , \, x \longmapsto \, \operatorname{ln} \, x \, ,$

ist definiert als die Umkehrfunktion der reellen Exponentialfunktion.

Satz

Der natürliche Logarithmus

${{}} \, \operatorname{ln} \, \colon \R_+ \longrightarrow \R , \, x \longmapsto \, \operatorname{ln} \, x \, ,$

ist eine stetige, streng wachsende Funktion, die eine Bijektion zwischen ${{}} \R_+$ und ${{}} \R$ stiftet. Dabei gilt

${{}} \, \operatorname{ln} \, (x \cdot y) = \, \operatorname{ln} \, x + \, \operatorname{ln} \, y \,$

für alle ${{}} x,y \in \R_+$.

Beweis

Dies folgt aus Satz 17.8, Korollar 17.9, Satz 17.12 und Satz 16.4.

$\Box$

Die Exponentialfunktionen für verschiedene Basen

Definition

Zu einer positiven reellen Zahl ${{}} b>0$ definiert man die Exponentialfunktion zur Basis ${{}} b$ als

$b^x := \operatorname{exp} \, (x \, \operatorname{ln} \, b ) .$

Satz

Für die Exponentialfunktionen

${{}} \R \longrightarrow \R , \, x \longmapsto a^x \, ,$

gelten die folgenden Rechenregeln (dabei seien ${{}} a,b \in \R_+$ und ${{}} x,y \in \R$).

1. ${{}} a^{x+y} = a^x \cdot a^y$.
2. ${{}} a^{-x} = \frac{ 1 }{ a^x }$.
3. ${{}} (a^x)^y = a^{xy}$.
4. ${{}} (ab)^x = a^x b^x$.

Beweis

Siehe Aufgabe 17.7.

$\Box$

Bemerkung  

Die Exponentialfunktionen ${{}} x \mapsto a^x$ zur Basis ${{}} a >0$ kann man auch anders einführen. Für natürliche Zahlen ${{}} n \geq 0$ nimmt man das ${{}} n$-fache Produkt von ${{}} a$ mit sich selbst, also ${{}} a^n$, als Definition. Für eine negative ganze Zahl ${{}} x$ setzt man ${{}} a^x := (a^{-x} )^{-1}$. Für eine positive rationale Zahl ${{}} x= r/s$ setzt man

$a^x := \sqrt[s] { a^r } ,$

wobei man natürlich die Unabhängigkeit von der gewählten Bruchdarstellung beweisen muss. Für eine negative rationale Zahl arbeitet man wieder mit Inversen. Für eine beliebige reelle Zahl ${{}} x$ schließlich nimmt man eine Folge ${{}} q_n$ von rationalen Zahlen, die gegen ${{}} x$ konvergiert, und definiert

$a^x := \operatorname{lim}_{ n \rightarrow \infty} a^{q_n} .$

Hierzu muss man zeigen, dass diese Limiten existieren und unabhängig von der gewählten rationalen Folge sind. Für den Übergang von ${{}} \Q$ nach ${{}} \R$ ist der Begriff der gleichmäßigen Stetigkeit entscheidend.

Definition

Zu einer positiven reellen Zahl ${{}} b>0$ wird der Logarithmus zur Basis ${{}} b$ durch

$\log_{ b } x := \frac{ \, \operatorname{ln} \, x }{ \, \operatorname{ln} \, b }$

definiert.

Logarithmen zu verschiedenen Basen

Satz

Die Logarithmen zur Basis ${{}} b$ erfüllen die folgenden Rechenregeln.

1. Es ist ${{}} \log_b(b^x) =x$ und ${{}} b^{\log_b(y)} =y$, das heißt der Logarithmus zur Basis b ist die Umkehrfunktion zur Exponentialfunktion zur Basis ${{}} b$.
2. Es gilt ${{}} \log_{ b } (y \cdot z) = \log_{ b } y + \log_{ b } z$
3. Es gilt ${{}} \log_{ b } y^u = u \cdot \log_{ b } y$ für ${{}} u \in \R$.
4. Es gilt

   ${{}} \log_{ a } y = \log_{ a } ( b^{ \log_{ b } y }) = \log_{ b } y \cdot \log_{ a } b \, .$

Beweis

Siehe Aufgabe 17.8.

$\Box$

<< | Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF) (PDF englisch)