Kurs:Analysis (Osnabrück 2021-2023)/Teil I/Vorlesung 17

Logarithmen

Satz

ℝ ⟶ ℝ, x ⟼ \exp x,

ist stetig und stiftet eine Bijektion zwischen $ℝ$ und $ℝ_{+}$ .

Die Stetigkeit folgt aus Korollar 16.10. Nach Korollar 15.8 (4) liegt das Bild in $ℝ_{+}$ und ist nach dem Zwischenwertsatz ein Intervall. Die Unbeschränktheit des Bildes folgt aus Korollar 15.8 (3), woraus wegen Korollar 15.8 (2), folgt, dass auch beliebig kleine positive reelle Zahlen zum Bild gehören. Daher ist das Bild gleich $ℝ_{+}$ . Die Injektivität ergibt sich aus Korollar 15.8 (6).

◻

Definition

Der natürliche Logarithmus

\ln : ℝ_{+} ⟶ ℝ, x ⟼ \ln x,

ist als die Umkehrfunktion der reellen Exponentialfunktion definiert.

Satz

Der natürliche Logarithmus

\ln : ℝ_{+} ⟶ ℝ, x ⟼ \ln x,

ist eine stetige, streng wachsende Funktion, die eine Bijektion zwischen $ℝ_{+}$ und $ℝ$ stiftet. Dabei gilt

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

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

Beweis

Dies folgt aus Satz 17.1, Satz 13.6, Satz 15.7 und Korollar 15.8.

◻

Definition

Zu einer positiven reellen Zahl $b > 0$ definiert man die Exponentialfunktion zur Basis $b$ von $z \in ℂ$ als

b^{z} := \exp (z \ln b) .

Aufgabe 17.1 zeigt, dass für reelle Argumente diese Definition mit der aus der 14. Vorlesung übereinstimmt.

Satz

Für die Exponentialfunktionen

ℂ ⟶ ℂ, z ⟼ a^{z},

zur Basis $a \in ℝ_{+}$ gelten die folgenden Rechenregeln (dabei seien $a, b \in ℝ_{+}$ und $z, w \in ℂ$ , bei (4) sei zusätzlich $z \in ℝ$ ).

Es ist $a^{z + w} = a^{z} \cdot a^{w}$ .

Es ist $a^{- z} = \frac{1}{a^{z}}$ .

Es ist $(a b)^{z} = a^{z} b^{z}$ .

Es ist $(a^{z})^{w} = a^{z w}$ .

Beweis

Siehe Aufgabe 17.2.

◻

Definition

Zu einer positiven reellen Zahl $b > 0$ , $b \neq 1$ , wird der Logarithmus zur Basis $b$ von $x \in ℝ_{+}$ durch

\log_{b} x := \frac{\ln x}{\ln b}

definiert.

Satz

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

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

Es gilt $\log_{b} (y \cdot z) = \log_{b} y + \log_{b} z$ .

Es gilt $\log_{b} y^{u} = u \cdot \log_{b} y$ für $u \in ℝ$ .

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

Beweis

Siehe Aufgabe 17.3.

◻

Summierbarkeit

Bei einer Reihe sind die aufzusummierenden Glieder durch die natürlichen Zahlen geordnet. Häufig kommt es vor, dass diese Ordnung verändert wird. Dabei kann sich sowohl die Summe als auch die Eigenschaft, ob eine konvergente Reihe vorliegt, ändern, allerdings nicht, wenn die Reihe absolut konvergent ist, siehe Aufgabe 9.16 und Aufgabe 9.29. Wenn man sich für die Summe der Kehrwerte aller Primzahlen interessiert, so ist es natürlicher, dies direkt als die Summe $\sum_{p Primzahl} \frac{1}{p}$ aufzufassen, anstatt die Primzahlen durchzunummerieren, um eine durch die natürlichen Zahlen indizierte Reihe zu haben. Wenn man zwei absolut konvergente Reihen $\sum_{i = 0}^{\infty} a_{i}$ und $\sum_{j = 0}^{\infty} b_{j}$ multiplizieren möchte, so geht es nach der Regel, jeden Summanden mit jedem Summanden zu multiplizieren, um die Summe aller Einzelprodukte $a_{i} b_{j}$ , $(i, j) \in ℕ \times ℕ$ , wobei eben $ℕ^{2}$ die natürliche Indexmenge ist, für die es keine naheliegende Ordung gibt. In der Definition von Cauchy-Produkt werden die Produkte mit konstanter Indexsumme zusammengefasst, um eine Summationsreihenfolge festzulegen, es gibt aber auch noch viele andere Möglichkeiten. Vor diesem Hintergrund ist es sinnvoll, einen Summationsbegriff zu besitzen, der unabhängig von jeder Ordnung der Indexmenge ist. Wir werden diese Theorie nicht systematisch entwickeln, sondern nur den großen Umordnungssatz beweisen, den wir sogleich für das Entwickeln einer Potenzreihen in einem neuen Entwicklungspunkt benötigen. Die Familie sei als $a_{i}$ , $i \in I$ , gegeben. Für jede endliche Teilmenge $E \subseteq I$ kann man die zugehörigen Glieder aufsummieren, und wir setzen

