TOPICOS DE CALCULO NUMERICO

CEROS DE FUNCIONES

CARLOS-ENRIQUE NEUMAN MEIRA

1.

Introduccion

El objetivo de este texto es resumir las secciones 2.1 y 2.3 del libro de Burden y Faires [2, pg. 48 y 66]: 2.1 El mtodo de biseccin, 2.3 El mtodo de Newton. a e o e El problema que atacamos es hallar ceros de funciones reales denidas en un intervalo de la recta numrica. e 2. Metodo de biseccion

Se basa en el teorema que establece que si para una funcin continua denida en o un intervalo [a, b] se tiene que f (a)f (b) < 0 entonces existe por lo menos un punto x [a, b] tal que f (x) = 0. La idea del mtodo es dividir reiteradamente a la mitad los subintervalos de [a, b] e y en cada paso localizar, con el mismo critero, la mitad que contiene a x. Suponemos entonces que f (a)f (b) < 0 y denimos a0 = a, b0 = b y c = a0 + b0 a0 , el punto medio del intervalo. Hay tres posibilidades: 2 1. f (a0 )f (c) < 0: entonces x [a0 , c] y hacemos a1 = a0 , b1 = c, 2. f (a0 )f (c) = 0: entonces x = c, 3. f (a0 )f (c) > 0: entonces x [c, b0 ] y hacemos a1 = c, b1 = b0 , el resultado de este paso, si no se determin el cero, es, entonces, un nuevo intervalo o [a1 , b1 ] mitad del anterior y una aproximacin x1 = c al cero x de f . o Repetimos el paso y obtenemos, en general, un intervalo [a2 , b2 ] que contiene al cero y una nueva aproximacin x2 al cero de f . o Hasta que lo detenemos el proceso produce tres sucesiones 1. (ai )n de extremos izquierdos de los intervalos. i=0 2. (xi )n de aproximaciones al cero de f . i=1 3. (bi )n de extremos derechos de los intervalos. i=0 Adems vale que a ba (1) |bi ai | = 2i y en consecuencia (porque xi , x [ai , bi ]) |xi x| por otra parte a = a0 a1 a2 . . . b a . . . b2 b1 b0 = b
1

ba 2i

(2) (3) (4)

CARLOS-ENRIQUE NEUMAN MEIRA

con lo que (ai ) y (bi ) son sucesiones montonas y acotadas y, en consecuencia, o existen los l mites
i

l ai m

l bi m

(5)

y como l i |bi ai | = 0 se tiene que m

i

l ai = x m

l bi = x m

(6)

En cada paso se verica f (ai )f (bi ) 0 y tomando l mite (utilizando que f es continua) resulta (f (x))2 0 (7)

entonces x es el cero buscado pues cumple f (x) = 0. Ejemplo: Clculo de 2. Tomamos f (x) = x2 2 y [a, b] = [1, 3], se tiene f (1)f (3) = a 7 < 0. En la Tabla 1 exhibimos las sucesiones obtenidas. Tabla 1. Clculo de a i 1 2 3 4 5 6 7 8 xi 2 1.5 1.25 1.375 1.4375 1.40625 1.421875 1.4140625 f (xi ) 2 0.25 -0.4375 -0.109375 0.066. . . -0.022. . . 0.02. . . ... 2. Mtodo de biseccin e o [ai ; bi ] [1; 2] [1; 1,5] [1,25; 1,5] [1,375; 1,5] [1,375; 1,4375] [1,40625; 1,4375] [1,40625; 1,421875] ...

xi xi1 -0.5 -0.25 0.125 0.0625 0.03125 0.015625 ...

Para x8 la aproximacin lograda tiene 4 d o gitos exactos. Esto muestra que este 1 mtodo es lento. El error se reduce 10 en 3 o 4 pasos. e 2.1. Criterio de detencin. El problema de establecer un criterio de detencin o o en un proceso iterativo es muy complejo. Admite, sin embargo, una solucin aproo ximada simple. Si tenemos denida una tolerancia, que llamaremos mitol (para diferenciarla de alguna tol que tenga predenida el sistema de computacin que o utilizamos), entonces podr amos utilizar alguna (o todas) de las siguientes comparaciones: 1. |f (xn )| mitol 2. |xn xn1 | mitol 3. |xn xn1 | mitol |xn | Probablemente una combinacin de la tercera y la primera ser lo mejor, salvo en o a el caso en que la sucesin tiende a 0 donde habr que combinar la segunda y la o a primera. Ejercicio: Para f (x) = 2x3 + 6x 1 se desea aproximar el cero perteneciente al intervalo (0, 1) utilizando el mtodo de biseccin comenzando con a0 = 0 y b0 = 1. e o Determinar una cantidad de pasos a seguir par poder asegurar que |f (an )| < 10100 y |f (bn )| < 10100 . Vericar.

 TOPICOS DE CALCULO NUMERICO

