Understanding the Legendre Recurrence Relation for Generating Functions

Click For Summary
SUMMARY

The discussion centers on deriving the recurrence relation for Legendre polynomials, specifically the equation \( lP_l(x) = (2l-1)xP_{l-1}(x) - (l-1)P_{l-2}(x) \). The user struggles with shifting the sum of the generating function and the differentiation process involved. Key points include the correct handling of series expansions and the importance of maintaining consistent indices when manipulating the generating function. The user highlights discrepancies between their approach and those presented in various textbooks and videos, emphasizing the need for clarity in the steps taken to derive the recurrence relation.

PREREQUISITES
  • Understanding of Legendre polynomials and their properties
  • Familiarity with generating functions in combinatorial mathematics
  • Knowledge of series expansion techniques
  • Proficiency in calculus, particularly differentiation of series
NEXT STEPS
  • Study the derivation of Legendre polynomial recurrence relations in "Mathematical Methods for Physicists" by Arfken and Weber
  • Learn about generating functions and their applications in combinatorics
  • Explore the concept of series manipulation and index shifting in mathematical analysis
  • Review video lectures on Legendre polynomials from MIT OpenCourseWare for additional insights
USEFUL FOR

Students and researchers in mathematics, particularly those focusing on polynomial theory, combinatorial mathematics, and mathematical physics, will benefit from this discussion.

Taylor_1989
Messages
400
Reaction score
14

Homework Statement

I am having a slight issue with generating function of legendre polynomials and shifting the sum of the genertaing function.

So here is an example:

I need to derive the recurence relation ##lP_l(x)=(2l-1)xP_{l-1}(x)-(l-1)P_{l-2}##

so I start with the following equation:

$$(1-2xh+h^2)\frac{\partial\phi}{\partial h}=(x-h)\phi $$

now taking the differential of the series of the Legendre generating function

$$\frac{\partial}{\partial h}(\sum_{l=0}^{\infty} h^l P_l(x))$$

I make it equal to $$\sum_{l=1}^{\infty} lh^{l-1} P_l(x))$$

Some book I have read ignor the shift and keep the sum ##l=0## which I can see beacuse even at the ##l=0## the sums are the same.But when I expand the following is when I get in a bit of a mess.

So expanding both side I get the following:

$$\sum_{l=1}^{\infty} lh^{l-1} P_l(x))-2x\sum_{l=1}^{\infty} lh^{l} P_l(x))+\sum_{l=1}^{\infty} lh^{l+1} P_l(x)=x\sum_{l=0}^{\infty} h^l P_l(x)-\sum_{l=0}^{\infty} h^{l+1} P_l(x)[1]$$

So now if I make eq [1]=0 like so:

$$\sum_{l=1}^{\infty} lh^{l-1} P_l(x))-2x\sum_{l=1}^{\infty} lh^{l} P_l(x))+\sum_{l=1}^{\infty} lh^{l+1} P_l(x)-x\sum_{l=0}^{\infty} h^l P_l(x)+\sum_{l=0}^{\infty} h^{l+1} P_l(x)=0$$

So from here I know that I need to get all the powers of h to ##h^{l-1}##

So here what I do, which I believe is incorrect I just can't see why or to be honest understand why it wrong. My belief it it has some thing to do with how the generating function works, but every book I have read and youtube video I have watch completely ignores the step that I get confused with, and without any explanation just give the recurrence relation. Anyway here what I do.looking at the series I make all the powers of h equalt to ##l-1##

$$\sum_{l=1}^{\infty} lh^{l-1} P_l(x))-2x\sum_{l=2}^{\infty} (l-1)h^{l-1} P_{l-1}(x))+\sum_{l=3}^{\infty} (l-2)h^{l-1} P_{l-2}(x)-x\sum_{l=1}^{\infty} h^{l-1} P_{l-1}(x)+\sum_{l=2}^{\infty} h^{l-1} P_{l-2}(x)=0$$

Now youtube videos I have watched and book I have read just change the powers of h without make any shitf to the series like soo.

$$\sum_{l=0}^{\infty} lh^{l-1} P_l(x))-2x\sum_{l=0}^{\infty} (l-1)h^{l-1} P_{l-1}(x))+\sum_{l=0}^{\infty} (l-2)h^{l-1} P_{l-2}(x)-x\sum_{l=0}^{\infty} h^{l-1} P_{l-1}(x)+\sum_{l=0}^{\infty} h^{l-1} P_{l-2}(x)=0$$

Then just factor out the sum and the h and your left with the desired recurrence relation albeit with a little simplifying.

Where as when I do it my way I expand all the series unitl the are l=3 and then do the same thing. But as I said I believe this to be wrong, but I just can't see how that in the book I have read and video I have watched how they can just change the powers of the h without affecting the series itself.

I would much appreciate if someone could help me on understanding this.
 
Physics news on Phys.org
The recurrence relation should state a range of l to which it applies. That range should exclude the terms which are different between your sum equation and the "book" one.
The book one, as you quote it, is clearly wrong since it includes h-1 and h-2 terms.
 

Similar threads

Replies
3
Views
1K
Replies
8
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 8 ·
Replies
8
Views
4K