Ceros de una

Función

Universidad Central de Venezuela

Facultad de Ingenierı́a
Escuela de Ingenierı́a Eléctrica
Departamento de Electrónica, Computación y Control
Cálculo Numérico

Marzo, 2010

C B BC Ceros de una función W. La Cruz (UCV) 1

Contenido
Notación, Conceptos y Resultados Básicos 3

Método de Bisección 7
Interpretación Geométrica . . . . . . . . . . . . . . . . . . . . 9
Algoritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

Método de Regula Falsi 13

Interpretación Geométrica . . . . . . . . . . . . . . . . . . . . 14
Algoritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

Método de Newton 16
Interpretación Geométrica . . . . . . . . . . . . . . . . . . . . 18
Algoritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

Método de la Secante 25
Interpretación Geométrica . . . . . . . . . . . . . . . . . . . . 26
C B BC Ceros de una función W. La Cruz (UCV) 2
 Algoritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

Teorı́a de Punto Fijo 30

Iteración de punto fijo . . . . . . . . . . . . . . . . . . . . . . 30
Interpretación Geométrica . . . . . . . . . . . . . . . . . . . . 31

Iteración Funcional para Ceros de Funciones 37

Análisis del Error 43

Órdenes de Convergencia . . . . . . . . . . . . . . . . . . . . 43

C B BC Ceros de una función W. La Cruz (UCV) 3

Notación, Conceptos y Resultados Básicos
• R: conjunto de números reales.

• [a, b] := {x ∈ R : x ≥ a y x ≤ b}.

• C(D): conjunto de funciones f : D → R continuas en un

conjunto D ⊆ R.

• C 1 (D): conjunto de funciones f : D → R continuamente

diferenciables en un conjunto D ⊆ R.

• C 2 (D): conjunto de funciones f : D → R dos veces

continua- mente diferenciables en un conjunto D ⊆ R.

• C n (D): conjunto de funciones f : D → R n veces

continuamente diferenciables en un conjunto D ⊆ R.

C B BC Ceros de una función W. La Cruz (UCV) 4

 e ∈ R una aproximación al valor de x ∈ R. El
Definición 1. Sea x
error absoluto, denotado por ea , se define como

ea = |x − x
e|.

El error relativo, denotado por er , se define como

|x − xe|
er = .
|x|

Ejemplo
Sean x1 = 1.31 y x2 = 0.12. Si x
e1 = 1.30 y x
e2 = 0.11, entonces

ea (x1 ) = ea (x2 ) = 0.01,

0.01 0.01
er (x1 ) = = 0.007634 y er (x2 ) = = 0.083333
1.31 0.12

C B BC Ceros de una función W. La Cruz (UCV) 5

 e ∈ R una aproximación al valor de x ∈ R.
Definición 2. Sea x
1. Se dice que x
e tiene d decimales exactos con respecto al valor de
x si:
1
ea = |x − x e| ≤ × 10−d .
2
2. Se dice que x
e tiene d cifras significativas con respecto al valor
de x si:
|x − xe|
er = ≤ 5 × 10−d .
|x|

Ejemplo
Sean x1 = 1.31 y x2 = 0.12. Si x
e1 = 1.30 y x
e2 = 0.11, entonces

 ea = 0.1 × 10−1 < 0.5 × 10−1 (un decimal exacto)

 er (x1 ) = 0.7634 × 10−2 < 5 × 10−2 (2 cifras significativas)

 er (x2 ) = 0.83333 × 10−1 < 5 × 10−1 (una cifra significativa)

C B BC Ceros de una función W. La Cruz (UCV) 6

Teorema 1 (Teorema del Valor Intermedio). Sea f ∈ C[a, b].
Entonces, para cualquier y ∈ f ([a, b]) existe x ∈ [a, b] tal que
f (x) = y.

f (b)

a x?
• -
0 b

f (a)

Proposición 1. Sea f ∈ C[a, b]. Si f (a) · f (b) < 0, entonces existe

al menos un x? ∈ [a, b] tal que f (x? ) = 0.

C B BC Ceros de una función W. La Cruz (UCV) 7

