8

2 TIPOS DE MTODOS NUMRICOS

Existen dos estrategias para disear mtodos numricos y es importante conocer sus
caractersticas para elegirlos adecuadamente, as como su instrumentacin computacional

2.1 Mtodos iterativos
Estos mtodos incluyen frmulas que tienen la propiedad de producir un resultado ms cercano
a la respuesta a partir de un valor estimado previo. El resultado obtenido se puede usar
nuevamente como valor previo y continuar mejorando la respuesta. Los mtodos iterativos se
acercan a la respuesta mediante aproximaciones sucesivas.

Para usar estos mtodos deben considerarse algunos aspectos tales como la eleccin del valor
inicial, la propiedad de convergencia de la frmula y el criterio para terminar las iteraciones.

Estos mtodos son auto-correctivos. La precisin de la respuesta est dada por la distancia entre
el ltimo valor calculado y la respuesta esperada. Este es el error de truncamiento.

El siguiente grfico describe la estructura de un mtodo iterativo



Cada ciclo se denomina iteracin. Si la frmula converge, en cada iteracin la respuesta estar
ms cerca del resultado buscado. Aunque en general no es posible llegar a la respuesta exacta,
se puede acercar a ella tanto como lo permita la aritmtica computacional del dispositivo de
clculo.

Ejemplo. Instrumentar un mtodo iterativo para calcular la raz cuadrada r de un nmero real
positivo n mediante operaciones aritmticas bsicas

Mtodo Numrico

Se usar una frmula que recibe un valor estimado para la raz cuadrada y produce un valor ms
cercano a la respuesta. Si se usa repetidamente la frmula cada resultado tender a un valor
final que suponemos es la respuesta buscada. La obtencin de estas frmulas se realizar
posteriormente.

Sean x: valor estimado para la raz r
Frmula iterativa:
1 n
y (x )
2 x
= +

Algoritmo
1. Dado n
2. Elegir el valor inicial x
3. Calcular
1 n
y (x )
2 x
= +
4. Terminar si |x-y| es suficientemente pequeo
5. Asignar x a y. Regresar al paso 3
6. El ltimo valor x ser un valor aproximado para la raz r

9


Ejemplo. Calcular r = 7 con la frmula iterativa anterior

Usaremos x = 3 como valor inicial

Clculos en MATLAB

>> format long
>> n=7;
>> x=3;
>> y=0.5*(x+n/x)
y =
2.666666666666667
>> x=y;
>> y=0.5*(x+n/x)
y =
2.645833333333333
>> x=y;
>> y=0.5*(x+n/x)
y =
2.645751312335958
>> x=y;
>> y=0.5*(x+n/x)
y =
2.645751311064591
>> x=y;
>> y=0.5*(x+n/x)
y =
2.645751311064591

El ltimo resultado tiene quince dgitos decimales que no cambian, por lo tanto podemos suponer
que la respuesta tiene esa precisin. Se observa la rpida convergencia de la sucesin de
nmeros generad. Sin embargo es necesario verificar si la solucin es aceptable pues si los
nmeros convergen a un valor, no necesariamente es la respuesta correcta

>> y^2
ans =
7.00000000000000

Se comprueba que el ltimo valor calculado es la raz cuadrada de 7

Ejemplo. Suponer que se propone la siguiente frmula iterativa para el ejemplo anterior:
n
y 0.4(x )
x
= +

>> n=7;
>> x=3;
>> y=0.4*(x+n/x)
y =
2.133333333333334
>> x=y;
>> y=0.4*(x+n/x)
y =
2.165833333333333
>> x=y;
>> y=0.4*(x+n/x)
10


y =
2.159138258304477
>> x=y;
>> y=0.4*(x+n/x)
y =
2.160468969251076
>> x=y;
>> y=0.4*(x+n/x)
y =
2.160202499208563
>> x=y;
>> y=0.4*(x+n/x)
y =
2.160255780068987
.
.
.
>> x=y;
>> y=0.4*(x+n/x)
y =
2.160246899469289
>> x=y;
>> y=0.4*(x+n/x)
y =
2.160246899469287
>> x=y;
>> y=0.4*(x+n/x)
y =
2.160246899469287
>> y^2
ans =
4.66666666666666


La frmula converge pero el resultado final no es la raz cuadrada de 7. Esto plantea la
importancia de verificar la formulacin del mtodo numrico y la validacin de la respuesta
obtenida.

En general, los mtodos numricos se enfocan a resolver una clase o tipo de problemas. El
ejemplo anterior es un caso particular del problema general: la solucin de ecuaciones no
lineales f(x)=0



11


2.1.1 Convergencia de los mtodos iterativos

Es la propiedad que tienen las formulas iterativas de un mtodo numrico para producir
resultados cada vez ms cercanos a la respuesta esperada.

Definicin: Convergencia de un mtodo iterativo

Sean r : Respuesta del problema (valor desconocido)
X
i
: Valor calculado en la iteracin i (valor aproximado)

Si un mtodo iterativo converge, entonces

i
i
x r

.
.

2.1.2 Error de truncami ento

