The document Legendre Special Function (Part - 1)- Mathematical Methods of Physics, UGC - NET Physics Physics Notes | EduRev is a part of the Physics Course Physics for IIT JAM, UGC - NET, CSIR NET.

All you need of Physics at this link: Physics

**GENERATING FUNCTION**

Legendre polynomials appear in many different mathematical and physical situations. (1) They may originate as solutions of the Legendre ODE which we have already encountered in the separation of variables for Laplace’s equation, Helmholtz’s equation, and similar ODEs in spherical polar coordinates. (2) They enter as a consequence of a Rodrigues’ formula. (3) They arise as a consequence of demanding a complete, orthogonal set of functions over the interval [−1, 1] (Gram–Schmidt orthogonalization . (4) In quantum mechanics they (really the spherical harmonics, represent angular momentum eigenfunctions. (5) They are generated by a generating function. We introduce Legendre polynomials here by way of a generating function.

**Physical Basis — Electrostatics**

As with Bessel functions, it is convenient to introduce the Legendre polynomials by means of a generating function, which here appears in a physical context. Consider an electric charge q placed on the z-axis at z = a . As shown in Fig. 12.1, the electrostatic potential of charge q is

(SI units). (12.1)

We want to express the electrostatic potential in terms of the spherical polar coordinates r and θ (the coordinate ϕ is absent because of symmetry about the z-axis). Using the law of cosines in Fig. 12.1, we obtain

(12.2)

**Legendre Polynomials **

Consider the case of r> a or, more precisely, r ^{2} > |a ^{2} − 2ar cos θ |. The radical in Eq. (12.2) may be expanded in a binomial series and then rearranged in powers of (a / r ).

The Legendre polynomial P_{n} (cos θ) (see Fig. 12.2) is deﬁned as the coefﬁcient of the nth power in

(12.3)

Dropping the factor q/4πε_{0} r and using x and t instead of cos θ and a/ r , respectively, we have

Equation (12.4) is our generating function formula. In the next section it is shown that |P_{n} (cos θ)|≤ 1, which means that the series expansion (Eq. (12.4)) is convergent for |t | < 1.^{1} Indeed, the series is convergent for |t |= 1 except for |x |= 1.

In physical applications Eq. (12.4) often appears in the vector form

where

(12.4b)

and

(12.4c)

Using the binomial theorem (Section 5.6) and Exercise 8.1.15, we expand the generating function as (compare Eq. (12.33))

For the ﬁrst few Legendre polynomials, say, P_{0} ,P_{1} , and P_{2} , we need the coefﬁcients of t^{0} , t^{1} , and t^{2} . These powers of t appear only in the terms n = 0, 1, and 2, and hence we may limit our attention to the ﬁrst three terms of the inﬁnite series:

Then, from Eq. (12.4) (and uniqueness of power series),

We repeat this limited development in a vector framework later in this section.

In employing a general treatment, we ﬁnd that the binomial expansion of the (2xt − t^{ 2})^{n} factor yields the double series

From Eq. (5.64) (rearranging the order of summation), Eq. (12.6) becomes

with the t ^{n} independent of the index k . Now, equating our two power series (Eqs. (12.4) and (12.7)) term by term, we have

(12.8)

Hence, for n even, P_{n} has only even powers of x and even parity (see Eq. (12.37)), and odd powers and odd parity for odd n.

**Linear Electric Multipoles**

Returning to the electric charge on the z-axis, we demonstrate the usefulness and power of the generating function by adding a charge −q at z =−a , as shown in Fig. 12.3. The

potential becomes

(12.9)

and by using the law of cosines, we have

Clearly, the second radical is like the ﬁrst, except that a has been replaced by −a . Then, using Eq. (12.4), we obtain

The ﬁrst term (and dominant term for r ≫ a )is

(12.11)

**Vector Expansion **

We consider the electrostatic potential produced by a distributed charge ρ(r2 ):

This expression has already appeared in Sections 1.16 and 9.7. Taking the denominator of the integrand, using ﬁrst the law of cosines and then a binomial expansion, yields (see Fig. 1.42)

(For r_{1} = 1,r_{2 }= t , and r_{1} · r_{2} = xt , Eq. (12.12b) reduces to the generating function, Eq. (12.4).) The ﬁrst term in the square bracket, 1, yields a potential

(12.12c)

The integral is just the total charge. This part of the total potential is an electric monopole.

The second term yields

(12.12d)

where the integral is the dipole moment whose charge density ρ(r_{2} ) is weighted by a moment arm r_{2} . We have an electric dipole potential. For atomic or nuclear states of deﬁnite parity, ρ(r_{2} ) is an even function and the dipole integral is identically zero.

The last two terms, both of order (r_{2} /r_{1})^{2 }, may be handled by using Cartesian coordinates:

Rearranging variables to take the x_{1 }components outside the integral yields

(12.12e)

This is the electric quadrupole term. We note that the square bracket in the integrand forms a symmetric, zero-trace tensor.

Before leaving multipole ﬁelds, perhaps we should emphasize three points.

- First, an electric (or magnetic) multipole is isolated and well deﬁned only if all lowerorder multipoles vanish. For instance, the potential of one charge q at z = a was expanded in a series of Legendre polynomials. Although we refer to the P
_{1}(cos θ) term in this expansion as a dipole term, it should be remembered that this term exists only because of our choice of coordinates. We also have a monopole, P_{0}(cos θ). - Second, in physical systems we do not encounter pure multipoles. As an example, the potential of the ﬁnite dipole ( q at z = a, −q at z =−a ) contained a P
_{3}(cos θ) term. These higher-order terms may be eliminated by shrinking the multipole to a point multipole, in this case keeping the product qa constant (a → 0,q →∞) to maintain the same dipole moment. - Third, the multipole theory is not restricted to electrical phenomena. Planetary conﬁgurations are described in terms of mass multipoles, Gravitational radiation depends on the time behavior of mass quadrupoles. (The gravitational radiation ﬁeld is a tensor ﬁeld. The radiation quanta, gravitons, carry two units of angular momentum.)

It might also be noted that a multipole expansion is actually a decomposition into the irreducible representations of the rotation group.

**Extension to Ultraspherical Polynomials**

The generating function used here, g(t , x ), is actually a special case of a more general generating function,

(12.13)

**RECURRENCE RELATIONS AND SPECIAL PROPERTIES**

**Recurrence Relations**

The Legendre polynomial generating function provides a convenient way of deriving the recurrence relations^{4} and some special properties. If our generating function (Eq. (12.4)) is differentiated with respect to t , we obtain

By substituting Eq. (12.4) into this and rearranging terms, we have

The left-hand side is a power series in t . Since this power series vanishes for all values of t , the coefﬁcient of each power of t is equal to zero; that is, our power series is unique (Section 5.7). These coefﬁcients are found by separating the individual summations and using distinctive summation indices:

Now, letting m = n + 1,s = n − 1, we ﬁnd

.This is another three-term recurrence relation, similar to (but not identical with) the recurrence relation for Bessel functions. With this recurrence relation we may easily construct the higher Legendre polynomials. If we take n = 1 and insert the easily found values of P_{0} (x ) and P_{1} (x ) (Exercise 12.1.7 or Eq. (12.8)), we obtain

(12.18)

or

(12.19)

**Differential Equations**

More information about the behavior of the Legendre polynomials can be obtained if we now differentiate Eq. (12.4) with respect to x . This gives

or

As before, the coefﬁcient of each power of t is set equal to zero and we obtain

A more useful relation may be found by differentiating Eq. (12.17) with respect to x and multiplying by 2. To this we add (2n + 1) times Eq. (12.22), canceling the P_{n}′ term. The result is

From Eqs. (12.22) and (12.23) numerous additional equations may be developed,5 including

The previous equations, Eqs. (12.22) to (12.27), are all ﬁrst-order ODEs, but with polynomials of two different indices. The price for having all indices alike is a second-order differential equation. Equation (12.28) is Legendre’s ODE. We now see that the polynomials P_{n} (x ) generated by the power series for (1 − 2xt + t ^{2} )^{−1/2} satisfy Legendre’s equation, which, of course, is why they are called Legendre polynomials.

In Eq. (12.28) differentiation is with respect to x(x = cos θ). Frequently, we encounter Legendre’s equation expressed in terms of differentiation with respect to θ :

**Special Values**

Our generating function provides still more information about the Legendre polynomials.

If we set x = 1, Eq. (12.4) becomes

using a binomial expansion or the geometric series, Example 5.1.1. But Eq. (12.4) for x = 1 deﬁnes

Comparing the two series expansions (uniqueness of power series, Section 5.7), we have

P_{n} (1) = 1. (12.31)

If we let x =−1 in Eq. (12.4) and use

this shows that

(12.32)

For obtaining these results, we ﬁnd that the generating function is more convenient than the explicit series form, Eq. (12.8).

If we take x = 0 in Eq. (12.4), using the binomial expansion

we have^{6}

These results also follow from Eq. (12.8) by inspection.

**Parity**

Some of these results are special cases of the parity property of the Legendre polynomials.

We refer once more to Eqs. (12.4) and (12.8). If we replace x by −x and t by −t ,the generating function is unchanged. Hence

Comparing these two series, we have

that is, the polynomial functions are odd or even (with respect to x = 0,θ = π/2) according to whether the index n is odd or even. This is the parity,7 or reﬂection, property that plays such an important role in quantum mechanics. For central forces the index n is a measure of the orbital angular momentum, thus linking parity and orbital angular momentum.

This parity property is conﬁrmed by the series solution and for the special values tabulated in Table 12.1. It might also be noted that Eq. (12.37) may be predicted by inspection of Eq. (12.17), the recurrence relation. Speciﬁcally, if P_{n−1} (x ) and xP_{n} (x ) are even, then P_{n+1} (x ) must be even.

**Upper and Lower Bounds for P _{n}(cos θ)**

Finally, in addition to these results, our generating function enables us to set an upper limit on |P_{n} (cos θ)|.Wehave

This series, Eq. (12.39b), is clearly a maximum when θ = 0 and cos mθ = 1. But for x = cos θ = 1, Eq. (12.31) shows that P_{n }(1) = 1. Therefore

(12.39c)

A fringe beneﬁt of Eq. (12.39b) is that it shows that our Legendre polynomial is a linear combination of cos mθ . This means that the Legendre polynomials form a complete set for any functions that may be expanded by a Fourier cosine series (Section 14.1) over the interval [0,π ].

- In this section various useful properties of the Legendre polynomials are derived from the generating function, Eq. (12.4).
- The explicit series representation, Eq. (12.8), offers an alternate and sometimes superior approach.

### Legendre Special Function (Part - 2) - Mathematical Methods of Physics, UGC - NET Physics

- Doc | 7 pages
### Legendre Special Function (Part - 3) - Mathematical Methods of Physics, UGC - NET Physics

- Doc | 5 pages
### Legendre Special Function (Part - 4) - Mathematical Methods of Physics, UGC - NET Physics

- Doc | 5 pages
### Legendre Special Function (Part - 5) - Mathematical Methods of Physics, UGC - NET Physics

- Doc | 4 pages