aboutsummaryrefslogtreecommitdiffstats
path: root/buch/chapters/040-rekursion
diff options
context:
space:
mode:
authorAndreas Müller <andreas.mueller@ost.ch>2021-12-20 07:12:54 +0100
committerAndreas Müller <andreas.mueller@ost.ch>2021-12-20 07:12:54 +0100
commit3213e60d21021f8101dbd558cf3b9c45db20e47a (patch)
tree74a14b011ad02bbfea94c0f4ae233c6800ea2211 /buch/chapters/040-rekursion
parentprepare for hypergeometrich differential equation (diff)
downloadSeminarSpezielleFunktionen-3213e60d21021f8101dbd558cf3b9c45db20e47a.tar.gz
SeminarSpezielleFunktionen-3213e60d21021f8101dbd558cf3b9c45db20e47a.zip
euler transform and stuff
Diffstat (limited to '')
-rw-r--r--buch/chapters/040-rekursion/gamma.tex17
-rw-r--r--buch/chapters/040-rekursion/hypergeometrisch.tex6
2 files changed, 19 insertions, 4 deletions
diff --git a/buch/chapters/040-rekursion/gamma.tex b/buch/chapters/040-rekursion/gamma.tex
index 9bbbd13..407be66 100644
--- a/buch/chapters/040-rekursion/gamma.tex
+++ b/buch/chapters/040-rekursion/gamma.tex
@@ -692,13 +692,26 @@ geschrieben werden:}
&=
\frac{(x+y)_n}{(y)_n}
\int_0^1 t^{x-1}(1-t)^{y+n-1}\,dt.
-\intertext{Wir streben an, mit dem Grenzübergang $n\to\infty$ aus den
+\end{align*}
+Wir halten dieses Zwischenresultat für spätere Verwendung fest.
+
+\begin{lemma}
+\label{buch:rekursion:gamma:betareklemma}
+Für $n\in\mathbb{N}$ gilt
+\[
+B(x,y+n) = \frac{(y)_n}{(x+y)_n} B(x,y).
+\]
+\end{lemma}
+
+Wir streben an, mit dem Grenzübergang $n\to\infty$ aus den
Pochhammer-Symbolen Gamma-Funktionen zu machen, dazu müssen gemäss
Definition~\ref{buch:rekursion:gamma:def:definition} weitere Faktoren
$1/(n!\,n^{x-1})$ vorhanden sein.
Wir erweitern geeignet und nehmen die übrig bleibenden Faktoren in
das Integral.
-So ergibt sich}
+So ergibt sich
+\begin{align*}
+B(x,y)
&=
\frac{(x+y)_n}{n!\, n^{x+y-1}}
\frac{n!\,n^{y-1}}{(y)_n}
diff --git a/buch/chapters/040-rekursion/hypergeometrisch.tex b/buch/chapters/040-rekursion/hypergeometrisch.tex
index e6bf213..4d4fb0d 100644
--- a/buch/chapters/040-rekursion/hypergeometrisch.tex
+++ b/buch/chapters/040-rekursion/hypergeometrisch.tex
@@ -571,7 +571,7 @@ Damit lässt sich die Sinus-Funktion als
=
x\,\mathstrut_1F_2\biggl(\begin{matrix}1\\1,\frac32\end{matrix};-x^2\biggr)
=
-x\,\mathstrut_1F_2\biggl(\begin{matrix}\text{---}\\\frac32\end{matrix};-x^2\biggr)
+x\,\mathstrut_0F_1\biggl(\begin{matrix}\text{---}\\\frac32\end{matrix};-x^2\biggr)
\label{buch:rekursion:hypergeometrisch:eqn:sinhyper}
\end{equation}
durch eine hypergeometrische Funktion ausdrücken.
@@ -600,7 +600,7 @@ x\,\mathstrut_1F_2\biggl(
\biggr)
=
x\,\mathstrut_0F_1\biggl(
-\begin{matrix}\text{---}\\,\frac{3}{2}\end{matrix}
+\begin{matrix}\text{---}\\\frac{3}{2}\end{matrix}
;x^2
\biggr).
\end{align*}
@@ -909,6 +909,8 @@ Integraldarstellung
\]
\end{satz}
+TODO: Dies ist ein Spezialfall der Eulerschen Integraltransformation für
+hypergeometrische Funktionen.
\subsection{TODO}
\begin{itemize}