Método de Bisección

Consideraremos el problema de encontrar x? ∈ [a, b]

tal que

?
f (x ) = 0,

donde f ∈ C[a, b] y

f (a) · f (b) < 0.

El punto x? se denomina cero de la función f .

C B BC Ceros de una función W. La Cruz (UCV) 8

El método de Bisección genera las sucesiones {ak }
{bk } y {ck } dadas por
ak + b k
ck = , para k ≥ 0,
2

c , si f (a )f (c ) > 0;
k−1 k−1 k−1
ak =
ak−1 , si f (ak−1 )f (ck−1 ) < 0;

b , si f (a )f (c ) > 0;
k−1 k−1 k−1
bk =
ck−1 , si f (ak−1 )f (ck−1 ) < 0;

para k ≥ 1, donde a0 = a y b0 = b.

C B BC Ceros de una función W. La Cruz (UCV) 9

Interpretación Geométrica

f (bk )

ak+1 = ck
z
ak ck
• •? -
f (ck ) x bk

f (ak ) bk+1 = bk

C B BC Ceros de una función W. La Cruz (UCV) 10

Algoritmo

Datos: f ∈ C[a, b] y a < b tal que f (a) · f (b) < 0.

1: a0 = a;
2: b0 = b;
3: c0 = (a0 + b0 )/2;
4: k := 0;
5: mientras |f (ck )| > 0 hacer
6: si f (ak ) · f (ck ) < 0 entonces
7: bk+1 = ck ; ak+1 = ak ;
8: de lo contrario
9: ak+1 = ck ; bk+1 = bk ;
10: fin si
11: ck+1 = (ak+1 + bk+1 )/2;
12: k := k + 1;
13: fin mientras

C B BC Ceros de una función W. La Cruz (UCV) 11

Teorema 2. Sean {ak }, {bk } y {ck } las sucesiones generadas por el
Método de Bisección. Entonces,

lim ak = lim bk = lim ck = x? ,

k→∞ k→∞ k→∞

donde x? ∈ (a, b) es un cero de f (x). Además,

1
|ck − x? | ≤ (b − a), para k ≥ 0.
2k+1
Demostración. Por la definición de las sucesiones {ak } y {bk }
tenemos que ak−1 ≤ ak y bk−1 ≥ bk , y podemos escribir:
1
bk − ak = (bk−1 − ak−1 )
2
1
= 2
(bk−2 − ak−2 )
2
..
.
1
= k
(b0 − a0 ). (1)
2
Luego, limk→∞ (bk − ak ) = 0; por lo tanto, los lı́mites limk→∞ ak y
C B BC Ceros de una función W. La Cruz (UCV) 12
limk→∞ bk existen y son iguales. Sea x? = limk→∞ ak . Como
ck = (ak + bk )/2, entonces

lim ck = x? .
k→∞

Ahora veamos que x? es un cero de f (x). Por la definición de las

sucesiones {ak } y {bk } tenemos que f (ak ) · f (bk ) ≤ 0. Por lo tanto,

(f (x? ))2 = lim f (ak ) · f (bk ) ≤ 0.

k→∞

Esta última desigualdad es cierta si, y sólo si f (x? ) = 0.

Finalmente, como ck es el punto medio del intervalo [ak , bk ], entonces
por (1) podemos escribir:

? 1 1
|ck − x | ≤ (bk − ak ) = k+1 (b − a), para k ≥ 0.
2 2

C B BC Ceros de una función W. La Cruz (UCV) 13

Método de Regula Falsi
El método de Regula Falsi genera las sucesiones
{ak }, {bk } y {xk } dadas por
ak f (bk ) − bk f (ak )
xk = , para k ≥ 0,
f (bk ) − f (ak )
x , si f (a )f (x ) > 0;
k−1 k−1 k−1
ak =
ak−1 , si f (ak−1 )f (xk−1 ) < 0;

b , si f (a )f (x ) > 0;
k−1 k−1 k−1
bk =
xk−1 , si f (ak−1 )f (xk−1 ) < 0;

para k ≥ 1, donde a0 = a y b0 = b.

