Está en la página 1de 121

CLCULO NUMRICO

D E P A R T A M E N T O D E C I E N C I A S B S I C A S

NDICE TEMTICO Unidades


I Unidad N " "Teora de errores. Normas vectoriales y matriciales" "" Introduccin a la teora de errores
""" Errores experimentales y de modelacin ""# Errores de tipo matemtico ""$ Errores absolutos y relativos ""% Grfica del error global ""& Condicionamiento y estabilidad

Pgina
1 3 3 4 4 6 7 7 8 13 14 14 15 15 16

"# Cifras significativas "$ Ejercicios Actividad Personal "% Normas vectoriales y matriciales
1.4.1. Normas vectoriales 1.4.2. Distancia inducida por una norma 1.4.3. Convergencia en espacios normados 1.4.4. Normas matriciales

II.- Unidad N 2

"Sistema de ecuaciones lineales"

17 18 20 21 22 24 26 30 39

2.1. Nmero de condicin


2.1.1. Propiedades del nmero de condicin

2.2. Mtodos por factorizacin PY


2.2.1. Factorizacin de Cholesky(i)

2.3. Mtodos iterados


2.3.1. Mtodos de descomposicin

2.4. Ejercicios Actividad Personal III.- Unidad N 3 "Resolucin de ecuaciones no lineales"

40 41 41 43 45 50 62

3.1. Acotacin y separacin de races 3.2. Mtodo y algoritmo de la biseccin: anlisis de errores 3.3. Punto fijo e iteracin funcional 3.4. Mtodo de Newton: anlisis de errores y Regla de Fourier 3.5. Ejercicios Actividad Personal

IV.- Unidad N 4

"Aproximaciones"

63 63 64 65 66 68 71

4.1. Mejor Aproximacin en espacios normados 4.2. Aproximacin discreta de mnimos cuadrados 4.3. Aproximacin discreta de mnimos cuadrados, caso no lineal
4.3.1. Mtodo de Gauss-Newton

4.4. Ejercicios Actividad Personal V.- Unidad N 5 "Interpolacin"

72 72 72 73 76 77

5.1. Interpolacin polinomial


5.1.1. Interpolacin de Lagrange 5.1.2. Interpolacin de Newton 5.1.3. Fenmeno de Runge 5.1.4. Interpolacin de Hermite

5.2. Interpolacin por Spline


5.2.1. Clculo de los Splines cbicos de interpolacin

79
79 81 87

5.3. Ejercicios Actividad Personal VI.- Unidad N 6 "Integracin Numrica" 6.1. Frmulas de cuadratura 6.2. Frmulas de Newton-Cotes
6.2.1. Frmula del trapecio 6.2.2. Frmula de Simpson

88 88 90 90 91 91 91 92

6.3. Frmulas Compuestas


6.3.1. Simpson para 8 par 6.3.2. Trapecios para 8 impar

6.4. Ejercicios Actividad Personal VII.- Unidad N 7 "Solucin Numrica de Ecuaciones Diferenciales Ordinarias" 7.1. Introduccin a las E.D.O. 7.2. Mtodo de Taylor 7.3. Mtodos de Runge-Kutta
7.3.1. Mtodo de Euler 7.3.2. Mtodo de Euler Mejorado y Euler-Cauchy (o de Heun) 7.3.3. Runge-Kutta de tercer y cuarto orden 7.3.4. Runge-Kutta de orden superior

92
101

102 102 104 105 106 108 109 110 111 118

7.4. Ejercicios Actividad Personal

El Anlisis Numrico trata de modelar o disear mtodos para aproximar, de manera eficiente, la solucin a problemas numricos complejos utilizando operaciones de la aritmtica. La eficiencia de los mtodos depende tanto de la precisin que se requiera como de la facilidad con que pueda implementarse. En la prctica, el problema matemtico se deriva de un fenmeno fsico sobre el cual se hacen suposiciones para representarlo matemticamente. Muchas veces es ms conveniente encontrar una solucin aproximada del problema matemtico ms complicado que encontrar una solucin exacta del modelo simplificado.

Ejemplo de un osciloscopio: Anlisis de datos en la interaccin con dispositivos de hardware

Los mtodos de clculo se denominan "algoritmos". El algoritmo es una secuencia de operaciones algebraicas y lgicas que producen la aproximacin al problema matemtico y se espera que tambin al problema fsico. En la seleccin del algoritmo se debe tener en cuenta que los cambios tecnolgicos los afectan significativamente, ya que computacionalmente dependen de la capacidad de almacenamiento de la computadora y del costo asociado con los tiempos de cmputo. Adems de esto se toman dos criterios muy evidentes: la rapidez y la precisin. La primera se ve ms favorecida cuando sean problemas a gran escala, es decir, que el algoritmo ms rpido sera el elegido.

Superficie creada usando spline racional y su polinomio de Taylor

Modelo numrico de un huracn

Dado que un computador est compuesto de dispositivos que realizan las operaciones lgicas y aritmticas, los procedimientos matemticos deben simplificarse a tal grado que sean accesibles para procesarse en un computador.

Clculo Numrico Pgina 1

Las aplicaciones de los mtodos numricos son prcticamente ilimitadas y se requiere conocimiento en diferentes disciplinas como la economa, fsica, ingeniera, etc. En especial nuestra asignatura de Clculo Numrico constituye una introduccin a la resolucin efectiva de los problemas de la Matemtica Aplicada planteados en las asignaturas de Clculo Infinitesimal (I, II, III o Complemento) y lgebra Lineal, las cuales deben haber proporcionado la base terica necesaria para la comprensin de los mismos; si no, te invitamos a que refuerces algunos conceptos que te sern de gran ayuda. El esquema esencial que se sigue en este curso, con respecto a sus temas, es: Planteamiento del problema. Algoritmos de resolucin. Anlisis de los errores. Ejercicios desarrollados. Autoevaluacin. Se considera esencial que se entienda la verdadera dimensin de los problemas (por ejemplo, se trata de resolver sistemas de miles de ecuaciones en otras tantas incgnitas o calcular la integral de una funcin slo conocida en un nmero pequeo de puntos). Slo de esta forma comprender la importancia del estudio de los diferentes errores que se producen en la resolucin numrica de un problema, as como la necesidad de su control, seguimiento y acotacin.

Vista especular de un cuanto usando datos procedentes de un microscopio de tnel de barrido.

En la mayora de los casos trataremos de buscar la solucin de una forma iterada, es decir, construyendo una sucesin convergente a la solucin del problema. En resumen, el siguiente diagrama explica grficamente todo lo anterior:

Clculo Numrico Pgina 2

"" Introduccin a la teora de errores


Las tcnicas del Clculo Numrico han experimentado un notable avance desde la aparicin de los PC's. Dicho tipo de PC's ofrecen la posibilidad de realizar grandes cadenas de clculos en un tiempo prudencial, lo que se traduce en que muchos mtodos que durante tiempo han permanecido en el terreno de lo utpico e irrealizable son ahora factibles. Sin embargo, y dado que el PC trabaja con un determinado nmero de cifras decimales, todos los nmeros que aparecen en los clculos son redondeados. As por ejemplo, si trabajamos con cinco cifras decimales e introducimos el nmero # "#$&'( el PC lo redondear a # "#$&( cometiendo un error de ! !!!!!$ que recibe el nombre de error de redondeo. Es evidente que para clculos con pocas operaciones este error es prcticamente despreciable, pero estamos hablando de que los mtodos que eran utpicos y que resolvemos ahora con la ayuda del PC constan de gran cantidad de operaciones y, por tanto, de redondeos. Evidentemente no todos los errores que se comenten son de redondeo, sino que estos pueden ser producidos por muchas otras causas que estudiaremos en este tema. Lo que si debe quedar claro es que debido a la gran cantidad de operaciones que vamos a realizar en un determinado proceso, es necesario realizar un detallado estudio de todos los errores que pueden ser arrastrados en l, ya que de lo contrario, el resultado no sera fiable. Comenzaremos, por ello, estudiando los diferentes tipos de errores que pueden producirse en un proceso de clculo.

""" Errores experimentales y de modelacin


Estos errores son inherentes al planteamiento del problema y pueden ser de dos tipos:

Experimentales
Surgen de la utilizacin de datos afectados de error, bien debido a los aparatos de medida (por falta de precisin de estos), bien debido a nuestros sentidos (errores personales entre ellos).

De modelizacin
Tienen su raz en la aproximacin de la realidad por modelos matemticos sobre los que se realiza el estudio. Son generalmente de tipo fsico y debidos a que el modelo matemtico utilizado no refleja exactamente la realidad sino una aproximacin de sta. Se pueden producir voluntariamente (intencionados) o involuntariamente (por desconocimiento de algunas leyes). Un ejemplo tpico de modelizacin es el tiro parablico. Es evidente que la trayectoria de un proyectil no es exactamente una parbola, ya que sta se producira slo en el caso de que el aire no ofreciera resistencia, que la gravedad no experimentara variaciones etc., sin embargo es evidente que cada vez que introducimos un nuevo factor que pueda modificar la trayectoria, el modelo se complica. Es por ello, que resulta prcticamente imposible tener en cuenta todos estos factores y es necesario despreciar alguno de ellos para que el modelo resultante sea factible de estudiar. De esta manera, podemos comenzar diciendo que no tendremos en cuenta las variaciones de la gravedad (estamos cometiendo un error de modelizacin voluntario). Supongamos ahora que se quiere estimar la posicin de un cometa a partir de los datos obtenidos tras una serie de observaciones. Es evidente que estos datos vendrn afectados de ciertos errores de medicin debidos a mltiples causas como puedan ser la falta de precisin de los aparatos, las variaciones producidas por la refraccin de la luz e incluso a errores personales. Es decir, vienen afectados de errores de experimentacin.

Clculo Numrico Pgina 3

""# Errores de tipo matemtico


Error de discretizacin
Cuando un computador trabaja con una funcin, por ejemplo con C B# , no lo hace con la funcin en s sino con una serie de puntos por los que pasa dicha funcin, es decir, el PC no reconoce la funcin C B# sino la que determinan, por ejemplo, los puntos ";" (" " " #"), (" # " %%), (" $ " '*), , etc. En otras palabras, convierte un proceso continuo en otro de tipo discreto. Otro ejemplo de error de discretizacin es el que se comente al sustituir la suma de una serie (infinitos trminos) por la suma de sus 8 primeros trminos, de tal forma que el error que se comete es menor mientras mayor sea el nmero de trminos que se sumen. Es interesante no discretizar cada modelo matemtico que se realice, sino estudiar familias de procesos de discretizacin y estudiar si estos procesos son vlidos, en el sentido de que el error de discretizacin que se comete tienda a cero a medida que se afina el proceso. As por ejemplo, podemos discretizar el clculo de una funcin sustituyendo sta por un polinomio de grado 8 (obtenido, por ejemplo, de su desarrollo en serie), podemos tambin sustituir la suma de una serie por la suma de los 8 primeros trminos, una integral por una suma finita, etc. 0 B T8 B "+3 "+3
_ 8 3" 3"

( 0 B.B " +3 0 B3
, _ + 3" B# #x

En resumen, no discretizamos el clculo de la funcin /B mediante el polinomio " B estudiamos el problema de la discretizacin de una funcin mediante un polinomio.

B$ $x

sino que

Error de redondeo
Es el que se comete al manejar cantidades que desbordan la capacidad del aparato que utilizamos. No puede estudiarse globalmente, sino que su estudio se realiza para cada problema particular.

Error transmitido
Es el que se comete al trabajar con unos datos iniciales afectados de errores. En otras palabras, el que se transmite de los datos iniciales a la solucin del problema.

Error de truncamiento
Por ejemplo, la evaluacin de funciones mediante desarrollos en series infinitas, obliga a considerar en el clculo slo un nmero finito de sumandos, truncando el resto de la sumatoria.

""$ Errores absolutos y relativos


Definicin. "". Sea B el valor exacto de un nmero real y B! el valor aproximado. Se define el error absoluto y se denota por & como la diferencia B B! , y se expresa siempre en valor absoluto, es decir: | & | | B B! |. Al cociente entre el error absoluto & y el valor real B se le denomina error relativo y se denota por &< . |& | Se expresa tambin en valor absoluto, es decir: | &< | . |B| Existen dos maneras de obtener el nmero de cifras decimales significativas de un valor aproximado B! :

por redondeo, cuya expresin es | &|

" "!: #

(: cifras decimales exactas)

por truncamiento, cuya expresin es | &| "!:


Clculo Numrico Pgina 4

Esta ltima expresin se denomina "en el sentido amplio" de la teora de errorres y la que utilizaremos en este apunte. Debe observarse que ello no indica que han de coincidir las : primeras cifras decimales de B y B! . Por ejemplo, si B # y B! " **** se tiene que |&| "!% y, por tanto, " **** tiene las cuatro cifras decimales exactas (aunque no coincidan ninguno de los decimales de # !!!! con los de " ****). Cuando se trabaja con datos que arrastran errores debe realizarse un estudio del comportamiento del error de transmisin en cada una de las operaciones bsicas. Para ello, consideremos los nmeros reales exactos B e C con sus valores aproximados B! e C! . Los errores absolutos de cada uno de ellos vienen dados por las diferencias &B B B! y &C C C! .

Sumas y diferencias.
La suma (diferencia) exacta de los nmeros B e C es W B C , mientras que la aproximada es W! B! C! El error de dicha suma (diferencia) viene dado por &= W W! B C B! C! &B &C por lo que ?W &= &B &C &B &C

Productos.
&: BC B! C! BC B &B C &C BC BC B &B C &B &B &C ?T &: B&C C &B ( considerando despreciable &B &C )

Podemos observar entonces que el error absoluto del producto depende de las magnitudes B e C Trabajando con los errores relativos tenemos que: &<: &C B&C C &B &B &C &: &B &B & C &<B &<C &<B &<C BC BC C B B C ?VT &<: &B &C

&<: &B &C &B &/C &B &C , por lo que

Es decir, el error relativo del producto es (aproximadamente) la suma de los errores relativos de los factores y, en valor absoluto, es menor o igual a dicha suma.

Cocientes.
&- B &<B &<C " &<C &# <C C En cuanto al error relativo &<- & &<B &<C &<B &<C &<C &<B &<C &# <C BC

?VG &<- &<B &<C

&<B &<C &<B &<C &# &<B &<C <C

Clculo Numrico Pgina 5

Funciones.
&0 0 B 0 B! 0 B 0 B &B 0 B 0 B &B 0 w B &B 0 w B
&# ww B #x 0 B

?0 &0 &B 0 w B

&# w w B 0 B &B 0 w B #x

Observacin importante: Aunque no podamos calcular exactamente el valor de 0 w B, podemos sustituirlo por 0 w B0 ya que el error depende, en gran medida, del valor de &B .

""% Grfica del error global


En un proceso tpico de discretizacin, es decir, en una familia infinita de procesos que dependen de 8 (grado de un polinomio, nmero de trminos de una suma, etc.) sabemos que al aumentar 8 el error de discretizacin tiende a cero, pero aumenta el nmero de operaciones y por tanto, el error de redondeo.

Figura "" Variacin de los errores de discretizacin y redondeo.

Las grficas (1) y (2) de la Figura "" nos muestran la variacin de los errores de discretizacin y de redondeo, respectivamente, a medida que aumenta el valor de 8. El error total que se comete en el proceso completo de discretizacin viene dado por la suma de ambos errores, es decir: | &> | = | &. | + | &< | La grfica de la variacin de dicho error se obtiene, evidentemente, sumando las grficas de las variaciones de ambos errores, y se muestra en la Figura "#.

Figura "# Variacin del error total en un proceso de discretizacin.

Clculo Numrico Pgina 6

Puede observarse que la grfica de la variacin del error total presenta un mnimo, lo que nos dice que, en un proceso de discretizacin, no se puede resolver un problema con un error inferior a dicho mnimo, es decir, si aumentamos el valor de 8 para disminuir el error de discretizacin, aumenta el error total debido al incremento del error de redondeo, y si disminuimos el valor de 8 para disminuir el error de redondeo, aumentamos tambin el error total debido al incremento del error de discretizacin. As pues, para poder resolver un problema con una precisin determinada, las nicas soluciones posibles son el trabajar con otra discretizacin diferente (que tienda a cero ms rpidamente) o trabajar con un mayor nmero de dgitos (disminuir los errores de redondeo).

""& Condicionamiento y estabilidad


Definicin "#. Si el algoritmo (proceso de discretizacin) que se aplica en la resolucin de un problema controla el error de redondeo, es decir, si ste no se dispara al pasar de una etapa a la siguiente, se dice que el algoritmo es estable. Si el mnimo que presenta la grfica del error es grande, el problema se dice que est mal condicionado y el proceso de discretizacin se dice que es inestable. Si, por el contrario, una pequea modificacin en los datos va acompaada de una pequea modificacin en el resultado, se dice que el problema est bien condicionado. En este caso, los errores de redondeo hacen prcticamente despreciables a los de discretizacin.

"# Cifras significativas


Se considera que las cifras significativas de un nmero son aquellas que tienen significado real o aportan alguna informacin. Las cifras no significativas aparecen como resultado de los clculos y no tienen significado alguno. Las cifras significativas de un nmero vienen determinadas por su error. Son cifras significativas aquellas que ocupan una posicin igual o superior al orden o posicin del error. Por ejemplo, consideremos una medida de longitud que arroja un valor de &%$# %('% 7 con un error de ! ) 7. El error es por tanto del orden de dcimas de metro. Es evidente que todas las cifras del nmero que ocupan una posicin menor que las dcimas no aportan ninguna informacin. En efecto, qu sentido tiene dar el nmero con precisin de diezmilsimas si afirmamos que el error es de casi 1 metro?. Las cifras significativas en el nmero sern por tanto las que ocupan la posicin de las dcimas, unidades, decenas, etc, pero no las centsimas, milsimas ni diezmilsimas. Cuando se expresa un nmero debe evitarse siempre la utilizacin de cifras no significativas, puesto que puede suponer una fuente de confusin. Los nmeros deben redondearse de forma que contengan slo cifras significativas. Se llama redondeo al proceso de eliminacin de cifras no significativas de un nmero. Cmo pueden determinarse las cifras significativas a partir del nmero que expresa el error?. Hay que tener siempre presente que todo error es una estimacin y est por tanto sujeto a su vez a una incertidumbre, generalmente grande. Por esto no tiene sentido especificarlo con excesiva precisin.

Clculo Numrico Pgina 7

"$ Ejercicios
Ejercicio "" Exprese el nmero B $& %()%' truncado a cuatro y tres decimales. Calcular el error cometido. Solucin: Truncado a cuatro cifras decimales significativas B! $& %()% . Luego, su error ser | & | $& %()%' $& %()% ' ! "!& "!% | & | $& %()%' $& %() % ' "!% "!$

En cambio a tres decimales ser B! $& %() y su error es

Ejercicio "# Sea el siguiente sistema de ecuaciones lineales B +C & ,B #C . , donde + " !!! ! !!# , " y . , + Con qu exactitud podemos determinar el producto BC ? + "! +. # +, . &, # +,

Solucin: Al resolver el sistema por reduccin: B Luego, el producto ser: BC Mtodo Primero: + " !!! , " " + &+ ! !!# &, &+ &+ +# e C

EF ("! +. ) (. &, ) ("! +. )(. &, ) G (# +, ) (# +, ) (# +, )#

. , + ! E "! +. "! F . &, & G # +, " EF &! BC


EF G #

&. &, &+ #&+ &E + &. . &+ #&+ &F &. & &, (&+ &G # &+ # &, % &, %&+ "#&+ &EF F &E E &F )!&+ &0 &EF
G EF &G G#

&!

')!&+

Sustituyendo valores, obtenemos el siguiente resultado BC &! ! " % Segundo Mtodo: BC +$ "$+ &0 $+# "$ $' &+ ! "!% +# BC &! !! ! "!%
$' +

&! !! ! "!

R 9>+ Por qu el error es mucho menor en el segundo mtodo?


Clculo Numrico Pgina 8

Ejercicio "$ Calcular # tomando # " %"% (que tiene todas sus cifras exactas). Estimar el error
&

cometido

Solucin: | &> | | # " %"%& | | &B | & # "!% #! ! !!# "!#


& %

Calculamos ahora el valor de " %"%& obteniendo: " %"%& & '&#&)%#* & '& &< , con | &< | # ' "! .
$

(No tiene sentido tomar ms de dos cifras decimales cuando ya el error de transmisin slo nos garantiza dos). # & & '& & & & '& & < >
$ $

con por lo que # & '& con todas sus cifras exactas.
&

| & | | &< | | &> | # ' "! # "!

% ' "!

"!

Llamando B! a la aproximacin de # , el error de transmisin es: | &> | | # B!& | | &B | & #


& %

#! | &B |.

& Ejercicio "% Determinar la precisin con la que hay que tomar # para calcular # con tres cifras decimales exactas.

Solucin: Para obtener tres cifras decimales exactas, ha de ser | &> | "! , es decir: #! | &B | "!
$

| &B |

"! #!

! & "!% "!%

Luego B! debe tomarse al menos con cuatro cifras decimales exactas tras el redondeo, es decir, dado # " %"%#"$ . . : que # " %"%# con | &B | ! & "!% "!% .

Conclusin: el error de transmisin es superior al error en el dato. Partiendo de un valor que tiene cuatro cifras decimales exactas, llegamos a un resultado del que slo podemos garantizar la exactitud de tres cifras decimales. Ejercicio "& Calcular (# ")& tomando # " %"% (que tiene todas sus cifras exactas) y estimar el error . Determinar la precisin con la que hay que tomar # para calcular (# ")& con tres cifras decimales exactas. Solucin: Partimos de que el valor aproximado de # " dado por B! " %"% " ! %"% tiene todas sus $ cifras exactas, es decir, partimos de un error en los datos | &B | "! .

Si consideramos la funcin 0 (B) = B& , de la cual queremos obtener el valor de 0 (B) = 0 (# "), el error de transmisin viene dado por | &> | | &B | 0 ' (B! ) "!$ & (! %"%) % " %')) "!% " %( "!% "!$ por lo que no podremos obtener ms de tres cifras decimales exactas.
Clculo Numrico Pgina 9

Al calcular ! %"%& ! !"#"'"*!(... slo podremos garantizar como exactas, a lo ms, las tres primeras cifras decimales. Si redondeamos obtenemos ! %"%& ! !"# &< donde | &< | " '"*!(... "!% " '# "!% . Finalmente, (# ")& (! %"%)& &> ! !"# &< &> ! !"# & | & | | &< | | &> | " '# "! " %( "!
5 % % $

donde por lo que (# ") ! !"# con todas sus cifras exactas. $ !* "!% "! ,

En cuanto a la precisin con que debe conocerse # para obtener tres cifras decimales exactas al 5 calcular (# ") , vamos a ver que puede ser algo menor que la que nos dan en el enunciado. Se trata de que | &> | | B & B!& | | (# ") B!& | "! .
5 $

| &> | | &B | | 0 w B | | &B | & B% "! . Luego: | &B |


"! &B%
$

$ Si se toma B! - on tres cifras exactas de # ", el error ser |&B | "! ! !!" ! !!'(*%... , pero observemos que podemos afinar an ms, y concluir diciendo que basta con tomar B! con dos cifras decimales exactas y redondear, pues entonces:

"! & (#")%

! !!'(*%...

y este es el error mximo que debe tener B! .

Por tanto, puesto que # " ! %"%#"$... , tomaremos: B! ! %" con | &B | ! %"%#"$... ! !!& y el error transmitido ser: As pues, tomando # " %" obtenemos
5 &

| &B | ! & "!

! !!& ! !!'(*% ...

| &> | | &B | & B!% ! !!& & ! !#) ! !!!( ( "!% "! . (# ") ! %" &> ! !""&)&'... &> (# ") ! !"# &> &< ! !"# &
5 #

redondeando se tiene que

donde | & | | &< | | &> | ( "!% % # "!% "" # "!% "! . Obsrvese, como conclusin, que el error transmitido es menor que el error en el dato, es decir, es perfectamente posible que, partiendo de un dato con una determinada precisin, despus de operar con l, se alcance mayor precisin en el resultado. En otras palabras, el operar con los datos aproximados no siempre lleva a una prdida de precisin.

Clculo Numrico Pgina 10

6 Ejercicio "' Se quiere calcular el valor de (# ") utilizando el valor aproximado # " %. Cul de las siguientes expresiones es mejor numricamente? Justifica la respuesta.

Solucin: Si aproximamos # por " %, estamos trabajando con un error menor que "! .
"

a) ($ ##)

b)

** (!# "

a) La aproximacin de $ ## dada por B! $ # " % ! # tiene un error por tanto ( $ ##) ! !!) &>
3

| &B | # "! , con

"

! #

| &> | | &B | $ B! # (! #) ($) (! !%) ! !#% "! con lo que podemos garantizar, a lo ms, un cifra decimal exacta: ( $ ##) ! ! &< &> ! ! &
3 " 6

"

con | & | | &< | | &> | ! !!) ! !#% ! !$# "! ,

