Aproximación Usando Polinomios Ortogonales

Universidad Técnica Federico
Santa María
Departamento de Matemática
Laboratorio de Computación para las Aplica-
ciones
de la Matemática en Ingeniería
Laboratorio MAT 270 Análisis

Numérico
OCTAVA SESION
Aproximación usando Polinomios
Ortogonales
Semana del Lunes 6 al Viernes 10 de Junio del 2011
Coordinador Académico del Laboratorio : Profesor Jaime Figueroa

(jaime.figueroa@usm.cl)
Ayudante Coordinador y de Software : Sebastián Bustamante
(sebastian.bust@gmail.com)
Sitio web: http://lab.mat.utfsm.cl
Atención Alumnos: Vía e-mail a los ayudantes de sala y ayudante

coordinador.
Sesion 9 Mat 270 1º 2011 Aproximación ortogonal.nb 2
Avisos:
1 ) Su contacto será su ayudante de sala o el
ayudante coordinador.
2) Hay salas en la DCSC en el edificio P que
tiene el software Mathematica instalado para revisar
estas sesiones.
3) En la mitad de la sesión se inicia el control
4 evaluado.
è Cuatro familias de polinomios ortogonales:

Legendre, Chebyshev, Laguerre y Hermite
è DEFINICIONES GENERALES: funciones de ponderación, producto interno,

ortogonalidad.
DEFINICIÓN
Las siguientes funciones w(x) son llamadas " función peso o
ponderación" en un intervalo I = ] a , b [ si :
1
w(x)=1 o w(x) = si a = -1 ; b = 1
1- x 2
w(x) = e- x si a= 0 ; b = •
2
w(x) = e- x si a = -• ; b = •
Veamos como son esas funciones

