#1.

Introducción a los Polinomios de Legendre

12 de noviembre del 2018

Estas lecciones están pensadas para leerse en unas tres o cuatro sesiones cortas de estudio,
constituyen la metodología para la obtención de algunas propiedades que cumplen los
polinomios de Legendre que son empleadas diariamente en los métodos de la mecánica
cuántica (Véase en Mecánica Cuántica de Griffits), como sabrá, a usted diariamente le
aparecerán relaciones entre su basura algebráica que lo orillaran a utilizar las propiedades y
soluciones de esta (suculenta) ecuación diferencial que definiremos en breve.

A lo largo del texto se escribirán las siguientes conveniencias de notación para las series de
potencia
∞ ∞

∑ 𝐴(𝑛) = ∑ 𝐴(𝑛) ; ∑ 𝐴(𝑛) = ∑ 𝐴(𝑛)

𝑛=0 𝑛=𝑎 𝑎

Antes de arrancarnos como desesperados a resolver la ecuación de Legendre, primero

hagamos una mejora en nuestra forma de maniobrar las series dobles, estableciendo el
siguiente resultado.

Preliminar 1. Sea 𝑆 una serie que tiene como función asociada a 𝐴(𝑘, 𝑛) con los
parámetros de etiqueta 𝑘 y 𝑛 naturales. Se cumple la siguiente relación respecto a la serie 𝑆
∞ ∞ ∞ 𝑛 ∞ [𝑛/2 ]

𝑆 = ∑ ∑ 𝐴(𝑘, 𝑛) = ∑ ∑ 𝐴(𝑘, 𝑛 − 𝑘) = ∑ ∑ 𝐴(𝑘, 𝑛 − 2𝑘)

𝑛=0 𝑘=0 𝑛=0 𝑘=0 𝑛=0 𝑘=0

La demostración se deja en el apéndice y se puede verificar si se tienen ganas, lo principal

es que usted pueda regresar a esta página para verificar estas relaciones

Definición. Llamamos la ecuación diferencial de Legendre a la ecuación de la forma

(1 − 𝑥 2 )𝑦 ′′ − (2𝑥)𝑦 ′ + 𝑛(𝑛 + 1) = 0

Donde 𝑛 es un entero.
En esta introducción supondremos que usted ya sabe resolver ecuaciones diferenciales de
segundo orden homogénea con coeficientes variables, el método estándar que utilizaremos
en este folleto es el de método de Frobenius (Consulte el ejemplar de Frobenius si tiene
dudas). La obtención de la solución se hace a continuación, pero de manera simplificada.
Si el lector ya conoce el método, resuélvala (se hace al menos una vez en la efímera
existencia que uno pueda tener) o bien puede acompañarse de la demostración dada
uniendo los pasos que hagan falta. La habilidad que un lector de dar los detalles entre los
pasos es vital y constituye la fundamentación de un físico teórico de la actualidad.

Proposición 1. Las soluciones de la ecuación de la ecuación de Legendre son de la forma

1−𝑥
𝑦 = 𝑃𝑛 (𝑥) = 2𝐹1 (−𝑛, 𝑛 + 1; 1; )
2
𝑦=
Es posible demostrar que esta ecuación se puede expresar como
𝑑 𝑑
[(1 − 𝑥 2 ) 𝑃𝑛 (𝑥)] + 𝑛] + 𝑛(𝑛 + 1)𝑃𝑛 (𝑥) = 0
𝑑𝑥 𝑑𝑥
Con esto estamos establecemos que la ecuación diferencial de Legendre satisface las
condiciones de Sturm Lioville (esturm lubel :v) que si bien no haremos uso de esto, es
bueno enmarcarnos este resultado en el cora para futuras aproximaciones al problema.

Lección Л

En esta lección hablaremos de las soluciones de la ecuación diferencial de Legendre que se

definirá a continuación

<Inserte aquí un desarrollo de la solución de la ecuación diferencial

𝑑 𝑑
[(1 − 𝑥 2 ) 𝑃𝑛 (𝑥)] + 𝑛] + 𝑛(𝑛 + 1)𝑃𝑛 (𝑥) = 0
𝑑𝑥 𝑑𝑥
Expresarla como
 (1 − 𝑥 2 )𝑦 ′′ − (2𝑥)𝑦 ′ + 𝑛(𝑛 + 1) = 0

Y de la necesidad de establecer la generatriz para maniobrar más chido >

Usualmente uno no se mete a demostrar cosas respecto a los 𝑃𝑘 si no que se establece

Definición. Llamaremos función generatriz de los polinomios de Legendre, o simplemente

la generatriz, a la función 𝐺(𝑥, 𝑡) definida como
1
𝐺(𝑥, 𝑡) =
√1 − 2𝑥𝑡 + 𝑡 2

En esta lección definiremos y nos armaremos de algunas armas para la obtención de dichas
propiedades. Por ejemplo, queremos expresar al polinomio 𝑃𝑘 en función del 𝑃𝑘+1 , y del
𝑃𝑘−1 y sus derivadas. Para llegar a esto, construiremos primero un conjunto de
proposiciones que nos permitan observar el comportamiento de estos polinomios.

Proposición 1. La serie de potencias de la función generatriz tiene como coeficientes a los

polinomios de Legendre. Con símbolos
1
= ∑ 𝑃𝑛 (𝑥)𝑡 𝑛
√1 − 2𝑥𝑡 + 𝑡2

Dem. <El tía dan tiene que poner la demostración en este lugar>

Observación: Si derivamos este último resultado podemos ver que

𝜕𝐺(𝑥) 𝜕
= (∑ 𝑃𝑛 (𝑥)𝑡𝑛 )
𝜕𝑥 𝜕𝑥

O bien, usando que la derivada de la suma es la suma de las derivadas, y que si 𝑃𝑛 solo
depende de 𝑥 entonces la parcial se vuelve la total y
1 3 𝑑
− (1 − 2𝑥𝑡 + 𝑡 2 )−2 (−2𝑡) = ∑ 𝑡 𝑛 𝑃
2 𝑑𝑥 𝑛