Special functions Hypergeometric functions Theorem
Dixon's identity
Builds on Generalized hypergeometric functionGamma functionBinomial coefficient
Statement
- For every nonnegative integer , the binomial coefficients satisfy
- For nonnegative integers , with running over all integers and read as for or ,
- Let be complex numbers such that , and are not in and . Then, with the gamma function and the generalized hypergeometric series,
Remarks
Part 1 is the case of part 2. The in part 3 is well-poised: each upper parameter plus the matching lower parameter gives . Part 3 is the case of the summation of a well-poised . That series has upper parameters and lower parameters . For , two upper and two lower parameters cancel. The condition on is exactly the condition for the series at to converge. For in part 1, the sum is .
Going deeper
For a student
The binomial forms are the terminating cases of the hypergeometric form in part 3. Part 3 is one of the classical closed-form evaluations of , next to the Pfaff–Saalschütz theorem for balanced series and Watson's and Whipple's sums. Dixon's identity also has a short proof by the Wilf–Zeilberger method of certificate proofs.
Reading path
To understand this page from the ground up, read these 4 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Binomial coefficient concept
- Gamma function concept
- Generalized hypergeometric function concept
- Dixon's identity statement
Further reading
About this page
| Tag | QC4TP5D6HE |
|---|---|
| URI | m2://QC4TP5D6HE |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 33C20, 05A19 |
| Status | This copy of the site has no build data. Run m2 status QC4TP5D6HE. |
| About | Generalized hypergeometric function |
| Uses | Generalized hypergeometric function, Gamma function, Binomial coefficient |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.