Herleitung und Definition der Exponentialfunktion – Serlo „Mathe für Nicht-Freaks“

Dieser Abschnitt ist noch im Entstehen und noch nicht offizieller Bestandteil des Buchs. Gib den Autoren Zeit, den Inhalt anzupassen!

Definition der Exponentialfunktion

Die Exponentialfunktion

In den folgenden Abschnitten werden wir die Exponentialfunktion definieren. Es gibt zwei Möglichkeiten, diese zu definieren. Wir werden beide Ansätze vorstellen. Anschließend zeigen wir, dass beide Definitionen äquivalent sind.

Reihendarstellung

Angenommen, wir suchen eine differenzierbare Funktion $f:\mathbb {R} \to \mathbb {R}$, für die gilt $f'(x)=f(x)$ für alle $x\in \mathbb {R}$.

Das ist eine Frage, die nicht nur einen Mathematiker interessiert. Beispielsweise sucht ein Biologe eine Funktion, die die Anzahl der Bakterien in einer Bakterienkultur beschreibt. Dabei weiß er, dass das Wachstum dieser Bakterienkultur proportional zur Anzahl der Bakterien ist. Zur Vereinfachung hat er diesen Proportionalitätsfaktor auf $1$ gesetzt.

Es bietet sich sofort eine einfache Möglichkeit an: $f(x)=0$ für alle $x\in \mathbb {R}$. Das ist erstens eine ziemlich langweilige Funktion und zweitens löst sie das Problem des Biologen auch nicht, denn in seiner Bakterienkultur sind ja mehr als $0$ Bakterien.

Die Frage ist nun, ob es weitere Funktionen $f$ mit dieser Eigenschaft gibt. Zunächst stellen wir fest, dass für alle $c\in \mathbb {R}$ und alle Funktionen $f:\mathbb {R} \to \mathbb {R}$ mit $f'\equiv f$ gilt, dass auch $(c\cdot f):\mathbb {R} \to \mathbb {R} ,x\mapsto c\cdot f(x)$ differenzierbar ist und $(c\cdot f)'(x)=c\cdot f(x)=(c\cdot f)(x)$ gilt.

Wir fordern nun zusätzlich, dass $f(0)=1$ gilt. Als Ansatz wählen wir ein Polynom $f:\mathbb {R} \to \mathbb {R} ,x\mapsto \sum _{i=0}^{n}a_{i}\cdot x^{i}$ für ein $n\in \mathbb {N}$. Wegen $f(0)=1$ muss $a_{0}=1$ gelten.

Nun leiten wir das Polynom ab, um eine Bedingung für die restlichen Koeffizienten $a_{i}$ zu erhalten. Für alle $x\in \mathbb {R}$ gilt

$f'(x)=\sum _{i=0}^{n-1}(i+1)\cdot a_{i+1}\cdot x^{i}$

Damit für alle $x\in \mathbb {R}$ gilt $f'(x)=f(x)$, müssen die Koeffizienten vor den $x^{i}$ bei $f$ und $f'$ gleich sein. Somit muss für alle $i\in \{0,\ldots ,n-1\}$ folgende Gleichung erfüllt sein: $(i+1)\cdot a_{i+1}=a_{i}$.

Da wir zusätzlich wissen, dass $a_{0}=1$, folgt rekursiv $a_{i+1}={\tfrac {1}{(i+1)!}}$ für alle $i\in \{0,\ldots ,n-1\}$. Insbesondere gilt also $a_{n}={\tfrac {1}{n!}}$. Betrachten wir nun die Gleichungen mit den Koeffizienten vor den $x^{i}$, stellen wir jedoch fest, dass $a_{n}=0$ gelten muss. Denn der Koeffizient vor $x^{n}$ in der Ableitung von $f$ ist gleich $0$.

Nun haben wir ein Problem. Egal, welches Polynom $f$ wir wählen, wir bekommen nie eine Lösung unseres Problems. Daher müssen wir unseren Ansatz ein wenig modifizieren. Wenn der Grad des Polynoms $n$ größer wird, scheint unsere Annäherung immer besser zu werden. Es gilt nämlich $\lim _{n\to \infty }a_{n}=\lim _{n\to \infty }{\tfrac {1}{n!}}=0$. Also ist der neue Ansatz

