MATEMATICA SIMBOLICA

POLINOMIOS ORTOGONALES
Si

v esta en el espacio generado por { v1, v2, . . . ,vn }, entonces se tiene que:
v = c1 v1 + c2 v2 + . . . + cn vn
donde hallar los nmeros {c1 , c2 , . . . , cn } , es todo un problema convertido a un sistema de
ecuaciones lineales.
Para hacer mas sencillo el problema dotamos al espacio vectorial de un producto interno y ademas
cambiamos de base a una ortogonal, de donde se tiene que:
v esta en el espacio generado por { u1, u2, . . . ,un } una base ortogonal, entonces se tiene que:
v = c1 u1 + c2 u2 + . . . + cn un
donde:

ci

v, u i
u i , u i , para todo i desde 1 hasta n.

El problema se complica aun mas en un espacio de funciones.

Sea F={f : [ a , b ] R / f es una funcion }
Y sean g , h F
b

Entonces se define:

f , g f (x)g(x)w (x)dx
a

Donde w es una funcion llamado: funcion peso positiva y definida en el mismo intervalo.
Nota:

f , g 0

1) Si
2) Si
donde

se dice que las funciones f y g son mutuamente ortogonales.

p c1p1 c2p2 c3p3 cn pn

p1 , p 2 , p 3 , es un conjunto finito o infinito de polinomios ortogonales en

Entonces:

ci

p, pi
pi , pi

[ a, b ]

De esta forma el problema se vuelve mas sencillo.

Ademas en este caso se cumple que:

p1 , p 2 , p 3 ,, p n es un conjunto finito de polinomios ortogonales en

pi x es un polinomio de grado exacto i.
* Si px es un polinomio de grado menor o igual que n. Entonces:
Si

p( x) c1 p1 ( x) c2 p2 ( x) cn pn ( x)
p, pi
ci
pi , pi
* Si
que:

px

es un polinomio de grado menor que n, entonces

[ a, b ]

px es ortogonal a p n x , es decir

p, pn 0
* p n x tiene n ceros reales simples y todos estn en el intervalo [ a , b ]
Los polinomios ortogonales satisfacen una relacin de recurrencia de tres trminos

donde cada

MATEMATICA SIMBOLICA
1

Asi definase: f , g f ( x )g( x )dx

1

Entonces los polinomios resultantes son llamados de Legendre. Y son:

pl00 =1
pl01 =x

pl 0i pli ( x)

2i 1 x pli1 ( x) (i 1) pl12 ( x)
i

donde i 2,3, 4,
pl02 =3/2*x^2-1/2
pl03 =5/2*x^3-3/2*x
pl04=35/8*x^4-15/4*x^2+3/8
pl05=63/8*x^5-35/4*x^3+15/8*x
pl06 =231/16*x^6-315/16*x^4+105/16*x^2-5/16
pl07 =429/16*x^7-693/16*x^5+315/16*x^3-35/16*x
pl08 =6435/128*x^8-3003/32*x^6+3465/64*x^4-315/32*x^2+35/128

x
Asi defnase: f , g f ( x )g( x )e dx
2

Entonces los polinomios resultantes son llamados de Hermite. Y son:

ph00=1
ph01=2*x
ph0i

phi ( x)

2 x phi1 ( x) 2(i 1) ph12 ( x),

donde i 2, 3, 4,

ph02=4*x^2-2
ph03=8*x^3-12*x
ph04=16*x^4-48*x^2+12
ph05=32*x^5-160*x^3+120*x
ph06=64*x^6-480*x^4+720*x^2-120
ph07=128*x^7-1344*x^5+3360*x^3-1680*x
ph08=256*x^8-3584*x^6+13440*x^4-13440*x^2+1680
El calculo de ellos en Matlab se hace como sigue:
pl00='1'
pl00 =1
pl01='x'
pl01 =x
pl02=symdiv(symsub(symmul('3*x',pl01),pl00),'2')
pl02 =3/2*x^2-1/2
pl03=symdiv(symsub(symmul('5*x',pl02),symmul('2',pl01)),'3')
2

MATEMATICA SIMBOLICA

