Csdrhrt

Los polinomios ortogonales son conjuntos de polinomios que forman una base ortogonal de cierto espacio de Hilbert. Los polinomios ortogonales son importantes porque aparecen en la teoría de ecuaciones diferenciales, muy especialmente en la teoría de Sturm-Liouville, la teoría de espacios de Hilbert, la teoría de la aproximación de funciones y la mecánica cuántica.

Espacios de Hilbert Lw2(R){displaystyle L_{w}^{2}(mathbb {R} )}

La mayoría de las familias F{displaystyle {mathcal {F}}} de polinomios ortogonales más usados son bases ortogonales de un espacio de Hilbert Lw2(I){displaystyle L_{w}^{2}(I)} de funciones de cuadrado integrable respecto al producto escalar con función de ponderación w(x){displaystyle w(x),}. Es decir:

⟨pm,pn⟩F=∫I⊂Rpm∗(x)pn(x)w(x) dx=Nmδmn{displaystyle langle p_{m},p_{n}rangle _{mathcal {F}}=int _{Isubset mathbb {R} }p_{m}^{*}(x)p_{n}(x)w(x) dx=N_{m}delta _{mn}}

Donde:

⟨⋅,⋅⟩F{displaystyle langle cdot ,cdot rangle _{mathcal {F}}} es el producto escalar del espacio Lw2(I){displaystyle L_{w}^{2}(I)}.

Nm{displaystyle N_{m},} es un factor de normalización que vale 1 si la familia de polinomios es además ortonormal.

δmn{displaystyle delta _{mn},} es el delta de Kronecker.

Además estos polinomios suelen ser los vectores propios de un operador diferencial lineal autoadjunto de segundo orden u operador Sturm-Liouville de la forma:

L(y)=1w[−ddx[p(x)dydx]+q(x)y]{displaystyle {mathcal {L}}(y)={frac {1}{w}}left[-{frac {d}{dx}}left[p(x){frac {dy}{dx}}right]+q(x)yright]}

Polinomios de Legendre

Los polinomios de Legendre son soluciones de la ecuación diferencial:^[1]​

(1−x2)y″−2xy′+n(n+1)y=0,y(x)=Pn(x)=12nn!dndxn(1−x2)n,{w=1,I=[−1,1]}{displaystyle (1-x^{2})y''-2xy'+n(n+1)y=0,qquad y(x)=P_{n}(x)={frac {1}{2^{n}n!}}{frac {d^{n}}{dx^{n}}}(1-x^{2})^{n},qquad {w=1,I=[-1,1]}}

Polinomios de Hermite

Los polinomios de Hermite son soluciones de la ecuación diferencial:^[2]​

y″−2xy′+2ny=0,y(x)=Hn(x)=(−1)nex2dndxne−x2,{w=e−x2,I=R}{displaystyle y''-2xy'+2ny=0,qquad y(x)=H_{n}(x)=(-1)^{n}e^{x^{2}}{frac {d^{n}}{dx^{n}}}e^{-x^{2}},qquad {w=e^{-x^{2}},I=mathbb {R} }}

Polinomios de Laguerre

• Los polinomios de Laguerre son soluciones de la ecuación diferencial:^[3]​

xy″+(1−x)y′+ny=0,y(x)=Ln(x)=exdndxn(xne−x),{w=e−x,I=[0,∞)}{displaystyle xy''+(1-x)y'+ny=0,qquad y(x)=L_{n}(x)=e^{x}{frac {d^{n}}{dx^{n}}}(x^{n}e^{-x}),qquad {w=e^{-x},I=[0,infty )}}

• Los polinomios asociados de Laguerre son soluciones de la ecuación diferencial:^[4]​

xy″−(m+1−x)y′+(n−m)y=0,y(x)=Lnm(x)=dmdxm(exdndxn(xne−x)),{w=xme−x,I=[0,∞)}{displaystyle xy''-(m+1-x)y'+(n-m)y=0,qquad y(x)=L_{n}^{m}(x)={frac {d^{m}}{dx^{m}}}left(e^{x}{frac {d^{n}}{dx^{n}}}(x^{n}e^{-x})right),qquad {w=x^{m}e^{-x},I=[0,infty )}}

Polinomios de Chebyshev

Los polinomios de Chebyshev son soluciones de la ecuación diferencial:^[5]​

(1−x2)y″−xy′+n2y=0,y(x)=Tn(x)=cos⁡(narccos⁡x),{w=11−x2,I=[−1,1]}{displaystyle (1-x^{2})y''-xy'+n^{2}y=0,qquad y(x)=T_{n}(x)=cos(narccos x),qquad {w={frac {1}{sqrt {1-x^{2}}}},I=[-1,1]}}

Los Tn(x){displaystyle T_{n}(x)} se denominan polinomios de Chebyshev de primer tipo, además los polinomios de Chebyshev de segundo tipo Un(x){displaystyle U_{n}(x)} que vienen dados por:

Un(cos⁡θ)=sin⁡(n+1)θsin⁡θ,Un(x)=sin⁡[(n+1)arccos⁡x]sin⁡(arccos⁡x),{w=1−x2,I=[−1,1]}{displaystyle U_{n}(cos theta )={frac {sin(n+1)theta }{sin theta }},qquad U_{n}(x)={frac {sin[(n+1)arccos x]}{sin(arccos x)}},qquad {w={sqrt {1-x^{2}}},I=[-1,1]}}

Polinomios de Jacobi

Los polinomios de Jacobi son series de polinomios ortogonales Pn(α,beta){displaystyle P_{n}^{(alpha ,beta)}} respecto a la función peso w(x)=(1−x)α(1+x)β{displaystyle w(x)=(1-x)^{alpha }(1+x)^{beta }} en el intervalo [-1,+1] satisfacen la ecuación diferencial:

(1−x2)y″+(β−α−(α+β+2)x)y′+n(n+α+β+1)y=0{displaystyle left(1-x^{2}right)y''+(beta -alpha -(alpha +beta +2)x)y'+n(n+alpha +beta +1)y=0}

Muchos polinomios ortogonales son casos particulares de Jacobi:

• Los polinomios ultraesféricos son aquellos para los cuales α=β{displaystyle alpha =beta } entre ellos están:
  
  
  
  • Los polinomios de Chebyshev de primer tipo tienen α=β=−1/2{displaystyle alpha =beta =-1/2}.
  
  
  • Los polinomios de Chebyshev de segundo tipo tienen α=β=+1/2{displaystyle alpha =beta =+1/2}.
  
  
  • Los polinomios de Legendre tienen α=β=0{displaystyle alpha =beta =0}.
  
  
  
  

Mecánica cuántica

En mecánica cuántica son de uso común las siguientes familias de polinomios ortogonales:

• Los polinomios de Hermite aparecen en mecánica cuántica como soluciones del oscilador armónico unidimensional.


• Los polinomios de Legendre y sus funciones asociadas aparecen en problemas cuánticos con simetría esférica, ya que los armónicos esféricos son funciones ortogonales sobre la esfera expresables mediante estos polinomios.

Referencia

Bibliografía

• 
  Spiegel, Murray R.; Abellanas, Lorenzo (1992). McGraw-Hill, ed. Fórmulas y tablas de matemática aplicada. Aravaca (Madrid). pp. p. 158-166. ISBN 84-7615-197-7.