Ral guila Fumey

INTRODUCCIN A LA TEORIA DE ERROR

Introduccin
Al abordar un problema por mtodos numricos, debemos tener presente tres aspectos:
i)
Entender el problema a resolver
ii)
Elegir en mtodo para resolverlo
iii)
Analizar el resultado, esto es, la respuesta es la esperada?
Para el primer punto consideremos el siguiente ejemplo:
Se desea inscribir un rectngulo de rea mxima en la regin R del primer cuadrante en
IR 2 limitada por los ejes coordenados y la curva y = sen(1 x ) . Determine sus
dimensiones.
1 cos( x)
Para el tercer punto consideremos la funcin f ( x) =
, sea x0 = 0.00001 .
x2
Calcular f ( x0 ) . Al usar para el calculo las calculadoras Casio: fx-82ms, fx-115ms, o fx570ms, se obtiene como resultado 0 (cero). Sin embargo el verdadero valor es 0.5.
Indicacin calcule lim f ( x)
x 0

Otro ejemplo, usando aritmtica de 6 dgitos calcular f (500) en que

f ( x) = x ( x + 1 x ) ,
Compare con la expresin equivalente (racionalizada).
Finalmente consideremos la ecuacin de segundo grado ax 2 + bx + c = 0 . Se tienes
que sus soluciones estn dadas por:

x1 =

b + b 2 4ac
y
2a

x2 =

b b 2 4ac
2a

Usando aritmtica de 4 dgitos calcule las soluciones de la ecuacin x 2 + 62.10 x + 1 = 0

Haga lo mismo pero con las formulas equivalentes (racionalizadas). Compare los
resultados.
Nota las soluciones aproximadas de la ecuacin son: x1 = 0.01610723 y x 2 = 62.08390
Definiciones.

Sea x IR y ~
x una aproximacin de x . Se define:
~
e x = x x Error absoluto
x~
x
, x 0 Error relativo
x =
x

Dgitos significativos:
Sea ~
x = 0.a1 a 2 .........a 10 , Z , 0 ai 9 i = 1,2,....... a1 0 una aproximacin de
x . Si existe m 1 m tal que:
x~
x 0.5 10 m . (*)
~
x es una aproximacin de al menos m dgitos significativos (D. S.). Si (*) no vale para
( m + 1) , la aproximacin es de m D. S.
22
Ejemplo1.Cuantos dgitos significativos tiene
como aproximacin de ?
7
Resp. 3 D.S.
Ejemplo 2. Cuantos dgitos significativos tiene 0.02138 como aproximacin de 0.02144?
Resp. 2 D.S.

FUENTES DE ERROR
I)
II)
III)
IV)

Error inherente: se produce por la idealizacin del modelo, por problemas en las
mediciones, etc.
Error de redondeo,
Error por perdida de dgitos significativos: se produce al restar trminos muy
parecidos
Error de Truncacin y/o discretizacin, se produce al hacer finitos procesos que
no lo son

REPRESENTACIN DE NUMEROS: FORMA DE PUNTO FLOTANTE

x = a 10 b , a < 1 b Z

a : mantisa
b : exponente
Forma normalizada:
x = a 10 b

10 1 a < 1

Largo de palabra de cada mquina: n = t + e

En que t es la cantidad de lugares para la mantisa y e lugares para el exponente
A : Conjunto de Nmeros Mquinas, definidos por t y e . Es un conjunto no cerrado

Si x A , rd ( x ) A debe cumplir:

x rd ( x) x g , g A

Para una mquina con t dgitos en la mantisa, si x A , rd ( x ) A , se puede definir como

sigue:
Primero se normaliza: x = a 10 b
Si la parte decimal de x es

10 1 a < 1

a = 0.a1 a 2 ..........at .......

Hacemos:

si at +1
0.a1 a 2 ......at ,
a' =
t
si
0.a1a 2 .......a t + 10 ,

4
at +1 5

Se define:
~
rd ( x ) = Sig ( x) a '10 b
Propiedades.

Para una mquina con t lugares para la mantisa y e lugares para el exponente se tiene:
~
i) x rd ( x ) 0.5 10 et
~
x rd ( x )
ii)
0.5 10 t +1 = 5 10 t eps
x

(Esto significa que x esta correctamente redondeado)

~
Si no ocurren errores de bajo flujo o sobre flujo rd ( x ) = rd ( x )

rd : IR A
rd ( x) = x(1 + ),

eps

ARITMTICA DE PUNTO FLOTANTE

Sean x, y A , se define:

