I.

Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 3
ERRORES


INTRODUCCION:

La integral

1
0
2
dx e
x
, es una de las tantas que no poseen una solucin
analtica, una aproximacin puede obtenerse reemplazando el integrando
2
) (
x
e x f

= por un polinomio de Maclaurin o serie polinomial
+ + =

6 2
1
6 4
2
2 x x
x e
x
.
- Qu error se comete en este procedimiento.? Una calculadora
ALGEBRA FX 2.0 PLUS arroja el resultado 0.7468241328....

- Cuntos dgitos significativos tiene dicha aproximacin ?

Esta y otras preguntas se respondern en la presente unidad.


Error absoluto de un nmero.

El nmero
*
x se dir una aproximacin de nmero verdadero x . EL error
absoluto de
*
x , se define como
* *
) ( x x x E
A
= , una cota superior del error
absoluto es = x x x E
A
* *
) (


Error relativo o porcentual.
Simbolizado por ) (
*
x E
R
y definido por
x
x E
x E
A
R
) (
) (
*
*
= y una cota superior
del error es
x
x E
x E
A
R
) (
) (
*
*
. El valor verdadero x , no se conoce
usualmente por lo que es reemplazado por su aproximado.


Dgitos Significativos. D.S.

De aqu en adelante el nmero x ser un nmero aproximado a menos
que se especifique lo contrario.

Todo nmero real puede escribirse en la forma :

10 . 0
3 2 1
= a a a a x , escritura conocida como aritmtica de punto
flotante, con 0
1
a , con 9 0
i
a , con , con .
I. Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 4
Ejemplo 1:

El nmero 3,1416 aproximacin de , puede escribirse en la forma
1
10 31416 . 0 1416 , 3 = , se dice entonces que el sigma de pi es 1,
( 1 =

).En el clculo de D.S. el sigma juega un rol importante.

Ejemplo 2 :

El nmero 001345 . 0 = x puede escribirse en la forma
2
10 1314 . 0

= x , se
dice entonces que el sigma de x es 2 . ( 2 =
x
). Entonces el
sigma tiene que ver con los ceros despus de la coma o los enteros que
contenga el nmero.

Se dice que el nmero

10 . 0
3 2 1
= a a a a x , tiene m dgitos
significativos si existe tal m , m 1 , tal que :

m
A
x E



10
2
1
) ( .

Ejemplo 3:

Si consideramos como exacto el valor = 718281828 . 2 e arrojado por
calculadora, Cuntos D.S. tendr la aproximacin 7182 . 2 e ?
La respuesta obvia es 5.

Veamos que nos dice la definicin :

Debemos calcular una cota superior del error absoluto.
=
5
10 182845904 . 8 7182 . 2 e , ahora hallamos m, de la inecuacin :
m
e



10
2
1
, con 1 =
e
aplicando logaritmo en base 10 en ambos
lados , se tiene:

m m
m m
+ = + = + =

1 5 . 0 log 10 log ) 1 ( 5 . 0 log ) 10 log( ) 5 . 0 log( ) 10 5 . 0 log( ) log(
1 1

despejando m :

786065632 . 4 log 5 . 0 log 1 = + m , siendo m un entero , 4 = m .
Resultado que no coincide con lo evidente.

La definicin anterior de D.S. es a veces imprecisa , pero por lo menos
estima dgitos por defecto, es decir estima menos de los que tiene
realmente el nmero.

I. Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 5
Propagacin de los errores

Si el nmero 14 . 3 es una buena aproximacin del verdadero .
Cunto error contendr el clculo 14 . 3 .?

Si x es un valor aproximado , se quiere controlar el error en la
evaluacin de ) (x f . Usamos aqu elementos del clculo diferencial,
*
x x x = , denota el error absoluto en x , tambin podemos abusar de
la notacin y llamarlo diferencial de x , entonces la cantidad
f y x f x f = = ) ( ) (
*
es lo queremos controlar , que es el error absoluto
en ) (x f , que podemos llamar, diferencial de y , por clculo diferencial
sabemos que :

x x f y ) (

Entonces bastara calcular la cota superior x x f ) ( .


Ejemplo:

El nmero 1415 . 0 = x ha sido calculado con todas sus cifras correctas .
Determinar la cota del error absoluto y los dgitos significativos de la
evaluacin
3
1415 .
La funcin involucrada en este ejemplo es
3
) ( x x f = . El error absoluto de x
est dado por sus cifras correctas :
m
x



10
2
1
, con 4 , 0 = = m .

Entonces , el error absoluto en la evaluacin = error absoluto de la funcin
es
6 4 2 2
10 0033375 . 3 10 5 . 0 ) 1415 . 0 ( 3 3 ) (

= x x x x f y , entonces
se podra afirmar que
3 3
10 833148375 . 2 1415 . 0

= , con un error absoluto
=
6
10 0033375 . 3 Cuantas de las cifras de 2.833148375 son
significativas ?


Debemos hallar m de f , de la inecuacin :
m


10
2
1
, donde sigma de efe = 2 = =
f

aplicando logaritmo decimal a ambos lados y despejando m , tenemos :

221365866 . 3 log 2 5 . 0 log = m , siendo m un entero positivo
3 = m , entonces podemos decir que :

I. Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 6
3 3
10 83 . 2 1415 . 0

= , despreciando los dems dgitos.
Dos variables.

Si
* *
, y x son las aproximaciones de los verdaderos nmeros y x, , se
quiere controlar el error en la evaluacin de ) , (
* *
y x f , es decir encontrar
una cota superior del error absoluto : f y x f y x f = ) , ( ) , (
* *
, del clculo
diferencial en dos variables se sabe que el diferencial total de f es :
dy
y
f
dx
x
f
df

=

para diferenciales dy dx, pequeos df f , entonces

y
y
f
x
x
f
y
y
f
x
x
f
f

, donde y x , son los errores

absolutos en y x, .

Ejemplo:

Los nmeros 23 . 1 , 56 . 4 = = y x son aproximaciones con sus cifras
correctas , determinar los dgitos significativos de la operacin
23 . 1
56 . 4

Solucin:
La funcin involucrada es
y
x
y x f = ) , ( , las cotas superiores del error
absoluto de y x, estn sugeridas por sus cifras correctas:
2 3 1 2 3 1
10 5 . 0 10 5 . 0 , 10 5 . 0 10 5 . 0

= = y x

La cota superior del error absoluto de f , la calculamos por el diferencial
total,
= = +

3 0161668858 . 0 10 5 . 0 )
23 . 1
56 . 4
56 . 4
1
(
1
2
2 2
y
y
x
x
y
y
y
f
x
x
f
f
Entonces podemos decir que 707317073 . 3
23 . 1
56 . 4
= con una cota de error
absoluto 3 0161668858 . 0 . Cuntos de los dgitos de 3.707317073 son
significativos.?

Debemos hallar m de la inecuacin

m


10 5 . 0 , donde el sigma de f es 1 = =
f
, ( el entero del
nmero 3.707317073) aplicando logaritmo decimal a ambos lados , y
I. Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 7
despejando m , se tiene 490343633 . 2 log 1 5 . 0 log = + m , siendo m un
entero positivo 2 = m .podemos entonces escribir 7 . 3
23 . 1
56 . 4
= ,
despreciando los dems decimales.

El procedimiento aqu expuesto resulta intil y muy laborioso para casos
de mas de tres variables y funciones complicadas. En tales casos se
recomienda trabajar con intervalos de precisin para las variables
involucradas .


Ejemplo:

Los nmeros 72 . 8 , 87 . 9 , 78 . 2 , 56 . 4 23 . 1 = = = = = t w z y x , tienen sus cifras
correctamente redondeadas . Determinar los dgitos significativos de la
operacin
) 72 . 8 87 . 9 ( 78 . 2
56 . 4 23 . 1
+
+
.

Solucin:
Las cotas del error absoluto de dichos nmeros es
= =
2 3 1
10 5 . 0 10 5 . 0
Estos nmeros entonces se mueven en sus respectivos intervalos de
precisin:

| | | | 235 . 1 , 225 . 1 , = + x x , | | | | 565 . 4 , 555 . 4 , = + y y ;
| | | | 785 . 2 , 775 . 2 , = + z z ;
| | | | 875 . 9 , 865 . 9 , = + w w ; | | | | 725 . 8 , 715 . 8 , = + t t

entonces

| | | |
| | | | | |
| |
| | | | 16 . 1 , 14 . 1 785 . 2 , 775 . 2
80 . 5 , 78 . 5
) 725 . 8 , 715 . 8 875 . 9 , 865 . 9 ( 785 . 2 , 775 . 2
565 . 4 , 555 . 4 235 . 1 , 225 . 1
) 72 . 8 87 . 9 ( 78 . 2
56 . 4 23 . 1

=

+
=

+

=
| |
| |
| | 8334 . 1 , 7891 . 1
2306 . 3 , 1635 . 3
80 . 5 , 78 . 5
= , Entonces el resultado de la operacin se
mueve entre 1.7891 y 1.8334 teniendo una exactitud de dos cifras
significativas y por lo tanto:

sera exagerado tomar todas las cifras del resultado
811072881 . 1
) 72 . 8 87 . 9 ( 78 . 2
56 . 4 23 . 1
=

+


I. Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 8
Error de truncacin

Este tipo de error se manifiesta cuando un proceso de infinitos pasos se
detiene o se trunca en un nmero finito de pasos , como es el caso de las
series numricas o series de potencias .

Ejemplo:

Estimar el valor de la integral dx
x
senx

1
0

a) usando un adecuado polinomio de Maclaurin de 4 trminos no
nulos.
b) Estime el error de truncacin y y los D.S. de dicha aproximacin.

