Rodrigues' Formula for Laguerre equation

Click For Summary

Discussion Overview

The discussion revolves around deriving Rodrigues' formula for the polynomial solutions of the Laguerre differential equation. Participants explore the relationship between the formula and the normalization constant, as well as the implications of different forms of the formula.

Discussion Character

  • Technical explanation, Mathematical reasoning, Debate/contested

Main Points Raised

  • One participant presents the Laguerre ODE and attempts to derive Rodrigues' formula, noting a discrepancy regarding the normalization constant.
  • Another participant suggests that the factor of ##\frac{1}{n!}## may simply be a convention, indicating flexibility in constant factors.
  • A different participant explains that the ##\frac{1}{n!}## serves as a normalization constant to ensure the orthogonality of the Laguerre polynomials, providing an integral expression to support this claim.
  • One participant expresses gratitude and indicates that they have understood the explanation provided.

Areas of Agreement / Disagreement

There is no clear consensus on the necessity of the normalization constant, as some participants propose it is a convention while others argue it serves a specific purpose in normalization.

Contextual Notes

The discussion includes assumptions about the properties of the Laguerre polynomials and their normalization, which may depend on the definitions used in different contexts.

appmathstudent
Messages
6
Reaction score
2
TL;DR
Rodrigues' Formula for Laguerre equation
This is exercise 12.1.2 a from Arfken's Mathematical Methods for Physicists 7th edition :Starting from the Laguerre ODE,

$$xy''+(1-x)y'+\lambda y =0$$

obtain the Rodrigues formula for its polynomial solutions $$L_n (x)$$

According to Arfken (equation 12.9 ,chapter 12) the Rodrigues formula is :

$$ y_n(x) = \frac {1}{w(x)}(\frac{d}{dx})^n[w(x)p(x)^n]$$

I found that $$w(x) = e^{-x}$$ and then :

$$L_n(x) = e^x (\frac{d}{dx})^n[e^{-x}x^n]$$

But the answer is ,according to Arfken and everywhere else I look,is :

$$L_n(x)=\frac{e^x}{n!}.\frac{d^n}{dx^n}(x^ne^{-x})$$

I can't figure out exactly how $$ \frac{1}{n!}$$ appeared.
I think it might be related to the fact that $$ L_n(x) =\sum_{k=0}^n \binom{n}{k} \frac{(-x)^k}{k!} \quad $$

Any help will be appreciated , thank you
 
  • Like
Likes   Reactions: Delta2
Physics news on Phys.org
You can have any constant factor you want and the result is still a solution. The factor of ##\frac 1 {n!}## may simply be the convention.
 
The ##\frac{1}{n!}## is the normalisation constant, it ensures that:

\begin{align*}
\int_0^\infty e^{-x} L_n (x) L_n (x) dx = 1
\end{align*}

Explicitly, it ensures that:

\begin{align*}
\frac{1}{(n!)^2} \int_0^\infty e^{x} \frac{d^n}{dx^n} (x^n e^{-x}) \frac{d^n}{dx^n} (x^n e^{-x}) dx = 1
\end{align*}

This can be verified by using Leibnitz and some integration by parts:

\begin{align*}
& \frac{1}{(n!)^2} \int_0^\infty \left( \sum_{k=0}^n (-1)^{n-k} \frac{n!}{k! (n-k)!} x^{n-k} \right) \frac{d^n}{dx^n} (x^n e^{-x}) dx
\nonumber \\
& = \frac{1}{n!} \int_0^\infty x^n e^{-x} dx
\nonumber \\
& = \frac{1}{n!} n! = 1 .
\end{align*}

I'll leave you to fill in the details.
 
  • Like
Likes   Reactions: PeroK and appmathstudent
Thank you very much! I think I got it now
 

Similar threads

Replies
11
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
618
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 1 ·
Replies
1
Views
13K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
6K