Ej Examen NoLin

Programacin y Mtodos Numricos Carlos Conde, Arturo Hidalgo y Alfredo Lpez
ETSI Minas de la Universidad Politcnica de Madrid

1
EJERCICIOS DE RESOLUVIN DE ECUACIONES NO LINEALES
PROPUESTOS EN EXMENES DE LA ASIGNATURA

CURSO 2001-2002

Examen de control
Siendo un nmero real se quiere saber si la ecuacin: y .sen(y) x =
define implcitamente una funcin y(x), esto es si para cada valor x* existe
algn valor y* solucin de la ecuacin: y .sen(y) x * = . Seala entre las
opciones siguientes cual recoge un razonamiento correcto en su totalidad.

A) La ecuacin anterior s que define una funcin y adems es una funcin
multvoca (es decir para cada x* se tienen varios valores de la funcin
y(x)). En efecto, para cada valor x* que se considere se est buscando el
punto fijo y* de la ecuacin: y .sen(y) = x*. Como por ser punto fijo
debe verificar que y = x*, entrando en la ecuacin resulta que: x* -
.sen(y) = x*, o lo que es igual, que .sen(y) = 0. Y por tanto, para
cualquier eleccin de 0 que se realice, a x* le correspondern todos
los valores que anulen la ecuacin sen(y) = 0. Es decir todos los mltiplos
enteros del nmero .

B) Si 1 1 < < la ecuacin anterior define una funcin implcitamente, y
adems es una funcin unvoca (esto es, para cada x* slo hay un valor
y* que le corresponda).En efecto, en ese caso la ecuacin que se obtiene
para cada x* considerado puede rescribirse en la forma: y = .sen(y) + x*,
que por aplicacin del teorema del punto fijo, admite una y slo una
solucin. No obstante si 1 ya no se puede afirmar lo anterior.

C) Sea cual sea el valor de la ecuacin anterior define una funcin
implcitamente, y adems es una funcin unvoca (esto es, para cada x*
slo hay un valor y* que le corresponda). En efecto, en ese caso la
ecuacin que se obtiene para cada x* considerado puede rescribirse en la
forma: y= .sen(y) + x*, que por aplicacin del teorema del punto fijo,
admite una y slo una solucin.


2
D) La ecuacin considerada slo define una funcin si 1 >>> , esto es si el
valor absoluto de es muy elevado. Ello es debido a que para cualquier
valor de x* que se escoja, la ecuacin: y - .sen(y) = x* puede
rescribirse en la forma: sen(y) =
y x *
. Por tanto debe satisfacerse la

relacin:
y x *
y arcsen
| |
=
|
\ .
. Como la funcin arco seno slo est definida
para argumentos comprendidos entre 1 y 1 y como adems x* puede ser
cualquiera es evidente que el valor absoluto de debe ser mucho mayor
que la unidad para garantizar la existencia de alguna solucin.

Solucin:
Si x* se considera conocido (pues se trata de saber si para cualquier x* tiene
solucin la ecuacin dada en el enunciado), y tomando como incgnita de la ecuacin el
valor que debe tomar y, se puede rescribir la ecuacin en la forma:
y = x* + .sen(y)
Como cualquier valor real de y es admisible, estamos trabajando en toda la
recta real. Por ello, llamando g(y) a la funcin:
g(y) = x* + .sen(y)
es fcil comprobar que:
g(y) = .cos(y)
y que
1) g(y) R y R
2) g(y)
1
C ( ) R
por lo que para asegurar que es una contraccin bastar con analizar cuando se puede
asegurar que |g(y)| < 1. Ello, al ser cos(x) una funcin con valores en [-1, 1], obviamente
puede afirmarse siempre que | |<1. Para otros valores de ya no se podr afirmar que
g(y) es una contraccin.

En conclusin, por aplicacin del teorema del punto fijo se puede afirmar que si
1 1 < < la ecuacin considerada admitir una nica solucin y* para cada valor de x*
que se quiera considerar. Para otros valores de no se verifican las condiciones del
teorema y no se puede afirmar que exista una nica solucin.

En resumen la afirmacin correcta es la recogida en la opcin B).


3
Examen de control
La raz cbica del nmero real A = 39 puede encontrarse resolviendo la
ecuacin:
x
3
A = 0

Para ello, trabajando en el intervalo
[ [
2.5 , , se quiere emplear un mtodo
de tipo iterativo por lo que se rescribe la ecuacin en la forma x = g(x)
considerndose las siguientes elecciones para la funcin g(x):
2
1
A
3.x
x
g (x)
4
+
=
3
2
2
2.x A
g (x)
3.x
+
=

2
3
A
A.x
x
g (x)
A 1
+
=
+

4
2
A
g (x)
x
=
Se desea saber a priori (esto es, sin realizar las iteraciones
correspondientes) cul de los mtodos anteriores converger ms
rpidamente. Por ello se pide que entre las opciones siguientes seales cul
es correcta en la clasificacin de la velocidad del mtodo iterativo para cada
una de las funciones g
i
(x) consideradas:

A) En las cercanas de la raz, la mayor velocidad de convergencia se
obtiene con g
1
(x). Tras ello con g
2
(x). Despus con g
4
(x). Y la eleccin
que produce una convergencia ms lenta es la correspondiente a
g
3
(x).

B) En las cercanas de la raz, la mayor velocidad de convergencia se
obtiene con g
2
3
(x). Despus con g
1
(x). Con la
eleccin correspondiente a g
4
(x) el mtodo no tiene garantizada su
convergencia.

C) En las cercanas de la raz, las elecciones g
1
(x) y g
2
(x) tienen la misma
velocidad de convergencia. Tras ellas la eleccin de g
3
(x) es la
siguiente en rapidez. Con la eleccin correspondiente a g
4
(x) el
mtodo no tiene garantizada su convergencia.


4
D) En las cercanas de la raz, la mayor velocidad de convergencia se
obtiene con g
2
1
(x). Despus con g
3
(x). Con la
eleccin correspondiente a g
4
(x) el mtodo no tiene garantizada su
convergencia.

Solucin:

La velocidad de convergencia de un mtodo escrito en la forma x
i+1
= g(x
i
), cuando
el mtodo es convergente y en las cercanas de la solucin, se puede analizar utilizando los
dos criterios siguientes:

a) La velocidad es mayor cuanto mayor sea el orden de convergencia del
mtodo (es decir, para rdenes enteros y expresando el mtodo en la
forma x
i+1
= g(x
i
), el orden de la primera derivada de g(x) que no se anula
en la solucin x*).
b) Si dos mtodos tienen el mismo orden de convergencia ser ms rpido
aquel en el que la funcin g(x) utilizada tenga una menor constante de
contraccin (o equivalentemente que presente menor valor absoluto de su
primera derivada)

