11.

Deniciones

Denicin 11.1 Sean f, g C [a, b] y sea p(x) > 0 continua en el intervalo [a, b]. Denimos o el producto interno de f y g con funcin de peso p de la forma siguiente: o
b

f, g
a

f (x)g(x)p(x) dx .

(11.1)

Denicin 11.2 Sean {Pn (x)}nN0 un conjunto de polinomios reales, donde Pn (x) es un o polinomio de grado n. El conjunto {Pn (x)}nN0 forma un sistema ortogonal de polinomios con la funcin de peso p(x) si o Pn , Pm = nm Am . (11.2)

11.2

Teoremas

Demostracin Escribamos el polinomio Qk (x) como sigue o

k

ww w.

Fi s
k =0

Teorema 11.1 Sean {Pn (x)}nN0 polinomios ortogonales en [a, b] con la funcin de peso o p(x). Sea Qk un polinomio cualquiera de grado k. Entonces Pn (x) es ortogonal a Qk si n > k.

Qk (x) =
=0

Podemos escribir los x como combinacin de los polinomios Pn (x), o

x =
=0

b P (x) ,

por lo tanto,

Qk (x) =

ic aA
a

a x .

con b x , P ,

=0

.c

om

b P (x) ,

Pn , Qk =
=0

a
=0

b Pn , P =
=0

a
=0

b n = 0 ,

si n > k. q.e.d.

Teorema 11.2 Los ceros de los polinomios ortogonales son reales y simples. Demostracin Consideremos el polinomio Pn+1 (x) que tiene n + 1 ra o ces. Por el teorema anterior
b

Qk , Pn+1 =
a

Q (x)Pn+1 (x)p(x) dx = 0 k

kn.

Supongamos que Pn+1 (x) no tiene ra reales en [a, b]. Al considerar Qk = 1 obtenemos ces
b

1 Pn+1 (x)p(x) dx = 0 .
a

Esto contradice lo anterior, lo que signica que Pn+1 tiene por lo menos una ra en [a, b]. z Sea esa ra Podemos factorizar Pn+1 como z.
co

Pn+1 (x) = (x )Sn (x). Si n 1 se debe tomar Qk = (x ), y como por un lado debe complirse

Pn+1 , x =
a

si Sn (x) no tiene una ra en [a, b], hay nuevamente contradiccin. Por lo tanto, Sn (x) tiene z o por lo menos una ra en [a, b]. Siguiendo con este procedimiento encontramos que Pn+1 (x) z tiene n + 1 ra reales. ces Nos falta demostrar que las ra son simples. Sea x = una ra no simple, es decir, ces z Pn+1 (x) = (x )m Sn+1m (x) , con m 2 .

Si m es par, sea Qk (x) = Sn+1m (x). Si m es impar, sea Qk (x) = (x )Sn+1m (x). Supongamos que m es impar por simplicidad (si n es par la demostracin es anloga), o a entonces
b

Pn+1 , Qk

=
a b

(x )m Sn+1m (x)(x )Sn+1m (x) p(x) dx (x )m+1 [Sn+1m (x)]2 p(x) dx = 0 ,

a

ww

y por otro lado, de (11.1),

w.

Fi s

Pn+1 , x = 0 ,

1 (x )2 Sn (x)p(x) dx = 0

ic

aA .

distinta de cero porque cada factor de la funcin subintegral es positivo, en los dos primeros o casos por ser las potencias pares y en el ultimo por denicin de p(x). Por otra parte, o grado[Qk (x)] = n + 1 m + 1 = (n + 1) (m 1) < n + 1, lo cual signica que Pn+1 , Qk = 0 . Por lo tanto, las ra deben ser simples. ces q.e.d. Teorema 11.3 Teorema de unicidad (sin demostracin) o Sea {Pn (x)}nN0 y {Qn (x)}nN0 dos conjuntos de polinomios ortogonales que satisfacen la misma relacin de ortogonalidad en [a, b] son iguales. Es decir, si o
b Pn (x)Pm (x)p(x) dx = a a b

Q (x)Qm (x)p(x) dx = Pn (x) = Qn (x) . n

11.3

Relacin de recurrencia o
Pn (x) = an xn + bn xn1 + cn xn2 + Pn1 (x) = an1 xn1 + bn1 xn2 + cn1 xn3 + Pn+1 (x) = an+1 xn+1 + bn+1 xn + cn+1 xn1 + . (11.3a) (11.3b) (11.3c)

Sea {Pn (x)}nN0 un conjunto de polinomios ortogonales.

co m

xPn (x) =
j=0

nj Pj (x) = n0 P0 + n1 P1 + + n n+1 Pn+1 ,

donde
b

nj =
a

Vemos que nj = 0 slo si n = j, j 1, j + 1, luego o xPn (x) = n n+1 Pn+1 (x) + n n Pn (x) + n n1 Pn1 (x) . (11.4)

Reemplazando (11.3) en (11.4) y comparando potencias, obtenemos para los coecientes n n+1 = an , an+1 n n = bn bn+1 . an an+1 n1 n = an1 , an

Reemplazando en (11.4) estos resultados, tenemos nalmente an bn bn+1 an1 Pn+1 (x) + x Pn (x) + Pn1 (x) = 0 an+1 an an+1 an (11.5)

ww

p(x)xPn (x)Pj (x) dx = jn .

w.

n+1

Fi s

Luego se puede escribir

ic

aA .