H.

Scaletti - Mtodos Numricos: Introduccin 1 - 1

1. Algunas Ideas Generales sobre Mtodos Numricos
1.1 Introduccin
En ciencia y tecnologa son comunes los problemas para los que no es posible hallar una
solucin analtica. Es frecuente entonces reducir el problema a un caso particular, o
simplificar el modelo de modo que pueda ser analizado. Hay, sin embargo, situaciones
en que un modelo simplificado no es apropiado para describir los aspectos que son
importantes en el comportamiento. Se recurre entonces a soluciones numricas. La
magnitud del trabajo es funcin de la precisin que se requiere. En los ltimos 50 aos,
gracias a las computadoras digitales, las posibilidades para utilizar eficientemente los
mtodos numricos han aumentado enormemente; y los puntos de vista con relacin a
ellos han ciertamente cambiado.
En la mayor parte de los mtodos numricos se aplican ideas relativamente simples.
Una idea frecuente es la de iteracin, es decir, la repeticin de un proceso en forma tal
que se obtienen cada vez mejores aproximaciones a la solucin. Para ilustrar el uso de
iteraciones considrese la solucin de c x =
3
. En este caso x es la raz cbica de c .
Esta ecuacin puede reescribirse como:

+ =
2
2
3
1
x
c
x x
Empezando con la aproximacin inicial 0
0
x x , se puede iterar con:

+ =
+
2
1
2
3
1
n
n n
x
c
x x
Esta es una aplicacin del conocido mtodo de Newton para hallar races de una
ecuacin no lineal. Por ejemplo, para el caso 2 = c (es decir 2
3
= x ) y con 1
0
= x se
obtienen:
333 . 1
) 1 (
2
1 2
3
1
2 1
=

+ = x
889 263 . 1
) 333 . 1 (
2
333 . 1 2
3
1
2 2
=

+ = x
y as sucesivamente:
450 493 933 1.259
3
= x
18 0 50 0 921 1.259
4
= x
895 049 921 1.259
5
= x
Una interpretacin geomtrica de la
iteracin se muestra en la figura.
0
0.5
1
1.5
2
2.5
3
0 0.5 1 1.5 2 2.5 3 x
y

Puede en este caso probarse que el proceso converge siempre, para cualquier seleccin
de x
0
. Si x
n
tiene t dgitos correctos, x
n+1
tendr por lo menos 2t 1 dgitos correctos.
Sin embargo, no todos los procesos iterativos funcionan. Por ejemplo, podra escribirse
2
1
2
n n
x x =
+
, lo que produce resultados alternados y obviamente no converge.
x y =

) / 2 2 (
2
3
1
x x y + =

H. Scaletti - Mtodos Numricos: Introduccin 1 - 2
Otra idea frecuente es la de aproximar localmente una funcin complicada por una
funcin lineal (o quizs parablica u otra relativamente simple). Esto es lo que se hace
al interpolar entre dos lneas de una tabla, o en procesos tales como el mtodo de
Newton Raphson para mejorar la aproximacin a una raz de una funcin 0 ) ( = x f , la
integracin de una funcin por el mtodo de los trapecios, la solucin de una ecuacin
diferencial ) , ( y x f y = por el mtodo de Euler, por citar slo algunos de los mtodos ms
conocidos.
En muchos casos se obtiene un conjunto de resultados en una sucesin de etapas, para
cada una de las cuales se consideran como datos los resultados de la etapa anterior.
Tales procesos se denominan de recursin. Son muy poderosos, pero deben ser
utilizados con propiedad. La Regla de Horner para evaluar un polinomio tal como
n n
n n
a x a x a x a x p + + + + =

1
1
1 0
) ( K proporciona un ejemplo simple de recursin. El
polinomio p(x) puede evaluarse realizando las operaciones:
0
0
= p
0 0 1
a x p p + =
M
1 1 2
a x p p + =

) (
1
x p a x p p
n n n
= + =


La acumulacin de errores en un proceso de este tipo puede ser importante.
El ejemplo siguiente ilustra tambin el uso de una recursin y el fenmeno conocido
como inestabilidad numrica. Supngase que se requiere calcular, para n = 0, 1, 2, ...

+
=
1
0
5
dx
x
x
y
n
n

Puede observarse que los valores de y
n
decrecen con n. Adems:
n
dx x dx
x
x x
dx
x
x
dx
x
x
y y
n
n n n
n n
1
5
) 5 (
5
5
5
5
1
0
1
1
0
1
1
0
1
1
0
1
= =
+
+
=
+
+
+
= +

y por lo tanto: y
n
= 1/n 5y
n-1
. Esta expresin podra permitir determinar los sucesivos
y
n
a partir de un valor inicial, como y
0
. Sabiendo que:
( ) [ ] 182 . 0
5
6
5
5
1
0
1
0
0

= + =
+
=

Ln x Ln dx
x
x
y
n

Se obtienen (en todos los clculos de este ejemplo se han considerado slo tres cifras
significativas):
182 0
0
. y
090 0 5 1
0 1
. y y =
050 . 0 5
1 2
1
2
= y y
083 . 0 5
2 3
1
3
= y y Sorprendente que se obtenga y
3
> y
2
!
165 . 0 5
3 4
1
4
= y y Absurdo!
L 03 . 1 5
4 5
1
5
= y y
Los malos resultados se deben a que las aproximaciones y el uso de un nmero finito de
dgitos introducen errores, que se propagan a etapas posteriores del clculo. La forma
H. Scaletti - Mtodos Numricos: Introduccin 1 - 3
en que estos errores se propagan (o disipan) es decisiva en la utilidad de un mtodo
numrico dado.
En el proceso utilizado, un pequeo error en y
o
se multiplica por 5 en el clculo de
y
1
. Sin tener en consideracin los errores introducidos en los redondeos de este paso, se
produce un error de 25 en y
2
. El resultado del paso k est afectado por el error inicial
multiplicado por (-5)
k
. A esto deben agregarse los efectos de los errores introducidos en
todos los pasos intermedios. Si se hubieran utilizado ms cifras decimales en los
clculos, los resultados absurdos habran tambin aparecido, aunque un tanto ms
adelante en el proceso. La inestabilidad numrica puede evitarse seleccionando un
algoritmo ms adecuado. As, utilizando la frmula en la otra direccin:

=
n
y
n
y
1
5
1

1 - n

el error queda dividido por 5 en cada paso. Sabiendo que y
n
decrece cuando n crece,
pueden iniciarse los clculos con algo tan pobre como 0
10
= y , obtenindose:
( ) 020 . 0 0
10
1
5
1
9
= = y
( ) 019 . 0
9 9
1
5
1
8
= y y
( ) 021 . 0
8 8
1
5
1
7
= y y
( ) 025 . 0
7 7
1
5
1
6
= y y
y as sucesivamente:
y
5
0.028
y
4
0.034
y
3
0.043
y
2
0.058
y
1
0.088
y
0
0.182 Correcto! (a pesar de la errada informacin inicial)
Sin embargo, no debe creerse que el utilizar frmulas al revs es el remedio para todos
los problemas numricos. Cualquier proceso que se plantee no ser siempre aplicable,
ni en todos los casos el ms efectivo.
1.2 Fuentes de Error
Los resultados numricos estn afectados por errores provenientes de diversas fuentes.
En primer lugar deben citarse errores en los datos, puesto que ellos son en general
resultado de mediciones o estimaciones imperfectas. Es de esperar que los errores
relativos en los resultados sean del mismo orden de magnitud (o menores) que aquellos
de los datos. Sin embargo, ste no siempre es el caso: se dice entonces que el
problema es mal condicionado, es decir, la solucin es muy sensible a pequeos
errores en los datos. Dificultades de este tipo pueden tambin no ser debidas a la
formulacin del problema, sino a un mal condicionamiento del mtodo numrico utilizado.
Un segundo grupo de errores es debido a simplificaciones en el modelo matemtico del
problema y a la truncacin de expresiones (series por ejemplo), cuyo objetivo es evitar
que la formulacin se complique ms all de lo que razonablemente puede manejarse.
-1
-0.5
0
0.5
1
1.5
0 1 2 3 4 5
n
Y
n creciente
n decreciente
H. Scaletti - Mtodos Numricos: Introduccin 1 - 4
Ms importantes desde el punto de vista de los mtodos numricos son los errores de
truncacin y redondeo. stos son funcin del procedimiento empleado y de las
caractersticas de operacin de la computadora. La mayor parte de las computadoras
trabajan internamente con sistemas de numeracin binarios, octales o hexadecimales y
tienen dos tipos de aritmtica: de punto fijo (o enteros) y de punto flotante (o reales).
La aritmtica de punto fijo es exacta, pero est limitada a nmeros enteros y a un rango
pequeo. En consecuencia, la mayor parte de las operaciones se efectan con la
aritmtica de punto flotante. En la aritmtica de punto flotante la representacin interna
de un nmero es de la forma:
q
m a 10 = , donde mes la mantisa y q el exponente.
Slo se almacenan t cifras (en base b ) de la mantisa, y por lo tanto cualquier nmero
puede ser representado con un error relativo que no excede
1
2
1
t
b (habitualmente entre
10
-6
y 10
-15
). Para q se usa un nmero finito de posiciones de memoria y en
consecuencia existe un rango aceptable (en general muy grande) para los nmeros con
punto flotante.
Las operaciones aritmticas en punto flotante tienen propiedades algo diferentes de
aquellas correspondientes en la aritmtica exacta. As por ejemplo, la suma (o resta)
no es estrictamente asociativa.
0
10 1234567 . 0 = a
4
10 123567 . 0 = b
b c =

El esquema siguiente indica como se efecta la suma en punto flotante:
4
10 1234567 . 0 b

4
10 0000123 . 0 a (las cuatro cifras finales se recortan)
4
10 1234690 . 0 + b a

4
10 1234567 . 0 c

( ) 1230000 . 0 10 0000123 . 0
4
= + + c b a

mientras que
0
10 1234567 . 0 ) ( = + + a c b . El orden de las operaciones s afecta los
resultados.
Esto es vlido tambin para operaciones de otro tipo. Por ejemplo, las races de
0 2
2
= + + c bx x podran obtenerse de: c b b x =
2
. Sin embargo el proceso
alternativo (y tericamente equivalente):
c b b signo b x =
2
1
) (
1
2
x
c
x =
tiene mucho menos acumulacin de error, especialmente cuando c es pequeo, porque
evita la resta de dos nmeros del mismo orden de magnitud. Considrese, por ejemplo,
la ecuacin: 0 1 64
2
= + x x . Trabajando con 5 cifras significativas:
3
2
1
1
10 984 . 63 984 . 31 32 1023 32

= + + = x
3
2
1
2
10 016 . 0 984 . 31 32 1023 32

= = x
H. Scaletti - Mtodos Numricos: Introduccin 1 - 5
El error relativo en
2
x es muy grande. La resta se ha hecho en forma exacta; la causa
del error est ms bien en el redondeo previo de la raz cuadrada. Si en cambio se toma
1 2
1 x x = se obtiene:
0000005 . 0 015629 . 0
10
2
1
984 . 63
1
3
2
=

=

x
con un error relativo del mismo orden que el de
1
x
.

Finalmente, deben mencionarse errores humanos y errores de la computadora. Estos
ltimos son prcticamente inexistentes, los primeros son en cambio la causa de muchos
resultados inesperados.