Universidad Católica del Norte

Facultad de Ciencias, Departamento de Matemáticas

Integración numérica

Profesores:
Javier González-Pizarro
Mario Salas Garcı́a

Primer semestre 2023

U niversidad Católica del N orte Métodos Numéricos Departamento de M atemáticas

Integración numérica
Queremos determinar una forma numérica de calcular la integral definida:

Zb
f (x) dx
a

Regla del Trapecio Compuesta

b−a
Si el intervalo [a, b] lo particionamos en n partes iguales h = n
, obtenemos la partición
x0 , x1 , x2 , . . . , xn , donde

x0 = a
xi = x0 + ih, i = 1, 2, . . . , n − 1 (1)
xn = b

Zb
Además, sabemos que si f (x) > 0 para todo x en [a, b] entonces la integral definida f (x) dx
a
representa el área de la región R que está bajo la gráfica de f (x) y sobre el eje x, entre x = a
y x = b.
Esto es
Ahora, si usamos la partición uniforme de [a, b] dada por (1), tenemos que la región R

se puede particionar en n subregiones de áreas Ai tal como se muestra en la figura:

1
U niversidad Católica del N orte Métodos Numéricos Departamento de M atemáticas

Zb n
X
Esto implica que podemos aproximar el área A = f (x) dx = Ai por la suma de las
a i=1
áreas de los n trapecios Ti de base h = xi − xi−1 y alturas f (xi−1 ) y f (xi ) con i = 1, 2, . . . n.
Esto es
Zb n
X
f (x) dx = Ai
a i=1
n
X (f (xi ) + f (xi−1 ))
≈ h·
i=1
2
" n−1
#
h X
≈ f (x0 ) + f (xn ) + 2 f (xi )
2 i=1

Ası́, obtenemos la Regla del Trapecio compuesta:

Zb " n−1
#
h X
f (x) dx ≈ f (x0 ) + f (xn ) + 2 f (xi ) (2)
2 i=1
a

Observación 1 Se puede probar, con un procedimiento similar a la Regla de Simpson (que

veremos en la próxima sección) que, si ξ ∈ (x0 , xn ), entonces:

Zb " n−1
#
h X h3 (2)
f (x) dx = f (x0 ) + f (xn ) + 2 f (xi ) − nf (ξ)
2 i=1
12
a

" n−1
#
h X (b − a)3 (2)
= f (x0 ) + f (xn ) + 2 f (xi ) − 2
f (ξ)
2 i=1
12n

2
U niversidad Católica del N orte Métodos Numéricos Departamento de M atemáticas

Ejemplo 1 Utilizaremos la regla del trapecio compuesta para aproximar el valor de la inte-
gral Z 1
xex dx
0
con n = 10 y lo compararemos con el valor exacto. Z 1
x
Si consideramos la función f (x) = xe y el intervalo cerrado [0, 1], tenemos que xex dx,
0
puede ser calculada analı́ticamente por el método “por partes”, esto es, si

u = x, dv = ex dx
du = dx, v = ex

y ası́
Z Z
x x
xe dx = xe − ex dx

= xex − ex .

Luego
Z 1
xex dx = xex − ex |10
0
= 1 · e1 − e1 − 0 · e0 − e0

= 1.
Z 1
Ası́, el valor exacto de xex dx es igual a 1.
0 Z 1
Por otra parte, utilizamos la regla del Trapecio Compuesta (2) para aproximar xex dx y
0
ası́ compararla con el valor exacto. Recordemos que f (x) = xex y particionamos el intervalo
1−0
[0, 1] en 10 subintervalos, es decir, n = 10 y h = = 0.1, y entonces, obtenemos que:
10
Z 1 " 9
#
0.1 X
xex dx ≈ f (0) + f (1) + 2 f (xi )
0 2 i=1
0.1  0
≈ 0e + 1e1 + 2 0.1e0.1 + 0.2e0.2 + 0.3e0.3 +
2
≈ 0.4e0.4 + 0.5e0.5 + 0.6e0.6 + 0.7e0.7 + 0.8e0.8 + 0.9e0.9



