What's New
About the Project
NIST
14 Legendre and Related FunctionsReal Arguments

§14.17 Integrals

Contents

§14.17(i) Indefinite Integrals

14.17.1 (1-x2)-μ/2Pνμ(x)dx=-(1-x2)-(μ-1)/2Pνμ-1(x).
14.17.2 (1-x2)μ/2Pνμ(x)dx=(1-x2)(μ+1)/2(ν-μ)(ν+μ+1)Pνμ+1(x),
μν or -ν-1.
14.17.3 xPνμ(x)Qνμ(x)dx=12ν(ν+1)((μ2-(ν+1)(ν+x2))Pνμ(x)Qνμ(x)+(ν+1)(ν-μ+1)x(Pνμ(x)Qν+1μ(x)+Pν+1μ(x)Qνμ(x))-(ν-μ+1)2Pν+1μ(x)Qν+1μ(x),)
ν0,-1.
14.17.4 x(1-x2)3/2Pνμ(x)Qνμ(x)dx=1(1-4μ2)(1-x2)1/2×((1-2μ2+2ν(ν+1))Pνμ(x)Qνμ(x)+(2ν+1)(μ-ν-1)x×(Pνμ(x)Qν+1μ(x)+Pν+1μ(x)Qνμ(x))+2(μ-ν-1)2Pν+1μ(x)Qν+1μ(x),)
μ±12.

In (14.17.1)–(14.17.4), P may be replaced by Q, and in (14.17.3) and (14.17.4), Q may be replaced by P.

For further results, see Maximon (1955) and Prudnikov et al. (1990, pp. 37–39). See also (14.12.2), (14.12.5), and (14.12.12).

§14.17(ii) Barnes’ Integral

14.17.5 01xσ(1-x2)μ/2Pν-μ(x)dx=Γ(12σ+12)Γ(12σ+1)2μ+1Γ(12σ-12ν+12μ+1)Γ(12σ+12ν+12μ+32),
σ>-1, μ>-1.

§14.17(iii) Orthogonality Properties

For l,m,n=0,1,2,,

14.17.6 -11Plm(x)Pnm(x)dx=δl,n(n+m)!(n-m)!(n+12),
14.17.7 -11Plm(x)Pn-m(x)dx =(-1)mδl,n1l+12,
14.17.8 -11Pnl(x)Pnm(x)1-x2dx =δl,m(n+m)!(n-m)!m,
m>0,
14.17.9 -11Pnl(x)Pn-m(x)1-x2dx =(-1)lδl,m1l,
l>0.

§14.17(iv) Definite Integrals of Products

With ψ(x)=Γ(x)/Γ(x)5.2(i)),

14.17.10 -11Pν(x)Pλ(x)dx=2(2sin(νπ)sin(λπ)(ψ(ν+1)-ψ(λ+1))+πsin((λ-ν)π))π2(λ-ν)(λ+ν+1),
λν or -ν-1.
14.17.11 -11(Pν(x))2dx=π2-2sin2(νπ)ψ(ν+1)π2(ν+12),
ν-12.
14.17.12 -11Qν(x)Qλ(x)dx=((ψ(ν+1)-ψ(λ+1))(1+cos(νπ)cos(λπ))+12πsin((λ-ν)π))(λ-ν)(λ+ν+1),
λν or -ν-1, λ and ν-1,-2,-3,.
14.17.13 -11(Qν(x))2dx=π2-2(1+cos2(νπ))ψ(ν+1)2(2ν+1),
ν-12 or -1,-2,-3,.
14.17.14 -11Pν(x)Qλ(x)dx=2sin(νπ)cos(λπ)(ψ(ν+1)-ψ(λ+1))+πcos((λ-ν)π)-ππ(λ-ν)(λ+ν+1),
λ>0, ν>0, λν.
14.17.15 -11Pν(x)Qν(x)dx=-sin(2νπ)ψ(ν+1)π(2ν+1),
ν>0.
14.17.16 -11Plm(x)Qnm(x)dx=(1-(-1)l+n)(l+m)!(l-n)(l+n+1)(l-m)!,
l,m,n=0,1,2,, ln.
14.17.17 0πQl(cosθ)Pm(cosθ)Pn(cosθ)sinθdθ=0,
l,m,n=1,2,3,, |m-n|<l<m+n.

(When l+m+n is even the condition |m-n|<l<m+n is not needed.) Next,

14.17.18 1Pν(x)Qλ(x)dx=1(λ-ν)(ν+λ+1),
λ>ν>0.
14.17.19 1Qν(x)Qλ(x)dx=ψ(λ+1)-ψ(ν+1)(λ-ν)(λ+ν+1),
(λ+ν)>-1, λν, λ and ν-1,-2,-3,.
14.17.20 1(Qν(x))2dx=ψ(ν+1)2ν+1,
ν>-12.

For further results, see Prudnikov et al. (1990, pp. 194–240); also (34.3.21).

§14.17(v) Laplace Transforms

For Laplace transforms and inverse Laplace transforms involving associated Legendre functions, see Erdélyi et al. (1954a, pp. 179–181, 270–272), Oberhettinger and Badii (1973, pp. 113–118, 317–324), Prudnikov et al. (1992a, §§3.22, 3.32, and 3.33), and Prudnikov et al. (1992b, §§3.20, 3.30, and 3.31).

§14.17(vi) Mellin Transforms

For Mellin transforms involving associated Legendre functions see Oberhettinger (1974, pp. 69–82) and Marichev (1983, pp. 247–283), and for inverse transforms see Oberhettinger (1974, pp. 205–215).