Solucion:

Por el calculo , sabemos que la serie de MACLAURIN para senx es :

sto
n
x x x x
x senx
n n
Re
)! 1 2 (
) 1 (
5040 120 6
1 2 1 7 5 3
+

+ + + =

, donde el Resto es
conocido como , resto de Lagrange x
n
x f
R
n n
n
< < =

0 ,
)! 2 (
) (
2 ) 2 (
.
5040 120 6
1
6 4 2
x x x
x
senx
+ = , es una truncacin a cuatro trminos no nulos.

Por lo tanto una aproximacin de la integral sera:

9460827664 . 0 )
5040 120 6
1 (
1
0
6 4 2 1
0

= + dx
x x x
dx
x
senx


b) Cmo calcular el error de truncacin?

Si ) (x P
n
es el polinomio de Maclaurin, entonces

+ =
b
a
b
a
n
b
a
stodx dx x P dx x f Re ) ( ) ( = absoluto Error


b
a
b
a
b
a
n
dx sto dx x P dx x f Re ) ( ) (

Para el ejemplo, la derivada de orden (2n) de la funcin senx, est acotada
por 1.

I. Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 9
Error absoluto
)! 2 ( ) 2 (
1
1
)! 2 (
1
)! 2 (
) ( ) 1 (
1
1
0
1
0
1 2
2 ) 2 ( 1
n n
dx x
n n
dx x f
x
n
n n n

,
ya que truncamos en el cuarto trmino 4 = n
Error absoluto = =

6
10 10019841 . 3
! 8 8
1
.

As podemos decir que 9460827664 . 0
1
0

dx
x
senx
con un error de
truncacin
6
10 10019841 . 3

. Cuntos de estos dgitos son
significativos.?

Debemos estimar m de la inecuacin :

m


10 5 . 0 , con sigma de la integral = 0 = , aplicando logaritmos y
despejando m , tenemos : 207580515 . 5 log 0 5 . 0 log = + m 5 = m .

Observacin: Acotar la expresin del resto es una cuestin difcil , ms
cuando las derivadas de orden n , no siguen un patrn. Para el ejemplo
recin expuesto el error de truncacin pudo obtenerse por teoremas de
series alternadas .A saber : En una serie alternada el error debido a
truncamiento es menor o igual al primer trmino despreciado.
Para el ejemplo el primer trmino despreciado es
! 9
9
x
, entonces el error
absoluto de la integral
7
1
0
9
10 7557 . 2
! 9

=

dx
x
Por qu el trmino
! 8
8
x
no
es el primer termino despreciado .?



Error al detener una serie numrica

Un ejemplo, introduccin.

Considere la serie de trminos positivos + + + + =

=
! 3
1
! 2
1
! 1
1
1
!
1
0 n
n
que
converge a = 718281828 . 2 e

a) Qu error se comete al truncar en el quinto trmino.?

