Reelle Exponentialfunktion über Exponentialreihe/Einführung/Textabschnitt

Definition

Für jedes ${}x\in \mathbb {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 \mathbb {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

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

Dies ist für ${}n\geq 2\vert {x}\vert$ 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

$\mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto \exp x:=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}},$

heißt (reelle) Exponentialfunktion.

Die folgende Aussage heißt die Funktionalgleichung der Exponentialfunktion.

Satz

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

${}\exp \left(x+y\right)=\exp x\cdot \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 Fakt absolut konvergent und der Grenzwert ist das Produkt der beiden Grenzwerte. Andererseits ist der ${}n$-te Summand der Exponentialreihe von ${}x+y$ nach Fakt 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

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

besitzt folgende Eigenschaften.

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

Beweis

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

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

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

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

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

${}\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) ${}\exp \left(y-x\right)>1$, also

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

$\Box$