Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Interpolaci on
El problema de interpolaci on es muy antiguo y podemos situar sus or igenes en el Almagesto de Tolomeo y sus m etodos para determinar la cuerda de un angulo inscrito en una circunferencia en funci on del radio de esta. (los hind ues utilizaban la semicuerda, cuyo cociente con el radio dar ia nuestra funci on seno) . Combinando los valores del angulo mitad y la suma y diferencia Tolomeo estableci o su primera tabla de cuerdas, utilizando interpolaci on para calcular valores intermedios. La primera tabla de la funci on seno aparece en la obra del persa Mohammed Ibn Musa abu Djafar Al-Khwarizmi (780-850) cuyo u ltimo nombre que ha dado lugar al t ermino algoritmo proviene de su ciudad de nacimiento Khwarizmi (la actual Khiba en Uzbekistan) ciudad situada al sudeste del mar de Aral en la ruta de la seda. Las tablas trigonom etricas permitieron durante bastante tiempo simplicar los c alculos a trav es de la relaci on cos( + ) + cos( ) (3.1) cos cos = 2 que permit ia convertir productos en sumas antes de la llegada de los logaritmos. Es precisamente en la confecci on de tablas de logaritmos incoroporados por John Napier (15501617) y principalmente por Henry Briggs (1561-1631) donde se hace un uso m as extenso de estrategias de interpolaci on. La interpolaci on b asica utilizada inicialmente fue la interpolaci on lineal en la que si en un intervalo [a, b] conocemos los valores de una funci on en los extremos f (a), f (b), el valor de la funci on en un punto intermedio x estar a dado en raz on a las distancias a los puntos a y b. xa f (x) f (a) = f (b) f (a) ba (3.2)
Son James Gegory, Thomas Harriot, y el propio Isaac Newton, en el siglo XVII, los que comienzan a hacer uso de f ormulas de interpolaci on de grado superior, en concreto Newton para determinar los puntos intermedios de la orbita de un cometa sugiere utilizar una l inea parab olica (la cual para Newton es un polinomio cuyo grado puede ir desde 2 hasta 5). Lagrange utiliza su t ecnica de interpolaci on tratando de resolver el problema de determinar la 34
35
distancia a una serie de puntos conocidas las distancias entre ellos y los angulos medidos desde un observador distante, en sus lecciones en LEcole Normale de Paris en 1795.
3.1
Interpolaci on de Lagrange
3.1.1
Ejercicio
(3.3)
p3 (x) =
i=0
an dados por y que los polinomios li (x) est lo (x) = (x (1))(x 1)(x 2) (0 (1))(0 1)(0 2) (x 0)(x 1)(x 2) (1 0)(1 1)(1 2) (x 0)(x (1))(x 16) (1 0)(1 (1))(1 16) (x 0)(x (1))(x 1) (2 0)(2 (1))(2 1)
l1 (x) =
l2 (x) =
(x 0)(x 1)(x 2) (x (1))(x 1)(x 2) +1 + (0 (1))(0 1)(0 2) (1 0)(1 1)(1 2) (x 0)(x (1))(x 1) (x 0)(x (1))(x 2) + 16 + (1 0)(1 (1))(1 2) (2 0)(2 (1))(2 1)
36 de donde
1 1 8 p3 (x) = x (x 1) (x 2) x (x + 1) (x 2) + x (x + 1) (x 1) 6 2 3 simplicando p3 (x) = 2x3 + x2 2x Comprobaci on de la condici on de interpolaci on: p3 (0) = 2(0)3 + (0)2 2(0) = 0 p3 (1) = 2(1)3 + (1)2 2(1) = 1 p3 (1) = 2(1)3 + (1)2 2(1) = 1 p3 (1) = 2(2)3 + (2)2 2(2) = 16
Figura3.1: Giuseppe Lodovico Lagrangia nacido en Tur in (Italia) m as conocido como Joseph Louis Lagrange (1736-1813)
37
3.1.2
Ejercicio
Soluci on Consideremos la tabla de diferencias divididas xo x1 x2 x3 =1 =0 =2 = 1 f (xo ) = 2 f (x1 ) = 1 f (x2 ) = 7 f (x3 ) 2 f [x1 , xo ] = f [x2 , x1 ] = f [x3 , x2 ] =
f (x1 )f (xo ) x1 xo f (x2 )f (x1 ) x2 x1 f (x3 )f (x2 ) x3x2
= = =
12 01 = 3 7(1) 20 = 4 27 12 = 3
f [x2 , x1 , xo ] = f [x3 , x2 , x1 ] =
= =
43 21 = 1 34 10 = 1
f [x3 , x2 , x1 , xo ] =
11 11
=0
3 4 3
1 1
Con lo que los sucesivos polinomios de interpolaci on en la forma de Newton son Po (x) = f (xo ) = 2 P1 (x) = Po (x) + f [x1 , xo ](x xo ) = 2 + 3(x 1) P2 (x) = P1 (x) + f [x2 , x1 , xo ](x x0 )(x x1 ) = 2 + 3(x 1) + 1(x 1)x P3 (x) = 2 + 3(x 1) + 1(x 1)x + 0(x 1)x(x 2) = x2 + 2x 1 Comprobamos la condici on de interpolaci on P3 (1) = 1 + 2 1 = 2 P3 (0) = 1 P3 (2) = 22 + 2 2 1 = 7 P3 (1) = (1)2 + 2(1) 1 = 2
38
Figura3.2: James Gregory (1638-1675) Sus notables contribuciones al c alculo y a la astronom ia (dise n o un telescopio de reexi on que estuvo en uso m as de 150 a nos) han quedado oscurecidas por la gura de Newton.
Considere los sucesivos polinomios de interpolaci on de grado 0,1,2,3,4 a la fun4 ci on f (x) = x en los puntos x0 = 0, x1 = 1, x2 = 1, x3 = 2, x4 = 2
=1 =0 =5 =0
01 10 50 21 05 2(1)
=1 =5 =5
51 20 55 21
=2 =0
02 20
=1
De donde obtenemos los polinomios po (x) = f (xo ) = 0 p1 (x) = po (x) + f [x1 , xo ](x xo ) = x p2 (x) = p1 (x) + f [x2 , x1 , x0 ](x xo )(x x1 ) = x + x(x 1) = x2 p3 (x) = p2 (x) + f [x3 , x2 , x1 , xo ](x xo )(x x1 )(x x2 ) = x2 + 2(x(x 1)(x (1))) = = x2 + 2x3 2x p4 (x) = p3 (x) + f [x4 , x3 , x2 , x1 ](x xo )(x x1 )(x x2 ) (x x3 ) = = x2 + 2x3 2x + x(x 1)(x + 1)(x 2) = x4 Donde observamos que el polinomio de grado 4 es el propio polinomio x4
39
3.2
Formas recursivas.
Existen diferentes formas recursivas de calcular los polinomios interpoladores, en particular los algoritmos de Neville y Aitken est an basados en la siguiente propiedad:
3.2.1
Ejercicio
Probar que si denotamos por Pn (x) el polinomio de interpolaci on sobre los puntos xo , x1 , ..., xn y por Pn1(k) (x) el polinomio de grado n 1,sobre los nodos xo , x1 , ..., xk1 , xk+1 , ..., xn , se tiene: Pn (x) = (x xj )Pn(j ) (x) (x xi )Pn1(i) (x) (xi xj ) (3.4)
3.3
En el caso de que los nodos se encuentren igualmente espaciados la forma del polinomio interpolador puede simplicarse notablemente
3.3.1
Ejercicio
Considerese un problema de interpolaci on con nodos igualmente espaciados que podemos escribir de la forma xi = xo + ih donde h es un par ametro jo. Probar que el polinomio interpolador puede escribirse en una forma simplicada en la que parte del mismo es independiente de los nodos de interpolaci on. (Sugerencia: realizar el cambio de variable x = xo + h y expresar el polinomio en t erminos de la variable ). Aplicar la forma del polinomio al c alculo de la integral
2 1
1 dx x
(3.5)
40
Soluci on: Consid erese el problema de interpolaci on {(xi , f (xi ))}n i=0 con nodos igualmente espaciados que escribimos de la forma (3.6) xi = xo + ih para calcular el polinomio de interpolaci on en la forma de Lagrange
n
pn (x) =
i=0
(3.7)
j =0(j =i)
(x xj ) (xi xj )
(3.8)
o bien escrito de otra forma lin (x) = (x xo )(x x1 )...(x xi1 )(x xi+1 )...(x xn ) (xi xo )(xi x1 )...(xi xi1 )(xi xi+1 )...(xi xn )
En el caso de que los nodos est en igualmente espaciados si hacemos el cambio de variable x = xo + h podemos poner x = xo + h xi = xo + ih xj = xo + jh de donde x xj = ( j )h xi xj = (i j )h por lo que en t erminos de la variable los polinomios lin (x) los podemos poner como
n
(3.9)
lin (x) =
j =0(j =i)
( j )h (i j )h
j =0(j =i)
( j ) (i j )
(3.10)
vemos que los polinomios lin (x) no dependen del valor particular de los nodos xi sino de cuantos nodos son. As i pues el polinomio interpolador se escribe de la forma
n n
pn (x) =
i=0
f (xi )
j =0(j =i)
( j ) (i j )
(3.11)
41
donde la variable sobre la que hemos hecho el cambio de variable est a dada por = x xo h
es decir la distancia al primer nodo partido por la distancia entre nodos. Esta forma es particularmente u til cuando precisamos aproximar una integral por la integral del polinomio interpolador. Asi por ejemplo
b b
f (x)dx
a a
pn (x)dx
(3.12)
pn (x)dx =
a i=0
f (xi )
a
lin (x)dx
(3.13)
pn (x)dx =
a i=0
f (xi )
axo h
lin ()hd
donde hemos tenido en cuenta el cambio de variable en los l imites de integraci on y adem as que dx = hd La integral la escribimos pues de la forma
b n
bxo h
pn (x)dx = h
a i=0
f (xi )
axo h
j =0(j =i)
( j ) d (i j )
(3.14)
En resumen, observamos que la integral queda escrita de la forma: La distancia entre los nodos h como un factor multiplicativo La suma de los valores de la funci on en los nodos f (xi ) multiplicada por un factor
bxo h axo h
j =0(j =i)
( j ) d (i j )
que no depende del valor particular de los nodos sino del n umero de estos. En el caso de que el nodo xo sea elegido como el extremo izquierdo de la integral xo = a , entonces el l imite inferior de la integral es cero.
Casos particulares. Consideremos en primer lugar s olo dos nodos. En este caso (3.11) estar a dado por p1 (x) = f (xo ) x x1 x xo + f (x1 ) xo x1 x1 xo
( 1)h h + f (x1 ) h h
(3.15)
(3.16)
p1 (x)dx = f (xo )
a
axo h
( 1)hd + f (x1 )
hd
axo h
(3.17)
p1 (x)dx = f (xo )
a 0
( 1)hd + f (x1 )
0
hd
(3.18)
2 d = 1 2z
b a
(3.19)
aplicandolo a
1 dx x
1 1 1 3 dx (1 + ) = = 0.75 x 2 2 4
43
El error cometido ha sido 0.69315 0.75 = 0.0 56 Consideremos ahora el caso de tres nodos. En este caso p2 (x) = f (xo ) (x x1 )(x x2 ) (x xo )(x x2 ) (x xo )(x x1 ) + f (x1 ) + f (x2 ) (xo x1 )(xo x2 ) (x1 x0 )(x1 x2 ) (x2 x0 )(x2 x1 ) (3.20)
Con el cambio de variable con el cambio de variable x = xo + h nos queda x = xo + h x1 = xo + h x2 = xo + 2h x xo = h x x1 = ( 1)h x x2 = ( 2)h x1 xo = h xo x1 = h x2 xo = 2h x2 x1 = h
(3.21)
(3.22)
p2 (x)dx
a
(3.23)
donde xo = a, x1 = a +
b a
ba 2 , 2
x2 = b , h =
ba 2 , dx
= hd llegamos a
2
1 p2 (x)dx = f (xo ) 2
1 ( 2)hd + f (x2 ) 2
( 1)hd
0
1)( 2)d =
2 3
44
2 ( 0 2 ( 0
2)d = 4 3 1)d =
2 3
llegamos a
b a
(3.24)
1 1 dx x 2
1 41 11 + 3 + 3 32 32
25 = 0. 69444 36
(3.25)
C alculo del error Considere en el caso anterior un c alculo del error cometido En el caso de dos nodos f (x) = p1 (x) + e1 (x) con lo que
b b b
(3.26)
f (x)dx =
a a b
p1 (x)dx +
a
e1 (x)dx f (x ) dx 2!
(3.27)
ahora bien
a
e1 (x)dx =
a
(x xo )(x x1 )
(3.28)
cuando xo = a, x1 = b, la funci on (x xo )(x x1 ) no cambia de signo en el intervalo [a,b] de manera que podemos aplicar el teorema del valor medio a la integral y garantizar que existe un valor de (en este caso no dependiente de x) de manera que
b
(x xo )(x x1 )
a
f (x ) f ( ) dx = 2! 2!
(x xo )(x x1 )dx
a
(3.29)
la integral podemos resolverla con el cambio de variable x = xo + h con h = x1 xo con lo que resulta b 1 1 (x xo )(x x1 )dx = h( 1)hhd = h3 (3.30) 6 a 0 con lo que el error podemos ponerlo como
b a
1 f ( ) e1 (x)dx = h3 6 2! e1 (x)dx = 1 3 h f ( ) 12
(3.31)
es decir
a
(3.32)
2 d2 1 ( )= 3 2 dx x x
(3.33)
45
en el intervalo [1,2] es una funci on decreciente por lo que el m aximo se da para x = 1 , es decir
f (x) 2 Por tanto podemos decir que el m aximo error que pudiera cometerse estar ia dado por
b
(3.34)
e1 (x)dx <
a
1 = 0.16 6
(3.35)
que evidentemente es superior al error calculado previamente en la expresi on (3.20) En el caso de tres nodos
b b
e2 (x)dx =
a a
(x xo )(x x1 )(x x2 )
f (x ) dx 3!
(3.36)
en este caso no podemos aplicar directamente el teorema del valor medio, ya que la funci on ( x xo )(x x1 )(x x2 ) cambia de signo en el interior del intervalo [a,b], Pero si reparamos en que esta funci on es impar respecto del punto central del intervalo, podemos resolver esta dicultad aplicando integraci on por partes. En primer lugar nos ser a m as conveniente expresar el error de la forma
b b
e2 (x)dx =
a a
(3.37)
du = f [x, x, xo , x1 , x2 ]dx donde hemos hecho uso de que d f [x, xo , x1 , x2 ] = f [x, x, xo , x1 , x2 ] dx por lo que la integral despu es de integrar por partes
b b
e2 (x)dx = [uv ]b a
a a
v(x)du
(3.38)
(3.39)
v=
1
( + 1)hh( 1)hhd
(3.40)
donde p =
xx1 h ,
simplicando
v = h3
xx1 h
(2 1)d
0.4
0.2
-1
-0.5 -0.2
0 0
0.5
-0.4
vemos que el integrando es una funci on impar es decir sim etrica respecto del origen (f(-x)=-f(x)) por tanto si 1 < p 0
p
v(p) =
1
(2 1)d > 0
(3.41)
si 0 < p 1 entonces
p p p
v(p) =
1
(2 1)d =
1
(2 1)d +
p
(2 1)d
(3.42)
y como
p p
v(p) > 0,
1 < p < 1
1 1 1 1 2 2 v (p) = p4 p2 + = (p 1) (p + 1) 4 2 4 4 que vemos que no cambia de signo en el intervalo [-1,1], si bien se anula en sus dos extremos
47
-1
-0.5
0 0
0.5 p
e2 (x)dx =
a a
(3.43)
y como la funci on v(x) no cambia de signo en el intervalo [a,b] podemos aplicar el teorema del valor medio con lo que existe un de manera que
b b
e2 (x)dx = f [, , xo , x1 , x2 ]
a b v(x)dx a a
v (x)dx
(3.44)
Para calcular
(x a)v (x)dx
a
(3.45)
(x a)v (x)dx =
a
(3.46)
v(x)dx =
a a
(x xo )2 (x x1 )(x x2 )dx
(3.47)
v(x)dx =
a 0
4 5 h 15
(3.48)
f (iv) () 4!
(3.49)
e2 (x)dx =
1 5 (iv) h f () 90
la conclusi on a la que llegamos es que la integral ser ia exacta no s olo si f(x) es un polinomio de grado 2, que se interpolaria a si mismo, sino tambi en si f(x) es un polinomio de grado 3.
48
3.4
John Couch Adams fu e un matem atico brit anico que a muy temprana edad predijo la existencia y posici on del planeta bautizado posteriormente como Neptuno analizando las irregularidades de la o rbita de Urano, previamente descubierto por W. Herschel. Sin embargo sus predicciones no fueron tenidas en cuenta y ello permiti o que se le adelantara la realizada por el franc es Urban Leverrier, esta u ltima conrmada por el astr onomo alem an Galle. Adams desarroll o m etodos de resoluci on de ecuaciones diferenciales utilizando la siguiente t ecnica. Partiendo de la ecuaci on diferencial y = f (x, y) (3.50)
ericos Integr o dicha ecuaci on sobre el intervalo [xi , xi+1 ], donde xi , xi+1 son dos puntos gen para obtener
xi+1 xi+1
y (x)dx =
xi xi
f (x, y (x))dx
xi+1
(3.51)
f (x, y (x))dx
xi
(3.52)
La integral del t ermino de la derecha la aproxim o considerando un polinomio interpolador sobre los nodos xi , xi1 , xi2 e integrando dicho polinomio:
xi+1 xi+1
f (x, y (x))dx
xi xi
p2 (x)dx
3.4.1
Ejercicio
Demostrar que con esta t ecnica la ecuaci on (3.52) se aproxima por y(xi+1 ) y (xi ) donde fj denota fj = f (xj , y (xj )) h (23fi 16fi1 + 5fi2 ) 12 (3.53)
Soluci on: En efecto, consideremos el polinomio interpolador a la funci on f (x, y (x)) en los puntos xi , xi1 , xi2 , que corresponder a a un polinomio de grado 2. Si denotamos por fk = f (xk , y (xk )) tenemos en la forma de Lagrange: (3.54) P2 (x) = l0 (x)fi + l1 (x)fi1 + l2 (x)fi2
49
l0 (x) =
(3.55)
l1 (x) =
(x xi )(x xi2 ) (xi1 xi )(xi1 xi2 ) (x xi )(x xi1 ) (xi2 xi )(xi2 xi1 )
(3.56)
l2 (x) =
(3.57)
y(xi+1 ) y(xi )
xi
P2 (x)dx
(3.58)
xi+1
xi+1
xi+1
xi+1
P2 (x)dx = fi
xi xi
l0 (x)dx + fi1
xi
l1 (x)dx + fi2
xi
l2 (x)dx
(3.59)
l0 (x)dx =
xi xi
(x xi1 )(x xi2 ) dx (xi xi1 )(xi xi2 ) ( + 1)h( + 2)h hd h (2h)
(3.60)
se reduce a
xi+1
l0 (x)dx =
xi 0
(3.61)
donde se ha tenido en cuenta que dx = hd y que x xi1 = xi + h (xi h) = ( + 1)h y an alogamente x xi2 = ( + 2)h adem as de que en los l imites de integraci on x = xi = 0 y x = xi+1 = 1. La integral queda pues
xi+1 xi
1 l0 (x)dx = h 2
1 0
1 ( + 1) ( + 2) d = h 2
1 0
(2 + 3 + 2)d =
23 h 12
(3.62)
De la misma forma
xi+1 xi+1
l1 (x)dx =
xi xi xi+1 1
(x xi )(x xi2 ) dx (xi1 xi )(xi1 xi2 ) 4 h( + 2)h hd = h (h) h 3 (x xi )(x xi1 ) dx (xi2 xi )(xi2 xi1 )
se reduce a
l1 (x)dx =
xi 0 xi+1
(3.63)
y an alogamente
xi+1
l2 (x)dx =
xi xi