C B BC Ceros de una función W. La Cruz (UCV) 14

Interpretación Geométrica

f (bk )

ak+1 = xk

ak R xk
• •? -
x bk
f (xk ) 
f (ak ) bk+1 = bk

C B BC Ceros de una función W. La Cruz (UCV) 15

Algoritmo

Datos: f ∈ C[a, b] y a < b tal que f (a) · f (b) < 0.

1: a0 = a;
2: b0 = b;
3: x0 = (a0 f (b0 ) − b0 f (a0 ))/(f (b0 ) − f (a0 ));
4: k := 0;
5: mientras |f (xk )| > 0 hacer
6: si f (ak ) · f (xk ) < 0 entonces
7: bk+1 = xk ; ak+1 = ak ;
8: de lo contrario
9: ak+1 = xk ; bk+1 = bk ;
10: fin si
11: k := k + 1;
12: xk = (ak f (bk ) − bk f (ak ))/(f (bk ) − f (ak ));
13: fin mientras

C B BC Ceros de una función W. La Cruz (UCV) 16

Método de Newton
El método de Newton genera una sucesión {xk } dada por
f (xk )
xk+1 = xk − 0 , para k ≥ 0.
f (xk )
donde f ∈ C 1 [a, b], f 0 (x) es la derivada de f en x, y x0 es una buena
aproximación del cero x? .

Deducción
Supongamos que f ∈ C 2 [a, b]. Sea xk una aproximación de x? .
Entonces, el desarrollo de Taylor de f (x) de orden 2 alrededor de xk es
f 00 (ξ )
k
f (x) = f (xk ) + f 0 (xk )(x − xk ) + (x − xk )2 ,
2
donde ξk ∈ (xk , x? ) ó ξk ∈ (x? , xk ).

C B BC Ceros de una función W. La Cruz (UCV) 17

Luego,
f (x) ≈ f (xk ) + f 0 (xk )(x − xk ). (2)

Como x? es un cero de f (x). Entonces, tomando x = x? en (2)

obtenemos
f (xk ) + f 0 (xk )(x? − xk ) ≈ 0,

de donde se deduce que

f (xk )
?
x ≈ xk − 0 , si f 0 (xk ) 6= 0.
f (xk )

En otras palabras,
f (xk )
xk+1 = xk − 0 , para k ≥ 0,
f (xk )
es una aproximación de x? .

C B BC Ceros de una función W. La Cruz (UCV) 18

Interpretación Geométrica

f (b)

f (xk ) •

a x?
• • • -
M xk b
xk+1
f (a)

C B BC Ceros de una función W. La Cruz (UCV) 19

Algoritmo

Datos: f ∈ C 1 [a, b], a < b, x0 ∈ [a, b], y f 0 (x).

1: k := 0;
2: mientras |f (xk )| > 0 hacer
f (xk )
3: xk+1 = xk − 0 ;
f (xk )
4: k := k + 1;
5: fin mientras

C B BC Ceros de una función W. La Cruz (UCV) 20

Definición 3 (Cero de orden p). Sea f una función a valores
reales. Se dice que x? es un cero de orden p de f si:

f (x? ) = f 0 (x? ) = · · · = f (p−1) (x? ) = 0

y
f (p) (x? ) 6= 0.
En el caso p = 1, se dice que x? es un cero simple de f .

Teorema 3. Sean f ∈ C 2 (R) y x? un cero simple de f . Existen

δ > 0 y una constante positiva c tal que si |x0 − x? | < δ, entonces la
sucesión {xk } generada por el método de Newton converge a x? ,
además satisface, para k ≥ 0:

|xk − x? | < δ

y
|xk+1 − x? | ≤ c |xk − x? |2 .
C B BC Ceros de una función W. La Cruz (UCV) 21
Demostración. Sea ek = xk − x? . Luego,

ek+1 = xk+1 − x?
f (xk )
= xk − 0 − x?
f (xk )
f (xk )
= ek − 0
f (xk )
ek f 0 (xk ) − f (xk )
= 0
. (3)
f (xk )

Por otra parte, el desarrollo de Taylor de f (x) de orden 2 alrededor

