Lösung der hypergeometrischen Differentialgleichung \begin{eqnarray}z(z-1)\frac{{d}^{2}w}{d{z}^{2}}+(c-(a+b+1)z)\frac{dw}{dz}-abw=0\end{eqnarray} mit a, b, c ∈ ℂ. Eine Lösung dieser Differentialgleichung ist für c ∉ −ℕ₀ formal durch die hypergeometrische Reihe gegeben: \begin{eqnarray}F(a,b;c;z):=\displaystyle \sum _{s=0}^{\infty }\frac{{(a)}_{s}{(b)}_{s}}{{(c)}_{s}}\frac{{z}^{s}}{s!}(c\notin {\mathbb{Z}}),\end{eqnarray} dabei bezeichnet (a)_n das Pochhammer-Symbol, definiert durch \begin{eqnarray}\begin{array}{lll}{(a)}_{n} & := & a\cdot (a+1)(a+2)\cdots (a+n-1),\\ ({a}_{0}) & := & 1.\end{array}\end{eqnarray}

Die hypergeometrische Reihe konvergiert zwar im allgemeinen nur für |z| < 1, definiert dann aber<?PageNum _468 durch meromorphe Fortsetzung auf ganz ℂ eine Funktion. die hypergeometrische (Basis-)Funktion F(a, b; c; ·). Ist a oder b gleich Null oder einer negativen ganzen Zahl, so bricht die Reihe ab, und F(a, b; c; z) ist einfach ein Polynom in z; nur in diesem Falle gilt die Konvergenz der hypergeometrischen Reihe auch außerhalb des Einheitskreises.

In der Notation der verallgemeinerten hypergeometrischen Funktion schreibt man dann für F(a, b; c; z) auch ₂F₁(a, b; c;z).

Will man die Lösungen der hypergeometrischen Differentialgleichung diskutieren, so ist es praktisch, diese Definition etwas zu verallgemeinern und stattdessen Funktionen vom Typ \begin{eqnarray}w(z)=C{z}^{\alpha }{(1-z)}^{\gamma }F(a,b;c;z)\end{eqnarray} zu betrachten, wobei α und γ zwei reelle Zahlen sind, und C eine beliebige komplexe Konstante ist. Diese so definierte Funktion erfüllt dann eine ähnliche Differentialgleichung, die sich mit den Definitionen \begin{eqnarray}\begin{array}{rcl}\alpha ^{\prime} :=1-c+\alpha & & \beta ^{\prime} :=b-\alpha -\gamma, \\ \beta :=a-\alpha -\gamma & & \gamma ^{\prime} :=c-a-b+\gamma, \\ \alpha +\alpha ^{\prime} +\beta +\beta ^{\prime} +\gamma +\gamma ^{\prime} & = & 1\end{array}\end{eqnarray} noch symmetrischer schreiben läßt, nämlich als \begin{eqnarray}\frac{{d}^{2}w}{d{z}^{2}}+\left(\frac{1-\alpha -\alpha ^{\prime} }{z}+\frac{1-\gamma -\gamma ^{\prime} }{z-1}\right)\frac{dw}{dz}\\ +\left(\frac{-\alpha \alpha ^{\prime} }{z}+\beta \beta ^{\prime} +\frac{\gamma \gamma ^{\prime} }{z-1}\right)\frac{w}{z(z-1)}=0.\end{eqnarray}

Durch die Möbius-Transformation \begin{eqnarray}z=\frac{z^{\prime} -A}{z^{\prime} -B}\cdot \frac{C-B}{C-A}\end{eqnarray} kann man nun die Singularitäten 0, 1 und ∞ dieser Differentialgleichung auf drei allgemeine Punkte A, B und C abbilden und erhält auf diese Weise die allgemeine hypergeometrische Differentialgleichung.