b) Cuantos D.S. tiene la aproximacin .?


I. Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 10
Solucin :

Al truncar en el quinto trmino se obtiene :

708333333 . 2
!
1
4
0
=

= n
n
, debemos acotar el ....
! 7
1
! 6
1
! 5
1
+ + + = resto
Afortunadamente la serie converge , entonces
1 0
) 1 (
1
lim
)! 1 (
!
lim
!
1
! ) 1 (
1
lim lim
1
< = =
+
=
+
=
+
=
+

l
n n
n
n
n
a
a
n
n
n
,
la sucesin
n
n
a
a
1 +
converge al nmero 0 por derecha pues sus trminos
son positivos, entonces si
n
n
a
a
M
1 +
=
n n
a M a =
+1

De
n n n n n n
n
n
a M a a M a pero a M a M
a
a
< = < <
+ + + +
+
+ 2
2 1 1 2
1
2

De
n n n n
n
n
a M a M M a M a M
a
a
= < < <
+ +
+
+ 3 2
2 3
2
3
) (
.................................................................................


n
P
p n
a M a <
+


El resto
n
R al truncar en el trmino
n
a es entonces :

+ + =
+ + 2 1 n n n
a a R + + +
n n n
a M a M a M
3 2


M
Ma M M a M
n n

= + + +
1
1
) 1 (
3 2
, pues 1 < M siendo

n
n
a
a
M
1 +
= al reemplazar se obtiene la expresin :


n
n
n
n
a
a
a
R
1
1
1
+
+

I. Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 11
Para el caso del ejemplo ,al truncar en el quinto trmino que equivale a
4
a ,se tiene : 010416666 . 0
! 4
1
! 5
1
1
! 5
1
1
4
5
5
=

a
a
a
R
n
.
As entonces hemos calculado 70833333 . 2
!
1
4
0
=

= n
n
, con un error de
truncacin = 010416666 . 0 . Cuntos dgitos tiene esta aproximacin.?


b)Debemos hallar m de la inecuacin :


