Prof.

Andrea Campillo Anlisis Matemtico II

Integrales dobles
Consideramos una funcin f : D R 2 R , definida y acotada en el recinto
rectangular [a , b ] [c , d ] D . Denominamos A = [a , b ] [c , d ]
Grficamente podemos considerar la siguiente situacin:
z
Dibujo A

Grfica de f

a
b
x

Recordemos a qu se denomina particin de un intervalo [a , b] . Llamamos particin P

[a , b] al conjunto de puntos tales que:
del
intervalo
a = x1 < x 2 < .... < x i < x i +1 < .... < x n 1 < x n = b
Paticin P
a=x1 x2 .. xi

xi+1 .. xn-1

xn=b

Llamamos x i = x i x i 1 con i = 1 , 2 , .., n.

Un refinamiento de la particin P es otra particin P1 de [a , b] que contiene a los puntos

de la particin P, y agrega ms puntos al conjunto, siendo xi 0 i con 1 i n .

Paticin P1
a=x1 x2 .. xi

xi+1 .. xn-1

xn=b

Marcamos con
los puntos agregados a la particin P, lo que genera ms
subintervalos de longitud xi .
En nuestro caso particular, cuando el dominio es un rectngulo del plano, particionamos
el intervalo [a , b] de x1 a xn ; y particionamos el intervalo [c , d ] de y1 a y m .

Prof. Andrea Campillo Anlisis Matemtico II

y
Dibujo B
ym=b

Ai j

yj
.

y2
y1=c
x
a=x1 x2 .... xi .. xn-1 xn=b

Obtenemos entonces m x n subrectngulos, donde la unin de todos ellos resulta el

conjunto A. Utilizaremos la siguiente notacin para denominar a cada uno de estos
subrectngulos: Ai j = [xi 1 , xi ] y j 1 , y j (Ver Dibujo B)

Esta particin P del conjunto A puede refinarse, refinando sucesivamente las particiones
de los intervalos [a , b] y [c , d ] . En este caso, el refinamiento P1, agregar mas
subrectngulos, con la condicin de que la diagonal de estos subrectngulos (lo que se
denomina la norma de la particin) tiendan a 0.
Una vez realizada la particin de A, levantamos semirrectas paralelas al eje z por los
vrtices de los subrectngulos Ai j : obtenemos as una serie de prismas, donde el
techo es un trozo de la superficie z = f ( x, y ) (Ver Dibujo A).

Dado que la funcin f est definida y acotada en D, estar tambin definida y acotada
en cada Ai j . De todas las infinitas cotas superiores de f en cada Ai j nos interesa la
menor de dichas cotas superiores: el supremo. Denominaremos M i j al supremo de f
en el subrecinto Ai j .
Anlogamente, vamos a considerar la mayor de las cotas inferiores de f en Ai j , a la
cual denominaremos mi j .

M i j como mi j son nmeros reales. Por lo tanto podemos establecer los

siguientes productos:
1) M i j . rea ( Ai j ) = M i j . Ai j = M i j ( xi y j )
Tanto

2) mi j . rea ( Ai j ) = mi j . Ai j = mi j ( xi y j )

Prof. Andrea Campillo Anlisis Matemtico II

Definimos ahora la Suma Superior de f en A : S ( f , A, P) =

i =1...n
j =1...m

ij

xi y j

El valor de la suma superior depende de la funcin f , del recinto A y de la particin P

que se ha establecido en dicho recinto.
Anlogamente definimos la Suma Inferior de f en A : S ( f , A, P ) = mi j xi y j
i =1...n
j =1...m

Este valor tambin depender de la funcin f , del recinto A y de la particin P que se ha

establecido en dicho recinto.
Tanto S como S son nmeros reales, que cumplen ciertas propiedades (que pueden
demostrarse):
1) Si P es una particin de A, entonces S ( f , A, P) S ( f , A, P)
S ( f , A, P) S ( f , A, P1 )
2) Si P1 es un refinamiento de la particin de A, entonces
S ( f , A, P) S ( f , A, P1 )
3) Si P1 y P2 son dos particiones distintas (no refinamientos) se cumple que
S ( f , A, P1 ) S ( f , A, P2 )
Segn lo establecido por estas tres propiedades una suma inferior nunca puede superar a
una suma superior.
Para definir entonces la integral doble, se realiza una particin sobre el conjunto A, y se
refina sucesivamente esta particin. Se calculan los valores de las sumas inferiores y
superiores para estas sucesivas particiones, y se representan los valores de S y S
obtenidos en la recta real.

S1

S2

S3

Sk

