Namespaces
Variants
Actions

Difference between revisions of "Wilson polynomials"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m
Line 1: Line 1:
[[Orthogonal polynomials|Orthogonal polynomials]] defined in terms of generalized [[Hypergeometric series|hypergeometric series]] by
+
{{MSC|33A65,|33A30,81C40}}
 +
{{TEX|done}}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w0980001.png" /></td> </tr></table>
+
$
 +
\def\iy{\infty}
 +
\def\al{\alpha}
 +
\def\be{\beta}
 +
\def\ga{\gamma}
 +
\def\de{\delta}
 +
\def\la{\lambda}
 +
\def\Ga{\Gamma}
 +
$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w0980002.png" /></td> </tr></table>
+
[[Orthogonal polynomials|Orthogonal polynomials]] defined in terms of generalized
 +
[[Hypergeometric series|hypergeometric series]] by
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w0980003.png" /> is the Pochhammer symbol. They satisfy the orthogonality relations
+
$${W_n(x^2;a,b,c,d)\over
 +
(a+b)_n(a+c)_n(a+d)_n}$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w0980004.png" /></td> </tr></table>
+
$$={}_4F_3\left(
 +
{-n,n+a+b+c+d,a+ix,a-ix\atop a+b,a+c,a+d};1\right),
 +
$$
 +
where $(a)_n=\Ga(a+n)/\Ga(a)=a(a+1)\ldots(a+n-1)$ is the Pochhammer symbol. They satisfy the orthogonality relations
  
 +
$$\int_0^\iy W_n(x^2)W_m(x^2)w(x)\,dx=0,\quad n\ne m,$$
 
where
 
where
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w0980005.png" /></td> </tr></table>
+
$$w(x)=\left|
 +
{\Ga(a+ix)\Ga(b+ix)\Ga(c+ix)\Ga(d+ix)\over\Ga(2ix)}\right|^2$$
 +
and $\Re(a,b,c,d)>0$, with complex parameters appearing in conjugate pairs. See J.A. Wilson
 +
{{Cite|Wi}} for the more general orthogonality when one parameter is negative and finitely many discrete mass points occur.
  
and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w0980006.png" />, with complex parameters appearing in conjugate pairs. See J.A. Wilson [[#References|[a6]]] for the more general orthogonality when one parameter is negative and finitely many discrete mass points occur.
+
Wilson polynomials are closely related to
 +
[[Classical orthogonal polynomials|classical orthogonal polynomials]], since they are eigenfunctions of a second-order difference operator:
  
Wilson polynomials are closely related to [[Classical orthogonal polynomials|classical orthogonal polynomials]], since they are eigenfunctions of a second-order difference operator:
+
$$A(x)W_n((x-i)^2)+B(x)W_n(x^2)+C(x)W_n((x+i)^2)$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w0980007.png" /></td> </tr></table>
+
$$=\la_n W_n(x^2)$$
 