Aplicando estos criterios a las funciones dadas resulta:

*) Para la funcin g
1
(x):
2
1
A
3.x
x
g (x)
4
+
=
'
1
3
3 A
g (x)
4 2.x
=
'
1
3 A 1
g (x*)
4 2.A 4
= =

Al no anularse la primera derivada en x* se puede concluir que este es un mtodo de orden
1. Adems en las cercanas de la raz ser del orden de 0.25. Como la segunda derivada, g
1

(x) = (3/2).A.x
.-4
, es positiva para cualquier valor de x se puede concluir que g
1
(x) es
creciente y como g
1
(2.5) = -0.498 y g
1
(x ) = 0.75 puede concluirse que |g
1
(x)| < 1
x [2.5, [ . Adems es fcil comprobar que g
1
(x) se anula en
3
26 2.9625 , por lo que
en [2.5, 2.962....] la funcin g
1
(x) es negativa (y g
1
(x) es decreciente) mientras que en
[2.962..., [ la funcin g
1
(x) es positiva (y por tanto la funcin g
1
(x) es creciente en ese
intervalo). Puesto que se tiene que g
1
(2.5) = 3.435 y g
1
(
3
26 ) = 3.33.. se cumplir que
g
1
(x)
[ [ 2.5,
[ [ x 2.5, . Por tanto g
1
(x) es una contraccin en el intervalo de
trabajo y puede afirmarse que el mtodo converger con un orden de convergencia al
menos 1 (pero sin llegar a ser cuadrtico) y con una constante de contraccin en las
cercanas de la solucin prxima a .

NOTA: Obsrvese que esta forma de rescribir la ecuacin dada se obtiene mediante:
x
3
A = 0 x.(x
2
) = A x = A / x
2
3.x + x = 3.x + (A/ x
2
)

4.x = 3.x + (A/ x
2
) x = (3.x + (A/ x
2
) ) / 4

5

*) Para la funcin g
2
(x):

3
2
2
2.x A
g (x)
3.x
+
=
3
'
2
3
6.(x A)
g (x)
9.x
= g
2
(x*) = 0

''
2
4
2.A
g (x)
x
=
''
2
2
g (x*) 0
x *
=
Al anularse la derivada primera en la solucin y no hacerlo la segunda derivada podemos
concluir que el mtodo es de orden 2. Puesto que g
2
(x) siempre es positiva, la funcin
g(x) siempre ser creciente verificndose que: g
2
(2.5) = -0.99... y que g
2
(x
)=2/3 por lo que |g
2
(x)| < 1
[ [ x 2.5, . Por otra parte g
2
(x) se anula en x* (que
ser mayor que 2.5 pues (2.5)
3
= 15.625 < A = 39). Por tanto en [2.5, x*] la funcin g
2
(x)
ser decreciente (al ser la primera derivada negativa) y en [x*, [ ser creciente (al ser la
primera derivada positiva). Como g
2
(2.5) = 3.7... y g
2
(x*) = A/(x*)
2
, verificndose que
A/(x)
2
> 2.5 (ya que 2.5 (x*)
2
< x* . (x*)
2
= (x*)
3
= A), puede concluirse que g
2
(x)
[ [ 2.5,
2
(x) es una contraccin en el intervalo de trabajo y
puede afirmarse que el mtodo converger con un orden de convergencia al menos 2
(cuadrtico) y con una constante de contraccin en las cercanas de la solucin prxima a 0.

NOTA: Obsrvese que esta eleccin de la funcin g
2
(x) se corresponde con la que se
obtiene al aplicar el mtodo de Newton Raphson a la ecuacin dada.

* Para la funcin g
3
(x):

2
3
A
A.x
x
g (x)
A 1
+
=
+

3
'
3
2.A
A
x
g (x)
A 1
=
+

'
3
A 2
g (x*) 0.925
A 1
= =
+

Al no anularse la primera derivada en x* se puede concluir que este es un mtodo de orden
1. Adems en las cercanas de la raz la constante de la contraccin ser del orden de 0.925.
Como la segunda derivada, g
3
(x) = (6.A/(A+1)).x
.-4
, es positiva para cualquier valor de x
se puede concluir que g
3
(x) es creciente y como g
3
(2.5) = 0.8502 y g
3
(x ) =
A/(A+1) = 39/40, puede concluirse que |g
3
(x)| < 1 x [2.5, [ . Adems es fcil
comprobar que g
3
(x) se anula en
3
2 (fuera de nuestro intervalo de trabajo), por lo que en
[2.5, ] la funcin g
3
(x) es siempre positiva y por tanto en este intervalo g
3
(x) es
creciente. Puesto que se tiene que g
3
(2.5) = 2.59 se cumplir que g
3
(x)
[ [ 2.5,
3
(x) es una contraccin en el intervalo de trabajo y puede
afirmarse que el mtodo converger con un orden de convergencia al menos 1 (pero sin
llegar a ser cuadrtico) y con una constante de contraccin en las cercanas de la solucin
prxima a 0.925.


6
x
3
A = 0 x.(x
2
) = A x = A / x
2
A.x + x = A.x + (A/ x
2
)

(A+1).x = A.x + (A/ x
2
) x = (A.x + (A/ x
2
) ) / (A+1)

* Para la funcin g
4
(x):

4
2
A
g (x)
x
=
'
4
3
2.A
g (x)
x
=
'
3
g (x*) 2 =

Al ser el valor absoluto de la primera derivada en x* mayor que 1 se puede concluir que
este mtodo no tiene asegurada su convergencia en el entorno de raz. Obsrvese que
tampoco se verifica que todas las imgenes de los puntos considerados pertenezcan al
intervalo de trabajo pues, al ser la funcin g
4
(x) decreciente, y como cuando x tiende a
infinito la funcin tiende a cero habr un valor de x para el que la funcin comience a tener
valores inferiores a 2.5. Por tanto en este caso no se puede asegurar la convergencia del
mtodo.

x
3
A = 0 x.(x
2
) = A x = A / x
2

En resumen, en las cercanas de la solucin el mtodo converger ms rpidamente
con g
2
(x) (orden cuadrtico), despus con g
1
(x) (orden lineal y constante de contraccin en
torno a un ) y finalmente con g
3
(x) (orden lineal y constante de contraccin en torno a
0.925). Con la eleccin de g
4
(x) no se garantiza la convergencia del mtodo.

Por tanto la opcin correcta es la opcin D).

Examen de junio de 2002
Considrese un mtodo de aproximaciones sucesivas de la forma:

x
0
dado en [a, b], x
i+1
= g(x
i
) (i = 0, 1, 2, .....)

donde g(x) es una contraccin de razn K definida en el intervalo [a, b] y
denotemos por x* al nico punto fijo de g(x) en [a, b].
Se pide razonar la veracidad o falsedad de las siguientes desigualdades:

a) |x
i+1
x
i
| < K
i
(1+K)|x
0
x*| (i = 0, 1, 2, ....).


7
b) |x
i+1
x*| <
i
K
1 K
|x
1
- x
0
| (i = 0, 1, 2, ).

c) |x
i+p
x*| <
p
K
1 K
|x
i
- x
0
|

(i = 0, 1, 2, ).

d)
+

ln( 1)
i
ln(K)
|x
i+1
x*| <
Solucin:
Al ser g(x) una contraccin su constante K verifica que 0 < K < 1 y adems:
|g(x) g(y)| < K|x-y|
[ ]
x, y a, b

Por otra parte, al ser x* el punto fijo se tiene que x* = g(x*). Con estos hechos presentes se
tiene que:

a) |x
i+1
x
i
| = |x
i+1
x* + x* x
i
| < |x
i+1
x* | + | x* x
i
| =

= |g(x
i
) g(x*) | + | g(x*) g(x
i-1
)| < K|x
i
x* | + K| x* x
i-1
| =

= K|g(x
i-1
) g(x*) | + K| g(x*) g(x
i-2
)| <

< K
2
|x
i-1
x* | + K
2
| x* x
i-2
| = K
2
|g(x
i-2
)g(x*) | + K
2
|g(x*) g(x
i-3
)| <

< ...... < K
i
|x
1
x* | + K
i
| x* x
0
| = K
i
(|x
1
x* | +| x* x
0
|) =

= K
i
(|g(x
0
)g(x*)| +| x* x
0
|) < K
i
(K|x
0
x*| +| x* x
0
|) =

= K
i
(1+K) | x* x
0
|
Luego la desigualdad a) es correcta.

b) |x
i+1
x*| = |x
i+1
x
i+2
+ x
i+2
- x*| < |x
i+1
x
i+2
| + |x
i+2
- x*| =

= |x
i+1
x
i+2
| + |x
i+2
x
i+3
+ x
i+3
- x*| <

< |x
i+1
x
i+2
| + |x
i+2
x
i+3
| + |x
i+3
- x*| < ..... <


8
<
+ + +
=
i k 1 i k
k 1
x x <

+
= =
| |
= =
|
\ .

i k i k
1 0 1 0
k 1 k 1
K x x K K x x

=
+
=

i 1 i
i
1 0 1 0 1 0
K K K
K x x x x x x
1 K 1 K 1 K

Luego la desigualdad b) es correcta.

c) Ntese en primer lugar que, en las condiciones establecidas en el enunciado, se verifica
que:
|x
p+(j+1) i
x
p+j i
| = | g(x
p+(j+1) i - 1
) g(x
p+j i - 1
)| < K|x
p+(j+1) i - 1
x
p+j i -1
| =

= K| g(x
p+(j+1) i - 2
) g(x
p+j i -2
)| < K
2
|x
p+(j+1) i -2
x
p+j i -2
| =

= K
2
| g(x
p+(j+1) i -3
) g(x
p+j i -3
)| < ....... < K
i
|x
p+(j+1) i - i
x
p+j i - i
| =

= K
i
|x
p+j i
x
p+(j-1) i
|
es decir:
|x
p+(j+1) i
x
p+j i
| < K
i
|x
p+j i
x
p+(j-1) i
| (1)

En la sucesin generada mediante aproximaciones sucesivas, la desigualdad anterior acota
la distancia entre los elementos x
p+(j+1) i
y x
p+j i
(es decir, cuyos ndices difieran en i
unidades) por K
i
veces la distancia entre x
p+j i
y x
p+(j-1) i
. Utilizando esta desigualdad de
forma reiterada se tiene que:
n
p ( j 1)i p ji
j 1
x x
+ + +
=
=
|x
p+2i
x
p+i
| + |x
p+3i
x
p+2i
| + . + |x
p+(n+1) i
x
p+n i
| <
< K
i
|x
p+i
x
p
| + K
2i
|x
p+i
x
p
| + ..+ K
(n i)
|x
p+i
x
p
| =

n
( ji)
p i p
j 1
K x x
+
=
| |
=
|
\ .
(2)
Por otra parte se verifica que:
|x
i+p
x
p
| = |g(x
i+p-1
) g(x
p-1
)| < K |x
i+p-1
x
p-1
| =

= K |g(x
i+p-2
) g(x
p-2
)| < K
2
|x
i+p-2
x
p-2
| =

= K
2
|g(x
i+p-3
) g(x
p-3
)| < .. < K
p
|x
i
x
0
| (3)

9

Con estas consideraciones previas puede verse que:

|x
p+i
x*| = |x
p+i
x
p+2i
+ x
p+2i
- x*| < |x
p+i
x
p+2i
| + |x
p+2i
- x*| =

= |x
p+i
x
p+2i
| + |x
p+2i
x
p+3i
+ x
p+3i
- x*| <

< |x
p+i
x
p+2i
| + |x
p+2i
x
p+3i
| + |x
p+3i
- x*| =

= |x
p+i
x
p+2i
| + |x
p+2i
x
p+3i
| + |x
p+3i
x
p+4i
+ x
p+4i
- x*| <

< .......<
p ji p ( j 1)i
j 1
x x
+ + +
=

es decir:
|x
i+p
x*| <
i jp i ( j 1)p
j 1
x x
+ + +
=
(4)
Teniendo en cuenta las desigualdades (2) y (4) se obtiene que:

|x
i+p
x*| <
p ji p ( j 1)i
j 1
x x
+ + +
=

( ji)
p i p
j 1
K x x
+
=
| |

|
\ .

Puesto que K < 1, el sumatorio de la expresin anterior es la suma de una progresin
geomtrica de infinitos trminos de razn K
i
(menor que 1) y cuyo primer elemento es K
i
.
Ello nos conduce a que:

|x
i+p
x*|
i
p i p i
K
x x
1 K
+

Esta ltima desigualdad, combinada con la desigualdad (3) antes obtenida, demuestra que:
|x
i+p
x*|
i p i
p i p i 0 i i
K K
x x x x
1 K 1 K
+
+

Finalmente, si se considera que al ser 0 < K < 1 se verifica que (1-K
i
) > (1 K) y que K
p+i

< K
p
se tiene que:


10
|x
i+p
x*|
p i p
i 0 i 0 i
K K
x x x x
1 K 1 K
+

lo que nos permite concluir que la desigualdad c) es correcta.

d) La desigualdad recogida en el apartado d) es falsa pues indica que siendo i menor o igual
que ln(+1) / ln(K) se verifica que x
i+1
dista del punto fijo x* menos que el valor de . Ello
implicara, por ejemplo, que por pequeo que fuera y fuese cual fuese x
0
la distancia de x
0

al punto fijo x* sera inferior o igual a , lo cual es absurdo.

Obsrvese adems que puesto que 0 < K < 1 el valor de ln(K) ser estrictamente negativo
en tanto que, para valores positivos de , el valor de ln(1+) es positivo por lo que (ln(1+)
/ ln(K)) sera negativo y la desigualdad nos conducira a tener que emplear ndices
negativos de los elementos de la sucesin, cosa que tambin es absurda. Y si para intentar
resolver este absurdo se pensase en considerar valores de negativos se caera en el
absurdo de acotar la distancia |x
i+1
x*| por un valor negativo, cosa que es imposible de
satisfacer.


11
Examen final Convocatoria de septiembre de 2002

1. Considera la ecuacin no lineal:
3 2
5 11
x .x .x 3
3 3
+ =
De dicha ecuacin se sabe que existe una solucin en el intervalo [0, 2] y se desea
encontrarla utilizando un mtodo de aproximaciones sucesivas. Para ello se
consideran las tres ecuaciones equivalentes:
Opcin 1)
( )
3 2
1
x . 3.x 5.x 9
11
= +

Opcin 2)
2
3
11 5
x 3 .x .x
3 3
= +

Opcin 3)
( )
3
1
x . 9 11.x 3.x
5
= +
Se pide que, de forma justificada, respondas las siguientes cuestiones.

a) Con cul de las opciones anteriores se asegura una convergencia
ms rpida hacia la solucin trabajando en el intervalo [0, 2]?. Y con
cules se asegura que el mtodo converge?
b) Con la opcin que tenga asegurada mayor velocidad de convergencia,
determina la solucin buscada, partiendo de un valor semilla x
0
= 0 y
determinando la solucin con una precisin de, al menos, una
centsima (en todo caso no realices ms de 6 iteraciones del mtodo
de aproximaciones sucesivas).
c) Con la opcin que tenga mayor velocidad de convergencia cul es el
menor nmero de iteraciones que aseguraran que, una vez realizadas,
la distancia entre el ltimo valor hallado y la solucin es inferior o
igual a 10
-7
veces la distancia entre el valor semilla elegido en [0, 2] y
la solucin?.
d) Resuelve la ecuacin mediante el mtodo de Newton Raphson
partiendo de x
0
= 0 y hallando una solucin con una precisin de, al
menos, una centsima o, en su defecto, realizando 5 iteraciones.

