# §18.14 Inequalities

## §18.14(i) Upper Bounds

### Jacobi

 18.14.1 $|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x\right)|\leq\mathop{P^{(% \alpha,\beta)}_{n}\/}\nolimits\!\left(1\right)=\frac{{\left(\alpha+1\right)_{n% }}}{n!},$ $-1\leq x\leq 1$, $\alpha\geq\beta>-1$, $\alpha\geq-\tfrac{1}{2},$
 18.14.2 $|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x\right)|\leq|\mathop{P^{(% \alpha,\beta)}_{n}\/}\nolimits\!\left(-1\right)|=\frac{{\left(\beta+1\right)_{% n}}}{n!},$ $-1\leq x\leq 1$, $\beta\geq\alpha>-1$, $\beta\geq-\tfrac{1}{2}$.
 18.14.3 $\left(\tfrac{1}{2}(1-x)\right)^{\frac{1}{2}\alpha+\frac{1}{4}}\left(\tfrac{1}{% 2}(1+x)\right)^{\frac{1}{2}\beta+\frac{1}{4}}|\mathop{P^{(\alpha,\beta)}_{n}\/% }\nolimits\!\left(x\right)|\leq\frac{\mathop{\Gamma\/}\nolimits\!\left(\max(% \alpha,\beta)+n+1\right)}{\pi^{\frac{1}{2}}n!\left(n+\tfrac{1}{2}(\alpha+\beta% +1)\right)^{\max(\alpha,\beta)+\frac{1}{2}}},$ $-1\leq x\leq 1$, $-\tfrac{1}{2}\leq\alpha\leq\tfrac{1}{2}$, $-\tfrac{1}{2}\leq\beta\leq\tfrac{1}{2}$.

### Ultraspherical

 18.14.4 $|\mathop{C^{(\lambda)}_{n}\/}\nolimits\!\left(x\right)|\leq\mathop{C^{(\lambda% )}_{n}\/}\nolimits\!\left(1\right)=\frac{{\left(2\lambda\right)_{n}}}{n!},$ $-1\leq x\leq 1$, $\lambda>0$.
 18.14.5 $|\mathop{C^{(\lambda)}_{2m}\/}\nolimits\!\left(x\right)|\leq|\mathop{C^{(% \lambda)}_{2m}\/}\nolimits\!\left(0\right)|=\left|\frac{{\left(\lambda\right)_% {m}}}{m!}\right|,$ $-1\leq x\leq 1$, $-\tfrac{1}{2}<\lambda<0$,
 18.14.6 $|\mathop{C^{(\lambda)}_{2m+1}\/}\nolimits\!\left(x\right)|<\frac{-2{\left(% \lambda\right)_{m+1}}}{\left((2m+1)(2\lambda+2m+1)\right)^{\frac{1}{2}}m!},$ $-1\leq x\leq 1$, $-\tfrac{1}{2}<\lambda<0$.
 18.14.7 ${(n+\lambda)^{1-\lambda}(1-x^{2})^{\frac{1}{2}\lambda}|\mathop{C^{(\lambda)}_{% n}\/}\nolimits\!\left(x\right)|<\frac{2^{1-\lambda}}{\mathop{\Gamma\/}% \nolimits\!\left(\lambda\right)}},$ $-1\leq x\leq 1$, $0<\lambda<1$.

### Laguerre

 18.14.8 $e^{-\frac{1}{2}x}\left|\mathop{L^{(\alpha)}_{n}\/}\nolimits\!\left(x\right)% \right|\leq\mathop{L^{(\alpha)}_{n}\/}\nolimits\!\left(0\right)=\frac{{\left(% \alpha+1\right)_{n}}}{n!},$ $0\leq x<\infty$, $\alpha\geq 0$.

### Hermite

 18.14.9 $\frac{1}{(2^{n}n!)^{\frac{1}{2}}}e^{-\frac{1}{2}x^{2}}|\mathop{H_{n}\/}% \nolimits\!\left(x\right)|\leq 1,$ $-\infty. Symbols: $\mathop{H_{\NVar{n}}\/}\nolimits\!\left(\NVar{x}\right)$: Hermite polynomial, $\mathrm{e}$: base of exponential function, $!$: factorial (as in $n!$), $n$: nonnegative integer and $x$: real variable A&S Ref: 22.14.17 ((version here is sharpened)) Referenced by: §18.14(i) Permalink: http://dlmf.nist.gov/18.14.E9 Encodings: TeX, pMML, png See also: Annotations for 18.14(i)

For further inequalities see Abramowitz and Stegun (1964, §22.14).

## §18.14(ii) Turán-Type Inequalities

