Aproximacin y error

Las tcnicas numricas son aproximaciones a las soluciones cerradas analticas de los problemas.
Esas aproximaciones surgen de la utilizacin de modelos los cuales deben suministrar una buena
aproximacin, pero no estn excentos de contener desviaciones sistemticas o aleatorias. Las
primeras en general conducen a buscar un nuevo modelo que no contenga la desviacin sistemtica
mientras las desviaciones aleatorias podrn invalidar el modelo si no son sucientemente cercanas
a la solucin busada. Suele decirse que la solucin aproximada debe ser sucientemente exacta (el
valor promedio de varios intentos debe ser muy prximo al verdadero) y sucientemente precisa
(los diferentes intentos deben estar prximos entre si). Las tcnicas numricas requieren que se
identiquen, cuantiquen y minimicen los errores.
En los mtodos numricos se van a distinguir, por su origen, principalmente tres tipos de errores:
errores inherentes: debidos a la variabilidad de los fenmenos caracterizados por cantidades
fsicas medidas, las cuales son afectadas por la incerteza
errores de corte y redondeo: se originan porque las computadoras almacenan solo un
nmero nito de cifras signicativas de un nmero
errores de truncamiento: se producen al reemplazar una formulacin matemtica exacta
por una aproximacin numrica.
ERROR ABSOLUTO (E) es la diferencia o distancia que hay entre dos resultados donde uno
de ellos es el verdadero V
v
y otro valor aproximado V
a
.
E = V
v
V
a
La denicin dada tiene como defecto que no tiene en cuenta la magnitud de la cantidad, por lo cual
no se tiene una idea clara de la importancia del error en lo que se est calculando o midiendo. Para
que el error reeje su importancia se normaliza su valor respecto del valor verdadero obteniendo el
error relativo:
e =
E
V
v
=
V
v
V
a
V
v
el error relativo suele ser expresado como porcentaje (%). Hay casos en que el valor verdadero es
conocido, porque se tiene la solucin matemtica exacta, pero en la mayora de los casos en los
cuales se utilizan tcnicas numricas se desconoce el valor verdadero, en estos casos se reemplaza
al valor verdadero por la mejor aproximacin con que se cuente obteniendose un error relativo
aproximado.
En trminos generales no interesa el signo del error (positivo si es por exceso y negativo si fuera
por defecto) y en general se trabaja con el valor absoluto del error relativo y se busca sea menor
que un cierto error e
as
(que permita obtener n cifras signiticativas no afectadas por el error) valor
en general jado por el usuario:
[e[ < e
as
= 0:5 10
2n
Errores de corte y redondeo
Este tipo de error se debe a la discrepancia que se origina por omitir cifras signicativas. Las
computadoras guardan un nmero jo (nito) de cifras signicatiavas, por lo cual los nmeros
irracionales y muchos reales y an racionales no tienen una representacin exacta. Esto adems es
1
s
16 bits
afectado porque las computadoras trabajan en base 2 y no simpre es posible representar nmeros
exactos de la base 10 en la base dos con un limitado nmero de dgitos.
La unidad bsica de informacin se denomina palabra y est formada por una cadena de dgitos
binarios (0,1) denominados bits.
Sistema numrico
Un sistema numrico es una convencin para representar cantidades. Debido a que los seres
humanos tenemos 10 dedos en las manos y otros tantos en los pies es que el sistema decimal o de
base diez es el ms utilizado pero hay otros como el binario, el sexagesimal, etc.. Si la cantidad a
representar es grande, se utiliza una combinacin de dgitos donde la magnitud est dada por la
posicin o valor de lugar.
Por ejemplo, si tenemos que representar un nmero 12528 en la base diez tendremos:
12528 = 1 10
4
+ 2 10
3
+ 5 10
2
+ 2 10
1
+ 8 10
0
= 10000 + 2000 + 500 + 20 + 8
= 12528 (base diez)
y el nmero 75 en la base dos:
75 = 1 2
0
+ 1 2
1
+ 0 2
2
+ 1 2
3
+ 0 2
4
+ 0 2
5
+ 1 2
6
= 1 + 2 + 0 + 8 + 0 + 0 + 64
= 1001011 (base dos)
Representacin de nmeros enteros en una computadora (integer de Fortran)
Un nmero entero de 16 bits guarda en el primer bit s el signo del nmero y en los restantes 15
lugares el nmero. Si el primer valor es un cero el nmero es positivo pues (1)
s
= (1)
0
= 1 si el
primer bit es uno entonces el nmero es negativo ya que (1)
s
= (1)
1
= 1. El mnimo nmero
entero posible de representar estar dado por dieciseis unos:
Z
min
= 1 2
14
+ 1 2
13
+ 1 2
12
+ 1 2
11
+ 1 2
10
+ 1 2
9
+ 1 2
8
+ 1 2
7
+1 2
6
+ 1 2
5
+ 1 2
4
+ 1 2
3
+ 1 2
2
+ 1 2
1
+ 1 2
0
Z
min
= 32767
El mximo valor posible de tepresentar estar dado por un cero seguido de 15 unos, pero estaramos
teniendo en cuenta 0, que carece de sentido, por lo cual se adopta:
32768 _ Z _ 32767
Representacin en punto otante (real de Fortran)
2
s
n bits
k bits
e
s
k bits
e mantisa exponente
Esta representacin se utiliza para los nmeros reales y para los enteros que se encuentran fuera
del rango. Para representar un nmero en punto otante primero se lo normaliza, es decir se corre
la coma (punto) decimal de modo tal que la parte entera sea 0 y el primer dgito decimal sea ,= 0
y simutaneamente se adeca el exponente con lo cual la cantidad se expresar:
m b
e
0:d
1
d
2
d
3
:::d
k
b
e
1 _ d
1
_ 9 (por la normalizacin)
0 _ d
i
_ 9 con i = 2::k
donde m es la mantisa (fraccionaria) que est formada por los dgitos d
1
a d
k
, b es la base del
sistema numrico y e el correspondiente exponete (entero). Si la base es diez entonces:
0:d
1
d
2
d
3
:::d
k
10
n
1 _ d
1
_ 9 0 _ d
i
_ 9
Una variable real (kind=4) (single precision) utiliza 32 bits para representar cantidades, 1 bit
para el signo del nmero (s), 8 dgitos para el exponente (k
e
= 8) -el primero para el signo del
exponente (s
e
)- y 23 bits para la mantisa (k = 23) (en el rango 1:17549435 10
38
a 3:40282347
10
38
corresponde a cantidades con 7 dgitos). Una variable real (kind=8) (double precision) utiliza
64 bits para representar cantidades, 1 bit para el signo del nmero, 11 dgitos para el exponente
(k
e
= 11) -el primero para el signo del exponente- y 52 bits (k = 52) para la mantisa (en el rango
2:2250738585072013 10
308
a 1:7976931348623158 10
308
corresponde a cantidades con 15 dgi-
tos).
IMPORTANTE se cuenta con un rango limitado para representar cantidades, si el nmero es
ms grande que el que se puede representar se tiene un error de desbordamiento conocido como
overow y si es ms pequeo que el ms pequeo que es posible de representar se produce un error
de underow (tambin conocido como agujero alrededor del cero). Adems hay un nmero nito
jo de cantidades que pueden representarse dentro de cada rango
_
10
n
; 10
n+1

lo que lleva a que se

tiene un grado de presicin limitado. El intervalo entre dos nmeros consecutivos diferentes posibles
de ser representados aumenta cuando crece la magnitud de la cifra, esto permite guardar una cierta
cantidad de dgitos signicativos y los errores cometidos al representar la cifra son proporcionales
a la magnitud de la misma.
Si se utilizan k cifras decimales y truncamiento para la representacin en la mquina de un
nmero x
x = 0:d
1
d
2
:::d
k
d
k+1
:::d
m
10
n
su representacin en punto otante ser
fl(x) = 0:d
1
d
2
:::d
k
10
n
El error relativo de represenacin del nmero x entonces ser:
3
e =
[x fl(x)[
[x[
=
[0:d
1
d
2
:::d
k
d
k+1
:::d
m
10
n
0:d
1
d
2
:::d
k
10
n
[
[0:d
1
d
2
:::d
k
d
k+1
:::d
m
10
n
[
=

0:d
k+1
d
k+2
:::d
m
10
nk

[0:d
1
d
2
:::d
k
d
k+1
:::d
m
10
n
[
=
_
[0:d
k+1
d
k+2
::: [
[0:d
1
d
2
:::d
k
d
k+1
:::[
_
10
k
Como d
1
,= 0 el mnimo valor del denominador es 0:1. El numerador podr ser como mximo
0:99999::: con lo cual el numerador tendr como cota superior 1. En consecuencia
e =
[x fl(x)[
[x[
_
1
0:1
10
k
= 10
1k
con lo cual se tiene, para una base b; que el valor absoluto de la mantisa estar limitado al rango:
1
b
_ m < 1
Debido a la normalizacin de los nmeros represenados en punto otante y a que en cada rango
hay un nmero nito jo de cantidades diferentes posibles de ser representadas, se tiene que los
errores relativos de represenacin estn acotados, por las siguientes expresiones:
[x[
[x[
< por corte
[x[
[x[
<

2
por corte y redondeo
siendo el valor conocido como epsilon de la mquina, el cual puede calcularse como:
= b
1t
donde b es la base del sistema numerico de la mquina (2) y t es el nmero de dgitos signicativos
de la mantisa (depende de la mquina y del tipo de variable seleccionado).
Los errores en la representacin de cantidades tienen aplicaciones prcticas en mtodos numri-
cos, ya que pueden dar lugar a problemas como los siguientes:
si se busca la igualdad de nmeros en punto otante: ya que puede que no se cumpla nunca,
si el error admitido para la convergencia de un proceso es muy pequeo puede que no se
pueda obtener
En ambos casos se pueden tener problemas si la nalizacin de un proceso iterativo es alguno
de los casos mencionados. Estos problemas pueden superarse si en vez de preguntar por la igualdad
se pregunta si la diferencia de dos cantidades es menor que una tolerancia y en el caso de tener que
establecer criterios de convergencia o de nalizacin de un proceso iterativo utilizar algn criterio
que este formulado a partir del epsilon de la mquina.
Cuando lel error de redondeo es crtico, debe utilizarse precisin extendida (o doble precisin)
lo cual requiere de mayor espacio para el almacenamiento, se alargan los tiempos de ejecucin de
los programas por ser mayor el nmero de cifras a tratar por lo cual debe utilizarse solo cuando
maximice la precisin y minimece el tiempo de ejecucin.
4
Manipulacin de nmeros. Propagacin de errores
Las manipulaciones aritmticas de los nmeros en una computadora pueden introducir errores
adicionales de redondeo, en especial para las operaciones realizadas con cantidades representadas
en punto otante.
Para las operaciones de suma y resta, el procedimiento que se realiza es el siguiente: se modica
la mantisa del nmero con menor exponente de modo que ambos tengan el mismo exponente (de este
modo coinciden los valores de posicin de los digitos de ambas cantidades) utilizando 2k dgitos
para ambas mantisas. Se suman (restan) las mantisas se normaliza el resultado (sin olvidar de
modicar el exponente si fuera necesario correr el punto decimal) y se corta el mismo a k dgitos
para ser almacenado.
Para el producto y el cociente de dos cantidades el procedimiento para realizar la operacin es:
los exponentes se suman (producto) o restan (cociente) y se multiplican o dividen las mantisas, uti-
lizando para ello 2k dgitos para el resultado, se normaliza el resultado (con las mismas precauciones
que para la suma y resta) y se corta la mantisa del resultado a k dgitos para almacenarlo.
Con este procedimiento se conserva la mayor cantidad posible de dgitos signicativos.
En lo que sigue se utilizar la siguiente nomenclatura:
a, b: valores verdaderos de las cantidades
a,

b: valores aproximados a las cantiades a y b
s, r, p, c: valores exactos de las operaciones de suma, resta, producto y cociente respectivamente
s, r, p, c: valores aproximados a los resultados de las operaciones de suma, resta, producto y
cociente respectivamente
Propagacin del error en la suma: los ltimos dgitos del nmero ms pequeo se perdern
y en ocasiones puede resultar que no se sume. Para a _ 0 y b _ 0:
s = a + b
s = a +

b
el error absoluto
E
s
= s s
= (a + b)
_
a +

b
_
= (a a) +
_
b

b
_
= E
a
+ E
b
+ E
a+b
donde E
a+b
es el error cometido al representar el resultado de la suma.
El error relativo ser
e
s
=
E
s
s
=
s s
s
=
E
a
+ E
b
+ E
a+b
s
=
E
a
a
a
s
+
E
b
b
b
s
+
E
a+b
s
e
s
= e
a
a
s
+ e
b
b
s
+
E
a+b
s
(1)
como el error relativo de representacin de las cantidades est acotado por el epsilon de la mquina
([x[ = [x[ _ ), entonces los errores relativos estn acotados por el epsilon de la mquina, a saber:
e
a
=
a a
a
_
[a a[
[a[
_
5
e
b
=
b

b
b
_

[b[
_
E
a+b
s
_
[E
a+b
[
[s[
_
reemplazando en (1) estas ltimas expresiones y teniendo en cuenta que son valores absolutos y
adems cotas, se obtiene:
[e
s
[ _

e
a
a
s
+ e
b
b
s
+
E
a+b
s

e
a
a
s

e
b
b
s

E
a+b
s

[e
s
[ _ [e
a
[

a
s

+[e
b
[

b
s

E
a+b
s

a
s

b
s

+
la cota del error relativo para la suma entonces:
[e
s
[ _
_

a
s

b
s

+ 1
_
_ 3
Propagacin del error en la resta: cuando se tienen dos cantidades muy parecidas puede
resultar en una cancelacin.
r = a b
r = a

b
el error absoluto
E
r
= r r
= (a b)
_
a

b
_
= (a a)
_
b

b
_
= E
a
E
b
+ E
ab
donde E
ab
es el error cometido al representar el resultado de la resta.
El error relativo ser
e
r
=
E
r
r
=
r r
r
=
E
a
E
b
+ E
ab
r
=
E
a
a
a
r

E
b
b
b
r
+
E
ab
s
e
s
= e
a
a
r
e
b
b
r
+
E
ab
r
(2)
como el error relativo de representacin de las cantidades esta acotado por el epsilon de la mquina
e
a
=
a a
a
_
[a a[
[a[
_
e
b
=
b

b
b
_

[b[
_
E
ab
r
_
[E
ab
[
[r[
_
6
reemplazando en (2) estas ltimas expresiones, se obtiene:
[e
r
[ _

e
a
a
r
e
b
b
r
+
E
ab
r

e
a
a
r

e
b
b
r

E
ab
r

[e
r
[ _ [e
a
[

a
r

+[e
b
[

b
r

E
ab
r

a
r

b
r

+
la cota del error relativo para la resta entonces:
[e
r
[ _
_

a
r

b
r

+ 1
_

Propagacin del error en el producto

p = a b
p = a

b
el error absoluto
E
p
= p p
a = a E
a

b = b E
b
E
p
= (a b)
_
a

b
_
= (a b) [(a E
a
) (b E
b
)]
= (a b) [(a b) aE
b
bE
a
+ E
a
E
b
] + E
ab
= aE
b
+ bE
a
+ E
a
E
b
+ E
ab
donde E
ab
es el error cometido al representar el resultado del producro. Por ser E
a
E
b
mucho ms
pequeo que los dems trminos suele no ser tenido en cuenta , entonces una aproximacin al error
ser:
E
p
aE
b
+ bE
a
+ E
ab
El error relativo para el producto:
e
p
=
E
p
p
=
p p
p
=
aE
b
+ bE
a
+ E
a
E
b
+ E
ab
p
=
aE
b
+ bE
a
+ E
a
E
b
+ E
ab
a b
=
E
b
b
+
E
a
a
+
E
a
a
E
b
b
+
E
ab
p
e
s
= e
a
+ e
b
+ e
a
e
b
+
E
ab
p
(3)
como el error relativo de representacion de las cantidades esta acotado por el epsilon de la mquina
e
a
=
a a
a
_
[a a[
[a[
_
7
e
b
=
b

b
b
_

[b[
_
E
ab
p
_
[E
ab
[
[p[
_
reemplazando en (3) estas ltimas expresiones, se obtiene:
[e
p
[ _

e
a
+ e
b
+ e
a
e
b
+
E
ab
p

_ [e
a
[ +[e
b
[ +[e
a
e
b
[ +

E
ab
p

[e
p
[ _ [e
a
[ +[e
b
[ +[e
a
[ [e
b
[ +

E
ab
p

_ + +
2
+
la cota del error relativo para el producto entonces:
[e
p
[ _ 3 +
2
. 3
Propagacin del error en el cociente
c =
a
b
c =
a

b
el error absoluto
E
c
= c c
a = a E
a

b = b E
b
E
c
=
_
a
b
_

_
a

b
_
=
_
a
b
_

_
(a E
a
)
(b E
b
)
_
=
a (b E
b
) b (a E
a
)
b (b E
b
)
+ E
a=b
=
bE
a
aE
b
b (b E
b
)
+ E
a=b
donde E
a=b
es el error cometido al representar el resultado del cociente. Por ser b
2
bE
b
entonces
una aproximacin al error ser:
E
c

bE
a
aE
b
b
2
+ E
a=b
8
El error relativo ser
e
c
=
E
c
c
=
c c
c
=
bE
a
aE
b
b(bE
b
)
+ E
a=b
c
=
bE
a
aE
b
b (b E
b
)
_
a
b
_
1
+
E
a=b
c
=
bE
a
aE
b
b (b E
b
)
_
b
a
_
+
E
a=b
c
=
bE
a
aE
b
a b
_
1
E
b
b
_ +
E
a=b
c
=
bE
a
a b (1 e
b
)

aE
b
a b (1 e
b
)
+
E
a=b
c
=
e
a
e
b
(1 e
b
)
+
E
a=b
c
e
c
=
e
a
(1 e
b
)
+
e
b
(1 e
b
)
+
E
a=b
c
(4)
como el error relativo de representacin de las cantidades esta acotado por el epsilon de la mquina
e
a
=
a a
a
_
[a a[
[a[
_
e
b
=
b

b
b
_

[b[
_
E
a=b
c
_

E
a=b

[c[
_
reemplazando en (4) estas ltimas expresione, se obtiene:
[e
c
[ _

e
a
(1 e
b
)
+
e
b
(1 e
b
)
+
E
a=b
c

e
a
(1 e
b
)

e
b
(1 e
b
)

E
a=b
c

[e
c
[ _
[e
a
[
[(1 e
b
)[
+
[e
b
[
[(1 e
b
)[
+

E
a=b
c

[(1 e
b
)[ _ [1[ +[e
b
[ _ 1 +
1
[(1 e
b
)[
_
1
[1[ [e
b
[
_
1
1
[e
c
[ _
[e
a
[
[1[ [e
b
[
+
[e
b
[
[1[ [e
b
[
+

E
a=b
c

_

1
+

1
+
la cota del error relativo para el cociente entonces:
[e
c
[ _
3
2
1
_
3
1
9