Askey–Wilson Polynomials
   HOME
*





Askey–Wilson Polynomials
In mathematics, the Askey–Wilson polynomials (or ''q''-Wilson polynomials) are a family of orthogonal polynomials introduced by as q-analogs of the Wilson polynomials. They include many of the other orthogonal polynomials in 1 variable as special or limiting cases, described in the Askey scheme. Askey–Wilson polynomials are the special case of Macdonald polynomials (or Koornwinder polynomials) for the non-reduced affine root system of type (), and their 4 parameters , , , correspond to the 4 orbits of roots of this root system. They are defined by :p_n(x) = p_n(x;a,b,c,d\mid q) := a^(ab,ac,ad;q)_n\;_\phi_3 \left begin q^&abcdq^&ae^&ae^ \\ ab&ac&ad \end ; q,q \right where is a basic hypergeometric function, , and is the ''q''-Pochhammer symbol. Askey–Wilson functions are a generalization to non-integral values of . Proof This result can be proven since it is known that :p_n(\cos) = p_n(\cos;a,b,c,d\mid q) and using the definition of the ''q''-Pochhammer symbol ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Orthogonal Polynomials
In mathematics, an orthogonal polynomial sequence is a family of polynomials such that any two different polynomials in the sequence are orthogonality, orthogonal to each other under some inner product. The most widely used orthogonal polynomials are the classical orthogonal polynomials, consisting of the Hermite polynomials, the Laguerre polynomials and the Jacobi polynomials. The Gegenbauer polynomials form the most important class of Jacobi polynomials; they include the Chebyshev polynomials, and the Legendre polynomials as special cases. The field of orthogonal polynomials developed in the late 19th century from a study of continued fractions by Pafnuty Chebyshev, P. L. Chebyshev and was pursued by Andrey Markov, A. A. Markov and Thomas Joannes Stieltjes, T. J. Stieltjes. They appear in a wide variety of fields: numerical analysis (Gaussian quadrature, quadrature rules), probability theory, representation theory (of Lie group, Lie groups, quantum group, quantum groups, and re ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Q-analog
In mathematics, a ''q''-analog of a theorem, identity or expression is a generalization involving a new parameter ''q'' that returns the original theorem, identity or expression in the limit as . Typically, mathematicians are interested in ''q''-analogs that arise naturally, rather than in arbitrarily contriving ''q''-analogs of known results. The earliest ''q''-analog studied in detail is the basic hypergeometric series, which was introduced in the 19th century.Exton, H. (1983), ''q-Hypergeometric Functions and Applications'', New York: Halstead Press, Chichester: Ellis Horwood, 1983, , , ''q''-analogues are most frequently studied in the mathematical fields of combinatorics and special functions. In these settings, the limit is often formal, as is often discrete-valued (for example, it may represent a prime power). ''q''-analogs find applications in a number of areas, including the study of fractals and multi-fractal measures, and expressions for the entropy of chaotic ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Wilson Polynomials
In mathematics, Wilson polynomials are a family of orthogonal polynomials introduced by that generalize Jacobi polynomials, Hahn polynomials, and Charlier polynomials. They are defined in terms of the generalized hypergeometric function and the Pochhammer symbol In mathematics, the falling factorial (sometimes called the descending factorial, falling sequential product, or lower factorial) is defined as the polynomial :\begin (x)_n = x^\underline &= \overbrace^ \\ &= \prod_^n(x-k+1) = \prod_^(x-k) \,. \e ...s by :p_n(t^2)=(a+b)_n(a+c)_n(a+d)_n _4F_3\left( \begin -n&a+b+c+d+n-1&a-t&a+t \\ a+b&a+c&a+d \end ;1\right). See also * Askey–Wilson polynomials are a q-analogue of Wilson polynomials. References * *{{eom, id=Wilson_polynomials, title=Wilson polynomials, first=T.H. , last=Koornwinder Hypergeometric functions Orthogonal polynomials ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Special Case
In logic, especially as applied in mathematics, concept is a special case or specialization of concept precisely if every instance of is also an instance of but not vice versa, or equivalently, if is a generalization of . A limiting case is a type of special case which is arrived at by taking some aspect of the concept to the extreme of what is permitted in the general case. A degenerate case is a special case which is in some way qualitatively different from almost all of the cases allowed. Special case examples include the following: * All squares are rectangles (but not all rectangles are squares); therefore the square is a special case of the rectangle. * Fermat's Last Theorem, that has no solutions in positive integers with , is a special case of Beal's conjecture, that has no primitive solutions in positive integers with , , and all greater than 2, specifically, the case of {{mvar, x {{= y {{= z. See also * Specialization (logic) Specialization or Specializ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Limiting Case (mathematics)
In mathematics, a limiting case of a mathematical object is a special case that arises when one or more components of the object take on their most extreme possible values. For example: * In statistics, the limiting case of the binomial distribution is the Poisson distribution. As the number of events tends to infinity in the binomial distribution, the random variable changes from the binomial to the Poisson distribution. *A circle is a limiting case of various other figures, including the Cartesian oval, the ellipse, the superellipse, and the Cassini oval. Each type of figure is a circle for certain values of the defining parameters, and the generic figure appears more like a circle as the limiting values are approached. *Archimedes calculated an approximate value of π by treating the circle as the limiting case of a regular polygon with 3 × 2''n'' sides, as ''n'' gets large. *In electricity and magnetism, the long wavelength limit is the limiting case when the wavelength is ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Askey Scheme
In mathematics, the Askey scheme is a way of organizing orthogonal polynomials of hypergeometric or basic hypergeometric type into a hierarchy. For the classical orthogonal polynomials discussed in , the Askey scheme was first drawn by and by , and has since been extended by and to cover basic orthogonal polynomials. Askey scheme for hypergeometric orthogonal polynomials give the following version of the Askey scheme: ;_4F_3(4): Wilson , Racah ;_3F_2(3): Continuous dual Hahn , Continuous Hahn , Hahn , dual Hahn ;_2F_1(2): Meixner–Pollaczek , Jacobi , Pseudo Jacobi , Meixner , Krawtchouk ;_2F_0(1)\ \ / \ \ _1F_1(1): Laguerre , Bessel , Charlier ;_2F_0(0): Hermite Here _pF_q(n) indicates a hypergeometric series representation with n parameters Askey scheme for basic hypergeometric orthogonal polynomials give the following scheme for basic hypergeometric orthogonal polynomials: ;4\phi3: Askey–Wilson , q-Racah ;3\phi2: Continuous dual q-Hahn , ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Macdonald Polynomials
In mathematics, Macdonald polynomials ''P''λ(''x''; ''t'',''q'') are a family of orthogonal symmetric polynomials in several variables, introduced by Macdonald in 1987. He later introduced a non-symmetric generalization in 1995. Macdonald originally associated his polynomials with weights λ of finite root systems and used just one variable ''t'', but later realized that it is more natural to associate them with affine root systems rather than finite root systems, in which case the variable ''t'' can be replaced by several different variables ''t''=(''t''1,...,''t''''k''), one for each of the ''k'' orbits of roots in the affine root system. The Macdonald polynomials are polynomials in ''n'' variables ''x''=(''x''1,...,''x''''n''), where ''n'' is the rank of the affine root system. They generalize many other families of orthogonal polynomials, such as Jack polynomials and Hall–Littlewood polynomials and Askey–Wilson polynomials, which in turn include most of the named 1-va ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Koornwinder Polynomials
In mathematics, Macdonald-Koornwinder polynomials (also called Koornwinder polynomials) are a family of orthogonal polynomials in several variables, introduced by and I. G. Macdonald (1987, important special cases), that generalize the Askey–Wilson polynomials. They are the Macdonald polynomials attached to the non-reduced affine root system of type (''C'', ''C''''n''), and in particular satisfy (, ) analogues of Macdonald's conjectures . In addition Jan Felipe van Diejen showed that the Macdonald polynomials associated to any classical root system can be expressed as limits or special cases of Macdonald-Koornwinder polynomials and found complete sets of concrete commuting difference operators diagonalized by them . Furthermore, there is a large class of interesting families of multivariable orthogonal polynomials associated with classical root systems which are degenerate cases of the Macdonald-Koornwinder polynomials . The Macdonald-Koornwinder polynomials have also been s ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Affine Root System
In mathematics, an affine root system is a root system of affine-linear functions on a Euclidean space. They are used in the classification of affine Lie algebras and superalgebras, and semisimple ''p''-adic algebraic groups, and correspond to families of Macdonald polynomials. The reduced affine root systems were used by Kac and Moody in their work on Kac–Moody algebras. Possibly non-reduced affine root systems were introduced and classified by and (except that both these papers accidentally omitted the Dynkin diagram ). Definition Let ''E'' be an affine space and ''V'' the vector space of its translations. Recall that ''V'' acts faithfully and transitively on ''E''. In particular, if u,v \in E, then it is well defined an element in ''V'' denoted as u-v which is the only element w such that v+w=u. Now suppose we have a scalar product (\cdot,\cdot) on ''V''. This defines a metric on ''E'' as d(u,v)=\vert(u-v,u-v)\vert. Consider the vector space ''F'' of affine-linear fu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Basic Hypergeometric Function
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 ''x''''n'' is called hypergeometric if the ratio of successive terms ''x''''n''+1/''x''''n'' is a rational function of ''n''. If the ratio of successive terms is a rational function of ''q''''n'', then the series is called a basic hypergeometric series. The number ''q'' is called the base. The basic hypergeometric series _2\phi_1(q^,q^;q^;q,x) was first considered by . It becomes the hypergeometric series F(\alpha,\beta;\gamma;x) in the limit when base q =1. Definition 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 :\;_\phi_k \left begin a_1 & a_2 & \ldots & a_ \\ b_1 & b_2 & \ldots & ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Q-Pochhammer Symbol
In mathematical area of combinatorics, the ''q''-Pochhammer symbol, also called the ''q''-shifted factorial, is the product (a;q)_n = \prod_^ (1-aq^k)=(1-a)(1-aq)(1-aq^2)\cdots(1-aq^), with (a;q)_0 = 1. It is a ''q''-analog of the Pochhammer symbol (x)_n = x(x+1)\dots(x+n-1), in the sense that \lim_ \frac = (x)_n. The ''q''-Pochhammer symbol is a major building block in the construction of ''q''-analogs; for instance, in the theory of basic hypergeometric series, it plays the role that the ordinary Pochhammer symbol plays in the theory of generalized hypergeometric series. Unlike the ordinary Pochhammer symbol, the ''q''-Pochhammer symbol can be extended to an infinite product: (a;q)_\infty = \prod_^ (1-aq^k). This is an analytic function of ''q'' in the interior of the unit disk, and can also be considered as a formal power series in ''q''. The special case \phi(q) = (q;q)_\infty=\prod_^\infty (1-q^k) is known as Euler's function, and is important in combinatorics, number theory ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 Country, countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and uni ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]