Affine logic

28 year-old Painting Investments Worker Truman from Regina, usually spends time with pastimes for instance interior design, property developers in new launch ec Singapore and writing. Last month just traveled to City of the Renaissance. In mathematics, hypergeometric identities are equalities involving sums over hypergeometric terms, i.e. the coefficients occurring in hypergeometric series. These identities occur frequently in solutions to combinatorial problems, and also in the analysis of algorithms.

These identities were traditionally found 'by hand'. There exist now several algorithms which can find and prove all hypergeometric identities.

Examples

$\sum _{i=0}^n(\genfrac{}{}{0ex}{}{n}{i})=2^n$

$\sum _{i=0}^n{(\genfrac{}{}{0ex}{}{n}{i})}^2=(\genfrac{}{}{0ex}{}{2n}{n})$

$\sum _{k=0}^{n}k(\genfrac{}{}{0ex}{}{n}{k})=n{2}^{n-1}$

$\sum _{i=n}^{N}i(\genfrac{}{}{0ex}{}{i}{n})=(n+1)(\genfrac{}{}{0ex}{}{N+2}{n+2})-(\genfrac{}{}{0ex}{}{N+1}{n+1})$

Definition

There are two definitions of hypergeometric terms, both used in different cases as explained below. See also hypergeometric series.

A term t_k is a hypergeometric term if

$\frac{t_{k+1}}{t_k}$

is a rational function in k.

A term F(n,k) is a hypergeometric term if

$\frac{F(n,k+1)}{F(n,k)}$

is a rational function in k.

There exist two types of sums over hypergeometric terms, the definite and indefinite sums. A definite sum is of the form

$\sum _k{t}_k.$

The indefinite sum is of the form

$\sum _{k=0}^{n}F(n,k).$

Proofs

Although in the past one has found beautiful proofs of certain identities there exist several algorithms to find and prove identities. These algorithms first find a simple expression for a sum over hypergeometric terms and then provide a certificate which anyone could use to easily check and prove the correctness of the identity.

For each of the hypergeometric sum types there exist one or more methods to find a simple expression. These methods also provide a certificate to easily check the proof of an identity:

• Definite sums: Sister Celine's Method, Zeilberger's algorithm
• Indefinite sums: Gosper's algorithm

A book named A = B has been written by Marko Petkovšek, Herbert Wilf and Doron Zeilberger describing the three main approaches described above.

See also

• Table of Newtonian series

External links

• The book "A = B", this book is freely downloadable from the internet.
• Special-functions examples at exampleproblems.com