Polinomios de Legendre – MAPIQ I – Rodríguez Salazar, Carlos – 214653066
Los polinomios de Legendre son un conjunto de polinomios desarrollados por el matemático
francés Adrien-Marie Legendre, los cuales son clave para resolver las ecuaciones de Legendre. Estos polinomios sirven para resolver la ecuación de Legendre de la forma: (1 − 𝑥 2 )𝑦 ′′ − 2𝑥𝑦 ′ + 𝑛(𝑛 + 1)𝑦 = 0 De la cual, n debe ser un valor entero positivo y a su vez, es el grado de la ecuación. Al tratar de resolver la ecuación de Legendre mediante el uso de serie de potencias obtenemos los siguientes valores de 𝐶2 , 𝐶3 , y 𝐶𝑗+2: 𝑛(𝑛 + 1) 𝑐2 = − 𝑐0 2! (𝑛 − 1)(𝑛 + 2) 𝑐3 = − 𝑐1 3! (𝑛 − 𝑗)(𝑛 + 𝑗 + 1) 𝑐𝑗+2 = − 𝑐, 𝑗 = 2, 3, … (𝑗 + 2)(𝑗 + 1) 𝑗 Y las soluciones obtenidas al desarrollar la serie de y son: 𝑛(𝑛 + 1) 2 (𝑛 − 2)𝑛(𝑛 + 1)(𝑛 + 3) 4 𝑦1 (𝑥) = 𝑐0 [1 − 𝑥 + 𝑥 +⋯] 2! 4! (𝑛 − 1)(𝑛 + 2) 3 (𝑛 − 3)(𝑛 − 1)(𝑛 + 2)(𝑛 + 4) 5 𝑦2 (𝑥) = 𝑐1 [𝑥 − 𝑥 + 𝑥 +⋯] 3! 5!
Si desarrollamos la serie para una ecuación de orden 0, la solución en serie termina en el
primer termino de 𝑦1 (𝑥), es decir, termina en 𝑦1 (𝑥) = 𝑐0 ∗ 1, mientras que 𝑦2 (𝑥) se vuelve infinita, para una ecuación de orden 1, de forma analógica, 𝑦2 (𝑥) termina en 𝑦2 (𝑥) = 𝑥, mientras que 𝑦1 (𝑥) se vuelve infinita. De este modo, cuando el grado de la ecuación de Legendre es par, la solución tiene sentido/es finita para 𝑦1 (𝑥), y cuando el grado es impar, la solución tiene el mismo efecto en 𝑦2 (𝑥). Al desarrollar las soluciones con distintos valores de n, llegaremos a polinomios los cuales son denominados polinomios de Legendre y efectivamente, sirven como solución a la ecuación de Legendre de n grado. Dichos polinomios pueden ser calculados de distintas formas, bien desarrollando la solución anterior mencionada para distintos valores de la serie anterior mencionada, o bien, mediante la Fórmula de Rodrigues: 𝟏 𝒅𝒏 𝟐 𝑷𝒏 (𝒙) = 𝒏 ∗ 𝒏 (𝒙 − 𝟏)𝒏 𝟐 𝒏! 𝒅𝒙 Donde n debe ser un entero positivo correspondiente con el grado de la ecuación de Legendre correspondiente, con cálculo fraccional se pueden obtener polinomios de grado fraccional. Los primeros 6 polinomios de Legendre son: 𝑃0 (𝑥) = 1 𝑃1 (𝑥) = 𝑥 1 𝑃2 (𝑥) = (3𝑥 2 − 1) 2 1 𝑃3 (𝑥) = (5𝑥 3 − 3𝑥) 2 1 𝑃4 (𝑥) = (35𝑥 4 − 30𝑥 2 + 3) 8 1 𝑃5 (𝑥) = (63𝑥 5 − 70𝑥 3 + 15𝑥) 8 Todos estos polinomios son soluciones directas a las ecuaciones de Legendre en los grados correspondientes: 𝑛 = 0; (1 − 𝑥 2 )𝑦 ′′ − 2𝑥𝑦 ′ = 0 𝑛 = 1; (1 − 𝑥 2 )𝑦 ′′ − 2𝑥𝑦 ′ + 2𝑦 = 0 𝑛 = 2; (1 − 𝑥 2 )𝑦 ′′ − 2𝑥𝑦 ′ + 6𝑦 = 0 Los polinomios de Legendre tienen 5 propiedades que se cumplen para cualquier polinomio de cualquier grado: 1) 𝑃𝑛 (−𝑥) = (−1)𝑛 𝑃𝑛 (𝑥) 2) 𝑃𝑛 (1) = 1 3) 𝑃𝑛 (−1) = (−1)𝑛 4) 𝑃𝑛 (0) = 0, 𝑛 = 2𝑘 + 1 5) 𝑃𝑛 (0) = 0, 𝑛 = 2𝑘 A su vez, la convergencia de estos polinomios se encuentra en el intervalo abierto (−1,1) Cuando se obtienen las soluciones de la ecuación de Legendre, éstas se pasan a llamar funciones de Legendre (al igual que cuando se encontraban las soluciones de la ecuación de Bessel, se determinaba la función de Bessel correspondiente) Bibliografía: A First Course in Differential Equations with Modeling Applications, Décima edición en inglés - Dennis G. Zill.