$f:\mathbb {R} \to \mathbb {R} ,x\mapsto \sum _{i=0}^{\infty }a_{i}\cdot x^{i}$

Wir kümmern uns zunächst nicht darum, ob diese Funktion überhaupt wohldefiniert ist, d.h., ob die Reihe $\sum _{i=0}^{\infty }a_{i}\cdot x^{i}$ für jedes $x\in \mathbb {R}$ konvergiert. Wir setzen nun für alle $i\in \mathbb {N} _{0}$ wie oben $a_{i}:={\tfrac {1}{i!}}$. Damit haben wir $f:\mathbb {R} \to \mathbb {R} ,x\mapsto \sum _{i=0}^{\infty }{\tfrac {1}{i!}}\cdot x^{i}$.

Als nächstes überprüfen wir, ob unsere Anforderungen von der Funktion wirklich erfüllt werden. Es gilt $f(0)=\sum _{i=0}^{\infty }{\tfrac {1}{i!}}\cdot 0^{i}=1$. Wir nehmen nun an, dass diese Funktion differenzierbar ist und die Ableitung analog zur Ableitung von Polynomen berechnet werden kann. Das müsste man natürlich noch beweisen. Dann gilt für alle $x\in \mathbb {R}$

$f'(x)=\sum _{i=0}^{\infty }{\tfrac {1}{(i+1)!}}\cdot (i+1)\cdot x^{i}=\sum _{i=0}^{\infty }{\tfrac {1}{i!}}\cdot x^{i}=f(x)$

Annäherung der Exponentialfunktion durch die $n$-te Partialsumme der Reihendarstellung

Definition (Exponentialfunktion)

Wir definieren die Exponentialfunktion $\exp$ durch

$\exp :\mathbb {R} \to \mathbb {R} ,x\mapsto \sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}=:e^{x}$

Diese Definition können wir auf die komplexen Zahlen ausweiten:

Definition (Exponentialfunktion)

Wir definieren die Exponentialfunktion $\exp$ durch

$\exp :\mathbb {C} \to \mathbb {C} ,z\mapsto \sum _{k=0}^{\infty }{\frac {z^{k}}{k!}}=:e^{z}$

Wir zeigen nun, dass die Exponentialfunktion wohldefiniert ist, d.h. für jedes $z\in \mathbb {C}$ ist die Reihe $\sum _{k=0}^{\infty }{\frac {z^{k}}{k!}}$ konvergent.

Beweis (Wohldefiniertheit der Exponentialfunktion)

Sei $z\in \mathbb {C}$.

Fall 1: $z=0$

Es gilt

${\begin{aligned}&\sum _{k=0}^{\infty }{\frac {z^{k}}{k!}}\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ {\text{Summe aufteilen}}\right.}\\[0.3em]=\ &{\frac {z^{0}}{0!}}+\sum _{k=1}^{\infty }{\frac {z^{k}}{k!}}\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ z=0\right.}\\[0.3em]=\ &{\frac {0^{0}}{0!}}+\sum _{k=1}^{\infty }{\frac {0^{k}}{k!}}\\[0.3em]=\ &1+\sum _{k=1}^{\infty }{0}\\[0.3em]=\ &1\\[0.3em]\end{aligned}}$

Fall 2: $z\neq 0$

Dazu wenden wir das Quotientenkriterium an. Wir schreiben $a_{k}:={\tfrac {z^{k}}{k!}}$ für alle $k\in \mathbb {N} _{0}$. Also: $\sum _{k=0}^{\infty }{\frac {z^{k}}{k!}}=\sum _{k=0}^{\infty }{a_{k}}$. Es gilt

