Ecuación de Legendre:

Los polinomios de Legendre son una familia de polinomios ortogonales, soluciones de

la ecuación diferencial:
(1 − 𝑥 2 )𝑦 ′′ − 2𝑥𝑦 ′ + 𝑛(𝑛 + 1)𝑦 = 0

Los polinomios se indican por medio de Pn(x), llamados polinomio de Legendre de orden
n. Los polinomios pueden ser tanto funciones par como impar de x, para ordenes de n
par o impar. Abajo se muestran los primeros polinomios:

𝑃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
1
𝑃6 (𝑥) = (231𝑥 6 − 315𝑥 4 + 105𝑥 2 − 5)
16
1
𝑃7 (𝑥) = (429𝑥 7 − 693𝑥 5 + 315𝑥 3 − 35𝑥)
16

La forma general de un polinomio de Legendre de orden n está dado por la sumatoria:

𝑀
(2𝑛 − 2𝑚)!
𝑃𝑛 (𝑥) = ∑ (−1)𝑚 𝑥 𝑛−2𝑚
2𝑛 𝑚! (𝑛− 𝑚)! (𝑛 − 2𝑚)!
𝑚=0

𝑛
Donde 𝑀 = 2 o (n-1) /2

Polinomios generalizados 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 ecuación diferencial:
𝑥𝑦 ′′ + (1 − 𝑥)𝑦 ′ + 𝑛𝑦 = 0
El polinomio de Laguerre de orden n puede definirse como sigue:

1 𝑑𝑛
𝐿𝑛 (𝑥) = ( ) 𝑒 𝑥 𝑛 (𝑥 𝑛 𝑒 −𝑥 )
𝑛! 𝑑𝑥
Tras desarrollar queda de la forma:
𝑛 𝑛
𝑛 1 𝑛!
𝐿𝑛 (𝑥) = ∑(−1)𝑘 ( ) 𝑥 𝑘 = ∑(−1)𝑘 𝑥𝑘
𝑘 𝑘! (𝑛 − 𝑘)! 𝑘! 𝑘!
𝑘=0 𝑘=0
Algunos polinomios son:

n 𝐿𝑛 (𝑥)
0 1
1 −𝑥 + 1
1 2
2 (𝑥 − 4𝑥 + 2)
2
 1
3 (−𝑥 3 + 9𝑥 2 − 18𝑥 + 6)
6
1 4
4 (𝑥 − 16𝑥 3 + 72𝑥 2 − 96𝑥 + 24)
24
1
5 (−𝑥 5 + 25𝑥 4 − 200𝑥 3 + 600𝑥 2 − 600 + 120)
120
1
6 (𝑥 6 − 36𝑥 5 + 450𝑥 4 − 2400𝑥 3 + 5400𝑥 2 − 4320𝑥 + 720)
720

Los polinomios de Laguerre son ortogonales, según el producto escalar:

Polinomios de Hermite:
Los polinomios de Hermite a diferencia de los de Legendre, vienen definidos en toda la
recta real x ∈ (−∞, ∞), por lo cual la función peso w(x) en el producto interno deberá
decrecer más rápido que |x| n, para garantizar que la norma de los vectores en este
espacio vectorial sea finita. La función más simple que cumple estos requisitos es w(x)
= e −x 2. Esto es, el producto interno entre los polinomios de Hermite vendrá definido
como:
∞ ∞
2
∫ 𝑑𝑥 𝑤(𝑥)𝑓(𝑥) 𝑔(𝑥) = ∫ 𝑑𝑥 𝑒 −𝑥 𝑓(𝑥)𝑔(𝑥)
−∞ −∞

Fórmula de Rodríguez para los polinomios de Hermite:

2 𝑑 𝑥 −𝑥2
𝐻𝑛 (𝑥) = (−1)𝑛 𝑒 𝑥 𝑒
𝑑𝑥 𝑛

{𝐻𝑛 (𝑡)}𝑛∈ℕ son polinomios de grado n. Se tiene que:

𝐻𝑛 (−𝑥) = (−1)𝑛 𝐻𝑛 (𝑥)

Es decir, 𝐻𝑛 es par si n es par, e impar si n es impar. Los polinomios de Hermite son:

𝐻0 (𝑥) = 1
𝐻1 (𝑥) = 2𝑥
𝐻2 (𝑥) = 4𝑥 2 − 2
𝐻3 (𝑥) = 8𝑥 3 − 12𝑥
𝐻4 (𝑥) = 16𝑥 4 − 48𝑥 2 + 12
La función generatriz de los polinomios de Hermite está definida como:
∞
𝑡𝑛
𝜓(𝑡, 𝑥) = ∑ 𝐻 (𝑥)
𝑛! 𝑛
𝑛=0

Programa de MATLAB:
clc;
clear;

%Para n=3
syms x y
fplot(legendreP(3:3, x))
axis([-1.5 1.5 -1 1])
grid on
ylabel('P_n(x)')
title('Legendre n=3')
legend('3','Location','best')
pause

%Para n=8
syms x y
fplot(legendreP(8:8, x))
axis([-1.5 1.5 -1 1])
grid on
ylabel('P_n(x)')
title('Legendre n=8')
legend('8','Location','best')
pause

%Para n=12
syms x y
fplot(legendreP(12:12, x))
axis([-1.5 1.5 -1 1])
grid on
ylabel('P_n(x)')
title('Legendre n=12')
legend('12','Location','best')
pause

%Para n=3, n=8 y n=12

hold on
syms x y
fplot(legendreP(3:3, x))
axis([-1.5 1.5 -1 1])
grid on
ylabel('P_n(x)')

fplot(legendreP(8:8, x))
axis([-1.5 1.5 -1 1])
grid on
ylabel('P_n(x)')

fplot(legendreP(12:12, x))
axis([-1.5 1.5 -1 1])
grid on
ylabel('P_n(x)')
title('Legendre n=3, n=8 y n=12')
legend('3','8','12','Location','best')
hold on
pause

%Para n=0 hasta n=12

syms x y
fplot(legendreP(0:12, x))
axis([-1 1 -1.5 1.5])
grid on
ylabel('P_n(x)')
title('Legendre n=0 hasta n=12')
legend('1','2','3','4','5','6','7','8','9','10','11','12','Locat
ion','best')
pause

Resultados:
Referencias:
http://hyperphysics.phy-astr.gsu.edu/hbasees/Math/legend.html
http://ilia.miscomunidades.com/Mec%E1nica%20Cu%E1ntica%20I/previos/Previo%20I
V/Polinomios%20de%20Laguerre.pdf
http://webdelprofesor.ula.ve/ciencias/hector/prontuario/metodos2/S03_C07.pdf
http://www.sc.ehu.es/sbweb/fisica3/especial/legendre/legendre.html
https://es.mathworks.com/help/symbolic/legendrep.html