Question 10.45: Prove that Pn(z) = F (-n, n + 1; 1; 1 - z/2), n = 0, 1, 2, 3...

Prove that P_{n}(z)=F\left(-n, n+1 ; 1 ; \frac{1-z}{2}\right), n=0,1,2,3, \ldots

The blue check mark means that this solution has been answered and checked by an expert. This guarantees that the final answer is accurate.
Learn more on how we answer questions.

The Legendre polynomials P_{n}(z) are of degree n and have the value 1 for z=1. Similarly, from (10.29), page 328 ,

F(a, b ; c ; z)=1+\frac{a \cdot b}{1 \cdot c} z+\frac{a(a+1) b(b+1)}{1 \cdot 2 \cdot c(c+1)} z^2+\cdots      (10.29)

it is seen that

F\left(-n, n+1 ; 1 ; \frac{1-z}{2}\right)=1-\frac{n(n+1)}{2}(1-z)+\frac{n(n-1)(n+1)(n+2)}{16}(1-z)^{2}+\cdots

is a polynomial of degree n having the value 1 for z=1.

The required result follows if we show that P_{n} and F satisfy the same differential equation. To do this, let (1-z) / 2=u, i.e., z=1-2 u, in Legendre’s equation (10.25), page 327,

(1-z^{2})Y^{\prime\prime}-2z Y^{\prime}+n(n+1)Y=0        (10.25)

to obtain

u(1-u) \frac{d^{2} Y}{d u^{2}}+(1-2 u) \frac{d Y}{d u}+n(n+1) Y=0

But this is the hypergeometric equation (10.30), page 328,

z(1-z)Y^{\prime\prime}+\{c-(a+b+1)z\}Y^{\prime}-a b Y=0             (10.30)

with a=-n, b=n+1, c=1, and u=(1-z) / 2. Hence the result is proved.

Related Answered Questions

Question: 10.10

Verified Answer:

From Problem 7.35, page 233, we have \beg...
Question: 10.47

Verified Answer:

By Problem 6.33, we have J_{n}(z)=\frac{1}{...
Question: 10.46

Verified Answer:

We have P=\Gamma\left(\frac{1}{m}\right) \G...
Question: 10.43

Verified Answer:

Using Problems 10.39, 10.42, 10.170, and the addit...
Question: 10.41

Verified Answer:

(a) We have K^{\prime}=\int_{0}^{1} \frac{d...
Question: 10.40

Verified Answer:

From Problem 10.39 (a) \operatorname{sn}(z+...
Question: 10.39

Verified Answer:

We have z=\int_{0}^{\phi} \frac{d \theta}{\...
Question: 10.36

Verified Answer:

We have \Gamma(z+1)=\int_{0}^{\infty} \tau^...
Question: 10.33

Verified Answer:

Since F(a, b ; c ; z)=1+\frac{a \cdot b}{1 ...