${\begin{aligned}&\lim _{k\to \infty }{\left|{\frac {a_{k+1}}{a_{k}}}\right|}\\[0.3em]=\ &\lim _{k\to \infty }{\left|{\frac {\frac {z^{k+1}}{(k+1)!}}{\frac {z^{k}}{k!}}}\right|}\\[0.3em]=\ &\lim _{k\to \infty }{\left|{\frac {z^{k+1}\cdot k!}{z^{k}\cdot (k+1)!}}\right|}\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ (k+1)!=k!\cdot (k+1)\right.}\\[0.3em]=\ &\lim _{k\to \infty }{\left|{\frac {z}{k+1}}\right|}\\[0.3em]=\ &0\end{aligned}}$

Also konvergiert die Reihe nach dem Quotientenkriterium.

Folgendarstellung

Historisch wurde die Exponentialfunktion auf eine andere Art und Weise entdeckt. Jakob Bernoulli untersuchte die Zins- und Zinseszinsrechnung einer Bank: Ein Kunde geht in eine Bank und zahlt einen Betrag von einem Euro auf ein Konto ein. Die Bank gewährt ihm eine jährliche Verzinsung von $100\%$. Damit erhält der Kunde nach dem ersten Jahr einen Betrag von $1\mathrm {\euro} \cdot (1+1)=2\mathrm {\euro}$ zurück. Der eingezahlte Betrag verdoppelt sich also jedes Jahr.

Nun hat die Bank aber ein weiteres Angebot, nämlich eine halbjährliche Verzinsung um jeweils $50\%$. Ist dieses Angebot besser für den Kunden?

Nach den ersten 6 Monaten steht der Kontostand bei $1\mathrm {\euro} \cdot (1+{\tfrac {1}{2}})=1,50\mathrm {\euro}$ und nach einem Jahr dann bei $1\mathrm {\euro} \cdot (1+{\tfrac {1}{2}})^{2}=2{,}25\mathrm {\euro}$. Der Kunde verdient also mehr als beim ersten Angebot. Jedes Jahr wächst der Kontostand auf das $2{,}25$-fache!

Genauso können wir weitermachen: Bei einer monatlichen Verzinsung mit dem Faktor ${\tfrac {1}{12}}$ erhält der Kunde $1\mathrm {\euro} \cdot (1+{\tfrac {1}{12}})^{12}\approx 2{,}61\mathrm {\euro}$.

Bei einer täglichen Verzinsung wäre der Wachstumsfaktor gleich $(1+{\tfrac {1}{365}})^{365}\approx 2{,}7145$.

Oder falls sogar jede Sekunde die Zinsen ausgezahlt würden: $(1+{\tfrac {1}{365\cdot 24\cdot 3600}})^{365\cdot 24\cdot 3600}\approx 2{,}7182817$.

Die Frage drängt sich auf, welcher Wachstumsfaktor bei einer kontinuierlichen Verzinsung auftritt. Dazu betrachten wir den Grenzwert

$\lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}$

Das Ergebnis dieses Grenzwerts liefert genau die Eulersche Zahl $e=2{,}71828182845...$.

Ein jährlicher Zinssatz von $100\%$ ist jedoch unüblich, besonders in der heutigen Zeit. Uns hindert nichts daran, unsere Überlegungen auf einen beliebigen Zinssatz $x\in \mathbb {R}$ zu übertragen (bisher war $x=100\%=1$). Teilt man die Auszahlung der Zinsen auf $n$ gleich große Zeiträume auf, so wächst das Guthaben bei jeder Verzinsung um den Faktor $1+{\tfrac {x}{n}}$. Nach einem Jahr ist der Kontostand demnach auf das $(1+{\tfrac {x}{n}})^{n}$-fache angestiegen. Für eine kontinuierliche Verzinsung untersuchen wir den Grenzwert

$\lim _{n\to \infty }\left(1+{\frac {x}{n}}\right)^{n}$

Es stellt sich heraus, dass dieser Grenzwert für alle $x\in \mathbb {R}$ existiert. Er liefert gerade den Wert der Exponentialfunktion an der Stelle $x$. So erhalten wir folgende Definition:

Annäherung der Exponentialfunktion durch $\left(1+{\frac {x}{n}}\right)^{n}$

Definition (Folgendarstellung der Exponentialfunktion)

Die Exponentialfunktion ist definiert als

