Documente Academic
Documente Profesional
Documente Cultură
Raphson o el
Historia
Isaac Newton en De analysi per aequationes numero terminorum infinitas ('Sobre el anlisis
mediante ecuaciones con un nmero infinito de trminos', escrito en 1669 , publicado en 1711
por William Jones ) y en De metodis fluxionum et serierum infinitarum (escrito en 1671 ,
traducido y publicado como Mtodo de las fluxiones en 1736 por John Colson ). Sin embargo, su
descripcin difiere en forma sustancial de la descripcin moderna presentada ms arriba:
Newton aplicaba el mtodo solo a polinomios, y no consideraba las aproximaciones sucesivas
xn , sino que calculaba una secuencia de polinomios para llegar a la aproximacin de la raz x.
Finalmente, Newton ve el mtodo como puramente algebraico y falla al no ver la conexin con
el clculo.
Isaac Newton probablemente deriv su mtodo de forma similar aunque menos precisa del
mtodo de
Franois Vite . La esencia del mtodo de Vite puede encontrarse en el trabajo del
matemtico persa Sharaf al-Din al-Tusi .
La funcin es mostrada en azul y la lnea tangente en rojo. Vemos que x n +1 es una mejor
aproximacin que x n para la raz x de la funcin f .
Ntese que el mtodo descrito es de aplicacin exclusiva para funciones de una sola variable
con forma analtica o implcita conocible. Existen variantes del mtodo aplicables a sistemas
discretos que permiten estimar las races de la tendencia, as como algoritmos que extienden el
mtodo de Newton a sistemas multivariables, sistemas de ecuaciones, etctera.
Tres son las formas principales por las que tradicionalmente se ha obtenido el algoritmo de
Newton-Raphson.
Ilustracin de una iteracin del mtodo de Newton (la funcin f se muestra en azul y la lnea de
la tangente en rojo). Vemos que
Finalmente, hay que indicar que el mtodo de Newton-Raphson puede interpretarse como un
mtodo de iteracin de punto fijo . As, dada la ecuacin
Se escoge h (x) de manera que g'(r)=0 (r es la raz buscada). Dado que g'(r) es:
Entonces:
Existen numerosas formas de evitar este problema, como pudieran ser los mtodos de
aceleracin de la convergencia tipo de Aitken o el mtodo de Steffensen .
Su principal desventaja en este caso sera lo costoso que pudiera ser hallar g ( x) y g' ( x ) si f ( x )
no es fcilmente derivable.
Por otro lado, la convergencia del mtodo se demuestra cuadrtica para el caso ms habitual
sobre la base de tratar el mtodo como uno de punto fijo: si
g '( r )=0, y g'' ( r ) es distinto de 0, entonces la convergencia es cuadrtica. Sin embargo, est
sujeto a las particularidades de estos mtodos.
Sea . Si , y
1.
2. para todo
3. para todo
4.
Con lo cual se toma el error relativo como si la ltima aproximacin fuera el valor exacto. Se
detiene el proceso iterativo cuando este error relativo es aproximadamente menor que una
cantidad fijada previamente.
Ejemplo
Sabemos que f '( x ) = -sin( x ) - 3 x2 . Ya que cos( x ) 1 para todo x y x 3 > 1 para x>1,
deducimos que nuestro cero est entre 0 y 1. Comenzaremos probando con el valor inicial x 0 =
0,5
x6 es correcto para el nmero de decimales pedidos. Podemos ver que el nmero de dgitos
correctos despus de la coma se incrementa desde 2 (para x 3) a 5 y 10, ilustrando la
convergencia cuadrtica.