~RANIN~~

4.1. SEPARACION

DE RAJ E.

Captulo

4 Solucin aproximada
DE RAICES

de ecuaciones algebraicas y trascendentes

entonces el intervalo contendr al menos una raz f (x) = O; en otras palabras, habr al menos un nmero que f = O (Fig, 9). . La raz ~ ser definitivamente nica si la denvada mantiene el signo dentro del intervalo (o; (3); esto es, f' (x) < O) para <x < x < {3(Fig. 10).

(n

de la ecuaciou ~ E (o, (3)1) tal

I

/ (x) exist y si I' (x) > O (

4.1. SEPARACION

!I
I

!I
I I I
I
I

Si una ecuacin algebraica o trascendente es relativamente complicada, no resulta posible por lo general hallar races exactas. Lo que es ms, en algunos casos las ecuaciones tienen coeficientes conocidos slo de forma aproximada, y/por tanto, carece de sentido el tratar de hallar las races exactas de la ecuacin. Por consiguiente, adquieren particular importancia los procedimientos de clculo aproximado de races de una ecuacintas como la estimacin de su grado de exactitud. Supongamos que se tiene una ecuacin

!/=f(x)

f(cc)

IX

(J

f (x) = O

(1)

Fig. 9

Fig. 10

donde la funcin / (x) est definida y es continua en un cierto intervalo finito o infinito a < x < b. En ciertos casos se necesitar la existencia y continuidad de la primera derivada / (x) e incluso de la segunda derivada t" (x). Se indicar cuando sea necesario. A todo valor ~ para el cual la funcin / (x) es cero, es decir, tal que
I

f(s)=O

se le denomina una raz de la ecuacin (1) o cero de la funcin / (x). Supondremos que la ecuacin (1) tiene nicamente races separadas, es decir, para cada raz de (1) existe un entorno que no contiene otras races de la ecuacin. El clculo aproximado de las races reales separadas de (1) se efecta por 10 general en dos etapas: (1) separacin de races, es decir, establecer los intervalos ms pequeos posibles [o, (3] que contengan una y solamente una raz de la ecuacin (1); (2) mejorar los valores de las races aproximadas, es decir, manipularlos hasta que presenten el grado de exactitud especificado. Para la separacin de races resulta muy til el siguiente conocido teorema de anlisis matemtico ([5], Captulo 4). Teorema 1. Si una funcin continua f (x) asume valores de signo opuesto en los extremos de un intervalo [o, {3], es decir, f (o) f ({3) < O,
128

El proceso de separacin de races comienza estableciendo los sign ti de la funcin/(x) en los puntos extremos x = a y x = b de sus dornini s de existencia. A continuacin se determinan los signos de la funcin / (x) para un nmero intermedio de puntos x = <Xl , <X2, ... , cuya eleccin depende de las peculiaridades de la funcin / (x). Si se cumple que f.(<Xk) / (<Xk+l) < O, entonces, en virtud del Teorema 1, existe una raz de la ecuacin / (x) = O en el intervalo (<Xk, <Xk+l). Debemos aseguramos que esta raz es la nica. En la prctica suele ser suficiente, en el caso de separacin de races, efectuar el proceso de la mitad, dividiendo aproximadamente el intervalo dado (o, (3) en dos, cuatro, ocho, etc., partes iguales (hasta un cierto intervalo) y determinar el signo de / (x) en l s puntos de divisin. Conviene recordar que en una ecuacin algebraica de grado n

tiene a lo sumo n races reales. Por consiguiente, si para una ecuacin d este tipo se obtiene n + 1 cambios de signo, habrn quedado separadas todas las races de la ecuacin. Ejemplo 1. Separar las races de la ecuacin. (2)
1)

La notacin ~ E (O!, (3)significa que el punto ~ pertenece al intervalo (O!, (3). I

1)

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRATc.AS y TRASC.

4.1. SEPARACION

DE RAICE~

Solucin. Formemos

para los puntos elegidos la tabla siguiente:

x

Demostracin.

Aplicando el teorema del valor medio, se tiene

(Xlii
-

I
1

(x)

t CX)-t
donde e es un valor intermedio De aqu, ya que f (~) = Oy

(S) = (X-~)

f'

(e)

-3
-1

-00
O

+00

+ +

1 t'

entre y t es decir, e E (O', (3). (c)] ;> mI, tenemos

(x)

It (x)-t (~)I = If
De aqu que

I~

mJx~~1

Por tanto, la ecuacion (2) tiene tres races reales dentro de los intervalos (- 3, - 1), (O, 1) Y (1, 3). Si existe una derivada continua (x) y pueden calcularse fcilmente las races de la ecuacin

Ix- ~f ~ If~:>I
Nota. La frmula (5) puede ofrecer slo resultados someros y por tanto no es siempre conveniente utilizarla. Por esta razn, en la prctica resulta conveniente estrecha el intervalo general (O', f que contiene la raz ~ y su valor aproximado y considerar Ix - ~I~ f) - a.

f'

(x)

puede regularizarse el proceso de separacin de races de la ecuacin (1 )., Evidentemente es suficiente cont.ar nicamente los signos de la funcin f(x) para los ceros de su derivada y en los puntos extremos x=a y x=b. Ejemplo 2. Seprense las races de la ecuacin
(3)

x,

Ejemplo 4. Como
(x)

== x4

X -

valor aproximado de la raz de la ecuacin 1 = O tenemos x = 1,22. Estmese el error absoluto en

esta raz.

Solucin.
Como para

t (x) = 2.2153-1.22-1 x = 1,23 tenemos t (x) = 2.2888-1.23~1

=

= -0.0047.

1) Y por tanto (x) = O para x = l. Tenemos f(- 00) > O (+); f(l) < 0(-); f(+ 00) > O (+). En consecuencia, la ecuacin (3) tiene nicamente dos races reales, una de las cuales cae en el intervalo (- 00, 1), y la otra en el (1, + 00). Ejemplo 3. Determnese el nmero de races reales de la ecuacin.
-

Solucin. t' (x)= 4 (x3

+ 0.0588
La derivada su valor ms

la

raz

f'

(x) = 3x3

t (x) = x
Solucin. Como f'(x) = l + eX

+ eX = O
00,

(4) f (+
00) =

pequeo

~ cae en el intervalo (1,22, 1,23). 1 crece en forma montona y por tanto en el intervalo dado es
mI

exacta

> O Y f (- 00) = -

+ 00, se
de donde, mediante la frmula (5), tenemos

= 3.1.223-1

= 31.816-1

= 4.448

deduce que (4) tiene nicamente una raz real. Daremos un estimado del error de una raz aproximada. Teorema 2. Sea ~ una raz exacta y x una aproximada de la ecuacin f ~x) = O, situadas ambas en el mismo intervalo [O', 3], y f (x)l ~ m > O para O' ~x ~3.1) Se cumple entonces la siguiente aproximacin:
(5)
1) Puede tomarse para m" por ejemplo, el valor ms pequeo de If'(x) I cuando a ";;'x";;'(3.

Ix-;-~ I~

0.0047 4.448 ~ 0.001

Nota. Ocasionalmente, en la prctica, la exactitud de una raz aproximada x se estima en funcin de como satisfaga la ecuacin dad a f (x) = O; es decir, si el nmero 1 f (xj], es pequeo, se considera entonces es una buena aproximacin a la raz exacta ~; pero si 1 f (X)I 11 grande, entonces x se toma como aproximacin grosera de raz exacta ~. Como muestran las figuras 11 y 12, esta forma de proceder 's errnea. Se debe tener presente igualmente que si la ecuacin f (x) = O

la

1 I

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.2. SOLUCION GRAFICA DE ECUA

IONI

se multiplica por un nmero arbitrario N =1=0, se obtiene entonces una ecuacin equivalente Nf(x) = 0, y el nmero I Nf(~)1 puede .hacerse arbitrariamente grande o pequeo mediante la eleccin apropiada del factor N.
11
I I I I I I

Las races de (3) pueden hallarse fcilmente, ya que son las abs 'iNII de los puntos de interseccin de la curva logartmica y = log o X Y 111 hiprbola y = 1.. Construyendo estas curvas (Fig. 13), tendremos un vaku x aproximado ~ ~ 2,5 de la nica raz de la ecuacin (3).
!/

!/

!/"f(z)

I((x)
1 I I I 1 1
I

r:

-l------------~----e !/-rrf(.x.~----__:;:::;_;
..;. f(x :

o
s: Fig. 13

o
Fig. 11 Fig. 12

4.2. SOLUCION GRAFICA DE ECUACIONES

Las races reales de la ecuacin
f(x)=O (1)

pueden determinarse en forma aproximada considerando las abscisas ~e los puntos de interseccin de la grfica de la funcin y = f ~).con el eje x (Fig. 9). Si la ecuacin (1) no tiene races muy proxima~, este procedimiento puede utilizarse para separar~~s. Re~ulta aconsejable a veces sustituir la ecuacin (1) por una ecuacion equivalente (dos ~cuaciones se denominan equivalentes si tienen exactamente las mismas races): rp (x) = 'IjJ (x) (2) donde las funciones \{)(x) y 1/1 (x) son ms sencillas que f (x). Constryase entonces las grficas de las funciones y = \{) (x) y y = ~ (x), y las races deseadas sern las abscisas de los puntos de interseccin de estas grficas. Ejemplo 1. Resulvase grficamente la siguiente ecuacin.

de las funciones sp (x) o 1/1 (x) es lineal, por ejemplo, queda simplificada la operacin de hallar las races d I1 ecuacin (2). Las races de (2) son entonces las abscisas de los punto de interseccin de la curva y = (x) y la lnea recta y = ax + b. Sll\ procedimiento es particularmente ventajoso cuando han de resolv 'I'N~ series de ecuaciones del mismo tipo que difieren nicamente n lo, coeficientes a y b de una funcin lineal. La construccin grfica Nl reduce entonces al hallar los puntos de interseccin de una grfica dadu, y = 1/J (x), y varias lneas rectas. Este tipo incluye evidentement 111 ecuaciones de tres trminos
\{)(x)

Si una

= ax + b,

Ejemplo 2. Resulvase las ecuaciones cbicas

x laglOx= 1 Solucin. Escrbase la ecuacin (3) de la forma

lag 10 x=~ 132
X

(3)

Solucin. Constryase la parbola cbica y = x3 Las races desead I son las abscisas de los puntos de interseccin de esta parbola con I1 lneas rectas (Fig.14) y= 1,75x-O,75 e y=-2x-7,8. Se dcduci claramente de la figura que la primera ecuacin tiene tres races r al : Xl = - 1,5, X2 = 0,5, X3 = 1, y la segunda ecuacin tiene nicam nlt una raz real, Xl = - 1,65.
tll

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.3. METODO DE LAMI'I'AIl

Debe tenerse en cuenta que aun cuando los procedimientos grficos de resolver ecuaciones son muy convenientes y relativamente simples, se han utilizado como norma solamente para determinar las races de una forma aproximada. Por 10 que respecta a la precisin, un caso particu!J

a+bJ [a, -2-

[a+b -2-' b]

,en cuyos extremos

la funcinf(x)

tiene siuuo la mitad etapa t.kl infini la di'

bn], ... tul

opuestos. El nuevo intervalo reducido [al, bl 1 se divide por se procede de igual. forma, ,ete. Finalmente, en una cierta proceso tendremos bien la raiz exacta de (1) o una secuencia cada vez ms reducidos intervalos [al, bl l, [a2' b2], . , [an, que (n=l, y bn-an
= 2n (b-a)
)

2, ... )

. Como los puntos extremos de la izquierda al, a2, ... , an, ... formal) una secuencia acotada montona no decreciente, y los de la derecha b tI b2, .. , b., ... forman una secuencia acotada montona no creciente existe entonces para (3) un lmite comn

~= lim a; = lirn b;
n~oo
n-+oo

Pasando al lmite en la desigualdad (2) para n 00 tenemo 11 virtud de la continuidad de la funcin f(x), [f(~)F ~ 0, de d 'ndl f(P = 0, lo cual quiere decir que ~ es una raz de la ecuacin (1); II evidente que
--')o

Fig. 14

larmente desfavorable es aquel en que las lneas se cortan con un ngulo muy agudo y prcticamente se juntan para un cierto arco. Una variedad de los mtodos grficos para resolver ecuaciones son los mtodos nomogrficos, de los cuales el lector podr hallar informacin en manuales especializados.

4) Si las races de la ecuacin (1) no estn separadas en el interva lo este procedimiento para hallar una de las ra ' de (1). El procedimiento de las mitades es muy conveniente para dar 1I1t I rpida idea de la raz de la ecuacin dada, ya que el nmero de clculo, aumenta sustancialmente a medida que se desea mayor exactitud. El procedimiento de l~ ~itad, sea dicho de paso, es muy adecuado para calculadores electrorucos. Se establece la rutina de clcul <J forma que la mquina halle el valor del segundo miembro de la ecuaci 11 (1) para el punto medio de cada uno de los intervalos [a b I I (n = 1,2, ... ) y elija la mitad apropiada. n, I
[a, b l, puede utilizarse

4.3. METODO DE LA MITAD

Supongamos una ecuacin

f (x) =

~=

(1)

donde la funcinf(x) es continua en [a, bl y f(a)f(b) < O. Para hallar una raz de (1) que caiga en el intervalo [a, b], divdase el intervalo d
134

por la mitad. Si cuacin. Si

f
b )

(at

= n, entonces
entonces

at

es una raz dicha mitad,

Ejemplo. ecuacin

Utilcese el mtodo de la mitad para mejorar una raz d '

11

(x)

== x + 2X
4

3 -

X -

1 =O

la

(at

==1=

0,

elegimos

que caiga en el intervalo [0, 1 l.

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.4. PROCEDIMIENTO

DE LAS PARTES PROPORCIONALI,:,

Solucin.

Sucesivamente

tendremos

La frmula
(2).

(F) es completamente

equivalente

a las frmulas (1) Y

t (0.8125) = 0.436 + t (0.8438) = 0.507 + t (0.8594) = 0.546 +

Podremos tomar

t (0.875) = 0.5'9 +

t (0.75) = 0.32 +0.84-0.75-1

t (O)= - 1, t (1) = 1, t (0.5) = 0.06 +0.25-0.5-1

= -1.19, = - 0.59,

Para probar la convergencia del proceso, consideremos que la rafz est separada y la segunda derivada t" (x) tiene signo constante en '1 intervalo [a, b]. .
!I
B

1.34-0.88-1 = + 0.05, 1.072-0.812-1 = - 0,304, 1.202-0.844-1 = - 0.135, 1.270-0.859-1 = - 0.043, etc.

s = i- (0.859 + 0.875) = 0.867

4.4. PROCEDIMIENTO
(PROCEDIMIENTO DE LAS PARTES PROPORCIONALES DE LAS CUERDAS)

Fig.

15
{}

Utilizando los supuestos de la Seco 4.3, daremos un procedimiento ms rpido para hallar una raz ~ de la ecuacin f (x) = O que caiga en un intervalo especificado [a, b] tal que f (a) (b) < O. Para una mejor definicin, supongamosf(a) < O Y f(b) ~ ~ .. En lugar de dividir por la mitad el intervalo [a, b] es ms natural dividirlo en la relacin - f (a) : f (b). Esto ofrece un valor aproximado de la raz
Xl

t" (x) < O

Supongamos, por definicin, que t" (x) > O para a ~ x ~ b (el cas se reduce a nuestro caso si escribimos la ecuacin de la forma - f (x) = O). La curva y = f (x) ser convexa hacia abajo, y por tant estar localizada por debajo de su cuerda AB. Son posibles dos cas s: (l)f(a) > (Fig. 16) Y (2)f (a) < O (Fig. 17).

!/ !I A

=a+h

(1)

siendo h =_
j

f('a{

tj

(b)

(b-a)

== - f (l~~j (a) (b-a)

(2)

Aplicando este procedimiento al intervalo [a, XI ] o [x 1, b] en cuyos extremos la funcinf (x) tenga signos opuestos, tendremos una segunda aproximacin de la raz x 2, etc. .. Geomtricamente, el mtodo de las partes proporcionales es equrvalente a sustituir la curva y = f (x) por una cuerda que pase por los puntos A [a, fea)] y B [b,f(b)] (Fig. 15). En efecto, la ecuacin de la cuerdaAB es x-a y-f (a)
b-a = f (b)-f (a)

I I

:f(b)
I I

o
A Fig. 17

Fig. 16

De aqu que, considerando

Xl

x = x I e Y = O, tenemos = a- t

En el primer caso, el extremo sucesivas: x o = b,

(1 ')

a est fijo y las aproximacion

(n

(b{:::'j

(a)

(b --a)

= O, 1, 2, ... )

( ) l. I

136

GAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.4.

PROCEDIMIENTO

DE LAS PARTES PROPORCIONALE,

forman una secuencia montona a En el segundo sucesivas: x = a,

decreciente

acotada, y

< ~< ... < X"+l < X" < ... < Xl < Xo
caso, el extremo
X"+l

Para mayor claridad, supongamos que las aproximaciones sucesivas XII 11 la raz exacta ~ estn generadas por la frmula (3) [anlogamente pucd ' considerarse la frmula (4) l: x
n=

b est fijo y las aproximaciones

n-l

f(Xn-l)-f(a)

(xn-l)

(x a)' "-1en cuenta el hechc )

= x;

{(b{~~',/(X,,) (b-x,,)
creciente acotada, )'
n l

(4)

forman una secuencia montona

Xo
2

(n = 1, 2, ... ) donde el extremo a es fijo. Teniendo de que [(O = 0, tenemos

< Xl < X < ... < x., < X + < .,. < ~< b
Utilizando

t(s)-t(x

n-l

)=f(Xn-l)-fea)
X

n-l -a

(x -x
n

n-l

Resumiendo, sacamos la conclusin que: (1) el extremo fijado es aquel para el cual el signo de la funcin [(x) coincide con el signo de su segunda derivada (x); (2) las aproximaciones sucesivas xn. caen en el lado de la raz ~;donde el signo de la funcin [ (x) es opuesto al signo de su segunda derivada[" (x). En ambos casos, cada aproximacin sucesiva x.; + 1 est ms prxima a la raz ~ que la precedente, x.; . Supongamos

el teorema de valor medio, tendremos

donde

~n-

1 E (xn-

1,~) Y Xn-

1 E (a, xn(Xn-l)-t'

1)' De aqu que

(a< ~

< b)
Como y ~n -

I s-x t"
1

1= I f'

I f'(~n-l) I

e~n-)

IjX

_ n

. . xn-l; _
1

( )
E [a,

(existe lmite, ya que la secuencia {xn } est acotada y es montona). Pasando al lmite en (3), tenemos para el primer caso t

(x) tiene signo constante

E [a,

en el intervalo [a, b l y Xn b], tenemos sencillamente

bI

"=,,t

f (~) (l: {m-! (a) ,,-

a)

donde [(f) = O. Como viene dado que la ecuacin [(x) = tiene solamente una raz ~ en el intervalo (a, b), se deduce que f = t lo cual completa la demostracin. Mediante el mismo procedimiento puede probarse en (4), que ~ = ~ para el segundo caso. Para hallar un estimado de la exactitud de la aproximacin, podemos u tilizar la frmula (5) de la Seco 4.1.

Deducimos,

por tanto, de la frmula (6) (7)

donde podemos tomar respectivamente para m 1 y MI los valores m n r y mayor del mdulo de la derivada t" (x) en el intervalo [a, b l. Si I intervalo [a, b l es tan estrecho que se cumple la desigualdad MI ~2ml

d ond

-;;:'m1 para a ~x ~b. m s otra frmula que permita estimar el error absoluto de un v ihu iproximado Xn conocidos dos valores sucesivos Xn _ 1 Y Xn IIHllldr '111 s que la derivada t' (x) es continua en el intervalo [a, b l '1111 111111 11( todns las aproximaciones y conserva el signo; tngase en
1['(x)1
1)/11'
I

obtenemos

entonces de la frmula (7)

I s-X" I ~ I x,,-x"_ll
En este caso, tan pronto quede claro que

1111 11111 '1111

(5) 138

Ix" -,-xn-ll < 8

CAPITULO

4. SOLUCION

APROXIMADA

DE ECU ACIONES ALGEBRAICAS

y TRASC.

4.5. METO DO DE NEWTON {METODO DE LAS TANGENTES

donde e es la cota de error absoluto entonces que

especificada,

puede garantizarse

4.5. METO DO DE NEWTON (METODO DE LAS TANGENTES) Supongamos que la raz de la ecuacin

Ejemplo. Hllese una raz positiva de la ecuacin

f (x)

=0
I

(1

con una exactitud

de 0,002. separemos la raz. Ya que y f(2)=5.6>0 resultante es

Solucin. Primeramente
f(I)=-0.6<0

est separada en el intervalo [a, b] y f (x,) .y t" (x) son continuas y conservan los signos para a < x < b. Habiendo hallado una aproximacin n-sima de la raz, Xn ~ ~ (a < Xn < b), podemos mejorarla mediante el mtodo de Newton de la manera siguiente. Tengamos

(2)
donde h.; es una cantidad tendremos pequea. Aplicando la frmula de Tayl r

la raz deseada ~ cae en el intervalo (1,2). El intervalo grande y por tanto 10 dividimos por la mitad. Como

f (1.5) =

1.425 En consecuencia,

se deduce que 1 < ~< 1,5. Aplicando de forma sucesiva las frmulas (1) y (2), tenemos
Xl = 1+ 1.42~!0.6

(1.5-1)

1+ 0.15 = 1.f5,

Insertando esta correccin cin siguiente de la raz:

_
Xn+1-Xn-j'

en la frmula (2), tendremos

j (xn) (x )
n

la aproxima(

f x2= 1.15+

(Xl)

= - 0.173, = 1.15+0.040=
1.190,

(n=O,

1,2, ... )

1.42~~7~.173

(1.5-1.15)

f
x3 = 1.190+
0.036 1.425+0.036

(x2)

= - 0.036,
= 1.190

Geomtricamente, el mtodo de Newton es equivalente a sustituir un arco pequeo de la curva y = f (x) por una tangente trazada por UIl punto de la curva. Supongamos, por definicin, que (x) > O para

(1.5-1.190)
(x3)

+ 0.008 =

1.198,

a<x<byf(b0(Fig.18).

f
Comof' (x)= 3x2
-

= - 0.0072

0,4x - 0,2 Y para x, <x

1.5-0.2

< 1,5

se tiene

f'

(x) ~ 3.1.1982-0.4

= 31.43.,-0.8 = 3.49

podemos considerar que

<
140

~-X3

<

0.0072 3.49 ~

0.002 O

Fig. 18

x'(

Por tanto, ~ = 1,198 + 0,0020 donde raz exacta de la ecuacin (5) es ~ = 1,2.

< O < 1.

o
A

Obsrvese que la

1 1

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.5. METODO DE NEWTON (METODO DE LAS TANGEN'fI~:;)

Tomemos, por ejemplo, Xo = b para el cual [(xo) (xo) > O. Trcese la tangente a la curvay=[(x) en el punto B [xo,[(xo)] Como primera aproximacin x 1 de la raz ~ tomemos la abscisa del punto de interseccin de esta tangente con el eje x. Trcese nuevamente una tangente por el punto B 1 [x 1, [(x )1cuya abscisa del punto de interseccin con el eje x ofrece una segunda aproximacin X2 de la raz t y as sucesivamente (Fig. 18). La ecuacin de la tangente en el punto Bn [xn'! (xn)] (n = 0, 1, 2, ... ) es y-f(xn)=f' Haciendo y (xn)(x-xn) la frmula (3) f (Xn) f'(xn)

Como

t"

(X)

> 0,

tenemos

y, de aqu que, Xn+l = Xnf (Xn) t: r (xn) >\:0

= 0, x = Xn

+1,

tendremos

xn+l=xnNtese

lo cual es lo que se quera demostrar. Tomando en consideracin los signos de f (xn) y (xn) tenemos, de la frmula (3), Xn+1 <xn (n = 0, 1, ... ), es decir, las aproximacion 's sucesivas xo, x 1, ... , xn, .. forman una secuencia acotada montona decreciente. Por consiguiente, existe el lmite ~ = lim xn. Pasando al lmite en (3), tenemos n +

r
00

[ (x o) t" (x o)

de que si en nuestro caso hacemos Xo = a y por tanto < 0, y trazamos entonces la tangen t~ a la curva y = f (x) por el punto A [a,fea)], tendremos que el pu~tO.Xl (Fig. 18) cae fuera del intervalo [a, b); en otras palabras, el procedimiento de Newt,?n no e,~ prctico para este valor inicial Por tanto, en el caso da~o.' una b~ena aproximacin inicial Xo es aquella para la cual resulta vahda la desigualdad

- of

s=s-

teD
f' (f:)

( = 0, de donde ~ = t completndose la demostracin. Por esta razn, al aplicar el mtodo de Newton debe guiarse uno p la regla siguiente: para el punto inicial Xo elijase el final del intervalo (a, b) asociado con una ordenada del mismo signo que el de f" (x).
para
(4) (x) existe

(4)
ahora que esta regla es general Teorema. Si f (a) f (b) < 0, y r: (x) y f" (x) son no nulas y c~nser.v,an el signo para a ~ X ~ b, entonces, prosiguie.ndo d~ .la aproxl1rUfczon inicial Xo E la b] la cual satisface (4), es posible, utilizando el metodo de Newton Ifrmula (3)1 calcular la raz nica ~ de la ecuacin (1) con Demostraremos

Nota l. Si: (1) la funcin f (x) es definida y continua -oo<x<+oo; (2) f(a)f(b)<O; (3) f'(x)i=O para a~x~b;

f"

cualquier grado de exactitud.

1"

Demos t racin. Por ejemplo, .supongamos f (a) < 0, f (b) > 0, > 0, ' ex) > para a ~x Por la desigualdad (4) tenemos [(xo) > O (podemos, por ejemplo, tomar Xo = b). . Por induccin matemtica demostramos que todas las aproximaciones Xn > ~(n = 0, 1, 2, ... ) y, por consiguiente,! (xn ) > O. En efecto, ante todo, Xo > t Establezcamos ahora Xn > ~. Pongamos
(x)

en cualquier punto y conserva el signo, puede tomar . entonces cualquier valor e E [a, bl como aproximacin inicial Xo al utilizar el mtodo de Newton para haar una raz de la ecuaci I f (x) = que caiga en el intervalo (a, b). Se puede, por ejemplo, toma r Xo =a oXo =b. En efecto, supongamos, por ejemplo, t' (x) > O para a ~ x ~ lr I" (xO y Xo =c, donde a~c~b. Si f{c)=O,. la raz ~=c y 1 problema queda resuelto. Si f (e) > O. el razonamiento anterior cumple y el proceso de Newton con valor inicial e converger! halea r I raz ~ E (a, b). Finalmente, sif (c) < O, hallaremos

.
Xl

= xo'-r

(xo,) (e) (xo,)= e - f ~c) > e

~=xn+

(~-xn) Utilizando la frmula de Taylor tendremos (e) -

Utilizando la frmula de Taylor, tendremos 0= f (f.)

=

f (xn)

+ i' (xn) (s-xn)

+i- f" (c

n)

(s-xn)\!

(5)

f (Xl) = f

,~J)f'

(c)

+ -4- [!~~ ]2 r

(C) = ~

[!~~ ] r (c)> O
2

donde ~ <e <xn. 142

donde e es un cierto valor intermedio

entre e y x 1
I \

CAPITULO

4.

so LUCIO N

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.5. METODO DE NEWTON (METODO DE LAS TANGENTE)

De este modo

se deduce de (7) que

Adems, de la condicin f" (x) > O se deduce que t" (x) es una funcin creciente y, en consecuencia, t" (x) > (aO para x >a. Es posible por tanto tomar Xl como inicial del proceso de Newton convergente hacia una cierta raz .~ de la funcin f(x) tal que ~ >c >a. Como la derivada f' (x) es positiva cuando x> a, la funcin f ex) tiene raz nica en el intervalo (a ,+00), se deduce que

donde M2 es el valor ms elevado de If" (x)] en el intervalo consecuencia, en base a la frmula (6) tenemos finalmente

[a, b l. En

(8) Si el proceso de Newton converge, entonces oo, Y por tanto para n > N tenemos
Xn - Xn _
1

-+

O para

-~=~E

(a, b)

n -+

Puede establecerse un argumento similar para otras combinaciones de signos de las derivadasf' (x) y f" (x). . Nota 2. De la frmula (3) est claro que cuanto mayor sea el valor numrico de la derivada f' (x) en la vecindad de la raz cuadrada, tanto menor ser la correccin que ha de aadirse a la aproximacin n-sima para obtener la aproximacin (n + 1). El mtodo de Newton es por consiguiente muy conveniente cuando la grfica de la funcin es pendiente en la vecindad de la raz dada, pero si el valor numrico de la derivada f' (x) es pequeo cerca de ella, las correcciones sern entonces mayores, y calcular la raz mediante este procedimiento puede ser un proceso largo o a veces incluso imposible. Resumiendo: no utilice el mtodo de Newton para resolver una ecuacin f (x) = O si la curva y = f (x) es casi horizontal cerca del punto de interseccin con el eje x. Para estimar el error de la aproximacin x.; de orden n, puede utilizarse la frmula general (5) de la Seco 4.1:

Un

es decir, los decimales iniciales "estabilizados" de las aproximaciones - 1 Y Xn son exactos comenzando con una cierta aproximacin. Tngase en cuenta que en el caso general una coincidencia, hasta d . E, de dos aproximaciones sucesivas Xn _ 1 Y Xn no garantiza que 1 s valores de Xn y la raz exacta ~ (Fig. 19) coincidan con el mismo grad de exactitud.

I ~-xn I ~

If~;) I

(6)

donde mi es el valor ms pequeo de If' (x)] en el intervalo [a, b l. Obtendremos ahora otra frmula para estimar la exactitud de la aproximacin xn. Aplicando la frmula de Taylor, tenemos

t (xn) = t [xn- + (xn-xn= t (xn- + f' (xn-i)

1

1)]

Fig. 19

1)

(xn-xn-1)

+ ~f" (~n-l) (xn-xn_

1)2

donde ~n _ 1 E (xn _ 1, xn). aproximacin xn, tenemos

Ya que, en virtud

de la definicin

de la

Obtendremos tambin una frmula que ligue los errores absolut dos aproximaciones sucesivas xn y Xn +1. De (5) tenemos

di

(7)
14

144

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.5. METODO DE NEWTON (METODO DE LAS TANGENTES)

donde

en E

(Xn,

0, por consiguiente,
S-Xn+1
= 1

teniendo
t"
(en) (x )
n

en cuenta (3), tenemos

-2 .f'

(S-Xn)2

y, consecuentemente,

Is-xn+11:::;;;

:::1

(S-Xn)2

(9)

La frmula (9) asegura una rpida convergencia si la aproximacin inicial x es tal que

del proceso de Newton

Detenindonos con n = 3, verifiquemos el s igno de f(xn +0,001)=f(-1O,260). Como f(-10,260)<0, se deduce qu _ 10,261 < ~< - 10,260 y cualquiera de estos nmeros presenta la aproximacin requerida. Ejemplo 2. Utilcese el mtodo de Newton para hallar la raz positiva ms pequea de la ecuacin tg x = x con error menor de 0,0001. Solucin. Dibujando las grficas de las curvas Y = tg x e y = x (fig. -20), llegamos a la conclusin de que la raz deseada ~ cae en el intervalo
7f

< ~<

37f

Escribiendo

de nuevo la ecuacin en la forma

cos x =0

En particular,

si
fl

t (x) = sin x-x

= 2m1 M2~1 ~
tenemos

entonces de (9) tenemos

Is-xn+

1/

< lO-2m
!I

r (x) = sin x + x cos x

f'

(x) = x sin x,

Esto es, en este caso, si la aproximacin Xn es exacta con m decimales, la siguiente aproximacin Xn + 1 lo ser como mnimo para 2m decimales: en otras palabras, si J.l. .:;;; 1, el procedimiento de Newton asegura enton-' ces el doble del nmero de decimales exactos de la raz deseada en cada paso.

Ejemplo 1. Utilizando el mtodo negativa de la ecuacin f (x) == x4 d gitos exactos.

3X2

de Newton, calclese una raz + 75x - 10.000 = O con cinco

Solucin. Estableciendo x = O, - 10, - 100, ... en el lado izquierdo tendremos f (O) = - 10.000,[ (- 10) = - 1.050,[ (- 100);::::; + 108. De este modo, la raz deseada ~ cae en el intervalo - 100 < ~< - 10. Reduzcamos el intervalo hallado. Ya que f(- 11) = 3.453, entonces - 11 < ~< - 10. En este ltimo intervalo, t' (x) < O y (xO. Como f(- 110 Y f"(- 110, podemos tomar Xo =- 11 como aproximacin inicial. Las aproximaciones sucesivas x.; (n = 1, 2, ... estan calculadas de acuerdo con el esquema siguiente:

eUrr 12
I I I I I

n O J

Xn

f"(xn)

t'

(xn)

Ih

=n

f'

f(xn) (x,,)

2 3

-11 -10.3 -10.27 -10.261

3453 134.3 37.8 0.2

-5183 -4234 -4196

-

0.7 0.03 0.009 -

Por consiguiente

t'

(x)

<O

t"

(x)

<O

para

7f

< X < 37f -.

2 tomar
Xo

Como

37f

=-

1, para la aproximacin

inicial podemos

7f

146

141

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.5. METO DO DE NEWTON (METODO DE LAS TANGENT'

Ejectese los clculos de acuerdo con el esquema siguiente

n

y, consecuentemente,
f (x,,) f' (x >
J '"

Xn 3rt = 4 .71239 (270) 2 4.50004 (25750') 4.49343 (25727'16")

f
-1

(Xn)

r (Xn)
-4.712 -4.399

h __

t_x
2~

I~

I f(xz) I
4

0.00003 4

<.

10-'

I
-0.212

n-

De este modo
(<:::-1210') (<::: -22'44")

O 1 2

s = 4.49343-0.000018
donde O < 8
Ejemplo

-0.0291 -0.00003

-0.0066

<

1. la ecuacin f(x) =0
(lO)

3. Consideremos

Al estimar el error del valor aproximado Xn, obsrvese que las aproximaciones sucesivas Xn (n = O, 1,2, ... ) decrecen en forma montona debido al signo negativo de la segunda derivada (x), y (xn) < O. Por esta razn, podemos tomar n < ~< Xn, donde x; es un

~alor

del intervalo

(n, 32Jt)

tal que

t (:in) > O.

El valor

xn

puede

hallarse fcilmente a simple vista. [Es cierto que podra tomarse x.; = 7T, pero no presenta ninguna ventaja/ya que t" (7T) = O.] De este modo, por ejemplo, para n = 2 y considerando aproximadamente

donde t" (x) es continua y conserva el signo en - 00 < x < + oo, Por el teorema de Ralle, la ecuacin (10) no puede tener ms de dos races reales. Estudiemos dos casos de inters prctico. 1. Supongamos

X
tenemos

= 4.49340 = are 25727' 12"

(Fig. 21). Entonces (10) tiene la raz nica ~ en el intervalo (xo,

Xl ),

donde

f (x

2)

-= -0.97612
Por tanto,

25727' 12"-4.49340 cos 25727' 12" = + 4.493400.21724 = = -0.97612+0.97614 = + 0.00002

= sin

Xl

= Xo-

f f'

(xo) (xo)

11

I
s<r :;
e,
e,
.::

X2

se ha elegido correctamente 4.49340

y
O
Flg. 2f

< 6 < 4.49343

Podemos poner

6 =4.4934

~exacta con todos los dgitos indicados. El estimado del error del valor de X2 puede hacerse ms exacto con facilidad. Como para x E [X2' X2], la derivada (x) decrece y t' (x) < O, entonces

La raz ~ puede mtodo de Newton. n. Tengamos

calcularse

con la exactitud

V
f (xo) f"
(x)

pedida

mediante

f'
de donde

(xo)

= O,

<O

m, = 4.493400.97612
148

>4

En tal caso la ecuacion tervalo (- 00 + 00) (Fig. 22).

(10) tiene

dos races ~ y ~' en el in-

CAPITULO

4. SOLUCION

APROXIMADA

OE ECUACIONES

ALGEBRAICAS

y TRASC.

4.6. METO DO DE NEWTON MODIFICADO

JI
I I

4.6. METODO DE NEWTON MODIFICADO

j
I
I

Si la derivadaf' (x) vara, aunque ligeramente, en el intervalo [a, b], tal caso en la frmula (3) de la seccin precedente podemos poner
.;;

n (1)

O
O

I IX,

x.

IX',

Fig.22

Fig. 23

Transformando el lado izquierdo de (10) por la frmula de Taylor, tendremos aproximadamente

Flg.24

o
De aqu, para la raz ~ de la ecuacin aproximaciones sucesivas

(x)

O tendremos

las

de donde para las races ~ y ~ , tendremos las aproximaciones iniciales (2) Geomtricamente, este mtodo significa que sustituimos las tangentes en los puntos B [xn, [(xn)] por lneas rectas paralelas a la tangente a la curva y =f(x) en el punto B [xo, f (xo)] (Fg. 24). La frmula (1) nos evita la necesidad de calcular los valores d la derivada f' (xn) cada vez; y por lo tanto esta frmula es muy til NI f' (xn) es complicada. Puede demostrarse que supuesta la constancia dl los signos de las derivadas!, (x) y f" (x) las aproximaciones sucesivas ( ) presentan un proceso convergente. 4.7. METODO DE COMBINACION con el eje x (Fig, 23). Pueden conseguirse mejoras sucesivas de las races mediante el mtodo de Newton. Los asertos de 1 y II son geomtricamente evidentes,' quedando al cuidado del lector efectuar una demostracin rigurosa. ' 150 Supongamos f (a) [ (b) < O y [' (x) y t" (x) conservan los signos en I intervalo [a, b]. Combinando el mtodo de las partes proporcionales y el de Newton, obtenemos un mtodo en el que en cada una de su etapas encontraremos aproximaciones menores (demasiado pequea ) y mayores (demasiado grandes) a la raz exacta ~ de la ecuacinf (x) O.

las cuales son las abscisas de los puntos de interseccin de la parbola

I I

1. .

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

Una de sus consecuencias pertenecer definitivamente tericamente posibles:

(1) (2)
!I

es que los dgitos comunes a x.; y xn deben a la raz exacta ~. Existen cuatro casos 25),

De este modo, supongamos Hagamos x = a, Xo = by

f' (x)

>

4.7. METODO DE COMBINACI

t" (x)

O' para a':;;;;x':;;;; b.

(I

t' (x) > O, f" t' (~)> O, r

(x) (x)

<o
8

> O (Fig.

(Fig. 26),
8

(n::;=O, 1, 2, .. )

O')

!I

(En cada paso se aplica el mtodo de las cuerdas para un nucv intervalo [xn, l.) Por lo demostrado anteriormente (Secs. 4.5 y 4.6) se deduce que

s,

y ( Si el error absoluto permisible en una raz aproximada Xn se hn especificado de antemano y es igual a e, el proceso de aproximaci Il termina tan pronto vemos que xn - Xn < e. Al final del proceso, I mejor es tomar como valor de la raz ~. la media aritmtica de 1 l' ltimos valores obtenidos:

Ejemplo. Calclese para 0,0005 la nica raz positiva de la ecua

j n

f (x)
B
Fig. 17 Fig. 28

Solucin. Como (1, 1,1). Tenemos

f (1) <

= x -x-0.2

=O

f 0,1)
y

> 0,
f"

la raz cae en el intervak

(3)

t' (4) t'

(x) (x)

< O, f" < O, f"

(x) (x)

>O <O

(Fig. 27), (Fig. 28).

t' (x) = 5x4-1

(x) = 20x3

Limitaremos nuestro anlisis al primer caso. Los casos restantes se estudian de forma anloga y el carcter de los clculos se comprende fcilmente en base a las figuras. Conviene tener en cuenta que estos casos pueden reducirse al primero si sustituimos la ecuacin f (x) = por las ecuaciones equivalentes -f(x)=O o f(-z)=O, donde z=-x. 152

En el intervalo elegido,!, (x) > 0,/" (x) > 0,10 cual quiere decir qu se han conservado los signos de las derivadas. Apliquemos el mtodo de combinacin suponiendo que x I Xo = 1,1. Ya que

(xo)'=

f ()

= -0.2,

t (xo)
=

(1.1) = 0.3105,

f'

(xo)

f'

(1.1)

= 6.3205

I I

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.8. METODO DE ITERACI

las frmulas (1) y (L'jse convierten en

Xl =

Si esta secuencia es convergente,

es decir, si existe un lmite ~ = lim n ... que la

0.51051 +0.1.0.2

~.

1 039

Xl =

1.1-

0.31051 6.3205 ~

1.051
Hallemos el

xn, entonces, pasando al lmite en (4) Y dando por supuesto funcin <p (x) sea continua, hallaremos
n400

Como Xl - Xl = 0,012, la exactitud siguiente par de aproximaciones: x2=1.039+

0.0120.0282 0.0595 ~

no es suficiente.
-

lim x;

= cp ( lim x; -i)
n-+(j;)

o 1.04469, x2 =
0.0313 1.051-5.1005 ~

1.04487

s = cp (s)

(5)

En este caso, X2 - x2 = 0,00018, lo cual indica que se ha conseguido el grado de exactitud deseado. Podemos poner ~=

(1.04469

+ 1.04487) =

1.04478 ~ 1.045

con error absoluto menor de ~ 0.00018

De este modo, el lmite ~ es una raz (2) y puede ser calculada mediante la frmula (4) con cualquier grado de exactitud deseado. Geomtricamente, el mtodo de iteracin puede explicarse de la manera siguiente. Dibjese sobre un plano xy las grficas de las funciones y = X e y = sp (x). Cada raz real ~ de la ecuacin (2) es la abscisa del punto de interseccin M de la curva y = <p (x) con la lnea recta y = x (Fg. 29).

+ 0.00022

=0.00031

< ~. 1O-~
!J
Ao
I

4.8. METODO DE ITERACION

Uno de los procedimientos ms importantes en la solucin numrica de ecuaciones es el denominado mtodo de iteracin (denominado con frecuencia mtodo de las aproximaciones sucesivas). Esencialmente, este mtodo es como sigue. Supongamos una ecuacin

I I I I 1 I
I I

Ir(.xgJ
I I I I

(x) = O

(1) sus races

(2)
Fig. 29

donde f (x) es una funcin continua y se desea determinar reales. Sustityase (1) con una ecuacin equivalente x= rp (x)

.x,

Por cualquier procedimiento estmese un valor aproximado de la raz xo, y sustityase en el segundo miembro de (2) para tener un nmero
(3 )

Colocando ahora Xl en el segundo miembro de (3) en lugar de xo, tendremos un nuevo nmero X2 = <P (x ). Repitiendo el proceso tendremos una secuencia de nmeros (n=1,2, ... )
(4)

Comenzando a partir de un punto A o [x o, <p (x o)], construyamos In lnea poligonal A oB lA 1 B2A2 ... ("escalera"), cuyos segmentos SOIl alternativamente paralelos al eje x y al eje y, los vrtices A o' Al, A 2, caen sobre la curva y = <p (x), y los vrtices B l' B2, B3, . caen sobro 11 lnea recta y = x. Las abscisas comunes de los puntos A 1 Y B 2, y A 2 Y B 2, . , evidentemente sern las aproximaciones sucesivas Xl, X2, .. ti 111 raz ~. Tambin es posible (Fig. 30) tener una lnea poligonal difer ni AoBIAI2A2 ... ("espiral"). Evidentemente se tiene la solucin" scn lera" si la derivada <p' (x) es positiva y la solucin "espiral" si <p' ( e negativa.

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.8. METO DO DE ITERACION

En la figura 29, la curva y = ip (x) se inclina en la vecindad de la raz es decir, [ ..;' (x)] < 1 Y el proceso de iteracin converge. No obstante, si consideramos el caso en que [..;' (x)] > 1, entonces el proceso de iteracin. puede ser divergente (Fig, 31). Por consiguiente, para aplicar de una manera prctica el mtodo de iteracin, hemos de aseguramos de que se cumplen las condiciones de suficiencia de convergencia del proceso de iteracin.

Demostracin.

Consideremos
, Xn

dos aproximaciones
y
Xn+

sucesivas

= rp (Xn_1)

= cP (xn)

(las cuales son definitivamente del teorema), de donde

xn'f-l-xn

significativas en virtud de las condiciones

= cP (xn) -cP

(xn_1)

!/

Aplicando

el teorema del valor medio, tenemos

donde

Xn

E (xn _

1,

xn).

Y por tanto en base a (6), se tiene (9)

!f=f{X}
'1

De aqu, asignando los valores n

I X2-X1\ ~

1, 2, 3, ... en sucesin, obtenemos

:f(Xo)
I

q
q

1 x1-Xo Ix2-x11

1,
~

Xi!
Fig. 30

XQ

.1:
Fig. 31

.x

I X3-X21~

q2IxI-XO

1, (10

Teorema 1. Tengamos una funcin <{J (x) definida y diferenciable un intervalo [a, b] con todos los valores ..; (x) E [a, b].

en
Consideremos
Xo (6)

la serie
2

Si existe una fraccin propia q 1) tal que

+ (x-xo) + (x --:-x) + :.. + (xn ~xn':'l) + ...

Xn

(11

para a

< x < b, 'entonces:

(1) el proceso de iteracin (n= 1, 2" ... )

(7)

para la cual nuestras parciales, es decir

aproximaciones

sucesivas son (n

+ 1)

sumas

converge independientemente lmite

del valor inicial ~ E [a, b]; (2) el valor

Por la desigualdad (10), los trminos de la serie (11) son menores 1) valor absoluto que los trminos correspondientes de una progre i 11 geomtrica de razn q < 1, Y por tanto la serie (11) converge y converge en forma absoluta. En consecuencia lim Sn+l
.rt: .-+
00

es la nica raz de la ecuacin

X=

= lim x; = ~
n
-+
(.1J
j

rp (x)

en el intervalo [a, b].

1) Para el nmero q podemos tomar el valor ms pequeo a una cota inferior del mdulo de la derivada I<p'(x) Ipara a .;;x .;; b:

~ E [a, b). Pasando al lmite en (7), obtenemos, la funcin sp (x),

y evidentemente

en virtud de la continuidad (J

d )
I '/

156

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.8. METODO DE ITERA

De este modo, ~ es una raz de la ecuacin (8), la cual no tiene ninguna otra raz en el intervalo [a, b l. En efecto, si 03) entonces de (12) y (13) obtenemos

De aqu se ve claramente que la convergencia del proceso de iteraci 11 ser ms rpida a medida que sea ms pequeo el nmero q. Las aproximaciones pueden estimarse mediante otras frmulas el' aplicacin en ciertos casos. Tengamos

f (x)
-- rp (s)

= x-cp
I.{)'

(x)
(x) ~ 1 -

~ - S = rp (~)
y, en consecuencia,

Resulta evidente que f' (x) = 1 en cuenta que f (~) = 0, tenemos

q, de donde teniend
.

(~-s) [l-cp' (e)] =0

(14) donde x.; E (xn,

~)

y, en consecuencia, (1 )

donde e E [t '~l Como la expresin entre parntesis cuadrado en (14) es no nula, se deduce que ~ =~, esto es, la raz ~ es la nica. Nota 1. El teorema permanece vlido si la funcin 1.{) (x) es definida y diferenciable en el intervalo infinito - 00 < x < + 00, y la desigualdad (6) se cumple cuando x E (- 00 ,+ 00). Nota 2. En las condiciones del Teorema 1, el mtodo de iteracin converge para cualquier valor inicial Xo en [a, b l. Por esta razn es autocorrector, esto es/un error individual en los clculos que no vaya por encima de los lmites del intervalo [a, bl no afectar el resultado final, ya que un valor errneo puede ser considerado como un 'nuevo valor inicial xo. Unicamente se habr trabajado ms. La propiedad de auto correccin hace que el mtodo de iteracin sea uno de los ms fiables. Naturalmente, los errores sistemticos al aplicar este mtodo pueden hacer que no se obtenga el resultado requerido. Estimado de una aproximacin. De la frmula (10) tenemos
IXn+p-Xn

esto es

Is-x n 1~lxn+I-C-Xnl -...::: l-q

Utilizando la frmula (9) tenemos tambin

(1

I s-

x;

I :::::;;; I~ q I xn -"Xn
que si q

-1

I
entonces

(16)"

de donde se deduce, en particular,

<: ~,

1:::::;;; I xn+p-xn+p_II
1:::::;;; qn+p-II

... + ...+

Xl-Xor+ q" I Xl- Xo I = q" I Xl- Xo I (l + q + qZ+ ... + q p-l

I xn+l-xn
x1-Xo qn+p-zl

+ \xn+p_I-xn+p_zl
I+

+ .
)

En este caso, de la desigualdad dad

I Xn

xn- 11

<

se deduce la desigual.

Sumando la progresin geomtrica,

obtenemos

Permitiendo cuenta que lim

p-+oo

que

el nmero

p vaya hasta

infinito a

y teniendo

en

Xn + p

= t llegamos finalmente

(15)
158

Nota. Existe una extendida opinin de que, si al utilizar el mtod ti iteracin, dos aproximaciones sucesivas xn -1 Y Xn coinciden dentr d la exactitud especificada (por ejemplo, los primeros m decimales estn esta~ilizados e~ estas aproximaciones), entonces se cumple ~ ::::::: Xn con la mIs.ma exactItu.d (esto es, en particular, en el ejemplo dado, el nmcr aproximado Xn tiene m cifras exactas). En el caso general, tal e J1I) indica clarsimamente la figura 32, esta afirmacin es errnea. Lo qu '~ ms, resulta fcil demostrar que si I.{)' (x) est prxima a la unidad entonces la. cantidad I ~ - Xn I puede ser grande, aun cuano' I Xn - Xn - 1 [ sea extremadamente pequea.
I <)

CAPITULO

4. SOL{jCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.8. METODO DE ITF.RA 'ION

!I

x Fig. 32

Por tanto, en un proceso iterativo convergente el error I ~ - Xn I ti IIdl a cero montonamente, es decir, cada valor sucesivo Xn es ms xu 'to que el valor precedente Xn _ 1 .En todas estas conclusiones, por supu ' to hemos ignorado los errores de redondeo; se ha considerado que 1I aproximaciones sucesivas se han hallado exactas. Ordinariamente, en situaciones prcticas se utiliza una tcnica t H' 1 para establecer la existencia de una raz ~ de la ecuacin (2) y lueg po: el mtodo de iteracin se trata de obtener un valor aproximado d lu raz suficientemente exacto; la desigualdad (6) es vlida nicam II( dentro de una cierta vecindad (a, b) de esta raz. Si la eleccin del val )1 inicial x o ha sido incorrecta, las aproximaciones suc sivu Xn = <{) (Xn- 1) (n = 1, 2, ... ) pueden caer fuera del intervalo (a, b () incluso resultar sin sentido. Resulta til, por tanto, tener un plante 1 miento alternativo del Teorema 1. Teorema 2. Sea sp (x) una funcin definida. y diferenciable cierto intervalo [a, b], y. que la ecuacin x=cp(x)

en

1111

La frmula (16") nos permite estimar el err?r en. el valor ap:oximado a partir de la discrepancia entre dos aproxImaCIOnes sucesivas Xn - 1

YX

E1

proceso de iteracin

debe continuarse
I xn-xn-1
---=::-q- e 1& l-q

hasta que se cumpla la

( 17)

desigualdad

tenga una raz ~ situada en un intervalo ms pequeo [a,

a= a

rn

do tuk ,

+ ~. (b
Fig. 33

- a) y

f3 = b a le:

~ (b - a) (Fig. 33).

para las dos aproximaciones sucesivas Xn - 1 Y xn; e es la cota ?e idde absoluto especificada de la raz ~ y I <{)' (x)] <. q. Entonces, en virtu e la frmula (16 tI), la desigualdad

.... 1

...,1_

..... 1

es vlida; esto es, Ntese que si

En este caso si (a) I <{)' (xj] <. q < 1 para a < x < b Y (b) la aproximacin inicial Xo E [a, f31 entonces: (1) todas las aproximaciones sucesivas caen en el intervalo (a, b): (n= 1, 2, ',')

(2) el proceso de aproximaciones sucesivas es convergente; es de .lr, existe

entonces

I ~-xn I= 1cpm-cp = 1~ - x;

(xn-1)
-1

1=
X"

y ~ es

11 cp'(X"_l) 1 < q 1~ -

-11

la nica raz en el intervalo [a, b] de la ecuacin (17), y (3) el estimado (15) es vlido.
Demostracin. (1) En efecto, supongamos

160

] I

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.8. METO DO DE lTERA('ION

Entonces la ecuacin

En tal caso
XI-S
= cp (Xo) -cp

(s) = (Xo-s)

cp' (SI)

<O

tiene evidentemente

significado. Utilizando
s = cp (s)

la ecuacin

donde ~l E (xo, ~), y

tendremos,

en base al teorema de valor medio,

En consecuencia
Xu

< XI < S
matemtica,
2

Utilizando por consiguiente

Xl E (a, b)

el mtodo de induccin
Xo

obtenemos

< Xl < X < ... < S

.1'2
e

Por lo general, entonces

si xn-

E (a, b) (n = 1, 2, ... ) Y I xn-

1 -

~I <

b-a -3- ,

(Fig.34a)
fig. 34a
.1'0
o

es significativa y
I

xn-s

= I rp (xn_l) -cP (s)I = 1 xn-l-s

11

cP' (xn-l)

<

<q Ixn-l-s 1<

-3-

b-a

En consecuencia, x.; E (a, b) donde n = 1, 2, 3, ... Las demostraciones de los asertos (2) y (3) son completamente anlogas a las del Teorema l. Nota. Supongamos que en un cierto entorno (a, b) de la raz ~ de la ecuacin (17), la derivada <p'(x) conserva el signo y la desigualdad

Un resultado an~logo s~ obtie~e cuando Xo >~. ~e este modo, SI la denvada <p (x) es positiva solamente es necesario elegir la apro~imacin inicial x de forma que pertenezca al ent ni\) (a, b) de la raz ~ por la que estamos interesados; todas las aproxima 'lo nes restante~ Xn (n = 1, 2, ... ) caern automticamente en este ent rnu y se acercaran montonamente h~cia la raz ~ a medida que n aument . (2) Hagamos - 1 < - q ~ sp (x) ~ O y, por ejemplo x < t xl=<p(xo)E(a,b). ' o ~. Tenemos
Xl -S

= rp (xo) -cp (S) = (xo -S)

cp' (SI)

>O

I cp' (x) I ~
es vlida.
Por consiguiente, sucesivas

<1
las aproximaciones

si la derivada <p' (x) es positiva,

es dec!,.xl > ~y I Xl - ~I< I Xo - H Repitiendo estos argumentos para las aproximaciones tenemos
Xo

< x < ... < S < ... < x < Xl

2 3

D~ este .modo, las aproximaciones raiz ~ (Flg. 34b).

convergen montonamente hacia la raz ~. Sin embargo, si la derivada <p' (x) es negativa, las aproximaciones sucesivas oscilan entonces alrededor de la raz t (1) En efecto, hagamos O ~ <p'(x) ~ q 1 y, por ejemplo,
fig .. 34b

sucesivas oscilarn alrededor

I1

~ o

.x,

<

.r.

. Por tanto, enel caso de una derivada negativa <p'(x), si dos aproxiiuu ciones x o Y x 1 pertenecen al entorno (a, b) de la raz t todas las d J11
162

161

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.8. METODO DE ITERA

ION

aproximaciones x.; (n = 2,3, ... ) pertenecern secuencia {xn } "estrangula" la raz ~. Ntese que, evidentemente,

tambin

al mismo; la

Si elegimos x E (1,1, 1,3), se cumplirn todas las condiciones d I Teorema.2 y, por consiguiente, podremos asegurar que las aproximaci ) nes sucesivas (n= 1, 2, ... )

esto es, en este caso, los dgitos estabilizados de la aproximacin Xn pertenecen definitivamente a la raz exacta ~. Ejemplo 1. Hllense las races reales de la ecuacin x - sen x = 0,25 con tres dgitos significativos. Solucion. Escribamos la ecuacin de la forma x=sinx+O.25 Establecemos aproximadamente grficamente que la ecuacin tiene una raz real ~ igual a x = 1,2 en el intervalo [1,1,1,3] (Fig, 35).

(11 .caen en el intervalo (0,9, 1,5) y (2) Xn -+ ~para n -+ oo, Eligiendo Xo = 1,2 y especificando, de acuerdo con la hiptesis d problema, la cota de error absoluto B=J...IO2
Z

forme!ll0s .las aproximaciones sucesivas Xn (n = 1, 2, ... ) hasta que do aproxunaciones adyacentes Xn _ 1 YXn coincidan dentro de los lmit de error igual a
1q

QB=0.51.f.10-z

~0.0025

Tenemos
Xl

= sin 1.2 + 0.25 = 0.932

+ 0.25 =

l. -82,

x2 ~ sin 1.182 + 0.25 = 0.925 + 0.25= 1.175, xs= sin 1.175 + 0.25 = 0.923 + 0.25' = 1.173,
x4 = sin 1.173 +0.25 = 0.922 + 0.25 = 1.172, x5 = sin 1.172 + 0.25 = 0.922 + 0.25 ~ 1.172
Fig. ]S

f1.Z

a:

la cuarta y quinta aproximaciones coinciden cativos. Por consiguiente [vase (16")]

con cuatro dgitos signifi-

Utilizando la notacin

del Teorema 2, escribimos a= 1.1 y ~ = 1.3 0.9 ~ arc52

I x5-~1 ~

O-'16~~:~~1

=0.0016
X5

de donde a=a-(~-a)=
y

Como la cota de error absoluto de la raz aproximada error de redondeo) no excede E = 0.0016 + 0.002 podemos decir que
~ =

(inc1uyend

b =~ ya que

+ (~-a)

= 1.5 ~ arc86

< ~.10-

ep(x)=sinx+O.25
y

ep' (x) tenemos, para 0,9

cos x Nota. La ecuacin dada

1.17 0.005

<x < 1,5.

I (P' (x) I ~
cos 52 ~ 0.62=q

f (x) = O

(1
1

164

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.8. METODO DE ITERA

ION

puede escribirse de la forma x= rp (x) (18')

En consecuencia,

podemos elegir

eligiendo la funcin 'P (x) de diferentes maneras. La notacin (18~) no deja de tener su importancia; en ciertos casos i <P (x)] demostrar ser pequea en la vecindad de la raz ~, en otros ser grande. Para el mtodo de iteracin, la representacin de (18') ms ventajosa es aquella en la cual la desigualdad

y ml q= 1 -Mi

<1

La desigualdad (21) es, por tanto, vlida. Ejemplo 2. Hllese la raz ~ positiva mayor de la ecuacin (2 ) con error menor de 104.

I cp' (x) I ~

<1

(19)

es vlida, y cuanto menor sea el nmero q, ms rpida ser, hablando en trminos generales, la convergencia de las aproximaciones sucesivas a la raz ~. Estudiaremos a continuacin una tcnica bastante general para reducir la ecuacin (18) a la forma (18'), y para la cual se asegure la validez de la desigualdad (19). Supongamos que la raz deseada ~ de la ecuacin caiga en el intervalo [a, b.], y
(20)

Solucin. Un clculo por encima nos ofrece el valor aproximad la raz x = la; es evidente que ~ <xo. La ecuacin (22) puede describirse de la forma x= 1000-x3 o (2 ')

para a";;;;x :s;;; b.l) En particular, pequeo de la derivada f' (x) en positivo, y para M 1 d valor ms Reemplcese (18) por la ecuacin x=x-Af

podemos tomar para m1 el valor ms el intervalo [a, b], cuyo valor debe ser grande de f' (x) en el intervalo [a, b]. equivalente (x) (A> O)

(22") o x=

V 1000-x

(22"')

Podemos establecer 'P (x) = x - Af (x). Elijamos el parmetro A de tal manera que en la vecindad dada de la raz [a, b] sea vlida la desigualdad

y ~s sucesivamente. La v.ersinms adecuada es (22"'), ya que tomando el intervalo (9,10) como intervalo principal y estableciendo cp(x) tenemos ql'(x)= de donde

V 1000-x
.
-1 (1000-x)2 .

o~

cp' (x)

= l-Af'

(x) ~ q

<l

(21 )

de donde, en base a la expresin (20), tenemos

3V

1) def(x)

Si la derivada f' (x) es negativa, consideraremos entonces la ecuacin - f (x) = Oen lugar = O.

I cp' (x) I ~

Vi990 ~ 3010= q
2.

166

J )7

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

4.8. METO DO DE ITERA

I N

Calculemos las aproximaciones utilizando las frmulas

sucesivas

Xn

con un d gito adicional

x5 = cP(0.47689) :::::::; 0.476927,

Xv = <p(0.476927) :::::::; 0.476934; x, = cP(0.476934) ~ 0.476936 Por tanto, ~ =0,47693. Indicaremos otra tcnica para acelerar la convergencia iteracin/la cual puede ser til en ciertos casos [7]. Supngase disponemos de una ecuacin X=CP(X) tal que la desigualdad

Yn = 1000-xn, (n= O, 1, 2, ... ) Los valores hallados Tabla 4.

VALORES

del proces

tll'

de este modo

se encuentran

reflejados

en la

TABLA 4 DE LAS APROXIMACIONES xn e Yn

SUCESIVAS

I
lO

XII

Y,/

I cp' (x) I ~

>1

O 1

2 3

9.96655 9.96666 9.96667

990 990.03345 990.03334

sea cierta dentro del entorno de la raz deseada ~. El proceso ti iteracin divergir entonces para esta ecuacin. Pero si la ecuacin dada es sustituida por la ecuacin equivalente
.x = 1jJ(x)

Como 1 - q ~ 1, podemos establecer ~ = 9,9667 con un error menor

. ., 1 'lid Tambin puede utilizarse el mtodo d~ lteracIO~ para e ea cu o races de ecuaciones dadas en forma de senes potenciales.

donde l/J (x) = I{J- 1 (x) es la funcin inversa, tendremos para la cual el proceso de iteracin converge, ya que
11jJ' (x) Ejemplo 4. La ecuacin

una ecuaci

11

10- 4.

J=

I ep'

(~(X

I~ ~ = q < 1

Ejemplo 3. Hllese la raz real de la ecuacin x3 x" Xi x9

x2n-l Xll

[2]
."

X'-3+TO-42+216-1320+ . . +(

f(X)=x3-x-l=0
=0.4431135

__I)n-l
.

(n-I)! (2nI{J

1)+'"

tiene una raz ~ E (1,2), ya que j {l ) =- 1 < y [(2) = 5> O. La ecuacin (23) puede escribirse de la forma

(2

Solucin.

Tenemos x

(x), donde

cp(x) = 0.4431135

+ 3' -

x3

x" !O

x7 x9 42-216+

(4
Xll

1320- .. ,

en este caso y y por tanto

<p' (x) ~ 3 para <p' (x)

Despreciando todas las potencias hagamos que un valor Xo aproximado

Xl

de x por encima de la primera de la raz sea 0,44. Entonces

= 3x2

== cp(0.44) :::::::; 0.47, x2 =cp (0.47):::::::;0.476, x3 = qJ(0.476) :::::::; 0.4767, x4 = cp(0.4767) :::::::; 0.47689,

1~ x ~ 2 de convergencia d -1

y, en consecuencia, no se cumplen las condiciones proceso de iteracin.

168

CAPITULO

4. SOLUCION

APROXIMADA

DE ECUACIONES

ALGEBRAICAS

y TRASC.

Si escribimos (23) de la forma

x=
tendremos

V x+
y

(25)

'IJ (x) =

Vx + 1
3
JV' -

Por consiguiente O<'IJ'(x)<

<

+
.

para 1 ~x ~ 2 y, de aqu que,

para la ecuacin (25) del proceso de iteracin converger rpidamente.