Polinomios ortogonales.

Sea (x) una funcin real definida e integrable sobre [a, b]; (x) ser positiva o nula y
continua a trozos. Supondremos que (x) no es siempre nula. En el caso de un intervalo

no acotado asumiremos que todas las integrales (x)dx (m N) convergen.

Dados los polinomios reales P(x) y Q(x) usaremos la notacin

< P|Q >= P(x)Q(x)(x)dx

Ntese que el producto < P|Q > posee todas las propiedades de un producto escalar:
es conmutativo, distributivo respecto a la suma y

2 ()(x)dx > 0 () 0
< P|P >= {
0 () = 0
Se dice que P y Q son ortogonales, respecto a la funcin peso (x), en [a, b] si < P|Q
>= 0. La familia de polinomios (x), donde n representa el grado, se llama familia o
conjunto de polinomios ortogonales respecto a (x) en [a, b] si < | >= 0 para n
m. Se dice que la familia de los (x) es ortonormal cuando
0
< Pn|Pm >= n,m = {
1 =
Recordemos que si (x) es una familia de polinomios de grado n, no
necesariamente ortogonales, todo polinomio de grado m puede escribirse:
P(x) =
=0 ()

donde los son coeficientes numricos que dependen de n y P(x).

Teorema. Dada una medida existe una sucesin de polinomios ortogonales

{ (x)} respecto a ella. Esta sucesin est determinada salvo factores constantes.
n=0