de xk es
f 00 (ξ )
k
f (x) = f (xk ) + f 0 (xk )(x − xk ) + (x − xk )2 , (4)
2
donde
ξk ∈ (xk , x? ) ó ξk ∈ (x? , xk ).

C B BC Ceros de una función W. La Cruz (UCV) 22

Ahora, tomando x = x? en el desarrollo de Taylor (4) obtenemos:

0 ? f 00 (ξk ) ?
f (xk ) + f (xk )(x − xk ) + (x − xk )2 = 0,
2
de donde se deduce que
e2 f 00 (ξ )
k
ek f 0 (xk ) − f (xk ) = k . (5)
2

Por (3) y (5) podemos escribir:

f 00 (ξk ) 2
ek+1 = 0
ek , para k ≥ 0. (6)
2f (xk )

Definamos una función c(δ) como

max |f 00 (x)|
|x−x? |≤δ
c(δ) = (1/2) ,
min |f 0 (x)|
|x−x? |≤δ

para δ > 0.
C B BC Ceros de una función W. La Cruz (UCV) 23
Por las hipótesis del teorema, podemos escoger δ lo suficientemente
pequeño para garantizar que δ c(δ) < 1. Sea ρ = δ c(δ) < 1. Sea x0 un
punto inicial tal que
|x0 − x? | = |e0 | ≤ δ.
Ahora, utilizando (6) podemos escribir:

|x1 − x? | = |e1 | ≤ c(δ) e20

= |e0 | |e0 | c(δ)
≤ |e0 | δ c(δ)
= |e0 | ρ < δ.

Ası́ sucesivamente tendremos

|e2 | ≤ ρ |e1 |
..
.
|ek | ≤ ρk |e0 |,

luego, tomando lı́mite en la ecuación anterior cuando k → ∞

C B BC Ceros de una función W. La Cruz (UCV) 24
obtenemos
0 ≤ lim |ek | ≤ lim ρk |e0 | ≤ 0,
k→∞ k→∞
por tanto, {xk } converge a x? . Además, utilizando (6) tenemos que

|xk+1 − x? | ≤ c |xk − x? |2 ,

donde
|f 00 (x? )|
c= 0 ?
.
2|f (x )|

C B BC Ceros de una función W. La Cruz (UCV) 25

Método de la Secante
El método de la Secante genera una sucesión {xk } dada por
(xk − xk−1 )
xk+1 = xk − f (xk ), para k ≥ 1. (7)
f (xk ) − f (xk−1 )
donde f ∈ C 1 [a, b], x0 y x1 son buenas aproximaciones del cero x? .

Deducción
Sean xk y xk−1 aproximaciones de x? . Sea

0 f (xk ) − f (xk−1 )
f (xk ) ≈
(xk − xk−1 )
una aproximación de f 0 (xk ).

Ahora, sustituyendo esta aproximación en el método de Newton

obtenemos la ecuación (7).

C B BC Ceros de una función W. La Cruz (UCV) 26

Interpretación Geométrica

f (b)

f (xk ) •

xk+1
xk−1
• • ?
W
a • • -
x xk b
f (xk−1 ) •
f (a)

C B BC Ceros de una función W. La Cruz (UCV) 27

Algoritmo

Datos: f ∈ C 1 [a, b], a < b, y x0 , x1 ∈ [a, b].

1: k := 1;
2: mientras |f (xk )| > 0 hacer
(xk − xk−1 )
3: xk+1 = xk − f (xk );
f (xk ) − f (xk−1 )
4: k := k + 1;
5: fin mientras

C B BC Ceros de una función W. La Cruz (UCV) 28

Teorema 4. Sean f ∈ C 2 (R) y x? un cero simple de f . Entonces la
sucesión {xk } generada por el método de la Secante converge a x? y
satisface, para k ≥ 0:
√
|xk+1 − x? | ≤ A |xk − x | ? (1+ 5)/2
,

donde 0.62
|f 00 (x? )|

A= .
2|f 0 (x? )|

Demostración. Se deja como ejercicio para el lector.

C B BC Ceros de una función W. La Cruz (UCV) 29

