Tema 6

Integrales Dobles e Integrales

Triples

6.1 Introducción
Comenzaremos este tema con un repaso de la Integración de funciones de una variable
real, para introducir posteriormente las integrales dobles y triples.

6.2 Repaso de Integración en una variable

6.2.1 Integral Indefinida
Definición. Se denomina primitiva de la función f (x) en un intervalo (a, b) a toda
función F (x) diferenciable en (a, b) y tal que F ′ (x) = f (x).
Dos propiedades importantes que verifican las primitivas de una función dada f (x)
son las siguientes:
1) Si F (x) es una primitiva de f (x) en (a, b), entonces la función G(x) = F (x) + C,
con C ∈ R constante, también lo es en (a, b). La demostración es evidente: G′ (x) =
F ′ (x) + 0 = f (x), ∀x ∈ (a, b).
2) Si F (x) y G(x) son primitivas de f (x) en (a, b), entonces su diferencia es una constante:
F (x) − G(x) = C, ∀x ∈ (a, b).
Definición. Llamaremos integral indefinida de una función f (x) en un intervalo (a, b)
al conjunto de todas sus funciones primitivas en dicho intervalo. Lo representaremos con
∫
la notación habitual f (x) dx. Las dos propiedades anteriores implican que basta con
conocer una primitiva de f (x) en (a, b), F (x), para conocer la totalidad de ellas, y ası́
tendremos, para cualquier constante real C:
∫
f (x) dx = F (x) + C

59
60 CÁLCULO / INGENIERO GEÓLOGO / TEMA 6

Propiedades.
∫ ∫ ∫
• (f (x) + g(x)) dx = f (x)dx + g(x)dx
∫ ∫
• ∀k ∈ R, se verifica: kf (x) dx = k f (x) dx

Integrales Inmediatas
Se suelen denominar integrales inmediatas a las que resultan evidentes por ser el inte-
grando la derivada de una función conocida. Evidentemente la inmediatez no constituye
una propiedad matemática, o dicho con otras palabras, una integral es inmediata si uno
se la sabe de memoria, y lo sigue siendo mientras no la olvidemos. En cualquier caso, es
habitual asumir que son inmediatas las siguientes integrales indefinidas:
∫ ∫
1 dx
p
x dx = x p+1
+ C, p ̸= 1, = ln |x| + C
p+1 x
∫ ∫
1 x
ex dx = ex + C , ax dx = a + C, a > 0, a ̸= 1
ln a
∫ ∫ ∫
dx
sen x dx = − cos x + C , cos x dx = sen x + C , = tan x + C
cos2 x
∫ ∫ ∫
dx dx dx
= − cotan x + C , = arctan x + C , √ = arcsen x + C
2
sen x 2
x +1 1 − x2
∫ ∫ ∫
−dx
√ = arccos x + C , senh x dx = cosh x + C , cosh x dx = senh x + C
1 − x2
∫ ∫ ∫
dx dx dx
√ = arccosh x+C , √ = arcsenh x+C , = arctanh x+C
x −1
2 2
x +1 1 − x2

6.2.2 Integral Definida

El concepto de integral definida se construye a partir de la idea de pasar al lı́mite una
suma cuando el número de sumandos tiende a infinito y simultáneamente cada uno de
los sumandos tiende a cero. Para determinar con precisión esta idea introduciremos las
siguientes definiciones:

Definición. Dado un intervalo [a, b] llamaremos partición de [a, b] a toda colección

de n + 1 puntos P = {x0 , x1 , · · · , xn } tales que a = x0 < x1 < x2 < · · · < xn = b.
Toda partición P del intervalo [a, b] lo divide en n subintervalos [xk−1 , xk ] de anchuras
respectivas ∆xk = xk − xk−1 .

Definición. Dada una función f (x) definida en el intervalo [a, b], una partición P =
{x0 , x1 , · · · , xn } de [a, b] y dados n puntos ξ = {ξ1 , ξ2 , · · · , ξn } tales que ξk ∈ [xk−1 , xk ],
CÁLCULO / INGENIERO GEÓLOGO / TEMA 6 61

se llama suma integral o suma de Riemann de la función f (x) en [a, b] correspondiente

a la partición P y a la elección de puntos ξ a la suma siguiente:
∑
n
S(f, P, ξ) = f (ξk )∆xk = f (ξ1 )∆x1 + · · · + f (ξn )∆xn
k=1