Die Zahlen α, α′, usw. in der hypergeometrischen Differentialgleichung heißen hierbei die „Exponenten“. Bis auf Ausnahmefälle, bei denen jeweils die Differenz der Exponenten eine ganze nichtnegative Zahl ist, also etwa α′ − α ∈ ℕ₀, bestimmen diese Zahlen nun im wesentlichen das Verhalten zweier linear unabhängiger Lösungen der Differentialgleichungen. So gibt es z. B. zwei linear unabhängige Lösungen w₁ und w₂, für die in einer Umgebung der Null \begin{eqnarray}{w}_{1}(z)={z}^{\alpha }{f}_{1}(z)\quad {w}_{2}(z)={z}^{\alpha ^{\prime} }{f}_{2}(z)\end{eqnarray} mit holomorphen Funktionen f₁, f₂ gilt. f₁ und f₂ sind dann durch die hypergeometrische Basisfunktion F ausdrückbar, siehe dazu unten für die konkreten Formeln.

Ist α = α′, so spricht man von einem „Ausnahmefall erster Ordnung“. In diesem Falle sehen die Lösungen wie folgt aus: \begin{eqnarray}\begin{array}{lll}{w}_{1}(z) & = & {z}^{\alpha }{f}_{1}(z)+{x}^{\alpha ^{\prime} }{f}_{2}(z)\cdot \mathrm{ln}z,\\ {w}_{2}(z) & = & {z}^{\alpha ^{\prime} }{f}_{2}(z).\end{array}\end{eqnarray}

Man erhält also eine Lösung mit einem logarithmischen Pol. Man kann dieses Ergebnis auch aus einem Grenzwertübergang α → α′ heraus verstehen.

Ist α′ − α ∈ ℕ, so bezeichnet man dies als einen „Ausnahmefall zweiter Ordnung“. Auch in diesem Falle erhält man eine gewöhnliche Lösung mit dem jeweils größeren Exponenten und eine weitere Lösung mit einem logarithmischen Pol.

Bis auf Ausnahmefälle erster und zweiter Ordnung sind nun die Lösungen der hypergeometrischen Differentialgleichung gegeben durch: \begin{eqnarray}\begin{array}{ll}{w}_{1}(z)={z}^{\alpha }{(1-z)}^{\gamma }\\\quad \quad F(\alpha +\beta +\gamma, \alpha +\beta ^{\prime} +\gamma ;1+\alpha -\alpha ^{\prime} ;z)\\\quad ={z}^{\alpha }{(1-z)}^{\gamma ^{\prime} }.\\\quad \quad F(\alpha +\beta +\gamma ^{\prime}, \alpha +\beta ^{\prime} +\gamma ^{\prime} ;1+\alpha -\alpha ^{\prime} ;z),\\ {w}_{2}(z)={z}^{\alpha ^{\prime} }{(1-z)}^{\gamma }\\\quad \quad F(\alpha ^{\prime} +\beta +\gamma, \alpha ^{\prime} +\beta ^{\prime} +\gamma ;1+\alpha ^{\prime} -\alpha ;z)\\\quad ={z}^{\alpha ^{\prime} }{(1-z)}^{\gamma ^{\prime} }.\\\quad \quad F(\alpha ^{\prime} +\beta +\gamma ^{\prime}, \alpha +\beta ^{\prime} +\gamma ^{\prime} ;1+\alpha ^{\prime} -\alpha ;z).\end{array}\end{eqnarray}

Wie man hier gut erkennt, kontrolliert γ das Verhalten bei der singulären Stelle z = 1.

