# §18.3 Definitions

The classical OP’s comprise the Jacobi, Laguerre and Hermite polynomials. There are many ways of characterizing the classical OP’s within the general OP’s $\{p_{n}(x)\}$, see Al-Salam (1990). The three most important characterizations are:

1.

As eigenfunctions of second order differential operators (Bochner’s theorem, Bochner (1929)). See the differential equations $A(x)p_{n}^{\prime\prime}(x)+B(x)p_{n}^{\prime}(x)+\lambda_{n}p_{n}(x)=0$, in Table 18.8.1.

2.

With the property that $\{p_{n+1}^{\prime}(x)\}_{n=0}^{\infty}$ is again a system of OP’s. See §18.9(iii).

3.

As given by a Rodrigues formula (18.5.5).

Table 18.3.1 provides the traditional definitions of Jacobi, Laguerre, and Hermite polynomials via orthogonality and standardization (§§18.2(i) and 18.2(iii)). This table also includes the following special cases of Jacobi polynomials: ultraspherical, Chebyshev, and Legendre.

For expressions of ultraspherical, Chebyshev, and Legendre polynomials in terms of Jacobi polynomials, see §18.7(i). For representations of the polynomials in Table 18.3.1 by Rodrigues formulas, see §18.5(ii). For finite power series of the Jacobi, ultraspherical, Laguerre, and Hermite polynomials, see §18.5(iii) (in powers of $x-1$ for Jacobi polynomials, in powers of $x$ for the other cases). Explicit power series for Chebyshev, Legendre, Laguerre, and Hermite polynomials for $n=0,1,\ldots,6$ are given in §18.5(iv). For explicit power series coefficients up to $n=12$ for these polynomials and for coefficients up to $n=6$ for Jacobi and ultraspherical polynomials see Abramowitz and Stegun (1964, pp. 793–801).

## Chebyshev

In this chapter, formulas for the Chebyshev polynomials of the second, third, and fourth kinds will not be given as extensively as those of the first kind. However, most of these formulas can be obtained by specialization of formulas for Jacobi polynomials, via (18.7.4)–(18.7.6).

In addition to the orthogonal property given by Table 18.3.1, the Chebyshev polynomials $T_{n}\left(x\right)$, $n=0,1,\dots,N$, are orthogonal on the discrete point set comprising the zeros $x_{N+1,n},n=1,2,\dots,N+1$, of $T_{N+1}\left(x\right)$:

 18.3.1 ${\sum_{n=1}^{N+1}T_{j}\left(x_{N+1,n}\right)T_{k}\left(x_{N+1,n}\right)=0},$ $0\leq j\leq N$, $0\leq k\leq N$, $j\neq k$, ⓘ Symbols: $T_{\NVar{n}}\left(\NVar{x}\right)$: Chebyshev polynomial of the first kind, $N$: positive integer, $n$: nonnegative integer and $x$: real variable Referenced by: §18.3, §18.3 Permalink: http://dlmf.nist.gov/18.3.E1 Encodings: TeX, pMML, png See also: Annotations for §18.3, §18.3 and Ch.18

where

 18.3.2 $x_{N+1,n}=\cos\left((n-\tfrac{1}{2})\pi/(N+1)\right).$

When $j=k\neq 0$ the sum in (18.3.1) is $\tfrac{1}{2}(N+1)$. When $j=k=0$ the sum in (18.3.1) is $N+1$.

For proofs of these results and for similar properties of the Chebyshev polynomials of the second, third, and fourth kinds see Mason and Handscomb (2003, §4.6).

For another version of the discrete orthogonality property of the polynomials $T_{n}\left(x\right)$ see (3.11.9).

Formula (18.3.1) can be understood as a Gauss-Chebyshev quadrature, see (3.5.22), (3.5.23). It is also related to a discrete Fourier-cosine transform, see Britanak et al. (2007).

## Legendre

Legendre polynomials are special cases of Legendre functions, Ferrers functions, and associated Legendre functions (§14.7(i)). In consequence, additional properties are included in Chapter 14.

## Jacobi on Other Intervals

For $-1-\beta>\alpha>-1$ a finite system of Jacobi polynomials $P^{(\alpha,\beta)}_{n}\left(x\right)$ is orthogonal on $(1,\infty)$ with weight function $w(x)=(x-1)^{\alpha}(x+1)^{\beta}$. For $\nu\in\mathbb{R}$ and $N>-\tfrac{1}{2}$ a finite system of Jacobi polynomials $P^{(-N-1+\mathrm{i}\nu,-N-1-\mathrm{i}\nu)}_{n}\left(\mathrm{i}x\right)$ (called pseudo Jacobi polynomials or Routh–Romanovski polynomials) is orthogonal on $(-\infty,\infty)$ with $w(x)=\left(1+x^{2}\right)^{-N-1}{\mathrm{e}}^{2\nu\operatorname{arctan}x}$. For further details see Koekoek et al. (2010, (9.8.3) and §9.9).

## Bessel polynomials

Bessel polynomials are often included among the classical OP’s. However, in general they are not orthogonal with respect to a positive measure, but a finite system has such an orthogonality. See §18.34.