### Legendre

 18.14.10 $(\mathop{P_{n}\/}\nolimits\!\left(x\right))^{2}\geq\mathop{P_{n-1}\/}\nolimits% \!\left(x\right)\mathop{P_{n+1}\/}\nolimits\!\left(x\right),$ $-1\leq x\leq 1$. Symbols: $\mathop{P_{\NVar{n}}\/}\nolimits\!\left(\NVar{x}\right)$: Legendre polynomial, $n$: nonnegative integer and $x$: real variable Referenced by: §18.14(ii) Permalink: http://dlmf.nist.gov/18.14.E10 Encodings: TeX, pMML, png See also: Annotations for 18.14(ii)

### Jacobi

Let $R_{n}(x)=\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x\right)/\mathop{P^% {(\alpha,\beta)}_{n}\/}\nolimits\!\left(1\right)$. Then

 18.14.11 $(R_{n}(x))^{2}\geq R_{n-1}(x)R_{n+1}(x),$ $-1\leq x\leq 1$, $\beta\geq\alpha>-1$. Symbols: $n$: nonnegative integer and $x$: real variable Referenced by: §18.14(ii) Permalink: http://dlmf.nist.gov/18.14.E11 Encodings: TeX, pMML, png See also: Annotations for 18.14(ii)

### Laguerre

 18.14.12 $(\mathop{L^{(\alpha)}_{n}\/}\nolimits\!\left(x\right))^{2}\geq\mathop{L^{(% \alpha)}_{n-1}\/}\nolimits\!\left(x\right)\mathop{L^{(\alpha)}_{n+1}\/}% \nolimits\!\left(x\right),$ $0\leq x<\infty$, $\alpha\geq 0$. Symbols: $\mathop{L^{(\NVar{\alpha})}_{\NVar{n}}\/}\nolimits\!\left(\NVar{x}\right)$: Laguerre (or generalized Laguerre) polynomial, $n$: nonnegative integer and $x$: real variable Referenced by: §18.14(ii) Permalink: http://dlmf.nist.gov/18.14.E12 Encodings: TeX, pMML, png See also: Annotations for 18.14(ii)

### Hermite

 18.14.13 $(\mathop{H_{n}\/}\nolimits\!\left(x\right))^{2}\geq\mathop{H_{n-1}\/}\nolimits% \!\left(x\right)\mathop{H_{n+1}\/}\nolimits\!\left(x\right),$ $-\infty. Symbols: $\mathop{H_{\NVar{n}}\/}\nolimits\!\left(\NVar{x}\right)$: Hermite polynomial, $n$: nonnegative integer and $x$: real variable Referenced by: §18.14(ii) Permalink: http://dlmf.nist.gov/18.14.E13 Encodings: TeX, pMML, png See also: Annotations for 18.14(ii)

## §18.14(iii) Local Maxima and Minima

### Jacobi

Let the maxima $x_{n,m}$, $m=0,1,\dots,n$, of $|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x\right)|$ in $[-1,1]$ be arranged so that

 18.14.14 $-1=x_{n,0} Symbols: $n$: nonnegative integer and $x$: real variable Referenced by: §18.14(iii) Permalink: http://dlmf.nist.gov/18.14.E14 Encodings: TeX, pMML, png See also: Annotations for 18.14(iii)

When $(\alpha+\tfrac{1}{2})(\beta+\tfrac{1}{2})>0$ choose $m$ so that

 18.14.15 $x_{n,m}\leq(\beta-\alpha)/(\alpha+\beta+1)\leq x_{n,m+1}.$ Symbols: $m$: nonnegative integer, $n$: nonnegative integer and $x$: real variable Permalink: http://dlmf.nist.gov/18.14.E15 Encodings: TeX, pMML, png See also: Annotations for 18.14(iii)

Then

 18.14.16 $\displaystyle|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,0}\right)|$ $\displaystyle>|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,1}\right% )|>\cdots>|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,m}\right)|,$ $\displaystyle|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,n}\right)|$ $\displaystyle>|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,n-1}% \right)|>\cdots>|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,m+1}% \right)|,$ $\alpha>-\tfrac{1}{2},\beta>-\tfrac{1}{2}.$ Symbols: $\mathop{P^{(\NVar{\alpha},\NVar{\beta})}_{\NVar{n}}\/}\nolimits\!\left(\NVar{x% }\right)$: Jacobi polynomial, $m$: nonnegative integer, $n$: nonnegative integer and $x$: real variable Referenced by: Figure 18.4.2, Figure 18.4.2 Permalink: http://dlmf.nist.gov/18.14.E16 Encodings: TeX, TeX, pMML, pMML, png, png See also: Annotations for 18.14(iii)
 18.14.17 $\displaystyle|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,0}\right)|$ $\displaystyle<|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,1}\right% )|<\cdots<|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,m}\right)|,$ $\displaystyle|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,n}\right)|$ $\displaystyle<|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,n-1}% \right)|<\cdots<|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,m+1}% \right)|,$ $-1<\alpha<-\tfrac{1}{2},-1<\beta<-\tfrac{1}{2}.$