pl03 =5/3*x*(3/2*x^2-1/2)-2/3*x
expand(pl03)
ans =5/2*x^3-3/2*x
pl04=symdiv(symsub(symmul('7*x',pl03),symmul('3',pl02)),'4')
pl04 =7/4*x*(5/3*x*(3/2*x^2-1/2)-2/3*x)-9/8*x^2+3/8
expand(pl04)
ans =35/8*x^4-15/4*x^2+3/8
pl05=symdiv(symsub(symmul('9*x',pl04),symmul('4',pl03)),'5')
pl05 =9/5*x*(7/4*x*(5/3*x*(3/2*x^2-1/2)-2/3*x)-9/8*x^2+3/8)-4/3*x*(3/2*x^2-1/2)+8/15*x
expand(pl05)
ans =63/8*x^5-35/4*x^3+15/8*x
pl06=symdiv(symsub(symmul('11*x',pl05),symmul('5',pl04)),'6')
pl06 =11/6*x*(9/5*x*(7/4*x*(5/3*x*(3/2*x^2-1/2)-2/3*x)-9/8*x^2+3/8)-4/3*x*(3/2*x^21/2)+8/15*x)-35/24*x*(5/3*x*(3/2*x^2-1/2)-2/3*x)+15/16*x^2-5/16
expand(pl06)
ans =231/16*x^6-315/16*x^4+105/16*x^2-5/16
pl07=symdiv(symsub(symmul('13*x',pl06),symmul('6',pl05)),'7')
pl07 =13/7*x*(11/6*x*(9/5*x*(7/4*x*(5/3*x*(3/2*x^2-1/2)-2/3*x)-9/8*x^2+3/8)-4/3*x*(3/2*x^21/2)+8/15*x)-35/24*x*(5/3*x*(3/2*x^2-1/2)-2/3*x)+15/16*x^2-5/16)54/35*x*(7/4*x*(5/3*x*(3/2*x^2-1/2)-2/3*x)-9/8*x^2+3/8)+8/7*x*(3/2*x^2-1/2)-16/35*x
expand(pl07)
ans =429/16*x^7-693/16*x^5+315/16*x^3-35/16*x
pl08=symdiv(symsub(symmul('15*x',pl07),symmul('7',pl06)),'8')
pl08 =15/8*x*(13/7*x*(11/6*x*(9/5*x*(7/4*x*(5/3*x*(3/2*x^2-1/2)-2/3*x)-9/8*x^2+3/8)4/3*x*(3/2*x^2-1/2)+8/15*x)-35/24*x*(5/3*x*(3/2*x^2-1/2)-2/3*x)+15/16*x^2-5/16)54/35*x*(7/4*x*(5/3*x*(3/2*x^2-1/2)-2/3*x)-9/8*x^2+3/8)+8/7*x*(3/2*x^2-1/2)-16/35*x)77/48*x*(9/5*x*(7/4*x*(5/3*x*(3/2*x^2-1/2)-2/3*x)-9/8*x^2+3/8)-4/3*x*(3/2*x^21/2)+8/15*x)+245/192*x*(5/3*x*(3/2*x^2-1/2)-2/3*x)-105/128*x^2+35/128
expand(pl08)
ans =6435/128*x^8-3003/32*x^6+3465/64*x^4-315/32*x^2+35/128

ph00='1'
ph00 =1
ph01='2*x'
ph01 =2*x
ph02=symsub(symmul('2*x',ph01),symmul('2*1',ph00))
ph02 =4*x^2-2
ph03=symsub(symmul('2*x',ph02),symmul('2*2',ph01))
ph03 =2*x*(4*x^2-2)-8*x
3

MATEMATICA SIMBOLICA

expand(ph03)
ans =8*x^3-12*x
ph04=symsub(symmul('2*x',ph03),symmul('2*3',ph02))
ph04 =2*x*(2*x*(4*x^2-2)-8*x)-24*x^2+12
expand(ph04)
ans =16*x^4-48*x^2+12
ph05=symsub(symmul('2*x',ph04),symmul('2*4',ph03))
ph05 =2*x*(2*x*(2*x*(4*x^2-2)-8*x)-24*x^2+12)-16*x*(4*x^2-2)+64*x
expand(ph05)
ans =32*x^5-160*x^3+120*x
ph06=symsub(symmul('2*x',ph05),symmul('2*5',ph04))
ph06 =2*x*(2*x*(2*x*(2*x*(4*x^2-2)-8*x)-24*x^2+12)-16*x*(4*x^2-2)+64*x)20*x*(2*x*(4*x^2-2)-8*x)+240*x^2-120
expand(ph06)
ans =64*x^6-480*x^4+720*x^2-120
ph07=symsub(symmul('2*x',ph06),symmul('2*6',ph05))
ph07 =2*x*(2*x*(2*x*(2*x*(2*x*(4*x^2-2)-8*x)-24*x^2+12)-16*x*(4*x^2-2)+64*x)20*x*(2*x*(4*x^2-2)-8*x)+240*x^2-120)-24*x*(2*x*(2*x*(4*x^2-2)-8*x)24*x^2+12)+192*x*(4*x^2-2)-768*x
expand(ph07)
ans =128*x^7-1344*x^5+3360*x^3-1680*x
ph08=symsub(symmul('2*x',ph07),symmul('2*7',ph06))
ph08 =2*x*(2*x*(2*x*(2*x*(2*x*(2*x*(4*x^2-2)-8*x)-24*x^2+12)-16*x*(4*x^2-2)+64*x)20*x*(2*x*(4*x^2-2)-8*x)+240*x^2-120)-24*x*(2*x*(2*x*(4*x^2-2)-8*x)24*x^2+12)+192*x*(4*x^2-2)-768*x)-28*x*(2*x*(2*x*(2*x*(4*x^2-2)-8*x)-24*x^2+12)16*x*(4*x^2-2)+64*x)+280*x*(2*x*(4*x^2-2)-8*x)-3360*x^2+1680
expand(ph08)
ans =256*x^8-3584*x^6+13440*x^4-13440*x^2+1680

Aproximacin de Minimos Cuadrados por Polinomios Ortogonales

