more info about gamma function

5 files changed, 317 insertions, 5 deletions

diff --git a/buch/chapters/040-rekursion/Makefile.inc b/buch/chapters/040-rekursion/Makefile.inc
index 0da5fe4..714e10e 100644
--- a/buch/chapters/040-rekursion/Makefile.inc
+++ b/buch/chapters/040-rekursion/Makefile.inc
@@ -8,4 +8,6 @@ CHAPTERFILES = $(CHAPTERFILES)						\
 	chapters/040-rekursion/gamma.tex				\
 	chapters/040-rekursion/linear.tex				\
 	chapters/040-rekursion/hypergeometrisch.tex			\
+	chapters/040-rekursion/uebungsaufgaben/1.tex			\
+	chapters/040-rekursion/uebungsaufgaben/2.tex			\
 	chapters/040-rekursion/chapter.tex
diff --git a/buch/chapters/040-rekursion/chapter.tex b/buch/chapters/040-rekursion/chapter.tex
index d648cbb..3467a71 100644
--- a/buch/chapters/040-rekursion/chapter.tex
+++ b/buch/chapters/040-rekursion/chapter.tex
@@ -19,5 +19,6 @@
 \begin{uebungsaufgaben}
 %\uebungsaufgabe{0}
 \uebungsaufgabe{1}
+\uebungsaufgabe{2}
 \end{uebungsaufgaben}
 
diff --git a/buch/chapters/040-rekursion/gamma.tex b/buch/chapters/040-rekursion/gamma.tex
index 36937c7..9bbbd13 100644
--- a/buch/chapters/040-rekursion/gamma.tex
+++ b/buch/chapters/040-rekursion/gamma.tex
@@ -575,16 +575,12 @@ Die Genauigkeit erreicht sechs korrekte Nachkommastellen mit nur
 337 Auswertungen des Integranden.
 
 %
-% Spiegelformel
-%
-\subsection{Die Spiegelungsformel}
-
-%
 % Beta-Integrale
 %
 \subsection{Die Beta-Funktion}
 
 \begin{definition}
+\label{buch:rekursion:gamma:def:beta-funktion}
 Das Beta-Integral ist das Integral
 \[
 B(x,y)
@@ -745,10 +741,260 @@ s^{x-1}
 Die Beta-Funktion kann aus der Gamma-Funktion nach
 \begin{equation}
 B(x,y) = \frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)}
+\label{buch:rekursion:gamma:betagamma}
 \end{equation}
 berechnet werden.
 \end{satz}
 
