FUNDACIN UNIVERSITARIA KONRAD LORENZ

FACULTAD DE MATEMTICAS E INGENIERAS

MTODOS NUMRICOS
INTRODUCCIN A LA TEORA DE ERRORES
ERRORES DE TRUNCAMIENTO
Por Pervys Rengifo Rengifo


El trmino error de truncamiento generalmente se refiere al error involucrado al
representar aproximadamente un procedimiento matemtico exacto. Esto se presenta
particularmente cuando se utilizan series de potencia para aproximar funciones. Con el
fin de ilustrar el concepto de error de truncamiento, se har una descripcin de la
aproximacin de funciones por medio de series de potencia, en particular, por medio de
las series de Taylor y Maclaurin.

SERIES DE TAYLOR Y SERIES DE MACLAURIN
Sea f una funcin tal que ella y sus n primeras derivadas sean continuas en el intervalo
cerrado [a,b], y adems f
n+1(
x) existe para todo x en el intervalo abierto (a,b). Sea
x
o
e[a,b]. Entonces, para todo xe[a,b] existe un nmero en el intervalo abierto (a,b)
tal que:
( ) ( ) ( )( ) ( )
( )
( )
( )
( )
( )
( )! 1 !
...
! 2
1
1
2
' ' '
+

+ +

+ + =
+
+
n
x x
f
n
x x
x f
x x
x f x x x f x f x f
n
o n
n
o
o
n o
o o o o

donde ( ) n n n = 1 3 2 1 ! , y se lee n factorial
Esto se puede escribir como:
( ) ( ) ( ) x R x P x f
n n
+ =
donde
( ) ( ) ( )( ) ( )
( )
( )
( )
( )
( )
k
o
n
k
o
k
n
o
o
n o
o o o o n
k
x x
x f
n
x x
x f
x x
x f x x x f x f x P
! !
...
! 2
0
2
' ' '

=

+ +

+ + =

=

y ( )
( )( )
( )! 1
1 1
+

=
+ +
n
x x f
x R
n
o
n
n


a ( ) x P
n
se le llama polinomio de Taylor de grado n de f alrededor de x
o
, y a ( ) x R
n
se le
denomina residuo o ERROR DE TRUNCAMIENTO.
La serie infinita que se obtiene al tomar el lmite de ( ) x P
n
, cuando n se conoce
como SERIE DE TAYLOR de f alrededor de x
o
.
En el caso de que x
o
=0, el polinomio de Taylor se denomina POLINOMIO DE
MACLAURIN.
El polinomio de Maclaurin de grado n para una funcin f sera:

( ) ( ) ( ) ( )
( )
( )
( )
( )
( )
k
n
k
k
n
n
n
k
x
f
n
x
f
x
f x f f x P
!
0
!
0 ...
! 2
0 0 0
0
2
' ' '

=
= + + + + =
y el error de truncamiento correspondiente:
( )
( )( )
( )! 1
1 1
+
=
+ +
n
x f
x R
n n
n



EJEMPLO No. 1

Calcular el polinomio de Taylor de la funcin ( )
x
e x f = alrededor de xo=3, para n=0,
n=1, n=2, n=3, n=4.
Para n=0, ( ) ( )
( )
( )
3
0
0
0
3
!
3
3 e f
k
x
f x P
k
k
k
= =

=

( ) = x P
0
3
e =20.0855369 es una constante(El polinomio de grado cero es una lnea horizontal)
Para n=1, ( ) ( )
( )
( ) ( )( ) 3 3 3
!
3
3
'
1
0
1
+ =

=
x f f
k
x
f x P
k
k
k

( ) ( ) ( )
3 ' '
3 e f e e
dx
d
x f
dx
d
x f
x x
= = = =
( ) ( )
( )
( ) ( )( ) ( ) 3 3 3 3
!
3
3
3 3 '
1
0
1
+ = + =

=
x e e x f f
k
x
f x P
k
k
k
, que es la ecuacin de
una lnea recta

Para n=2,
( ) ( )
( )
( ) ( )( ) ( )
( )
2
3
3 3 3 3
!
3
3
2
' ' '
2
0
2

+ + =

