I5 Interpolacion Error OCW

Departamento de Matemtica Aplicada y Mtodos Informticos
91
Universidad Politcnica de Madrid Ingeniera de Minas
Arturo Hidalgo L Arturo Hidalgo L pez pez
Alfredo L Alfredo L pez Benito pez Benito
Carlos Conde L Carlos Conde L zaro zaro
Marzo, 2007
INTERPOLACIN:
Error en la interpolacin polinmica
de Lagrange
INTERPOLACIN:
Error en la interpolacin polinmica
de Lagrange
92
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
93
NOTACIN:
Soporte: {x
0
, x
1
, ..., x
n
} formado por (n+1) puntos
distintos de (a, b)
Funcin que se interpola: f(x)
Valores de la funcin en el soporte: {f
0
, f
1
, ..., f
n
}
Polinomio interpolador de Lagrange: p
n
(x)
TEOREMA
(n 1)
f (a ) C ( ) ,b
+
Si entonces :
n
x* = x* / x* (a,b) f * ( ( = x*) ) E( - x* = ) ) p (
n
i
i
(n+1
=0
(x*-x )
(n+1)!
( ) * f
=

Teorema de expresin del error

Teorema de expresin del error
94
Sea:
=
=
n
i n
i 0
i
i 0
n
n
x* x*
x x x (x x )
(
p ( )
p
f ( )
f ( )
)
)
x * x
( F:
Se verifica que:
F(x
i
) = 0 (i = 0, ..., n)
F(x*) = 0
(n 1)
(a ) F C ( ) ,b
+
F(x) tiene al menos (n+2) races

distintas en (a, b)
a) Si x* {x
0
, x
1
, ..., x
n
} el teorema es evidente.
b) Si x* {x
0
, x
1
, ..., x
n
}:
RECORDATORIO: Teorema de Rolle
Si g(x) es una funcin de clase C
1
(a, b)
y g(a) = g(b), entonces existe (a, b) tal
que g() = 0
Teorema de expresin del error: Demostracin

