Calculo Numerico

CLCULO NUMRICO
D E P A R T A M E N T O
D E
C I E N C I A S
B S I C A S
I nstituto P rofesional D r. V irginio G mez
NDICE TEMTICO
Unidades
VIRGINIO GOMEZ
Departamento de Ciencias Bsicas
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
"Sistema de ecuaciones lineales"
2.1. Nmero de condicin

2.1.1. Propiedades del nmero de condicin
2.2. Mtodos por factorizacin PY

2.2.1. Factorizacin de Cholesky(i)
2.3. Mtodos iterados

2.3.1. Mtodos de descomposicin
2.4. Ejercicios
Actividad Personal
III.- Unidad N 3
"Resolucin de ecuaciones no lineales"
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
Pgina
1
3
3
4
4
6
7
7
8
13
14
14
15
15
16
17
18
20
21
22
24
26
30
39
40
41
41
43
45
50
62
IV.- Unidad N 4
"Aproximaciones"
4.1. Mejor Aproximacin en espacios normados

4.2. Aproximacin discreta de mnimos cuadrados
VIRGINIO GOMEZ
4.3. Aproximacin discreta de mnimos cuadrados, caso no lineal

4.3.1. Mtodo de Gauss-Newton
4.4. Ejercicios
Actividad Personal
V.- Unidad N 5
"Interpolacin"
5.1. Interpolacin polinomial

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

5.2.1. Clculo de los Splines cbicos de interpolacin
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
6.3. Frmulas Compuestas

6.3.1. Simpson para 8 par
6.3.2. Trapecios para 8 impar
6.4. Ejercicios
Actividad Personal
VII.- Unidad N 7 "Solucin Numrica de Ecuaciones Diferenciales Ordinarias"

7.1. Introduccin a las E.D.O.
7.2. Mtodo de Taylor
7.3. Mtodos de Runge-Kutta
7.3.1. Mtodo de Euler

7.3.2. Mtodo de Euler Mejorado y Euler-Cauchy (o de Heun)
7.3.3. Runge-Kutta de tercer y cuarto orden
7.3.4. Runge-Kutta de orden superior
7.4. Ejercicios
Actividad Personal
63
63
64
65
66
68
71
72
72
72
73
76
77
79
79
81
87
88
88
90
90
91
91
91
92
92
101
102
102
104
105
106
108
109
110
111
118

VIRGINIO GOMEZ
El Anlisis Numrico trata de modelar o disear mtodos para aproximar, de manera eficiente, la
solucin a problemas numricos complejos utilizando operaciones de la aritmtica.
La eficiencia de los mtodos depende tanto de la precisin que se requiera como de la facilidad con que
pueda implementarse.
En la prctica, el problema matemtico se deriva de un fenmeno fsico sobre el cual se hacen
suposiciones para representarlo matemticamente. Muchas veces es ms conveniente encontrar una solucin
aproximada del problema matemtico ms complicado que encontrar una solucin exacta del modelo
simplificado.
Ejemplo de un osciloscopio:
Anlisis de datos en la interaccin con dispositivos de hardware
Los mtodos de clculo se denominan "algoritmos". El algoritmo es una secuencia de operaciones

algebraicas y lgicas que producen la aproximacin al problema matemtico y se espera que tambin al
problema fsico.
En la seleccin del algoritmo se debe tener en cuenta que los cambios tecnolgicos los afectan
significativamente, ya que computacionalmente dependen de la capacidad de almacenamiento de la computadora
y del costo asociado con los tiempos de cmputo.
Adems de esto se toman dos criterios muy evidentes: la rapidez y la precisin. La primera se ve ms
favorecida cuando sean problemas a gran escala, es decir, que el algoritmo ms rpido sera el elegido.
Superficie creada usando spline racional y su polinomio de Taylor
Modelo numrico de un huracn
Dado que un computador est compuesto de dispositivos que realizan las operaciones lgicas y
aritmticas, los procedimientos matemticos deben simplificarse a tal grado que sean accesibles para procesarse
en un computador.
Clculo Numrico
Pgina 1

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

