INTERPOLACIN Y POLINOMIOS DE

LAGRANGE

Existen en todas las ramas de la ciencia, en la Fsica, en la Matemtica, en la

Qumica, en la Astronoma, en Biologa, etc.. situaciones en las que conociendo un
conjunto de datos experimentales en un cierto intervalo de la variable
independiente, esto es, conociendo una cierta cantidad de datos tabulados, se hace
preciso encontrar una funcin que verifique todos esos datos y permita, por
consiguiente, predecir la existencia de otros valores con la aproximacin adecuada.
El problema de la interpolacin es de gran importancia en el anlisis numrico. En
este artculo vemos muy brevemente una manera elemental de interpolacin y la
obtencin de la conocida Frmula Interpoladora de Lagrange.

La interpolacin:
La frmula de interpolacin permite calcular de manera aproximada los valores de
la funcin f(x), y consiste en sustituir la funcin f(x) a aproximar por otra funcin
g(x) que pudiera convenir por razones de simplicidad, operatividad, etc..
Se tratara de construir otra funcin g(x) con adecuados parmetros ai:

g ( x) g ( x; a1 ,..., a n )
de modo que se cumplan las condiciones de interpolacin prefijadas en un conjunto
de puntos del dominio de la funcin f(x), que se denominan nodos de interpolacin.
Estas condiciones consisten, en general, que coincidan los valores que presenta la
funcin dada en los nodos de interpolacin con los valores que en dichos nodos
presenta la funcin interpoladora:

g ( x k ) = f ( x k ), k = 0,1,..., n
(x0 , x1 ,..., xn , nodos de int erpolacin )
o bien, por ejemplo, que coincidan en dichos nodos las derivadas de ambas
funciones:

g ' ( xk ) = f ' ( xk ), k = 0,1,..., n

(x0 , x1 ,..., xn , nodos de int erpolacin )

Siempre aparecer, obviamente, un trmino residual, rn (x ) , como diferencia entre

la funcin a interpolar y la funcin interpoladora:

rn ( x) = f ( x) g ( x)

Interpolacin lineal:
La forma de interpolacin ms usada es la interpolacin lineal, corresponde al caso
de funcin interpoladora cuya expresin es de la forma
n

g ( x; a0 ,..., a1 ) = a i .i ( x)
i =1

viniendo referida, pues, a un cierto conjunto de funciones

0 ( x),..., n ( x) ,

que

llamaremos Base de la interpolacin.

Para que cualquiera que sea la funcin f(x) definida en el segmento [a,b], y para
cualquier conjunto de n+1 nodos x 0 , x1 ,..., x n , xi a, b , xi x j si i j , exista un

[ ]

nico polinomio interpolador de la forma dada es suficiente que el conjunto de

funciones { i (x)} sea un sistema de Chebyshev (linealmente independientes y
generadoras). Pueden adoptarse como funciones { i (x)} , por ejemplo:
-

La sucesin de potencias de x:

i ( x) = x i ,

i = 0,1,..., n

(es el caso de interpolacin con polinomios algebraicos)

-

La sucesin de funciones trigonomtricas dada por:

1, senx, cos x, sen2 x, cos 2 x,...

-

La sucesin de funciones exponenciales:

1, e a1 x , e a2 x ,..., e an x
(donde los ai son nmeros reales distintos)
Se tendra entonces, para el caso de la interpolacin habitual de identificacin en
los nodos:
n

g ( xk ) = ai .i ( xk ) = f ( xk ),

k = 0,1, ..., n

i =0

o sea:

a0 . 0 ( x0 ) + ... + an . n ( x0 ) = f ( x0 )
a0 . 0 ( x1 ) + ... + an . n ( x1 ) = f ( x1 )
...
...
...
...
...
...
a0 . 0 ( xn ) + ... + an . n ( xn ) = f ( xn )
Matricialmente:

0 ( x0 )
( x )
0 1
...

...
0 ( xn )

... n ( x0 ) a0 f ( x0 )
... n ( x1 ) a1 f ( x1 )
...
... . ... = ...

...
... ... ...
... n ( xn ) an f ( xn )

. A = F ,lo que permitira obtener la

1
matriz de los coeficientes del polinomio interpolador: A = .F L.F (donde hemos
Y podemos describir, por simplificar, asi:

hecho

L = 1 )

Si llamamos B a la matriz de la base de la interpolacin:

B = [ 0 ( x), 1 ( x),..., n ( x)] ,

se tiene:

a0
a
n
1
g ( x) g ( x; a0 ,..., a1 ) = a i .i ( x) = [ 0 ( x), 1 ( x),..., n ( x)]. ... = B. A

i =1
...
an
o bien, finalmente:

g ( x) = B.L.F