Solucin:

12

a) Para cada una de las tres opciones consideradas en el enunciado debe examinarse si la
funcin cuya expresin responde al segundo miembro de la igualdad es una contraccin o
no. Para ello denotaremos por g
1
(x), g
2
(x) y g
3
(x) a las funciones:
( )
3 2
1
1
g (x) . 3.x 5.x 9
11
= +
2
3
2
11 5
g (x) 3 .x .x
3 3
= +
( )
3
3
1
g (x) . 9 11.x 3.x
5
= +

y debemos comprobar para cuales de ellas se verifica las tres condiciones siguientes:

C-1:
1
i
g (x) C ([0, 2])
C-2:
[ ]
'
i
g (x) 1 x 0,2 <
C-3:
[ ] [ ]
i
g (x) 0, 2 x 0,2
La constante de cada una de ellas que sea contraccin se estima mediante

K
i
=
[ ]
i
x 0,2
max g '(x)

Analicemos estos aspectos para cada una de las opciones planteadas.

Opcin primera:
La ecuacin x = g
1
(x) es equivalente a la ecuacin dada pues:

( )
3 2 3 2 3 2
1
5 11 11 5 1
x .x .x 3 x x .x 3 x . 3.x 5.x 9 g (x)
3 3 3 3 11
+ = = + = + =

