Programa de Doctorado: Tecnologas Industriales y

de Comunicacin
Matemtica Numrica
Tema 1: Derivacin e integracin numricas
1 Introduccin
Los mtodos numricos sirven para obtener una solucin aproximada de un problema
matemtico mediante la implementacin de un algoritmo.
Por tanto, la solucin que obtenemos posee un margen de error que es conveniente
controlar.
Hay dos fuentes de error en un algoritmo numrico.
Una fuente de error es la propia representacin del nmero en el ordenador. Nor-
malmente los nmeros se representan en el ordenador en cdigo binario y en notacin
cientca. Como el nmero de bits que podemos utilizar es nito, esta representacin
implica necesariamente un redondeo. Adems, al realizar operaciones aritmticas se in-
troducen nuevos errores que se van propagando. A esta parte del error lo llamaremos
Error de Redondeo.
Notemos pues que a la hora de disear un algoritmo numrico es importante tener en
cuenta el nmero de operaciones necesarias para su implementacin, ya a mayor nmero,
mayor es el error de redondeo y mayor es el tiempo de clculo.
Si un algoritmo obtiene la solucin exacta de un problema en un nmero nito de
pasos decimos que el algoritmo es directo. En este caso la nica fuente de error es el de
redondeo.
Un algoritmo es un mtodo iterativo si consiste en una sucesin de pasos dependi-
entes de uno o varios parmetros y que proporciona aproximaciones de la solucin cada
vez mejores a medida que los parmeteros tienden a innito. Si las sucesivas soluciones
se acercan cada vez ms a la solucin real, entonces decimos que el mtodo es conver-
gente. En este caso el mtodo en s tiene un error proprio, al que llamaremos Error de
Truncamiento.
Es importante resaltar que en los mtodos iterativos no es slo importante estudiar
la convergencia del mtodo, sino tambin la velocidad a la que converge, ya que a mayor
velocidad, menos tiempo de clculo necesitaremos para la resolucin del problema.
Por tanto, si r

aproxima la solucin r, expresaremos el error r r

en la forma:
1::o: = r r

