Rodrigues' Formula for Laguerre equation

Click For Summary
SUMMARY

The discussion focuses on deriving the Rodrigues formula for the polynomial solutions of the Laguerre ordinary differential equation (ODE) as presented in Arfken's "Mathematical Methods for Physicists" (7th edition). The correct Rodrigues formula is given by $$L_n(x) = \frac{e^x}{n!} \frac{d^n}{dx^n}(x^n e^{-x})$$, which includes a normalization constant of $$\frac{1}{n!}$$. This constant ensures that the orthogonality condition $$\int_0^\infty e^{-x} L_n(x) L_n(x) dx = 1$$ holds true, confirming the importance of normalization in polynomial solutions.

PREREQUISITES
  • Understanding of ordinary differential equations (ODEs)
  • Familiarity with Rodrigues' formula
  • Knowledge of polynomial functions and their properties
  • Basic concepts of normalization in mathematical functions
NEXT STEPS
  • Study the derivation of Rodrigues' formula in detail
  • Explore the properties of Laguerre polynomials
  • Learn about orthogonality conditions in polynomial solutions
  • Investigate the application of normalization constants in mathematical physics
USEFUL FOR

Mathematicians, physicists, and students studying mathematical methods in physics, particularly those interested in special functions and their applications in quantum mechanics and other fields.

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
476
  • · 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
  • · Replies 11 ·
Replies
11
Views
4K