Math 2.0

Special functions Hypergeometric functions Theorem

Dixon's identity

Builds on Generalized hypergeometric functionGamma functionBinomial coefficient

Statement

  1. For every nonnegative integer aa, the binomial coefficients satisfy ∑k=−aa(−1)k(2aa+k)3=(3a)!(a!)3.\sum_{k = -a}^{a} (-1)^k \binom{2a}{a + k}^3 = \frac{(3a)!}{(a!)^3}.
  2. For nonnegative integers a,b,ca, b, c, with kk running over all integers and (nj)\binom{n}{j} read as 00 for j<0j < 0 or j>nj > n, ∑k(−1)k(a+ba+k)(b+cb+k)(c+ac+k)=(a+b+c)!a! b! c!.\sum_{k} (-1)^k \binom{a + b}{a + k} \binom{b + c}{b + k} \binom{c + a}{c + k} = \frac{(a + b + c)!}{a!\, b!\, c!}.
  3. Let a,b,ca, b, c be complex numbers such that 1+a−b1 + a - b, 1+a−c1 + a - c and 1+a21 + \frac{a}{2} are not in {0,−1,−2,… }\set{0, -1, -2, \dots} and Re⁡(a2−b−c)>−1\operatorname{Re}\left( \frac{a}{2} - b - c \right) > -1. Then, with Γ\Gamma the gamma function and 3F2{}_3F_2 the generalized hypergeometric series, 3F2(a, b, c1+a−b, 1+a−c;1)=Γ(1+a2) Γ(1+a−b) Γ(1+a−c) Γ(1+a2−b−c)Γ(1+a) Γ(1+a2−b) Γ(1+a2−c) Γ(1+a−b−c).{}_3F_2\left( \begin{matrix} a,\ b,\ c \\ 1 + a - b,\ 1 + a - c \end{matrix} ; 1 \right) = \frac{\Gamma(1 + \frac{a}{2})\, \Gamma(1 + a - b)\, \Gamma(1 + a - c)\, \Gamma(1 + \frac{a}{2} - b - c)}{\Gamma(1 + a)\, \Gamma(1 + \frac{a}{2} - b)\, \Gamma(1 + \frac{a}{2} - c)\, \Gamma(1 + a - b - c)}.

Remarks

Part 1 is the case a=b=ca = b = c of part 2. The 3F2{}_3F_2 in part 3 is well-poised: each upper parameter plus the matching lower parameter gives 1+a1 + a. Part 3 is the case d=a2d = \frac{a}{2} of the summation of a well-poised 5F4{}_5F_4. That series has upper parameters a,1+a2,b,c,da, 1 + \frac{a}{2}, b, c, d and lower parameters a2,1+a−b,1+a−c,1+a−d\frac{a}{2}, 1 + a - b, 1 + a - c, 1 + a - d. For d=a2d = \frac{a}{2}, two upper and two lower parameters cancel. The condition on Re⁡(a2−b−c)\operatorname{Re}\left( \frac{a}{2} - b - c \right) is exactly the condition for the series at 11 to converge. For a=1a = 1 in part 1, the sum is −1+8−1=6=3!/(1!)3-1 + 8 - 1 = 6 = 3!/(1!)^3.

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 3F2(1){}_3F_2(1), 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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Binomial coefficient concept
  2. Gamma function concept
  3. Generalized hypergeometric function concept
  4. Dixon's identity statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Dixon%27s_identity
About this page
TagQC4TP5D6HE
URIm2://QC4TP5D6HE
Kindstatement, theorem
WritingW0 stub
MSC33C20, 05A19
StatusThis copy of the site has no build data. Run m2 status QC4TP5D6HE.
AboutGeneralized hypergeometric function
UsesGeneralized 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.