S
S3
.. k .

S2

S1

Establecemos dos conjuntos: el conjunto B con los valores de las sumas inferiores, y el
conjunto C con los valores de las sumas superiores.
B est acotado superiormente (cualquiera de las S es cota superior), por lo que B tendr
supremo. Asimismo, C est acotado inferiormente (cualquier de las S es cota inferior),
por lo que tendr nfimo. Utilizaremos dichos nfimo y supremo mencionados para
definir la integral inferior y superior.
Integral inferior:

Integral superior:

f ( x, y ) dx dy = supremo de B

f ( x, y ) dx dy = nfimo de C

Prof. Andrea Campillo Anlisis Matemtico II

Cuando ambos valores coincidan, podremos definirlo como la integral doble de f en A.
Definicin.
Sea
f : D R2 R ,

definida

A = [a , b] [c , d ] D . Si se cumple que

acotada

en

el

f ( x, y ) dx dy =

recinto
A

rectangular

f ( x, y ) dx dy se dice

que el campo escalar f es integrable en A, y a ese valor comn se lo define como la

integral doble de la funcin f en A.
Por lo tanto:

f ( x, y ) dx dy =

f ( x, y ) dx dy =

f ( x, y ) dx dy

Condiciones de integrabilidad
Debemos analizar ahora bajo qu condiciones se cumple que el valor de la integral
superior de una funcin en un determinado recinto coincida con el valor de la integral
inferior, para que la integral doble quede definida.
Enunciaremos las condiciones de integrabilidad, que pueden demostrarse.
Sea
f : D R 2 R , definida y acotada en el recinto rectangular
A = [a , b] [c , d ] D .
1) Si > 0 , una particin P del recinto A tal que S ( f , D, P) S ( f , D, P) < ,
entonces f es integrable en A.
2) Si f es continua en A, entonces f es integrable en A
3) Si f es continua en A, excepto en un subconjunto de A de medida nula, entonces
f es integrable en A.
Conjunto de puntos de medida nula.
La definicin formal para subconjuntos del plano de medida nula es la siguiente.
Sea S R 2 , se dice que S es de medida nula si > 0 existe un conjunto finito de
rectngulos cuya unin incluya al conjunto S y cuya rea sea menor que .

Intuitivamente, podemos decir que un subconjunto del plano de medida nula ser aquel
que no tenga rea, por ejemplo puntos aislados, segmentos, curvas, etc.

Prof. Andrea Campillo Anlisis Matemtico II

Una vez establecidas las condiciones de integrabilidad, vamos a enunciar un teorema
que me permita efectuar el clculo de la integral doble, a travs del clculo de integrales
simples sucesivas.
Teorema
Sea f : D R 2 R integrable en D = [a , b] [c , d ] .
Si x [a , b] , g ( x) = f ( x, y ) dy , entonces:
d

b
d
b
d
f ( x, y ) dx dy = f ( x, y ) dy dx = dx f ( x, y ) dy

a
a
c
c

Si x [c , d ] , h( y ) = f ( x, y ) dx , entonces:
b

d
b
d
b
f ( x, y ) dx dy = f ( x, y ) dx dy = dy f ( x, y ) d x

c
c
a
a

Integrales en recintos no rectangulares

Debemos ahora generalizar la definicin de integral doble a recintos ms generales, no
necesariamente rectangulares.
Sea f : D R 2 R , siendo D un conjunto acotado. Suponemos f integrable y D no
rectangular. Para poder definir
rectngulo [a , b] [c , d ] .

f ( x, y ) dx dy , incluimos al conjunto D en un

y
d
D
x

c
a

Definimos la denominada funcin caracterstica del conjunto D:

1 ( x, y ) D
( x, y ) =
0 ( x, y ) D
Luego redefinimos la funcin f de la siguiente manera: f * ( x, y ) = f ( x, y ) . ( x, y )
f ( x, y ) ( x, y ) D
De este modo, la funcin redefinida f * resultar: f * ( x, y ) =
( x, y ) D
0
Siendo A = [a , b] [c , d ] , resulta D A. De esta manera definimos la integral doble de
f sobre el recinto D de la siguiente manera:

f ( x, y ) dx dy = f * ( x, y ) dx dy
A

Prof. Andrea Campillo Anlisis Matemtico II

Para que la definicin tenga sentido y sea correcta, debemos garantizar que f * sea
integrable en A. Por la forma en que dicha funcin est definida, las discontinuidades de
f * en D sern las mismas discontinuidades de f. Dado que f es integrable, estas
discontinuidades no afectarn la integrabilidad de f * . Ahora debemos analizar el caso
de posible discontinuidad en la frontera de D, pero an cuando se presente una
discontinuidad en dicho conjunto, se trata de un conjunto de medida nula que no afecta
la integrabilidad de f * . Por todo lo expuesto, resulta f * una funcin integrable en A.