Verifiquemos la primera condicin. La funcin g
1
(x), al ser un polinomio de tercer grado,
es continua en toda la recta real y por tanto lo es en el intervalo [0, 2]. Su primera derivada,

( )
' 2
1
1
g (x) . 9.x 10.x
11
= +
es una funcin polinmica de segundo grado y por tanto tambin es continua en toda punto
de la recta real. En conclusin, se puede afirmar que [ ] ( )
1
1
g (x) C 0, 2 por lo que se
verifica la condicin C-1.


13
Ocupmonos ahora de la segunda condicin. Para ello se tiene que
"
1
18 10
g (x) .x
11 11
= +
Esta segunda derivada es positiva en todo punto del intervalo [0, 2] por lo que se puede
afirmar que la funcin
'
1
g (x) es creciente en el intervalo [0, 2]. Por tanto sus extremos en
[0, 2] se alcanzan en los extremos del intervalo. Y como
'
1
g (0) 0 = y
'
1
56
g (2)
11
= puede
afirmarse que
[ ]
'
1
56
x 0, 2 : 0 g (x)
11

Al ser 56 / 11 > 1 la condicin C-2
[ ]
( )
'
1
g (x) 1 x 0,2 < no es satisfecha. Por tanto la
primera de las opciones no tiene asegurada su convergencia.

Aunque ya no sera necesario analizar la tercera condicin veamos si se verifica o no. Para
ello puede observarse que
( )
' 2
1
1
g (x) . 9.x 10.x
11
= + es una funcin no negativa en [0, 2] lo
que nos conduce a que g
1
(x) es una funcin creciente en dicho intervalo. Por ello, sus
valores en [0, 2] estarn comprendidos entre g
1
(0) = -9/11 y g
1
(2) = 35 / 11. Es obvio por
tanto que la condicin C-3 [ ] [ ] ( )
1
x 0,2 : g (x) 0, 2 tampoco es satisfecha. Ello nos
vuelve a indicar que el esquema de aproximaciones sucesivas basado en esta primera
opcin no tiene garantizada su convergencia.

NOTA: Las figuras siguientes recogen el grafo, en el intervalo [0, 2], de:
g
1
(x) junto a la bisectriz del primer cuadrante


14

'
1
g (x) junto a las rectas horizontales que pasan por las ordenadas 1 y 1

y
'
2
g (x)

Segunda opcin:
La ecuacin x = g
2

1/ 3
3 2 3 2 2
2
5 11 11 5 11 5
x .x .x 3 x 3 .x .x x 3 .x .x g (x)
3 3 3 3 3 3
| |
+ = = + = + =
|
\ .

2
(x), al ser la raz cbica de un polinomio
de segundo grado, es continua en toda la recta real y por tanto lo es en el intervalo [0, 2]. Su
primera derivada,


15
'
2
2
2
3
11 10
.x
1 3 3
g (x) .
3
11 5
3 .x .x
3 3
| |
|
\ .
=
| |
+
|
\ .

