Tema 8

Ceros de funciones
Versin: 23 de abril de 2009 o

8.1

Introduccin o

Dada f : [a, b] R R, continua, se plantea el problema de encontrar ceros de f , es decir ra ces de la ecuacin o f (x) = 0. (8.1)

La interpretacin geomtrica de este problema es determinar los puntos de corte de la grca de o e a la funcin y = f (x) en [a, b] con el eje de abscisas (ver la Figura 8.1). o

Figura 8.1: La grca de y = f (x) corta al a eje de abscisas en un punto [a, b], lo que signica que es un cero de la funcin f . o En F sica surgen frecuentemente problemas que conducen a ecuaciones del tipo (8.1) cuyas soluciones no se pueden calcular expl citamente. Por ejemplo, la ecuacin ex + ex = 2/ cos(x). 1 o Por otra parte, es bien conocido que para ecuaciones polinmicas o an xn + an1 xn1 + + a1 x + a0 = 0 con n 5, no existe una frmula expl o cita de sus soluciones.
Aparece, por ejemplo, cuando se quieren determinar las frecuencias de las oscilaciones transversales de una viga con extremos empotrados y sometida a un golpe.
1

59

Ceros de funciones

60

Los mtodos para aproximar ra de ecuaciones son, en general iterativos, es decir consisten en e ces construir una sucesin {xn }n0 mediante una relacin de recurrencia: o o x0 dado , xn+1 = (xn ), n 0, (8.2)

donde es una funcin dada que depende del mtodo iterativo. o e Cuando la sucesin {xn }n0 converge hacia la ra de f , es decir o z
n+

l m xn = ,

se dice que el mtodo iterativo (8.2) es convergente. e Para medir la velocidad de convergencia de una sucesin hacia su l o mite se introduce el concepto orden de convergencia. Se dice que una sucesin convergente, xn , o tiene orden de convergencia lineal (orden 1) si existen 0 < C < 1 y n0 0 tales que: |xn+1 | C|xn |, n n0 .

Esto signica, esencialmente, que se gana una cifra de precisin cada cierto nmero jo de o u iteraciones. tiene orden de convergencia cuadrtico (orden 2) si existen C > 0 y n0 0 tales que: a |xn+1 | C|xn |2 , n n0 ,

lo que signica que se duplican las cifras de precisin cada cierto nmero jo de iteraciones. o u Los mtodos de aproximacin de ra e o ces de ecuaciones necesitan conocer, o bien un intervalo que contenga slo una ra o bien un punto inicial que est sucientemente cerca de ella. Por tanto, como o z, e paso previo a la aplicacin de un mtodo de aproximacin, es necesario localizar la ra es decir o e o z, encontrar un intervalo que la contenga y separar la ra es decir encontrar un intervalo que slo z, o contenga dicha ra Esto se hace por mtodos anal z. e ticos, grcos y, en algunas aplicaciones, emp a ricos. EJEMPLO: Localizar y separar las ra ces de la ecuacin f (x) = 0, siendo f (x) = x + ex . o La funcin y = f (x) est representada en la Figura 8.2. Se observa que o a f (0) = 1 > 0, f (1) = 1 + 1/e < 0. Por el Teorema de Bolzano se deduce que existe un punto (1, 0) ra de f . Adems, z a x > 0 para todo esta ra es unica puesto que f es estrictamente creciente (f (x) = 1 + e z x R).

Ceros de funciones

61

4 3.5 3 2.5 2 1.5 1 0.5 0 0.5 1 1

0.5 0 0.5 1

Figura 8.2: La grca de y = x + ex . Hay un a unico punto [1, 0], ra de x + ex = 0. z

8.2

Mtodos de biseccin e o

Basado en el Teorema de Bolzano, es uno de los mtodos ms sencillos para calcular una ra de e a z la ecuacin (8.1) en un intervalo [a, b] donde la funcin f es continua y tiene un cambio de signo: o o f (a)f (b) < 0. El mtodo de biseccin consiste en subdividir en dos partes el intervalo en que se sabe que est la e o a ra para obtener un subintervalo de longitud igual a la mitad del anterior, y proseguir hasta que los z, subintervalos resultantes tengan una longitud tan pequea como se quiera (ver la Figura 8.3). n

a0 x0 b0 a1

x1 b1 a2

x2 b2

Figura 8.3: Tres etapas del mtodo de biseccin. En cada iteracin se descarta la mitad del intervalo e o o que no contiene a la ra (en la que f no cambia de signo). El intervalo donde se encuentra la ra es z z cada vez ms pequeo y, su punto medio se acerca cada vez ms a la solucin buscada. a n a o

Si el intervalo inicial es [a, b], tras la n-sima subdivisin se tendr el cero localizado en un intervalo e o a [an , bn ]. Por tanto si elegimos su punto medio xn = (an + bn )/2 como aproximacin del cero de f en o [a, b], cometemos un error no superior a en = (bn an )/2. En consecuencia, si queremos aproximar la ra con un error no superior a , bastar con terminar este proceso cuando en . z a

Ceros de funciones

62

Algoritmo 8.1 (de biseccin) o a) Elegir > 0. Tomar n = 0, a0 = a, b0 = b y e0 = (b0 a0 )/2. b) Dados n 0, [an , bn ] tal que f (an )f (bn ) < 0 y en = (bn an )/2, tomar xn = b.1) Si |en | , parar y devolver xn como aproximacin de la solucin. o o b.2) Si f (an )f (xn ) < 0, hacer an+1 = an , bn+1 = xn , en+1 = en /2 y n = n + 1 y repetir el paso b). b.3) Si f (xn )f (bn ) < 0, hacer an+1 = xn , bn+1 = bn , en+1 = en /2 y n = n + 1 y repetir el paso b). En las hiptesis del Teorema de Bolzano, el mtodo de biseccin es siempre convergente, pero es o e o lento (orden de convergencia lineal). an + bn . 2

