Dougall-Ramanujan Identity
Jump to navigation
Jump to search
Theorem
Let $x, y, z, u, n \in \C$.
Let at least one of $x, y, z, u, -x - y - z - u - 2n - 1 \in \Z_{>0}$.
Then:
\(\ds \map { {}_7 \operatorname F_6} { { {n, 1 + \dfrac n 2, -x, -y, -z, -u, x + y + z + u + 2n + 1} \atop {\dfrac n 2, x + n + 1, y + n + 1, z + n + 1, u + n + 1, -x - y - z - u - n} } \, \middle \vert \, 1}\) | \(=\) | \(\ds \dfrac {\map \Gamma {x + n + 1} \map \Gamma {y + n + 1} \map \Gamma {z + n + 1} \map \Gamma {x + y + z + n + 1} } {\map \Gamma {n + 1} \map \Gamma {x + y + n + 1} \map \Gamma {y + z + n + 1} \map \Gamma {x + z + n + 1} }\) | ||||||||||||
\(\ds \) | \(\) | \(\, \ds \times \, \) | \(\ds \dfrac {\map \Gamma {u + n + 1} \map \Gamma {x + z + u + n + 1} \map \Gamma {y + z + u + n + 1} \map \Gamma {x + y + u + n + 1} } {\map \Gamma {x + u + n + 1} \map \Gamma {z + u + n + 1} \map \Gamma {y + u + n + 1} \map \Gamma {x + y + z + u + n + 1} }\) |
where:
- ${}_7 \operatorname F_6$ is the generalized hypergeometric function
- $x^{\overline k}$ denotes the $k$th rising factorial power of $x$
- $\map \Gamma {n + 1} = n!$ is the Gamma function.
Proof
By definition of generalized hypergeometric function of $1$:
- $\ds \map { {}_7 \operatorname F_6} { { {n, 1 + \dfrac n 2, -x, -y, -z, -u, x + y + z + u + 2n + 1} \atop {\dfrac n 2, x + n + 1, y + n + 1, z + n + 1, u + n + 1, -x - y - z - u - n} } \, \middle \vert \, 1} = \sum_{k \mathop = 0}^\infty \dfrac { n^{\overline k} \paren {1 + \dfrac n 2}^{\overline k} \paren {-x}^{\overline k} \paren {-y}^{\overline k} \paren {-z}^{\overline k} \paren {-u}^{\overline k} \paren {x + y + z + u + 2n + 1}^{\overline k} } { \paren {\dfrac n 2}^{\overline k} \paren {x + n + 1}^{\overline k} \paren {y + n + 1}^{\overline k} \paren {z + n + 1}^{\overline k} \paren {u + n + 1}^{\overline k} \paren {-x - y - z - u - n}^{\overline k} } \dfrac {1^k} {k!}$
This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Also known as
Some sources refer to this theorem as Dougall's Theorem.
Also see
- Dixon's Hypergeometric Theorem
- Dougall's Hypergeometric Theorem
- Gauss's Hypergeometric Theorem
- Kummer's Hypergeometric Theorem
- Properties of Generalized Hypergeometric Function
Source of Name
This entry was named for John Dougall and Srinivasa Ramanujan.
Sources
- 1935: W.N. Bailey: Generalized Hypergeometric Series: Chapter $\text {5}$. Methods of Obtaining Transformations of Hypergeometric Series; (2) By Dougall's method and Carlson's theorem
- 1989: Bruce C. Berndt: Ramanujan's Notebooks: Part II: Chapter $\text {10}$. Hypergeometric Series: $\text I$
- Weisstein, Eric W. "Dougall-Ramanujan Identity." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Dougall-RamanujanIdentity.html