Generalized hypergeometric function
Function
definition | ?? |
definition | pFq[a1,…,ap;b1,…,bq](z):=∑∞n=0cnzn |
with | cn=1n!∏pk=1a¯nk∏qj=1b¯nj |
Discussion
Definition
The coefficient can more explicitly written as cn=∏n−1m=01(1+m)∏pk=1(ak+m)∏qj=1(bj+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¯n:=x¯n,1, where
x¯n,k:=∏n−1m=0(x+mk)=x⋅(x+k)⋅(x+2k)⋯(x+(n−1)k).
Note that, really, znn!=z¯n,01¯n,1, so pFq 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 ∏n−1m=0(ak+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 aI=1 results in
∏n−1m=0(aI+m)=∏n−1m=0(m+1)=n!
and thus we can switch from an exponential generating function form znn! to zn. So let's consider a2=1.
Now further, for a1=1 and b1=2 we get a factor
∏n−1m=0(a1+m)∏n−1m=0(b1+m)=n!(n+1)!=1n+1
so that
2F1[1,1;2](z)=∑∞n=01n+1zn=1(−z)∑∞k=1(−1)k+1k(−z)k=−1zlog(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+c1x+c2x2+c3x3+…,
f′(x)=c1+2c2x+3c3x2+….
Comparing coefficients, this implies that the solution to f′(x)=f(x) must have, for example 3c3=c2. In fact all coefficients are determined this way, by the recursive relation
cn+1cn=1n+1
With the polynomial q(n):=n+1, this means cn=1∏n−1k=0q(k)c0=1n! and hence f(x)=∑∞n=01n!xn.
Such an approach to solve a differential equation will often look like this. A whole lot of function have series coefficients cn, such that
cn+1cn=p(n)q(n)
where p and q are some polynomials. Any (arbitrary product of) polynomials of an integer n can be written as a product of terms (ai−n). So define the generalized hypergeometric function
pFq[a1,…,ap;b1,…,bq](z):=1+a1…apb1…bqz1!+a1(a1+1)…ap(ap+1)b1(b1+1)…bq(bq+1)z22!+…
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 (p,q+1):
ddzDbf(z)=Daf(z)
with
Db:=∏qn=1(zddz+bn−1),
Da:=∏pn=1(zddz+an).
Radius of convergence
This is discussed on the Wikipedia page (see references below).
Reference
Wikipedia: Generalized hypergeometric function