95
Sea:
=
=
n
i n
i 0
i
i 0
n
n
x* x*
x x x (x x )
(
p ( )
p
f ( )
f ( )
)
)
x * x
( F:
Se verifica que:
F(x
i
) = 0 (i = 0, ..., n)
F(x*) = 0
(n 1)
(a ) F C ( ) ,b
+
F(x) tiene al menos (n+2) races

distintas en (a, b)
a) Si x* {x
0
, x
1
, ..., x
n
} el teorema es evidente.
b) Si x* {x
0
, x
1
, ..., x
n
}:
F
(n+1
(x) tiene al menos 1 raz
(a,b)
(n 1
n
n
i
i 0
(n 1
f ( ) p ( ) x* x*
0 (n 1)!
(x
f (
*
* F ) ) *
x
(
)
+
=
+

= = +
E(x*)
(n
n
i
i
1
0
x* (x * x )
(
f ( *
)!
)
)
n 1
E(
+
=
=
+

c.q.d.
(Aplicando n veces el teorema de Rolle)
96
(n+
n
i
i=0
1
x* = x* / x* =
f ( )
(x*-x )
(n
*
* ( )
+1)!
(a,b) E( )

(n 1
(a,b) x
su f ( ) p M x
+
=
n
i
i=0
x : x (x-x )
(
E(
n
M
(a,b)
1)!
)
+

n
i
x
i
(
=
a,
0
b)
x : x sup (x-x )
(n+1)!
M
(a,b) E( )

h = | b a|
(n+1)
E( ) x : x h
(n+1)!
M
(a,b)
n 1
O( ) h
+
Algunas acotaciones del error

Algunas acotaciones del error
97
EJEMPLO 1 de error de interpolacin de Lagrange
Sea la funcin
( 4x 2)
f : x 2.x.e
+
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)
definida en [0.2, 1]
Ejemplo 1 (1/11)
Ejemplo 1 (1/11)
98
x
0
x
1
x
0
x
1
Solucin del apartado a): Polinomios de base de Lagrange
1
0
0 1
x x
L (x)
x x
1 x
0.8
=
0
1
1 0
x x
L (x)
x x
x 0.2
0.8
=
(NOTA: Se puede comprobar que L
0
(x) + L
1
(x) = 1)
Ejemplo 1 (2/11)
Ejemplo 1 (2/11)
99
p
1
(x)
f(x)
x
0
x
1
Polinomio interpolador de Lagrange
( ) ( )
0 1 1 1 0
L (x f x . f x . p (x) L x ) ( ) = + =
( )
2.8 6
1 x
0.8
0.4 .e . 2.e .
x 0.2
0.8

+ =
1
0.02420815088 +0.0291 x 6 p (x) 56 3 552
Solucin del apartado b)
Ejemplo 1 (3/11)
Ejemplo 1 (3/11)
100
Aplicamos la expresin:
( )
(n 1)
n
j 0
j
x
( )
p
(
(x
n
f
f(x (x)
!
x ) x )
1)
+
=
+
= =
Como el nmero de puntos es n+1 = 2 se deriva DOS veces f(x)

( x 4 ) 2
x ( x f ) ) ( 2 8 e
+
=
( x 4 2)
f ( ) 16 32 e ( x) x
+
= +

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

( )
x
( 4 2)
x
2
( 16 32. ).e
(x) f( p(x) x 1.2 . x ) 0
2
2 x
+
= =
+
+

Solucin del apartado c): Expresin del error
Ejemplo 1 (4/11)
Ejemplo 1 (4/11)
101
Solucin del apartado d): Cota de error
( )
x [ 0.2,1]
x [ 0.2,1]
j
1
j 0
| max f
f(x) m
|
| p(x) ax | (x x
3!
(
)
)
| x
x
|

=
=

Hallemos, en primer lugar

m | | x ) a f ( x
Llamamos:
( ( x g ) ) x f
=
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)|.
Ejemplo 1 (5/11)
Ejemplo 1 (5/11)
102
96
x* 0.75
128
= =
de donde:
g( ) 0 0. 9 75 .053
Valor de g(x) en los extremos del intervalo [ 0.2, 1 ].
0.2 0.5838 0 g( . 38 ) 58 =
0.0397 0.0397 g( ) 1 =
(1)
(2)
(3)
El mayor valor absoluto de entre (1), (2) y (3) es: 0.5838
(obtenido para x = 0.2)
Valor de |g(x)| en las abscisas para las que g(x) = 0.
( 4x 4 2) ( 2 x )
g(x) g (96 ( 16 32. ).e 12 '(x 8. x x ) ).e
+ +
= + =
( 2) x* 4
(96 128. ).e 0 g * x 0 x '( *)
+
= =
Ejemplo 1 (6/11)
Ejemplo 1 (6/11)
103
Valor m Valor m ximo de | ximo de | g( g(x x) )| |
Ejemplo 1 (7/11)
Ejemplo 1 (7/11)
Grfico en [0.2, 1] de la funcin g(x) = f(x)
104
Buscamos ahora ( ) ( )
x [ 0.2,1]
x x m x 1 a 0.2

Llamamos q(x)=(x 0.2)(x 1) = x
2
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].
x
0
x
1
q(x)
Ejemplo 1 (8/11)
Ejemplo 1 (8/11)
105
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
Ejemplo 1 (9/11)
Ejemplo 1 (9/11)
106
Teniendo en cuenta los resultados obtenidos, UNA
cota de error vendr dada por:
0.583
| (x)
2
| p(x) | .(0.16)
8
f(x) | 0.046704 = =
Ejemplo 1 (10/11)
Ejemplo 1 (10/11)
107
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.
Ejemplo 1 (11/11)
Ejemplo 1 (11/11)
108
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
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
{ }
0 1 2
x 0, x , x
20 10
= = =

x 0,
10

Ejemplo 2 (1/11)
Ejemplo 2 (1/11)
109
1 0
0
0 1 0 2
(x x )(x x )
L (x)
(x x )(x x )

=

( ) ( )
( ) ( )
x x
20 10
0 0
20 10

= =

x
0
x
1
x
2
2
2
200 30
.x .x 1 + =

Solucin del apartado a): Polinomios de base de Lagrange
Ejemplo 2 (2/11)
Ejemplo 2 (2/11)
110
x
0
x
1
x
2
Polinomios de base de Lagrange (2)
1 2
1
1 0 1 2
(x x )(x x )
L (x)
(x x )(x x )

=

( )
( )
( ) ( )
x 0 x
10
0
20 20 10

= =

2
2
400 40
.x .x = +

Ejemplo 2 (3/11)
Ejemplo 2 (3/11)
111
Polinomios de base de Lagrange (3)
0 1
2
2 0 2 1
(x x )(x x )
L (x)
(x x )(x x )

=

( )
( )
( ) ( )
x 0 x
20
0
10 10 20

=

2
2
200 10
.x .x =

