OCW-V.

Muto

Iteracin del punto fijo o

Cap. VII

CAPITULO VII. ITERACION DEL PUNTO FIJO 1. INTRODUCCION Y METODO En este cap tulo consideraremos un mtodo para determinar la solucin de una e o ecuacin que se expresa, para alguna funcin g, de la forma o o g(x) = x . A una solucin de esta ecuacin se le llama un punto fijo de la funcin g. o o o Si para cualquier funcin g dada se puede encontrar un punto fijo, entonces cada o problema de bsqueda de las ra u ces de f (x) = 0 tiene soluciones que corresponden precisamente a los puntos jos de g(x) = x con g(x) = x f (x). La primera tarea entonces es decidir cundo una funcin tendr un punto fijo y cmo se pueden determinar (es decir, a o a o aproximar con suciente grado de precisin) dichos puntos jos. o El siguiente Teorema da las condiciones suficientes para la existencia y unicidad de un punto fijo. Teorema VII.1 Si g C[a, b] y g(x) [a, b] para todo x [a, b], entonces g tiene un punto fijo en [a, b]. Si adems, g (x) existe en (a, b) y a |g (x)| k < 1 para todo x (a, b) , (V II.1)

entonces g tiene un punto fijo unico p en [a, b]. Figura 1

Demostracin: si g(a) = a g(b) = b, la existencia del punto fijo es obvia. Supongamos o o que no es as entonces debe ser cierto que g(a) > a y g(b) < b. Definamos h(x) = g(x)x; ; h es continua en [a, b], y h(a) = g(a) a > 0 , 69 h(b) = g(b) b < 0 .

OCW-V.Muto

Iteracin del punto fijo o

Cap. VII

El corolario V.1 del Teorema del Valor Intermedio implica que existe p (a, b) tal que h(p) = 0. Por lo tanto g(p) p = 0 y p es un punto fijo de g. Supongamos adems, que la desigualdad (V II.1) se satisface y que p y q son puntos a fijos en [a, b] con p = q. Por el Teorema del Valor Medio, existe un nmero entre p y q u y por lo tanto en [a, b] tal que |p q| = |g(p) g(q)| = |g ()| |p q| k |p q| < |p q| , lo cual es una contradiccin. Esta contradiccin debe venir de la unica suposicin, p = q. o o o Por lo tanto, p = q y el punto fijo en [a, b] es unico. c.q.d. Ejemplo 1. x2 1 en el intervalo [1, 1]. Usando el Teorema del Valor Extremo es 3 fcil demostrar que el m a nimo absoluto de g est en x = 0 y es g(0) = 1/3. Similarmente a el mximo absoluto de g ocurre en x = 1 y tiene el valor g(1) = 0. Adems, g es a a continua y 2x 2 |g (x)| = para todo x [1, 1] , 3 3 Sea g(x) = as que g satisface las hiptesis del Teorema VII.1 y tiene un unico punto fijo en [1, 1]. En o este ejemplo, el unico punto fijo p en el intervalo [1, 1] puede determinarse exactamente. Si p2 1 p = g(p) = 3 o e entonces, p2 3 p 1 = 0, lo cual implica que p = 32 13 . Ntese que g tambin tiene un 3+ 13 punto fijo unico p = 2 en el intervalo [3, 4]. Sin embargo, g(4) = 5 y g (4) = 8/3 > 1; as que g no satisface las hiptesis del Teorema VII.1. Esto muestra que las hiptesis del o o Teorema VII.1 son suficientes para garantizar un punto fijo unico, pero no son necesarias. Ejemplo 2. Sea g(x) = 3x . Como g (x) = 3x ln 3 < 0 en [0, 1], la funcin g es decreciente en o 1 [0, 1]. Entonces, g(1) = 3 g(x) 1 = g(0) para 0 x 1. Por lo tanto, para x [0, 1], g(x) [0, 1]. Esto implica que g tiene un punto fijo en [0, 1]. Como g (0) = ln 3 = 1.098612289 , |g (x)| < 1 en [0, 1] y el Teorema VII.1 no puede ser usado para determinar la unicidad. Sin embargo, g es decreciente, as que est claro que el punto fijo debe ser unico. a Geomtricamente, el mtodo de iteracin puede explicarse de la siguiente manera: e e o dibjese sobre un plano xy las grficas de las funciones y = x e y = g(x). Cada ra real u a z p de la ecuacin x = g(x) es la abscisa del punto de interseccin M de la curva y = g(x) o o con la l nea recta y = x (ver figuras 2 y 3). Comenzando a partir de un punto A0 (p0 , g(p0 )), construyamos la l nea poligonal A0 B0 A1 B1 ... (escalera), cuyos segmentos son alternativamente paralelos al eje x y al 70