de un microscopio de tnel de barrido.
En la mayora de los casos trataremos de buscar la solucin de una forma iterada, es decir, construyendo
una sucesin convergente a la solucin del problema.
En resumen, el siguiente diagrama explica grficamente todo lo anterior:
Clculo Numrico
Pgina 2
"" Introduccin a la teora de errores
VIRGINIO GOMEZ
Las tcnicas del Clculo Numrico han experimentado un notable avance desde la aparicin de los PC's.
Dicho tipo de PC's ofrecen la posibilidad de realizar grandes cadenas de clculos en un tiempo prudencial, lo que
se traduce en que muchos mtodos que durante tiempo han permanecido en el terreno de lo utpico e irrealizable
son ahora factibles.
Sin embargo, y dado que el PC trabaja con un determinado nmero de cifras decimales, todos los
nmeros que aparecen en los clculos son redondeados. As por ejemplo, si trabajamos con cinco cifras
decimales e introducimos el nmero # "#$&'( el PC lo redondear a # "#$&( cometiendo un error de ! !!!!!$
que recibe el nombre de error de redondeo. Es evidente que para clculos con pocas operaciones este error es
prcticamente despreciable, pero estamos hablando de que los mtodos que eran utpicos y que resolvemos
ahora con la ayuda del PC constan de gran cantidad de operaciones y, por tanto, de redondeos.
Evidentemente no todos los errores que se comenten son de redondeo, sino que estos pueden ser
producidos por muchas otras causas que estudiaremos en este tema.
Lo que si debe quedar claro es que debido a la gran cantidad de operaciones que vamos a realizar en un
determinado proceso, es necesario realizar un detallado estudio de todos los errores que pueden ser arrastrados
en l, ya que de lo contrario, el resultado no sera fiable.
Comenzaremos, por ello, estudiando los diferentes tipos de errores que pueden producirse en un
proceso de clculo.
""" Errores experimentales y de modelacin
Estos errores son inherentes al planteamiento del problema y pueden ser de dos tipos:
Experimentales
Surgen de la utilizacin de datos afectados de error, bien debido a los aparatos de medida (por falta de
precisin de estos), bien debido a nuestros sentidos (errores personales entre ellos).
De modelizacin
Tienen su raz en la aproximacin de la realidad por modelos matemticos sobre los que se realiza el
estudio. Son generalmente de tipo fsico y debidos a que el modelo matemtico utilizado no refleja exactamente
la realidad sino una aproximacin de sta. Se pueden producir voluntariamente (intencionados) o
involuntariamente (por desconocimiento de algunas leyes).
Un ejemplo tpico de modelizacin es el tiro parablico. Es evidente que la trayectoria de un proyectil
no es exactamente una parbola, ya que sta se producira slo en el caso de que el aire no ofreciera resistencia,
que la gravedad no experimentara variaciones etc., sin embargo es evidente que cada vez que introducimos un
nuevo factor que pueda modificar la trayectoria, el modelo se complica. Es por ello, que resulta prcticamente
imposible tener en cuenta todos estos factores y es necesario despreciar alguno de ellos para que el modelo
resultante sea factible de estudiar. De esta manera, podemos comenzar diciendo que no tendremos en cuenta las
variaciones de la gravedad (estamos cometiendo un error de modelizacin voluntario).
Supongamos ahora que se quiere estimar la posicin de un cometa a partir de los datos obtenidos tras
una serie de observaciones. Es evidente que estos datos vendrn afectados de ciertos errores de medicin debidos
a mltiples causas como puedan ser la falta de precisin de los aparatos, las variaciones producidas por la
refraccin de la luz e incluso a errores personales. Es decir, vienen afectados de errores de experimentacin.
Clculo Numrico
Pgina 3
""# Errores de tipo matemtico

Error de discretizacin
VIRGINIO GOMEZ
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
_
3"
3"
( 0 B.B " +3 0 B3
,
3"
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.
Error de redondeo
B#
#x
B$
$x
sino que
Es el que se comete al manejar cantidades que desbordan la capacidad del aparato que utilizamos. No
puede estudiarse globalmente, sino que su estudio se realiza para cada problema particular.
Error transmitido
Es el que se comete al trabajar con unos datos iniciales afectados de errores. En otras palabras, el que se
transmite de los datos iniciales a la solucin del problema.
Error de truncamiento
Por ejemplo, la evaluacin de funciones mediante desarrollos en series infinitas, obliga a considerar en el
clculo slo un nmero finito de sumandos, truncando el resto de la sumatoria.
""$ Errores absolutos y relativos
Definicin. "". Sea B el valor exacto de un nmero real y B! el valor aproximado. Se define el error absoluto y
se denota por & como la diferencia B B! , y se expresa siempre en valor absoluto, es decir:
| & | | B B! |.
Al cociente entre el error absoluto & y el valor real B se le denomina error relativo y se denota por &< .
|& |
Se expresa tambin en valor absoluto, es decir: | &< |
.
|B|
Existen dos maneras de obtener el nmero de cifras decimales significativas de un valor aproximado B! :
por redondeo, cuya expresin es | &|
"
"!:
#
(: cifras decimales exactas)
por truncamiento, cuya expresin es | &| "!:

Clculo Numrico
Pgina 4

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

W! B! C! El error de dicha suma (diferencia) viene dado por
&= W W! B C B! C! &B &C
?W & = & B & C & B & C
por lo que
Productos.
&: BC B! C! BC B &B C &C
BC BC B &B C &B &B &C
?T &: B&C C &B
( considerando despreciable &B &C )
Podemos observar entonces que el error absoluto del producto depende de las magnitudes B e C
Trabajando con los errores relativos tenemos que:
&<:
B &C C &B & B & C

&C
&:
&B
&B & C
&<B &<C &<B &<C

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

?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.
&- BC &<B &<C " &<C &#<C
En cuanto al error relativo
&<-
& &<B &<C &<B &<C &<C &<B &<C &#<C

BC
&<B &<C &<B &<C &#<C &<B &<C
?VG &<- &<B &<C
Clculo Numrico
Pgina 5
Funciones.
&0 0 B 0 B! 0 B 0 B &B
0 B 0 B &B 0 w B
&B 0 w B
&#B ww
#x 0 B
&#B w w
0 B &B 0 w B
#x
?0 &0 &B 0 w B
VIRGINIO GOMEZ
Observacin importante: Aunque no podamos calcular exactamente el valor de 0 w B, podemos

sustituirlo por 0 w B0 ya que el error depende, en gran medida, del valor de &B .
""% Grfica del error global
En un proceso tpico de discretizacin, es decir, en una familia infinita de procesos que dependen de 8
(grado de un polinomio, nmero de trminos de una suma, etc.) sabemos que al aumentar 8 el error de
discretizacin tiende a cero, pero aumenta el nmero de operaciones y por tanto, el error de redondeo.
Figura "" Variacin de los errores de discretizacin y redondeo.
Las grficas (1) y (2) de la Figura "" nos muestran la variacin de los errores de discretizacin y de
redondeo, respectivamente, a medida que aumenta el valor de 8.
El error total que se comete en el proceso completo de discretizacin viene dado por la suma de ambos
errores, es decir:
| &> | = | &. | + | &< |
La grfica de la variacin de dicho error se obtiene, evidentemente, sumando las grficas de las
variaciones de ambos errores, y se muestra en la Figura "#.
Figura "# Variacin del error total en un proceso de discretizacin.
Clculo Numrico
Pgina 6

VIRGINIO GOMEZ
Puede observarse que la grfica de la variacin del error total presenta un mnimo, lo que nos dice que,
en un proceso de discretizacin, no se puede resolver un problema con un error inferior a dicho mnimo, es decir,
si aumentamos el valor de 8 para disminuir el error de discretizacin, aumenta el error total debido al incremento
del error de redondeo, y si disminuimos el valor de 8 para disminuir el error de redondeo, aumentamos tambin
el error total debido al incremento del error de discretizacin.
As pues, para poder resolver un problema con una precisin determinada, las nicas soluciones
posibles son el trabajar con otra discretizacin diferente (que tienda a cero ms rpidamente) o trabajar con un
mayor nmero de dgitos (disminuir los errores de redondeo).
""& Condicionamiento y estabilidad
Definicin "#. Si el algoritmo (proceso de discretizacin) que se aplica en la resolucin de un problema controla
el error de redondeo, es decir, si ste no se dispara al pasar de una etapa a la siguiente, se dice
que el algoritmo es estable.
Si el mnimo que presenta la grfica del error es grande, el problema se dice que est mal condicionado
y el proceso de discretizacin se dice que es inestable.
Si, por el contrario, una pequea modificacin en los datos va acompaada de una pequea
modificacin en el resultado, se dice que el problema est bien condicionado. En este caso, los errores de
redondeo hacen prcticamente despreciables a los de discretizacin.
"# Cifras significativas
Se considera que las cifras significativas de un nmero son aquellas que tienen significado real o
aportan alguna informacin. Las cifras no significativas aparecen como resultado de los clculos y no tienen
significado alguno. Las cifras significativas de un nmero vienen determinadas por su error. Son cifras
significativas aquellas que ocupan una posicin igual o superior al orden o posicin del error.
Por ejemplo, consideremos una medida de longitud que arroja un valor de &%$# %('% 7 con un error de
! ) 7. El error es por tanto del orden de dcimas de metro. Es evidente que todas las cifras del nmero que
ocupan una posicin menor que las dcimas no aportan ninguna informacin. En efecto, qu sentido tiene dar el
nmero con precisin de diezmilsimas si afirmamos que el error es de casi 1 metro?. Las cifras significativas en
el nmero sern por tanto las que ocupan la posicin de las dcimas, unidades, decenas, etc, pero no las
centsimas, milsimas ni diezmilsimas.
Cuando se expresa un nmero debe evitarse siempre la utilizacin de cifras no significativas, puesto que
puede suponer una fuente de confusin. Los nmeros deben redondearse de forma que contengan slo cifras
significativas. Se llama redondeo al proceso de eliminacin de cifras no significativas de un nmero.
Cmo pueden determinarse las cifras significativas a partir del nmero que expresa el error?. Hay que
tener siempre presente que todo error es una estimacin y est por tanto sujeto a su vez a una incertidumbre,
generalmente grande. Por esto no tiene sentido especificarlo con excesiva precisin.
Clculo Numrico
Pgina 7
"$ Ejercicios
VIRGINIO GOMEZ
Ejercicio "" Exprese el nmero B $& %()%' truncado a cuatro y tres decimales. Calcular el error cometido.
Solucin: Truncado a cuatro cifras decimales significativas B! $& %()% . Luego, su error ser
| & | $& %()%' $& %()% ' ! "!& "!%
En cambio a tres decimales ser B! $& %() y su error es
| & | $& %()%' $& %() % ' "!% "!$
Ejercicio "# Sea el siguiente sistema de ecuaciones lineales
B +C &
,B #C .
, donde + " !!! ! !!# ,
"
y . , + Con qu exactitud podemos determinar el producto BC ?
+
Solucin: Al resolver el sistema por reduccin:

"! +.
# +,
B
Luego, el producto ser:
BC
("! +. ) (. &, )
("! +. )(. &, )
EF
(# +, ) (# +, )
(# +, )#
G
Mtodo Primero:
+ " !!!
,
&+ ! !!#
"
"
+
&,
&+
&+
+#
. , + !
&. &, &+ #&+
E "! +. "!
&E + &. . &+ #&+
F . &, &
&F &. & &, (&+
. &,
# +,
G # +, "
&G # &+ # &, % &, %&+ "#&+
EF &!
&EF F &E E &F )!&+
BC
EF
G
&!
&0
&EF
G
EF &G
G#
')!&+
Sustituyendo valores, obtenemos el siguiente resultado

BC &! ! " %
Segundo Mtodo:
BC +$ "$+
$'
+
&! !! ! "!
&0 $+# "$ $'

+# &+ ! "!%
BC &! !! ! "!%
R 9>+ Por qu el error es mucho menor en el segundo mtodo?

Clculo Numrico
Pgina 8

Ejercicio "$ Calcular # tomando # " %"% (que tiene todas sus cifras exactas). Estimar el error
cometido
VIRGINIO GOMEZ
&
Solucin: | &> | | # " %"%& | | &B | & # "!% #! ! !!# "!#

&
Calculamos ahora el valor de " %"%& obteniendo:
, con | &< | # ' "! .
" %"%& & '&#&)%#* & '& &<
(No tiene sentido tomar ms de dos cifras decimales cuando ya el error de transmisin slo nos garantiza dos).
# & & '& & & & '& &
<
>
con
$
| & | | &< | | &> | # ' "! # "!
% ' "!
"!
por lo que # & '& con todas sus cifras exactas.

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

| &> | | # B!& | | &B | & #
&
#! | &B |.
&
Ejercicio "% Determinar la precisin con la que hay que tomar # para calcular # con tres cifras
decimales exactas.
$
Solucin: Para obtener tres cifras decimales exactas, ha de ser | &> | "! , es decir:
#! | &B | "!
| &B |
"!
#!
! & "!% "!%
Luego B! debe tomarse al menos con cuatro cifras decimales exactas tras el redondeo, es decir, dado
que # " %"%#"$ . . :

# " %"%#
con | &B | ! & "!% "!% .
Conclusin: el error de transmisin es superior al error en el dato. Partiendo de un valor que tiene cuatro cifras
decimales exactas, llegamos a un resultado del que slo podemos garantizar la exactitud de tres cifras decimales.
Ejercicio "& Calcular (# ")& tomando # " %"% (que tiene todas sus cifras exactas) y estimar el
error . Determinar la precisin con la que hay que tomar # para calcular (# ")& con tres cifras decimales
exactas.
Solucin: Partimos de que el valor aproximado de # " dado por B! " %"% " ! %"% tiene todas sus
$
cifras exactas, es decir, partimos de un error en los datos | &B | "! .
Si consideramos la funcin 0 (B) = B& , de la cual queremos obtener el valor de 0 (B) = 0 (# "), el
error de transmisin viene dado por
| &> | | &B | 0 ' (B! ) "!$ & (! %"%) % " %')) "!% " %( "!% "!$
por lo que no podremos obtener ms de tres cifras decimales exactas.
Clculo Numrico
Pgina 9

VIRGINIO GOMEZ
Al calcular ! %"%& ! !"#"'"*!(... slo podremos garantizar como exactas, a lo ms, las tres
primeras cifras decimales.
Si redondeamos obtenemos ! %"%& ! !"# &< donde | &< | " '"*!(... "!% " '# "!% .
Finalmente, (# ")& (! %"%)& &> ! !"# &< &> ! !"# &
donde
%
| & | | &< | | &> | " '# "! " %( "!
por lo que (# ") ! !"# con todas sus cifras exactas.
$ !* "!% "! ,
En cuanto a la precisin con que debe conocerse # para obtener tres cifras decimales exactas al
5
calcular (# ") , vamos a ver que puede ser algo menor que la que nos dan en el enunciado.
Se trata de que | &> | | B & B!& | | (# ") B!& | "! .
5
| &> | | &B | | 0 w B | | &B | & B% "! .

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

B! ! %" con | &B | ! %"%#"$... ! !!&
y el error transmitido ser:
| &> | | &B | & B!% ! !!& & ! !#) ! !!!( ( "!% "! .
As pues, tomando # " %" obtenemos
(# ") ! %" &> ! !""&)&'... &>

5
&
redondeando se tiene que
(# ") ! !"# &> &< ! !"# &

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.
Clculo Numrico
Pgina 10

a) ($ ##)
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.
Solucin: Si aproximamos # por " %, estamos trabajando con un error menor que "! .
"
a) La aproximacin de $ ## dada por B! $ # " % ! # tiene un error

por tanto ( $ ##) ! !!) &>
3
| &B | # "!
"
! #
, con
| &> | | &B | $ B! # (! #) ($) (! !%) ! !#% "!

con lo que podemos garantizar, a lo ms, un cifra decimal exacta:
( $ ##) ! ! &< &> ! ! &
3
"
con | & | | &< | | &> | ! !!) ! !#% ! !$# "! ,
"
es decir, obtenemos que (# ") ! ! , pero no podemos garantizar ninguna cifra decimal ms.
6
b) Aproximando ** (!# por el valor B! ** (! " % "*( , tenemos un error

|&B | (! "!
"
"
y aproximamos el valor buscado por el de 0 (B! ) obtenemos que
B
"
"
=
con
&> ! !!&!('" ... &> ,
(** (!#) "*(
Si consideramos la funcin 0 (B) =
| &> | | & B |
"
"
(
" )!$... "!% "!$ .
"*( #
B!#
Si redondeamos a la tercera cifra decimal

(** (!# )
"
! !!& &< &> ! !!& & , donde
| & | | &< | | &> | ! !!!!) ! !!!"* ! !!!#( "!
6
es decir, obtenemos (# ") ! !!& con todas las cifras exactas.
En resumen, por el primer mtodo slo garantizamos una cifra decimal exacta, mientras que el segundo nos
garantiza tres.
4
Ejercicio "( Se desea calcular el valor de la expresin (( %$ ) utilizando el valor aproximado de $
" ($#!& (que tiene todas sus cifras exactas). Cul de las siguientes frmulas equivalentes es mejor desde el
punto de vista numrico?
a)
"
((%$ )4
b)
"
*(&'$ #
c) *( &'$ d) "))"( "!)'%$

#
e)
"))"( "!)'%$
"
&
Solucin: Trabajando con $ " ($#!&, es decir, con un error inicial de "! tenemos:
( %$ ! !(") &B
&
, con | &B | % "! , por lo que
Clculo Numrico
Pgina 11

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

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

, con
)
| & | | &< | | &> | # $' "! ' "!
"!
es decir, obtenemos 7 cifras decimales exactas.

a)
"
! !!!!#'&("(%"...
(( % $ )4
y, por tanto,
, con | &> | | &B |
"
! !!!!#'&(# &
(( % $ )4
, con
"!
"!
por lo que obtenemos 9 cifras decimales exactas.
b) *( &'$ "*$ **%) &B con | &B | &' "! , por lo que
&
*( &'$ #
es decir
! !!!!#'&("(#*... , con | &> | | &B |
"
! !!!!#'&(# &
*( &' #
, con
"!
"!
por lo que, en este caso, tambin obtenemos 9 cifras decimales exactas.

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

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

2
, con
| & | | &< | | &> | # *' "! & )$ "!
'
e) "))"( "!)'%$ $('$$ **"# &B
("))"( "!)'%$)
con | &> | | &B |
("))"( "!)'%$)
'
"!
&
&
'
"!
&
&
! "!* , por lo que no
! "!)'% por lo que
! !!!!#'&("(#$#(( &>
"
""
"!
"!
# ( '(" "!
$('$$ **"#
"
, con | &B | "!)'% "!
, con | &B | "!)'% "!
"
) (* "!
slo obtenemos 5 cifras decimales exactas.
d) "))"( "!)'%$ ! !!)(******** &B

podemos garantizar ninguna cifra decimal.
, con | &> | | &B | # ! !!&# & )$ "!
'
#
"!
*
"!
$ " ' "!
"*$ **%)
| & | | &< | | &> | (# ) " ') "!
c)
"!
%
"!
*
$ " "! "!
"$ *#)#)&
| & | | &< | | &> | (# ' $ ") "!
"
VIRGINIO GOMEZ
(( %$ ) ! !!!!#'&('%**... &>
, es decir
! !!!!#'&("( &
| & | | &< | | &> | (# $#) ( '(") "!
""
, con
"!
"!
que resulta ser el caso ptimo, ya que se obtiene el resultado con "! cifras decimales exactas.
Clculo Numrico
Pgina 12

a) Directamente
b) Utilizando la expresin (#! $**) " .
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.
Solucin: Las races de la ecuacin son #! $** , por lo que la menor de ellas es B7 #! $** .
a) Si la calculamos directamente se obtiene que B7 #! "* *(& ! !#& con las tres cifras decimales
exactas.
b) #! $** $* *(& con un error | &B | "! .
$
"
! !#&!"&'$%((... &>
(#! $**)
, con | &> | | &B |
Redondeando a la sexta cifra decimal

"
! !#&!"' &
(#! $**)
"
(
'
"! .
# ' $ "!
($* *(&)
, con | & | | &< | | &> | $ 7 "! ' $ "!( "!
'
es decir, obtenemos ' cifras decimales exactas, frente a las 3 obtenidas mediante el clculo directo.
Actividad Personal
A continuacin se proponen ejercicios tomados en certmenes anteriores y ejercicios propuestos para

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

resistencia se mide a &!o G con un mismo medidor que aprecia ! !!" y el termmetro usado para medir la
temperatura aprecia ! &o G . Los valores obtenidos de las mediciones fueron: # %!# ; # %!) ; # %!$ ; # %!( ;
# %!& . Se sabe que V! # !!* con un error sistemtico del "% . Calcular el error de escala y sistemtico que
se presenta al medir el coeficiente de variacin de la resistencia con la temperatura.
Clculo Numrico
Pgina 13
"% Normas vectoriales y matriciales
VIRGINIO GOMEZ
Definicin "$. Sea un espacio vectorial definido sobre un cuerpo . Se define una norma como una
aplicacin, que denotaremos por el smbolo || ||, de en (cuerpo de los nmeros reales) que
verifica las siguientes propiedades:
" B ! a B , siendo B ! B ! (definida positiva).
# - B - B a - a B homogeneidad).
$ B C B C , a B C desigualdad triangular).
Un espacio en el que hemos definido una norma recibe el nombre de espacio normado.
Es frecuente que en el espacio se haya definido tambin el producto de dos elementos. En este caso,
si se verifica que
B C B C
se dice que la norma es multiplicativa. Esta propiedad es fundamental cuando trabajamos en el conjunto `88
de las matrices cuadradas de orden 8. Sin embargo no tiene mucha importancia cuando se trabaja en el espacio C
[+,, ] de las funciones continuas en el intervalo [+,, ].
"%" Normas vectoriales
Sea un espacio normado de dimensin 8 y sea {?" , ?# , . . . , ?8 } una de l. Cualquier vector B de

puede ser expresado de forma nica en funcin de los vectores de la base .
B " B3 ?3
8
3 "
donde los escalares (B" , B# , . . . , B8 ) se conocen como coordenadas del vector B respecto de la base .
Utilizando esta notacin, son ejemplos de normas los siguientes:
B " " B 3
(llamada norma-1)
2
B 2 " B 3
(que recibe el nombre de norma euclideana)
3 "
B _ mx B3
3 "
(cuyo nombre es norma infinito)
Por ejemplo, en # consideremos el vector B" " # tenemos que las normas respectivas seran:
B" " B 3 B " + B # " # $
"
#
p
B" " B 3 2 " 2 # 2 &
2
3 "
3 "
B"
p
mx B3 mx " # #
3"#
Clculo Numrico
Pgina 14

En cambio, para B# ! " las normas respectivas dan:

B" " B 3 B " + B # ! " "
"
#
p
B" " B 3 2 ! 2 " 2 "
2
3 "
3 "
B"
p
mx B3 mx ! " "
3"#
VIRGINIO GOMEZ
Observamos que las tres normas son distintas entre s, pero son equivalentes; concepto que no veremos.
es decir, las normas son iguales entre s, pero recordemos que en general esto no es as.
"%# Distancia inducida por una norma
Definicin "%. Dado un espacio vectorial , se define una distancia como una aplicacin . de en
cumpliendo:
" .B C ! a B C siendo .B C ! B C
# .B C .C B
$ .B C .B D .D C
a B C
a B C D
Definicin "&. Si ( , || || ) es un espacio normado, la norma || || induce una distancia en que se conoce como
distancia inducida por la norma || || y viene definida por:
.B C || B C ||
Veamos que, en efecto, se trata de una distancia:
" .B C ! porque es una norma, y adems .B C ! || B C || ! B C ! B C

# .B C || B C || || "C B || | "| || C B || || C B || .C B
$ .B C || B C || || B D D C || || B D || || D C || .B D .D C
"%$ Convergencia en espacios normados
Definicin "'. Una sucesin de vectores @" , @# , . . . , de un espacio vectorial normado ( , || ||) se dice que es
convergente a un vector @ si
lim || @5 @ || !
5 _
Esta definicin coincide con la idea intuitiva de que la distancia de los vectores de la sucesin al vector
lmite @ tiende a cero a medida que se avanza en la sucesin.
Teorema "(. Para un espacio vectorial normado de dimensin finita, el concepto de convergencia es
independiente de la norma utilizada.
Clculo Numrico
Pgina 15
"%% Normas matriciales
VIRGINIO GOMEZ
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 "
"
"
"
C3 " +35 B5 se tiene que

8
Dado que
EB C
5"
E mx "" +35 B5 B "

"
"
8
3" 5"
Por ltimo, si descargamos todo el peso sobre una coordenada, es decir, si tomamos un vector de la base
cannica, obtenemos que
E mx " +34
"
8
3 "
Norma-# (o norma euclideana)

Utilizando la norma-2 de vector se tendr que
E mx B E E B B B "
2
Descargando ahora el peso en los autovectores de la matriz obtenemos que
E mx B -3 B B B " mx -3 mx 53
2
3
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
mx " +34 B4 B _ "

8
4 "
Como ahora se dar el mximo en un vector que tenga todas sus coordenadas iguales a ", se tiene que
E
mx " +34
8
4 "
Norma de Frobenius:
E !+34 # ><E E
J
34
Clculo Numrico
Pgina 16

VIRGINIO GOMEZ
Para los sistemas de ecuaciones lineales, de la forma EB , , trataremos de buscar mtodos iterados, es
decir, transformando el sistema en otro equivalente de la forma B J B, donde J B Q B R .
Evidentemente habr que exigir algunas condiciones a la matriz Q para que el mtodo sea convergente y estas
condiciones se basan en los conceptos estudiados de normas vectoriales y matriciales.
Dada una aplicacin 0 7 8 y un vector , 8 , resolver el sistema de ecuaciones 0 B , es
buscar el conjunto de vectores de 7 cuya imagen mediante 0 es el vector , , es decir, buscar la imagen inversa
de , mediante 0 .
Un sistema de ecuaciones se dice lineal en su componente 5 -sima si verifica que
0 B" B5" !B5 " B5 B5" B7 !0 B" B5" B5 B5" B7 "0 B" B5" B5 B5" B7
Diremos que un sistema es lineal si lo es en todas sus componentes, pudindose, en este caso, escribir
de la forma EB , . Centraremos nuestro estudio en los sistemas reales.
Podemos clasificar los sistemas de ecuaciones lineales atendiendo a
Su tamao
Pequeos: 8 $!! donde 8 representa el nmero de ecuaciones.
Grandes: 8 $!!.
(Esta clasificacin corresponde al error de redondeo)
Su estructura
Lleno: si la matriz posee pocos elementos nulos.
Disperso o Sparce : Si la matriz contiene muchos elementos nulos.
Son matrices de este tipo las siguientes para 8 4):
Las tridiagonales
+""
+#"
0
!
+"#
+##
+$#
!
!
+#$
+$$
+%$
Las triangulares superiores

! +""
! !
0
+$%
+%% !
+"#
+##
!
!
+"$
+#$
+$$
!
+"%
+#%
+$%
+%%
Las triangulares inferiores

+""
+#"
+$"
+%"
!
+##
+$#
+%#
!
!
+$$
+%$
!
!
!
+%%
En cuanto a los mtodos de resolucin de sistemas de ecuaciones lineales, podemos clasificarlos en

Mtodos directos
Aquellos mtodos que resuelven un sistema de ecuaciones lineales en un nmero finito de pasos. Se
utilizan para resolver sistemas pequeos.
Mtodos iterados
Crean una sucesin de vectores que convergen a la solucin del sistema. Estos mtodos se utilizan para
la resolucin de sistemas grandes, ya que al realizar un gran nmero de operaciones los errores de redondeo
pueden hacer inestable al proceso, es decir, pueden alterar considerablemente la solucin del sistema.
Clculo Numrico
Pgina 17
#" Nmero de condicin
VIRGINIO GOMEZ
Un sistema de ecuaciones lineales EB , se dice bien condicionado cuando los errores cometidos en
los elementos de la matriz E y del vector , producen en la solucin un error del mismo orden, mientras que
diremos que el sistema est mal condicionado si el error que producen en la solucin del sistema es de orden
superior al de los datos. Es decir:
E E y , , &
B B &
B B &
E E y , , &
Consideremos el sistema cuadrado EB , con E regular, es decir, un sistema compatible determinado.

En la prctica, los elementos de E y de , no suelen ser exactos ya sea porque procedan de clculos anteriores, o
bien porque sean irracionales, racionales peridicos, etc. Es decir, debemos resolver un sistema aproximado cuya
solucin puede diferir poco o mucho de la verdadera solucin del sistema.
As, por ejemplo, en un sistema de orden dos, la solucin representa el punto de interseccin de dos
rectas en el plano. Un pequeo error en la pendiente de una de ellas puede hacer que dicho punto de corte se
desplace slo un poco o una distancia considerable (vase la Figura #"), lo que nos dice que el sistema est bien
o mal condicionado, respectivamente.
Sistema bien condicionado
Sistema mal condicionado
Figura #" Condicionamiento de un sistema.
Podemos ver que el sistema est mal condicionado cuando las pendientes de las dos rectas son muy
similares y que mientras ms ortogonales sean las rectas, mejor condicionado estar el sistema.
Se puede observar entonces que si, en un sistema mal condicionado, sustituimos una de las ecuaciones
por una combinacin lineal de las dos, podemos hacer que el sistema resultante est bien condicionado.
Ejemplo #" Si consideramos el sistema

$B %C (
$B % !!!!"C ( !!!!"
, de solucin
y cometemos un pequeo error en los datos, podemos obtener el sistema

$B %C (
$B $ *****C ( !!!!%
, de solucin
$B %C (
$B $ *****C ( !!!!&&
, de solucin
o bien este otro
B
"
C "
B
( '
C %
B
* '
C & &
lo que nos dice que estamos ante un sistema mal condicionado.
Clculo Numrico
Pgina 18

, de solucin
$B %C (
%B $C "
B
"
C "
siendo ste un sistema bien condicionado.
VIRGINIO GOMEZ
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
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 EE" M
E" M M EE"
E" M M EE" M M EE" M M EE"

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

8
4"
%
$
Clculo Numrico
Pgina 19

es decir, se trata de un sistema mal condicionado.
VIRGINIO GOMEZ
E ( !!!!"
) !!!!"
R E ")'''(" ''( " ) "!'
E"
#''''(
! !!!!$
Vamos a ver, a continuacin, algunas propiedades del nmero de condicin de una matriz.
#"" Propiedades del nmero de condicin.
Como ya se ha visto anteriormente R E " cualquiera que sea la matriz cuadrada y regular E.
Si Y es una matriz unitaria, se verifica que R# E R# EY R# Y E.
Los sistemas mejor condicionados son aquellos que tienen sus filas o columnas ortogonales y
mientras mayor sea la dependencia lineal existente entres ellas peor es el condicionamiento del sistema.
Trataremos de buscar mtodos de resolucin de sistemas de ecuaciones lineales que trabajen con
matrices unitarias que no empeoren el condicionamiento del sistema como lo hace, por ejemplo, el mtodo de
Gauss basado en la factorizacin PY . Sin embargo, dado que ha sido estudiado en la asignatura de lgebra
Lineal, comenzaremos estudiando dicho mtodo aunque pueda alterarnos el condicionamiento del problema.
Empezaremos estudiando pues, como mtodos directos, los basados en la factorizacin PY y el de
Cholesky.
Clculo Numrico
Pgina 20
##. Mtodos por Factorizacin PY
VIRGINIO GOMEZ
Al aplicar el mtodo de Gauss al sistema EB , realizamos transformaciones elementales para

conseguir triangularizar la matriz del sistema. Si este proceso puede realizarse sin intercambios de filas, la matriz
triangular superior Y obtenida viene determinada por el producto de un nmero finito de transformaciones fila
J" J# J5 aplicadas a la matriz E. Llamando P" J5 J5" J" ya que el determinante de una
transformacin fila es " y, por tanto, su producto es inversible) se tiene que P" E Y , o lo que es lo mismo,
E PY . Adems, la matriz P es una triangular inferior con unos en la diagonal.
Debido a la unicidad de la factorizacin, sta puede ser calculada por un mtodo directo, es decir,
haciendo
"
6
#"
E 6$"
68"
!
"
6$#
68#
!
!
"
68$
! ?""
!
!
!
!
"
!
?"#
?##
!
?"$
?#$
?$$
?"8
?#8
?$8
?88
y calculando los valores de los 8# elementos que aparecen entre las dos matrices.
Por tanto, EB , PY B ,
PY B , y si hacemos Y B D el sistema es equivalente a

PD ,
Y B P" ,
D P" ,
B Y " P" ,
El procedimeiento que desdobla el sistema EB , en los dos sistemas triangulares encerrados en un

rectngulo se conoce como Mtodo de Doolittle.
En cambio, si la matriz que lleva los unos en la diagonal principal es Y y no P, el mtodo se llamar
Mtodo de Crout.
Ejemplo #$ Dada la matriz E
EPY
"
6#"
6$"
!
"
6$#
?""
6#" ?""
6$" ?""
$
'
$
! ?""
!
!
" !
?"#
6#" ?"# ?##
6$" ?"# 6$# ?##
por lo que de la primera fila obtenemos que:
#
#
tenemos:
)
"
$
!
?"#
?##
!
?"$ $
?#$
'
?$$ $
"
$
!
#
#
)
?"$
$
6#" ?"$ ?#$
'
6$" ?"$ 6$# ?#$ ?$$ $
$6#" '
6#" ?## $
#6#" ?#$ #
6#" #
?## "
?#$ #
y de la tercera
#
#
?"" $ ?"# " ?"$ #
de la segunda (teniendo en cuenta los valores ya obtenidos) se tiene:
es decir,
"
$
!
$6$" $
6$" 6$# !
#6$" #6$# ?$$ )
6$" "
6$# "
?$$ %
Clculo Numrico
Pgina 21

$
'
$
"
$
!
# "
#
#
) "
!
"
"
! $
! !
" !
"
"
!
#
# PY
%
VIRGINIO GOMEZ
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:
+"" +"# +"$
+
+"#
+#" +## +#$ etc.
E" a+"" b
E# ""
E
$
+#" +##
+$" +$# +$$
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
3 " 8
5"
53
As, por ejemplo, la matriz E
$
!
#
"
#
#
"
" es diagonal dominante.
&
Teorema #&. Toda matriz diagonal dominante es regular.
Teorema #'. Las matrices fundamentales E5 de una matriz E de diagonal dominante, son tambin de diagonal
dominante.
Como consecuencia de los Teoremas #$, #& y #', podemos deducir el siguiente corolario.
Corolario #(. Toda matriz diagonal dominante admite factorizacin PY .
Otro tipo de matrices de las que se puede asegurar que admiten factorizacin PY son las hermticas
definidas positivas, ya que las matrices fundamentales de stas tienen todas determinante positivo, por lo que el
Teorema #' garantiza la existencia de las matrices P y Y .
##" Factorizacin de Cholesky
Una vez visto el mtodo de Gauss basado en la factorizacin PY vamos a estudiar otros mtodos que se
basan en otros tipos de descomposiciones de la matriz del sistema.
Es conocido que toda matriz hermtica y definida positiva tiene sus autovalores reales y positivos y,
adems, en la factorizacin PY todos los pivotes son reales y positivos.
Clculo Numrico
Pgina 22

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

"
#
%
Ahora, hacemos
"
!
!
"
#
%
Por tanto,
#
"$
#$
%
#$
((
,## $
,#" ,$" ,## ,$# #$
%
#$
((
,"" "
,"" ,#" #
#
,#"
,$" "
,$# #
,$$ %
#
$
!
!
$
&
!
$
&
! "
! !
' !
% B +
&
C = ,
' D -
#
$
!
% B '
&
C
*
' D &&
el cual es equivalente a
! + '
! , = *
' - &&
+' , " - '
" # % B '
! $ &
C = "
D " C # B'
! ! ' D '
Clculo Numrico
Pgina 23
Ejemplo #%# Consideremos el sistema
%
#3
% #3
#3
#
# #3
% #3 B" !
# #3
B#
!
"! B$ %
Realicemos la factorizacin de Cholesky FF * directamente, es decir

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

% #3
,$" ,$" ,$# ,$# ,$$ ,$$
VIRGINIO GOMEZ
% #3
# #3
"!
% #3
# #3
"!
#3
#
# #3
Igualando trmino a trmino se obtiene: | ,"" |# % ,"" #. Utilizando este resultado tenemos que
#3, por lo que ,#" 3 y que #,$" % #3 por lo que ,$" # 3.
Por otro lado, | ,#" |# + | ,## |# #, por lo que | ,## |# " y, por tanto, ,## ".
Como ,#" ,$" ,## ,$# # #3 tenemos que " #3 ,$# # #3 , es decir ,$# "
,$# ".
y, por tanto,
Por ltimo, | ,$" |# + | ,$# |# + | ,$$ |# "!, por lo que & " | ,$$ |# "!, es decir | ,$$ |# % y, por
tanto, ,$$ #. As pues, el sistema nos queda de la forma
#
3
# 3
Haciendo ahora
#
!
!
#
3
# 3
3
"
!
B" "
!
"
"
!
"
"
! #
!
!
# !
3
"
!
! C" !
!
C#
!
# C$ "
# 3 B" !
"
B#
!
# B$ #
B# "
# 3 B" !
"
B#
!
# B$ "
se obtiene
C" !
C#
!
C$ #
y de aqu, que
de donde la solucin del sistema es

B$ "
Hemos visto que toda matriz hermtica y definida positiva admite factorizacin de Cholesky, pero
podemos llegar ms lejos y enunciar el siguiente teorema.
Teorema #*. Una matriz hermtica y regular E es definida positiva si, y slo si, admite factorizacin de
Cholesky.
#$ Mtodos iterados
Un mtodo iterado de resolucin del sistema EB , es aquel que genera, a partir de un vector inicial
B! , una sucesin de vectores B" , B# , . . . B8 ,
Definicin #"!. Un mtodo iterado se dir que es consistente con el sistema EB , , si el lmite B de la
sucesin (B8 ), en caso de existir, es solucin del sistema. Se dir que el mtodo es convergente si la sucesin
generada por cualquier vector inicial B! es convergente a la solucin del sistema.
Clculo Numrico
Pgina 24

VIRGINIO GOMEZ
Es evidente que si un mtodo es convergente es consistente, sin embargo, el recproco no es cierto como
prueba el siguiente ejemplo.
Ejemplo #& El mtodo B8" #B8 E" , es consistente con el sistema EB , pero no es convergente. En
efecto:
B8" B #B8 E" , B
#B8 #B E" , B
#B8 B E" , B
y como E" , B, se tiene que
B8" B #B8 B
Si existe
lim B8 B
8_
tendremos que
B * B # (B * B )
B* B !
B* B
, es decir, el lmite es solucin del sistema EB , ,
por lo que el mtodo es consistente.

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

B OB - , que existe y es nica (cualquiera sea la norma matricial empleada).
Es evidente que, en la prctica, no podremos nunca llegar al valor de B (ya que habra que realizar
infinitas iteraciones), por lo que ser necesario detenernos en una determinada iteracin y tomar el valor de B8
como una aproximacin de la solucin B.
El error cometido se mide calculando la distancia entre ambos vectores, es decir, la norma del vector
error || B8 B ||, pero como no conocemos el vector B lo que se hace es medir la distancia entre sus
transformados, es decir
|| I || = || EB8 , || .
Clculo Numrico
Pgina 25
#$" Mtodos de descomposicin
VIRGINIO GOMEZ
Los mtodos que vamos a estudiar, a continuacin, consisten en descomponer la matriz invertible E del
sistema EB , de la forma E Q R de manera que la matriz Q sea fcilmente invertible, por lo que
reciben el nombre genrico de mtodos de descomposicin. El sistema queda entonces de la forma
( Q R )B , Q B R B ,
B Q " R B Q " ,
, es decir, expresamos el sistema de la forma B OB - con O Q " R y - Q " , .

Dado que
( M O )E" , ( M Q " R )(Q R )" , Q " ( Q R ) (Q R )" , Q " , -
y la matriz (M O ) (M Q " R ) Q " Q R Q " E es invertible, estamos en las condiciones del

Teorema #"' por lo que el mtodo B8" OB8 - es consistente con el sistema EB ,. Es decir, si el
proceso converge, lo hace a la solucin del sistema.
Sabemos tambin, por el Teorema #"$, que el proceso ser convergente si se verifica que
||Q " R || " para alguna norma matricial.
Para el estudio de los mtodos que trataremos a continuacin, vamos a descomponer la matriz E de la
forma E H I J siendo
+""
!
H !
!
+##
!
!
!
+$$
!
!
! +#"

!
-I +$"

+8"
+88
!
!
+$#
+8#
!
!
!
+8$
Mtodo de Jacobi
!
!
!
!
!
-J !
!
!
+"#
!
!
+"$
+#$
!
+"8
+#8
+$8
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
- H" ,
La matriz N H" I J H" H E M H" E se denomina matriz de Jacobi.

Teorema #"%. Si E es una matriz diagonal dominante, el mtodo de Jacobi es convergente.
Clculo Numrico
Pgina 26
#
!
"
"
%
"
! B "
$
C
"
, donde
& D %
!
!
# ! ! !
$ HIJ ! % !
!
!
! ! & " "
&
es decir, H
#
!
!
!
%
!
!
!
! I
!
"
&
Ejemplo #'" Sea el sistema
#
!
"
Luego,
"
N M H" E !
!
y
!
"
!
- H" ,
%

&
"
%
"
!
!
"
! #
! !
" !
"
!
"
%
!
!
! yJ !
!
!
! # "
! %
!
" " "
&
"
!
!
!
B" !
"
&
!
B# !
"
&
!
B$ !
"
&
! !
! !
! !
"#
!
"&
B8" N B8 - se tiene, considerando el vector inicial B!

"#
!
"&
"#
!
"&
"#
!
"&
"
!
!
!
$
!
!
$
!
! !
$ !
& "
&
"
#
"
%
Por tanto, de
VIRGINIO GOMEZ
"
"
"
!
! "
# #
#"
! %
$%
$% "%
"#
% "
! " %& "&
&
!
$%
!
"
! :
"
! "# "# "% "# $%

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

$
"
$%
"%
"%
"(
#!
&
%
(
% #$
! & %& #!
#!
&
B%
B"' ! " "w

B"( ! " "w
la solucin del sistema es
B !
C "
Mtodo de Gauss-Seidel
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" ,
P" H I" J E J " E J E M E J " E M H I" E
recibe el nombre de matriz de Gauss-Seidel.
Teorema ##!. Si E es una matriz diagonal dominante, el mtodo de Gauss-Seidel es convergente.
Clculo Numrico
Pgina 27
Ejemplo #'# Resolvamos el ejemplo anterior por este mtodo

Aqu,
P" H I" J
#
!
"
- H I" ,
! !
!
!
& !
"
!
%
"
"
#
!
"
"!
Por tanto, de
"#
!
!
B# !
!
"#
!
!
B$ !
!
"#
!
"#
!
!
B& !
!
"#
!
"
"!
"
"!
!
B' !
!
"#
!
!
B( !
!
"#
!
!
B) !
!
"#
!
"
"!
"
"!
"
"!
"
%
"
"!
"
"!
"
"!
"
!
"
%
"
#!
! !
!
!
" !
&
"
!
!
! !
$ !
! !
se tiene, considerando el vector inicial B!
"#
!
"
"!
!
$%
$
#!
!
! :
!
"
"
"
! !
#" ! #" #"
$
!
%
!
%
%
%
$ !
"* ! "* "*
#!
#!
#!
#!
$
"
! "# "#
)
! "#& #" ((
$
"
"
!
("#&
%
%
%
%
)!
$
! ""(&
"*
"* %#(
"*
#!
#!
#!
#!
%!!
((
"
$
! $) "# "'!
#
"'!
$
((
"
"#)"
"
" !&!'$
)!
%
"'!!
%
$ %#(
"* &"" "* " !"$))
#!
#!
#!
)!!!
%!!
"
"
!
! !")(& #" ! &#&$"& #" ! !#&$"&
$
" !"!%"
" !&!'$
! ('!%"
%
%
%
$ " !"$))
"* ! !%(!"* "* ! **(!"*
#!
#!
#!
"
"
! ! !#&$"&
# ! &!&#!& # ! !!&#!&
"
"
! **(('%
! (%(('%
$% " !"!%"
%
%
$ ! **(!"*
"*
"*
!
!%)&""*

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

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

" !!!""
#!
#!
#!
"
"
! ! !!!&&)
! &
!
#
#
"
"
!
(&!!)$
"
!!!!)
$% "
%
%
$ " !!!""
"* ! !&!!"'& "* " !!!!#
#!
#!
#!
la solucin del sistema es
"
#!
! #
$ !
! "
"!
"
!
" "#
! "
%
" %
"*
&
#!
B8" P" B8 -
!
B" !
!
!
B% !
!
"
!
!
VIRGINIO GOMEZ
B !
C "
D "
Clculo Numrico
Pgina 28
Mtodos de relajacin SOR (Succesive Over-Relaxation)

Este mtodo realiza la descomposicin
E
VIRGINIO GOMEZ
"
"=
"
"=
H
H I J H =I
H J Q R
=
=
=
=
El sistema EB , se transforma entonces en
"
"=
H =IB
H J B , H =IB a" =H =J bB =,
=
=
B H =I" a" =H =J bB =H =I" ,
Es decir:
B P= B con P= H =I" a" =bH =J y - =H =I" ,
La matriz del mtodo P= H =I" a" =bH =J recibe el nombre de matriz de relajacin.
Si = " la matriz se reduce a , es decir, se trata del mtodo de Gauss Seidel.
Si = " se dice que se trata de un mtodo de sobre-relajacin.
Si = " se dice que se trata de un mtodo de sub-relajacin.
Teorema #"&. Una condicin necesaria para que converjan los mtodos de relajacin es que = (! #).
Teorema #"'. Si la matriz E del sistema es diagonal dominante, los mtodos de relajacin son convergentes
cualquiera que sea = (! "].
Teorema #"(. Si la matriz E del sistema es simtrica y definida positiva, los mtodos de relajacin convergen si,
y slo si, = (! #).
Clculo Numrico
Pgina 29
#% Ejercicios
"
Ejercicio #" Considere el sistema lineal E\ , dado por
"
a) Calcule su solucin exacta.
"
b) altere la segunda fila del sistema obteniendo
"
c) Es la matriz mal condicionada?
"
B
#
" !" C # !"
"
B
#
; y, calcule su solucin exacta.

" !"" C # !"
Solucin:
a) Despejando la primera ecuacin y reemplazando en la segunda obtenemos
BC #
B#C
# C " !"C # !"
! !"C ! !"
b) Anlogamente, # C " !""C # !"
VIRGINIO GOMEZ
C" y B"
! !""C ! !"
c) Discucin en grupo.
Ejercicio #" Estudiar el nmero de condicin de Frobenius de la matriz E
"!
""
! *!
+
+&
,
,
Solucin: A efectos de norma, en todo el ejercicio trataremos a la matriz como un vector de % .

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# +# , # + &# , # #+# #, # #+& &#
#
E" #
#
, # , # + &# +#
#+# #, # #+& &#
, # &#
, # &#
Por lo que:
R## E
#+# #, # #+& &# #

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

#!#
#! &
&
&
Si & "!) el nmero de condicin de Frobenius resulta ser RJ E # "!"! .
Clculo Numrico
Pgina 30
Ejercicio ## Dado el sistema B C #

#B C $
VIRGINIO GOMEZ
1.Calcular su nmero de condicin de Frobenius.

2.Calcular + para que el nmero de condicin del sistema resultante de sumarle a la segunda ecuacin la primera
multiplicada por dicha constante +, sea mnimo.
Solucin:
1.La matriz del sistema es E
"
"
E"
"
#
"
#
"
, por lo que
"
E # (
J
RJ# E (# RJ E (
E" # (
J
2.El sistema resultante sera
BC #
: cuya matriz es
+ #B + "C #+ $
"
F
+#
"
+ "
+"
F "
+#
y, por tanto,
"
"
F # #+# '+ (
J
RJ# F #+# '+ ( RJ F #+# '+ (
F " # #+# '+ (
J
Para hallar el mnimo de RJ F con + ( _ _) derivamos y obtenemos RJw %+ ', que se

anula para + $# .
Dado que RJww (F ) % ! se trata, efectivamente, de un mnimo.
El sistema resultante es, en ese caso:
BC #
"
"
B C !
#
#
&
y su nmero de condicin de Frobenius es RJ F # &.
#
Ejercicio #$ Dado el sistema $B %C ( Sustituir la segunda ecuacin por una combinacin lineal de
$B &C )
ambas, de forma que el nmero de condicin sea mnimo.
$
%
Solucin: La matriz resultante de la combinacin lineal es F
$+ $, %+ &,
Una matriz tiene nmero de condicin euclideano mnimo (y vale ") si, y slo si, es proporcional a una matriz
unitaria. Por tanto, F debe tener las filas (o las columnas) ortogonales y de igual norma.
a. a $
b. a $
% b
$+ $,
!
%+ &,
$$+ $, %%+ &, !
#&+ #*, !
$
% b #& (cuadrado de la norma de la primera fila).
%
c. a $+ $,
%+ &, b
$+ $,
#&+# $%, # &)+, (cuadrado de la norma de la segunda fila).
%+ &,
Las condiciones que tenemos son:

#&+ #*, !
,
#&+ $%, # &)+, #&
#
#&
#* +
Clculo Numrico
Pgina 31
Sustituyendo en la segunda condicin se obtiene:

#&+# $%
VIRGINIO GOMEZ
#&
#&
$% #& &) #
+ &)+ + #& "
+ "
#*
#*
#*#
#*
#
)&!
* #
)%"
#*
"+# "
+ " +#
+
)%"
)%"
*
$
#&
#&
#*
#&
+
#*
#*
$
$
Tomando, por ejemplo, +
#*
#&
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 "
Ejercicio #% Comprobar que la matriz
"
"
!
!
#
%
%
!
!
!
$
*
*
!
!
!
%
"'
"'
!
!
!
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&
"
"
#
%
%
!
!
!
$
*
*
!
!
!
%
"'
"'
%
!
%
! "
!
&
!
#&
$
*
*
!
!
%
"'
"'
!
"
!
!
#
&
!
#&
!
$
*
*
!
!
%
"'
"'
&
#&
% *
%
"'
"'
!
%
& $ !
#&
!
% "*)! $ "#)! # "*)! "#! !

Ambas matrices ( P y Y ) son bidiagonales, por lo que
E PY
"
"
!
!
#
%
%
!
!
!
$
*
*
!
!
!
%
"'
"'
! "
! 6#"
!
!
&
!
#& !
!
"
6$#
!
!
!
!
"
6%$
!
!
!
!
"
6&%
! ?""
!
!
!
!
!
!
" !
?"#
?##
!
!
!
!
?#$
?$$
!
!
%
"'
"'
!
!
?$%
?%%
!
!
*
& # *
#&
!
%
"'
"'
&
#&
!
!
?%&
?&&
Es evidente que ?"" " y que ?"# # (basta para ello calcular la primera fila de la matriz producto e
igualarla con la primera fila de la matriz E).
6#" ?"" +#" " 6#" "
6#" ?"# ?## +## % ?## % # #
?#$ +#$ $
6$# ?## +$# % 6$# #
6$# ?#$ ?$$ +$$ * ?$$ $ ?$% +$% %

6%$ ?$$ +%$ * 6%$ $
6%$ ?$% ?%% +%% "' ?%% %
Clculo Numrico
Pgina 32

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

Por tanto,
"
"
P !
!
!
!
"
#
!
!
!
!
"
$
!
!
!
!
"
%
!
"
!
!
!
y Y !
!
!
!
"
#
#
!
!
!
!
$
$
!
!
!
!
&
&
!
!
%
%
!
"
"
"
"
Ejercicio #& Realizar la factorizacin de Cholesky de la matriz E

Solucin: La matriz E es hermtica por tratarse de una simtrica y real.
VIRGINIO GOMEZ
?%& +%& &
"
&
$
$
"
$
""
&
"
$
&
"*
Adems, dado que los menores principales son positivos, es definida positiva.
E" " " !
"
E$ "
"
E# "
"
"
E% "
"
"
"
$ $' !
""
"
&
$
"
%!
&
"
&
$
$
"
$
""
&
"
$
&(' !
&
"*
Al tratarse de una matriz hermtica y definida positiva, el Teorema #"" nos garantiza su factorizacin
de Cholesky. En dicha factorizacin (E V V ), al ser E una matriz real, se tiene que V V > , por lo que:
<""
<#"
<$"
<%"
!
<##
<$#
<%#
!
!
<$$
<%$
! <""
!
!
!
!
<%% !
<#"
<##
!
!
<$"
<$#
<$$
!
<%" "
<%# "
<%$
"
<%% "
"
&
$
$
"
$
""
&
de donde
"
$
&
"*
#
<""
" <"" "
<#" <$" <## <$# $ <$# "
<"" <#" " <#" "
<#" <%" <$# <%# $ <%# "
<"" <$" " <$" "
<$" <%" <$# <%# <$# <%$ & <%$ "

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

#
#
<#"
<##
& <## #
y, por tanto,
E
"
"
"
"
"
&
$
$
"
$
""
&
#
#
#
#
<%"
<%#
<%$
<%%
"* <%% %
" "
$ "
&
"
"
"*
!
#
"
"
!
!
$
"
! "
!
!
!
!
%
!
Ejercicio #' Resolver, por el mtodo de Cholesky, el sistema
"
#
!
!
"
"
$
!
"
#
$
"
"
V V
"
#
&
%
$ B" (
%
B#
*
"% B$ $$
Solucin: Es fcil comprobar que la matriz del sistema es hermtica (por ser simtrica y real) y definida positiva
(comprubese que sus tres menores principales son positivos) y que, por tanto, el Teorema #"" nos garantiza la
factorizacin de Cholesky.
Clculo Numrico
Pgina 33

<""
E V V <"#
<"$
>
!
<##
<#$
! <""
!
!
<$$ !
<"$ "
<#$ #
<$$ $
<"#
<##
!
#
<""
" <"" "
<"" <"# # <"# #
"
<"" <"$ $ <"$ $
!
#
#
<"#
<##
& <## "
!
<"# <"$ <## <#$ % <#$ #
#
#
#
<"$
<#$
<$$
"% <$$ "
#
"
!
$
#
"
VIRGINIO GOMEZ
Al tratarse de un sistema real, la factorizacin de Cholesky es de la forma E V > V siendo V una

matriz triangular superior.
#
&
%
$
%
"%
El sistema EB , se transforma en V > VB , , por lo que haciendo VB C

descomponemos en dos sistemas triangulares de fcil resolucin.
V>C ,
VB C
"
!
!
#
"
!
"
#
$
!
"
#
! C" (
!
C#
*
" C$ $$
$ B" (
#
B#
&
" B$ #
C" (
#C" C# * C# &
$C" #C# C$ $$ C$ #
B$ #
B# #B$ & B# "
B" #B# $B$ ( B" #
Es decir, la solucin del sistema es B" $, B# " y B$ #.
Ejercicio #( Resolver, por el mtodo de Cholesky, el sistema
'
" $3
" #3
" $3
$
"3
y VC , lo
" #3 B" " #3

"3
B#
"3
B$ " #3
#
Solucin: La matriz E del sistema verifica que E E es decir, se trata de una matriz hermtica. Adems, dado
que
E" ' !
E#
'
E$ " $3
" #3
'
" $3
" $3
$
"3
" $3
") "! ) !
$
" #3
"3
; y, adems de hermtica es definida positiva, por lo que el Teorema #"" nos garantiza su factorizacin de
Cholesky E V V donde V es una matriz triangular superior.
'
" $3
" #3
" $3
$
"3
" #3 <""
" 3 <"#
<"$
#
!
<##
<#$
! <""
!
!
<$$ !
<"#
<##
!
<"$
<#$
<$$
Clculo Numrico
Pgina 34
#
<""
' <"" '
<"" <"# " $3 <"#
"$3
'
<"" <"$ " #3 <"$ "#3
'
#
#
<"# <## $ <## #
$
<"# <"$ <## <#$ " 3 <#$

#
#
#
<"$
<#$
<$$
"% <$$ "
"(3
% $
'
V !
!
VIRGINIO GOMEZ
% $
"$3
'
#
$
"#3
'
"
# #
El sistema, que podemos expresar de la forma V VB ,, se reduce a dos sistemas triangulares:

V C , y VB C .
'
"$3
V C , '
#
$
"(3
% $
"#3
'
'
VB C !
"$3
'
#
$
Obtenindose como solucin:
! C
" " #3
C"
!
C
"
3
C
#
" #3
C$
"
C$
# #
"#3
'
"(3
% $
"
# #
B"
B#

B$
"#3
'
""3
% $
"#3
# #
B# $ 3
Ejercicio #) Resolver por el mtodo de Cholesky el sistema

"
#3
# #3
#3
#
" $3
B
" #3
"
$3
B#
B$ " #3
B" " #3
"#3
'
""3
% $
"#3
# #
# #3 B" # #3
" $3
B#
$3
( B$ $ %3
B$ " #3 .
Solucin: La matriz E del sistema verifica que E E* es decir, se trata de una matriz hermtica. Adems, es
fcil comprobar que sus tres menores principales son positivos, por lo que adems de hermtica es definida
positiva y, por tanto, el Teorema #"" nos garantiza su factorizacin de Cholesky E V V donde V es una
matriz triangular superior.
"
#3
# #3
#3
#
" $3
# #3 <""
" $3 <"#
( <"$
!
<##
<#$
! <""
!
!
<$$ !
<"#
<##
!
<"$
<#$
<$$
#
<""
% <"" #
<"" <"# #3 <"# 3
#
<"" <"$ # #3 <"$ " 3
V !
#
<"# # <##
# <## "
!
<"# <"$ <## <#$ " $3 <#$ #3
#
#
#
<"$
<#$
<$$
( <$$ "
3 " 3
"
#3
!
"
El sistema EB , , que puede expresarse de la forma V *VB , , se descompone en dos: V *C , y

VB C.
#
3
" 3
#
!
!
3
"
!
!
"
#3
! C" # #3
C" " 3
!
C#
$3
C# # #3
C$ "
" C$ $ %3
" 3 B" " 3

B" "
#3
B# # #3 B#
#
B$ "
" B$ "
Por lo que la solucin del sistema es B" ", B# # y B$ ".
Clculo Numrico
Pgina 35
Ejercicio #* Dada la matriz E
:
:
#:
:
:#
"
#:
"
se pide:
': "
VIRGINIO GOMEZ
1.Determinar para qu valores de : E es hermtica y definida positiva.

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

"
#
%:# ): $ ! :
$
#
%:# ): $ !
"
#
$
#
En conclusin: E es hermtica y definida positiva si, y slo si, : es un nmero real comprendido entre
2.Para : " se trata de la matriz E
"
"
#
"
$
"
#
"
&
"
#
y $# .
y como " "# $# , se trata de una matriz hermtica y
definida positiva, por lo que el Teorema #"" nos garantiza su factorizacin de Cholesky E V > V (pues se trata
de una matriz real y, por tanto, V * V > ).
E
"
"
#
"
$
"
# <""
" <"#
& <"$
#
<""
" <"" "
<"" <"# " <"# "
<"" <"$ # <"$ #
#
<"# # <##
$ <## #
<"# <"$ <## <#$ " <#$
#
#
#
#
#
<"$
<#$
<$$
& <$$
#
#
!
<##
<#$
! <""
!
!
<$$ !
"
V !
!
"
#
!
<"#
<##
!
<"$
<#$
<$$
#
#
#
#
El sistema EB , puede escribirse de la forma V > VB , y descomponerse en dos: V > C , y VB C .

"
"
#
"
!
!
"
#
!
#
#
#
#
!
#
#
#
"
! C
" "
C" "
!
C# ! C# #
#
C$ "
C$ $
"
B" "
B" "
B# #
!
B#
B$ "
B$ "
#
por lo que la solucin del sistema es B" ", B# ! y B$ ".
Clculo Numrico
Pgina 36

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

diagonales de la matriz E, I la triangular inferior de E H y J la triangular superior de E H ,
obtenemos que
H
$
!
!
!
$
!
!
!
&
!
!
"
!
!
"
!
!
!
obtenindose, para cada uno de los mtodos:

".Jacobi: B8" N B8 - con
!
N H I J !
"
$
"
"
$
!
"$
!
!
!
"
!
!
"
"
!
"$
!
"$
y - H" , &$
!
!
iniciando el proceso con el vector nulo e iterando mientras que la norma del error sea ||EB , || "!"%
(como ejercicio a mano que sea "!& obtenemos, con MATLAB, que B&& (" # ").
#.Gauss-Seidel: B8" P" B8 - con
!
P" H I J !
!
"
"
$
!
"*
"$
"$ y
#
*
!
&
- H I , $
&*
"
tomando como vector inicial al vector nulo e iterando mientras que la norma del error sea ||EB , || "!"%
(como ejercicio a mano que sea "!& obtenemos, con MATLAB, que B$" " # ".
3.SOR: B8" P= B8 - con
P= H = I" " = H = J
- =H = I" ,
! #
"
!
P
"
#
I
!
#
"
#
"#
! !)
"
"
#H
"
#
I
,
! )
! %
! #
! !)
! %
! %
! "#
Comenzando con el vector nulo B! ! ! ! e iterando mientras que la norma del error sea
||EB , || "!"% (como ejercicio a mano que sea "!& obtenemos, con MATLAB, que B$% (" # ").
Clculo Numrico
Pgina 37

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% "&
Solucin: Al ser de diagonal dominante la matriz del sistema, sabemos que los dos primeros mtodos van a ser
convergentes (vanse los Teoremas #"* y ##!). Respecto al tercero de ellos, slo sabemos, por el Teorema
##", que el mtodo puede ser convergente, ya que " # pertenece al intervalo (! #).
Realizando la descomposicin E H I J tenemos que
"!
!
H
!
!
!
""
!
!
!
!
"!
!
!
I
!
"
#
!
!
!
"
$
!
!
"!
"
!
!
! !
J
!
!
!
!
Obtenindose, para los distintos mtodos:

".Jacobi: B8" N B8 - con
!
! !*
N H I J
! #
!
"
! "
!
! "
! $(&
! #
! !*
!
! "#&
"
!
!
!
#
"
!
!
!
$
"
! '
# #(
! #(
y -
! "
" "
!
" )(&
y tomando como vector inicial al vector nulo e iterando mientras que la norma del error sea
||EB , || "!"% (como ejercicio a mano que sea "!& obtenemos, con MATLAB, que B%# " # " ".
#.Gauss-Seidel: B8" P" B8 - con
!
!
P" H I J
!
!
"
! "
! !!*
! !"*!
! !!&(*&%
! #
! !(#
! !%(#
! !#"$'
!
! '
! #(
# $#(
y -
! *)(#
! !(#
! )())'$
! """$'
iniciando el proceso con el vector nulo e iterando mientras que la norma del error sea ||EB , || "!"%
(como ejercicio a mano que sea "!& obtenemos, utilizando MATLAB, que B"' (" # " ").
$.SOR: B8" P= B8 - con
P= H = I" " = H = J
- =H = I" ,
! "#
! #%
! #
! !#")
! ")'*!
! !)#*!
P"#
! !%&$)" ! !&"##*! ! "$#%&!*
! !"''#&% ! !('%#%(#
! !&("('(#
! (#
# )!&)"
"
"
#H
"
#
I
,
" "&'"!")
! )"$*''&%
! $$(
! !)!(#
! !%!'")
Comenzando con el vector nulo e iterando mientras que la norma del error sea ||EB , || "!"% (como
ejercicio a mano que sea "!& obtenemos, con MATLAB, que B#% (" # " ").
Clculo Numrico
Pgina 38
Actividad Personal
VIRGINIO GOMEZ

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) + $, # $+ , $-
"
$
"
#B C D
d) B C
B C #D
"
"
#
+ #, .
$+ , %e)
+ - $.
#+ , -
"
"#
!
!
#
"
"
B #B $B
"
#
$
%B" B# B$
#B" $B# B$
c)
!
'
#
& Reordene convenientemente, si se puede, los sistemas anteriores de tal manera que pueda usar el mtodo
WSV con
a) = " #
b) = 0,8
Clculo Numrico
Pgina 39

