===== Generalized hypergeometric function =====
==== Function ====
| @#FF9944: definition  | @#FF9944: $??$ |
| @#FF9944: definition  | @#FF9944: ${}_pF_q[a_1,…,a_p; b_1,…,b_q](z):=\sum_{n=0}^\infty c_n z^n$ |
| @#BBDDEE: with        | @#BBDDEE: $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=0}^{n-1} 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 of an integer 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 ===
Wikipedia: 
[[http://en.wikipedia.org/wiki/Generalized_hypergeometric_function|Generalized hypergeometric function]]

-----
=== Subset of ===
[[Normalized Fox-Wright function]]