≈ 1.003696043.

De esta manera, tenemos que el error absoluto cometido viene dado por

EA = |1 − 1.003696043| = 3.696043 × 10−3 < 5 × 10−3

y por lo tanto la integral se calculó con una exactitud de 2 cifras decimales.

3
U niversidad Católica del N orte Métodos Numéricos Departamento de M atemáticas

Regla de Simpson
Como en la regla del Trapecio Compuesta, consideremos la partición del intervalo [a, b] dada
por (1), es decir,

x0 = a
xi = x0 + ih, i = 1, 2, . . . , n − 1
xn = b,

b−a
donde h = y n es un número par.
n Z b
Luego, el área A que representa f (x) dx se puede particionar como se muestra en la
a
figura:

Si consideramos el área de la subregión entre x0 y x1 está dada por:

Z x2
A1 = f (x) dx.
x0

Por otra parte, si hacemos la expansión en serie de Taylor de la función f (x) alrededor de
x1 , tenemos:
1 1
f (x) = f (x1 ) + f (1) (x1 ) (x − x1 ) + f (2) (x1 ) (x − x1 )2 + f (3) (x1 ) (x − x1 )3
2 3!
1 (4) 4
+ f (ξ) (x − x1 ) .
4!
1 (4)
donde f (ξ) (x − x1 )4 representa los términos de orden superior. Integrando la ecuación
4!

4
U niversidad Católica del N orte Métodos Numéricos Departamento de M atemáticas

anterior entre x0 y x2 , obtenemos:

Z x2 Z x2 Z x2 Z x2
1 (2)
f (x)dx = f (x1 )dx + (1)
f (x1 ) (x − x1 ) dx + f (x1 ) (x − x1 )2 dx
x0 2
Z xx02 x0
Z x2 x0
1 (3) 1
+ f (x1 ) (x − x1 )3 dx + f (4) (ξ) (x − x1 )4 dx
x0 3! x0 4!

1 1
= f (x1 ) (x2 − x0 ) + f (1) (x1 ) (x − x1 )2 + f (2) (x1 ) (x − x1 )3
2 6
x 2 Z x2
1 1
+ f (3) (x1 ) (x − x1 )3 + f (4) (ξ) (x − x1 )4 dx
24 x0 24 x0

Notemos que
x2 x2
f (4) (ξ)
Z Z
1 4
f (4)
(ξ (x)) (x − x1 ) dx = (x − x1 )4 dx
24 x0 24 x0
(4)
f (ξ) x2
= (x − x1 )5 x0
,
24
pero h = x2 − x1 = x1 − x0 , entonces
(x2 − x1 )2 − (x0 − x1 )2 = (x2 − x1 )4 − (x0 − x1 )4 = 0
y
(x2 − x1 )3 − (x0 − x1 )3 = 2h3
(x2 − x1 )5 − (x0 − x1 )5 = 2h5
Ası́ Z x2
1 1
f (x)dx = f (x1 )2h + f ′′ (x1 )h3 + f (4) (ξ)h5
x0 3 60
Usando la fórmula de diferencias centradas para aproximar f ′′ (x1 ) tenemos:
f (x1 − h) − 2f (x1 ) + f (x1 + h) h2 (4) ′
f ′′ (x1 ) = − f (ξ )
h2 12

f (x0 ) − 2f (x1 ) + f (x2 ) h2 (4) ′

= − f (ξ )
h2 12
Luego
Z x2
1 3 f (x0 ) − 2f (x1 ) + f (x2 ) h2 (4) ′
 
1
f (x)dx = 2hf (x1 ) + h 2
− f (ξ ) + f (4) (ξ)h5
x0 3 h 12 60
5
 
