Universidad Politcnica de Madrid Ingeniera de Minas

INTERPOLACIN:
INTERPOLACIN:
Error
Error en
en la
la interpolacin
interpolacin polinmica
polinmica
de
de Lagrange
Lagrange
Arturo Hidalgo Lpez
Alfredo Lpez Benito
Carlos Conde Lzaro
Marzo, 2007

Departamento de Matemtica Aplicada y Mtodos Informticos 91

 Universidad Politcnica de Madrid Ingeniera de Minas

OBJETIVOS
OBJETIVOS

1. Obtener y aplicar la expresin que proporciona el error de

interpolacin en el proceso de interpolacin polnmica de
Lagrange.

2. Obtener cotas del error de interpolacin de Lagrange

Departamento de Matemtica Aplicada y Mtodos Informticos 92

 Universidad Politcnica de Madrid Ingeniera de Minas

Teorema
Teorema de
de expresin
expresin del
del error
error
NOTACIN:
Soporte: {x0, x1, ..., xn} formado por (n+1) puntos
distintos de (a, b)
Funcin que se interpola: f(x)
Valores de la funcin en el soporte: {f0, f1, ..., fn}
Polinomio interpolador de Lagrange: pn(x)
TEOREMA
Si f C(n+1) ((a,b)) entonces :
x* (a,b) *=(x*) / E(x*) =f(x*)-pn (x*)=
f (n+1 ( *) n
= (x*-xi )
(n+1)! i=0
Departamento de Matemtica Aplicada y Mtodos Informticos 93
 Universidad Politcnica de Madrid Ingeniera de Minas

Teorema
Teorema de
de expresin
expresin del
del error:
error: Demostracin
Demostracin
a) Si x* {x0, x1, ..., xn} el teorema es evidente.
b) Si x* {x0, x1, ..., xn}:
f(x*) pn (x*) n
Sea: F : x f(x ) pn (x ) n (x xi )

Se verifica que:
i= 0
( x * x i ) i= 0

F(xi) = 0 (i = 0, ..., n)

F(x*) = 0 F(x) tiene al menos (n+2) races

distintas en (a, b)
F C(n+1) ((a,b))
RECORDATORIO: Teorema de Rolle
Si g(x) es una funcin de clase C1(a, b)
y g(a) = g(b), entonces existe (a, b) tal
que g() = 0

Departamento de Matemtica Aplicada y Mtodos Informticos 94
 Universidad Politcnica de Madrid Ingeniera de Minas

Teorema
Teorema de
de expresin
expresin del
del error:
error: Demostracin
Demostracin
a) Si x* {x0, x1, ..., xn} el teorema es evidente.
b) Si x* {x0, x1, ..., xn}:
f(x*) pn (x*) n
Sea: F : x f(x ) pn (x ) n (x xi )

Se verifica que:
i= 0
( x * x i ) i= 0

F(xi) = 0 (i = 0, ..., n)

F(x*) = 0 F(x) tiene al menos (n+2) races