+
for certain functions $A,B,C$ not depending on $n$ and for eigenvalues $\la_n$. There are $q$-analogues of Wilson polynomials, known as Askey–Wilson polynomials (cf.
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w0980008.png" /></td> </tr></table>
+
{{Cite|AsWi}}), which contain Wilson polynomials as limit cases. Askey–Wilson polynomials are also orthogonal polynomial eigenfunctions of a second-order difference operator and they are believed to be the most general orthogonal polynomials with this property, in the sense that all other classes with this property can be obtained from them by specialization of parameters or as limit cases.
 
 
for certain functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w0980009.png" /> not depending on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800010.png" /> and for eigenvalues <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800011.png" />. There are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800012.png" />-analogues of Wilson polynomials, known as Askey–Wilson polynomials (cf. [[#References|[a2]]]), which contain Wilson polynomials as limit cases. Askey–Wilson polynomials are also orthogonal polynomial eigenfunctions of a second-order difference operator and they are believed to be the most general orthogonal polynomials with this property, in the sense that all other classes with this property can be obtained from them by specialization of parameters or as limit cases.
 
  
 
There is an important variant of the Wilson polynomials called Racah polynomials, defined by
 
There is an important variant of the Wilson polynomials called Racah polynomials, defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800013.png" /></td> </tr></table>
+
$$R_n(\la(x);\al,\be,\ga,\de)$$
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800014.png" /></td> </tr></table>
 
 
 
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800016.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800017.png" />. These satisfy orthogonality relations of the form
 
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800018.png" /></td> </tr></table>
+
$$={}_4F_3\left({
 +
-n,n+\al+\be+1,-x,x+\ga+\de+1
 +
\atop
 +
\al+1,\be+\de+1,\ga+1};1\right)$$
 +
where $\la(x)=x(x+\ga+\de+1)$, $\be+\de+1=-N$ and $n=0,1,\ldots,N$. These satisfy orthogonality relations of the form
  
for certain explicit weights <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800019.png" />. They have an interpretation as Racah coefficients for tensor products of irreducible representations of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800020.png" />.
+
$$\sum_{x=0}^N R_n(\la(x))R_m(\la(x))w(x)=0,\quad n\ne m,$$
 +
for certain explicit weights $w(x)$. They have an interpretation as Racah coefficients for tensor products of irreducible representations of the group $\def\SU{\textrm{SU}}\SU(2)$.
  
The complete set of limit cases of Wilson and Racah polynomials is often written as a directed graph which is known as the Askey tableau, see the Appendix to [[#References|[a2]]] as well as the references given there. Here the four-parameter families of Wilson and Racah polynomials are in the top level, while there are lower levels with families depending on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800021.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800022.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800023.png" />, or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800024.png" /> parameters. In general, one parameter is lost with each limit transition. The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800025.png" />-parameter level contains continuous Hahn polynomials (cf. [[#References|[a1]]]) and continuous dual Hahn polynomials (continuous weight functions) and Hahn polynomials and dual Hahn polynomials (discrete weights). The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800026.png" />-parameter level contains Meixner–Pollaczek polynomials and [[Jacobi polynomials|Jacobi polynomials]] (continuous weight functions) and the (discrete) Krawtchouk and Meixner polynomials. The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800027.png" />-parameter level contains (continuous) [[Laguerre polynomials|Laguerre polynomials]] and (discrete) Charlier polynomials. The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w098/w098000/w09800028.png" />-parameter bottom level contains just the [[Hermite polynomials|Hermite polynomials]], which are limit cases of all other classes.
+
The complete set of limit cases of Wilson and Racah polynomials is often written as a directed graph which is known as the Askey tableau, see the Appendix to
 +
{{Cite|AsWi}} as well as the references given there. Here the four-parameter families of Wilson and Racah polynomials are in the top level, while there are lower levels with families depending on $3$, $2$, $1$, or $0$ parameters. In general, one parameter is lost with each limit transition. The $3$-parameter level contains continuous Hahn polynomials (cf.
 +
{{Cite|As}}) and continuous dual Hahn polynomials (continuous weight functions) and Hahn polynomials and dual Hahn polynomials (discrete weights). The $2$-parameter level contains Meixner–Pollaczek polynomials and
 +
[[Jacobi polynomials|Jacobi polynomials]] (continuous weight functions) and the (discrete) Krawtchouk and Meixner polynomials. The $1$-parameter level contains (continuous)
 +
[[Laguerre polynomials|Laguerre polynomials]] and (discrete) Charlier polynomials. The $0$-parameter bottom level contains just the
 +
[[Hermite polynomials|Hermite polynomials]], which are limit cases of all other classes.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Askey,  "Continuous Hahn polynomials"  ''J. Phys. A: Math. Gen.'' , '''18'''  (1985)  pp. L1017-L1019</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> R. Askey,  J. Wilson,  "Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials"  ''Mem. Amer. Math. Soc.'' , '''319'''  (1985)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> N.M. Atakishiyev,  S.K. Suslov,  "On the Askey–Wilson polynomials"  ''Constr. Approx.'' , '''8'''  (1992)  pp. 363–369</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> T.H. Koornwinder,  "Group theoretic interpretations of Askey's scheme of hypergeometric orthogonal polynomials"  M. Alfaro (ed.)  J.S. Dehesa (ed.)  F.J. Marcellna (ed.)  J.L. Rubio de Francia (ed.) , ''Orthogonal Polynomials and Their Applications'' , ''Lect. notes in math.'' , '''1329''' , Springer  (1988)  pp. 46–72</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> A.F. Nikiforov,  S.K. Suslov,  V.B. Uvarov,  "Classical orthogonal polynomials of a discrete variable" , Springer  (1991)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> J.A. Wilson,  "Some hypergeometric orthogonal polynomials"  ''SIAM J. Math. Anal.'' , '''11'''  (1980)  pp. 690–701</TD></TR></table>
+
{|
 +
|-
 +
|valign="top"|{{Ref|As}}||valign="top"| R. Askey,  "Continuous Hahn polynomials"  ''J. Phys. A: Math. Gen.'', '''18'''  (1985)  pp. L1017-L1019 {{MR|0812420}}  {{ZBL|0582.33007}}
 +
|-
 +
|valign="top"|{{Ref|AsWi}}||valign="top"| R. Askey,  J. Wilson,  "Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials"  ''Mem. Amer. Math. Soc.'', '''319'''  (1985) {{MR|0783216}}  {{ZBL|0572.33012}}
 +
|-
 +
|valign="top"|{{Ref|AtSu}}||valign="top"| N.M. Atakishiyev,  S.K. Suslov,  "On the Askey–Wilson polynomials"  ''Constr. Approx.'', '''8'''  (1992)  pp. 363–369 {{MR|1164075}} 
 +
|-
 +
|valign="top"|{{Ref|Ko}}||valign="top"| T.H. Koornwinder,  "Group theoretic interpretations of Askey's scheme of hypergeometric orthogonal polynomials"  M. Alfaro (ed.)  J.S. Dehesa (ed.)  F.J. Marcellna (ed.)  J.L. Rubio de Francia (ed.), ''Orthogonal Polynomials and Their Applications'', ''Lect. notes in math.'', '''1329''', Springer  (1988)  pp. 46–72 {{MR|0740416}} 
 +
|-
 +
|valign="top"|{{Ref|NiSuUv}}||valign="top"| A.F. Nikiforov,  S.K. Suslov,  V.B. Uvarov,  "Classical orthogonal polynomials of a discrete variable", Springer  (1991)  (Translated from Russian) {{MR|1149380}}  {{ZBL|0743.33001}}
 +
|-
 +
|valign="top"|{{Ref|Wi}}||valign="top"| J.A. Wilson,  "Some hypergeometric orthogonal polynomials"  ''SIAM J. Math. Anal.'', '''11'''  (1980)  pp. 690–701 {{MR|0579561}}  {{ZBL|0454.33007}}
 +
|-
 +
|}

Revision as of 23:06, 14 April 2012

2020 Mathematics Subject Classification: Primary: 33A65, Secondary: 33A3081C40 [MSN][ZBL]

$ \def\iy{\infty} \def\al{\alpha} \def\be{\beta} \def\ga{\gamma} \def\de{\delta} \def\la{\lambda} \def\Ga{\Gamma} $

Orthogonal polynomials defined in terms of generalized hypergeometric series by

$${W_n(x^2;a,b,c,d)\over (a+b)_n(a+c)_n(a+d)_n}$$

$$={}_4F_3\left( {-n,n+a+b+c+d,a+ix,a-ix\atop a+b,a+c,a+d};1\right), $$ where $(a)_n=\Ga(a+n)/\Ga(a)=a(a+1)\ldots(a+n-1)$ is the Pochhammer symbol. They satisfy the orthogonality relations

$$\int_0^\iy W_n(x^2)W_m(x^2)w(x)\,dx=0,\quad n\ne m,$$ where

$$w(x)=\left| {\Ga(a+ix)\Ga(b+ix)\Ga(c+ix)\Ga(d+ix)\over\Ga(2ix)}\right|^2$$ and $\Re(a,b,c,d)>0$, with complex parameters appearing in conjugate pairs. See J.A. Wilson [Wi] for the more general orthogonality when one parameter is negative and finitely many discrete mass points occur.

Wilson polynomials are closely related to classical orthogonal polynomials, since they are eigenfunctions of a second-order difference operator:

$$A(x)W_n((x-i)^2)+B(x)W_n(x^2)+C(x)W_n((x+i)^2)$$

$$=\la_n W_n(x^2)$$ for certain functions $A,B,C$ not depending on $n$ and for eigenvalues $\la_n$. There are $q$-analogues of Wilson polynomials, known as Askey–Wilson polynomials (cf. [AsWi]), which contain Wilson polynomials as limit cases. Askey–Wilson polynomials are also orthogonal polynomial eigenfunctions of a second-order difference operator and they are believed to be the most general orthogonal polynomials with this property, in the sense that all other classes with this property can be obtained from them by specialization of parameters or as limit cases.

There is an important variant of the Wilson polynomials called Racah polynomials, defined by

$$R_n(\la(x);\al,\be,\ga,\de)$$

$$={}_4F_3\left({ -n,n+\al+\be+1,-x,x+\ga+\de+1 \atop \al+1,\be+\de+1,\ga+1};1\right)$$ where $\la(x)=x(x+\ga+\de+1)$, $\be+\de+1=-N$ and $n=0,1,\ldots,N$. These satisfy orthogonality relations of the form

$$\sum_{x=0}^N R_n(\la(x))R_m(\la(x))w(x)=0,\quad n\ne m,$$ for certain explicit weights $w(x)$. They have an interpretation as Racah coefficients for tensor products of irreducible representations of the group $\def\SU{\textrm{SU}}\SU(2)$.

The complete set of limit cases of Wilson and Racah polynomials is often written as a directed graph which is known as the Askey tableau, see the Appendix to [AsWi] as well as the references given there. Here the four-parameter families of Wilson and Racah polynomials are in the top level, while there are lower levels with families depending on $3$, $2$, $1$, or $0$ parameters. In general, one parameter is lost with each limit transition. The $3$-parameter level contains continuous Hahn polynomials (cf. [As]) and continuous dual Hahn polynomials (continuous weight functions) and Hahn polynomials and dual Hahn polynomials (discrete weights). The $2$-parameter level contains Meixner–Pollaczek polynomials and Jacobi polynomials (continuous weight functions) and the (discrete) Krawtchouk and Meixner polynomials. The $1$-parameter level contains (continuous) Laguerre polynomials and (discrete) Charlier polynomials. The $0$-parameter bottom level contains just the Hermite polynomials, which are limit cases of all other classes.

References

[As] R. Askey, "Continuous Hahn polynomials" J. Phys. A: Math. Gen., 18 (1985) pp. L1017-L1019 MR0812420 Zbl 0582.33007
[AsWi] R. Askey, J. Wilson, "Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials" Mem. Amer. Math. Soc., 319 (1985) MR0783216 Zbl 0572.33012
[AtSu] N.M. Atakishiyev, S.K. Suslov, "On the Askey–Wilson polynomials" Constr. Approx., 8 (1992) pp. 363–369 MR1164075
[Ko] T.H. Koornwinder, "Group theoretic interpretations of Askey's scheme of hypergeometric orthogonal polynomials" M. Alfaro (ed.) J.S. Dehesa (ed.) F.J. Marcellna (ed.) J.L. Rubio de Francia (ed.), Orthogonal Polynomials and Their Applications, Lect. notes in math., 1329, Springer (1988) pp. 46–72 MR0740416
[NiSuUv] A.F. Nikiforov, S.K. Suslov, V.B. Uvarov, "Classical orthogonal polynomials of a discrete variable", Springer (1991) (Translated from Russian) MR1149380 Zbl 0743.33001
[Wi] J.A. Wilson, "Some hypergeometric orthogonal polynomials" SIAM J. Math. Anal., 11 (1980) pp. 690–701 MR0579561 Zbl 0454.33007
How to Cite This Entry:
Wilson polynomials. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Wilson_polynomials&oldid=13687
This article was adapted from an original article by T.H. Koornwinder (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article