Sei sulla pagina 1di 33

Solid line: Exact solution, Dotted line: FEM solution x 10

−3 Error Plot
0.14 0

−1
0.12

−2
0.1

−3
0.08
(x)
fem

fem

−4
u(x) & u

u−u

0.06
−5

0.04
−6

0.02
−7

0 −8
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
x x
Bases Polinomiales

Polinomio Interpolante

Supongamos dado un intervalo [𝑎, 𝑏] de la recta real y una


partición

𝑎 = 𝑥0 < 𝑥1 < ⋯ < 𝑥𝑛−1 < 𝑥𝑛 = 𝑏


(𝑥𝑖 ≠ 𝑥𝑗 , 𝑝𝑎𝑟𝑎 𝑖 ≠ 𝑗), y también son dados 𝑛 + 1 valores reales
𝑦0 , 𝑦1 , ⋯ 𝑦𝑛−1 , 𝑦𝑛 (no necesariamente distintos).

Teorema de existencia y unicidad del polinomio interpolante

Existe un único polinomio de grado 𝒏 de la forma

𝑝(𝑥 ) = 𝑎0 + 𝑎1 𝑥 + 𝑎2 𝑥 2 + ⋯ + 𝑎𝑛 𝑥 𝑛
tal que

𝑝(𝑥0 ) = 𝑦0 , 𝑝(𝑥1 ) = 𝑦1 , ⋯ 𝑝(𝑥𝑛 ) = 𝑦𝑛


El polinomio 𝑝(𝑥) se denomina polinomio interpolante respecto a
los valores
𝑥0 𝑥1 𝑥𝑛−1 𝑥𝑛
⋯ ⋯
𝑦0 𝑦1 𝑦𝑛−1 𝑦𝑛
Dem Lo que se desea es encontrar un polinomio de la forma
𝑝(𝑥 ) = 𝑎0 + 𝑎1 𝑥 + 𝑎2 𝑥 2 + ⋯ + 𝑎𝑛 𝑥 𝑛 tal que 𝑝(𝑥0 ) = 𝑦0 , 𝑝(𝑥1 ) =
𝑦1 , ⋯ 𝑝(𝑥𝑛 ) = 𝑦𝑛 .

De manera que al substituir los valores de 𝑥0 , 𝑥1 , ⋯ 𝑥𝑛 en 𝑝(𝑥) se


obtienen las ecuaciones
𝑎0 + 𝑎1 𝑥0 + 𝑎2 𝑥02 + ⋯ + 𝑎𝑛 𝑥0𝑛 = 𝑦0
𝑎0 + 𝑎1 𝑥1 + 𝑎2 𝑥12 + ⋯ + 𝑎𝑛 𝑥1𝑛 = 𝑦1
⋮ ⋮ ⋮
𝑎0 + 𝑎1 𝑥𝑛 + 𝑎2 𝑥𝑛2 + ⋯ + 𝑎𝑛 𝑥𝑛2 = 𝑦𝑛
Que en forma matricial se escribe:

1 𝑥0 𝑥02 ⋯ 𝑥0𝑛 𝑎0 𝑦0
1 𝑥1 𝑥12 ⋯ 𝑥1𝑛 𝑎
1 𝑦1
1 𝑥2 𝑥22 ⋯ 𝑥2𝑛 𝑎2 = 𝑦2
⋮ ⋮ ⋮ ⋮ ⋮ ⋮ ⋮
[1 𝑥𝑛 𝑥𝑛2 ⋯ 𝑥𝑛𝑛 ] [𝑎𝑛 ] [𝑦𝑛 ]

La matriz del sistema

1 𝑥0 𝑥02 ⋯ 𝑥0𝑛
1 𝑥1 𝑥12 ⋯ 𝑥1𝑛
1 𝑥2 𝑥22 ⋯ 𝑥2𝑛
⋮ ⋮ ⋮ ⋮ ⋮
[1 𝑥𝑛 𝑥𝑛2 ⋯ 𝑥𝑛𝑛 ]

posee una forma especial que se denomina matriz de


Vandermonde.

Es sabido que

1 𝑥0 𝑥02 ⋯ 𝑥0𝑛
1 𝑥1 𝑥12 ⋯ 𝑥1𝑛 𝑛

𝑑𝑒𝑡 1 𝑥2 𝑥22 ⋯ 𝑥2𝑛 = ∏ (𝑥𝑗 − 𝑥𝑖 )


⋮ ⋮ ⋮ ⋮ ⋮ 𝑖,𝑗=1, 𝑖<𝑗
[1 𝑥𝑛 𝑥𝑛2 ⋯ 𝑥𝑛𝑛 ]
Y al ser 𝑥𝑖 ≠ 𝑥𝑗 𝑝𝑎𝑟𝑎 𝑖 ≠ 𝑗, resulta que el determinate es diferente
de cero. Y por lo tanto el sistema posee solución.