Also,

 18.14.18 $|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,0}\right)|<|\mathop{P^% {(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,1}\right)|<\cdots<|\mathop{P^{(% \alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,n}\right)|,$ $\alpha\geq-\tfrac{1}{2}$, $-1<\beta\leq-\tfrac{1}{2}$,
 18.14.19 $|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,0}\right)|>|\mathop{P^% {(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,1}\right)|>\cdots>|\mathop{P^{(% \alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,n}\right)|,$ $\beta\geq-\frac{1}{2}$, $-1<\alpha\leq-\tfrac{1}{2}$, Symbols: $\mathop{P^{(\NVar{\alpha},\NVar{\beta})}_{\NVar{n}}\/}\nolimits\!\left(\NVar{x% }\right)$: Jacobi polynomial, $n$: nonnegative integer and $x$: real variable Referenced by: §18.14(iii) Permalink: http://dlmf.nist.gov/18.14.E19 Encodings: TeX, pMML, png See also: Annotations for 18.14(iii)

except that when $\alpha=\beta=-\tfrac{1}{2}$ (Chebyshev case) $|\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,m}\right)|$ is constant.

### Szegő–Szász Inequality

 18.14.20 $\left|\frac{\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(x_{n,n-m}\right)% }{\mathop{P^{(\alpha,\beta)}_{n}\/}\nolimits\!\left(1\right)}\right|>\left|% \frac{\mathop{P^{(\alpha,\beta)}_{n+1}\/}\nolimits\!\left(x_{n+1,n-m+1}\right)% }{\mathop{P^{(\alpha,\beta)}_{n+1}\/}\nolimits\!\left(1\right)}\right|,$ $\alpha=\beta>-\tfrac{1}{2}$, $m=1,2,\dots,n$.

For extensions of (18.14.20) see Askey (1990) and Wong and Zhang (1994a, b).

### Laguerre

Let the maxima $x_{n,m}$, $m=0,1,\dots,n-1$, of $|\mathop{L^{(\alpha)}_{n}\/}\nolimits\!\left(x\right)|$ in $[0,\infty)$ be arranged so that

 18.14.21 $0=x_{n,0} Symbols: $n$: nonnegative integer and $x$: real variable Referenced by: §18.14(iii) Permalink: http://dlmf.nist.gov/18.14.E21 Encodings: TeX, pMML, png See also: Annotations for 18.14(iii)

When $\alpha>-\tfrac{1}{2}$ choose $m$ so that

 18.14.22 $x_{n,m}\leq\alpha+\tfrac{1}{2}\leq x_{n,m+1}.$ Symbols: $m$: nonnegative integer, $n$: nonnegative integer and $x$: real variable Permalink: http://dlmf.nist.gov/18.14.E22 Encodings: TeX, pMML, png See also: Annotations for 18.14(iii)

Then

 18.14.23 $\displaystyle|\mathop{L^{(\alpha)}_{n}\/}\nolimits\!\left(x_{n,0}\right)|$ $\displaystyle>|\mathop{L^{(\alpha)}_{n}\/}\nolimits\!\left(x_{n,1}\right)|>% \cdots>|\mathop{L^{(\alpha)}_{n}\/}\nolimits\!\left(x_{n,m}\right)|,$ $\displaystyle|\mathop{L^{(\alpha)}_{n}\/}\nolimits\!\left(x_{n,n-1}\right)|$ $\displaystyle>|\mathop{L^{(\alpha)}_{n}\/}\nolimits\!\left(x_{n,n-2}\right)|>% \cdots>|\mathop{L^{(\alpha)}_{n}\/}\nolimits\!\left(x_{n,m+1}\right)|.$

Also, when $\alpha\leq-\tfrac{1}{2}$

 18.14.24 $|\mathop{L^{(\alpha)}_{n}\/}\nolimits\!\left(x_{n,0}\right)|<|\mathop{L^{(% \alpha)}_{n}\/}\nolimits\!\left(x_{n,1}\right)|<\dots<|\mathop{L^{(\alpha)}_{n% }\/}\nolimits\!\left(x_{n,n-1}\right)|.$ Symbols: $\mathop{L^{(\NVar{\alpha})}_{\NVar{n}}\/}\nolimits\!\left(\NVar{x}\right)$: Laguerre (or generalized Laguerre) polynomial, $n$: nonnegative integer and $x$: real variable Referenced by: §18.14(iii) Permalink: http://dlmf.nist.gov/18.14.E24 Encodings: TeX, pMML, png See also: Annotations for 18.14(iii)

### Hermite

The successive maxima of $|\mathop{H_{n}\/}\nolimits\!\left(x\right)|$ form a decreasing sequence for $x\leq 0$, and an increasing sequence for $x\geq 0$.