Required math: calculus
Required physics: none
The Legendre polynomials can be obtained either from an expansion of the simple cosine rule for triangles or from a solution of Legendre’s differential equation. We’ve seen how both these methods work in other posts, but we need to prove that the polynomials obtained in the two cases really are the same. That’s the objective of this post, although on the way we’ll derive a few interesting recurrence relations that relate the polynomials and their derivatives to each other.
The starting point of the derivation of the polynomials from the cosine rule was the Taylor expansion
By taking the derivative with respect to , we get
Multiplying through by and using the earlier equation, we get
We now have two power series in equal to each other, which means each separate power of must be equal, according to the uniqueness of power series. Since appears in the factors multiplying each series, we need to multiply these factors into the series and relabel some of the summation indexes so that each series has a term in .
Extracting the coefficient of from this equation (assuming ), we get
Thus using the starting values of and , we can generate all higher polynomials from this recurrence relation.
Now to the matter of demonstrating that these polynomials are the same as those encountered when solving Legendre’s differential equation. We start with the cosine rule expansion above, and this time take the derivative with respect to :
Again, we multiply through by :
From here, we multiply the factors into the series and redefine the summation indexes in the usual way:
which is valid for .
Shifting the index by 1 gives us a relation in line with that above, which is now valid for :
There are several other recurrence relations that can be derived, but our main goal is to show that satisfies Legendre’s equation, so we’d better focus on that. From the above relation for , we can take the derivative to get:
Adding this to times 19 we get
Cancelling terms gives
Rearranging 19 gives us
where we’ve shifted the index by 1 in the second line. Adding this equation to times 25 we get
Taking the derivative of this equation we get
We now use 25 to substitute for :
which is, finally, Legendre’s equation, as we saw it when we derived the Legendre polynomials as its solutions (except we used instead of as the index). Thus the Legendre polynomials obtained via the cosine rule or via Legendre’s differential equation are the same.