Ejemplo
Utilice los métodos: Bisección, Regula Falsi, Newton y Secante
para aproximar una raı́z de cada una de las siguientes funciones
f (x) en el intervalo [a, b] que se indica.
(a) f (x) = 3x + sen(x) − exp(x), para x ∈ [0, 1].

(b) f (x) = exp(x) − 1.5 − atan(x), para x ∈ [0, 2].

(c) f (x) = (1/x) − atan(x), para x ∈ [1, 2].

(d) f (x) = (1/x) − 2x , para x ∈ [0.25, 2].

(e) f (x) = 2−x + exp(x) + 2 cos(x) − 6, para x ∈ [−2, 4].

x3 + 4x2 + 3x + 5
(f) f (x) = , para x ∈ [−1, 5].
2x − 9x + 18x − 2
3 2

C B BC Ceros de una función W. La Cruz (UCV) 30

Teorı́a de Punto Fijo
Consideraremos el problema de encontrar x ∈ [a, b] tal que

g(x) = x,

donde g ∈ C[a, b]. Un punto s ∈ [a, b] que satisface la ecuación

anterior se denomina punto fijo de g.

Iteración de punto fijo

Sea {xk } una sucesión definida por

xk+1 = g(xk ), para k ≥ 0,

donde x0 ∈ [a, b] está dado. Bajo ciertas condiciones, la sucesión

{xk } converge a un punto fijo s ∈ [a, b] de la función g.

C B BC Ceros de una función W. La Cruz (UCV) 31

Interpretación Geométrica

6 y=x
b
g(b)
s •

(xk , g(xk ))•

g(a)
a

• • -
a xk xk+1 s b

C B BC Ceros de una función W. La Cruz (UCV) 32

Proposición 2. Sea g ∈ C[a, b] tal que a ≤ g(x) ≤ b para todo
x ∈ [a, b]. Entonces, g tiene al menos un punto fijo en [a, b].

Demostración. Sea h(x) una función definida por

h(x) = x − g(x).

De esta forma, h es continua,

h(a) ≥ 0 y h(b) ≤ 0.

Entonces, por el Teorema del Valor Intermedio existe al menos un

punto s ∈ [a, b] tal que
h(s) = 0.
En otras palabras, g(s) = s. Por lo tanto, existe al menos un punto
fijo s ∈ [a, b] de g.

C B BC Ceros de una función W. La Cruz (UCV) 33

Definición 4. Sea g(x) una función a valores reales. Se dice que g
es una función contractiva si existe 0 < λ < 1 tal que

|g(x) − g(y)| ≤ λ |x − y|,

para todo x e y en el dominio de g.

Proposición 3. Sea g ∈ C[a, b] tal que g(x) ∈ [a, b] para todo

x ∈ [a, b]. Supongamos también que g es una función contractiva en
[a, b]. Entonces, g tiene un único punto fijo s ∈ [a, b] y la sucesión
{xk } definida por

xk+1 = g(xk ), para k ≥ 0,

con x0 ∈ [a, b] dado, converge al punto fijo s.

C B BC Ceros de una función W. La Cruz (UCV) 34

Demostración. Por la Proposición 2 se garantiza la existencia de al
menos un punto fijo de g en [a, b]. Supongamos que existen s1 y s2 dos
puntos de g en [a, b]. Como g es contractiva, existe λ ∈ (0, 1) tal que

|s1 − s2 | = |g(s1 ) − g(s2 )| ≤ λ |s1 − s2 |,

de donde se deduce que

0 ≤ (1 − λ)|s1 − s2 | ≤ 0,

lo cual implica que s1 = s2 . De esta forma, g tiene un único punto fijo

s ∈ [a, b].
Por otra parte, dado que g(x) ∈ [a, b] para todo x ∈ [a, b] y
xk = g(xk−1 ) para k ≥ 1, entonces

xk ∈ [a, b],

para k ≥ 1. Ahora, como g es contractiva podemos escribir:

C B BC Ceros de una función W. La Cruz (UCV) 35

 |xk+1 − s| = |g(xk ) − g(s)|