x
0
x
1
x
2
Ejemplo 2 (4/11)
Ejemplo 2 (4/11)
112
Polinomio interpolador de Lagrange Solucin del apartado b)
( ) ( ) ( )
0 1 0 2 2 2 1
f . f . p (x) L (x x x x L (x L ) ) f ( . x) = + + =
2
2
4.12937 2.91850 0.9093 x ( x p 0 x) +
( )
2
2
200 30
. sen 5.(0 . 1 2 x . x ) = +

+

2
2
400 4 5
sen 2 .
2
0
x x
0
. .

+ +

2
2
200 10 5
sen 2 .
10
.x .x

+ +
Operando:
Ejemplo 2 (5/11)
Ejemplo 2 (5/11)
113
p
2
(x)
f(x)
x
0
x
1
x
2
Representacin grfica de la funcin y de su polinomio interpolador
Ejemplo 2 (6/11)
Ejemplo 2 (6/11)
114
Aplicamos la expresin general del error de interpolacin:
donde aparece la derivada tercera de f(x) por tener el
soporte de interpolacin 3 puntos.
f (x) 5.cos(5x 2)
= +
f (x) 25.sen(5x 2)
= +
f (x) 125.cos(5x 2)
= +
( )
0
j
x
n
j
p(x)
f
f(x)
(c
(x
)
x
!
) x
3
=
= =
f(x) sen(5.x 2) = +
Solucin del apartado c): Expresin del error
Ejemplo 2 (7/11)
Ejemplo 2 (7/11)
115
x
125.
10 20
cos(
p(x
c
(x) f(
5 2)
) ) x x x
3!
x
+

= =

La expresin del error ser, entonces:
x
3 2
2
125. cos(5c 3
p(x)
20 2 6 00
x x x (x) f )
2
(
)
x
+

= = +

Operando, resulta:
donde c
x
es algn punto del intervalo (0, /10) dependiente
de la abscisa x
Ejemplo 2 (8/11)
Ejemplo 2 (8/11)
116
2
x [ 0, ]
3 2
10
x [ 0, ]
10
(x max | |
3!
3
| p(x) | m
f
f(x) | ( ax x x x) | x
2 20
)
0 0
= +

2
3 2
x [ 0, ] x [ 0, ]
10 10
125 3
max | cos( x ) | max x x x
6 20
5
200
2

= + +

x = 0
min
= 50 + 2 = 2
mn
= 2
x = /10
mx
= 5(/10) + 2 = 2+/2
mx
= 2+ /10
x [ 0, ]
10
max | cos( x 5 2) | 1
+ =
Luego:
Ejemplo 2 (9/11)
Ejemplo 2 (9/11)
Solucin del apartado d): Cota de error
117
2
3 2
x [0, ] x [0, ]
10 10
125 3
max | cos( x ) | '(x) max x x x
6 20 20
5 2
0

+ + =
2
3 2
x [0, ]
10
125 3
max x x x
6 20 200

= +
3 2
2
3
q( )
20
x x x
200
x

= +
2
2
3
q'( )
1
x 3x
0 2 0
x
0

= +
1
x* x* q (1 (
3
' ) )
20
0

= =
0.066385
x*
0.247769
q(0.066385) = - 0.001492 q(0.257769) = 0.001492

q(0.) = q(/20) = q(/10) = 0
125
0.001492
6
=
Ejemplo 2 (10/11)
Ejemplo 2 (10/11)
118
x 0,
10
0.0 q 01492 m (x) ax

x
0
x
1
q(x)
x
2
125
x 0.001492 0.031084 (
6
)
La funcin valor absoluto del
error de interpolacin
|(x) | = | f(x) p(x)|,
tiene el siguiente grafo:
En resumen UNA cota de error es:
Ejemplo 2 (11/11)
Ejemplo 2 (11/11)
119

I5 Interpolacion Error OCW

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

I5 Interpolacion Error OCW

Uploaded by

Copyright:

Available Formats

Departamento de Matemtica Aplicada y Mtodos Informticos

Teorema de expresin del error

F(x) tiene al menos (n+2) races

Teorema de expresin del error: Demostracin

F(x) tiene al menos (n+2) races

Algunas acotaciones del error

a) Calcular y representar grficamente los polinomios de

Como el nmero de puntos es n+1 = 2 se deriva DOS veces f(x)

Hallemos, en primer lugar

a) Calcular y representar grficamente los polinomios de

q(0.066385) = - 0.001492 q(0.257769) = 0.001492

You might also like