slo podra presentar problemas de discontinuidad en los puntos en que se anule el
denominador. Estos pueden calcularse fcilmente como sigue:
2
2 2
2.83....
11 5 11 11 4 9 5
3 .x .x 0 5.x 11.x 9 0 x
0.634... 3 3 10
+
+ = = = =

Como ninguno de estos puntos pertenece al intervalo [0, 2], se puede afirmar que
[ ] ( )
1
2
g (x) C 0, 2 por lo que se verifica la condicin C-1.


2
"
2
2 2
2 2 2
3 3
11 10
.x
2 10 1 3 3
g (x) . .
9 9
11 5 11 5 11 5
3 .x .x 3 .x .x 3 .x .x
3 3 3 3 3 3
| |
\ .
=
| | | | | |
+ + +
| | |
\ . \ . \ .

La segunda derivada se anular en los puntos que satisfagan:

2
2
" 2
2
2
11 10
.x
2 10 11 10 11 5 3 3
g (x) 0 . 0 2. .x 10. 3 .x .x
11 5 9 9 3 3 3 3
3 .x .x
3 3
| |
|
| | | | \ .
= = = +
| |
| | \ . \ .
+
|
\ .

Operando la expresin anterior se tiene que los puntos en que se anula la segunda derivada
deben satisfacer la ecuacin:
2
2
55 55 4 256 25 55 22575
25.x 55.x 256 0 x
50 50

+ = = =
En resumen, la segunda derivada no se anula en el dominio de los reales y por tanto la
funcin
'
2
g (x) no tiene puntos singulares. Sus extremos en [0, 2] se encontrarn por ello en

16
los extremos del intervalo. Y como
'
2
3
11
g (0) 0.58758....
9. 9
= = y
'
2
3
1
g (2) 0.426....
121
9
= = puede concluirse que:

[ ]
'
1
x 0, 2 : -0.426... g (x) 0.5876...
Por ello la condicin C-2 [ ]
( )
'
2
g (x) 1 x 0,2 < si es satisfecha. Adems, en el
intervalo [0, 2] puede tomarse como constante de la contraccin g
2
(x) (a falta de verificar
la tercera condicin) el mximo valor absoluto que alcanza su primera derivada en este
intervalo, es decir, K
2
= 0.5876.

Analicemos la tercera condicin. Para ello puede observarse que
'
2
g (x) se anular cuando:

'
2
g (x) 0 11 10.x 0 x 1.1 = = =
Luego los valores extremos de g
2
(x) en [0, 2] se alcanzan en alguna de las tres abscisas
siguientes: x = 0, x = 1.1 x = 2. Como g
2
(0) =
3
3 1.442... = , g
2
(1.1) = 1.711... y
g
2
(2) = 1.542... se puede afirmar que:
[ ] [ ] [ ]
2
x 0,2 : g (x) 1.44,1.72 0, 2
Es obvio por tanto que la condicin C-3 si que se satisface.

En resumen, el mtodo de aproximaciones sucesivas basado en la segunda opcin tiene
garantizada su convergencia hacia la nica raz de la ecuacin existente en [0, 2] sea cual
sea el valor semilla x
0
que se escoja en dicho intervalo.


g
2


17

'
2

y
"
2
g (x)

Tercera opcin:
La ecuacin x = g
3
( )
1/ 2
3 2 2 3 3
3
5 11 5 11 1
x .x .x 3 .x 3 .x x x . 9 11.x 3.x g (x)
3 3 3 3 5
| |
+ = = + = + =
|
\ .

3
(x), al ser la raz cuadrada de un
polinomio de tercer grado no estar definida en el dominio real cuando el polinomio tome
valores negativos. Llamemos p(x) al polinomio p(x) = 9 + 11.x 3.x
3
y examinemos cmo
son sus valores en [0, 2]. Para ello se tiene que p(x) = 11 9.x
2
, resultando que p(x) = 0
equivale a que x = 11/ 9 = 1.105... La abscisa negativa as determinada no pertenece al
intervalo [0, 2]. En la abscisa positiva p(x) toma un valor negativo (pues p(x) = -18.x y
p(1.105) = -18 . 1.105.. < 0) por lo que se sabe que p(x) alcanza en 1.105... un mximo,
de valor p(1.105...) = 17.107.... >0. Como adems p(0) = 9 >0 y p(2) = 7 >0 puede

18
concluirse que en [0, 2] el polinomio p(x) siempre es estrictamente positivo y por tanto
g
3
(x) es continua en dicho intervalo.

La primera derivada
( )
( )
2
'
3
3
1
. 11 9.x
1
5
g (x) .
2
1
. 9 11.x 3.x
5
=
+

slo podra presentar problemas de discontinuidad en los puntos en que se anule el
denominador. Pero, como acabamos de comprobar, el denominador es la raz cuadrada de
un polinomio de tercer grado que toma valores estrictamente positivos en el intervalo [0,2].
Por tanto
'
3
g (x) tambin ser continua en [0, 2]. En resumen
[ ] ( )
1
3
g (x) C 0, 2 y s que se
verifica la condicin C-1.


( )
( ) ( ) ( )
2
2
"
3
3 3 3
1 18
. 11 9.x .x
1 1
25 5
g (x) . .
4 2
1 1 1
. 9 11.x 3.x 9 11.x 3.x 9 11.x 3.x
5 5 5
=
+ + +

En [0, 2] la segunda derivada siempre ser negativa (pues cada uno de sus sumandos, al ir
precedido por el signo negativo y ser el cociente de cantidades positivas, ser negativo).
Ello nos demuestra que
'
3
g (x) es una funcin decreciente en [0, 2] por lo que sus valores
extremos se alcanzan en los extremos del intervalo. Como
'
3
g (0) 0.81... = y
'
3
g (2) 2.11... = se tiene que:
[ ]
'
3
x 0, 2 : -2.11 g (x) 0.82 < < por lo que no se puede
asegurar que se satisfaga la condicin C-2 y por tanto el mtodo de aproximaciones
sucesivas basado en la tercera opcin tampoco tiene garantizada su convergencia.

Aunque no es necesario, analicemos la condicin C-3. Para ello puede observarse que
'
3
g (x) se anular cuando:
' 2
3
11
g (x) 0 11 9.x 0 x 1.105...
9
= = = =
Luego los valores extremos de g
3
(x) en [0, 2] se alcanzan en alguna de las tres abscisas
siguientes: x = 0, x = 1.105.. x = 2. Como g
3
(0) = 1.34.., g
3
(1.105...) = 1.849..... y
g
3
(2) = 1.183... se puede afirmar que:

19
[ ] [ ] [ ]
3
x 0,2 : g (x) 1.18,1.85 0, 2
siendo obvio por tanto que la condicin C-3 si que se satisface.