OCW-V.Muto

Iteracin del punto fijo o

Cap. VII

eje y, los vrtices A0 , A1 , A2 , ... caen sobre la curva y = g(x), y los vrtices B0 , B1 , B2 , e e B3 , ... caen sobre la l nea recta y = x. Las abscisas comunes de los puntos A1 y B0 , y A2 y B1 , ..., evidentemente sern las aproximaciones sucesivas p1 , p2 , ... a la ra p. Tambin a z e es posible tener una l nea poligonal diferente A0 B0 A1 B1 ... (espiral). Figura 2

Figura 3

Evidentemente se tiene la solucin escalera si la derivada g (x) es positiva (ver figura 2), o y la solucin espiral si g (x) es negativa (ver figura 3). o En las figuras 2 y 3, la curva y = g(x) se inclina en la vecindad de la ra p, es decir, z |g (x)| < 1 y el proceso de iteracin converge. No obstante, si consideramos el caso en o que |g (x)| > 1, entonces el proceso de iteracin puede ser divergente (ver figura 4). Por o 71

OCW-V.Muto

Iteracin del punto fijo o

Cap. VII

consiguiente, para aplicar de una manera prctica el mtodo de iteracin del punto fijo, a e o hemos de asegurarnos de que se cumplen las condiciones de suficiencia de convergencia del proceso de iteracin. o Figura 4

2. ALGORITMO Y EJEMPLOS Para aproximar el punto fijo de una funcin g, escogemos una aproximacin inicial p0 o o y generamos la sucesin {pn }n=0 tomando pn = g(pn1 ) para cada n 1. Si la sucesin o o converge a p y g es continua, entonces p = lim pn = lim g(pn1 ) = g
n n n

lim pn1 = g(p) ,

y se obtiene una solucin de x = g(x). Esta tcnica se llama tcnica iterativa de punto o e e fijo iteracin funcional. El procedimiento est detallado en el algoritmo conocido o o a como algoritmo de punto fijo y est descrito en las figuras 2 y 3. a Algoritmo de punto fijo. ================================================== Para encontrar una solucin de g(p) = p dada una aproximacin inicial p0 : o o Entrada: aproximacin inicial p0 ; tolerancia TOL; nmero mximo de iteraciones N0 ; o u a Salida: solucin aproximada p mensaje de fracaso. o o Paso 1: tomar i = 1; Paso 2: mientras que i N0 seguir pasos 36; 72

OCW-V.Muto

Iteracin del punto fijo o

Cap. VII

