You are on page 1of 5

ALGORITMO PARA LA INTERPOLACION POLINOMIAL LIBRE DEL ORDEN

Prof. Andres L. Granados M. Abril, 2015

INTRODUCCION

Se ha desarrollado un algoritmo de interpolaci on usando los polinomios de Newton en diferencias


divididas. Para hacer ecientemente la interpolaci on se han usado dos criterios que hacen de esta la mas
consistente posible con los puntos discretos dados. Estos criterios son el de Simetra y el de Monotona. Estos
criterios, aplicados en conjunto, permiten determinar el grado del polinomio optimo a utilizar durante una
interpolacion.

POLINOMIOS DE INTERPOLACION

Sean (x0 , f (x0 )), (x1 , f (x1 )), (x2 , f (x2 )) hasta (xn , f (xn )) los n + 1 puntos discretos que representan
a una funci
on y = f (x). Como se sabe, existe un u nico polinomio y = Pn (x) de grado n que pasa por los
n + 1 puntos mencionados. Estos polinomios son adecuados para realizar estimaciones de la funci on y = f (x)
para un valor x cualquiera perteneciente al intervalo [x0 , x1 , x2 , x3 , . . . , xn ] que contiene a todos los puntos,
estando los valores xi no necesariamente ordenados, ni habiendo valores repetidos. A este proceso se le
denomina Interpolaci on. Si el valor x esta fuera del intervalo de los puntos entonces el proceso se denomina
Extrapolacion.

Diferencia Divididas
Las diferencias divididas [Carnahan et al.,1969] simbolizadas por f [ ] se denen de manera recurrente
de la siguiente forma
f [x0 ] = f (x0 ) (1.a)

f [x1 ] f [x0 ]
f [x1 , x0 ] = (1.b)
x1 x0

f [x2 , x1 ] f [x1 , x0 ]
f [x2 , x1 , x0 ] = (1.c)
x2 x0

f [x3 , x2 , x1 ] f [x2 , x1 , x0 ]
f [x3 , x2 , x1 , x0 ] = (1.d)
x3 x0

f [xn , xn1 , . . . , x2 , x1 ] f [xn1 , xn2 , . . . , x1 , x0 ]


f [xn , xn1 , . . . , x1 , x0 ] = (1.e)
xn x0

Las diferencias divididas cumplen con la propiedad

f [xn , xn1 , . . . , x1 , x0 ] = f [x0 , x1 , . . . , xn1 , xn ] n N (2)