3.

Metodo de Newton

Supongamos que la funcin f C 2 [a, b], que existe r (a, b) tal que f (r) = 0 o (el cero buscado) y que en el entorno de r, f (x) > 0 y f (x) > 0 (estas hiptesis o son muy restrictivas y el mtodo es efectivo en condiciones mucho ms generales e a que veremos despus, pero son utiles para simplicar la exposicin). De este modo e o el cero de f es simple y es el unico en un entorno que lo contiene. Sea x0 > r y en el entorno mencionado. Deseamos hallar una correccin h para o x0 de modo que x0 + h est mucho ms cerca del cero que x0 . Para esto escribimos e a la frmula de Taylor alrededor de x0 o h2 f (x ) x int(x, x0 ) 2 Como f (r) = 0, ponemos x = r en la expresin (8) y resulta o f (x) = f (x0 ) + hf (x0 ) + 0 = f (x0 ) + hf (x0 ) + (8)

h2 f (r ) (9) 2 El mtodo de Newton se obtiene al suponer que h2 e h, lo que permite despreciar el tercer sumando para obtener una ecuacin para la correccin h o o f (x0 )h + f (x0 ) = 0 (10)

Una vez obtenida h se corrige la aproximacin x1 = x0 + h. El proceso puede o repetirse para obtener la correccin que se debe aplicar a x1 y as sucesivamente. o En resumen, el proceso es 1. Comenzar con x0 2. conocido xi hallar h tal que f (xi )h + f (xi ) = 0 y calcular la nueva aproximacin xi+1 = xi + h o El paso 2 puede repetirse hasta que se arriba a la exactitud deseada. Analicemos la convergencia del mtodo. Sea ei = xi r el error. Queremos ver e que ei 0. El desarrollo de Taylor alrededor de xi evaluado en r es 0 = f (r) = f (xi ) + (r xi )f (xi ) + es decir 0 = f (xi ) ei f (xi ) + pero ei+1 = xi+1 r = xi con lo que ei+1 f (xi ) = ei f (xi ) f (xi ) de las expresiones (12) y (14) se obtiene ei+1 = 1 f () 2 e 2 f (xi ) i 1M 2 e 2 i (15) (14) f (xi ) f (xi ) r = ei f (xi ) f (xi ) (13) e2 i f (r ) 2 (12) (r xi )2 f (r ) 2 (11)

Por las hiptesis para f , f (x) > 0 y f (x) < M en el entorno de r, y as o ei+1 (16)

CARLOS-ENRIQUE NEUMAN MEIRA 1M 2

Podemos elegir > 0 tal que Anlogamente a

= < 1 y si e0 < entonces e1 < e0 (17) (18) (19)

e2 < e1 < 2 e0 y as obtenemos una sucesin (ei ) tal que o ei i e0 0 (i , < 1)

es decir que las aproximaciones al cero obtenidas mediante el procedimiento de Newton convergen a r. Nota: De la expresin (16) se deduce que el orden de convergencia es 2. o Ejemplo: Clculo de 2. Tomamos f (x) = x2 2 y x0 = 2. En la Tabla 2 exhibimos a las sucesiones obtenidas. e Tabla 2. Clculo de 2. Mtodo de Newton a i 0 1 2 3 xi 2 1.5 1.416667 1.414215 f (xi ) 2 0.25 0.0069445 0.6 105 h = xi xi1 -0.5 -0.0833 -0.00245

En este caso x3 tiene 5 d gitos exactos. Comparar con el ejemplo anlogo del a mtodo de biseccin. e o Referencias [1] Atkinson, K.E., An Introduction to Numerical Analysis, second edition, John Wiley & Sons, 1989, New York. [2] Burden, R.L. y Faires, J.D., Anlisis Numrico, sptima edicin, Thomson a e e o Learning, 2002, Mxico. e [3] Kincaid, D. y Cheney, W., Anlisis Numrico. Las Matemticas del Clculo a e a a Cient co Addison-Wesley Iberoamericana, 1994, Buenos Aires.
Departamento de Matematica, FIQ, UNL, Santiago del Estero 2829, 3000 Santa Fe E-mail address: ceneuman@fiq.unl.edu.ar