a_{E} = \sum_{i \in E} a_{i} .

Eine sinnvolle Aufsummierung der gesamten Familie muss auf diese endlichen Teilsummen $a_{E}$ Bezug nehmen.

Definition

Es sei $I$ eine Indexmenge und $a_{i}$ , $i \in I$ , eine Familie von komplexen Zahlen. Diese Familie heißt summierbar, wenn es ein $s \in ℂ$ mit folgender Eigenschaft gibt: Zu jedem $ϵ > 0$ gibt es eine endliche Teilmenge $E_{0} \subseteq I$ derart, dass für alle endlichen Teilmengen $E \subseteq I$ mit $E_{0} \subseteq E$ die Beziehung

| a_{E} - s | \leq ϵ

gilt. Dabei ist $a_{E} = \sum_{i \in E} a_{i}$ . Im summierbaren Fall heißt $s$ die Summe der Familie.

Definition

Es sei $I$ eine Indexmenge und $a_{i}$ , $i \in I$ , eine Familie von komplexen Zahlen. Diese Familie heißt eine Cauchy-Familie, wenn es zu jedem $ϵ > 0$ eine endliche Teilmenge $E_{0} \subseteq I$ derart gibt, dass für jede endliche Teilmenge $D \subseteq I$ mit $E_{0} \cap D = \emptyset$ die Beziehung

| a_{D} | \leq ϵ

gilt. Dabei ist $a_{D} = \sum_{i \in D} a_{i}$ .

Lemma

Es sei $I$ eine Indexmenge und $a_{i}$ , $i \in I$ , eine Familie von komplexen Zahlen.

Dann ist die Familie genau dann summierbar, wenn sie eine Cauchy-Familie ist.

Beweis

Es sei zunächst die Familie summierbar mit der Summe $s$ , und sei $ϵ > 0$ vorgegeben. Zu $ϵ / 2$ gibt es eine endliche Teilmenge $E_{0} \subseteq I$ derart, dass für alle endlichen Mengen $E \subseteq I$ mit $E_{0} \subseteq E$ die Abschätzung $| a_{E} - s | \leq ϵ / 2$ gilt. Für jede zu $E_{0}$ disjunkte endliche Teilmenge $D$ gilt dann

\begin{matrix} | a_{D} | & = | a_{D} + a_{E_{0}} - s - a_{E_{0}} + s | \\ \leq | a_{D} + a_{E_{0}} - s | + | a_{E_{0}} - s | \\ = | a_{E_{0} \cup D} - s | + | a_{E_{0}} - s | \\ \leq ϵ / 2 + ϵ / 2 \\ = ϵ, \end{matrix}

sodass die Cauchy-Bedingung erfüllt ist.
Es sei nun $a_{i}$ , $i \in I$ , eine Cauchy-Familie. Wir brauchen zunächst einen Kandidaten für die Summe. Für jedes $n \in ℕ_{+}$ gibt es eine endliche Teilmenge $E_{n} \subseteq I$ derart, dass für jede endliche Teilmenge $D \subseteq I$ mit $E_{n} \cap D = \emptyset$ die Abschätzung $| a_{D} | \leq 1 / n$ gilt. Wir können annehmen, dass $E_{n} \subseteq E_{n + 1}$ für alle $n$ gilt. Wir setzen