En resumen, el mtodo de aproximaciones sucesivas basado en la tercera opcin no tiene
garantizada su convergencia en [0, 2].


g
3

'
3


20
y
"
3
g (x)

En conclusin, entre las tres opciones consideradas slo la segunda de ellas tiene
garantizada la convergencia del mtodo de aproximaciones sucesivas.

No obstante lo anterior puede comprobarse en la prctica que con la tercera opcin tambin
converge el mtodo.

b) Puesto que slo la segunda opcin tiene garantizada la convergencia, en lo que sigue nos
centraremos en ella y denotaremos por g(x) a la funcin

1/ 3
2
2
11 5
g(x) g (x) 3 .x .x
3 3
| |
= = +
|
\ .

que sabemos que en [0, 2] es una contraccin de razn K = 0.5876. Las primeras
iteraciones del mtodo, arrancando del valor semilla x
0
= 0 se resumen en la tabla siguiente:

i x
i
x
i+1
= g(x
i
) |x
i+1
x
i
|

0 0 1.442.. 1.442..
1 1.442.. 1.689.. 0.247..
2 1.689.. 1.643.. 0.046...
3 1.643.. 1.6539.. 0.0106..
4 1.6539.. 1.65159.. 0.0023

21
c) Al ser g(x) una contraccin de razn K < 1 y x* su punto fijo, el valor hallado en la
iteracin i-sima, verificar:

|x
i
x*| = |g(x
i-1
) g(x*)| < K.|x
i-1
x*| = K.|g(x
i-2
) g(x*)| < K
2
. |x
i-2
x
i-3
| < ... <

< K
i
. |x
0
x*|
Por tanto, se puede asegurar que |x
i
x*| < 10
-7
.|x
0
x*| si K
i
. |x
0
x*| < 10
-7
por lo que:

K
i
. |x
0
x*| < 10
-7
i.log
10
(K) < -7

Como en este caso K = 0.5876 se tiene que:
i.log
10
(0.5875) < -7 i.(-0.2309921291) < -7 i >
7
0.230992191
= 30.3

Por tanto 31 iteraciones del mtodo asegurarn la precisin deseada.

d) Siendo f(x) =
3 2
5 11
x .x .x 3
3 3
+ , la ecuacin dada puede escribirse como f(x) = 0. Por
otra parte, f(x) =
2
10 11
3.x .x
3 3
= + por lo que el esquema itertivo del mtodo de Newton-
Raphson puede escribirse en este caso como:
3 2
i i i
i
i 1 i i
2
i
i i
5 11
x .x .x 3
f (x )
3 3
x x x
10 11
f '(x )
3.x .x
3 3
+
+
= = =
+
3 2
i i
2
i i
6.x 5.x 9
9.x 10.x 11
+ +
+

En la cabecera de la tabla siguiente se ha denotado por h(x) a la funcin:
3 2
2
6.x 5.x 9
h(x)
9.x 10.x 11
+ +
=
+

y se recogen los valores hallados, partiendo de x
0
= 0, mediante este esquema iterativo.
i x
i
x
i+1
= h(x
i
) |x
i+1
x
i
|

0 0 -0.818181.. 0.818181..
1 -0.818181.. -0.688670 0.1295111...
2 -0.688670 -0.6911032.. 0.0024326...

Con este esquema se ha alcanzado la precisin deseada con slo 3 iteraciones. No obstante
puede observarse que el mtodo ha convergido hacia otra de las races de la ecuacin.

22

NOTAS:
1. En iteraciones posteriores del mtodo de Newton-Raphson se obtendra:

i x
i
x
i+1
= h(x
i
) |x
i+1
x
i
|

3 -0.6911032.. -0.6911038... 0.524 10
-6
4 -0.6911038... -0.6911038... 0.4 10
-9

2. La tercera de las opciones planteadas en este ejercicio tambin converge hacia la raz
(aunque no se haya podido garantizar su convergencia mediante el teorema del punto fijo
al no ser g
3
(x) una contraccin en el intervalo [0 , 2]). Los valores que, partiendo de x
0
= 0
se obtienen con dicha opcin son los siguientes:

i x
i
x
i+1
= g(x
i
) |x
i+1
x
i
|

0 0 1.3416.. 1.3416..
1 1.3416.. 1.8175.. 0.4756..
2 1.8175.. 1.4822.. 0.3351..
3 1.4822.. 1.7625.. 0.2804..
4 1.7625.. 1.5465.. 0.2161
... ...... ...... .....
Puede observarse que aunque el mtodo converja lo hace mucho ms lentamente que con
la segunda de las opciones.


23
CURSO 2003-2004

Examen de diciembre de 2003l
Responde razonadamente a las siguientes cuestiones:

a) Es posible aplicar el mtodo de biparticin a la resolucin de la
ecuacin f(x)=0 en un intervalo en el que en el que slo existen races
de multiplicidad par? . Y en el caso de que en el intervalo slo haya
races de multiplicidad impar se puede aplicar siempre el mtodo de
biparticin?

b) Se desea aplicar el mtodo de Newton-Raphson a la resolucin de la
ecuacin:
3
x = a

En el supuesto de que 0 y se considere un intervalo en el que el
mtodo de Newton-Raphson es convergente qu puedes afirmar
respecto de la velocidad de convergencia del mtodo aplicado a la
resolucin de la ecuacin anterior en el entorno del punto x =
3
a ? .

Considera ahora el caso particular en que = 0. qu puedes afirmar
respecto de la velocidad de convergencia del mtodo de Newton-
Raphson aplicado a la resolucin de la ecuacin anterior en el entorno
del punto x = 0?

Solucin
Apartado a)
El mtodo de biseccin requiere, para que se pueda aplicar a la bsqueda de una raz de una
funcin f(x) en cierto intervalo [a,b], que se cumplan las condiciones del teorema de
Bolzano:

i) f(x) sea continua en el intervalo [a,b].
ii) f(x) tome signo contrario en los extremos del intervalo.

Por tanto:

24
En el caso de que dentro del intervalo existan nicamente races de
multiplicidad par, la funcin toma el mismo signo en los extremos del
intervalo, por lo que no es posible aplicar el mtodo de biparticin.

A modo de ilustracin de este hecho, consideramos la funcin: f(x)=(x-
1)
2
(x+2)
2
, cuyas races son x=1 (doble) y x= - 2 (doble) cuya representacin
grfica es:

Por lo tanto, no es posible encontrar un intervalo en el que el mtodo de
biparticin consiga localizar alguna de las races.

