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.
The basic hypergeometric series was first considered by EduardHeine ( 1846 ). It becomes the hypergeometric series in the limit when base .
There are two forms of basic hypergeometric series, the unilateral basic hypergeometric series φ, and the more general bilateral basic hypergeometric series ψ. The unilateral basic hypergeometric series is defined as
where
and
is the q-shifted factorial. The most important special case is when j = k + 1, when it becomes
This series is called balanced if a1 ... ak + 1 = b1 ...bkq. This series is called well poised if a1q = a2b1 = ... = ak + 1bk, and very well poised if in addition a2 = −a3 = qa11/2. The unilateral basic hypergeometric series is a q-analog of the hypergeometric series since
holds (Koekoek & Swarttouw (1996)).
The bilateral basic hypergeometric series, corresponding to the bilateral hypergeometric series, is defined as
The most important special case is when j = k, when it becomes
The unilateral series can be obtained as a special case of the bilateral one by setting one of the b variables equal to q, at least when none of the a variables is a power of q, as all the terms with n < 0 then vanish.
Some simple series expressions include
and
and
The q-binomial theorem (first published in 1811 by Heinrich August Rothe) [1] [2] states that
which follows by repeatedly applying the identity
The special case of a = 0 is closely related to the q-exponential.
Cauchy binomial theorem is a special case of the q-binomial theorem. [3]
Srinivasa Ramanujan gave the identity
valid for |q| < 1 and |b/a| < |z| < 1. Similar identities for have been given by Bailey. Such identities can be understood to be generalizations of the Jacobi triple product theorem, which can be written using q-series as
Ken Ono gives a related formal power series [4]
As an analogue of the Barnes integral for the hypergeometric series, Watson showed that
where the poles of lie to the left of the contour and the remaining poles lie to the right. There is a similar contour integral for r+1φr. This contour integral gives an analytic continuation of the basic hypergeometric function in z.
The basic hypergeometric matrix function can be defined as follows:
The ratio test shows that this matrix function is absolutely convergent. [5]
In mathematics, the Fibonacci sequence is a sequence in which each number is the sum of the two preceding ones. Numbers that are part of the Fibonacci sequence are known as Fibonacci numbers, commonly denoted Fn . The sequence commonly starts from 0 and 1, although some authors start the sequence from 1 and 1 or sometimes from 1 and 2. Starting from 0 and 1, the first few values in the sequence are:
In theoretical physics, a Feynman diagram is a pictorial representation of the mathematical expressions describing the behavior and interaction of subatomic particles. The scheme is named after American physicist Richard Feynman, who introduced the diagrams in 1948. The interaction of subatomic particles can be complex and difficult to understand; Feynman diagrams give a simple visualization of what would otherwise be an arcane and abstract formula. According to David Kaiser, "Since the middle of the 20th century, theoretical physicists have increasingly turned to this tool to help them undertake critical calculations. Feynman diagrams have revolutionized nearly every aspect of theoretical physics." While the diagrams are applied primarily to quantum field theory, they can also be used in other areas of physics, such as solid-state theory. Frank Wilczek wrote that the calculations that won him the 2004 Nobel Prize in Physics "would have been literally unthinkable without Feynman diagrams, as would [Wilczek's] calculations that established a route to production and observation of the Higgs particle."
The Fock space is an algebraic construction used in quantum mechanics to construct the quantum states space of a variable or unknown number of identical particles from a single particle Hilbert space H. It is named after V. A. Fock who first introduced it in his 1932 paper "Konfigurationsraum und zweite Quantelung".
In physics, an operator is a function over a space of physical states onto another space of physical states. The simplest example of the utility of operators is the study of symmetry. Because of this, they are useful tools in classical mechanics. Operators are even more important in quantum mechanics, where they form an intrinsic part of the formulation of the theory.
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 physics, the S-matrix or scattering matrix relates the initial state and the final state of a physical system undergoing a scattering process. It is used in quantum mechanics, scattering theory and quantum field theory (QFT).
The Gram–Charlier A series, and the Edgeworth series are series that approximate a probability distribution in terms of its cumulants. The series are the same; but, the arrangement of terms differ. The key idea of these expansions is to write the characteristic function of the distribution whose probability density function f is to be approximated in terms of the characteristic function of a distribution with known and suitable properties, and to recover f through the inverse Fourier transform.
In mathematics, the Lerch zeta function, sometimes called the Hurwitz–Lerch zeta function, is a special function that generalizes the Hurwitz zeta function and the polylogarithm. It is named after Czech mathematician Mathias Lerch, who published a paper about the function in 1887.
In functional analysis, a branch of mathematics, it is sometimes possible to generalize the notion of the determinant of a square matrix of finite order (representing a linear transformation from a finite-dimensional vector space to itself) to the infinite-dimensional case of a linear operator S mapping a function space V to itself. The corresponding quantity det(S) is called the functional determinant of S.
In algebra, the Bring radical or ultraradical of a real number a is the unique real root of the polynomial
In 1893 Giuseppe Lauricella defined and studied four hypergeometric series FA, FB, FC, FD of three variables. They are :
In mathematical area of combinatorics, the q-Pochhammer symbol, also called the q-shifted factorial, is the product
In mathematics, a bilateral hypergeometric series is a series Σan summed over all integers n, and such that the ratio
In mathematics, Dixon's identity 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.
In mathematics, an elliptic hypergeometric series is a series Σcn such that the ratio cn/cn−1 is an elliptic function of n, analogous to generalized hypergeometric series where the ratio is a rational function of n, and basic hypergeometric series where the ratio is a periodic function of the complex number n. They were introduced by Date-Jimbo-Kuniba-Miwa-Okado (1987) and Frenkel & Turaev (1997) in their study of elliptic 6-j symbols.
In mathematics, Humbert series are a set of seven hypergeometric series Φ1, Φ2, Φ3, Ψ1, Ψ2, Ξ1, Ξ2 of two variables that generalize Kummer's confluent hypergeometric series 1F1 of one variable and the confluent hypergeometric limit function 0F1 of one variable. The first of these double series was introduced by Pierre Humbert (1920).
In mathematics, the Hahn–Exton q-Bessel function or the third Jackson q-Bessel function is a q-analog of the Bessel function, and satisfies the Hahn-Exton q-difference equation. This function was introduced by Hahn (1953) in a special case and by Exton (1983) in general.
In mathematics, a Jackson q-Bessel function is one of the three q-analogs of the Bessel function introduced by Jackson. The third Jackson q-Bessel function is the same as the Hahn–Exton q-Bessel function.
In mathematics, the q-Bessel polynomials are a family of basic hypergeometric orthogonal polynomials in the basic Askey scheme. Roelof Koekoek, Peter A. Lesky, and René F. Swarttouw (2010, 14) give a detailed list of their properties.
In mathematics, the Fox–Wright function (also known as Fox–Wright Psi function, not to be confused with Wright Omega function) is a generalisation of the generalised hypergeometric function pFq(z) based on ideas of Charles Fox (1928) and E. Maitland Wright (1935):