diff options
Diffstat (limited to 'buch/chapters/040-rekursion')
| -rw-r--r-- | buch/chapters/040-rekursion/hypergeometrisch.tex | 96 | ||||
| -rw-r--r-- | buch/chapters/040-rekursion/uebungsaufgaben/401.tex | 4 |
2 files changed, 6 insertions, 94 deletions
diff --git a/buch/chapters/040-rekursion/hypergeometrisch.tex b/buch/chapters/040-rekursion/hypergeometrisch.tex index f3ac2ff..30d262e 100644 --- a/buch/chapters/040-rekursion/hypergeometrisch.tex +++ b/buch/chapters/040-rekursion/hypergeometrisch.tex @@ -278,7 +278,7 @@ Die oben analysierte Summe $S$ kann mit der Definition als S = a_0 -\, +\cdot \mathstrut_{n+1}F_m \biggl( \begin{matrix} -a_1,-a_2,\dots,-a_n,1\\ @@ -309,7 +309,7 @@ a\sum_{k=0}^\infty \frac{(1)_k}{1} \frac{x^k}{k!} = -a\,\mathstrut_1F_0(1,x). +a\cdot\mathstrut_1F_0(1,x). \] \subsubsection{Exponentialfunktion} @@ -608,7 +608,7 @@ x\,\mathstrut_1F_2\biggl( ;\frac{x^2}{4} \biggr) = -x\,\mathstrut_0F_1\biggl( +x\cdot\mathstrut_0F_1\biggl( \begin{matrix}\text{---}\\\frac{3}{2}\end{matrix} ;\frac{x^2}4 \biggr). @@ -755,7 +755,7 @@ Die Ableitung der Kosinus-Funktion ist daher \cdot\biggl(-\frac{x}2\biggr) = -x -\, +\cdot \mathstrut_0F_1\biggl(;\frac32;-\frac{x^2}4\biggr) \intertext{Dies stimmt mit der in \eqref{buch:rekursion:hypergeometrisch:eqn:sinhyper} @@ -834,94 +834,6 @@ Term, der in der hypergeometrischen Funktion $\mathstrut_nF_m$ vorkommt, aber nicht in der Summe~\eqref{buch:rekursion:hypergeometrisch:eqn:stammfunktion:summe}. -%\subsection{Integraldarstellung der hypergeometrischen Funktion -%$\mathstrut_2F_1$} -%Das Integral -%\[ -%f(x) -%= -%\int_0^1 t^{b-1} (1-t)^{c-b-1} (1-xt)^{-a}\,dt -%\] -%kann im allgemeinen nicht in geschlossener Form evaluiert werden. -%Die Newtonsche binomische Reihe ermöglicht, den $x$ enthaltenden -%Faktor als -%\[ -%(1-xt)^{-a} -%= -%\sum_{k=0}^\infty -%\frac{(a)_k}{k!} x^k t^k -%\] -%zu schreiben. -%Setzt man dies ins Integral ein, erhält man -%\[ -%f(x) -%= -%\sum_{k=0}^\infty \frac{(a)_k}{k!} x^k -%\int_0^1 t^{b-1} (1-t)^{c-b-1} t^k\,dt -%= -%\sum_{k=0}^\infty \frac{(a)_k}{k!} x^k -%\int_0^1 t^{k+b-1} (1-t)^{c-b-1} t^k\,dt. -%\] -%Das Integral ist die Beta-Funktion $B(k+b,c-b)$ und kann daher mit Hilfe -%der Gamma-Funktion geschrieben werden. -%Es gilt -%\[ -%B(k+b,c-b) -%= -%\frac{\Gamma(k+b)\Gamma(c-b)}{\Gamma(c+k)}. -%\] -%Mit Hilfe der Funktionalgleichung der Gamma-Funktion kann man -%\begin{align*} -%\Gamma(u+k) -%&= -%\Gamma(u+k-1) (u+k-1) -%= -%\Gamma(u+k-2) (u+k-2)(u+k-1) -%\\ -%&= -%\ldots -%\\ -%&= -%\Gamma(u) u(u+1)\cdots(u+k-2)(u+k-1) -%\end{align*} -%schreiben, womit das Integral zu -%\begin{align*} -%f(x) -%&= -%\sum_{k=0}^\infty \frac{(a)_k}{k!} x^k -%\frac{\Gamma(k+b)\Gamma(c-b)}{\Gamma(c+k)} -%= -%\sum_{k=0}^\infty \frac{(a)_k}{k!} x^k -%\frac{\Gamma(b)(b)_k\Gamma(c-b)}{\Gamma(c)(c)_k} -%\\ -%&= -%\frac{\Gamma(b)\Gamma(c-b)}{\Gamma(c)} -%\sum_{k=0}^\infty\frac{(a)_k(b)_k}{(c)_k} x^k -%= -%\frac{\Gamma(b)\Gamma(c-b)}{\Gamma(c)}\,\mathstrut_2F_1(a,b;c;x) -%\end{align*} -%vereinfacht werden kann. -%Damit ist das Integral bestimmt. -%Durch Auflösung nach der hypergeometrischen Funktion bekommt man -%die folgende Integraldarstellung. -% -%\begin{satz} -%Die hypergeometrische Funktion $\mathstrut_2F_1$ hat die -%Integraldarstellung -%\[ -%\mathstrut_2F_1\biggl( -%\begin{matrix}a,b\\c\end{matrix};x -%\biggr) -%= -%\frac{\Gamma(c)}{\Gamma(b)\Gamma(c-b)} -%\int_0^1 t^{b-1}(1-t)^{c-b-1}(1-xt)^{-a}\,dt. -%\] -%\end{satz} -% -%TODO: Dies ist ein Spezialfall der Eulerschen Integraltransformation für -%hypergeometrische Funktionen. - - \subsection{TODO} \begin{itemize} \item Hypergeometrische Transformationen diff --git a/buch/chapters/040-rekursion/uebungsaufgaben/401.tex b/buch/chapters/040-rekursion/uebungsaufgaben/401.tex index e83b083..e050872 100644 --- a/buch/chapters/040-rekursion/uebungsaufgaben/401.tex +++ b/buch/chapters/040-rekursion/uebungsaufgaben/401.tex @@ -62,7 +62,7 @@ ihn daher zunächst als = \frac{1}{2}\cdot\frac{1}{\frac32+k-1}. \] -Den zweiten Bruch können wir jetzt als Quotiente von Pochhammer-Symbolen +Den zweiten Bruch können wir jetzt als Quotienten von Pochhammer-Symbolen schreiben, nämlich \begin{align*} \frac{1}{\frac32+k-1} @@ -147,7 +147,7 @@ x \cdot \frac{(x^2)^k}{k!} = -x\, +x\cdot \mathstrut_2F_1\biggl( \begin{matrix} \frac12,\frac12\\ \frac32 |