8.3

Mtodo de aproximaciones sucesivas e

Dada g : [a, b] R R continua, el mtodo de aproximaciones sucesivas sirve para aproximar e soluciones de una ecuacin de ecuacin de punto jo o o x = g(x), x [a, b]. (8.3)

A las soluciones de (8.3) se les llama puntos jos de la funcin g. o Geomtricamente hallar un punto jo de g es determinar la abscisa del punto de corte de las e grcas de y = g(x) e y = x en [a, b] (ver la Figura 8.4). a

y =x y =g(x)

Figura 8.4: La grca de y = g(x) corta a la a recta y = x en un punto [a, b], lo que signica que es un punto jo de g en [a, b].

Ceros de funciones

63

El mtodo de aproximaciones sucesivas es un mtodo iterativo que consiste en tomar una e e aproximacin inicial x0 [a, b] y calcular los dems trminos de la sucesin {xn }n0 mediante la o a e o relacin o xn+1 = g(xn ). La sucesin {xn }n0 as calculada se llama de aproximaciones sucesivas. o

x1 x3

x2 x0

b
a x2 x1 x0 b

Figura 8.5: Interpretacin geomtrica del mtodo de aproximaciones sucesivas. o e e Aunque este mtodo no es estrictamente un mtodo para aproximar ra de la ecuacin f (x) = 0, e e ces o se incluye aqu porque es obvio que cualquier ecuacin de ese tipo puede escribirse en la forma x = g(x) , o (por ejemplo x = x + f (x)). Bajo ciertas condiciones sobre la funcin g (de existencia y unicidad de solucin de la ecuacin de o o o punto jo x = g(x)), el mtodo de aproximaciones sucesivas es convergente con orden de convergencia e lineal (orden 1), ver la Figura 8.5. Cuando se utiliza el mtodo de aproximaciones sucesivas para calcular una aproximacin del punto e o jo, se suelen terminar las iteraciones cuando el valor absoluto de la diferencia entre dos puntos sucesivos sea menor que una tolerancia pre-establecid, . O, mejor an, cuando u |xn xn1 | , |xn | ya que este criterio reeja mejor la magnitud de los trminos de la sucesin. e o Algoritmo 8.2 (de aproximaciones sucesivas) a) Elegir x0 [a, b] y > 0. b) Dados n 0 y xn . b.1) Si |xn xn1 |/|xn | , n 1, parar y devolver xn como aproximacin de la o solucin. o b.2) Hacer xn+1 = g(xn ) y repetir el paso b).

Ceros de funciones

64

8.4

Mtodo de Newton e

Es el mtodo ms utilizado para aproximar soluciones de la ecuacin (8.1). Se comienza eligiendo e a o un punto inicial x0 [a, b], del que normalmente se requiere que sea cercano a la solucin de o f (x) = 0. La sucesin del mtodo {xn }n0 se genera mediante la siguiente relacin: o e o xn+1 = xn f (xn ) . f (xn )

Obviamente, el mtodo de Newton necesita del conocimiento de la derivada f (x) y que esta no se e anule en ningn trmino de la sucesin. u e o La interpretacin geomtrica del mtodo de Newton es la siguiente: xn+1 es la abscisa del punto o e e de interseccin con el eje OX de la tangente a la curva y = f (x) en el punto (xn , f (xn )) (ver la o Figura 8.6).

a x2 x1 x0

Figura 8.6: Interpretacin geomtrica del mtodo de Newton. o e e

Tomando el punto inicial x0 cercano a la solucin, bajo ciertas condiciones sobre la funcin f , el o o mtodo de Newton es convergente con orden de convergencia cuadrtico (de orden 2). Esto signica e a que el mtodo de Newton es ms rpido que los dos mtodos anteriores, por tanto la sucesin generada e a a e o por el mtodo de Newton converge ms rpido a la solucin exacta: hacen falta menos iteraciones para e a a o alcanzar el nmero deseado de cifras decimales exactas entre la aproximacin y el cero de la funcin u o o que buscamos. La forma de detener las iteraciones de este mtodo para obtener una aproximacin de la ra es e o z similar al mtodo de aproximaciones sucesivas: e |xn1 xn | < . |xn |

Ceros de funciones

65

Algoritmo 8.3 (de Newton) a) Elegir x0 [a, b] y > 0. b) Dados n 0 y xn . b.1) Si |xn xn1 |/|xn | , n 1, parar y devolver xn como aproximacin de la o solucin. o f (xn ) b.2) Hacer xn+1 = xn y repetir el paso b). f (xn )

Existen otros mtodos de aproximacin de ceros de funciones, que escapan del objetivo de estos e o breves apuntes. Por otra parte, los mtodos explicados han sido presentados de manera tan slo e o descriptiva. Para un anlisis ms detallado, se pueden consultar las referencias [1] y [2]. a a

Bibliograf a
Versin: 23 de abril de 2009 o

[1] J.A. Infante, J.M. Rey, Mtodos Numricos, Pirmide, Madrid, 1999. e e a [2] J.H. Mathews, K.D. Fink, Mtodos Numricos con MATLAB, Prentice-Hall, 2000. e e

66