In[1]:= Plot@1 ê Sqrt@1 − x^ 2D, 8x, − 1, 1<D
2.5
2.0
Out[1]=
1.5
−1.0 −0.5 0.5 1.0
In[2]:= Plot@Exp@− xD, 8x, 0, 10<, PlotRange → AllD
1.0
0.8
0.6
Out[2]=
0.4
0.2
2 4 6 8 10
In[3]:= Plot@Exp@− x^2D, 8x, −8, 8<, PlotRange → AllD
1.0
0.8
0.6
Out[3]=
0.4
0.2
−5 5
DEFINICIÓN.
El producto interno con respecto w de dos funciones f , g definidas en el
intervalo ] a , b [ se define :
H f , g L = Ÿa wHxL f HxL gHxL ‚ x
b
Se define la norma de f como :
¥f¥ = H f , fL
Calculemos algunos productos internos y normas
In[4]:= w = 1; f = Sin@xD; g = Cos@2 xD;

Print@"La norma de ", f,
" en @−1,1D con respecto la ponderación w = ",
w , " es ", NIntegrate@ w f^ 2, 8x, − 1, 1<DD
La norma de Sin@xD
en @−1,1D con respecto la ponderación w = 1 es 0.545351
In[6]:= Print@"El producto interno de ", f, " con ",

g, " en @−1,1D con respecto la ponderación w = ",
w , " es ", Integrate@w f g, 8x, −1, 1<DD
El producto interno de Sin@xD con Cos@2 xD

en @−1,1D con respecto la ponderación w = 1 es 0
In[7]:= w = 1 ê Sqrt@1 − x^ 2D; f = Sin@xD; g = Cos@2 xD;

Print@"La norma de ", f,
" en @−1,1D con respecto la ponderación w = ",
w , " es ", NIntegrate@w f^ 2, 8x, − 1, 1<DD
La norma de Sin@xD
1
en @−1,1D con respecto la ponderación w = es 1.21911
1 − x2
In[9]:= f = x ^2; g = x^ 4 + x^ 2;
Print@"El producto interno de ", f, " con ", g,
" en @−1,1D con respecto la ponderación w = ", w , " es ",
aux = Integrate@w f g, 8x, −1, 1<D, " esto es ", N@auxDD
El producto interno de x2 con x2 + x4

en @−1,1D con respecto la ponderación w =
1 11 π
es esto es 2.15984
16
1 − x2
æ Ejercicio.
Calcule la norma de f = Sin[x] en [0,•[ con respecto a la ponderación w = e- x . (
R: ª 0.4 )
2
Calcule la norma de f= Cos[x] en ]-•,•[ con respecto a la ponderación w = e- x . (
R: ª 1.212 )
DEFINICIÓN.
Dos funciones f , g se dicen ortogonales con respecto el producto interno
si :
H f , gL = 0
æ Ejemplo.
Probar que los polinomios f ( x ) = 3 x2 - 1 , g ( x ) = 35 x4 -30 x2 + 3 son ortogo-
nales con respecto w(x) =1 en ] -1 , 1 [.
Bastaría probar que la integral de f(x) g(x) en ] -1 , 1 [ es nula. Observe que esto no es trivial por cuánto ambos
polinomios son de orden par.
En efecto,
In[11]:=
f = 3 x 2 − 1; g = 35 x 4 − 30 x 2 + 3;
Integrate@ f g , 8x, − 1, 1<D
Out[12]=
0
Por lo tanto son ortogonales.
DEFINICIÓN
Se dirá que una familia { fn } , n = 0,1,.... de función definidas en ] a , b
[ es ortogonal si todo par de funciones distintos es ortogonal.
Se dirá que una familia { fn } , n = 0,1,.... de función definidas en ] a , b
[ es ortonormal si ella es ortogonal y cada uno de los miembros de la familia tienen
norma igual a uno.
è Polinomios Ortogonales de Legendre en ]-1,1[.
è POLINOMIOS DE LEGENDRE
DEFINICIÓN.
La familia de polinomios de Legendre se define en ]-1,1[ mediante la
fórmula recursiva:
p0 = 1 ; p1 (x) = x
2 n +1 n
pn+1 (x) = x pn (x) - pn- 1 (x) ; nr 1
n+ 1 n+ 1
æ Ejemplo.
Definamos un procedimiento que permita obtener los polinomios de Legendre
definidos más arriba:
In[13]:=
Clear@pD
m=5
p@0D = 1; p@1D = x;
Do@ p@n + 1D = H2 n + 1L ê Hn + 1L x p@nD − n ê Hn + 1L p@n − 1D êê Simplify,
8n, 1, m<D; p@m + 1D
Out[14]=
5
Out[16]=
1
I−5 + 105 x2 − 315 x4 + 231 x6 M
16
In[17]:=
?p
Global`p
p@0D = 1
p@1D = x
I− 1 + 3 x2 M
1
p@2D =
2
x I− 3 + 5 x2 M
1
p@3D =
2
I3 − 30 x2 + 35 x4 M
1
p@4D =
8
x I15 − 70 x2 + 63 x4 M
1
p@5D =
8
I− 5 + 105 x2 − 315 x4 + 231 x6 M

1
p@6D =
16
In[18]:=
Plot@8p@4D, p@6D<, 8x, −1, 1<,

PlotStyle → 8RGBColor@1, 0, 0D, RGBColor@0, 0, 1D<,
ImageSize → 8600, 400<D
Out[18]=
1.0
0.8
0.6
0.4
0.2
−1.0 − 0.5
−0.2
−0.4
Para comprobar que son ortogonales habrá que probar que la integral de los dos polinomios sobre ]-1,1[ es cero
In[19]:=
Plot@p@2D p@6D, 8x, − 1, 1<, ImageSize → 8600, 400<D

Out[19]=
0.4
0.3
0.2
0.1
−1.0 − 0.5
−0.1
−0.2
In[20]:=
Integrate@p@2D p@6D, 8x, − 1, 1<D

Out[20]=
0
Grafiquemos p[6] y calculemos los ceros de p[6].

In[21]:=
Plot@p@6D, 8x, − 1, 1<, ImageSize → 8600, 400<, PlotLabel → 8p@6D<D

NSolve@p@6D 0, xD
Out[21]=
1
: I231 x6 − 315 x4 + 105 x2 − 5M>
16
1.0
0.8
0.6
0.4
0.2
−1.0 −0.5
− 0.2
− 0.4
Out[22]=
88x → −0.93247<, 8x → − 0.661209<, 8x → −0.238619<,
8x → 0.238619<, 8x → 0.661209<, 8x → 0.93247<<
CONCLUSION:
TODOS LOS CEROS SE ENCUENTRAN EN ]-1,1[ Y ESTAN SIMETRICAMENTE UBICADOS CON

RESPECTO AL ORIGEN.
PROPIEDADES de los polinomios de Legendre.
1) Grado del polinomio pn es n y todos sus ceros están en ]-1,1[

2) pn (1) = 1 , " n
0 si n π m
:
0 si n π m
3) ( pn , pm ) = Ÿ- 1 pn HxL pm HxL ‚ x = :
1
2
si n = m
2n+1
NOTA:
La propiedad 3) indica que la familia es ortogonal con respecto w=1.
En 3) cuando n = m está dando el valor de la norma al cuadrado.
è Comando para generar los Polinomios de Legendre

"LegendreP[n, x] gives the n-th Legendre polynomial in x. L"
In[23]:=
TableForm@Table@LegendreP@n, xD, 8n, 0, 6<DD

Out[23]//TableForm=
1
x
I−1 + 3 x2 M
1
2
I−3 x + 5 x3 M
1
2
I3 − 30 x2 + 35 x4 M
1
8
I15 x − 70 x3 + 63 x5 M
1
8
I−5 + 105 x2 − 315 x4 + 231 x6 M

1
16
In[24]:=
p@6D
Out[24]=
1
I−5 + 105 x2 − 315 x4 + 231 x6 M
16
Se puede concluir que da lo mismo. Suele ocurrir que con algunos software difieran los coeficientes pero eso porque
la normalización es diferente.
Lo interesante del comando es que no necesita generarlas recursivamente. Por ejemplo:

In[25]:=
LegendreP@50, xD
Out[25]=
1
140 737 488 355 328
I−15 801 325 804 719 + 20 146 690 401 016 725 x2 − 4 271 098 365 015 545 700 x4 +
360 195 962 116 311 020 700 x6 − 16 131 633 446 209 072 141 350 x8 +
444 157 640 885 623 119 625 170 x10 − 8 210 186 695 158 487 968 828 900 x12 +
107 995 532 682 469 341 743 826 300 x14 −
1 052 956 443 654 076 082 002 306 425 x16 +
7 838 675 747 202 566 388 239 392 275 x18 −
45 546 831 710 061 227 855 875 205 640 x20 +
209 988 639 702 230 336 218 645 428 600 x22 −
777 566 629 622 026 824 693 679 811 700 x24 +
2 332 699 888 866 080 474 081 039 435 100 x26 −
5 702 155 283 894 863 381 086 985 285 800 x28 +
11 391 202 164 838 244 317 619 747 616 920 x30 −
18 602 568 051 449 552 212 241 926 551 825 x32 +
24 770 264 410 753 681 822 717 859 419 275 x34 −
26 736 158 411 607 148 634 044 673 658 900 x36 +
23 161 195 551 449 151 519 392 896 526 700 x38 −
15 856 510 800 607 496 040 199 752 237 510 x40 +
8 379 456 927 150 302 785 471 413 784 050 x42 −
3 295 092 998 837 116 951 580 725 082 100 x44 +
907 344 448 955 148 146 087 446 037 100 x46 −
156 050 375 086 257 748 529 223 875 175 x48 +
12 611 418 068 195 524 166 851 562 157 x50 M
è Otra forma de generar los Polinomios de Legendre

En ecuaciones diferenciales se ve una forma de generar los polinomios que conduce a la forma siguiente:
In[26]:=
1
P@n_, x_D := D@ Hx ^2 − 1L ^n, 8x, n<D êê Simplify
2n n!
P@6, xD
Out[27]=
1
I−5 + 105 x2 − 315 x4 + 231 x6 M
16
In[28]:=
p@6D
Out[28]=
1
I−5 + 105 x2 − 315 x4 + 231 x6 M
16
Como se ve también da lo mismo. Es probable que esta sea la fórmula que utiliza el comando.
æ Ejercicio.
Dibujar otros polinomios de Legendre, observar sus formas y calcular sus ceros o
raíces de la ecuación pn (x)=0 ( estas ceros tienen una importancia fundamental en el cálculo
de integrales )
Comprobar que son ortogonales los veinte primeros polinomios calculando directa-
mente los productos internos entre ellos.
Comprobar las propiedades 2) y la de la norma en 3).
è Polinomios Ortogonales de Chebyshev en ]-1,1[.
è Producto Interno
DEFINICIÓN.
1
El producto interno con respecto w(x) = de dos funciones f , g
1- x 2
definidas en el intervalo ] -1 , 1 [ se define :
( f , g ) = Ÿ- 1 wHxL f HxL gHxL ‚ x
1
Se define la norma de f como : P f T = H f , gL
è Polinomios Ortogonales de Chebyschev

Hay dos formas equivalentes de definir los polinomios. Mediante la primera se verá que se trata de ondas de ampli-
tud 1. La segunda permite ver que se trata en efecto de polinomios.
DEFINICIÓN.
La familia de polinomios de Chebyschev se define en ]-1,1[ mediante la
fórmula :
Tn (x) = Cos( n Arcos(nx) ) ; n=0,1,.......
Ejemplos.
In[29]:=
TableForm@Table@ TrigExpand@ Cos@ n ArcCos@xDDD, 8n, 0, 5<DD

Out[29]//TableForm=
1
x
−1 + 2 x2
−3 x + 4 x3
1 − 8 x2 + 8 x4
5 x − 20 x3 + 16 x5
DEFINICIÓN.
La familia de polinomios de Chebyschev se define en ]-1,1[ mediante la
fórmula recursiva:
T0 = 1 ; T1 (x) = x
Tn+1 (x) = 2 x Tn (x) - Tn- 1 (x) ; nr 1
Ejemplos.
In[30]:=
T@0D = 1
T@1D = x
TableForm@Table@T@n + 1D = 2 x T@nD − T@n − 1D êê Expand, 8n, 1, 8<DD
Out[30]=
1
Out[31]=
x
Out[32]//TableForm=
−1 + 2 x2
−3 x + 4 x3
1 − 8 x2 + 8 x4
5 x − 20 x3 + 16 x5
−1 + 18 x2 − 48 x4 + 32 x6
−7 x + 56 x3 − 112 x5 + 64 x7
1 − 32 x2 + 160 x4 − 256 x6 + 128 x8
9 x − 120 x3 + 432 x5 − 576 x7 + 256 x9
PROPIEDADES de los polinomios de Chebyschev.
1) Grado del polinomio Tn es n y todos sus ceros están en ]-1,1[ y

ninguno fuera de él.
2) Tn (1) = 1 , " n
0 si n π m
Tn HxL Tm HxL ‚ x = : p si n = m = 0
1 1
3) ( Tn , Tm ) = Ÿ- 1
1- x 2 p
si n = m > 0
2
4) Los ceros de Tn son :
H2 i - 1 L p
xi = Cos ( ) , i = 1, .... , n
2n
NOTA:
1
La propiedad 3) indica que la familia es ortogonal con respecto w= .
1- x 2
En 3) cuando n = m está dando el valor de la norma al cuadrado.
Verificación de algunas .
Lo primero es que los polinomios de Tchebyshev son ondas de amplitud 1:

In[33]:=
Plot@8T@2D, T@3D, T@4D, T@5D, T@6D<, 8x, −1, 1<,

ImageSize → 8600, 400<, PlotStyle → 8RGBColor@1, 0, 0D,
RGBColor@0.8`, 0.2`, 0D, RGBColor@0.6`, 0.4`, 0.1`D,
RGBColor@0.4`, 0.6`, 0.4`D, RGBColor@0.2`, 0.8`, 1D<D
Out[33]=
1.0
0.5
−1.0 − 0.5
−0.5
−1.0
In[34]:=
Plot@T@8D, 8x, − 1, 1<,

PlotStyle → RGBColor@0, 1, 0D, ImageSize → 8600, 400<D
Out[34]=
1.0
0.5
−1.0 − 0.5
−0.5
−1.0
Veamos los ceros

In[35]:=
NSolve@T@8D 0, xD
H2 i − 1 L π
n = 8 ; TableB Cos B F, 8i, 1, n<F êê N
2n
Null
Out[35]=
88x → − 0.980785<, 8x → − 0.83147<, 8x → − 0.55557<, 8x → − 0.19509<,
8x → 0.19509<, 8x → 0.55557<, 8x → 0.83147<, 8x → 0.980785<<
Out[36]=
80.980785, 0.83147, 0.55557, 0.19509,
−0.19509, −0.55557, − 0.83147, −0.980785<
Veamos un producto interno

In[38]:=
1
IntegrateB T@8D T@8D , 8x, − 1, 1<F
1 − x2
Out[38]=
π
2
Veamos la ortogonalidad con respecto a la ponderación

In[39]:=
1
IntegrateB T@6D T@8D , 8x, − 1, 1<F
1 − x2
Out[39]=
0
æ Ejercicio.
Usted mismo haga verificaciones de las propiedades para cerciorarse.
è Comando para generar los Polinomios de Chebyshev

ChebyshevT@n, xD gives the nth Chebyshev polynomial of the first kind.
More…
In[40]:=
ChebyshevT@30, xD
Out[40]=
−1 + 450 x2 − 33 600 x4 + 990 080 x6 − 15 275 520 x8 +
141 892 608 x10 − 859 955 200 x12 + 3 572 121 600 x14 − 10 478 223 360 x16 +
22 052 208 640 x18 − 33 426 505 728 x20 + 36 175 872 000 x22 −
27 262 976 000 x24 + 13 589 544 960 x26 − 4 026 531 840 x28 + 536 870 912 x30
è Polinomios Ortogonales de Laguerre en [0, +•[
è Producto Interno
DEFINICIÓN.
El producto interno con respecto w(x) = Exp@- xD de dos funciones f , g
definidas en el intervalo ] 0 , • [ se define :
•
( f , g ) = Ÿ0 wHxL f HxL gHxL ‚ x
è Polinomios Ortogonales de Laguerre
DEFINICIÓN.
La familia de polinomios de Laguerre se define en ]0,•[ mediante la
fórmula recursiva:
L0 = 1 ; L1 (x) = 1 - x
2n+1- x n
Ln+1 (x) = Ln (x) - Ln- 1 (x) ; nr 1
n+1 n+1
Ejemplos.
In[41]:=
L@0D = 1
L@1D = 1 − x
TableForm@Table@L@n + 1D =
H2 n + 1 − xL ê Hn + 1L L@nD − n ê Hn + 1L L@n − 1D êê Expand, 8n, 1, 8<DD
Out[41]=
1
Out[42]=
1−x
Out[43]//TableForm=
x2
1−2 x+
2
3 x2 x3
1−3 x+ −
2 6
2 x3 x4
1 − 4 x + 3 x2 − +
3 24
5 x3 5 x4 x5
1 − 5 x + 5 x2 − + −
3 24 120
15 x2 10 x3 5 x4 x5 x6
1−6 x+ − + − +
2 3 8 20 720
21 x2 35 x3 35 x4 7 x5 7 x6 x7
1−7 x+ − + − + −
2 6 24 40 720 5040
28 x3 35 x4 7 x5 7 x6 x7 x8
1 − 8 x + 14 x2 − + − + − +
3 12 15 180 630 40 320
21 x4 21 x5 7 x6 x7 x8 x9
1 − 9 x + 18 x2 − 14 x3 + − + − + −
4 20 60 140 4480 362 880
PROPIEDADES de los polinomios de Laguerre.
1) Grado del polinomio Ln es n.
• 0 si n π m
2) ( Ln , Lm ) = Ÿ0 „ - x Ln HxL Lm HxL ‚ x = :
1 si n = m = 0
Verificación de algunas propiedades

In[44]:=
Plot@8L@2D, L@3D, L@4D, L@5D, L@6D<, 8x, 0, 40<,

Out[44]=
20 000
15 000
10 000
5000
10 20
−5000
−10 000
−15 000
Veamos un gráfico donde se destacan los 8 ceros que tiene L[8]:

In[45]:=
Plot@L@8D, 8x, 0, 25<, ImageSize → 8600, 400<,

PlotRange → 8−1, 1<, PlotStyle → RGBColor@0, 1, 0DD
Out[45]=
1.0
0.5
5 10 15
−0.5
−1.0
Calculemos todos los ceros de L[8]

In[46]:=
NSolve@L@8D 0, xD
Out[46]=
88x → 0.17028<, 8x → 0.903702<, 8x → 2.25109<, 8x → 4.2667<,
8x → 7.04591<, 8x → 10.7585<, 8x → 15.7407<, 8x → 22.8631<<

In[47]:=
Integrate@ Exp@−xD L@8D L@8D , 8x, 0, ∞<D

Out[47]=
1

In[48]:=
Integrate@ Exp@−xD L@6D L@8D , 8x, 0, ∞<D

Out[48]=
0
æ Ejercicio.
Usted mismo haga verificaciones de las propiedades para cerciorarse.
è Comando para generar los Polinomios de Laguerre

Hay un comando general para generar muchas familias distintas de Polinomios de Laguerre.
In[49]:=
? LaguerreL
LaguerreL@n, xD gives the Laguerre polynomial Ln HxL.

LaguerreL@n, a, xD gives the generalized Laguerre polynomial Lan HxL. à
La que estudiamos mas arriba corresponde a

In[50]:=
TableForm@Table@LaguerreL@n, 0, zD, 8n, 5<DD

Out[50]//TableForm=
1−z
I2 − 4 z + z2 M
1
2
I6 − 18 z + 9 z2 − z3 M
1
6
I24 − 96 z + 72 z2 − 16 z3 + z4 M
1
24
I120 − 600 z + 600 z2 − 200 z3 + 25 z4 − z5 M

1
120
que también puede brevemente generarse así:

In[51]:=
TableForm@Table@LaguerreL@n, zD, 8n, 5<DD

Out[51]//TableForm=
1−z
I2 − 4 z + z2 M
1
2
I6 − 18 z + 9 z2 − z3 M
1
6
I24 − 96 z + 72 z2 − 16 z3 + z4 M
1
24
I120 − 600 z + 600 z2 − 200 z3 + 25 z4 − z5 M

1
120
Veamos otras familias:

In[52]:=

Out[52]//TableForm=
3−z
I12 − 8 z + z2 M
1
2
I60 − 60 z + 15 z2 − z3 M
1
6
I360 − 480 z + 180 z2 − 24 z3 + z4 M

1
24
I2520 − 4200 z + 2100 z2 − 420 z3 + 35 z4 − z5 M

1
120
Out[53]//TableForm=
6−z
I42 − 14 z + z2 M
1
2
I336 − 168 z + 24 z2 − z3 M
1
6
I3024 − 2016 z + 432 z2 − 36 z3 + z4 M

1
24
I30 240 − 25 200 z + 7200 z2 − 900 z3 + 50 z4 − z5 M

1
120
Como puede verse es diferente de L[1]. ¿ Cómo se formaran ?. ¿ Qué propiedades tendrán ?.
è Polinomios Ortogonales de Hermite en ]-•,•[
è Producto Interno
DEFINICIÓN.
El producto interno con respecto w(x) = ExpA- x2 E de dos funciones f ,
g definidas en el intervalo ] -• , • [ se define :
A E
g definidas en el intervalo ] -• , • [ se define :
•
( f , g ) = Ÿ-• wHxL f HxL gHxL ‚ x
è Polinomios Ortogonales de Hermite
DEFINICIÓN.
La familia de polinomios de Laguerre se define en ]-•,•[ mediante la
fórmula recursiva:
H0 = 1 ; H1 (x) = 2 x
Hn+1 (x) = 2 x Hn (x) - Hn ' (x) ; nr 1
Ejemplos.
In[54]:=
H@0D = 1
H@1D = 2 x
TableForm@Table@H@n + 1D = 2 x H@nD − D@H@nD, xD êê Expand, 8n, 1, 10<DD
Out[54]=
1
Out[55]=
2x
Out[56]//TableForm=
−2 + 4 x2
−12 x + 8 x3
12 − 48 x2 + 16 x4
120 x − 160 x3 + 32 x5
−120 + 720 x2 − 480 x4 + 64 x6
−1680 x + 3360 x3 − 1344 x5 + 128 x7
1680 − 13 440 x2 + 13 440 x4 − 3584 x6 + 256 x8
30 240 x − 80 640 x3 + 48 384 x5 − 9216 x7 + 512 x9
−30 240 + 302 400 x2 − 403 200 x4 + 161 280 x6 − 23 040 x8 + 1024 x10
−665 280 x + 2 217 600 x3 − 1 774 080 x5 + 506 880 x7 − 56 320 x9 + 2048 x11
PROPIEDADES de los polinomios de Hermite.
1) Grado del polinomio Hn es n.

• 0 si n π m
2) ( Hn , Hm ) = Ÿ-• „ - x Hn HxL Hm HxL ‚ x = :
2
2n n ! p si n = m = 0
Verificación de algunas propiedades

In[57]:=
Plot@8H@2D, H@3D, H@4D, H@5D, H@6D<, 8x, −5, 5<,

Out[57]=
8000
6000
4000
2000
−4 −2 2
− 2000
− 4000
Veamos un gráfico donde se destacan los 8 ceros que tiene H[8] y los 7 ceros de H[7]. Observe el intercalamiento.
Esta es una propiedad que tienen todos los polinomios ortogonales.
In[58]:=
Plot@8H@8D, H@7D<, 8x, −3, 3<, ImageSize → 8600, 400<,

PlotStyle → 8RGBColor@0, 1, 0D, RGBColor@1, 0, 0D<D
Out[58]=
15 000
10 000
5000
−3 −2 −1 1
− 5000
− 10 000
− 15 000
Calculemos concretamente todos los ceros de H[8]. Esto se usa en integración numérica.
In[59]:=
NSolve@H@8D 0, xD
Out[59]=
88x → −2.93064<, 8x → − 1.98166<, 8x → −1.15719<, 8x → −0.381187<,
8x → 0.381187<, 8x → 1.15719<, 8x → 1.98166<, 8x → 2.93064<<

In[60]:=
Integrate@ Exp@−x^ 2D H@8D H@8D , 8x, − ∞, ∞<D

Out[60]=
10 321 920 π
el cual teóricamente debería ser igual a:

In[61]:=
2^8 Sqrt@PiD 8 !
Out[61]=
10 321 920 π

In[62]:=
Integrate@ Exp@−x^ 2D H@6D H@8D , 8x, 0, ∞<D

Out[62]=
0
æ Ejercicio.
Usted mismo haga verificaciones de las propiedades para cerciorarse. Juegue.
è Comando para generar los Polinomios de Hermite

Hay un comando general para generar muchas familias distintas de Polinomios de Laguerre.
In[63]:=
? HermiteH
HermiteH@n, xD gives the Hermite polynomial Hn HxL. à
La que estudiamos mas arriba corresponde a

In[64]:=
TableForm@Table@HermiteH@n, zD, 8n, 10<DD

Out[64]//TableForm=
2z
−2 + 4 z2
−12 z + 8 z3
12 − 48 z2 + 16 z4
120 z − 160 z3 + 32 z5
−120 + 720 z2 − 480 z4 + 64 z6
−1680 z + 3360 z3 − 1344 z5 + 128 z7
1680 − 13 440 z2 + 13 440 z4 − 3584 z6 + 256 z8
30 240 z − 80 640 z3 + 48 384 z5 − 9216 z7 + 512 z9
−30 240 + 302 400 z2 − 403 200 z4 + 161 280 z6 − 23 040 z8 + 1024 z10
è Aproximación por mínimos cuadrados usando polinomios ortogonales.
FORMULA GENERAL:
para obtener una aproximación p* HxL de grado n por mínimos
cuadrados de la función f(x) , a£ x £ b utilizando polinomios ortogonales
jk HxL , k = 0, 1, ..., n en [a,b] respecto de la función de peso w(x) :
< f , jk >
p* HxL = ⁄nk= 0 ck jk HxL ; ck = < jk , jk >
Se supone que jk HxL es polinomio de grado k.
Notación: < f , g > = Ÿa wHxL f HxL gHxL ‚ x .

b
Observación importante para las aplicaciones:
Si jk HxL = ⁄ki= 0 ai xi entonces : < f , jk > = ⁄ik= 0 ai mi en que:
mi = Ÿa wHxL xi f HxL ‚ x
b
, i = 0,1,....,n .... ( * )
Esto es, para obtener una aproximación basta calcular los ck y, para lograr
esto basta contar con una tabla con los valores de mi en (*) que llamaremos "momento
de orden i".
Aproximación por mínimos cuadrados usando polinomios de Legendre.

æ Ejemplo Test
Aproximar la función f ( x )= Sen(x) - 2 Cos(x) , x e [-1,1] utilizando polinomios
de Legendre.
Se grafica la función
In[65]:=
f = Sin@xD − 2 Cos@2 xD
dib1 = Plot@f, 8x, − 1, 1<, PlotStyle → RGBColor@1, 0, 0DD
Out[65]=
−2 Cos@2 xD + Sin@xD
Out[66]=
1.5
1.0
0.5
−1.0 −0.5 0.5 1.0

−0.5
−1.0
−1.5
−2.0
Se generan los "coeficientes de Fourier" de la fórmula de aproximación por mínimos cuadrados

In[67]:=
Clear@cD
Table@ c@kD = H2 k + 1L ê 2 Integrate@ f LegendreP@k, xD, 8x, − 1, 1<D êê N,
8k, 0, 5<D
Out[68]=
8−0.909297, 0.903506, 1.98448, −0.0630461, −0.253429, 0.00101817<
Se calcula la aproximación
In[69]:=
aproxf = Sum@c@kD LegendreP@k, xD, 8k, 0, 5<D

Out[69]=
−0.909297 + 0.903506 x + 0.99224 I−1 + 3 x2 M − 0.031523 I−3 x + 5 x3 M −
0.0316786 I3 − 30 x2 + 35 x4 M + 0.000127272 I15 x − 70 x3 + 63 x5 M
Se grafica la aproximación
In[70]:=
dib2 = Plot@aproxf, 8x, − 1, 1<, PlotStyle → RGBColor@0, 0, 1DD

Out[70]=
1.5
1.0
0.5
−1.0 −0.5 0.5 1.0

−0.5
−1.0
−1.5
−2.0
Se superpone de dos maneras distintas

In[71]:=
Show@dib1, dib2D
Show@dib2, dib1D
Out[71]=
1.5
1.0
0.5
−1.0 −0.5 0.5 1.0

−0.5
−1.0
−1.5
−2.0
Out[72]=
1.5
1.0
0.5
−1.0 −0.5 0.5 1.0

−0.5
−1.0
−1.5
−2.0
æ Ejemplo.
Aproximemos la función gama en el intervalo [ 0.1 , 5] utilizando polinomios de
Legendre.
In[73]:=
Plot@Gamma@xD, 8x, 0.1`, 5<, ImageSize → 8600, 400<D

Out[73]=
20
15
10
0
1 2 3
Se cambia la variable para definirla en [-1,1]. Notese que se usa el comando que da el polinomio de interpolación,
en este caso la función lineal que expresa x e [0.1,5] en la nueva variable t e [-1,1]
In[74]:=
pol = InterpolatingPolynomial@88−1, 0.1`<, 81, 5<<, tD

g = Gamma@polD
Global`dib1 = Plot@Global`g, 8t, − 1, 1<, PlotStyle → RGBColor@1, 0, 0DD
Out[74]=
0.1 + 2.45 H1 + tL
Out[75]=
Gamma@0.1 + 2.45 H1 + tLD
Out[76]=
20
15
10
−1.0 −0.5 0.5 1.0
Se generan los coeficientes de Fourier de la fórmula de aproximación por mínimos cuadrados

In[77]:=
Table@ c@kD = H2 k + 1L ê 2 Integrate@ g LegendreP@k, tD, 8t, − 1, 1<D êê N,

8k, 0, 10<D
Out[77]=
84.22215, 6.10653, 7.40341, 2.69134, 2.87554, − 0.0896901,
0.990145, − 0.494849, 0.495922, − 0.369333, 0.300303<
In[78]:=
otrag = Sum@c@kD LegendreP@k, tD, 8k, 0, 10<D

Out[78]=
4.22215 + 6.10653 t + 3.7017 I− 1 + 3 t2 M +
1.34567 I−3 t + 5 t3 M + 0.359442 I3 − 30 t2 + 35 t4 M −
0.0112113 I15 t − 70 t3 + 63 t5 M + 0.0618841 I− 5 + 105 t2 − 315 t4 + 231 t6 M −
0.030928 I−35 t + 315 t3 − 693 t5 + 429 t7 M +
0.00387439 I35 − 1260 t2 + 6930 t4 − 12 012 t6 + 6435 t8 M −
0.00288542 I315 t − 4620 t3 + 18 018 t5 − 25 740 t7 + 12 155 t9 M +
0.00117306 I−63 + 3465 t2 − 30 030 t4 + 90 090 t6 − 109 395 t8 + 46 189 t10 M
Se grafica la aproximación, la original y se superpone sobre la original de dos maneras distintas

In[79]:=
dib2 = Plot@otrag, 8t, − 1, 1<, PlotStyle → RGBColor@0, 0, 1DD

Show@dib1D
Show@dib1, dib2D
Show@dib2, dib1D
Out[79]=
20
15
10
−1.0 −0.5 0.5 1.0

Out[80]=
20
15
10
−1.0 −0.5 0.5 1.0

Out[81]=
20
15
10
−1.0 −0.5 0.5 1.0

Out[82]=
20
15
10
−1.0 −0.5 0.5 1.0
æ Ejercicio.
Intente obtener una aproximación de grado 6 de la función:
2
f(t) = e- x para t e [-1,1]
y comparela con la suma parcial del mismo grado de la serie correspondiente.
è Aproximación por mínimos cuadrados usando polinomios de Chebyshev.

æ Ejemplo Test
Aproximar la función f ( x )= Sen(x) , x e [-1,1] utilizando polinomios de
Chebyshev.
In[83]:=
f = Sin@xD + 2 Cos@2 xD
dib1 = Plot@f, 8x, − 1, 1<, PlotStyle → RGBColor@1, 0, 0DD
Out[83]=
2 Cos@2 xD + Sin@xD
Out[84]=
2.0
1.5
1.0
0.5
−1.0 −0.5 0.5 1.0

−0.5
−1.0
−1.5

In[85]:=
d@0D = 1; Do@d@kD = 2, 8k, 1, 5<D;

TableB
1
c@kD = d@kD ê π IntegrateB f ChebyshevT@k, xD, 8x, −1, 1<F êê N,
1 − x2
8k, 0, 5<F
Out[86]=
80.447782, 0.880101, − 1.41134, −0.0391267, 0.135983, 0.000499515<
In[87]:=
aproxf = Sum@c@kD ChebyshevT@k, xD, 8k, 0, 5<D

Out[87]=
0.447782 + 0.880101 x − 1.41134 I− 1 + 2 x2 M − 0.0391267 I−3 x + 4 x3 M +
0.135983 I1 − 8 x2 + 8 x4 M + 0.000499515 I5 x − 20 x3 + 16 x5 M
Se grafica la aproximación
In[88]:=
dib2 = Plot@aproxf, 8x, − 1, 1<, PlotStyle → RGBColor@0, 0, 1DD

Out[88]=
2.0
1.5
1.0
0.5
−1.0 −0.5 0.5 1.0

−0.5
−1.0
−1.5
Se superpone de dos maneras distintas

In[89]:=
Show@dib1, dib2D
Show@dib2, dib1D
Out[89]=
2.0
1.5
1.0
0.5
−1.0 −0.5 0.5 1.0

−0.5
−1.0
−1.5
Out[90]=
2.0
1.5
1.0
0.5
−1.0 −0.5 0.5 1.0

−0.5
−1.0
−1.5
æ Ejemplo.
Aproximemos la función gama en el intervalo [ 0.1 , 5] utilizando polinomios de
Chebyshev.
In[91]:=
Plot@Gamma@xD, 8x, 0.1, 5<D

Out[91]=
20
15
10
0
1 2 3 4 5
Se cambia la variable para definirla en [-1,1]. Notese que se usa el comando que da el polinomio de interpolación,
en este caso la función lineal que expresa x e [0.1,5] en la nueva variable t e [-1,1]
In[92]:=
pol = InterpolatingPolynomial@88−1, 0.1<, 81, 5<<, tD

g = Gamma@polD
dib1 = Plot@g, 8t, − 1, 1<, PlotStyle → RGBColor@1, 0, 0DD
Out[92]=
0.1 + 2.45 H1 + tL
Out[93]=
Gamma@0.1 + 2.45 H1 + tLD
Out[94]=
20
15
10
−1.0 −0.5 0.5 1.0

In[95]:=
d@0D = 1; Do@d@kD = 2, 8k, 1, 10<D;

TableB
1
c@kD = d@kD ê π NIntegrateB g ChebyshevT@k, tD, 8t, −1, 1<F êê N,
1 − t2
8k, 0, 10<F
Out[96]=
86.6495, 6.9049, 6.80829, 1.4572, 1.98151, − 0.273834,
0.639452, − 0.345782, 0.299722, − 0.215269, 0.164532<
æ Advertencia: En los casos en que f se desconoce se la muestrea de alguna manera y se utiliza

para la integración alguna de las fórmulas abiertas la vistas en la sección anterior. Esto
mismo vale para la aproximación de Legendre. Y en realidad lo que se necesita es calcular los
productos internos de g con las potencias de la variable.
In[97]:=
otrag = Sum@c@kD ChebyshevT@k, tD, 8k, 0, 10<D

Out[97]=
6.6495 + 6.9049 t + 6.80829 I− 1 + 2 t2 M + 1.4572 I−3 t + 4 t3 M +
1.98151 I1 − 8 t2 + 8 t4 M − 0.273834 I5 t − 20 t3 + 16 t5 M +
0.639452 I−1 + 18 t2 − 48 t4 + 32 t6 M − 0.345782 I−7 t + 56 t3 − 112 t5 + 64 t7 M +
0.299722 I1 − 32 t2 + 160 t4 − 256 t6 + 128 t8 M −
0.215269 I9 t − 120 t3 + 432 t5 − 576 t7 + 256 t9 M +
0.164532 I−1 + 50 t2 − 400 t4 + 1120 t6 − 1280 t8 + 512 t10 M
Se grafica la aproximación, la original y se superpone sobre la original de dos maneras distintas

In[98]:=
dib2 = Plot@otrag, 8t, − 1, 1<, PlotStyle → RGBColor@0, 0, 1DD

Show@dib1D
Show@dib1, dib2D
Show@dib2, dib1D
Out[98]=
15
10
−1.0 −0.5 0.5 1.0

Out[99]=
20
15
10
−1.0 −0.5 0.5 1.0

Out[100]=
20
15
10
−1.0 −0.5 0.5 1.0

Out[101]=
15
10
−1.0 −0.5 0.5 1.0
LABORATORIO DE ANALISIS NUMERICO - MAT270
Desarrollo CONTROL 4 (Año 2008 )
Aproximación.
Problema 1.
Calcule el valor del polinomio de Chebyshev T(4)(x) en x = 0.2 en que la familia de polinomios de Cheby-
shev esta dado por T(n+1)= 2 x T(n) - T(n-1)
In[102]:=
H∗ Problema 1 ∗L
H∗ Se generan los polinomios de Chebyshev ∗L
T@0D = 1
T@1D = x
Table@T@n + 1D = 2 x T@nD − T@n − 1D, 8n, 1, 3<D
H∗ Se evalua ∗L
T@4D ê. 8x → 0.2<
H∗ Mediante comando ∗L
ChebyshevT@4, xD ê. 8x → 0.2<
Out[102]=
1
Out[103]=
x
Out[104]=
9−1 + 2 x2 , −x + 2 x I−1 + 2 x2 M, 1 − 2 x2 + 2 x I−x + 2 x I− 1 + 2 x2 MM=
Out[105]=
0.6928
Out[106]=
0.6928
Problema 2.
Calcule el valor del primer momento de f(x) = sen(x) en [-1,1}, esto es el producto interno de x por f(x)
entre -1 y 1.
In[107]:=
w = 1 ê Sqrt@1 − x ^2D H∗ es el peso ∗L
Integrate@ w x Sin@xD, 8x, − 1, 1<D êê N
Out[107]=
1
1 − x2
Out[108]=
1.38246
Problema 3.
Calcule el valor del coeficiente de Fourier de T(3) de la expansión de la funcion dada en el problema
anterior en términos de los polinomios de Chebyshev. Indicación: El producto interno de T(3) por si mismo es Pi/2.
In[109]:=
w = 1 ê Sqrt@1 − x ^2D
H∗ Es el producto interno de TH3L por SinHxL dividido por Piê2 ∗L
Integrate@ w T@3D Sin@xD, 8x, − 1, 1<D ê HPi ê 2L êê N
Out[109]=
1
1 − x2
Out[110]=
−0.0391267
æ Ejercicio.
Calcule la aproximación de grado 5 por mínimos cuadrados de Chebyshev de la
función del control anterior.
æ Ejercicio.
Calcule la aproximación de grado 5 si la lista de los momentos de una función
desconocida g(x)
1 1
m(k) = Ÿ- 1 xk gHxL ‚ x son:
1- x 2
m(0)=0 ; m(1)=1.81183 ; m(2)=0. ; m(3)=1.2576; m(4)=0. ; m(5)=1.00719

Compruebe que el valor de la aproximación en x = 0.6 está cerca de 0.932039.
è Aproximación por mínimos cuadrados usando polinomios de Laguerre.

æ Ejemplo.
Consideraremos un hilo que se enrolla dentro del circulo unitario con un paso decre-
ciente tendiendo a cero, por lo cual el enrollamiento es infinito. No así la longitud total del
hilo.
La siguiente es una parametrización del circulo unitario
In[111]:=
Clear@gD
g@t_D := 8Cos@tD, Sin@tD<
g@tD
ParametricPlot@g@tD, 8t, 0, 2 π<, ImageSize → 8600, 400<,
AspectRatio → Automatic, Compiled → FalseD
Out[113]=
8Cos@tD, Sin@tD<
Out[114]=
1.0
0.5
− 1.0 − 0.5 0.5
−0.5
−1.0
Ahora enrollemos un hilo al interior de ese círculo con un paso determinado por Exp[-t/200] (tiene el aspecto de un
disco de vinilo, pero allí el paso era constante )
In[115]:=
t
h = ExpB− F g@tD
200
ParametricPlot@h, 8t, 0, 150 π<, ImageSize → 8600, 400<,
AspectRatio → Automatic, PlotPoints → 100, Compiled → FalseD
Out[115]=
9−tê200 Cos@tD, −tê200 Sin@tD=
Out[116]=
1.0
0.5
− 1.0 −0.5 0.5
−0.5
−1.0
Calculemos la longitud del hilo empleado

In[117]:=
dh1 = D@h@@1DD, tD
dh2 = D@h@@2DD, tD
Out[117]=
1
− −tê200 Cos@tD − −tê200 Sin@tD
200
Out[118]=
1
−tê200 Cos@tD − −tê200 Sin@tD
200
El diferencial de longitud
In[119]:=
ds = Sqrt@dh1^2 + dh2^2D
Out[119]=
1 2 1 2
− −tê200 Cos@tD − −tê200 Sin@tD + −tê200 Cos@tD − −tê200 Sin@tD
200 200
La longitud del hilo utilizado al enrollarlo x/2Pi veces

In[120]:=
r := Integrate@ds, 8t, 0, x<D
Haciendo tender el enrollado al infinito se logra la longitud total

In[121]:=
r ê. 8x → ∞< êê N
Out[121]=
200.002
Eso es equivalente a integrar de 0 hasta infinito

In[122]:=
Integrate@ds, 8t, 0, ∞<D êê N

Out[122]=
200.002
Dibujemos la función r. Se observa que se estaciona dando de la longitud total

In[123]:=
Plot@r, 8x, 0, 1000<, PlotStyle → RGBColor@1, 0, 0DD

Out[123]=
200
150
100
50
200 400 600 800 1000
Calculemos los momentos para poder aproximar r mediante polinomios de Laguerre:

In[124]:=
momentos@k_D := Integrate@ Exp@−xD r x^ k, 8x, 0, ∞<D
In[125]:=
mo = Table@N@momentos@iD, 30D, 8i, 0, 12<D

Out[125]=
90.995037313355100474176359679563,
1.98512419231539945345631955973, 5.94057053181547349254440007500,
23.7032702437588819272802478535, 118.222269625035374274880384960,
707.574973249554217472707365330, 4940.75506412047363975150055335,
39 428.2074113926073632423889775, 353 976.281878597908736640684787,
3.53101599291445923681515338369 × 106 ,
3.87452788943891501610409589175 × 107 ,
4.63796384870808150002081071363 × 108 ,
6.01449174719629479382354626855 × 109 =
Recordemos los polinomios de Laguerre

In[126]:=
L@0D = 1
L@1D = 1 − x
TableForm@
Table@L@n + 1D = H2 n + 1 − xL ê Hn + 1L L@nD − n ê Hn + 1L L@n − 1D êê Expand,
8n, 1, 10<DD
Out[126]=
1
Out[127]=
1−x
Out[128]//TableForm=
x2
1−2 x+
2
3 x2 x3
1−3 x+ −
2 6
2 x3 x4
1−4 x+3 x2 − +
3 24
5 x3 5 x4 x5
1−5 x+5 x2 − + −
3 24 120
15 x2 10 x3 5 x4 x5 x6
1−6 x+ − + − +
2 3 8 20 720
21 x2 35 x3 35 x4 7 x5 7 x6 x7
1−7 x+ − + − + −
2 6 24 40 720 5040
28 x3 35 x4 7 x5 7 x6 x7 x8
1 − 8 x + 14 x2 − + − + − +
3 12 15 180 630 40 320
21 x4 21 x5 7 x6 x7 x8 x9
1 − 9 x + 18 x2 − 14 x3 + − + − + −
4 20 60 140 4480 362 880
45 x2 35 x4 21 x5 7 x6 x7 x8 x9 x10
1 − 10 x + − 20 x3 + − + − + − +
2 4 10 24 42 896 36 288 3 628 800
55 x2 55 x3 55 x4 77 x5 77 x6 11 x7 11 x8 11 x9 11 x10 x11
1 − 11 x + − + − + − + − + −
2 2 4 20 120 168 2688 72 576 3 628 800 39 916 800
Utilizando los momentos primero calculemos la aproximación cúbica de r.
Fijarse que el momento de orden i corresponde a mo[[i+1]].
Los coeficientes respectivos son:

In[129]:=
L@0D
L0r = mo@@1DD
L@1D
L1r = mo@@1DD − mo@@2DD
L@2D
L2r = mo@@1DD − 2 mo@@2DD + 1 ê 2 mo@@3DD
L@3D
L3r = mo@@1DD − 3 mo@@2DD + 3 ê 2 mo@@3DD − 1 ê 6 mo@@4DD
Out[129]=
1
Out[130]=
0.995037313355100474176359679563
Out[131]=
1−x
Out[132]=
− 0.99008687896029897927995988016
Out[133]=
x2
1−2 x+
2
Out[134]=
− 0.00492580536796168646407940239
Out[135]=
3 x2 x3
1−3 x+ −
2 6
Out[136]=
− 0.0000245064943679685893735294
y la aproximación
In[137]:=
r3 = L0r L@0D + L1r L@1D + L2r L@2D + L3r L@3D êê Simplify

Out[137]=
4.084415727994764896 × 10−6 I1.2253100030555770485 × 10−7 + xM
I244 836.00007498897220 − 612.0000001225310003 x + x2 M
In[138]:=
Plot@8r, r3<, 8x, 0, 150<,

Out[138]=
100
80
60
40
20
20 40 60 80 100 120 140
Comparativamente sirve bien para x<150 después se separa. Se necesitaría para x mayores una aproximación de
grado mayor.
Para calcular una aproximación de grado mayor habría que automatizar el proceso anterior.
Puesto que lo que se necesita son los coeficientes de los polinomios utilizamos el comando
CoefficientList que da la lista de ellos.

In[139]:=
Lr@0D = mo@@1DD
Lr@1D = mo@@1DD − mo@@2DD
TableForm@
Table@Lr@nD = CoefficientList@L@nD, xD.Table@mo@@iDD, 8i, 1, n + 1<D,
8n, 2, 6<DD
Out[139]=
0.995037313355100474176359679563
Out[140]=
−0.99008687896029897927995988016
Out[141]//TableForm=
−0.00492580536796168646407940239
−0.0000245064943679685893735294
−1.219228575520825341967 × 10−7
−6.06581380856132011 × 10−10
−3.017817815204637 × 10−12
Aparecen los mismos primeros coeficientes ya obtenidos y otros más.

In[142]:=
? Lr
Global`Lr
Lr@0D = 0.995037313355100474176359679563
Lr@1D = − 0.99008687896029897927995988016
Lr@2D = − 0.00492580536796168646407940239
Lr@3D = − 0.0000245064943679685893735294
Lr@4D = − 1.219228575520825341967 × 10−7
Lr@5D = − 6.06581380856132011 × 10−10
Lr@6D = − 3.017817815204637 × 10−12
Calculemos la aproximación de grado 6:

In[143]:=
r6 = Sum@ Lr@iD L@iD, 8i, 0, 6<D

Out[143]=
0.995037313355100474176359679563 −
0.99008687896029897927995988016 H1 − xL −
x2
0.00492580536796168646407940239 1 − 2 x + −
2
3 x2 x3
0.0000245064943679685893735294 1 − 3 x + − −
2 6
2 x3 x4
1.219228575520825341967 × 10−7 1 − 4 x + 3 x2 − + −
3 24
5 x3 5 x4 x5
6.06581380856132011 × 10−10 1 − 5 x + 5 x2 − + − −
3 24 120
15 x2 10 x3 5 x4 x5 x6
3.017817815204637 × 10−12 1 − 6 x + − + − +
2 3 8 20 720
In[144]:=
Plot@8r, r3, r6<, 8x, 0, 500<,

PlotStyle → 8RGBColor@1, 0, 0D, RGBColor@0, 0, 1D, RGBColor@0, 1, 0D<D
Out[144]=
300
200
100
100 200 300 400 500
La aproximación sexta (en verde) funciona bien para x<400 despues se separa y se necesitaría una aproximación de
orden mayor. Y así sucesivamente.
æ Ejercicio.
Obtenga la aproximación de grado 10 y compárela con r.
è Aproximación por mínimos cuadrados usando polinomios de Hermite.

æ Ejemplo.
Expresemos la siguiente función polinomial f(x) en polinomios de Hermite
In[145]:=
Clear@fD
f@x_D := Hx − 1L H2 − xL H4 − xL Hx + 2L
Plot@f@xD, 8x, − 5, 5<D
Out[147]=
400
300
200
100
−4 −2 2 4
Cálculo de los coeficientes de Fourier:

In[148]:=
Do@num@mD = Integrate@ Exp@−x^ 2D f@xD H@mD, 8x, − ∞, ∞<D;

den@mD = 2^m Sqrt@PiD m !;
fac@mD = num@mD ê den@mD;
Print@"Coeficiente de Fourier ", m, " es ", fac@mDD, 8m, 0, 5<D
61
Coeficiente de Fourier 0 es −
4
25
Coeficiente de Fourier 1 es
4
3
4
5
Coeficiente de Fourier 3 es −
8
1
16
Coeficiente de Fourier 5 es 0
Cálculo de la aproximación de f(x) en términos de polinomios de Hermite

In[149]:=
5
g@x_D := ‚ fac@mD H@mD
m=0
g@xD
Factor@g@xDD
Simplify@g@xDD
Plot@g@xD, 8x, − 5, 5<, PlotStyle → RGBColor@0, 0, 1DD
Plot@8f@xD, g@xD<, 8x, −5, 5<,
Out[150]=
61 25 x 3 5 1
− + + I−2 + 4 x2 M − I−12 x + 8 x3 M + I12 − 48 x2 + 16 x4 M
4 2 4 8 16
Out[151]=
H−4 + xL H− 2 + xL H−1 + xL H2 + xL
Out[152]=
−16 + 20 x − 5 x3 + x4
Out[153]=
400
300
200
100
−4 −2 2 4
Out[154]=
400
300
200
100
−4 −2 2 4
La respuesta era predecible por unicidad por cuanto se trataba de un polinomio de grado 4. Lo interesante es
que los coeficientes de Fourier dan exactamente el resultado que de una forma mas larga puede conseguirse
resolviendo un sistema de cinco ecuaciones lineales.
æ Ejemplo.
1
Aproximar la función f(x) = usando polinomios de Hermite de grado menor o
x2 + 1
igual que 8
JFN /WB

Aproximación Usando Polinomios Ortogonales

Hochgeladen von

Dokumentinformationen

Originalbeschreibung:

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Aproximación Usando Polinomios Ortogonales

Hochgeladen von

Copyright:

Verfügbare Formate

Universidad Técnica Federico

Laboratorio MAT 270 Análisis

Coordinador Académico del Laboratorio : Profesor Jaime Figueroa

Atención Alumnos: Vía e-mail a los ayudantes de sala y ayudante

è Cuatro familias de polinomios ortogonales:

è DEFINICIONES GENERALES: funciones de ponderación, producto interno,

Veamos como son esas funciones

In[1]:= Plot@1 ê Sqrt@1 − x^ 2D, 8x, − 1, 1<D

−1.0 −0.5 0.5 1.0

In[2]:= Plot@Exp@− xD, 8x, 0, 10<, PlotRange → AllD

In[3]:= Plot@Exp@− x^2D, 8x, −8, 8<, PlotRange → AllD

Se define la norma de f como :

Calculemos algunos productos internos y normas

In[4]:= w = 1; f = Sin@xD; g = Cos@2 xD;

In[6]:= Print@"El producto interno de ", f, " con ",

El producto interno de Sin@xD con Cos@2 xD

In[7]:= w = 1 ê Sqrt@1 − x^ 2D; f = Sin@xD; g = Cos@2 xD;

El producto interno de x2 con x2 + x4

Por lo tanto son ortogonales.

è Polinomios Ortogonales de Legendre en ]-1,1[.

I− 5 + 105 x2 − 315 x4 + 231 x6 M

Plot@8p@4D, p@6D<, 8x, −1, 1<,

Plot@p@2D p@6D, 8x, − 1, 1<, ImageSize → 8600, 400<D

Integrate@p@2D p@6D, 8x, − 1, 1<D

Grafiquemos p[6] y calculemos los ceros de p[6].

Plot@p@6D, 8x, − 1, 1<, ImageSize → 8600, 400<, PlotLabel → 8p@6D<D

TODOS LOS CEROS SE ENCUENTRAN EN ]-1,1[ Y ESTAN SIMETRICAMENTE UBICADOS CON

PROPIEDADES de los polinomios de Legendre.

1) Grado del polinomio pn es n y todos sus ceros están en ]-1,1[

è Comando para generar los Polinomios de Legendre

TableForm@Table@LegendreP@n, xD, 8n, 0, 6<DD

I−5 + 105 x2 − 315 x4 + 231 x6 M

Lo interesante del comando es que no necesita generarlas recursivamente. Por ejemplo:

è Otra forma de generar los Polinomios de Legendre

è Polinomios Ortogonales de Chebyshev en ]-1,1[.

Se define la norma de f como : P f T = H f , gL

è Polinomios Ortogonales de Chebyschev

Tn (x) = Cos( n Arcos(nx) ) ; n=0,1,.......

TableForm@Table@ TrigExpand@ Cos@ n ArcCos@xDDD, 8n, 0, 5<DD

Tn+1 (x) = 2 x Tn (x) - Tn- 1 (x) ; nr 1

PROPIEDADES de los polinomios de Chebyschev.

1) Grado del polinomio Tn es n y todos sus ceros están en ]-1,1[ y

Lo primero es que los polinomios de Tchebyshev son ondas de amplitud 1:

Plot@8T@2D, T@3D, T@4D, T@5D, T@6D<, 8x, −1, 1<,

Plot@T@8D, 8x, − 1, 1<,

Veamos los ceros

Veamos un producto interno

Veamos la ortogonalidad con respecto a la ponderación

è Comando para generar los Polinomios de Chebyshev

è Polinomios Ortogonales de Laguerre en [0, +•[

Se define la norma de f como : P f T = H f , gL

è Polinomios Ortogonales de Laguerre

PROPIEDADES de los polinomios de Laguerre.

1) Grado del polinomio Ln es n.

Verificación de algunas propiedades

Plot@8L@2D, L@3D, L@4D, L@5D, L@6D<, 8x, 0, 40<,

Veamos un gráfico donde se destacan los 8 ceros que tiene L[8]:

Plot@L@8D, 8x, 0, 25<, ImageSize → 8600, 400<,

Calculemos todos los ceros de L[8]

Veamos un producto interno

Integrate@ Exp@−xD L@8D L@8D , 8x, 0, ∞<D

Veamos la ortogonalidad con respecto a la ponderación

Integrate@ Exp@−xD L@6D L@8D , 8x, 0, ∞<D