distintas en (a, b)
F C(n+1) ((a,b)) (Aplicando n veces el teorema de Rolle)
F(n+1(x) tiene al menos 1 raz (a,b)
E(x*)
f(x*) pn (x*) f (n+1( *) n
(x * xi )
(n+ 1 (n+ 1
0=F ( *) = f ( *) n
(n + 1)! E(x*) =
(n + 1)! i=0
(x * x )
i
i= 0 c.q.d.
Departamento de Matemtica Aplicada y Mtodos Informticos 95
 Universidad Politcnica de Madrid Ingeniera de Minas

Algunas
Algunas acotaciones
acotaciones del
del error
error

f (n+1 ( *) n
x* (a,b) *=(x*) / E(x*) = (x*-xi )
(n+1)! i=0
M = sup f (n+1(x )
x(a,b)

n
M
x (a,b) : E(x) (x-xi )
(n+1)! i=0
n
M
x (a,b) : E(x) sup (x-xi )
(n+1)! x(a,b) i=0
h = | b a|
M
x (a,b) : E(x) h(n+1) O(hn+1 )
(n+1)!
Departamento de Matemtica Aplicada y Mtodos Informticos 96
 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 1
1 (1/11)
(1/11)

EJEMPLO 1 de error de interpolacin de Lagrange

Sea la funcin f : x 2.x.e
( 4 x + 2)
definida en [0.2, 1]

a) Calcular y representar grficamente los polinomios de

base de Lagrange asociados al soporte {0.2, 1.0}
b) Hallar el polinomio p(x) que interpola f(x) en el sentido
de Lagrange sobre el soporte {0.2, 1}
c) Obtener la expresin del error de interpolacin
d) Hallar una cota de error vlida en todo (0.2, 1)

Departamento de Matemtica Aplicada y Mtodos Informticos 97

 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 1
1 (2/11)
(2/11)
Solucin del apartado a): Polinomios de base de Lagrange
x x1 1 x x x0 x 0.2
L0 (x) = = L1 (x) = =
x0 x1 0.8 x1 x0 0.8

x0 x1 x0 x1
(NOTA: Se puede comprobar que L0(x) + L1(x) = 1)
Departamento de Matemtica Aplicada y Mtodos Informticos 98
 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 1
1 (3/11)
(3/11)
Solucin del apartado b) Polinomio interpolador de Lagrange
p1 (x) = f ( x0 ) .L0 (x ) + f ( x1 ) .L1 ( x ) =
1 x 6 x 0.2
= ( 0.4 ) .e .
2.8
+ 2.e .
0.8 0.8
f(x)

p1(x) p1 (x)  0.02420815088 x +0.02916565523

x0 x1
Departamento de Matemtica Aplicada y Mtodos Informticos 99
 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 1
1 (4/11)
(4/11)
Solucin del apartado c): Expresin del error
f (n + 1) ( x ) n
Aplicamos la expresin: (x) = f(x ) p (x ) =
(n + 1) ! j = 0
x xj ( )
Como el nmero de puntos es n+1 = 2 se deriva DOS veces f(x)

f( x ) = (2 8x )e ( 4x + 2 ) f( x ) = ( 16 + 32x)e ( 4x + 2)
f "( x ) n
(x) = f(x) p(x) =
(n + 1) ! j = 0
x xj ( )
( 16 + 32. x ).e ( 4 x + 2)
(x) = f(x) p(x) = ( x 0.2 ) ( x 1)
2!
( 16 + 32. x ).e ( 4 x + 2)
(x) = f( x ) p(x) =
2
( x 2
1.2 x + 0.2 )

Departamento de Matemtica Aplicada y Mtodos Informticos 100

 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 1
1 (5/11)
(5/11)
Solucin del apartado d): Cota de error
max | f( x ) | 1
| (x ) |=| f(x) p(x) |
3!
x [ 0.2,1]
max
x[ 0.2,1]
(x x )
j= 0
j

Hallemos, en primer lugar m a x | f ( x ) |

Llamamos: g ( x ) = f( x )
Dado que la funcin g(x) es continua en [0.2, 1], su mayor
valor absoluto en [0, 2] ser el mayor de los siguientes:
Valor de |g(x)| en las abscisas de [0.2, 1] para las
que g(x) = 0.
Valor de |g(0.2)|.
Valor de |g(1)|.
Departamento de Matemtica Aplicada y Mtodos Informticos 101
 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 1
1 (6/11)
(6/11)
Valor de |g(x)| en las abscisas para las que g(x) = 0.
g(x) = ( 16 + 32.x ).e ( 4 x + 2 ) g '(x ) = (96 128.x ).e ( 4 x + 2)
96
g '( x *) = 0 (96 128.x *).e ( 4 x * +2)
= 0 x* = = 0.75
128
de donde: g( 0.75 )  0.0539 (1)

Valor de g(x) en los extremos del intervalo [ 0.2, 1 ].

g( 0.2)  0.5838 = 0.5838 (2)

g(1)  0.0397 = 0.0397 (3)