h 2h h h 1 (4) ′ 1 (4)
= 2hf (x1 ) + f (x0 ) − f (x1 ) + f (x2 ) − f (ξ ) − f (ξ) .
3 3 3 12 3 5
Se puede demostrar que, en la expresión del error, los valores de ξ ′ y ξ pueden reemplazarse
por un valor común ξ2 ∈ (x0 , x2 ). Esto implica
Z x2
h h5
f (x)dx = [f (x0 ) + 4f (x1 ) + f (x2 )] − f (4) (ξ2 ) (3)
x0 3 90

5
U niversidad Católica del N orte Métodos Numéricos Departamento de M atemáticas

Generalizando, el área Ai se puede calcular por:

Z xi+1
h h5
f (x)dx = [f (xi−1 ) + 4f (xi ) + f (xi+1 )] − f (4) (ξi )
xi 3 90
y como
Z b n−1
X
A= f (x)dx = Ai
a i=1
se tiene
Z b
A= f (x)dx
a
n−1 
h5 (4)

hX
= f (xi−1 ) + 4f (xi ) + f (xi+1 ) − f (ξi ) (4)
3 i=1 90
 n n
 n
2
−1 2 2
5 X
h X X h
= f (a) + f (b) + 2 f (x2i ) + 4 f (x2i−1 ) − f (4) (ξi )
3 i=1 i=1
90 i=1
 n n

2
−1 2
h X X h5 n (4)
= f (a) + f (b) + 2 f (x2i ) + 4 f (x2i−1 ) − f (µ)
3 i=1 i=1
90 2
 n n

2
−1 2
h X X h5
= f (a) + f (b) + 2 f (x2i ) + 4 f (x2i−1 ) −
 nf (4) (µ)
3 i=1 i=1
180
" #
h X X h5
= f (a) + f (b) + 4 f (xi ) + 2 f (xi ) − nf (4) (µ) (5)
3 i impar i par
180

La expresión anterior se conoce como la Regla de Simpson.

Observación 2
b−a
1. Dado que h = , tenemos que:
n
h5 (4) (b − a)5 (4)
− nf (µ) = − f (µ)
180 180n4
2. Es importante resaltar que la regla de Simpson sólo se puede aplicar para una partición
del intervalo [a, b] en n subintervalos con n par.

Ejemplo 2 Ahora utilizaremos la regla de Simpson con n = 10 para aproximar el valor de

la integral del Ejemplo 1: Z 1
xex dx
0
Z 1
y compararemos el valor obtenido con el valor real xex dx = 1 y con el valor obtenido
Z 1 0
x
mediante la regla del trapecio xe dx ≈ 1.003696043.
0

6
U niversidad Católica del N orte Métodos Numéricos Departamento de M atemáticas

Nuevamente definimos f (x) = xex y usando n = 10 (n es par) para la partición del

1−0
intervalo [0, 1], tenemos que h = = 0.1 y ası́
10
Z 1 " #
x 0.1 X X
xe dx ≈ f (0) + f (1) + 4 f (xi ) + 2 f (xi )
0 3 i impar i par
0.1  0
≈ 0e + 1e1 + 4(0.1e0.1 + 0.3e0.3 + 0.5e0.5 + 0.7e0.7 + 0.9e0.9 )
3
+2(0.2e0.2 + 0.4e0.4 + 0.6e0.6 + 0.8e0.8 )


≈ 1.000004367

Claramente, la aproximación obtenida por la regla de Simpson es de mayor exactitud dado

que el error de la fórmula de Simpson depende de h5 en cambio el de la regla del Trapecio
Compuesta depende de h3 .
Z π
Ejemplo 3 Utilizando la regla de Simpson, deseamos aproximar sen (x) dx con un error
0
absoluto menor que 0.00002.
Recordemos que la regla de Simpson está dada por:
Z π " #
h X X h5
sen (x) dx = sen(0) + sen(π) + 4 sen(xi ) + 2 sen(xi ) − 4
sen(iv) (µ)
0 3 i impar i par
180n
" #
h X X (π − 0)5
= 4 sen(xi ) + 2 sen(xi ) − 4
sen(iv) (µ).
3 i impar i par
180n