Es decir, existe un polinomio de grado 𝒏 de la forma 𝑝(𝑥 ) = 𝑎0 +


𝑎1 𝑥 + 𝑎2 𝑥 2 + ⋯ + 𝑎𝑛 𝑥 𝑛 tal que

𝑝(𝑥0 ) = 𝑦0 , 𝑝(𝑥1 ) = 𝑦1 , ⋯ , 𝑝(𝑥𝑛 ) = 𝑦𝑛 .

Supongamos que existe otro polinomio 𝑞(𝑥) de grado 𝒏 tal que


𝑞 (𝑥0 ) = 𝑦0 , 𝑞 (𝑥1 ) = 𝑦1 , ⋯ 𝑞 (𝑥𝑛 ) = 𝑦𝑛 . Por lo tanto,

𝑞(𝑥 ) − 𝑝(𝑥 ) = 𝑞 (𝑥 ) − 𝑝(𝑥 ) = ⋯ 𝑞 (𝑥 ) − 𝑝(𝑥 ) = 0


O sea, el polinomio (𝑞 − 𝑝)(𝑥) de grado n satisface las condiciones

(𝑞 − 𝑝)(𝑥0 ) = (𝑞 − 𝑝)(𝑥1 ) = ⋯ = (𝑞 − 𝑝)(𝑥𝑛 ) = 0

Es decir el polinomio 𝑞 − 𝑝 es de grado n y posee 𝑛 + 1 raíces


distintas, lo cual es absurdo por el teorema fundamental del
álgebra. (Todo polinomio de grado n posee exactamente n raíces,
contando las veces que se repitan).

Por lo tanto 𝑝(𝑥) = 𝑞(𝑥), es decir la solución es única.

Ejemplo caso n=2

En este caso la matriz de Vandermonde se reduce a

1 𝑥0 𝑥02
[1 𝑥1 𝑥12 ]
1 𝑥2 𝑥22
cuyo determinante es
1 𝑥0 𝑥02
𝑥 𝑥12 𝑥0 𝑥02 𝑥0 𝑥02
𝑑𝑒𝑡 [1 𝑥1 𝑥12 ] = 1 | 1 | − 1 | | + 1 | |=
𝑥2 𝑥22 𝑥2 𝑥22 𝑥1 𝑥12
1 𝑥2 𝑥22

= (𝑥1 𝑥22 − 𝑥2 𝑥12 ) − (𝑥0 𝑥22 − 𝑥2 𝑥02 ) + (𝑥0 𝑥12 − 𝑥1 𝑥02 ) =

= 𝑥1 𝑥22 − 𝑥2 𝑥12 − 𝑥0 𝑥22 + 𝑥2 𝑥02 + 𝑥0 𝑥12 − 𝑥1 𝑥02 =

= 𝑥1 𝑥22 − 𝑥2 𝑥12 − 𝑥0 𝑥1 𝑥2 + 𝑥0 𝑥12 + 𝑥2 𝑥02 − 𝑥0 𝑥22 − 𝑥1 𝑥02 + 𝑥0 𝑥1 𝑥2

= (𝑥22 − 𝑥2 𝑥1 − 𝑥0 𝑥2 + 𝑥0 𝑥1 )𝑥1 − 𝑥0 (𝑥22 − 𝑥2 𝑥0 − 𝑥1 𝑥2 + 𝑥1 𝑥0 )

= (𝑥22 − 𝑥2 𝑥1 − 𝑥0 𝑥2 + 𝑥0 𝑥1 )(𝑥1 − 𝑥0 )
= (𝑥2 − 𝑥0 )(𝑥2 − 𝑥1 )(𝑥1 − 𝑥0 )
Pero se ve mejor del siguiente modo:

1 𝑥0 𝑥02 1 𝑥0 𝑥02
𝑑𝑒𝑡 [1 𝑥1 𝑥12 ] = 𝑑𝑒𝑡 [1 𝑥1 𝑥12 ] =
1 𝑥2 𝑥22 0 𝑥2 − 𝑥0 𝑥22 − 𝑥02

1 𝑥0 𝑥02
𝑥 − 𝑥0 𝑥12 − 𝑥02
= 𝑑𝑒𝑡 [0 𝑥1 − 𝑥0 𝑥12 − 𝑥02 ] = [ 1 ]=
𝑥2 − 𝑥0 𝑥22 − 𝑥02
0 𝑥2 − 𝑥0 𝑥22 − 𝑥02

= (𝑥1 − 𝑥0 )(𝑥22 − 𝑥02 ) − (𝑥2 − 𝑥0 )(𝑥12 − 𝑥02 ) =


