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
2
IR limitada por los ejes coordenados y la curva ) 1 ( x sen y = . Determine sus
dimensiones.
Para el tercer punto consideremos la funcin
2
) cos( 1
) (
x
x
x f

= , sea 00001 . 0
0
= x .
Calcular ) (
0
x f . Al usar para el calculo las calculadoras Casio: fx-82ms, fx-115ms, o fx-
570ms, se obtiene como resultado 0 (cero). Sin embargo el verdadero valor es 0.5.
Indicacin calcule
0
) ( lim
x
x f
Otro ejemplo, usando aritmtica de 6 dgitos calcular ) 500 ( f en que

) 1 ( ) ( x x x x f + = ,
Compare con la expresin equivalente (racionalizada).

Finalmente consideremos la ecuacin de segundo grado 0
2
= + + c bx ax . Se tienes
que sus soluciones estn dadas por:

a
ac b b
x
2
4
2
1
+
= y
a
ac b b
x
2
4
2
2

=

Usando aritmtica de 4 dgitos calcule las soluciones de la ecuacin 0 1 10 . 62
2
= + + x x
Haga lo mismo pero con las formulas equivalentes (racionalizadas). Compare los
resultados.
Nota las soluciones aproximadas de la ecuacin son: 01610723 . 0
1
= x y 08390 . 62
2
= x

Definiciones.

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

x
x x
~

, 0 x Error relativo

Dgitos significativos:
Sea

10 ......... . 0
~
2 1
a a a x = , Z , 9 0
i
a ,....... 2 , 1 = i 0
1
a una aproximacin de
x . Si existe m 1 m tal que:
m
x x



10 5 . 0
~
. (*)
x
~
es una aproximacin de al menos m dgitos significativos (D. S.). Si (*) no vale para
) 1 ( + m , la aproximacin es de m D. S.
Ejemplo1.Cuantos dgitos significativos tiene
7
22
como aproximacin de ?
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) Error inherente: se produce por la idealizacin del modelo, por problemas en las
mediciones, etc.
II) Error de redondeo,
III) Error por perdida de dgitos significativos: se produce al restar trminos muy
parecidos
IV) Error de Truncacin y/o discretizacin, se produce al hacer finitos procesos que
no lo son

REPRESENTACIN DE NUMEROS: FORMA DE PUNTO FLOTANTE


b
a x 10 = , 1 < a Z b
a: mantisa
b : exponente

Forma normalizada:
b
a x 10 = 1 10
1
<

a

Largo de palabra de cada mquina: e t n + =
En que t es la cantidad de lugares para la mantisa y e lugares para el exponente

A: Conjunto de Nmeros Mquinas, definidos por e y t . Es un conjunto no cerrado

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

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


Primero se normaliza:
b
a x 10 = 1 10
1
<

a
Si la parte decimal de x es ....... .......... . 0
2 1 t
a a a a =

Hacemos:

=
+

+
5 , 10 ....... . 0
4 , ...... . 0
'
1 2 1
1 2 1
t
t
t
t t
a si a a a
a si a a a
a
Se define:
b
a x Sig x d r 10 ' ) ( ) (
~
=

Propiedades.

Para una mquina con t lugares para la mantisa y e lugares para el exponente se tiene:

i)
t e
x d r x

10 5 . 0 ) (
~

ii) eps
x
x d r x
t t
=

+
10 5 10 5 . 0
) (
~
1

(Esto significa que x esta correctamente redondeado)

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

eps x x rd
A IR rd
+ =

), 1 ( ) (
:



ARITMTICA DE PUNTO FLOTANTE

Sean A y x , , se define:

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


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 8 = t considere:
4
10 23371258 . 0

= a ,
2
10 33678429 . 0 = b ,
2
10 33677811 . 0 = c

Respuesta
3
10 64137126 . 0 ) * *(

= + + c b a
3
10 64100000 . 0 * ) * (

= + + c b a


Otro Ejemplo es:
x y x = +* si x
base
eps
y < , A y x ,

PROPAGACIN DEL ERROR

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

j j y
y y e
j
=
~
y
j
j j
j
y
y y
~
, 0
j
y
En que
j j
y x = ) ( ;
j j
y x
~
)
~
( =

Por Taylor en torno a x se tiene:

= =
n
i
x
i
j
y j j
i j
e
x
x
e x x
1
) (
) ( )
~
(

, m j ,....... 2 , 1 =

x x D y = ) (

De donde:
i j
x
i
j
n
i j
i
y
j
j j
x
x
x
x
x
x x

= =

=
) (
) ( ) (
) ( )
~
(
1
, m j ,...... 2 , 1 =

Definicin: condicionamientos numricos del problema y x = ) (

i
j
j
i
ij
x
x
x
x
A

=
) (
) (

, m j n i ,.... 2 , 1 ; ,.... 2 , 1 = = ,

Definicin El problema y x = ) ( 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:
m r
p r
V
2 +

=

a) Calcule el factor de condicionamiento respecto de la rugosidad.
b) Para 23 . 1 156 . 0 , 56 . 1 = = = m y p r correctamente redondeados estime la
tolerancia porcentual de V sabiendo que los factores de condicionamientos
respectivos son 5 . 0 ; 81 . 0
p r
C C .

Resp.
m r
m
m
V
V
m
c
m
2 +
=

=
evaluado es 31 . 0
m
c

Tericamente el error relativo en V es aproximadamente:

m m r r p p V
c c c + +

los datos estn correctamente redondeados y tienen tres dgitos, por lo cual:

3
10 5 , ,


m r p


( ) ( )
3 3 3
10 1 . 8 31 . 0 81 . 0 5 . 0 10 5 10 5

= + + = + +
m r p V
c c c

el error porcentual en V es menor que 0.81%



2.- Considere c b a w + + + = 1 . Para 0 , 0 , 0 > > > c b a , 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:

9000 . 0
9000 . 0
9001 . 0
9000 . 0
=
=
=
=
c
c
c
c

000 . 4
001 . 4
000 . 4
000 . 4
=
=
=
=
b
b
b
b

001 . 2
000 . 2
000 . 2
000 . 2
=
=
=
=
a
a
a
a

276683 . 0
278916 . 0
278416 . 0
278484 . 0
=
=
=
=
w
w
w
w


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 y x = ) ( , descompone la funcin ) (x en la forma:
(0) ) 1 ( ) 2 ( ) 1 ( ) (
=
r r r

donde
) 1 ( ) ( ) (
1
) (
) (
,...... 2 , 1 , 0 ; :
1
+
+
=
=
+
i i i
n
i i
i
x x
r i IR D D
i

ERROR PROPAGADO POR EL ALGORITMO

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

Donde:
) ( ) 1 ( ) ( ) (
1
,........ 2 , 1 , 0 :
i r r i
i i
i
r i D D

=
=

+

) ( ) ( )) ( (
) (
1
) (
u E I u rd
i
i
i

+
+ =

(
(
(
(
(

=
+
+
1
2
1
1
i
n
i
E

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