Prof. Andrea Campillo Anlisis Matemtico II

Aplicaciones fsicas de las integrales dobles
Consideramos la funcin ( x, y ) como la funcin densidad.
Masa : m = ( x, y ) dx dy
D

distancia al eje de los

puntos de D

Momento esttico:
Respecto al eje x: M x = y ( x, y ) dx dy
D

Respecto al eje y: M y = x ( x, y ) dx dy
D

distancia al eje al cuadrado,

de los puntos de D

Momento de inercia:
Respecto al eje x: I x = y 2 ( x, y ) dx dy
D

Respecto al eje y: I y = x 2 ( x, y ) dx dy
D

Coordenadas del centro de gravedad:

D x ( x, y) dx dy
xG =
( x, y) dx dy

yG =

y ( x, y) dx dy
( x, y) dx dy
D

Prof. Andrea Campillo Anlisis Matemtico II

Integrales triples

Para definir las integrales triples, generalizamos el procedimiento establecido para la

definicin de las integrales dobles.
Consideramos una funcin f : D R 3 R , definida y acotada en el recinto
[a , b] [c , d ] [e , h] D . Denominamos A = [a , b] [c , d ] [e , h] .
Particionamos el recinto A mediante la particin P, de la siguiente manera:
[a , b] a = x1 < x2 < ..... < xi < ..... < xn1 < xn = b
(n puntos)
[c , d ] c = y1 < y2 < ..... < y j < ..... < ym1 < ym = d
(m puntos)

[e , h] e = z1 < z 2 < ..... < z k < ..... < z s1 < z s = h

(s puntos)

Esta particin genera pequeos subrecintos paraleleppedos recto rectngulos (cajas de

zapatos). Se generan n m s subrecintos, obtenidos a partir de la particin P.

Ai j k

En este caso tambin denominamos:

y j = y j 1 y j
xi = xi 1 xi

z k = z k 1 z k

El volumen de cada subrecinto A i j k se puede calcular como:

Vol. A i j k = A i j k = xi y j z k
Si la funcin f est acotada en A, tambin estar acotada en cada A i j k , por lo que f
tendr cota superior e inferior en A i j k . Por lo tanto f tiene supremo e nfimo en A i j k .
Utilizamos la siguiente notacin:
Supremo de f en A i j k : M i j k

nfimo de f en A i j k : mi j k

Anlogamente a lo realizado para las integrales dobles, establecemos los siguientes

productos:
1) M i j k . Volumen ( Ai j k ) = M i j k . Ai j k = M i j k ( xi y j z k )
2) mi j k . Volumen ( Ai j k ) = mi j k . Ai j k = mi j k ( xi y j z k )

Prof. Andrea Campillo Anlisis Matemtico II

Definimos ahora la Suma Superior de f en A : S ( f , A, P) =

i =1...n
j =1...m
k =1.... s

ijk

xi y j z k

El valor de la suma superior depende de la funcin f , del recinto A y de la particin P

que se ha establecido en dicho recinto.
Anlogamente definimos la Suma Inferior de f en A : S ( f , A, P ) = mi j k xi y j z k
i =1... n
j =1...m
k =1.... s

Este valor tambin depender de la funcin f , del recinto A y de la particin P que se

ha establecido en dicho recinto.
Tanto S como S son nmeros reales, que cumplen ciertas propiedades (que pueden
demostrarse):
4) Si P es una particin de A, entonces S ( f , A, P) S ( f , A, P)
S ( f , A, P) S ( f , A, P1 )
5) Si P1 es un refinamiento de la particin de A, entonces
S ( f , A, P) S ( f , A, P1 )
6) Si P1 y P2 son dos particiones distintas (no refinamientos) se cumple que

S ( f , A, P1 ) S ( f , A, P2 )
Segn lo establecido por estas tres propiedades una suma inferior nunca puede superar a
una suma superior.
Para definir entonces la integral triple, se realiza una particin sobre el conjunto A, y se
refina sucesivamente esta particin. Se calculan los valores de las sumas inferiores y
superiores para estas sucesivas particiones, y representamos los valores de S y S
obtenidos en la recta real.

S1

S2

S3

Sk

S
S3
.. k .

S2

S1