Paso 3: tomar p = g(p0 ) (calcular pi ); Paso 4: si |p p0 | < T OL entonces SALIDA (p); (procedimiento completado satisfactoriamente) PARAR; Paso 5: tomar i = i + 1 Paso 6: tomar p0 = p (redefinir p0 ); Paso 7: SALIDA ( El mtodo fracas despus de N0 iteraciones, N0 = , N0 ); e o e (procedimiento completado sin xito); PARAR. e ================================================== Ejemplo 3. La ecuacin x3 +4 x2 10 = 0 tiene una sola ra en [1, 2]. Existen muchas maneras de o z cambiar la ecuacin a la forma x = g(x), efectuando manipulaciones algebricas simples. o a Debe verificarse que el punto fijo de la funcin g(x) es en realidad una solucin de la o o ecuacin original. o (a) (b) (c) (d) (e) x = g1 (x) = x x3 4 x2 + 10 , 1/2 x = g2 (x) = 10 4 x , x 1 3 1/2 x = g3 (x) = 2 (10 x ) , x = g4 (x) = x = g5 (x) = Tabla 1 n 0 1 2 3 4 5 6 7 8 9 10 15 20 25 30 pn (a) 1.5 0.875 6.732 469.7 1.03 108 pn (b) 1.5 0.8165 2.9969 (8.65)1/2 pn (c) 1.5 1.286953768 1.402540804 1.345458374 1.375170253 1.360094193 1.367846968 1.363887004 1.365916733 1.364878217 1.365410061 1.365223680 1.365230236 1.365230006 1.365230014 pn (d) 1.5 1.348399725 1.367376372 1.364957015 1.365264748 1.365225594 1.365230576 1.365229942 1.365230023 1.365230012 1.365230014 1.365230013 pn (e) 1.5 1.373333333 1.365262015 1.365230014 1.365230013
10 1/2 , 4+x x3 +4 x2 10 x 3 x2 +8 x

Con p0 = 1.5, la tabla 1 muestra los resultados del mtodo de iteracin de punto fijo e o para las cinco alternativas para g. La ra real es 1.365230013, como se hizo notar en el ejemplo 1 del cap z tulo VI. Comparando los resultados con el algoritmo de biseccin dado en aquel ejemplo, se puede o ver que se han obtenido excelentes resultados para los casos (c), (d) y (e), mientras que con la tcnica de biseccin se necesitan 27 iteraciones para lograr esta precisin. Es e o o 73

OCW-V.Muto

Iteracin del punto fijo o

Cap. VII

interesante notar que la eleccin (a) produce divergencia y (b) se vuelve indefinida debido o a que lleva a la ra cuadrada de un nmero negativo. z u Este ejemplo ilustra la necesidad de un procedimiento que garantice que la funcin o g converja a una solucin de x = g(x) y que escoja tambin a g de tal manera que haga o e la convergencia tan rpida como sea posible. El Teorema siguiente es el primer paso para a determinar este procedimiento. Teorema VII.2 Sea g C[a, b] y supongamos que g(x) [a, b] x [a, b]. Adems, supongamos a que g existe en (a, b) con |g (x)| k < 1 para toda x (a, b) . (V II.1)

Si p0 es cualquier nmero en [a, b], entonces la sucesin definida por u o pn = g(pn1 ) , converge al unico punto fijo p en [a, b]. Demostracin: por el Teorema VII.1, existe un punto fijo unico en [a, b]. Como g manda o a a [a, b] a l mismo, la sucesin {pn }n=0 est definida para toda n 0 y pn [a, b] para e o toda n. Usando la desigualdad (V II.1) y el Teorema del valor medio, |pn p| = |g(pn1 ) g(p)| = |g ()| |pn1 p| k |pn1 p| , donde (a, b). Aplicando la desigualdad (V II.2) inductivamente resulta: |pn p| k |pn1 p| k 2 |pn2 p| ... k n |p0 p| . Como k < 1,
n

n1,

(V II.2)

(V II.3)

lim |pn p| lim k n |p0 p| = 0

n

y {pn } converge a p. n=0

c.q.d.

El Teorema permanece vlido si la funcin g(x) es definida y diferenciable en el a o intervalo infinito < x < +, y la desigualdad (V II.1) se cumple cuando x (, +). Ntese que en las condiciones del Teorema VII.2, el mtodo del punto fijo converge o e para cualquier valor inicial p0 en [a, b]. Por esta razn es autocorrector, esto es, un o error individual en los clculos que no vaya por encima de los l a mites del intervalo [a, b] no afecter el resultado final, ya que un valor errneo puede ser considerado como un nuevo a o valor inicial p0 . Unicamente se habr trabajado ms. La propiedad de autocorreccin a a o hace que el mtodo de iteracin del punto fijo sea uno de los ms fiables. Naturalmente, e o a los errores sistemticos al aplicar este mtodo pueden hacer que no se obtenga el resultado a e requerido. 74

