Laguerre differential equation ($x{y}^{\prime \prime }+(1-x)y^{\prime }+\nu y=0$)

This equation has a regular singular point at zero and an irregular singular point at infinity. For a nonnegative integer $\nu =n$, the solution analytic at zero with value one is the Laguerre polynomial $L_n$. Its weighted self-adjoint form is $(x{e}^{-x}{y}^{\prime }{)}^{\prime }+\nu e^{-x}y=0$, connecting it to the Laguerre differential operator on polynomials.

A Frobenius solution $y={\sum }_{k\ge 0}{a}_k{x}^{k+\sigma }$ has the repeated indicial root $\sigma =0$. Equating coefficients gives the displayed recurrence relation. The resulting analytic solution is an entire function: its consecutive term ratio has magnitude asymptotic to $|x|/k$. For $\nu =n\ge 0$ an integer, the recurrence terminates and $L_n(x)={\sum }_{k=0}^n(-1{)}^k(\genfrac{}{}{0ex}{}{n}{k})x^k/k!$. The second local solution is independent and has a logarithmic term at zero; repeated indicial roots do not supply two independent analytic series.