[Math] Proving a property of Legendre polynomials containing its derivatives

mathematical physicsordinary differential equationsorthogonal-polynomialsspecial functions

I am trying to prove the following property of Legendre polynomials.
$$nP_n(x)=x{P_n^\prime(x)} – P^\prime_{n-1}(x)$$
My guess is that I somehow have to use the Bonnets recursion formula
$$(n+1)P_{n+1}(x)=(2n+1)xP_n(x)-nP_{n-1}(x)$$
which is proved using the generating function of the legendre polynomials.
However, I am not being able to eliminate the derivative of $P_{n+1}$ from this formula. I am not being able to do problems of a similiar nature, of recursion relations between the derivative of legendre polynomials.

Best Answer

If $f(x,t)=\sum P_n(x)t^n=(1-2tx+t^2)^{-1/2}$ is the generating function then you want to show that $$t\frac{\partial}{\partial t}f=x\frac{\partial}{\partial x}f-t\frac{\partial}{\partial x}f$$ and it is true: $$(t\frac{\partial}{\partial t}+(t-x)\frac{\partial}{\partial x})(1-2tx+t^2)=0.$$