El mayor valor absoluto de entre (1), (2) y (3) es: 0.5838

(obtenido para x = 0.2)

Departamento de Matemtica Aplicada y Mtodos Informticos 102

 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 1
1 (7/11)
(7/11)
Grfico en [0.2, 1] de la funcin g(x) = f(x)

Valor mximo de | g(x)|

Departamento de Matemtica Aplicada y Mtodos Informticos 103

 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 1
1 (8/11)
(8/11)
Buscamos ahora max
x[ 0.2,1]
( x 0.2 ) ( x 1)
Llamamos q(x)=(x 0.2)(x 1) = x2 1.2x + 0.2
q(x) es un polinomio de segundo grado que se anula en los
puntos 0.2 y 1, luego, necesariamente, tendr algn
extremo en el intervalo [ 0.2, 1].
x0 x1

q(x)

Departamento de Matemtica Aplicada y Mtodos Informticos 104

 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 1
1 (9/11)
(9/11)

El mximo de | q(x) | se alcanzar en los puntos que se

obtienen resolviendo la ecuacin q(x) = 0:

q(x) = 0 = 2x 1.2

de donde se obtiene x = 0.6 como abscisa en la que se

encuentra el mximo de q(x) :

resultando: q(0.6) = -0.16 | q(0.6) | = 0.16

Departamento de Matemtica Aplicada y Mtodos Informticos 105

 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 1
1 (10/11)
(10/11)

Teniendo en cuenta los resultados obtenidos, UNA

cota de error vendr dada por:

0.5838
| (x) |=| f(x) p(x) | .(0.16) = 0.046704
2

Departamento de Matemtica Aplicada y Mtodos Informticos 106

 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 1
1 (11/11)
(11/11)

La cota del error obtenida es

una cota terica. Si se
representa el valor absoluto
del error exacto (e.p. hacerlo):
|(x) | = | f(x) p(x)|
se obtiene la siguiente figura:

El error mximo real que se comete es del orden de

0.0026, mucho menor que la cota terica (0.046702). A
menudo, las cotas a las que conduce el teorema de
acotacin del error son conservadoras.
Departamento de Matemtica Aplicada y Mtodos Informticos 107
 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 2
2 (1/11)
(1/11)

Sea la funcin f(x) = sen(5.x + 2) x 0,
10
a) Calcular y representar grficamente los polinomios de
base de Lagrange asociados al soporte

{ x0 = 0, x1 =

20
, x2 =

10 }
b) Hallar el polinomio p(x) que interpola f(x) en el sentido
de Lagrange sobre el soporte de apartado anterior

c) Obtener la expresin del error de interpolacin

d) Hallar una cota de error vlida x 0,
10
Departamento de Matemtica Aplicada y Mtodos Informticos 108
 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 2
2 (2/11)
(2/11)
Solucin del apartado a): Polinomios de base de Lagrange

L0 (x) =
(x x )(x x )
1
x
0

20
x
=
(10 ) ( ) =
(x0 x1 )(x0 x2 ) ( 0 20 ) ( 0 10 )
200 30
= 2
.x
2
.x + 1

x0 x1 x2

Departamento de Matemtica Aplicada y Mtodos Informticos 109

 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 2
2 (3/11)
(3/11)
Polinomios de base de Lagrange (2)

L1 (x) =
(x x1 )(x x2 )
=
( x 0 ) x 10 (=
)
(x1 x0 )(x1 x2 )
20 (
0
20
)(
10 )
400 40
= 2
.x +
2
.x

x0 x1 x2
Departamento de Matemtica Aplicada y Mtodos Informticos 110
 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 2
2 (4/11)
(4/11)

Polinomios de base de Lagrange (3)

(x x0 )(x x1 ) ( x 0 ) ( x 20 )
L2 (x) = =
(x2 x0 )(x2 x1 ) ( 10
0 ) ( 10 20 )
200 10
= 2
.x
2
.x

x0 x1 x2

Departamento de Matemtica Aplicada y Mtodos Informticos 111

 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 2
