This is an old revision of the document!


Generalized hypergeometric function

Function

definition $??$
definition ${}_pF_q[a_1,…,a_p; b_1,…,b_q](z):=\sum_{n=0}^\infty c_n z^n$
with $c_n = \dfrac{1}{n!}\dfrac{\prod_{k=1}^p a_k^{\overline{n}}}{\prod_{j=1}^q b_j^{\overline{n}}}$

Discussion

Definition

The coefficient can more explicitly written as $c_n = \prod_{m=0}^{n-1}\dfrac{1}{(1+m)}\dfrac{\prod_{k=1}^p(a_k+m)}{\prod_{j=1}^q(b_j+m)}$

or written down in Terms of Gamma functions. The version I chose above seems most elementary to me.

Above we used the rising factorial $x^{\overline{n}} := x^{\overline{n},1}$, where

$x^{\overline{n},k} := \prod_{m=0}^{n-1}(x + m\,{k})=x\cdot(x+k)\cdot(x+2k)\cdots(x+(n-1)\,k)$.

Note that, really, $\dfrac{z^n}{n!}=\dfrac{z^{\overline{n},0}}{1^{\overline{n},1}}$, so ${}_pF_q$ is the infinite sum of fractions of products of rising factorials of fixed rising distance ($k=1$ for the factors of the coefficients and $k=0$ for $z$).

Generalization

The function is a special case of Normalized Fox-Wright function. There, the distored factorial $\prod_{m=0}^{n-1}(a_k+m)$, a product up to $n-1$, is replaced by a “product” up to some more general number. This Expression is given in terms of a fraction of Gamma functions.

Example

For a given index $I$, setting $a_I=1$ results in

$\prod_{m=0}^{n-1} (a_I+m) = \prod_{m=0}^{n-1} (m+1) = n!$

and thus we can switch from an exponential generating function form $\dfrac{z^n}{n!}$ to $z^n$. So let's consider $a_2=1$.

Now further, for $a_1=1$ and $b_1=2$ we get a factor

$\dfrac{\prod_{m=0}^{n-1} (a_1+m)}{\prod_{m=0}^{n-1} (b_1+m)} = \dfrac{n!}{(n+1)!} = \dfrac{1}{n+1}$

so that

$ {}_2F_1[1,1;2](z) = \sum_{n=0}^\infty \dfrac{1}{n+1} z^n = \dfrac{1}{(-z)}\sum_{k=1}^\infty \dfrac{(-1)^{k+1}}{k}(-z)^k = -\dfrac{1}{z}\log(1-z) $

Motivation

Say you have to solve the differential equation $f’(x)=f(x)$ with $f(0)=1$. You naturally make the ansatz

$f(x) = 1 + c_1\, x + c_2\, x^2 + c_3\, x^3 + \dots$,

$f’(x) = c_1 + 2\,c_2\, x + 3\,c_3\, x^2 + \dots$.

Comparing coefficients, this implies that the solution to $f’(x)=f(x)$ must have, for example $3\,c_3=c_2$. In fact all coefficients are determined this way, by the recursive relation

$\dfrac{c_{n+1}}{c_n} = \dfrac{1}{n+1}$

With the polynomial $q(n) := n+1$, this means $c_n = \frac{1}{\prod_{k=1}^n q(k)} c_0 = \dfrac{1}{n!}$ and hence $f(x) = \sum_{n=0}^\infty \dfrac{1}{n!} x^n$.

Such an approach to solve a differential equation will often look like this. A whole lot of function have series coefficients $c_n$, such that

$\dfrac{c_{n+1}}{c_n} = \dfrac{p(n)}{q(n)}$

where p and q are some polynomials. Any (arbitrary product of) polynomials in n can be written as a product of terms $(a_i-n)$. So define the generalized hypergeometric function

${}_pF_q[a_1,…,a_p; b_1,…,b_q](z) :=1 + \dfrac{a_1\dots a_p}{b_1\dots b_q}\dfrac{z}{1!} + \dfrac{a_1(a_1+1)\dots a_p(a_p+1)}{b_1(b_1+1)\dots b_q(b_q+1)}\dfrac{z^2}{2!}+\dots$

to catch them all!

They are the solutions to differential equations with recursive character.

Differential equation

The function solves the following quite general differential equation of oder which is of order $\mathrm{(p,q+1)}$:

$\dfrac{{\rm{d}}}{{\rm{d}}z}D_bf(z) = D_af(z)$

with

$D_b := \prod_{n=1}^{q}\left(z\dfrac{{\rm{d}}}{{\rm{d}}z} + b_n-1\right)$,

$D_a := \prod_{n=1}^{p}\left(z\dfrac{{\rm{d}}}{{\rm{d}}z} + a_n\right)$.

Radius of convergence

This is discussed on the Wikipedia page (see references below).

Reference

Subset of

Link to graph
Log In
Improvements of the human condition