OCW-V.Muto

Iteracin del punto fijo o

Cap. VII

Corolario VII.3 Si g satisface las hiptesis del Teorema VII.2, una cota para el error involucrado al o usar pn para aproximar a p est dada por a |pn p| k n max{p0 a, b p0 } Demostracin: de la desigualdad (V II.3), o |pn p| k n |p0 p| k n max{p0 a, b p0 } , ya que p [a, b] y p0 [a, b]. Corolario VII.4 Si g satisface las hiptesis del Teorema VII.2, entonces o |pn p| kn |p0 p1 | 1k para todo n 1 . (V II.5) c.q.d. para cada n 1 . (V II.4)

Demostracin: para n 1, el procedimiento usado en la demostracin del Teorema o o VII.2 implica que |pn+1 pn | = |g(pn ) g(pn1 )| k |pn pn1 | ... k n |p1 p0 | . Por lo tanto, para m > n 1, |pm pn | = |pm pm1 + pm1 ... pn+1 + pn+1 pn | |pm pm1 | + |pm1 pm2 | + ... + |pn+1 pn | k m1 |p1 p0 | + k m2 |p1 p0 | + ... + k n |p1 p0 | = k n (1 + k + k 2 + ... + k mn1 ) |p1 p0 | . Por el Teorema VII.2, lim pm = p, as que
m

|p pn | = lim |pm pn | k |p1 p0 |

m i=0

ki =

kn |p1 p0 | . 1k c.q.d.

Ambos corolarios relacionan la rapidez de convergencia con la cota k de la primera derivada. Est claro que la rapidez de convergencia depende del factor k n /(1k), y que cuanto a ms pequeno se pueda hacer k, ms rpida ser la convergencia. La convergencia puede a a a a ser muy lenta si k es prximo a 1. o Ntese que existe una extendida opinin de que, si al utilizar el mtodo del punto o o e fijo, dos aproximaciones sucesivas pn1 y pn coinciden dentro de la exactitud especificada 75

OCW-V.Muto

Iteracin del punto fijo o

Cap. VII

(por ejemplo, los primeros m decimales estn estabilizados en estas aproximaciones), a entonces se cumple p pn con la misma exactitud (esto es, en particular el nmero u aproximado pn tiene m cifras exactas). En el caso general esta afirmacin es errnea. Es o o ms, resulta fcil demostrar que si g (x) est prxima a la unidad, entonces la cantidad a a a o |p pn | puede ser grande, an cuando |pn pn1 | sea extremadamente pequea. u n Los mtodos de punto fijo del ejemplo 3 sern reconsiderados tomando en cuenta los e a resultados descritos en el Teorema VII.2. Ejemplo 4. (a) Cuando g1 (x) = x x3 4 x2 + 10, g1 (x) = 1 3 x2 8 x. No hay ningn intervalo [a, b], u conteniendo a p, para el cual |g1 (x)| < 1. Aunque el Teorema VII.2 no garantiza que el mtodo debe fracasar para esta eleccin de g, no hay ninguna razn para sospechar la e o o convergencia. (b) Con g2 (x) = [10/x4 x]1/2 , vemos que g2 no manda al intervalo [1, 2] a [1, 2] y la sucesin o {pn }n=0 no est definida con p0 = 1.5. Ms an, no hay ningn intervalo que contenga a a a u u p tal que |g2 (x)| < 1, ya que |g2 (p)| 3.43.
3 (c) Para la funcin g3 (x) = 1 (10 x3 )1/2 , g3 (x) = 4 x2 (10 x3 )1/2 < 0 en [1, 2], o 2 as que g3 es estrictamente decreciente en [1, 2]. Sin embargo, |g3 (2)| 2.12, as que la desigualdad (V II.1) no se satisface en [1, 2]. Examinando ms de cerca la sucesin a o {pn }n=0 comenzando con p0 = 1.5 podemos ver que es suficiente considerar el intervalo [1, 1.5] en vez de [1, 2]. En este intervalo sigue siendo cierto que g3 (x) < 0 y que g es estrictamente decreciente, pero, adems 1 < 1.28 g3 (1.5) g3 (x) g3 (1) = 1.5 a para todo x [1, 1.5]. Esto demuestra que g3 manda al intervalo [1, 1.5] a s mismo. Como tambin es cierto que |g3 (x)| < |g3 (1.5)| 0.66 en este intervalo, el Teorema VII.2 e confirma la convergencia de la cual ya estbamos enterados. a Las otras partes del ejemplo 3 se pueden manejar de una manera similar.