= 1
Red
+1
Trunc
.
1
El error absoluto [r r

[ lo estimaremos mediante la desigualdad

[r r

[ _ [1
Red
[ +[1
Trunc
[ .
2 Derivacin numrica
El problema de la derivacin numrica consiste en aproximar la funcin derivada ,
0
(r)
de una funcin , dado que conocemos las imgenes de la funcin en ciertos puntos.
Las frmulas de derivacin numricas son importantes en el desarrollo de algoritmos de
resolucin de ecuaciones diferenciales, como veremos en el siguiente tema.
Dado que, por denicin,
,
0
(r) = lim
h!0
,(r +/) ,(r)
/
= lim
h!0
,(r) ,(r /)
/
= lim
h!0
,(r +/) ,(r /)
2/
.
el mtodo ms sencillo para estimar numricamente derivadas parece evidente: tmese
/ lo sucientemente pequeo para que la diferencia entre el cociente incremental y su
lmite cuando / 0 sea menor que la precisin deseada. Este mtodo de derivacin
numrica se llama aproximacin por diferencias nitas. Ms especcamente, tenemos la
aproximacin por diferencias hacia adelante
,
0
(r)
,(r +/) ,(r)
/
=
,
1
,
0
/
.
la aproximacin por diferencias hacia atrs
,
0
(r)
,(r) ,(r /)
/
=
,
0
,
1
/
.
y, nalmente, la aproximacin por diferencias centrales.
,
0
(r)
,(r +/) ,(r /)
2/
=
,
1
,
1
2/
. (1)
Ejemplo. Vamos a aproximar
d
dx
c
x
en r = 1 con / = 0.1 (c = 2.7182818):
1. Diferencias hacia delante: ,
0
(1)
e
1:1
e
0:1
= 2.8588, 1::o: = 0.1405.
2. Diferencias hacia atrs: ,
0
(1)
e
1
e
0:9
0:1
= 2.868, 1::o: = 0.1315.
3. Diferencias centrales: ,
0
(1)
e
1:1
e
0:9
0:2
= 2. 722 8, 1::o: = 0.0045.
Vemos que el error es menor en el ltimo caso. Ms tarde veremos que esto no es
casualidad.
Como estas frmulas de aproximacin utilizan los valores de , en dos puntos distintos,
se llaman frmulas de dos puntos. En general, se llaman frmulas de / puntos a aquellas
que aproximan el valor de ,
(n)
(r). / _ : + 1. mediante los valores de , en / puntos
2
distintos. Nosotros nos restringiremos siempre al caso en el que todos estos puntos distan
de r un mltiplo de una distancia mnima /.
La primera pregunta que nos aparece es obvia: qu valor de / hemos de elegir para
que que la aproximacin de la derivada sea buena? Veamos un ejemplo que ilustra que
la solucin de este problema no es simple debido a los errores de redondeo que tiene el
ordenador.
Consideremos la funcin , (r) = c
x
. La derivada de c
x
en el punto r = 1 es c
2.718281828. Veamos varias aproximaciones del tipo 1
k
=
c
1+h
k
c
/
k
para distintos valores
de /
k
(clculos realizados en Excel):
/
k
c
1+h
k
c
1+h
k
c 1
k
0.1 3.004166024 0.285884195 2.85884195
0.001 2. 721 001 47 0.02719 641 2.719 64142
0.00001 2.718309011 2.71829542 + 10
5
2.71829542
10
13
2.718281828 2. 71783 + 10
13
2.717825964
10
15
2.718 281828 0 0
1::o:
0.140 56
0.001 359
1.3592 + 10
5
0.00046
2. 718 282
Al contrario de lo que pudiera uno pensar, el mejor resultado se ha obtenido en / =
0.00001, mientras que para valores ms pequeos el error aumenta. El problema reside
en que para valores de / muy pequeos los valores c
1+h
y c son casi idnticos, y se
produce una prdida importante de cifras signicaticas debido al redondeo, mientras que
el denominador no sufre ningn redondeo. Llega un momento (/ = 10
15
) en el cual el
numerador es un cero mquina (underow) y el resultado resulta por completo errneo.
Por tanto, el problema no es sencillo; no basta con ir disminuyendo / hasta obtener
la precisin deseada, sino que hemos de buscar el valor ptimo. Una solucin es ir dismi-
nuyendo /
k
hasta que se cumpla el siguiente criterio de parada:
o bien [1
k
1
k1
[ < .
o bien [1
k+1
1
k
[ _ [1
k
1
k1
[ .
Es decir, que en cuenta aumenta la diferencia entre dos iteradas consecutivas paramos el
clculo.
Una vez visto este importante aspecto, pasaremos a examinar ms detenidamente el
error de las aproximaciones (sin tener ahora en cuenta el error de redondeo).
Denicin. Sea 1(r. /) una aproximacin de la derivada ensima en el punto r.
Llamaremos error de truncamiento 1
trunc
(r. /) a la diferencia
1
trunc
(r. /) = ,
(n)
(r) 1(r. /)
Vamos a ver los errores de truncamiento de las aproximaciones de la primera derivada
que hemos visto:
(Frmulas de dos puntos para ,
0
(r))
3
1. (Diferencias hacia adelante) Sea , C
2
[c. /] y supongamos que r, r + / [c. /].
Entonces, existe c ]c. /[ tal que
,
0
(r) =
,(r +/) ,(r)
/

,
(2)
(c)
2
/.
2. (Diferencias hacia atrs) Sea , C
2
[c. /] y supongamos que r /. r [c. /].
Entonces, existe c ]c. /[ tal que
,
0
(r) =
,(r) ,(r /)
/
+
,
(2)
(c)
2
/.
3. (Diferencias centrales) Sea , C
3
[c. /] y supongamos que r /. r. r + / [c. /].
Entonces, existe c ]c. /[ tal que
,
0
(r) =
,(r +/) ,(r /)
2/

,
(3)
(c)
6
/
2
.
Estos resultados son consecuencia inmediata del desarrollo en serie de Taylor. Efecti-
vamente, en el primer caso tenemos:
,(r +/) ,(r)
/
=
, (r) +,
0
(r) / +,
(2)
(c)
h
2
2
, (r)
/
= ,
0
(r) +,
(2)
(c)
/
2
.
luego
,
0
(r) =
,(r +/) ,(r)
/

,
(2)
(c)
2
/.
El segundo caso se demuestra de forma similar. En cuanto al ltimo tenemos:
,(r +/) ,(r /)
2/
=
, (r) +,
0
(r) / +,
(2)
(r)
h
2
2
+,
(3)
(c
1
)
h
3
6
2/

_
, (r) ,
0
(r) / +,
(2)
(r)
h
2
2
,
(3)
(c
1
)
h
3
6
_
2/
= ,
0
(r) +
/
2
12
_
,
(3)
(c
1
) +,
(3)
(c
2
)
_
= ,
0
(r) +
/
2
6
,
(3)
(c) .
En el ltimo paso hemos utilizado que, como ,
(3)
es continua, por el teorema del valor
medio existe c (c. /) tal que
,
(3)
(c
1
) +,
(3)
(c
2
)
2
= ,
(3)
(c) .
La precisin de las diferencias centrales es mejor, y, por tanto, converger ms rpi-
damente.
Si

1
trunc
(,
(n)
(r). /)

_ `/

`. c R.
para \r [c. /], diremos entonces que la frmula 1
n
(r. /) es de orden (de precisin)
C(/

). Por tanto, las diferencias hacia atrs y hacia delante tienen orden C(/) y las
diferencias centrales tienen orden C(/
2
).
Como hemos visto, no es aconsejable en los clculos por ordenador usar valores de /
muy pequeos, por lo que conviene elegir un esquema con un valor alto de c.
4
2.1 El mtodo de extrapolacin de Richardson
Vamos a ver un mtodo que nos permitir obtener esquemas de mejor orden. Supondremos
que la funcin , posees derivadas continuas de cualquier orden. Usando la serie de Taylor
obtenemos que
1
0
(/) =
, (r +/) , (r /)
2/
= ,
0
(r) +C/
2
+C
_
/
4
_
.
1
0
(2/) =
, (r + 2/) , (r 2/)
4/
= ,
0
(r) + 4C/
2
+C
_
/
4
_
.
Entonces
3,
0
(r) +C
_
/
4
_
= 41
0
(/) 1
0
(2/)
=
4 (, (r +/) , (r /))
2/

, (r + 2/) , (r 2/)
4/
=
, (r + 2/) + 8, (r +/) 8, (r /) +, (r 2/)
4/
.
de donde obtenemos la aproximacin de orden cuatro:
,
0
(r)
, (r + 2/) + 8, (r +/) 8, (r /) +, (r 2/)
12/
=
,
2
+ 8,
1
8,
1
+,
2
12/
.
(2)
Pongamos ahora que
1
1
(/) =
, (r + 2/) + 8, (r +/) 8, (r /) +, (r 2/)
12/
= ,
0
(r) +C/
4
+C
_
/
6
_
.
1
1
(2/) =
, (r + 4/) + 8, (r + 2/) 8, (r 2/) +, (r 4/)
24/
= ,
0
(r) + 16C/
4
+C
_
/
6
_
.
por lo que una aproximacin de orden seis es
1
2
(/) =
161
1
(/) 1
1
(2/)
15
.
Para estos clculos es importante resaltar que no hay trminos impares.
A partir de estos resultados podemos extrapolar el mtodo general: si
1
k1
(/) = ,
0
(r) +C/
2k
+C
_
/
2k+2
_
.
con lo cual
1
k1
(2/) = ,
0
(r) + 4
k
C/
2k
+C
_
/
2k+2
_
.
entonces
1
k
(/) =
4
k
1
k1
(/) 1
k1
(2/)
4
k
1
es de orden /
2k+2
.
5
Podemos pues calcular las aproximaciones de forma recursiva hasta obtener la precisin
deseada. Estos clculos se pueden ordenar en una matriz triangular. Por ejemplo, si / = 3
tenemos que
1
0
(r; 8/)
1
0
(r; 4/) 1
1
(r; 4/)
1
0
(r; 2/) 1
1
(r; 2/) 1
2
(r; 2/)
1
0
(r; /) 1
1
(r; /) 1
2
(r; /) 1
3
(r; /)
Este procedimiento es equivalente a
1
0
(r; /)
1
0
(r;
h
2
) 1
1
(r;
h
2
)
1
0
(r;
h
4
) 1
1
(r;
h
4
) 1
2
(r;
h
4
)
1
0
(r;
h
8
) 1
1
(r;
h
8
) 1
2
(r;
h
8
) 1
3
(r;
h
8
)
Ejemplo. , (r) = c
x
, r = 1. / = 0.1 y / = 2
c = 2. 718 281 829
i = 0 i = 1 i = 2
2. 791 351 5
2. 736 44 2. 718 136 2
2. 722 814 6 2. 718 272 8 2. 718 281 9
1
0
(1. /) =
e
1:1
e
0:9
0:2
= 2. 722 814 6
1
0
(1. 2/) =
e
1:2
e
0:8
0:4
= 2. 736 44
1
0
(1. 4/) =
e
1:4
e
0:6
0:8
= 2. 791 351 5
1
1
(1. /) =
42: 722 814 62: 736 44
3
= 2. 718 272 8
1
1
(1. 2/) =
42: 736 442: 791 351 5
3
= 2. 718 136 2
1
2
(1. /) =
162: 718 272 82: 718 136 2
15
= 2. 718 281 907
Error=[2. 718 281 9 2. 718 281 829[ = 0.000 000 071 = 7.1 + 10
8
Este mismo procedimiento se puede aplicar a las diferencias hacia delante y hacia
atrs. Por ejemplo, para las diferencias hacia delante tenemos
1
0
(/) =
, (r +/) , (r)
/
= ,
0
(r) +C/ +C
_
/
2
_
.
1
0
(2/) =
, (r + 2/) , (r)
2/
= ,
0
(r) + 2C/ +C
_
/
2
_
.
Por tanto
21
0
(/) 1
0
(2/) =
4, (r +/) 4, (r) , (r + 2/) +, (r)
2/
=
,
2
+ 4,
1
3,
0
2/
.
1
1
(/) =
,
2
+ 4,
1
3,
0
2/
.
6
que es una aproximacin de orden C(/
2
).
Efectivamente,
, (r + 2/) + 4, (r +/) 3, (r) =
_
, (r) +,
0
(r) 2/ +
,
00
(r)
2
4/
2
+
,
000
(c
1
)
6
8/
3
_
+4
_
, (r) +,
0
(r) / +
,
00
(r)
2
/
2
+
,
000
(c
2
)
6
/
3
_
3, (r)
= ,
0
(r) 2/ +
2,
000
(c
2
)
3
/
3

4,
000
(c
1
)
3
/
3
.
es decir,
[1
trunc
(r. /)[ _ `/
2
.
si [,
000
()[ _ `, \ [r. r + 2/].
A partir de estos resultados podemos extrapolar el mtodo general: si
1
k1
(/) = ,
0
(r) +C/
k
+C
_
/
k+1
_
.
con lo cual
1
k1
(2/) = ,
0
(r) + 2
k
C/
k
+C
_
/
k+1
_
.
entonces
1
k
(/) =
2
k
1
k1
(/) 1
k1
(2/)
2
k
1
es un esquema de orden C
_
/
k+1
_
.
Ejemplo. Obtener una aproximacin de orden /
3
de la derivada de c
x
en r = 1 con
/ = 0.1.
i = 0 i = 1 i = 2
3.3422953
3.0091755 2. 6760557
2.858842 2.7085085 2. 7193261
1
0
(1. /) =
e
1:1
e
1
0:1
= 2.858842
1
0
(1. 2/) =
e
1:2
e
1
0:2
= 3.0091755
1
0
(1. 4/) =
e
1:4
e
1
0:4
= 3.3422953
1
1
(1. /) =
22:8588423:0091755
1
= 2. 708 508 5
1
1
(1. 2/) =
23:00917553:3422953
1
= 2. 676 055 7
1
2
(1. /) =
42:70850852: 6760557
3
= 2. 719 326 1
7
2.2 Anlisis del error
Hemos visto al principio que el error de redondeo juega un papel importante en la
derivacin numrica. Hagamos un anlsis del error en el que tenemos en cuenta tanto
el error del mtodo como el error de redondeo.
Supongamos que
, (r /) =
1
+c
1
. , (r +/) =
1
+c
1
.
donde c
1
. c
1
son los errores de redondeo. Si aproximamos ,
0
(r) con diferencias centrales
,
0
(r) =

1

1
2/
+1 (r. /) .
el error 1 (r. /) viene determinado por la suma
1 (r. /) = 1
red
(r. /) +1
trunc
(r. /)
=
c
1
c
1
2/

,
000
()
6
/
2
.
Por tanto, si [c
1
[ . [c
1
[ _ y [,
000
[ _ ` tenemos que
[1 (r. /)[ _

/
+
`
6
/
2
.
Notemos en primer lugar que si / 0 el error de redondeo aumenta y converge a .
Al contrario, para / grandes aumenta el error del mtodo. Hallemos el valor de / que
minimiza la parte derecha:

/
2
+
`
3
/ = 0.
/ =
_
3
`
_1
3
.
Este valor de / nos dar un error prximo al ptimo.
Por ejemplo, si , (r) = :c:(r) (` = 1) y = 0.5 + 10
9
, entonces
/ =
_
3 + 0.5 + 10
9
1
_1
3
= 0.001145.
El error sera menor que
0.5 + 10
9
0.001145
+
0.001145
2
6
= 6. 55 + 10
7
.
Para la frmula (2) el anlisis es similar. Sabemos (ver el Apndice) que
1
trunc
(r. /) =
1
12
_
8
5!
,
(5)
(
1
) /
4
+
8
5!
,
(5)
(
2
) /
4

32
5!
,
(5)
(
3
) /
4

32
5!
,
(5)
(
4
) /
4
_
.
8
Usando la notacin , (r +//) =
k
+c
k
y

,
(5)
()

_ ` tenemos
,
0
(r) =

2
+ 8
1
8
1
+
2
12/
+1 (r. /) .
1 (r. /) _
c
2
+ 8c
1
8c
1
+c
2
12/
+
`
18
/
4
.
De aqu para [c
k
[ _ , tenemos
[1 (r. /)[ _
18
12/
+
`
18
/
4
=
3
2/
+
`
18
/
4
.
El valor que minimiza la parte derecha viene dado por:
3
2/
2
+
4`
18
/
3
= 0.
/ =
_
27
4`
_1
5
.
En el ejemplo anterior, para , (r) = :c:(r),

,
(5)
(r)

_ 1, tenemos
/ =
_
27 + 0.5 + 10
9
4 + 1
_1
5
= 0.020214
y
[1 (r. /)[ _
3 + 0.5 + 10
9
2 + 0.020214
+
1
18
0.020238
4
= 4. 64 10
8
.
Vemos que el mtodo de extrapolacin de Richardson mejora la precisin, pero el error
de redondeo marca un lmite que no podemos mejorar.
2.3 Derivadas de orden superior
Las derivadas aproximadas de orden superior se pueden obtener de manera recursiva. Por
ejemplo, si utilizamos las diferencias centrales tenemos
,
00
(r)
,
0
_
r +
h
2
_
,
0
_
r
h
2
_
/
=
f(x+h)f(x)
h

f(x)f(xh)
h
/
=
, (r +/) 2, (r) +, (r /)
/
2
=
,
1
2,
0
+,
1
/
2
.
que es de orden C(/
2
). Efectivamente,
,
1
2,
0
+,
1
/
2
=
, (r) +,
0
(r) / +,
00
(r)
h
2
2
+,
000
(r)
h
3
6
+,
(4)
(c
1
)
h
4
24
2, (r)
/
2
+
, (r) ,
0
(r) / +,
00
(r)
h
2
2
,
000
(r)
h
3
6
+,
(4)
(c
2
)
h
4
24
/
2
= ,
00
(r) +,
(4)
(c)
/
2
12
.
9
Aplicando el procedimiento de extrapolacin de Richardson obtenemos la aproxi-
macin de orden C(/
4
) :
,
00
(r)
4
, (r +/) 2, (r) +, (r /)
/
2

, (r + 2/) 2, (r) +, (r 2/)
4/
2
3
=
, (r + 2/) + 16, (r +/) 30, (r) + 16, (r /) , (r 2/)
12/
2
=
,
2
+ 16,
1
30,
0
+ 16,
1
,
2
12/
2
.
El procedimiento de Richardson se utiliza aqu exactamente igual que para la primera
derivada.
Si utilizramos el esquema hacia delante, es decir,
,
0
(r)
,
1
,
0
/
.
entonces tendramos
,
00
(r)
,
0
(r +/) ,
0
(r)
/

f
2
f
1
h

f
1
f
0
h
/
=
,
2
2,
1
+,
0
/
2
.
El esquema sigue siendo de orden C(/). Efectivamente:
,
2
2,
1
+,
0
/
2
=
, (r) +,
0
(r) 2/ +,
00
(r)
4h
2
2
+,
000
(c
1
)
8h
3
6
2
_
, (r) +,
0
(r) / +,
00
(r)
h
2
2
+,
000
(c
2
)
h
3
6
_
+,
0
/
2
= ,
00
(r) +,
000
(c
1
)
4/
3
,
000
(c
2
)
/
3
.
De manera anloga, para la tercera derivada tenemos
,
000
(r)
,
00
(r +/) ,
00
(r /)
2/

, (r + 2/) 2, (r +/) +, (r)

/
2

, (r) 2, (r /) +, (r 2/)
/
2
2/
=
, (r + 2/) 2, (r +/) + 2, (r /) , (r 2/)
2/
3
=
,
2
2,
1
+ 2,
1
,
2
2/
3
.
y para la cuarta
,
(4)
(r)
,
00
(r +/) 2,
00
(r) +,
00
(r /)
/
2

,
2
2,
1
+,
0
2,
1
+ 4,
0
2,
1
+,
0
2,
1
+,
2
/
4
=
,
2
4,
1
+ 6,
0
4,
1
+,
2
/
4
.
10
Se puede obtener un esquema distinto operando de la siguiente manera:
,
(4)
(r)
,
000
(r +/) ,
000
(r /)
2/

,
3
2,
2
+ 2,
0
,
1
4/
4

,
1
2,
0
+ 2,
2
,
3
4/
4
=
,
3
2,
2
,
1
+ 4,
0
,
1
2,
2
+,
3
4/
4
.
Podemos obtener tambin esquemas de aproximacin usando el esquema hacia delante:
,
000
(r)
,
00
(r +/) ,
00
(r)
/

, (r + 3/) 2, (r + 2/) +, (r +/)

/
2

, (r + 2/) 2, (r +/) +, (r)
/
2
/
=
,
3
3,
2
+ 3,
1
,
0
/
3
.
,
(4)
(r)
,
00
(r + 2/) 2,
00
(r +/) +,
00
(r)
/
2

,
4
2,
3
+,
2
2 (,
3
2,
2
+,
1
) +,
2
2,
1
+,
0
/
4
=
,
4
4,
3
+ 6,
2
4,
1
+,
0
/
4
.
Vamos a aplicar el mtodo de Richardson para calcular una aproximacin de la segunda
derivada de orden C(/
6
)
Ejemplo. , (r) = ln (r), r = 2. / = 0.1
Calculemos ,
00
(r) con una aproximacin de orden C(/
6
)
i = 0 i = 1 i = 2
0.255 137 47
0.251 258 4 0.249 965 38
0.250 313 02 0.249 997 89 0.250 000 06
1
0
(/) =
ln(2:1)2 ln(2)+ln(1:9)
0:01
= 0.250 313 02
1
0
(2/) =
ln(2:2)2 ln(2)+ln(1:8)
0:04
= 0.251 258 4
1
0
(4/) =
ln(2:4)2 ln(2)+ln(1:6)
0:0116
= 0.255 137 47
1
1
(/) =
4(0:250 313 02)+0:251 258 4
3
= 0.249 997 89
1
1
(2/) =
4(0:251 258 4)+0:255 137 47
3
= 0.249 965 38
1
2
(/) =
16(0:249 997 89)+0:249 965 38
15
= 0.250 000 06
1::o: = 6 + 10
8
Para las derivadas de orden superior se puede realizar un anlisis del error similar.
11
3 Integracin numrica
Ahora ocuparemos del siguiente problema: dada una funcin , integrable en un intervalo
nito [c. /]. evaluar la integral denida
_
b
a
,(r)dr. (3)
Por supuesto, si conocemos una primitiva de ,. es decir, una funcin diferenciable 1 tal
que 1
0
(r) = ,(r) para \r [c. /]. entonces, aplicando la regla de Barrow, obtenemos
_
b
a
,(r)dr = 1(/) 1(c).
Pero, incluso en este caso, si 1 tiene una expresin muy complicada puede ser ms conve-
niente evaluar la integral (3) numricamente que calcular la diferencia 1(/) 1(c). Por
supuesto, si no podemos encontrar ninguna primitiva de , o slo conocemos , para ciertos
valores de r (cosa que ocurre cuando , viene dada por una tabla de valores), entonces
hay que recurrir necesariamente a la integracin numrica.
El objetivo de la integracin numrica es aproximar la integral de la funcin ,(r) en
el intervalo [c. /] mediante los valores de ,(r) en un nmero nito de puntos de dicho
intervalo.
3.1 El polinomio interpolador de Lagrange
Dados los puntos (r
i
.
i
), i = 0. .... :, buscaremos un polinomio de grado : j (r) tal que
j (r
i
) =
i
. \i.
A este polinomio se le llama polinomio de interpolacin y los puntos r
i
los centros del
polinomio. Por ejemplo, por dos puntos pasa una recta, por tres puntos pasa una parbola,
por cuatro puntos una funcin cbica, etc.
Teorema. Si r
0
. r
1
. .... r
n
son nmeros reales distintos, entonces para valores
0
. ....
n
arbitrarios existe un nico polinomio de grado : que pasa por estos puntos.
Si c = r
0
< r
1
< ... < r
n
= / entonces al aproximar , (r) para c < r < / decimos que
el valor de , (r) est interpolado. Si calculamos j (r) en r < c o r /, entonces decimos
que el valor de , (r) est extrapolado. El polinomio y su derivada se puede evaluar en
cualquier punto de forma eciente utilizando el algoritmo de Runi.
Supondremos de ahora en adelante que los valores de r
i
son distintos y estn ordenados
en orden creciente.
Vamos a denir los siguientes polinomios de grado : :
1
k
(r) =
(r r
0
) (r r
1
) (r r
k1
) (r r
k+1
) (r r
n
)
(r
k
r
0
) (r
k
r
1
) (r
k
r
k1
) (r
k
r
k+1
) (r
k
r
n
)
=
i=n

i=0;i6=k
(r r
i
)
i=n

i=0;i6=k
(r
k
r
i
)
.
12
Resulta fcil ver que
1
k
(r
k
) = 1.
1
k
(r
i
) = 0, \i ,= /.
Por tanto, si denimos el polinomio
j (r) =
n

k=0

k
1
k
(r) .
entonces tenemos que j (r
k
) =
k
, \/, y adems el grado de j no puede ser mayor que :.
Ejemplo. Dada la funcin , (r) = cos (r) y los puntos:
r
k
, (r
k
)
0 1

4
p
2
2

2
0
construir el polinomio interpolador de Lagrange.
Tenemos:
1
0
(r) =
_
r

4
_ _
r

2
_
_

4
_ _

2
_ =
8
:
2
_
r
:
4
__
r
:
2
_
.
1
1
(r) =
r
_
r

2
_

4
_

4
_ =
16
:
2
r
_
r
:
2
_
.
1
2
(r) =
r
_
r

4
_

2
_

4
_ =
8
:
2
r
_
r
:
4
_
.
j (r) =
8
:
2
_
r
:
4
__
r
:
2
_

_
28
:
2
r
_
r
:
2
_
.
Desde el punto de vista numrico este mtodo no es muy efectivo, ya que para evaluar
ahora el polinomio en cualquier punto necesitamos realizar muchas multiplicaciones. Lo
ideal es contar con un mtodo similar al de Runi para evaluar el polinomio.
Veamos ahora el anlisis del error que cometemos en la aproximacin de la funcin.
El trmino de error es muy similar al trmino que se emplea en la serie de Taylor.
Teorema. Sea , C
n+1
([c. /]) . r
0
. .... r
n
[c. /]. Entonces
1
n
= , (r) j (r) =
,
(n+1)
(c (r))
(: + 1)!
(r r
0
) (r r
2
) (r r
n
) (4)
para cierto c (r) [c. /] si r [c. /]. Adems, c (r) es una funcin continua.
En el ejemplo anterior [,
000
(r)[ = [:c:(r)[ _ 1. por lo que
[1
2
(r)[ _
1
6

r
:
4

[r[

r
:
2

.
13
si r [c. /] (es decir, interpolamos).
Si r =

6
tendramos

1
2
_
:
6
_

_
1
6

:
6

:
4

:
6

:
6

:
2

= 0.01794.
Efectivamente,
j
_
:
6
_
=
8
:
2
_
:
6

:
4
__
:
6

:
2
_

_
28
:
2
:
6
_
:
6

:
2
_
= 0.850 76.
cos
_
:
6
_
=
_
3
2
= 0.866 03.
y
1::o: /:o|nto = [0.866 03 0.850 76[ = 0.015 27.
3.2 El polinomio interpolador de Newton
Como hemos dicho anteriormente, uno de los inconvenientes del mtodo de Lagrange
reside en que no es muy eciente desde el punto de vista computacional. Otro problema
aparece porque no existe relacin entre el polinomio j
n1
y j
n
, por lo que si aadimos un
punto hemos de empezar todo de nuevo.
Los polinomios de Newton se calculan de forma recursiva:
1
0
(r) = c
0
1
1
(r) = c
0
+c
1
(r r
0
)
1
2
(r) = c
0
+c
1
(r r
0
) +c
2
(r r
0
) (r r
1
)
1
3
(r) = c
0
+c
1
(r r
0
) +c
2
(r r
0
) (r r
1
) +c
3
(r r
0
) (r r
1
) (r r
2
)
.
.
.
1
n
(r) = c
0
+c
1
(r r
0
) +c
2
(r r
0
) (r r
1
) +...+
+c
n
(r r
0
) (r r
1
) (r r
n1
)
=
n

i=0
c
i
i1

j=0
(r r
j
) .
Tenemos que
j
k
(r) = j
k1
(r) +c
k
(r r
0
) (r r
1
) (r r
k1
) .
En cada paso vamos calculando los valores de c
i
a partir de (r
i
.
i
):
c
0
=
0
c
1
=

1
c
0
r
1
r
0
c
2
=

2
j
1
(r
2
)
(r
2
r
0
) (r
2
r
1
)
.
.
.
c
i
=

i
j
i1
(r
i
)
(r
i
r
0
) (r
i
r
1
) (r
i
r
i1
)
.
14
Ejemplo. Dados los puntos
r
k
, (r
k
)
1 3.6
2 1.8
3 1.2
calcular el poliniomio interpolador de Newton.
Calculamos c
i
:
c
0
=
0
= 3.6.
c
1
=

1
c
0
r
1
r
0
=
1.8 3.6
2 1
= 1. 8.
j
1
(2) = 3.6 1.8 + (3 1) = 0.
c
2
=

2
j
1
(2)
(r
2
r
1
) (r
2
r
0
)
=
1.2 0
(3 2) (3 1)
= 0.6.
As,
j
2
(r) = 3.6 1.8 (r 1) + 0.6 (r 1) (r 2) .
3.3 Las frmulas de Newton-Cotes
Notemos que la integral denida de una funcin continua se dene mediante el lmite
_
b
a
, (r) dr = lim
n!1
(, (r
0
) (r
1
r
0
) +, (r
1
) (r
2
r
1
) +... +, (r
n1
) (r
n
r
n1
)) .
donde c = r
0
< r
1
< r
2
< ... < r
n1
< r
n
= /.
Por tanto, vamos a intentar aproximar el valor de la integral por una suma nita del
siguiente tipo:
_
b
a
, (r) dr Q(,) = , (r
0
) n
0
+, (r
1
) n
1
+... +, (r
M
) n
M
.
para ciertos pesos n
i
.
A este tipo de frmulas se les llama frmulas de cuadratura. Pondremos
_
b
a
, (r) dr = Q(,) +1
trunc
(,) .
donde 1
trunc
(,) es el error de truncamiento. Los puntos r
i
se denominan nodos de
integracin y los valores n
i
pesos de la frmula.
15
Denicin. El grado de precisin de una frmula de cuadratura es el nmero
natural : que verica lo siguiente: 1 (1
i
) = 0 para todos los polinomios de grado i _ :,
y existe un polinomio de grado : + 1 tal que 1 (1
n+1
) ,= 0.
Regla del trapecio
Esta es la frmula ms sencilla, y se deriva de la denicin de integral y su inter-
pretacin geomtrica. Si elegimos nodos equiespaciaciados
r
i
= r
0
+i/
/ =
/ c
:
y calculamos el rea del trapecio formado al unir los puntos (r
0
. , (r
0
)) y (r
1
. , (r
1
)) con
una recta, tenemos que
_
x
0
+h
x
0
, (r) dr
, (r
0
) +, (r
1
)
2
/ =
,
0
+,
1
2
/. (5)
que se conoce como frmula simple del trapecio. Si sumamos los valores de todos los
subintervalos obtenemos la frmula compuesta del trapecio:
_
b
a
, (r) dr -
_
n1

i=0
,
i
+,
i+1
2
_
/ =
/
2
(,
0
+ 2,
1
+ 2,
2
+... + 2,
n1
+,
n
) .
Ejemplo. Calculemos
_
1
0
r
2
dr. / = 0.2 :
_
1
0
r
2
dr 0.1
_
0 + 2 + 0.2
2
+ 2 + 0.4
2
+ 2 + 0.6
2
+ 2 + 0.8
2
+ 1
2
_
= 0.34
Como
_
1
0
r
2
dr = 0.333 333 333 3 tenemos que
1::o: = [0.333 333 333 3 0.34[ = 0.006 666 666 7.
La frmula (5) se puede obtener fcilmente del polinomio interpolador de Lagrange
con dos puntos por intervalo:
1
1
(r) = ,
0
r r
1
r
0
r
1
+,
1
r r
0
r
1
r
0
.
Integrando este polinomio tenemos
_
x
1
x
0
1
1
(r) dr =
_
,
0
2
(r r
1
)
2
r
0
r
1
+
,
1
2
(r r
0
)
2
r
1
r
0
_
[
x
1
x
0
=
,
0
+,
1
2
/.
El mismo clculo se realiza para cada intervalo [r
i
. r
i+1
].
16
Supondremos que , C
2
([c. /]). Para valorar el trmino del error utilizamos que
, (r) = 1
1
(r) +
,
00
(c (r))
2
(r r
0
) (r r
1
) .
por lo que, usando el segundo teorema del valor medio, ya que ,
00
(c (r)) es una funcin
continua y (r r
0
) (r r
1
) no cambia de signo en [r
0
. r
1
], tenemos
_
x
1
x
0
, (r) dr =
,
0
+,
1
2
/ +
1
2
_
x
1
x
0
,
00
(c (r)) (r r
0
) (r r
1
) dr
=
,
0
+,
1
2
/ +
,
00
(c)
2
_
x
1
x
0
_
(r r
0
)
2
/(r r
0
)
_
dr
=
,
0
+,
1
2
/ +
,
00
(c)
2
_
/
3
3

/
3
2
_
.
_
x
1
x
0
, (r) dr =
,
0
+,
1
2
/
,
00
(c)
12
/
3
.
Este resultado es cierto en cada subintervalo [r
i
. r
i+1
], por lo que
_
b
a
, (r) dr =
/
2
(,
0
+ 2,
1
+ 2,
2
+... + 2,
n1
+,
n
) :
1
12
/
3

n
k=1
,
00
(c
k
)
:
=
/
2
(,
0
+ 2,
1
+ 2,
2
+... + 2,
n1
+,
n
)
,
00
(c)
12
(/ c) /
2
.
El orden de aproximacin es C(/
2
).
Ejemplo. En el ejemplo anterior, [,
00
(r)[ = 2 :
[1
trunc
(,)[ =
2
12
0.2
2
= 0.006666666.
Si, por ejemplo, hubiramos elegido elegido , (r) = r, entonces el error sera cero.
Esto es cierto para cualquier recta. Esto se deduce de la frmula
1
trunc
=
,
00
(c)
12
(/ c) /
2
.
ya que ,
00
(c) = 0 si , (r) = :+:r.
Notemos por otro lado que, si los valores de ,
r
se calculan con una precisin , entonces
el error de redondeo en la regla del trapecio est acotada por
[1
red
[ _
/
2
( + 2 +... + 2 +) =
/
2
(2 + 2: 2) = /: = (/ c) .
En este caso, al contrario que en la diferenciacin numrica, el redondeo no afecta seri-
amente a los resultados, y podemos elegir / tan pequeo como queramos. Esto ser cierto
en general para todos los mtodos de integracin numrica.
17
Regla de Simpson
Hemos visto en el mtodo anterior que el poliniomio interpolador de Lagrange es til
para obtener frmulas de cuadratura. Elijamos ahora el polinomio 1
2
:
1
2
(r) = ,
0
(r r
1
) (r r
2
)
(r
0
r
1
) (r
0
r
2
)
+,
1
(r r
0
) (r r
2
)
(r
1
r
0
) (r
1
r
2
)
+,
2
(r r
0
) (r r
1
)
(r
2
r
0
) (r
2
r
1
)
.
Tenemos
_
x
2
x
0
(r r
1
) (r r
2
)
(r
0
r
1
) (r
0
r
2
)
dr =
1
2/
2
_
x
2
x
0
_
(r r
2
)
2
+/(r r
2
)
_
dr
=
1
2/
2
_
8/
3
3

4/
3
2
_
=
4/
12
=
/
3
.
_
x
2
x
0
(r r
0
) (r r
2
)
(r
1
r
0
) (r
1
r
2
)
dr =
1
/
2
_
x
2
x
0
_
(r r
2
)
2
+ 2/(r r
2
)
_
dr
=
1
/
2
_
8/
3
3
4/
3
_
=
4/
3
.
_
x
2
x
0
(r r
0
) (r r
1
)
(r
2
r
0
) (r
2
r
1
)
dr =
1
2/
2
_
x
2
x
0
_
(r r
0
)
2
/(r r
0
)
_
dr
=
1
2/
2
_
8/
3
3

4/
3
2
_
=
/
3
.
Por tanto,
_
x
2
x
0
, (r) dr
,
0
+ 4,
1
+,
2
3
/.
Se puede demostrar que
1 (,) =
/
5
,
(4)
()
90
.
Considerando la integral en todo el intervalo completo tenemos que
_
b
a
, (r) dr
/
3
(,
0
+ 4,
1
+ 2,
2
+ 4,
3
+ 2,
5
+... + 4,
n1
+,
n
) .
Notemos que para poder aplicar esta frmula el nmero de intervalos ha de ser par (: =
2`).
El error de la ltima frmula vendra dado por
1 (,) =
:
2
/
5
,
(4)
()
90
=
(/ c) /
4
,
(4)
()
180
.
Ejemplo. , (r) = c
x
2
. [c. /] = [0. 1] . / = 0.1.
18
La integral aproximada por Simposon es la siguiente:
_
1
0
c
x
2
dr

0.1
3
(c
0
+ 4c
(0:1)
2
+ 2c
(0:2)
2
+ 4c
0:3
2
+ 2c
0:4
2
+ 4c
0:5
2
+
2c
0:6
2
+ 4c
0:7
2
+ 2c
0:8
2
+ 4c
0:9
2
+c
1
)
= 0.746 82496.
Vamos a estimar el error de truncamiento. El valor de la cuarta y quinta derivadas
son las siguientes:
d
4
e
x
2
dx
4
= 12c
x
2
48r
2
c
x
2
+ 16r
4
c
x
2
d
5
dx
5
_
c
x
2
_
= 8rc
x
2
(4r
4
20r
2
+ 15)
Las races de la quinta derivada son:
4r
4
20r
2
+ 15 = 0 =r = 2. 020 18. r = 0.958 57.
Por tanto, los extremos absolutos de la cuarta derivada se encuentran en uno de los
siguientes puntos: 0. 1. 0.958 57 o 0.958 57. Como
d
4
c
x
2
dr
4
(0) = 12.
d
4
c
x
2
dr
4
(1) = 7. 357 588 82.
d
4
c
x
2
dr
4
(0.958 57) = 7. 507 042 18.
tenemos que
`cr

d
4
c
x
2
dr
4

= 12.
As
[1
trunc
(,)[ _
12
180
0.1
4
= 6. 666 6 667 10
6
.
Dado que
_
1
0
c
x
2
dr = 0.746 824 133, el error global es el siguiente:
1::o: = [0.746 824 133 0.746 82496[ = 0.000 000 827 = 8.27 + 10
7
.
Por otro lado, la frmula de cuadratura es exacta para todas las funciones cbicas, es
decir, los polinomios de grado _ 3. Para ver esto sea j (r) un polinomio de grado 3, 1
2
es el polinomio de interpolacin que pasa a travs de los puntos (r
0
. j (r
0
)), (r
1
. j (r
1
)),
(r
2
. j (r
2
)), r
i
= r
0
+ i/. y 1
3
el polinomio de interpolacin que pasa a travs de los
puntos (r
0
. j (r
0
)), (r
1
. j (r
1
)), (r
2
. j (r
2
)), (r
3
. j (r
3
)). Entonces j = 1
3
y gracias a lo
estudiado en el polinomio interpolador de Newton sabemos que
j (r) = 1
2
(r) +c
3
(r r
0
) (r r
1
) (r r
2
)
19
y
_
x
2
x
0
j (r) dr =
_
x
2
x
0
1
2
(r) dr +
_
x
2
x
0
(r r
0
) (r r
1
) (r r
2
) dr
. .
k
0
= o (j. /) .
Es evidente desde el principio que la frmula de Simpson es exacta para las parbo-
las, pero vemos que se obtiene un grado ms de precisin gracias a que la integral
_
x
2
x
0
(r r
0
) (r r
1
) (r r
2
) dr es igual a 0.
Finalmente, podemos estimar el error de redondeo del mtodo de Simpson de la sigu-
iente manera:
[1
red
[ _
/
3
( + 4 + 2 +... + 2 + 4 +) =
/
3
_
4
:
2
+ 2
:
2
_
= /: = (/ c) .
Por tanto, al igual que en el mtodo del trapecio, el error de redondeo no depende de /.
3.4 Mtodo de Romberg
Vamos a ver que el mtodo de Richardson que vimos en la derivacin numrica es tambin
aplicable en la integracin.
Supongamos que , C
1
[c. /], es decir, que , posee derivadas continuas de cualquier
orden en el intervalo [c. /]. Entonces puede probarse usando la serie de Taylor que
_
b
a
,(r)dr = 1(,. /) +c
1
/
2
+c
2
/
4
+... +C
_
/
2n
_
.
donde : _ 2 y
1(,. /) :=
/
2
(,
0
+ 2,
1
+ 2,
2
+... + 2,
n1
+,
n
)
es la frmula de cuadratura trapezoidal con : nodos separados una distancia / = (/c),:
y c
1
. c
2
. ... R. Por tanto, el error de truncamiento de la frmula trapezoidal es de
C(/
2
) y puede expresarse como una serie de potencias pares de /. Esto permite utilizar
el procedimiento de Richardson para mejorar el grado de precisin de las frmulas de
cuadratura.
Apliquemos la anterior frmula trapezoidal con nodos r
2k

n=2
k=0
:
_
b
a
,(r)dr = 1(,. 2/) + 4c
1
/
2
+ 16c
2
/
4
+.. +C
_
/
2n
_
.
Restando esta igualdad de
4
_
b
a
,(r)dr = 41(,. /) + 4c
1
/
2
+ 4c
2
/
4
+... +C
_
/
2n
_
obtenemos
_
b
a
,(r)dr =
41(,. /) 1(,. 2/)
3
+/
1
/
4
+/
2
/
6
+... +C
_
/
2n
_
.
20
donde /
1
:= 12c
2
. /
2
:= 60c
3
. ... Ahora bien,
41(,. /) 1(,. 2/)
3
=
4
h
2
(,
0
+ 2,
1
+... + 2,
n1
+,
n
) /(,
0
+ 2,
2
+...2,
n2
+,
n
)
3
=
/
3
(,
0
+ 4,
1
+ 2,
2
+ 4,
3
+... + 2,
2n2
+ 4,
2n1
+,
2n
)
=: o(,. /)
es la frmula de cuadratura de Simpson con nodos r
k

n
k=0
. Por tanto,
_
b
a
,(r)dr = o(,. /) +/
1
/
4
+/
2
/
6
+... +C
_
/
2n
_
.
lo cual prueba no slo que la regla de Simpson es de C(/
4
) sino que, adems, su error de
truncamiento puede expresarse como una serie de potencias pares de /.
Prosiguiendo de este modo obtendramos ahora
_
b
a
,(r)dr =
16o(,. /) o(,. 2/)
15

48/
2
15
/
6

240/
3
15
/
8
+...
= 1(,. /) +c
1
/
6
+c
2
/
8
+... +C
_
/
2n
_
.
donde 1(,. /) es la regla de Boole, etc. El esquema resultante se llama integracin
Romberg.
La frmula simple de Boole quedara de la siguiente manera:
1(,. /) =
16
h
3
(,
0
+ 4,
1
+ 2,
2
+ 4,
3
+,
4
)
2h
3
(,
0
+ 4,
2
+,
4
)
15
=
2/
45
(7 + 32,
1
+ 12,
2
+ 32,
3
+ 7,
4
) .
En el caso general tendramos que para la cuadratura 1
k
en el paso /:
_
b
a
,(r)dr = 1
k1
(/) +c
1
/
2k
+c
2
/
2k+2
+... +C
_
/
2n
_
.
_
b
a
,(r)dr = 1
k1
(2/) +c
1
4
k
/
2k
+c
2
4
k+1
/
2k+2
+.... +C
_
/
2n
_
.
_
4
k
1
_
_
b
a
,(r)dr = 4
k
1
k1
(/) 1
k1
(2/) +/
1
/
2k+2
+/
2
/
2k+4
+... +C
_
/
2n
_
.
1
k
(/) =
4
k
1
k1
(/) 1
k1
(2/)
4
k
1
.
Esta regla es la frmula de cuadratura de Romberg. Los clculos se pueden resumir en la
siguiente tabla:
1
0
(r; 8/)
1
0
(r; 4/) 1
1
(r; 4/)
1
0
(r; 2/) 1
1
(r; 2/) 1
2
(r; 2/)
1
0
(r; /) 1
1
(r; /) 1
2
(r; /) 1
3
(r; /)
21
Como el paso utilizado ha de dividir la longitud del intervalo / c, es conveniente
elegir primero 8/ y despus ir dividiendo.
Ejemplo. , (r) = c
x
2
. / = 0.05.
Obtenemos la siguiente tabla:
Trapecio Simpson Boole
0.744 368 34
0.746 210 8 0.746 824 96
0.746 670 84 0.746 824 19 0.746 824 14
Trapecio
_
1
0
c
x
2
dr = 0.744 368 34 (/ = 0.2)
_
1
0
c
x
2
dr = 0.746 210 8 (/ = 0.1)
_
1
0
c
x
2
dr = 0.746 670 84 (/ = 0.05)
Simpson
1
1
(0.05) =
40:746 670 840:746 210 8
3
= 0.746 824 19
1
1
(0.1) =
40:746 210 80:744 368 34
3
= 0.746 824 96
Boole
1
2
(0.05) =
160:746 824 190:746 824 96
15
= 0.746 824 14
Podemos comparar este resultado con el obtenido con la frmula de Simpson con 1000
intervalos:
_
1
0
c
x
2
dr = 0.746 824 132 8.
Notemos que la frmula de Boole es exacta para todos los polinomios de grado _ 5.
4 Apndice: Error de truncamiento del esquema
en diferencias centrales de orden O(h
4
)
Veamos el esquema de aproximacin de la primera derivada:
,
0
(r)
, (r + 2/) + 8, (r +/) 8, (r /) +, (r 2/)
12/
.
Teorema. Si , C
5
([c. /]), entonces el error de truncamiento es de orden C(/
4
).
Demostracin. Tenemos que
, (r +/) , (r /) = 2,
0
(r) / +
1
2
,
00
(r) /
2

1
2
,
00
(r) /
2
+
2
3!
,
000
(r) /
3
+
1
4!
,
(4)
(r) /
4

1
4!
,
(4)
(r) /
4
+
1
5!
,
(5)
(
1
) /
5
+
1
5!
,
(5)
(
2
) /
5
= 2,
0
(r) / +
1
3
,
000
(r) /
3
+
1
5!
,
(5)
(
1
) /
5

1
5!
,
(5)
(
2
) /
5
.
22
Es necesario eliminar el trmino que contiene la tercera derivada. Vemos que
, (r + 2/) , (r 2/) = 4,
0
(r) / +
16
3!
,
000
(r) /
3
+
32
5!
,
(5)
(
3
) /
5
+
32
5!
,
(5)
(
4
) /
5
.
As,
, (r + 2/) + 8, (r +/) 8, (r /) +, (r 2/)
= 16,
0
(r) / +
8
3
,
000
(r) /
3
+
8
5!
,
(5)
(
1
) /
5
+
8
5!
,
(5)
(
2
) /
5

_
4,
0
(r) / +
8
3
,
000
(r) /
3
+
32
5!
,
(5)
(
3
) /
5
+
32
5!
,
(5)
(
4
) /
5
_
= 12,
0
(r) +
8
5!
,
(5)
(
1
) /
5
+
8
5!
,
(5)
(
2
) /
5

32
5!
,
(5)
(
3
) /
5

32
5!
,
(5)
(
4
) /
5
= 12,
0
(r) / +C
_
/
5
_
.
De aqu, si elegimos ` tal que

,
(5)
(r)

_ `, \r [r 2/. r + 2/], obtenemos

,
0
(r) =
, (r + 2/) + 8, (r +/) 8, (r /) +, (r 2/)
12/
+1
trunc
(r. /) .
[1
trunc
(r. /)[ _
`
18
/
4
.
,
0
(r) =
, (r + 2/) + 8, (r +/) 8, (r /) +, (r 2/)
12/
+C
_
/
4
_
.
5 Ejercicios
1. Demostrar que
,
0
(r) =
4,
1
3,
0
,
2
2/

,
(3)
(c
1
)
3
/
2
+
2,
(3)
(c
2
)
3
/
2
.
Obtener la frmula del error que tiene en cuenta el redondeo. Dado que

,
(3)
(r)

_
`, r [r. r + 2/], hallar el valor de / ptimo. Aplicar estos resultados a la funcin
, (r) = cos (r) con un error mximo de redondeo de 5 + 10
9
. Hallar en ese caso el
valor de / y una cota del error global.
(Sol: / =
_
2"
M
_1
3
; / = 0.0021544; [1 (r. /)[ _ 1. 392 5 10
5
)
2. Mostrar que la aproximacin ,
000
(r)
f
2
2f
1
+2f
1
f
2
2h
3
es de orden C(/
2
) .
3. Obtener, a partir del esquema del ejercicio anterior un esquema de orden C(/
4
)
usando el mtodo de Richardson.
4. Dado el esquema en diferencias hacia delante de tres puntos
,
00
(r)
,
2
2,
1
+,
0
/
2
.
23
que tiene orden C(/) . y sea , (r) = ln (r), calcular una aproximacin de orden
C(/
3
) de la segunda derivada de ln (r) en r = 2, con / = 0.05. usando el mtodo
de Richardson.
(Sol: ,
00
(2) 0.24986)
5. Aplicar la regla del trapecio y la regla de Simpson para aproximar
_
1
0
_
rdr.
_
1
0:4
:c:
_
1
r
_
dr.
con / = 0.1. Calcular el error absoluto y comparar los resultados en el primer caso.
Dar estimaciones del error de truncamiento en el segundo caso.
(Sol: 1) Trapecio: 0.66050934. 1::o: = 0.00616; Simpson: 0.6640996. 1::o: =
0.002567; 2) Trapecio: 0.54598, [1 (,)[ _ 0.03516; Simpson: 0.55033. [1 (,)[ _
0.0066661)
6. Aplicar la regla de Boole (mediante el mtodo de Romberg) para calcular
_
1
0
_
rdr.
_
1
0:4
:c:
_
1
r
_
dr
con / = 0.05.
(Sol: 1) 0.6658696; 2) 0.5505508)
7. Usando el mtodo de Romberg obtener la frmula de Boole
_
x
4
x
0
, (r) dr - 1(/) =
2/
45
(7,
0
+ 32,
1
+ 12,
2
+ 32,
3
+ 7,
4
) .
8. Utilizar integracin de Romberg para aproximar
_
1:8
1
(r)dr
utilizando la siguiente tabla de valores:
r 1.0 1.2 1.4 1.6 1.8
(r) 1.0000 0.8333 0.7143 0.6250 0.5556
Qu orden del error se ha obtenido?
(Sol: 1(0.2) = 0.587794)
24