x_{n} := a_{E_{n}} = \sum_{i \in E_{n}} a_{i} .

Für $k \geq m \geq n$ gilt

| x_{k} - x_{m} | = | \sum_{i \in E_{k}} a_{i} - \sum_{i \in E_{m}} a_{i} | = | a_{E_{k} ∖ E_{m}} | \leq 1 / m \leq 1 / n,

da die Menge $E_{k} ∖ E_{m}$ disjunkt zu $E_{m}$ ist. Daher ist ${(x_{n})}_{n \in ℕ}$ eine Cauchy-Folge und somit wegen der Vollständigkeit von $ℂ$ konvergent gegen ein $s \in ℂ$ .
Wir behaupten, dass die Familie summierbar ist mit der Summe $s$ . Es sei dazu ein $ϵ > 0$ vorgegeben. Es gibt $n \in ℕ_{+}$ mit $1 / n \leq ϵ / 2$ . Dann ist wegen der Folgenkonvergenz und der Abschätzung von eben $| x_{n} - s | \leq ϵ / 2$ . Für jedes endliche $E \supseteq E_{n}$ schreiben wir $E = E_{n} \cup D$ mit $E_{n} \cap D = \emptyset$ . Damit gelten die Abschätzungen

\begin{matrix} | a_{E} - s | & = | a_{E_{n}} + a_{D} - s | \\ \leq | a_{E_{n}} - s | + | a_{D} | \\ \leq ϵ / 2 + ϵ / 2 \\ = ϵ . \end{matrix}

◻

Korollar

Es sei $a_{i}$ , $i \in I$ , eine summierbare Familie komplexer Zahlen und $J \subseteq I$ eine Teilmenge.

Dann ist auch $a_{i}$ , $i \in J$ , summierbar.

Beweis

Siehe Aufgabe 17.10.

◻

Der große Umordnungssatz

Satz