m


10 5 . 0 ,con sigma de

= 1 =

Aplicando logaritmo decimal y despejando m , tenemos :

2 681241265 . 2 log 1 5 . 0 log = = + m m Se puede afirmar entonces que
7 . 2
!
1
4
0
=

= n
n
, con error 01041666 . 0 .


En este ejemplo hemos usado y demostrado el siguiente teorema:

Teorema: Si se truncan n trminos de una serie numrica positiva

=1 n
n
a ,
el error cometido de truncacin est dado por la formula

n
n
n
n
a
a
a
R
1
1
1
+
+

, siempre que 1 lim

1
< =
+

l
n
n
n
a
a
, con la sucesin
n
n
a
a
1 +
convergiendo a l por la derecha.
Qu ocurre si la sucesin
n
n
a
a
1 +
converge a l por la izquierda.?
Entonces l <
+
n
n
a
a
1

n n
a a <
+
l
1

l <
+
+
1
2
n
n
a
a

n n n n
a a a a = < <
+ +
2
1 2
) ( l l l l
...........................................................................

n
p
p m
a a <
+
l

I. Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 12
Entonces al truncar en el trmino
n
a , el resto es + + + =
+ +
....
2 1 n n n
a a R se
vera acotado por :

l
l l l l l l l

= + + + = + + + + + =
+ +
1
1
) 1 (
2 3 2
2 1 n n n n n n n n
a a a a a a a R
obtenindose la frmula:




Ejemplo:
Detener la serie

=
|
|

\
|
+
1
) 1 ( 5
n
n
n
n
de modo que el error de truncacin sea
002 . 0 .

Solucin:

....." lim "
) 1 ( 5
) 1 ( 5
1
lim lim
1
1
ite el es feo qu
n
n
n
n
a
a
n
n
n
n
n
=
|
|

\
|
+
|
|

\
|
+
+
=
+
+

, mejor usamos
criterio de la raz n-sima que dice as:

Si en una serie numrica

=1 n
n
a se tiene que l =

n
n n
a lim , entonces la
serie converge si 1 < l , diverge si 1 > l y no habra informacin si 1 = l .

Para el ejemplo se tiene
1
5
1
5 5
lim
) 1 ( 5
lim lim < = =
+
=
|
|

\
|
+
=

l
n
n
n
n
a
n
n
n
n n


Es fcil averiguar que la sucesin
n
n
a converge a l por la izquierda,
entonces :
l <
n
n
a
n
n
a l <
l <
+
+
1
1
n
n
a
1
1
+
+
<
n
n
a l

.

p n
p n
a
+
+
<l


n n
a R

l
l
1
I. Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 13
al truncar la serie en el trmino
n
a , el resto se vera acotado:


l
l l l l l l

= + + + = + + + + =
+ + + +
+ +
1
1
) 1 (
1 2 1 2 1
2 1
n n n n
n n n
a a R ,
obtenindose la frmula :
l
l

+
1
1 n
n
R .

Con sta frmula podemos resolver el ejemplo, pues
5
1
= l y al truncar en
n tenemos :


1
1
5
1
4
5
5
1
1
5
1
+
+
|

\
|
=

\
|

n
n
n
R , este ejemplo impone la condicin de que el
resto sea menor o igual a 0.002, por ello estimamos n de la
inecuacin:

002 . 0
5
1
4
5
1
|

\
|

+ n


El primer nmero natural que cumple dicha inecuacin es 3 = n , como la
serie comienza en 1 = n , debemos truncar en el tercer trmino,
obtenindose:

1207777778 . 0
8000
24
225
4
10
1
3 2 1
3
1
= + + = + + =

=
a a a a
n
n


Qu ocurre si la sucesin
n
n
a converge a l por la derecha.?

l . . .
1
1
+
+
n
n
a
n
n
a M =





Entonces de M a
n
n
<
+
+
1
1

1
1
+
+
<
n
n
M a ,

De M a
n
n
<
+
+
2
2

2
2
+
+
<
n
n
M a
.....................................................................

p n
p n
M a
+
+
<
I. Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 14
quedando el resto acotado en trminos de M

M
M M M M M M M a a R
n n n n
n n n

= + + + + = + + + + =
+ + + +
+ +
1
1
) 1 (
1 3 2 1 2 1
2 1

pero siendo
n
n
a M = , reemplazando , el resto queda entonces en trmino
de
n
a , que es el trmino ltimo considerado.

Obtenindose la frmula:





Como acotar una serie p .

Conocidas son las series numricas p , de la forma

=1
1
n
p
n
estas
convergen cuando 1 > p , divergen cuando 1 p .El problema es que
ninguna de las formulas obtenidas sirve para acotar su resto cuando estas
se truncan en termino
n
a pues el limite de
n
n
a
a
1 +
arroja valor 1, lo cual nos
deja sin informacin.

No es difcil pero tampoco tan fcil demostrar el siguiente ejercicio:

Ejercicio: 0 1
) 1 (
1 1
1
1
) 1 (
1
1 1
>
(

<
+

a con
n n a n
a a a


Solucin:

Sea 1 = a x , entonces hay que demostrar que

x x x
n n n
x
) 1 (
1 1
) 1 (
1
+
<
+
+


reordenando
x x x x x
n n
n x
n n n
x 1
) 1 (
1 1
) 1 (
1
) 1 (
1 1
<
+
+ +
<
+
+
+
+ +



multiplicando cruzado

1
1 ) 1 (
1
1
) 1 ( ) 1 ( +
+ +
>
+

+ +
<
+ + n
x n
n
n
n x n n
n
x
x
x
x

1
1

n
n
n
n
a
a
R
I. Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 15

lo que es equivalente a tener


1
1
1
1
+
+ > |

\
|
+
n
x
n
x


expandiendo la serie binomial

+

+

+ + = |

\
|
+
2
1
! 3
) 2 )( 1 ( 1
! 2
) 1 ( 1
1
1
1
n
x x x
n
x x
n
x
n
x


la cola de esta serie tiende a cero porque es convergente, porque
1
1
<
n
,adems sus primeros trminos seran positivos si 1 > x y sus
primeros dos trminos :
n
x
1
1 + superan a la cantidad
1
1
+
+
n
x
n n > + ) 1 ( , lo cual es verdadero para los nmeros naturales.
Esto demuestra el ejercicio.

Entonces al truncar la serie p en el trmino
n
a , el resto sera

+
+
+
+
= + + =
+ +
p p
n n n
n n
a a R
) 2 (
1
) 1 (
1
2 1

ocupando el ejercicio,

+
(

+
(

1 1 1 1
) 2 (
1
) 1 (
1
) 1 (
1
) 1 (
1 1
) 1 (
1
p p p p
n
n n p n n p
R

(

+
+

+
+
+

1 1 1 1
) 2 (
1
) 1 (
1
) 1 (
1 1
1
1
p p p p
n n n n p



Cancelando los trminos como en una serie telescpica ,

n
n p
p

1
1
1
n
a
p
n

=
1
Obtenindose la bella frmula


Ejemplo:
Calcular el valor de

=
=
1
2
1
n
n
B con un error menor que 0.06.
n n
a
p
n
R

1
I. Unidad: Errores
Prof: Sr. O. Carvajal / Clculo Numrico 16
Solucin:

Debemos saber en qu trmino truncar, truncando en trmino
n
a , el resto
se convierte en
n n
n
a
p
n
R
n n
1 1
1 2 1
2
=

Como se quiere un error menor que 0.06 , estimamos n de la inecuacin
06 . 0
1
<
n
que se cumple para 17 n . Hay que considerar 17 trminos con
ayuda de una calculadora : 587806741 . 1
1
17
1
2
=

= n
n
.
Por series de Fourier esta serie se sabe que converge a
6
2

644934067 . 1 = ,
observe que ! 06 . 0 0571 . 0
1
6
17
1
2
2
cumple se
n
n
< =

De series y errores de truncamiento hay mucho ms pero es suficiente
para los objetivos de este curso.