es decir, obtenemos que (# ") ! ! , pero no podemos garantizar ninguna cifra decimal ms. b) Aproximando ** (!# por el valor B! ** (! " % "*( , tenemos un error |&B | (! "! Si consideramos la funcin 0 (B) =
"

" y aproximamos el valor buscado por el de 0 (B! ) obtenemos que B " " &> ! !!&!('" ... &> , = con (** (!#) "*(

| &> | | & B |

" " ( " )!$... "!% "!$ . # "*( # B!

Si redondeamos a la tercera cifra decimal (** (!# ) " ! !!& &< &> ! !!& & , donde
$

6 es decir, obtenemos (# ") ! !!& con todas las cifras exactas.

| & | | &< | | &> | ! !!!!) ! !!!"* ! !!!#( "!

En resumen, por el primer mtodo slo garantizamos una cifra decimal exacta, mientras que el segundo nos garantiza tres.

4 Ejercicio "( Se desea calcular el valor de la expresin (( %$ ) utilizando el valor aproximado de $ " ($#!& (que tiene todas sus cifras exactas). Cul de las siguientes frmulas equivalentes es mejor desde el punto de vista numrico?

a)

" ((%$ )4

b)

" *(&'$ #

c) *( &'$ d) "))"( "!)'%$


#

e)

& Solucin: Trabajando con $ " ($#!&, es decir, con un error inicial de "! tenemos:

"))"( "!)'%$ "

( %$ ! !(") &B

, con | &B | % "! , por lo que

&

Clculo Numrico Pgina 11

(( %$ ) ! !!!!#'&('%**... &>
4 4

por lo que (( %$ ) ! !!!!#' &

, con | &> | | &B | % ! !(") ' "! , con


) ) (

"!

| & | | &< | | &> | # $' "! ' "! es decir, obtenemos 7 cifras decimales exactas. a) " ! !!!!#'&("(%"... (( % $ )4 y, por tanto, , con | &> | | &B | , con
"!

"!

% "! * $ " "! "! "$ *#)#)&

" ! !!!!#'&(# & (( % $ )4

| & | | &< | | &> | (# ' $ ") "! b) *( &'$ "*$ **%) &B con | &B | &' "! , por lo que
&

"!

por lo que obtenemos 9 cifras decimales exactas.

*( &'$ # " es decir

! !!!!#'&("(#*... , con | &> | | &B | , con

# "! * "! $ " ' "! "*$ **%)

" ! !!!!#'&(# & *( &' #

| & | | &< | | &> | (# ) " ') "! *( &'$ ! !!&# &B con | &B | &' "! , por lo que
&

"!

"!

por lo que, en este caso, tambin obtenemos 9 cifras decimales exactas. c) (*( &'$ ) ! !!!!#(!%!... &>
2 2

es decir (*( &'$ ) ! !!!!$ &

, con | &> | | &B | # ! !!&# & )$ "!

'

"!

&

, con
' '

| & | | &< | | &> | # *' "! & )$ "! d) "))"( "!)'%$ ! !!)(******** &B podemos garantizar ninguna cifra decimal. e) "))"( "!)'%$ $('$$ **"# &B " slo obtenemos 5 cifras decimales exactas.

) (* "!

'

"!

&

, con | &B | "!)'% "!


&

&

! "!* , por lo que no

, con | &B | "!)'% "!

! "!)'% por lo que

("))"( "!)'%$) con | &> | | &B |

! !!!!#'&("(#$#(( &> , es decir , con "!


"!

" "" "! "! # ( '(" "! $('$$ **"# ("))"( "!)'%$) "

! !!!!#'&("( &
""

| & | | &< | | &> | (# $#) ( '(") "!

que resulta ser el caso ptimo, ya que se obtiene el resultado con "! cifras decimales exactas.

Clculo Numrico Pgina 12

Ejercicio ") Calcular la menor de las races de la ecuacin B # %! B " ! sabiendo que $** "* *(& (con todas sus cifras exactas) y comparar los errores producidos. a) Directamente b) Utilizando la expresin (#! $**) " .

Solucin: Las races de la ecuacin son #! $** , por lo que la menor de ellas es B7 #! $** . a) Si la calculamos directamente se obtiene que B7 #! "* *(& ! !#& con las tres cifras decimales exactas. b) #! $** $* *(& con un error | &B | "! .
$

" ! !#&!"&'$%((... &> (#! $**) Redondeando a la sexta cifra decimal " ! !#&!"' & (#! $**)

, con | &> | | &B |

" ( ' "! . # ' $ "! ($* *(&)

, con | & | | &< | | &> | $ 7 "! ' $ "!( "!

'

es decir, obtenemos ' cifras decimales exactas, frente a las 3 obtenidas mediante el clculo directo.

Actividad Personal
A continuacin se proponen ejercicios tomados en certmenes anteriores y ejercicios propuestos para ser resueltos a modo de autoevaluacin. " Evale el polinomio C B$ &B# 'B ! && en B # ($ Use $ dgitos significativos. Determine el error. # Con qu exactitud es necesario medir el radio de una esfera para que su volumen sea conocido con un error relativo menor de ! !"%? Cuantos decimales es necesario emplear para el valor de 1? $ La base y la altura de un tringulo son respectivamente #! -7 y $! -7 , medidos con una exactitud de " 77 . Calcular con que exactitud se conoce el rea del tringulo y estimar el error absoluto en la medida de sta rea. % Calcular el valor de la aceleracin de la gravedad y la precisin con que se determina al dejar caer un cuerpo en un pozo de profundidad %*& #"! 7 ! !!& 7 . La duracin de la cada es de "! !& = ! !" = . & La resistencia que un conductor metlico presenta al paso de la corriente elctrica, vara con la temperatura de dicho conductor. Para rangos de temperatura no muy elevados, esta variacin tiene la forma: V V! " !> , donde V! es la resistencia a !o G y ! es el coeficiente de variacin de la resistencia con la temperatura. La resistencia se mide a &!o G con un mismo medidor que aprecia ! !!" y el termmetro usado para medir la temperatura aprecia ! &o G . Los valores obtenidos de las mediciones fueron: # %!# ; # %!) ; # %!$ ; # %!( ; # %!& . Se sabe que V! # !!* con un error sistemtico del "% . Calcular el error de escala y sistemtico que se presenta al medir el coeficiente de variacin de la resistencia con la temperatura.

Clculo Numrico Pgina 13

"% Normas vectoriales y matriciales


Definicin "$. Sea un espacio vectorial definido sobre un cuerpo . Se define una norma como una aplicacin, que denotaremos por el smbolo || ||, de en (cuerpo de los nmeros reales) que verifica las siguientes propiedades: " B ! a B , siendo B ! B ! (definida positiva). # - B - B a - a B homogeneidad). $ B C B C , a B C desigualdad triangular). Un espacio en el que hemos definido una norma recibe el nombre de espacio normado. Es frecuente que en el espacio se haya definido tambin el producto de dos elementos. En este caso, si se verifica que B C B C

se dice que la norma es multiplicativa. Esta propiedad es fundamental cuando trabajamos en el conjunto `88 de las matrices cuadradas de orden 8. Sin embargo no tiene mucha importancia cuando se trabaja en el espacio C [+,, ] de las funciones continuas en el intervalo [+,,].

"%" Normas vectoriales


Sea un espacio normado de dimensin 8 y sea {?" , ?# , . . . , ?8 } una de l. Cualquier vector B de puede ser expresado de forma nica en funcin de los vectores de la base . B " B3 ?3
8 3 "

donde los escalares (B" , B# , . . . , B8 ) se conocen como coordenadas del vector B respecto de la base . Utilizando esta notacin, son ejemplos de normas los siguientes: B " " B3
8 3 " 2 B 2 " B3 8 3 "

(llamada norma-1)

(que recibe el nombre de norma euclideana) (cuyo nombre es norma infinito)

B _ mx B3
3

Por ejemplo, en # consideremos el vector B" " # tenemos que las normas respectivas seran: B" " B 3 B " + B # " # $ "
p #

# p B" " B 3 2 " 2 # 2 & 2 3 "


3 "

B"
p

mx B3 mx " # #
3"#

Clculo Numrico Pgina 14

Observamos que las tres normas son distintas entre s, pero son equivalentes; concepto que no veremos. En cambio, para B# ! " las normas respectivas dan: B" " B 3 B " + B # ! " " "
p # p

# p B" " B 3 2 ! 2 " 2 " 2 3 "


3 "

B"
p

mx B3 mx ! " "
3"#

es decir, las normas son iguales entre s, pero recordemos que en general esto no es as.

"%# Distancia inducida por una norma


Definicin "%. Dado un espacio vectorial , se define una distancia como una aplicacin . de en cumpliendo: " .B C ! a B C siendo .B C ! B C # .B C .C B $ .B C .B D .D C a B C a B C D

Definicin "&. Si ( , || || ) es un espacio normado, la norma || || induce una distancia en que se conoce como distancia inducida por la norma || || y viene definida por: .B C || B C || Veamos que, en efecto, se trata de una distancia: " .B C ! porque es una norma, y adems .B C ! || B C || ! B C ! B C # .B C || B C || || "C B || | "| || C B || || C B || .C B $ .B C || B C || || B D D C || || B D || || D C || .B D .D C

"%$ Convergencia en espacios normados


Definicin "'. Una sucesin de vectores @" , @# , . . . , de un espacio vectorial normado ( , || ||) se dice que es convergente a un vector @ si
5 _

lim || @5 @ || !

Esta definicin coincide con la idea intuitiva de que la distancia de los vectores de la sucesin al vector lmite @ tiende a cero a medida que se avanza en la sucesin. Teorema "(. Para un espacio vectorial normado de dimensin finita, el concepto de convergencia es independiente de la norma utilizada.

Clculo Numrico Pgina 15

"%% Normas matriciales Dada una matriz E y un vector B, consideremos el vector transformado EB. El mayor de los cocientes entre dichas normas, para todos los vectores del espacio, es lo que vamos a definir como norma de la matriz E E B E B (no es lo mismo que la propiedad multiplicativa de una norma, ya que aqu se estn utilizando dos normas diferentes, una de matriz y otra de vector), luego E mx
BZ !

E B mx E B B " B

de tal forma que a cada norma vectorial se le asociar, de forma natural, una norma matricial. Norma-" Si utilizamos la norma-1 de vector obtendremos E mx E B B " " " "
8

Dado que

EB C
8 8

C3 " +35 B5 se tiene que


5"

E mx "" +35 B5 B " " "


3" 5"

Por ltimo, si descargamos todo el peso sobre una coordenada, es decir, si tomamos un vector de la base cannica, obtenemos que E mx " +34 "
8 3 "

Norma-# (o norma euclideana) Utilizando la norma-2 de vector se tendr que E mx B E E B B B " 2

Descargando ahora el peso en los autovectores de la matriz obtenemos que E mx B -3 B B B " mx -3 mx 53 2


3 3 3

Se dice que una matriz Q es hermtica si verifica que Q = Q *. Norma infinito Utilizando ahora la norma infinito de vector se tiene que E E Norma de Frobenius:
_

mx " +34 B4 B _ "


8 4 "

Como ahora se dar el mximo en un vector que tenga todas sus coordenadas iguales a ", se tiene que
_

mx " +34
8 4 "

E !+34 # ><E E J 34

Clculo Numrico Pgina 16

Para los sistemas de ecuaciones lineales, de la forma EB , , trataremos de buscar mtodos iterados, es decir, transformando el sistema en otro equivalente de la forma B J B, donde J B Q B R . Evidentemente habr que exigir algunas condiciones a la matriz Q para que el mtodo sea convergente y estas condiciones se basan en los conceptos estudiados de normas vectoriales y matriciales. Dada una aplicacin 0 7 8 y un vector , 8 , resolver el sistema de ecuaciones 0 B , es buscar el conjunto de vectores de 7 cuya imagen mediante 0 es el vector , , es decir, buscar la imagen inversa de , mediante 0 . Un sistema de ecuaciones se dice lineal en su componente 5 -sima si verifica que
0 B" B5" !B5 " B5 B5" B7 !0 B" B5" B5 B5" B7 "0 B" B5" B5 B5" B7

Diremos que un sistema es lineal si lo es en todas sus componentes, pudindose, en este caso, escribir de la forma EB , . Centraremos nuestro estudio en los sistemas reales. Podemos clasificar los sistemas de ecuaciones lineales atendiendo a Su tamao Pequeos: 8 $!! donde 8 representa el nmero de ecuaciones. Grandes: 8 $!!. (Esta clasificacin corresponde al error de redondeo) Su estructura Lleno: si la matriz posee pocos elementos nulos. Disperso o Sparce : Si la matriz contiene muchos elementos nulos. Son matrices de este tipo las siguientes para 8 4): Las tridiagonales +"" +#" 0 ! +"# +## +$# ! ! +#$ +$$ +%$ Las triangulares superiores ! +"" ! ! +$% 0 +%% ! +"# +## ! ! +"$ +#$ +$$ ! +"% +#% +$% +%% Las triangulares inferiores +"" +#" +$" +%" ! +## +$# +%# ! ! +$$ +%$ ! ! ! +%%

En cuanto a los mtodos de resolucin de sistemas de ecuaciones lineales, podemos clasificarlos en Mtodos directos Aquellos mtodos que resuelven un sistema de ecuaciones lineales en un nmero finito de pasos. Se utilizan para resolver sistemas pequeos. Mtodos iterados Crean una sucesin de vectores que convergen a la solucin del sistema. Estos mtodos se utilizan para la resolucin de sistemas grandes, ya que al realizar un gran nmero de operaciones los errores de redondeo pueden hacer inestable al proceso, es decir, pueden alterar considerablemente la solucin del sistema.

Clculo Numrico Pgina 17

#" Nmero de condicin Un sistema de ecuaciones lineales EB , se dice bien condicionado cuando los errores cometidos en los elementos de la matriz E y del vector , producen en la solucin un error del mismo orden, mientras que diremos que el sistema est mal condicionado si el error que producen en la solucin del sistema es de orden superior al de los datos. Es decir: E E y , , & B B & B B & E E y , , &

Consideremos el sistema cuadrado EB , con E regular, es decir, un sistema compatible determinado. En la prctica, los elementos de E y de , no suelen ser exactos ya sea porque procedan de clculos anteriores, o bien porque sean irracionales, racionales peridicos, etc. Es decir, debemos resolver un sistema aproximado cuya solucin puede diferir poco o mucho de la verdadera solucin del sistema. As, por ejemplo, en un sistema de orden dos, la solucin representa el punto de interseccin de dos rectas en el plano. Un pequeo error en la pendiente de una de ellas puede hacer que dicho punto de corte se desplace slo un poco o una distancia considerable (vase la Figura #"), lo que nos dice que el sistema est bien o mal condicionado, respectivamente.

Sistema bien condicionado

Sistema mal condicionado

Figura #" Condicionamiento de un sistema.

Podemos ver que el sistema est mal condicionado cuando las pendientes de las dos rectas son muy similares y que mientras ms ortogonales sean las rectas, mejor condicionado estar el sistema. Se puede observar entonces que si, en un sistema mal condicionado, sustituimos una de las ecuaciones por una combinacin lineal de las dos, podemos hacer que el sistema resultante est bien condicionado.

Ejemplo #" Si consideramos el sistema $B %C ( $B % !!!!"C ( !!!!" , de solucin B " C " B ( ' C % B * ' C & &

y cometemos un pequeo error en los datos, podemos obtener el sistema $B %C ( $B $ *****C ( !!!!% o bien este otro $B %C ( $B $ *****C ( !!!!&& , de solucin , de solucin

lo que nos dice que estamos ante un sistema mal condicionado.

Clculo Numrico Pgina 18

Si sustituimos la segunda ecuacin por la que resulta de sumarle la primera multiplicada por " !!!!!"' y la ecuacin resultante se multiplica por "!' y se divide por " #, nos queda el sistema $B %C ( %B $C " siendo ste un sistema bien condicionado. El estudio del condicionamiento de un sistema se realiza a travs del denominado nmero de condicin que estudiamos a continuacin. Definicin #". Sea E una matriz cuadrada y regular. Se define el nmero de condicin de la matriz E y se denota por R E como R E E E" , de solucin B " C "

donde la norma utilizada ha de ser una norma multiplicativa. Este nmero nos permite conocer el condicionamiento del sistema EB , . Dado que en la prctica el clculo de la matriz inversa E" presenta grandes dificultades, lo que se hace es buscar una cota del nmero de condicin es decir, R E E E" 5 E siendo 5 una cota de la norma de la matriz inversa. Si M E " , entonces E" EE" M M M EE" M M En efecto, " M E

E" M M EE" M M EE" M M EE" E" M EE" M " M EE" M E" M M E "

E" M EE" M

E" M M EE"

Debemos tener cuidado con esta acotacin ya que si tenemos una matriz casi regular, es decir, con ./>E !, quiere decir que tiene un autovalor prximo a cero, por lo que la matriz M E tiene un autovalor prximo a " y ser el mayor de todos. En este caso || M E || ", por lo que 5 _ y dara lugar a un falso condicionamiento, ya que E no tiene que estar, necesariamente, mal condicionada. Ejemplo ## Para estudiar el condicionamiento del sistema $B %C ( $B % !!!!"C ( !!!!" Se tiene que E $ $ " % % !!!!" " ./>+ ! !!!!$ E $ % !!!!" ! !!!!$
8

% $

Si utilizamos la norma infinito E_ mx ! +34 obtenemos:


4" 3

Clculo Numrico Pgina 19

E ( !!!!" ) !!!!" R E ")'''(" ''( " ) "!' E" #''''( ! !!!!$ es decir, se trata de un sistema mal condicionado. Vamos a ver, a continuacin, algunas propiedades del nmero de condicin de una matriz.

#"" Propiedades del nmero de condicin.


Como ya se ha visto anteriormente R E " cualquiera que sea la matriz cuadrada y regular E. Si Y es una matriz unitaria, se verifica que R# E R# EY R# Y E. Los sistemas mejor condicionados son aquellos que tienen sus filas o columnas ortogonales y mientras mayor sea la dependencia lineal existente entres ellas peor es el condicionamiento del sistema. Trataremos de buscar mtodos de resolucin de sistemas de ecuaciones lineales que trabajen con matrices unitarias que no empeoren el condicionamiento del sistema como lo hace, por ejemplo, el mtodo de Gauss basado en la factorizacin PY . Sin embargo, dado que ha sido estudiado en la asignatura de lgebra Lineal, comenzaremos estudiando dicho mtodo aunque pueda alterarnos el condicionamiento del problema. Empezaremos estudiando pues, como mtodos directos, los basados en la factorizacin PY y el de Cholesky.

Clculo Numrico Pgina 20

##. Mtodos por Factorizacin PY


Al aplicar el mtodo de Gauss al sistema EB , realizamos transformaciones elementales para conseguir triangularizar la matriz del sistema. Si este proceso puede realizarse sin intercambios de filas, la matriz triangular superior Y obtenida viene determinada por el producto de un nmero finito de transformaciones fila J" J# J5 aplicadas a la matriz E. Llamando P" J5 J5" J" ya que el determinante de una transformacin fila es " y, por tanto, su producto es inversible) se tiene que P" E Y , o lo que es lo mismo, E PY . Adems, la matriz P es una triangular inferior con unos en la diagonal. Debido a la unicidad de la factorizacin, sta puede ser calculada por un mtodo directo, es decir, haciendo
" 6#" E 6$" 68" ! " 6$# 68# ! ! " 68$ ! ?"" ! ! ! ! ! " ?"# ?## ! ! ?"$ ?#$ ?$$ ! ?"8 ?#8 ?$8 ?88

y calculando los valores de los 8# elementos que aparecen entre las dos matrices. Por tanto, EB , PY B , PY B , y si hacemos Y B D el sistema es equivalente a PD , Y B P" , D P" ,

B Y " P" ,

El procedimeiento que desdobla el sistema EB , en los dos sistemas triangulares encerrados en un rectngulo se conoce como Mtodo de Doolittle. En cambio, si la matriz que lleva los unos en la diagonal principal es Y y no P, el mtodo se llamar Mtodo de Crout. Ejemplo #$ Dada la matriz E
" 6#" 6$"

$ ' $

" $ !
?"# ?## !

# # tenemos: )
?"$ $ " ?#$ ' $ ?$$ $ ! # # ) # # )

EPY

! " 6$#

! ?"" ! ! " ! ?"# 6#" ?"# ?## 6$" ?"# 6$# ?##

?"" 6#" ?"" 6$" ?""

?"$ " $ 6#" ?"$ ?#$ ' $ 6$" ?"$ 6$# ?#$ ?$$ $ !

por lo que de la primera fila obtenemos que:

?"" $ ?"# " ?"$ # 6#" # ?## " ?#$ # 6$" " 6$# " ?$$ %

de la segunda (teniendo en cuenta los valores ya obtenidos) se tiene: $6#" ' 6#" ?## $ #6#" ?#$ # y de la tercera $6$" $ 6$" 6$# ! #6$" #6$# ?$$ )

es decir,

Clculo Numrico Pgina 21

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

$ ' $

" $ !

# " # # ) "

! " "

! $ ! ! " !

" " !

# # PY %

Definicin ##. Se denominan matrices fundamentales de una matriz E, y se denotan por E5 , a las submatrices constituidas por los elementos de E situados en las 5 primeras filas y las 5 primeras columnas, es decir: +"" +"# +"$ + +"# E" a+"" b E# "" E$ +#" +## +#$ etc. +#" +## +$" +$# +$$ Teorema #$. Una matriz regular E admite factorizacin PY si, y slo si, sus matrices fundamentales E3 3 " 8 son todas regulares. Comprobar si una matriz admite factorizacin PY estudiando si todas sus matrices fundamentales son regulares es un mtodo demasiado costoso debido al nmero de determinantes que hay que calcular. Definicin #%. Dada una matriz cuadrada E, se dice que es una matriz de diagonal dominante si +33 ! +35
8 5" 53

3 " 8

As, por ejemplo, la matriz E

$ ! #

" # #

" " es diagonal dominante. &

Teorema #&. Toda matriz diagonal dominante es regular. Teorema #'. Las matrices fundamentales E5 de una matriz E de diagonal dominante, son tambin de diagonal dominante. Como consecuencia de los Teoremas #$, #& y #', podemos deducir el siguiente corolario. Corolario #(. Toda matriz diagonal dominante admite factorizacin PY . Otro tipo de matrices de las que se puede asegurar que admiten factorizacin PY son las hermticas definidas positivas, ya que las matrices fundamentales de stas tienen todas determinante positivo, por lo que el Teorema #' garantiza la existencia de las matrices P y Y . ##" Factorizacin de Cholesky Una vez visto el mtodo de Gauss basado en la factorizacin PY vamos a estudiar otros mtodos que se basan en otros tipos de descomposiciones de la matriz del sistema. Es conocido que toda matriz hermtica y definida positiva tiene sus autovalores reales y positivos y, adems, en la factorizacin PY todos los pivotes son reales y positivos.

Clculo Numrico Pgina 22

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Teorema #). [Factorizacin de Cholesky] Toda matriz E hermtica y definida positiva puede ser descompuesta de la forma E FF con F una matriz triangular inferior (F traspuesta de la matriz F ; el hace una diferencia entre matriz compleja y real . Nota: En la prctica pondremos E V V con V una triangular superior. La unicidad de las matrices P y Y implica la unicidad de la matriz F y, por tanto, sta puede ser calculada por un mtodo directo. Ejemplo #%" Sea el sistema B #C %D ' #B "$C #$D * %B #$C ((D && Que escrito matricialmente es " # % # "$ #$ % B ' #$ C * (( D &&

Luego, escribimos la matriz asociada al sistema como un producto de dos matrices, una triangular inferior y la otra su traspuesta (que es una triangular superior)
,"" ,#" ,$" ! ,## ,$# ! ,"" ! ! ,$$ ! ,"" ,#" # # ,#" ,## ,$" ,#" ,$# ,## ,#" ,## ! ,$" " ,$# # ,$$ % # "$ #$ % #$ (( # "$ #$ % #$ ((

# ,"" ,#" ,"" , , $" ""

,"" ,$" " ,#" ,$" ,## ,$# # # # # ,$" ,$# ,$$ %

# ,"" "

,"" " ,#" # ,$" % ,## $ ,$# & ,$$ '


! " ! ! ' ! % B ' & C * ' D &&

,"" ,#" # ,"" ,$" %


# ,#"

# ,##

"$
# ,$$

,#" ,$" ,## ,$# #$


# ,$"

# ,$#

((
" # %

De esta forma, el sistema nos queda


! $ &

# $ !

Ahora, hacemos

" ! !

# $ ! ! $ &

" # %

% B + & C = , ' D -

el cual es equivalente a

! + ' ! , = * ' - &&

+' , " - '

Por tanto,

" # % B ' ! $ & C = " D " C # B' ! ! ' D '

Clculo Numrico Pgina 23

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejemplo #%# Consideremos el sistema


% #3 % #3 #3 # # #3

% #3 B" ! # #3 B# ! "! B$ %

Realicemos la factorizacin de Cholesky FF * directamente, es decir


FF * ,"" ,"" ,#" ,"" ,$" ,"" ,"" ,#" ,$" ! ,## ,$# ! ,"" ! ! ,$$ ! ,#" ,## ! ,$" % ,$# #3 ,$$ % #3 #3 # # #3 % #3 # #3 "! #3 # # #3 % #3 # #3 "!

,"" ,#" ,#" ,#" ,## ,## ,$" ,#" ,$# ,##

,"" ,$" % #3 ,#" ,$" ,## ,$# % #3 ,$" ,$" ,$# ,$# ,$$ ,$$

#,#"

Igualando trmino a trmino se obtiene: | ,"" |# % ,"" #. Utilizando este resultado tenemos que #3, por lo que ,#" 3 y que #,$" % #3 por lo que ,$" # 3. Por otro lado, | ,#" |# + | ,## |# #, por lo que | ,## |# " y, por tanto, ,## ". y, por tanto,

Como ,#" ,$" ,## ,$# # #3 tenemos que " #3 ,$# # #3 , es decir ,$# " ,$# ".

Por ltimo, | ,$" |# + | ,$# |# + | ,$$ |# "!, por lo que & " | ,$$ |# "!, es decir | ,$$ |# % y, por tanto, ,$$ #. As pues, el sistema nos queda de la forma
# 3 # 3 ! " " ! # ! ! # ! 3 " ! # 3 B" ! " B# ! # B$ "

Haciendo ahora
# ! !

# 3 # 3 3 " !

! " "

! C" ! ! C# ! # C$ "

se obtiene

C" ! C# ! C$ #

y de aqu, que

# 3 B" ! " B# ! # B$ #

de donde la solucin del sistema es B$ "

B" "

B# "

Hemos visto que toda matriz hermtica y definida positiva admite factorizacin de Cholesky, pero podemos llegar ms lejos y enunciar el siguiente teorema. Teorema #*. Una matriz hermtica y regular E es definida positiva si, y slo si, admite factorizacin de Cholesky.

#$ Mtodos iterados Un mtodo iterado de resolucin del sistema EB , es aquel que genera, a partir de un vector inicial B! , una sucesin de vectores B" , B# , . . . B8 , Definicin #"!. Un mtodo iterado se dir que es consistente con el sistema EB , , si el lmite B de la sucesin (B8 ), en caso de existir, es solucin del sistema. Se dir que el mtodo es convergente si la sucesin generada por cualquier vector inicial B! es convergente a la solucin del sistema.

Clculo Numrico Pgina 24

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Es evidente que si un mtodo es convergente es consistente, sin embargo, el recproco no es cierto como prueba el siguiente ejemplo. Ejemplo #& El mtodo B8" #B8 E" , es consistente con el sistema EB , pero no es convergente. En efecto: B8" B #B8 E" , B #B8 #B E" , B #B8 B E" , B y como E" , B, se tiene que B8" B #B8 B Si existe
8_

lim B8 B

tendremos que

B * B # (B * B ) B* B ! B* B por lo que el mtodo es consistente.

, es decir, el lmite es solucin del sistema EB , ,

Sin embargo, de B8" B #B8 B obtenemos que || B8" B || # || B8 B || , es decir, el vector B8"

dista de B el doble de lo que distaba B8 , por lo que el mtodo no puede ser convergente. Los mtodos iterados que trataremos son de la forma B8" OB8 - en los que O ser la que denominemos matriz del mtodo y que depender de E y de , y en el que - es un vector que vendr dado en funcin de E, O y , . Teorema #"". Un mtodo iterado, de la forma B8" OB8 - , es consistente con el sistema EB , si, y slo si, el vector - es de la forma - M OE" , y la matriz M O es invertible. Teorema #"#. Un mtodo iterado de la forma B8" OB8 - y consistente con el sistema EB , es convergente si, y slo si, lim O 8 !.
8_

Teorema #"$. Si || O || ", el mtodo B8" OB8 - (a B! 8 ) converge a la solucin de la ecuacin B OB - , que existe y es nica (cualquiera sea la norma matricial empleada). Es evidente que, en la prctica, no podremos nunca llegar al valor de B (ya que habra que realizar infinitas iteraciones), por lo que ser necesario detenernos en una determinada iteracin y tomar el valor de B8 como una aproximacin de la solucin B. El error cometido se mide calculando la distancia entre ambos vectores, es decir, la norma del vector error || B8 B ||, pero como no conocemos el vector B lo que se hace es medir la distancia entre sus transformados, es decir || I || = || EB8 , || .

Clculo Numrico Pgina 25

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

#$" Mtodos de descomposicin Los mtodos que vamos a estudiar, a continuacin, consisten en descomponer la matriz invertible E del sistema EB , de la forma E Q R de manera que la matriz Q sea fcilmente invertible, por lo que reciben el nombre genrico de mtodos de descomposicin. El sistema queda entonces de la forma ( Q R )B , Q B R B , B Q " R B Q " , , es decir, expresamos el sistema de la forma B OB - con O Q " R y - Q " , . Dado que ( M O )E" , ( M Q " R )(Q R )" , Q " ( Q R ) (Q R )" , Q " , y la matriz (M O ) (M Q " R ) Q " Q R Q " E es invertible, estamos en las condiciones del Teorema #"' por lo que el mtodo B8" OB8 - es consistente con el sistema EB ,. Es decir, si el proceso converge, lo hace a la solucin del sistema. Sabemos tambin, por el Teorema #"$, que el proceso ser convergente si se verifica que ||Q " R || " para alguna norma matricial. Para el estudio de los mtodos que trataremos a continuacin, vamos a descomponer la matriz E de la forma E H I J siendo
+"" ! H ! ! ! +## ! ! ! ! +$$ ! ! ! ! +#" ! +$" -I +8" +88 ! ! +$# +8# ! ! ! +8$ ! ! ! ! ! ! -J ! ! +"# ! ! ! +"$ +#$ ! ! +"8 +#8 +$8 !

Mtodo de Jacobi Consiste en realizar la descomposicin E Q R H I J . El sistema EB , queda de la forma HB I J B , , o lo que es lo mismo, B H" I J B H " , . Es decir: B NB con N H" I J y - H" ,

La matriz N H" I J H" H E M H" E se denomina matriz de Jacobi. Teorema #"%. Si E es una matriz diagonal dominante, el mtodo de Jacobi es convergente.

Clculo Numrico Pgina 26

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejemplo #'" Sea el sistema # ! " # ! ! " % " ! % !

! B " $ C " , donde & D % ! ! # ! ! ! $ HIJ ! % ! ! ! ! ! & " " & " % " ! ! ! I ! " & ! # ! ! " !
"

# ! "

! ! ! ! ! ! ! $ ! " # ! " &

" ! !

! $ !

es decir, H

! ! "

! ! ! yJ ! ! ! ! # " ! ! % " " "


&

" ! !

" N M H" E ! ! y
" # " %

Luego,

! " !

!
" %

- H" , % & Por tanto, de


! B" ! " & ! B# ! " & ! B$ ! " &

! ! $ ! & " &

! $ % !

B8" N B8 - se tiene, considerando el vector inicial B!


" # ! " & " # ! " & " # ! " &
" " " ! ! " # # # ! $ " $ " " % % % % # % " ! " % " & & &

" ! : "

! " " " " $ # # # % % $ " " $ " " % % % % # ! " % ! % % & & &

! $ " " " ! # # # % $ " "( $ " " % % #! & % ( ! % % #! % #$ & #! & &

B% B"' ! " "w B"( ! " "w la solucin del sistema es Mtodo de Gauss-Seidel Este mtodo es el resultado de realizar la descomposicin E Q R H I J . El sistema EB , queda de la forma H IB J B , , o bien B H I" J B H I" , . Es decir: B P" B con P" H I" J La matriz y - H I" , B ! C " D "

P" H I" J E J " E J E M E J " E M H I" E

recibe el nombre de matriz de Gauss-Seidel. Teorema ##!. Si E es una matriz diagonal dominante, el mtodo de Gauss-Seidel es convergente.
Clculo Numrico Pgina 27

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejemplo #'# Resolvamos el ejemplo anterior por este mtodo Aqu, P" H I" J
# ! " ! % "
" #

- H I" , Por tanto, de ! B" ! ! ! B# ! ! ! B$ ! !

! ! ! ! & !
"

" ! !

!
" %

! " "!

" #!

" ! # " " ! " % " % "* & #!

! # $ ! ! " "!
"

!
" %

" #!

! ! ! ! " !
&

" ! !

! ! $ ! ! !

" # !
" "!

! $ % $
#!

B8" P" B8 -

se tiene, considerando el vector inicial B!

! ! : !

" # !
" "!

" " " ! ! # ! # # $ " " " ! ! % % % % $ ! "* ! "* "* #! #! #! #! $ " ! " " ) # # ! "#& # (( $ " " " ! ("#& % % % % )! ! ""(& "* $ "* "* %#( #! #! #! #! %!! (( $ ! $ " "'! " ) # # "'! $ " (( "#)" " " !&!'$ % )! % "'!! % $ %#( "* &"" "* " !"$)) #! #! #! )!!! %!!

" # !
" "!

" # !
" "!

! B% ! ! ! B& ! !

" # !
" "!

" " ! ! !")(& # ! &#&$"& # ! !#&$"& $ " " ! ('!%" " !"!%" " !&!'$ % % % $ " !"$)) "* ! !%(!"* "* ! **(!"* #! #! #! " " ! ! !#&$"& # ! &!&#!& # ! !!&#!& " " ! (%(('% ! **(('% $ " !"!%" % % % ! !%)&""* "* ! **)&"# $ ! **(!"* "* #! #! #!

" # !
" "!

! B' ! ! ! B( ! ! ! B) ! !

" # !
" "!

" " ! ! !!&#!& # ! %*)))# # ! !!""") $ " " ! (%)))% ! **)))% ! **(('% % % % ! **)&"# "* ! !&!!!!% "* $ " #! #! #! " " ! ! !!""") # ! %**%%# # ! !!!&&) " " ! ! (& " $ **)))% % % % "* ! !&!"""' "* " !!!"" $ " #! #! #! " " ! ! !!!&&) ! & ! # # " " ! (&!!)$ " !!!!) $ " % % % $ " !!!"" "* ! !&!!"'& "* " !!!!# #! #! #!

" # !
" "!

" # !
" "!

la solucin del sistema es

B !

C "

D "

Clculo Numrico Pgina 28

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Mtodos de relajacin SOR (Succesive Over-Relaxation) Este mtodo realiza la descomposicin E " "= " "= H H I J H =I H J Q R = = = =

El sistema EB , se transforma entonces en " "= H =IB H J B , H =IB a" =H =J bB =, = = B H =I" a" =H =J bB =H =I" , B P= B con P= H =I" a" =bH =J y - =H =I" , La matriz del mtodo P= H =I" a" =bH =J recibe el nombre de matriz de relajacin. Si = " la matriz se reduce a , es decir, se trata del mtodo de Gauss Seidel. Si = " se dice que se trata de un mtodo de sobre-relajacin. Si = " se dice que se trata de un mtodo de sub-relajacin. Teorema #"&. Una condicin necesaria para que converjan los mtodos de relajacin es que = (! #). Teorema #"'. Si la matriz E del sistema es diagonal dominante, los mtodos de relajacin son convergentes cualquiera que sea = (! "]. Teorema #"(. Si la matriz E del sistema es simtrica y definida positiva, los mtodos de relajacin convergen si, y slo si, = (! #).

Es decir:

Clculo Numrico Pgina 29

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

#% Ejercicios
" Ejercicio #" Considere el sistema lineal E\ , dado por " a) Calcule su solucin exacta. " b) altere la segunda fila del sistema obteniendo " c) Es la matriz mal condicionada? " B # " !" C # !"

" B # ; y, calcule su solucin exacta. " !"" C # !"

Solucin: a) Despejando la primera ecuacin y reemplazando en la segunda obtenemos BC # B#C ! !"C ! !" C" y B" C
"! ""

# C " !"C # !"

b) Anlogamente, # C " !""C # !" c) Discucin en grupo.

! !""C ! !"

! *!

Ejercicio #" Estudiar el nmero de condicin de Frobenius de la matriz E El determinante de E es ./>E +, ,+ & , &.

+ +&

, ,

Solucin: A efectos de norma, en todo el ejercicio trataremos a la matriz como un vector de % . Si tanto , como & son distintos de cero, el determinante de la matriz E es no nulo y, por tanto, A es invertible, siendo su inversa: E" El nmero de condicin de Frobenius viene dado por RJ E EJ E" J . E" # # Por lo que:
# R# E

" , , ,& + & +

E# +# , # + &# , # #+# #, # #+& &# #

, # , # + &# +# #+# #, # #+& &# , # &# , # &#

#+# #, # #+& &# # #+# #, # #+& &# R# E # &# , & ,

Obsrvese que cuando & tiende a cero, el nmero de condicin de Frobenius RJ E lo hace a infinito, por lo que la matriz E est mal condicionada. Por ejemplo: para + "! y , " se tiene que R# E #!# #!& &# #!# #! & & &

Si & "!) el nmero de condicin de Frobenius resulta ser RJ E # "!"! .

Clculo Numrico Pgina 30

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejercicio ## Dado el sistema B C # #B C $ 1.Calcular su nmero de condicin de Frobenius. 2.Calcular + para que el nmero de condicin del sistema resultante de sumarle a la segunda ecuacin la primera multiplicada por dicha constante +, sea mnimo. Solucin: 1.La matriz del sistema es E " # " " E" " # " , por lo que "

E # ( # J RJ E (# RJ E ( E" # (
J

2.El sistema resultante sera

BC # : cuya matriz es + #B + "C #+ $ " + " +" F " +# " "

" F +# y, por tanto,

F # #+# '+ ( # J RJ F #+# '+ ( RJ F #+# '+ ( F " # #+# '+ (


J

w Para hallar el mnimo de RJ F con + ( _ _) derivamos y obtenemos RJ %+ ', que se $ anula para + # . ww Dado que RJ (F ) % ! se trata, efectivamente, de un mnimo.

BC # " " B C ! # # & y su nmero de condicin de Frobenius es RJ F # &. # Ejercicio #$ Dado el sistema $B %C ( Sustituir la segunda ecuacin por una combinacin lineal de $B &C ) ambas, de forma que el nmero de condicin sea mnimo. $ % Solucin: La matriz resultante de la combinacin lineal es F $+ $, %+ &, Una matriz tiene nmero de condicin euclideano mnimo (y vale ") si, y slo si, es proporcional a una matriz unitaria. Por tanto, F debe tener las filas (o las columnas) ortogonales y de igual norma. a. a $ b. a $ % b $+ $, ! %+ &, $$+ $, %%+ &, ! #&+ #*, !

El sistema resultante es, en ese caso:

c. a $+ $,

$ % b #& (cuadrado de la norma de la primera fila). % %+ &, b $+ $, #&+# $%, # &)+, (cuadrado de la norma de la segunda fila). %+ &, #&+ #*, ! , #&+ $%, # &)+, #&
#

Las condiciones que tenemos son:


#& #* +

Clculo Numrico Pgina 31

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Sustituyendo en la segunda condicin se obtiene: #&+# $% #& #& $% #& &) # + &)+ + #& " + " #* #* #*# #*
#

)&! * # )%" #* "+# " + " +# + )%" )%" * $ , #& #& #* #& + #* #* $ $ #* #& y, (el otro caso es anlogo), obtenemos: $ $ F $ % % ! ' & $ ! ) ! ) &Y ! '

Tomando, por ejemplo, +

es decir, donde F es proporcional a una matriz unitaria (que posee norma uno), por lo que el sistema resultante $B %C ( tiene nmero de condicin eucldeo R# F ". %B $C "
" " ! ! ! # % % ! ! ! $ * * ! ! ! % "' "' ! ! ! admite & #&

Ejercicio #% Comprobar que la matriz

factorizacin PY y realizarla.

Solucin: Dado que los menores principales (como vemos a continuacin) son todos no nulos, la matriz admite factorizacin PY (vase el Teorema #'). " # ! " # E" " " ! E# % # # ! E$ " % $ $' ") "# ' ! " % ! % * " # ! ! % $ ! " $ ! " % $ ! E% " % * % # ! * % #%! # "!) #% ! ! % * % ! * "' ! * "' ! ! * "' E&
" " ! ! ! # % % ! ! ! $ * * ! ! ! % "' "' ! % ! % ! " ! & ! #& $ * * ! ! % "' "' ! " ! ! # & ! #& ! $ * * ! ! % "' "' ! ! & #&

* % * !

% "' "'

! % & $ ! #& !

% "' "'

! * & # * #& !

% "' "'

! & #&

% "*)! $ "#)! # "*)! "#! ! Ambas matrices ( P y Y ) son bidiagonales, por lo que E PY
" " ! ! ! # % % ! ! ! $ * * ! ! ! % "' "' ! " ! 6#" ! ! & ! #& ! ! " 6$# ! ! ! ! " 6%$ ! ! ! ! " 6&% ! ?"" ! ! ! ! ! ! " ! ?"# ?## ! ! ! ! ?#$ ?$$ ! ! ! ! ?$% ?%% ! ! ! ! ?%& ?&&

Es evidente que ?"" " y que ?"# # (basta para ello calcular la primera fila de la matriz producto e igualarla con la primera fila de la matriz E). 6#" ?"" +#" " 6#" " ?#$ +#$ $ 6%$ ?$$ +%$ * 6%$ $ 6#" ?"# ?## +## % ?## % # # 6$# ?## +$# % 6$# # 6%$ ?$% ?%% +%% "' ?%% %

6$# ?#$ ?$$ +$$ * ?$$ $ ?$% +$% %

Clculo Numrico Pgina 32

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

?%& +%& & 6&% ?%& ?&& +&& #& ?&& & Por tanto,
" " P ! ! ! ! " # ! ! ! ! " $ ! ! ! ! " %

6&% ?%% +&% "' 6&% %

! " ! ! ! Y ! y ! ! ! "

# # ! ! !

! $ $ ! !

! ! % % ! " " " "

! ! ! & & " $ & "*

Ejercicio #& Realizar la factorizacin de Cholesky de la matriz E Solucin: La matriz E es hermtica por tratarse de una simtrica y real. E" " " ! " E$ " " " & $ " $ $' ! ""

" & $ $

" $ "" &

Adems, dado que los menores principales son positivos, es definida positiva. E# " " " %! & " & $ $ " $ "" &

" E% " " "

" $ &(' ! & "*

Al tratarse de una matriz hermtica y definida positiva, el Teorema #"" nos garantiza su factorizacin de Cholesky. En dicha factorizacin (E V V ), al ser E una matriz real, se tiene que V V > , por lo que:
<"" <#" <$" <%" ! <## <$# <%# ! ! <$$ <%$ ! <"" ! ! ! ! <%% ! <#" <## ! ! <$" <$# <$$ ! <%" " <%# " <%$ " <%% " " & $ $ " $ "" & " $ & "*

de donde
# <"" " <"" "

<#" <$" <## <$# $ <$# " <#" <%" <$# <%# $ <%# " <$" <%" <$# <%# <$# <%$ & <%$ "
# # # <$" <$# <$$ "" <$$ $ # # # # <%" <%# <%$ <%% "* <%% %

<"" <#" " <#" " <"" <$" " <$" " <"" <%" " <%" "
# # <#" <## & <## #

y, por tanto, E

" " " "

" & $ $

" $ "" &

" " $ " & " "* "

! # " "

! ! $ "

! " ! ! ! ! ! %

" # ! !

" " $ !

" " V V " %

Ejercicio #' Resolver, por el mtodo de Cholesky, el sistema

" # $

# & %

$ B" ( % B# * "% B$ $$

Solucin: Es fcil comprobar que la matriz del sistema es hermtica (por ser simtrica y real) y definida positiva (comprubese que sus tres menores principales son positivos) y que, por tanto, el Teorema #"" nos garantiza la factorizacin de Cholesky.
Clculo Numrico Pgina 33

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Al tratarse de un sistema real, la factorizacin de Cholesky es de la forma E V > V siendo V una matriz triangular superior. <"" E V V <"# <"$
>

! <## <#$

! <"" ! ! <$$ !

<"# <## !

<"$ " <#$ # <$$ $ $ # "

# & %

$ % "%

# <"" " <"" " <"" <"# # <"# # " <"" <"$ $ <"$ $ V ! # # <"# <## & <## " ! <"# <"$ <## <#$ % <#$ # # # # <"$ <#$ <$$ "% <$$ "

# " !

El sistema EB , se transforma en V > VB , , por lo que haciendo VB C descomponemos en dos sistemas triangulares de fcil resolucin. V>C , " ! ! " # $ ! " # ! C" ( ! C# * " C$ $$

y VC , lo

C" ( #C" C# * C# & $C" #C# C$ $$ C$ #

VB C

# " !

$ B" ( # B# & " B$ #

B$ # B# #B$ & B# " B" #B# $B$ ( B" #

Es decir, la solucin del sistema es B" $, B# " y B$ #.

Ejercicio #( Resolver, por el mtodo de Cholesky, el sistema


' " $3 " #3 " $3 $ "3 " #3 B" " #3 "3 B# "3 B$ " #3 #

Solucin: La matriz E del sistema verifica que E E es decir, se trata de una matriz hermtica. Adems, dado que E" ' ! E# ' " $3
" $3 $ "3

' E$ " $3 " #3

" $3 ") "! ) ! $


" #3 "3 #

; y, adems de hermtica es definida positiva, por lo que el Teorema #"" nos garantiza su factorizacin de Cholesky E V V donde V es una matriz triangular superior.
' " $3 " #3 " $3 $ "3 " #3 <"" " 3 <"# <"$ # ! <## <#$ ! <"" ! ! <$$ ! <"# <## ! <"$ <#$ <$$

Clculo Numrico Pgina 34

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

# <"" ' <"" ' <"" <"# " $3 <"#

"$3 ' <"" <"$ " #3 <"$ "#3 ' # # # <"# <## $ <## $

<"# <"$ <## <#$ " 3 <#$


# # # <"$ <#$ <$$ "% <$$ "

"(3 % $

' V ! !

"$3 ' # $

$ %
"#3 ' " # #

El sistema, que podemos expresar de la forma V VB ,, se reduce a dos sistemas triangulares: V C , y VB C .


' "$3 V C , ' ' VB C ! !
"#3 ' # $ "(3 % $ "$3 ' # $

# # "#3 ' "(3 % $ " # #

! C " " #3 C" ! C# "3 C# " #3 C$ " C$ B" B # B$


"#3 ' ""3 % $ "#3 # #

"#3 ' ""3 % $ "#3 # #

B " #3 " $3 B# B$ " #3

Obtenindose como solucin:

B" " #3

B# $ 3

B$ " #3 .

Ejercicio #) Resolver por el mtodo de Cholesky el sistema


" #3 # #3 #3 # " $3 # #3 B" # #3 " $3 B# $3 ( B$ $ %3

Solucin: La matriz E del sistema verifica que E E* es decir, se trata de una matriz hermtica. Adems, es fcil comprobar que sus tres menores principales son positivos, por lo que adems de hermtica es definida positiva y, por tanto, el Teorema #"" nos garantiza su factorizacin de Cholesky E V V donde V es una matriz triangular superior.
" #3 # #3 #3 # " $3 # #3 <"" " $3 <"# ( <"$ ! <## <#$ ! <"" ! ! <$$ ! <"# <## ! <"$ <#$ <$$

# <"" % <"" # <"" <"# #3 <"# 3 # <"" <"$ # #3 <"$ " 3 V ! # <"# # <## # <## " ! <"# <"$ <## <#$ " $3 <#$ #3 # # # <"$ <#$ <$$ ( <$$ "

3 " 3 " #3 ! "

El sistema EB , , que puede expresarse de la forma V *VB , , se descompone en dos: V *C , y VB C.


# 3 " 3 # ! ! 3 " ! ! " #3 ! C" # #3 C" " 3 ! C# $3 C# # #3 C$ " " C$ $ %3

" 3 B" " 3 B" " #3 B# # #3 B# # B$ " " B$ "

Por lo que la solucin del sistema es B" ", B# # y B$ ".


Clculo Numrico Pgina 35

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejercicio #* Dada la matriz E

: : #:

: :# "

#: " se pide: ': "

1.Determinar para qu valores de : E es hermtica y definida positiva. 2.Para : ", efectuar la factorizacin de Cholesky y utilizarla para resolver el sistema EB , , siendo , a " ! $ b> . Solucin: 1.Una matriz E es hermtica si verifica que E E, por lo que nuestra matriz ser hermtica si, y slo si : :; es decir, si : es real. Para que sea definida positiva han de ser positivos los tres menores fundamentales de la matriz. E" : !
: E$ : #:
" #

E # : :

: :# "

#: " :%:# ): $ ! ': "


$ #

: #: ! : #

Como ha de ser : ! se tiene que |E$ | ! si %:# ): $ !. %:# ): $ ! : : %:# ): $ !


" #

$ # " #

En conclusin: E es hermtica y definida positiva si, y slo si, : es un nmero real comprendido entre 2.Para : " se trata de la matriz E
" " # " $ " # " &

y $. #

y como " " $ , se trata de una matriz hermtica y # #

definida positiva, por lo que el Teorema #"" nos garantiza su factorizacin de Cholesky E V > V (pues se trata de una matriz real y, por tanto, V * V > ).
E " " # " $ " # <"" " <"# & <"$ ! <## <#$ ! <"" ! ! <$$ ! <"# <## ! <"$ <#$ <$$

# <"" " <"" " <"" <"# " <"# " <"" <"$ # <"$ # # <"# # <## $ <## #

<"# <"$ <## <#$ " <#$


# # # <"$ <#$ <$$ & <$$

# #

# #

" V ! !

" # !

# # # #

El sistema EB , puede escribirse de la forma V > VB , y descomponerse en dos: V > C , y VB C .


" " # ! #
# #

" ! C " " C" " # ! C# ! C# # C$ " C$ $


# #

" ! !

" # !

# # # #

" B" " B" " # # B# B ! B$ " " B$


#

por lo que la solucin del sistema es B" ", B# ! y B$ ".

Clculo Numrico Pgina 36

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejercicio #"! Resolver por los mtodos de Jacobi, Gauss-Seidel y SOR con = " # , el sistema $B" B# B$ ! B" B# $B$ ! $B# B$ & Solucin: Si permutamos las dos ltimas ecuaciones, el sistema se convierte en uno de diagonal dominante, lo que nos asegura la convergencia de los dos primeros mtodos (Teoremas #"* y ##!) sin haber alterado el nmero de condicin de la matriz, ya que un intercambio de filas se realiza mediante una transformacin unitaria. Respecto al tercero de los mtodos, el Teorema ##" nos dice que el mtodo puede ser convergente, pero no podemos garantizar su convergencia. Resolveremos, por tanto el sistema $B" B# B$ ! $B# B$ & B" B# $B$ ! Si realizamos la descomposicin E H I J donde H es una matriz diagonal con los elementos diagonales de la matriz E, I la triangular inferior de E H y J la triangular superior de E H , obtenemos que
H $ ! ! ! $ ! ! ! & I ! ! " ! ! " ! ! ! J ! ! ! " ! ! " " !

obtenindose, para cada uno de los mtodos: ".Jacobi: B8" N B8 - con


! N H I J ! " $
"

" $

! " $

" $ ! " - H" , & y $ $ ! !

iniciando el proceso con el vector nulo e iterando mientras que la norma del error sea ||EB , || "!"% (como ejercicio a mano que sea "!& obtenemos, con MATLAB, que B&& (" # "). #.Gauss-Seidel: B8" P" B8 - con
"

! P" H I J ! !

" $

! " *

" $ " y $ #
*

! & - H I , $ & *
"

tomando como vector inicial al vector nulo e iterando mientras que la norma del error sea ||EB , || "!"% (como ejercicio a mano que sea "!& obtenemos, con MATLAB, que B$" " # ". 3.SOR: B8" P= B8 - con P= H = I" " = H = J - =H = I" , ! % ! # ! !)

! # P"# H " # I" ! # H " # J ! ! !) ! - " #H " # I" , # ! )

! % ! % ! "#

Comenzando con el vector nulo B! ! ! ! e iterando mientras que la norma del error sea ||EB , || "!"% (como ejercicio a mano que sea "!& obtenemos, con MATLAB, que B$% (" # ").

Clculo Numrico Pgina 37

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejercicio #"" Resolver por los mtodos de Jacobi, Gauss-Seidel y SOR con = " # , el sistema "!B" B# #B$ ' B" ""B# B$ $B% #& #B" B# "!B$ B% "" $B# B$ )B% "& Solucin: Al ser de diagonal dominante la matriz del sistema, sabemos que los dos primeros mtodos van a ser convergentes (vanse los Teoremas #"* y ##!). Respecto al tercero de ellos, slo sabemos, por el Teorema ##", que el mtodo puede ser convergente, ya que " # pertenece al intervalo (! #). Realizando la descomposicin E H I J tenemos que
"! ! H ! ! ! "" ! ! ! ! "! ! ! ! I ! ) ! " # ! ! ! " $ ! ! "! " ! ! ! ! J ! ! ! ! ! $ " !

" ! ! !

# " ! !

Obtenindose, para los distintos mtodos: ".Jacobi: B8" N B8 - con


"

! ! !* N H I J ! # !

! " ! ! " ! $(&

! # ! !* ! ! "#&

! ! ' # #( ! #( y - ! " " " " )(& !

y tomando como vector inicial al vector nulo e iterando mientras que la norma del error sea ||EB , || "!"% (como ejercicio a mano que sea "!& obtenemos, con MATLAB, que B%# " # " ". #.Gauss-Seidel: B8" P" B8 - con
"

! ! P" H I J ! !

! " ! !!* ! !"*! ! !!&(*&%

! # ! !(# ! !%(# ! !#"$'

! ! ' ! #( # $#( y - ! *)(# ! !(# ! )())'$ ! """$'

iniciando el proceso con el vector nulo e iterando mientras que la norma del error sea ||EB , || "!"% (como ejercicio a mano que sea "!& obtenemos, utilizando MATLAB, que B"' (" # " "). $.SOR: B8" P= B8 - con P= H = I" " = H = J - =H = I" ,

! "# ! #% ! # ! ")'*! ! !)#*! P ! !#") "# ! !%&$)" ! !&"##*! ! "$#%&!* ! !"''#&% ! !('%#%(# ! !&("('(# ! (# # )!&)" - " #H " # I" , " "&'"!") ! )"$*''&%

! ! $$( ! !)!(# ! !%!'")

Comenzando con el vector nulo e iterando mientras que la norma del error sea ||EB , || "!"% (como ejercicio a mano que sea "!& obtenemos, con MATLAB, que B#% (" # " ").

Clculo Numrico Pgina 38

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Actividad Personal
A continuacin se proponen ejercicios tomados en certmenes anteriores y ejercicios propuestos para ser resueltos a modo de autoevaluacin. BC ! " El sistema tiene solucin exacta B "!' / C "!' . Encuentre la B ! ******C " BC ! solucin exacta del sistema . Comente los resultados. B " !!!!!"C " # Chequee si E tiene factorizacin PY
" " a) E # " # " " # "

% $ b) E # "

$ % $ #

# $ % $

" # $ %

$ Verifique si alguna de las siguientes matrices pueden ser factorizadas por Choleski. Si es as resuelva alguna de ellas.
# #& $ ! a) E % & $ ! & ! "! ! % & "! ! $% ! "& ") b) E "& $ ") #% ") % "& ") ") $ $ % $ "

% Para los siguientes sistemas de ecuaciones, verifique si los mtodos iteativos de Jacobi y Gauss-Seidel convergen o no. Donde haya convergencia calcule las iteraciones hasta un error menor que "!$
#B C a) B 'C #C D " $ " " " # #+ , $b) + $, # $+ , $ + #, . $+ , %e) + - $. #+ , " "# ! ! # " " c) B #B $B " # $ %B" B# B$ #B" $B# B$ ! ' #

d) B C B C #D

#B C D

& Reordene convenientemente, si se puede, los sistemas anteriores de tal manera que pueda usar el mtodo WSV con a) = " # b) = 0,8

Clculo Numrico Pgina 39

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Wada una funcin no nula 0 : V V resolver la ecuacin 0 (B) ! es hallar los valores de B que anulan a dicha funcin. A estos valores de B se les denomina races o soluciones de la ecuacin, o tambin, ceros de la funcin 0 (B). Los mtodos de resolucin de ecuaciones y sistemas de ecuaciones se clasifican en directos e iterados. Los del primer grupo nos proporcionan la solucin mediante un nmero finito de operaciones elementales, mientras que los iterados producen una sucesin convergente a la solucin del problema. Un ejemplo de mtodo directo es la conocida frmula de resolucin de las ecuaciones de segundo grado +B # ,B - !, cuyas soluciones vienen dadas por la frmula: B , , # %+#+

Sin embargo, el siglo antepasado Abel prob que no existe ninguna frmula equivalente (en trmino de races) para resolver ecuaciones de grado superior a cuatro. Adems, si la ecuacin no es polinmica no podemos resolverla ms que mediante mtodos iterados que, incluso en el caso de las polinmicas de grado no superior a cuatro, son ms eficientes. Definicin $". Una solucin B de la ecuacin 0 (B) ! se dice que tiene multiplicidad 8 si 0 B 0 w B 0 ww B 0 8" B ! y 0 8 B ! Si la multiplicidad de una raz es ", diremos que es simple. Todos los mtodos numricos de resolucin de ecuaciones presentan dificultades cuando la ecuacin tiene races mltiples, ya que todos ellos se basan en los cambios de signo de la funcin y stos son difcilmente detectables en un entorno de una raz mltiple. Ese hecho produce que en estos casos el problema est mal condicionado. En el caso de las ecuaciones algebraicas T8 (B) ! este problema se puede solucionar buscando otra ecuacin que posea las mismas races que la dada pero todas ellas simples, es decir, eliminando las races mltiples. Por el Teorema fundamental del lgebra sabemos que T 8 (B) posee 8 races y, por tanto, puede ser factorizado de la forma T8 (B) + ! (B B" )(B B# ) (B B8 ) donde B" ,B# , . . . , B8 son los ceros del polinomio. Si existen races mltiples, las podemos agrupar para obtener 7 7 7 T8 (B) + ! (B B" ) " (B B# ) # (B B5 ) 5 donde 7 3 representa la multiplicidad de la raz B 3 (3 " 5 ) y verificndose que 7 " 7 # + 7 5 8. Derivando esta expresin obtenemos:
T8 w (B) 8+ ! (B B" )
7" "

(B B# )

7# #

(B B5 )

75 5

U 5" (B)

con U 5" (B" ) distinto de cero para cualquier 3 " 5 . Por tanto, si B es una raz de la ecuacin T8 (B) ! con multiplicidad 5 , es tambin una raz de T8w (B) ! pero con multiplicidad 5 ", por lo que
H(B) = M.C.D. [T8 (B), T8 w (B)] (B B" )
7" "

(B B# )

7# #

(B B5 )

75 5

obtenindose que:
U(B)
T8 (B) H(B)

+ ! (B B" ) (B B# ) (B B5 )

es un polinomio cuyas races son las mismas que las de T8 (B) pero todas ellas simples. Si ya conocemos que una ecuacin slo tiene races simples y queremos encontrarlas, parece apropiado que un primer paso consista en detectar las posibles situaciones en stas. As por ejemplo, si son reales, determinar intervalos de una amplitud reducida en los que se encuentren las races de la ecuacin.
Clculo Numrico Pgina 40

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

$" Acotacin y separacin de races. Definicin $#. Dada una ecuacin 0 (B) ! (en general compleja) se denomina acotar las races a buscar dos nmeros reales positivos < y V tales que < | B | V para cualquier raz B de la ecuacin.

Figura $" Acotacin de raices

Geomtricamente consiste en determinar una corona circular de radios < y V , que se muestra en la Figura $", y dentro de la cual se encuentran todas las races. En el caso real se reduce a los intervalos ( V , <) y (<, V ). Veamos una cota para las races de una ecuacin algebraica. Proposicin $$. Si B es una raz de la ecuacin T (B) + ! B 8 +" B 8" +8 !, se verifica que: B " E siendo E mx +3 +
3 "

Proposicin $%. [Regla de Laguerre] Consideremos la ecuacin T (B) +! B8 +" B8" +8 !. Sean G (x) = + ! B 8 " ,8# B ,8" el cuociente y < el resto de la divisin del T (B) entre B - . Si < ! y ,3 ! para cualquier ! 3 8 ", el nmero real - es una cota superior para las races positivas de la ecuacin. (Trivialmente lo es tambin para las races negativas). El procedimiento consiste en comenzar con la cota obtenida anteriormente (que no suelen ser muy buena) e ir disminuyndola hasta afinarla todo lo que podamos. Las cotas obtenidas anteriormente nos delimitan la zona en la que debemos estudiar la existencia de soluciones de la ecuacin pero, en realidad, lo que ms nos acerca a nuestro problema (resolver la ecuacin) es separar cada raz en un intervalo. A este proceso se le conoce como separacin de races y estudiaremos un mtodo que se conoce como mtodo de Sturm que nos permite separar las races de una ecuacin, aunque en la prctica slo se utiliza en el caso de las ecuaciones algebraicas

$# Mtodo y algoritmo de la biseccin: anlisis de errores Este mtodo consiste en la aplicacin directa del teorema de Bolzano. Teorema $&. [Teorema de Bolzano] Si 0 (B) es una funcin continua en el intervalo cerrado [+ , ] y 0 (+)0 (, ) !, existe un punto + en (+,,) para el cual es 0 (+) !. Nuestro problema se reduce a localizarla. Para ello, supongamos que est separada, es decir, que en el intervalo [+ , ] es la nica raz que existe. Esto podemos garantizarlo, por ejemplo, viendo que 0 '(B) es distinta de cero en todo el intervalo, ya que entonces, el Teorema de Rolle (que se enuncia a continuacin) nos garantiza la unicidad de la raz. Teorema $'. [Teorema de Rolle] Si 0 (B) es una funcin continua en el intervalo cerrado [+ , ], derivable en el abierto (+ , ) y 0 (+) 0 (, ), existe un punto a en (+ , ) para el que 0 '(+) !.

Clculo Numrico Pgina 41

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

En efecto, si 0 (B) tuviese dos races +" y + # en el intervalo [+ , ], verificara las hiptesis del teorema de Rolle en el intervalo [+" ,+ # ] (que se encuentra contenido en [+ , ]) , por lo que debera existir un punto a de (+" ,+ # ) y por tanto de (+ ,) en el que se anulara la derivada, por lo que si 0 '(B) no se anula en todo el intervalo [+ , ], no pueden existir dos races de la ecuacin en dicho intervalo. Si dividimos el intervalo por la mitad, la funcin ha de tener necesariamente signos opuestos en los extremos de uno de los semi-intervalos, por lo que la raz buscada se encuentra en dicho semi-intervalo. Reiterando el proceso podemos conseguir acercarnos tanto como queramos a la raz buscada. Supongamos, sin prdida de generalidad, que 0 (B) es creciente en [+ , ]. P1 Tomamos + ! = + , , + y & # #

P# Si 0 (+! ) ! entonces FIN. + + ! es la raz exacta Si 0 (+! ) ! entonces hacemos , + ! Si 0 (+! ) ! entonces hacemos + + ! Se repite el paso 1, es decir, hacemos + ! =
5

+ , #

y &

, + #

P$ Si & "! (error prefijado), entonces FIN. El valor de + ! es la raz buscada con 5 cifras decimales exactas. 5 Si & "! , entonces repetimos el paso 2. El error cometido, tomando como raz de la ecuacin el punto medio del intervalo obtenido en la iteracin 8-sima , viene dado por &8 8 " , por lo que si , + " y 8 * se tiene que &* "! "! , # # es decir, en * iteraciones obtenemos tres cifras decimales exactas. $#". Algoritmo Para 3 ! " # 8 M3 [+3 ,3 ] y 73
+3 ,3 #

(, + )

"

punto medio del intervalo M3

[+3 73 ] si sig (0 (+3 ) sig (0 (73 ) M! [+ , ] y M3 " [73 ,3 ] si sig (0 (,3 ) sig (0 (73 ) El proceso debe repetirse hasta que o bien ,3 +3 & con & !
3

0 7 !

prefijado.

Se tiene, por tanto:

M8:?>: + , & 0 B S?>:?>: 7 A236/ , +# & 7 + , +# 30 0 7 ! +7 ,7 /8. 30 30 =3180 + =3180 7 +7 /8. 30 30 =3180 , =3180 7 ,7 /8. 30 /8. :<38> 7

Clculo Numrico Pgina 42

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

El hecho de calcular el punto medio de [+ , ] como 7 +,+ es debido a que para valores muy # pequeos de + y , puede darse el caso de que +,) se encuentre fuera del intervalo [+ , ]. # Ejemplo $" Supongamos que se quiere calcular la raz cuadrada de 3, para lo que vamos a buscar la raz positiva de la ecuacin 0 (B) ! con 0 (B) B # $. Dado que 0 (") # ! y 0 (#) =1 !, el teorema de Bolzano nos garantiza la existencia de una raz (que adems, el teorema de Rolle nos asegura que es nica ya que 0 w (B) #B no se anula en el intervalo [" #]). Para obtener la raz con 14 cifras decimales exactas, es decir, con un error menor que "! tendramos "% 8 " "% que detener el proceso cuando #" "! o, lo que es lo mismo, cuando # "! para lo que ha de ser #8 " 8 %' es decir, tendramos que detenernos en 7%' para poder garantizar la precisin exigida. Vamos a ver a continuacin otros mtodos que reducen, de forma considerable, el nmero de operaciones. $$Punto fijo e iteracin funcional Ya se coment que los mtodos iterados consisten en crear una sucesin convergente a la solucin del problema. Definicin $( Una funcin 0 : V V se dice contractiva si verifica |0 (B" ) 0 (B# )| |B" B# | cualesquiera que sean B" , B# V . Si la funcin es derivable, basta comprobar que cualquiera que sea el valor de B V para poder garantizar que se trata de una funcin contractiva. Si se desea resolver la ecuacin 0 (B) !, se escribe esta de la forma B : (B), donde : (B) es una funcin contractiva, y partiendo de un determinado valor inicial B! , se construye la sucesin B8 " : (B). La convergencia de esta sucesin la garantiza el siguiente teorema.
"%

Teorema $). [Teorema del punto fijo] Dada la ecuacin B : (B) en la que :' (B) ; " cualquiera que sea B [+ , ] y un punto B! [+ , ], la sucesin B! , B" , . . . , B8 , . . . en la que B8 " = : (B8 ) converge a un valor B que es la nica solucin de la ecuacin en dicho intervalo.

En la Figura $# puede observarse que el mtodo converge si :' (B) ; ", mientras que si :' (B) " el mtodo es divergente. En los casos (- ) y (. ), en los que :' (B) ; " el mtodo diverge de forma montona en (+) y de forma oscilatoria en (, ).
Clculo Numrico Pgina 43

Figura $# Esquema de la convergencia para el teorema del punto fijo

En los casos (+) y (, ), en los que :' (B) ; " el mtodo converge montonamente en (+) y de forma oscilatoria o en espiral en (, ).

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

$$". Cota del error "a posteriori" Si 0 (B) es una funcin continua en el intervalo [+ , ] y derivable en el abierto (+ , ), sabemos por el )0 teorema del valor medio que existe un punto - (+ , ) tal que 0 (,,+ (+) 0 w -. Sea B una solucin de la ecuacin 0 (B) ! y sea B8 aproximacin de ella obtenida por un mtodo cualquiera. Supongamos 0 B continua en el intervalo cerrado [B8 B] [B B8 ] (dependiendo de que B sea mayor o menor que B8 ) y derivable en el abierto. Existe entonces un punto - (B8 B) - (B B8 ) tal que
0 (B) 0 B8 ) 0 w -. B B8

Como 0 B ! y (B B8 ) &8 , nos queda que &8


& 8 = 0 B8 0 w -

0 B8 0 w -

, obtenindose que

B + ,

0 B8 mn 0 w B

Lo nico que debemos exigir es que la derivada de la funcin no se anule en ningn punto del intervalo (+ , ). Observacin: La transformacin B : (B se puede llevar a cabo mediante operaciones algebraicas o simplemente agregando B a cada lado de la ecuacin original. Ejemplo $# El clculo de la raz cuadrada de 3 equivale al clculo de la raz positiva de la ecuacin B # $. Aunque ms adelante veremos mtodos cuya convergencia es ms rpida, vamos a realizar los siguientes cambios: B # $ B B# B $ B " B $ B B $B "B
$B . Dado que sabemos que la "B

Es decir, hemos escrito la ecuacin de la forma B : (B) con : (B) raz de $ est comprendida entre " y # y que | :w (B)|

# # " # " " B# # #

para cualquier B [" #],

podemos garantizar que partiendo de B! " el mtodo converger a la raz cuadrada de $. As pues, partiendo de B! " y haciendo B8 " B" B# B$ B% B& B' B( B) B* B"! B"" B"# B"$ # " '''''''''''''( " (&!!!!!!!!!!!! " (#(#(#(#(#(#($ " ($$$$$$$$$$$$$ " ($"(!($"(!($"( " ($#"%#)&("%#)' " ($#!#'"%$(*!)& " ($#!&"#)#!&"#) " ($#!%*!$'(((&) " ($#!&"#)#!&"#) " ($#!&!')!%$"(# " ($#!&!)%"'$&") $ B8 obtenemos: " B8 B"% B"& B"' B"( B") B"* B#! B#" B## B#$ B#% B#& B#' " ($#!&!(*)%%!)% " ($#!&!)"!!"%($ " ($#!&!)!'*"$&" " ($#!&!)!((%%%) " ($#!&!)!(&#")# " ($#!&!)!(&)"%) " ($#!&!)!(&'&&! " ($#!&!)!(&'*() " ($#!&!)!(&')'$ " ($#!&!)!(&')*% " ($#!&!)!(&'))' " ($#!&!)!(&'))) " ($#!&!)!(&')))
0 B8 mn 0 w B8

El error, calculado a posteriori ,vendr dado por


&8
B "#

donde 0 (B) B # $, por lo que

Clculo Numrico Pgina 44

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

es decir, $ " ($#!&!)!(&'))) con todas sus cifras decimales exactas.

&#'

# B#' $ "& "% % ))%*)"$!)$&!')) "! "! #

Obsrvese que en el Ejemplo $" vimos cmo eran necesarias 46 iteraciones para calcular la raz cuadrada de 3 (con 14 cifras decimales exactas) mediante el mtodo de la biseccin, mientras que ahora slo hemos necesitado 26. Sin embargo vamos a ver a continuacin cmo se puede reducir an ms el nmero de iteraciones aplicando el mtodo conocido como mtodo de Newton. $%Mtodo de Newton: anlisis de errores Si tratamos de resolver la ecuacin 0 (B) ! y lo que obtenemos no es la solucin exacta B sino slo una buena aproximacin B8 tal que B B8 2 tendremos que 0 B 0 B8 2 0 w B8 por lo que B B8 0 B8 0 w B8 2 0 B8 0 w B8

btenindose la denominada frmula de Newton-Raphson: B8 " B8 0 B8 0 w B8


8_

Si, a partir de ella, construimos la sucesin (B8 ) y sta converge, se tendr que lim B8 B, ya que nos quedara, aplicando lmites en la frmula de Newton-Raphson que
lim B8 " lim B8
8_ 0 w 0 8_

lim B8

8_

siempre que 0 w lim B8 no se anule, lo cual se verifica si exigimos que la funcin posea una nica raz en [+ , ]. Dado que la raz de la ecuacin en el intervalo [+ , ] es nica, necesariamente lim B8 B
8_ 8_

8_

lim B8

0 lim B8 !
8_

Este mtodo es tambin conocido como mtodo de la tangente, ya que si trazamos la tangente a la curva C 0 B en el punto B8 0 B8 obtenemos la recta C 0 B8 0 w B8 B B8 , que corta al eje C ! en el 0 B8 punto de abscisa B B8 0 w B , que es precisamente el valor de B8 " de la frmula de Newton-Raphson.
8

En la Figura $$ puede observarse cmo acta geomtricamente el mtodo de Newton-Raphson.

Figura $$ El proceso de Newton

Lo ms dificultoso del mtodo consiste en el clculo de la derivada de la funcin as como la obtencin del valor inicial que debe tomarse, es decir, el valor de B! . Busquemos, a continuacin, alguna cota del error.
&8 " B B8 " B B8 0 B8 0 B8 0 B &8 w 8 B B8 w 0 w B8 0 B8 0 B8

Clculo Numrico Pgina 45

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Desarrollando 0 B) en un entorno de B8 se obtiene


! 0 B 0 B8 &8 0 B8 0 w B8 &8 0 ww > # &8 #x con > B B8 si B B8 (B8 B si B B8

Supuesto que 0 w B8 es distinta de cero, podemos dividir por dicha derivada para obtener
! 0 ww > # & 5 &8# #0 w B8 8 5 mx
B +,

0 B8 0 ww > # 0 ww > # &8 & &8 " & w B w B 8 0 8 #0 #0 w B8 8

por lo que &8 " donde

0 ww > #0 w B8

siendo [+ , ] cualquier intervalo, en caso de existir, que contenga a la solucin B y a todas las aproximaciones B8 . Esta ltima desigualdad podemos (no queriendo precisar tanto) modificarla para escribir
5 mx 0 ww B # mn 0 w B con B + , y 0 w B 0

Supuesta la existencia de dicho intervalo [+ , ], el valor de 5 es independiente de la iteracin que se realiza, por lo que
5 &8 " 5 &8 5 &8 " 5 &!
# % #8 "

o lo que es lo mismo:

& 8

" #8 5 &! 5

donde es necesario saber acotar el valor de &! B B! . Es decir, si existe un intervalo [+ , ] que contenga a la solucin y a todas las aproximaciones B8 se puede determinar a priori una cota del error, o lo que es lo mismo, se puede determinar el nmero de iteraciones necesarias para obtener la solucin con un determinado error. Evidentemente, el proceso converger si 5 &! ", es decir, si &! " . En caso de ser convergente, 5

la convergencia es de segundo orden. $%" Algoritmo

Una vez realizado un estudio previo para ver que se cumplen las condiciones que requiere el mtodo, establecer el valor inicial B! y calcular el valor de 7 mn 0 w B
B +,

el algoritmo es el siguiente
M8:?> + , B! &! 0 B 7 S?>:?> B B B! 0 B / +,= 7 A236/ / & 0 B B B w 0 B 0 B / +,= 7 /8.
Clculo Numrico Pgina 46

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejemplo $$ En el Ejemplo $# calculamos la raz de 3 con 14 cifras decimales exactas en 26 iteraciones. Vamos a ver cmo se disminuye considerablemente el nmero de iteraciones cuando se utiliza la frmula de Newton-Raphson. Partimos de la ecuacin 0 (B) B # $ !, por lo que la frmula de Newton-Raphson nos dice que, teniendo en cuenta que 0 w B #B
B8 " B8 0 B8 0 w B8 B8 " B8 B# $ 8 #B8 B8 " " $ B # 8 B8

Dado que la raz de 3 es un nmero comprendido entre " y # y la funcin 0 w (B) #B no se anula en dicho intervalo, podemos aplicar el mtodo de Newton tomando como valor inicial B! #
B! # B" " (&!!!!!!!!!!!! B# " ($#"%#)&("%#)' B$ " ($#!&!)"!!"%($ B% " ($#!&!)!(&')))

El error a posteriori vendr dado por 0 B8 &8 por lo que mn 0 w B8


B "#

&%

# B% $ % ))%*)"$!)$&!')) #

es decir, la raz cuadrada de $ es " ($#!&!)!(&'))) con todas sus cifras decimales exactas. Se observa que la convergencia de Newton-Raphson es mucho ms rpida que biseccin, ya que slo hemos necesitado 5 iteraciones frente a las 46 de la biseccin. De hecho, existen mtodos para determinar el valor inicial B! que debe tomarse para que en la segunda iteracin se disponga ya de 8 cifras decimales exactas.

$%# Regla de Fourier


Supongamos que tenemos acotada, en el intervalo [+ , ], una nica raz B de la ecuacin 0 (B ) ! y que 0 w (B) y 0 ww (B) no se anulan en ningn punto del intervalo [+ , ], es decir, que ambas derivadas tienen signo constante en dicho intervalo. En cualquiera de los cuatro casos posibles (Figura 2.4), la funcin cambia de signo en los extremos del intervalo, es decir, dado que la segunda derivada tiene signo constante en [+ , ], en uno de los dos extremos la funcin tiene el mismo signo que su segunda derivada. En estos casos, el mtodo de Newton es convergente debindose tomar como valor inicial
B! + , si 0 w + 0 ww + ! , , si 0 w , 0 ww , !

es decir, el extremo en el que la funcin tiene el mismo signo que su derivada segunda.

0 w B ! 0 w B ! 0 w B ! 0 w B ! 0 ww B ! 0 ww B ! 0 ww B ! 0 ww B ! B! + B! , B! + B! ,
Figura $% Los cuatro casos posibles

Gracias a que la convergencia es de segundo orden, es posible modificar el mtodo de Newton para resolver ecuaciones que poseen races mltiples.

Clculo Numrico Pgina 47

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

$%$ Mtodo de Newton para races mltiples Cuando el mtodo de Newton converge lentamente nos encontramos con una raz mltiple y, a diferencia de lo que ocurra con otros mtodos, podemos modificar el mtodo para acelerar la convergencia. Sea B una raz de multiplicidad 5 de la ecuacin 0 (B) !. En este caso, el mtodo de Newton converge muy lentamente y con grandes irregularidades debido al mal condicionamiento del problema. 0 B 0 B Si en vez de hacer B8 " B8 w 8 hacemos B8 " B8 5 w 8 donde 5 representa el orden de 0 B8 0 B8 la primera derivada que no se anula (multiplicidad de la raz B), el mtodo sigue siendo de segundo orden. En la prctica, el problema es que no conocemos 5 pero a ello nos ayuda la rapidez del mtodo. Ejemplo $% Para resolver la ecuacin B =/8 B ! comenzamos escribindola de la forma B =/8B , por lo que las soluciones sern los puntos de interseccin de la recta C B con la curva C =/8 B. Aunque es conocido que la solucin de la ecuacin es B !, supondremos que slo conocemos que est comprendida entre " y " y vamos aplicar el mtodo de Newton. B =/8 B8 =/8 B8 B8 -9= B8 B8 " B8 8 " -9= B8 " -9= B8

Figura $& Las funciones C B y C =/8 B

Comenzando con B! " se obtiene:


B! " .. . . . . . . . . . . . . . . . . . 0 w B"! ! !!!" B"! ! !"')##(** 0 ww B"! ! !"' 0 w w w B"! ! ***) .. . . . . . . . . . . . . . . . . . 0 w B#! ! !!!!!!!" B#! ! !!!!"*% 0 ww B#! ! !!"* 0 w w w B#! ! ****

Como la convergencia es muy lenta, hace pensar que se trata de una raz mltiple. Adems, como la primera y la segunda derivadas tienden a cero y la tercera lo hace a ", parece que nos encontramos ante una raz triple, por lo que aplicamos el mtodo generalizado de Newton. B =/8 B8 B8 " B8 $ 8 " -9= B8 y comenzando, al igual que antes, por B! " se obtiene: B! " B " ! !$% B# ! !!!!!"$(' B$ ! !!!!!!!!!!!!!* que se ve que converge rpidamente a la solucin B !. Dado que B ! 0 B B =/8 B ! la solucin es exacta. Por otra parte, podemos ver que 0 w B " -9= B 0 w B ! 0 ww B =/8 B 0 ww B ! 0 ''' B -9= B 0 ''' B " lo que nos indica que la raz es, en efecto, triple.

Clculo Numrico Pgina 48

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Al aplicar el mtodo de Newton hay que tener en cuenta que a pesar de que su comportamiento es en general muy bueno existen casos en que se encuentran dificultades, no slo si existen races mltiples sino en muchos casos en los que las races son simples pero presentan ciertas particularidades. Ejemplo $& Tratemos de determinar, por el mtodo de Newton, la raz positiva de la funcin 0 B B"! ", tomando como valor inicial B! ! &. La frmula de Newton-Raphson es, en este caso:
B8 " B8
"! B8 " * "! B8

Aplicando el algoritmo se obtienen los valores B" &" '& B# %' %)& B$ %")$'& B% $( '&#)& B& $$ ))(&'&... B"! #! !"!#')#&')&!"#.... B#! ' *(("%*"#$#**!'... B$! # %$#)!"$**&%#$!... B%! " !!#$"'!#%"((%" B%" " !!!!#$*$%#*!)% B%# " !!!!!!!!#&(('! B%$ ". Puede observarse que la convergencia es muy lenta y slo se acelera (a partir de B%! ) cuando estamos muy cerca de la raz buscada. Adems de existir casos como el anterior donde la convergencia es muy lenta, la naturaleza de la funcin puede originar otras dificultades, llegando incluso a hacer que el mtodo no converja. Si en las proximidades de la raz existe un punto de inflexin, las iteraciones divergen progresivamente de la raz.

El mtodo de Newton oscila en los alrededores de un mximo o un mnimo local, persistiendo o llegando a encontrarse con pendientes cercanas a cero, en cuyo caso la solucin se aleja del rea de inters.

Un valor inicial cercano a una raz puede converger a otra raz muy distante de la anterior como consecuencia de encontrarse pendientes cercanas a cero. Una pendiente nula provoca una divisin por cero (geomtricamente, una tangente horizontal que jams corta al eje de abscisas).

Todo esto nos indica que aunque existen software que resuelven ecuaciones (generalmente aplicando Newton), hay que realizar un estudio previo para tratar de detectar cualquier tipo de anomala que se presente.
Clculo Numrico Pgina 49

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

$& Ejercicios Ejercicio $" Dada la ecuacin B/ B " !, se pide: 1.Estudiar grficamente sus races reales y acotarlas. 2.Aplicar el mtodo de la biseccin y acotar el error despus de siete iteraciones. 3. Queda de Tarea resolverla por iteracin funcional. 4.Aplicar el mtodo de Newton, hasta obtener tres cifras decimales exactas. Solucin: 1. La ecuacin puede escribirse de la forma: / B " . B

Grficamente, se observa que existe una nica solucin real (interseccin de las dos curvas) y que esta es positiva. La demostracin analtica de este hecho es la siguiente:

Para B ! es

0 ! " ! Para B ! es 0 B B/ B ", por lo que 0 _ _ ! de races positivas (al menos una).

" " ! y / B !, por lo que / B y, por tanto, no existen races negativas. B B y existe, por tanto, un nmero impar

La funcin derivada 0 w B B/ B / B B " / B slo se anula para B ". Dado que, si existiese ms de una raz positiva, el teorema de Rolle nos asegura que la funcin derivada debe anularse en algn punto intermedio y hemos visto que 0 w B no se anula para ningun valor positivo de la variable podemos asegurar que slo existe una raz real + y que esta es positiva y simple, pues 0 w + !. Dado que 0 " / " ! y 0 ! " !, podemos asegurar que la nica raz real de la ecuacin se encuentra en el intervalo (! "). #Mtodo de la biseccin 0 ! " ! [+! ,! ] [+ , ] [! "] con 0 " / " !
0 ! & ! [+" ," ] [! & "] 0 ! '#& ! [+$ ,$ ] [! & ! '#&] 0 ! &*$(& ! [+& ,& ] [! &'#& ! &*$(&] 0 ! &(!$"#& ! [+( ,( ] [! &'#& ! &(!$"#&] 0 ! (& ! [+# ,# ] [! & ! (&] 0 ! &'#& ! [+% ,% ] [! &'#& ! '#&] 0 ! &()"#& ! [+' ,' ] [! &'#& ! &()"#&]

Tomando como aproximacin de la raz el punto medio del intervalo B( ! &''%!'#& se obtiene un error " # | &( | ) ! !!$*!'#& | &( | "! # Si redondeamos a las dos primeras cifras decimales, es decir, si tomamos B ! &( , el error acumulado verifica que | & | | ! &( ! &''%!'#&| ! !!$*!'#& ! !!(& "!
#

por lo que puede asegurarse que la solucin de la ecuacin es ! &( con las dos cifras decimales exactas.

Clculo Numrico Pgina 50

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

4Mtodo de Newton La frmula de Newton-Raphson es B8 " B8 0 B8 0 B8

Dado que, por el apartado anterior, se conoce que la raz se encuentra en el intervalo [! &'#&;! &(!$"#&] y que0 ! &'#& ! , 0 ! &(!$"#& !: 0 B B/ B " 0 w B B " / B 0 ww B B # / B 0 ! &'#& ! 0 ! &(!$"#& ! 0 w B ! a B [! &'#&; ! &(!$"#&] 0 ww B ! a B [! &'#&; ! &(!$"#&]

la regla de Fourier nos dice que B! ! &(!$"#&. Al ser positiva la segunda derivada, 0 w B es creciente, por lo que mn
B[!&'#& !&(!$"#&]

0 w B 0 w ! &'#& # (%##(#*!"&!!%( 0 B8 0 B8 # (%

es decir, el error a posteriori vendr dado por &n obtenindose que B! ! &(!$"#& B" ! &'("&"%*)$&*!!

mn

B [!&'#& !&(!$"#&]

0 w B

con &!

0 B! # (%

! !!$#!%$()&'&!& 0 B! # (% ! !!!!!)#((&("##

con &"

Si redondeamos a ! &'( el error acumulado es | & | ! !!!"&"%*)$&*!! ! !!!!!)#((&("## "!


$

Por lo que la solucin de la ecuacin es B ! &'( con sus tres cifras decimales exactas.

Ejercicio $# Se considera la ecuacin real

# -9=#B %B 5 !.

1.Determinar el valor de 5 para que tenga una nica raz triple en el intervalo [! "]. 2.Para 5 $, probar que posee una nica raz simple en el intervalo [! "], y calcularla con 6 cifras decimales exactas utilizando el mtodo de Newton. Solucin: 1.Si tiene una raz triple, debe anularse no slo la funcin sino tambin sus dos primeras derivadas, por lo que 0 B # -9=#B %B 5 ! 0 w B % =/8#B % ! 1 1 0 ww B )-9=#B ! #B B # % Debe verificarse entonces que 0 1 # -9= 1 1 5 !, por lo que 5 1 . % # En ese caso,
1 %

es una raz triple por anular a 0 , 0 w y 0 ww pero no anular a 0 '''B "' =/8#B.

Adems, dado que 0 ! y 0 " tienen signos contrarios, existe un nmero impar de races de 0 B en el intervalo [! "], pero de existir tres, la primera derivada debera de anularse dos veces (consecuencia directa del Teorema de Rolle) y slo lo hace una vez en B 1 , por lo que podemos asegurar entonces que si 5 1 la % funcin slo posee una raz triple en el intervalo [! "] y que sta es 1 . %
Clculo Numrico Pgina 51

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

2.Para 5 $ se tiene que 0 B # -9=#B %B $ pero sus derivadas son independientes del valor asignado a la 5 . Como 0 ! " y 0 " # -9=#B ! "'((... !, la funcin tiene, al menos, una raz en dicho intervalo y, por razones anlogas a las del apartado anterior, slo puede tener una. Dado que en [! "] se anula la derivada (0 1 !) nos interesa reducir el intervalo en el que vamos a buscar % la raz. Para ello, y dado que 0 ! & # -9=" " ! !)!'... !, podemos restringirnos al intervalo [! ! &] en el que sabemos que no se anula la derivada. Como 0 w B % =/8#B % ! y , cualquiera que sea B [!; ! &] 0 ww B )-9=#B ! para cualquier B [!; ! &],

la regla de Fourier nos dice que el mtodo de Newton converge tomando como valor inicial B! !. Para acotar el error, como 0 ww B ! cualquiera que sea B [!; ! &], sabemos que 0 w B es decreciente en dicho intervalo, por lo que
B[! !&]

mn 0 w B 0 w ! & % =/8 " % ! '$%"

Por tanto el error a posteriori vendr dado por


& 8

B[!; !&]

0 B8 0 B8 #0 B8 ! & mn 0 w B

y la frmula de Newton-Raphson queda de la forma:


B8 " B8 0 B8 % =/8#B # -9=#B $ w B 0 8 % =/8#B %

por lo que se obtiene


B! B" B# B$ B% B& ! ! #& ! $'(&(*")"%&!#$ ! %!&*""'&()")!" ! %!&))&((&'!$%" ! %!&*""'&()")!" &! &" &# &$ &% && # ! %)*''*(&#&$)&" ! !*#%')$&'&!$%% ! !!("&$")&''!%* & & ')$&()'%!!!!!!! "! * $ '))""&!!!!!!!!! "!

Por tanto B ! %!&*"# con un error


| & | (! %!&*"# ! %!&*""'&()")!") $ '))""&!! "!
*

$ %#")"** "! $ '))"&!! "!

"!

'

Ejercicio $$ Probar que la ecuacin B # 68 B ! slo tiene una raz real y hallarla, por el mtodo de Newton, con 6 cifras decimales exactas. Solucin: Si representamos las grficas de las funciones C 68 B e C B # obtenemos

Clculo Numrico Pgina 52

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Puede observarse que slo existe un punto de corte entre ellas, por lo que la ecuacin B # 68 B ! slo posee una raz real. Analticamente hay que probar que las grficas no vuelven a cortarse en ningn otro punto, sin embargo, dado que en su dominio de definicin, que es (! _), 68 B es creciente y B # decreciente, no pueden volver a cortarse. Partiendo de B! ! " y aplicando el mtodo de Newton, en el intervalo (! " "), dado por la frmula
B8 " B8 0 B8 B # 68 B8 B $ B8 B8 68 B8 B8 8 8 " w B # 0 8 #B8 " #B8 B8 & 8 0 B8 0 B8 $ mn 0 w B

y con un error a posteriori dado por

B[!";"]

obtenemos
B" B# B$ B% ! $#%('$#%%%""") ! &*)!**(!*)&**" ! '&#&)&'(#%)(&! ! '&#*")'$$'$$%) &" &# &$ &% ! $$*(#*# ! !&#!*"& % $ "%*#* "! * ' %"(* "!

Por lo que la raz buscada es ! '&#*"* con un error


| & | (! '&#*"* ! '&#*")'$$'$$%) ) ' %"(* "!
*

! !!!!!!$''$''%# . . . . . . ' %"(* "!

"!

'

es decir, con las seis cifras decimales exactas. Ejercicio $% Resolver, por los mtodos de la biseccin y Newton, la ecuacin 68B =/8B !, acotando previamente sus races. Solucin: La ecuacin dada puede escribirse de la forma 68 B =/8 B, por lo que hallaremos grficamente la interseccin entre las curvas C 68 B e C =/8 B. El mximo de la funcin C =/8 B es " y, por tanto, cuando la curva C 68 B tome valores mayores que ", no puede volver a intersecar a la del =/8 B. De esta forma sabemos que como 68 B " siempre que B / # (". . ., las posibles soluciones de la ecuacin se encuentran en el intervalo (! /), del que se han excluido los extremos ya que, evidentemente, no son soluciones de la ecuacin. Adems de la raz que se observa en el intervalo [! 1], ambas grficas slo podran volver a 1 1 intersecarse en puntos en los que B $# , (en que sen B vuelve a ser creciente), pero como $# /, no existen ms races.

Antes de aplicar cualquier mtodo de resolucin, afinemos el intervalo en el que puede hallarse la raz. 0 # 68 # =/8 # ! #"'"& ! B # / 0 # & 68 # & =/8 # & ! $"()" ! B # # & Partiremos ahora de esta ltima acotacin: B # # &.

Clculo Numrico Pgina 53

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

"Mtodo de la biseccin ' ,+ Dado que | &5 | #5" "! , debemos tomar 5 "*, es decir, debemos calcular los valores de B5 hasta B"* .
0 # & ! !$#)&(! ! B # # & 0 # "#& ! !*'&%(* ! B # "#&; # #& 0 # ")(& ! !$$!#** ! B # ")(&; # #& 0 # #")(& ! !!!$('& ! B # #")(&; # #& 0 # #$%$(& ! !"'"')& ! B # #")(&; # #$%$(& 0 # ##'&'#& ! !!()((* ! B # #")(&; # ##'&'#& 0 # ###'&'#& ! !!$(%'" ! B # #")(&; # ###'&'#& 0 # ##!(!$"#& ! !!"')$' ! B # #")(&; # ##!(!$"#& 0 # #"*(#'&'#& ! !!!'&$# ! B # #")(&; # #"*(#'&'#& 0 # #"*#$)#)"#& ! !!!"$)# ! B # #")(&; # #"*#$)#)"#& 0 # #")**%"%!'#& ! !!!"" ! B # #")**%"%!'#&; # #"*#$)#)"#& 0 # #"*""'#"!*$(& ! !!!!!* ! B # #")**%"%!'#&; # #"*""'#"!*$(& 0 # #"*!&&"(&()"#& ! !!!!& ! B # #"*!&&"(&()"#&; # #"*""'#"!*$(& 0 # #"*!)&'*$$&*$(& ! !!!!##' ! B # #"*!)&'*$$&*$(&; # #"*""'#"!*$(& 0 # #"*"!!*&##"%)%$( ! !!!!!'& ! B # #"*"!!*&##"%)%$(;# #"*""'#"!*$(& 0 # #"*"!)&)"&%#*'* ! !!!!!"& ! B # #"*"!!*&##"%)%$(;# #"*"!)&)"&%#*'* 0 # #"*"!%('')%&(!$ ! !!!!!#& ! B # #"*"!%('')%&(!$; # #"*"!)&)"&%#*'* 0 # #"*"!''(%"*%$$' ! !!!!!!& ! B # #"*"!''(%"*%$$'; # #"*"!)&)"&%#*'* 0 # #"*"!('#()')'&# ! !!!!!!& ! B # #"*"!''(%"*%$$'; # #"*"!('#()')'&#

por lo que, tomando la aproximacin B"* # #"*"!("&"!$"#&! (punto medio del intervalo), el error viene dado por ! & ( | &19 | #! % (')$("&)#!$"#&! "! # y si redondeamos a # #"*"!( el error total vendr dado por
| & | (# #"*"!( # #"*"!("&"!$"%*) %,(')$("&... "!( " &"!$"%* "!( % (')$("& "!( "!
'

por lo que las seis cifras decimales son exactas. # Mtodo de Newton Ya hemos visto que en el intervalo [# # &] son positivas 0 w B y 0 ww B, luego podemos aplicar la regla de Fourier. Como 0 # & ! tomamos B! # & y aplicamos la frmula de Newton-Raphson.
B8 " B8

Al ser creciente 0 B, sabemos que del error a posteriori es

B[# #&]

mn 0 w B 0 w # ! *"'" por lo que la formula


& 8 0 B8 ! *

0 B8 0 w B8

obtenindose que

B! B" B# B$

# & # #$&%!$$%!*!#$% # #"*")!'*'$*(!( # #"*"!("&!%$(#(

&! ! $&$"$"('%")*"" &" ! !"*")!&!)%'(!% &# ! !!!!)'"(#'(#(' ' &$ ! !!!!!!!!"()&!" "!
9

Si redondeamos a # #"*"!(, el error acumulado es

|&| # #"*"!( # #"*"!("&!%$(#( ",()&!" "!

",&#"!

"!

'

por lo que la raz de la ecuacin es B # #"*"!( con las seis cifras decimales exactas.

Clculo Numrico Pgina 54

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejercicio $& Separar las races reales de la ecuacin B/B B # " !, y obtenerlas con ocho cifras decimales exactas por el mtodo de Newton, aplicando previamente la regla de Fourier. Solucin: Comenzaremos por transformar la ecuacin para despejar la exponencial. B/B B# " ! B/B B # " La funcin C oblicua C B.
B # " B

/B

B# " B

es una cnica (hiprbola) con una asntota vertical de ecuacin B ! y otra

Grficamente se observan dos intersecciones, una de ellas en los valores negativos de la variable y la otra en los positivos.

" Vemoslo con ms detalle. La funcin J B /B B B tiene las mismas races (ya que B ! no B # es solucin de la ecuacin) que la funcin 0 B B/ B " !.

J w B /B

B #B B # " B# " " /B /B " B # B B# B

Tenemos entonces que J w B ! cualquiera que sea el valor que tome la variable B y adems, J ! _. Por tanto, J w B nunca se anula.

No podemos aplicar directamente el Teorema de Rolle a la funcin J B en ( _ _) ya que no es continua ni derivable en B !, pero s podemos hacerlo en los intervalos ( _ !) y (! _). Si J B se anulara dos o ms veces en (! _), su derivada J w B se debera anular en algn punto de dicho intervalo, por lo que podemos asegurar que J B tiene, a lo ms, una raz en (! _). El mismo razonamiento nos lleva a asegurar que slo posee una raz en el intervalo ( _ !). En conclusin, J B tiene, a lo sumo, dos races reales, como ya observamos grficamente. Basta entonces con probar la existencia de dichas races. Para ello consideramos, de nuevo, la funcin 0 B B/B B # " (que no tiene singularidades). 0 " / ! 0 ! " ! Existe una raz en " !

0 " /" ! Existe una raz en " # 0 # #/# $ ! Al ser 0 w B B/B /B #B " B/B #B, tenemos que: Para B " ! es " B !, /B ! y #B ! por lo que 0 w B ! Para B " # es " B !, /B ! y #B ! por lo que 0 w B !

Por tanto, 0 w B no se anula en ninguno de los intervalos, por lo que podemos asegurar que ambas races son simples.

Clculo Numrico Pgina 55

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Regla de Fourier 1.Para B ( " !) es 2.Para B (" #) es B! # . Mtodo de Newton La frmula de Newton-Raphson B8 " B8 los valores Intervalo " # B! B" B# B$ B% B& # " $$***)!$ " "(*$*#"(% " "'('&!'## " "'(&)&&#* " "'(&)&&#( 0 B8 aplicada a la funcin 0 B B/B B # " nos genera 0 w B8 Intervalo " ! B! B" B# B$ B% B& B' " ! '$%%(!("!( ! %*'(()'!'# %()%('&$') %()"(#%)!# !%()"(#$*(# ! %()"(#$*(# B! " . 0 w B ! 0 ww B B #/B # ! , luego como 0 " !, tomamos

0 w B ! 0 ww B B #/B # !

, luego al ser 0 # !, tomamos

Dado que 0 w B es negativa y decreciente en el intervalo (" #), |0 w B| = 0 w B es creciente y alcanza el mnimo en B ", por lo que mn 0 w B 0 w " # #
B ["#]

la expresin del error a posteriori nos queda de la forma

& 8

0 B8 #

El error para B& " "'(&)&&#( es &8

0 " "'(&)&&#( #

! %%' "! #

! ##$ "!

por lo que si redondeamos a " "'(&)&&$ obtenemos que el error viene dado por | & | (" "'(&)&&$ " "'(&)&&#() ! !!!!!!!!!##$ "!) es decir, la raz buscada es " "'(&)&&$ con las ocho cifras decimales exactas. Anlogamente, para el intervalo ( " !), 0 w B es positiva y decreciente, por lo que el mnimo de |0 B| 0 w B se alcanza en B !, es decir
w B ["!]

mn 0 w B 0 w 0 1 &8 0 B8 .

El error para B' ! %()"(#$*(# es

|&6 | 0 ! %()"(#$*(# ! )!$' "!

por lo que redondeando a ! %()"(#%! obtenemos que el error es

| & | ! %()"(#%! ! %()"(#$*(# ! !!!!!!!!!)!$8 "!)

es decir, la raz negativa es ! %()"(#%! con todas las cifras decimales exactas.

Clculo Numrico Pgina 56

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejercicio $'. Dada la ecuacin / B B ## !, probar que slo posee una raz real y obtenerla, por el mtodo de Newton, con seis cifras decimales exactas. Solucin: Las grficas de las funciones C / B y C B ## vienen dadas en la figura adjunta.

Puede observarse que slo existe un punto de corte entre ellas, por lo que la ecuacin / B B "# ! slo posee una raz real. Dado que el crecimiento de la exponencial es mucho ms rpido que el del polinomio, es evidente que no volvern a cortarse. Partiendo de B! ! y aplicando el mtodo de Newton, en el intervalo (! "), dado por la frmula de Newton-Raphson
B8 " B8 0 B8 /B8 B8 ## B8 B w B 0 8 / 8 #B8 #

con un error a posteriori, dado por


& 8

B[! "]

0 B8 0 B8 $ mn 0 w B

obtenemos:

B" ! ' B# ! '#*)$!($%')$$) B$ ! '#*)%'""&')('(

&" ! !%&*'!$**)'*)$ & &# # $'(%' "! "# &$ % )$(*) "!
"# '

Redondeando obtenemos que la raz es ! '#*)%' con un error

| & | ! '#*)%' ! '#*)%'""&')('( % )$(*) "!

"!

Por lo que la raz buscada es ! '#*)%' con las seis cifras decimales exactas. Ejercicio $(. Dada la ecuacin / B B "# !, se pide: 1.Estudiar grficamente sus races reales y acotarlas. 2.Obtener la mayor de ellas con dos cifras decimales exactas por el mtodo de la biseccin. 3.Obtenerla con seis cifras decimales exactas por el mtodo de Newton. Solucin: Se trata de buscar las races de la ecuacin / B B "# . 1.Acotacin y separacin: La grfica de C / B interseca tres veces a la de C B "# . Las negativa y nula son evidentes. Para la positiva basta con observar que C / B comienza tomando valores inferiores a los de C B "# pero, sin embargo, el crecimiento de la exponencial es superior al de la funcin cuadrtica, por lo que necesariamente volvern a cortarse sus grficas.

Clculo Numrico Pgina 57

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Acotndolas por Bolzano vemos que, aparte de la raz x = 0, las otras dos se encuentran en los intervalos ( # ") y (# $). 2.Mtodo de la biseccin: La mayor de las races se encuentra en el intervalo [+ ,] [#;$] y adems es 0 # ! y 0 $ !. Aplicando el mtodo de la biseccin obtenemos:
0 # & ! ' ! 0 # (& " &) ! 0 # '#& ! '' ! 0 # &'#& ! #( ! 0 # &$"#& ! !* ! 0 # &"&'#& ! !" !
(

[+" ," ] # & $ [+# ,# ] # & # (& [+$ ,$ ] # & # '#& [+% ,% ] # & # &'#& [+& ,& ] # & # &$"#& [+' ,' ] # & # &"&'#&

Tomando el punto medio del intervalo, obtenemos que B # &!()"#& con un error menor que ! !!()"#& por lo que si redondeamos a # &" obtenemos un error
| & | # &" # &!()"#& ! !!()"#& ! !"

3.Mtodo de Newton: En # & ; # &"&'#& sabemos que 0 ww B ! y 0 w B ! (el mnimo se encuentra en (" #), luego se dan las condiciones de la regla de Fourier. Debemos tomar como B! el extremos en que 0 B y 0 ww B tienen el mismo signo, por lo que B! # &"&'#&, ya que 0 2,5 ! y 0 # &"&'#& !. De esta forma, tenemos garantizada la convergencia. Como 0 ww B ! en todo el intervalo, se tiene que 0 w B) es creciente, por lo que
mn
B[#&;#&"&'#&]

0 w B 0 w # & / #& ( & ")#%*$*'!(!$%( . 0 B8 0 B8 0 w B & mn

y, por tanto, el error a posteriori viene dado por


& 8
B[#&;#&"&'#&]

Utilizando la frmula de Newton-Raphson , obtenemos

B! # &"&'#& &! ! !!#*%%#$'*''"% ' B" # &"#)'*)")#(#*& &" ( )''& "! "" B# # &"#)'#%"($!&'# &# & ''$% "! | & | # &"#)'# # &"#)'#%"($!&'# ! !!!!!!!!!!&''$ "!
'

por lo que redondeando a # &"#)'# obtenemos un error

Ejercicio $) La ecuacin !)"B " 68 B !, tiene dos races reales, una de las cuales es la unidad. Calcular la otra por el mtodo de Newton, estudiando previamente el campo de convergencia. Solucin: La ecuacin dada es equivalente a !)"B " = 68 B. Es decir, se trata de encontrar las intersecciones de la recta C !)"B " con la curva C 68B cuyas grficas se dan a continuacin.

Clculo Numrico Pgina 58

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Sea 0 B !)"B " 68B la ecuacin a estudiar sea 0 B ! Se puede observar que para valores mayores que ", pero prximos a B " la funcin es negativa, mientras que para B # es 0 # !)" 68# !, por lo que la raz se encuentra en (" #). El valor mnimo se calcula haciendo 0 w B ! )" " !, por lo que B7 " #$%&'(*!"#$%&(... B

Dado que 0 " $ ! podemos reducir el intervalo a (B7 #], en el cual no se anula la derivada (es siempre positiva) y tampoco se anula la segunda derivada (0 ww B B# ! para cualquier B [" $ #]). Por tanto, se cumplen los requisitos de la regla de Fourier y podemos garantizar la convergencia iniciando el proceso en B! " $. (El campo de convergencia a la raz comprendida entre " $ y # es el intervalo (B7 , _), ya que se verifican las condiciones de Fourier.) Dado que
B["$ #]

mn 0 w B 0 w # ! $"

, el error a posteriori viene dado por


&8 0 B8 ! $

, por lo que
B! B" B# B$ B% B& " $ " ((%*(#&#%'(%$" " &&'#$'"#(!!)%" " &!'((%$!#%$'() " &!$#%((%)*'%(# " &!$##))!!*')'! con con con con con con

&! ! !'%&%(&%)##%*( &" ! "(*)!*$$(%&""% &# ! !#('!$'&$&#&*! &$ ! !!"(#!"%##'$%" &% ! !!!!!*"%$*!#%" && ! !!!!!!!!!#'%)!
'

Por tanto, la raz buscada es " &!$##* con un error

| & | " &!$##* " &!$##))!!*')'! ! !!!!!!!!!#'%)! "!

Ejercicio $* Se considera la ecuacin (B ") 68 B # #B # (B ( !. Separar sus races y obtener la mayor de ellas con seis cifras decimales exactas por el mtodo de Newton aplicando, previamente, la regla de Fourier. Solucin: En primer lugar vamos a despejar el logaritmo de la ecuacin.
(B ") 68 B # #B # (B ( #B ")68 | B | #B # (B ( ! #B # (B ( #B ")

, por lo que

68 | B|

La funcin C 68 | B | es simtrica respecto al eje de ordenadas y tiene una asntota vertical en B !. La funcin C C (B # &)
" (B")

#B # (B ( es una hiprbola. Se puede simplificar su expresin escribiendo #B ")

con lo que es evidente que sus asntotas son las rectas C B # & y B ".

Grficamente se observan cuatro races reales, aunque las dos mayores podran no serlo si el crecimiento del logaritmo fuese ms lento que el de la hiprbola. Si embargo, mediante comprobacin de signos vemos que efectivamente existe las cuatro races y que se encuentran en los intervalos ( " !), (! "), (" #) y ($ %).

Clculo Numrico Pgina 59

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

En efecto: llamando 0 B (B ") 68 B # #B # (B ( se tiene que 0 " "' ! B" ( " !) 0 ! _ ! 0 " # ! B$ (" #) 0 # ! $) ! 0 ! _ ! B# (! ") 0 " # ! 0 $ ! $* ! B% ($ %) 0 % # ') !

La mayor de las races es la comprendida en el intervalo ($ %). Estudiemos, en primer lugar, las condiciones de la regla de Fourier.
0 w B # B" " %B # *B # %B "B # 68 B %B ( #68 B %B * #68 B # 68 B B B B B

por lo que si B pertenece al intervalo ($ %) es


0 w B # 68 % 0 w B # % $ "$ # ! )*... !. $

" " # #B "#B " # % # #B # B " B B B B#

Por lo que en el intervalo ($ %) es 0 ww B !. Como 0 % # '). . . !, tomando B! % converge el mtodo de Newton. Dado que en el intervalo [$ %] es 0 ww B !, la funcin 0 w B es decreciente y, adems, sabemos que es negativa, por lo que |0 ww B| es creciente y, por tanto
B[$%]

mn 0 w B 0 w $ " %'*%%#! 0 B8 0 B8 0 w B8 " %'* mn

El error a posteriori vendr dado, en cada iteracin, por &8

B[$%]

Aplicando la frmula de Newton-Raphson B8 " B8


B! B" B# B$ B$ % $ %$#'#"!"!&*%$" $ #%$*'%')(()$%( $ #")#)*!%)!&("* $ #"()!"%$#$&*"&

&! " )#&)*!*'))((#$ &" ! $'&&&*$"%'$#%$ &# ! !$*"$!$(!!*"!# % &$ ( "&*&')#)!&*##$ "! ( &$ # &((*"!$"**%&&% "!

0 B8 , obtenemos: 0 w B8

Si redondeamos a seis decimales obtenemos B $ #"()!" con un error

| & | $ #"()!" $ #"()!"%$#$&*"& ! !!!!!!#&((*"!$ "!

'

por lo que la mayor de las soluciones de la ecuacin es B $ #"()!" con sus seis cifras decimales exactas.

Ejercicio $"! Dada la ecuacin 0 (B) / B

(B # (B() "!(B") #

! se pide:

1.Determinar el nmero de races reales que posee y separarlas. 2.Demostrar que para cualquier B " ' es 0 w (B) ! y 0 ww (B) !. 3.Calcular la mayor de las races, con dos cifras decimales exactas, por el mtodo de Newton. Solucin: 1.Consideremos la funcin 1(B) 2 (B ) /
B # (B # (B() "!(B") #

y estudiemos grficamente su interseccin con

Clculo Numrico Pgina 60

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

La funcin 1(B) posee una asntota vertical en B " y otra horizontal en C ! ". Su derivada 1 w (B)
(&B() "!(B")$

se anula para B

( &

" %.

1 ww (B)

"!B"' "!(B")%

1 ww (" %) !

por lo que 1(B) tiene un mnimo en (" %; 1(" %)) (" % ; ! &#&). Los puntos de corte de 1(B) con el eje de abscisas viene dados por las races de la ecuacin B # (B ( !, es decir 1,208... y 5,791... . Los cortes con su asntota horizontal los determina la ecuacin ! " # (B (B () (B ") # o lo que es lo mismo, &B ' ! y por tanto B " #.
#

B # (B( "!(B") #

es decir

La funcin 2(B) = / B conocida como Campana de Gauss (conocida en algn curso de estadstica), tiene la # # asntota horizontal C !. Sus dos primeras derivadas son: 2w (B) #B /B B # y 2ww (B) (%B # #) / B . El nico punto en el que se anula la derivada 2w (B) es B !, siendo 2ww (!) # !, por lo que posee un mximo en el punto (!, 2(!)) (! "). Grficamente se detectan cuatro puntos de corte entre ambas funciones. (Obsrvese que entre & y ' ambas grficas vuelven a cortarse, ya que la campana de Gauss se hace prcticamente nula mientras que la otra grfica va buscando la asntota horizontal C ! " !).

Aplicando el Teorema de Bolzano a la funcin 0 (B) / B obtenemos:


0 " ! 0 ! ! =" " ! 0 " ! =# ! " 0 # ! =$ " #

(B # (B() "!(B") #

para separar sus races,

0 $ ! 0 % ! 0 & ! 0 ' ! =% & '

As pues, existen cuatro races situadas en los intervalos ( " !), (! "), (" #) y (& ') respectivamente. 2.Las dos primeras derivadas de la funcin 0 (B) son 0 w B #B /B
#

&B ( "!B "$

0 ww B (%B # #) / B

"!B "' "!B "%

Para valores de B mayores que " ' se tiene que #B /B !


&B( B"$
#

!
#

&B( "!B"$

w 0 B !

a B " '

(%B # #) / B
"!B"' B"%

%B # # ! ww /B # 0 B !

a B " '

Es decir, ambas derivadas tienen signo constante en dicho intervalo.

Clculo Numrico Pgina 61

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

3.Calculemos ahora la solucin existente en el intervalo (& '). En primer lugar aplicamos la regla de Fourier: El error a posteriori vendr dado por
& 8

0 & ! 0 w B !

y y

0 (') ! B! & 0 ww B !

B[&']

0 B8 0 B8 0 B8 w " %'* " %'* mn 0 B8

Haciendo uso de la frmula de Newton-Raphson B8 " B8


B! & B" & ''''''''$)')&! B# & ())"*%%%%$!&$% con con

&! " !"*!#"($*))&#" con &" ! "$)'%#%"''(**) &# ! !!$$&)!)$)!*"#

0 B8 , obtenemos: 0 w B8

Si redondeamos la segunda cifra decimal para escribir B &(*, el error vendr dado por | & | &(* & ())"*%%%%$!&$% ! !!$$&)!)$)!*"# "!
#

por lo que B &(* es la solucin pedida con dos cifras decimales exactas.

Actividad Personal
A continuacin se proponen ejercicios tomados en certmenes anteriores y ejercicios propuestos para ser resueltos a modo de autoevaluacin. " Por el mtodo de biseccin obtenga la nica raz positiva de la ecuacin no lineal: % -9=B /B !
B $
"

, con B ! & ".

# Sea la ecuacin /B " . Encuentre la raz no nula de esta ecuacin usando Newton-Raphson (B # $ $ Resuelva la ecuacin C B$ -9= B " . Utilice Newton-Raphson para multiplicidad de raices. # % Por iteracin funcional resuelva la ecuacin B 68B ! Grafique previamente.
7 & Se tiene un canal rectangular de base , & 7 por el cual escurre un caudal U "& =/1 . Se sabe que este canal posee una energa I " ( 7. Se pide encontrar la altura crtica (altura donde el escurrimiento cambia de estado) sabiendo que se cumple la relacin:
$

I 2-

;# # #12-

donde ;

U y 2- es la altura crtica. ,

Indicacin: Utilice 4 dgitos significativos y redondeo. Adems, una buena aproximacin para la altura crtica es el rango entre " $ y " (.

Clculo Numrico Pgina 62

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Cuando queremos evaluar una funcin 0 B en un PC, en general ser ms eficiente en tiempo y espacio tener una aproximacin analtica de ella que almacenar un conjunto de datos para determinar valores entre los datos que tenemos. Al tener datos experimentales, los cuales estn sujetos a distintos tipos de errores, debemos tomar suficientes lecturas experimentales de tal manera que las leyes estadsticas cancelen los errores introducidos. Por las leyes fsicas es posible ajustar los datos a una funcin conocida, luego el problema se reduce a resolver la determinacin de la "mejor funcin" que represente a los datos. El criterio que utilizaremos para cumplir este objetivo ser el de los Mnimos Cuadrados. Este criterio recibe el nombre Bondad de Ajuste. Nos centraremos slo en resolver el problema de que al tener un conjunto de puntos T5 B5 C5 , encontrar la ecuacin C 9 B que relacione las cantidades medidas B e C en el sentido de que su grfico represente de la "mejor forma posible" al conjunto de puntos. En general, la formulacin del problema es que dado un elemento 0 de un espacio mtrico I ., se pide encontrar un elemento 9* de un subespacio (J . de I ., tal que la distancia de 9* al elemento 0 sea la menor entre todas las distancias de los 9 J al 0 dado, es decir,
.9 0 min .9 0
9J

donde el elemento 9* recibe el nombre de mejor aproximacin a 0 por elementos de J (si es que existe dicho elemento). %" Mejor aproximacin en espacios normados. Teorema %"(Existencia de 9* en espacios normados): Sea I un espacio normado y sea J un subespacio de I . Si J es de dimensin finita, entonces existe al menos un elemento 9* J que es mejor aproximacin de 0 I por elementos de J Es decir,
b 9* J tal que: 0 9 * min 0 9
9J

Para este elemento 9* estudiaremos su existencia, unicidad y construccin.

Si I es un espacio prehilbert (real) y J un subespacio de I , de dimensin finita, de este teorema se deduce que existe una mejor aproximacin 9* J de 0 I , la cual satisface
0 9 * min 0 9
9J

Teorema %#. (Caracterizacin de 9* ) Una condicin necesaria y suficiente para que 9* J sea una mejor aproximacin de 0 I es que
0 9* , 9 ! a9 J

Teorema %$ (Unicidad de 9* ): La mejor aproximacin 9* J de 0 I por elementos de J , si existe, es nica. %"" Sistema de Ecuaciones Normales Para el espacio prehilbert I , J un subespacio de I .37J 8 y 0 I , consideremos la base de J que denotaremos U <" <8 Por tanto, la relacin siguiente
5" ! <5 <4 +5 0 <4 a 4 " 8 8

corresponde a un sistema de ecuaciones lineales de orden 8 8, donde las indeterminadas +5 5 " 8 son los * coeficientes para construir la combinacin lineal que detrerminar a 9 . Es decir,
9 * ! +5 < 5 8 5"

Clculo Numrico Pgina 63

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

%# Aproximacin discreta de mnimos cuadrados. Las leyes fsicas que rigen el fenmeno que se estudia experimentalmente nos proporcionan informacin importante que debemos considerar para proponer la forma de la funcin 9* B que queremos ajustar a los datos. Consideremos el intervalo cerrado + , tal que B5 pertenezca a l (5 " R , donde R /= es el nmero de datos Sea 0 V[+ , y 8 V[+ , un subespacio de dimensin 8 Adems, tomemos la base U <" <8 de 8 . La funcin de la funcin 0 si
9 * =! + 5 < 5 8 8 5"

es la mejor aproximacin discreta, en el sentido de los mnimos cuadrados,


R 8

"=B3 0 B3 9* B3 # min "=B3 0 B3 9 B3 #


3" 9 8 3"

siendo = una funcin de peso definida en [+ ,, tal que =(B3 ! para algn 3 " # R , que para efectos de simplificacin de clculos consideraremos igual a uno. Nota importante: En este apunte nos remitiremos slo al uso de la base polinimial U " B B# B8 ; dependiendo si es lineal 8 ", parablico 8 #, cbico 8 $, etc.
Los coeficientes +5 con 5 " 8 se obtienen resolviendo el sistema de ecuaciones normales
8" R +" +# ! B3 +8 !B3 !0 B3 R R R 3" R 3" R 3" R

3" R

8 ! B3 +" +# ! B# +8 ! B3 3 R 3" R 3" R

! 0 B3 B3
3" R

3"

$ # ! B# +" +# ! B3 +8 ! B8" ! 0 B3 B3 3 3 3" 3" 3"

(%"

! 8" B3 +" 3"


R

+#

! 8 B3 3"
R


+8

! #8# B3 3"
R

! 0 B3 B3
R 3"

8"

Ejemplo %# Determinemos la "mejor aproximacin discreta" de la funcin 0 V " % de la cual se conocen los puntos dados por la tabla
B3 0 B3 " # " " # $ $ & % '

Solucin: Del comportamiento de los puntos (ver grfica) la "mejor aproximacin discreta" ser una recta (8 2, es decir una regresin lineal). Luego, dado que R &, aplicando (%" nos da el sistema
+" " " " " " +# " " # $ % "$ +" " " # $ % +# " " % * "' %)

o equivalentemente
5+" *+# "$ *+# $"+# %) +"

#* ! $*")* (%

y +#

"#$ " ''#"' (% " B %.

Por tanto,

9 B

#* "#$ #* "#$ " B B (% (% (% (%

Clculo Numrico Pgina 64

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejemplo %$ Determinemos la mejor aproximacin discreta de la funcin 0 V " " de la cual se conocen los puntos dados por la tabla
B3 0 B3 " #
& % " #

! "

" # & %

" #

Solucin: De igual forma nos damos cuenta por la grfica del conjunto de datos que la "mejor aproximacin discreta" ser por una parbola (8 $ y R &); luego, aplicando (%" nos da el sistema
+" " " " " " +# " +" " +" " " # " # " % " )

! ! !

" # " % " )

" +$ "

" %

!
" )

" %

"
" )

"& #

!
" %

" #

" +# " +#

" +$ "

!
" )

" !
$( )

" %

"

"

"

+$ "

" )

"

o equivalentemente
5+" + & # +" & # +#

"& # ! +# ! "( +$ $( ) )
"& # $( )

& # +$

5+" & +$ # & * # +" % +$

+" " y +$ "

Por tanto, 9 B " " " B# " B# " B ". Representando grficamente tenemos

%$ Aproximacin discreta de mnimos cuadrados, caso no lineal. En el caso en que la mejor aproximacin 9 no es de la forma lineal, es posible intentar una transformacin por algn mtodo adecuado. Ejemplo %$ Si tenemos el conjunto de puntos B3 C3 en la tabla
B3 0 B3 C3 ! $ !! " ! %" # ! !& $ ! !"

y queremos encontrar la mejor aproximacin discreta 9 B que obedezca a la forma +" /+# B , para ! B $, linealizamos aplicando logaritmo natural para obtener 689 B 68+" +# B Luego, haciendo las sustituciones G B 689 B -" 68+" y -# +# , obtenemos

G B -" -# B

, lo que nos lleva a


B3 D3 68C3 ! " "! " ! )* # $ !! $ % '"

; luego, aplicando (%" da el sistema


%-" '-# ( $! '-" "%-# #! '#

; lo cual da como resultado:

-" " !* y -# " *%

Clculo Numrico Pgina 65

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

As, G B " !* " *%B Es decir, al volver a las incgnitas originales tenemos
+" /-" # *' +# -# " *%

De esta forma la funcin requerida es:

9 B # *'/"*%B .

%$" Mtodo de Gauss-Newton Este mtodo permite tratar los casos no lineales que no se pueden linealizar por algn mtodo. Consideremos los puntos dados B3 C3 3 " R , para los cuales queremos encontrar la mejor aproximacin discreta de la forma
9 B 0 -" -8 B

, donde -" -8 son parmetros a determinar.

Algoritmo del mtodo: Dado un vector inicial - ! 8 , se determinan los nuevos vectores - 3" 3 ! " # como sigue teniendo en cuenta la definicin siguiente
05 8 05 -" -8 0 -" -8 B5 5 " R

Paso " Para - 3 se calcula el punto de mnimo =3 que resuelve el problema lineal
D8

min <- 3 H0 - 3 D

# #

, es decir el vector solucin

del sistema
H0 - 3 > H0 - 3 =3 H0 - 3 > <- 3

donde

0 - 0" - 0R -> , - -" -8 8


C C" CR >

<- C 0 - <" <R >


#

Paso # Sea <7 C 0 - 3 7 =3

<#5 <! C 0 - 3
#

y sea 5 ! el entero ms pequeo que satisface la relacin


# #

Paso $ Se define - 3" - 3

" 3 = #5

Paso % El proceso se detiene si se satisface la relacin max


"48 3" -4 "!"!

-4

3"

-4
3

&

, para un & ! dado.

Si no se cumple la desigualdad anterior, volver al Paso ". con el - 3" recin calculado.

Clculo Numrico Pgina 66

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejemplo %% Determinemos la mejor aproximacin discreta de mnimos cuadrados de la forma 0 -" -# B -" /-# B tomando como vector inicial - ! " !! " !!, para la tabla
B3 0 B3 ! $ !! " ! %" # ! !& $ ! !"

Solucin: Dado que R % entonces haciendo: 0 -" -# B" 0" -" -# -" 0 -" -# B# 0# -" -# -" /-# 0 -" -# B$ 0$ -" -# -" /#-# 0 -" -# B% 0% -" -# -" /$-#
" !! " !! $ !! " !! ! /"!! ! $( ! %" ! $( ! 0 - #!! <- C 0 - ! "% ! !& ! "% / /$!! ! !& ! !" ! !&
!

" / -# H0 - ! #-# / /$-#


! " !! -" /-# ! $( #-" /#-# ! "% $-" /$-# "!! "!! ! !&

! !! ! $( ! #( ! "&

# !! ! !% ! !* ! !%

; tenemos

H0 - ! > H0 - ! " "' ! ")

" "' ! ")

! ") ! #$

H0 - ! > <- !

# !! ! !#

De aqu, el sistema de ecuaciones normales ser: ! ") = # !! =! " *) " '% " ! #$ =# ! !# ! !" d> # ! !% ;
# #

Para 5 !, tenemos

<#! <" c ! !# <! c # !! ! !%

! #! ! !*

! !$

! !% d> # % !"

mientras que

es decir, <" <!. Luego, - " - ! =! # *) # '%. Por tanto, - " # *) # '% max
"4#

Por paso % el test de detencin da:

-4 "!"!
"

-4 -4
" !

! '';

lo que para una condicin

preestablecida (& ! se detiene o se contina con - " # *) # '% en vez de - !

Clculo Numrico Pgina 67

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

%% Ejercicios
Ejercicio %" Determinar la mejor aproximacin discreta de la funcin 0 V " " de la cual se conocen los puntos dados por la tabla
B3 0 B3 " "
" # " #

! !

" # " #

" "

Solucin: Tomemos 8 $ y apliquemos (%" dando el siguiente sistema


&+" # &+" # &+# # &+$ $ ! "( ) +$ # #& +# ! + " ' $& y +$ ' (

' $&

Por tanto, 9 B

' (

B# " B " .

Ejercicio %# Determine la mejor aproximacin discreta de la funcin 0 V # # de la cual se conocen los puntos dados por la tabla
B3 0 B3 # $ " ! ! " " ! # $

Solucin: De manera anloga al ejemplo 4.2 da el sistema


+" " " " " " +# # " ! " # +$ % " ! " % & +" # " ! " # +# % " ! " % +$ ) " ! " ) ! +" % " ! " % +# ) " ! " ) +$ "' " ! " "' #%

o equivalentemente
5+" + "!+# "!+" "!+$ &

+# !

$%+$ "#

5+" "!+$ & "!+" $%+$ "#

+"

& (

y +$

" (

Por tanto, 9 B

& (

"

" (

B#

& (

" B# # B # . (

Ejercicio %$ Idem para la tabla


B3 0 B3 $ $# # * " ! ! " " !

Solucin: Ajustemos estos puntos con 8 % para obtener el sistema


&+" &+# "&+$ $&+% %! &+" "&+# $&+$ **+% ""% "&+" $&+# **+$ #(&+% #(* $&+" **+# #(&+$ (*&+% *$'

+1 "($ (

"($ ( "'** &'

, +#

%( #)

, +$

"'** &' "($ (

y +%

)$ )

Por lo tanto,

9 B

"

%( #)

B#

)$ )

B$

%( #) B

"'** # &' B

)$ $ ) B

" B ".

Clculo Numrico Pgina 68

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejercicio %% Obtener la mejor aproximacin discreta de mnimos cuadrados del tipo 3 3! / VG para la tabla
>= 3E " ) ")( # ' (!$ $ & %)) % % %*$ & $ '(*

>

Adems, calcular los valores de 3! y VG Solucin: En este caso es posible linealizar 3 3! / VG aplicando logaritmo natural, lo que nos da 683 683!
" VG > " VG ,
>

Luego, haciendo las sustituciones G B 683 -" 683! y -# G B -" -# > , lo que nos lleva a
" # "!$ # " *!$ $ " (!$ % " &!$ & " $!$

obtenemos

> D 68>

; luego, aplicando (%" da el sistema

&-" "&-# ) &"& "&-" &&-# #$ &%& -" # $!$ y -# ! #

; lo cual da como resultado

As, G B # $!$ ! #> Es decir, al volver a las incgnitas originales tenemos


" VG

3! /-" /#$!$ "! !!% -# ! # VG & 9 B # $!$/!#> .

Por lo tanto la mejor aproximacin es

Ejercicio %& En un trabajo experimental se han obtenido los valores que a continuacin se indican
> C> " !! & "# $ !! $ !! ' !! # %) * !! # $% "& !! # ")

Si el modelo que describe el fenmeno est dado por C>

cuadrados mnimos las constantes + y , de la frmula indicada, analizando el condicionamiento del sistema de ecuaciones normales. Solucin: Debemos determinar la mejor aproximacin discreta de mnimos cuadrados de la forma -" 0 -" -# > tomando como vector inicial - ! " !! " !!
-# >

-" determinar por el mtodo de los -# >

Solucin: Dado que R & entonces haciendo


-" -# " -" 0# -" -# -# $ -" 0$ -" -# -# ' 0" -" -# -" -# * -" 0& -" -# -# "& 0% -" -#

tenemos
0 -
-" -# " -" -# $ -" -# ' -" -# * -" -# "&

0 - !

1 1" 1 1$ 1 1' 1 1* 1 1"&

" # " % " ( " "! " "'

! & ! #& ! "% ! " ! !'

& "# ! & % '# $ !! ! #& # (& <- ! C 0 - ! # %) ! "% # $% # $% ! " # #% # ") ! !' # "#

Clculo Numrico Pgina 69

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

H0 - !

" -# " " -# $ " -# ' " -# * " -# "&

-" -# "# -" -# $# -" -# '# -" -# *# -" -# "&#


"!! "!!

! & ! #& ! "% ! " ! !'

! #& ! !' ! !# ! !" !

H0 - ! > H0 - !

! $& ! "%

! "% $ ') y H0 - ! > <- ! ! !( " $*

De aqu, el sistema de ecuaciones normales ser: ! $& ! "% Para 5 !, tenemos ! "% = $ ') =! *# #* #!% %$ " ! !( =# " $* ! !" d> # ! !% ;
# #

<! c # !!

<#! <" c ! !# ! !%

! #!

! !$

! !*

! !% d> # % !"

mientras que

es decir, <" <!. Luego, - " - ! =! # *) # '% Por tanto, - " # *) # '% Ahora, por paso % el test de detencin nos da: max
"4# " -4 "!"!

-4 -4
" !

! '';

lo que para una condicin preestablecida (& !

se contina con - " # *) # '% en lugar de - !

Ejercicio %' Se analiza el crecimiento poblacional de una determinada poblacin, obteniendo los datos siguientes:
> :> ! & " %& # #"( $ $&! % $(#

Se pide determinar la mejor aproximacin discreta de mnimos cuadrados de la forma :> Solucin: Tarea!

$(& " " / # >

Ejercicio %( A cierto fenmeno se le quiere ajustar el modelo C> fenmeno se han obtenido los datos siguientes
> C> " !! & "# $ !! $ !!

+ . En pruebas experimentales a este ,>


* !! # $% "& !! # ")

' !! # %)

Obtenga la mejor aproximacin discreta de mnimos cuadrados del tipo del modelo que quiere ajustar. Solucin: Tarea!

Clculo Numrico Pgina 70

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Actividad Personal
A continuacin se proponen ejercicios tomados en certmenes anteriores y ejercicios nuevos propuestos para ser resueltos a modo de autoevaluacin. " Ajuste a una lnea recta los valores de B e C dados en la tabla siguiente B C " ! & # # & $ # ! % % ! & $ & ' ' ! ( & &

# Para la ecuacin C +B, ajuste a los datos B C " ! & # " ( $ $ % % & ( & ) %

$ Adece los datos siguientes a un modelo exponencial B C ! % (&! ! ) "!!! " # "%!! " ' #!!! # ! #(!! # $ $(&!

% Considere lo datos B C Ajuste una: a) recta. b) ecuacin de potencias. c) parbola. & Dada la funcin C 0 B +" /,B y el valor inicial " " ajuste el conjunto de puntos B C ! #& ! #) ! (& ! &( " #& ! ') " (& ! (% # #& ! (* & "' "! #& "& $# #! $$ #& $) $! $'

Clculo Numrico Pgina 71

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Supongamos que se conocen los 8 " valores que toma una funcin 0 B, en los puntos del conjunto { B! B" B8 } denominado soporte, es decir, supongamos conocidos 0 B! C! , 0 B" C" , 0 B8 C8 . El problema de la interpolacin consiste en encontrar una funcin 1B de determinadas caractersticas y tal que 1B3 C3 para 3 ! 8. En caso de existir, se dice que 1B interpola a 0 B en el soporte { B! B" B8
}.

Al decir de w determinadas caractersticasw nos referimos a que se exige que 1B sea, por ejemplo, un polinomio, un cociente de polinomios, una funcin trigonomtrica, etc. La finalidad de encontrar una funcin 1B que interpola a otra 0 B en el soporte {B! B" B8 } es la de aproximar la funcin 0 B en un punto B de tal forma que se pueda decir que 0 B 1B una vez encontrada 1B. (Otra cosa es la evaluacin de 0 B 1B). Si el valor de B se encuentra en el intervalo [B! B8 ] se dice que estamos interpolando. Si se encuentran fuera de dicho intervalo, se dice que estamos extrapolando. Como aplicaciones ms directas tenemos: Evaluacin: (una aproximacin) de una funcin complicada 0 , en un cierto punto B.
( 1.
, +

Sustitucin: Si 1B es cmoda de derivar o integrar, la sustitucin, en cierta medida, de 0 w por 1w o ( 0 por


, +

En este tema slo trataremos la interpolacin polinomial y la interpolacin polinomial a trozos o por splines. Ejemplo &" Dada la tabla de valores
B C ! " " $ # (

, dado que los tres puntos no estn alineados, no existe

ninguna recta que interpole a dichos valores. Si queremos calcular la parbola C +B# ,B - que interpola a dichos valores, planteando el correspondiente sistema se obtiene, como solucin nica, C B# B ". Si nuestra intencin es buscar una parbola cbica C +B$ ,B# -B . , nos encontramos con que existen infinitas soluciones que son de la forma C B# B " !BB "B # para cualquiera que sea ! . Por ltimo, para calcular la funcin polinmica de grado 8 que interpola a dichos valores obtenemos C B# B " !B8" B "8# B #8$ para cualesquiera 8" 8# 8$ 8 y cualquier ! . &" Interpolacin polinomial Trataremos en esta seccin los tres tipos ms generalizados de interpolacin polinomial, a saber: Lagrange, Newton y Hermite. &"" Interpolacin de Lagrange Como en cualquier problema de interpolacin, consideremos la tabla
B C B! C! B" C" B8 C8

y construyamos el polinomio de grado 8 que interpola a dichos valores. Para ello, consideremos los denominados polinomios de Lagrange
B B" B B# B B8 B! B" B! B# B! B8 B B! B B# B B8 P" B B" B! B" B# B" B8 8 B B4 43 P3 B $ B B4 4! 3 P! B B B! B B" B B8" P8 B B8 B! B8 B" B8 B8"

Clculo Numrico Pgina 72

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Teorema &". Los polinomios de Lagrange, definidos anteriormente, verifican: + P3 B4 ! 3 4 " 3 4

, 1<+.9P3 B 8 cualesquiera que sea ! 3 8 - El polinomio


B! B" B8 T8 B C! P! B C" P" B C8 P8 B

interpola los valores de la tabla

B C

B! C!

B" C"

B8 C8

con

siendo 1<+.9T B 8
B C " ! # " P" B $ # % &

Ejemplo &# Para interpolar los valores de la tabla


B #B $B % " B$ *B# #'B #% " #" $" % ' B "B #B % " P# B B$ (B# "%B ) $ "$ #$ % # P! B

los polinomios de Lagrange son

B "B $B % " B$ )B# "*B "# # "# $# % # B "B #B $ " P$ B B$ 'B# ""B ' % "% #% $ '

y como T$ B C! P! B C" P" B C# P# B C$ P$ B, obtenemos que T$ B ( B$ "'B# $


*) $ B

"*

El clculo de los polinomios de Lagrange, puede verse con el Ejemplo 4.3, no es un proceso dinmico, en el sentido de que si ahora aadiramos un nuevo punto al soporte, habra que comenzar de nuevo todo el proceso. Teorema &# Dados los nmeros reales B! B" B8 y los 8 " nmeros reales cualesquiera C! , C" , . . . , C8 existe un nico polinomio T8 B de grado no superior a 8 tal que T8 B3 C3 para 3 ! 8. Dada una funcin 0 B de la que se conocen los transformados de 8 " puntos B! , B" , . . . , B8 y su polinomio de interpolacin de Lagrange T8 B, slo nos falta dar una medida del error que se comete al sustituir la funcin 0 B por el polinomio T8 B. Teorema &$. Sean B! B" B8 y sea 0 una funcin 8 " veces derivable tal que la derivada 0 8" B es continua. Sean C! 0 B! , C" 0 B" , . . . , C8 0 B8 , T8 B el polinomio de interpolacin de Lagrange de los valores de la tabla
B C B! C! B" C" B8 C8
0 8" - 8"x B

y B un nmero real cualquiera. Se verifica que


0 B T8 B B! B B8

donde el punto - se encuentra en el intervalo determinado por los puntos B, B! , B" , . . . , B8 . &"# Interpolacin de Newton Diferencias divididas Consideremos una funcin 0 B y un soporte {B! , B" , . . . , B8 } de 8 " puntos. Denotemos por 03 0 B3 y consideremos la tabla
B C B! 0! B" 0" B8 08

Vamos a probar que el polinomio de grado no superior a 8 que interpola a estos valores es de la forma
T B -! -" B B! -# B B! B B" -8 B B! B B" B B# B B 8"

para despus, calcular los valores de los coeficientes -! -" . . . -8 Teorema &%. Los coeficientes -! -" . . . -8 , descritos ms arriba, dependen de los valores B! , B" , . . . , B8 y 0! , . . . , 08 .

Clculo Numrico Pgina 73

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Dado que los valores de 0! , . . . , 05 lo= que dependen, respectivamente, de los valores de B! , B" ,, B8 , en lo que sigue utilizaremos la notacin -5 0 [B! , . . . , B5 ], con lo que el polinomio quedar de la forma
T B 0 [B! ] + 0 [B! , B" ](B B! ) + + 0 [B! B" . . . B8 ](B B! )(B B" ) (B B8 )

y quedar determinado una vez que se determinen los valores de los coeficientes 0 [B! B" B5 ] para 5 ! 8 Teorema && Sea T B el polinomio de interpolacin correspondiente a la tabla
B C B! 0! B" 0" B C B! 0! B8 08

. Si UB y
B8 08

VB son los polinomios que interpolan respectivamente a las tablas


B C B! 0! B" 0" B8 08

se verifica que T B UB

B B! VB UB. B8 B!

B" 0"

y,

Teorema &' Para cualquiera que sea 5 ! 8 se verifica que 0 [B! B" B5 ] 0 [B" B5 ] 0 [B! B" B5" ] siendo 0 [B3 ] = 03 para ! 3 8. B5 B!
B C " ! $ " % " & # ( . $

Ejemplo &$ Calculemos el polinomio de interpolacin de Newton de la tabla Aplicando diferencias divididas obtenemos la siguiente tabla
B3 " $ % & ( 03 ! " "
$ " # " & #

0 B3
" #

0 B3 B4

0 B3 B4 B5

0 B3 B4 B5 B6

& ' & '


& ' & '

& ")

#
" #

Por lo que el polinomio de interpolacin es


T B " B " & B "B $ & B "B $B % # ' '
& ") B

"B $B %B &

La ventaja de este mtodo, frente al de los polinomios de Lagrange, es que si ahora introducimos un nuevo dato, por ejemplo que 0 * &, el polinomio que se obtiene es UB T B 0 [B! , B" , B# , B$ , B% , B& ](B ")(B $)(B %)(B &)(B () y tan slo habra que calcular el coeficiente 0 [B! , B" , B# , B$ , B% , B& ] aadiendo una nueva lnea a la tabla anterior. Puede observarse que dada la tabla
B C B! C! B" C" B8 C8

, el polinomio de interpolacin es de la forma

T8 B T8" B 0 [B! B" . . . B8 ] B B! (B B" ) (B B8" )

Se tena, tambin, que para dicho polinomio era


0 B T8" B 0 8 0 B B! B B8" 8x 0 8 0 B8 B! B8 B8" 8x 0 8 0 B8 B! B8 B8" 8x
Clculo Numrico Pgina 74

Sustituyendo B por B8 tenemos:


0 B8 T8" B8

y dado que 0 B8 08 T8 B8 , se tiene que:


T8 B8 T8" B8

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Podemos, por tanto, enunciar el siguiente teorema. Teorema &'. Dada la tabla para el que
B! C! 0 8 - . 0 [B! B" . . . B8 ] 8x B C B" C" B8 C8

, con B! B" B8 , existe un punto - en el intervalo [B! , B8 ]

Diferencias finitas Consideremos la tabla en donde el soporte {B! B" . . . B8 } es regular, es decir, en el que las diferencias B3" B3 2 son constantes, que denominaremos paso. (Si B! ! y dicha diferencia es " es decir, si {B! B" . . . B8 } {! " . . . 8}, el soporte recibe el nombre de soporte cannico) Definicin &(. Dados C! C" . . . C8 , se definen las diferencias finitas ?5 C3 como
?C3 C3" C3 ?5 C3 ??5" C3

As, por ejemplo, para C! C" C# C$ se tendran:


?C! C" C! ?# C! ?C" ?C! ?C" C# C" ? C" ?C# ?C" ?C# C$ C#
#

?$ C! ?C" ?C!

Teorema &). Dada la tabla

B C

B! 0!

B" 0"

B8 08

en la que {B! B" . . . B8 } es un soporte regular con ?5 0! . 25 5x

B3" B3 2, se verifica que, para cualquier valor de 5 " 8, es 0 [B! B" ... B5 ]

El polinomio de interpolacin del soporte regular {B! B" . . . B8 } es, por tanto:
T8 B 0! ?0! T8 B 0! ?0! B B! ?# 0! B B! B B" ?8 0 ! B B ! B B8" ... 2 #x 2 2 8x 2 2

Teniendo en cuenta que B B5 B B! 52 B B! 52 , podemos poner


B B! ?# 0! B B! B B! ?8 0 ! B B ! B B! " 5 " 2 #x 2 2 8x 2 2

por lo que, si denotamos por >

B B! , se tiene que 2
?0! ?# 0! ? 8 0! > >> " >> "> 8 " "x #x 8x

T8 B 0!

Es decir:

> > > T8 B 0! ?0! ?# 0! ?8 0! " # 8

> >> "> 5 " donde 5 5x

Clculo Numrico Pgina 75

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

&"$ Fenmeno de Runge Dada una funcin continua en [+ , ], podra pensarse que la sucesin T8 B con 8 MR de polinomios de interpolacin, obtenidos al aumentar el nmero de puntos del soporte, converge a la funcin 0 B es decir, podramos pensar que lim | 0 B T8 B| ! , cualquiera que sea B [+ , ] ; cosa que, sin embargo, no es cierta. En realidad, al aumentar el nmero de puntos del soporte se mejora la aproximacin en la parte central del intervalo, pero la diferencia entre la funcin y el polinomio interpolador puede aumentar rpidamente en los extremos. Ello nos dice que no es bueno hacer demasiado extenso el soporte, ya que adems de aumentar el nmero de operaciones con la consecuente acumulacin de errores, podemos aumentar la prdida de precisin en los extremos. Este fenmeno es conocido como fenmeno de Runge.
" Ejemplo &% Si aproximamos la funcin 0 B "B# por un polinomio de segundo grado, en el soporte # { % ! %}, obtenemos que T# B "B . En la Figura &.2 podemos ver ambas grficas. "( 8_

Figura &# Las grficas de 0 B y T# B

Si aumentamos el nmero de puntos y la aproximacin la hacemos mediante un polinomio de grado % # % en el soporte { % # ! # %} obtenemos T% B )&#"B B que podemos ver representada junto a la )& funcin 0 B en la Figura &.3.

Figura &$ Las grficas de 0 B y T% B

Si afinamos an ms y aproximamos mediante un polinomio de grado ) en el soporte { % $ # " ! " # $ %} obtenemos T) B en la Figura &.4.
" "(!! "(!!

""#%B# $!%B% $"B' B)

, cuya grfica podemos observar

Figura &% Las grficas de 0 B y T) B

Puede verse el hecho comentado anteriormente del fenmeno de Runge. Vamos mejorando la aproximacin en la parte central del intervalo, pero vamos empeorndola en los extremos.

Clculo Numrico Pgina 76

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

&"% Interpolacin de Hermite Este mtodo consiste en buscar un polinomio que interpole a una funcin 0 B en el soporte {B! B" ,..., B8 } pero haciendo que coincidan, en los puntos del soporte, no slo los valores de la funcin con los del polinomio, sino que tambin coincidan los valores de sus respectivas derivadas. Consideremos, por tanto, la tabla
B 0 B 0 w B B! 0! w 0! B" 0" w 0" B8 08 w 08

donde 03 0 B3 y 03w 0 w B3 para ! 3 8. Se tienen, en este caso, #8 # condiciones, por lo que debemos buscar un polinomio de grado #8 "
T B +#8" B#8" +#8 B#8 +" B +!

que verifique las condiciones:


T B! 0! T B" 0" T B8 08
w T w B! 0! w w T B" 0" w T w B8 08

Teorema &* Dada la tabla soporte dado. El polinomio

B 0 B w 0 B

B! 0! w 0!

B" 0" w 0"

B8 08 w 08
8

, sean P5 B (5 ! 8) los polinomios de Lagrange para el

T#8" B "+5 ,5 B B5 P# B 5
5!

en el que

+5 05 , 0 w #0 Pw B 5 5 5 5 5

verifica que

T#8" B5 05 w w T#8" B5 05

5 ! 8

siendo, adems, el nico polinomio de grado #8 " que verifica las condiciones anteriores. Llamando DB B B! B B" B B8 se tiene que D w B " B B" B B8 B B! B B" B B8w por lo que D w B! (B! B" ) (B! B8 ) y de manera anloga se obtiene que D w B5 (B5 B" )(B5 B8 ), por lo que los polinomios de Lagrange pueden escribirse de la forma
P5 B DB B B5 D w B5

para el soporte {B! B8

Teorema &"! Sea 0 B una funcin #8 # veces derivable con derivada de orden #8 # continua y sea T#8" el polinomio de Hermite que interpola a 0 B en el soporte {B! B8 . Existe un punto - del intervalo que determinan los puntos B B! B8 en el que se verifica que
0 B T#8" B 0 #8# - B B! # B B8 # #8 #x

Ejemplo && Consideremos el Ejemplo &% en el soporte { % ! %} y calculemos el polinomio de interpolacin de Hermite Sea 0 B
" #B 0 w B tal que al tabular los datos obtenemos " B# " B# #
B 0 B 0 w B %
" "( ) #)*

! " !

%
" "(

) #)*

Clculo Numrico Pgina 77

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Luego,

DB B %BB % B$ "'B

De esta forma, P5 B
DB BB5 $B# "' 5

D w B $B# "' D w B! $# D w B" "' D w B# $#

P! B

BB % " $ Pw! B! #B! % $# $# ) B# "' " w P" B P" B" #B" "' " "' "' B# %B " $ P# B Pw! B! #B# % $# $# )
" "( " "( )$ ""&'

Asi, los coeficientes +! 0!


w ,! 0! #0! Pw! B! )$ ""&'

+" 0 " "

+# 0 #

w w ," 0! #0! Pw! B! # ,# 0! #0! Pw!B!

Por lo tanto, el polinomio de interpolacin de Hermite ser T& B +! ,! B B! P# B +" ," B B" P# B +# ,#B B#P#B ! # "
T& B T& B
" "( " % $# B# %B " B #

)$ ""&' B

" # "' B

"'
#

" "(

)$ ""&' B

" % $# B# %B

"* )$B# B )$B# B %B# "' B# "'# B %B# "'# "( "")$(%% #&' "")$(%%

Ejemplo &6 Si aplicamos este mtodo a la funcin del ejemplo anterior, en el soporte { % # ! # %} obtenemos el polinomio de grado 8 (en realidad se busca de grado * pero al ser una funcin par, el trmino de grado * se anula) " T) B = (##& $"#*B# &'*B% %"B' B) cuya grfica puede verse en la Figura &' (##& ("). Si lo hacemos en el soporte { % $ # " ! " # $ %} obtenemos
T"' B " #)*!!!! #&&)##%B# "'"$&)%B% '#''))B' "%%%!)B) "*&#(B"! "&!(B"# '"B"% B"' #)*!!!!

que podemos ver en la Figura &' (#).

Figura &' La funcin 0 B y los polinomios de Hermite T) B y T"' B

Si comparamos con los resultados obtenidos en el Ejemplo &"$, podemos observar la mejora que produce la imposicin de que coincidan no slo los valores de la funcin, sino que tambin lo hagan los de su derivada, en los puntos del soporte. Sin embargo, sigue manifestndose el fenmeno de Runge, es decir, se mejora el resultado en la parte central del intervalo, pero en los extremos, la diferencia entre el polinomio interpolador y la funcin es considerable. La manera de evitar el fenmeno de Runge es hacer una interpolacin polinomial a trozos, es decir, lo que se conoce como una interpolacin por splines y que estudiamos en la siguiente seccin.

Clculo Numrico Pgina 78

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

&# Interpolacin por splines Consideremos una particin del intervalo [+ , ]: ? = {B! + B" B# B8" B8 , } en la que los puntos B3 reciben el nombre de nodos. Una interpolacin por splines no es ms que tomar un soporte en cada subintervalo [B3" B3 ] y construir un polinomio de interpolacin, de grado no superior a 5 (para un 5 prefijado) sobre dicho soporte, por lo que el mtodo se conoce tambin como interpolacin polinomial a trozos. Damos a continuacin una definicin formal de lo que denominaremos funcin spline. Definicin &"". Una funcin spline de grado 5 con nodos en B! B" B8 es una funcin WB formada por varios polinomios, cada uno de ellos definido sobre un subintervalo y que se unen entre s bajo ciertas condiciones de continuidad. Las condiciones que debe cumplir WB son las siguientes: En cada intervalo [B3" , B3 ), WB es un polinomio de grado[WB] 5 , WB admite derivada continua de orden 5 " en [B! B8 ]. En general, pueden crearse funciones spline de grado 5 cualquiera, pero la interpolacin ms frecuente es a travs de funciones spline de grado $, es decir, de splines cbicos. &#" Splines cbicos Dado que a partir de ahora vamos a trabajar con splines cbicos, vamos a restringir la Definicin &"" al caso de 5 $. Definicin &"#. Dado el conjunto de puntos ? = {B! + B" B# B8" B8 , }, diremos que la funcin W? es un spline cbico asociado a ? si cumple las siguientes condiciones: La restriccin de W? a cada intervalo [B3" , B3 ) para 3 " 8 es un polinomio de grado no superior a tres. Es decir, W? [B3" , B3 c$ B , donde c$ B representa al conjunto de los polinomios de grado $. W? G # + , , es decir, W? es una funcin continua, dos veces derivable y con derivadas continuas en el intervalo [+ , ].
B8" B8 , },

Definicin &"$ Diremos que W? (B) es un spline de interpolacin en B segn la particin ? {B! + B" B# si W? (B) es un spline cbico asociado a ?. W? (B3 ) 0 B3 C3 para 3 ! 8, es decir, cumple las condiciones de interpolacin.

Antes de construir un spline cbico vamos a ver cuntas condiciones ha de cumplir y cuntas incgnitas van a hacernos falta. Si en cada intervalo de la particin intentamos construir un polinomio de grado tres que aproxime a la funcin, deberemos calcular cuatro incgnitas (los cuatro coeficientes del polinomio de grado tres) por intervalo, es decir, %8 incgnitas. Por otro lado, estos polinomios deben cumplir, en cada uno de los nodos, las condiciones:
W ? [ B
w W ? [ B
3" ,

B3

3" , B3 W w w? [B , B B3 3" 3

w B W? [B , B 3

B3 W? [B , B
3

B3 3 3" w W w ? [B , B B3 3 3"

3"

B3 3 " 8 " &"

Es decir, se deben cumplir un total de $8 " condiciones adems de las 8 " condiciones de interpolacin W? (B3 ) 0 B3 para 3 ! 8. Dado que tenemos un total de %8 incgnitas para %8 # condiciones, debemos imponer dos nuevas condiciones para poder determinar los coeficientes de la funcin spline. Dependiendo de las condiciones que impongamos, obtendremos un tipo de spline u otro. Si exigimos que las derivadas segundas se anulen en los extremos, es W? + W? , ! , diremos que W? B es el spline natural asociado a la particin ?. w w Si exigimos que W? + W? , y W w w? + W w w? , diremos que se trata de un spline peridico. decir, si

Clculo Numrico Pgina 79

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

&## Clculo de los splines cbicos de interpolacin Nos centraremos en el clculo de los splines naturales y con el fin de simplificar la notacin, llamaremos
23 B3 B3" Q3 W w w? B3 3 " 8 3 ! 8

Los valores Q3 se denominan momentos y determinarn completamente los splines cbicos. Obsrvese que como en cada intervalo [B3 B3" ] el spline W? es un polinomio de grado tres, su segunda derivada es una recta (un polinomio de grado uno). En consecuencia, al imponer las condiciones (&") sobre la igualdad de las derivadas segundas en los nodos, obligamos a que la segunda derivada de la funcin spline W w w? constituya un conjunto de rectas que se intersecan en los nodos de la particin elegida. Ahora bien, dado que cada recta queda determinado por dos puntos, podemos escribir el valor de las restricciones (&.1) sobre W ? como
ww W? [B , B
3 3"

B Q3

B3" B B B3 Q3" 23" 23"

Integrando respecto a B obtenemos el valor de la primera derivada del spline en este intervalo B3" B# Q3" B B3 # W w ? [B , B B Q3 E3 # 3 3" 23" # 23" Volviendo a integrar respecto a B obtenemos
W ? [B , B
3 3"

Q3 B3" B$ Q3" B B3 $ E3 B B3 F3 ' 23" ' 23"

Si imponemos ahora las condiciones de interpolacin W? (B3 ) C3 obtenemos


Q3 # 2 F3 C 3 ' 3" Q3" # 23" E3 23" F3 C3" ' F3 C3 E3
Q3 # ' 23"

W? (B3" ) C3"

C3" C3 23"

23" ' Q3"

Q3

Podemos hallar as los valores de las constantes E3 y F3 , que determinan W? (B ) en el intervalo [B3 B3" ], en funcin de los momentos. El problema se reduce, por tanto, a calcular los momentos para cada uno de los intervalos, para lo que utilizaremos la nica condicin de (&") que no hemos utilizado:
w W? [B
3" ,

B3

w B3 W? [B , B
3

3"

B3

Esta condicin nos da, para cada 3 " 8 ", una ecuacin:
23 23" ' C3" C3 C3 C3" Q3" #Q3 Q3" 23 23" 23 23" 23 23" 23" 23

En el caso del spline natural tenemos que Q! Q8 !, quedndonos el sistema tridiagonal de 8 " ecuaciones con 8 " incgnitas
# 2# 2 2 $ # 2# 2" 2# # C" C! ' C# C" " 2# 2" 2" 2# Q # ' C$ C# C# C" Q 2# 2$ 2$ 2# Q 8" ' C8 C8" C8" C8# 28" 28 28 28"

2$ 2# 2$

23 28" 28 28" 28# 28" #

Clculo Numrico Pgina 80

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Este sistema puede resolverse por cualquiera de los mtodos iterados estudiados en el Tema $ ya que, al ser la matriz del sistema de diagonal dominante, todos ellos son convergentes. Ejemplo &( Si aplicamos le interpolacin por splines cbicos a la funcin del Ejemplo &4 0 B
" en " B#

la particin ? % $ # " ! " # $ % obtenemos el resultado de la Figura 5( en el que puede verse que, independientemente de ser mejor que el que se obtuvo en la Figura 5' (#) con el mtodo de Hermite, no aparece el fenmeno de Runge.

Figura &( La funcin 0 B y su interpolacin por splines cbicos

&$ Ejercicios
Ejercicio &" Calcular los polinomios de Lagrange para el soporte cannico con " 8 $. Solucin: Los polinomios de Lagrange para el soporte cannico {B3 3} (3 ! 8) son P5 B $
8 3! 35

B3 DB 53 B 5D w 5

5 ! 8

donde DB BB "B 8 Si 8 ", el soporte cannico es W {! "}


DB B" P B ! B" B !D w ! " DB BB " B# B DB B D w B #B " P" B B B "D w " " DB B "B # B# $B # w ! B !D # # DB BB # P" B B# #B B "D w " " DB BB " B# B P# B w # B #D # # P! B

Si 8 #, el soporte cannico es W {! " #}


DB BB "B # B$ $B# #B D w B $B# 'B #

Si 8 $, el soporte cannico es W {0, 1, 2, 3} DB BB "B #B $ B% 'B$ ""B# 'B D w B %B$ ")B# ##B '
DB B !D w ! DB P" B B "D w " DB P# B B #D w # DB P$ B B !D w ! P! B B "B #B $ B$ 'B# ""B ' ' ' BB #B $ B$ &B# 'B # # BB "B $ B$ %B# $B # # BB "B # B$ $B# #B ' '

Clculo Numrico Pgina 81

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejercicio &# Hallar el polinomio de interpolacin de la funcin 0 B #B% en el soporte cannico {! " # $}. Obtener una expresin del error. Solucin: En el Ejercicio &" se obtuvieron los polinomios de Lagrange en el soporte cannico W {! " # $}, que resultaron ser
P! B " B$ B# "" B " ' ' P" B " B$ & B# $B # # P# B " B$ #B# $ B # # P$ B " B$ " B# " B ' # $

El polinomio de interpolacin viene dado (a travs de los polinomios de Lagrange) por


T8 B "0 B5 P5 B
8 5!

y como 0 ! ! 0 " # 0 # $# y 0 $ "'#, obtenemos que


T$ B ! P! B # P" B $# P# B "'# P$ B # " B$ & B# $B $# " B$ #B# $ B "'# " B$ " B# " B # # # # ' # $ B$ &B# 'B "'B$ '%B# %)B #(B$ )"B# &%B "#B$ ##B# "#B

El error viene dado por:


&B DB 0 8" -B 0 MZ -B BB "B #B $ 8 "x %x

y dado que 0 B #B% , se tiene que 0 MZ B %) , por lo que


&B BB "B #B $ %) #BB "B #B $ #%

Ejercicio &$ Hallar el polinomio de interpolacin de la funcin 0 B /B en el soporte {! "} y con l, aproximar la raz cuadrada del nmero / estimando el error cometido. Solucin: Al tratarse del soporte cannico con 8 ", podemos ver en el Ejercicio %" que los polinomios de Lagrange son:
P! B B " y P" B B

Por tanto, el polinomio interpolador resulta ser


T" B 0 !P! B 0 "P" B /! B " / " B B " / B / "B "

El error viene dado por:


&B DB 0 8" -B 0 -B BB " 8 "x #x
ww

y al ser 0 w w B /B se tiene que &B BB "

/B #

El error al aproximar la raz cuadrada de /, es decir al calcular 0 ! &, por T" ! & es:
&! & ! &! & " /!& ! #& -B / ! "#&/-B # #

Como ! -B " se tiene que /! < /-B < /" # (")#... y, por tanto:
&! & ! "#&/ ! $$*( ! $%

siendo / " )&*"% T" ! & / "! & " /" " )&*"% #

es decir:

con un error & 0,34.

Clculo Numrico Pgina 82

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejercicio &% Obtener el polinomio de interpolacin de los puntos (( $), () "), (* ") y ("! *) basndose en los polinomios de Lagrange para el soporte cannico. Solucin: Como tenemos cuatro puntos, el soporte cannico W {! " # $}. Los polinomios de Lagrange para esta soporte (ver Ejercicio %") son: " "" " $ P! B B$ B# B " P# B B$ #B# B ' ' # # " " P" B " B$ & B# $B P$ B " B$ # B# $ B # # ' El polinomio de interpolacin viene dado por: T$ B ! 0 B3 P3 >
$ 3!

con >

B B! 2

En nuestro caso, B! ( y 2 ", por lo que > B (. Por tanto: T$ B $ P! B ( " P" B ( " P# B ( * P$ B ( $ " B ($ B (# ' " " B #
"" ' B $

( "

( & B (# $B ( #

" " B ($ #B (# $ B ( # # * " B ($ " B (# " B ( ' # $ B ($ #B (# B ( $ Es decir: T$ B B$ #$B# "(%B %$"

Ejercicio && Obtener el polinomio de interpolacin de los puntos: (! &), (" $), (# ") y ($ "$) 1.Mediante resolucin de un sistema de ecuaciones. 2.Mediante polinomios de Lagrange 3.Por el mtodo de Newton para diferencias divididas. 4.Por el mtodo de Newton para diferencias finitas. Solucin: 1. Al tener cuatro puntos, el polinomio que debemos buscar es de grado tres,
T B +$ B$ +# B# +" B +!

Sustituyendo los puntos del soporte obtenemos el sistema T$ ! +! & T$ # )+$ %+# #+" +! " T$ " +$ +# +" +! $ T$ $ #(+$ *+# $+" +! "$ cuya solucin es +! &, +" $, +# # y +$ ", por lo que el polinomio de interpolacin es T$ B B$ #B# $B & 2. Dado que el soporte es el cannico para 8 $, para los polinomios de Lagrange del Ejercicio %" y dado que el polinomio de interpolacin viene dado por T$ B C! P! B C" P" B C# P# B C$ P$ B se tiene:
T$ B & " B$ B# '
"" ' B

"$

" B$ '

" # #B

" $ B

" $ " B$ & B# $B " " B$ #B# $ B # # # #

es decir, T$ B B$ #B# $B &


Clculo Numrico Pgina 83

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

3. Comenzamos por construir la tabla de diferencias divididas:


B3 ! " # $ 0 B3 & $ % " "# "$ % 0 B3 B4 # " " 0 B3 B4 B5 0 B3 B4 B5 B6

El polinomio de interpolacin viene dado por


T$ B 0 B! B B! 0 B! B" B B! B B" 0 B! B" B# B B! B B" B B#0 B! B" B # B$

se obtiene que
T$ B & #B B! "B B! B B" "B B! B B" B B# & #B BB " BB "B #

es decir: T$ B B$ #B# $B & 4.La tabla de diferencias finitas es


B3 ! " # $ 0 B3 & $ " "$ ?0 B3 # % "# ?# 0 B3 # ) ?$ 0 B3 '

y dado que el polinomio de interpolacin viene dado por B B! B! B , se tiene que 2 "

> > > > T$ B ! 0 B! " ?0 B! # ?# 0 B! $ ?$ 0 B!

donde >

B B B B BB " BB "B # T$ B & # # ' & #B # ' ! " # $ #x $x & #B BB " BB "B # B$ #B# $B &

Ejercicio &' Probar que J 8 "# ## $# 8# es un polinomio en 8 y obtenerlo por interpolacin. Solucin: Consideremos las diferencias finitas de J 8 con paso 2 ": ?J 8 J 8 " J 8 "# ## 8# 8 "# "# ## 8# 8 "# Dado que ?J 8 8 "# cualquiera que sea el valor de 8 ?J 8 es un polinomio de segundo grado, por lo que ?# J 8 ser un polinomio de primer grado, ?$ J 8 una constante y ?% J 8 ser idnticamente nulo para cualquier valor 8. Esto prueba que J 8 es un polinomio de tercer grado. Para obtenerlo, lo ms sencillo es utilizar la frmula de Newton para diferencias finitas con cuatro puntos:
B3 " # $ % J B3 " & "% $! ?J B3 % * "' ?# J B3 & ( ?$ J B3 #

siendo >

B B! B ". 2

> > > > T$ B ! J B! " ?J B! # ?# J B! $ ?$ J B!

Clculo Numrico Pgina 84

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

& " T$ B " " % > & >>" # >>"># " %B " # B "B # $ B "B #B $ #x $x " " $ ' ' #%B " "&B "B # #B "B #B $ ' #B $B# B " BB "#B " '

por lo que J 8

88 "#8 " '

. Ejercicio &( Obtener el polinomio de interpolacin de Hermite de la funcin 0 (B) 68 B en el soporte {" #} y, supuesto conocido 68 #, aproximar el valor de 68 " & acotando el error cometido. Solucin: Calculemos, en primer lugar, los valores que toman tanto la funcin como su derivada en los puntos del soporte. 0 B 68B 0 w B " B 0 " ! 0 w " " 0 # 68# 0 w # ! &

Los polinomios de Lagrange en el soporte {" #} son (ver el Ejercicio %") : P! B B# #B "#
8

P" B

B" B" #"

luego el polinomio de interpolacin de Hermite, que viene dado por


T#8" B ! +5 ,5 B B5 P# B 5
5!

+ 0 B5 con 5 ,5 0 w B5 #0 B5 Pw5 B 5

es, en nuestro caso:


T$ B +! ,! B "P# B +" ," B #P# B ! "

con
+! 0 " ! +" 0 # 68# ,! 0 w " #0 "Pw" " " # ! " " ," 0 # #0 #Pw# # ! & # 68# " ! & #68#
w

por lo que
T$ B B "P# B 68# ! & #68#B #P# B ! "

y sustituyendo los valores de P! B y P" B obtenemos


T$ B B "# B# 68# ! & #68#B #B "#

Para B " & se tiene


T$ " & ! &! &# 68# ! & #68# ! &! &# ! %!*!($&*!

El error viene dado por:


&B D # B 0 #8# -B 0 MZ -B B "# B ## #8 #x %x &" &

y dado que
0 MZ -B ' ' % ' % -B " ! &# ! &# ' ! !"&'#& %x

es decir:

68" & ! %!*!($&*! con un error

& ! !"&'#&

Clculo Numrico Pgina 85

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejercicio &): Dada la funcin 0 B /B , hallar el polinomio de interpolacin en el soporte { " ! "} y una cota del error en el intervalo [ " "]. Calcular T (! !") y compararlo con el valor dado por la calculadora para /!!" .
8 5!

Solucin: Obtendremos el polinomio, por ejemplo, mediante la interpolacin de Lagrange T8 B ! 0 B5 PB5 en la que los polinomios de Lagrange vienen dados por
DB P5 B B B5 D w B5 con DB B "BB " B$ B D w " # w D B $B# " D w ! " D w " # B "B " B# " "

Por tanto,
P! B P# B BB " " B# B # #
B"B #

P" B

" B# B #

y como 0 " /" , 0 ! " y 0 " /.


" " / /" # # / /" T# B /" B# B " B# " / B# B B B" # # # #

o, de forma aproximada T# B ! &%$!)!'$&B# " "(&#!""*%B " El error viene dado por &B DB
0 '''B /B 0 ''' B

Dado que

0 "'B . $x
por lo que &B / DB '

mx 0 ''' B /
B ""

Utilizando la norma infinito

Como D w B $B# ", para que D w B !, ha de ser B "$. Puede verse en la grfica de la funcin B$ B que su derivada $B# " se anula (posee extremos relativos) en dichos puntos.

DB

B""

mx DB mx B$ B
B""

Grfica de B $ B

Por tanto,

" " " # # DB D _ $ $ $ $ $ $ $ $ ' $$ ! ")

/ / # es decir &B DB_ '

Comparando con la calculadora tenemos: B ! !" Por extrapolacin En la calculadora T# ! !" " !"")!'$#! /!!" " !"!!&!"'(

por lo que el error cometido es &! !" T ! !" /!!" ! !!"(&'"&$ " ) "!$ Puede verse claramente que el verdadero error es bastante menor que la cota obtenida de ! ").
Clculo Numrico Pgina 86

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Actividad Personal
A continuacin se proponen ejercicios tomados en certmenes anteriores y ejercicios propuestos para ser resueltos a modo de autoevaluacin. " Use interpolacin de Lagrange para evaluar 68# con base en los datos B 0 " ! % " $)'#*% ' " (*"('!

# Estime por Lagrange el logarito de & en base "! (691&, con sus respectivos errores, mediante los datos a) B C b) B C % ! '!#!' ' ! (()"&"$ & & ! (%!$'#(

% & ! '&$#"#&

$ Por diferencias divididas determine 68#, y su respectivo error, para los puntos B C " ! % " $)'#*% ' " (*"('! & " '!*%$)

% Dada la tabla B C Cw polinomios de Hermite. & Por Spline cbicos encuentre un polinomio de interpolacin para los puntos " $ ! # " " # ! " ! &)"*('( ! *#!'($' # ! "&'&"(' ! ")"!"&% $ , ! !&#$*&( ! !&&"%"! interpole los datos por

Clculo Numrico Pgina 87

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

distintos problemas que se presentan en la prctica, como son: ' , 0 B.B J , J +


+
#

X n este tema se pretende dar una aproximacin numrica del valor de una integral ( 0 B.B en los
, +

Conocida una primitiva J B de la funcin 0 B sabemos que

pero necesitamos aproximar el valor de J , J +. As, por ejemplo, (


" # " .B 68B 68# 68" 68# , pero hay que aproximar el valor de 68#. " B

Si se conoce la funcin 0 B, pero no se conoce ninguna primitiva suya, se busca otra funcin 1B que aproxime a la funcin 0 B y de la cual s se conozcan primitivas. As, por ejemplo, para calcular (
# B "

/ .B, se desarrolla en serie de potencias B

B8 "B 8" /B 8x &B " " B 0 B &B 1B &B B B B 8x

para obtener que ( 0 B.B ( 1B.B ( &B.B en donde habr que evaluar ( &B.B.
# # # # " " " "

Slo se conocen los valores de 0 B en un soporte {B! B" B8 }. En ste caso, se interpola la funcin (por ejemplo mediante la interpolacin polinmica).
( 0 B.B ( T8 B.B (
, , + + , , +

0 8" - B B! B B" B B8 .B 8 "x


, ,

( 0 B.B ( T8 B.B ( &B.B


+ + +

'" Frmulas de cuadratura Si realizamos la interpolacin de Lagrange, y llamamos DB B B! B B" B B8 , el polinomio de interpolacin viene dado por
T8 B C! P! B C" P" B C8 P8 B DB B B5 D w B5

en donde los polinomios de Lagrange P3 B pueden expresarse de la forma P5 B Adems, ( T8 B.B "( C3 P3 B.B " C3 ( P3 B.B "+3 C3
, 8 , 8 , 8 + 3! + 3! + 3!

donde los coeficientes +3 ( P3 B.B


, +

no dependen de la funcin, sino slo del soporte.

Por otra parte, si 0 B es un polinomio de grado no superior a 8, (B) !, por lo que para polinomios es
( T (B) .B " +3 T B3
, 8 + 3"

Por tanto:
T B " , + +! +" +8 , # +# T B B +! B! + " B " + 8 B 8 # ,8" +8" 8 8 8 8 T B B +! B! + " B " + 8 B 8 8"

'"

Clculo Numrico Pgina 88

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

sistema que, en forma matricial es


" B! B8 ! " B" B8 " ,+ " +! , # +# B8 " + # 8" B8 +8 + , 8" 8 8"

cuyo determinante es un Vandermonde. Una vez calculados los coeficientes +3 se obtiene una frmula de aproximacin que slo depender del soporte. Para cada soporte, las frmulas reciben el nombre de frmulas de cuadratura. Ejemplo '" Vamos a integrar una funcin 0 B en [! "] considerando los soportes
" " W" ! $ #

" " $ W # . % # %
" " " ( 0 B.B +! 0 ! +" 0 +# 0 $ # !

" " En el soporte W" ! : $ # El sistema a resolver es, en este caso:


T B " +! +" +# " " " " T B B ! +! +" +# $ # # " " " # T B B ! +! +" +# * % $

cuya solucin es +!

" $ +" + # # # #

y, por tanto, ( 0 B.B


" !

" $ " " 0 ! 0 #0 # # $ #


" " " $ ( 0 B.B ,! 0 ," 0 ,# 0 % # % !

" " $ En el soporte W# : % # %

El sistema a resolver es, en este caso:


T B " ,! ," ,# " " $ " T B B " ,! ," ,# % # % # " " * " # T B B ,! , " ,# "' % "' $ # " ," cuya solucin es ,! $ $

,#

# $

por lo que ( 0 B.B 0 0 0


" !

# $

" %

" $

" #

# $

$ %

Las formas ms generalizadas de aproximacin de la integral de una funcin 0 B se realizan mediante uno de los dos procesos siguientes: Dando un soporte (generalmente regular) y los valores de la funcin en los puntos del soporte. Frmulas de Newton-Cotes. Dando diferentes soportes y buscando el polinomio T B que hace ms pequea la integral ' , (0 B T B.B. + Frmulas de Gauss que no se vern en este curso.

Clculo Numrico Pgina 89

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

'# Frmulas de Newton-Cotes Partamos del soporte regular {B! B" B8 } con B! +, B" + 2, . . . , B3 + 32 , . . . , B8 + 82 , Si llamamos DB B B! B B" B B8 se tiene que los polinomios de Lagrange son
P3 B B B! B B" B B8 B +B + 2B + 82 B B3 B3 B! B3 B3" B3 B38" B3 B8 B + 32323 "22 2 #2 8 32 B +B + 2B + 82 B + 323x8 3x2 8" "83

Por lo que haciendo >

B+ se tiene que 2
P3 B

>> "> 8 > 33x8 3x "83

Por tanto, +3 ( P3 B.B (


8 !

>> "> 8 "83 2 8 >> "> 8 .> 83 2.> 3x 8 3x ( >3 ! > 33x8 3x " ! 8 8 D> 83 3 +3 2 " .> 8x (! > 3
8

que son los denominados coeficientes de Newton - Cotes . Teorema '.2. Los coeficientes de Cotes para un soporte regular {B! , B" , . . . , B8 } verifican que +5 +85 . Teniendo en cuanta el Teorema '#, slo hay que calcular la mitad de los coeficientes. Las Frmulas de Newton-Cotes en los casos 8 " y 8 # son conocidas como Frmula del trapecio y Frmula de Simpson respectivamente. '#" Frmula del trapecio La frmula de Newton-Cotes en el caso 8 " slo tiene dos coeficientes. Como por el Teorema &# es +! +" y por las ecuaciones ('") es +! +" , +, se tiene que +! +" " , + por lo que #
( 0 B.B
, +

,+ ,+ 0 + 0 , 0 + 0 , , + # # #

Figura '" Mtodo del trapecio

Es decir, el mtodo del trapecio nos aproxima la integral por el rea de la regin plana limitada por las rectas B + B , C ! y la recta que pasa por los puntos (+ 0 +) y (, 0 ,), es decir, el rea de un trapecio (ver Figura '").

Clculo Numrico Pgina 90

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

'## Frmula de Simpson Para el caso 8 # tenemos que B! + B"


+! 2 "
#! # ! #

+, #

y B# , . Dado que
#

>> "> # 2 >$ ># 2 ,+ .> $ #> con 2 ( #x ! >! # $ # $ #


!

se tiene que

,+ +# +! ' ,+ #, + ' $

y como +! +" +# , +, se tiene que +" , + # tenindose, por tanto que


( 0 B.B
, +

,+ #, + +, ,+ 0 + 0 # 0 , ' $ '

o, lo que es lo mismo: ( 0 B.B


, +

,+ 0 + %0 +, 0 , # '

Teorema '$ Al aplicar la frmula de Newton-Cotes para un entero n, el error que se comete viene dado por: Si n es par &8 28$ 0 8# - 8 ( > >> "> 8.> 8 #x ! 28# 0 8" - 8 ( > "> 8.> 8 "x !

Si n es impar &8

Corolario '% El error cometido en la aproximacin numrica de una integral es: Para la frmula del trapecio: Para el mtodo de Simpson: & & 2$ 0 w w - . "# 2& 0 MZ - *!

'$ Frmulas compuestas '$" Simpson para n par Descomponiendo el soporte en {B! B" B# } {B# B$ B% } {B8# B8" B8 } se obtiene que
( 0 B.B
, +

B# B! B% B ' B8 B8# 0 B! %0 B" 0 B# 0 B# %0 B$ 0 B% 0 B8# %0 B8" 0 B8 ' ' '

2 0 B! %0 B" #0 B# %0 B$ #0 B% #0 B8# %0 B8" 0 B 8 $ 2 0 B! 0 B8 #0 B# 0 B8# %0 B" 0 B8" $ &

( 0 B.B
+

El error viene dado por


, +& mx 0 MZ B ")!8%
BB! B8

Clculo Numrico Pgina 91

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

'$# Trapecios para n impar Con un proceso anlogo al anterior obtenemos que ( 0 B.B
, +

2 0 B! 0 B" 0 B" 0 B# 0 B8" 0 B8 # ,+ 0 B! 0 B8 #0 B" 0 B# 0 B8" #8

( 0 B.B
, +

El error que se comete viene dado por & , +$ ww mx 0 B # "#8


BB! B8

'% Ejercicios

Ejercicio '" Probar que los coeficientes +5 de las frmulas de Newton-Ctes verifican que "
8

"5 +5 8 5 5!

Solucin: Como la expresin de los coeficientes es


+5 2 "85 8 5 8x (
8 !

D> .> >5

donde D> >> "> 8

la sumatoria se transforma en
"
8

8 8 8 8 D> "5 +5 "5 "5 8 D> "5 8 8 D> " 8 2 "85 5 ( .> "2 8 ( .> 2 .> ( " 8 5 5 5 ! > 5 8x ! > 5 8x > 5 ! 5! 5! 5! 5!

Podemos ver que el integrando es precisamente D w >


8 ! D> D> D> D> D> > "> #> 8 >> "> 8 " D w > > >" ># >5 5! > 5

y, en consecuencia,
"
8

Al ser D8 D! !, podemos asegurar que "


8

"5 +5 "8 8 w "8 "8 2 D> 2 D> D! ( D >.> 2 8 5 8x 8x 8x ! ! 5!


8

"5 +5 ! 8 5 5!

Ejercicio '# Dada la integral (

"

" B# .B , se pide: " B#

1.Calcularla exactamente. 2.Calcularla, aproximadamente, por la frmula bsica de Simpson. 3.Calcularla por la frmula compuesta de Simpson de 11 sumandos.
"

4.Aplicar la siguiente frmula ( 0 B.B &0 )0 ! &0 * & &


" $ $
"

comprobando que integra, exactamente, polinomios de grado menor o igual que 5.

Clculo Numrico Pgina 92

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Solucin: 1.Calculndola exactamente obtenemos:


(
" ! " " B# # 1 .B ( " .B B #+<->1B " ! &(!(*'$ # "B " B# # ! ! "

2.La frmula bsica de Simpson (8 #) establece que:


( 0 B.B
" !

2 0 ! %0 ! & 0 " & $


"

donde 2

"! " # #

por lo que

" B# " .B " % ! ' ! & ! &'''' & # "B '

3.La frmula compuesta de Simpson de once sumandos (8 "!) es:


( 0 B.B
" !

2 0 ! 0 " %0 ! " 0 ! $ 0 ! & 0 ! ( 0 ! * #0 ! # 0 ! % 0 ! ' 0 ! ) & $

donde 2

"! " "! "! (

En nuestro caso:
" ! " " B# " .B "! " "" %%*#&)'% % '(%'$!&') & "( "#$))*#" & ! &(!(*'$!( & # "B $ $!

4.Aunque los lmites de la integral que nos piden son ! y ", al ser el integrando una funcin par, podemos hacer:
(
" !

" B# " " " B# .B ( .B " B# # " " B#

con lo que es factible aplicarle la frmula, y dado que


0 ! " 0 $ 0 $ & & " "
$ & $ &

" %

se tiene
(
" !

" B# " " " " " #" ( .B & ) " & ! &)$$$ " B# # * % % ") # "#

Otra forma de aplicar la frmula es realizar el cambio B


(
"

>" , con lo que: #

" " " B# $ #> ># .B ( .> ( 1>.> # " B# " #& #> > "

Teniendo en cuenta que:


1! ! $

1 $ ! %!(%&('%$ &

1 $ ! !&*&!$')$ &

se obtiene
(
" !

" B# " .B & ! %!(%&('%$ ) ! $ & ! !&*&!$')$ ! &(!&$%!(! # "B *

(No existe ninguna contradiccin en el hecho de haber obtenido dos resultados diferentes, ya que la frmula se ha aplicado a funciones diferentes.)

Clculo Numrico Pgina 93

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Veamos. por ltimo, que la frmula es exacta para polinomios de grado no superior a cinco.
5 ( B .B " "

B5" 5"

"

"

# " "5" 5" 5" !

si 5 es par si 5 es impar
# ( B .B "

Por tanto:

( 1 .B #
" $ ( B .B ! " " "

( B .B !
" % ( B .B " " "

# &

& ( B .B ! "

" "

# $

La suma de cuadratura (frmula a aplicar) para estas funciones es:


0 B " 0 B B 0 B B# 0 B B 0 B B 0 B B&
% $

W W W W W W

" & " ) " & " # * " & $ ) ! & $ ! & & * " $ $ # & ) ! & * & & $ " & $ $ ) ! & $ $ ! & & * " * * # & )!& * #& #& & " & $ & ) ! & $ & ! & & *

Al ser exacta para las funciones " B B# B$ B% y B& , tambin lo es para cualquier combinacin lineal de ellas y, por tanto, la frmula integra, exactamente, cualquier polinomio de grado no superior a cinco. Es fcil observar que:
' ( B .B 1 -1

# (

mientras que W

" #( #( " &% ' # & )!& * "#& ")& * #& #& (

Por lo que la funcin no integra, exactamente, a B' y, por tanto, a polinomios de grado superior a cinco.

Ejercicio '$ Se considera el soporte { " - "} donde - ( " ") es fijo. Sea 0 B V[ " "]. 1.Obtener el polinomio de interpolacin de 0 B y una expresin del error. 2.Determinar los coeficientes +! +" y +# en la frmula de cuadratura ( 0 B.B +! 0 " +" 0 - +# 0 "
1 -1

para que integre, exactamente, polinomios del mayor

grado posible.

3.Dar una condicin, necesaria y suficiente, para que dicha frmula sea exacta para polinomios de tercer grado. 4.Aplicar la frmula a 0 B &B"$ con - ! " y comparar con el valor exacto. # Solucin: 1.Utilizando los polinomios de Lagrange tenemos:
$ # w #

DB B "B -B " B -B B - D B $B #-B " D w - $- # #- # " - # " D w " $ #- " #" -


# P! B B -B " B - "B #" - #- " DB B "B " B# " P5 B P" B # B B5 D w B5 -# " - " B# " -B B "B - P# B #" - #" -

D w " $ #- " #" -

El polinomio de interpolacin de la funcin 0 B es

T# B 0 "P! B 0 -P" B 0 "P# B

Clculo Numrico Pgina 94

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Si utilizamos la frmula de Newton para diferencias divididas se obtiene:


T# B 0 " B "0 " - B "B -0 " - " 0 " 0 - 0 " B " -"
0 "0 - "-

0 -0 " "B "B - #

El error viene dado por


&B DB 0 ''' 0 B "B -B " 0 ''' 0 $x ' con " 0 "

2.Para que integre, exactamente, a polinomios del mayor grado posible, la frmula debe ser interpolatoria; esto es, debe corresponder a la integracin del polinomio de interpolacin de 0 B en { " - "}, con lo que: +3 ( P3 B.B
" "

para 3 ! #
"

+! ( +" ( +# (

B# - "B " B$ B# .B - " -B #- " #- " $ # "


"

"

" # " $ #- #- " $ $" -

B# " " B$ .B # B #" - " $ " " "

"

"

" % % -# " $ $" - #


"

B# " -B " B$ B# .B " - -B #" - #" - $ # " ( 0 B.B


" "

"

" # " $ #- #" - $ $" -

Luego la frmula

" $% " $0 " 0 - 0 " # $" - $" $" -

es exacta para polinomios de grado no superior a dos. Otra forma de hacerlo es imponer la condicin de que la frmula sea exacta para las funciones " B B# . . . hasta donde sea posible.
0 B " ( " .B +! +" +# +! +" +# #
" " "

0 B B ( B .B +! +" - +# +! +" - +# !
"

0 B B#

# # # ( B .B +! +" - +# +! +" - +# " "

# $

Dado que disponemos de un sistema de tres ecuaciones con tres incgnitas, no continuamos. La solucin del sistema es:
+! " $$" - +" % $" - # +# " $$" -

con lo que se obtiene la misma frmula anterior. 3.Imponemos que sea exacta para 0 B B$ .
! ( B$ .B +! +" - $ +!
" " "$$"-

%- $ $"- #

"$$"-

"$-"-%- $ "$-"- $"- #

%-%- $ $"- #

%-"- # $"- #

%! $

-!

Se deduce, entonces, que la frmula es exacta para polinomios de tercer grado si, y slo si, - !, en cuyo caso se trata de la frmula de Simpson:
( 0 B.B
" "

" 0 " %0 ! 0 " $

Clculo Numrico Pgina 95

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

4.Para - ! " tenemos que:


+! +" +#
"$!" $"!"

! $*$*$*

% " $%')!"$%( $" ! "# " $ ! " ! ( ! #&*#&* $" ! " # (


"

0 " * $

0 ! " ' (& # &*)!('#""

0 " % #

por lo que (
"

&B "$ # &B"$ # # .B El valor exacto es: ( $ # & " #


"
$

&B "$ .B ! ()()()() $ %**!*#&% ! (((((((( & !'%(%*"! #


"

"

% $ (' $ #$ & !''''''' "& "&

por lo que el error es menor que ! !!"*"('. Ejercicio '% Calcular '! 0 B 68B .B interpolando 0 B, por un polinomio de tercer grado, en el soporte " " " {! " # "} y aplicar el resultado al clculo de '! =/8B 68B .B.(Indicacin: '! B7 68B .B 7"# 7 !). $ $
"

Solucin: Si interpolamos la funcin por un polinomio de tercer grado utilizando los polinomios de Lagrange, sabemos que
( 0 B 68B .B ( T$ B 68B .B ( "0 B3 P3 B68B .B "0 B3 ( P3 B 68B .B
" " " $ $ " ! ! ! 3! 3! !

Tenemos, por tanto, que +3 ( P3 B 68B .B


" !

(! 3 $
" # D w $ #( y D w a"b # *

Calculemos los polinomios de Lagrange. Dado que


DB BB " B # B " B% #B$ $ $
"" # * B

# B ; D w B %B$ 'B# *

## * B

# *

# D w ! * # D w # #( $

obtenemos
P! B

P# B

BB " aB "b #( % " $ B$ B# B # # $ $ #(


$ ( B 68B .B "

B " B # aB "b * "" # $ $ B$ #B# B # * * # *

P" B

BB # aB "b $
# #(

P$ B

BB " B # $ $
# *

#( $ & # # B B B # $ $ * $ # # B B B # *

Teniendo en cuenta que

" "' ! " " ( B 68B .B 4 !

( 68B .B "
" ! "" *

2 ( B 68B .B " !

" 9

los coeficientes +3 son:


+! B ( +" B ( +# B ( +$ B (
" ! " ! "

* "" # B$ #B# B 68B.B * # # * * #( $ & # # B B B68B .B # $ $


#( #

" "'

# " *

" # % * a " b

"" $#

" "'

& " # " $ * $ %


" "'

"* $#

! " !

#( $ % # " B B B68B .B # $ $
" "'

#( #

% " " " $ * $ %


" $#

" $#

* $ # # * B B B68B .B # # *

" *

# " * %

Clculo Numrico Pgina 96

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Obtenindose

( 0 B 68B .B =
" !

" ""0 ! "*0 " 0 # 0 a"b & $ $ $#

Otra forma de obtenerla es sabiendo que, al ser interpolatoria, va a integrar exactamente a cualquier polinomio de grado no superior a tres. Como
" # ( 0 B 68B .B +! 0 ! +" 0 $ +# 0 $ +$ 0 a"b & " !

obligndola a que integre, exactamente, a los polinomios " B B# y B$ obtenemos el sistema


0 B "+! +" +# +$ ( 68B .B "
" !

" " # " 0 B B +" +# +$ ( B 68B .B $ $ % ! " " % " 0 B B# +" +# +$ ( B# 68B .B * * * ! " " " ) 0 B B$ +" +# +$ ( B$ 68B .B "' #( #( !

+! +" +# +$ " + #+ $+ $ " # $ % +" %+# *+$ " + )+ #(+ #( # $ " "'
" $#

cuya solucin es +!

"" $#

+"

"* $#

+#

+$

" $#

Obtenindose, de esta manera, la misma frmula anterior. Aunque no se pide, una expresin del error es:
& ( 0 B 68B .B ( T$ B 68B .B ( 0 B T$ B68B .B ( &B 68B .B ( DB
" " " " " ! ! ! ! !

0 MZ -B 68B .B %x

&

Q% ( DB 68B .B #% !
"

donde Q% representa el mximo valor que toma la derivada cuarta de 0 B en el intervalo [! "]. Para calcular ( =/8B 68B .B utilizamos la frmula obtenida con 0 B =/8B.
" !

0 ! ! 0 " ! $#("*%'*' 0 # ! '")$'*)!$ $ $

( =/8B 68B .B
" !

0 a"b ! )%"%(!*)%

" "" ! "* ! $#("*%'*' ! '")$'*)!$ ! )%"%(!*)% ! #$*)*")(& $#


"

Por desarrollo en serie se obtiene ( =/8B 68B .B ! #$*)*""( & con & ! % "!(
!

Ejercicio '& Determinar el nmero de sumandos necesarios, en las frmulas compuestas de los trapecios y Simpson, para calcular, con seis cifras decimales exactas, las siguientes integrales: " M ( 68B .B
# "

# M (

$ B #

/ .B B
con & , +$ ww mx 0 B "#8#
B+,

Solucin: ".Utilizamos, en primer lugar, la frmula compuesta de los trapecios:


( 0 B.B
, + 8" 2 0 + 0 , #"0 B3 & # 3"

siendo

,+ y B3 + 23 (3 " 8 ". 8

Lo primero que debemos hacer es buscar el mximo de la funcin | 0 w w B | en el intervalo [" #].
0 B 68B 0 w B " B 0 w B
w

" B#

| 0 w B |

" B#

Clculo Numrico Pgina 97

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Dado que, en el intervalo [" #], la funcin | 0 w w B | punto B " y dicho valor mximo es ". El error es, por tanto &
, +$ " "#8# "#8#

" es decreciente, sta alcanza su mximo en el B#

Para calcular la integral con seis cifras decimales exactas ha de ser el error menor que "!' , por lo que
" "!' "#8# 8 #)*

Es decir: Utilizando la frmula compuesta de los trapecios es necesario sumar, al menos, #)* trminos para obtener seis cifras decimales exactas. Veamos cuntos son necesarios si se utiliza ahora la frmula compuesta de Simpson:
( 0 B.B
" !

2 0 + 0 , %M #T & $

con &

, +& mx 0 MZ B ")!8%
B+,

siendo 2

impar y T la suma de los valores de la funcin en los puntos B3 con 3 par. Debemos acotar, por tanto, la cuarta derivada de la funcin.
0 B 68B 0 w B " B 0 w B
w

,+ , 8

B3 + 23 (3 " 8 "),

M la suma de los valores de la funcin en los puntos B3 con 3

" B#

0 w B

ww

# B$

0 MZ B

' B%

La funcin |0 MZ B| toma su valor mximo, en el intervalo [" #], en el punto B " (ya que en dicho intervalo la funcin es decreciente) y dicho valor mximo es '. Se tiene, por tanto, que &
, +& " ' ")!8% $!8% " "!' tendr que ser 8 "% $!8%

Si queremos que el error sea menor que "!' , es decir, que (obsrvese que 8 "% es vlido por ser par).

En resumen: Utilizando la frmula compuesta de Simpson slo es necesario sumar "% trminos (frente a los #)* necesarios por la frmula compuesta de los trapecios) para obtener seis cifras decimales exactas. # Los razonamientos, en este caso, son anlogos a los del apartado anterior, es decir, debemos acotar, respectivamente, las derivadas segunda y cuarta de la funcin 0 B
0 w B 0 ''' B B" B / B# B$ $B# 'B ' B / B% 0 "B 0 % B B# #B # B / B$ B% %B$ "#B# #%B #% B / B&
B# #B# B$

/B . B

En la expresin de la derivada segunda observamos que por lo que:


B#$

es decreciente en el intervalo [# $] ,

mx 0 B /$ mx
ww

B#$

B# #B # ## # # # /$ & " /$ B$ #$ % & " & " "#8# " & & " "!' "#8#

y, por tanto, el error en la frmula compuesta de los trapecios es

Para obtener seis cifras decimales exactas es necesario que

8 '&#

Clculo Numrico Pgina 98

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Utilizando la frmula compuesta de los trapecios es necesario sumar, al menos, 652 trminos para obtener seis cifras decimales exactas. Una acotacin ms sencilla, pero bastante peor, de | 0 ww B | es:
mxB#$ B# #B # B# #B # & B $ B$ ) mnB#$ |0 ww B| & $ / "$ )

Con esta acotacin se obtendra 8 "!%". Para la frmula compuesta de Simpson debemos acotar |0 MZ B|. Al ser, ahora, ms complicado, acotaremos utilizando la tcnica anterior, es decir, acotar superiormente el numerador e inferiormente el denominador.
mx B% %B$ "#B# #%B #% $$ mn B& $# |0 MZ B| $$ $ #! ( / #! ( & $# ")!8%

Para obtener seis cifras decimales exactas, ha de ser


& #! ( "!' ")!8% 8 #!

Utilizando la frmula compuesta de Simpson se ha reducido a 20 (desde los 652 de la frmula compuesta de los trapecios) el nmero de trminos necesarios para obtener seis cifras decimales exactas.

1.Calcularla exactamente (se supone conocido el nmero /). 2.Determinar el nmero mnimo de sumandos necesarios, en la frmula compuesta de Simpson, para que el error de discretizacin sea menor que "!7 con 7 # $ % & y '. 3.Calcular la integral, por la frmula compuesta de Simpson, con cuatro cifras decimales exactas. Solucin: 1.Integrando por partes se tiene:
" "

Ejercicio '': Se considera la integral ( /B % B.B:


" !

? % B .? .B " B " B B B '! / % B.B / % B '! / .B $/ % / %/ & & )($"#( .@ /B .B @ /B ! !

2.La frmula compuesta de Simpson es:


( 0 B.B
" !

2 0 + 0 , %M #T & $

con &

, +& mx 0 MZ B ")!8%
B+,

siendo 2

impar y T la suma de los valores de la funcin en los puntos B3 con 3 par. Para determinar el mnimo nmero de sumandos necesarios para que el error sea menor que "!7 debemos acotar la derivada cuarta de la funcin en valor absoluto.
0 w B /B $ B 0 w w B /B # B 0 w w B /B " B
w

,+ , 8

B3 + 23 (3 " 8 "),

M la suma de los valores de la funcin en los puntos B3 con 3

0 MZ B B/ B 0 MZ B / B B

se puede comprobar fcilmente que el valor mximo que toma es / en el punto B ". Tenemos entonces que el error es
& , +& " mx 0 MZ B / ")!8% ")!8%
B+,

Clculo Numrico Pgina 99

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Para que el error sea menor que "!7 se debe cumplir que 8%

7 "!7 / % "! / , es decir, 8 . ")! ")!

Dando valores a 7, y teniendo en cuenta que 8 ha de ser par, obtenemos:


7 # 8 " "!)& 8 # 7 $ 8 " *("$ 8 # 7 % 8 $ &!&& 8 % 7 & 8 ' #$$) 8 ) 7 ' 8 "" !)& 8 "#

3.Para garantizar cuatro cifras decimales exactas (ver el apartado anterior) ha de ser 8 %. Entonces
2 ,+ " ! #& y el soporte es {!; ! #&; ! &; ! (&; " }. 8 % ( 0 B.B
" !

La frmula se convierte en: y, por tanto,


" B ( / % B.B " !

! #& 0 ! 0 " %a0 ! #& 0 ! (&b #0 ! & $

! #& % ) "&%)%&% % a% )"&!*&$ ' ))!#&!!b # & ((!&#%% $

por lo que ( /B % B.B & )($" , con las cuatro cifras decimales exactas.
!

Ejercicio '( Probar que la frmula compuesta de los trapecios para el intervalo [! #1]:
(
#1

0 B .B
!

2 0 ! #0 2 #0 #2 #0 8 "2 0 #1 &, #

donde

#1 8

integra, exactamente, las

funciones:

" =/8B -9=B =/8#B -9=#B =/88 "B -9=8 "B N5 (


#1

Solucin: Observemos, en primer lugar, que:


M5 (
#1 #1

=/8 5B .B !

para 5 ! "

-9= 5B .B

! para 5 " # #1 para 5 !

La frmula compuesta de los trapecios es (


X8

0 B .B X8 &

donde:

2 0 ! #0 2 #0 #2 #0 8 "2 0 #1 #

Pero al ser 0 #1 0 !, podemos escribir:


X8
8" 2 #1 8" #1 "0 4 #0 ! #0 2 #0 8 "2 2 "0 42 # 8 4! 8 4!

Puesto que 0 B va a ser =/B -9=B estudiemos la sumatoria para 0 B /35B , es decir,
" /35
8" 4! #1 4 8

" /3
8" 4!

#1 4 5 8 .

#1 5 Al tratarse de una suma geomtrica de razn < /3 8 . Dado que

<"

-9= #1 5 " 8 =/8 #1 5 ! 8


8"

#1 5 ! #1 %1 5 ! 8 #8 8
#185

por lo que si ! 5 8 se tiene

#1 4 /3 8 " "" " /35 8 #1 5 ! 3 #1 5 " 3 8 " 4! / 8 /

Clculo Numrico Pgina 100

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Adems, 5 ! " /35


8" 4!

#1 4 8

X8 /358

#18 #1 . 8

Por tanto:

X8 a-9=Bb V/X8 /358 que coinciden con los valores de las integrales.

X8 a=/8Bb M71X8 /358 ! para 5 ! " # ! para 5 " # 8 " #1 para 5 !

Actividad Personal
A continuacin se proponen ejercicios tomados en certmenes anteriores y ejercicios propuestos para ser resueltos a modo de autoevaluacin. " Integre la siguiente funcin en forma analtica y numrica por medio de la regla trapezoidal Use 2 conveniente.
#B ( "& .B. " !

# Tomando 2 considerablemente pequeo determine el valor de la integral


!" #!B" .B ( B " # B" / " !

El valor real es ! '!##*(

$ Evale la integral de los siguientes datos tabulados con la regla Trapezoidal. B 0 B ! " ! " ( ! # % ! $ $ ! % & ! & #

% Por regla de Simpson evale la integral de los siguientes datos tabulados B 0 B $ " " % " * $ # & % ( # * ' "" $
B ( / .B "
#

& Para 2 ! " calcule el valor aproximado y el error de la integral:

Clculo Numrico Pgina 101

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Las ecuaciones diferenciales aparecen naturalmente al modelar situaciones fsicas en las ciencias naturales, ingeniera, y otras disciplinas, donde hay envueltas razones de cambio de una o varias funciones desconocidas con respecto a una o varias variables independientes. Dichos modelos varan entre los ms sencillos que envuelven una sola ecuacin diferencial para una funcin desconocida, hasta otros ms complejos que envuelven sistemas de ecuaciones diferenciales acopladas para varias funciones desconocidas. Por ejemplo, la ley de enfriamiento de Newton, las leyes mecnicas que rigen el movimiento de los cuerpos y las relaciones de equilibrio en sistemas contnuos, al ponerse en trminos matemticos dan lugar a ecuaciones diferenciales. Usualmente estas ecuaciones estan acompaadas de una condicin adicional que especifica el estado del sistema en un tiempo o posicin inicial. Esto se conoce como la condicin inicial y junto con la ecuacin diferencial forman lo que se conoce como el problema de valor inicial (p.v.i.). Por lo general, la solucin exacta de un problema de valor inicial es imposible o difcil de obtener en forma analtica (resolviendo la ecuacin algebraicamente). Por tal razn los mtodos numricos se utilizan para aproximar dichas soluciones. Esquemticamente, trabajaremos de la siguiente forma

(" Ecuaciones Diferenciales Ordinarias (E.D.O.) Dada una ecuacin diferencial ordinaria de orden 8 y cualquier grado, cuya forma general es: J \ ] ] w ] ww ] 8 ! (") se establece en matemticas que en su solucin general deben aparecer 8 constantes arbitrarias. Entonces, puede aceptarse que la solucin general de ((") es: K ( \ , ] , G" , G # , , G 8 ) ! ((#) Grficamente esta ecuacin representa una familia de curvas planas, cada una de ellas obtenidas para valores particulares de las 8 constantes, G" , G# , , G8 , como se ve en la Figura(":

Figura (" Familia de curvas soluciones de (1)

Clculo Numrico Pgina 102

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Cada una de estas curvas corresponde a una solucin particular de la ecuacin diferencial ((") y analticamente puede obtenerse sujetando la solucin general ((#) a 8 condiciones independientes que permiten valuar las constantes arbitrarias. Dependiendo de como se establezcan estas condiciones, se distinguen dos tipos de problemas: los llamados de Valores Iniciales y los de Valores en la Frontera. Un problema de valores iniciales est gobernado por una ecuacin diferencial de orden 8 y un conjunto de 8 condiciones independientes todas ellas, vlidas para el mismo punto inicial. Si la ecuacin ((") es la ecuacin diferencial que define el problema, y \ + es el punto inicial, puede aceptarse que las 8 condiciones independientes son:
] + ]! ] w + ]!w ] ww + ]!ww ] 8 + ]!
8

(($)

Se tratar de obtener una solucin particular de ((") que verifique (($) como en la Figura (#

Figura 7.2: Problema de valor inicial.

Por el contrario, en los problemas de valores en la frontera deben establecerse condiciones de frontera en todos y cada uno de los puntos que constituyen la frontera del dominio de soluciones del problema. En particular en el espacio de una dimensin, hay dos puntos frontera, por ejemplo, \ + y \ , , si el dominio de soluciones es el intervalo cerrado + B , por esto mismo el orden mnimo de la ecuacin diferencial de un problema de valores en la frontera ser dos como podemos observar en la Figura ($:

Figura ($ Problema de valores en la frontera.

Bsicamente la solucin numrica de ecuaciones diferenciales consiste en sustituir el dominio continuo de soluciones por uno discreto formado por puntos aislados igualmente espaciados entre s. As, en un problema de valores iniciales, el dominio de definicin de soluciones B + se sustituye por el conjunto infinito numerable de puntos, B! +, B" B! 2, B# B! #2 , B$ B! $2 , y en el caso de valores en la frontera se sustituye el intervalo + B , por el conjunto finito de puntos B! +, B" B! 2, B# B! #2 , , B8 B! 82 , obtenidos, al dividir el intervalo en 8 partes iguales.

Figura (% Valores iniciales (4a) y Valores en la frontera (4b)

Clculo Numrico Pgina 103

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Habindose discretizado el problema continuo, se tratar de obtener la solucin para los puntos considerados, y esto se har, en general, sustituyendo las derivadas que aparezcan en la ecuacin diferencial con condiciones iniciales o en la frontera, por frmulas numricas de derivacin que proporcionen aproximaciones a las derivadas o tratando de integrar la ecuacin diferencial y reemplazando al proceso de integracin por una frmula numrica que se aproxime a la integral. Una vez hecho esto, la ecuacin obtenida expresada en diferencias finitas (ya que se han sustituido diferenciales por incrementos finitos) se aplica repetidamente en todos los puntos pivotes donde se desconoce la solucin para llegar a una solucin aproximada del problema. (1.1 Existencia y Unicidad Consideremos de ahora en adelante el problema de valor inicial (p.v.i.)
Cw B 0 B CB CB! C! B B! \ (%

donde C B! \ ser nuestra funcin a encontrar (y que sea derivable), 0 B! \ una funcin dada en el problema e C! 8 conocido (nuestra condicin inicial). Teorema (" Consideremos un dominio W # tal que al considerar dos puntos B C" B C# de l, el segmento vertical formado por ellos pertenece a W; y, adems, sean (B C un punto interior y0 una funcin continua en este dominio.Si 0 satisface la condicin de Lipschitz dbil)
0 B C" 0 B C# 5 C" C# , a B C" , B C# W

para algn 5 !, entonces para un intervalo adecuado M B ! B ! existe una nica solucin del p.v.i. (% definida en M En adelante si la funcin `0 existe y es acotada en W, entonces la condicin dbil de Lipschitz se `C satisface y por consiguiente la existencia y unicidad de la solucin `0 en realidad basta tomar 5 mx `B B C
B CW

De esta manera, al dividir el intervalo B! \ introduciendo puntos equiespaciados B3 3 ! R y que proporcionan valores aproximados C3 3 ! R lo que recibe el nombre de discretizacin), los llamados mtodos numricos por paso nos dan una solucin aproximada de los valores exactos CB3 3 ! R . Al pasar de un valor aproximado C3 al siguiente C3" recibe el nombre de paso de integracin, donde C3 e C3" aproximan a CB3 e CB3+1 , respectivamente.

Figura 7.5: Paso de integracin.

A continuacin daremos algunos mtodos sencillos por paso (catalogados en general como de paso separado). (2 Mtodo de Taylor Es el mtodo ms sencillo y fcil de implementar (dentro de los de paso separado), el cual se basa en el desarrollo en series de Taylor. Se requiere que la solucin CB sea 8 " veces continuamente diferenciable en [B! \ y se consideran los puntos B3" B3 2 , para 3 ! 82 " 82 es tal que B82 \ B82"

Clculo Numrico Pgina 104

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Mtodo de Taylor de orden 8 C3" C3 203 donde 03 0 B3 C3


.C .B B3 C3 y

" # w " 8 8" 2 03 2 03 #x 8x


03w 0 w B3 C3

(&
, etc.

.0 `0 `0 .C `0 `0 .2C 0 .B `B `C .B `B `C .B2 B3 C3

Ejemplo (" Resolvamos por Taylor el p.v.i. siguiente: identificamos inmediatamente B! ! e C! CB! "

Cw " " BC # # C! "

B ! " #

Apliquemos Taylor de segundo orden con 2 ! " y 2 ! !& ejercicio) para comparar los resultados. # Aqu 0 B C " " BC # y 03 0 B3 C3 " " B3 C3 ; luego # #
0 w B C C C w C# C# C " C C# C" B # " B C C w C C w " B C " BC w C " B " BC # # # # # # # 03w 0 w B3 C3 C3 # C 3 " B3 # " #

De esta forma, aplicando ((& obtenemos:


C3" C3 203 3 ! % " # w " " C# 2 # 2 # 2 03 C3 2 " B3 C3 2 # 3 C 3 " B3 # " C3 C3 " B3 C3" B3# " #x # #x # # # 3 ! "!

cuando 2 ! "

cuando 2 ! !&

Construyamos una tabla para mostrar los resultados obtenidos para las aproximaciones C3 y comparmoslas con los valores exactos de la solucin exacta (calculados)
CB " B B# " # %

# Para 3 ! C" C! ! !&C! " B! ! !&C! " B! # "

" ! !&"# " ! ! !&"" !# " " ! !&" ! !&# " ! !&" " " !&& , anlogamente para los restantes
3 ! " # $ % & B3 ! ! " ! # ! $ ! % ! & C3 ! " " " !&& " "##&&"!"('&*$( " #0640094640193 1,31205891970444 1,44793523610473 C3 ! !& " CB3 (valor exacto) " %!! $(* ",!&&%!)*(!*('#& "!! )* " "#$&*&&!&'"(*) %!! $$" " #!)%&*#"%&!"&" #& "* " $"&()*%($')%#" "' "" " %&

Como podemos ver los clculos son simples pero muy tediosos, y eso que se trata de slo un orden dos. Para evitar estos inconvenientes veremos mtodos que requieren slo de evaluaciones de la funcin 0 . (3 Mtodos de Runge-Kutta En estos mtodos ya no es necesario conocer los valores de C3 para conocer la aproximacin C3" de CB3 , sino slo del valor de B3 .

Clculo Numrico Pgina 105

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

La ventaja de los mtodos de Runge-Kutta con respecto al uso de la serie de Taylor es que requieren slo de la funcin 0 B C y de ninguna derivada. Esto hace que, en la prctica, la aplicacin de los mtodos de Runge-Kutta sean ms simples que el uso de la serie de Taylor. Todas las variaciones se pueden denotar en la forma generalizada de la ecuacin C3" C3 92 como C3" C3 9B3 C3 22 , donde 9B3 C3 22 es conocida como funcin incremento, la cual puede interpretarse como una pendiente representativa sobre el intervalo. La funcin incremento se escribe por lo general como
9 +" 5 " + # 5 # + 8 5 8

donde los +3 3 " 8 son constantes y los 53 3 " 8 son


5" 0 B3 C3 5# 0 B3 :" 2 C3 ;"" 5" 2 5$ 0 B3 :# 2 C3 ;#" 5" 2 ;## 5# 2 58 0 B3 :8" 2 C3 ;8"" 5" 2 ;8"8" 58" 2

Observe que los 53 3 " 8 son relaciones de recurrencia. Esto es, 5" aparece en la ecuacin para 5# , la cual aparece en la ecuacin para 5$ , etc. Como cada 53 3 " 8 es una evaluacin funcional, esta recurrencia hace que los mtodos Runge-Kutta sean eficientes para clculos en computador. Es posible concebir varios tipos de mtodos Runge-Kutta al emplear diferentes nmeros de trminos en la funcin incremento como la especificada por 8. El mtodo Runge-Kutta (RK) de primer orden con 8 " es el llamado mtodo de Euler. (3" Mtodo de Euler Consideremos el p.v.i. (% e integremos la ecuacin diferencial en B3 B B3" B3 2 y evaluemos la integral aplicando la frmula de integracin numrica:
(
B3" B3

el

intervalo

Cw B.B (

B3"

0 B CB.B
B3

obtenindo la expresin aproximada siguiente, que llamaremos Mtodo de Euler


Algoritmo C3" C3 203 3 ! " # ('

Figura (' Interpretacin geomtrica del Mtodo de Euler, donde /3" es el error de truncamiento local.

Ejemplo (# Resolvamos el ejemplo anterior por este mtodo


# Consideremos 2 ! " y 0 B3 C3 " " B3 C3 para obtener #
# # C3" C3 20 B3 C3 C3 ! " " " B3 C3 C3 ! !&" B3 C3 C3 " ! !&" B3C3 #

Lo que al tabular nos da las soluciones aproximadas

Clculo Numrico Pgina 106

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

3 ! " # $ % &

B3 ! ! " ! # ! $ ! % ! &

C3 ! " " " !& " ""!'$(& " ")%'%)%$*$)%$) 1,#(&)')*"%&!&#" 1,$)*)"()")&*&#'

CB3 valor exacto) " %!! ",!&&%!)*(!*('#& $(* "!! )* " "#$&*&&!&'"(*) %!! $$" " #!)%&*#"%&!"&" #& "* " $"&()*%($')%#" "' "" " %&

Clculo Numrico Pgina 107

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

(3"" Anlisis de Error para el Mtodo de Euler La solucin numrica de las E.D.O. involucra dos tipos de error: Errores de truncamiento (discretizacin), causados por la naturaleza de las tcnicas empleadas para aproximar los valores de C. Errores de redondeo, que son el resultado del nmero lmite de cifras significativas que puede retener un computador Los errores de truncamiento se componen de dos partes. La primera es un error de truncamiento local que resulta de una aplicacin del mtodo en cuestin sobre un paso sencillo. La segunda es un error de truncamiento propagado que resulta de las aproximaciones producidas durante los pasos previos.
Error global : I3" 2 CB3" C3"

Ejemplo ($ Determinemos los errores globales cometidos en los ejercicios (" y (# 2 ! " La siguiente tabla resume los errores cometidos en los mtodos de Taylor y de Euler
3 ! " # $ % & B3 ! ! " ! # ! $ ! % ! & Mtodo de Taylor C3 ! " " " !&& " "##&&"!") " #0'%!!*%' ",$"#!&)*#! ",%%(*$&#$' Mtodo de Euler C3 ! " " " !& " ""!'$(& " ")%'%)%$* ",#(&)')*"& ",$)*)"()"* Valor exacto CB3 " ",!&&%!)*(" " "#$&*&&!' " #!)%&*#"& " $"&()*%(% " %& E-G Taylor I3 ! " 0 !,!!!%!)*(" !,!!"!%%%)) !,!!#!&)#') !,!!$($!&&% !,!!''"!#") E-G Euler I3 ! " !,!!&%!)*(" !,!"#*&)!!' !,!#$)"!((& !,!$**#!&&* !,!'%(#('$'

Qu puede concluir hasta este momento? Comente. (3# Mtodos de Euler Mejorado y de Euler-Cauchy o de Heun (Runge-Kutta de segundo orden, 8 #) El mtodo de Euler mejorado consiste en considerar el punto medio del intervalo [B3 B3" , es decir, como la muestra la figura ((

Figura (( Representacin grfica del Mtodo de Euler Mejorado

Algoritmo de Euler Mejorado

C3" C3 20 B3

2 2 C3 03 # #

((

En cambio, Euler-Cauchy en vez de irse por la tangente que pasa por el punto B3 para determinar la solucin en el siguiente punto pivote, se utiliza una secante con pendiente igual al promedio de pendientes de la curva integral en los puntos coordenados (B3 C3 B3" C3" en donde B3" e C3" pueden estimarse con el procedimiento normal de Euler

Clculo Numrico Pgina 108

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Figura () Representacin grfica del Mtode de Euler-Cauchy o de Heun

Algoritmo de Euler-Cauchy o de Heun

C3" C3

2 a0 B3 C3 0 aB3 2 C3 203 bb #

()

Ejemplo (% Apliquemos Euler mejorado y Euler-Cauchy al ejemplo anterior 2 ! " Por ((() y del hecho que 03 0 B3 C3
C3" C3 20 B3

" # " B3 C3 , entonces #

2 2" # C3 " B3 C3 # ## # " 2 2 # C3 2 " B3 C3 " C3 C3 # # % C3 2 2 2 # " B3 C3 " C3 C3 # # %


#

Anlogamente, de ()
C3" C3 2 " " 2 # # " B3 C3 " B3 2C3 " B3 C3 # # # #
#

# # C3" C3 ! !#&" B3 C3 " B3 ! "aC3 ! !&" B3 C3 b #

# # C3 ! !#&" B3 C3 " B3 ! "C3 a" ! !&" B3 C3 b# # C3 ! !#&C3 " B3 " B3 ! "a" ! !&" B3 C3 b#

C3 " ! !#&C3 " B3 " B3 ! "a" ! !&" B3 C3 b#

Lo que al tabular nos da (Euler Mejorado EM; Euler-Cauchy E-C)


3 ! " # $ % & B3 ! ! " ! # ! $ ! % ! & EM C3 ! " " " !&())"$ 1,1#*%#&# 1,#"*!#&& 1,$$$$&(' 1,%)$!)"' E-C C3 ! " 1,055318) 1,1233474 1,207931' 1,31475&! 1,452557& Valor exacto CB3 " ",!&&%!*! " "#$&*&& " #!)%&*# " $"&()*& " %& Error EM I3 ! " ! 0,002472$ 0,0058297 0,0105663 0,017568" 0,0285361 Error E-C I3 ! " 0 ! !!!*!## ! !!!#%)" ! !!!&#(' ! !!"!$%' ! !!"*))!

(3$ Runge-Kutta de orden mayor a dos Los mtodos anteriores de segundo orden (8 # sern exactos si la solucin de la ecuacin diferencial es cuadrtica. Adems, como los trminos con 2$ y mayores son eliminados durante la derivacin, el error de truncamiento local es b2$ y el global es b22 . En cambio, en estos casos los errores de truncamiento global son b2$ y b2% , respectivamente. En los mtodos de RK, el mtodo de exactitud se incrementa mediante el empleo de un mtodo de integracin numrica de ms alto orden, la mayor exactitud implica que el resultado calculado es mas exacto y que los errores se reducen con mayor rapidez al reducirse 2, donde h es un intervalo de tiempo fijo que se utiliza repetidamente. (3$" Mtodos de Runge-Kutta de tercer orden. Para 8 $, se puede hacer un desarrollo similar al del mtodo de segundo orden. El resultado de dicho desarrollo es de seis ecuaciones con ocho incgnitas. Por tanto, se debe especificar con antelacin los valores para las dos incgnitas con el fin de establecer los parmetros restantes.
Clculo Numrico Pgina 109

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Una versin comn que resulta es


C3" C3 " 5" %5# 5$ 2 ' (*

donde

5" 0 B3 C3 " " 5# 0 B3 2 C3 5" 2 # # 5$ 0 B3 2 C3 5" 2 #5# 2

Los mtodos RK de tercer orden tienen errores local y global de b2% y b2$ respectivamente, y dan resultados exactos cuando la solucin es una cbica. Al tratarse de polinomios, la ecuacin (* ser tambin exacta cuando la ecuacin diferencial es cbica y la solucin es de cuarto orden. (3$# Mtodos Runge-Kutta de cuarto orden. Es ms popular de los mtodos RK es el de cuarto orden. La siguiente, es la forma de uso ms comn y, por tanto, se le conoce como mtodo RK clsico de cuarto orden:
C3" C3 " 5" #5# #5$ 5% 2 ' donde 5" 0 B3 C3 5# 0 B3 5$ 0 B3 2 " C3 5" 2 # # 2 " C3 5# 2 # # ("!

5% 0 B3 2 C3 25$

El mtodo RK de cuarto orden tiene similitud con el procedimiento de Heun en cuanto a que las estimaciones mltiples de la pendiente son desarrolladas para alcanzar una pendiente promedio mejorada para el intervalo. Cada una de las 53 3 " % representa una pendiente. La ecuacin ("! entonces representa un promedio ponderado de stas para llegar a la pendiente mejorada como muestra la figura siguiente

Figura (* Las pendientes 53 corresponden a los valores de 0 B C en los puntos T3 3 " %

Ejemplo (& Apliquemos RK de orden cuatro al mismo ejemplo que hemos venido desarrollando Solucin: Desarrollo por mesa en sala de clases! (3$$ Mtodos de Runge-Kutta de orden superior Donde se requiere resultados ms exactos, es recomendable el mtodo de Butcher ("*'%) y el mtodo RK de quinto orden donde sus frmulas estn disponibles; pero en general, la ganancia en exactitud para mtodos mayores de cuarto orden est afectada por el esfuerzo computacional y complejidad adicional. Estos mtodos no los veremos, pero si pueden ser consultados en la bibliografa.

Clculo Numrico Pgina 110

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

(4 Ejercicios
Ejercicio (" Consideremos la cada libre de un paracaidista desde un rascacielos. Este situacin nos lleva a <+ plantear el p.v.i siguiente: @w g @ 7 @! ! , donde @ es la rapidez que adquiere el paracaidista en la cada, 7 es la masa del mismo, g es la aceleracin de gravedad, <+ es el coeficiente de resistencia al aire y >! ! es el instante en que el paracaidista salta. Resuelva por el mtodo de Taylor el problema del paracaidista, considerando g * ) 7 , 7 (& 51. y <+ "# % 51 Use =# = 2 ! " Solucin: Para los datos en particular, el p.v.i. queda de la forma
@w * ) @! ! "# %) @ (& @w * ) ! "''%@ @! !

Luego, aplicando (& nos queda


03w
w ! "''%@3

03 0 >3 @3 * ) ! "''%@3

@3" @3"

! "''%* ) ! "''%@3 2# @3 2* ) ! "''% @3 ! "''%* ) ! "''%@3 # 2 @3 2* ) ! "''% @3 " ! "''% #

Para 3 ! Para 3 " Para 3 #

@" @! ! "* ) ! "''% @! " ! !& ! "''% ! " * ) ! **"') ! *(")%'% @# @" ! " ! **"')* ) ! "''% @" ! *(")%'% ! !**"')* ) ! "''% ! *(")%'% " *#('&&) @$ @# ! !**"')* ) ! "''% @# " *#('&&) ! !**"')* ) ! "''% " *#('&&) # )'('*#* 3 ! " # $ % & (! >3 ! ! " ! # ! $ ! % ! & ( @3 ! ! *(")%'% " *#('&&) # )'('*#* @>3 ! ! *(")*"% ! *#((%%% # )'()#$' I3 ! " !

Resumiendo en una tabla:

%! &#!""""

Ejercicio (# Aplique el mtodo de Taylor al p.v.i


Cw BC# C# " # B $ , usando 2 ! " y 2 ! !&

Solucin: Las siguientes tablas muestran las aproximaciones para los distintos 2w s 2 ! "
3 ! " # $ % & ' ( ) * "! B3 # ! # " # # # $ # % # & # ' # ( # ) # * $ ! C3 ! " " !!!! ! )$&! ! ("!) ! '"%& ! &$)! ! %('" ! %#&! ! $)#$ ! $%'# ! $"&$ ! #))' I3 ! " ! !!!! ! !!&" ! !!'& ! !!'' ! !!'" ! !!&& ! !!%* ! !!%$ ! !!$( ! !!$$ ! !!#* CB3 " !!!! ! )#** ! (!%# ! '!(* ! &$"* ! %(!' ! %#!# ! $()" ! $%#& ! $"#! ! #)&(

Clculo Numrico Pgina 111

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

2 ! !&
3 ! " # $ % & ' ( ) * "! B3 # ! # " # # # $ # % # & # ' # ( # ) # * $ ! C3 ! !& " !!!! ! )$"! ! (!&' ! '!*$ ! &$$# ! %(") ! %#"# ! $(*! ! $%$$ ! $"#( ! #)'#

I3 ! !& ! !!!! ! !!"" ! !!"% ! !!"% ! !!"$ ! !!"# ! !!"! ! !!!* ! !!!) ! !!!( ! !!!'

Ejercicio ($ Utilize el mtodo de Euler para aproximar la solucin al problema de valor inicial C w C ># " C! ! & ! > # Use 2 ! # Solucin: Tenemos que 0 > C C ># " , es decir, 03 0 B3 C3 C3 ># " Con la ecuacin del mtodo de Euler: tabla
# C3" C3 ! #C3 ># " " #C3 ! #>3 ! # 3

, lo que nos da la siguiente

3 ! " # $ % & ' ( ) * "!

>3 ! ! # ! % ! ' ! ) " ! " # " % " ' " ) # !

C3 ! # ! & ! ) " "&# " &&!% " *))%) # %&)"(' # *%*)""# $ %&"(($%% $ *&!"#)"#) % %#)"&$(&$' % )'&()%&!%$

Ejercicio (% Dado el p.v.i. :

C w >/$> #C C! ! !>"

a) Aplique el mtodo de Euler para aproximar la solucin del p.v.i. Use 2 ! & b) Compare los resultados con la soluccin exacta. Solucin: a) Dado que 0 > C >/$> #C 03 >3 /$>3 #C3 entonces C3" C3 203 C3 2>3 /$>3 #C3 Para 3 ! Para 3 " C" ! &!/$! ! $!& C# ! &! &/ #! " "#!%###'(&
3 ! " # >3 ! ! & " ! C3 ! & ! ! " "#!%###'(&

luego, tabulando obtenemos

Clculo Numrico Pgina 112

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

b) A continuacin se da la solucin real al problema del valor inicial de este ejercicio: C> " >/$> & Para 3 ! C>! " >! /$>! & Para 3 " C>" " >" /$>" &
" $> #& /

" #> #& / " #>! #& / " #>" #& /

" $>! #& / " $>" #& /

" ! &/$!& & Para 3 # C>#


" $># & ># /

" $!& #& /

" #!& #& /

! #)$'"'&#")'(

" $># #& /

" #># #& /

" $! & " !/

" $! #& /

" #! #& /

$ #"*!**$"*!%

Tabulando ambos resultados y calculando el error global nos queda:


3 " # >3 ! & " ! C3 ! & ! " "#!%###'(&) C>3 ! #)$'"'&#")' $ #"*!**$"*!% I3 ! " ! #)$'"'&#")' # !*)'((!&"%'

Ejercicio (& Para el p.v.i.

Cw " > C# C# " #>$

2 ! &

a) Aplique el mtodo de Euler para aproximar las soluciones. b) Compare la solucin real con la solucin por el mtodo de Euler. Solucin: a) Sabemos que la ecuacin del mtodo de Euler es:
C3" C3 ! &a" >3 C3 # b

Para 3 ! C" # Para 3 " C# # '#& Resumen:


3 ! " # >3 # # & $ ! C3 ! # # '#&

b) A continuacin se da la solucin real al p.v.i. :


C> > " " C>3 >3 "> " >3 C3 ! & ! # # '#& C>3 " " )$$ # & I3 ! " " ! "'( ! "#&

Tabulando los resultados tenemos:


3 ! " # >3 # # & $ !

Ejercicio (' Usando 2 ! #& aplique el mtodo de Euler mejorado y Euler-Cauchy para aproximar la solucin del siguiente p.v.i.:
Cw " C" # C > ">#

Resumen:

0 1 2 3 4

1 1 25 1 50 1 75 2

2 2 75 3 55 4 3916667 5 2690476

Clculo Numrico Pgina 113

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

La solucin real al problema del valor inicial de este ejercicio: C> >68> #> Compare la solucin real con la solucin por el mtodo de Euler: Comparacin: i >3 1 2 3 4 1 25 1 50 1 75 2 00

C3 2 75 3 55 4 3916667 5 2690476

C>3 2 7789294 3 6081977 4 4793276 5 3862944

I>3 0 0289294 0 0581977 0 0876609 0 1172468

Ejercicio (( Aplique el mtodo de Euler mejorado y Euler-Cauchy para aproximar la solucin de la siguiente ecuacin diferencial para cada uno de ellos use 2 ! " y ! !&: Cw BC # C# " Solucin: Euler Mejorado: De acuerdo a (( la expresin a utilizar en el mtodo de Euler mejorado corresponde a:
C3" C3 2B3 2 2 # # C3 # B3 23 , donde B! # e C! " #

B # $

Luego, resumiendo en una tabla para 2 ! " y 2 ! !& obtenemos 2 ! "


3 ! " # $ % & ' ( ) * "! B3 # ! # " # # # $ # % # & # ' # ( # ) # * $ ! C3 ! " " !!!! ! )$$*&! ! (!*%'% ! '"$"** ! &$')&* ! %(&!&" ! %#%"$' ! $)"&(' ! $%&&&& ! $"%($( ! #))"#" I3 ! " ! !!!! ! !!%!(% ! !!&#$) ! !!&#*' ! !!%*%% ! !!%%'$ ! !!$*'( ! !!$&!& ! !!$!)* ! !!#(#% ! !!#%!' CB3 " !!!! ! )#*)(' ! (!%##& ! '!(*!$ ! &$"*"& ! %(!&)) ! %#!"') ! $()!(# ! $%#%'' ! $"#!"# ! #)&("%

2 ! !&
3 ! " # $ % & ' ( ) * "! B3 # ! # " # # # $ # % # & # ' # ( # ) # * $ ! C3 ! !& " !!!! ! )$!(&) ! (!&$'" ! '!*!&$ ! &$#**# ! %("&'$ ! %#"!$( ! $())%" ! $%$"%& ! $"#'"$ ! #)'#%'

I3 ! !& ! !!!! ! !!!))$ ! !!""$' ! !!""&" ! !!"!(( ! !!!*(% ! !!!)'* ! !!!('* ! !!!')! ! !!!'!! ! !!!&$#

Euler-Cauchy o Heun: TAREA!

Clculo Numrico Pgina 114

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejercicio () Sea el p.v.i siguiente:

C w -9=#> =/8$> C! " ! > " (> en radianes) Considerando

2 ! #& obtenga la solucin aproximada del p.v.i usando: a) Taylor b) Euler c) Euler mejorado d) Euler-Cauchy Solucin: a) Tarea! b) La tabla siguiente resume el problema al aplicar Euler
3 ! " # $ % >3 ! ! #& ! &! ! (& " !! C3 ! #& " " #& " '$*)!&$ # !#%#&%' # #$'%&(# C>3 " " $#*"%*) " ($!%)*) # !%"%("* # ""(*(*& I3 ! #& ! ! !(*"%*) ! !*!')%& ! !"(#"($ ! "")%(((

c) y d) Tarea! Ejercicio (* Implemente en algn lenguaje computacional el mtodo de Euler y aplquelo al p.v.i.:
&C C >" C! " ! > % usando 2 ! # y considerando que la solucin Cw

exacta es C> > "& /> Solucin: La implementacin en MATLAB del mtodo de Euler es relativamente simple. Hacemos esto mediante una subrutina llamada feuler que recibe en la secuencia de llamada el nombre de la subrutina que calcula la funcin 0 , y los datos >! e C! . Esta subrutina devuelve dos vectores con las >w = y las C w = aproximadas. Veamos: function [tvals,yvals]=feuler(0 ,>! ,C! ) tvals zeros(",3 "); yvals zeros(",3 "); index [0:1:3]; tvals >! 2index; yvals(") C! ; for 5 # 3 " yvals(3) yvals(5 ") 2feval(0 ,tvals(5 "),yvals(5 ")); end Usamos ahora esta subrutina en el p.v.i. propuesto y observamos que las aproximaciones numricas no coinciden con la solucin exacta y que el error aumenta segn aumenta la >. Esto es lo usual y no contradice el estimado del error. Para controlar el error lo primero que se hace es disminuir la 2. Para este ejercicio mostramos los resultados de disminuir 2 sucesivamente para la aproximacin de C% &( #$'% a las cifras mostradas. Obtuvimos lo siguiente:
3 #! %! )! "'! $#! '%! "#)! #&'! C3 %# %(#$ %) $%%& &# #)%# &% '"!) && ))#( &' &%)) &' ))** &( !'#% I3 ! # "% ('%! ) )*")' % *&#"& # '#&&' " $&$'& ! ')(&#( ! $%'&!$ ! "($*%&

Clculo Numrico Pgina 115

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Vemos aqu que definitivamente la aproximacin mejora segn disminuye 2 pero la convergencia es bastante lenta. De hecho la aproximacin numrica tiene apenas un error relativo de $ "!$ para 3 #&'!, es decir, 2 % "!% Obserbacin: Este ejercicio muestra que aunque el mtodo de Euler es convergente segn 2 tiende a cero, la convergencia del mtodo puede ser muy lenta, requiriendo un 2 excesivamente pequeo para un error satisfactorio en las aproximaciones. Al usar un 2 excesivamente pequeo en los clculos podemos tener acumulacin de errores debido a la aritmtica finita. Ejercicio ("! Considere el p.v.i. C w &!C C" !

" > "!

cuya solucin exacta es C> !. Resuelva el p.v.i: a) usando algn mtodo que d una buena aproximacin (use 2 ! !& b) con la condicin inicial cambiada a C" "!% , usando 2 ! !& con el mismo mtodo Solucin: La resolucin queda de TAREA. Ejercicio ("" Utilice Runge-Kutta de cuarto orden para resolver el p.v.i. Cw BC # C# " Solucin: De ("! las expresiones seran:
2 2 C3 5" # # # 2 2 5$ B3 C3 5# # # 5% B3 2C3 25$ #
# # 5" B3 C3

que us en a).

# B $ usando 2 ! " y 2 ! !&

5# B3

Como B! # e C! " obtenemos los resultados siguientes 2 ! "


3 ! " # $ % & ' ( ) * "! 3 ! " # $ % & ' ( ) * "! B3 # ! # " # # # $ # % # & # ' # ( # ) # * $ ! B3 # ! # " # # # $ # % # & # ' # ( # ) # * $ ! C3 ! " " !!!!00 ! )#*))& ! (!%#$( ! '!(*"% ! &$"*#% ! %(!&*' ! %#!"(& ! $()!() ! $%#%(" ! $"#!"( ! #)&(") C3 ! !& " !!!!!! ! )#*)(' ! (!%##' ! '!(*!$ ! &$"*"& ! %(!&)) ! %#!"') ! $((!(# ! $%#%'' ! $"#!"$ ! #)&("% I3 ! " ! !!!!!! ! !!!!"! ! !!!!"" ! !!!!"" ! !!!!!* ! !!!!!) ! !!!!!( ! !!!!!' ! !!!!!& ! !!!!!% ! !!!!!% CB3 " !!!! ! )#*)(' ! (!%##& ! '!(*!$ ! &$"*"& ! %(!&)) ! %#!"') ! $()!(# ! $%#%'' ! $"#!"# ! #)&("%

2 ! !&

I3 ! !& ! !!!!!! ! !!!!!" ! !!!!!" ! !!!!!! ! !!!!!! ! !!!!!! ! !!!!!! ! !!!!!! ! !!!!!! ! !!!!!! ! !!!!!!

Clculo Numrico Pgina 116

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejercicio ("2 La ecuacin diferencial que modela el proceso de desintegracin de un material radioactvo esta dada por: Bw 5B B! B! , donde 5 es una constante caracterstica del istopo radiactivo. Para B! &! y 5 ! !& resuelva este p.v.i. en el intervalo [! "!] con 2 ! " y 2 ! !" a) por Euler mejorado b) por Runge-Kutta c) compare sus resultados con la solucin exacta que es B> &!/!!&> . Solucin: Queda de TAREA! Ejercicio ("$ El comportamiento de un circuito elctrico cambia significativamente dependiendo de los valores de los componentes empleados; as, en el circuito que se muestra a continuacin , la inductancia P &!7L , una resistencia V #!ohms y una fuente de voltaje de I "!Z . Entonces, si se cierra el interruptor en un > ! la corriente M> satisface la ecuacin diferencial P .M> VM> I .> M! !

Se necesita encontrar el valor de la corriente para ! > ! !# (en segundos) . mediante el mtodo de RK4 con 2 ! !!!".

Solucin: Queda de TAREA! Indicacin: Implemente un programa que resuelva este problema y considere el hecho de que el p.v.i. puede ser escrito de la forma: .M V I donde 0 > M M 0 > M .> P P Ejercicio ("% Determine por RK% las aproximaciones para la funcin CB que sea solucin del p.v.i. siguiente: Cw #BC C" " Determine C" &, usando 2 ! " y comprelo con la solucin real aproximada CB& $ %*!$%# Solucin: La tabla siguiente resume los clculos
3 ! " # $ % & B3 " ! " " " # " $ " % " & 5" ! # ! #("%" ! $(#'& ! &")$' ! ($"#' " !%(!' 5# ! #$" ! $"%*' ! %$%(& ! '!)#( ! )'$%" " #%%#' 5$ ! #$%#' ! $"**( ! %%#&# ! '#!%" ! ))#&( " #(%)$ 5% ! #("&% ! $(#)( ! &")(' ! ($"*& " !%)#' " &#%)" C3 " !!!!! " #$$'( " &&#(! " **$'* # '""'$ $ %*!#" CB3 " !!!!! " #$$') " &&#(" " **$(# # '""'$ $ %*!$% I3 ! " ! ! !!!!" ! !!!!" ! !!!!$ ! !!!!! ! !!!"$

Clculo Numrico Pgina 117

I nstituto P rofesional D r. V irginio G mez


Departamento de Ciencias Bsicas

Ejercicio ("& Sea el p.v.i.:

C w %/!)B ! &C C! #

B !; ! &

Para 2 ! & resuelva el problema a) por Heun b) por medio de RK4 c) Grafique los errores grobales respectivos versus los respectivos Bw = Solucin: TAREA!

Actividad Personal
A continuacin se proponen ejercicios tomados en certmenes anteriores y ejercicios propuestos para ser resueltos a modo de autoevaluacin. " Resuelva el p.v.i. por Taylor 2 ! & Cw CB# " #C C! " # Por Euler resuelva 2 ! " B !; #

C w " BC C! "

B !; "

$ Determine la solucin del p.v.i , por Euler Mejorado 2 ! " Cw C=/8# > C! " B !; $

% Use Euler-Cauchy para determinar la solucin del p.v.i. 2 ! & C "B C! # Cw

B " & # &

& Para el p.v.i. siguiente resuelvalo por RK% 2 ! " C w B# C C " " B "; "

Clculo Numrico Pgina 118