Como queremos que el error absoluto sea menor que 0.00002, tenemos que

π5
sen(iv) (µ) ≤ 0.00002,
180n4

pero sen(iv) (µ) = sen(µ) y |sen(µ)| ≤ 1, para cada µ. Ası́

π5
≤ 0.00002
180n4
lo que implica que
n ≥ 18.

Ejemplo 4 Usando la regla de Simpson con n = 4 para ambas integrales, deseamos encon-
trar una aproximación de la integral doble
ZZ
x + y 2 dxdy,


(6)
Rxy

donde Rxy es la región interior del triángulo de vértices (0, 0), (4, 4) y (8, 0).

7
U niversidad Católica del N orte Métodos Numéricos Departamento de M atemáticas

Notemos que la región Rxy es un triángulo isósceles cuyas ecuaciones de las rectas que
pasan por los lados iguales son:

y =8−x e y = x.

De acuerdo al orden de integración, despejamos la variable x, es decir,

x=8−y y x = y.

Luego, la integral doble iterada de (6) es:

Z 4 Z 8−y
x + y 2 dxdy.


(7)
0 y

Z 8−y
x + y 2 dx. Como


En primer lugar, usaremos la regla de Simpson para aproximar
y
n = 4, tenemos
b−a 8−y−y 8 − 2y 4−y
h= = = = .
n 4 4 2
Además, x0 = y y xi = x0 + ih con i = 1, 2, . . . , n. Entonces

x0 = y,
4−y 4+y
x1 = y + = ,
2
  2
4−y
x2 = y + 2 = 4,
2
 
4−y 12 − y
x3 = y + 3 = ,
2 2
 
4−y
x4 = y + 4 = 8 − y.
2

y evaluando estos valores en la función f (x, y) = x + y 2 , obtenemos

f (x0 , y) = y + y 2 ,
4+y
f (x1 , y) = + y2,
2
f (x2 , y) = 4 + y 2 ,
12 − y
f (x3 , y) = + y2,
2
f (x4 , y) = 8 − y + y 2

Luego, según la regla de Simpson dada por:

Z b " #
h X X
f (xi , y)dx ≈ f (a, y) + f (b, y) + 4 f (xi , y) + 2 f (xi , y) ,
a 3 i impar i par

8
U niversidad Católica del N orte Métodos Numéricos Departamento de M atemáticas

tenemos en este caso que

8−y 8−2y
   
12 − y
Z
2

4 2 2 4+y 2 2 2


x+y dx ≈ y+y +8−y+y +4 +y + +y +2 4+y
y 3 2 2
4−y  2 
= 12y + 48
6
= 32 − 8y + 8y 2 − 2y 3 .

Entonces la integral iterada (7) queda:

Z 4 Z 8−y Z 4
2
32 − 8y + 8y 2 − 2y 3 dy.



x + y dxdy ≈
0 y 0

Ahora, usamos la regla de Simpson nuevamente con n = 4 para aproximar la integral

Z 4
32 − 8y + 8y 2 − 2y 3 dy. Particionamos el intervalo [0, 4] con un tamaño de paso h =


0
4−0
= 1 en los puntos:
4
y0 = 0,
y1 = 0 + h = 1,
y2 = 0 + 2h = 2,
y3 = 0 + 3h = 3,
y4 = 0 + 4h = 4

y evaluando estos puntos en g(y) = 32 − 8y + 8y 2 − 2y 3 , obtenemos

g(y0 ) = g(0) = 32,

g(y1 ) = g(1) = 30,
g(y2 ) = g(2) = 32,
g(y3 ) = g(3) = 26,
g(y4 ) = g(4) = 0.

Aplicando la regla de Simpson, tenemos

Z 4
1
32 − 8y + 8y 2 − 2y 3 dy ≈ [32 + 0 + 4 (30 + 26) + 2 (32)]


0 3
320
= .
3
Por lo tanto, Z 4 Z 8−y
320
x + y 2 dxdy ≈


.
0 y 3