≤ λ|xk − s|
= λ|g(xk−1 ) − g(s)|
≤ λ2 |xk−1 − s|
..
.
≤ λk |x0 − s|.

Como λ < 1, entonces tomando lı́mite cuando k → ∞ se tiene que

0 ≤ lim |xk+1 − s| ≤ lim λk |x0 − s| = 0,

k→∞ k→∞

es decir,
lim |xk+1 − s| = 0.
k→∞
Por lo tanto, la sucesión {xk } converge a s.

C B BC Ceros de una función W. La Cruz (UCV) 36

Teorema 5. Supongamos que g ∈ C 1 [a, b] tal que g(x) ∈ [a, b] para
todo x ∈ [a, b]. Supongamos también que

λ = max |g 0 (x)| < 1.

x∈[a,b]

Entonces:
(i) g tiene un único punto fijo en [a, b].
(ii) Para x0 ∈ [a, b], la sucesión {xk } definida como

xk+1 = g(xk ) para k ≥ 0,

converge al único punto fijo de g en [a, b].

Demostración. Se deja como ejercicio para el lector.

C B BC Ceros de una función W. La Cruz (UCV) 37

Iteración Funcional para Ceros de Funciones
La idea fundamental de esta sección es utilizar la iteración de punto
fijo para encontrar un cero r ∈ [a, b] de una función f : [a, b] → R.

 Primero, definimos una función g : [a, b] → R, que denominaremos

función de punto fijo, tal que g(r) = r.

 Luego, generamos la sucesión {xk } de punto fijo

xk+1 = g(xk )

para k ≥ 0 y x0 ∈ [a, b] dado.

Observación:
Para garantizar la convergencia de la sucesión {xk } a un cero de f , la
función g se debe definir de tal forma que tenga un único punto fijo en
[a, b]. Además, este punto fijo debe coincidir con un cero de f en [a, b].

C B BC Ceros de una función W. La Cruz (UCV) 38

Ejemplo
Encontremos la raı́z de la ecuación

f (x) = x3 − 3 = 0 (8)

utilizando la iteración de punto fijo.

Solución:
Se pueden definir muchas funciones de punto fijo. A continuación
definimos tres.

1) Sumando x en ambos lados de la ecuación (8) se obtiene

x = x3 + x − 3, luego una función de punto fijo es

g1 (x) = x3 + x − 3

y la iteración de punto fijo es

xk+1 = x3k + xk − 3, para k ≥ 0.

C B BC Ceros de una función W. La Cruz (UCV) 39
2) Tenemos que

x · x2 = 3
2 3
x =
x
r
3
x = ,
x
luego otra función de punto fijo es
r
3
g2 (x) =
x
y la iteración de punto fijo es
s
3
xk+1 = , para k ≥ 0.
xk

C B BC Ceros de una función W. La Cruz (UCV) 40

3) Tenemos que

2x3 − x3 = 3
x · 2x2 = 3 + x3
3 + x3
x = 2
,
2x
luego la última función de punto fijo es
3 + x3
g3 (x) =
2x2
y la iteración de punto fijo es
3 + x3k
xk+1 = 2
, para k ≥ 0.
2xk

¿Las funciones g1 , g2 y g3 satisfacen las hipótesis del

Teorema 5 en el intervalo [1, 2]?

C B BC Ceros de una función W. La Cruz (UCV) 41

Teorema 6. Supongamos que g ∈ C p [a, b] y que s ∈ [a, b] es punto
fijo de g, donde p ≥ 2 es un entero. Supongamos también que
|g 0 (x)| < 1 para todo x ∈ [a, b],

g 0 (s) = g 00 (s) = · · · = g (p−1) (s) = 0 y g (p) (s) 6= 0.

Entonces, la sucesión {xk } definida como xk+1 = g(xk ) para k ≥ 0,

converge a s y
|xk+1 − s| |g (p) (s)|
lim p
= .
k→∞ |xk − s| p!

Demostración. Por el Teorema 5 s es el único punto fijo de g en [a, b]

y la sucesión {xk } converge a s. Por otra parte, el desarrollo de
Taylor de g alrededor de s es

