Facultad de Ciencias Exactas, UNCPBA CALCULO NUMERICO

Errores
G.A. Canziani, M.V. Simoy
1
CAPITULO I







ERRORES ERRORES ERRORES ERRORES




En Clculo Numrico se estudian algoritmos para aproximar resultados numricos que
no pueden calcularse en forma directa por mtodos algebraicos o analticos.
Bsicamente se puede distinguir entre algoritmos directos que producen un resultado en
forma directa y algoritmos iterativos que generan una sucesin de valores que tiende
hacia el resultado.

Ejemplo: Encontrar la solucin de la ecuacin ( ) x F x = con F funcin derivable
de x sobre un intervalo [a, b].
Se toma un valor aproximado
0
x

y se construye la sucesin de puntos tales que
( ) ( )
1 0 2 1
, x F x x F x = = etc.
Si la sucesin { }
n
x converge a un punto , entonces
lim
n
n
x

=
y como ) (
1
=
n n
x F x y ( ) ( ) lim
n
n
F x F

=
( ) F =


Este mtodo, converge? Es decir, la sucesin generada es convergente?


Usemos el mtodo grfico que muestra la Figura 1, que se llama de tela de araa, para
visualizar los puntos de la sucesin. Vemos que pueden darse distintos casos.


Criterio de convergencia
Miremos cul es la tasa de convergencia. Intuitivamente, para tener convergencia, dos
puntos consecutivos de la sucesin deben estar cada vez ms cercanos. Es decir:
1
1
1
n n
n n
x x
x x
+

<

Veamos cul es la razn, y qu hacer para asegurar que una sucesin de este tipo
converja.
Facultad de Ciencias Exactas, UNCPBA CALCULO NUMERICO
Errores
G.A. Canziani, M.V. Simoy
2
Miremos cul es la tasa de convergencia:
1 1
1 1
( ) ( )
( )
n n n n
n n n n
x x F x F x
F
x x x x

+


= =


con entre
1 n
x

y
n
x (Teorema del valor medio).
Entonces la sucesin converge si ( ) 1 F x < en un entorno de .



Figura 1.

Ejemplo: Clculo de races cuadradas.
Dado el nmero 0 > C , buscamos el valor de x para el cual
2
x C = .
Podemos escribir:
C
x
x
= .
luego 2
C
x x
x
= + .
Finalmente la expresin puede transformarse en ( )
1
2
C
x x F x
x
| |
= + =
|
\

As generamos la sucesin
1
1
2
n n
n
C
x x
x
+
| |
= +
|
\


Demostrar que: (a) ( ) lim
n
F x C =
(b) ( ) 0 = C F
Facultad de Ciencias Exactas, UNCPBA CALCULO NUMERICO
Errores
G.A. Canziani, M.V. Simoy
3
Ahora podemos aplicar el algoritmo al clculo de 2 . Tomemos C = 2 y como
valor aproximado
0
1.5 x = . Entonces, calculando iterativamente
1
1 2
1.5 1.41666666....
2 1.5
x
| |
= + =
|
\

2
1 2
1.4167 1.41421574...
2 1.4167
x
| |
= + =
|
\

Podemos comparar al valor exacto: ... 414214 . 1 2 =

Otra posibilidad: En lugar de la cuenta anterior, propongamos

2
x
x
=
Esto genera la sucesin
1
2
n
n
x
x

=
Sea
0
x la aproximacin inicial, entonces
1
0
2
x
x
=
2 0 0
1
2 2
2
x x x
x
= = =
3
0
2
x
x
= la sucesin no converge.

Tipos de errores
Cuando se hacen clculos, los errores que pueden generarse son:
intrnsicos del algoritmo
errores en los datos (medidas)
errores de redondeo durante los clculos
errores de truncamiento en la aproximacin al lmite (p.ej. series truncadas,
derivada aproximada por diferencia)
errores humanos o de mquina

Error absoluto y relativo
Sea x un valor aproximado de x (exacto)
El error absoluto en x se define como la diferencia x x .
Si 0 x , el error relativo se define como en cociente
x x
x

.
Nota. x y x no tienen porque ser escalares, pueden ser vectores o matrices. En ese
caso se toma la norma del espacio vectorial
Facultad de Ciencias Exactas, UNCPBA CALCULO NUMERICO
Errores
G.A. Canziani, M.V. Simoy
4
Si x

es un vector, el error relativo es
x x
x

, donde es la norma correspondiente.
Cuando se escribe x x = se quiere decir x x

Ejemplo: Sea 00147 . 0 5876 . 0 = a esto quiere decir que 5890 . 0 5862 . 0 a


Redondeo y truncamiento
El nmero: 0.00147 tiene 3 dgitos y 5 decimales,

12.34 tiene 4 dgitos y 2 decimales.
Cuando escribimos 001238 . 0 001230 . 0 000004 . 0 001234 . 0 = a a .
Este nmero tiene 5 decimales exactos y 3 dgitos significativos.
Cuando tomamos ... 14159265 . 3 = estamos tomndolo con 9 dgitos significativos y
8 decimales exactos
Si redondeamos a 3.1416, el error que se comete es
... 00000734 . 0 1416 . 3 = <
5
10 00001 . 0

=
Si truncamos a 3.1415, el error que se comete es
... 00009265 . 0 1415 . 3 = <
4
10 0001 . 0

= .
Dado un nmero x , supongamos que tomamos una aproximacin x
~
con t decimales.
Si x
~
se obtiene por truncamiento, la magnitud del error es menor que
t
10 .
Si x
~
se obtiene por redondeo, la magnitud del error es menor que
t
10
2
1
.

Ejemplos
Consideremos los nmeros de la primera columna y escribmoslos con tres decimales

x x redondeado x truncado
0.2397 0.240 0.239
-0.2397 -0.240 -0.239
0.23750 0.238 0.237
0.23646 0.236 0.236
0.23651 0.237 0.236


Sistemas de Numeracin

Base decimal
El sistema decimal necesita slo diez smbolos (0, 1, 2, 3, 4, 5, 6, 7, 8, 9) para
representar cualquier nmero, no importa cun grande o pequeo sea.

Ejemplo:

3 2 1 2 3
10 3 10 0 10 3 1 1 10 1 10 7 10 4 303 . 4711

+ + + + + + =
Facultad de Ciencias Exactas, UNCPBA CALCULO NUMERICO
Errores
G.A. Canziani, M.V. Simoy
5
Puede usarse cualquier nmero entero positivo como base B.
Los dgitos 1 0 B a
i
aseguran que
1 1 0 1
... ...
n n k
a a a a a a
+
sea una representacin
nica.
Las calculadoras y computadoras operan con 2 = B (sistema binario),
3
2 = B (octal),
4
2 = B (hexadecimal).
Las mquinas operan con dos tipos de operaciones aritmticas: clculos con punto fijo o
con punto flotante.
punto fijo: nmero constante de decimales
punto flotante: nmero constante de dgitos

Representacin en punto flotante
Dado un nmero a , se puede representar bajo la forma
10
q
a m

= exponente donde
0.1 1 m
q entero
<

mantisa

Para cada mquina, los valores q y m tienen un lmite. El intervalo de los valores de
a es llamado rango.
Cuando se escribe
10
q
a m = quiere decir que mest redondeada a t dgitos.
y el error es
1
10
2
10
t
t
redondeado
m m
truncado

Considerando que 1 . 0 > m , el error relativo en a
~
est acotado por:
1
1
1
10
10
1
2
10
10 10 2
t
q
t
q
m m
m

< =

si se redondea
o bien por
1
1
10 10
10
10 10
q t
t
q
m m
m

< =

si se trunca.

Ejemplo: Sean los nmeros
( )
( )
( )
1
6
1
2 0.2 10
0.00000077 0.77 10
3 0.3 10
x
y
z

= =
= =
= =

Entonces:
( )
( )
( )
1
5
0
0.200000077 10
0.154 10
0.6666... 10
x y
xy
x
z

+ =
=
=


Facultad de Ciencias Exactas, UNCPBA CALCULO NUMERICO
Errores
G.A. Canziani, M.V. Simoy
6

En general las mquinas estn construidas de manera que el resultado que entregan sea
la representacin en punto flotante del resultado exacto de la operacin sobre los
nmeros ingresados en punto flotante.


Propagacin de errores
Suma y resta: Cotas para el error absoluto

Tomemos por ejemplo los nmeros:
1
2
2.31 0.02
1.42 0.03
x
x
=
=

Cmo acotamos el error en
1 2
x x ?
(a) El valor mximo de
1
x es 2.33
y el mnimo de
2
x es 1.39
el valor mximo de la diferencia
1 2
x x es 94 . 0 39 . 1 33 . 2 =
(b) El valor mnimo de
1
x es 2.29
y el valor mximo de
2
x es 1.45
el valor mnimo de la diferencia
1 2
x x es 84 . 0 45 . 1 29 . 2 =

1 2
0.84 0.94 x x

1 2
0.89 0.05 x x =

En general tenemos:
( ) ( )
1 2 1 2 1 2 1 2 1 2
x x x x x x + + +
o bien ( )
1 2 1 2 1 2
x x x x = +

Teorema:
En la suma y la resta, la cota para el error absoluto en el resultado est dada por la suma
de los errores absolutos de los operandos
Demostracin: Queda como ejercicio para el lector

Producto y Divisin: Cotas para error relativo.
Sea r el error relativo de aproximar x con x :
x x
r
x

( ) 1 x x x r x r = + = +
Si
1 2
, x x tienen errores relativos
1
r y
2
r respectivamente entonces
( ) ( )
[ ]
1 2 1 1 2 2
1 2 1 2 1 2
1 1
1
x x x r x r
x x r r r r
= + +
= + + +


Facultad de Ciencias Exactas, UNCPBA CALCULO NUMERICO
Errores
G.A. Canziani, M.V. Simoy
7
Luego el error relativo del producto es:

2 1
0
2 1 2 1
r r r r r r + + +

si

<<
<<
1
1
2
1
r
y r


De igual manera se trabaja para el cociente y se tiene que el error relativo es:

2 1
2
2 1
2
1
1
1
1
1
r r
r
r r
r
r

+

=
+
+
si

<<
<<
1
1
2
1
r
y r

Si
1 1
r y
2 2
r entonces:
2 1 2 1
+ + r r y

2 1 2 1
+ r r

Teorema:
En la multiplicacin y la divisin, la cota del error relativo en el resultado es la suma de
las cotas de los errores relativos de los operandos.
Demostracin: Queda como ejercicio para el lector

El anlisis de la propagacin del error permite elegir la precisin de los datos y del
algoritmo a utilizarse, y a tomar decisiones durante el proceso de clculo.

Ejemplo: Sea
1 2
y x x =
Calculemos errores
Error absoluto:
1 1 2 2
y y x x x x +
Error relativo:
1 1 2 2
1 2
x x x x
y y
y x x
+

Supongamos que
4
1
4
2
10
0.5764
2
10
0.5763
2
x
x

=
=


4
1 2
el error es tan grande
como el resultado
0.0001 10
0.0001 0.0001
x x

=
=





Ejemplo: Encontrar las races del polinomio:
2
56 1 0 x x + =
Facultad de Ciencias Exactas, UNCPBA CALCULO NUMERICO
Errores
G.A. Canziani, M.V. Simoy
8
Las races son:
3
1
10
28 783 28 27.982 0.018
2
x

= =
3
2
10
28 783 55.982
2
x

= + =
Vemos que:
2
x tiene 5 dgitos
1
x tiene 2 dgitos se perdi informacin

Pero dado que:
1 2
1 x x =
1
2
1 1
55.982
x
x
= =
01786288 . 0 = con error relativo
5
10

< .

Luego, como ( ) 1 x x x r x r = + = + , tenemos finalmente que:
1
0.0178629 0.0000002 x = .


Frmula general de propagacin de error

Supongamos dada una funcin ( ) y x . Se puede estimar el error ( ) ( ) y y x y x = .
A partir de la derivada se tiene:
( ) ( ) ( )( ) y y x y x y x x x =




Podemos considerar
( )
1
,...,
n
y x x una funcin de n variables.
Si
1
,...,
n
x x son los valores aproximados entonces se puede estimar de igual forma
( ) ( )
1 1
,..., ,...,
n n
y y x x y x x =

Facultad de Ciencias Exactas, UNCPBA CALCULO NUMERICO
Errores
G.A. Canziani, M.V. Simoy
9
Teorema: Sea
( )
1
,...,
n
y x x una funcin de n variables reales. Si
1
,...,
n
x x son los
valores aproximados a los valores exactos
1
,...,
n
x x , entonces
( )
1
n
i
i i
y
y x x
x
=

y por lo tanto ( )
1
n
i
i
i
y
y x x
x
=

Demostracin:
Escribimos
( )
( )
( ) ( )
1
1
,...,
,...,
n
n
i i i
x x x
x x x
x x x
y y x y x
=
=
=
=

Derivamos la frmula desplazndonos de x a x en n pasos, cambiando una
coordenada por vez. Sean para 1 ,..., 2 , 1 = n i los vectores
( )
*
1 1
,..., , ,...,
i i i n
x x x x x
+
= y
*
n
x x =
Pasando de
*
1 i
x

a
*
i
x , la isima coordenada cambia de
i
x a
i
x y las otras coordenadas
no se modifican. Entonces aplicando el teorema del valor medio

( ) ( ) ( )( )
( )
* *
1 i i i i i
i
i i
i
y
y x y x x x
x
y
x x
x

Sumando las igualdades se obtiene:
( ) ( ) ( ) ( )
( ) ( ) ( )
* * * *
1
1

i i n
n
i
i i
y y x y x y x y x
y
y x y x x x i
x

=
= =

Lqqd.



Ejemplo: Calcular
2
1 2
y x x = siendo
1
2
1.03 0.01
0.45 0.01
x
x
=
=



Al calcular las derivadas parciales y evaluarlas en
1
x y
2
x se tiene:
Facultad de Ciencias Exactas, UNCPBA CALCULO NUMERICO
Errores
G.A. Canziani, M.V. Simoy
10
1
1
2 2.08
y
x
x

2
1 1
y
x

= =

( ) ( ) 2.08 0.01 1 0.01 0.031 y +
Entonces 1.061 0.450 0.032 y =
redondeo al tomar cuadrados
Si damos el resultado con 2 decimales
0.61 0.04 y =