Capı́tulo 7.

Resolución numérica de ecuaciones no-lineales escalares 195

La función g2 es contractiva en I = (−∞, 0] ya

 
 −3  3
max |g (x)| = max 
 = .
x∈I x∈I (x − 2)2  4

Además g2 transforma I en un subconjunto de I. La sucesión generada por

las aproximaciones sucesivas, partiendo de x(0) = 4, es convergente a la única
raı́z que la ecuación tiene en I ya que, si bien x(0) = 4 no pertenece a I, a
partir de x(2) = −6 ya se encuentra en I.
La función g3 no es contractiva en ningún entorno de las raı́ces α = −1 o
α = 3. La sucesión generada por las aproximaciones sucesivas, partiendo de
x(0) = 4, es divergente hacia ∞. 

Teorema 29 (Estimación del error) Bajo las mismas hipótesis y nota-

ciones que en el teorema anterior, si ρ representa la constante definida por

ρ = max |g  (x)|,
x∈I

para x(0) ∈ I, se tiene la siguiente estimación

(k) ρk
|x − α| < |x(1) − x(0) |.
1−ρ

Demostración: Para todo k y m, tal que k < m, de la desigualdad triangular

del valor absoluto se deduce que

|x(k) − x(m) | ≤ |x(k) − x(k+1) | + |x(k+1) − x(k+2) | + · · · + |x(m−1) − x(m) |

≤ ρk |x(0) − x(1) | + ρk+1 |x(0) − x(1) | + · · · + ρm−1 |x(0) − x(1) |
ρm−k − 1 (0)
= ρk |x − x(1) |.
ρ−1
Si se hace tender m → ∞ manteniendo k fijo y se tiene en cuenta que
ρm−k → 0 y x(m) → α, se obtiene el resultado buscado. 

Ejercicio 78 Determinar un número suficiente de iteraciones que hay

que realizar en  (k) 2
x +3
x(k+1) = (k)
2x
para que converja a un punto fijo con 3 error
 menor de 10−5 , partiendo de un
punto arbitrario del intervalo I = 2 , 3 .
196 Introducción al Cálculo Numérico

Solución: Puesto que

 2 
x − 3 1
 
ρ = max |g (x)| = max   = < 1,
x∈I x∈I 2x2  3
y g(I) ⊂ I, un condición suficiente para que el error sea inferior a 10−5 es la
siguiente  
1  x(0) 2 + 3 
3k  (0) 
1  − x  < 10−5 .
1− 3 2x (0) 
Puesto que  
 x(0) 2 + 3 
 (0) 
 − x  ≤ 1,
 2x(0) 

para todo x(0) ∈ I, se tiene que la condición

5 ln 10 − ln 2 + ln 3
k> ≈ 10.8486,
ln 3
es suficiente para garantizar la precisión deseada. 

7.4 Velocidad de convergencia

La convergencia de un método no es el único aspecto que se analiza cuando
se está decidiendo sobre el procedimiento a utilizar para resolver una ecuación
no-lineal. Evidentemente, la rapidez de un método parece una propiedad muy
deseable, si bien, la afirmación de que un método es rápido ó lento es algo que
resulta muy impreciso y que serı́a necesario matizar y cuantificar. Es posible
establecer algunos criterios con los que comparar la rapidez de los algoritmos
en base a los que se podrı́an después ordenar las preferencias por un método.
Estos criterios se basan en el análisis del comportamiento de la sucesión de
errores
{|e(k) |} = {|x(k) − α|}.
Se dice que una sucesión {ε(k) } de números positivos converge a 0 con
orden de convergencia p, si verifica que existen una constante positiva C y
un entero positivo k0 , tales que
ε(k+1)
< C,
(ε(k) )p
para todo k ≥ k0 . Basada en esta definición se introduce la siguiente: La
sucesión {x(k) } generada por un algoritmo es convergente con orden p a una