Si suponemos que la función es continua en [a, b] (aunque serı́a suficiente con que fuera
continua en cada subintervalo de la partición P ), entonces, por el teorema de Weierstrass,
f (x) alcanza su valor máximo Mk y su mı́nimo mk en cada subintervalo [xk−1 , xk ],
podemos entonces construir las sumas de Riemann correspondientes a dichos valores,
obteniendo la suma superior de Riemann U y al suma inferior de Riemann L, de f (x)
en [a, b] con respecto a la partición P :

∑
n ∑
n
U (f, P ) = Mk ∆xk , L(f, P ) = mk ∆xk
k=1 k=1

Es evidente entonces que el conjunto de todas las sumas de Riemann de una función dada
en un intervalo, con respecto a una partición concreta P , está acotado superiormente
por U (f, P ) e inferiormente por L(f, P ).
Definición. Se dice que una función f (x) definida en [a, b] es integrable (en el sentido de
Riemann, o simplemente integrable) en [a, b] si el supremo de todas sus sumas inferiores
de Riemann coincide con el ı́nfimo de todas sus sumas superiores. A dicho número se le
denomina integral definida o integral de Riemann de f (x) en [a, b] y se denota como:
∫ b
f (x) dx
a

De manera equivalente, puede definirse la integral definida o integral de Riemann como el

lı́mite de las sumas de Riemann de la función en el intervalo cuando el número de puntos
de las particiones consideradas tiende a infinito mientras que la anchura máxima de los
subintervalos determinados por la partición tiende a cero, siempre que dicho lı́mite exista
y sea independiente de la elección de puntos arbitrarios realizada en cada subintervalo.
La definición de integral definida se completa añadiendo los casos:
∫ b ∫ a ∫ a
f (x)dx = − f (x)dx , f (x)dx = 0
a b a

siendo a > b en la primera integral.

Propiedades básicas
1. Si f (x) es integrable en [a, b] entonces está acotada en [a, b].
2. Si f (x) es continua en [a, b] entonces es integrable en [a, b].
62 CÁLCULO / INGENIERO GEÓLOGO / TEMA 6

3. Si f (x) está acotada en [a, b] y presenta en dicho intervalo un número finito de

discontinuidades, entonces es integrable en [a, b].
4. La integral definida es lineal, es decir: Si f (x) y g(x) son dos funciones integrables
en [a, b], entonces su suma tambien lo es y se verifica:
∫ b ∫ b ∫ b
(f (x) + g(x))dx = f (x)dx + g(x)dx
a a a

mientras que si k es un número real cualquiera, entonces:

∫ b ∫ b
kf (x)dx = k f (x)dx
a a

5. Dados tres números reales a, b y c, se verifica:

∫ b ∫ c ∫ b
f (x)dx = f (x)dx + f (x)dx
a a c

siempre que las integrales anteriores existan.

6. Si f (x) ≤ g(x), ∀x ∈ [a, b] y ambas son integrables en [a, b], entonces se verifica:
∫ b ∫ b
f (x) dx ≤ g(x) dx
a a

7. Si a < b y f (x) es integrable en [a, b], se verifica:

∫ b  ∫ b
 
 f (x)dx ≤ |f (x)| dx

a a

Teorema Fundamental del Cálculo. Sea f (x) una función continua en el intervalo
[a, b], entonces la función F (x) definida de la forma:
∫ x
F (x) = f (t)dt
a

en el intervalo [a, b] es derivable en (a, b) y además F ′ (x) = f (x).

Nota: Si f (x) es integrable pero no continua en [a, b] entonces sólo podemos asegurar que F (x) es
continua en [a, b], pero la derivabilidad de F (x) sólo está garantizada en los puntos de continuidad
de f (x).

Regla de Barrow. Si f (x) es continua en [a, b] y G(x) es una primitiva de f (x) en

[a, b], entonces se verifica:
∫ b
f (x)dx = G(x)|ba = G(b) − G(a)
a
CÁLCULO / INGENIERO GEÓLOGO / TEMA 6 63

6.3 Integral Doble en un rectángulo

Presentaremos a continuación el concepto de integral doble de una función f (x, y) sobre
un rectángulo en R2 como una generalización directa del concepto de integral definida
de una función f (x) sobre un intervalo [a, b] de R.
Sea R un rectángulo en el plano R2 , R = [a, b]×[c, d]. Una partición de R será un conjunto
de puntos P = {xj , yk } de R, determinados por una partición P1 = {x0 , x1 , . . . , xn } del
intervalo [a, b] y otra del intervalo [c, d], P2 = {y0 , y1 , . . . , ym }, con:

a = x0 < x1 < . . . < xn = b , c = y 0 < y 1 < . . . < ym = d