La distancia entre cada valor calculado con una frmula iterativa y la respuesta esperada se
denomina error de truncamiento. Si la frmula iterativa converge, la distancia entre valores
consecutivos se debe reducir y se puede usar como una medida para el error de truncamiento.

Definicin: Error de truncamiento

Sean r : Respuesta del problema (valor desconocido)
X
i
: Valor calculado en la iteracin i (valor aproximado)
X
i+1
: Valor calculado en la iteracin i + 1 (valor aproximado)
Entonces

i
E =r X
i
: Error de truncamiento en la iteracin i

i 1
E
+
=r X
i+1
: Error de truncamiento en la iteracin i + 1

2.1.3 Finalizacin de un proceso iterativo

Con la definicin de convergencia se puede establecer un criterio para finalizar el proceso
iterativo. Consideremos los resultados de dos iteraciones consecutivas:
i i+1
x , x

Si el mtodo converge,

i
i
x r

y tambin

i 1
i
x r
+


Restando estas dos expresiones:
i 1 i
i
x x 0
+

, se puede establecer un criterio de convergencia

Definicin: Criterio para fi nalizar un proceso iterativo (error absoluto)

Sea algn valor positivo arbitrariamente pequeo.
Si el mtodo converge, se cumplir que a partir de alguna iteracin i:
|X
i+1
- X
i
| < .


Este valor es el error de truncamiento absoluto y puede usarse como una medida para la
precisin de la respuesta calculada.

La precisin utilizada en los clculos aritmticos, debe ser coherente con el error de
truncamiento del mtodo numrico y con los errores inherentes en el modelo matemtico.

Adicionalmente, es necesario verificar que la respuesta final sea aceptable para el modelo
matemtico y para el problema que se est resolviendo.

12


Ejemplo. Se desea que la respuesta calculada para un problema con un mtodo iterativo tenga
un error absoluto menor que 0.0001. Entonces el algoritmo deber terminar cuando se cumpla
que |X
i+1
- X
i
| < 0.0001. Los clculos deben realizarse al menos con la misma precisin.

Para que el criterio del error sea independiente de la magnitud del resultado, conviene usar la
definicin del error relativo:

Definicin: Criterio para fi nalizar un proceso iterativo (error relativo)

Sea algn valor positivo arbitrariamente pequeo.
Si el mtodo converge, se cumplir que a partir de alguna iteracin i:
i 1 i
i 1
| x x |
| x |
+
+

< .

Este valor es el error de truncamiento rel ativo y puede usarse como una medida para la
precisin de la respuesta calculada, independiente de la magnitud de la respuesta. Para calcular
el error relativo se toma el ltimo valor como si fuese exacto.

Ejemplo. Se desea que la respuesta calculada para un problema con un mtodo iterativo tenga
un error relativo menor que 0.1%. Entonces el algoritmo deber terminar cuando se cumpla que

i 1 i
i 1
| x x |
0.001
| x |
+
+

< .


2.1.4 Eficiencia de un mtodo i terativo

Sean
i
E ,
i 1
E
+
los errores de truncamiento en las iteraciones i, i + 1 respectivamente. Se
supondr que estos valores son pequeos y menores a 1.

Si a partir de algn i esta relacin puede especificarse como |
i 1
E
+
| k |
i
E |, siendo k alguna
constante positiva menor que uno, entonces se dice que la convergencia es lineal o de primer
orden y k es el factor de convergencia. Se puede usar la notacin O( ) y escribir
i 1 i
E O(E )
+
=
para expresar de una manera simple esta relacin lineal.

Si en un mtodo esta relacin es ms fuerte tal como
2
i 1 i
E O(E )
+
= entonces el error se reducir
ms rpidamente y se dice que el mtodo tiene convergencia cuadrtica o de segundo orden.

Definicin: Orden de convergencia de un mtodo i terativo

Sean
i
E ,
i 1
E
+
los errores en las iteraciones consecutivas i, i + 1 respectivamente
Si se pueden relacionar estos errores en la forma:

n
i 1 i
E O(E )
+
=
Entonces se dice que el mtodo iterativo tiene convergencia de orden n.

Si un mtodo iterativo tiene convergencia mayor que lineal, entonces si el mtodo converge, lo
har ms rpidamente. .

2.1.5 Eleccin del valor inicial

Los mtodos iterativos normalmente requieren que el valor inicial sea elegido apropiadamente. Si
es elegido al azar, puede ocurrir que no se produzca la convergencia.

Si el problema es simple, mediante algn anlisis previo puede definirse una regin de
convergencia tal que si el valor inicial y los valores calculados en cada iteracin permanecen
en esta regin, el mtodo converge.
13


2.1.6 Preguntas

Conteste las siguientes preguntas

1. Por que el error de redondeo no debe ser mayor que el error de truncamiento?

2. Una ventaja de los mtodos iterativos es que son auto-correctivos, es decir que si se introduce
algn error aritmtico en una iteracin, en las siguientes puede ser corregido. cuando no
ocurrira esta auto-correccin?

3. El ejemplo del mtodo numrico para calcular 7 produce una secuencia numrica. Le
parece que la convergencia es lineal o cuadrtica?