Dixon's identity

Last updated

In mathematics, Dixon's identity (or Dixon's theorem or Dixon's formula) is any of several different but closely related identities proved by A. C. Dixon, some involving finite sums of products of three binomial coefficients, and some evaluating a hypergeometric sum. These identities famously follow from the MacMahon Master theorem, and can now be routinely proved by computer algorithms ( Ekhad 1990 ).

Contents

Statements

The original identity, from ( Dixon 1891 ), is

A generalization, also sometimes called Dixon's identity, is

where a, b, and c are non-negative integers ( Wilf 1994 , p. 156). The sum on the left can be written as the terminating well-poised hypergeometric series

and the identity follows as a limiting case (as a tends to an integer) of Dixon's theorem evaluating a well-poised 3F2 generalized hypergeometric series at 1, from ( Dixon 1902 ):

This holds for Re(1 + 12abc) > 0. As c tends to ∞ it reduces to Kummer's formula for the hypergeometric function 2F1 at 1. Dixon's theorem can be deduced from the evaluation of the Selberg integral.

q-analogues

A q-analogue of Dixon's formula for the basic hypergeometric series in terms of the q-Pochhammer symbol is given by

where |qa1/2/bc| < 1.

Related Research Articles

<span class="mw-page-title-main">Binomial coefficient</span> Number of subsets of a given size

In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers nk ≥ 0 and is written It is the coefficient of the xk term in the polynomial expansion of the binomial power (1 + x)n; this coefficient can be computed by the multiplicative formula

<span class="mw-page-title-main">Euler's constant</span> Relates logarithm and harmonic series

Euler's constant is a mathematical constant, usually denoted by the lowercase Greek letter gamma, defined as the limiting difference between the harmonic series and the natural logarithm, denoted here by log:

<span class="mw-page-title-main">Generalized hypergeometric function</span>

In mathematics, a generalized hypergeometric series is a power series in which the ratio of successive coefficients indexed by n is a rational function of n. The series, if convergent, defines a generalized hypergeometric function, which may then be defined over a wider domain of the argument by analytic continuation. The generalized hypergeometric series is sometimes just called the hypergeometric series, though this term also sometimes just refers to the Gaussian hypergeometric series. Generalized hypergeometric functions include the (Gaussian) hypergeometric function and the confluent hypergeometric function as special cases, which in turn have many particular special functions as special cases, such as elementary functions, Bessel functions, and the classical orthogonal polynomials.

<span class="mw-page-title-main">Hurwitz zeta function</span> Special function in mathematics

In mathematics, the Hurwitz zeta function is one of the many zeta functions. It is formally defined for complex variables s with Re(s) > 1 and a ≠ 0, −1, −2, … by

In combinatorics, Vandermonde's identity is the following identity for binomial coefficients:

<span class="mw-page-title-main">Laguerre polynomials</span> Sequence of differential equation solutions

In mathematics, the Laguerre polynomials, named after Edmond Laguerre (1834–1886), are solutions of Laguerre's differential equation:

In mathematics, the von Mangoldt function is an arithmetic function named after German mathematician Hans von Mangoldt. It is an example of an important arithmetic function that is neither multiplicative nor additive.

<span class="mw-page-title-main">Hypergeometric function</span> Special function defined by a hypergeometric series

In mathematics, the Gaussian or ordinary hypergeometric function2F1(a,b;c;z) is a special function represented by the hypergeometric series, that includes many other special functions as specific or limiting cases. It is a solution of a second-order linear ordinary differential equation (ODE). Every second-order linear ODE with three regular singular points can be transformed into this equation.

In mathematics, Riemann's differential equation, named after Bernhard Riemann, is a generalization of the hypergeometric differential equation, allowing the regular singular points to occur anywhere on the Riemann sphere, rather than merely at 0, 1, and . The equation is also known as the Papperitz equation.

In mathematics, basic hypergeometric series, or q-hypergeometric series, are q-analogue generalizations of generalized hypergeometric series, and are in turn generalized by elliptic hypergeometric series. A series xn is called hypergeometric if the ratio of successive terms xn+1/xn is a rational function of n. If the ratio of successive terms is a rational function of qn, then the series is called a basic hypergeometric series. The number q is called the base.

<span class="mw-page-title-main">Euler function</span> Mathematical function

In mathematics, the Euler function is given by

In mathematics, a Newtonian series, named after Isaac Newton, is a sum over a sequence written in the form

In 1893 Giuseppe Lauricella defined and studied four hypergeometric series FA, FB, FC, FD of three variables. They are :

In mathematics, the multiplication theorem is a certain type of identity obeyed by many special functions related to the gamma function. For the explicit case of the gamma function, the identity is a product of values; thus the name. The various relations all stem from the same underlying principle; that is, the relation for one special function can be derived from that for the others, and is simply a manifestation of the same identity in different guises.

In mathematical area of combinatorics, the q-Pochhammer symbol, also called the q-shifted factorial, is the product

In mathematics, Racah polynomials are orthogonal polynomials named after Giulio Racah, as their orthogonality relations are equivalent to his orthogonality relations for Racah coefficients.

In mathematics, a Barnes integral or Mellin–Barnes integral is a contour integral involving a product of gamma functions. They were introduced by Ernest William Barnes. They are closely related to generalized hypergeometric series.

In mathematics, a bilateral hypergeometric series is a series Σan summed over all integers n, and such that the ratio

In mathematics, Hahn series are a type of formal infinite series. They are a generalization of Puiseux series and were first introduced by Hans Hahn in 1907. They allow for arbitrary exponents of the indeterminate so long as the set supporting them forms a well-ordered subset of the value group. Hahn series were first introduced, as groups, in the course of the proof of the Hahn embedding theorem and then studied by him in relation to Hilbert's second problem.

In mathematics, the E-function was introduced by Thomas Murray MacRobert (1937–1938) to extend the generalized hypergeometric series pFq(·) to the case p > q + 1. The underlying objective was to define a very general function that includes as particular cases the majority of the special functions known until then. However, this function had no great impact on the literature as it can always be expressed in terms of the Meijer G-function, while the opposite is not true, so that the G-function is of a still more general nature. It is defined as:

References