VIRGINIO GOMEZ
Wada una funcin no nula 0 : V V resolver la ecuacin 0 (B) ! es hallar los valores de B que
anulan a dicha funcin. A estos valores de B se les denomina races o soluciones de la ecuacin, o tambin, ceros
de la funcin 0 (B).
Los mtodos de resolucin de ecuaciones y sistemas de ecuaciones se clasifican en directos e iterados.
Los del primer grupo nos proporcionan la solucin mediante un nmero finito de operaciones elementales,
mientras que los iterados producen una sucesin convergente a la solucin del problema.
Un ejemplo de mtodo directo es la conocida frmula de resolucin de las ecuaciones de segundo grado
+B # ,B - !, cuyas soluciones vienen dadas por la frmula:
B
, , # %+#+
Sin embargo, el siglo antepasado Abel prob que no existe ninguna frmula equivalente (en trmino de
races) para resolver ecuaciones de grado superior a cuatro. Adems, si la ecuacin no es polinmica no podemos
resolverla ms que mediante mtodos iterados que, incluso en el caso de las polinmicas de grado no superior a
cuatro, son ms eficientes.
Definicin $". Una solucin B de la ecuacin 0 (B) ! se dice que tiene multiplicidad 8 si
0 B 0 w B 0 ww B 0 8" B ! y 0 8 B !
Si la multiplicidad de una raz es ", diremos que es simple.
Todos los mtodos numricos de resolucin de ecuaciones presentan dificultades cuando la ecuacin
tiene races mltiples, ya que todos ellos se basan en los cambios de signo de la funcin y stos son difcilmente
detectables en un entorno de una raz mltiple. Ese hecho produce que en estos casos el problema est mal
condicionado.
En el caso de las ecuaciones algebraicas T8 (B) ! este problema se puede solucionar buscando otra
ecuacin que posea las mismas races que la dada pero todas ellas simples, es decir, eliminando las races
mltiples.
Por el Teorema fundamental del lgebra sabemos que T 8 (B) posee 8 races y, por tanto, puede ser
factorizado de la forma T8 (B) + ! (B B" )(B B# ) (B B8 ) donde B" ,B# , . . . , B8 son los ceros del
polinomio.
Si existen races mltiples, las podemos agrupar para obtener
7
7
7
T8 (B) + ! (B B" ) " (B B# ) # (B B5 ) 5 donde 7 3 representa la multiplicidad de
la raz B 3 (3 " 5 ) y verificndose que 7 " 7 # + 7 5 8.
Derivando esta expresin obtenemos:
T8 w (B) 8+ ! (B B" )
7" "
(B B# )
7# #
(B B5 )
75 5
U 5" (B)
con U 5" (B" ) distinto de cero para cualquier 3 " 5 .
Por tanto, si B es una raz de la ecuacin T8 (B) ! con multiplicidad 5 , es tambin una raz de T8w (B)
! pero con multiplicidad 5 ", por lo que
7" "
H(B) = M.C.D. [T8 (B), T8 w (B)] (B B" )
7# #
(B B# )
obtenindose que:
U(B)
T8 (B)
H(B)
75 5
(B B5 )
+ ! (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
$" Acotacin y separacin de races.
VIRGINIO GOMEZ
Definicin $#. Dada una ecuacin 0 (B) ! (en general compleja) se denomina acotar las races a buscar dos
nmeros reales positivos < y V tales que < | B | V para cualquier raz B de la ecuacin.
Figura $" Acotacin de raices
Geomtricamente consiste en determinar una corona circular de radios < y V , que se muestra en la
Figura $", y dentro de la cual se encuentran todas las races. En el caso real se reduce a los intervalos ( V ,
<) y (<, V ).
Veamos una cota para las races de una ecuacin algebraica.
Proposicin $$. Si B es una raz de la ecuacin T (B) + ! B 8 +" B 8" +8 !, se verifica que:
B " E
siendo
E mx +3
+
3 "
Proposicin $%. [Regla de Laguerre] Consideremos la ecuacin

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

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

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

Si 0 (+! ) ! entonces hacemos , + !
Si 0 (+! ) ! entonces hacemos + + !
Se repite el paso 1, es decir, hacemos + ! =
+ ,
#
y &
, +
#
P$ Si & "! (error prefijado), entonces FIN. El valor de + ! es la raz

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

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

,3 +3 & con & !
3
Se tiene, por tanto:
M8:?>: + , & 0 B
S?>:?>: 7
A236/ , +# &
7 + , +#
30 0 7 !
+7
,7
/8. 30
30 =3180 + =3180 7
+7
/8. 30
30 =3180 , =3180 7
,7
/8. 30
/8.
:<38> 7
prefijado.
Clculo Numrico
Pgina 42

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
[+ , ].
#
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.
Figura $# Esquema de la convergencia para el teorema del punto fijo
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 converge montonamente en (+) y de
forma oscilatoria o en espiral en (, ).
En los casos (- ) y (. ), en los que :' (B) ; " el mtodo diverge de forma montona en (+) y de
forma oscilatoria en (, ).
Clculo Numrico
Pgina 43
$$". Cota del error "a posteriori"
VIRGINIO GOMEZ
Si 0 (B) es una funcin continua en el intervalo [+ , ] y derivable en el abierto (+ , ), sabemos por el

)0 (+)
teorema del valor medio que existe un punto - (+ , ) tal que 0 (,,+
0 w -.
Sea B una solucin de la ecuacin 0 (B) ! y sea B8 aproximacin de ella obtenida por un mtodo
cualquiera. Supongamos 0 B continua en el intervalo cerrado [B8 B] [B B8 ] (dependiendo de que B sea mayor
o menor que B8 ) y derivable en el abierto. Existe entonces un punto - (B8 B) - (B B8 ) tal que
0 (B) 0 B8 )
0 w -.
B B8
Como 0 B ! y (B B8 ) &8 , nos queda que &8

& 8 =
0 B8
0 w -
0 B8
0 w -
, obtenindose que
0 B8
mn 0 w B
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)|
$B
. Dado que sabemos que la
"B
#
#
"
#
"
" B#
#
#
para cualquier B [" #],
podemos garantizar que partiendo de B! " el mtodo converger a la raz cuadrada de $.

As pues, partiendo de B! " y haciendo B8 "
B"
B#
B$
B%
B&
B'
B(
B)
B*
B"!
B""
B"#
B"$
#
" '''''''''''''(
" (&!!!!!!!!!!!!
" (#(#(#(#(#(#($
" ($$$$$$$$$$$$$
" ($"(!($"(!($"(
" ($#"%#)&("%#)'
" ($#!#'"%$(*!)&
" ($#!&"#)#!&"#)
" ($#!%*!$'(((&)
" ($#!&"#)#!&"#)
" ($#!&!')!%$"(#
" ($#!&!)%"'$&")
$ B8
obtenemos:
" B8
B"%
B"&
B"'
B"(
B")
B"*
B#!
B#"
B##
B#$
B#%
B#&
B#'
" ($#!&!(*)%%!)%
" ($#!&!)"!!"%($
" ($#!&!)!'*"$&"
" ($#!&!)!((%%%)
" ($#!&!)!(&#")#
" ($#!&!)!(&)"%)
" ($#!&!)!(&'&&!
" ($#!&!)!(&'*()
" ($#!&!)!(&')'$
" ($#!&!)!(&')*%
" ($#!&!)!(&'))'
" ($#!&!)!(&')))
" ($#!&!)!(&')))
El error, calculado a posteriori ,vendr dado por

&8
0 B8
mn 0 w B8
B "#
donde 0 (B) B # $, por lo que
Clculo Numrico
Pgina 44

B#'# $
"&
"%
% ))%*)"$!)$&!')) "! "!
#
es decir, $ " ($#!&!)!(&'))) con todas sus cifras decimales exactas.
VIRGINIO GOMEZ
&#'
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
0 B8
0 w B8
btenindose la denominada frmula de Newton-Raphson:

B8 " B8
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_
8_
0 w
lim B8
lim B8
8_
0 lim B8 !
8_
8_
8_
siempre que 0 w lim B8 no se anule, lo cual se verifica si exigimos que la funcin posea una nica raz en
8_
[+ , ]. Dado que la raz de la ecuacin en el intervalo [+ , ] es nica, necesariamente lim B8 B

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 B
punto de abscisa B B8 0 w B8 , que es precisamente el valor de B8 " de la frmula de Newton-Raphson.
8
En la Figura $$ puede observarse cmo acta geomtricamente el mtodo de Newton-Raphson.
Figura $$ El proceso de Newton
Lo ms dificultoso del mtodo consiste en el clculo de la derivada de la funcin as como la obtencin

del valor inicial que debe tomarse, es decir, el valor de B! .
Busquemos, a continuacin, alguna cota del error.
&8 " B B8 " B B8
0 B8
0 B8
0 B
&8 w 8
B B8 w
0 w B8
0 B8
0 B8
Clculo Numrico
Pgina 45
Desarrollando 0 B) en un entorno de B8 se obtiene

! 0 B 0 B8 &8 0 B8 0 w B8 &8
0 ww > #
&8
#x
con >
VIRGINIO GOMEZ
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
!
por lo que &8 "
0 B8
0 ww > #
0 ww > #
&8
&8 & 8 "
&
w
w
0 B8
#0 B8
#0 w B8
0 ww > #
& 5 &8#
#0 w B8 8
donde
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 &!
#
o lo que es lo mismo:
& 8
"
#8
5 &!
5
donde es necesario saber acotar el valor de &! B B! .
#8 "
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 &!
la convergencia es de segundo orden.

$%" Algoritmo
"
. 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.
Clculo Numrico
Pgina 46

VIRGINIO GOMEZ
Ejemplo $$ En el Ejemplo $# calculamos la raz de 3 con 14 cifras decimales exactas en 26 iteraciones.

Vamos a ver cmo se disminuye considerablemente el nmero de iteraciones cuando se utiliza la frmula de
Newton-Raphson.
Partimos de la ecuacin 0 (B) B # $ !, por lo que la frmula de Newton-Raphson nos dice que,
teniendo en cuenta que 0 w B #B
B8 " B8
0 B8
0 w B8
B8 " B8
B#8 $
#B8
B8 "
"
$
B
# 8 B8
Dado que la raz de 3 es un nmero comprendido entre " y # y la funcin 0 w (B) #B no se anula en
dicho intervalo, podemos aplicar el mtodo de Newton tomando como valor inicial B! #
B! #
B" " (&!!!!!!!!!!!!
B# " ($#"%#)&("%#)'
El error a posteriori vendr dado por

0 B8
&8
por lo que
mn 0 w B8
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.
$%# Regla de Fourier
Supongamos que tenemos acotada, en el intervalo [+ , ], una nica raz B de la ecuacin 0 (B ) ! y que
0 w (B) y 0 ww (B) no se anulan en ningn punto del intervalo [+ , ], es decir, que ambas derivadas tienen signo
constante en dicho intervalo.
En cualquiera de los cuatro casos posibles (Figura 2.4), la funcin cambia de signo en los extremos del
intervalo, es decir, dado que la segunda derivada tiene signo constante en [+ , ], en uno de los dos extremos la
funcin tiene el mismo signo que su segunda derivada.
En estos casos, el mtodo de Newton es convergente debindose tomar como valor inicial
B!
+ , si 0 w + 0 ww + !
, , si 0 w , 0 ww , !
es decir, el extremo en el que la funcin tiene el mismo signo que su derivada segunda.
0 w B !
0 w B !
0 w B !
0 w B !
0 ww B !
0 ww B !
0 ww B !
0 ww B !
B! +
B! ,
B! +
B! ,
Figura $% Los cuatro casos posibles
Gracias a que la convergencia es de segundo orden, es posible modificar el mtodo de Newton para
resolver ecuaciones que poseen races mltiples.
Clculo Numrico
Pgina 47
$%$ Mtodo de Newton para races mltiples
VIRGINIO GOMEZ
Cuando el mtodo de Newton converge lentamente nos encontramos con una raz mltiple y, a
diferencia de lo que ocurra con otros mtodos, podemos modificar el mtodo para acelerar la convergencia.
Sea B una raz de multiplicidad 5 de la ecuacin 0 (B) !. En este caso, el mtodo de Newton converge
muy lentamente y con grandes irregularidades debido al mal condicionamiento del problema.
0 B
0 B
Si en vez de hacer B8 " B8 w 8 hacemos B8 " B8 5 w 8 donde 5 representa el orden de
0 B8
0 B8
la primera derivada que no se anula (multiplicidad de la raz B), el mtodo sigue siendo de segundo orden.
En la prctica, el problema es que no conocemos 5 pero a ello nos ayuda la rapidez del mtodo.
Ejemplo $% Para resolver la ecuacin B =/8 B ! comenzamos escribindola de la forma B =/8B , por lo
que las soluciones sern los puntos de interseccin de la recta C B con la curva C =/8 B.
Aunque es conocido que la solucin de la ecuacin es B !, supondremos que slo conocemos que
est comprendida entre " y " y vamos aplicar el mtodo de Newton.
B =/8 B8
=/8 B8 B8 -9= B8
B8 " B8 8
" -9= B8
" -9= B8
Figura $& Las funciones C B y C =/8 B
Comenzando con B! " se obtiene:

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

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.
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
Aplicando el algoritmo se obtienen los valores
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
$& Ejercicios
Ejercicio $" Dada la ecuacin B/ B " !, se pide:
VIRGINIO GOMEZ
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
"
"
! y / B !, por lo que / B
y, por tanto, no existen races negativas.
B
B
0 ! " !
Para B ! es 0 B B/ B ", por lo que
0 _ _ !
de races positivas (al menos una).
y existe, por tanto, un nmero impar
La funcin derivada 0 w B B/ B / B B " / B slo se anula para B ". Dado que, si existiese ms
de una raz positiva, el teorema de Rolle nos asegura que la funcin derivada debe anularse en algn punto
intermedio y hemos visto que 0 w B no se anula para ningun valor positivo de la variable podemos asegurar que
slo existe una raz real + y que esta es positiva y simple, pues 0 w + !.
Dado que 0 " / " ! y 0 ! " !, podemos asegurar que la nica raz real de la ecuacin se
encuentra en el intervalo (! ").
#Mtodo de la biseccin
0 ! " !
[+! ,! ] [+ , ] [! "] con
0 " / " !
0 ! & ! [+" ," ] [! & "]
0 ! '#& ! [+$ ,$ ] [! & ! '#&]
0 ! &*$(& !
[+& ,& ] [! &'#& ! &*$(&]
0 ! &(!$"#& ! [+( ,( ] [! &'#& ! &(!$"#&]
0 ! (& ! [+# ,# ] [! & ! (&]

0 ! &'#& ! [+% ,% ] [! &'#& ! '#&]
0 ! &()"#& ! [+' ,' ] [! &'#& ! &()"#&]
Tomando como aproximacin de la raz el punto medio del intervalo B( ! &''%!'#& se obtiene un error
"
#
| &( | ) ! !!$*!'#& | &( | "!
#
Si redondeamos a las dos primeras cifras decimales, es decir, si tomamos B ! &( , el error acumulado
verifica que
| & | | ! &( ! &''%!'#&| ! !!$*!'#& ! !!(& "!
por lo que puede asegurarse que la solucin de la ecuacin es ! &( con las dos cifras decimales exactas.
Clculo Numrico
Pgina 50
4Mtodo de Newton
La frmula de Newton-Raphson es B8 " B8
0 B8
0 B8
VIRGINIO GOMEZ
Dado que, por el apartado anterior, se conoce que la raz se encuentra en el intervalo [! &'#&;! &(!$"#&] y
que0 ! &'#& ! , 0 ! &(!$"#& !:
0 B B/ B "
0 ! &'#& !
0 ! &(!$"#& !
0 w B B " / B
0 w B ! a B [! &'#&; ! &(!$"#&]
0 ww B B # / 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
0 w B 0 w ! &'#& # (%##(#*!"&!!%(
mn
B[!&'#& !&(!$"#&]
es decir, el error a posteriori vendr dado por
0 B8
&n
mn
0 w B
0 B8
# (%
B [!&'#& !&(!$"#&]
obtenindose que
B! ! &(!$"#&
con &!
B" ! &'("&"%*)$&*!!
0 B!
# (%
con &"
! !!$#!%$()&'&!&
0 B!
# (%
! !!!!!)#((&("##
Si redondeamos a ! &'( el error acumulado es

| & | ! !!!"&"%*)$&*!! ! !!!!!)#((&("## "!
Por lo que la solucin de la ecuacin es B ! &'( con sus tres cifras decimales exactas.
Ejercicio $# Se considera la ecuacin real
# -9=#B %B 5 !.
1.Determinar el valor de 5 para que tenga una nica raz triple en el intervalo [! "].
2.Para 5 $, probar que posee una nica raz simple en el intervalo [! "], y calcularla con 6 cifras decimales
exactas utilizando el mtodo de Newton.
Solucin:
1.Si tiene una raz triple, debe anularse no slo la funcin sino tambin sus dos primeras derivadas, por lo que
0 B # -9=#B %B 5 !
0 w B % =/8#B % !
1
1
0 ww B )-9=#B ! #B
B
#
%
Debe verificarse entonces que 0 1% # -9= 1# 1 5 !, por lo que 5 1 .
En ese caso,
1
%
es una raz triple por anular a 0 , 0 w y 0 ww pero no anular a 0 '''B "' =/8#B.
Adems, dado que 0 ! y 0 " tienen signos contrarios, existe un nmero impar de races de 0 B en el
intervalo [! "], pero de existir tres, la primera derivada debera de anularse dos veces (consecuencia directa del
Teorema de Rolle) y slo lo hace una vez en B 1% , por lo que podemos asegurar entonces que si 5 1 la
funcin slo posee una raz triple en el intervalo [! "] y que sta es 1% .
Clculo Numrico
Pgina 51

VIRGINIO GOMEZ
2.Para 5 $ se tiene que 0 B # -9=#B %B $ pero sus derivadas son independientes del valor asignado
a la 5 .
Como 0 ! " y 0 " # -9=#B ! "'((... !, la funcin tiene, al menos, una raz en dicho intervalo
y, por razones anlogas a las del apartado anterior, slo puede tener una.
Dado que en [! "] se anula la derivada (0 1% !) nos interesa reducir el intervalo en el que vamos a buscar
la raz. Para ello, y dado que 0 ! & # -9=" " ! !)!'... !, podemos restringirnos al intervalo [! ! &]
en el que sabemos que no se anula la derivada.
Como
0 w B % =/8#B % !
y
, cualquiera que sea B [!; ! &]
0 ww B )-9=#B ! para cualquier B [!; ! &],
la regla de Fourier nos dice que el mtodo de Newton converge tomando como valor inicial B! !.
Para acotar el error, como 0 ww B ! cualquiera que sea B [!; ! &], sabemos que 0 w B es decreciente en
dicho intervalo, por lo que
B[! !&]
mn 0 w B 0 w ! & % =/8 " % ! '$%"
Por tanto el error a posteriori vendr dado por

& 8
0 B8
0 B8
#0 B8
! &
mn 0 w B
B[!; !&]
y la frmula de Newton-Raphson queda de la forma:

B8 " B8
0 B8
% =/8#B # -9=#B $
w
0 B8
% =/8#B %
por lo que se obtiene

B!
B"
B#
B$
B%
B&
!
! #&
! $'(&(*")"%&!#$
! %!&*""'&()")!"
! %!&))&((&'!$%"
! %!&*""'&()")!"
&!
&"
&#
&$
&%
&&
#
! %)*''*(&#&$)&"
! !*#%')$&'&!$%%
! !!("&$")&''!%*
&
& ')$&()'%!!!!!!! "!
*
$ '))""&!!!!!!!!! "!
Por tanto B ! %!&*"# con un error

| & | (! %!&*"# ! %!&*""'&()")!") $ '))""&!! "!
$ %#")"** "! $ '))"&!! "!
"!
'
Ejercicio $$ Probar que la ecuacin B # 68 B ! slo tiene una raz real y hallarla, por el mtodo de
Newton, con 6 cifras decimales exactas.
Solucin: Si representamos las grficas de las funciones C 68 B e C B # obtenemos
Clculo Numrico
Pgina 52

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

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

Partiremos ahora de esta ltima acotacin: B # # &.
Clculo Numrico
Pgina 53

VIRGINIO GOMEZ
"Mtodo de la biseccin
'
Dado que | &5 | #,+
5" "! , debemos tomar 5 "*, es decir, debemos calcular los valores de B5 hasta B"* .
0 # & ! !$#)&(! ! B # # &
0 # "#& ! !*'&%(* !
B # "#&; # #&
0 # ")(& ! !$$!#** !
B # ")(&; # #&
0 # #")(& ! !!!$('& ! B # #")(&; # #&
0 # #$%$(& ! !"'"')& !
B # #")(&; # #$%$(&
0 # ##'&'#& ! !!()((* !
B # #")(&; # ##'&'#&
0 # ###'&'#& ! !!$(%'" ! B # #")(&; # ###'&'#&
0 # ##!(!$"#& ! !!"')$' ! B # #")(&; # ##!(!$"#&
0 # #"*(#'&'#& ! !!!'&$# !
B # #")(&; # #"*(#'&'#&
0 # #"*#$)#)"#& ! !!!"$)# !
B # #")(&; # #"*#$)#)"#&
0 # #")**%"%!'#& ! !!!"" !
B # #")**%"%!'#&; # #"*#$)#)"#&
0 # #"*""'#"!*$(& ! !!!!!* !
B # #")**%"%!'#&; # #"*""'#"!*$(&
0 # #"*!&&"(&()"#& ! !!!!& ! B # #"*!&&"(&()"#&; # #"*""'#"!*$(&
0 # #"*!)&'*$$&*$(& ! !!!!##' ! B # #"*!)&'*$$&*$(&; # #"*""'#"!*$(&
0 # #"*"!!*&##"%)%$( ! !!!!!'& ! B # #"*"!!*&##"%)%$(;# #"*""'#"!*$(&
0 # #"*"!)&)"&%#*'* ! !!!!!"& ! B # #"*"!!*&##"%)%$(;# #"*"!)&)"&%#*'*
0 # #"*"!%('')%&(!$ ! !!!!!#& ! B # #"*"!%('')%&(!$; # #"*"!)&)"&%#*'*
0 # #"*"!''(%"*%$$' ! !!!!!!& ! B # #"*"!''(%"*%$$'; # #"*"!)&)"&%#*'*
0 # #"*"!('#()')'&# ! !!!!!!& ! B # #"*"!''(%"*%$$'; # #"*"!('#()')'&#
por lo que, tomando la aproximacin B"* # #"*"!("&"!$"#&! (punto medio del intervalo), el error viene dado
por
! &
(
| &19 | #! % (')$("&)#!$"#&! "!
#
y si redondeamos a # #"*"!( el error total vendr dado por
| & | (# #"*"!( # #"*"!("&"!$"%*) %,(')$("&... "!( " &"!$"%* "!( % (')$("& "!( "!
por lo que las seis cifras decimales son exactas.
'
# Mtodo de Newton
Ya hemos visto que en el intervalo [# # &] son positivas 0 w B y 0 ww B, luego podemos aplicar la regla de
Fourier. Como 0 # & ! tomamos B! # & y aplicamos la frmula de Newton-Raphson.
B8 " B8
Al ser creciente 0 B, sabemos que
0 B8
0 w B8
mn 0 w B 0 w # ! *"'" por lo que la formula
B[# #&]
del error a posteriori es
obtenindose que
& 8
B!
B"
B#
B$
0 B8
! *
# &
# #$&%!$$%!*!#$%
# #"*")!'*'$*(!(
# #"*"!("&!%$(#(
&! ! $&$"$"('%")*""
&" ! !"*")!&!)%'(!%
&# ! !!!!)'"(#'(#('
'
&$ ! !!!!!!!!"()&!" "!
Si redondeamos a # #"*"!(, el error acumulado es
|&| # #"*"!( # #"*"!("&!%$(#( ",()&!" "!
",&#"!
"!
'
por lo que la raz de la ecuacin es B # #"*"!( con las seis cifras decimales exactas.
Clculo Numrico
Pgina 54

VIRGINIO GOMEZ
Ejercicio $& Separar las races reales de la ecuacin B/B B # " !, y obtenerlas con ocho cifras
decimales exactas por el mtodo de Newton, aplicando previamente la regla de Fourier.
Solucin: Comenzaremos por transformar la ecuacin para despejar la exponencial.
B/B B# " ! B/B B # "
La funcin C
oblicua C B.
B # "
B
/B
B# "
B
es una cnica (hiprbola) con una asntota vertical de ecuacin B ! y otra
Grficamente se observan dos intersecciones, una de ellas en los valores negativos de la variable y la
otra en los positivos.
Vemoslo con ms detalle. La funcin J B /B B B" tiene las mismas races (ya que B ! no
es solucin de la ecuacin) que la funcin 0 B B/B B # " !.
J w B /B
B #B B # "
B# "
"
/B
/B " B
#
B
B#
B
Tenemos entonces que J w B ! cualquiera que sea el valor que tome la variable B y adems, J
! _. Por tanto, J w B nunca se anula.
No podemos aplicar directamente el Teorema de Rolle a la funcin J B en ( _ _) ya que no es

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

Para B " ! es " B !, /B ! y #B ! por lo que 0 w B !
Para B " # es " B !, /B ! y
#B ! por lo que 0 w B !
Por tanto, 0 w B no se anula en ninguno de los intervalos, por lo que podemos asegurar que ambas
races son simples.
Clculo Numrico
Pgina 55
Regla de Fourier
1.Para B ( " !) es
B! " .
2.Para B (" #) es
0 w B !
0 ww B B #/B # !
0 w B !
0 ww B B #/B # !
, luego como 0 " !, tomamos
, luego al ser 0 # !, tomamos
B! # .
Mtodo de Newton
La frmula de Newton-Raphson B8 " B8
los valores
VIRGINIO GOMEZ
0 B8
aplicada a la funcin 0 B B/B B # " nos genera
0 w B8
Intervalo " #
Intervalo " !
B!
B"
B#
B$
B%
B&
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 ["#]
la expresin del error a posteriori nos queda de la forma
& 8
0 B8
#
El error para B& " "'(&)&&#( es

&8
0 " "'(&)&&#(
#
! %%' "!
#
! ##$ "!
por lo que si redondeamos a " "'(&)&&$ obtenemos que el error viene dado por
| & | (" "'(&)&&$ " "'(&)&&#() ! !!!!!!!!!##$ "!)

es decir, la raz buscada es " "'(&)&&$ con las ocho cifras decimales exactas.
Anlogamente, para el intervalo ( " !), 0 w B es positiva y decreciente, por lo que el mnimo de
|0 B| 0 w B se alcanza en B !, es decir
w
mn 0 w B 0 w 0 1 &8 0 B8 .
B ["!]
El error para B' ! %()"(#$*(# es
|&6 | 0 ! %()"(#$*(# ! )!$' "!
por lo que redondeando a ! %()"(#%! obtenemos que el error es
| & | ! %()"(#%! ! %()"(#$*(# ! !!!!!!!!!)!$8 "!)
es decir, la raz negativa es ! %()"(#%! con todas las cifras decimales exactas.
Clculo Numrico
Pgina 56

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.
Solucin: Las grficas de las funciones C / B y C B ## vienen dadas en la figura adjunta.
Puede observarse que slo existe un punto de corte entre ellas, por lo que la ecuacin
/ B B "# ! slo posee una raz real.
Dado que el crecimiento de la exponencial es mucho ms rpido que el del polinomio, es evidente que
no volvern a cortarse.
Partiendo de B! ! y aplicando el mtodo de Newton, en el intervalo (! "), dado por la frmula de
Newton-Raphson
B8 " B8
con un error a posteriori, dado por

& 8
0 B8
/B8 B8 ##
B8 B
w
0 B8
/ 8 #B8 #
0 B8
0 B8
$
mn 0 w B
B[! "]
obtenemos:
B" ! '
B# ! '#*)$!($%')$$)
B$ ! '#*)%'""&')('(
&" ! !%&*'!$**)'*)$
&
&# # $'(%' "!
"#
&$ % )$(*) "!
Redondeando obtenemos que la raz es ! '#*)%' con un error
| & | ! '#*)%' ! '#*)%'""&')('( % )$(*) "!
"#
"!
'
Por lo que la raz buscada es ! '#*)%' con las seis cifras decimales exactas.
Ejercicio $(. Dada la ecuacin / B B "# !, se pide:
1.Estudiar grficamente sus races reales y acotarlas.

2.Obtener la mayor de ellas con dos cifras decimales exactas por el mtodo de la biseccin.
3.Obtenerla con seis cifras decimales exactas por el mtodo de Newton.
Solucin: Se trata de buscar las races de la ecuacin / B B "# .
1.Acotacin y separacin:
La grfica de C / B interseca tres veces a la de C B "# . Las negativa y nula son evidentes. Para la
positiva basta con observar que C / B comienza tomando valores inferiores a los de C B "# pero, sin
embargo, el crecimiento de la exponencial es superior al de la funcin cuadrtica, por lo que necesariamente
volvern a cortarse sus grficas.
Clculo Numrico
Pgina 57

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

[+# ,# ] # & # (&
[+$ ,$ ] # & # '#&
[+% ,% ] # & # &'#&
[+& ,& ] # & # &$"#&
[+' ,' ] # & # &"&'#&
Tomando el punto medio del intervalo, obtenemos que B # &!()"#& con un error menor que
! !!()"#& por lo que si redondeamos a # &" obtenemos un error
| & | # &" # &!()"#& ! !!()"#& ! !"
3.Mtodo de Newton:
En # & ; # &"&'#& sabemos que 0 ww B ! y 0 w B ! (el mnimo se encuentra en (" #), luego se dan las
condiciones de la regla de Fourier. Debemos tomar como B! el extremos en que 0 B y 0 ww B tienen el mismo
signo, por lo que B! # &"&'#&, ya que 0 2,5 ! y 0 # &"&'#& !. De esta forma, tenemos garantizada la
convergencia.
Como 0 ww B ! en todo el intervalo, se tiene que 0 w B) es creciente, por lo que
mn
B[#&;#&"&'#&]
0 w B 0 w # & / #& ( & ")#%*$*'!(!$%( .
y, por tanto, el error a posteriori viene dado por

& 8
B[#&;#&"&'#&]
0 B8
0 B8
0 w B
&
mn
Utilizando la frmula de Newton-Raphson , obtenemos
B! # &"&'#&
&! ! !!#*%%#$'*''"%
'
B" # &"#)'*)")#(#*& &" ( )''& "!
""
B# # &"#)'#%"($!&'# &# & ''$% "!
por lo que redondeando a # &"#)'# obtenemos un error
| & | # &"#)'# # &"#)'#%"($!&'# ! !!!!!!!!!!&''$ "!
'
Ejercicio $) La ecuacin !)"B " 68 B !, tiene dos races reales, una de las cuales es la unidad.
Calcular la otra por el mtodo de Newton, estudiando previamente el campo de convergencia.
Solucin: La ecuacin dada es equivalente a !)"B " = 68 B. Es decir, se trata de encontrar las intersecciones
de la recta C !)"B " con la curva C 68B cuyas grficas se dan a continuacin.
Clculo Numrico
Pgina 58
Sea 0 B !)"B " 68B la ecuacin a estudiar sea 0 B !
VIRGINIO GOMEZ
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.)
mn 0 w B 0 w # ! $"
Dado que
B["$ #]
&8
, por lo que
B!
B"
B#
B$
B%
B&
, el error a posteriori viene dado por
" $
" ((%*(#&#%'(%$"
" &&'#$'"#(!!)%"
" &!'((%$!#%$'()
" &!$#%((%)*'%(#
" &!$##))!!*')'!
con
con
con
con
con
con
0 B8
! $
&! ! !'%&%(&%)##%*(
&" ! "(*)!*$$(%&""%
&# ! !#('!$'&$&#&*!
&$ ! !!"(#!"%##'$%"
&% ! !!!!!*"%$*!#%"
&& ! !!!!!!!!!#'%)!
Por tanto, la raz buscada es " &!$##* con un error
| & | " &!$##* " &!$##))!!*')'! ! !!!!!!!!!#'%)! "!
'
Ejercicio $* Se considera la ecuacin (B ") 68 B # #B # (B ( !. Separar sus races y obtener la

mayor de ellas con seis cifras decimales exactas por el mtodo de Newton aplicando, previamente, la regla de
Fourier.
Solucin: En primer lugar vamos a despejar el logaritmo de la ecuacin.
(B ") 68 B # #B # (B ( #B ")68 | B | #B # (B ( !
, por lo que
68 | B|
#B # (B (
#B ")
La funcin C 68 | B | es simtrica respecto al eje de ordenadas y tiene una asntota vertical en B !.

La funcin C
C (B # &)
"
(B")
#B # (B (
es una hiprbola. Se puede simplificar su expresin escribiendo
#B ")
con lo que es evidente que sus asntotas son las rectas C B # & y B ".
Grficamente se observan cuatro races reales, aunque las dos mayores podran no serlo si el
crecimiento del logaritmo fuese ms lento que el de la hiprbola. Si embargo, mediante comprobacin de signos
vemos que efectivamente existe las cuatro races y que se encuentran en los intervalos ( " !), (! "), (" #) y
($ %).
Clculo Numrico
Pgina 59

0 " "' !
B" ( " !)
0 ! _ !
0 " # !
B$ (" #)
0 # ! $) !
0 ! _ !
B# (! ")
0 " # !
0 $ ! $* !
B% ($ %)
0 % # ') !
La mayor de las races es la comprendida en el intervalo ($ %).

Estudiemos, en primer lugar, las condiciones de la regla de Fourier.
0 w B #
VIRGINIO GOMEZ
En efecto: llamando 0 B (B ") 68 B # #B # (B ( se tiene que
B"
"
%B # *B #
%B "B #
68 B %B ( #68 B %B * #68 B
# 68 B
B
B
B
B
por lo que si B pertenece al intervalo ($ %) es

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

negativa, por lo que |0 ww B| es creciente y, por tanto
mn 0 w B 0 w $ " %'*%%#!
B[$%]
El error a posteriori vendr dado, en cada iteracin, por

&8
0 B8
0 B8
" %'*
mn 0 B8
B[$%]
Aplicando la frmula de Newton-Raphson B8 " B8

B!
B"
B#
B$
B$
%
$ %$#'#"!"!&*%$"
$ #%$*'%')(()$%(
$ #")#)*!%)!&("*
$ #"()!"%$#$&*"&
0 B8
, obtenemos:
0 w B8
&! " )#&)*!*'))((#$

&" ! $'&&&*$"%'$#%$
&# ! !$*"$!$(!!*"!#
%
&$ ( "&*&')#)!&*##$ "!
(
&$ # &((*"!$"**%&&% "!
Si redondeamos a seis decimales obtenemos B $ #"()!" con un error
| & | $ #"()!" $ #"()!"%$#$&*"& ! !!!!!!#&((*"!$ "!
'
por lo que la mayor de las soluciones de la ecuacin es B $ #"()!" con sus seis cifras decimales exactas.
Ejercicio $"! Dada la ecuacin 0 (B) / B
(B # (B()
"!(B") #
! se pide:
1.Determinar el nmero de races reales que posee y separarlas.

2.Demostrar que para cualquier B " ' es 0 w (B) ! y 0 ww (B) !.
3.Calcular la mayor de las races, con dos cifras decimales exactas, por el mtodo de Newton.
Solucin: 1.Consideremos la funcin 1(B)
2 (B ) /
B #
(B # (B()
"!(B") #
y estudiemos grficamente su interseccin con
Clculo Numrico
Pgina 60

Su derivada 1 w (B)
(&B()
"!(B")$
1 ww (B)
se anula para B
"!B"'
"!(B")%
(
&
" %.
1 ww (" %) !
por lo que 1(B) tiene un mnimo en (" %; 1(" %)) (" % ; ! &#&).
VIRGINIO GOMEZ
La funcin 1(B) posee una asntota vertical en B " y otra horizontal en C ! ".
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... .
B # (B(
"!(B") #
Los cortes con su asntota horizontal los determina la ecuacin ! "

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

obtenemos:
0 " !
0 ! ! =" " !
0 " ! =# ! "
0 # ! =$ " #
(B # (B()
"!(B") #
para separar sus races,
0 $ !
0 % !
0 & !
0 ' ! =% & '
As pues, existen cuatro races situadas en los intervalos ( " !), (! "), (" #) y (& ') respectivamente.
2.Las dos primeras derivadas de la funcin 0 (B) son
#
0 w B #B /B
&B (
"!B "$
0 ww B (%B # #) / B
Para valores de B mayores que " ' se tiene que

#
#B /B !
&B(
B"$
!
#
(%B # #) / B
"!B"'
B"%
&B(
"!B"$
w
0 B !
a B " '
%B # #
!
ww
/B #
0 B !
a B " '
Es decir, ambas derivadas tienen signo constante en dicho intervalo.
"!B "'
"!B "%
Clculo Numrico
Pgina 61
3.Calculemos ahora la solucin existente en el intervalo (& ').

0 & !
0 w B !
En primer lugar aplicamos la regla de Fourier:

El error a posteriori vendr dado por
& 8
y
y
0 (') !
B! &
0 ww B !
0 B8
0 B8
0 B8
w
" %'*
" %'*
mn 0 B8
B[&']
Haciendo uso de la frmula de Newton-Raphson B8 " B8

B! &
B" & ''''''''$)')&!
B# & ())"*%%%%$!&$%
con
con
VIRGINIO GOMEZ
0 B8
, obtenemos:
0 w B8
&! " !"*!#"($*))&#"

con
&" ! "$)'%#%"''(**)
&# ! !!$$&)!)$)!*"#
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

" Por el mtodo de biseccin obtenga la nica raz positiva de la ecuacin no lineal:
% -9=B /B !
, con B ! & ".
# Sea la ecuacin /B " . Encuentre la raz no nula de esta ecuacin usando Newton-Raphson
(B # $
B
$
"
$ Resuelva la ecuacin C B$ -9= B# " . Utilice Newton-Raphson para multiplicidad de raices.

% Por iteracin funcional resuelva la ecuacin B 68B ! Grafique previamente.
7
& Se tiene un canal rectangular de base , & 7 por el cual escurre un caudal U "& =/1
. Se sabe que
este canal posee una energa I " ( 7. Se pide encontrar la altura crtica (altura donde el escurrimiento
cambia de estado) sabiendo que se cumple la relacin:
I 2-
;#
#12-#
donde ;
U
y 2- es la altura crtica.
,
Indicacin: Utilice 4 dgitos significativos y redondeo. Adems, una buena aproximacin para la altura crtica es
el rango entre " $ y " (.
Clculo Numrico
Pgina 62

VIRGINIO GOMEZ
Cuando queremos evaluar una funcin 0 B en un PC, en general ser ms eficiente en tiempo y
espacio tener una aproximacin analtica de ella que almacenar un conjunto de datos para determinar valores
entre los datos que tenemos. Al tener datos experimentales, los cuales estn sujetos a distintos tipos de errores,
debemos tomar suficientes lecturas experimentales de tal manera que las leyes estadsticas cancelen los errores
introducidos. Por las leyes fsicas es posible ajustar los datos a una funcin conocida, luego el problema se
reduce a resolver la determinacin de la "mejor funcin" que represente a los datos.
El criterio que utilizaremos para cumplir este objetivo ser el de los Mnimos Cuadrados. Este criterio
recibe el nombre Bondad de Ajuste.
Nos centraremos slo en resolver el problema de que al tener un conjunto de puntos T5 B5 C5 ,
encontrar la ecuacin C 9 B que relacione las cantidades medidas B e C en el sentido de que su grfico
represente de la "mejor forma posible" al conjunto de puntos.
En general, la formulacin del problema es que dado un elemento 0 de un espacio mtrico I ., se
pide encontrar un elemento 9* de un subespacio (J . de I ., tal que la distancia de 9* al elemento 0 sea la
menor entre todas las distancias de los 9 J al 0 dado, es decir,
.9 0 min .9 0
9J
donde el elemento 9* recibe el nombre de mejor aproximacin a 0 por elementos de J (si es que existe dicho
elemento).
%" Mejor aproximacin en espacios normados.
Para este elemento 9* estudiaremos su existencia, unicidad y construccin.
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 <4 +5 0 <4 a 4 " 8
8
5"
corresponde a un sistema de ecuaciones lineales de orden 8 8, donde las indeterminadas +5 5 " 8 son los
coeficientes para construir la combinacin lineal que detrerminar a 9* . Es decir,
9* ! +5 <5
8
5"
Clculo Numrico
Pgina 63
%# Aproximacin discreta de mnimos cuadrados.
VIRGINIO GOMEZ
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
9* =! +5 <5 8
8
es la mejor aproximacin discreta, en el sentido de los mnimos cuadrados,
5"
de la funcin 0 si
"=B3 0 B3 9* B3 # min "=B3 0 B3 9 B3 #

R
3"
3"
9 8
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
R +" +# ! B3 +8 !B38" !0 B3
R
3"
3"
3"
! B3 +" +# ! B#3 +8 ! B38
#
! B#3 +" +# ! B3$ +8 ! B8"
!
3
0 B3 B3
3"
3"
3"
3"
! 8"
B3 +"
3"
+#
3"
R
3"
3"
! 0 B3 B3
! 8
B3
3"
3"
+8
! #8#
B3
3"
R
! 0 B3 B3
R
8"
3"
(%"
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+" *+# "$
*+# $"+# %)
Por tanto,
9 B
+"
#*
! $*")*
(%
#*
"#$
#* "#$
"
B
B
(%
(%
(%
(%
y +#
"#$
" ''#"'
(%
" B %.
Clculo Numrico
Pgina 64

B3
0 B3
"
#
"
#
!
"
&
%
"
#
&
%
"
#
VIRGINIO GOMEZ
Ejemplo %$ Determinemos la mejor aproximacin discreta de la funcin 0 V " " de la cual se conocen
los puntos dados por la tabla
Solucin: De igual forma nos damos cuenta por la grfica del conjunto de datos que la "mejor aproximacin
discreta" ser por una parbola (8 $ y R &); luego, aplicando (%" nos da el sistema
+" " " " " " +# "
+" "
+" "
"
%
"
#
"
%
"
#
" +# "
"
+#
"
"
#
"
#
" +$ "
"
%
"
%
" +$ "
"
)
"
)
"
+$ "
"
%
"
)
"
)
"
%
"
"
)
"
)
"&
#
" !
"
$(
)
o equivalentemente
5+" +
&
# +"
"&
#
! +# !
$(
"(
) +$ )
&
# +#
&
# +$
5+" &# +$
&
*
# +" % +$
"&
#
$(
)
+" " y +$ "
Por tanto, 9 B " " " B# " B# " B ".

Representando grficamente tenemos
%$ Aproximacin discreta de mnimos cuadrados, caso no lineal.
En el caso en que la mejor aproximacin 9 no es de la forma lineal, es posible intentar una

transformacin por algn mtodo adecuado.
Ejemplo %$ Si tenemos el conjunto de puntos B3 C3 en la tabla
B3
0 B3 C3
!
$ !!
"
! %"
#
! !&
$
! !"
y queremos encontrar la mejor aproximacin discreta 9 B que obedezca a la forma +" /+# B , para ! B $,
linealizamos aplicando logaritmo natural para obtener
689 B 68+" +# B
Luego, haciendo las sustituciones G B 689 B -" 68+" y -# +# , obtenemos

G B -" -# B
, lo que nos lleva a

B3
D3 68C3
!
" "!
"
! )*
; luego, aplicando (%" da el sistema

%-" '-# ( $!
'-" "%-# #! '#
; lo cual da como resultado:
#
$ !!
$
% '"
-" " !* y -# " *%
Clculo Numrico
Pgina 65

+" /-" # *'

+# -# " *%
De esta forma la funcin requerida es:
9 B # *'/"*%B .
%$" Mtodo de Gauss-Newton
VIRGINIO GOMEZ
As, G B " !* " *%B Es decir, al volver a las incgnitas originales tenemos
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
, donde -" -8 son parmetros a determinar.
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
min <- 3 H0 - 3 D
D8
#
#
, es decir el vector solucin
del sistema
H0 - 3 > H0 - 3 =3 H0 - 3 > <- 3
donde
0 - 0" - 0R -> , - -" -8 8
C C" CR >
<- C 0 - <" <R >
Paso # Sea <7 C 0 - 3 7 =3
y sea 5 ! el entero ms pequeo que satisface la relacin
<#5 <! C 0 - 3
Paso $ Se define - 3" - 3
#
#
" 3
=
#5
Paso % El proceso se detiene si se satisface la relacin

-4
3"
max
"48
-4
3
3"
-4
"!"!
&
, para un & ! dado.
Si no se cumple la desigualdad anterior, volver al Paso ". con el - 3" recin calculado.
Clculo Numrico
Pgina 66

B3
0 B3
!
$ !!
"
! %"
#
! !&
$
! !"
VIRGINIO GOMEZ
Ejemplo %% Determinemos la mejor aproximacin discreta de mnimos cuadrados de la forma

0 -" -# B -" /-# B tomando como vector inicial - ! " !! " !!, para la tabla
Solucin: Dado que R % entonces haciendo: 0 -" -# B" 0" -" -# -"
0 -" -# B# 0# -" -# -" /-#
0 -" -# B$ 0$ -" -# -" /#-#
0 -" -# B% 0% -" -# -" /$-#
!! " !!
""!!
$ !! " !!
/
! $(
! %" ! $(
!
0 - #!!
<- C 0 -
! "%
! !&
! "%
/
/$!! ! !&
! !" ! !&
"/#
H0 - ! #-#
/
/$-#
!
" !!
-" /-#
! $(
#-" /#-#
! "%
$-" /$-# "!! "!! ! !&
H0 - ! > H0 - !
" "'
! ")
! ")
! #$
! !!
! $(
! #(
! "&
# !!
! !%
! !*
! !%
H0 - ! > <- !
De aqu, el sistema de ecuaciones normales ser:

" "'
! ")
# !!
! !#
! ")
=
# !!
=! " *) " '%
"
! #$ =# ! !#
Para 5 !, tenemos
<#! <" c ! !#
<! c # !!
! !%
! #!
! !$
! !" d> # ! !% ;
#
! !% d> # % !"
#
! !*
es decir, <" <!. Luego, - " - ! =! # *) # '%.

Por tanto,
; tenemos
- " # *) # '%
-4 -4
"
Por paso % el test de detencin da:
max
"4#
-4 "!"!
"
! '';
mientras que
lo que para una condicin
preestablecida (& ! se detiene o se contina con - " # *) # '% en vez de - !
Clculo Numrico
Pgina 67
%% Ejercicios
VIRGINIO GOMEZ
Ejercicio %" Determinar la mejor aproximacin discreta de la funcin 0 V " " de la cual se conocen los
puntos dados por la tabla
B3
0 B3
"
"
"
#
!
!
"
#
"
#
"
#
"
"
Solucin: Tomemos 8 $ y apliquemos (%" dando el siguiente sistema

&+"
# &+"
# &+$ $
!
"(
) +$ # #&
# &+#
Por tanto, 9 B
'
$&
'
(
+# ! +"
'
$&
B# " B " .
y +$
'
(
Ejercicio %# Determine la mejor aproximacin discreta de la funcin 0 V # # de la cual se conocen los

puntos dados por la tabla
B3
0 B3
#
$
"
!
!
"
"
!
#
$
Solucin: De manera anloga al ejemplo 4.2 da el sistema

+" " " " " " +# # " ! " # +$ % " ! " % &
+" # " ! " # +# % " ! " % +$ ) " ! " ) !
+" % " ! " % +# ) " ! " ) +$ "' " ! " "' #%
o equivalentemente
5+" +
"!+$ &
"!+#
"!+"
+# !
5+" "!+$ &

"!+" $%+$ "#
$%+$ "#
Por tanto, 9 B
&
(
"
"
(
B#
&
(
+"
&
(
y +$
"( B# # B #.
Ejercicio %$ Idem para la tabla

B3
0 B3
$
$#
#
*
"
!
!
"
"
!
Solucin: Ajustemos estos puntos con 8 % para obtener el sistema

&+" &+# "&+$ $&+% %!
&+" "&+# $&+$ **+% ""%
"&+" $&+# **+$ #(&+% #(*
$&+" **+# #(&+$ (*&+% *$'
Por lo tanto,
9 B
"($
(
+1
"($
(
%(
#)
"'**
&'
"
, +#
B#
)$
)
%(
#)
, +$
B$
"'**
&'
"($
(
y +%
%(
#) B
"
(
)$
)
"'** #
&' B
)$ $
) B
" B ".
Clculo Numrico
Pgina 68

>
>=
3E
"
) ")(
#
' (!$
$
& %))
%
% %*$
&
$ '(*
Adems, calcular los valores de 3! y VG

>
VIRGINIO GOMEZ
Ejercicio %% Obtener la mejor aproximacin discreta de mnimos cuadrados del tipo 3 3! / VG para la tabla
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 -#

, lo que nos lleva a
G B -" -# >
>
D 68>
"
# "!$
#
" *!$
$
" (!$
%
" &!$
"
VG ,
obtenemos
; luego, aplicando (%" da el sistema
&
" $!$
&-" "&-# ) &"&

"&-" &&-# #$ &%&
; lo cual da como resultado
-" # $!$ y -# ! #
As, G B # $!$ ! #> Es decir, al volver a las incgnitas originales tenemos
"
VG
3! /-" /#$!$ "! !!%

-# ! # VG &
Por lo tanto la mejor aproximacin es
9 B # $!$/!#> .
Ejercicio %& En un trabajo experimental se han obtenido los valores que a continuacin se indican
>
C>
" !!
& "#
$ !!
$ !!
' !!
# %)
* !!
# $%
"& !!
# ")
Si el modelo que describe el fenmeno est dado por C>
-"
determinar por el mtodo de los
-# >
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 - ! " !! " !!
-# >
Solucin: Dado que R & entonces haciendo

-"
-# "
-"
0# -" -#
-# $
-"
0$ -" -#
-# '
-"
-# *
-"
0& -" -#
-# "&
0" -" -#
tenemos
0 -
-"
-# "
-"
-# $
-"
-# '
-"
-# *
-"
-# "&
0 - !
1
1"
1
1$
1
1'
1
1*
1
1"&
0% -" -#
"
#
"
%
"
(
"
"!
"
"'
! &

! #&

! "%

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

$ !! ! #& # (&
<- ! C 0 - ! # %) ! "% # $%
# $%
! "
# #%
# ") ! !' # "#
Clculo Numrico
Pgina 69
H0 - !
H0 - ! > H0 - !
-"
-# "#
-"
-# $
#
-"
-# '
#
-"
-# *
#
-"
-# "&
#
"
-# "
"
-# $
"
-# '
"
-# *
"
-# "&
! $&
! "%
! &
! #&
! "%
! "
! !'
! #&
! !'
! !#
! !"
"!! "!!
! "%
$ ')
y H0 - ! > <- !
! !(
" $*
De aqu, el sistema de ecuaciones normales ser:

! $&
! "%
! "%
=
$ ')
=! *# #* #!% %$
"
! !( =# " $*
Para 5 !, tenemos
<#! <" c ! !#
<! c # !!
! !%
! #!
! !*
! !$
! !" d> # ! !% ;
#
! !% d> # % !"
#
es decir, <" <!. Luego, - " - ! =! # *) # '%

Por tanto, - " # *) # '%
Ahora, por paso % el test de detencin nos da:
-4 -4
"
max
"4#
VIRGINIO GOMEZ
"
-4 "!"!
! '';
mientras que
lo que para una condicin preestablecida (& !
se contina con - " # *) # '% en lugar de - !
Ejercicio %' Se analiza el crecimiento poblacional de una determinada poblacin, obteniendo los datos
siguientes:
>
:>
!
&
"
%&
#
#"(
$
$&!
%
$(#
Se pide determinar la mejor aproximacin discreta de mnimos cuadrados de la forma :>

Solucin: Tarea!
Ejercicio %( A cierto fenmeno se le quiere ajustar el modelo C>

fenmeno se han obtenido los datos siguientes
>
C>
" !!
& "#
$ !!
$ !!
$(&
" " / # >
+
. En pruebas experimentales a este
,>
' !!
# %)
* !!
# $%
"& !!
# ")
Obtenga la mejor aproximacin discreta de mnimos cuadrados del tipo del modelo que quiere ajustar.
Solucin: Tarea!
Clculo Numrico
Pgina 70
Actividad Personal
VIRGINIO GOMEZ
A continuacin se proponen ejercicios tomados en certmenes anteriores y ejercicios nuevos propuestos

para ser resueltos a modo de autoevaluacin.
" Ajuste a una lnea recta los valores de B e C dados en la tabla siguiente
B
C
"
! &
#
# &
$
# !
%
% !
&
$ &
'
' !
#
" (
$
$ %
%
& (
&
) %
(
& &
# Para la ecuacin C +B, ajuste a los datos

B
C
"
! &
$ Adece los datos siguientes a un modelo exponencial

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

}.
VIRGINIO GOMEZ
Supongamos que se conocen los 8 " valores que toma una funcin 0 B, en los puntos del conjunto {
B! B" B8 } denominado soporte, es decir, supongamos conocidos 0 B! C! , 0 B" C" , 0 B8 C8 .
El problema de la interpolacin consiste en encontrar una funcin 1B de determinadas caractersticas
y tal que 1B3 C3 para 3 ! 8. En caso de existir, se dice que 1B interpola a 0 B en el soporte { B! B" B8
Al decir de w determinadas caractersticasw nos referimos a que se exige que 1B sea, por ejemplo, un
polinomio, un cociente de polinomios, una funcin trigonomtrica, etc.
La finalidad de encontrar una funcin 1B que interpola a otra 0 B en el soporte {B! B" B8 } es la
de aproximar la funcin 0 B en un punto B de tal forma que se pueda decir que 0 B 1B una vez
encontrada 1B. (Otra cosa es la evaluacin de 0 B 1B). Si el valor de B se encuentra en el intervalo
[B! B8 ] se dice que estamos interpolando. Si se encuentran fuera de dicho intervalo, se dice que estamos
extrapolando.
Como aplicaciones ms directas tenemos:
Evaluacin: (una aproximacin) de una funcin complicada 0 , en un cierto punto B.
Sustitucin: Si 1B es cmoda de derivar o integrar, la sustitucin, en cierta medida, de 0 w por 1w o ( 0 por
( 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
!
"
"
$
#
(
, dado que los tres puntos no estn alineados, no existe
ninguna recta que interpole a dichos valores.
Si queremos calcular la parbola C +B# ,B - que interpola a dichos valores, planteando el

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

8
B B4
43
P3 B $
B B4
4! 3
P! B
B B! B B" B B8"
P8 B
B8 B! B8 B" B8 B8"
Clculo Numrico
Pgina 72

+ P3 B4
! 3 4
" 3 4
, 1<+.9P3 B 8 cualesquiera que sea ! 3 8

- El polinomio
T8 B C! P! B C" P" B C8 P8 B
B! B" B8
siendo 1<+.9T B 8
Ejemplo &# Para interpolar los valores de la tabla
VIRGINIO GOMEZ
Teorema &". Los polinomios de Lagrange, definidos anteriormente, verifican:
interpola los valores de la tabla
B
C
"
!
B #B $B %
"
B$ *B# #'B #%
" #" $" %
'
B "B #B %
"
P# B
B$ (B# "%B )
$ "$ #$ %
#
#
"
$
#
%
&
B
C
B!
C!
B"
C"
B8
C8
con
los polinomios de Lagrange son
B "B $B %
"
B$ )B# "*B "#
# "# $# %
#
B "B #B $
"
P$ B
B$ 'B# ""B '
% "% #% $
'
P! B
P" B
y como T$ B C! P! B C" P" B C# P# B C$ P$ B, obtenemos que

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

0 B T8 B
0 8" -
8"x B
B! B B8
donde el punto - se encuentra en el intervalo determinado por los puntos B, B! , B" , . . . , B8 .

&"# Interpolacin de Newton
Diferencias divididas
Consideremos una funcin 0 B y un soporte {B! , B" , . . . , B8 } de 8 " puntos. Denotemos por
03 0 B3 y consideremos la tabla
B
C
B!
0!
B"
0"
B8
08
Vamos a probar que el polinomio de grado no superior a 8 que interpola a estos valores es de la forma
T B -! -" B B! -# B B! B B" -8 B B! B B" B B# B B 8"
para despus, calcular los valores de los coeficientes -! -" . . . -8
Teorema &%. Los coeficientes -! -" . . . -8 , descritos ms arriba, dependen de los valores B! , B" , . . . , B8 y
0! , . . . , 08 .
Clculo Numrico
Pgina 73

VIRGINIO GOMEZ
Dado que los valores de 0! , . . . , 05 lo= que dependen, respectivamente, de los valores de B! , B" ,, B8 ,
en lo que sigue utilizaremos la notacin -5 0 [B! , . . . , B5 ], con lo que el polinomio quedar de la forma
T B 0 [B! ] + 0 [B! , B" ](B B! ) + + 0 [B! B" . . . B8 ](B B! )(B B" ) (B B8 )
y quedar determinado una vez que se determinen los valores de los coeficientes 0 [B! B" B5 ] para 5 ! 8
Teorema && Sea T B el polinomio de interpolacin correspondiente a la tabla
B
C
B!
0!
B"
0"
VB son los polinomios que interpolan respectivamente a las tablas

B
C
B!
0!
B"
0"
B8
08
se verifica que T B UB
B B!
VB UB.
B8 B!
Teorema &' Para cualquiera que sea 5 ! 8 se verifica que

0 [B! B" B5 ]
B
C
B8
08
B!
0!
. Si UB y
B"
0"
B8
08
y,
0 [B" B5 ] 0 [B! B" B5" ]

siendo 0 [B3 ] = 03 para ! 3 8.
B5 B!
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
C
&
")
&
'
&
'
"
#
Por lo que el polinomio de interpolacin es

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

0 B T8" B
0 8 0
B B! B B8"
8x
Sustituyendo B por B8 tenemos:

0 B8 T8" B8
0 8 0
B8 B! B8 B8"
8x
y dado que 0 B8 08 T8 B8 , se tiene que:

T8 B8 T8" B8
0 8 0
B8 B! B8 B8"
8x
Clculo Numrico
Pgina 74
Podemos, por tanto, enunciar el siguiente teorema.

Teorema &'. Dada la tabla
para el que
B
C
B!
C!
0 8 -
.
0 [B! B" . . . B8 ]
8x
B"
C"
B8
C8
VIRGINIO GOMEZ
, con B! B" B8 , existe un punto - en el intervalo [B! , B8 ]
Diferencias finitas
Consideremos la tabla en donde el soporte {B! B" . . . B8 } es regular, es decir, en el que las
diferencias B3" B3 2 son constantes, que denominaremos paso. (Si B! ! y dicha diferencia es " es decir,
si {B! B" . . . B8 } {! " . . . 8}, el soporte recibe el nombre de soporte cannico)
Definicin &(. Dados C! C" . . . C8 , se definen las diferencias finitas ?5 C3 como
?5 C3 ??5" C3
?C3 C3" C3
As, por ejemplo, para C! C" C# C$ se tendran:

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

?C# C$ C#
Teorema &). Dada la tabla
B
C
B!
0!
B"
0"
B8
08
en la que {B! B" . . . B8 } es un soporte regular con
B3" B3 2, se verifica que, para cualquier valor de 5 " 8, es 0 [B! B" ... B5 ]
?5 0!
.
25 5x
El polinomio de interpolacin del soporte regular {B! B" . . . B8 } es, por tanto:
T8 B 0! ?0!
B B!
?# 0! B B!
B B"
?8 0 ! B B !
B B8"
...
2
#x
2
2
8x
2
2
Teniendo en cuenta que B B5 B B! 52 B B! 52 , podemos poner

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
por lo que, si denotamos por >
B B!
, se tiene que
2
T8 B 0!
Es decir:
?0!
?# 0!
? 8 0!
>
>> "
>> "> 8 "
"x
#x
8x
>
>
>
T8 B 0! ?0! ?# 0! ?8 0!
"
#
8
>
>> "> 5 "
donde
5
5x
Clculo Numrico
Pgina 75
&"$ Fenmeno de Runge
VIRGINIO GOMEZ
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
8_
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
#
"B
{ % ! %}, obtenemos que T# B "( . En la Figura &.2 podemos ver ambas grficas.
Figura &# Las grficas de 0 B y T# B
Si aumentamos el nmero de puntos y la aproximacin la hacemos mediante un polinomio de grado %

#
B%
en el soporte { % # ! # %} obtenemos T% B )&#"B
que podemos ver representada junto a la
)&
funcin 0 B en la Figura &.3.
Figura &$ Las grficas de 0 B y T% B
Si afinamos an ms y aproximamos mediante un polinomio de grado ) en el soporte

{ % $ # " ! " # $ %} obtenemos
T) B
en la Figura &.4.
"
"(!! "(!!
""#%B# $!%B% $"B' B)
Figura &% Las grficas de 0 B y T) B
, cuya grfica podemos observar
Puede verse el hecho comentado anteriormente del fenmeno de Runge. Vamos mejorando la
aproximacin en la parte central del intervalo, pero vamos empeorndola en los extremos.
Clculo Numrico
Pgina 76
&"% Interpolacin de Hermite
VIRGINIO GOMEZ
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!
0!w
B"
0"
0"w
B8
08
08w
donde 03 0 B3 y 03w 0 w B3 para ! 3 8.
Se tienen, en este caso, #8 # condiciones, por lo que debemos buscar un polinomio de grado #8 "
T B +#8" B#8" +#8 B#8 +" B +!
que verifique las condiciones:

T w B! 0!w
T w B" 0"w
T w B8 08w
T B! 0!
T B" 0"
T B8 08
Teorema &* Dada la tabla
B
0 B
w
0 B
B!
0!
0!w
soporte dado. El polinomio
B"
0"
0"w
, sean P5 B (5 ! 8) los polinomios de Lagrange para el
B8
08
w
08
T#8" B "+5 ,5 B B5 P#5 B

8
5!
en el que
+5 05
, 0 w #0 Pw B
5
5 5 5
5
T#8" B5 05
w
T#8"
B5 05w
verifica que
5 ! 8
siendo, adems, el nico polinomio de grado #8 " que verifica las condiciones anteriores.
Llamando DB B B! B B" B B8 se tiene que
D w B " B B" B B8 B B! B B" B B8w
por lo que D w B! (B! B" ) (B! B8 ) y de manera anloga se obtiene que D w B5 (B5 B" )(B5 B8 ),
por lo que los polinomios de Lagrange pueden escribirse de la forma
P5 B
DB
B B5 D w B5
para el soporte {B! B8
Teorema &"! Sea 0 B una funcin #8 # veces derivable con derivada de orden #8 # continua y sea T#8"
el polinomio de Hermite que interpola a 0 B en el soporte {B! B8 . Existe un punto - del intervalo que
determinan los puntos B B! B8 en el que se verifica que
0 B T#8" B
0 #8# -
B B! # B B8 #
#8 #x
Ejemplo && Consideremos el Ejemplo &% en el soporte { % ! %} y calculemos el polinomio de

interpolacin de Hermite
Sea 0 B
"
#B
0 w B
tal que al tabular los datos obtenemos
" B#
" B# #
B
0 B
0 w B
%
"
"(
)
#)*
!
"
!
%
"
"(
)
#)*
Clculo Numrico
Pgina 77

DB B %BB % B$ "'B
De esta forma,
P5 B
D w B $B# "'
D w B! $#
D w B" "'
D w B# $#
VIRGINIO GOMEZ
Luego,
BB %
"
$
Pw! B!
#B! %
$#
$#
)
B# "'
"
w
P" B
P" B" #B" "' "
"'
"'
B# %B
"
$
P# B
Pw! B!
#B# %
$#
$#
)
DB
BB5 $B#5 "'
P! B
Asi, los coeficientes

+! 0!
,! 0!w #0! Pw! B!
)$
""&'
"
"(
+" 0 " "
+# 0 #
"
"(
," 0!w #0! Pw! B! # ,# 0!w #0! Pw!B!
Por lo tanto, el polinomio de interpolacin de Hermite ser
)$
""&'
T& B +! ,! B B! P#! B +" ," B B" P#" B +# ,#B B#P##B

#
"
#
"' B
"'
#
"
"(
T& B
"*
)$B#
B
)$B#
B %B# "'
B# "'#
B %B# "'#
"( "")$(%%
#&'
"")$(%%
)$
""&' B
"
% $#
B# %B
"
"(
)$
""&' B
"
% $#
B# %B " B
T& B
Ejemplo &6 Si aplicamos este mtodo a la funcin del ejemplo anterior, en el soporte { % # ! # %}
obtenemos el polinomio de grado 8 (en realidad se busca de grado * pero al ser una funcin par, el trmino de
grado * se anula)
"
T) B =
(##& $"#*B# &'*B% %"B' B) cuya grfica puede verse en la Figura &'
(##&
(").
Si lo hacemos en el soporte { % $ # " ! " # $ %} obtenemos
T"' B
"
#)*!!!! #&&)##%B# "'"$&)%B% '#''))B' "%%%!)B) "*&#(B"! "&!(B"# '"B"% B"'
#)*!!!!
que podemos ver en la Figura &' (#).
Figura &' La funcin 0 B y los polinomios de Hermite T) B y T"' B
Si comparamos con los resultados obtenidos en el Ejemplo &"$, podemos observar la mejora que
produce la imposicin de que coincidan no slo los valores de la funcin, sino que tambin lo hagan los de su
derivada, en los puntos del soporte. Sin embargo, sigue manifestndose el fenmeno de Runge, es decir, se
mejora el resultado en la parte central del intervalo, pero en los extremos, la diferencia entre el polinomio
interpolador y la funcin es considerable.
La manera de evitar el fenmeno de Runge es hacer una interpolacin polinomial a trozos, es decir, lo
que se conoce como una interpolacin por splines y que estudiamos en la siguiente seccin.
Clculo Numrico
Pgina 78
&# Interpolacin por splines
VIRGINIO GOMEZ
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 [+ , ].
Definicin &"$ Diremos que W? (B) es un spline de interpolacin en B segn la particin ? {B! + B" B#
si
B8" B8 , },
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
3" ,
W?w [B
B3
B3 W? [B , B
3
3"
3" , B3
W w w? [B , B B3
3"
3
B3
B3
3
3"
w
W w ? [B , B B3
3
3"
w
B W?
3
[ B , B
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 ?.
Si exigimos que W?w + W?w , y W w w? + W w w? , diremos que se trata de un spline peridico.
decir,
si
Clculo Numrico
Pgina 79
&## Clculo de los splines cbicos de interpolacin
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
Los valores Q3 se denominan momentos y determinarn completamente los splines cbicos.
Obsrvese que como en cada intervalo [B3 B3" ] el spline W? es un polinomio de grado tres, su segunda
derivada es una recta (un polinomio de grado uno). En consecuencia, al imponer las condiciones (&") sobre la
igualdad de las derivadas segundas en los nodos, obligamos a que la segunda derivada de la funcin spline W w w?
constituya un conjunto de rectas que se intersecan en los nodos de la particin elegida. Ahora bien, dado que
cada recta queda determinado por dos puntos, podemos escribir el valor de las restricciones (&.1) sobre W ? como
W?ww [B , B
3
3"
B Q3
B3" B
B B3
Q3"
23"
23"
Integrando respecto a B obtenemos el valor de la primera derivada del spline en este intervalo
B3" B#
Q3" B B3 #
W w ? [B , B B Q#3
E3
3
3"
23"
#
23"
Volviendo a integrar respecto a B obtenemos
W ? [B , B
3
3"
Q3 B3" B$
Q3" B B3 $
E3 B B3 F3
'
23"
'
23"
Si imponemos ahora las condiciones de interpolacin W? (B3 ) C3

obtenemos
Q3 #
2 F3 C 3
' 3"
Q3" #
23" E3 23" F3 C3"
'
F3 C3
E3
Q3 #
' 23"
C3" C3
23"
23"
' Q3"
W? (B3" ) C3"
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#
#
2$
2# 2$
23
28" 28
28"
28# 28"
#
C" C!
'
C# C"
Q"
2#
2"
2" 2#
'
C$ C#
C# C"
Q#
2# 2$
2$
2#
Q8"
'
C8 C8"
C8" C8#
28" 28
28
28"
Clculo Numrico
Pgina 80

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

que, independientemente de ser mejor que el que se obtuvo en la Figura 5' (#) con el mtodo de Hermite, no
aparece el fenmeno de Runge.
Figura &( La funcin 0 B y su interpolacin por splines cbicos
&$ Ejercicios
Ejercicio &" Calcular los polinomios de Lagrange para el soporte cannico con " 8 $.
Solucin: Los polinomios de Lagrange para el soporte cannico {B3 3} (3 ! 8) son
P5 B $
8
3!
35
B3
DB
53
B 5D w 5
5 ! 8
donde DB BB "B 8
Si 8 ", el soporte cannico es W {! "}
DB
B"
P! B
B"
B !D w !
"
DB BB " B# B
DB
B
D w B #B "
P" B
B
B "D w "
"
Si 8 #, el soporte cannico es W {! " #}
$
#
DB BB "B # B $B #B
D w B $B# 'B #
DB
B "B #
B# $B #
w
B !D !
#
#
DB
BB #
#
P" B
#B
B "D w "
"
DB
BB "
B# B
P# B
w
B #D #
#
#
P! B
Si 8 $, el soporte cannico es W {0, 1, 2, 3}

DB BB "B #B $ B% 'B$ ""B# 'B
D w B %B$ ")B# ##B '
DB
B !D w !
DB
P" B
B "D w "
DB
P# B
B #D w #
DB
P$ B
B !D w !
P! B
B "B #B $
B$ 'B# ""B '
'
'
BB #B $
B$ &B# 'B
#
#
BB "B $
B$ %B# $B
#
#
BB "B #
B$ $B# #B
'
'
Clculo Numrico
Pgina 81

VIRGINIO GOMEZ
Ejercicio &# Hallar el polinomio de interpolacin de la funcin 0 B #B% en el soporte cannico

{! " # $}. Obtener una expresin del error.
Solucin: En el Ejercicio &" se obtuvieron los polinomios de Lagrange en el soporte cannico W {! " # $},
que resultaron ser
P! B "' B$ B# ""
' B"
P" B "# B$ &# B# $B
P# B "# B$ #B# $# B
P$ B "' B$ "# B# "$ B
El polinomio de interpolacin viene dado (a travs de los polinomios de Lagrange) por

T8 B "0 B5 P5 B
8
5!
y como 0 ! ! 0 " # 0 # $# y 0 $ "'#, obtenemos que
T$ B ! P! B # P" B $# P# B "'# P$ B
# "# B$ &# B# $B $# "# B$ #B# $# B "'# "' B$ "# B# "$ B
B$ &B# 'B "'B$ '%B# %)B #(B$ )"B# &%B
"#B$ ##B# "#B
El error viene dado por:

&B DB
0 8" -B
0 MZ -B
BB "B #B $
8 "x
%x
y dado que 0 B #B% , se tiene que 0 MZ B %) , por lo que

&B BB "B #B $
%)
#BB "B #B $
#%
Ejercicio &$ Hallar el polinomio de interpolacin de la funcin 0 B /B en el soporte {! "} y con l,

aproximar la raz cuadrada del nmero / estimando el error cometido.
Solucin: Al tratarse del soporte cannico con 8 ", podemos ver en el Ejercicio %" que los polinomios de
Lagrange son:
P! B B "
P" B B
Por tanto, el polinomio interpolador resulta ser
T" B 0 !P! B 0 "P" B /! B " / " B B " / B / "B "

ww
&B DB
0 8" -B
0 -B
BB "
8 "x
#x
y al ser 0 w w B /B se tiene que &B BB "
/B
El error al aproximar la raz cuadrada de /, es decir al calcular 0 ! &, por T" ! & es:
&! & ! &! & "
/!&
! #& -B

/ ! "#&/-B
#
#
Como ! -B " se tiene que /! < /-B < /" # (")#... y, por tanto:
&! & ! "#&/ ! $$*( ! $%
siendo
T" ! & / "! & "
es decir:
/ " )&*"%
/"
" )&*"%
#
con un error & 0,34.
Clculo Numrico
Pgina 82

VIRGINIO GOMEZ
Ejercicio &% Obtener el polinomio de interpolacin de los puntos (( $), () "), (* ") y ("! *) basndose en
los polinomios de Lagrange para el soporte cannico.
Solucin: Como tenemos cuatro puntos, el soporte cannico W {! " # $}. Los polinomios de Lagrange para
esta soporte (ver Ejercicio %") son:
"
""
"
$
P! B B$ B# B " P# B B$ #B# B
'
'
#
#
P" B "# B$ &# B# $B
P$ B "' B$ #" B# $" B
El polinomio de interpolacin viene dado por:
T$ B ! 0 B3 P3 >
$
con >
3!
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 +!
Sustituyendo los puntos del soporte obtenemos el sistema
buscar
es
de
grado
tres,
T$ ! +! &
T$ # )+$ %+# #+" +! "
T$ " +$ +# +" +! $ T$ $ #(+$ *+# $+" +! "$
cuya solucin es +! &, +" $, +# # y +$ ", por lo que el polinomio de interpolacin es

T$ B B$ #B# $B &
2. Dado que el soporte es el cannico para 8 $, para los polinomios de Lagrange del Ejercicio %" y dado que
el polinomio de interpolacin viene dado por
T$ B C! P! B C" P" B C# P# B C$ P$ B
se tiene:
T$ B & "' B$ B#
"$
"' B$
" #
#B
"
$ B
""
' B
" $ "# B$ &# B# $B " "# B$ #B# $# B
es decir, T$ B B$ #B# $B &
Clculo Numrico
Pgina 83
3. Comenzamos por construir la tabla de diferencias divididas:

B3
!
0 B3
&
"
0 B3 B4
0 B3 B4 B5
0 B3 B4 B5 B6
#
"
%
#
"
"$
"
%
"#
El polinomio de interpolacin viene dado por
VIRGINIO GOMEZ
T$ B 0 B! B B! 0 B! B" B B! B B" 0 B! B" B# B B! B B" B B#0 B! B" B # B$
se obtiene que
T$ B & #B B! "B B! B B" "B B! B B" B B# & #B BB " BB "B #
es decir:
T$ B B$ #B# $B &
4.La tabla de diferencias finitas es
B3
!
"
#
$
0 B3
&
$
"
"$
?0 B3
#
%
"#
?# 0 B3
#
)
?$ 0 B3
'
y dado que el polinomio de interpolacin viene dado por
T$ B !> 0 B! "> ?0 B! #> ?# 0 B! $> ?$ 0 B!
donde >
B B!
B!
B , se tiene que
2
"
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
#
T$ B !> J B! "> ?J B! #> ?# J B! $> ?$ J B!
siendo >
B B!
B ".
2
Clculo Numrico
Pgina 84

por lo que J 8
88 "#8 "
'
VIRGINIO GOMEZ
>>">#
T$ B " " % > & >>"
" %B " #& B "B # $" B "B #B $
#x #
$x
"
' ' #%B " "&B "B # #B "B #B $ "' #B$ $B# B "' BB "#B "
.
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 # 68#
0 w " "
0 w # ! &
Los polinomios de Lagrange en el soporte {" #} son (ver el Ejercicio %") :

P! B
B#
#B
"#
P" B
B"
B"
#"
luego el polinomio de interpolacin de Hermite, que viene dado por

T#8" B ! +5 ,5 B B5 P#5 B
+ 0 B5
con 5
,5 0 w B5 #0 B5 Pw5 B 5
5!
es, en nuestro caso:

T$ B +! ,! B "P#! B +" ," B #P#" B
con
+! 0 " !
+" 0 # 68#
,! 0 w " #0 "Pw" " " # ! " "

," 0 # #0 #Pw# # ! & # 68# " ! & #68#
w
por lo que
T$ B B "P#! B 68# ! & #68#B #P#" B
y sustituyendo los valores de P! B y P" B obtenemos
T$ B B "# B# 68# ! & #68#B #B "#
Para B " & se tiene
T$ " & ! &! &# 68# ! & #68# ! &! &# ! %!*!($&*!

&B D # B
0 #8# -B
0 MZ -B
B "# B ##
#8 #x
%x
y dado que
0 MZ -B
es decir:
'
'
% '
-B%
"
&" &
! &# ! &#
' ! !"&'#&
%x
68" & ! %!*!($&*! con un error
& ! !"&'#&
Clculo Numrico
Pgina 85

VIRGINIO GOMEZ
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 /!!" .
Solucin: Obtendremos el polinomio, por ejemplo, mediante la interpolacin de Lagrange T8 B ! 0 B5 PB5 en

8
5!
la que los polinomios de Lagrange vienen dados por

DB
P5 B
B B5 D w B5
DB B "BB "w B B
D " #
w
w
#
D B $B " D w ! "
D " #
con
Por tanto,
P! B
BB "
"
B# B
#
#
P# B
B"B
#
P" B
B "B "
B# "
"
"# B# B
y como 0 " /" , 0 ! " y 0 " /.
"
"
/ /" # # / /"
T# B /" B# B " B# " / B# B
B
B"
#
#
#
#
o, de forma aproximada T# B ! &%$!)!'$&B# " "(&#!""*%B "

El error viene dado por &B DB
Dado que
0 '''B /B 0 ''' B
0 "'B
.
$x
mx 0 ''' B /
por lo que
&B
B ""
DB
Utilizando la norma infinito
B""
/
DB
'
mx DB mx B$ 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.
Grfica de B $ B
Por tanto,
"
"
"
#
#
DB D

_
$ $ $ $ $ $ $ $
/
/
#
es decir &B DB_
'
' $$
! ")
Comparando con la calculadora tenemos:

B ! !"
Por extrapolacin
En la calculadora
T# ! !" " !"")!'$#!

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

" Use interpolacin de Lagrange para evaluar 68# con base en los datos
B
0
"
!
%
" $)'#*%
'
" (*"('!
# Estime por Lagrange el logarito de & en base "! (691&, con sus respectivos errores, mediante los datos
a) B
C
%
! '!#!'
b) B
C
% &
! '&$#"#&
'
! (()"&"$
& &
! (%!$'#(
$ Por diferencias divididas determine 68#, y su respectivo error, para los puntos
B
C
"
!
%
" $)'#*%
'
" (*"('!
% Dada la tabla
B
C
Cw
polinomios de Hermite.
"
! &)"*('(
! *#!'($'
#
! "&'&"('
! ")"!"&%
&
" '!*%$)
$
,
! !&#$*&(
! !&&"%"!
interpole
los
datos
por
& Por Spline cbicos encuentre un polinomio de interpolacin para los puntos " $ ! # " "
# !
Clculo Numrico
Pgina 87

X n este tema se pretende dar una aproximacin numrica del valor de una integral ( 0 B.B en los
+
distintos problemas que se presentan en la prctica, como son:
Conocida una primitiva J B de la funcin 0 B sabemos que
' , 0 B.B J , J +
+
pero necesitamos aproximar el valor de J , J +.

As, por ejemplo, (
"
VIRGINIO GOMEZ
#
"
.B 68B 68# 68" 68# , pero hay que aproximar el valor de 68#.
"
B
Si se conoce la funcin 0 B, pero no se conoce ninguna primitiva suya, se busca otra funcin
1B que aproxime a la funcin 0 B y de la cual s se conozcan primitivas.
As, por ejemplo, para calcular (
# B
"
/
.B, se desarrolla en serie de potencias
B
B8
"B
8"
/B
8x &B " " B
0 B
&B 1B &B
B
B
B
8x
para obtener que ( 0 B.B ( 1B.B ( &B.B en donde habr que evaluar ( &B.B.
#
"
"
"
"
Slo se conocen los valores de 0 B en un soporte {B! B" B8 }.
En ste caso, se interpola la funcin (por ejemplo mediante la interpolacin polinmica).

( 0 B.B ( T8 B.B (
,
0 8" -
B B! B B" B B8 .B
8 "x
( 0 B.B ( T8 B.B ( &B.B

,
'" Frmulas de cuadratura
Si realizamos la interpolacin de Lagrange, y llamamos DB B B! B B" B B8

, el polinomio de interpolacin viene dado por
T8 B C! P! B C" P" B C8 P8 B
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
3!
donde los coeficientes +3 ( P3 B.B

,
3!
3!
DB
B B5 D w B5
no dependen de la funcin, sino slo del soporte.
Por otra parte, si 0 B es un polinomio de grado no superior a 8, (B) !, por lo que para polinomios
es
( T (B) .B " +3 T B3
,
3"
Por tanto:
T B " , + +! +" +8
, # +#
T B B
+! B! + " B " + 8 B 8
#
,8" +8"
8
8
8
8
T B B
+! B! + " B " + 8 B 8
8"
'"
Clculo Numrico
Pgina 88
sistema que, en forma matricial es

"
B!
B8
!
"
B"
B8"
,+
" +!
, # +#
B8
+"
#
8"
B88 +8
+
, 8"
8"
cuyo determinante es un Vandermonde.
VIRGINIO GOMEZ
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 # .
% # %
" "
En el soporte W" ! :
$ #
"
"
"
( 0 B.B +! 0 ! +" 0 +# 0
$
#
!
El sistema a resolver es, en este caso:

T B " +! +" +# "
"
"
"
T B B ! +! +" +#
$
#
#
"
"
"
#
T B B ! +! +" +#
*
%
$
y, por tanto, ( 0 B.B

"
cuya solucin es +!
"
$ "
"
0 ! 0 #0
#
# $
#
" " $
En el soporte W# :
% # %
"
"
"
$
( 0 B.B ,! 0 ," 0 ,# 0
%
#
%
!
El sistema a resolver es, en este caso:

T B " ,! ," ,# "
"
$
"
T B B "% ,! ," ,#
#
%
#
"
"
*
"
#
T B B
,! , "
,#
"'
%
"'
$
#
"
,"
cuya solucin es ,!
$
$
por lo que ( 0 B.B 0 0 0

"
#
$
"
%
"
$
"
#
"
$
+" + # #
#
#
#
$
$
%
,#
#
$
Las formas ms generalizadas de aproximacin de la integral de una funcin 0 B se realizan mediante

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

Partamos del soporte regular {B! B" B8 } con
B! +, B" + 2, . . . , B3 + 32 , . . . , B8 + 82 ,
VIRGINIO GOMEZ
Si llamamos DB B B! B B" B B8 se tiene que los polinomios de Lagrange son

P3 B
B B! B B" B B8
B +B + 2B + 82
B B3 B3 B! B3 B3" B3 B38" B3 B8
B + 32323 "22 2 #2 8 32
B +B + 2B + 82
B + 323x8 3x2 8" "83
Por lo que haciendo >
B+
se tiene que
2
P3 B
Por tanto, +3 ( P3 B.B (

8
>> "> 8
> 33x8 3x "83
>> "> 8
"83 2 8 >> "> 8
.>
83 2.> 3x 8 3x (
>3
! > 33x8 3x "
!
8
8 D>
83 3
+3 2 "
.>
8x (! > 3
8
que son los denominados coeficientes de Newton - Cotes .
Teorema '.2. Los coeficientes de Cotes para un soporte regular {B! , B" , . . . , B8 } verifican que +5 +85 .
Teniendo en cuanta el Teorema '#, slo hay que calcular la mitad de los coeficientes.
Las Frmulas de Newton-Cotes en los casos 8 " y 8 # son conocidas como Frmula del trapecio y
Frmula de Simpson respectivamente.
'#" Frmula del trapecio
La frmula de Newton-Cotes en el caso 8 " slo tiene dos coeficientes. Como por el Teorema &# es
+! +" y por las ecuaciones ('") es +! +" , +, se tiene que +! +" "# , + por lo que
( 0 B.B
,
,+
,+
0 + 0 ,
0 +
0 , , +
#
#
#
Figura '" Mtodo del trapecio
Es decir, el mtodo del trapecio nos aproxima la integral por el rea de la regin plana limitada por las
rectas B + B , C ! y la recta que pasa por los puntos (+ 0 +) y (, 0 ,), es decir, el rea de un
trapecio (ver Figura '").
Clculo Numrico
Pgina 90
'## Frmula de Simpson

Para el caso 8 # tenemos que B! + B"
+! 2 "
#!
!#
+,
#
y B# , . Dado que
#
>> "> #
2 >$
>#
2
,+
.> $ #>
con 2
(
#x !
>!
# $
#
$
#
#
,+
+# +!
'
se tiene que
VIRGINIO GOMEZ
y como +! +" +# , +, se tiene que +" , + #
,+
#, +
'
$
tenindose, por tanto que

( 0 B.B
,
,+
#, + +,
,+
0 +
0 #
0 ,
'
$
'
o, lo que es lo mismo:
( 0 B.B
,
,+
0 + %0 +,
# 0 ,
'
Teorema '$ Al aplicar la frmula de Newton-Cotes para un entero n, el error que se comete viene dado por:
Si n es par &8
28$ 0 8# - 8
( > >> "> 8.>
8 #x
!
Si n es impar &8
28# 0 8" - 8
( > "> 8.>
8 "x
!
Corolario '% El error cometido en la aproximacin numrica de una integral es:

Para la frmula del trapecio:
&
2$ 0 w w -
.
"#
Para el mtodo de Simpson:
&
2& 0 MZ -
*!
'$ Frmulas compuestas

'$" Simpson para n par
Descomponiendo el soporte en {B! B" B# } {B# B$ B% } {B8# B8" B8 } se obtiene que

( 0 B.B
,
B# B!
B% B '
B8 B8#
0 B! %0 B" 0 B#
0 B# %0 B$ 0 B%
0 B8# %0 B8" 0 B8
'
'
'
2
0 B! %0 B" #0 B# %0 B$ #0 B% #0 B8# %0 B8" 0 B 8
$
( 0 B.B
,
2
0 B! 0 B8 #0 B# 0 B8# %0 B" 0 B8"
$
El error viene dado por

&
, +&
mx 0 MZ B
")!8%
BB! B8
Clculo Numrico
Pgina 91
'$# Trapecios para n impar

Con un proceso anlogo al anterior obtenemos que
2
0 B! 0 B" 0 B" 0 B# 0 B8" 0 B8
#
( 0 B.B
,
( 0 B.B
,
VIRGINIO GOMEZ
,+
0 B! 0 B8 #0 B" 0 B# 0 B8"
#8
El error que se comete viene dado por

&
, +$
ww
mx 0 B
#
"#8
BB! B8
'% Ejercicios
Ejercicio '" Probar que los coeficientes +5 de las frmulas de Newton-Ctes verifican que "
8
"5 +5
85
5!
Solucin: Como la expresin de los coeficientes es

+5 2 "85
85
8x
D>
.>
>5
donde D> >> "> 8
la sumatoria se transforma en
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
Podemos ver que el integrando es precisamente D w >
8
! D> D> D> D> D> > "> #> 8 >> "> 8 " D w >
>
>" >#
>5
5! > 5
y, en consecuencia,
"
"5 +5
"8 8 w
"8
"8
2
D >.> 2
D> 2
D> D!
(
8
5
8x
8x
8x
!
!
5!
8
Al ser D8 D! !, podemos asegurar que "

8
"5 +5
!
85
5!
Ejercicio '# Dada la integral (
"
" B#
.B , se pide:
" B#
1.Calcularla exactamente.
2.Calcularla, aproximadamente, por la frmula bsica de Simpson.
3.Calcularla por la frmula compuesta de Simpson de 11 sumandos.
4.Aplicar la siguiente frmula ( 0 B.B &0 )0 ! &0

*
&
&
"
"
"
comprobando que integra, exactamente, polinomios de grado menor o igual que 5.
Clculo Numrico
Pgina 92
Solucin:
1.Calculndola exactamente obtenemos:
(
"
"
" B#
#
1
.B ( "
.B B #+<->1B " ! &(!(*'$
#
"B
" B#
#
!
!
"
2.La frmula bsica de Simpson (8 #) establece que:

2
0 ! %0 ! & 0 " &
$
( 0 B.B
"
por lo que
"
donde 2
"
donde 2
"!
"
#
#
" B#
"
.B " % ! ' ! & ! &'''' &
#
"B
'
3.La frmula compuesta de Simpson de once sumandos (8 "!) es:

( 0 B.B
VIRGINIO GOMEZ
2
0 ! 0 " %0 ! " 0 ! $ 0 ! & 0 ! ( 0 ! * #0 ! # 0 ! % 0 ! ' 0 ! ) &
$
"!
"
"!
"!
En nuestro caso:
(
"
!
"
" B#
"
.B "! " "" %%*#&)'% % '(%'$!&') &
"( "#$))*#" & ! &(!(*'$!( &
#
"B
$
$!
4.Aunque los lmites de la integral que nos piden son ! y ", al ser el integrando una funcin par, podemos
hacer:
(
"
" B#
" " " B#
.B
.B
(
" B#
# " " B#
con lo que es factible aplicarle la frmula, y dado que

0 ! " 0 $& 0 $&
se tiene
(
"
Teniendo en cuenta que:

1! ! $
"
$
&
$
&
"
%
" B#
" "
"
"
" #"
(
.B & ) " &
! &)$$$
" B#
# *
%
%
") #
"#
Otra forma de aplicar la frmula es realizar el cambio B
se obtiene
"
"
"
>"
, con lo que:
#
"
"
" B#
$ #> >#
.B
.>
1>.>
(
(
#
" B#
" #& #> >
"
1 $& ! %!(%&('%$
1 $& ! !&*&!$')$
" B#
"
.B & ! %!(%&('%$ ) ! $ & ! !&*&!$')$ ! &(!&$%!(!
#
"B
*
(No existe ninguna contradiccin en el hecho de haber obtenido dos resultados diferentes, ya que la frmula se
ha aplicado a funciones diferentes.)
Clculo Numrico
Pgina 93

5
( B .B
"
"
Por tanto:
( 1 .B #
#
" "5"
5"
5"
!
"
B5"
5"
"
( B .B !
"
"
"
$
( B .B !
%
( B .B
"
"
si 5 es par
si 5 es impar
#
( B .B
"
"
"
"
"
"
0 B B
0 B B#
0 B B
0 B B&
0 B B
#
$
&
( B .B !
#
&
"
La suma de cuadratura (frmula a aplicar) para estas funciones es:

0 B "
VIRGINIO GOMEZ
Veamos. por ltimo, que la frmula es exacta para polinomios de grado no superior a cinco.
"
& " ) " & " #
*
"
& $& ) ! & $& !
*
"
$
$
#
& ) ! &
*
&
&
$
"
& $& $ ) ! & $& $ !
*
"
*
*
#
&
)!&
*
#&
#&
&
"
& $& & ) ! & $& & !
*
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
para que integre, exactamente, polinomios del mayor
-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:
D w " $ #- " #" -
DB B "B -B " B -B B - D B $B #-B " D w - $- # #- # " - # "

D w " $ #- " #" -
$
B -B "
B# - "B
P! B
#" -
#- "
DB
B "B "
B# "
P5 B
P" B
#
B B5 D w B5
-# "
- "
B# " -B B
"B
P# B
#" -
#" -
El polinomio de interpolacin de la funcin 0 B es
T# B 0 "P! B 0 -P" B 0 "P# B
Clculo Numrico
Pgina 94
Si utilizamos la frmula de Newton para diferencias divididas se obtiene:

T# B 0 " B "0 " - B "B -0 " - "
0 "
0 - 0 "
B "
-"
0 "0 -
"-
"
0 -0
"B "B -
#
El error viene dado por

&B DB
VIRGINIO GOMEZ
0 ''' 0
B "B -B "
0 ''' 0
$x
'
con
" 0 "
2.Para que integre, exactamente, a polinomios del mayor grado posible, la frmula debe ser interpolatoria; esto
es, debe corresponder a la integracin del polinomio de interpolacin de 0 B en { " - "}, con lo que:
+3 ( P3 B.B
"
para 3 ! #
"
+! (
B# - "B "
B$
B#
.B
- " -B
#- "
#- " $
#
"
"
+" (
"
+# (
"
B# "
"
B$
.B #
B
#
- " $
" - "
"
"
( 0 B.B
"
"
"
"
#
" $ #-
#- " $
$" -
"
%
%

-# "
$
$" - #
B# " -B "
B$
B#
.B
" - -B
#" -
#" - $
#
"
Luego la frmula
"
"
"
"
#
" $ #-
#" - $
$" -
" $%
" $0 "
0 -
0 "
#
$" -
$" -
$" -
es exacta para polinomios de grado no superior a dos.
Otra forma de hacerlo es imponer la condicin de que la frmula sea exacta para las funciones " B B# . . .
hasta donde sea posible.
0 B " ( " .B +! +" +# +! +" +# #
"
"
0 B B ( B .B +! +" - +# +! +" - +# !
"
"
#
#
#
( 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
"
"
"
0 " %0 ! 0 "
$
Clculo Numrico
Pgina 95
4.Para - ! " tenemos que:
0 " % #
+!
"$!"
$"!"
+"
%
" $%')!"$%(
$" ! "#
+#
" $ ! "
! (
! #&*#&*
$" ! "
# (
por lo que (
"
"
! $*$*$*
VIRGINIO GOMEZ
0 ! " ' (& # &*)!('#""
0 " * $
&B "$
.B ! ()()()() $ %**!*#&% ! (((((((( & !'%(%*"!
#
#
&B "$
# &B"$
#
.B
El valor exacto es: (
$
#
&
"
#
$
"
"
% $
('
$ #$
& !'''''''
"&
"&
"
por lo que el error es menor que ! !!"*"('.
Ejercicio '% Calcular '! 0 B 68B .B interpolando 0 B, por un polinomio de tercer grado, en el soporte
"
"
"
{! "$ #$ "} y aplicar el resultado al clculo de '! =/8B 68B .B.(Indicacin: '! B7 68B .B 7"
7 !).
#
"
Solucin: Si interpolamos la funcin por un polinomio de tercer grado utilizando los polinomios de Lagrange,
sabemos que
( 0 B 68B .B ( T$ B 68B .B ( "0 B3 P3 B68B .B "0 B3 ( P3 B 68B .B
"
"
"
3!
3!
Tenemos, por tanto, que +3 ( P3 B 68B .B

"
(! 3 $
Calculemos los polinomios de Lagrange. Dado que

DB BB "$ B #$ B " B% #B$
obtenemos
P! B
P# B
"" #
* B
#* B ; D w B %B$ 'B#
B "$ B #$ aB "b
*
""
#
B$ #B# B
#
*
*
#*
+" B (
+# B (
+$ B (
"
!
"
!
*
""
#
B$ #B# B 68B.B *#
#
*
*
#( $ & # #
B B B68B .B
#
$
$
"
!
"
!
#(
#
#( $ % # "
B B B68B .B
#
$
$
* $
#
#
*
B B B68B .B #
#
*
"
"'
"
"'
( 68B .B "
"
"
*
# "*
""
*
%" *# a "b
&$ "* #$ "%
#(
#
"
"'
"
"'
"*
$#
%$ "* "$ "%
#* "%
D w ! *#
#
D w #$ #(
"
$#
BB "$ B #$
"
los coeficientes +3 son:

+! B (
#
*
2
( B 68B .B
"
"
"'
!
"
"
( B 68B .B
4
!
#
*
#
#(
P$ B
$
( B 68B .B
BB #$ aB "b
P" B
BB "$ aB "b
#(
%
"
B$ B# B
#
#
$
$
#(
Teniendo en cuenta que
##
* B
"
#
D w $" #(
y D w a"b #*
#( $ & # #
B B B
#
$
$
* $
#
#
B B B
#
*
"
9
""
$#
"
$#
Clculo Numrico
Pgina 96

"
"
""0 ! "*0 "$ 0 #$ 0 a"b &
$#
VIRGINIO GOMEZ
( 0 B 68B .B =
Obtenindose
Otra forma de obtenerla es sabiendo que, al ser interpolatoria, va a integrar exactamente a cualquier
polinomio de grado no superior a tres. Como
"
#
( 0 B 68B .B +! 0 ! +" 0 $ +# 0 $ +$ 0 a"b &
"
obligndola a que integre, exactamente, a los polinomios " B B# y B$ obtenemos el sistema

0 B "+! +" +# +$ ( 68B .B "
"
+! +" +# +$ "
+" #+# $+$

%
+" %+# *+$ "
+ )+ #(+ #(
#
$
"
"'
"
"
#
"
0 B B +" +# +$ ( B 68B .B
$
$
%
!
"
"
%
"
0 B B# +" +# +$ ( B# 68B .B
*
*
*
!
"
"
"
)
0 B B$ +" +# +$ ( B$ 68B .B
"'
#(
#(
!
cuya solucin es +!
""
$#
+"
"*
$#
+#
"
$#
+$
Obtenindose, de esta manera, la misma frmula anterior.

Aunque no se pide, una expresin del error es:
"
$#
& ( 0 B 68B .B ( T$ B 68B .B ( 0 B T$ B68B .B ( &B 68B .B ( DB

"
"
"
&
"
"
Q%
( DB 68B .B
#% !
"
0 MZ -B
68B .B
%x
donde Q% representa el mximo valor que toma la derivada cuarta de 0 B en el intervalo [! "].
Para calcular ( =/8B 68B .B utilizamos la frmula obtenida con 0 B =/8B.
"
0 ! ! 0 "$ ! $#("*%'*' 0 #$ ! '")$'*)!$
( =/8B 68B .B
"
0 a"b ! )%"%(!*)%
"
"" ! "* ! $#("*%'*' ! '")$'*)!$ ! )%"%(!*)% ! #$*)*")(&
$#
Por desarrollo en serie se obtiene ( =/8B 68B .B ! #$*)*""( & con & ! % "!(
"
Ejercicio '& Determinar el nmero de sumandos necesarios, en las frmulas compuestas de los trapecios y
Simpson, para calcular, con seis cifras decimales exactas, las siguientes integrales:
" M ( 68B .B
# M (
"
$ B
#
/
.B
B
Solucin: ".Utilizamos, en primer lugar, la frmula compuesta de los trapecios:

( 0 B.B
,
8"
2
0 + 0 , #"0 B3 &
#
3"
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
"
B#
| 0 w B |
"
B#
Clculo Numrico
Pgina 97

punto B " y dicho valor mximo es ".

El error es, por tanto &
"
es decreciente, sta alcanza su mximo en el
B#
, +$
"
"#8#
"#8#
VIRGINIO GOMEZ
Dado que, en el intervalo [" #], la funcin | 0 w w B |
Para calcular la integral con seis cifras decimales exactas ha de ser el error menor que "!' , por lo que
"
"!'
"#8#
8 #)*
Es decir:
Utilizando la frmula compuesta de los trapecios es necesario sumar, al menos, #)*
trminos para obtener seis cifras decimales exactas.
Veamos cuntos son necesarios si se utiliza ahora la frmula compuesta de Simpson:
( 0 B.B
"
siendo 2
,+
,
8
2
0 + 0 , %M #T &
$
con &
, +&
mx 0 MZ B
")!8%
B+,
B3 + 23 (3 " 8 "),
M la suma de los valores de la funcin en los puntos B3 con 3
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
"
B#
ww
0 w B
#
B$
'
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).
"
"!' tendr que ser 8 "%
$!8%
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#
0 "B
B$ $B# 'B ' B

/
B%
0 % B
B# #B # B
/
B$
B% %B$ "#B# #%B #% B

/
B&
En la expresin de la derivada segunda observamos que

por lo que:
mx 0 B /$ mx
ww
B#$
B#$
B# #B#
B$
es decreciente en el intervalo [# $] ,
#
B# #B #
/$
$ # ###
& "
B$
#$
%
y, por tanto, el error en la frmula compuesta de los trapecios es
&
Para obtener seis cifras decimales exactas es necesario que
/B
.
B
"
& "
"#8#
"
&
& " "!'
"#8#
8 '&#
Clculo Numrico
Pgina 98

Una acotacin ms sencilla, pero bastante peor, de | 0 ww B | es:
mxB#$ B# #B #
B# #B #
&
B$
)
mnB#$ B
VIRGINIO GOMEZ
Utilizando la frmula compuesta de los trapecios es necesario sumar, al menos, 652

trminos para obtener seis cifras decimales exactas.
|0 ww B|
Con esta acotacin se obtendra 8 "!%".
& $
/ "$
)
Para la frmula compuesta de Simpson debemos acotar |0 MZ B|. Al ser, ahora, ms complicado,
acotaremos utilizando la tcnica anterior, es decir, acotar superiormente el numerador e inferiormente el
denominador.
mx B% %B$ "#B# #%B #% $$
mn B& $#
|0 MZ B|
$$ $
#! (
/ #! ( &
$#
")!8%
Para obtener seis cifras decimales exactas, ha de ser

&
#! (
"!'
")!8%
8 #!
Utilizando la frmula compuesta de Simpson se ha reducido a 20 (desde los 652 de la frmula

compuesta de los trapecios) el nmero de trminos necesarios para obtener seis cifras decimales exactas.
Ejercicio '': Se considera la integral ( /B % B.B:

"
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:
? % B .? .B
" B
" B
B
B
'! / % B.B / % B '! / .B $/ % / %/ & & )($"#(
.@ /B .B @ /B
!
!
"
"
2.La frmula compuesta de Simpson es:

( 0 B.B
"
siendo 2
,+
,
8
2
0 + 0 , %M #T &
$
con &
, +&
mx 0 MZ B
")!8%
B+,
B3 + 23 (3 " 8 "),
M la suma de los valores de la funcin en los puntos B3 con 3
impar y T la suma de los valores de la funcin en los puntos B3 con 3 par.
Para determinar el mnimo nmero de sumandos necesarios para que el error sea menor que "!7
debemos acotar la derivada cuarta de la funcin en valor absoluto.
w
0 w B /B $ B 0 w w B /B # B 0 w w B /B " B
0 MZ B B/ B 0 MZ B / B B
se puede comprobar fcilmente que el valor mximo que toma es / en el punto B ".
Tenemos entonces que el error es
&
, +&
"
mx 0 MZ B
/
")!8%
")!8%
B+,
Clculo Numrico
Pgina 99

7
"!7 /
% "! /
, es decir, 8
.
")!
")!
Dando valores a 7, y teniendo en cuenta que 8 ha de ser par, obtenemos:

7 # 8 " "!)& 8 #
7 $ 8 " *("$ 8 #
7 % 8 $ &!&& 8 %
7 & 8 ' #$$) 8 )
7 ' 8 "" !)& 8 "#
VIRGINIO GOMEZ
Para que el error sea menor que "!7 se debe cumplir que 8%
3.Para garantizar cuatro cifras decimales exactas (ver el apartado anterior) ha de ser 8 %. Entonces
2
,+
"
! #& y el soporte es {!; ! #&; ! &; ! (&; " }.
8
%
La frmula se convierte en:
! #&
0 ! 0 " %a0 ! #& 0 ! (&b #0 ! &
$
( 0 B.B
"
B
( / % B.B
"
y, por tanto,
! #&
% ) "&%)%&% % a% )"&!*&$ ' ))!#&!!b # & ((!&#%%
$
por lo que ( /B % B.B & )($" , con las cuatro cifras decimales exactas.
"
Ejercicio '( Probar que la frmula compuesta de los trapecios para el intervalo [! #1]:
(
#1
0 B .B
!
funciones:
2
0 ! #0 2 #0 #2 #0 8 "2 0 #1 &,
#
donde
" =/8B -9=B =/8#B -9=#B =/88 "B -9=8 "B
Solucin: Observemos, en primer lugar, que:

M5 (
N5 (
#1
para 5 ! "
=/8 5B .B !
La frmula compuesta de los trapecios es (
#1
-9= 5B .B
#1
0 B .B X8 &
! para 5 " #
#1 para 5 !
2
0 ! #0 2 #0 #2 #0 8 "2 0 #1
#
Pero al ser 0 #1 0 !, podemos escribir:

X8
integra, exactamente, las
donde:
X8
#1
8
8"
2
#1 8" #1
"0 4
#0 ! #0 2 #0 8 "2 2 "0 42
#
8 4! 8
4!
Puesto que 0 B va a ser =/B -9=B estudiemos la sumatoria para 0 B /35B , es decir,
" /35
8"
#1 4
8
4!
" /3
8"
#1 4 5
8 .
4!
#1 5
Al tratarse de una suma geomtrica de razn < /3 8 . Dado que
<"
-9= #18 5 "

=/8 #18 5 !
por lo que si ! 5 8 se tiene
#1 5
! #1 %1 5 ! 8 #8
8
#1 4
/3 8 "
""
" /35 8
#1 5
!
#1 5
3
3
4!
/ 8 "
/ 8 "
8"
#185
Clculo Numrico
Pgina 100
Adems, 5 ! " /35

8"
#1 4
8
4!
Por tanto:
X8 /358
#18
#1 .
8
VIRGINIO GOMEZ
X8 a=/8Bb M71X8 /358 ! para 5 ! " #
X8 a-9=Bb V/X8 /358
! para 5 " # 8 "

#1 para 5 !
que coinciden con los valores de las integrales.
Actividad Personal

" Integre la siguiente funcin en forma analtica y numrica por medio de la regla trapezoidal Use 2
conveniente.
#B
( "& .B.
"
# Tomando 2 considerablemente pequeo determine el valor de la integral

!"
#!B"
.B
( B " # B" /
"
El valor real es ! '!##*(
$ Evale la integral de los siguientes datos tabulados con la regla Trapezoidal.

B
0 B
!
"
! "
(
! #
%
! $
$
! %
&
! &
#
% Por regla de Simpson evale la integral de los siguientes datos tabulados

B
0 B
$
"
"
%
"
*
$
#
&
%
(
#
*
'
""
$
B
( / .B
"
& Para 2 ! " calcule el valor aproximado y el error de la integral:
Clculo Numrico
Pgina 101

VIRGINIO GOMEZ
Las ecuaciones diferenciales aparecen naturalmente al modelar situaciones fsicas en las ciencias
naturales, ingeniera, y otras disciplinas, donde hay envueltas razones de cambio de una o varias funciones
desconocidas con respecto a una o varias variables independientes.
Dichos modelos varan entre los ms sencillos que envuelven una sola ecuacin diferencial para una
funcin desconocida, hasta otros ms complejos que envuelven sistemas de ecuaciones diferenciales acopladas
para varias funciones desconocidas. Por ejemplo, la ley de enfriamiento de Newton, las leyes mecnicas que
rigen el movimiento de los cuerpos y las relaciones de equilibrio en sistemas contnuos, al ponerse en trminos
matemticos dan lugar a ecuaciones diferenciales.
Usualmente estas ecuaciones estan acompaadas de una condicin adicional que especifica el estado del
sistema en un tiempo o posicin inicial. Esto se conoce como la condicin inicial y junto con la ecuacin
diferencial forman lo que se conoce como el problema de valor inicial (p.v.i.).
Por lo general, la solucin exacta de un problema de valor inicial es imposible o difcil de obtener en
forma analtica (resolviendo la ecuacin algebraicamente). Por tal razn los mtodos numricos se utilizan para
aproximar dichas soluciones.
Esquemticamente, trabajaremos de la siguiente forma
(" Ecuaciones Diferenciales Ordinarias (E.D.O.)
Dada una ecuacin diferencial ordinaria de orden 8 y cualquier grado, cuya forma general es:
J \ ] ] w ] ww ] 8 !
(")
se establece en matemticas que en su solucin general deben aparecer 8 constantes arbitrarias. Entonces, puede
aceptarse que la solucin general de ((") es:
K ( \ , ] , G" , G # , , G 8 ) !
((#)
Grficamente esta ecuacin representa una familia de curvas planas, cada una de ellas obtenidas para
valores particulares de las 8 constantes, G" , G# , , G8 , como se ve en la Figura(":
Figura (" Familia de curvas soluciones de (1)
Clculo Numrico
Pgina 102

VIRGINIO GOMEZ
Cada una de estas curvas corresponde a una solucin particular de la ecuacin diferencial ((") y
analticamente puede obtenerse sujetando la solucin general ((#) a 8 condiciones independientes que permiten
valuar las constantes arbitrarias.
Dependiendo de como se establezcan estas condiciones, se distinguen dos tipos de problemas: los
llamados de Valores Iniciales y los de Valores en la Frontera.
Un problema de valores iniciales est gobernado por una ecuacin diferencial de orden 8 y un conjunto
de 8 condiciones independientes todas ellas, vlidas para el mismo punto inicial. Si la ecuacin ((") es la
ecuacin diferencial que define el problema, y \ + es el punto inicial, puede aceptarse que las 8 condiciones
independientes son:
8
] + ]! ] w + ]!w ] ww + ]!ww ] 8 + ]!
(($)
Se tratar de obtener una solucin particular de ((") que verifique (($) como en la Figura (#
Figura 7.2: Problema de valor inicial.
Por el contrario, en los problemas de valores en la frontera deben establecerse condiciones de frontera
en todos y cada uno de los puntos que constituyen la frontera del dominio de soluciones del problema. En
particular en el espacio de una dimensin, hay dos puntos frontera, por ejemplo, \ + y \ , , si el dominio
de soluciones es el intervalo cerrado + B , por esto mismo el orden mnimo de la ecuacin diferencial de un
problema de valores en la frontera ser dos como podemos observar en la Figura ($:
Figura ($ Problema de valores en la frontera.
Bsicamente la solucin numrica de ecuaciones diferenciales consiste en sustituir el dominio continuo

de soluciones por uno discreto formado por puntos aislados igualmente espaciados entre s.
As, en un problema de valores iniciales, el dominio de definicin de soluciones B + se sustituye por
el conjunto infinito numerable de puntos,
B! +, B" B! 2, B# B! #2 , B$ B! $2 ,
y en el caso de valores en la frontera se sustituye el intervalo + B , por el conjunto finito de puntos

B! +, B" B! 2, B# B! #2 , , B8 B! 82 ,
obtenidos, al dividir el intervalo en 8 partes iguales.
Figura (% Valores iniciales (4a) y Valores en la frontera (4b)
Clculo Numrico
Pgina 103

VIRGINIO GOMEZ
Habindose discretizado el problema continuo, se tratar de obtener la solucin para los puntos
considerados, y esto se har, en general, sustituyendo las derivadas que aparezcan en la ecuacin diferencial con
condiciones iniciales o en la frontera, por frmulas numricas de derivacin que proporcionen aproximaciones a
las derivadas o tratando de integrar la ecuacin diferencial y reemplazando al proceso de integracin por una
frmula numrica que se aproxime a la integral.
Una vez hecho esto, la ecuacin obtenida expresada en diferencias finitas (ya que se han sustituido
diferenciales por incrementos finitos) se aplica repetidamente en todos los puntos pivotes donde se desconoce la
solucin para llegar a una solucin aproximada del problema.
(1.1 Existencia y Unicidad
Consideremos de ahora en adelante el problema de valor inicial (p.v.i.)

Cw B 0 B CB
CB! C!
B B! \
(%
donde C B! \ ser nuestra funcin a encontrar (y que sea derivable), 0 B! \ una

funcin dada en el problema e C! 8 conocido (nuestra condicin inicial).
Teorema (" Consideremos un dominio W # tal que al considerar dos puntos B C" B C# de l, el
segmento vertical formado por ellos pertenece a W; y, adems, sean (B C un punto interior y0 una funcin
continua en este dominio.Si 0 satisface la condicin de Lipschitz dbil)
0 B C" 0 B C# 5 C" C#
, a B C" , B C# W
para algn 5 !, entonces para un intervalo adecuado M B ! B ! existe una nica solucin del
p.v.i. (% definida en M
En adelante si la funcin `0
`C existe y es acotada en W, entonces la condicin dbil de Lipschitz se
satisface
y
por
consiguiente
la
existencia
y
unicidad
de
la
solucin
`0
en realidad basta tomar 5 mx `B B C
B CW
De esta manera, al dividir el intervalo B! \ introduciendo puntos equiespaciados B3 3 ! R y que

proporcionan valores aproximados C3 3 ! R lo que recibe el nombre de discretizacin), los llamados
mtodos numricos por paso nos dan una solucin aproximada de los valores exactos CB3 3 ! R .
Al pasar de un valor aproximado C3 al siguiente C3" recibe el nombre de paso de integracin, donde C3
e C3" aproximan a CB3 e CB3+1 , respectivamente.
Figura 7.5: Paso de integracin.
A continuacin daremos algunos mtodos sencillos por paso (catalogados en general como de paso
separado).
(2 Mtodo de Taylor
Es el mtodo ms sencillo y fcil de implementar (dentro de los de paso separado), el cual se basa en el
desarrollo en series de Taylor. Se requiere que la solucin CB sea 8 " veces continuamente diferenciable en
[B! \ y se consideran los puntos B3" B3 2 , para 3 ! 82 " 82 es tal que B82 \ B82"
Clculo Numrico
Pgina 104
Mtodo de Taylor de orden 8

C3" C3 203
donde 03 0 B3 C3
.C
.B B3 C3
" # w
" 8 8"
2 03
2 03
#x
8x
03w 0 w B3 C3
VIRGINIO GOMEZ
(&
.0
`0
`0 .C
`0
`0
.2C
.B
`B
`C .B
`B
`C
.B2 B3 C3
Ejemplo (" Resolvamos por Taylor el p.v.i. siguiente:
Cw "# " BC #
C! "
identificamos inmediatamente B! ! e C! CB! "
, etc.
B ! "#
Apliquemos Taylor de segundo orden con 2 ! " y 2 ! !& ejercicio) para comparar los
resultados.
Aqu 0 B C "# " BC # y 03 0 B3 C3 "# " B3 C3# ; luego
0 w B C C C w
C#
C#
C
"
C
C#
C" B # "
B C C w C C w " B
C " BC w C " B " BC #
#
#
#
#
#
#
03w 0 w B3 C3
C3 #
C 3 " B3 # "
#
De esta forma, aplicando ((& obtenemos:

C3" C3 203
3 ! %
" # w
"
"
C#
2
2
2 03 C3 2 " B3 C3# 2 # 3 C 3 " B3 # " C3 C3# " B3 C3" B3# "
#x
#
#x
#
#
#
cuando 2 ! "
3 ! "!
cuando 2 ! !&
Construyamos una tabla para mostrar los resultados obtenidos para las aproximaciones C3 y
comparmoslas con los valores exactos de la solucin exacta (calculados)
CB
"
B B#
"
#
%
Para 3 ! C" C! ! !&C!# " B! ! !&C! " B! # "

" ! !&"# " ! ! !&"" !# "
" ! !&" ! !&# " ! !&" " " !&&
, anlogamente para los restantes
3
!
"
#
$
%
&
B3
!
! "
! #
! $
! %
! &
C3 ! "
"
" !&&
" "##&&"!"('&*$(
" #0640094640193
1,31205891970444
1,44793523610473
C3 ! !&
"
CB3 (valor exacto)

"
%!!
$(* ",!&&%!)*(!*('#&
"!!
)* " "#$&*&&!&'"(*)
%!!
$$" " #!)%&*#"%&!"&"
#&
"* " $"&()*%($')%#"
"'
"" " %&
Como podemos ver los clculos son simples pero muy tediosos, y eso que se trata de slo un orden dos.
Para evitar estos inconvenientes veremos mtodos que requieren slo de evaluaciones de la funcin 0 .
(3 Mtodos de Runge-Kutta
En estos mtodos ya no es necesario conocer los valores de C3 para conocer la aproximacin C3" de
CB3 , sino slo del valor de B3 .
Clculo Numrico
Pgina 105

VIRGINIO GOMEZ
La ventaja de los mtodos de Runge-Kutta con respecto al uso de la serie de Taylor es que requieren
slo de la funcin 0 B C y de ninguna derivada. Esto hace que, en la prctica, la aplicacin de los mtodos de
Runge-Kutta sean ms simples que el uso de la serie de Taylor.
Todas las variaciones se pueden denotar en la forma generalizada de la ecuacin C3" C3 92
como C3" C3 9B3 C3 22 , donde 9B3 C3 22 es conocida como funcin incremento, la cual puede
interpretarse como una pendiente representativa sobre el intervalo. La funcin incremento se escribe por lo
general como
9 +" 5 " + # 5 # + 8 5 8
donde los +3 3 " 8 son constantes y los 53 3 " 8 son

5" 0 B3 C3
5# 0 B3 :" 2 C3 ;"" 5" 2
5$ 0 B3 :# 2 C3 ;#" 5" 2 ;## 5# 2

58 0 B3 :8" 2 C3 ;8"" 5" 2 ;8"8" 58" 2
Observe que los 53 3 " 8 son relaciones de recurrencia. Esto es, 5" aparece en la ecuacin para 5# , la
cual aparece en la ecuacin para 5$ , etc. Como cada 53 3 " 8 es una evaluacin funcional, esta recurrencia
hace que los mtodos Runge-Kutta sean eficientes para clculos en computador.
Es posible concebir varios tipos de mtodos Runge-Kutta al emplear diferentes nmeros de trminos en
la funcin incremento como la especificada por 8. El mtodo Runge-Kutta (RK) de primer orden con 8 " es el
llamado mtodo de Euler.
(3" Mtodo de Euler
Consideremos el p.v.i. (% e integremos la ecuacin diferencial en

B3 B B3" B3 2 y evaluemos la integral aplicando la frmula de integracin numrica:
(
B3"
B3
Cw B.B (
B3"
0 B CB.B
B3
el
intervalo
obtenindo la expresin aproximada siguiente, que llamaremos Mtodo de Euler

Algoritmo
C3" C3 203
3 ! " #
('
Figura (' Interpretacin geomtrica del Mtodo de Euler, donde /3" es el error de truncamiento local.
Ejemplo (# Resolvamos el ejemplo anterior por este mtodo

Consideremos 2 ! " y 0 B3 C3 "# " B3 C3# para obtener
C3" C3 20 B3 C3 C3 ! " "# " B3 C3# C3 ! !&" B3 C3# C3 " ! !&" B3C3
Lo que al tabular nos da las soluciones aproximadas
Clculo Numrico
Pgina 106

B3
!
! "
! #
! $
! %
! &
C3 ! "
"
" !&
" ""!'$(&
" ")%'%)%$*$)%$)
1,#(&)')*"%&!&#"
1,$)*)"()")&*&#'
CB3 valor exacto)

"
%!!
,
"
!&&%!)*(!*('#&
$(*
"!!
)* " "#$&*&&!&'"(*)
%!!
$$" " #!)%&*#"%&!"&"
#&
"* " $"&()*%($')%#"
"'
"" " %&
VIRGINIO GOMEZ
3
!
"
#
$
%
&
Clculo Numrico
Pgina 107
(3"" Anlisis de Error para el Mtodo de Euler

La solucin numrica de las E.D.O. involucra dos tipos de error:
VIRGINIO GOMEZ
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
!,!!!%!)*("
!,!!"!%%%))
!,!!#!&)#')
!,!!$($!&&%
!,!!''"!#")
Qu puede concluir hasta este momento? Comente.
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 ((
Figura (( Representacin grfica del Mtodo de Euler Mejorado
Algoritmo de Euler Mejorado
C3" C3 20 B3
2
2
C3 03
#
#
((
En cambio, Euler-Cauchy en vez de irse por la tangente que pasa por el punto B3 para determinar la
solucin en el siguiente punto pivote, se utiliza una secante con pendiente igual al promedio de pendientes de la
curva integral en los puntos coordenados (B3 C3 B3" C3" en donde B3" e C3" pueden estimarse con el
procedimiento normal de Euler
Clculo Numrico
Pgina 108

Figura () Representacin grfica del Mtode de Euler-Cauchy o de Heun
C3" C3
2
a0 B3 C3 0 aB3 2 C3 203 bb
#
VIRGINIO GOMEZ
Algoritmo de Euler-Cauchy o de Heun
()
Ejemplo (% Apliquemos Euler mejorado y Euler-Cauchy al ejemplo anterior 2 ! "

Por ((() y del hecho que 03 0 B3 C3
"
" B3 C3# , entonces
#
C3" C3 20 B3
2
2"
C3
" B3 C3#
#
##
#
"
2
2
C3 2 " B3 C3 " C3 C3#
#
#
%
C3
2
2
2
#
" B3 C3 " C3 C3
#
#
%
Anlogamente, de ()
2 "
"
2
#
#
" B3 C3 " B3 2C3 " B3 C3
# #
#
#
#
C3" C3
C3" C3 ! !#&" B3 C3# " B3 ! "aC3 ! !&" B3 C3# b

#
C3 ! !#&" B3 C3# " B3 ! "C3# a" ! !&" B3 C3 b#

C3 ! !#&C3# " B3 " B3 ! "a" ! !&" B3 C3 b#
C3 " ! !#&C3 " B3 " B3 ! "a" ! !&" B3 C3 b#
Lo que al tabular nos da (Euler Mejorado EM; Euler-Cauchy E-C)

3
!
"
#
$
%
&
B3
!
! "
! #
! $
! %
! &
EM
C3 ! "
"
" !&())"$
1,1#*%#&#
1,#"*!#&&
1,$$$$&('
1,%)$!)"'
E-C
C3 ! "
1,055318)
1,1233474
1,207931'
1,31475&!
1,452557&
(3$ Runge-Kutta de orden mayor a dos
Valor exacto
CB3
"
",!&&%!*!
" "#$&*&&
" #!)%&*#
" $"&()*&
" %&
Error EM
I3 ! "
!
0,002472$
0,0058297
0,0105663
0,017568"
0,0285361
Error E-C
I3 ! "
0
! !!!*!##
! !!!#%)"
! !!!&#('
! !!"!$%'
! !!"*))!
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
Una versin comn que resulta es

C3" C3 "' 5" %5# 5$ 2
donde
5" 0 B3 C3
"
"
5# 0 B3 2 C3 5" 2
#
#
5$ 0 B3 2 C3 5" 2 #5# 2
VIRGINIO GOMEZ
(*
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
2
"
C3 5" 2
#
#
5$ 0 B3
2
"
C3 5# 2
#
#
5% 0 B3 2 C3 25$
("!
El mtodo RK de cuarto orden tiene similitud con el procedimiento de Heun en cuanto a que las
estimaciones mltiples de la pendiente son desarrolladas para alcanzar una pendiente promedio mejorada para el
intervalo. Cada una de las 53 3 " % representa una pendiente. La ecuacin ("! entonces representa un
promedio ponderado de stas para llegar a la pendiente mejorada como muestra la figura siguiente
Figura (* Las pendientes 53 corresponden a los valores de 0 B C en los puntos T3 3 " %
Ejemplo (& Apliquemos RK de orden cuatro al mismo ejemplo que hemos venido desarrollando
Solucin: Desarrollo por mesa en sala de clases!
(3$$ Mtodos de Runge-Kutta de orden superior
Donde se requiere resultados ms exactos, es recomendable el mtodo de Butcher ("*'%) y el mtodo

RK de quinto orden donde sus frmulas estn disponibles; pero en general, la ganancia en exactitud para
mtodos mayores de cuarto orden est afectada por el esfuerzo computacional y complejidad adicional. Estos
mtodos no los veremos, pero si pueden ser consultados en la bibliografa.
Clculo Numrico
Pgina 110
(4 Ejercicios
VIRGINIO GOMEZ
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
51
por el mtodo de Taylor el problema del paracaidista, considerando g * ) 7
=# , 7 (& 51. y <+ "# % = Use
2 ! "
Solucin: Para los datos en particular, el p.v.i. queda de la forma
@w * )
@! !
"# %)
@
(&
@w * ) ! "''%@
@! !
Luego, aplicando (& nos queda
03w
@3"
@3"
03 0 >3 @3 * ) ! "''%@3
! "''%@3w
! "''%* ) ! "''%@3
2#
@3 2* ) ! "''% @3 ! "''%* ) ! "''%@3
#
2
@3 2* ) ! "''% @3 " ! "''%
#
Para 3 !
@" @! ! "* ) ! "''% @! " ! !& ! "''% ! " * ) ! **"') ! *(")%'%
Para 3 "
@# @" ! " ! **"')* ) ! "''% @" ! *(")%'% ! !**"')* ) ! "''% ! *(")%'% " *#('&&)
Para 3 #
@$ @# ! !**"')* ) ! "''% @# " *#('&&) ! !**"')* ) ! "''% " *#('&&) # )'('*#*
Resumiendo en una tabla:

3
!
"
#
$
%
&
(!
>3
!
! "
! #
! $
! %
! &
(
@3
!
! *(")%'%
" *#('&&)
# )'('*#*
@>3
!
! *(")*"%
! *#((%%%
# )'()#$'
I3 ! "
!
%! &#!""""
Ejercicio (# Aplique el mtodo de Taylor al p.v.i

Cw BC#
C# "
# B $ , usando 2 ! " y 2 ! !&
Solucin: Las siguientes tablas muestran las aproximaciones para los distintos 2w s
2 ! "
3
!
"
#
$
%
&
'
(
)
*
"!
B3
# !
# "
# #
# $
# %
# &
# '
# (
# )
# *
$ !
C3 ! "
" !!!!
! )$&!
! ("!)
! '"%&
! &$)!
! %('"
! %#&!
! $)#$
! $%'#
! $"&$
! #))'
I3 ! "
! !!!!
! !!&"
! !!'&
! !!''
! !!'"
! !!&&
! !!%*
! !!%$
! !!$(
! !!$$
! !!#*
CB3
" !!!!
! )#**
! (!%#
! '!(*
! &$"*
! %(!'
! %#!#
! $()"
! $%#&
! $"#!
! #)&(
Clculo Numrico
Pgina 111
2 ! !&
3
!
"
#
$
%
&
'
(
)
*
"!
B3
# !
# "
# #
# $
# %
# &
# '
# (
# )
# *
$ !
C3 ! !&
" !!!!
! )$"!
! (!&'
! '!*$
! &$$#
! %(")
! %#"#
! $(*!
! $%$$
! $"#(
! #)'#
I3 ! !&
! !!!!
! !!""
! !!"%
! !!"%
! !!"$
! !!"#
! !!"!
! !!!*
! !!!)
! !!!(
! !!!'
VIRGINIO GOMEZ
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:
C3" C3 ! #C3 >#3 " " #C3 ! #>3# ! #
tabla
3
!
"
#
$
%
&
'
(
)
*
"!
Ejercicio (% Dado el p.v.i. :
>3
!
! #
! %
! '
! )
" !
" #
" %
" '
" )
# !
C3 ! #
! &
! )
" "&#
" &&!%
" *))%)
# %&)"('
# *%*)""#
$ %&"(($%%
$ *&!"#)"#)
% %#)"&$(&$'
% )'&()%&!%$
C w >/$> #C
C! !
!>"
, lo que nos da la siguiente
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# ! &! &/
#! " "#!%###'(&
luego, tabulando obtenemos

3
!
"
#
>3
!
! &
" !
C3 ! &
!
!
" "#!%###'(&
Clculo Numrico
Pgina 112

C> "& >/$>
" $>
#& /
" #>
#& /
Para 3 ! C>! "& >! /$>!
" $>!
#& /
" #>!
#& /
Para 3 " C>" "& >" /$>"
" $>"
#& /
" #>"
#& /
"& ! &/$!&
Para 3 # C>#
"
$>#
& ># /
" $>#
#& /
"
$!
& " !/
" $!&
#& /
" #!&
#& /
! #)$'"'&#")'(
" #>#
#& /
" $!
#& /
" #!
#& /
VIRGINIO GOMEZ
b) A continuacin se da la solucin real al problema del valor inicial de este ejercicio:
$ #"*!**$"*!%
Tabulando ambos resultados y calculando el error global nos queda:

3
"
#
>3
! &
" !
Ejercicio (& Para el p.v.i.
C3 ! &
!
" "#!%###'(&)
C>3
! #)$'"'&#")'
$ #"*!**$"*!%
Cw " > C#
C# "
#>$
I3 ! "
! #)$'"'&#")'
# !*)'((!&"%'
2 ! &
a) Aplique el mtodo de Euler para aproximar las soluciones.

b) Compare la solucin real con la solucin por el mtodo de Euler.
Solucin:
a) Sabemos que la ecuacin del mtodo de Euler es:
C3" C3 ! &a" >3 C3 # b
Para 3 ! C" #
Para 3 " C# # '#&
Resumen:
3
!
"
#
>3
#
# &
$ !
C3
!
#
# '#&
b) A continuacin se da la solucin real al p.v.i. :

C> >
"
"
C>3 >3
">
" >3
Tabulando los resultados tenemos:

3
!
"
#
>3
#
# &
$ !
C3 ! &
!
#
# '#&
C>3
"
" )$$
# &
I3 ! "
"
! "'(
! "#&
Ejercicio (' Usando 2 ! #& aplique el mtodo de Euler mejorado y Euler-Cauchy para aproximar la
solucin del siguiente p.v.i.:
Cw "
C" #
Resumen:
0
1
2
3
4
1
1 25
1 50
1 75
2
2
2 75
3 55
4 3916667
5 2690476
C
>
">#
Clculo Numrico
Pgina 113

Compare la solucin real con la solucin por el mtodo de Euler:

Comparacin:
i
>3
1
2
3
4
1 25
1 50
1 75
2 00
C3
2 75
3 55
4 3916667
5 2690476
C>3
I>3
2 7789294
3 6081977
4 4793276
5 3862944
0 0289294
0 0581977
0 0876609
0 1172468
VIRGINIO GOMEZ
La solucin real al problema del valor inicial de este ejercicio: C> >68> #>
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# "
B # $
Solucin:
Euler Mejorado: De acuerdo a (( la expresin a utilizar en el mtodo de Euler mejorado corresponde a:

C3" C3 2B3
2
2
# #
C3 # B3 23 , donde B! # e C! "
#
Luego, resumiendo en una tabla para 2 ! " y 2 ! !& obtenemos

2 ! "
3
!
"
#
$
%
&
'
(
)
*
"!
B3
# !
# "
# #
# $
# %
# &
# '
# (
# )
# *
$ !
C3 ! "
" !!!!
! )$$*&!
! (!*%'%
! '"$"**
! &$')&*
! %(&!&"
! %#%"$'
! $)"&('
! $%&&&&
! $"%($(
! #))"#"
I3 ! "
! !!!!
! !!%!(%
! !!&#$)
! !!&#*'
! !!%*%%
! !!%%'$
! !!$*'(
! !!$&!&
! !!$!)*
! !!#(#%
! !!#%!'
2 ! !&
3
!
"
#
$
%
&
'
(
)
*
"!
Euler-Cauchy o Heun: TAREA!
B3
# !
# "
# #
# $
# %
# &
# '
# (
# )
# *
$ !
C3 ! !&
" !!!!
! )$!(&)
! (!&$'"
! '!*!&$
! &$#**#
! %("&'$
! %#"!$(
! $())%"
! $%$"%&
! $"#'"$
! #)'#%'
CB3
" !!!!
! )#*)('
! (!%##&
! '!(*!$
! &$"*"&
! %(!&))
! %#!"')
! $()!(#
! $%#%''
! $"#!"#
! #)&("%
I3 ! !&
! !!!!
! !!!))$
! !!""$'
! !!""&"
! !!"!((
! !!!*(%
! !!!)'*
! !!!('*
! !!!')!
! !!!'!!
! !!!&$#
Clculo Numrico
Pgina 114

C w -9=#> =/8$>
C! "
! > " (> en radianes) Considerando
2 ! #& obtenga la solucin aproximada del p.v.i usando:

a) Taylor
b) Euler
c) Euler mejorado
d) Euler-Cauchy
Solucin:
a) Tarea!
b)
La tabla siguiente resume el problema al aplicar Euler

3
!
"
#
$
%
>3
!
! #&
! &!
! (&
" !!
C3 ! #&
"
" #&
" '$*)!&$
# !#%#&%'
# #$'%&(#
C>3
"
" $#*"%*)
" ($!%)*)
# !%"%("*
# ""(*(*&
I3 ! #&
!
! !(*"%*)
! !*!')%&
! !"(#"($
! "")%(((
c) y d) Tarea!
VIRGINIO GOMEZ
Ejercicio () Sea el p.v.i siguiente:
Ejercicio (* Implemente en algn lenguaje computacional el mtodo de Euler y aplquelo al p.v.i.:

&C
C
>"
C! " ! > % usando 2 ! # y considerando que la solucin
Cw
exacta es C> > "& />
Solucin: La implementacin en MATLAB del mtodo de Euler es relativamente simple. Hacemos esto
mediante una subrutina llamada feuler que recibe en la secuencia de llamada el nombre de la subrutina que
calcula la funcin 0 , y los datos >! e C! . Esta subrutina devuelve dos vectores con las >w = y las C w = aproximadas.
Veamos:
function [tvals,yvals]=feuler(0 ,>! ,C! )
tvals zeros(",3 ");
yvals zeros(",3 ");
index [0:1:3];
tvals >! 2index;
yvals(") C! ;
for 5 # 3 "
yvals(3) yvals(5 ") 2feval(0 ,tvals(5 "),yvals(5 "));
end
Usamos ahora esta subrutina en el p.v.i. propuesto y observamos que las aproximaciones numricas no
coinciden con la solucin exacta y que el error aumenta segn aumenta la >. Esto es lo usual y no contradice el
estimado del error. Para controlar el error lo primero que se hace es disminuir la 2. Para este ejercicio mostramos
los resultados de disminuir 2 sucesivamente para la aproximacin de C% &( #$'% a las cifras mostradas.
Obtuvimos lo siguiente:
3
#!
%!
)!
"'!
$#!
'%!
"#)!
#&'!
C3
%# %(#$
%) $%%&
&# #)%#
&% '"!)
&& ))#(
&' &%))
&' ))**
&( !'#%
I3 ! #
"% ('%!
) )*")'
% *&#"&
# '#&&'
" $&$'&
! ')(&#(
! $%'&!$
! "($*%&
Clculo Numrico
Pgina 115

VIRGINIO GOMEZ
Vemos aqu que definitivamente la aproximacin mejora segn disminuye 2 pero la convergencia es
bastante lenta. De hecho la aproximacin numrica tiene apenas un error relativo de $ "!$ para 3 #&'!, es
decir, 2 % "!%
Obserbacin:
Este ejercicio muestra que aunque el mtodo de Euler es convergente segn 2 tiende a cero, la
convergencia del mtodo puede ser muy lenta, requiriendo un 2 excesivamente pequeo para un error
satisfactorio en las aproximaciones. Al usar un 2 excesivamente pequeo en los clculos podemos tener
acumulacin de errores debido a la aritmtica finita.
Ejercicio ("! Considere el p.v.i.
C w &!C
C" !
" > "!
cuya solucin exacta es C> !. Resuelva el p.v.i:
a) usando algn mtodo que d una buena aproximacin (use 2 ! !&

b) con la condicin inicial cambiada a C" "!% , usando 2 ! !& con el mismo mtodo
Solucin: La resolucin queda de TAREA.
Ejercicio ("" Utilice Runge-Kutta de cuarto orden para resolver el p.v.i.
Cw BC #
C# "
# B $ usando 2 ! " y 2 ! !&
Solucin: De ("! las expresiones seran:

5" B3 C3#
5# B3
2
2
C3 5"
#
#
#
2
2
5$ B3 C3 5#
#
#
5% B3 2C3 25$ #
#
Como B! # e C! " obtenemos los resultados siguientes
2 ! "
3
!
"
#
$
%
&
'
(
)
*
"!
B3
# !
# "
# #
# $
# %
# &
# '
# (
# )
# *
$ !
C3 ! "
" !!!!00
! )#*))&
! (!%#$(
! '!(*"%
! &$"*#%
! %(!&*'
! %#!"(&
! $()!()
! $%#%("
! $"#!"(
! #)&(")
I3 ! "
! !!!!!!
! !!!!"!
! !!!!""
! !!!!""
! !!!!!*
! !!!!!)
! !!!!!(
! !!!!!'
! !!!!!&
! !!!!!%
! !!!!!%
2 ! !&
3
!
"
#
$
%
&
'
(
)
*
"!
B3
# !
# "
# #
# $
# %
# &
# '
# (
# )
# *
$ !
C3 ! !&
" !!!!!!
! )#*)('
! (!%##'
! '!(*!$
! &$"*"&
! %(!&))
! %#!"')
! $((!(#
! $%#%''
! $"#!"$
! #)&("%
I3 ! !&
! !!!!!!
! !!!!!"
! !!!!!"
! !!!!!!
! !!!!!!
! !!!!!!
! !!!!!!
! !!!!!!
! !!!!!!
! !!!!!!
! !!!!!!
CB3
" !!!!
! )#*)('
! (!%##&
! '!(*!$
! &$"*"&
! %(!&))
! %#!"')
! $()!(#
! $%#%''
! $"#!"#
! #)&("%
que us en a).
Clculo Numrico
Pgina 116

VIRGINIO GOMEZ
Ejercicio ("2 La ecuacin diferencial que modela el proceso de desintegracin de un material radioactvo esta
dada por:
Bw 5B
B! B!
, donde 5 es una constante
caracterstica del istopo radiactivo. Para B! &! y 5 ! !& resuelva este p.v.i. en el intervalo [! "!] con
2 ! " y 2 ! !"
a) por Euler mejorado
b) por Runge-Kutta
c) compare sus resultados con la solucin exacta que es B> &!/!!&> .
Solucin: Queda de TAREA!
Ejercicio ("$ El comportamiento de un circuito elctrico cambia significativamente dependiendo de los

valores de los componentes empleados; as, en el circuito que se muestra a continuacin , la inductancia
P &!7L , una resistencia V #!ohms y una fuente de voltaje de I "!Z . Entonces, si se cierra el
interruptor en un > ! la corriente M> satisface la ecuacin diferencial
.M>
VM> I
.>
M! !
Se necesita encontrar el valor de la corriente para ! > ! !# (en segundos) . mediante el mtodo de
RK4 con 2 ! !!!".
Solucin: Queda de TAREA!
Indicacin: Implemente un programa que resuelva este problema y considere el hecho de que el p.v.i. puede ser
escrito de la forma:
.M
V
I
donde 0 > M M
0 > M
.>
P
P
Ejercicio ("% Determine por RK% las aproximaciones para la funcin CB que sea solucin del p.v.i.
siguiente:
Cw #BC
C" " Determine C" &, usando 2 ! " y comprelo con la
solucin real aproximada CB& $ %*!$%#
Solucin: La tabla siguiente resume los clculos
3
!
"
#
$
%
&
B3
" !
" "
" #
" $
" %
" &
5"
! #
! #("%"
! $(#'&
! &")$'
! ($"#'
" !%(!'
5#
! #$"
! $"%*'
! %$%(&
! '!)#(
! )'$%"
" #%%#'
5$
! #$%#'
! $"**(
! %%#&#
! '#!%"
! ))#&(
" #(%)$
5%
! #("&%
! $(#)(
! &")('
! ($"*&
" !%)#'
" &#%)"
C3
" !!!!!
" #$$'(
" &&#(!
" **$'*
# '""'$
$ %*!#"
CB3
" !!!!!
" #$$')
" &&#("
" **$(#
# '""'$
$ %*!$%
I3 ! "
!
! !!!!"
! !!!!"
! !!!!$
! !!!!!
! !!!"$
Clculo Numrico
Pgina 117
Ejercicio ("& Sea el p.v.i.:
C w %/!)B ! &C
C! #
B !; ! &
Para 2 ! & resuelva el problema

a) por Heun
b) por medio de RK4
c) Grafique los errores grobales respectivos versus los respectivos Bw =
Solucin: TAREA!
Actividad Personal
VIRGINIO GOMEZ

" Resuelva el p.v.i. por Taylor 2 ! &
Cw CB# " #C
C! "
B !; #
# Por Euler resuelva 2 ! "
C w " BC
C! "
B !; "
$ Determine la solucin del p.v.i , por Euler Mejorado 2 ! "

Cw C=/8# >
C! "
B !; $
% Use Euler-Cauchy para determinar la solucin del p.v.i. 2 ! &

C
"B
C! #
Cw
B " & # &
& Para el p.v.i. siguiente resuelvalo por RK% 2 ! "

C w B# C
C " "
B "; "
Clculo Numrico
Pgina 118

Calculo Numerico

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Calculo Numerico

Cargado por

Copyright:

Formatos disponibles

CLCULO NUMRICO

I nstituto P rofesional D r. V irginio G mez

Departamento de Ciencias Bsicas

I Unidad N " "Teora de errores. Normas vectoriales y matriciales"

"# Cifras significativas

"Sistema de ecuaciones lineales"

2.1. Nmero de condicin

2.2. Mtodos por factorizacin PY

2.3. Mtodos iterados

"Resolucin de ecuaciones no lineales"

3.1. Acotacin y separacin de races

I nstituto P rofesional D r. V irginio G mez

4.1. Mejor Aproximacin en espacios normados

Departamento de Ciencias Bsicas

4.3. Aproximacin discreta de mnimos cuadrados, caso no lineal

5.1. Interpolacin polinomial

5.2. Interpolacin por Spline

6.3. Frmulas Compuestas

VII.- Unidad N 7 "Solucin Numrica de Ecuaciones Diferenciales Ordinarias"

7.3.1. Mtodo de Euler

I nstituto P rofesional D r. V irginio G mez

Los mtodos de clculo se denominan "algoritmos". El algoritmo es una secuencia de operaciones

Superficie creada usando spline racional y su polinomio de Taylor

Modelo numrico de un huracn

I nstituto P rofesional D r. V irginio G mez

Vista especular de un cuanto usando datos procedentes

I nstituto P rofesional D r. V irginio G mez

"" Introduccin a la teora de errores

Departamento de Ciencias Bsicas

""" Errores experimentales y de modelacin

I nstituto P rofesional D r. V irginio G mez

""# Errores de tipo matemtico

Departamento de Ciencias Bsicas

En resumen, no discretizamos el clculo de la funcin /B mediante el polinomio " B

""$ Errores absolutos y relativos

por redondeo, cuya expresin es | &|

(: cifras decimales exactas)

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

I nstituto P rofesional D r. V irginio G mez

La suma (diferencia) exacta de los nmeros B e C es W B C , mientras que la aproximada es

( considerando despreciable &B &C )

B &C C &B & B & C

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

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

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

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

?VG &<- &<B &<C

I nstituto P rofesional D r. V irginio G mez

Departamento de Ciencias Bsicas

Observacin importante: Aunque no podamos calcular exactamente el valor de 0 w B, podemos

""% Grfica del error global

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

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

I nstituto P rofesional D r. V irginio G mez

""& Condicionamiento y estabilidad

"# Cifras significativas

I nstituto P rofesional D r. V irginio G mez

Departamento de Ciencias Bsicas

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

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

Ejercicio "# Sea el siguiente sistema de ecuaciones lineales

Solucin: Al resolver el sistema por reduccin:

&. &, &+ #&+

b) Aproximando (!# por el valor B! (! " % "*( , tenemos un error