Interpolacin 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, 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 el presente
apndice se describir brevemente una manera elemental de interpolacin y la obtencin de la conocida
Frmula Interpoladora de Lagrange.

La interpolacin:
Interpolar signica estimar el valor desconocido de una funcin en un punto, tomando una media
ponderada de sus valores conocidos en puntos cercanos al dado.
La frmula de interpolacin permite calcular de manera aproximada los valores de la funcin (), y
consiste en sustituir la funcin () a aproximar por otra funcin () que pudiera convenir por razones
de simplicidad, operatividad, etc..
Se tratara de construir otra funcin ()con adecuados parmetros

:

() (;
1
, ,

)

de modo que se cumplan las condiciones de interpolacin prefijadas en un conjunto de puntos ( +
1) del dominio de la funcin (), 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:

(

) = (

), = 0,1, ,
(
0
,
1
, ,

, )
o bien, por ejemplo, que coincidan en dichos nodos las derivadas de ambas funciones:

(

) = (

), = 0,1, ,
(
0
,
1
, ,

, )

Siempre aparecer, obviamente, un trmino residual

(), como diferencia entre la funcin a

interpolar y la funcin interpoladora:

() = () ()

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

) =

()

=0


viniendo referida, pues, a un cierto conjunto de funciones
0
(), ,

() , que se denomina como Base

de la interpolacin.

Para que cualquiera que sea la funcin () definida en el segmento [, ], y para cualquier conjunto
de +1 nodos
0
,
1
, ,

[, ],

, exista un nico polinomio interpolador de la

forma dada es suficiente que el conjunto de funciones {

()} sea un sistema de Chebyshev (empleados

a menudo en la teora de la aproximacin, estadstica matemtica, etc., en el cual las ecuaciones que lo
conforman son linealmente independientes y generadoras). Pueden adoptarse como funciones {

()},
por ejemplo:
La sucesin de potencias de x:

() =

, = 0,1, ,
(es el caso de interpolacin con polinomios algebraicos)
La sucesin de funciones trigonomtricas dada por:
1, , , 2, 2, . ..
La sucesin de funciones exponenciales:
1,

, . . . ,

(donde los

son nmeros reales distintos)

Se tendra entonces, para el caso de la interpolacin habitual de identificacin en los nodos:

(

) =

) = (

), = 0,1,2,

=0

O sea:

0
(
0
) ++

(
0
) = (
0
)

0
(
1
) ++

(
1
) = (
1
)

0
(

) ++

) = (

)

Matricialmente

[

0
(
0
)

(
0
)

0
(
1
)

(
1
)

0
(

)]

=
[

(
0
)
(
1
)

)]

Y podemos describir, por simplificar, = , lo que permitira obtener la matriz de los coeficientes
del polinomio interpolador: =
1
= donde se ha definido a =
1
.
Si se llama a a la matriz de la base de la interpolacin:

= [

0()

1()

()],
() = (;
0
, ,

) =

()

=0
= [

0()

1()

()]
[

=
O bien, finalmente:

() =

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 : 1, ,
2
, ,

() =

, = 0,1, ,

Es obvio que el polinomio de interpolacin es nico, pues por tratarse de un sistema de chebyshev las
funciones {

()} generan un nico polinomio.

La importancia de esta forma de interpolacin lineal, con polinomios algebraicos, consiste en la
posibilidad de obtener la representacin explcita 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 e identificacin de los valores
de la funcin en los nodos de interpolacin.
El polinomio de Lagrange, llamado as en honor a Joseph-Louis de Lagrange, es el polinomio que
interpola un conjunto de puntos dado en la forma de Lagrange. Fue descubierto por Edward Waring en
1779 y redescubierto ms tarde por Leonhard Euler en 1783.

Base de la interpolacin: = [1, ,
2
, ,

]
Soporte (nodos) de la interpolacin: = [
0
,
1
, ,

]
Y el polinomio interpolador sera:

() = = [
1

]
[

1
0

0

1
1

1

1
[

(
0
)
(
1
)

)]

a) Los Polinomios de Lagrange:
El producto de las dos primeras matrices tiene como resultado una matriz fila cuyos elementos son
polinomios
= [
1

]
[

1
0

0

1
1

1

1
= [
0
(),
1
(), ,

()]

Los polinomios

(), = 0,1, , se llaman Polinomios de Lagrange para la base y el soporte

de interpolacin dado.
As, pues, usando los polinomios de Lagrange, la frmula de interpolacin en la base y soporte
indicados tendra esta expresin para la funcin ():

() = = [
0
(),
1
(), ,

()]
[

(
0
)
(
1
)

)]

()(

=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 (
0
), (
1
), , (

) los valores de la funcin a interpolar en los nodos de la interpolacin. Se

tiene entonces:
Para =
0

(
0
) = (
0
)
0
(
0
)(
0
) = (
0
)
0
(
0
) = 1

(
0
) = 0 0
Para =
1

(
1
) = (
1
)
1
(
1
)(
1
) = (
1
)
1
(
1
) = 1

(
1
) = 0 1
Para =

) = (

)(

) = (

) = 1

) = 0

O lo que es equivalente

) =

La cual corresponde al delta de Cronecker. Dicha funcin est definida como:

= {
0
1 =


Esto permite plantear los trminos del polinomio

() de modo que:

() =

(
0
)(
1
) (
1
)(
+1
) (

) =

Para conocer el valor de

tal que

) = 1 se tiene que:

=
1
(

0
)(

1
) (

1
)(

+1
) (

)
=
1
(

Con lo cual resulta:

() =

=
(

)
(

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

() = (

)
(

)
(

=0

El polinomio Interpolador Lineal es el ms sencillo y necesita que sean proporcionados nicamente
dos puntos.
En la interpolacin lineal se utiliza un segmento rectilneo que pasa por dos puntos que se conocen
(
0
,
0
) (
1
,
1
). Est dada por la siguiente expresin

1
() =

1

0
+

0

1


El polinomio Interpolador Cuadrtico necesita que le sean proporcionados 3 puntos. Su expresin
est dada por:

2
() =
(
1
)(
2
)
(
0

1
)(
0

2
)

0
+
(
0
)(
2
)
(
1

0
)(
1

2
)

1
+
(
0
)(
1
)
(
2

0
)(
2

1
)

2


Por tanto, un polinomio de orden n tiene la forma

() =
0

0
+
1

1
++

donde los coeficientes

corresponden a los polinomios de Lagrange.

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.

Ventajas e inconvenientes
Los polinomios de Lagrange son muy fciles de calcular. Es por ello que se utilizan como uno de los
primeros ejemplos de polinomios interpoladores. Su inters prctico es limitado y suelen presentarse ms
bien como ejemplo terico de interpolacin.
Su principal inconveniente se presenta cuando el conjunto de nodos es muy grande. En ese caso el
grado del polinomio tambin es muy grande. Esto implica dicultades para el clculo y, adems, hay una
alta tendencia a que el polinomio oscile mucho entre dos nodos.