Interpolacin con polinomios algebraicos:

La interpolacin con polinomios algebraicos corresponde al caso en el que las
funciones del sistema de Chebyshev son precisamente las potencias de la variable
x:

1, x,..., x n :

i ( x) = x i ,

i = 0,1,..., n

Y las relaciones de identificacin en los nodos se expresan por

n

a .x
i =0

i
k

= f ( x k ), k = 0,1,..., n

y si la condicin de interpolacin lo exigiera, las relaciones de identificacin de las

derivadas seran:

i.a .x
i

i =0

i 1
k

= f ' ( x k ), k = 0,1,..., n

Es obvio que el polinomio de interpolacin es nico, pues por tratarse de un

sistema de Chebyshev las funciones { i (x)} generan un nico polinomio.
La importancia de esta forma de interpolacin lineal, con polinomios algebraicos,
consiste en la posibilidad de obtener la representacin explicita de polinomios
interpoladores sin necesidad de resolver el sistema de ecuaciones que imponen las
condiciones de interpolacin.

La Frmula de Interpolacin de Lagrange:

Corresponde al caso de interpolacin lineal con polinomios algebraicos
identificacin de los valores de la funcin en los nodos de interpolacin.

B = 1, x, ... , x n
Soporte (nodos) de la interpolacin: S = [x0 , x1 ,..., xn ]

Base de la interpolacin:

Y el polinomio interpolador sera:

1
n
g n ( x) = B.L.F = 1, x,..., x ....

...
1

... ... x 0n f ( x0 )

x1 ... ... x1n f ( x1 )

... ... ... ... . ...

... ... ... ... ...

x n ... ... x nn f ( x n )
x0

a) Los polinomios de Lagrange:

El producto de las dos primeras matrices tiene como resultado una matriz fila cuyos
elementos son polinomios

1
n
B.L = 1, x,..., x .....

...
1

Los polinomios

... ... x0n

x1 ... ... x1n

... ... ... ...

... ... ... ...

x n ... ... x nn
x0

= [l 0 ( x), l1 ( x)..., l n ( x)]

l k ( x), k = 0,1,..., n se llaman Polinomios de Lagrange para la base B

y el soporte de interpolacin S dado.

As, pues, usando los polinomios de Lagrange, la frmula de interpolacin en la

base y soporte indicados tendra esta expresin para la funcin f(x):

f ( x0 )
f (x )
1
n

g n ( x) = B.L.F = [l 0 ( x), l1 ( x),..., l n ( x)]. ... = l k ( x). f ( x k )

k =0
...
f ( x n )
En definitiva:
n

g n ( x) = l k ( x). f ( x k )
k =0

Se hace necesario, por consiguiente, determinar la expresin que tienen los

polinomios de Lagrange para poder utilizar de manera prctica esta frmula de
interpolacin.

b) Expresin de los polinomios de Lagrange:

Sean

f ( x0 ), f ( x1 ), ..., f ( xn ) los valores de la funcin a interpolar en los nodos de la

interpolacin. Se tiene:
-

para x=x0:

g n ( x0 ) = f ( x0 ) l0 ( x0 ). f ( x0 ) = f ( x0 ) l0 ( x0 ) = 1 li ( x0 ) = 0, si i 0
-

para x=x1:

g n ( x1 ) = f ( x1 ) l1 ( x1 ). f ( x1 ) = f ( x1 ) l1 ( x1 ) = 1 li ( x1 ) = 0, si i 1
...
...

...
...

...
...

para x=xk:

g n ( xk ) = f ( xk ) lk ( xk ). f ( xk ) = f ( xk ) lk ( xk ) = 1 li ( xk ) = 0, si i k
o lo que es lo mismo:

l k ( xi ) = ik (Cronecker)
Esto nos permite plantear los trminos del polinomio

l k (x) de modo que:

l0 ( x) = c0 ( x x1 )....( x xn ) = c0 ( x x j )
j 0

l0 ( x0 ) = 1 c0 =

1
=
( x x1 ).....( x xn )

1
n

(x x )
j

j 0

con lo cual resulta:

n

(x x j )

j 0

j 0

( x0 x j )

l 0 ( x) = c0 . ( x x j ) =
Repitiendo el proceso con cada uno de los

l k (x) :
n

l k ( x) = c k ( x x1 )....( x x n ) = c k ( x x j )
jk

l k ( xk ) = 1 ck =

1
=
( x x1 ).....( x x n )

1
n

(x x

jk

con lo cual resulta:

(x x j )

jk

jk

( xk x j )

l k ( x) = c k . ( x x j ) =

y la frmula de interpolacin de Lagrange queda finalmente en la forma:

n

(x x j )

k =0

jk

( xk x j )

g n ( x) = f ( x k ).

c) Un ejemplo de aplicacin de la frmula de interpolacin de Lagrange:

Sea el caso de una funcin f(x) desconocida, que toma los valores 0, -3 y 1 en los
puntos 1, 2 y 4, respectivamente. Encontrar un polinomio de interpolacin.
Se tiene:

Soporte (nodos) de la interpolacin: S = x 0 = 1, x1 = 2, x 2 = 4

Base de la interpolacin:

B = 1, x, x 2

Valores de la funcin en los nodos:

[ f ( x0 ) = 0,

f ( x1 ) = 3, f ( x 2 ) = 1]

(x x j )

k =0

jk

( xk x j )

g 2 ( x) = f ( x k ).
+ f ( x2 )
+ f (4)

= f ( x0 )

( x x0 )( x x 2 )
( x x1 )( x x 2 )
+ f ( x1 )
+
( x1 x0 )( x1 x 2 )
( x0 x1 )( x0 x1 )

( x x0 )( x x1 )
( x 2)( x 4)
( x 1)( x 4)
= f (1)
+ f (2)
+
( x 2 x0 )( x 2 x1 )
( x0 2)( x0 4)
( x1 1)( x1 4)

( x 1)( x 2)
0
3
1
= ( x 2)( x 4) + ( x 1)( x 4) + ( x 1)( x 2)
( x 2 1)( x 2 2) 3
2
6

Resulta, por tanto:

g 2 ( x) =

5 2
19
x 8x +
3
3

y se comprueba fcilmente que verifica la condicin de obtener en los nodos los

valores de la funcin desconocida f(x) indicados en el enunciado del ejemplo:

g 2 (1) = f (1) = 0, g 2 (2) = f (2) = 3, g 2 (4) = f (4) = 1

d) Error residual en la frmula de interpolacin de Lagrange:

Si la funcin a interpolar, f(x), es al menos n+1 veces derivable se obtiene el error
de interpolacin mediante una expresin anloga al resto de Lagrange en el
desarrollo de Taylor de una funcin:

r ( x) = f ( x) g n ( x) =
siendo

f n +1) ( ) n
( x xi )
(n + 1)! i =0

[ y1 , y 2 ], y1 = min( x0 , x1 ,..., x n , x ), y 2 = max( x0 , x1 ,..., x n , x )

e) Interpolacin mediante polinomios trigonomtricos:

En el ao 1795 Joseph-Louis de Lagrange propuso una frmula de interpolacin en
donde la base estaba constituida por expresiones trigonomtricas. Esta frmula es:
n

k =0

j k

g n ( x) = f ( x k ).

[
sen[( x

]
2]

sen ( x x j ) 2
k

xj)

de expresin muy similar, como puede observarse, a la forma de interpolacin

mediante polinomios algebraicos.

f) Otras frmulas de interpolacin:

Aparte de la frmula de interpolacin de Lagrange pueden obtenerse otras
representaciones explcitas para la frmula de interpolacin con polinomios
algebraicos.

Estas representaciones pueden resultar ms apropiadas para resolver ciertos

problemas especficos que se plantean en situaciones prcticas diversas. Las ms
conocidas son: La frmula de interpolacin de Bessel, las de Gauss, la de Newton,
la de Everett, la de Stirling, la de Steffensen, etc..
El problema de la interpolacin algebraica utilizando los valores de la funcin y
tambin de sus derivadas en los nodos de interpolacin se puede resolver mediante
la llamada Frmula de interpolacin de Hermite.
En los casos en los que resulta complicado determinar la potencia del polinomio
interpolador para obtener una cierta exactitud en la interpolacin de bloque datos o
tablas de valores, se puede recurrir a los denominados Esquemas de Aitken, en
donde los polinomios de interpolacin se construyen con potencias cada vez
mayores, lo que permite controlar la exactitud del proceso de clculo.

Bibliografa:
Atkinson, K.E., "An Introduction to Numerical Analysis", John Wiley, New York
(1978).
Bajvlov, N.S., Mtodos numricos, Paraninfo, Madrid, 1966.
Bakhavalov, N., Numerical Methods: Anlisis, lgebra, Ordinary Differential
Equations, Mir, Mosc, 1977.
Cheney, W.; Kincaid, D., "Numerical Mathematics and Computing", Brooks/Cole,
Monterrey (California) (1980).
Davis, P.J., "Interpolation and Approximation", Dover, New York (1975).
Rivlin, T.J., "An Introduction to the Approximation of Functions", Dover, New York
(1981).
Stoer, J.; Bulirsch, R., "Introduction to Numerical Analysis", Springer-Verlag, New
York (1980).

Carlos S. Chinea
casanchi@teleline.es