Denotaremos por ∆xj y ∆yk a las anchuras respectivas:

∆xj = xj − xj−1 , ∆yk = yk − yk−1

de tal manera que ∆xj ∆yk es el área del rectángulo Rjk determinado por los subinter-
valos [xj−1 , xj ] e [yk−1 , yk ], es decir: Rjk = [xj−1 , xj ] × [yk−1 , yk ].
Tomemos en cada uno de los rectángulos Rjk , j = 1, . . . , n, k = 1, . . . , m, un punto
arbitrario: ξ⃗jk = (ξjk1 , ξ 2 ) , y denominemos ξ = {ξ
jk
⃗jk } a dicho conjunto de puntos.

Si f (x, y) es una función escalar f : R → R (que supondremos acotada en todo R),

se define la suma de Riemann de f (x, y) en R, asociada a la partición P , y a la elección
arbitraria de puntos ξ, como la suma:
n ∑
∑ m n ∑
∑ m
S(f, P, ξ) = f (ξ⃗jk ) ∆xj ∆yk = f (ξ⃗jk ) ∆Ajk
j=1 k=1 j=1 k=1

donde ∆Ajk es el área del rectángulo Rjk .

Con todos estos ingredientes, se dice que f (x, y) es integrable en el rectángulo R si la
sucesión de sumas de Riemann {S(f, P, ξ)} tiene lı́mite (finito) cuando n y m tienden a
infinito y la anchura máxima de las particiones tiende a cero, y además dicho lı́mite es
independiente de la elección ξ tomada en cada suma. En tal situación el lı́mite recibe el
nombre de integral doble de f (x, y) en R, y lo denotaremos por:
∫∫
f (x, y) dx dy
R

En algunos textos de Matemáticas, es habitual utilizar otras notaciones equivalentes

como: ∫ ∫ ∫
f , f (x, y) dA, f (x, y) dx dy
R R R

Algunas propiedades o teoremas de la integral doble son los siguientes:

Teorema: Toda función continua en un rectángulo R es integrable en dicho rectángulo.
64 CÁLCULO / INGENIERO GEÓLOGO / TEMA 6

Teorema: Sea f : R → R una función acotada, definida en un rectángulo R de R2 , y

supongamos que el conjunto de puntos en los que f es discontinua está formado por la
unión finita de gráficas de funciones continuas. Entonces f es integrable en R.

Propiedades: La integral doble, ası́ definida, verifica varias propiedades de manera

trivial. Si f y g son dos funciones integrables en el rectángulo R, tendremos:

• 1. Linealidad:
∫∫ ∫∫ ∫∫
(f (x, y) + g(x, y)) dx dy = f (x, y) dx dy + g(x, y) dx dy
R R R
∫∫ ∫∫
λf (x, y) dx dy = λ f (x, y) dx dy
R R

• Monotonı́a: Si f (x, y) ≥ g(x, y), ∀(x, y) ∈ R, entonces:

∫∫ ∫∫
f (x, y) dx dy ≥ g(x, y) dx dy
R R

• Aditividad: Si Ri , con i = 1, . . . , p son p rectángulos disjuntos, tales que f está

acotada y es integrable en cada uno de ellos, y si Q = R1 ∪ R2 ∪ · · · ∪ Rp es un
rectángulo, entonces f es integrable en Q y se verifica:
∫∫ p ∫∫
∑
f (x, y) dx dy = f (x, y) dx dy
Q i=1 R

Teorema de Fubini (Primera versión). Sea f una función continua en el dominio

rectangular R = [a, b] × [c, d]. Entonces:
∫∫ ∫ b (∫ d ) ∫ d (∫ b )
f (x, y) dx dy = f (x, y) dy dx = f (x, y) dx dy
R a c c a

Las integrales que aparecen en la expresión anterior se denominan integrales iteradas,

de esta forma el Teorema establece que si f (x, y) es continua en R, entonces la integral
doble de f (x, y) en R es igual a cualquiera de las integrales iteradas posibles.
Demostración: Empezaremos demostrando que:
∫∫ ∫ b ∫ d
f (x, y) dx dy = f (x, y) dy dx
R a c

Sea P2 = {c = y0 , y1 , . . . , ym = d} una partición el intervalo [c, d] en m partes de anchura ∆yk .

Tendremos entonces: ∫ d m ∫ yk
∑
F (x) = f (x, y) dy = f (x, y) dy
c k=1 yk−1
CÁLCULO / INGENIERO GEÓLOGO / TEMA 6 65

