[go: up one dir, main page]

18 Orthogonal PolynomialsClassical Orthogonal Polynomials

§18.14 Inequalities

Contents
  1. §18.14(i) Upper Bounds
  2. §18.14(ii) Turán-Type Inequalities
  3. §18.14(iii) Local Maxima and Minima
  4. §18.14(iv) Positive Sums

§18.14(i) Upper Bounds

Jacobi

18.14.1 |Pn(α,β)⁡(x)|≤Pn(α,β)⁡(1)=(α+1)nn!,
−1≤x≤1, α≥β>−1, α≥−12,
18.14.2 |Pn(α,β)⁡(x)|≤|Pn(α,β)⁡(−1)|=(β+1)nn!,
−1≤x≤1, β≥α>−1, β≥−12.
18.14.3 (12⁢(1−x))12⁢α+14⁢(12⁢(1+x))12⁢β+14⁢|Pn(α,β)⁡(x)|≤Γ⁡(max⁡(α,β)+n+1)π12⁢n!⁢(n+12⁢(α+β+1))max⁡(α,β)+12,
−1≤x≤1, −12≤α≤12, −12≤β≤12.
18.14.3_5 (12⁢(1+x))β/2⁢|Pn(α,β)⁡(x)|≤Pn(α,β)⁡(1)=(α+1)nn!,
−1≤x≤1, α,β≥0.

Equations (18.14.3) and (18.14.3_5) are Bernstein-type inequalities. For further inequalities of this type see Koornwinder et al. (2018, §1) and references given there.

Ultraspherical

18.14.4 |Cn(λ)⁡(x)|≤Cn(λ)⁡(1)=(2⁢λ)nn!,
−1≤x≤1, λ>0.
18.14.5 |C2⁢m(λ)⁡(x)|≤|C2⁢m(λ)⁡(0)|=|(λ)mm!|,
−1≤x≤1, −12<λ<0,
18.14.6 |C2⁢m+1(λ)⁡(x)|<−2⁢(λ)m+1((2⁢m+1)⁢(2⁢λ+2⁢m+1))12⁢m!,
−1≤x≤1, −12<λ<0.
18.14.7 (n+λ)1−λ⁢(1−x2)12⁢λ⁢|Cn(λ)⁡(x)|<21−λΓ⁡(λ),
−1≤x≤1, 0<λ<1.

Laguerre

18.14.8 e−12⁢x⁢|Ln(α)⁡(x)|≤Ln(α)⁡(0)=(α+1)nn!,
0≤x<∞, α≥0.

Hermite

18.14.9 1(2n⁢n!)12⁢e−12⁢x2⁢|Hn⁡(x)|≤1,
−∞<x<∞.

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

§18.14(ii) Turán-Type Inequalities

Legendre

18.14.10 (Pn⁡(x))2≥Pn−1⁡(x)⁢Pn+1⁡(x),
−1≤x≤1.

Jacobi

Let Rn⁡(x)=Pn(α,β)⁡(x)/Pn(α,β)⁡(1). Then

18.14.11 (Rn⁡(x))2≥Rn−1⁡(x)⁢Rn+1⁡(x),
−1≤x≤1, β≥α>−1.

See Nikolov and Pillwein (2015) for a variant of (18.14.11) when α=β∈(−1,0].

Laguerre

18.14.12 (Ln(α)⁡(x))2≥Ln−1(α)⁡(x)⁢Ln+1(α)⁡(x),
0≤x<∞, α≥0.

Hermite

18.14.13 (Hn⁡(x))2≥Hn−1⁡(x)⁢Hn+1⁡(x),
−∞<x<∞.

§18.14(iii) Local Maxima and Minima

Jacobi

Let the maxima xn,m, m=0,1,…,n, of |Pn(α,β)⁡(x)| in [−1,1] be arranged so that

18.14.14 −1=xn,0<xn,1<⋯<xn,n−1<xn,n=1.

When (α+12)⁢(β+12)>0 choose m so that

18.14.15 xn,m≤(β−α)/(α+β+1)≤xn,m+1.

Then

18.14.16 |Pn(α,β)⁡(xn,0)| >|Pn(α,β)⁡(xn,1)|>⋯>|Pn(α,β)⁡(xn,m)|,
|Pn(α,β)⁡(xn,n)| >|Pn(α,β)⁡(xn,n−1)|>⋯>|Pn(α,β)⁡(xn,m+1)|,
α>−12,β>−12.
18.14.17 |Pn(α,β)⁡(xn,0)| <|Pn(α,β)⁡(xn,1)|<⋯<|Pn(α,β)⁡(xn,m)|,
|Pn(α,β)⁡(xn,n)| <|Pn(α,β)⁡(xn,n−1)|<⋯<|Pn(α,β)⁡(xn,m+1)|,
−1<α<−12,−1<β<−12.

Also,

18.14.18 |Pn(α,β)⁡(xn,0)|<|Pn(α,β)⁡(xn,1)|<⋯<|Pn(α,β)⁡(xn,n)|,
α≥−12, −1<β≤−12,
18.14.19 |Pn(α,β)⁡(xn,0)|>|Pn(α,β)⁡(xn,1)|>⋯>|Pn(α,β)⁡(xn,n)|,
β≥−12, −1<α≤−12,

except that when α=β=−12 (Chebyshev case) |Pn(α,β)⁡(xn,m)| is constant.

Szegő–Szász Inequality

18.14.20 |Pn(α,β)⁡(xn,n−m)Pn(α,β)⁡(1)|>|Pn+1(α,β)⁡(xn+1,n−m+1)Pn+1(α,β)⁡(1)|,
α=β>−12, m=1,2,…,n.

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

Laguerre

Let the maxima xn,m, m=0,1,…,n−1, of |Ln(α)⁡(x)| in [0,∞) be arranged so that

18.14.21 0=xn,0<xn,1<⋯<xn,n−1<xn,n=∞.

When α>−12 choose m so that

18.14.22 xn,m≤α+12≤xn,m+1.

Then

18.14.23 |Ln(α)⁡(xn,0)| >|Ln(α)⁡(xn,1)|>⋯>|Ln(α)⁡(xn,m)|,
|Ln(α)⁡(xn,n−1)| >|Ln(α)⁡(xn,n−2)|>⋯>|Ln(α)⁡(xn,m+1)|.

Also, when α≤−12

18.14.24 |Ln(α)⁡(xn,0)|<|Ln(α)⁡(xn,1)|<⋯<|Ln(α)⁡(xn,n−1)|.

Hermite

The successive maxima of |Hn⁡(x)| form a decreasing sequence for x≤0, and an increasing sequence for x≥0.

§18.14(iv) Positive Sums

Jacobi

18.14.25 ∑m=0n(λ+1)n−m(n−m)!⁢(λ+1)mm!⁢Pm(α,β)⁡(x)Pm(β,α)⁡(1)≥0,
x≥−1, α+β≥λ≥0, β≥−12, n=0,1,….
18.14.26 ∑m=0nPm(α,β)⁡(x)Pm(β,α)⁡(1)≥0,
x≥−1, n=0,1,…,

for α+β≥0, β≥−12 or α+β≥−2, β≥0. The case β=0 of (18.14.26) is the Askey–Gasper inequality (18.38.3).

Laguerre

18.14.27 ∑m=0n(λ+1)n−m(n−m)!⁢(λ+1)mm!⁢(−1)m⁢Lm(β)⁡(x)Lm(β)⁡(0)≥0,
x≥0,  β,λ≥−12,  n=0,1,….