En el caso de f(x) sea tal que en el intervalo slo existan races de
multiplicidad impar, la aplicabilidad del mtodo de biparticin a la
determinacin de una de las races de f(x) depender de que la funcin sea
continua en el intervalo as como de que la suma de las multiplicidades de
todas las races existentes sea un nmero par o impar. En efecto, si la suma
de las multiplicidades de las races es impar quedara garantizada la
alternancia de signos en los valores que f(x) toma en los exteemos del
intervalo por lo que, si f(x) es continua en dicho intervalo, s que ser
aplicable el mtodo de biparticin.

A modo de ilustracin de lo anterior, si consideramos la funcin
f(x) = (x-1)
3
x
3
(x+1)
3

que tiene por races x = -1 (triple), x = 0 (triple) y x = -1 (triple) y un
intervalo que incluya a estas tres races (por ejemplo [-1.1, 1.2]) es ovio que

25
la suma de las multiplicidades es impar (concretamente 9) por lo que el
mtodo de biparticin s que sera aplicable. En la figura siguiente puede
visualizarse el grafo de esta funcin:

No obstante, si la suma de las multiplicidades de las races existentes en el
intervalo fuese par no se producira la alternancia de signos en los valores
que toma f(x) en los extremos del intervalo por lo que en dicha situacin no
sera aplicable el mtodo de biparticin para la bsqueda de ninguna de sus
races.

A modo de ilustracin, consideramos la funcin f(x)=(x-1)
3
(x+1)
3
, que tiene
como races x=1 (triple) y x= -1 (triple), cuya representacin grfica es:

En cualquier intervalo que incluya a las dos races (por ejemplo [-3, 3]) la
suma de las multiplicidades es un nmero par (concretamente 6) por lo que
no es posible aplicar el mtodo de biparticin.


26

Apartado b)
Sabemos que la velocidad de convergencia del mtodo de Newton-Raphson es, al menos,
cuadrtica en el caso de que se aplique a la bsqueda de races simples de unaa funcin
tenga races simples, pero slo se puede garantizar velocidad de convergencia lineal si las
races son mltiples.

En el caso que estamos estudiando, la funcin f(x) = x
3
tiene como raz
3
x = a con
multiplicidad 3.

Antes de analizar la velocidad de convergencia del mtodo de Newton-Raphson para este
caso, obtendremos la expresin del mtodo. Para ello, transformamos la ecuacin f(x)=0 en
la ecuacin equivalente x=g(x), siendo la funcin g(x):

3 3
2 2
x 2x
g(x) x
3x 3x
- a + a
= - =

Obtenemos ahora las derivadas primera y segunda de g(x):

3
3
4
x
g (x) 2
3x
2
g (x)
x
- a
=
a
=

Para obtener la velocidad de convergencia del mtodo de Newton-Raphson (suponiendo
que, tal y como se dice en el enunciado, el mtodo es convergente) en el entorno de la raz
3
x*= a , particularizamos las derivadas sucesivas de la funcin g(x) en el punto
3
x*= a ,
resultando que con la hiptesis 0 :
( )
( )
( )
( )
( )
3
3
3
3
3
3
4
3
3
g 2 0
3
2 2
g 0
a - a
a = =
a
a
a = =
a
a

Por lo tanto, al no anularse la segunda derivada de g(x) en la raz, podemos afirmar que el
mtodo tiene una velocidad de convergencia de al menos orden 2.

En el caso en que =0, tan slo podramos asegurar velocidad de convergencia lineal
(orden 1), pues:
3
3
x 2
g (x) 2 0
3 3x
= =


27
Examen de diciembre de 2003
Sea la matriz:
1 x 1 0
A 0 x 0 x
0 1 x

-

Se considera la funcin f(x) = det(A). Se quiere obtener un valor del
parmetro x para el que la matriz A sea singular (es decir det(A)=0) aplicando
el mtodo de Newton-Raphson. Se pide:

a) Determina si es posible garantizar, de acuerdo con el teorema del punto
fijo, que el mtodo de Newton-Raphson permite localizar una raz en el
intervalo [-0.5,0.4].

b) Transforma la ecuacin f(x)=0 en una ecuacin equivalente x=g(x) tal que
la funcin g(x) sea una contraccin en el intervalo [-0.5,0.4]. Tomando como
constante de Lipschitz de la contraccin g(x) el valor mximo de |g(x)| en
[-0.5,0.4], cuntas iteraciones (iter) garantizan que la distancia de x
(iter)
a la
solucin exacta es menor o igual a 00001 veces la distancia de la solucin
exacta a la solucin inicial x
(0)
?

Solucin

Apartado a)
La funcin a la que se desea aplicar el mtodo de Newton-Raphson para hallar su raz es:
f(x) = det(A) = x
2
- x
3

El mtodo de Newton-Raphson es un mtodo de aproximaciones sucesivas del tipo:

Dado x
(0)
generar la sucesin.

{ }
n
(i 1) (i)
i 0
x g(x )
+
=
=
donde la funcin
f (x)
g(x) x
f (x)
= -

Por lo tanto, dado que
2 3
f (x) x x = - y
2
f '(x) 2x 3x = - , se obtiene:

28

2 3 2 3 2
2 2
x x x 2x x 2x
g(x) x
2x 3x 2x 3x 2 3x
- - -
= - = =
- - -

Para conocer si se puede garantizar, mediante el teorema de punto fijo, la convergencia del
mtodo de Newton-Raphson para la obtencin de una raz de f(x) = 0, independientemente
de la solucin inicial de la que se parta, se deber cumplir que g(x) sea una contraccin en
el intervalo en estudio (que denotaremos por I). Para analizar esta condicin, lo ms
cmodo es aplicar el teorema de caracterizacin de una contraccin:

( )
1
1) g(x) C I
2) g(x) I x I
3) g'(x) 1 x I
"
< "

Condicin 1):
El denominador de g(x), dado por (2-3x), se anula en el punto x=2/3 = 0.666.... que no
pertenece al intervalo [-0.5,0.4]. Por tanto para cualquier valor x* [-0.5, 0.4] se verifica
que:

2
x x*
x* 2(x*)
limg(x) g(x*)
2 3x*
-
= =
-

por lo que g(x) es continua en [ ] 0.5, 0.4 - .

Analizamos ahora si su primera derivada es tambin continua. Puesto que:

2
(x 1)(3x 1)
g'(x) 2
(3x 2)
- -
=
-

y dado que el denominador (3x-2)
2
no se anula en ningn punto del intervalo [-0.5,0.4] se
tiene que:

[ ]
*
* *
* * 2
x x
*
(x 1)(3x 1)
x 0.5, 0.4 : limg (x) 2 g (x )
(3x 2)
- -

" - = =
-


29

Por tanto, g(x) tambin es continua en todo punto del intervalo [-0.5,0.4].