Esta propiedad, expresada para cualquier n, lo que signica es que, sin importar el orden en que estan los
valores xi dentro de una diferencia dividida, el resultado es siempre el mismo. Dicho de otra forma concisa, la
diferencia dividida es invariante a cualquier permutacion de sus argumentos. Esta propiedad la hace adecuada
para los c
alculos, como veremos en adelante.
Una forma de expresar todas las diferencias divididas posibles de generar mediante, por ejemplo, un
conjunto de cuatro puntos (x0 , f (x0 )), (x1 , f (x1 ), (x2 , f (x2 )), (x3 , f (x3 )) y (x4 , f (x4 )), no necesariamente
ordenados, es lo que se denomina el Diagrama Romboidal de diferencias divididas. Para el ejemplo propuesto

1
se tiene que el diagrama romboidal se representa como

x0 f [x0 ]
f [x0 , x1 ]
x1 f [x1 ] f [x0 , x1 , x2 ]
f [x1 , x2 ] f [x0 , x1 , x2 , x3 ]
x2 f [x2 ] f [x1 , x2 , x3 ] f [x0 , x1 , x2 , x3 , x4 ] (3)
f [x2 , x3 ] f [x1 , x2 , x3 , x4 ]
x3 f [x3 ] f [x2 , x3 , x4 ]
f [x3 , x4 ]
x4 f [x4 ]

Se puede observar que para obtener cualquier diferencia dividida en un vertice de un triangulo imaginario,
basta con restar las diferencias divididas contiguas y dividirla entre la resta de los valores extremos de x de
la base de dicho triangulo.
Manipulaci on algebraca de la diferencias de ordenes crecientes conlleva, mediante inducci
on, a una
forma simetrica similar para la k-esima diferencia dividida, en termino de los argumentos xi y de los valores
funcionales f (xi ). Esta forma simetrica puede ser escrita de manera compacta como


k
f (xi )
f [x0 , x1 , x2 , . . . , xk1 , xk ] = k (4)
i=0 j=0 (xi xj )
j=i

Para intervalos regulales en x, donde los xi estan ordenados, se dene la diferencia adelantada k fi ,
tal que
k fi = k! hk f [xi , xi+1 , xi+2 , . . . , xi+k1 , xi+k ] (5)
donde h es el tama no del intervalo en x consecutivos (h = xi+1 xi ). Se ordenan de forma romboidal al
olo que no son divididas, por ello el factor k! hk .
igual que antes, s

Polinomios de Newton
Los polinomios de Newton Pn (x) de grado n en diferencias divididas [Carnahan et al.,1969], como se
dijo antes, permiten hacer estimaciones de la funcion y = f (x) de puntos intermedios en la forma

f (x) = Pn (x) + Rn (x) (6)

donde Pn (x) es el polinomio de grado n


Pn (x) =f [x0 ] + (x x0 ) f [x0 , x1 ] + (x x0 )(x x1 ) f [x0 , x1 , x2 ] +
+ (x x0 )(x x1 )(x x2 ) (x xn1 ) f [x0 , x1 , x2 , . . . , xn1 , xn ]
 
n k1
= (x xj ) f [x0 , x1 , x2 , . . . , xk1 , xk ] (7)
k=0 j=0

on Rn (x) es el error cometido en la interpolaci


y la funci on


n
Rn (x) = (x xj ) f [x0 , x1 , x2 , . . . , xn1 , xn , x]
j=0


n
f (n+1) ()
= (x xj ) [x0 , x1 , . . . , xn1 , xn ] (8)
j=0
(n + 1)!

siendo el valor comprendido entre el menor y mayor de los valores {x0 , x1 , . . . , xn1 , xn }. Naturalmente
Rn (xi ) = 0 para i = 1, 2, 3, . . . , n, ya que el polinomio pasa por cada uno de los puntos (xi , f (xi )). Cuando

2
el lmite superior de una productoria es menor que el lmite inferior, como ocurre con el primer termino de
(7), el resultado de dicha productoria es la unidad.
Un ejemplo sencillo es la parabola que pasa por los tres puntos (a, f (a)), (b, f (b)) y (c, f (c))

P2 (x) = f [a] + (x a)f [a, b] + (x a)(x b)f [a, b, c] (9)

donde f [a, b] es la pendiente de recta entre los puntos a y b y f [a, b, c] es la curvatura de la par
abola, que si
es positiva es abierta hacia arriba y si es negativa es abierta hacia abajo.
Para intervalos regulares, el polinomio de Newton en diferencias divididas (7) se convierte en
n  
 s
Pn (x) = k f0 (10)
k
k=0

denominado polinomio de Newton-Gregory progresivo y donde el n


umero combinatorio signica
 
s (s + 1) x x0
= s= (11)
k (s k + 1) (k + 1) h

Particularmente, (k + 1) = k! por ser k un entero positivo y, aunque la funci on (s) no es un factorial


siempre, se satisface (s + 1)/(s k + 1) = s(s 1)(s 2) . . . (s k + 1) [Gerald,1970]. La expresion (10)
se ha obtenido de substituir

k1  
(s + 1) s
(x xj ) = h k
= k! hk (12)
j=0
(s k + 1) k

y (5), despejada en f [ ] para i = 0, en (7).


Para intervalos regulares, el error (8) se convierte en
 
s
Rn (x) = hn+1 f (n+1) () [x0 , x1 , . . . , xn1 , xn ] (13)
n+1

teniendo el mismo signicado que antes. Los polinomios para intervalos regulares se muestran aqu solo
como referencia. En general, los datos utilizados en interpolecion no estar
an ordenados, ni seran regulares.
Al nal se usan los polinomios en diferencias divididas por la raz
on adicional justicada a continuaci
on.

Polinomios de Lagrange
Los polinomios de Lagrange [Hildebrand,1956] son otra forma de expresar los mismos polinomios Pn (x)
de la ecuacion (7), pero a traves de (4). De manera que se tiene [Carnahan et al.,1969]


n
Pn (x) = Li (x) f (xi ) (14)
i=0

donde
n
(x xj )
Li (x) = (15)
j=0
(xi xj )
j=i

El error Rn (x) continua siendo el mismo que la expresion (8). Cada valor funcional f (xi ) incluido en la
expresion (14) es multiplicado por Li (x), que son todos polinomios de grado n. Por ello reciben el nombre de
multiplicadores de Lagrange. Un incoveniente que tienen los polinomios de Lagrange es que, para aumentar
el grado del polinomio en una unidad, implica el proceso engorroso de agregar un factor adicional a cada
multiplicador (productos), y hay que calcular todo de nuevo. Este inconveniente no lo presenta los polinomios
de Newton, donde para aumentar un grado al polinomio, s olo hay que agregar un punto y calcular un termino
adicional (sumas), y todos los calculos anteriores siguen sirviendo.

3
CRITERIOS PARA INTERPOLAR

A continuaci
on se describen los dos criterios utilizados en el algoritmo: simetra y monotona. Luego
se formula como se acoplan en el algorithm.

Simetra
El criterio de la simetra consiste en escoger la distribucion de puntos lo m
as simetricamente posible,
alrededor de donde se desee interpolar. Esto se puede hacer de dos maneras: mediante el n umero de puntos
o mediante la distancia de inuencia, a uno y otro lado del punto donde se vaya a interpolar. En el caso de
intervalos irregulares, la segunda opci on se convierte en un criterio de Proximidad. En el caso de intervalos
regulares una de las formas implica a la otra. En cualquier caso, el n umero de puntos proximos lo determina
el criterio de monotona descrito abajo. En los extremos del intervalo que contiene a los puntos, a veces es
imposible seguir el criterio de simetra de forma estricta, y entonces se hace necesario en su lugar seguir el
criterio de proximidad, si se desea alcanzar un mayor orden de monotona como se explica abajo.
El criterio de simetra tiene otra ventaja. Por ejemplo, en los esquemas de diferencias nitas centradas
las formulaciones presentan un menor error, que cuando no lo son, usando inclusive el mismo n umero de
puntos.

Monotona
El criterio de la monotona se basa en la denici
on de monotona de una funci
on: Una funcion se dice
que es monotona hasta el orden m, en un determinado intervalo, si todas sus derivadas de hasta dicho orden
conservan siempre su signo en dicho intervalo. En otras palabras, una funci on continua f (x) es monotona de
orden m en un intervalo [a, b], si

f  (x) = 0 f  (x) = 0 f  (x) = 0 f (m) (x) = 0 para todo x [a, b]


(16)
f (m+1) (x) = 0 un x [a, b]
para alg

abola tiene monotona de orden 2 en los intervalos (, v) y (v, ),


En el ejemplo mostrado en (9), la par
1
separadamente, donde v = 2 { a + b f [a, b]/f [a, b, c] } es la localizacion del vertice de dicha parabola.
Las diferencias divididas son proporcionales a las derivadas en su entorno, tal como lo indica la siguiente
relacion reejada en (8)

f (n+1) ()
f [x0 , x1 , x2 , . . . , xn1 , xn , x] = [x0 , x1 , . . . , xn1 , xn , x] (17)
(n + 1)!

Por ello, el criterio de monotona implica escoger hasta el mayor orden en las diferencias divididas que tengan
igual signo por columna en el diagrama romboidal. La u ltima diferencia dividida a evita a partir de aqu,
junto con el u ltimo punto que la origin o, debera tener signo opuesto a todas las demas diferencias divididas
vecinas del mismo orden (misma columna). Esto signica que el criterio de la monotona acepta polinomios de
interpolacion hasta el grado m. La falta de monotona en las interpolaciones implica que pueden producirse
oscilaciones indeseables de la funcion alrededor o entre los puntos dados. Como el u ltimo punto agregado
es el mas lejano, por el criterio de la simetra, no existe inconveniente en dejarlo (no recomendado), ya que
los calculos estan hechos y son del u
ltimo orden en el error. Entre m as parecidas sean las monotonas de la
funcion discreta y el polinomio de interpolaci on, en esa misma medida la interpolaci on ser
a mas consistente.

Algoritmo

Los criterios de simetra y monotona se complementan para indicar cuales puntos y el n umero de
ellos se deben usar en la interpolaci
on. En cualquier caso, el grado del polinomio ser a siempre una unidad
menor que el numero de puntos usados. El algoritmo se resume de la siguiente manera: se escogen los puntos
mas cercanos al punto donde se desee interpolar, en un n umero (distancia) simetrico (pr oxima), uno a uno
(calculando cada vez las diferencias divididas de la diagonal incluido el vertice), hasta que dicho numero de

4
puntos, reejado en las diferencias divididas, conserve el m
aximo orden posible de monotona del polinomio
de interpolaci
on igual que el de la funci
on discreta.
El algoritmo antes explicado puede usarse para hacer interpolaciones en una o en varias dimensiones.
Tambien permite la interpolaci on sin necesidad de pre-ordenar los puntos usados o pre escoger su n umero.
En varias dimensiones lo u nico que se exige es que los valores de las funciones sean siempre para los mismos y
todos los puntos discretos en cada dimension. El algoritmo tampoco necesita escoger un grado del polinomio
anticipadamente, durante el proceso de la interpolaci on. El algoritmo decide el grado del polinomio optimo
que garantice satisfacer los criterios de simetra y monotona.

REFERENCIAS

Carnahan, B.; Luther, H. A.; Wilkes, J. O. Applied Numerical Methods. John Wiley & Sons (New
York), 1969.
Gerald, C. F. Applied Numerical Analysis, 2nd Edition. Addison-Wesley (New York), 1970.
Hildebrand, F. B. Introduction to Numerical Analysis. McGraw-Hill (New York),1956.

You might also like