{"id":507,"date":"2018-11-19T08:55:14","date_gmt":"2018-11-19T08:55:14","guid":{"rendered":"http:\/\/msp01.epgpbooks.inflibnet.ac.in\/?post_type=chapter&p=507"},"modified":"2019-04-30T11:45:46","modified_gmt":"2019-04-30T11:45:46","slug":"legendre-differential-equation-and-polynomials","status":"publish","type":"chapter","link":"https:\/\/ebooks.inflibnet.ac.in\/msp01\/chapter\/legendre-differential-equation-and-polynomials\/","title":{"rendered":"Legendre differential equation and polynomials"},"content":{"raw":"
\"epgp<\/a>\r\n<\/span><\/div>\r\n
\r\n

TABLE OF CONTENTS<\/strong><\/p>\r\n

1. Introduction<\/p>\r\n

2. Solution of the equation<\/p>\r\n

2.1 An alternative method<\/p>\r\n

3. The Legendre polynomials<\/p>\r\n

3.1 Rodrigue\u2019s formula<\/p>\r\n

3.2 Zeros of Legendre polynomials<\/p>\r\n

3.3 Generating function for Legendre polynomials<\/p>\r\n

3.4 The recurrence relations<\/p>\r\n

4. Integrals involving products of Legendre polynomials<\/p>\r\n

4.1 Orthonormality of Legendre polynomials<\/p>\r\n

5. The complete solution<\/p>\r\n \r\n\r\n<\/div>\r\n

\r\n

LEARNING OBJECTIVES<\/strong><\/p>\r\n

1. Importance of Legendre equation in physics is explained and its derivation from Laplace equation is sketched.<\/p>\r\n

2. Series solutions of the Legendre equation are obtained for the case of integer values of the parameter n<\/em>.<\/p>\r\n

3. It is explained as to how one solution becomes a polynomial of order n<\/em>, called the Legendre polynomials.<\/p>\r\n

4. Detailed study of the properties of the Legendre polynomials is undertaken. Rodrigue\u2019s formula is derived. Properties of zeroes of Legendre polynomials are studied. The generating function is derived and the recurrence relation obtained.<\/p>\r\n

5. Integrals involving products of Legendre polynomials are obtained from which follow the orthonormality property of these polynomials.<\/p>\r\n

6. Finally the complete solution of the Legendre equation is discussed briefly.<\/p>\r\n \r\n

L e g e n d r e\u00a0 d i f f e r e n t i a l\u00a0 e q u a t i o n\u00a0 a n d\u00a0 P o l y n o m i a l s<\/strong><\/p>\r\n\r\n<\/div>\r\n

\r\n\r\n \r\n\r\n1. Introduction<\/strong><\/span>\r\n

Legendre differential equation is one of the most important and ubiquitous equations in physics. One of the ways it appears in physics is via the solution of the Laplace equation<\/p>\r\n\"\"\r\n

The solutions of the Laplace equation are the harmonic functions<\/em> which are of the greatest importance in every branch of physics, particularly electromagnetism, gravitation, fluid dynamics and heat conduction. When written in spherical polar coordinates, the equation becomes (we will learn the details in the topic on partial differential<\/em> equations<\/em>)<\/p>\r\n\"\"\r\n\r\n\"\"\r\n

This is the <\/span>associated Legendre equation<\/em>. In the case of greatest interest <\/span>m<\/em> can take only integer values 0, 1, 2, ....n.<\/em> Finally if we consider the special case of <\/span>m<\/em> = 0, we obtain the <\/span>Legendre equation.<\/em><\/p>\r\n\"\"\r\n\r\n \r\n\r\n2. Solution of the equation<\/span><\/strong><\/span>\r\n

Although the parameter <\/span>n<\/em> can take any value, even complex values, the case of general interest is one in which <\/span>n<\/em> is a non-negative integer, and that is the case we will study. We can easily verify that the singularity at = \u00b11 is regular with the exponent taking value 1, and the one at infinity is also regular with the exponent taking values, -<\/span>n<\/em> and <\/span>n<\/em> + 1. The origin is an ordinary point of the equation. If we rewrite the equation in the form<\/span><\/p>\r\n\"\"\r\n\r\n \r\n\r\nwe see that<\/span>\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n\r\nThe radius of convergence of both the series is R<\/em> = 1.\u00a0 We seek a solution of the form\r\n\r\n\"\"\r\n\r\nThe radius of convergence of this series will be at least<\/em> equal to 1. On differentiating this series twice we obtain\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\nContinuing in this way, we obtain for the even and odd indices respectively\r\n\r\n\"\"\r\n\r\nThe general solution (6) of the Legendre equation (2) can therefore be written as\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n
\r\n\r\n \r\n\r\n2.1 An alternative method<\/strong><\/span>\r\n\r\nWe could have started with the point at infinity which is a regular singular point with exponents \u2013n<\/em> and n<\/em> + 1. In that case we attempt a series solution of the form\r\n\r\n\"\"\r\n\r\nThe solution with the exponent \u2013n<\/em> is\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

Thus we have again found two linearly independent solutions of the Legendre equation. The first solution is a polynomial solution and is valid for all <\/span>z<\/em> while the second is an infinite power series convergent for |<\/span>z<\/em>| > 1.<\/span><\/p>\r\n \r\n

\r\n

3. The Legendre polynomials<\/strong><\/span><\/p>\r\nLet us take the constant a<\/em> in equation (15) to be\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n\r\n \r\n\r\n3.1 Rodrigue\u2019s formula<\/strong><\/span>\r\n\r\n\"\"\r\n\r\n \r\n\r\n<\/div>\r\n
\r\n

3.2 Zeros of Legendre polynomials<\/strong><\/span><\/p>\r\n\"\"\r\n

But the solution of the initial value problem is unique and \u2261 0 is a solution. Hence no solution, in particular the Legendre polynomials, can have a double root. Therefore all the n<\/em> roots of the Legendre polynomial of order n <\/em>are real, distinct and lie in the open interval (-1, 1).<\/p>\r\n \r\n\r\n3.3 Generating function for Legendre polynomials<\/strong><\/span>\r\n

If we use Cauchy\u2019s formula for the n<\/em>th derivative of an analytic function, discussed in the study of complex variables, for the Rodrigue\u2019s formula, we obtain<\/p>\r\n\"\"\r\n

Here C<\/em> is any closed contour surrounding the point t<\/em> = z<\/em>. This is called Schl\u00e4fli integral formula<\/em>. For the contour C<\/em>, let us take the circle<\/p>\r\n\"\"\r\n\r\nThen on the contour C<\/em>\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\nThis is known as the Laplace first integral for Legendre polynomials<\/em>.\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n \r\n

3.4 The recurrence relations<\/strong><\/span><\/p>\r\n

Using the generating function we can deduce certain recurrence relations between Legendre polynomials and their derivatives of different orders. We can easily verify that the generating function satisfies the differential equation<\/p>\r\n\"\"\r\n\r\nNow using equation (23) we get\r\n\r\n\"\"\r\n\r\nSimilarly on using the relation<\/span>\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n\r\nin equation (23) we get the second recurrence relation\r\n\r\n\"\"\r\n\r\nIf we now differentiate equation (24) with respect to z<\/em> we obtain\r\n\r\n\"\"\r\n\r\n\"\"\r\n

We can use these three recurrence relations to derive a few more such relations. For example, if we multiply equation (25) by z and subtract equation (26) from it, we get<\/p>\r\n\"\"\r\n\r\n \r\n

4. Integrals involving products of Legendre polynomials<\/strong><\/span><\/p>\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n

Now by using recurrence relation (27) we get<\/p>\r\n\"\"\r\n\r\n\"\"\r\n

This is the required result for m\u2260n<\/em>\u00a0 . When m=n<\/em> we make use of recurrence relations (24) and (25) from which we get<\/p>\r\n\"\"\r\n

We now integrate to obtain<\/p>\r\n\"\"\r\n\r\n\"\"\r\n

This is the result for the integral of the square of Legendre polynomials.<\/p>\r\n \r\n\r\n4.1 Orthonormality of Legendre polynomials<\/strong><\/span>\r\n\r\n\"\"\r\n\r\n\"\"\r\n

The two relations can be written together by introducing the Kronecker delta function:<\/span><\/p>\r\n\"\"\r\n\r\n<\/div>\r\n

\r\n

Thus the Legendre polynomials form an orthonormal set<\/em> over the interval \u22121 \u2264 \u2264 1. This was the reason in the first place for choosing the value for the constant a<\/em> in the solution of the Legendre equation according to equation (17). As we saw in the introduction, Legendre equation arises in the solution of Laplace equation where the independent variable z<\/em> actually stands for cos(\u03b8<\/em>). As \u03b8<\/em> varies from 0 to 2\u03c0<\/em>, cos(\u03b8<\/em>) varies from (-1, 1). So the range (-1, 1) is a \u201cnatural\u201d range for the variable in Legendre polynomials.<\/p>\r\n \r\n\r\n5. The complete solution<\/strong><\/span>\r\n

The Legendre equation (2) has regular singularities at = \u00b11 where the exponent is 1. Hence the exponent difference is zero at both the singularities; so one of the solutions has a logarithmic singularity. To find this solution we use the usual method of obtaining the second solution when one solution is known. For this purpose we make the substitution<\/p>\r\n\"\"\r\n\r\nSubstitute this in equation (2) and we find that v<\/em>(z<\/em>) satisfies the equation\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n\"\"\r\n\r\n<\/div>\r\n

<\/div>\r\n \r\n\r\nSUMMARY<\/strong>\r\n