Polinomios de Laguerre

Los polinomios de Laguerre son una familia de polinomios ortogonales, llamados as en honor de Edmond Laguerre, surgen al
examinar las soluciones a la ecuacin diferencial:

Desarrollando

en serie de potencias se obtiene una relacin de recurrencia entre coeficientes consecutivos como la que sigue:

Puede verse que siempre que n sea natural se anula el coeficiente de toda potencia mayor (y distinta) que n. Esto es, una de las
soluciones linealmente independientes es un polinomio de grado n (polinomio de laguerre de orden n, que notaremos por L n(x)). Para
encontrar la otra solucin linealmente independiente han de estudiarse las soluciones de la ecuacin ms general
.
Definicin
El polinomio de Laguerre de orden n puede definirse como sigue:

Que tras desarrollar queda de la forma:

algunos de estos polinomios son:

n
0
1
2
3
4
5
6
Funcin generatriz
La funcin generatriz de los polinomios de Laguerre viene dada por:

Cambiando el orden de los sumatorios, haciendo el cambio m = n - k y reordenando queda lo que a continuacin:

Que sabiendo que

, y despus de reagrupar queda de la forma:

Relaciones de recurrencia
A partir de la funcin generatriz, despejando la exponencial y derivando respecto de t se puede llegar a una relacin de recurrencia
como la siguiente:

Conocidos los dos primeros polinomios (ver tabla) puede utilizarse esta frmula para obtener el de grado n.
Ortogonalidad
Los polinomios de Laguerre son ortogonales segn el producto escalar:

No obstante podemos definir las funciones:

Que claramente son ortonormales respecto del producto escalar ordinario:

Despejando de su definicin los polinomios de Laguerre y sustituyendo en la ecuacin de Laguerre obtenemos la ecuacin diferencial
que nos da estas funciones como solucin:

Polinomios asociados de Laguerre

Tambin llamados polinomios de Laguerre generalizados, son polinomios que cumplen la siguiente ecuacin diferencial:

Definicin
Quedan definidos a partir de las derivadas de los polinomios de Laguerre:

Aunque en ocasiones puede resultar ventajosa la siguiente definicin:

Puede comprobarse que para m > n el polinomio asociado correspondiente vale 0. Asimismo, salta a la vista que
Derivando, segn la definicin se obtiene:

Funcin generatriz y relaciones de recurrencia

La funcin generatriz viene dada por:

De la que se derivan las relaciones de recurrencia que cumplen; algunas de las cuales son las siguientes:

Ortogonalidad
Los polinomios asociados de Laguerre son ortogonales respecto la funcin peso

. Se cumple que:

Otra relacin de importancia que cumplen es la siguiente:

Donde

es la funcin Gamma.

Como con los polinomios de Laguerre, se encuentra que las siguientes funciones son ortonormales respecto de la funcin peso 1:

Son de importancia en mecnica cuntica otras que son ortonormales respecto de la funcin peso (debido a la forma que toma la
integral de volmen en coordenadas esfricas) que surgen como solucin a la parte radial de la ecuacin de Schrdinger para el tomo
hidrogenoide. Estas funciones son las siguientes:

En general las funciones construidas de la forma:

Son ortogonales respecto de la funcin peso

y son solucin de la ecuacin: