Captulo 4

Interpolacin polinomial de Hermite

En determinadas aplicaciones se precisan metodos de interpolacion que trabajen
con datos prescritos de la Iuncion y sus derivadas en una serie de puntos, con el objeto
de aumentar la aproximacion en las proximidades de dichos puntos. Dentro de esta clase
de metodos esta la interpolacion de Hermite. Nos centramos en el problema de
interpolacion polinomial de Hermite.
Sean x
0
,.,x
n
puntos distintos. Conocidos los valores de la Iuncion f y su
derivada ' f en x
0
,.,x
n
, se trata de encontrar un polinomio de grado el menor posible
que coincida con f y con su derivada en los puntos sealados.
Se demuestra que dicho polinomio existe y es unico. Ademas tiene grado 2n1
(recuerdese que disponemos de 2n2 datos para construirlo). A dicho polinomio se le
llama polinomio de interpolacion de Hermite de f en los puntos x
i
, i 0,.. , n.
- Datos numericos: n i f f
i
,.., 0 ), x ( ' ), x ( = (2n2 datos).
- Espacio de Iunciones interpoladoras:
1 2 + n
P
- Problema interpolacion polinomial de Hermite:
) x ( ) x ( ' ),..., x ( ' ) x ( '
) x ( ) x ( ),..., x ( ) x ( :
0 0
0 0 1 2
n n
n n n
f p f p
f p f p P p
= =
= = e
+
Observacion. El problema de interpolacion de Hermite se puede extender considerando
valores de derivadas de la Iuncion de orden mayor que uno.
En las siguientes secciones nos centramos en la construccion explicita del
polinomio de interpolacion de Hermite y en el analisis del error que se comete al
aproximar la Iuncion interpolada por su polinomio de interpolacion de Hermite.
4.1 Frmula de Lagrange
El polinomio de interpolacion de Hermite, ) x ( p , de la Iuncion f en los puntos
distintos x
0
,.,x
n
admite la expresion:

= =
+ =
n
i
n
i
i i i i
L f L f p
0 0
) x (
~
) x ( ' ) x ( ) x ( ) x ( , (Formula de Lagrange).
Las Iunciones { } n i L L
i i
,..., 0 ), x (
~
), x ( = constituyen la base de Lagrange del
problema de interpolacion considerado. Esto es, ) x (
~
y ) x (
i i
L L son polinomios de
grado 2n1 veriIicando
n f i L
f i
f i
L
f i if f i
,..., 0 , , 0 ) x ( '
, 0
1
) x ( = =

=
=
= = o
n f i L L
if f i i
,..., 0 , , ) x ( '
~
, 0 ) x (
~
j
= = = o
Se demuestra que admiten la expresion:
) x ( ) x x ( ) x (
~
) x ( )) x ( ' ) x x ( 2 1 ( ) x (
2
2
i i i
i i i i
l L
l l L
=
=
donde
[
=
=
=

=
n
i f
f
f i
f
i
n i l
0
. ,..., 0 ,
) x x (
) x x (
) x (
4.2 Frmula de Newton generalizada
Un algoritmo analogo al de Newton visto en la seccion 3.2 nos proporcionara un
metodo alternativo a la Iormula de Lagrange del polinomio de interpolacion de Hermite.
Para ello, previamente tenemos que extender el concepto de diIerencias divididas al
caso en el que los argumentos se repitan.
Comenzamos, para motivar la deIinicion, con las diIerencias divididas de grado
cero. Supongamos que la Iuncion f es derivable en un entorno del punto
0
x . Las
diIerencias divididas de f en | |, x , x , x , x
0 0 0 0
f se interpretan como el | | x , x lim
0
x x
0
f

:
| | | | ) x (
x - x
) x ( ) x (
lim x , x lim x , x
0
0
0
x x
0
x x
0 0
0 0
f
f f
f f ' =

= =

En general, si f es derivable hasta el orden k en un entorno de
0
x , se deIinen las
diIerencias divididas de grado k de f en
0
x (el argumento repetido k1 veces) como:
| |
(
0
0 0
(x )
x ,..., x
k !
k
f
f =
Esta deIinicion extiende el concepto de diIerencias divididas al caso de
argumentos repetidos, quedando la Iormula recursiva de calculo
| |
| | | |

= =
=

=

k
k
k
k
k k
k
f
f f
f
x ... x si
!
) x (
x x si
x x
x ,..., x x ,..., x
x ,..., x
0
0
(
0
0
1 1 0
k 0
Esta deIinicion ampliada de las diIerencias divididas nos permite extender el
algoritmo de Newton para la construccion de polinomios de interpolacion que
involucran valores de la Iuncion y sus derivadas en puntos sealados. Para ello basta
escribir una lista con lo nodos de interpolacion, donde cada punto aparece tantas veces
como valores de la Iuncion y sus derivadas se conocen en dicho punto. Se construye la
tabla de diIerencias divididas utilizado la Iormula recursiva generalizada y el algoritmo
de Newton generalizado (contemplando argumentos repetidos) nos proporcionara el
polinomio buscado. Veamos un ejemplo.
Ejemplo 4.2.1. Construvase el polinomio de grado tres que pasa por los puntos
(0,10), (1,15), (2,5) v con tangente 1 en
0
x .
Sea ) x ( p el polinomio buscado.
Datos. 1 ) 0 ( , 5 2 , 15 ) 1 ( , 10 ) 0 ( = ' = = = f ) f( f f
Funcion interpolante. Polinomio de grado tres.
Construimos la tabla de diIerencias divididas generalizadas con los datos
numericos proporcionados en el problema:
0 x
0
=
10 ) 0 ( = f
| | 1 ) 0 ( 0 , 0 = ' = f f | | 4 1 , 0 , 0 = f
| |
4
23
2 , 1 , 0 , 0

= f
0 x
0
=
10 ) 0 ( = f
| | 5 1 , 0 = f
| |
2
15
2 , 1 , 0

= f
1 x
1
=
15 ) 1 ( = f
| | 10 2 , 1 = f
2 x
2
= 5 ) 2 ( = f
Por tanto, utilizando la Iormula de Newton generalizada:
| | | | | | ) 1 - x ( x
4
23
4x x 10 ) 1 - x ( x 2 , 1 , 0 , 0 x 0,0,1 I x 0 , 0 ) 0 ( ) x (
2 2 2 2
+ + = + + + = f f f p
Ejemplo 4.2.2. Construvase el polinomio de grado menor que interpole a la
funcion f(x) en los siguientes datos
8 ) 2 ( , 7 ) 2 ( , 6 ) 2 (
3 ) 1 ( , 2 ) 1 (
= ' ' = ' =
= ' =
f f f
f f
Con los datos disponibles construimos la tabla de diIerencias divididas generalizadas:
1 x
0
=
2 ) 1 ( = f | | 3 ) 1 ( 1 , 1 = ' = f f | | 1 2 , 1 , 1 = f | | 2 2 , 2 , 1 , 1 = f | | 1 2 , 2 , 2 , 1 , 1 = f
1 x
0
=
2 ) 1 ( = f | | 4 2 , 1 = f | | 3 2 , 2 , 1 = f | | 1, 2, 2, 2 1 f =
2 x
1
= 6 ) 2 ( = f | | 7 ) 2 ( 2 , 2 = ' = f f
| | 4
! 2
) 2 (
2 , 2 , 2 =
' '
=
f
f
2 x
1
=
6 ) 2 ( = f
| | 7 ) 2 ( 2 , 2 = ' = f f
2 x
1
= 6 ) 2 ( = f
A partir de la tabla de diIerencias divididas calculada, escribimos la expresion de
Newton generalizada:
| | | | | | | | | |
2 2 2 2
2 2 2 2
(x) 1 1,1 (x-1) 1,1, 2 (x-1) 1,1, 2, 2 (x-1) ( 2) 1,1, 2, 2, 2 (x-1) (x-2)
2 3(x 1) (x-1) 2(x-1) (x-2) (x-1) (x-2)
p f f f f x f = + + + + =
= + + +
Una vez introducido el concepto de diIerencias divididas generalizadas e
ilustrado con ejemplos, escribimos la expresion, siguiendo el algoritmo de Newton
generalizado, del polinomio ) x ( p de interpolacion de Hermite de una Iuncion f en
n
x ,..., x
0
:
| | | | | | | |
| | ) x - x ...( ) x - x ( ) x - x ( x , x ,..., x , x , x , x ...
) x - x ( ) x - x ( x , x , x , x ) x - x ( x , x , x ) x - x ( x , x x ) x (
n
2
1
2
0 1 1 0 0
1
2
0 1 1 0 0
2
0 1 0 0 0 0 0 0
n n
f
f f f f p
+ +
+ + + + =
Los coeIicientes de la expresion anterior son los elementos de la primera Iila de
la tabla de diIerencias divididas:
0
x ) x (
0
f | |
0 0
x , x f | |
1 0 0
x , x , x f | |
n n
f x , x ,..., x , x , x
1 0 0
0
x ) x (
0
f | |
1 0
x , x f | |
1 1 0
x , x , x f
1
x ) x (
1
f | |
2 1
x , x f

n
x ) x (
n
f
4.3 Estudio del error
El error de interpolacion en el caso de la interpolacion polinomial de Hermite se
puede estimar de Iorma analoga a como se hacia en la interpolacion polinomial clasica.
Sea ) x ( ) x ( ) x ( p f E = el error que se comete en el punto x al simular la
Iuncion f por su polinomio de interpolacion de Hermite p en
n
x ,..., x
0
. Se demuestra
que si | | ( ) b a C f
n
,
2 2 +
e , siendo | | b a, un intervalo que contiene a los puntos de trabajo
n
x ,..., x
0
,
| |
2
n
2
0 n n 0 0
) x x ...( ) x x ( x , x , x ,..., x , x ) x ( = f E
Esta expresion se puede escribir en terminos de la derivada de orden 2 2 + n de f,
probandose que para cada | | b a, x e existe un punto | | b a
x
, e tal que
( ) ( ) | |
(2 2
2 2
x
0 n
( )
(x) x x ... x-x , x a,b
(2 2) !
n
f
E
n

+
= e
+
A partir de la Iormula anterior se puede obtener una cota del error de interpolacion de
Hermite
| | b a, x , x - x ... x x
! ) 2 2 (
) x (
2
n
2
0
e
+
=
n
M
E
siendo x) ( max
2 2 (
b x
+
s s
=
n
a
f M .
Ejemplo 4.3.1. Se considera la funcion x ln ) x ( = f
a) Calculese el polinomio de interpolacion de Hermite de f en 1 x
0
= v 2 x
1
= .
Construimos la tabla de diIerencias divididas que permite incluir los datos de
interpolacion ) 2 ( ), 2 ( ), 1 ( ), 1 ( f f f f ' ' , trabajando con dos digitos decimales:
1 x
0
=
0 ) 1 ( = f 1 ) 1 ( = ' f
| | 31 . 0 2 , 1 , 1 = f | | 12 . 0 2 , 2 , 1 , 1 = f
1 x
0
=
0 ) 1 ( = f
| | 69 . 0 2 , 1 = f | | 19 . 0 2 , 2 , 1 = f
2 x
1
=
69 . 0 ) 2 ( = f
| | 5 . 0 ) 2 ( 2 , 2 = ' = f f
2 x
1
=
69 . 0 ) 2 ( = f
Sea ) x ( p el polinomio de interpolacion buscado, utilizando la Iormula de
Newton generalizada:
| | | | | |
2 2
2 2
(x) (1) 1,1 (x 1) 1,1, 2 (x 1) 1,1, 2, 2 (x 1) (x 2)
(x 1) 0.31(x 1) 0.12(x 1) (x 2).
p f f f f = + + + =
= +
b) Dar una estimacion del error de interpolacion en el intervalo | | 2 , 1 .
Aplicando la Iormula vista de acotacion del error de interpolacion de Hermite a
nuestro problema, obtenemos que
| | 1,2 x ) 2 - x ( ) 1 - x (
! 4
) x (
2 2
e s
M
E
donde
| |
) x ( max
(
2 , 1 x
iv
f M
e
= .
En nuestro caso 6
x
6
max
4
2 x 1
=

=
s s
M . Luego el error cometido al simular ) x ( f por
) x ( p en el intervalo | | 2 , 1 es menor que:
| | 2 , 1 x 016 . 0
2
1
2
1
4
1
) 2 x ( ) 1 x (
! 4
6
) x (
2 2
2 2
e s
|
.
|

\
|
|
.
|

\
|
s s E .