About the Project
18 Orthogonal PolynomialsOther Orthogonal Polynomials

§18.35 Pollaczek Polynomials

Contents
  1. §18.35(i) Definition and Hypergeometric Representation
  2. §18.35(ii) Orthogonality
  3. §18.35(iii) Other Properties

§18.35(i) Definition and Hypergeometric Representation

There are 3 types of Pollaczek polynomials:

18.35.0_5
P^{(\frac{1}{2})}_{n}\left(x;a,b\right),
P^{(\lambda)}_{n}\left(x;a,b\right)=P^{{(\lambda)}}_{n}\left(x;a,b,0\right),
P^{{(\lambda)}}_{n}\left(x;a,b,c\right).

Thus type 3 with c=0 reduces to type 2, and type 3 with c=0 and \lambda=\frac{1}{2} reduces to type 1, also in subsequent formulas. The three types of Pollaczek polynomials were successively introduced in Pollaczek (1949a, b, 1950), see also Erdélyi et al. (1953b, p.219) and, for type 1 and 2, Szegö (1950) and Askey (1982b). The type 2 polynomials reduce for a=b=0 to ultraspherical polynomials, see (18.35.8).

The Pollaczek polynomials of type 3 are defined by the recurrence relation (in first form (18.2.8))

18.35.1
P^{{(\lambda)}}_{-1}\left(x;a,b,c\right)=0,
P^{{(\lambda)}}_{0}\left(x;a,b,c\right)=1,
18.35.2 P^{{(\lambda)}}_{n+1}\left(x;a,b,c\right)=\frac{2(n+c+\lambda+a)x+2b}{n+c+1}\,%
P^{{(\lambda)}}_{n}\left(x;a,b,c\right)-\frac{n+c+2\lambda-1}{n+c+1}\,P^{{(%
\lambda)}}_{n-1}\left(x;a,b,c\right),n=0,1,\dots,

or, equivalently in second form (18.2.10),

18.35.2_1 xP^{{(\lambda)}}_{n}\left(x;a,b,c\right)=\frac{n+c+1}{2(n+c+\lambda+a)}\,P^{{(%
\lambda)}}_{n+1}\left(x;a,b,c\right)-\frac{b}{n+c+\lambda+a}\,P^{{(\lambda)}}_%
{n}\left(x;a,b,c\right)+\frac{n+c+2\lambda-1}{2(n+c+\lambda+a)}\,P^{{(\lambda)%
}}_{n-1}\left(x;a,b,c\right),n=0,1,\dots.

For the monic polynomials

18.35.2_2 {Q}^{{(\lambda)}}_{n}\left(x;a,b,c\right)=\frac{{\left(c+1\right)_{n}}}{2^{n}{%
\left(c+\lambda+a\right)_{n}}}\,P^{{(\lambda)}}_{n}\left(x;a,b,c\right)

the recurrence relation of form (18.2.11_5) becomes

18.35.2_3
{Q}^{{(\lambda)}}_{-1}\left(x;a,b,c\right)=0,
{Q}^{{(\lambda)}}_{0}\left(x;a,b,c\right)=1,
18.35.2_4 x{Q}^{{(\lambda)}}_{n}\left(x;a,b,c\right)={Q}^{{(\lambda)}}_{n+1}\left(x;a,b,%
c\right)-\frac{b}{n+c+\lambda+a}{Q}^{{(\lambda)}}_{n}\left(x;a,b,c\right)+%
\frac{(n+c)(n+c+2\lambda-1)}{4(n+c+\lambda+a-1)(n+c+\lambda+a)}{Q}^{{(\lambda)%
}}_{n-1}\left(x;a,b,c\right),n=0,1,\dots.

There is the symmetry

18.35.2_5 P^{{(\lambda)}}_{n}\left(-x;a,b,c\right)=(-1)^{n}P^{{(\lambda)}}_{n}\left(x;a,%
-b,c\right).

As in the coefficients of the above recurrence relations n and c only occur in the form n+c, the type 3 Pollaczek polynomials may also be called the associated type 2 Pollaczek polynomials by using the terminology of §18.30.

For type 2, with notation

18.35.3 \tau_{a,b}(\theta)=\frac{a\cos\theta+b}{\sin\theta},0<\theta<\pi,

we have the explicit representations

