In many problems, the real number appearing in the Legendre Equation (9.4.1), is a non-negative integer. Suppose is a non-negative integer. Recall
Case 1: Let be a positive even integer. Then in Equation (9.4.2) is a polynomial of degree In fact, is an even polynomial in the sense that the terms of are even powers of and hence
In either case, we have a polynomial solution for Equation (9.4.1).
Fix a positive integer and consider Then it can be checked that if we choose
Using the recurrence relation, we have
by the choice of In general, if then
Hence,
Similarly, if is a non-negative odd integer, then any polynomial solution of (9.4.1) which has only odd powers of is a multiple of
where is a polynomial of degree (with even powers of ) and is a power series solution with odd powers only. Since is a polynomial, we have or with
We have an alternate way of evaluating They are used later for the orthogonality properties of the Legendre polynomials, 's.
Now differentiating times (by the use of the Leibniz rule for differentiation), we get
0 | |||
Also, let us note that
and thus
height6pt width 6pt depth 0pt
One may observe that the Rodrigu s formula is very useful in the computation of for ``small" values of
(9.4.8) |
Therefore,
height6pt width 6pt depth 0pt
(9.4.11) |
Let us call Note that for
Now substitute and use the value of the integral to get the required result. height6pt width 6pt depth 0pt
We now state an important expansion theorem. The proof is beyond the scope of this book.
where
Legendre polynomials can also be generated by a suitable function. To do that, we state the following result without proof.
The function admits a power series expansion in (for small ) and the coefficient of in The function is called the GENERATING FUNCTION for the Legendre polynomials.
Using the generating function (9.4.13), we can
establish the following relations:
The relations (9.4.14), (9.4.15) and (9.4.16) are called recurrence relations for the Legendre polynomials, The relation (9.4.14) is also known as Bonnet's recurrence relation. We will now give the proof of (9.4.14) using (9.4.13). The readers are required to proof the other two recurrence relations.
Differentiating the generating function (9.4.13) with respect to (keeping the variable fixed), we get
Or equivalently,
We now substitute in the left hand side for to get
The two sides and power series in and therefore, comparing the coefficient of we get
This is clearly same as (9.4.14).
To prove (9.4.15), one needs to differentiate the generating function with respect to (keeping fixed) and doing a similar simplification. Now, use the relations (9.4.14) and (9.4.15) to get the relation (9.4.16). These relations will be helpful in solving the problems given below.