$\exp :\mathbb {R} \to \mathbb {R} ,\qquad \exp(x):=\lim _{n\to \infty }{\left(1+{\frac {x}{n}}\right)^{n}}$

Wir können diese Definition auf komplexe Zahlen ausweiten, auch wenn die Vorstellung von imaginärem Zinssatz nicht realistisch ist.

Definition (Folgendarstellung der Exponentialfunktion)

Die Exponentialfunktion ist definiert als

$\exp :\mathbb {C} \to \mathbb {C} ,\qquad \exp(z):=\lim _{n\to \infty }{\left(1+{\frac {z}{n}}\right)^{n}}$

Diese Darstellung ist äquivalent zur oberen Definition durch die Reihendarstellung, was wir im Folgenden noch beweisen werden.

Äquivalenz von Reihen- und Folgendarstellung

In den letzten beiden Absätzen haben wir die Reihen- und die Folgendarstellung der Exponentialfunktion kennengelernt. Nun zeigen wir, dass beide Definitionen äquivalent sind.

Satz (Äquivalenz der Reihen- und Folgendarstellung)

Für alle $z\in \mathbb {C}$ gilt

$\lim _{n\to \infty }\left(1+{\frac {z}{n}}\right)^{n}=\sum _{k=0}^{\infty }{\frac {z^{k}}{k!}}$

Insbesondere existiert der Grenzwert aus der Folgendarstellung für alle $z\in \mathbb {C}$.

Beweis (Äquivalenz der Reihen- und Folgendarstellung)

Wir schreiben $\exp(z)$ für $\sum _{k=0}^{\infty }{\frac {z^{k}}{k!}}$. Für alle $n\in \mathbb {N}$ gilt

${\begin{aligned}&\left|\sum _{k=0}^{n}{\frac {z^{k}}{k!}}-\left(1+{\frac {z}{n}}\right)^{n}\right|\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ {\text{Binomischer Lehrsatz}}\right.}\\[0.3em]=\ &\left|\sum _{k=0}^{n}{\frac {z^{k}}{k!}}-\sum _{k=0}^{n}{\binom {n}{k}}\left({\frac {z}{n}}\right)^{k}\right|\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ {\text{Summen zusammenfassen}}\right.}\\[0.3em]=\ &\left|\sum _{k=0}^{n}{\frac {z^{k}}{k!}}\left(1-{\frac {n(n-1)\cdots (n-k+1)}{n^{k}}}\right)\right|\\[0.3em]&\ {\color {OliveGreen}\left\downarrow \ {\text{Dreiecksungleichung}}\right.}\\[0.3em]\leq \ &\sum _{k=0}^{n}{\frac {|z|^{k}}{k!}}\left|1-{\frac {n(n-1)\cdots (n-k+1)}{n^{k}}}\right|\end{aligned}}$

Es gilt

$1\geq {\frac {n(n-1)\cdots (n-k+1)}{n^{k}}}\geq {\frac {(n-k+1)^{k}}{n^{k}}}=\left(1-{\frac {k-1}{n}}\right)^{k}\geq 1-{\frac {k(k-1)}{n}}$

Somit erhalten wir

$\left|\sum _{k=0}^{n}{\frac {z^{k}}{k!}}-\left(1+{\frac {z}{n}}\right)^{n}\right|\leq \sum _{k=0}^{n}{\frac {|z|^{k}}{k!}}{\frac {k(k-1)}{n}}={\frac {|z|^{2}}{n}}\sum _{k=0}^{n-2}{\frac {|z|^{k}}{k!}}$

Daraus ergibt sich

$\lim _{n\to \infty }\left|\sum _{k=0}^{n}{\frac {z^{k}}{k!}}-\left(1+{\frac {z}{n}}\right)^{n}\right|=|z|^{2}\cdot \exp(|z|)\cdot \lim _{n\to \infty }{\frac {1}{n}}=0$

Es folgt schließlich

$\lim _{n\to \infty }\left(1+{\frac {z}{n}}\right)^{n}=\sum _{k=0}^{\infty }{\frac {z^{k}}{k!}}$