Burden10 Capitulo4 Calculo PDF
Burden10 Capitulo4 Calculo PDF
Burden10 Capitulo4 Calculo PDF
Introducción
Una hoja de tejado corrugado se construye al presionar una hoja plana de aluminio dentro de
otra cuya sección transversal tiene la forma de una onda senoidal.
Se necesita una hoja corrugada de 4 pies de largo, la altura de cada onda es de 1 pulgada
desde la línea central y cada onda tiene un periodo de aproximadamente 2π. El problema de
encontrar la longitud de la hoja plana inicial consiste en encontrar la longitud de la curva de-
terminada por f (x) 5 sen x desde x 5 0 pulgadas hasta x 5 48 pulgadas. A partir del cálculo,
sabemos que esta longitud es
48 48
L= 1 + ( f (x))2 d x = 1 + (cos x)2 d x,
0 0
por lo que el problema se reduce a evaluar esta integral. A pesar de que la función senoidal
es una de las funciones matemáticas más comunes, el cálculo de su longitud implica una
integral elíptica de segunda clase, que no se puede evaluar de manera explícita. En este ca-
pítulo se desarrollan métodos para aproximar la solución a los problemas de este tipo. Este
problema particular se considera en el ejercicio 21 de la sección 4.4, en el ejercicio 15 de la
sección 4.5 y en el ejercicio 10 de la sección 4.7.
En la introducción del capítulo 3 mencionamos que una razón para usar polinomios
algebraicos para aproximar un conjunto arbitrario de datos es que, dada cualquier función
-
te cerca de la función en cada punto del intervalo. Además, las derivadas y las integrales de
los polinomios se obtienen y evalúan con facilidad. No debería sorprender, entonces, que
muchos procedimientos para aproximar derivadas e integrales utilicen los polinomios
que aproximan la función.
127
128 CAPÍTULO 4 Diferenciación numérica e integración
f (x0 + h) − f (x0 )
f (x0 ) = lím .
h→0 h
Esta fórmula proporciona una forma obvia de generar una aproximación para f (x0 ); sim-
plemente calcule
f (x0 + h) − f (x0 )
h
para valores pequeños de h. Aunque esto puede ser obvio, no tiene mucho éxito debido a
nuestro antiguo némesis, el error de redondeo. Sin embargo, es un lugar para empezar.
Para aproximar f (x0 ), suponga primero que x0 ∈ (a, b), donde f ∈ C 2 [a, b], y
que x1 = x0 +h para alguna h = 0
x1 ∈ [a, b]. Nosotros construimos el primer polinomio de Lagrange P0,1 (x) para f determi-
nado por x0 y x1, con su término de error:
(x − x0 )(x − x1 )
f (x) = P0,1 (x) + f (ξ(x))
2!
f (x0 )(x − x0 − h) f (x0 + h)(x − x0 ) (x − x0 )(x − x0 − h)
= + + f (ξ(x)),
−h h 2
f (x0 + h) − f (x0 )
f (x) ≈ .
h
Dx f (ξ(x)), por lo
Isaac Newton usó y popularizó que el error de truncamiento no se puede calcular. Cuando x es x0
las ecuaciones de diferencias de Dx f (ξ(x))
en el último cuarto del siglo
XVII, pero muchas de estas
f (x0 + h) − f (x0 ) h
técnicas fueron desarrolladas f (x0 ) = − f (ξ ). (4.1)
previamente por Thomas Harriot h 2
(1561–1621) y Henry Briggs
(1561–1630). Harriot realizó Para los valores pequeños de h, el cociente de diferencia [ f (x0 + h) − f (x0 )]/ h se
puede utilizar para aproximar f (x0 ) con un error acotado por M|h|/2, donde M es una cota
de navegación y Briggs fue la
persona más responsable de
de | f (x)| para x entre x0 y x0 + h. A esta fórmula se le conoce como fórmula de diferencias
la aceptación de logaritmos como hacia adelante si h > fórmula de diferencias hacia atrás
auxiliares para el cálculo. si h < 0.
4.1 Diferenciación numérica 129
Figura 4.1
y
Pendiente f 9(x 0)
f (x0 1 h) 2 f (x 0)
Pendiente
h
x0 x0 1 h x
Ejemplo 1 Use la fórmula de diferencias hacia adelante para aproximar la derivada de f (x) = ln x
en x0 = 1.8 mediante h = 0.1, h = 0.05, y h = 0.01 y determine las cotas para los errores
de aproximación.
f (1.8 + h) − f (1.8)
h
con h = 0.1 nos da
ln 1.9 − ln 1.8 0.64185389 − 0.58778667
= = 0.5406722.
0.1 0.1
Puesto que f (x) = −1/x 2 y 1.8 < ξ < 1.9, una cota para este error de aproximación es
|h f (ξ )| |h| 0.1
= 2 < = 0.0154321.
2 2ξ 2(1.8)2
Puesto que f (x) = 1/x , el valor exacto de f (1.8) es 0.555, y en este caso la cota del
error está bastante cerca del verdadero error de aproximación.
De igual forma,
2x − x0 − x2 2x − x0 − x1
L 1 (x) = y L 2 (x) = .
(x1 − x0 )(x1 − x2 ) (x2 − x0 )(x2 − x1 )
para cada j 5 0, 1, 2, donde la notación ξ j indica que este punto depende de xj.
y, para x j = x2 ,
1 1 3 h 2 (3)
f (x2 ) = f (x0 ) − 2 f (x1 ) + f (x2 ) + f (ξ2 ).
h 2 2 3
1 3 1 h 2 (3)
f (x0 ) = − f (x0 ) + 2 f (x0 + h) − f (x0 + 2h) + f (ξ0 ),
h 2 2 3
1 1 1 h 2 (3)
f (x0 + h) = − f (x0 ) + f (x0 + 2h) − f (ξ1 ), y
h 2 2 6
1 1 3 h 2 (3)
f (x0 + 2h) = f (x0 ) − 2 f (x0 + h) + f (x0 + 2h) + f (ξ2 ).
h 2 2 3
1 h 2 (3)
f (x0 ) = [−3 f (x0 ) + 4 f (x0 + h) − f (x0 + 2h)] + f (ξ0 ),
2h 3
1 h 2 (3)
f (x0 ) = [− f (x0 − h) + f (x0 + h)] − f (ξ1 ), y
2h 6
1 h 2 (3)
f (x0 ) = [ f (x0 − 2h) − 4 f (x0 − h) + 3 f (x0 )] + f (ξ2 ).
2h 3
Finalmente, observe que la última de estas ecuaciones se puede obtener a partir de la primera
simplemente al reemplazar h por 2h, de modo que en realidad sólo son dos fórmulas:
A pesar de que los errores en las dos ecuaciones (4.4) y (4.5) son O(h2), el error en la
ecuación (4.5) es aproximadamente la mitad del error en la ecuación (4.4). Esto porque
la ecuación (4.5) utiliza datos en ambos lados de x0 y la ecuación (4.4) los usa en un solo
lado. También observe que f se debe evaluar solamente en dos puntos en la ecuación (4.5),
-
ximación producida a partir de la ecuación (4.5). La aproximación en la ecuación (4.4) es
útil cerca de los extremos de un intervalo porque la información sobre f fuera del intervalo
puede no estar disponible.
132 CAPÍTULO 4 Diferenciación numérica e integración
Figura 4.2
y
Pendiente f 9(x 0)
1
Pendiente [ f (x0 1 h) 2 f (x 0 2 h)]
2h
x0 2 h x0 x0 1 h x
La deducción de esta fórmula se considera en la sección 4.2. La otra fórmula de cinco puntos
se usa para aproximaciones en los extremos.
Las aproximaciones del extremo izquierdo se encuentran mediante esta fórmula con h > 0
y las aproximaciones del extremo derecho con h < 0. La fórmula del extremo de cinco puntos
es especialmente útil para la interpolación de spline cúbico condicionado de la sección 3.5.
Ejemplo 2 Los valores para f (x) = xe x se dan en la tabla 4.2. Utilice las fórmulas aplicables de tres y
cinco puntos para aproximar f (2.0).
4.1 Diferenciación numérica 133
Solución Los datos en la tabla nos permiten encontrar cuatro diferentes aproximaciones de
Tabla 4.2
tres puntos. Podemos usar la fórmula del extremo (4.4) con h 5 0.1 o con h 5 20.1, y la
x f (x) fórmula del punto medio (4.5) con h 5 0.1 o con h 5 0.2.
1.8 10.889365 Mediante la fórmula del extremo (4.4) con h 5 0.1 obtenemos
1.9 12.703199
2.0 14.778112 1
[−3 f (2.0) + 4 f (2.1) − f (2.2] = 5[−3(14.778112) + 4(17.148957) − 19.855030)]
2.1 17.148957 0.2
2.2 19.855030 = 22.032310
1
[ f (2.1) − f (1.9] = 5(17.148957 − 12.7703199) = 22.228790
0.2
1 1
[ f (1.8) − 8 f (1.9) + 8 f (2.1) − f (2.2)] = [10.889365 − 8(12.703199)
1.2 1.2
+ 8(17.148957) − 19.855030]
= 22.166999.
Los métodos también se pueden deducir para encontrar aproximaciones para derivadas
superiores de una función que sólo usa valores tabulados de la función en diferentes puntos.
La deducción es algebraicamente tediosa, sin embargo, sólo se presentará un procedimiento
representativo.
Represente una función f mediante la expansión de un tercer polinomio de Taylor sobre
un punto x0 y evalúe x0 + h y x0 2 h. Entonces,
1 1 1 (4)
f (x0 + h) = f (x0 ) + f (x0 )h + f (x0 )h 2 + f (x0 )h 3 + f (ξ1 )h 4
2 6 24
y
1 1 1 (4)
f (x0 − h) = f (x0 ) − f (x0 )h + f (x0 )h 2 − f (x0 )h 3 + f (ξ−1 )h 4 ,
2 6 24
donde x0 − h < ξ−1 < x0 < ξ1 < x0 + h.
134 CAPÍTULO 4 Diferenciación numérica e integración
1 (4)
f (x0 + h) + f (x0 − h) = 2 f (x0 ) + f (x0 )h 2 + [ f (ξ1 ) + f (4) (ξ−1 )]h 4 .
24
1 h 2 (4)
f (x0 ) = [ f (x 0 − h) − 2 f (x 0 ) + f (x 0 + h)] − [ f (ξ1 ) + f (4) (ξ−1 )]. (4.8)
h2 24
Suponga que f (4) es continua en [x0 2 h, x0 1 h]. Puesto que 12 [ f (4) (ξ1 ) + f (4) (ξ−1 )] se
encuentra entre f (4) (ξ1 ) y f (4) (ξ−1 ), el teorema de valor intermedio implica que existe un
número j entre ξ1 y ξ−1 y, por lo tanto, en (x0 − h, x0 + h) con
1 (4)
f (4) (ξ ) = f (ξ1 ) + f (4) (ξ−1 ) .
2
Ejemplo 3 En el ejemplo 2 utilizamos los datos que se muestran en la tabla 4.3 para aproximar la pri-
mera derivada de f (x) 5 xex en x 5 2.0. Use la fórmula de la segunda derivada (4.9) para
Tabla 4.3 aproximar f 0(2.0).
x f (x)
Solución Los datos nos permiten determinar dos aproximaciones para f 0(2.0). Usando (4.9)
1.8 10.889365 con h 5 0.1 obtenemos
1.9 12.703199
2.0 14.778112 1
2.1 17.148957
[ f (1.9) − 2 f (2.0) + f (2.1)] = 100[12.703199 − 2(14.778112) + 17.148957]
0.01
2.2 19.855030
= 29.593200,
1
[ f (1.8) − 2 f (2.0) + f (2.2)] = 25[10.889365 − 2(14.778112) + 19.855030]
0.04
= 29.704275.
Puesto que f (x) = (x + 2)e x , el valor exacto es f (2.0) = 29.556224. Por lo tanto, los
errores reales son −3.70 × 10−2 y −1.48 × 10−1 , respectivamente.
1 h 2 (3)
f (x0 ) = [ f (x0 + h) − f (x0 − h)] − f (ξ1 ),
2h 6
4.1 Diferenciación numérica 135
Suponga que al evaluar f (x0 + h) y f (x0 − h), encontramos los errores de redondeo
e(x0 + h) y e(x0 − h). Entonces nuestros cálculos en realidad usan los valores f˜(x0 + h) y
f˜(x0 − h), que están relacionados con los valores verdaderos f (x0 1 h) y f (x0 2 h) mediante
se debe tanto al error de redondeo, la primera parte, como al error de truncamiento. Si supo-
nemos que los errores de redondeo e(x0 ± h) están acotados por algún número ε > 0 y que
la tercera derivada de f está acotada por un número M > 0, entonces
f˜(x0 + h) − f˜(x0 − h) ε h2
f (x0 ) − ≤ + M.
2h h 6
Para reducir el error de truncamiento h 2 M/6, necesitamos reducir h. Pero conforme h se re-
duce, el error de redondeo ε/ h crece. En la práctica, entonces, casi nunca es ventajoso dejar
que h sea demasiado pequeña, porque en este caso, el error de redondeo dominará los cálculos.
Ilustración Considere utilizar los valores en la tabla 4.4. Para aproximar f (0.900), donde f (x) = sen x.
. El verdadero valor es cos 0.900 5 0.62161. La fórmula
f (0.900 + h) − f (0.900 − h)
f (0.900) ≈ ,
2h
con diferentes valores de h, proporciona las aproximaciones en la tabla 4.5.
La mejor opción para h parece encontrarse entre 0.005 y 0.05. Podemos utilizar el cálcu-
ε h2
e(h) = + M,
h 6
√
en h = 3
3ε/M, donde
Puesto que los valores de f están determinados para cinco lugares decimales, supondremos
que el error de redondeo está limitado por ε = 5 × 10−6. Por lo tanto, la mejor opción de h
es aproximadamente
3 3(0.000005)
h= ≈ 0.028,
0.69671
que es consistente con los resultados en la tabla 4.6.
136 CAPÍTULO 4 Diferenciación numérica e integración
Sólo hemos considerado los problemas de error de redondeo presentados por la fór-
Tome en cuenta que las Al igual que los métodos de aproximación, la diferenciación numérica es inestable ya
aproximaciones por método de
que los valores pequeños de h necesarios para reducir el error de truncamiento también
diferencias pueden ser inestables.
causan que el error de redondeo crezca. Esta es la primera clase de métodos inestables que
hemos encontrado y, de ser posible, estas técnicas deberían evitarse. Sin embargo, además
de usarse para propósitos computacionales, las fórmulas son necesarias para aproximar las
soluciones de ecuaciones ordinarias y diferenciales parciales.
escrito por L. F. Richardson y J. A. Gaunt [RG] en 1927, la idea detrás de la técnica es mucho
más antigua. Un artículo interesante respecto a la historia y la aplicación de la extrapolación
se puede encontrar en [Joy].
La extrapolación se puede aplicar siempre que se sepa que una técnica de aproximación
tiene un término de error con un formato predecible, uno que depende de un parámetro, nor-
malmente el tamaño de paso h. Suponga que para cada número h = 0, tenemos una fórmula
N1 (h) que se aproxima a una constante M desconocida y que el error de truncamiento rela-
cionado con la aproximación tiene la forma
M − N1 (h) = K 1 h + K 2 h 2 + K 3 h 3 + · · · ,
Se asume que la fórmula se mantiene para todas las h positivas, por lo que reemplazamos el
parámetro h a la mitad de su valor. A continuación, tenemos una segunda fórmula de apro-
ximación O(h)
h h h2 h3
M = N1 + K1 + K2 + K3 + · · · . (4.11)
2 2 4 8
Restando dos veces la ecuación (4.11) de la ecuación (4.10) se elimina el término relaciona-
do con K1 y nos da
h h h2 h3
M = N1 + N1 − N2 (h) + K 2 − h2 + K3 − h3 + ··· .
2 2 2 4
(4.12)
h h
N2 (h) = N1 + N1 − N1 (h) .
2 2
K 2 2 3K 3 3
M = N2 (h) − h − h − ··· . (4.13)
2 4
Ejemplo 1 En el ejemplo 1 de la sección 4.1, utilizamos el método de diferencias hacia adelante con
h 5 0.1 y h 5 0.05 para encontrar aproximaciones para f (1.8) para f (x) 5 ln(x). Suponga
que esta fórmula tiene error de truncamiento O(h). Use la extrapolación en estos valores para
observar si esto resulta en una mejor aproximación.
Se encontró que los resultados h 5 0.1 y h 5 0.05 son precisos dentro de 1.5 3 1022 y 7.7
3 1023, respectivamente. Puesto que f (1.8) = 1/1.8 = 0.5, el valor extrapolado es preciso
dentro de 2.7 3 1024.
La extrapolación se puede aplicar siempre que el error de truncamiento para una fórmula
tenga la forma
m−1
K j h α j + O(h αm )
j=1
138 CAPÍTULO 4 Diferenciación numérica e integración
para un conjunto de constantes Kj y cuando α1 < α2 < α3 < · · · < αm. Muchas fórmulas
utilizadas en la extrapolación tienen errores de truncamiento que sólo contienen potencias
pares de h, es decir, tienen la forma
M = N1 (h) + K 1 h 2 + K 2 h 4 + K 3 h 6 + · · · . (4.14)
La extrapolación es mucho más efectiva cuando todas las potencias de h están presentes de-
bido a que el proceso de promediar genera resultados con errores O(h 2 ), O(h 4 ), O(h 6 ), . . .,
con esencialmente, ningún incremento en el cálculo, sobre los resultados con errores
O(h), O(h 2 ), O(h 3 ), . . . .
Suponga que la aproximación tiene la forma de la ecuación (4.14). Al reemplazar h con
h / 2 obtenemos la fórmula de aproximación O(h2)
h h2 h4 h6
M = N1 + K1 + K2 + K3 + ··· .
2 4 16 64
Al restar cuatro veces esta ecuación de la ecuación (4.14), se elimina el término h2,
h h4 h6
3M = 4N1 − N1 (h) + K 2 − h4 + K3 − h6 + ··· .
2 4 16
1 h K2 h4 K3 h6
M= 4N1 − N1 (h) + − h4 + − h6 + ··· .
3 2 3 4 3 16
1 h h 1 h
N2 (h) = 4N1 − N1 (h) = N1 + N1 − N1 (h)
3 2 2 3 2
h4 5h 6
M = N2 (h) − K 2 − K3 + ··· . (4.15)
4 16
Ahora reemplace h en la ecuación (4.15) con h / 2 para producir una segunda fórmula O(h4)
h h4 5h 6
M = N2 − K2 − K3 − ··· .
2 64 1024
h 15h 6
15M = 16N2 − N2 (h) + K 3 + ··· .
2 64
1 h h6
M= 16N2 − N2 (h) + K 3 + ··· .
15 2 64
1 h h 1 h
N3 (h) = 16N2 − N2 (h) = N2 + N2 − N2 (h) .
15 2 2 15 2
4.2 Extrapolación de Richardson 139
M = N1 (h) + K 1 h 2 + K 2 h 4 + K 3 h 6 + · · · . (4.16)
Ejemplo 2 El teorema de Taylor se puede utilizar para mostrar que la fórmula de diferencias centradas
en la ecuación (4.5) para aproximar f (x0 ) se puede expresar con una fórmula de error:
1 h2 h 4 (5)
f (x0 ) = [ f (x0 + h) − f (x0 − h)] − f (x0 ) − f (x0 ) − · · · .
2h 6 120
Encuentre las aproximaciones de orden O(h2), O(h4), y O(h6) para f 9(2.0) cuando f 5 xex y
h 5 0.2.
Solución Probablemente, las constantes K 1 = − f (x0 )/6, K 2 = − f (5) (x0 )/120, · · · , se-
rán desconocidas, sin embargo, esto no es importante. Sólo necesitamos saber que estas
h2 h 4 (5)
f (x0 ) = N1 (h) − f (x0 ) − f (x0 ) − · · · , (4.17)
6 120
donde
1
N1 (h) = [ f (x0 + h) − f (x0 − h)].
2h
Esto nos da las primeras aproximaciones O(h2)
1
N1 (0.2) = [ f (2.2) − f (1.8)] = 2.5(19.855030 − 10.889365) = 22.414160
0.4
1
N1 (0.1) = [ f (2.1) − f (1.9)] = 5(17.148957 − 12.703199) = 22.228786.
0.2
Al combinarlas para producir la primera aproximación O(h4) obtenemos
1 1
N2 (0.2) = N1 (0.1) + (N1 (0.1) − N1 (0.2)) = 22.228786 + (22.228786 − 22.414160)
3 3
= 22.166995.
4.2 Extrapolación de Richardson 141
1 1
f (x0 − h) = f (x0 ) − f (x0 )h + f (x0 )h 2 − f (x0 )h 3
2 6
1 (4) 1 (5)
+ f (x0 )h 4 − f (ξ2 )h 5 , (4.19)
24 120
h3 h 5 (5)
f (x0 + h) − f (x0 − h) = 2h f (x0 ) + f (x0 ) + [ f (ξ1 ) + f (5) (ξ2 )], (4.20)
3 120
lo cual implica que
1 h2 h 4 (5)
f (x0 ) = [ f (x0 + h) − f (x0 − h)] − f (x0 ) − [ f (ξ1 ) + f (5) (ξ2 )].
2h 6 240
Si f (5) es continua en [ x0 − h, x0 + h], el teorema del valor intermedio 1.11 implica que
existe un número ξ̃ en (x0 − h, x0 + h) con
1 (5)
f (5) (ξ̃ ) = f (ξ1 ) + f (5) (ξ2 ) .
2
Como consecuencia, tenemos la aproximación O(h2)
1 h2 h 4 (5)
f (x0 ) = [ f (x0 + h) − f (x0 − h)] − f (x0 ) − f (ξ̃ ). (4.21)
2h 6 120
A pesar de que la aproximación en la ecuación (4.21) es igual a la que se obtuvo en la
fórmula de tres puntos en la ecuación (4.5), ahora, el punto desconocido de evaluación se
presenta en f (5) en lugar de en f -. La extrapolación aprovecha esto al reemplazar primero h
en la ecuación (4.21) con 2h para producir la nueva fórmula
1 4h 2 16h 4 (5)
f (x0 ) = [ f (x0 + 2h) − f (x0 − 2h)] − f (x0 ) − f (ξ̂ ), (4.22)
4h 6 120
donde ξ̂ se encuentra entre x0 − 2h y x0 + 2h.
Al multiplicar la ecuación (4.21) por 4 y restar la ecuación (4.22) produce
2 1
3 f (x0 ) = [ f (x0 + h) − f (x0 − h)] − [ f (x0 + 2h) − f (x0 − 2h)]
h 4h
h 4 (5) 2h 4 (5)
− f (ξ̃ ) + f (ξ̂ ).
30 15
Incluso si f (5) es continua en [x0 − 2h, x0 + 2h], el teorema de valor intermedio 1.11 no
se puede aplicar como lo hicimos para derivar la ecuación (4.21) porque tenemos la diferen-
cia de términos relacionados con f (5). Sin embargo, es posible usar un método alterno para
mostrar que f (5) (ξ̃ ) y f (5) (ξ̂ ) se puede seguir reemplazando con un valor común f (5) (ξ ).
Al suponer esto y dividir entre 3 produce la fórmula del punto medio de cinco puntos la
ecuación (4.6) que observamos en la sección 4.1:
1 h 4 (5)
f (x0 ) = [ f (x0 − 2h) − 8 f (x0 − h) + 8 f (x0 + h) − f (x0 + 2h)] + f (ξ ).
12h 30
Otras fórmulas para las primeras derivadas y las derivadas superiores se pueden deducir
de manera similar. Consulte, por ejemplo, el ejercicio 8.
A lo largo del texto se utiliza la técnica de extrapolación. Las aplicaciones más promi-
nentes se presentan al aproximar las integrales en la sección 4.5 y al determinar soluciones
aproximadas para las ecuaciones diferenciales en la sección 5.8.
142 CAPÍTULO 4 Diferenciación numérica e integración
La regla trapezoidal
b
Para derivar la regla trapezoidal (o regla del trapecio) para aproximar a f (x) d x, sean
x0 = a, x1 = b, h = b − a y utilice el polinomio de Lagrange
(x − x1 ) (x − x 0 )
P1 (x) = f (x0 ) + f (x1 ).
(x0 − x1 ) (x1 − x0 )
4.3 Elementos de integración numérica 143
Entonces
b x1
(x − x1 ) (x − x 0 )
f (x) d x = f (x0 ) + f (x1 ) d x
a x0 (x0 − x1 ) (x1 − x0 )
(4.23)
1 x1
+ f (ξ(x))(x − x0 )(x − x1 ) d x.
2 x0
El producto (x − x0 )(x − x1 ) no cambia de signo en [x0, x1], por lo que el teorema del valor
promedio ponderado para integrales 1.13 se puede aplicar al término de error para obtener,
para algunos j en (x0, x1),
x1 x1
f (ξ(x))(x − x0 )(x − x1 ) d x = f (ξ ) (x − x0 )(x − x1 ) d x
x0 x0
Cuando usamos el término x1
x3 (x1 + x0 ) 2
trapezoidal, nos referimos a
= f (ξ ) − x + x0 x1 x
3 2 x0
al menos dos lados paralelos. El
3
h
es trapezium. Para confundir =− f (ξ ).
más el tema, la palabra europea 6
trapezoidal
de cuatro lados sin ningún lado Por consiguiente, la ecuación (4.23) implica que
igual y la palabra estadounidense
x1
b
(x − x1 )2 (x − x0 )2 h3
trapezium. f (x) d x = f (x0 ) + f (x1 ) − f (ξ )
a 2(x0 − x1 ) 2(x1 − x0 ) x0 12
3
(x1 − x0 ) h
= [ f (x0 ) + f (x1 )] − f (ξ ).
2 12
Regla trapezoidal:
b
h h3
[ f (x0 ) + f (x1 )] −
f (x) d x = f (ξ ).
a 2 12
Esto recibe el nombre de regla trapezoidal porque cuando f es una función con valores
b
positivos, a f (x) d x se aproxima mediante el área de un trapecio, como se muestra en la
Figura 4.3
y
y 5 f (x)
y 5 P1(x)
a 5 x0 x1 5 b x
El término de error para la regla trapezoidal implica f 0, por lo que la regla da el resultado
exacto cuando se aplica a cualquier función cuya segunda derivada es idénticamente cero, es
decir, cualquier polinomio de grado uno o menos.
144 CAPÍTULO 4 Diferenciación numérica e integración
Regla de Simpson
La regla de Simpson resulta de la integración sobre [a, b] del segundo polinomio de
Lagrange con nodos igualmente espaciados x0 = a, x2 = b, y x1 = a + h, en don-
de h = (b − a)/2. (véase
Figura 4.4
y
y 5 f (x)
y 5 P2(x)
a 5 x0 x1 x2 5 b x
Por lo tanto,
b x2
(x − x1 )(x − x2 ) (x − x0 )(x − x2 )
f (x) d x = f (x0 ) + f (x1 )
a x0 (x0 − x1 )(x0 − x2 ) (x1 − x0 )(x1 − x2 )
(x − x0 )(x − x1 )
+ f (x2 ) d x
(x2 − x0 )(x2 − x1 )
x2
(x − x0 )(x − x1 )(x − x2 ) (3)
+ f (ξ(x)) d x.
x0 6
Al deducir la regla de Simpson de esta forma, sin embargo, da un solo término de error O(h4)
relacionado con f (3). Al aproximar el problema de otra forma, se puede derivar otro término
de orden superior relacionado con f (4).
Para ilustrar este método alternativo, suponga que f se expande en el tercer polinomio de
Taylor alrededor de x1. Entonces, para cada x en [x0, x2], existe un número j(x) en (x0, x2) con
f (x1 ) f (x1 )
f (x) = f (x1 ) + f (x1 )(x − x1 ) + (x − x1 )2 + (x − x1 )3
2 6
f (4) (ξ(x))
+ (x − x1 )4
24
y
x2
f (x1 ) f (x1 )
f (x) d x = f (x1 )(x − x1 ) + (x − x1 )2 + (x − x1 )3
x0 2 6
x2
f (x1 ) 1 x2
+ (x − x1 )4 + f (4) (ξ(x))(x − x1 )4 d x. (4.24)
24 x0 24 x0
Puesto que (x 2 x1)4 nunca es negativo en [x0, x2], el teorema de valor promedio ponderado
para las integrales 1.13 implica que
x2
1 x2
f (4) (ξ1 ) x2
f (4) (ξ1 )
f (4) (ξ(x))(x − x1 )4 d x = (x − x1 )4 d x = (x − x1 )5 ,
24 x0 24 x0 120 x0
4.3 Elementos de integración numérica 145
mientras
Con métodos alternos se puede mostrar (consulte el ejercicio 26) que los valores ξ1 y ξ2 en
Thomas Simpson (1710–1761) esta expresión se pueden reemplazar mediante un valor común ξ en (x0 , x2 ). Esto da la regla
fue un matemático autodidacta de Simpson.
que en sus primeros años se
ganaba la vida como tejedor. Su Regla de Simpson:
principal interés fue la teoría
x2
h h 5 (4)
f (x) d x = [ f (x0 ) + 4 f (x1 ) + f (x2 )] − f (ξ ).
de la probabilidad, aunque en
1750 publicó un libro de cálculo
x0 3 90
de dos volúmenes titulado
The Doctrine and Application
of Fluxions (La doctrina y El término de error en la regla de Simpson implica la cuarta derivada de f, por lo que da
. resultados exactos cuando se aplica a cualquier polinomio de grado tres o menos.
2
Ejemplo 1 Compare las aproximaciones de la regla trapezoidal y de la regla de Simpson para 0 f (x) d x
cuando f (x) es
a) x2
√ b) x4 c) (x + 1)−1
d) 1 + x2 e) sen x f) ex
Solución En [0, 2], las reglas trapezoidal y de Simpson tiene las formas
2
Trapezoidal: f (x) d x ≈ f (0) + f (2) y
0
2
1
De Simpson: f (x) d x ≈ [ f (0) + 4 f (1) + f (2)].
0 3
Precisión de medición
Las derivadas estándar de las fórmulas de error de cuadratura están basadas al determinar la
clase de polinomios para los que estas fórmulas producen resultados exactos. La siguiente
Definición 4.1 El grado de precisión, o precisión, de una fórmula de cuadratura es el mayor entero positivo n,
de tal forma que la fórmula es exacta para xk, para cada k = 0, 1, . . . , n.
-
La precisión mejorada de la
cisión uno y tres, respectivamente.
regla de Simpson sobre la regla
trapezoidal se explica de manera La integración y la sumatoria son operaciones lineales; es decir,
intuitiva con el hecho de que la b b b
regla de Simpson incluye una
evaluación de punto medio que
(α f (x) + βg(x)) d x = α f (x) d x + β g(x) d x
a a a
proporciona mejor equilibrio
para la aproximación.
y
n n n
(α f (xi ) + βg(xi )) = α f (xi ) + β g(xi ),
i=0 i=0 i=0
para cada par de funciones integrables f y g y cada par de constantes reales a y b. Esto
implica (consulte el ejercicio 25) que
Figura 4.5 y
y = Pn(x)
y = f (x)
a 5 x0 x1 x2 xn21 xn 5 b x
4.3 Elementos de integración numérica 147
donde
xn xn n
(x − x j )
ai = L i (x) d x = d x.
x0 x0 j=0
(x i − xj)
j =i
n 5 1: Regla trapezoidal
x1
h h3
f (x) d x = [ f (x0 ) + f (x1 )] − f (ξ ), donde x0 < ξ < x1 . (4.25)
x0 2 12
n 5 2: Regla de Simpson
x2
h h 5 (4)
f (x) d x = [ f (x0 ) + 4 f (x1 ) + f (x2 )] − f (ξ ), donde x0 < ξ < x2 .
x0 3 90
(4.26)
x3
3h 3h 5 (4)
f (x) d x = [ f (x0 ) + 3 f (x1 ) + 3 f (x2 ) + f (x3 )] − f (ξ ), (4.27)
x0 8 80
donde x0 < ξ < x3 .
148 CAPÍTULO 4 Diferenciación numérica e integración
n 5 4:
x4
2h 8h 7 (6)
f (x) d x = [7 f (x0 ) + 32 f (x1 ) + 12 f (x2 ) + 32 f (x3 ) + 7 f (x4 )] − f (ξ ),
x0 45 945
donde x0 < ξ < x4 . (4.28)
b
donde ai = L i (x) d x.
a
Figura 4.6
y = Pn(x)
y = f (x)
a 5 x21 x0 x1 x2 xn xn11 5 b x
Observe que, como en el caso de métodos cerrados, tenemos el grado de precisión com-
parativamente superior para los métodos pares que para los métodos impares.
Algunas de las fórmulas de Newton-Cotes abiertas comunes con sus términos de error
son las siguientes:
x1
h3
f (x) d x = 2h f (x0 ) + f (ξ ), donde x−1 < ξ < x1 . (4.29)
x−1 3
n 5 1:
x2
3h 3h 3
f (x) d x = [ f (x0 ) + f (x1 )] + f (ξ ), donde x−1 < ξ < x2 . (4.30)
x−1 2 4
n 5 2:
x3
4h 14h 5 (4)
f (x) d x = [2 f (x0 ) − f (x1 ) + 2 f (x2 )] + f (ξ ), (4.31)
x−1 3 45
donde x−1 < ξ < x3 .
n 5 3:
x4
5h 95 5 (4)
f (x) d x = [11 f (x0 ) + f (x1 ) + f (x2 ) + 11 f (x3 )] + h f (ξ ), (4.32)
x−1 24 144
donde x−1 < ξ < x4 .
Ejemplo 2 Compare los resultados de las fórmulas cerradas y abiertas de Newton-Cotes como la ecua-
ción (4.25) a la (4.28) y la ecuación (4.29) a la (4.32) para aproximar
π/4 √
sen x d x = 1 − 2/2 ≈ 0.29289322.
0
(π/4) π
n=1: sen 0 + sen ≈ 0.27768018
2 4
(π/8) π π
n=2: sen 0 + 4 sen + sen ≈ 0.29293264
3 8 4
3(π/12) π π π
n=3: sen 0 + 3 sen + 3 sen + sen ≈ 0.29291070
8 12 6 4
2(π/16) π π 3π π
n=4: 7 sen 0 + 32 sen + 12 sen + 32 sen + 7 sen ≈ 0.29289318
45 16 8 16 4
150 CAPÍTULO 4 Diferenciación numérica e integración
π
n = 0 : 2(π/8) sen ≈ 0.30055887
8
3(π/12) π π
n=1: sen + sen ≈ 0.29798754
2 12 6
4(π/16) π π 3π
n=2: 2 sen − sen + 2 sen ≈ 0.29285866
3 16 8 16
5(π/20) π π 3π π
n=3: 11 sen + sen + sen + 11 sen ≈ 0.29286923
24 20 10 20 5
Tabla 4.8 n 0 1 2 3 4
Fórmulas cerradas 0.27768018 0.29293264 0.29291070 0.29289318
Error 0.01521303 0.00003942 0.00001748 0.00000004
Fórmulas abiertas 0.30055887 0.29798754 0.29285866 0.29286923
Error 0.00766565 0.00509432 0.00003456 0.00002399
fórmulas son difíciles de obtener. Además, las fórmulas de Newton-Cotes están basadas en
los polinomios de interpolación que utilizan nodos igualmente espaciados, un procedimiento
inapropiado sobre intervalos largos debido a la naturaleza oscilatoria de los polinomios de
orden superior.
A menudo, la aproximación por
tramos es efectiva. Recuerde que
En esta sección, analizamos el enfoque por tramos (o fragmentario) para la integración
esto se usó para interpolación de numérica que usa las fórmulas de Newton-Cotes de bajo orden. Estas son las técnicas que se
spline. aplican más a menudo.
4
Ejemplo 1 Use la regla de Simpson para aproximar 0 e x d x y compare esto con los resultados obteni-
2 4
dos mediante la suma de las aproximaciones de Simpson para 0 e x dx y 2 e x d x y al sumar
1 x 2 x 3 x 4 x
éstas con 0 e d x, 1 e d x, 2 e d x, y 3 e d x.
4
2 0
ex d x ≈ (e + 4e2 + e4 ) = 56.76958.
0 3
Al aplicar la regla de Simpson en cada uno de los intervalos [0, 2] y [2, 4] con h 5 1 da
4 2 4
ex d x = ex d x + ex d x
0 0 2
1 0 1 2
≈ e + 4e + e2 + e + 4e3 + e4
3 3
1 0
= e + 4e + 2e2 + 4e3 + e4
3
= 53.86385.
Figura 4.7
y
y 5 f (x)
b n/2 x2 j
f (x) d x = f (x) d x
a j=1 x2 j−2
n/2
h h 5 (4)
= [ f (x2 j−2 ) + 4 f (x2 j−1 ) + f (x2 j )] − f (ξ j ) ,
j=1
3 90
152 CAPÍTULO 4 Diferenciación numérica e integración
para algunos ξ j con x2 j−2 < ξ j < x2 j, siempre que f ∈ C [a, b]. A través del hecho de
4
n/2 n/2
b
h h5
(n/2)−1
f (x) d x = f (x0 ) + 2 f (x2 j ) + 4 f (x2 j−1 ) + f (xn ) − f (4) (ξ j ).
a 3 j=1 j=1
90 j=1
tenemos
n/2
n n
mín f (4) (x) ≤ f (4) (ξ j ) ≤ máx f (4) (x)
2 x∈[a,b] j=1
2 x∈[a,b]
y
n/2
2
mín f (4) (x) ≤ f (4) (ξ j ) ≤ máx f (4) (x).
x∈[a,b] n j=1
x∈[a,b]
Por medio del teorema de valor intermedio 1.11, existe m ∈ (a, b) tal que
n/2
2
f (4)
(µ) = f (4) (ξ j ).
n j=1
Por lo tanto,
n/2
h5 h5
E( f ) = − f (4) (ξ j ) = − n f (4) (µ),
90 j=1
180
(b − a) 4 (4)
E( f ) = − h f (µ).
180
n/2
b
h b − a 4 (4)
(n/2)−1
f (x) d x = f (a) + 2 f (x2 j ) + 4 f (x2 j−1 ) + f (b) − h f (µ).
a 3 j=1 j=1
180
4.4 Integración numérica compuesta 153
Observe que el término de error para la regla compuesta de Simpson es O(h4), mientras
que era O(h5) para la regla estándar de Simpson. Sin embargo, estos índices no son compara-
bles ya que para la regla estándar de Simpson, tenemos h h = (b − a)/2, pero para la
regla compuesta de Simpson, tenemos h = (b−a)/n, para n un entero par. Esto nos permite
reducir considerablemente el valor de h.
El algoritmo 4.1 utiliza la regla compuesta de Simpson en n subintervalos. Éste es el
algoritmo de cuadratura que se usa con mayor frecuencia para propósito general.
Figura 4.8
y 5 f (x)
a 5 x0 x1 x j21 xj x n21 b 5 xn x
154 CAPÍTULO 4 Diferenciación numérica e integración
n−1
b
h b−a 2
f (x) d x = f (a) + 2 f (x j ) + f (b) − h f (µ).
a 2 j=1
12
Para la regla compuesta de punto medio, n debe ser, nuevamente, par (véase
4.9.)
Figura 4.9
y
y 5 f (x)
Teorema 4.6 Si f ∈ C 2 [a, b], n es par, h = (b − a)/(n + 2), y x j = a + ( j + 1)h para cada j 5
−1, 0, . . . , n + 1. Existe m ∈ (a, b) para el que la regla compuesta de punto medio para n 1 2
subintervalos se puede reescribir con su término de error como
b n/2
b−a 2
f (x) d x = 2h f (x2 j ) + h f (µ).
a j=0
6
Ejemplo 2 Determine valores de h que garantizarán un error de aproximación menor que 0.00002 al
aproximar 0 sen x d x y usar
π
Solución a) La forma de error para la regla trapezoidal compuesta para f (x) = sen x en [0, π ]
es
π h2 π h2 π h2
f (µ) = (− sen µ) = | sen µ|.
12 12 12
π h2 π h2
| sen µ| ≤ < 0.00002.
12 12
π h 4 (4) π h4 π h4
f (µ) = sen µ = | sen µ|.
180 180 180
π h4 π h4
| sen µ| ≤ < 0.00002.
180 180
8 9
π
π jπ (2 j − 1)π
sen x d x ≈ 2 sen +4 sen = 2.0000104.
0 54 j=1
9 j=1
18
17 17
π
π jπ π jπ
sen x d x ≈ 2 sen + sen 0 + sen π = 2 sen
36 18 36 18
0 j=1 j=1
= 1.9949205,
para la regla compuesta de Simpson. Además del hecho de que se necesitan menos cálcu-
los para la técnica de Simpson, usted podría sospechar que este método también implica
menos error de redondeo. Sin embargo, una propiedad importante compartida por todas
las técnicas de integración compuesta es una estabilidad respecto al error de redondeo.
Es decir, el error de redondeo no depende del número cálculos realizados.
Se espera que la integración
numérica sea estable, mientras
Para demostrar este hecho considerablemente sorprendente, suponga que aplicamos la
que la diferenciación numérica es regla compuesta de Simpson con n subintervalos a una función f en [a, b] y determine
inestable. la máxima cota para el error de redondeo. Suponga que f (xi ) se aproxima mediante f˜(xi )
y que
donde ei denota el error de redondeo asociado con el uso de f˜(xi ) para aproximar f (xi ).
Entonces, el error acumulado, e(h), en la regla compuesta de Simpson es
n/2
h
(n/2)−1
e(h) = e0 + 2 e2 j + 4 e2 j−1 + en
3 j=1 j=1
n/2
h
(n/2)−1
≤ |e0 | + 2 |e2 j | + 4 |e2 j−1 | + |en | .
3 j=1 j=1
h n n h
e(h) ≤ ε+2 −1 ε+4 ε + ε = 3nε = nhε.
3 2 2 3
e(h) ≤ (b − a)ε,
n−1
b
h (b − a) f (µ) 2
f (x) d x = f (a) + 2 f (x j ) + f (b) − h ,
a 2 j=1
12
n−1
b
h
f (x) d x = f (a) + 2 f (x j ) + f (b) + K 1 h 2 + K 2 h 4 + K 3 h 6 + · · · ,
a 2 j=1 (4.33)
donde Ki es una constante que depende solamente de f (2i−1) (a) y f (2i−1) (b).
4.5 Integración de Romberg 157
para un conjunto de constantes Kj y donde α1 < α2 < α3 < · · · < αm . En esa sección reali-
zamos demostraciones para ilustrar qué tan efectiva es esta técnica cuando el procedimiento
de aproximación tiene un error de truncamiento sólo con potencias pares de h, es decir,
cuando el error de truncamiento tiene la forma
m−1
K j h 2 j + O(h 2m ).
j=1
Werner Romberg (1909–2093) Puesto que la regla trapezoidal compuesta tiene esta forma, es un candidato obvio para extra-
concibió este procedimiento para polación. Esto resulta en una técnica conocida como integración de Romberg.
b
mejorar la precisión de la regla Para aproximar la integral a f (x) d x, utilizamos los resultados de la regla compues-
trapezoidal al eliminar términos ta trapezoidal con n = 1, 2, 4, 8, 16, . . . , e indicamos las aproximaciones resultantes, res-
sucesivos en la expansión
asintótica en 1955. pectivamente mediante R1,1, R2,1, R3,1, y así sucesivamente. A continuación, aplicamos la
extrapolación de la forma determinada en la sección 4.2; es decir, obtenemos O(h4) aproxi-
maciones R2,2, R3,2, R4,2, y así sucesivamente, por medio de
1
Rk,2 = Rk,1 + (Rk,1 − Rk−1,1 ), para k = 2, 3, . . .
3
y, entonces, las O(h6) aproximaciones R3,3, R4,3, R5,3, se pueden obtener mediante
1
Rk,3 = Rk,2 + (Rk,2 − Rk−1,2 ), para k = 3, 4, . . .
15
En general, después de que se han obtenido las aproximaciones Rk, j−1 adecuadas, determi-
namos las aproximaciones O(h 2 j ) a partir de
1
Rk, j = Rk, j−1 + (Rk, j−1 − Rk−1, j−1 ), para k = j, j + 1, . . .
4 j−1 −1
Use la regla compuesta trapezoidal para encontrar aproximaciones para 0 sen x d x con
π
Ejemplo 1
n 5 1, 2, 4, 8 y 16. A continuación, realice la integración de Romberg en los resultados.
La regla compuesta trapezoidal para los diferentes valores de n proporciona las siguientes
aproximaciones para el valor verdadero 2:
π
R1,1 = [sen 0 + sen π] = 0,
2
π π
R2,1 = sen 0 + 2 sen + sen π = 1.57079633,
4 2
π π π 3π
R3,1 = sen 0 + 2 sen + sen + sen + sen π = 1.89611890,
8 4 2 4
π π π 3π 7π
R4,1 = sen 0 + 2 sen + sen + · · · + sen + sen + sen π
16 8 4 4 8
=1.97423160, y
π π π 7π 15π
R5,1 = sen 0 + 2 sen + sen + · · · + sen + sen + sen π
32 16 8 8 16
= 1.99357034.
158 CAPÍTULO 4 Diferenciación numérica e integración
1
R2,2 = R2,1 + (R2,1 − R1,1 ) = 2.09439511,
3
1
R3,2 = R3,1 + (R3,1 − R2,1 ) = 2.00455976,
3
1
R4,2 = R4,1 + (R4,1 − R3,1 ) = 2.00026917, y
3
1
R5,2 = R5,1 + (R5,1 − R4,1 ) = 2.00001659.
3
1
R3,3 = R3,2 + (R3,2 − R2,2 ) = 1.99857073,
15
1
R4,3 = R4,2 + (R4,2 − R3,2 ) = 1.99998313, y
15
1
R5,3 = R5,2 + (R5,2 − R4,2 ) = 1.99999975.
15
1 1
R4,4 = R4,3 + (R4,3 − R3,3 ) = 2.00000555 y R5,4 = R5,3 + (R5,3 − R4,3 )
63 63
= 2.00000001,
y la aproximación O(h10
1
R5,5 = R5,4 + (R5,4 − R4,4 ) = 1.99999999.
255
Estos resultados se muestran en la tabla 4.9.
Tabla 4.9 0
1.57079633 2.09439511
1.89611890 2.00455976 1.99857073
1.97423160 2.00026917 1.99998313 2.00000555
1.99357034 2.00001659 1.99999975 2.00000001 1.99999999
h1 (b − a)
R1,1 = [ f (a) + f (b)] = [ f (a) + f (b)],
2 2
4.5 Integración de Romberg 159
h2
R2,1 = [ f (a) + f (b) + 2 f (a + h 2 )].
2
Al reescribir este resultado para R2,1, podemos incorporar la aproximación previamente
determinada R1,1
(b − a) (b − a) 1
R2,1 = f (a) + f (b) + 2 f a+ = [R1,1 + h 1 f (a + h 2 )].
4 2 2
1
R3,1 = {R2,1 + h 2 [ f (a + h 3 ) + f (a + 3h 3 )]},
2
y, en general (véase
2k−2
1
Rk,1 = Rk−1,1 + h k−1 f (a + (2i − 1)h k ) ,
2
(4.34)
i=1
Figura 4.10
y y y
a b x a b x a b x
1
Rk, j = Rk, j−1 + (Rk, j−1 − Rk−1, j−1 ), para k = j, j + 1, . . . ,
4 j−1 −1
como se muestra en la tabla 4.10.
Tabla 4.10 k O h 2k O h 4k O h 6k O h 8k O h 2n
k
1 R1,1
2 R2,1 R2,2
3 R3,1 R3,2 R3,3
4 R4,1 R4,2 R4,3 R4,4
.. .. .. .. .. ..
. . . . . .
n Rn,1 Rn,2 Rn,3 Rn,4 ··· Rn,n
160 CAPÍTULO 4 Diferenciación numérica e integración
El método efectivo para construir la tabla de Romberg utiliza el orden más alto de la
R1,1, R2,1, R2,2,
R3,1, R3,2, R3,3, y así sucesivamente. Esto también permite calcular una
en la tabla al realizar sólo una aplicación adicional de la regla compuesta trapezoidal. A con-
tinuación, usa un promediado simple de los valores previamente calculados para obtener las
sen x d x.
π
Ejemplo 2 0
Solución
24
1 π (2k − 1)π
R6,1 = R5,1 + sen = 1.99839336.
2 16 k=1
32
1 1
R6,2 = R6,1 + (R6,1 − R5,1 ) = 1.99839336 + (1.99839336 − 1.99357035)
3 3
= 2.00000103,
1 1
R6,3 = R6,2 + (R6,2 − R5,2 ) = 2.00000103 + (2.00000103 − 2.00001659)
15 15
= 2.00000000,
1 1
R6,4 = R6,3 + (R6,3 − R5,3 ) = 2.00000000, R6,5 = R6,4 + (R6,4 − R5,4 )
63 255
= 2.00000000,
1
y R6,6 = R6,5 + 1023 (R6,5 − R5,5 ) = 2.00000000. La nueva tabla de extrapolación se mues-
tra en la tabla 4.11.
Tabla 4.11 0
1.57079633 2.09439511
1.89611890 2.00455976 1.99857073
1.97423160 2.00026917 1.99998313 2.00000555
1.99357034 2.00001659 1.99999975 2.00000001 1.99999999
1.99839336 2.00000103 2.00000000 2.00000000 2.00000000 2.00000000
la segunda columna) son más precisos que la mejor aproximación compuesta trapezoidal (en la
ólo
la sexta en la columna izquierda requiere evaluaciones de función ya que son las únicas en-
tradas generadas por la regla compuesta trapezoidal; las otras entradas se obtienen mediante
un proceso de promediado. De hecho, debido a la relación de recurrencia de los términos
en la columna izquierda, las únicas evaluaciones de función son aquellas para calcular la
aproximación de la regla compuesta trapezoidal. En general, Rk,1 requiere evaluaciones de
función 1 + 2k−1, por lo que en este caso se necesita 1 + 25 = 33.
4.5 Integración de Romberg 161
la integral que se está aproximando, es común generar aproximaciones hasta que no sólo
|Rn−1,n−1 − Rn,n | esté dentro de la tolerancia, sino también |Rn−2,n−2 − Rn−1,n−1 |. A pesar
de que no es una protección universal, esto garantizará que dos conjuntos de aproximaciones
Rn,n
Figura 4.11
0.5
0.4
0.3
y (x) = e23xsen 4x
0.2
0.1
1
2
2 3 4 x
20.1
integral en este intervalo. Este es un ejemplo de una situación en donde la integración com-
puesta sería inadecuada. Se podría usar un método de orden bajo en [2, 4], pero se necesitaría
un método de orden superior en [0, 2].
• ¿Cómo podemos determinar la técnica que deberíamos aplicar en las diferentes partes del
Veremos que en ciertas condiciones razonables, podemos responder esta pregunta y también
determinar aproximaciones que satisfacen requisitos de precisión determinados.
Si el error de aproximación para una integral en un intervalo determinado está distri-
buido de manera equitativa, se necesita un tamaño de paso más pequeño para las grandes
4.6 Métodos de cuadratura adaptable 163
h
S(a, b) = [ f (a) + 4 f (a + h) + f (b)].
3
Figura 4.12
y
S(a, b) y 5 f (x)
a b x
h h
a+b h h
S a, = f (a) + 4 f a+ + f (a + h)
2 6 2
164 CAPÍTULO 4 Diferenciación numérica e integración
a+b h 3h
S ,b = f (a + h) + 4 f a+ + f (b) .
2 6 2
Figura 4.13
(
S a,
a1b
2 (
1S
a1b
2
(, b (
y 5 f (x)
a a1b b x
2
h
2
El cálculo de error se deriva al suponer que ξ ≈ ξ̃ o, con mayor precisión, que f (4) (ξ ) ≈
f (ξ̃ ), y el éxito de la técnica depende de la precisión de esta suposición. Si es precisa,
(4)
por lo que
b
a+b a+b
f (x) d x − S a, −S ,b
a 2 2
1 h5 1 a+b a+b
≈ f (4) (ξ ) ≈ S(a, b) − S a, −S ,b .
16 90 15 2 2
4.6 Métodos de cuadratura adaptable 165
b
Esto implica que S(a, (a + b)/2) + S((a + b)/2, b) se aproxima a a f (x) d x aproxima-
damente 15 veces mejor que lo que concuerda con el valor calculado S(a, b). Por lo tanto, si
a+b a+b
S(a, b) − S a, −S ,b < 15ε, (4.38)
2 2
esperamos tener
b
a+b a+b
f (x) d x − S a, −S ,b < ε, (4.39)
a 2 2
a+b a+b
S a, +S ,b
2 2
b
a f (x) d x.
Ejemplo 1
al aplicar la integral
π/2
sen x d x = 1
0
al comparar
1 π π π π π/2
π π π
S 0, − S 0, −S , con sen x d x − S 0, −S , .
15 2 4 4 2 0 4 4 2
Solución
π π/4 π π π √
S 0, = sen 0 + 4 sen + sen = (2 2 + 1) = 1.002279878
2 3 4 2 12
π π π π/8 π π 3π π
S 0, +S , = sen 0 + 4 sen + 2 sen + 4 sen + sen
4 4 2 3 8 4 8 2
= 1.000134585.
Por lo que,
π π π π
S 0, − S 0, −S , = |1.002279878 − 1.000134585| = 0.002145293.
2 4 4 2
El cálculo para el error obtenido al utilizar S(a, (a + b)) + S((a + b), b) para aproximar
b
a f (x) d x es, por consiguiente,
1 π π π π
S 0, − S 0, −S , = 0.000143020,
15 2 4 4 2
166 CAPÍTULO 4 Diferenciación numérica e integración
precisión. y recordar las evaluaciones funcionales que se han calculado antes para los nodos en los
subintervalos situados a la mitad derecha. Los pasos 3, 4 y 5 contienen un procedimiento de
apilamiento con un indicador para seguir los datos requeridos para calcular la aproximación
en el subintervalo inmediatamente adyacente y a la derecha del subintervalo en el que se
genera la aproximación. El método es más fácil de implementar por medio de lenguaje de
programación recursivo.
Figura 4.14
60
50
40
30 y = f (x) =
100
x2
sen( (
10
x
20
10
2.75 3.0
220
230
240
250
260
El valor más grande de h para el que la regla compuesta de Simpson estándar provee
precisión dentro de 1024 es h = 1/88. Esta aplicación requiere 177 evaluaciones de función,
aproximadamente dos veces más que la cuadratura adaptable.
espaciados. Esta restricción es conveniente cuando se combinan las fórmulas para formar las
-
mente la precisión de la aproximación. Considere, por ejemplo, la regla trapezoidal aplicada
4.7 Cuadratura gaussiana 169
Figura 4.15
y y y
y 5 f (x) y 5 f (x)
y 5 f (x)
a 5 x1 x2 5 b x a 5 x1 x2 5 b x a 5 x1 x2 5 b x
-
bablemente proporcionarían mucho mejores aproximaciones.
Figura 4.16
y y y
y 5 f (x)
y 5 f (x)
y 5 f (x)
a x1 x2 b x a x1 x2 b x a x1 x2 b x
Para ilustrar el procedimiento para elegir los parámetros adecuados, mostraremos cómo
n 5 2 y el intervalo de integración es [21, 1].
Entonces, analizaremos la situación más general para una selección arbitraria de nodos y
-
trario.
Suponga que queremos determinar c1, c2, x1, y x2 de tal forma que la fórmula de inte-
gración
1
f (x) d x ≈ c1 f (x1 ) + c2 f (x2 )
−1
f (x) = a0 + a1 x + a2 x 2 + a3 x 3 ,
para algún conjunto de constantes a0, a1, a2, y a3. Puesto que
(a0 + a1 x + a2 x 2 + a3 x 3 ) d x = a0 1 d x + a1 x d x + a2 x 2 d x + a3 x 3 d x,
esto es equivalente a mostrar que la fórmula da resultados exactos cuando f (x) es 1, x, x2, y
x3. Por lo tanto, necesitamos c1, c2, x1, y x2, de tal forma que
1 1
c1 · 1 + c 2 · 1 = 1 d x = 2, c1 · x1 + c2 · x2 = x d x = 0,
−1 −1
1 1
2
c1 · x12 + c2 · x22 = x2 dx = , y c1 · x13 + c2 · x23 = x 3 d x = 0.
−1 3 −1
Un poco de álgebra muestra que este sistema de ecuaciones tiene una solución única
√ √
3 3
c1 = 1, c2 = 1, x1 = − , y x2 = ,
3 3
lo cual da la fórmula de aproximación
1
√ √
− 3 3
f (x) d x ≈ f + f . (4.40)
−1 3 3
Esta fórmula tiene grado de precisión tres; es decir, produce el resultado exacto para cada
polinomio de grado tres o menor.
Polinomios de Legendre
las fórmulas que dan resultados exactos para polinomios de grado superior, pero un método
alterno los obtiene con mayor facilidad. En las secciones 8.2 y 8.3, consideraremos diferentes
conjuntos de polinomios ortogonales, funciones que tienen la propiedad de que una integral
problema son los polinomios de Legendre, un conjunto {P0 (x), P1 (x), . . . , Pn (x), . . . , }
con las siguientes propiedades:
Teorema 4.7 Suponga que x1 , x2 , . . . , xn son las raíces del n-ésimo polinomio de Legendre Pn (x) y que
para cada i = 1, 2, . . . , n, los números ci
1 n
x − xj
ci = d x.
−1 j=1 xi − x j
j =i
y
1 1 n n
x − xj
P(x) d x = P(xi )
dx
xi − x j
−1 −1 i=1 j=1
j =i
n 1 n n
x − xj
dx
P(xi ) = ci P(xi ).
=
xi − x j
i=1 −1 j=1 i=1
j =i
Observe que xi es una raíz de Pn(x) para cada i = 1, 2, . . . , n, por lo que tenemos
P(x):
1 1 1 n n
P(x) d x = [Q(x)Pn (x) + R(x)] d x = R(x) d x = ci R(xi ) = ci P(xi ).
−1 −1 −1 i=1 i=1
1
Ejemplo 1 Aproxime e x cos x d x mediante cuadratura gaussiana con n 5 3.
−1
La integración por partes se puede utilizar para mostrar que el valor verdadero de la integral
es 1.9334214, por lo que el error absoluto es menor a 3.2 3 1025.
4.7 Cuadratura gaussiana 173
2x − a − b 1
t= ⇐⇒ x = [(b − a)t + a + b].
b−a 2
Figura 4.17
t
(b, 1)
1
2x 2 a 2 b
t5
b2a
a b x
21
(a, 21)
3
Ejemplo 2 Considere la integral x 6 − x 2 sen(2x) d x = 317.3442466.
1
a) Compare los resultados de la fórmula cerrada de Newton-Cotes con n 5 1, la
fórmula abierta de Newton-Cotes con n 5 1, y la cuadratura gaussiana cuando n 5 2.
b) Compare los resultados de la fórmula cerrada de Newton-Cotes con n 5 2, la
fórmula abierta de Newton-Cotes con n 5 2, y la cuadratura gaussiana cuando n 5 3.
Solución a) Cada una de las fórmulas en esta parte requiere dos evaluaciones de la función
f (x) = x 6 − x 2 sen(2x). Las aproximaciones de Newton-Cotes son
2
Cerrada n = 1 : [ f (1) + f (3)] = 731.6054420;
2
3(2/3)
Abierta n = 1 : [ f (5/3) + f (7/3)] = 188.7856682.
2
La cuadratura gaussiana aplicada a este problema requiere que la integral primero se trans-
forme en un problema cuyo intervalo de integración es [21, 1]. Por medio de la ecuación
(4.41) obtenemos
3 1
x 6 − x 2 sen(2x) d x = (t + 2)6 − (t + 2)2 sen(2(t + 2)) dt.
1 −1
= 306.8199344.
174 CAPÍTULO 4 Diferenciación numérica e integración
b) Cada una de las fórmulas en esta parte requiere tres evaluaciones de función. Las aproxi-
maciones de Newton-Cotes son
1
Cerrada n = 2 : [ f (1) + 4 f (2) + f (3)] = 333.2380940;
3
4(1/2)
Abierta n = 2 : [2 f (1.5) − f (2) + 2 f (2.5)] = 303.5912023.
3
3
x 6 − x 2 sen(2x) d x ≈ 0.5 f (−0.7745966692 + 2)
1
f (x, y) d A,
R
Figura 4.18
z 5 f (x, y)
a c
d
b y
R
x
Figura 4.19
y
1 2 1
d
1 2 4 2
2 (c 1 d)
1 2 1
c
1
1 b) x
a 2 (a b
176 CAPÍTULO 4 Diferenciación numérica e integración
m/2
d
k
(m/2)−1
f (x, y) dy = f (x, y0 ) + 2 f (x, y2 j ) + 4 f (x, y2 j−1 ) + f (x, ym )
c 3 j=1 j=1
(d − c)k 4 ∂ 4 f (x, µ)
− ,
180 ∂ y4
b d b b
k
(m/2)−1
f (x, y) d y d x = f (x, y0 ) d x + 2 f (x, y2 j ) d x
a c 3 a j=1 a
m/2 b b
+4 f (x, y2 j−1 ) d x + f (x, ym ) d x
j=1 a a
(d − c)k 4 b
∂ 4 f (x, µ)
− d x.
180 a ∂ y4
Ahora, utilizamos la regla compuesta de Simpson para las integrales en esta ecuación. Si
xi = a + i h, para cada i = 0, 1, . . . , n. Entonces, para cada j = 0, 1, . . . , m tenemos
b n/2
h
(n/2)−1
f (x, y j ) d x = f (x0 , y j ) + 2 f (x2i , y j ) + 4 f (x2i−1 , y j ) + f (xn , y j )
a 3 i=1 i=1
(b − a)h 4 ∂ 4 f
− (ξ j , y j ),
180 ∂x4
4.8 Integrales múltiples 177
b d
hk
(n/2)−1
f (x, y) d y dx ≈ f (x0 , y0 ) + 2 f (x2i , y0 )
a c 9 i=1
n/2
+4 f (x2i−1 , y0 ) + f (xn , y0 )
i=1
(m/2)−1 (m/2)−1 (n/2)−1
+2 f (x0 , y2 j ) + 2 f (x2i , y2 j )
j=1 j=1 i=1
(n/2)−1 n/2
+ f (x0 , ym ) + 2 f (x2i , ym ) + 4 f (x2i−1 , ym )
i=1 i=1
+ f (xn , ym ) .
m/2
−k(b − a)h 4 ∂ 4 f (ξ0 , y0 ) ∂ 4 f (ξ2 j , y2 j ) ∂ 4 f (ξ2 j−1 , y2 j−1 )
(m/2)−1
E= +2 +4
540 ∂x4 j=1
∂x4 j=1
∂x4
4 4 b 4
∂ f (ξm , ym ) (d − c)k ∂ f (x, µ)
+ − d x.
∂x 4 180 a ∂ y4
b
∂ 4 f (x, µ) ∂4 f
d x = (b − a) 4 (η̂, µ̂),
a ∂y 4 ∂y
178 CAPÍTULO 4 Diferenciación numérica e integración
para algunos (η̂, µ̂) en R. Puesto que m = (d − c)/k, el término de error tiene la forma
(d − c)(b − a) 4 ∂ 4 f ∂4 f
E =− h (η, µ) + k 4 4 (η̂, µ̂) ,
180 ∂x 4 ∂y
Solución Los tamaños de paso para esta aplicación son h = (2.0 − 1.4)/4 = 0.15 y k =
(1.5 − 1.0)/2 = 0.25. La región de integración R
nodos (xi , y j ), donde i = 0, 1, 2, 3, 4 y j = 0, 1, 2.
w i, j de f (xi , yi ) = ln(xi +2yi ) en la suma que da la aproximación de la regla compuesta de
Simpson para la integral.
Figura 4.20
y
1 4 2 4 1
1.50
4 16 8 16 4
1.25
1 4 2 4 1
1.00
La aproximación es
2.0 1.5 4 2
(0.15)(0.25)
ln(x + 2y) dy dx ≈ w i, j ln(xi + 2y j )
1.4 1.0 9 i=0 j=0
= 0.4295524387.
tenemos
∂4 f −6 ∂4 f −96
(x, y) = y (x, y) = ,
∂x 4 (x + 2y)4 ∂y 4 (x + 2y)4
y los valores máximos de los valores absolutos de estas derivadas parciales se presentan en
R cuando x 5 1.4 y y 5 1.0. Por lo que el error está acotado por
(0.5)(0.6) 6 96
|E| ≤ (0.15)4 máx + (0.25)4 máx ≤ 4.72 × 10−6 .
180 (x,y)inR (x + 2y)4 (x,y)inR (x + 2y)4
4.8 Integrales múltiples 179
Las mismas técnicas se pueden aplicar para la aproximación de las integrales triples
así como integrales superiores para las funciones de más de tres variables. El número de
evaluaciones requeridas para la aproximación es el producto del número de evaluaciones
requeridas cuando se aplica el método a cada variable.
Ejemplo 2 Utilice la cuadratura gaussiana con n 5 3 en ambas dimensiones para aproximar la integral
2.0 1.5
ln(x + 2y) dy d x.
1.4 1.0
Solución Antes de emplear la cuadratura gaussiana para aproximar esta integral, necesita-
mos transformar la región de integración
1 1
u= (2x − 1.4 − 2.0) y v= (2y − 1.0 − 1.5),
2.0 − 1.4 1.5 − 1.0
2.0 1.5 1 1
ln(x + 2y) dy d x = 0.075 ln(0.3u + 0.5v + 4.2) dv du.
1.4 1.0 −1 −1
u 2 = v2 = r3,3 = 0.7745966692.
Los pesos asociados con c3,2 = 0.8 y c3,1 = c3,3 = 0.5. (Estos se muestran en la tabla 4.12
en la página 232.) La aproximación resultante es
2.0 1.5 3 3
ln(x + 2y) d y d x ≈ 0.075 c3,i c3, j ln(0.3r3,i + 0.5r3, j + 4.2)
1.4 1.0 i=1 j=1
= 0.4295545313.
180 CAPÍTULO 4 Diferenciación numérica e integración
A pesar de que este resultado sólo requiere nueve evaluaciones funcionales en comparación
con 15 para la regla compuesta de Simpson considerada en el ejemplo 1, éste es preciso den-
tro de 4.8×10−9, en comparación con la precisión 2.1 × 10−6 en el ejemplo 1.
Regiones no rectangulares
El uso de métodos de aproximación para integrales dobles no está limitado a integrales con
regiones rectangulares de integración. Las técnicas analizadas previamente se pueden modi-
b d(x)
f (x, y) d y dx (4.42)
a c(x)
d b(y)
f (x, y) d x d y. (4.43)
c a(y)
De hecho, las integrales en las regiones que no son de este tipo, también se pueden aproximar
al realizar subdivisiones adecuadas de la región. (Consulte el ejercicio 10.)
Para describir la técnica relacionada con la aproximación de una integral de la forma
b d(x)
f (x, y) d y dx,
a c(x)
utilizaremos la regla básica de Simpson para integrar respecto a ambas variables. El tamaño
de paso para la variable x es h = (b − a)/2, pero el tamaño de paso para y varía con x (véase
d(x) − c(x)
k(x) = .
2
Figura 4.21
z 5 f (x, y)