Hypergeometrische functie

In de wiskunde vormen de hypergeometrische functies functies, die de oplossingen zijn van een tweede orde lineaire differentiaalvergelijking en als generalisatie van de meetkundige reeks kunnen worden beschouwd. De exponentiële functie en de goniometrische functies zijn hypergeometrische functies. Carl Friedrich Gauss beschreef voor het eerst een groot aantal eigenschappen van deze functies in zijn proefschrift in 1812, hoewel Leonhard Euler en Johann Friedrich Pfaff er eerder ook al aan hadden gerekend.

Definitie

De hypergeometrische functies worden geparametriseerd door de getallen $p,q\in {\mathbb{N}}_0$ en de reële getallen $a_1,\dots ,a_p$ en $b_1,\dots ,b_q$, en worden voor $z\in ℂ,|z|<1$ gedefinieerd door

${}_p{F}_q(a_1,\dots ,a_p;b_1,\dots ,b_q;z)=\sum _{k=0}^{\mathrm{\infty }}\prod _{i=1}^p\frac{\mathrm{\Gamma }(k+a_i)}{\mathrm{\Gamma }(a_i)}\prod _{j=1}^q\frac{\mathrm{\Gamma }(b_j)}{\mathrm{\Gamma }(k+b_j)}\frac{z^k}{k!}$.

Daarin is $\mathrm{\Gamma }$ de gammafunctie.

Een andere schrijfwijze voor de functies is:

${}_p{F}_q(a_1,\dots ,a_p;b_1,\dots ,b_q;z)=\sum _{k=0}^{\mathrm{\infty }}{c}_k{z}^k$

met

$c_0=1\text{ en }\frac{c_{k+1}}{c_k}=\frac{(k+a_1)(k+a_2)\cdots (k+a_p)}{(k+b_1)(k+b_2)\cdots (k+b_q)}\frac{1}{k+1}.$

Met behulp van het (stijgende) pochhammersymbool $(q{)}_n$, gedefinieerd als:

$(q{)}_n=\{\begin{array}{cc}1& n=0\\ q(q+1)\cdots (q+n-1)& n>0\end{array}$,

kunnen de functies ook worden geschreven als:

${}_p{F}_q(a_1,\dots ,a_p;b_1,\dots ,b_q;z)=\sum _{k=0}^{\mathrm{\infty }}\frac{(a_1{)}_k(a_2{)}_k\dots (a_p{)}_k}{(b_1{)}_k(b_2{)}_k\dots (b_q{)}_k}\frac{z^k}{k!}$

Voorbeelden

${}_0{F}_0(;;z)=e^z$

${}_1{F}_0(-a;;-z)=(1+z{)}^a$

${}_0{F}_1(;\frac{1}{2};-\frac{z^2}{4})=\cos z$

${}_0{F}_1(;\frac{3}{2};-\frac{z^2}{4})=\frac{\sin z}{z}$

${}_2{F}_1(1,1;2;-z)=\frac{1}{z}\ln (1+z)$

${}_2{F}_1(\frac{1}{2},1;\frac{3}{2};z^2)=\frac{1}{2z}\ln \frac{1+z}{1-z}$

${}_2{F}_1(\frac{1}{2},\frac{1}{2};\frac{3}{2};z^2)=\frac{1}{z}\arcsin z$

${}_2{F}_1(\frac{1}{2},1;\frac{3}{2};-z^2)=\frac{1}{z}\arctan z$

${}_0{F}_1(;1+a;-\frac{z^2}{4})=\mathrm{\Gamma }(a+1)\cdot {\left(\frac{z}{2}\right)}^{-a}\cdot J_a(z)$, waarin $J_a(z)$ de besselfunctie is

${}_0{F}_1(;1+a;\frac{z^2}{4})=\mathrm{\Gamma }(a+1){\left(\frac{z}{2}\right)}^{-a}\cdot I_a(z)$, met $I_a(z)=e^{-i\frac{\pi }{2}a}{J}_a(z)$ de gemodificeerde besselfunctie

${}_1{F}_1(a;a+1;-z)=a{z}^{-a}\gamma (a,z)$, waarin $\gamma (a,z)$ de onvolledige gammafunctie voorstelt

${}_1{F}_1(1;a+1;z)=a{z}^{-a}{e}^z\gamma (a,z)$

${}_0{F}_1(;\frac{1}{2};-\frac{z^2}{4})=1-\frac{z^2}{2!}+\frac{z^4}{4!}-\frac{z^6}{6!}+\cdots =\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^k{z}^{2k}}{(2k)!}=\cos z$

Tot ongeveer 1870 werd alleen ${}_2{F}_1$ een hypergeometrische genoemd.