18.35.4 P^{(\lambda)}_{n}\left(\cos\theta;a,b\right)=\frac{{\left(\lambda-\mathrm{i}%
\tau_{a,b}(\theta)\right)_{n}}}{n!}\,{\mathrm{e}}^{\mathrm{i}n\theta}\*F\left(%
{-n,\lambda+\mathrm{i}\tau_{a,b}(\theta)\atop-n-\lambda+1+\mathrm{i}\tau_{a,b}%
(\theta)};{\mathrm{e}}^{-2\mathrm{i}\theta}\right)=\sum_{\ell=0}^{n}\frac{{%
\left(\lambda+\mathrm{i}\tau_{a,b}(\theta)\right)_{\ell}}}{\ell!}\,\frac{{%
\left(\lambda-\mathrm{i}\tau_{a,b}(\theta)\right)_{n-\ell}}}{(n-\ell)!}\,{%
\mathrm{e}}^{\mathrm{i}(n-2\ell)\theta},
18.35.4_5 P^{(\lambda)}_{n}\left(\cos\theta;a,b\right)=\frac{{\left(2\lambda\right)_{n}}%
}{n!}\,{\mathrm{e}}^{\mathrm{i}n\theta}\*F\left({-n,\lambda+\mathrm{i}\tau_{a,%
b}(\theta)\atop 2\lambda};1-{\mathrm{e}}^{-2\mathrm{i}\theta}\right).

For type 1 take \lambda=\frac{1}{2} and for Gauss’ hypergeometric function F see (15.2.1).

§18.35(ii) Orthogonality

First consider type 2.

18.35.5 \int_{-1}^{1}P^{(\lambda)}_{n}\left(x;a,b\right)P^{(\lambda)}_{m}\left(x;a,b%
\right)w^{(\lambda)}(x;a,b)\,\mathrm{d}x=\frac{\Gamma\left(2\lambda+n\right)}{%
n!\,(\lambda+a+n)}\,\delta_{n,m},a\geq b\geq-a, \lambda>0,

where

18.35.6 w^{(\lambda)}(\cos\theta;a,b)={\pi}^{-1}\*{\mathrm{e}}^{(2\theta-\pi)\*\tau_{a%
,b}(\theta)}\*\left(2\sin\theta\right)^{2\lambda-1}\*{\left|\Gamma\left(%
\lambda+\mathrm{i}\tau_{a,b}(\theta)\right)\right|}^{2},0<\theta<\pi.

Note that

18.35.6_1 \ln\left(w^{(\lambda)}(\cos\theta;a,b)\right)=\begin{cases}-2\pi(a+b)\theta^{-%
1}+(2\lambda-1)\ln\left(a+b\right)+\lambda\ln 4+2(a+b)+O\left(\theta\right),&%
\theta\to 0+,\\
2\pi(b-a)\left(\pi-\theta\right)^{-1}+(2\lambda-1)\ln\left(a-b\right)+\lambda%
\ln 4+2(a-b)+O\left(\pi-\theta\right),&\theta\to\pi-,\end{cases}

indicating the presence of essential singularities. Hence, only in the case a=b=0 does \ln\left(w^{(\lambda)}(x;a,b)\right) satisfy the condition (18.2.39) for the Szegő class \mathcal{G}.

More generally, the P^{(\lambda)}_{n}\left(x;a,b\right) are OP’s if and only if one of the following three conditions holds (in case (iii) work with the monic polynomials (18.35.2_2)).

18.35.6_2 \mathrm{(i)}\;\lambda>0\mbox{ and }a+\lambda>0,\quad\mathrm{(ii)}\;-\tfrac{1}{%
2}<\lambda<0\mbox{ and }-1<a+\lambda<0,\quad\mathrm{(iii)}\;\lambda=0\mbox{ %
and }a=b=0.

Then

18.35.6_3 {\int_{-1}^{1}P^{(\lambda)}_{n}\left(x;a,b\right)P^{(\lambda)}_{m}\left(x;a,b%
\right)w^{(\lambda)}(x;a,b)\,\mathrm{d}x+\sum_{\zeta\in D}P^{(\lambda)}_{n}%
\left(\zeta;a,b\right)P^{(\lambda)}_{m}\left(\zeta;a,b\right)w_{\zeta}^{(%
\lambda)}(a,b)=\frac{\Gamma\left(2\lambda+n\right)}{n!\,(\lambda+a+n)}\,\delta%
_{n,m},}

