Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm looking for a book, set of tables, or other reference which contains a comprehensive list of hypergeometric identities; that is, something which allows a hypergeometric fucntion to be expressed in terms of elementary or other known special functions.

For example, from Wikipedia:

$\log(1+z)=z\,_2F_1(1,1;2;-z)$

$(1-z)^{-a} = \,_2F_1(a,b;b;z)$

$\arcsin z = z \,_2F_1\left(\tfrac{1}{2}, \tfrac{1}{2}; \tfrac{3}{2};z^2\right)$

Now I should mention that Wolfram Alpha and presumably mathematica can also do this; Here's an example. However, I would like a written reference, preferably in table form, and either with its own proofs of identities, or with references to sources containing proofs.

Does anyone know of any such "dictionaries" for Hypergeometric functions?

share|improve this question
1  
To save anyone else with similar suspicions to me the effort of checking, Concrete Mathematics doesn't have such a table. –  Peter Taylor May 29 '11 at 21:30

2 Answers 2

Have a look here; in particular, see this subsection (Special Cases). Note that you can find more information by pressing the $i$ symbols on the right.

share|improve this answer
    
Note also the link to Prudnikov et al. (1990, pp. 468–488), for an extensive list of elementary representations. –  Shai Covo May 29 '11 at 11:46

I'm not sure of a table of such results apart from those in the NIST Digital Library of Mathematical Functions that Shai linked to above and those in the wolfram.functions site.

I do know that Mathematica internally makes the translations to and from hypergeometric, Meijer G functions and other special functions. But this behaviour is not exposed to the normal end user.

There is also a GSoC project for SymPy that is looking at doing a large class of integrals using hypergeometric and Meijer G function identities. From it I learned that there is a general procedure for finding such identities (see, e.g., this paper and similar work by Kelly Roach). This project obviously needs to be able to write special functions in terms of hypergeometrics and vice versa - i.e. implement the same functionality that's hidden inside Mathematica.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.