Betrachtet man von den oben erwähnten MöbiusTransformationen nur die sechs Spezialfälle, die die Punkte 0, 1 und ∞ permutieren, so erhält man hiermit aus jeder der vier oben formulierten Lösungen der hypergeometrischen Differentialgleichung jeweils sechs weitere Lösungen der gleichen Differentialgleichung, also insgesamt 24 Funktionen. Jeweils acht dieser Lösungen stellen im oben formulierten Sinne Entwicklungen um den Punkt z = 0, den Punkt z = ∞ und den Punkt z = 1 dar. Von diesen acht Lösungen für einen gegebenen Punkt gehören weiterhin jeweils vier zu dem ungestrichenen Exponenten, vier weitere zu dem gestrichenen Exponenten. Man erhält auf diese Weise jeweils vier Gleichungen pro Exponent und pro Entwicklungspunkt. Von diesen Gleichungen, die zuerst von Kummer systematisch untersucht worden sind, lauten z. B. die Gleichungen für den Exponenten α und den Ursprung als Entwicklungspunkt:

Da um jeden der Punkte 0, ∞ und 1 mindestens zwei linear unabhängige Lösungen der hypergeometrischen Differentialgleichung existieren, die hypergeometrische Differentialgleichung jedoch von zweiter Ordung ist und diese beiden Lösungen damit schon die Gesamtheit der Lösungen aufspannen, müssen lineare Relationen zwischen den Entwicklungen um die verschiedenen Punkte existieren. <?PageNum _470Dies sind die sog. „Zusammenhangsformeln“, die zuerst von Euler und Gauß gefunden wurden. Sie verknüpfen jeweils zueinander „benachbarte“ hypergeometrische Funktionen in Form einer in der Basisfunktion F linearen Gleichung mit rationalen Koeffizienten. Dabei sind die zu F(a, b; c; z) benachbarten Funktionen gerade F(a ± 1, b; c; z), F(a, b ± 1; c; z) und F(a, b; c ± 1; z), unterscheiden sich also nur in einem Parameter um plus oder minus Eins. Durch rekursive Anwendung dieser Formeln erhält man dann Beziehungen zwischen „verwandten“ Funktionen, also Funktionen, deren Parameter sich nur um ganze Zahlen unterscheiden. Es gibt damit zu je drei beliebigen verwandten hypergeometrische Funktionen F₁, F₂, F₃ rationale Funktionen A₁, A₂, A₃ so, daß \begin{eqnarray}{A}_{1}{F}_{1}+{A}_{2}{F}_{2}+{A}_{3}{F}_{3}=0.\end{eqnarray}

Eine vollständige Liste dieser Relationen findet sich z. B. in [1].

Eine hypergeometrische Funktion läßt sich auch für Re c > Re b > 0 durch das hypergeometrische Integral darstellen: \begin{eqnarray}\begin{array}{ll}F(a,b,c;z)=\\\quad \frac{{\rm{\Gamma }}(c)}{{\rm{\Gamma }}(b){\rm{\Gamma }}(c-b)}\displaystyle \underset{0}{\overset{1}{\int }}{t}^{b-1}{(1-t)}^{c-b-1}{(1-tz)}^{-a}dt,\end{array}\end{eqnarray} weitere Integraldarstellungen findet man z. B. in [1].

Untersucht man die Abhängigkeit der hypergeometrischen Basisfunktion von den Parametern a, b und c, so findet man, daß \begin{eqnarray}F(a,b;c;z):=\frac{F(a,b;c;z)}{{\rm{\Gamma }}(c)}\end{eqnarray} in allen drei Parametern a, b und c eine ganze Funktion ist.

Die Wichtigkeit der hypergeometrischen Funktion bzw. der hypergeometrischen Differentialgleichung liegt darin begründet, daß sich jede homogene lineare Differentialgleichung zweiter Ordnung mit nicht mehr als drei regulären Singularitäten – einschließlich ∞ – in die hypergeometrische Differentialgleichung transformieren läßt. Damit lassen sich viele spezielle Funktionen, die solche Differentialgleichungen erfüllen, als Sonderfälle der hypergeometrischen Funktion schreiben. Einige elementare Beispiele finden sich in der Tabelle.

[1] Abramowitz, M.; Stegun, I.A.: Handbook of Mathematical Functions. Dover Publications, 1972.
[2] Olver, F.W.J.: Asymptotics and Special Functions. Academic Press, 1974.