where, depending on a,b,\lambda, D is a discrete subset of \mathbb{R} and the w_{\zeta}^{(\lambda)}(a,b) are certain weights. See Ismail (2009, §5.5). In particular, if a>b>-a and condition (ii) of (18.35.6_2) holds then |D|=2 (see Ismail (2009, Theorem 5.5.1)). Also, if b>a\geq-b, \lambda+a>0 then

18.35.6_4
D=\Bigg\{x_{k}=\frac{(\lambda+k)\Delta-ab}{a^{2}-\left(\lambda+k\right)^{2}}%
\Bigg\}_{k=0}^{\infty},
w_{x_{k}}^{(\lambda)}(a,b)=\frac{\rho^{2k-1}\left(1-\rho^{2}\right)^{2\lambda+%
1}\Gamma\left(2\lambda+k\right)}{2\Delta k!},
\Delta=\sqrt{\left(\lambda+k\right)^{2}+b^{2}-a^{2}},
\rho=\frac{\Delta-b}{\lambda+k-a},

and similarly if -b\geq a>b, \lambda+a>0 by application of (18.35.2_5).

For type 3 orthogonality (18.35.5) generalizes to

18.35.6_5 {\int_{-1}^{1}P^{{(\lambda)}}_{n}\left(x;a,b,c\right)P^{{(\lambda)}}_{m}\left(%
x;a,b,c\right)w^{(\lambda)}(x;a,b,c)\,\mathrm{d}x=\frac{\Gamma\left(c+1\right)%
\Gamma\left(2\lambda+c+n\right)}{{\left(c+1\right)_{n}}(\lambda+a+c+n)}\,%
\delta_{n,m},}

where

18.35.6_6 w^{(\lambda)}(\cos\theta;a,b,c)=\frac{{\mathrm{e}}^{(2\theta-\pi)\tau_{a,b}(%
\theta)}\left(2\sin\theta\right)^{2\lambda-1}{\left|\Gamma\left(c+\lambda+%
\mathrm{i}\tau_{a,b}(\theta)\right)\right|}^{2}}{\pi{\left|F\left({1-\lambda+%
\mathrm{i}\tau_{a,b}(\theta),c\atop c+\lambda+\mathrm{i}\tau_{a,b}(\theta)};{%
\mathrm{e}}^{2\mathrm{i}\theta}\right)\right|}^{2}},

with two possible constraints: a>b>-a, 2\lambda+c>0, c\geq 0, or a>b>-a, 2\lambda+c\geq 1, c>-1. For Gauss’ hypergeometric function F see (15.2.1).

§18.35(iii) Other Properties

18.35.8 P^{(\lambda)}_{n}\left(x;0,0\right)=C^{(\lambda)}_{n}\left(x\right),
18.35.9
P^{(\lambda)}_{n}\left(x;\phi\right)=P^{(\lambda)}_{n}\left(\cos\phi;0,x\sin%
\phi\right),
P^{(\lambda)}_{n}\left(\cos\theta;a,b\right)=P^{(\lambda)}_{n}\left(\tau_{a,b}%
(\theta);\theta\right),
18.35.10 {\mathscr{P}}^{\lambda}_{n}\left(x;\phi,c\right)=P^{{(\lambda)}}_{n}\left(\cos%
\phi;0,x\sin\phi,c\right).

For the ultraspherical polynomials C^{(\lambda)}_{n}\left(x\right), the Meixner–Pollaczek polynomials P^{(\lambda)}_{n}\left(x;\phi\right) and the associated Meixner–Pollaczek polynomials {\mathscr{P}}^{\lambda}_{n}\left(x;\phi,c\right) see §§18.3, 18.19 and 18.30(v), respectively.

See Bo and Wong (1996) for an asymptotic expansion of P^{(\frac{1}{2})}_{n}\left(\cos\left(n^{-\frac{1}{2}}\theta\right);a,b\right) as n\to\infty, with a and b fixed. This expansion is in terms of the Airy function \operatorname{Ai}\left(x\right) and its derivative (§9.2), and is uniform in any compact \theta-interval in (0,\infty). Also included is an asymptotic approximation for the zeros of P^{(\frac{1}{2})}_{n}\left(\cos\left(n^{-\frac{1}{2}}\theta\right);a,b\right).

See Szegő (1975, Appendix, §§ 1–5), Askey (1982b), and Ismail (2009, §§ 5.4–5.5) for further results on type 2 Pollaczek polynomials. These polynomials also occur in connection with the Coulomb problem, see §18.39(iv).