aus Wikipedia, der freien Enzyklopädie
Die hypergeometrische Differentialgleichung ist eine lineare gewöhnliche Differentialgleichung zweiter Ordnung der Form
x
(
x
−
1
)
y
″
+
(
(
α
+
β
+
1
)
x
−
γ
)
y
′
+
α
β
y
=
0
,
α
,
β
,
γ
∈
R
.
{\displaystyle x(x-1)y''+\left((\alpha +\beta +1)x-\gamma \right)y'+\alpha \beta y=0,\ \alpha ,\beta ,\gamma \in \mathbb {R} \ .}
Ist
−
γ
∉
N
0
{\displaystyle -\gamma \notin \mathbb {N} _{0}}
, so erhält man mit einem Potenzreihenansatz
y
(
x
)
=
∑
n
=
0
∞
a
n
x
n
{\displaystyle y(x)=\sum _{n=0}^{\infty }a_{n}x^{n}}
die Rekursionsformel für die Lösung
a
n
+
1
=
(
α
+
n
)
(
β
+
n
)
(
1
+
n
)
(
γ
+
n
)
a
n
.
{\displaystyle a_{n+1}={\frac {(\alpha +n)(\beta +n)}{(1+n)(\gamma +n)}}a_{n}\ .}
Setzt man beispielsweise
a
0
=
1
{\displaystyle a_{0}=1}
, so erhält man als Lösung die hypergeometrische Reihe
y
(
x
)
=
F
(
α
,
β
,
γ
,
x
)
=
1
+
α
β
1
!
γ
x
+
α
(
α
+
1
)
β
(
β
+
1
)
2
!
γ
(
γ
+
1
)
x
2
+
⋯
.
{\displaystyle y(x)=F(\alpha ,\beta ,\gamma ,x)=1+{\frac {\alpha \beta }{1!\gamma }}x+{\frac {\alpha (\alpha +1)\beta (\beta +1)}{2!\gamma (\gamma +1)}}x^{2}+\cdots \ .}
Diese Potenzreihe besitzt den Konvergenzradius
R
=
1
{\displaystyle R=1}
.
Mit der hypergeometrischen Funktion
F
(
α
,
β
,
γ
,
z
)
{\displaystyle F(\alpha ,\beta ,\gamma ,z)}
können viele andere Funktionen dargestellt werden:
α
{\displaystyle \alpha }
β
{\displaystyle \beta }
γ
{\displaystyle \gamma }
z
{\displaystyle z}
F
(
α
,
β
,
γ
,
z
)
{\displaystyle F(\alpha ,\beta ,\gamma ,z)}
1
{\displaystyle 1}
β
{\displaystyle \beta }
β
{\displaystyle \beta }
x
{\displaystyle x}
1
/
(
1
−
x
)
{\displaystyle 1/(1-x)}
−
p
{\displaystyle -p}
1
{\displaystyle 1}
1
{\displaystyle 1}
−
x
{\displaystyle -x}
(
1
+
x
)
p
{\displaystyle (1+x)^{p}}
1
2
{\displaystyle {\frac {1}{2}}}
1
2
{\displaystyle {\frac {1}{2}}}
3
2
{\displaystyle {\frac {3}{2}}}
x
2
{\displaystyle x^{2}}
arcsin
(
x
)
x
{\displaystyle {\frac {\arcsin(x)}{x}}}
1
{\displaystyle 1}
1
{\displaystyle 1}
2
{\displaystyle 2}
x
{\displaystyle x}
ln
(
1
−
x
)
{\displaystyle \ln \left(1-x\right)}
1
{\displaystyle 1}
∞
{\displaystyle \infty }
(*)
1
{\displaystyle 1}
x
β
{\displaystyle {\frac {x}{\beta }}}
exp
(
x
)
{\displaystyle \exp {(x)}}
n
+
1
{\displaystyle n+1}
−
n
{\displaystyle -n}
1
{\displaystyle 1}
1
−
x
2
{\displaystyle {\frac {1-x}{2}}}
P
n
(
x
)
{\displaystyle P_{n}\left(x\right)}
(**)
(*) Es muss der Grenzwert gebildet werden.
(**) Das
n
{\displaystyle n}
-te Legendre-Polynom ,
n
∈
N
0
{\displaystyle n\in \mathbb {N} _{0}}
.
Die hypergeometrische Differentialgleichung kann noch verallgemeinert werden zur heunschen Differentialgleichung .
Konfluente hypergeometrische Differentialgleichung
Diese Differentialgleichung besitzt die Form
z
u
″
+
(
β
−
z
)
u
′
−
α
u
=
0
.
{\displaystyle \ zu''+(\beta -z)u'-\alpha u=0\ .}
Für
−
β
∉
N
0
{\displaystyle -\beta \notin \mathbb {N} _{0}}
wird die Differentialgleichung durch die kummersche Funktion , benannt nach Ernst Eduard Kummer ,
K
(
α
,
β
,
x
)
=
1
+
α
1
!
β
x
+
α
(
α
+
1
)
2
!
β
(
β
+
1
)
x
2
+
⋯
{\displaystyle K(\alpha ,\beta ,x)=1+{\frac {\alpha }{1!\beta }}x+{\frac {\alpha (\alpha +1)}{2!\beta (\beta +1)}}x^{2}+\cdots }
gelöst.