x + * y = red ( x + y ) = ( x + y )(1 + 1 )
x * y = red ( x y ) = ( x y )(1 + 2 )
x * y = red ( x y ) = ( x y )(1 + 3 )
x /* y = red ( x / y ) = ( x / y )(1 + 4 )
En que * es la operacin en la mquina y i eps , i = 1,2,3,4

Observacin. Estas operaciones en la mquina no heredan las propiedades de las

operaciones en IR

La operacin suma no es cerrada, en A, lo mismo con las otras operaciones

La suma no es asociativa, en efecto para t = 8 considere:
a = 0.23371258 10 4 , b = 0.33678429 10 2 , c = 0.33677811 10 2
Respuesta
a + *(b + *c) = 0.64137126 10 3

(a + *b) + *c = 0.64100000 10 3

Otro Ejemplo es:

x + * y = x si y <

eps
x,
base

x, y A

PROPAGACIN DEL ERROR

Funcionalmente un problema consiste en resolver ( x ) = y para alguna funcin

diferenciable
: D IR n IR m
Efecto en el error en la entrada de datos
Debido al redondeo y aritmtica de punto flotante, en lugar de calcular ( x ) = y , se
obtendr ( ~
x) = ~
y . Nos interesa estimar los errores:

eyj
En que j ( x) = y j ;

~
yj yj

, yj 0

yj

j ( ~x ) = ~y j
x se tiene:

Por Taylor en torno a

n

j ( x)

i =1

xi

j ( ~x ) j ( x) = e y =
j

=~
yj yj

e xi , j = 1,2,.......m
y = D ( x) x

De donde:

n
j ( ~x ) j ( x)
x j ( x)
= y = i
x , j = 1,2,......m
j ( x)
xi
i =1 j ( x )
j

Definicin: condicionamientos numricos del problema ( x ) = y

Aij =

xi j ( x)
, i = 1,2,....n; j = 1,2,....m ,
j ( x ) xi

Definicin El problema ( x) = y se dice que esta bien condicionado si todos los

condicionamientos numricos son pequeos. En caso contrario, se dice mal condicionado.

Ejemplos:
1.- Considere la formula de Bazin para canales abiertos la cual da la rapidez V del flujo
dependiendo de: p que corresponde a la pendiente del canal; m a la rugosidad del material;
y r al radio hidrulico:
r p
V =
r + 2m
a) Calcule el factor de condicionamiento respecto de la rugosidad.
b) Para r = 1.56, p = 0.156 y m = 1.23 correctamente redondeados estime la
tolerancia porcentual de V sabiendo que los factores de condicionamientos
respectivos son C r 0.81; C p 0.5 .
Resp.
cm =
evaluado es c m 0.31

m V
m
=
V m
r + 2m

Tericamente el error relativo en V es aproximadamente:

V c p p + cr r + cm m
los datos estn correctamente redondeados y tienen tres dgitos, por lo cual:

p , r , m 5 10 3

V 5 10 3 c p + cr + cm = 5 10 3 ( 0.5 + 0.81 + 0.31 ) = 8.1 10 3

el error porcentual en V es menor que 0.81%

2.- Considere w = a + b + 1 + c . Para a > 0, b > 0, c > 0 , se trata de un problema bien

condicionado. Sin embargo en el dominio ubicado en los otros octantes no ocurre lo
mismo. Observe los siguientes resultados para diferentes datos y determine cual de todos,
es el dato que debera tener un factor de condicionamiento mayor, y estime el valor de este
factor para los datos.
SI:
c = 0.9000 b = 4.000
a = 2.000
w = 0.278484
c = 0.9001

b = 4.000

a = 2.000

w = 0.278416

c = 0.9000

b = 4.001

a = 2.000

w = 0.278916

c = 0.9000

b = 4.000

a = 2.001

w = 0.276683

Qu es lo que Ud. recomendara en caso de ser necesario trabajar con datos en ese sector
del octante?
Un algoritmo para resolver el problema ( x ) = y , descompone la funcin (x ) en la forma:

= ( r )  ( r 1)  ( r 2 ) 

 (1)  (0)

donde

(i ) : Di Di +1 IR n ; i = 0,1,2,......r
i +1

(i ) ( x (i ) ) = x (i +1)
ERROR PROPAGADO POR EL ALGORITMO
Y = D ( x)x + D (1) ( x (1) ) E1 x (1) +

+ D (r) ( x ( r ) ) E r x ( r ) + E r +1Y

Donde:

i : Di Di +1 i = 0,1,2,........r
(i ) = ( r )  ( r 1)   (i )
rd ( ( i ) (u )) = ( I + E i +1 ) (i ) (u )

Ei +1

2
=

ni +1

A diferencias de las asignaturas usuales de matemticas, el anlisis numrico construye

para resolver, con la precaucin de mantener controlado el error.

Ral guila Fumey