Processing math: 100%

Generalized hypergeometric function

Function

definition ??
definition pFq[a1,,ap;b1,,bq](z):=n=0cnzn
with cn=1n!pk=1a¯nkqj=1b¯nj

Discussion

Definition

The coefficient can more explicitly written as cn=n1m=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:=n1m=0(x+mk)=x(x+k)(x+2k)(x+(n1)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 n1m=0(ak+m), a product up to n1, 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

n1m=0(aI+m)=n1m=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

n1m=0(a1+m)n1m=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(1z)

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=1n1k=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 (ain). So define the generalized hypergeometric function

pFq[a1,,ap;b1,,bq](z):=1+a1apb1bqz1!+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+bn1),

Da:=pn=1(zddz+an).

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