+\subsubsection{Der Wert von $\Gamma(\frac12)$?}
+Als Anwendung der Formel~\eqref{buch:rekursion:gamma:betagamma}
+untersuchen wir den Fall $y=1-x$.
+In diesem Fall wird der Nenner zu $\Gamma(x+1-x)=\Gamma(1)=1$ und damit
+\begin{equation}
+\Gamma(x)\Gamma(1-x)
+=
+B(x,1-x) 
+=
+\int_0^1 t^{x-1}(1-t)^{-x}\,dt.
+\label{buch:rekursion:gamma:spiegelung-betaintegral}
+\end{equation}
+Sofern man in der Lage ist, das Integral auf der rechten Seite von
+\eqref{buch:rekursion:gamma:spiegelung-betaintegral} auszuwerten,
+kann man eine einfache Beziehung zwischen zwei Werten der Gamma-Funktion
+an Stellen, die durch eine Spiegelung an der Geraden
+$\operatorname{Re}x=\frac12$ auseinander hervorgehen.
+Für $x=\frac12$ wird der Ausdruck besonders einfach:
+\[
+\Gamma({\textstyle\frac12})^2
+=
+\int_0^1 t^{\frac12}(1-t)^{-\frac12}\,dt
+=
+\int_0^1 \sqrt{\frac{t}{1-t}}\,dt.
+\]
+Mit der Substition $t=\sin^2 s$ wird daraus
+\[
+\int_0^{\frac{\pi}2}
+\sqrt{\frac{\sin^2s}{1-\sin^2s}}
+2\sin s\cos s
+\,ds
+=
+2
+\int_0^{\frac{\pi}2}
+\sin^2 s\,ds
+=
+2
+\int_0^{\frac{\pi}2}
+\frac{1-\cos 2s}{2}\,ds
+=
+\frac{\pi}2-\int_0^{\frac{\pi}2}\cos 2s\,ds,
+\]
+wobei wir $dt = 2\sin s\cos s\,ds$ verwendet haben.
+Da $\cos 2s$ eine im Intervall $[0,\frac{\pi}2]$ bezüglich
+des Punktes $\frac{\pi}4$ ungerade Funktion ist, verschwindet
+das zweite Integral.
+Somit folgt
+\begin{equation}
+\Gamma({\textstyle\frac12})^2 = \frac{\pi}{2}
+\qquad\Rightarrow\qquad
+\Gamma({\textstyle\frac12}) = \sqrt{\frac{\pi}{2}}.
+\label{buch:rekursion:gamma:gamma12}
+\end{equation}
+Matt Parker hat auf seinem Youtube-Kanal {\em Stand-up Maths} dieses Resultat
+sogar zum Titel eines Videos\footnote{\url{https://youtu.be/dGnIJFzkLI4}}
+gemacht:
+{\em What is the factorial of $-\nicefrac{1}{2}$?}
+Die Antwort ist natürlich nur möglich, indem man
+$(-\frac12)!$ als Wert
+\[
+(-{\textstyle\frac12})!
+=
+\Gamma(-{\textstyle\frac12}+1)
+=
+\Gamma({\textstyle\frac12})
+=
+\sqrt{\frac{\pi}2}
+\]
+der Gamma-Funktion interpretiert.
+
+\subsubsection{Alternative Parametrisierungen}
+Die Substitution $t=\sin^2 s$ hat im vorangegangenen Abschnitt
+ermöglicht, $\Gamma(\frac12)$ zu ermitteln.
+Die Substition erlaubt aber auch, das Beta-Integral in eine alternative
+Form zu bringen.
+Aus der Definition~\ref{buch:rekursion:gamma:def:beta-funktion}
+wird damit
+\begin{align*}
+B(x,y)
+&=
+\int_0^1 t^{x-1} (1-t)^{y-1}\,dt
+\\
+&=
+2
+\int_0^{\frac{\pi}2} \sin^{2(x-1)} s\cdot (1-\sin^2 s)^{y-1}
+\cdot \sin s\cos s\,ds
+\\
+&=
+2
+\int_0^{\frac{\pi}2} \sin^{2x-1}s \cos^{2y-1} s\,ds.
+\intertext{Unter Verwendung der Formel~\eqref{buch:rekursion:gamma:betagamma},
+die die Beta-Funktion durch Gamma-Funktionen auszudrücken erlaubt, findet
+man die Formel}
+\int_0^{\frac{\pi}2} \sin^{2x-1}s \cos^{2y-1} s\,ds
+&=
+\frac{\Gamma(x)\Gamma(y)}{2\Gamma(x+y)}
+\end{align*}
+für ein bestimmtes Integral von Potenzen von Sinus- und Kosinus-Funktionen.
+
+Die alternative Substitution $t = s/(s+1)$ verwandelt das Beta-Integral
+$B(x,y)$ in ein Integral über die positive Halbachse ab:
+\begin{align}
+B(x,y)
+&=
+\int_0^1 t^{x-1}(1-t)^{y-1}\,dt
+\notag
+\\
+&=
+\int_0^\infty
+\frac{s^{x-1}}{(s+1)^{x-1}}
+\frac{1}{(s+1)^{y-1}}
+\frac{ds}{(s+1)^2}
+\notag
+\\
+&=
+\int_0^\infty
+\frac{s^{x-1}}{(s+1)^{x+y}}\,ds,
+\label{buch:rekursion:gamma:beta:sinf}
+\end{align}
+wobei wir
+\[
+\frac{dt}{ds}
+=
+\frac{d}{ds}
+\frac{s}{s+1}
+=
+\frac{(s+1)-s}{(s+1)^2}
+=
+\frac{1}{(s+1)^2}
+\]
+verwendet haben.
+Diese Darstellung des Beta-Integrals wird später
+% XXX Ort ergänzen
+dazu verwendet, die Spiegelungsformel für die Gamma-Funktion
+herzuleiten.
+
+Eine weitere mögliche Parametrisierung verwendet $t = (1+s)/2$
+mit $dt=\frac12 ds$.
+Damit wird das Beta-Integral
+\begin{equation}
+B(x,y)
+=
+\int_0^1 t^{x-1}(1-t)^{y-1}\,dt
+=
+\frac12
+\int_{-1}^1
+\biggl(\frac{1+s}2\biggr)^{x-1}
+\biggl(\frac{1-s}2\biggr)^{y-1}
+\,ds
+=
+2^{1-x-y}
+\int_{-1}^1
+(1+s)^{x-1}(1-s)^{y-1}
+\,ds.
+\label{buch:rekursion:gamma:beta:symm}
+\end{equation}
+
+\subsubsection{Die Verdoppelungsformel von Legendre}
+Die trigonometrische Substitution kann dazu verwendet werden, die
+Legendresche Verdoppelungsformel für die Gamma-Funktion herzuleiten.
+
+\begin{satz}[Legendre]
+\[
+\Gamma(x)\Gamma(x+{\textstyle\frac12})
+=
+2^{1-2x}\sqrt{\pi}
+\Gamma(2x)
+\]
+\end{satz}
+
+\begin{proof}[Beweis]
+Der Wert $\Gamma(2x)$ entsteht, wenn man $B(x,x)$ mit Hilfe der
+Gamma-Funktion als
+\[
+B(x,x)
+=
+\frac{\Gamma(x)^2}{\Gamma(2x)}
+\]
+schreibt.
+Das Ziel ist, $B(x,x)$ auf einem alternativen Weg zu berechnen.
+
+Mit Hilfe von \eqref{buch:rekursion:gamma:beta:symm}
+kann man das Beta-Integral zu
+\begin{align*}
+B(x,x)
+&=
+2^{1-2x}
+\int_{-1}^1
+(1+s)^{x-1}(1-s)^{x-1}
+\,ds
+=
+2^{1-2x}
+\int_{-1}^1(1-s^2)^{x-1}\,ds
+\end{align*}
+vereinfachen.
+Der Integrand ist gerade, es folgt
+\[
+B(x,x)
+=
+2^{1-2x}
+\cdot 2
+\int_0^1(1-s^2)^{x-1}\,ds.
+\]
+Das Integral kann mit der Substitution $s^2=t$ wieder in die Form
+eines Beta-Integrals gebracht werden:
+\begin{align*}
+2\int_0^1(1-s^2)^{x-1}\,ds
+&=
+\int_0^1 (1-t)^{x-1} \,\frac{dt}{\sqrt{t}}
+=
+\int_0^1 t^{\frac12-1}(1-t)^{x-1}\,dt
+=
+B({\textstyle\frac12},x).
+\end{align*}
+In der Substitution haben wir $2s\,ds = dt$ oder $2\,ds = dt/\sqrt{t}$
+verwendet.
+Das letzte Beta-Integral kann man nun wieder mit Gamma-Funktionen
+schreiben, nämlich als
+\[
+B({\textstyle\frac12},x)
+=
+\frac{\Gamma({\textstyle\frac12})\Gamma(x)}{\Gamma(x+{\textstyle\frac12})}.
+\]
+Setzt man alles zusammen, erhält man jetzt
+\begin{align*}
+\frac{\Gamma(x)^2}{\Gamma(2x)}
+&=
+\frac1{2^{2x-1}}
+\frac{\Gamma({\textstyle\frac12})\Gamma(x)}{\Gamma(x+{\textstyle\frac12})}
+\\
+\Rightarrow\qquad
+\Gamma(x)\Gamma(x+{\textstyle\frac12})
+&=
+2^{1-2x}
+\Gamma({\textstyle\frac12})\Gamma(2x)
+=
+2^{1-2x}\sqrt{\pi}\Gamma(2x),
+\end{align*}
+wobei wir den bekannten Wert $\Gamma(\frac12)=\sqrt{\pi}$ verwendet haben.
+\end{proof}
+
+Setzt man $x=\frac12$ in die Verdoppelungsformel ein, erhält man
+\[
+\Gamma({\textstyle\frac12})\Gamma(1) = 2^{1-2\frac12}\sqrt{\pi}\Gamma(1)
+\qquad\Rightarrow\qquad
+\Gamma({\textstyle\frac12}) = \sqrt{\pi},
+\]
+in Übereinstimmung mit dem bereits bekannten Wert.
+
 \subsubsection{Beta-Funktion und Binomialkoeffizienten}
 Die Binomialkoeffizienten können mit Hilfe der Fakultät als
 \begin{equation}
diff --git a/buch/chapters/040-rekursion/uebungsaufgaben/2.tex b/buch/chapters/040-rekursion/uebungsaufgaben/2.tex
new file mode 100644
index 0000000..b70626c
--- /dev/null
+++ b/buch/chapters/040-rekursion/uebungsaufgaben/2.tex
@@ -0,0 +1,52 @@
+Berechnen Sie
+\begin{teilaufgaben}
+\item $\Gamma(\frac{5}2)$
+\item $\displaystyle \frac{\Gamma(\frac{16}3)}{\Gamma(\frac{10}3)}$
+\end{teilaufgaben}
+
+\begin{loesung}
+\begin{teilaufgaben}
+\item
+Mit Hilfe der Funktionalgleichung findet man
+\[
+\Gamma({\textstyle\frac52})
+=
+\frac32
+\cdot
+\Gamma({\textstyle\frac32})
+=
+\frac32
+\cdot
+\frac12
+\cdot
+\Gamma({\textstyle\frac12})
+=
+\frac{3}{4}\sqrt{\pi}.
+\]
+\item
+Ebenfalls unter Verwendung der Funktionalgleichung der Gamma-Funktion 
+findet man
+\[
+\Gamma({\textstyle\frac{16}3})
+=
+\frac{13}3
+\cdot
+\Gamma({\textstyle\frac{13}3})
+=
+\frac{13}3
+\cdot
+\frac{10}3
+\cdot
+\Gamma({\textstyle\frac{10}3})
+\quad\Rightarrow\quad
+\frac{\Gamma(\frac{16}3)}{\Gamma(\frac{10}3)}
+=
+\frac{13}3\cdot\frac{10}3
+=
+\frac{130}{9}
+\approx
+14.4444.
+\qedhere
+\]
+\end{teilaufgaben}
+\end{loesung}
diff --git a/buch/chapters/040-rekursion/uebungsaufgaben/3.tex b/buch/chapters/040-rekursion/uebungsaufgaben/3.tex
new file mode 100644
index 0000000..a747ecb
--- /dev/null
+++ b/buch/chapters/040-rekursion/uebungsaufgaben/3.tex
@@ -0,0 +1,11 @@
+Finden Sie eine Formel für $\Gamma(\frac12+n)$ für $n\in\mathbb{N}$.
+
+\begin{loesung}
+Die Funktionalgleichung für die Gamma-Funktion bedeutet
+\[
+\Gamma({\textstyle\frac12}+n)
+=
+({\textstyle\frac12}+n-1)
+\Gamma({\textstyle\frac12}+n-1)
+\]
+\end{loesung}