Es sei $a_{i}$ , $i \in I$ , eine summierbare Familie von komplexen Zahlen mit der Summe $s$ . Es sei $J$ eine weitere Indexmenge und zu jedem $j \in J$ sei eine Teilmenge $I_{j} \subseteq I$ gegeben mit $I = ⋃_{j \in J} I_{j}$ und $I_{j} \cap I_{j^{'}} = \emptyset$ für $j \neq j^{'}$ .^[1]

Dann sind die Teilfamilien $a_{i}$ , $i \in I_{j}$ , summierbar und für ihre Summen $s_{j} = \sum_{i \in I_{j}} a_{i}$ gilt, dass die Familie $s_{j}$ , $j \in J$ , summierbar ist mit

$s = \sum_{j \in J} s_{j} .$

Beweis

Die Summierbarkeit der Teilfamilien folgt aus Korollar 17.11. Es sei $ϵ > 0$ vorgegeben. Da die Ausgangsfamilie summierbar ist, gibt es eine endliche Teilmenge $E_{0} \subseteq I$ mit

| a_{E} - s | \leq ϵ / 2

für alle endlichen Teilmengen $E \subseteq I$ mit $E_{0} \subseteq E$ . Es gibt eine endliche Teilmenge $F_{0} \subseteq J$ derart, dass

E_{0} \subseteq ⋃_{j \in F_{0}} I_{j}

ist. Wir behaupten, dass dieses $F_{0}$ für die Familie $s_{j}$ , $j \in J$ , die Summationseigenschaft für $ϵ$ erfüllt. Es sei dazu $F \subseteq J$ mit $F_{0} \subseteq F$ endlich und $n = # (F)$ . Da die Familien $a_{i}$ , $i \in I_{j}$ , summierbar mit den Summen $s_{j}$ sind, gibt es für jedes $j \in F$ ein endliches $G_{j, 0} \subseteq I_{j}$ mit

| a_{G_{j}} - s_{j} | \leq ϵ / 2 n

für alle endlichen $G_{j} \subseteq I_{j}$ mit $G_{j, 0} \subseteq G_{j}$ . Wir wählen nun für jedes $j \in F$ ein solches $G_{j}$ so, dass zusätzlich $E_{0} \cap I_{j} \subseteq G_{j}$ gilt. Dann ist $E_{0} \subseteq E := ⋃_{j \in F} G_{j}$ und daher $| \sum_{j \in F} a_{G_{j}} - s | = | \sum_{i \in E} a_{i} - s | \leq ϵ / 2$ . Somit haben wir insgesamt die Abschätzungen

\begin{matrix} | \sum_{j \in F} s_{j} - s | & = | \sum_{j \in F} (s_{j} - a_{G_{j}}) + \sum_{j \in F} a_{G_{j}} - s | \\ \leq \sum_{j \in F} | s_{j} - a_{G_{j}} | + | \sum_{j \in F} a_{G_{j}} - s | \\ \leq n \cdot ϵ / 2 n + | \sum_{i \in E} a_{i} - s | \\ \leq n \cdot ϵ / 2 n + ϵ / 2 \\ = ϵ . \end{matrix}

◻

Der Entwicklungssatz für Potenzreihen

Satz

Es sei

f = \sum_{n = 0}^{\infty} c_{n} (z - a)^{n}

eine konvergente Potenzreihe mit dem Konvergenzradius $R > 0$ und sei $b \in U (a, R)$ .

Dann gibt es eine konvergente Potenzreihe

$h = \sum_{i = 0}^{\infty} d_{i} (z - b)^{i}$

mit Entwicklungspunkt $b$ und mit einem Konvergenzradius $s \geq R - | a - b | > 0$ derart, dass die durch diese beiden Potenzreihen dargestellten Funktionen auf $U (a, R) \cap U (b, s)$ übereinstimmen.

Die Koeffizienten von $h$ sind

d_{i} = \sum_{n = i}^{\infty} (\binom{n}{i}) c_{n} (b - a)^{n - i}

und insbesondere ist

d_{1} = \sum_{n = 1}^{\infty} n c_{n} (b - a)^{n - 1} .

Beweis

Zur Notationsvereinfachung sei $a = 0$ , $b \in U (0, R)$ und $z \in U (b, R - | b |)$ . Wir betrachten die Familie

x_{n i} = c_{n} (\binom{n}{i}) (z - b)^{i} b^{n - i}, n \in ℕ, i \in {0, 1, \dots, n} .

Wir zeigen zuerst, dass diese Familie

summierbar ist. Dies folgt aus der Abschätzung (unter Verwendung von Aufgabe 17.14)

\begin{matrix} \sum_{n = 0, \dots, N, i = 0, \dots, n} | c_{n} (\binom{n}{i}) (z - b)^{i} b^{n - i} | & \leq \sum_{n = 0}^{N} | c_{n} | (\sum_{i = 0}^{n} (\binom{n}{i}) | z - b |^{i} | b |^{n - i}) \\ = \sum_{n = 0}^{N} | c_{n} | {(| z - b | + | b |)}^{n} \end{matrix}

und daraus, dass wegen $| z - b | + | b | < R$ gemäß Lemma 16.7 die rechte Seite für beliebiges $N$ beschränkt ist.
Wegen der Summierbarkeit gelten aufgrund des großen Umordnungssatzes die Gleichungen

\begin{matrix} f (z) & = \sum_{n = 0}^{\infty} c_{n} z^{n} \\ = \sum_{n = 0}^{\infty} c_{n} ((z - b) + b)^{n} \\ = \sum_{n = 0}^{\infty} c_{n} (\sum_{i = 0}^{n} (\binom{n}{i}) (z - b)^{i} b^{n - i}) \\ = \sum_{n \in ℕ, i = 0, \dots, n} c_{n} (\binom{n}{i}) (z - b)^{i} b^{n - i} \\ = \sum_{i = 0}^{\infty} (\sum_{n = i}^{\infty} (\binom{n}{i}) c_{n} b^{n - i}) (z - b)^{i} \\ = \sum_{i = 0}^{\infty} d_{i} (z - b)^{i} . \end{matrix}

◻

Fußnoten

↑ D.h. die $I_{j}$ bilden eine disjunkte Vereinigung von $I$ .

<< | Kurs:Analysis (Osnabrück 2021-2023)/Teil I | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)

[1] D.h. die $I_{j}$ bilden eine disjunkte Vereinigung von $I$ .

[1]