Teorema VII.5 Sea g(x) una funcin definida y diferenciable en un intervalo [a, b], y supongamos o que la ecuacin o x = g(x) tenga una ra p situada en un intervalo ms pequeo [, ], donde = a + 1 (b a) y z a n 3 1 = b 3 (b a). En este caso si (a) |g (x)| k < 1 para a < x < b y (b) la aproximacin o inicial p0 [, ], entonces: (1) todas las aproximaciones sucesivas caen en el intervalo (a, b): pn = g(pn1 ) (a, b), n = 1, 2, ... (2) el proceso de aproximaciones sucesivas es convergente, es decir, existe lim pn = p y p es la unica ra en el intervalo [a, b] de la ecuacin dada; z o (3) el supuesto (V II.5) es vlido. a Demostracin: (1) en efecto, supongamos o p0 [, ] . 76
n

OCW-V.Muto Entonces, la ecuacin o

Iteracin del punto fijo o

Cap. VII

p1 = g(p0 ) tiene evidentemente significado. Utilizando la ecuacin o p = g(p) tendremos, en base al Teorema de valor medio, |p1 p| = |g(p0 ) g(p)| = |p0 p| |g (p0 )| k ( ) < ba . 3

Por consiguiente p1 (a, b). Por lo general, si pn1 (a, b) (n = 1, 2, ...) y |pn1 p| < ba 3 , entonces pn = g(pn1 ) es significativa y |pn p| = |g(pn1 ) g(p)| = |pn1 p| |g (pn1 )| k ( ) < ba . 3

En consecuencia, pn (a, b), donde n = 1, 2, 3, .... Las demostraciones de las afirmaciones (2) y (3) son completamente anlogas a las a del Teorema VII.1. c.q.d. Teorema VII.6 Sea g(x) una funcin definida y diferenciable en un intervalo [a, b], y supongamos o que la ecuacin o x = g(x) tenga una ra p situada en el intervalo [a, b]. Adems supongamos que la derivada g (x) z a conserva el signo y la desigualdad (V II.1) sea vlida. Por consiguiente, a (1) si la derivada g (x) es positiva, las aproximaciones sucesivas pn = g(pn1 ) , (n = 1, 2, ...) , p0 (a, b)

convergen montonamente hacia la ra p. o z (2) Sin embargo, si la derivada g (x) es negativa, las aproximaciones sucesivas oscilan entonces alrededor de la ra p. z Demostracin: (1) en efecto, hagamos 0 g (x) k < 1 y, por ejemplo, o p0 < p . En tal caso p1 p = g(p0 ) g(p) = (p0 p) g (1 ) < 0 , donde 1 (p0 , p), y |p1 p| k |p0 p| < |p0 p| . 77

OCW-V.Muto En consecuencia,

Iteracin del punto fijo o

Cap. VII

p 0 < p1 < p . Utilizando el mtodo de induccin matemtica, obtenemos e o a p0 < p1 < p2 < ... < p . Un resultado anlogo se obtiene cuando p0 > p. a (2) Hagamos 1 < k g (x) 0 y, por ejemplo, p0 < p; p1 = g(p0 ) (a, b). Tenemos, p1 p = g(p0 ) g(p) = (p0 p) g (1 ) > 0 es decir, p1 > p y |p1 p| < |p0 p|. Repitiendo estos argumentos para las aproximaciones p1 , p2 , ..., tenemos p0 < p2 < ... < p < ... < p3 < p1 . De este modo, las aproximaciones sucesivas oscilarn alrededor de la ra p. a z c.q.d.