2 (5/11)
(5/11)
Solucin del apartado b) Polinomio interpolador de Lagrange

p2 (x) = f ( x0 ) .L0 (x ) + f ( x1 ) .L1 (x ) + f ( x2 ) .L2 ( x) =

200 2 30
= sen ( 5.(0 ) + 2 ) . 2 .x .x + 1 +

5 400 2 40
+ sen + 2. .x + .x
20
2

5 200 2 10
+ sen + 2 . 2 .x .x
10
Operando:

p2 ( x)  4.12937 x2 2.91850 x + 0.90930

Departamento de Matemtica Aplicada y Mtodos Informticos 112

 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 2
2 (6/11)
(6/11)
Representacin grfica de la funcin y de su polinomio interpolador

f(x)

p2(x)

x0 x1 x2

Departamento de Matemtica Aplicada y Mtodos Informticos 113

 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 2
2 (7/11)
(7/11)
Solucin del apartado c): Expresin del error
Aplicamos la expresin general del error de interpolacin:
f(cx ) n
(x ) = f(x) p(x) =
3 ! j= 0
x xj ( )
donde aparece la derivada tercera de f(x) por tener el
soporte de interpolacin 3 puntos.

f(x) = sen(5.x + 2)
f(x) = 5. cos(5x + 2)
f(x) = 25.sen(5x + 2)

f(x) = 125. cos(5x + 2)

Departamento de Matemtica Aplicada y Mtodos Informticos 114
 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 2
2 (8/11)
(8/11)
La expresin del error ser, entonces:
125. cos(5 cx + 2)
(x) = f( x ) p(x ) = xx x
3! 10 20

donde cx es algn punto del intervalo (0, /10) dependiente

de la abscisa x
Operando, resulta:

125. cos(5cx + 2 ) 3 3 2 2
( x ) = f ( x ) p( x ) = x x + x
6 20 2 00

Departamento de Matemtica Aplicada y Mtodos Informticos 115

 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 2
2 (9/11)
(9/11)
Solucin del apartado d): Cota de error
max | f(x ) |

x[ 0, ] 3 2 2
| ( x) |=| f(x) p(x) | 10
max x 3
x + x =
3!
x[ 0, ] 2 0 20 0
10

125 3 2
= max | cos(5x + 2) | max x 3 x 2 + x
6 x[ 0, ]

x [ 0, ] 20 200
10 10
mx = 2+ /10

x=0 min = 50 + 2 = 2
mn = 2
x = /10 mx = 5(/10) + 2 = 2+/2

Luego: max | cos(5x + 2) |= 1

x[ 0, ]
10

Departamento de Matemtica Aplicada y Mtodos Informticos 116

 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 2
2 (10/11)
(10/11)
125 3 2
'(x) max | cos( 5x + 2) | max x 3 x 2 + x =

6 x[0, ] 20 200
x[0, ]
10 10

125 3 2
125
= max x 3 x 2 + x = 0.001492

6 x[0, ] 20 200
10
6
3 2 2
3 2
q( x ) = x
3
x + x q'( x ) = 3x 2 x +
20 200 10 200
1 0.066385
q '( x*) = 0 x* = (1 ) x*
20 3 0.247769
q(0.066385) = - 0.001492 q(0.257769) = 0.001492
q(0.) = q(/20) = q(/10) = 0
Departamento de Matemtica Aplicada y Mtodos Informticos 117
 Universidad Politcnica de Madrid Ingeniera de Minas

Ejemplo
Ejemplo 2
2 (11/11)
(11/11)

q(x) max q(x) = 0.001492

x 0,
10

En resumen UNA cota de error es:

x0 x1 x2
125
( x ) 0.001492 0.031084
6

La funcin valor absoluto del

error de interpolacin
|(x) | = | f(x) p(x)|,
tiene el siguiente grafo:

Departamento de Matemtica Aplicada y Mtodos Informticos 118

 Universidad Politcnica de Madrid Ingeniera de Minas

Departamento de Matemtica Aplicada y Mtodos Informticos 119