Académique Documents
Professionnel Documents
Culture Documents
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
Unidades
VIRGINIO GOMEZ
NDICE TEMTICO
Pgina
1 3 3 4 4 6 7 7 8 13 14 14 15 15 16
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
"# 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
17 18 20 21 22 24 26 30 39
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
4.1. Mejor Aproximacin en espacios normados 4.2. Aproximacin discreta de mnimos cuadrados
4.3.1. Mtodo de Gauss-Newton
VIRGINIO GOMEZ
IV.- Unidad N 4
"Aproximaciones"
63 63 64 65 66 68 71
4.3. Aproximacin discreta de mnimos cuadrados, caso no lineal 4.4. Ejercicios Actividad Personal V.- Unidad N 5 "Interpolacin"
72 72 72 73 76 77
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
92
101
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
102 102 104 105 106 108 109 110 111 118
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
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.
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.
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.
VIRGINIO GOMEZ
Pgina 1
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.
Clculo Numrico
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.
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:
VIRGINIO GOMEZ
Pgina 2
Las aplicaciones de los mtodos numricos son prcticamente ilimitadas y se requiere conocimiento en diferentes disciplinas como la economa, fsica, ingeniera, etc.
Clculo Numrico
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.
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.
VIRGINIO GOMEZ
Pgina 3
Clculo Numrico
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.
VIRGINIO GOMEZ
Pgina 4
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.
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! :
" "!: #
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
Podemos observar entonces que el error absoluto del producto depende de las magnitudes B e C Trabajando con los errores relativos tenemos que: &<:
B &C C &B & B & C &C &: &B &B & C &<B &<C &<B &<C BC BC C B B C ?VT &<: &B &C
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
VIRGINIO GOMEZ
Pgina 5
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 " ****).
Clculo Numrico
?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 .
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.
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 "#.
VIRGINIO GOMEZ
Pgina 6
Funciones.
Clculo Numrico
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).
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.
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.
VIRGINIO GOMEZ
Pgina 7
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.
Clculo Numrico
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 | & | $& %()%' $& %()% ' ! "!& "!% | & | $& %()%' $& %() % ' "!% "!$
Solucin: Al resolver el sistema por reduccin: B Luego, el producto ser: BC Mtodo Primero: + " !!! , " " + &+ ! !!# &, &+ &+ +# e C
&. &, &+ #&+ &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 &! !! ! "!%
$' +
&! !! ! "!
VIRGINIO GOMEZ
"$ Ejercicios
cometido
Calculamos ahora el valor de " %"%& obteniendo: " %"%& & '&#&)%#* & '& &<
(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.
&
% ' "!
"!
#! | &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.
VIRGINIO GOMEZ
Pgina 9
Ejercicio "$ Calcular # tomando # " %"% (que tiene todas sus cifras exactas). Estimar el error
&
Clculo Numrico
Si redondeamos obtenemos ! %"%& ! !"# &< donde | &< | " '"*!(... "!% " '# "!% . Finalmente, (# ")& (! %"%)& &> ! !"# &< &> ! !"# & donde por lo que (# ") ! !"# con todas sus cifras exactas.
5
$ !* "!% "! ,
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 $
$ 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:
! !!'(*%...
Por tanto, puesto que # " ! %"%#"$... , tomaremos: B! ! %" con | &B | ! %"%#"$... ! !!& y el error transmitido ser: As pues, tomando # " %" obtenemos
5 &
| &> | | &B | & B!% ! !!& & ! !#) ! !!!( ( "!% "! . (# ") ! %" &> ! !""&)&'... &> (# ") ! !"# &> &< ! !"# &
5
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.
VIRGINIO GOMEZ
$ $ #
Al calcular ! %"%& ! !"#"'"*!(... slo podremos garantizar como exactas, a lo ms, las tres primeras cifras decimales.
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 | $ B! # (! #) ($) (! !%) ! !#% "! con lo que podemos garantizar, a lo ms, un cifra decimal exacta: ( $ ##) ! ! &< &> ! ! &
3 " 6
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 |
Si redondeamos a la tercera cifra decimal (** (!# ) " ! !!& &< &> ! !!& & , donde
$
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)
" *(&'$ #
& Solucin: Trabajando con $ " ($#!&, es decir, con un error inicial de "! tenemos:
( %$ ! !(") &B
&
VIRGINIO GOMEZ
"
6 Ejercicio "' Se quiere calcular el valor de (# ") utilizando el valor aproximado # " %. Cul de las siguientes expresiones es mejor numricamente? Justifica la respuesta.
e)
, con
) )
| & | | &< | | &> | # $' "! ' "! es decir, obtenemos 7 cifras decimales exactas. a) " ! !!!!#'&("(%"... (( % $ )4 y, por tanto, , con | &> | | &B | , con
"!
"!
| & | | &< | | &> | (# ' $ ") "! b) *( &'$ "*$ **%) &B con | &B | &' "! , por lo que
&
"!
| & | | &< | | &> | (# ) " ') "! *( &'$ ! !!&# &B con | &B | &' "! , por lo que
&
"!
"!
por lo que, en este caso, tambin obtenemos 9 cifras decimales exactas. c) (*( &'$ ) ! !!!!#(!%!... &>
2 2
, con
' '
| & | | &< | | &> | # *' "! & )$ "! d) "))"( "!)'%$ ! !!)(******** &B podemos garantizar ninguna cifra decimal. e) "))"( "!)'%$ $('$$ **"# &B " slo obtenemos 5 cifras decimales exactas.
) (* "!
" "" "! "! # ( '(" "! $('$$ **"# ("))"( "!)'%$) "
! !!!!#'&("( &
""
, con "!
"!
que resulta ser el caso ptimo, ya que se obtiene el resultado con "! cifras decimales exactas.
VIRGINIO GOMEZ
( '
(( %$ ) ! !!!!#'&('%**... &>
4
"!
"!
&
'
"!
&
&
Solucin: Las races de la ecuacin son #! $** , por lo que la menor de ellas es B7 #! $** . b) #! $** $* *(& con un error | &B | "! .
$
a) Si la calculamos directamente se obtiene que B7 #! "* *(& ! !#& con las tres cifras decimales exactas.
" ! !#&!"&'$%((... &> (#! $**) Redondeando a la sexta cifra decimal " ! !#&!"' & (#! $**)
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.
VIRGINIO GOMEZ
(
Ejercicio ") Calcular la menor de las races de la ecuacin B # %! B " ! sabiendo que $** "* *(& (con todas sus cifras exactas) y comparar los errores producidos.
'
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 [+,, ].
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 " " B 3
8 3 " 2 B 2 " B 3 8 3 "
(llamada norma-1)
B _ mx B3
3
Por ejemplo, en # consideremos el vector B" " # tenemos que las normas respectivas seran: B" " B 3 B " + B # " # $ "
p #
B"
p
mx B3 mx " # #
3"#
VIRGINIO GOMEZ
Pgina 14
Clculo Numrico
En cambio, para B# ! " las normas respectivas dan: B" " B 3 B " + B # ! " " "
p #
B"
p
mx B3 mx ! " "
3"#
es decir, las normas son iguales entre s, pero recordemos que en general esto no es as.
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:
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.
VIRGINIO GOMEZ
Pgina 15
Observamos que las tres normas son distintas entre s, pero son equivalentes; concepto que no veremos.
Clculo Numrico
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
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 "
E mx B E E B B B " 2
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:
_
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
VIRGINIO GOMEZ
Pgina 16
Clculo Numrico
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.
VIRGINIO GOMEZ
Pgina 17
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.
! ! ! +%%
Clculo Numrico
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.
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.
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
VIRGINIO GOMEZ
B " C " B ( ' C % B * ' C & &
Pgina 18
Clculo Numrico
, de solucin
B " C "
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"
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 $ $
VIRGINIO GOMEZ
% $
Pgina 19
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
Clculo Numrico
Vamos a ver, a continuacin, algunas propiedades del nmero de condicin de una matriz.
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.
VIRGINIO GOMEZ
Pgina 20
Clculo Numrico
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 ,
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$" " 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,
VIRGINIO GOMEZ
" $ ! # # )
Pgina 21
Clculo Numrico
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
$ ! #
" # #
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.
VIRGINIO GOMEZ
Pgina 22
$ ' $
" $ !
# " # # ) "
! " "
! $ ! ! " !
" " !
# # PY %
Clculo Numrico
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)
,"" ,#" ,$" ! ,## ,$# ! ,"" ! ! ,$$ ! ,"" ,#" # # ,#" ,## ,$" ,#" ,$# ,## ,#" ,## ! ,$" " ,$# # ,$$ % # "$ #$ % #$ (( # "$ #$ % #$ ((
,"" ,$" " ,#" ,$" ,## ,$# # # # # ,$" ,$# ,$$ %
# ,"" "
# ,##
"$
# ,$$
# ,$#
((
" # %
# $ !
Ahora, hacemos
" ! !
# $ ! ! $ &
" # %
% B + & C = , ' D -
el cual es equivalente a
Por tanto,
VIRGINIO GOMEZ
Pgina 23
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 .
Clculo Numrico
% #3 % #3
#3 # # #3
% #3 B" ! # #3 B# ! "! B$ %
,"" ,#" ,#" ,#" ,## ,## ,$" ,#" ,$# ,##
,"" ,$" % #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$ #
# 3 B" ! " B# ! # 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.
VIRGINIO GOMEZ
% #3 # #3 "! % #3 # #3 "!
y de aqu, que
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
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 , || .
VIRGINIO GOMEZ
Pgina 25
Es evidente que si un mtodo es convergente es consistente, sin embargo, el recproco no es cierto como prueba el siguiente ejemplo.
Clculo Numrico
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 " ,
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.
VIRGINIO GOMEZ
Pgina 26
Clculo Numrico
! ! ! ! ! ! ! $ !
es decir, H
! ! "
" ! !
" N M H" E ! ! y
" # " %
Luego,
! " !
!
" %
! " " " " $ # # # % % $ " " $ " " % % % % # ! " % ! % % & & &
! $ " " " ! # # # % $ " "( $ " " % % #! & % ( ! % % #! % #$ & #! & &
B% B"' ! " "w B"( ! " "w la solucin del sistema es Mtodo de Gauss-Seidel B ! C " D "
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" ,
VIRGINIO GOMEZ
" ! ! " # ! " & ! $ % ! " ! : "
! B " $ C " , donde & D % ! ! # ! ! ! $ HIJ ! % ! ! ! ! ! & " " & " % "
# ! "
! $ !
# ! "
! % "
" #
! ! ! ! & !
"
" ! !
!
" %
! " "!
" #!
! # $ ! ! " "!
"
!
" %
" #!
! ! ! ! " !
&
VIRGINIO GOMEZ
" ! ! ! ! $ ! ! ! " # !
" "!
! $ % $
#!
B8" P" B8 -
! ! : !
" # !
" "!
" # !
" "!
$ " ! " " ) # # ! "#& # (( $ " " " ! ("#& % % % % )! ! ""(& "* $ "* "* %#( #! #! #! #! %!! (( $ ! $ " "'! " ) # # "'! $ " (( "#)" " " !&!'$ % )! % "'!! % $ %#( "* &"" "* " !"$)) #! #! #! )!!! %!!
" # !
" "!
! B% ! ! ! B& ! !
" # !
" "!
" " ! ! !")(& # ! &#&$"& # ! !#&$"& $ " " ! ('!%" " !"!%" " !&!'$ % % % $ " !"$)) "* ! !%(!"* "* ! **(!"* #! #! #! " " ! ! !#&$"& # ! &!&#!& # ! !!&#!& " " ! (%(('% ! **(('% $ " !"!%" % % % ! !%)&""* "* ! **)&"# $ ! **(!"* "* #! #! #!
" # !
" "!
! B' ! ! ! B( ! ! ! B) ! !
" # !
" "!
" " ! ! !!&#!& # ! %*)))# # ! !!""") $ " " ! (%)))% ! **)))% ! **(('% % % % ! **)&"# "* ! !&!!!!% "* $ " #! #! #! " " ! ! !!""") # ! %**%%# # ! !!!&&) " " ! ! (& " $ **)))% % % % "* ! !&!"""' "* " !!!"" $ " #! #! #! " " ! ! !!!&&) ! & ! # # " " ! (&!!)$ " !!!!) $ " % % % $ " !!!"" "* ! !&!!"'& "* " !!!!# #! #! #!
" # !
" "!
" # !
" "!
B !
C "
D "
" "= 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" ,
Es decir:
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, = (! #).
VIRGINIO GOMEZ
Pgina 29
Clculo Numrico
" 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?
Solucin: a) Despejando la primera ecuacin y reemplazando en la segunda obtenemos BC # B#C ! !"C ! !"
C" y B" C
"! ""
! !""C ! !"
Ejercicio #" Estudiar el nmero de condicin de Frobenius de la matriz E El determinante de E es ./>E +, ,+ & , &.
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
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 #!# #!& &# #!# #! & & &
VIRGINIO GOMEZ
! *! + +& , ,
Pgina 30
#% Ejercicios
Clculo Numrico
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
+" F " +#
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.
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 $+ $, ! %+ &, $$+ $, %%+ &, ! #&+ #*, !
c. a $+ $,
$+ $, #&+# $%, # &)+, (cuadrado de la norma de la segunda fila). %+ &, #&+ #*, ! , #&+ $%, # &)+, #&
#
VIRGINIO GOMEZ
" "
Pgina 31
Clculo Numrico
#&+# $%
)&! * # )%" #* "+# " + " +# + )%" )%" * $ , #& #& #* #& + #* #* $ $
#* #& y, (el otro caso es anlogo), obtenemos: $ $ F $ % % ! ' & $ ! ) ! ) &Y ! '
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 & #&
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&
" " ! ! ! # % % ! ! ! $ * * ! ! ! % "' "' ! % ! % ! " ! & ! #& $ * * ! ! % "' "' ! " ! ! # & ! #& ! $ * * ! ! % "' "' ! ! & #&
* % * !
% "' "'
! % & $ ! #& !
VIRGINIO GOMEZ
% "' "' ! * & # * #& ! % "' "' ! ! ?$% ?%% ! ! ! ! ?%& ?&&
! & #&
% "*)! $ "#)! # "*)! "#! ! 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$# #
! ! ! & &
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# " "
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
" & $ $
! # " "
! ! $ "
! " ! ! ! ! ! %
" # ! !
" " $ !
" # $
# & %
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
VIRGINIO GOMEZ
" $ "" & " $ & "*
$ B" ( % B# * "% B$ $$
! <## <#$
! <"" ! ! <$$ !
<"# <## !
# <"" " <"" " <"" <"# # <"# # " <"" <"$ $ <"$ $ 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$ $$
VB C
# " !
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
; 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 <"# <"$ # ! <## <#$ ! <"" ! ! <$$ ! <"# <## ! <"$ <#$ <$$
VIRGINIO GOMEZ
# & % $ % "%
Pgina 34
Al tratarse de un sistema real, la factorizacin de Cholesky es de la forma E V > V siendo V una matriz triangular superior.
y VC , lo
Clculo Numrico
"$3 ' <"" <"$ " #3 <"$ "#3 ' # # # <"# <## $ <## $
"(3 % $
' V ! !
"$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 # # # <"$ <#$ <$$ ( <$$ "
VIRGINIO GOMEZ
! $ %
"#3 ' " # #
B$ " #3 .
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 # : :
: :# "
: #: ! : #
%:# ): $ !
VIRGINIO GOMEZ
" #
: : #:
: :# "
$ #
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 $. #
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 ! !
" # !
# # # #
" ! !
" # !
# # # #
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 ! ! ! " ! ! " " !
" $
! " $
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" ,
! % ! # ! !)
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$% (" # ").
VIRGINIO GOMEZ
! % ! % ! "#
Pgina 37
Ejercicio #"! Resolver por los mtodos de Jacobi, Gauss-Seidel y SOR con = " # , el sistema $B" B# B$ ! B" B# $B$ ! $B# B$ &
Clculo Numrico
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 ! ! ! ! ! $ " !
" ! ! !
! ! !* N H I J ! # !
! # ! !* ! ! "#&
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 ! !
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#% (" # " ").
VIRGINIO GOMEZ
# " ! !
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% "&
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
VIRGINIO GOMEZ
Pgina 39
Actividad Personal
Clculo Numrico
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)
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 )
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
VIRGINIO GOMEZ
75 5
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).
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.
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 "
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 '(+) !.
VIRGINIO GOMEZ
Pgina 41
Clculo Numrico
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 #
VIRGINIO GOMEZ
, + #
Pgina 42
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.
"
[+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.
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
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
En los casos (+) y (, ), en los que :' (B) ; " el mtodo converge montonamente en (+) y de forma oscilatoria o en espiral en (, ).
VIRGINIO GOMEZ
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 [+ , ]. #
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
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
Es decir, hemos escrito la ecuacin de la forma B : (B) con : (B) raz de $ est comprendida entre " y # y que | :w (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
VIRGINIO GOMEZ
Pgina 44
Clculo Numrico
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
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
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
VIRGINIO GOMEZ
8_
&#'
! 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 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
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
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.
VIRGINIO GOMEZ
Pgina 46
Clculo Numrico
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% " ($#!&!)!(&')))
&%
# 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.
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.
VIRGINIO GOMEZ
Pgina 47
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.
Clculo Numrico
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
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# ! !!!!!"$(' que se ve que converge rpidamente a la solucin B !. 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. B$ ! !!!!!!!!!!!!!*
Dado que B ! 0 B B =/8 B ! la solucin es exacta. Por otra parte, podemos ver que
VIRGINIO GOMEZ
Pgina 48
Clculo Numrico
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
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
VIRGINIO GOMEZ
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.
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).
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.
VIRGINIO GOMEZ
Pgina 50
$& Ejercicios
Clculo Numrico
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 &"
! !!!!!)#((&("##
Por lo que la solucin de la ecuacin es B ! &'( con sus tres cifras decimales exactas.
# -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
VIRGINIO GOMEZ
4Mtodo de Newton
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 0 ww B )-9=#B ! para cualquier B [!; ! &], , cualquiera que sea B [!; ! &]
la regla de Fourier nos dice que el mtodo de Newton converge tomando como valor inicial B! !.
mn 0 w B 0 w ! & % =/8 " % ! '$%"
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[! !&]
B[!; !&]
0 B8 0 B8 #0 B8 ! & mn 0 w B
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
VIRGINIO GOMEZ
*
2.Para 5 $ se tiene que 0 B # -9=#B %B $ pero sus derivadas son independientes del valor asignado a la 5 .
"!
'
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
B[!";"]
obtenemos
B" B# B$ B% ! $#%('$#%%%""") ! &*)!**(!*)&**" ! '&#&)&'(#%)(&! ! '&#*")'$$'$$%) &" &# &$ &% ! $$*(#*# ! !&#!*"& % $ "%*#* "! * ' %"(* "!
VIRGINIO GOMEZ
Pgina 53
Puede observarse que slo existe un punto de corte entre ellas, por lo que la ecuacin B # 68 B ! slo posee una raz real.
"!
'
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 # / Partiremos ahora de esta ltima acotacin: B # # &.
Clculo Numrico
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
B[# #&]
0 B8 0 w B8
obtenindose que
B! B" B# B$
&! ! $&$"$"('%")*"" &" ! !"*")!&!)%'(!% &# ! !!!!)'"(#'(#(' ' &$ ! !!!!!!!!"()&!" "!
9
",&#"!
por lo que la raz de la ecuacin es B # #"*"!( con las seis cifras decimales exactas.
VIRGINIO GOMEZ
7
"Mtodo de la biseccin ' ,+ Dado que | &5 | #5" "! , debemos tomar 5 "*, es decir, debemos calcular los valores de B5 hasta B"* .
"!
'
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
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
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 # #/# $ ! Para B " # es " B !, /B ! y
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 ! #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.
VIRGINIO GOMEZ
B# " B
Pgina 55
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.
Clculo Numrico
0 w B ! 0 ww B B #/B # !
0 w B ! 0 ww B B #/B # !
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'
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 ["#]
& 8
0 B8 #
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.
w
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
B ["!]
mn 0 w B 0 w 0 1 &8 0 B8 .
es decir, la raz negativa es ! %()"(#%! con todas las cifras decimales exactas.
VIRGINIO GOMEZ
*
Regla de Fourier
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 #
B[! "]
0 B8 0 B8 $ mn 0 w B
obtenemos:
&" ! !%&*'!$**)'*)$ & &# # $'(%' "! "# &$ % )$(*) "!
"#
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.
VIRGINIO GOMEZ
"!
'
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.
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[#&;#&"&'#&]
B! # &"&'#& &! ! !!#*%%#$'*''"% ' B" # &"#)'*)")#(#*& &" ( )''& "! "" B# # &"#)'#%"($!&'# &# & ''$% "!
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.
VIRGINIO GOMEZ
'
Acotndolas por Bolzano vemos que, aparte de la raz x = 0, las otras dos se encuentran en los intervalos ( # ") y (# $).
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 # ! $"
, por lo que
B! B" B# B$ B% B& " $ " ((%*(#&#%'(%$" " &&'#$'"#(!!)%" " &!'((%$!#%$'() " &!$#%((%)*'%(# " &!$##))!!*')'! con con con con con con
&! ! !'%&%(&%)##%*( &" ! "(*)!*$$(%&""% &# ! !#('!$'&$&#&*! &$ ! !!"(#!"%##'$%" &% ! !!!!!*"%$*!#%" && ! !!!!!!!!!#'%)!
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
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")
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 ($ %).
VIRGINIO GOMEZ
'
68 | B|
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 #
Como 0 % # '). . . !, tomando B! % converge el mtodo de Newton. mn 0 w B 0 w $ " %'*%%#! 0 B8 0 B8 0 w B8 " %'* mn
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[$%]
B[$%]
&! " )#&)*!*'))((#$ &" ! $'&&&*$"%'$#%$ &# ! !$*"$!$(!!*"!# % &$ ( "&*&')#)!&*##$ "! ( &$ # &((*"!$"**%&&% "!
0 B8 , obtenemos: 0 w B8
por lo que la mayor de las soluciones de la ecuacin es B $ #"()!" con sus seis cifras decimales exactas.
(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") #
VIRGINIO GOMEZ
'
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 " #.
#
VIRGINIO GOMEZ
B # (B( "!(B") #
#
La funcin 1(B) posee una asntota vertical en B " y otra horizontal en C ! ".
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 ! " !).
(B # (B() "!(B") #
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
#
0 ww B (%B # #) / B
!
#
&B( "!B"$
w 0 B !
a B " '
(%B # #) / B
"!B"' B"%
%B # # ! ww /B # 0 B !
a B " '
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 , 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 $
"
# 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 " (.
VIRGINIO GOMEZ
$
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
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"
VIRGINIO GOMEZ
Pgina 63
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.
Clculo Numrico
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"
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
! 0 B3 B3
3" R
VIRGINIO GOMEZ
Pgina 64
3"
(%"
+#
! 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 +#
Por tanto,
9 B
Clculo Numrico
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+" + & # +" & # +#
"& # ! +# ! "( +$ $( ) )
"& # $( )
& # +$
Por tanto, 9 B " " " B# " B# " B ". Representando grficamente tenemos
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
G B -" -# B
VIRGINIO GOMEZ
Ejemplo %$ Determinemos la mejor aproximacin discreta de la funcin 0 V " " de la cual se conocen los puntos dados por la tabla
9 B # *'/"*%B .
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
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
# #
del sistema
H0 - 3 > H0 - 3 =3 H0 - 3 > <- 3
donde
C C" CR >
<#5 <! C 0 - 3
#
" 3 = #5
-4
3"
-4
3
&
Si no se cumple la desigualdad anterior, volver al Paso ". con el - 3" recin calculado.
VIRGINIO GOMEZ
y
Pgina 66
As, G B " !* " *%B Es decir, al volver a las incgnitas originales tenemos
Clculo Numrico
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 - ! > <- !
Para 5 !, tenemos
! #! ! !*
! !$
! !% d> # % !"
es decir, <" <!. Luego, - " - ! =! # *) # '%. Por tanto, - " # *) # '% max
"4#
-4 "!"!
"
-4 -4
" !
! '';
VIRGINIO GOMEZ
# !! ! !# mientras que
Pgina 67
Ejemplo %% Determinemos la mejor aproximacin discreta de mnimos cuadrados de la forma 0 -" -# B -" /-# B tomando como vector inicial - ! " !! " !!, para la tabla
; tenemos
Clculo Numrico
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 " "
" # " #
! !
" # " #
" "
' $&
' $&
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 # $ " ! ! " " ! # $
o equivalentemente
5+" + "!+# "!+" "!+$ &
+# !
$%+$ "#
+"
& (
Por tanto, 9 B
& (
"
" (
B#
& (
" B# # B # . (
+1 "($ (
, +#
%( #)
, +$
y +%
Por lo tanto,
9 B
"
%( #)
B#
)$ )
B$
%( #) B
"'** # &' B
VIRGINIO GOMEZ
y +$ ' ( y +$ " (
)$ )
%% Ejercicios
)$ $ ) B
" B ".
>= 3E
" ) ")(
# ' (!$
$ & %))
% % %*$
& $ '(*
Solucin: En este caso es posible linealizar 3 3! / VG aplicando logaritmo natural, lo que nos da 683 683!
" VG >
Luego, haciendo las sustituciones G B 683 -" 683! y -# G B -" -# > , lo que nos lleva a
" # "!$ # " *!$ $ " (!$ % " &!$ & " $!$
" VG ,
> D 68>
&-" "&-# ) &"& "&-" &&-# #$ &%& -" # $!$ y -# ! # 3! /-" /#$!$ "! !!% -# ! # VG &
9 B # $!$/!#> .
Ejercicio %& En un trabajo experimental se han obtenido los valores que a continuacin se indican
> 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 - ! " !! " !!
-# >
tenemos
0 -
-" -# " -" -# $ -" -# ' -" -# * -" -# "&
0 - !
& "# ! & % '# $ !! ! #& # (& <- ! C 0 - ! # %) ! "% # $% # $% ! " # #% # ") ! !' # "#
VIRGINIO GOMEZ
obtenemos
Pgina 69
Ejercicio %% Obtener la mejor aproximacin discreta de mnimos cuadrados del tipo 3 3! / VG para la tabla
>
Clculo Numrico
"!! "!!
H0 - ! > H0 - !
! $& ! "%
<! c # !!
<#! <" c ! !# ! !%
! #!
! !$
! !*
! !% d> # % !"
es decir, <" <!. Luego, - " - ! =! # *) # '% Por tanto, - " # *) # '% Ahora, por paso % el test de detencin nos da: max
"4# " -4 "!"!
-4 -4
" !
! '';
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> " !! & "# $ !! $ !!
' !! # %)
Obtenga la mejor aproximacin discreta de mnimos cuadrados del tipo del modelo que quiere ajustar. Solucin: Tarea!
VIRGINIO GOMEZ
mientras que
Pgina 70
H0 - !
Clculo Numrico
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 ! #& ! #) ! (& ! &( " #& ! ') " (& ! (% # #& ! (*
VIRGINIO GOMEZ
Pgina 71
Actividad Personal
Clculo Numrico
}.
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.
, +
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 ! " " $ # (
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"
VIRGINIO GOMEZ
Pgina 72
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
Clculo Numrico
+ P3 B4
! 3 4 " 3 4
VIRGINIO GOMEZ
B C B! C! B" C"
B8 C8
con
siendo 1<+.9T B 8
B C " ! # " P" B $ # % &
B "B $B % " B$ )B# "*B "# # "# $# % # B "B #B $ " P$ 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
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"
Teorema &%. Los coeficientes -! -" . . . -8 , descritos ms arriba, dependen de los valores B! , B" , . . . , B8 y 0! , . . . , 08 .
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" B8 08
VIRGINIO GOMEZ
B C B! 0! B" 0" B C " ! $ " % " & # ( . $
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
. Si UB y
B8 08
y,
se verifica que T B UB
B B! VB UB. B8 B!
Teorema &' Para cualquiera que sea 5 ! 8 se verifica que 0 [B! B" B5 ]
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
& ' & '
& ")
#
" #
"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
B! C! 0 8 - . 0 [B! B" . . . B8 ] 8x
B C
B" C"
B8 C8
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
?$ C! ?C" ?C!
B C
B! 0!
B" 0"
B8 08
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 B! " 5 " 2 #x 2 2 8x 2 2
B B! , se tiene que 2
T8 B 0!
Es decir:
VIRGINIO GOMEZ
Pgina 75
Clculo Numrico
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_
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.
Si afinamos an ms y aproximamos mediante un polinomio de grado ) en el soporte { % $ # " ! " # $ %} obtenemos T) B en la Figura &.4.
" "(!! "(!!
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.
VIRGINIO GOMEZ
Pgina 76
Clculo Numrico
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
Se tienen, en este caso, #8 # condiciones, por lo que debemos buscar un polinomio de grado #8 " 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
B 0 B w 0 B
B! 0! w 0!
B8 08 w 08
8
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
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
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 %
" "( ) #)*
! " !
%
" "(
) #)*
VIRGINIO GOMEZ
5 ! 8
Pgina 77
Clculo Numrico
De esta forma, P5 B
DB BB5 $B# "' 5
P! B
BB % " $ Pw! B! #B! % $# $# ) B# "' " w P" B P" B" #B" "' " "' "' B# %B " $ P# B Pw! 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"' #)*!!!!
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.
VIRGINIO GOMEZ
+# 0 #
)$ ""&'
#
Luego,
DB B %BB % B$ "'B
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
VIRGINIO GOMEZ
&"
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
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
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"
C3" C3 23"
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$
VIRGINIO GOMEZ
W? (B3" ) C3"
Pgina 80
Clculo Numrico
VIRGINIO GOMEZ
Pgina 81
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.
&$ 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
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
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 ' # $
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
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 El error viene dado por:
&B DB 0 8" -B 0 -B BB " 8 "x #x
ww
/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:
VIRGINIO GOMEZ
Pgina 82
Ejercicio &# Hallar el polinomio de interpolacin de la funcin 0 B #B% en el soporte cannico {! " # $}. Obtener una expresin del error.
Clculo Numrico
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
T B +$ B$ +# B# +" B +!
VIRGINIO GOMEZ
buscar es de
Pgina 83
Ejercicio &% Obtener el polinomio de interpolacin de los puntos (( $), () "), (* ") y ("! *) basndose en los polinomios de Lagrange para el soporte cannico.
grado
tres,
T$ ! +! & T$ # )+$ %+# #+" +! " T$ " +$ +# +" +! $ T$ $ #(+$ *+# $+" +! "$ T$ B B$ #B# $B &
cuya solucin es +! &, +" $, +# # y +$ ", por lo que el polinomio de interpolacin es 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
B3 ! " # $
0 B3 & $
0 B3 B4 #
0 B3 B4 B5
0 B3 B4 B5 B6
" "$
El polinomio de interpolacin viene dado por se obtiene que 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 "
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
VIRGINIO GOMEZ
Pgina 84
Clculo Numrico
por lo que J 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
+ 0 B5 con 5 ,5 0 w B5 #0 B5 Pw5 B 5
con
+! 0 " ! +" 0 # 68#
w
,! 0 w " #0 "Pw" " " # ! " " ," 0 # #0 #Pw# # ! & # 68# " ! & #68#
por lo que y sustituyendo los valores de P! B y P" B obtenemos Para B " & se tiene El error viene dado por:
&B D # B
T$ " & ! &! &# 68# ! & #68# ! &! &# ! %!*!($&*!
y dado que
0 MZ -B ' ' % ' % -B "
es decir:
& ! !"&'#&
VIRGINIO GOMEZ
Pgina 85
& " T$ B " " % > & >>" # >>"># " %B " # B "B # $ B "B #B $ #x $x " " $ ' ' #%B " "&B "B # #B "B #B $ ' #B $B# B " BB "#B " '
Clculo Numrico
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 #
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 ""
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,
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
VIRGINIO GOMEZ
5!
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 /!!" .
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 " ! % " $)'#*% ' " (*"('! & " '!*%$)
$ , ! !&#$*&( ! !&&"%"!
VIRGINIO GOMEZ
interpole los
Pgina 87
Actividad Personal
datos
por
& Por Spline cbicos encuentre un polinomio de interpolacin para los puntos " $ ! # " " # !
Clculo Numrico
# " .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 "
para obtener que ( 0 B.B ( 1B.B ( &B.B en donde habr que evaluar ( &B.B.
# # # # " " " "
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!
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"
VIRGINIO GOMEZ
+
X n este tema se pretende dar una aproximacin numrica del valor de una integral ( 0 B.B en los
,
'"
" B! B8 !
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 # . % # %
cuya solucin es +!
" $ +" + # # # #
,#
# $
# $
" %
" $
" #
# $
$ %
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.
VIRGINIO GOMEZ
Pgina 89
Clculo Numrico
B+ se tiene que 2
P3 B
>> "> 8 "83 2 8 >> "> 8 .> 83 2.> 3x 8 3x ( >3 ! > 33x8 3x " ! 8 8 D> 83 3 +3 2 " .> 8x (! > 3
8
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 , , + # # #
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 '").
VIRGINIO GOMEZ
Pgina 90
Clculo Numrico
+, #
y B# , . Dado que
#
se tiene que
,+ +# +! '
,+ #, + ' $
,+ #, + +, ,+ 0 + 0 # 0 , ' $ '
,+ 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 - *!
( 0 B.B
+
VIRGINIO GOMEZ
Pgina 91
Clculo Numrico
( 0 B.B
, +
,+ 0 B! 0 B8 #0 B" 0 B# 0 B8" #8
'% Ejercicios
Ejercicio '" Probar que los coeficientes +5 de las frmulas de Newton-Ctes verifican que "
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!
8 ! D> D> D> D> D> > "> #> 8 >> "> 8 " D w > > >" ># >5 5! > 5
y, en consecuencia,
"
8 8
"
1.Calcularla exactamente. 2.Calcularla, aproximadamente, por la frmula bsica de Simpson. 3.Calcularla por la frmula compuesta de Simpson de 11 sumandos.
"
VIRGINIO GOMEZ
Pgina 92
"5 +5 8 5 5!
Clculo Numrico
donde 2
por lo que
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:
(
" !
" %
se tiene
(
" !
" B# " " " " " #" ( .B & ) " & ! &)$$$ " B# # * % % ") # "#
" " " B# $ #> ># .B ( .> ( 1>.> # " B# " #& #> > "
1 $ ! %!(%&('%$ &
1 $ ! !&*&!$')$ &
se obtiene
(
" !
(No existe ninguna contradiccin en el hecho de haber obtenido dos resultados diferentes, ya que la frmula se ha aplicado a funciones diferentes.)
VIRGINIO GOMEZ
"! " # #
Pgina 93
Solucin:
Clculo Numrico
5 ( B .B " "
B5" 5"
"
si 5 es par
"
si 5 es impar
# ( B .B "
Por tanto:
( 1 .B #
" $ ( B .B ! " " "
( B .B !
" % ( B .B " " "
# &
& ( 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
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 #
VIRGINIO GOMEZ
# $
Veamos. por ltimo, que la frmula es exacta para polinomios de grado no superior a cinco.
# " "5" 5" 5" !
T# B 0 " B "0 " - B "B -0 " - " 0 " 0 - 0 " B " -"
0 "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 ! #
"
+! ( +" ( +# (
"
"
"
"
Luego la frmula
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#
# $
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
" "
VIRGINIO GOMEZ
" 0 "
%-%- $ $"- #
%-"- # $"- #
+! +" +#
"$!" $"!"
! $*$*$*
0 " * $
por lo 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! !
(! 3 $
# B ; D w B %B$ 'B# *
## * B
# *
obtenemos
P! B
P# B
P" B
BB # aB "b $
# #(
P$ B
BB " B # $ $
# *
( 68B .B "
" ! "" *
2 ( B 68B .B " !
" "'
# " *
" # % * a " b
" "'
"* $#
! " !
#( $ % # " B B B68B .B # $ $
" "'
#( #
" $#
* $ # # * B B B68B .B # # *
" *
# " * %
VIRGINIO GOMEZ
# D w ! * # D w # #( $
0 " % #
" # D w $ #( y D w a"b # *
#( $ & # # B B B # $ $ * $ # # B B B # *
" 9
"" $#
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 & " !
" " # " 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:
" " " " ! ! ! !
&
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.
" !
( =/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+,
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 |
VIRGINIO GOMEZ
+$
" $# !
Obtenindose
( 0 B 68B .B =
"
0 MZ -B 68B .B %x
" B#
punto B " y dicho valor mximo es ". El error es, por tanto &
, +$ " "#8# "#8#
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 "),
" B#
0 w B
ww
# B$
0 MZ 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%
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
es decreciente en el intervalo [# $] ,
mx 0 B /$ mx
ww
B#$
" & " "#8# " & & " "!' "#8#
VIRGINIO GOMEZ
' B%
8 '&#
|0 ww B|
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%
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:
" "
2 0 + 0 , %M #T & $
con &
, +& mx 0 MZ B ")!8%
B+,
siendo 2
,+ , 8
B3 + 23 (3 " 8 "),
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
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+,
VIRGINIO GOMEZ
& $ / "$ )
Pgina 99
Utilizando la frmula compuesta de los trapecios es necesario sumar, al menos, 652 trminos para obtener seis cifras decimales exactas.
Clculo Numrico
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
" !
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
funciones:
=/8 5B .B !
para 5 ! "
-9= 5B .B
0 B .B X8 &
donde:
2 0 ! #0 2 #0 #2 #0 8 "2 0 #1 #
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 ! #1 %1 5 ! 8 #8 8
#185
VIRGINIO GOMEZ
#1 8
Para que el error sea menor que "!7 se debe cumplir que 8%
Por tanto:
X8 a-9=Bb V/X8 /358 que coinciden con los valores de las integrales.
4!
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. " !
$ 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 "
#
VIRGINIO GOMEZ
Pgina 101
#1 4 8
X8 /358
#18 #1 . 8
Clculo Numrico
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
Dada una ecuacin diferencial ordinaria de orden 8 y cualquier grado, cuya forma general es: (")
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(":
VIRGINIO GOMEZ
Pgina 102
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.
Clculo Numrico
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 (#
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 ($:
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.
VIRGINIO GOMEZ
(($)
Pgina 103
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.
Clculo Numrico
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
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.
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"
VIRGINIO GOMEZ
(%
Pgina 104
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.
Clculo Numrico
.0 `0 `0 .C `0 `0 .2C 0 .B `B `C .B `B `C .B2 B3 C3
VIRGINIO GOMEZ
(& B ! " #
Pgina 105
, etc.
Ejemplo (" Resolvamos por Taylor el p.v.i. siguiente: identificamos inmediatamente B! ! e C! CB! "
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 # " #
" # 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# " # %
" ! !&"# " ! ! !&"" !# " " ! !&" ! !&# " ! !&" " " !&& , 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
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
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
VIRGINIO GOMEZ
el
('
Pgina 106
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.
intervalo
Cw B.B (
B3"
0 B CB.B
B3
Figura (' Interpretacin geomtrica del Mtodo de Euler, donde /3" es el error de truncamiento local.
Clculo Numrico
VIRGINIO GOMEZ
Clculo Numrico Pgina 107
3 ! " # $ % &
B3 ! ! " ! # ! $ ! % ! &
C3 ! " " " !& " ""!'$(& " ")%'%)%$*$)%$) 1,#(&)')*"%&!&#" 1,$)*)"()")&*&#'
CB3 valor exacto) " %!! ",!&&%!)*(!*('#& $(* "!! )* " "#$&*&&!&'"(*) %!! $$" " #!)%&*#"%&!"&" #& "* " $"&()*%($')%#" "' "" " %&
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 ! "
(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 ((
C3" C3 20 B3
2 2 C3 03 # #
VIRGINIO GOMEZ
!,!!&%!)*(" !,!"#*&)!!' !,!#$)"!((& !,!$**#!&&* !,!'%(#('$'
((
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
C3" C3
VIRGINIO GOMEZ
#
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
Anlogamente, de ()
#
C3" C3
# # C3 ! !#&" B3 C3 " B3 ! "C3 a" ! !&" B3 C3 b# # C3 ! !#&C3 " B3 " B3 ! "a" ! !&" B3 C3 b#
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
donde
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
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.
VIRGINIO GOMEZ
(*
Pgina 110
Clculo Numrico
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 * ) ! "''%@ @! !
03 0 >3 @3 * ) ! "''%@3
@3" @3"
@# @" ! " ! **"')* ) ! "''% @" ! *(")%'% ! !**"')* ) ! "''% ! *(")%'% " *#('&&) @$ @# ! !**"')* ) ! "''% @# " *#('&&) ! !**"')* ) ! "''% " *#('&&) # )'('*#* 3 ! " # $ % & (! >3 ! ! " ! # ! $ ! % ! & ( @3 ! ! *(")%'% " *#('&&) # )'('*#* @>3 ! ! *(")*"% ! *#((%%% # )'()#$' I3 ! " !
%! &#!""""
Solucin: Las siguientes tablas muestran las aproximaciones para los distintos 2w s 2 ! "
3 ! " # $ % & ' ( ) * "! B3 # ! # " # # # $ # % # & # ' # ( # ) # * $ ! C3 ! " " !!!! ! )$&! ! ("!) ! '"%& ! &$)! ! %('" ! %#&! ! $)#$ ! $%'# ! $"&$ ! #))' I3 ! " ! !!!! ! !!&" ! !!'& ! !!'' ! !!'" ! !!&& ! !!%* ! !!%$ ! !!$( ! !!$$ ! !!#* CB3 " !!!! ! )#** ! (!%# ! '!(* ! &$"* ! %(!' ! %#!# ! $()" ! $%#& ! $"#! ! #)&(
VIRGINIO GOMEZ
Pgina 111
(4 Ejercicios
Clculo Numrico
C3 ! !& " !!!! ! )$"! ! (!&' ! '!*$ ! &$$# ! %(") ! %#"# ! $(*! ! $%$$ ! $"#( ! #)'#
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
C3 ! # ! & ! ) " "&# " &&!% " *))%) # %&)"(' # *%*)""# $ %&"(($%% $ *&!"#)"#) % %#)"&$(&$' % )'&()%&!%$
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 ! & ! ! " "#!%###'(&
VIRGINIO GOMEZ
Pgina 112
2 ! !&
I3 ! !& ! !!!! ! !!"" ! !!"% ! !!"% ! !!"$ ! !!"# ! !!"! ! !!!* ! !!!) ! !!!( ! !!!'
Clculo Numrico
C> " >/$> & Para 3 ! C>! " >! /$>! & Para 3 " 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
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
VIRGINIO GOMEZ
Pgina 113
Clculo Numrico
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
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:
C3" C3 2B3 2 2 # # C3 # B3 23 , donde B! # e C! " #
B # $
2 ! !&
3 ! " # $ % & ' ( ) * "! B3 # ! # " # # # $ # % # & # ' # ( # ) # * $ ! C3 ! !& " !!!! ! )$!(&) ! (!&$'" ! '!*!&$ ! &$#**# ! %("&'$ ! %#"!$( ! $())%" ! $%$"%& ! $"#'"$ ! #)'#%'
I3 ! !& ! !!!! ! !!!))$ ! !!""$' ! !!""&" ! !!"!(( ! !!!*(% ! !!!)'* ! !!!('* ! !!!')! ! !!!'!! ! !!!&$#
VIRGINIO GOMEZ
Pgina 114
La solucin real al problema del valor inicial de este ejercicio: C> >68> #>
Clculo Numrico
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!
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 ! # "% ('%! ) )*")' % *&#"& # '#&&' " $&$'& ! ')(&#( ! $%'&!$ ! "($*%&
VIRGINIO GOMEZ
Pgina 115
Clculo Numrico
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" !
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
5# B3
2 ! !&
I3 ! !& ! !!!!!! ! !!!!!" ! !!!!!" ! !!!!!! ! !!!!!! ! !!!!!! ! !!!!!! ! !!!!!! ! !!!!!! ! !!!!!! ! !!!!!!
VIRGINIO GOMEZ
Pgina 116
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 % "!%
que us en a).
Clculo Numrico
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 ! !!!".
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 " !!!!! " #$$') " &&#(" " **$(# # '""'$ $ %*!$%
VIRGINIO GOMEZ
I3 ! " ! ! !!!!" ! !!!!" ! !!!!$ ! !!!!! ! !!!"$
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
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 !; $
& Para el p.v.i. siguiente resuelvalo por RK% 2 ! " C w B# C C " " B "; "
VIRGINIO GOMEZ
Pgina 118
C w %/!)B ! &C C! #
Clculo Numrico