De este modo, si la derivada g (x) es positiva, solamente es necesario elegir la aproximacin inicial p0 de forma que pertenezca al entorno (a, b) de la ra p por la que estamos o z interesados; todas las aproximaciones restantes pn (n = 1, 2, ...) caern automticamente a a en este entorno y se acercarn montonamente hacia la ra p a medida que n aumente. a o z Por otra parte, en el caso de una derivada negativa g (x), si dos aproximaciones p0 y p1 pertenecen al entorno (a, b) de la ra p, todas las dems aproximaciones pn z a (n = 1, 2, ...) pertenecern tambin al mismo intervalo; la secuencia {pn } estrangula la a e ra p. Adems, en este caso z a |p pn | |pn pn1 | es decir, los d gitos estabilizados de la aproximacin pn pertenecen definitivamente a la o ra exacta p. z Ntese que dada una ecuacin o o f (x) = 0 esta puede escribirse de la forma x = g(x) (V II.7) eligiendo la funcin g(x) de diferentes maneras. o La notacin (V II.7) no deja de tener su importancia; en ciertos casos |g (x)| deo mostrar ser pequea en la vecindad de la ra p, en otros ser grande. Para el mtodo a n z a e de iteracin del punto fijo, la representacin de (V II.7) ms ventajosa es aquella en la o o a cual la desigualdad (V II.1) es vlida, y cuanto menor sea el nmero k, ms rpida ser, a u a a a hablando en trminos generales, la convergencia de las aproximaciones sucesivas a la ra e z p. Estudiaremos a continuacin una tcnica bastante general para reducir la ecuacin o e o (V II.6) a la forma (V II.7), y para la cual se asegure la validez de la desigualdad (V II.1). Supongamos que la ra deseada p de la ecuacin cae en el intervalo [a, b], y z o 0 < m1 f (x) M1 78 (V II.6)

OCW-V.Muto

Iteracin del punto fijo o

Cap. VII

para a x b. [Si la derivada f (x) es negativa, entonces consideraremos la ecuacin o f (x) = 0 en lugar de (V II.6)]. En particular, podemos tomar para m1 el valor ms a pequeo de la derivada f (x) en el intervalo [a, b], cuyo valor debe ser positivo, y para M1 n el valor ms grande de f (x) en el intervalo [a, b]. Reemplcese (V II.6) por la ecuacin a a o equivalente x = x f (x) ( > 0) . Podemos establecer g(x) = x f (x). Elijamos el parmetro de tal manera que en la a vecindad dada de la ra [a, b] sea vlida la desigualdad z a 0 g (x) = 1 f (x) k < 1 , de donde tenemos 0 1 M1 1 m 1 k . En consecuencia, podemos elegir = 1 M1 y k =1 m1 <1. M1

Ejemplo 5. Hllese la mayor ra p positiva de la ecuacin a z o x3 + x = 1000 , con un error menor que 104 . Un clculo por encima nos ofrece el valor aproximado de la ra p0 = 10; es evidente a z que p < p0 . Podemos reescribir la ecuacin de las formas: o x = 1000 x3 , x= o 1000 1 , x2 x o x= 3 1000 x .

La versin ms adecuada es la tercera, ya que tomando el intervalo (9, 10) como intervalo o a principal y estableciendo g(x) = 3 1000 x , tenemos g (x) = de donde |g (x)| 3
3

1 (1000 x)2

1 1 =k . 3 2 300 3 990 3

Calculemos las aproximaciones sucesivas pn utilizando las frmulas o yn = 1000 pn , pn+1 = 79 yn , n = 0, 1, 2, ...

OCW-V.Muto

Iteracin del punto fijo o

Cap. VII

Los valores hallados de este modo se encuentran reflejados en la tabla siguiente: Tabla 2 n 0 1 2 3 pn 10 9.966555 9.966667 9.966667 yn 990 990.033445 990.033333

