diff options
author | Nicolas Tobler <nicolas.tobler@ost.ch> | 2022-08-03 20:37:12 +0200 |
---|---|---|
committer | Nicolas Tobler <nicolas.tobler@ost.ch> | 2022-08-03 20:37:12 +0200 |
commit | e08392d4bacb9a54c3ab755fa6445514749b608f (patch) | |
tree | 67af5a4a6ed541b1b425de89fd05c2a74a265571 /buch/chapters/040-rekursion/bohrmollerup.tex | |
parent | improved Einleitung (diff) | |
parent | Merge pull request #39 from NaoPross/master (diff) | |
download | SeminarSpezielleFunktionen-e08392d4bacb9a54c3ab755fa6445514749b608f.tar.gz SeminarSpezielleFunktionen-e08392d4bacb9a54c3ab755fa6445514749b608f.zip |
Merge branch 'master' of https://github.com/AndreasFMueller/SeminarSpezielleFunktionen
Diffstat (limited to '')
-rw-r--r-- | buch/chapters/040-rekursion/bohrmollerup.tex | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/buch/chapters/040-rekursion/bohrmollerup.tex b/buch/chapters/040-rekursion/bohrmollerup.tex index cd9cadc..57e503a 100644 --- a/buch/chapters/040-rekursion/bohrmollerup.tex +++ b/buch/chapters/040-rekursion/bohrmollerup.tex @@ -5,12 +5,27 @@ % \subsection{Der Satz von Bohr-Mollerup \label{buch:rekursion:subsection:bohr-mollerup}} +\begin{figure} +\centering +\includegraphics{chapters/040-rekursion/images/loggammaplot.pdf} +\caption{Der Graph der Funktion $\log|\Gamma(x)|$ ist für $x>0$ konvex. +Die blau hinterlegten Bereiche zeigen an, wo die Gamma-Funktion +negative Werte annimmt. +\label{buch:rekursion:gamma:loggammaplot}} +\end{figure} Die Integralformel und die Grenzwertdefinition für die Gamma-Funktion zeigen beide, dass das Problem der Ausdehnung der Fakultät zu einer Funktion $\mathbb{C}\to\mathbb{C}$ eine Lösung hat, aber es ist noch nicht klar, in welchem Sinn dies die einzig mögliche Lösung ist. Der Satz von Bohr-Mollerup gibt darauf eine Antwort. +Der Graph +in Abbildung~\ref{buch:rekursion:gamma:loggammaplot} +zeigt, dass die Werte der Gamma-Funktion für $x>0$ so schnell +anwachsen, dass sogar die Funktion $\log|\Gamma(x)|$ konvex ist. +Der Satz von Bohr-Mollerup besagt, dass diese Eigenschaft zur +Charakterisierung der Gamma-Funktion verwendet werden kann. + \begin{satz} \label{buch:satz:bohr-mollerup} Eine Funktion $f\colon \mathbb{R}^+\to\mathbb{R}$ mit den Eigenschaften @@ -20,6 +35,8 @@ Eine Funktion $f\colon \mathbb{R}^+\to\mathbb{R}$ mit den Eigenschaften \item die Funktion $\log f(t)$ ist konvex \end{enumerate} ist die Gamma-Funktion: $f(t)=\Gamma(t)$. +\index{Satz!von Bohr-Mollerup}% +\index{Bohr-Mollerup, Satz von}% \end{satz} Für den Beweis verwenden wir die folgende Eigenschaft einer konvexen |