Sea f (x) a, b , y supongase que se quiere aproximar f en el intervalo dado por un polinomio

P( x ) de grado menor o igual a n. Con n Z .

Si P( x) c1 p1 ( x) c2 p2 ( x) cn pn ( x) , con {p1 (x), p 2 (x), p 3 (x),, p n (x)} un

conjunto ortogonal de polinomios, con las condiciones dadas anteriormente.
Entonces tenemos que:

ci

f , p i
p i , p i

, i 1,2,3,, n

Ejemplo: Sea f (x) e x 1,1 , aproximndolo por un polinomio de grado menor o igual a 3, se tiene
que:
4

MATEMATICA SIMBOLICA

De donde se tiene que:

e x c0 pl 00( x) c1 pl 01( x) c2 pl 02( x) c3 pl 03( x)
pl00='1'
pl00 =1
pl01='x'
pl01 =x
pl02=symdiv(symsub(symmul('3*x',pl01),pl00),'2')
pl02 =3/2*x^2-1/2
pl03=symdiv(symsub(symmul('5*x',pl02),symmul('2',pl01)),'3')
pl03 =5/3*x*(3/2*x^2-1/2)-2/3*x
pl03=EXPAND(pl03)
pl03 =5/2*x^3-3/2*x
pl04=symdiv(symsub(symmul('7*x',pl03),symmul('3',pl02)),'4')
pl04 =7/4*x*(5/2*x^3-3/2*x)-9/8*x^2+3/8
pl04=EXPAND(pl04)
pl04 =35/8*x^4-15/4*x^2+3/8
pl05=symdiv(symsub(symmul('9*x',pl04),symmul('4',pl03)),'5')
pl05 =9/5*x*(35/8*x^4-15/4*x^2+3/8)-2*x^3+6/5*x
pl05=EXPAND(pl05)
pl05 =63/8*x^5-35/4*x^3+15/8*x
pl06=symdiv(symsub(symmul('11*x',pl05),symmul('5',pl04)),'6')
pl06 =11/6*x*(63/8*x^5-35/4*x^3+15/8*x)-175/48*x^4+25/8*x^2-5/16
pl06=EXPAND(pl06)
pl06 =231/16*x^6-315/16*x^4+105/16*x^2-5/16
pl07=symdiv(symsub(symmul('13*x',pl06), symmul('6',pl05)),'7')
pl07 =13/7*x*(231/16*x^6-315/16*x^4+105/16*x^2-5/16)-27/4*x^5+15/2*x^3-45/28*x
pl07=EXPAND(pl07)
pl07 =429/16*x^7-693/16*x^5+315/16*x^3-35/16*x
pl08=symdiv(symsub(symmul('15*x',pl07),symmul('7',pl06)),'8')
pl08 =15/8*x*(429/16*x^7-693/16*x^5+315/16*x^3-35/16*x)-1617/128*x^6+2205/128*x^4735/128*x^2+35/128
pl08=EXPAND(pl08)
pl08 =6435/128*x^8-3003/32*x^6+3465/64*x^4-315/32*x^2+35/128
a=traprl('f1',-1,1,10000)
a = 2.35040239512228
b=traprl('f2',-1,1,10000)
b = 0.73575890046476
c=traprl('f3',-1,1,10000)
5

MATEMATICA SIMBOLICA

c = 0.14312577895524
d=traprl('f4',-1,1,10000)
d = 0.02013023834339
f=traprl('p0',-1,1,10000)
f= 2
g=traprl('p1',-1,1,10000)
g = 0.66666668000000
h=traprl('p2',-1,1,10000)
h = 0.40000004000000
k=traprl('p3',-1,1,10000)
k = 0.28571436571428

asi tenemos que

c0=a/f
c0 = 1.17520119756114
c1=b/g
c1 = 1.10363832862438
c2=c/h
c2 = 0.35781441160665
c3=d/k
c3 = 0.07045581447425

asi tenemos que la funcion exponencial en el intervalo de 1 a 1 es:

e x p c0 pl 00( x) c1 pl 01( x)
c2 pl 02( x) c3 pl 03( x)
p=1.17520119756114*1+1.10363832862438*x+0.35781441160665 *(3/2*x^2-1/2)+
0.07045581447425* ( 5/2*x^3-3/2*x)
expand(sym('1.17520119756114*1+ 1.10363832862438*x+0.35781441160665 *(3/2*x^2-1/2)+
0.07045581447425* ( 5/2*x^3-3/2*x)'))
ans =0.996293991757815 +0 .997954606913*x + 0.536721617409975*x^2 +
0.176139536185625*x^3

MATEMATICA SIMBOLICA
8
7
6
5
y=exp(x) con azul
4

y=p(x) con rojo

3
2
1
0
-1
-2

-1.5

-1

-0.5

0.5

1.5

Ademas el polinomio aproximado su grafica es:

p=0.996293991757815 +0 .997954606913*x + 0.536721617409975*x^2 + 0.176139536185625*x^3
50
40
30
20
10
0
-10
-20
-30
-40
-50
-10

-8

-6

-4

-2

10