Usando ahora el teorema del valor medio del cálculo integral, para cada x y k fijas existe un
valor Yk (x) tal que: ∫ yk
f (x, y)dy = f (x, Yk (x)) ∆yk
yk−1
Tendremos ası́:
∑
m
F (x) = f (x, Yk (x)) ∆yk
k=1
Integramos ahora la función F (x) usando la definición de integral en una variable:
∫ b ∫ b∫ d ∑n
F (x) dx = f (x, y) dy dx = lim F (pj )∆xj
a a c n→∞
j=1

donde P1 = {a = x0 , x1 , . . . , xn = b} es una partición de [a, b], y pj es un punto cualquiera del

intervalo j−ésimo de dicha partición. Si llamamos ξ⃗jk = (pj , Yk (pj )), tendremos que:
∫ b∫ d ∑
n ∑ m
f (x, y) dy dx = lim f (ξ⃗jk )∆yk ∆xj
a c n→∞
j=1 k=1

que por definición es: ∫∫

f (x, y) dx dy
R
Q.E.D.
La demostración de la otra identidad es absolutamente análoga.

Teorema de Fubini. (Segunda versión). Sea f (x, y) una función acotada en el

rectángulo R = [a, b] × [c, d] y tal que el conjunto de discontinuidades de f (x, y) en
R esté formado por la unión finita de gráficas de funciones continuas. Si existe la inte-
gral iterada:
∫ b (∫ d )
f (x, y) dy dx
a c
entonces coincide con la integral doble
∫∫
f (x, y) dx dy
R
y análogamente para la otra integral iterada.

6.4 Integral Doble sobre recintos más generales