Condicin 2):
Queremos comprobar ahora si las imgenes de todos los puntos del intervalo [-0.5,0.4]
pertenecen a ese mismo intervalo. Para ello, tendremos en cuenta que, si g(x) es montona
(es decir, si g(x) no se anula en ningn punto del intervalo), bastar con analizar si los
valores que toma en los extremos del intervalo pertenecen al mismo. Si g(x) no es
montona, ser necesario adems comprobar si las imgenes de los puntos para los que
g(x) = 0, as como los valores g(-0.5) y g(0.4), se encuentran tambin dentro del intervalo.

Como
2
(x 1)(3x 1)
g'(x) 2
(3x 2)
- -
=
-
se anula en los puntos x = 1 y x = 1/3, la funcin g(x)
presenta un punto crtico en dichos puntos. Dado que el punto x=1/3 se encuentra dentro
del intervalo en estudio la funcin g(x) no es montona y tendremos que verificar si:

[ ]
[ ]
[ ]
g( 0.5) 0.5, 0.4
g(0.4) 0.5, 0.4
g(1/ 3) 0.5, 0.4
- -
-
-

Como, efectivamente, resulta que:

g(-0.5)= [ ]
2
( 0.5) 2( 0.5)
0.2857.... 0.5, 0.4
2 3( 0.5)
- - -
= - -
- -

g(0.4)= [ ]
2
0.4 2(0.4)
0.1 0.5, 0.4
2 3(0.4)
-
= -
-

g(1/3)= [ ]
2
1 1
3 3
1
3
2( ) 1
0.1111... 0.5, 0.4
2 3( ) 9
-
= = -
-

Por lo tanto, podemos concluir que [ ] [ ] x 0.5, 0.4 : g(x) 0.5, 0.4 " - -

Condicin 3):
Para saber si |g(x)| < 1 ( -1 < g(x) < 1) para cualquier punto del intervalo [ 0.5, 0.4 - ]
procederemos de manera similar al apartado anterior. Comprobaremos, en primer lugar, si
la funcin g(x) es montona o no. Para ello observamos que:

30

3
4
g''(x)
( 2 3x)
=
- +

no se anula en ningn punto. Por lo tanto, para todo punto del intervalo [ 0.5, 0.4 - ] la
funcin g(x) es montona y adems decreciente pues g(-0.5)<0 y g(0.4)<0, por lo que
g(x) < 0 para todo punto del intervalo [-0.5, 0.4]. Por ello tendremos que verificar si:

] [
] [
g'( 0.5) 1,1
g'(0.4) 1,1
- -
-

obtenindose que, efectivamente,

g(-0.5)= ] [
2
( 0.5 1)(3( 0.5) 1)
2 0.6122... 1,1
(3( 0.5) 2)
- - - -
= -
- -

g(0.4)= ] [
2
(0.4 1)(30.4 1)
2 0.375 1,1
(30.4 2)
- -
= - -
-

Por lo tanto, podemos concluir que [ ] x 0.5, 0.4 : g'(x) 1 " - < .

Dado que se verifican las tres condiciones para la funcin g(x) y al ser cerrado el intervalo
[-0.5,0.4], podemos concluir que, por aplicacin del teorema de punto fijo, est asegurada
la convergencia del mtodo de Newton-Raphson para la resolucin de f(x)=0 (con la
funcin f(x) dada en el enunciado) independientemente del valor inicial (perteneciente al
intervalo [-0.5,0.4]) del que se parta.

Apartado b)
Tomaremos como contraccin la funcin g(x) descrita en el apartado a) (pues ya
comprobamos que era contraccin):

2
x 2x
g(x)
2 3x
-
=
-


31
Sabemos, por el apartado anterior, que g(x) es continua y estrictamente decreciente en el
intervalo [-0.5,0.4], por lo tanto el mximo valor de |g(x)| en dicho intervalo se alcanzar
en uno de los extremos. Esos valores fueron ya calculados en el apartado a) y son:

|g(-0.5)| 0.6122448980 ;
|g(0.4)|=0.375

Por lo que el mximo valor que toma |g(x)| en [-0.5,0.4] es 0.6122448980 , que ser
considerada como la constante de Lipschitz (K) de la contraccin tal y como se indica en
el enunciado.

Llamando x
(0)
a un valor semilla para inicializar el proceso iterativo y x* a la solucin
exacta de x=g(x) (o, lo que es lo mismo, de f(x)=0), por ser g(x) contraccin se verifica:

(0) (0)
g(x ) g(x*) K x x * - - (siendo K<1) (1)

Recordando que un proceso iterativo del tipo punto fijo responde a la expresin:

Dado x
(0)
se genera la sucesin:
x
(iter)
= g(x
(iter-1)
) (iter = 1,2,...)

y como adems, x* = g(x*) por ser x* solucin de la ecuacin, a expresin (1) se puede
rescribir como:

(1) (0)
x x * K x x * - - (2)

Anlogamente, para la siguiente iteracin se tendr:

(1) (1) (2) (1)
g(x ) g(x*) K x x * x x * K x x * - - - -

que, teniendo en cuenta la expresin (2), conduce a:

(2) 2 (0)
x x * K x x * - -

Anlogamente, para la siguiente iteracin se obtendra:

32

(3) 3 (0)
x x * K x x * - -

Siguiendo el proceso hasta una iteracin genrica, es obvio que se podr escribir:

(iter) iter (0)
x x * K x x * - - (3)

Por otra parte, el enunciado nos dice que calculemos cuntas iteraciones (iter) garantizan
que la distancia de x
(iter)
a la solucin exacta es menor o igual a 00001 veces la distancia de
la solucin exacta a la solucin inicial. Es decir:

(iter ) 4 (0)
x x * 10 x x *
-
- - (4)

Comparando las expresiones (3) y (4), resulta:
iter 4
K 10
-

con el fin de obtener el nmero de iteraciones necesarias, tomamos logaritmos decimales en
la expresin anterior:

iter log(K) 4 -

Cambiando los signos en ambos miembros se tendr:

( ) iter log(K) 4 -

donde, tal y como se indica en el enunciado y se obtuvo al inicio del apartado:

K=
x [ 0.5,0.4]
max g (x)
-
0.6122448980 ;

Con todo lo anterior resulta:

4
iter
log(K)
-

4 4
iter 18.772....
log(0.6122448980) 0.2130748253
= =
-

Luego el nmero mnimo de iteraciones que aseguran la precisin deseada es iter = 19.

Ej Examen NoLin

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Ej Examen NoLin

Hochgeladen von

Copyright:

Verfügbare Formate

Programacin y Mtodos Numricos Carlos Conde, Arturo Hidalgo y Alfredo Lpez

ETSI Minas de la Universidad Politcnica de Madrid

. Por tanto debe satisfacerse la

= = puede concluirse que:

Das könnte Ihnen auch gefallen