=
x
f x f f
k
x
f x P
k
k
k


( ) ( ) ( )
3 ' '
2
2
2
2
' '
3 e f e e
dx
d
x f
dx
d
x f
x x
= = = =

( ) ( )
( )
( )
( )
2
3
3
!
3
3
2
3 3 3
2
0
2

+ + =

=
x
e x e e
k
x
f x P
k
k
k
, que es la ecuacin de una
parbola.

Para n=3,
( ) ( )
( )
( ) ( )( ) ( )
( )
( )
( )
! 3
3
3
2
3
3 3 3 3
!
3
3
3
' ' '
2
' ' '
3
0
3

+

+ + =

=
x
f
x
f x f f
k
x
f x P
k
k
k


( ) ( ) ( )
3 ' ' '
3
3
3
3
' ' '
3 e f e e
dx
d
x f
dx
d
x f
x x
= = = =

( ) ( )
( )
( )
( ) ( )
! 3
3
2
3
3
!
3
3
3
3
2
3 3 3
3
0
3

+

+ + =

=
x
e
x
e x e e
k
x
f x P
k
k
k
, que corresponde a
un polinomio cbico

Generalizando, entonces

( )
( )
x
k
n
k
n
e x f para
k
x
e x P =

=
) (
!
3
0
3

Observe que ( )
( )

= =
n
k
k
n
x
k
x
e e x f
0
3
!
3
lim , al tomar n como un nmero finito, se
obtiene una aproximacin de f(x), ya que la suma infinita (o serie infinita), se reemplaza
por una suma finita, incurriendo en un error, representado por Rn(x) que se llama
ERROR TRUNCAMIENTO.
En este caso ( )
( )( )
( )
( )
( )
| | x con
n
x e
n
x f
x R
n n n
n
, 3
! 1
3
! 1
3
1 1 1
e
+

=
+

=
+ + +

No se sabe cual es el valor de slo se sabe que est entre x y 3.
Note que ( ) x P e
n
x
~
Grado Polinomio Comentarios
Para
n=0
3
e e
x
~
La cual es una
aproximacin
muy burda
para e
x
, ya que
supone que e
x

es una funcin
constante
Para
n=1
( ) 3
3 3
+ ~ x e e e
x

Aproxima a e
x

como una
lnea recta.
Para
n=2
( )
( )
2
3
3
2 3
3 3

+ + ~
x e
x e e e
x

Aproxima a e
x

como una
parbola
Para
n=3
( )
( ) ( )
! 3
3
2
3
3
3 3 2 3
3 3

+

+ + ~
x e x e
x e e e
x

Aproxima a e
x

como un
polinomio
cbico
Para
n=k
( )
( ) ( ) ( )
!
3
...
! 3
3
2
3
3
3 3 3 2 3
3 3
k
x e x e x e
x e e e
k
x

+ +

+ + ~
Aproxima a e
x

como un
polinomio de
grado k

A medida que n crece la grfica del polinomio Pn(x) se acerca a la grfica de la funcin
e
x
.
Por ejemplo si se desea estimar el valor de e
3.5
, con estas aproximaciones, se tiene lo
siguiente,
x = 3.5, el valor verdadero de e
3.5
= 33.115452 con 8 cifras significativas.
Para n=0, e
x
=e
3
,

por lo tantoe
3.5
= e
3
= 20.0855369
Error absoluto(Ea)=| 33.115452-20.0855369|=13.03(error de truncamiento)
Para n=1, e
x
=e
3
+e
3
(x-3) e
3.5
= e
3
+e
3
(3.5-3)= 30.128305
Error absoluto(Ea)=| 33.115452-30.128305|=2.987(error de truncamiento)
Para n=2, ( ) ( )
2
3
3 3
3
2
3 + + ~ x
e
x e e e
x
( ) ( )
2
3
3 3 5 . 3
3 5 . 3
2
3 5 . 3 + + ~
e
e e e =
32.638998
Error absoluto(Ea)=| 33.115452-32.638998|=0.4764(error de truncamiento)

Como se puede apreciar el error de truncamiento disminuye a medida que n aumenta y
el valor estimado para e
3.5
se acerca al verdadero.

EJEMPLO No 2
Hallar el polinomio de Maclaurin para f(x)=e
x
, para n=0, n=1, n=2, n=3, y el polinomio
general.

El polinomio de Maclaurin de grado n, para cualquier funcin se define como:



( ) ( ) ( ) ( )
( )
( )
( )
( )
( )
k
n
k
k
n
n
n
k
x
f
n
x
f
x
f x f f x P
!
0
!
0 ...
! 2
0 0 0
0
2
' ' '

=
= + + + + =
Para n=0 P
o
(x)=f(0)= e
0
=1
Para n=1 P
1
(x)=f(0)+f (0)x= e
0
+e
0
x= 1+x
Para n=2 ( ) ( ) ( )
( )
2
1
2 2
0 ' '
0 ' 0
2 2
0 0 0 2
2
x
x
x
e x e e x
f
x f f x P + + = + + = + + =
Para n=k
( ) ( ) ( )
( ) ( ) ( )
!
...
! 3 2
1
!
...
! 3 2 !
0
...
! 3
0 ' ' '
2
0 ' '
0 ' 0
3 2
0
3
0
2
0 0 0 3 2
k
x x x
x
k
x
e
x
e
x
e x e e x
k
f
x
f
x
f
x f f x P
k k
k
k
k
+ + + + + = + + + + + = + + + + + =

En notacin de sumatoria quedara
( )
( )

=
= ~
n
k
k
n
x
k
x
x P e
0
!

Para ilustrar la estimacin del error para mtodos iterativos se plantea el siguiente
ejercicio:
Agregando un trmino a la vez, estmese e
0.5
. Despus de que se agregue cada trmino,
calclense los errores relativos y porcentuales verdadero (cv) y aproximado (ca), as:
% 100 =
verdadero Valor
verdadero Error
v c
% 100

=
actual n Aproximaci
anterior n Aproximaci actual n Aproximaci
a c
Agrguense trminos hasta que se obtenga una estimacin con, por lo menos, tres cifras
significativas.
Aqu se puede emplear el criterio visto en clase, que establece que, si se verifica que
% 10 5 . 0
2 k
s a

= s c c , se tiene una respuesta con por lo menos k cifras significativas.
En este caso, se requieren 3 cifras significativas, entonces k=3 y, reemplazando
% 05 . 0 % 10 5 . 0
3 2
= =

s
c
Se agregarn trminos hasta que |ca|<0.05%
El valor verdadero de e
0.5
, con 10 cifras significativas es e
0.5
=1.648721271
Primera estimacin(para n=0):
% 3 . 39 % 100
1 1.64872127
1 - 1 1.64872127
% 100
1
1 ) (
5 . 0
= =

=
~
= ~
verdadero valor
aproximado valor verdadero Valor
e
x P e
v
o
x
c

Para n=1
5 . 1 5 . 0 1
1 ) (
5 . 0
1
= + ~
+ = ~
e
x x P e
x

Aproximacin anterior: e
0.5
=1
Aproximacin actual: e
0.5
=1.5
% 3 . 02 . 9 % 100
1 1.64872127
1.5 - 1 1.64872127
% 100 = =

=
verdadero valor
aproximado valor verdadero Valor
v
c
% 05 . 0 % 3 . 33 % 100
5 . 1
1 5 . 1
% 100 = > =

=
s
actual n Aproximaci
anterior n Aproximaci actual n Aproximaci
a c c
, entonces se prosigue

Para n=2:
2
1 ) (
2
2
x
x x P e
x
+ + = ~ (Recuerde que

=
~
n
o k
k
x
k
x
e
!
)
625 . 1
2
5 . 0
5 . 0 1
2
5 . 0
= + + ~ e
Aproximacin actual=1.625
Aproximacin anterior=1.5
% 44 . 1 % 100
1 1.64872127
1.625 - 1 1.64872127
% 100 = =

=
verdadero valor
aproximado valor verdadero Valor
v
c
% 05 . 0 % 69 . 7 % 100
625 . 1
5 . 1 625 . 1
% 100 = > =

=
s
actual n Aproximaci
anterior n Aproximaci actual n Aproximaci
a c c
, se contina.
Para n=3:
! 3 2
1 ) (
3 2
3
x x
x x P e
x
+ + + = ~ =
6 2
1
3 2
x x
x + + +
6458333333 . 1
6
5 . 0
2
5 . 0
5 . 0 1
3 2
5 . 0
= + + + ~ e
% 175 . 0 % 100
1 1.64872127
3 1.64583333 - 1 1.64872127
% 100 = =

=
verdadero valor
aproximado valor verdadero Valor
v
c
% 05 . 0 % 27 . 1 % 100
645833333 . 1
625 . 1 645833333 . 1
% 100 = > =

=
s
actual n Aproximaci
anterior n Aproximaci actual n Aproximaci
a c c
Para n=4:
! 4 ! 3 2
1 ) (
4 3 2
4
x x x
x x P e
x
+ + + + = ~ =
24 6 2
1
4 3 2
x x x
x + + + +
648437500 . 1
24
5 . 0
6
5 . 0
2
5 . 0
5 . 0 1
4 3 2
5 . 0
= + + + + ~ e
% 0172 . 0 % 100
1 1.64872127
0 1.64843750 - 1 1.64872127
% 100 = =

=
verdadero valor
aproximado valor verdadero Valor
v
c
% 05 . 0 % 158 . 0 % 100
648437500 . 1
645833333 . 1 648437500 . 1
% 100 = > =

=
s
actual n Aproximaci
anterior n Aproximaci actual n Aproximaci
a c c

Para n=5:
! 5 ! 4 ! 3 2
1 ) (
5 4 3 2
5
x x x x
x x P e
x
+ + + + + = ~ =
120 24 6 2
1
5 4 3 2
x x x x
x + + + + +
648697917 . 1
120
5 . 0
24
5 . 0
6
5 . 0
2
5 . 0
5 . 0 1
5 4 3 2
5 . 0
= + + + + + ~ e
% 00142 . 0 % 100
1 1.64872127
648697917 . 1 - 1 1.64872127
% 100 = =

=
verdadero valor
aproximado valor verdadero Valor
v
c
% 05 . 0 % 0158 . 0 % 100
648697917 . 1
648437500 . 1 648697917 . 1
% 100 = < =

=
s
actual n Aproximaci
anterior n Aproximaci actual n Aproximaci
a c c
Se alcanza la tolerancia indicada y se detiene el proceso, ya que 0.0158%<0.05%
El criterio fijado garantiza, por lo menos, tres cifras significativas. Ahora determnese
el nmero de cifras significativas obtenidas.
Se dice que un nmero, Va aproxima a otro Vv con t dgitos significativos si t es el
mayor entero no negativo, para el cual se verifica que:
t
Vv
Va Vv

<

10 5
Para este caso Vv=1.648721271 y Va= 1.648697917
t
<

10 5
648721271 . 1
648697917 . 1 648721271 . 1
Ahora se busca al mayor entero no negativo, t,
para el cual se verifica la desigualdad.

0.0000142<5x10
-t
0.0000142<5x10
-1
0.0000142<5x10
-2
0.0000142<5x10
-3
0.0000142<5x10
-4
0.0000142<5x10
-5
0.0000142>5x10
-6
para t=6 la desigualdad ya no se cumple, por lo tanto t=5 es el
mayor entero no negativo para el cual se verifica la desigualdad anterior, lo que quiere
decir, que el nmero 1.648697917 aproxima a 1.648721217 con 5 cifras significativas.



La lnea superior corresponde al funcin f(x)= e
x
. Las lneas siguientes corresponden a
las aproximaciones de grado 8, 7,6,5,4,3,2,1,0, respectivamente.
Se puede apreciar que a medida que se incrementa el grado del polinomio su grfica se
va ajustando mejor a la grfica de e
x



Aproximacin de la f uncin e^x mediante una expansin en series de
potencias de Maclaurin
0
5
10
15
20
25
30
35
40
45
50
0 1 2 3 4 5 x
y
Serie1
Serie2
Serie3
Serie4
Serie5
Serie6
Serie7
Serie8
Serie9
Serie10