g (p−1) (s) g (p) (ξ)

g(x) = g(s) + g 0 (s)(x − s) + · · · + (x − s)p−1 + (x − s)p ,
(p − 1)! p!
donde ξ ∈ (x, s) o ξ ∈ (s, x).
C B BC Ceros de una función W. La Cruz (UCV) 42
Ası́, evaluando este desarrollo en x = xk obtenemos

g (p−1) (s) g (p) (ξ )

k
g(xk ) = g(s)+g 0 (s)(xk −s)+· · ·+ (xk −s)p−1 + (xk −s)p ,
(p − 1)! p!
o, equivalentemente,

g (p) (ξk )
xk+1 =s+ (xk − s)p ,
p!
de donde se deduce que

|g (p) (ξk )|
|xk+1 − s| = |xk − s|p .
p!
Tomando lı́mite cuando k → ∞ tenemos
|xk+1 − s| |g (p) (s)|
lim = .
k→∞ |xk − s|p p!

C B BC Ceros de una función W. La Cruz (UCV) 43

Análisis del Error
Órdenes de Convergencia
Sea {xk } una sucesión que converge a x? .

Definición 5 (Convergencia q-lineal). Se dice que la sucesión {xk }

converge q-linealmente a x? , si existe una constante positiva c < 1 y
un entero positivo K tales que

|xk+1 − x? | ≤ c |xk − x? |, para k ≥ K.

Definición 6 (Convergencia q-superlineal). Se dice que la sucesión

{xk } converge q-superlinealmente a x? , si existe una sucesión de
números positivos {εk } que tiende a 0 y un entero positivo K tales
que
|xk+1 − x? | ≤ εk |xk − x? |, para k ≥ K.

C B BC Ceros de una función W. La Cruz (UCV) 44

Definición 7 (Convergencia q-cuadrática). Se dice que la sucesión
{xk } converge q-cuadráticamente a x? , si existe una constante
positiva c y un entero positivo K tales que

|xk+1 − x? | ≤ c |xk − x? |2 , para k ≥ K.

Definición 8 (Convergencia de orden p). Sea p > 0. Se dice que la

sucesión {xk } posee convergencia de orden p a x? , si existe una
constante positiva c y un entero positivo K tales que

|xk+1 − x? | ≤ c |xk − x? |p , para k ≥ K.

C B BC Ceros de una función W. La Cruz (UCV) 45

Sean f : [a, b] → R, x? ∈ [a, b] un cero de f y {xk } una sucesión
generada por algún método visto. Definamos el k-ésimo error como

ek = xk − x? , para k ≥ 0.

A continuación describiremos el tipo de convergencia de cada uno de

los métodos vistos.

} Si f ∈ C[a, b] y f (a) · f (b) < 0, entonces la sucesión de errores

ek = ck − x? generada por el método de Bisección converge
q-linealmente a 0. (Ver Teorema 2)

} Si f ∈ C 2 [a, b], x? es un cero simple de f y x0 se escoge lo

suficientemente cerca de x? , entonces la sucesión de errores
ek = xk − x? generada por el método de Newton converge
q-cuadráticamente a 0. (Ver Teorema 3)
} Si f ∈ C 2 [a, b], x? es un cero simple de f , y x0 y x1 se escogen lo
suficientemente cerca de x? , entonces la sucesión de errores
C B BC Ceros de una función W. La Cruz (UCV) 46
 ek = xk − x? generada por el método de la Secante converge
q-superlinealmente a 0. (Ver Teorema 4)

} Si f ∈ C 2 [a, b], x? es un cero de f , g es una función de punto fijo

tal que g(x? ) = x? , |g 0 (x)| < 1 para todo x ∈ [a, b],

g 0 (x? ) = g 00 (x? ) = · · · = g (p−1) (x? ) = 0 y g (p) (x? ) 6= 0,

para p ≥ 2, entonces la sucesión de errores ek = xk − x? , generada

por la iteración funcional xk+1 = g(xk ), posee convergencia de
orden p a 0. (Ver Teorema 6)

C B BC Ceros de una función W. La Cruz (UCV) 47