Sea f (x, y) una función continua definida sobre un recinto cerrado D de R2 tal que su
borde ∂D es una curva cerrada continua en R2 . Podemos entonces definir la integral
doble de la función f (x, y) sobre el recinto D de la siguiente manera:
Consideremos un rectángulo R = [a, b] × [c, d] en R2 tal que el recinto D esté com-
pletamente contenido en R, y definamos en R una nueva función f¯(x, y) de la forma:
{
f (x, y) ∀(x, y) ∈ D
f¯(x, y) =
0 ∀(x, y) ∈ R − D
66 CÁLCULO / INGENIERO GEÓLOGO / TEMA 6

Definiremos entonces la integral:

∫∫ ∫∫
f (x, y) dx dy = f¯(x, y) dx dy
D R
siendo casi evidente demostrar que dicha definición no va a depender del rectángulo R
concreto elegido. Es importante puntualizar que al ser f (x, y) continua en D, las posibles
discontinuidades de f¯ estarán únicamente en la frontera ∂D, que hemos asumido como
continua. De esta manera f¯ estará acotada en R y sus discontinuidades son una unión
finita de gráficas de funciones continuas, por tanto está garantizada su integrabilidad en
R.
De cara a poder calcular de manera efectiva integrales dobles sobre recintos no rectan-
gulares, de acuerdo con la definición anterior, en conveniente presentar a continuación
los casos más frecuentes que suelen presentarse.
• Supongamos que el dominio D puede ser definido mediante la desigualdad: a ≤ x ≤ b
en la coordenada x, y para cada valor concreto de x ∈ [a, b], que la variación de la
coordenada y pueda expresarse como: ψ1 (x) ≤ y ≤ ψ2 (x), ver figura.
y

Ψ2 HxL

Ψ1 HxL

x
a b

Figura 1: Recinto en el plano determinado por: a ≤ x ≤ b, ψ1 (x) ≤ y ≤ ψ2 (x).

Tendremos entonces:
∫∫ ∫ b∫ d
f (x, y) dx dy = f¯(x, y)dy dx =
D a c
∫ b∫ ψ1 (x) ∫ b∫ ψ2 (x) ∫ b∫ d
= f¯(x, y)dydx + f¯(x, y)dydx + f¯(x, y)dydx
a c a ψ1 (x) a ψ2 (x)
Pero teniendo en cuenta la definición de f¯, dos de las integrales finales son nulas, y ası́:
∫∫ ∫ b (∫ ψ2 (x) )
f (x, y) dx dy = f (x, y)dy dx
D a ψ1 (x)

• En el caso de recintos descritos de la forma: c ≤ y ≤ d, φ1 (y) ≤ x ≤ φ2 (y), un

razonamiento completamente similar nos lleva al siguiente resultado:
∫∫ ∫ d (∫ φ2 (y) )
f (x, y) dx dy = f (x, y)dx dy
D c φ1 (y)
CÁLCULO / INGENIERO GEÓLOGO / TEMA 6 67

6.5 Cambios de Variables en Integrales Dobles

Antes de plantear el Teorema de Cambio de Variables o de Coordenadas en las integrales
dobles, repasaremos brevemente los resultados conocidos para integrales de una función
real de variable real.
Sea f (x) es una función integrable en el intervalo [a, b], y sea x = φ(t) una función
diferenciable al menos en un abierto que contenga al intervalo [t1 , t2 ], de tal manera que
a = φ(t1 ) y b = φ(t2 ). Entonces es posible demostrar que se verifica:
∫ b ∫ t2
f (x) dx = f (φ(t)) φ′ (t) dt
a t1

Esta fórmula establece el comportamiento de las integrales bajo cambios de variable. La

generalizaremos a continuación para el caso de integrales dobles.
Sea f (x, y) una función integrable en un recinto D del plano R2 . Consideremos una
transformación de coordenadas en R2 , es decir una función:

T⃗ : R2 → R2 , T⃗ (u, v) = (x(u, v), y(u, v))

tal que sea biyectiva, y denominemos D′ al recinto D descrito en las nuevas coordenadas
(u, v), es decir: T⃗ (D′ ) = D y T⃗ −1 (D) = D′ . Supondremos también que T⃗ es de clase C 1
en D′ . Se llama Jacobiano de T⃗ al determinante de la matriz de derivadas parciales (o
matriz jacobiana) de T⃗ , J(T⃗ ), es decir:
( )  
∂x ∂x  ∂x ∂x 
∂(x, y)  ∂v 
J(T⃗ ) = ∂u ∂v ⇒ det(J(T⃗ ) = =  ∂u ∂y 
∂y
∂u
∂y
∂v
∂(u, v)  ∂y
∂u ∂v

Entonces se verifica el siguiente resultado:

∫∫ ∫∫  
 ∂(x, y) 
f (x, y) dx dy = f (x(u, v), y(u, v))  
 ∂(u, v)  du dv
D D′
 
 ∂(x,y) 
siendo  ∂(u,v)  el valor absoluto del Jacobiano de la transformación de coordenadas.

6.6 Integrales Triples

Una vez explicadas las integrales dobles es bastante fácil generalizar los conceptos intro-
ducidos al caso de las integrales triples.
Consideremos en primer lugar un palalelepı́pedo P en R3 . Vendrá descrito por el
producto cartesiano de tres intervalos reales: P = [a1 , b1 ] × [a2 , b2 ] × [a3 , b3 ], o alterna-
tivamente por el conjunto de desigualdades:

a1 ≤ x ≤ b1 , a2 ≤ y ≤ b2 , a3 ≤ z ≤ b3
68 CÁLCULO / INGENIERO GEÓLOGO / TEMA 6

Una partición Q del paralelepı́pedo P estará constituida por sendas particiones de los
intervalos considerados, es decir:

Q1 = {x0 , x1 , . . . , xn } , Q2 = {y0 , y1 , . . . , ym } , Q3 = {z0 , z1 , . . . , zp }

con: a1 = x0 < x1 < . . . < xn = b1 , a2 = y0 < y1 < . . . < ym = b2 y a3 = z0 < z1 <

. . . < zp = b3 . La partición Q divide al paralelepı́pedo P en nmp sub-paralelepı́pedos que
denotaremos Vijk = [xi−1 , xi ] × [yj−1 , yj ] × [zk−1 , zk ], cada uno de ellos con un volumen
dado por:
∆Vijk = (xi − xi−1 ) (yj − yj−1 ) (zk − zk−1 )

En cada sub-paralelepı́pedo Vijk elegimos un punto arbitrario ξ⃗ijk = (ξijk

1 , ξ 2 , ξ 3 ), y
ijk ijk
denotamos simplemente por ξ al conjunto de puntos elegidos.
Con todos estos datos, se define la suma de Riemann de una función f (x, y, z) (a la
que en principio consideramos continua en P ) correspondiente a la partición Q y a la
elección de puntos ξ de la forma:
n ∑
∑ m ∑
p
S(f ; Q, ξ) = f (ξ⃗ijk ) δVijk
i=1 j=1 k=1

Si existe (y es finito) el lı́mite de las sumas de Riemann de f (x, y, z) en P cuando n,

m y p tienden a infinito (tendiendo el volumen máximo posible de la partición Q a
cero) independientemente de la elección arbitrario ξ considerada, se dice que f (x, y, z)
es integrable en el sentido de Riemann en el paralelepı́pedo P , y dicho lı́mite recibe el
nombre de Integral Triple de f (x, y, z) en P :
∫∫∫
f (x, y, z) dx dy dz
P

.........