Establecemos dos conjuntos: el conjunto B con los valores de las sumas inferiores, y el
conjunto C con los valores de las sumas superiores.
B est acotado superiormente (cualquiera de las S es cota superior), por lo que B tendr
supremo. Asimismo, C est acotado inferiormente (cualquier de las S es cota inferior),
por lo que tendr nfimo. Utilizaremos dichos nfimo y supremo mencionados para
definir la integral inferior y superior.
Integral inferior:

f ( x, y, z ) dx dy dz = supremo de B

Prof. Andrea Campillo Anlisis Matemtico II

Integral superior:

f ( x, y, z ) dx dy dz = nfimo de C

Cuando ambos valores coincidan, podremos definirlo como la integral triple de f en A.

Definicin.
Sea f : D R 3 R , definida y acotada en el recinto A = [a , b] [c , d ] [e , h] D . Si
se cumple que

f ( x, y, z ) dx dy dz =

f ( x, y, z ) dx dy dz se dice que el campo

escalar f es integrable en A, y a ese valor comn se lo define como la integral triple de

la funcin f en A.
Por lo tanto:

f ( x, y, z ) dx dy dz =

f ( x, y, z ) dx dy dz =

f ( x, y, z ) dx dy dz

Condiciones de integrabilidad
Debemos analizar ahora bajo qu condiciones se cumple que el valor de la integral
superior de una funcin en un determinado recinto coincida con el valor de la integral
inferior, para que la integral triple quede definida.
Enunciaremos las condiciones de integrabilidad, que pueden demostrarse.
Sea f : D R 3 R , definida y acotada en el recinto A = [a , b] [c , d ] [e , h] D .
4) Si > 0 , una particin P del recinto A tal que S ( f , D, P) S ( f , D, P) < ,
entonces f es integrable en A.
5) Si f es continua en A, entonces f es integrable en A
6) Si f es continua en A, excepto en un subconjunto de A de medida nula, entonces
f es integrable en A.
En este caso, intuitivamente podemos decir que un subconjunto del espacio de medida
nula ser aquel que no tenga volumen, por ejemplo puntos aislados, segmentos,
curvas, superficies, etc.
Una vez establecidas las condiciones de integrabilidad, vamos a enunciar un teorema
que me permita efectuar el clculo de la integral triple, a travs del clculo de integrales
simples sucesivas.
Teorema
Sea f : D R 3 R integrable en D = [a , b] [c , d ] [e , h] .
Si x [a , b] , g (x) = dy f ( x, y, z ) dz , entonces:

f ( x, y, z ) dx dy dz = dx dy f ( x, y, z ) dz

De manera anloga, puede integrarse en cualquier otro orden de integracin. Por

ejemplo:

f ( x, y, z ) dx dy dz = dy dz f ( x, y, z ) dx = dz dx f ( x, y, z ) dy , etc.

Integrales en recintos no paraleleppedos

Debemos ahora generalizar la definicin de integral triple a recintos ms generales, no
necesariamente paraleleppedos recto rectngulos.
10

Prof. Andrea Campillo Anlisis Matemtico II

Sea f : D R 3 R , siendo D un conjunto acotado. Suponemos f integrable y D no
paraleleppedo. Para poder definir

f ( x, y, z ) dx dy dz , incluimos al conjunto D en

un paraleleppedo [a , b] [c , d ] [e , h] .

Definimos la denominada funcin caracterstica del conjunto D:

1 ( x, y, z ) D
( x, y , z ) =
0 ( x, y, z ) D
Luego redefinimos la funcin f de la siguiente manera: f * ( x, y, z ) = f ( x, y, z ) . ( x, y, z )
f*
De
este
modo,
la
funcin
redefinida
resultar:
f ( x, y, z ) ( x, y, z ) D
f * ( x, y , z ) =
0
( x, y, z ) D

Siendo A = [a , b] [c , d ] [e , h] , resulta D A. De esta manera definimos la integral

triple de f sobre el recinto D de la siguiente manera:

f ( x, y, z ) dx dy dz = f * ( x, y, z ) dx dy dz
A

Para que la definicin tenga sentido y sea correcta, debemos garantizar que f * sea
integrable en A. Por la forma en que dicha funcin est definida, las discontinuidades de
f * en D sern las mismas discontinuidades de f. Dado que f es integrable, estas
discontinuidades no afectarn la integrabilidad de f * . Ahora debemos analizar el caso
de posible discontinuidad en la frontera de D, pero an cuando se presente una
discontinuidad en dicho conjunto, se trata de un conjunto de medida nula (es una
superficie en el espacio) que no afecta la integrabilidad de f * . Por todo lo expuesto,
resulta f * una funcin integrable en A.

11