= (𝑥1 − 𝑥0 )(𝑥2 − 𝑥0 )[(𝑥2 + 𝑥0 ) − (𝑥1 + 𝑥0 )] =
= (𝑥1 − 𝑥0 )(𝑥2 − 𝑥0 )(𝑥2 − 𝑥1 )
Ejemplo 2
1
Considérese el caso [𝑎, 𝑏] = [0,1], 𝑥0 = 0, 𝑥1 = , 𝑥2 = 1.
2

La matriz de Vandermonde asociada a estos valores es:


1 𝑥0 𝑥02 1 0 0
1 1
𝑀 = [1 𝑥1 𝑥12 ] = [1 ]
2 4
1 𝑥2 𝑥22 1 1 1
Para definir los valores 𝑦0 , 𝑦1 , 𝑦2 utilicemos la función 𝑓(𝑥 ) =
cos(𝑥 ) ∗ exp(𝑥), por lo que
1 1
𝑦0 = 1, 𝑦1 = cos ( ) ∗ exp ( ) , 𝑦2 = cos(1) ∗ exp(1) =
2 2
=
𝑦0 1.0000
𝑌 = [𝑦1 ] = [1.4469]
𝑦2 1.4687
El Sistema a resolver es:
1 0 0 𝑎
1 1 0 1.0000
[1 ] [𝑎1 ] = [1.4469]
2 4 𝑎2 1.4687
1 1 1
Cuya solución es
−1
𝑎0 1 0 0
1 1 1.0000 1 0 0 1.0000
[𝑎1 ] = [1 ] [1.4469] = [−3 −1 −1] [1.4469] =>
𝑎2 2 4 1.4687 2 −4 2 1.4687
1 1 1
𝑎0 1.0000
[𝑎1 ] = [ 1.3189 ]
𝑎2 −0.85502
Por lo tanto, el polinomio buscado es

𝑝(𝑥 ) = 1 + 1.318 ∗ 𝑥 − 0.85502 ∗ 𝑥 2


La solución no es otra cosa que el polinomio interpolante en el
intervalo [0,1] de la función 𝑓(𝑥) = 𝑐𝑜𝑠(𝑥) ∗ 𝑒𝑥𝑝(𝑥). A
continuación presentamos una gráfica realizada en Matlab.

Bases Polinomiales

Los polinomios unidimensionales de grado 𝑛 en realidad


constituyen un espacio vectorial de dimensión 𝑛 + 1. La base usual
para estos espacios es el conjunto {1, 𝑥, 𝑥 2 , ⋯ 𝑥 𝑛 }. Sin embargo
existen otras bases que pueden utilizarse de manera conveniente.

Una base frecuentemente utilizada en el método de elementos


finitos y en la teoría de interpolación es la formada por los
polinomios de Lagrange, los cuales se definen de la siguiente
manera:
𝑛
(𝑥 − 𝑥𝑗 )
𝑞𝑖 (𝑥 ) = ∏
(𝑥𝑖 − 𝑥𝑗 )
𝑗=1,𝑖≠𝑗
Observar que 𝑞𝑖 (𝑥) evaluado en 𝑥 = 𝑥𝑖 es
(𝑥𝑖 −𝑥𝑗 ) 𝑥𝑖 −𝑥0 𝑥𝑖 −𝑥1 𝑥𝑖 −𝑥𝑗 𝑥𝑖 −𝑥𝑛
𝑞𝑖 (𝑥𝑖 ) = ∏𝑛𝑗=1,𝑖≠𝑗 = ⋯ ⋯ = 1,
(𝑥𝑖 −𝑥𝑗 ) 𝑥𝑖 −𝑥0 𝑥𝑖 −𝑥1 𝑥𝑖 −𝑥𝑗 𝑥𝑖 −𝑥𝑛

mientras que 𝑞𝑖 (𝑥) evaluado en 𝑥 = 𝑥𝑗 para un 𝑗 fijado es


0
𝑥𝑗 − 𝑥0 𝑥𝑗 − 𝑥1 ⏞𝑥𝑗 − 𝑥𝑗 𝑥𝑗 − 𝑥𝑛
𝑞𝑖 (𝑥𝑗 ) = ⋯ ⋯ =0
𝑥𝑖 − 𝑥0 𝑥𝑖 − 𝑥1 𝑥𝑖 − 𝑥𝑗 𝑥𝑖 − 𝑥𝑛

De manera que los polinomios 𝑞𝑖 (𝑥) satisfacen la propiedad


1, 𝑠𝑖 𝑖 = 𝑗
𝑞𝑖 (𝑥𝑗 ) = {
0, 𝑠𝑖 𝑖 ≠ 𝑗
En la gráfica siguiente se dibujaron los polinomios
𝑞0 (𝑥 ), 𝑞1 (𝑥 )𝑦 𝑞2 (𝑥 ) en el intervalo [0,1].
Ejemplo 2

Considérese la función 𝑓(𝑥) = 𝑐𝑜𝑠(𝑥) ∗ 𝑒𝑥𝑝(𝑥) en el intervalo


[0,1].

Potrebbero piacerti anche