Como 1 k 1, podemos establecer p = 9.9667 con un error menor que 104 . Aplicamos ahora la tcnica dada previamente: e f (x) = x3 + x 1000 entonces m1 = 244 f (x) 301 = M1 . Definimos x = g(x) = x (x3 + x 1000) , donde = 1 1 = 0.00332 M1 301 y f (x) = 3 x2 + 1

m 244 y por la cual k = 1 M1 = 1 301 0.19. 1 Los valores hallados de este modo se encuentran reflejados en la tabla siguiente:

Tabla 3 n 0 1 2 3 4 pn 10 9.9668 9.966668 9.966667 9.966667

Indicaremos ahora otra tcnica para acelerar la convergencia del proceso de iteracin e o la cual puede ser util en ciertos casos. Supngase que disponemos de una ecuacin o o x = g(x) tal que la desigualdad |g (x)| q > 1 sea cierta dentro del entorno de la ra deseada p. El proceso de iteracin del punto z o fijo divergir entonces para esta ecuacin. Pero si la ecuacin dada es sustituida por la a o o ecuacin equivalente o x = (x) , 80

OCW-V.Muto

Iteracin del punto fijo o

Cap. VII

donde (x) = g 1 (x) es la funcin inversa, tendremos una ecuacin para la cual el proceso o o de iteracin converge, ya que o | (x)| = Ejemplo 6. La ecuacin o f (x) = x3 x 1 = 0 tiene una ra p (1, 2), ya que f (1) = 1 < 0 y f (2) = 5 > 0. z Podemos reescribir la ecuacin como o x = x3 1 en este caso g(x) = x3 1 y g (x) = 3 x2 y por tanto g (x) 3 para 1 x 2 y, en consecuencia, no se cumplen las condiciones de convergencia del proceso de iteracin. o Si escribimos la ecuacin de la forma o x= tendremos (x) = 3 3 x+1 1 3
3

1 1 =k<1. g ((x)) q

x+1

(x) =

(x + 1)2

Por consiguiente 0 < (x) < 3 13 4 < 1 para 1 x 2 y, de aqu que, para la nueva 4 ecuacin el proceso de iteracin converger rpidamente. o o a a

Tabla 4 n 0 1 2 3 pn 1.33 1.325720 1.324908 1.324754 n 4 5 6 7 pn 1.324725 1.324719 1.324718 1.324718

81

OCW-V.Muto EJERCICIOS.

Iteracin del punto fijo o

Cap. VII

1. Use el mtodo de iteracin del punto fijo para determinar una solucin exacta e o o 2 (en 10 ) de la ecuacin 2 sin x + x = 0 en [1, 2]. Use p0 = 1. o 2. Usar el Teorema VII.1 para demostrar que g(x) = 2x tiene un punto fijo unico en [1/3, 1]. Use la iteracin del punto fijo para encontrar una aproxi o macin al punto fijo, con una precisin de 104 . Use el corolario VII.3 el o o o VII.4 para estimar el nmero de iteraciones requeridas para alcanzar 104 u de precisin, y compare esta estimacin terica con el nmero realmente o o o u necesario. 3. Usar el Teorema VII.1 para demostrar que g(x) = + 0.5 sin x tiene un punto fijo unico en [0, 2]. Use la iteracin del punto fijo para encontrar una o aproximacin al punto fijo, con una precisin de 102 . Use el corolario VII.3 o o o el VII.4 para estimar el nmero de iteraciones requeridas para alcanzar u 2 10 de precisin, y compare esta estimacin terica con el nmero realmente o o o u necesario. 4. Para cada una de las siguientes ecuaciones, determine un intervalo [a, b] en el cual la iteracin del punto fijo converja. Estime el nmero de iterao u ciones necesarias para obtener aproximaciones exactas en 105 , y efecte los u clculos. a x 2 a) x = 2e 3+x ; b) c) d) e) f) x= x=5 ; x = 6x ; x7 x = 1.75 + 4x2 ; 5 x = x2 + 2 .
1 x 3e x

5. Demuestre que la sucesin definida por o xn = converge a 1 2 xn1 + , 2 xn1 para n 1 ,

2 para cualquier x0 > 0.

82