Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
2 Metodos Matematicos I : Integral doble
Tema 1
Integral doble
Todas las deniciones y resultados que aparecen en este Tema 1 son un caso particular de las de-
niciones y resultados mas generales del Tema 2 siguiente. Sin embargo, el caso de la integral doble
permite una mejor visualizacion de los conceptos y presenta una menor complejidad en la notacion,
por lo que usaremos este tema para introducirlos y realizar las demostraciones. Omitiremos entonces
las demostraciones analogas del caso general.
La integral en dos variables se construye de manera paralela a como se hizo con la integral de
Riemann de una variable, con conceptos analogos y resultados similares obtenidos del caso de una
variable. As, la prueba de muchos de los resultados es practicamente identica al caso de una variable
y omitiremos dicha prueba, remitiendonos a la prueba del caso simple.
1.1 Integral doble en un rectangulo.
Denicion 1.- Llamaremos rectangulo cerrado de lados [a, b] y [c, d] al intervalo cerrado de IR
2
A = [a, b] [c, d] = (x, y) IR
2
: a x b, c y d,
y diremos que el area del rectangulo A es /(A) = (b a) (d c).
Denicion 2.- Sean P
1
= a = x
0
< x
1
< < x
n
= b y P
2
= c = y
0
< y
1
< < y
m
= d dos
particiones cualesquiera de los intervalos [a, b] y [c, d] respectivamente. Llamaremos particion del
rectangulo A = [a, b] [c, d] al conjunto
P = P
1
P
2
= (x
0
, y
0
), (x
0
, y
1
), . . . , (x
i
, y
j
), . . . , (x
n
, y
m
).
Esta particion consta de (n+1)(m+1) puntos y descompone el rectangulo A en mn subrectangulos
A
ij
= [x
i1
, x
i
] [y
ji
, y
j
] ; con 1 i n, 1 j m.
Si P es una particion de A, escribiremos P T(A).
Denicion 3.- Dadas dos particiones P = P
1
P
2
y Q = Q
1
Q
2
del rectangulo A, se dice que P
es mas na que Q, y lo denotaremos por Q P , si, y solo si, Q
1
P
1
y Q
2
P
2
, es decir, si, y
solo si, P
1
es mas na que Q
1
y P
2
es mas na que Q
2
.
Nota: Dadas dos particiones P = P
1
P
2
y Q = Q
1
Q
2
, la particion
R = P Q = (P
1
P
2
) (Q
1
Q
2
) = (P
1
Q
1
) (P
2
Q
2
) = R
1
R
2
es mas na que las particiones P y Q, pues R
1
es mas na que P
1
y Q
1
, y R
2
que P
2
y Q
2
.
Denicion 4.- Sea f: A = [a, b] [c, d] IR una funcion acotada y P T(A). Entonces, para cada
subrectangulo A
ij
de la particion, sean
m
ij
= inff(x, y) : (x, y) A
ij
M
ij
= supf(x, y) : (x, y) A
ij
y sea /(A
ij
) el area del subrectangulo A
ij
. Denimos entonces la suma inferior y la suma superior
de la funcion f respecto de la particion P como
L(f, P) =
n,m
i,j=1
m
ij
/(A
ij
) y |(f, P) =
n,m
i,j=1
M
ij
/(A
ij
)
respectivamente.
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
3 Metodos Matematicos I : Integral doble 1.1 Integral doble en un rectangulo.
A
ij
m
ij
M
ij
Fig. 1.1. Volumen por esceso y por defecto.
Propiedades 5.- Sean A = [a, b] [c, d] y f: A IR una funcion acotada, entonces
a) L(f, P) |(f, P), para toda P T(A).
b) Si P y Q son dos particiones de A tales que P Q, (es decir, Q es mas na que P ), entonces:
L(f, P) L(f, Q) y |(f, P) |(f, Q).
c) L(f, P) |(f, Q) para todos P, Q T(A).
Demostracion:
Es analoga a la de una variable.
Como, para una funcion acotada f en un rectangulo cerrado A, el conjunto de las sumas inferiores
esta acotado superiormente por cualquier suma superior y el conjunto de las sumas superiores esta
acotado inferiormente por cualquier suma inferior, existen el superior del primero de estos conjuntos
y el extremo inferior del segundo y se verica que
sup
PP(A)
L(P, f) inf
PP(A)
|(P, f).
Estos n umeros se llaman, respectivamente, integral inferior e integral superior de la funcion f
en A y, tambien se utiliza para escribirlos la notacion
_
A
f = sup
PP(A)
L(P, f)
_
A
f = inf
PP(A)
|(P, f)
Denicion 6.- Sea f: A = [a, b] [c, d] IR una funcion acotada. Se dice que f es integrable en
A si, y solo si,
sup
PP(A)
L(f, P) = inf
PP(A)
|(f, P).
En este caso, el n umero real I = supL(f, P) = inf |(f, P) se llama integral de f en A y se designa
por
_
A
f o bien por
_
A
f(x, y) dxdy.
Para poner de maniesto que integramos sobre un conjunto de IR
2
suele usarse la notacion
__
A
f o
__
A
f(x, y) dxdy
Condicion de integrabilidad de Riemann. 7.- Sea f: A = [a, b] [c, d] IR una funcion acotada.
Entonces f es integrable en A si, y solo si, para cada > 0, existe una particion P
de A tal que
|(f, P
) L(f, P
) < .
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4 Metodos Matematicos I : Integral doble 1.1 Integral doble en un rectangulo.
Demostracion:
Es analoga a la de una variable.
Ejemplo 8.- La funcion f(x, y) = x + y es integrable en A = [a, b] [c, d] .
En efecto, sean P
1
= a = x
0
< x
1
< < x
n
= b y P
2
= c = y
0
< y
1
< < y
m
= d. En
cada A
ij
, se verica que x
i1
x x
i
y que y
j1
y y
j
, luego sumando miembro a miembro,
x
i1
+ y
j1
x + y x
i
+ y
j
y, por tanto, m
ij
= x
i1
+ y
j1
y M
ij
= x
i
+ y
j
.
Si hacemos n = m y tomamos particiones P
1
y P
2
equiespaciadas de la forma
_
x
i
= a +
i(ba)
n
_
e
_
y
j
= c +
j(dc)
n
_
, (es decir, divididiendo cada intervalo en partes iguales,) se tiene que
M
ij
m
ij
=(x
i
+ y
j
) (x
i1
y
ji
) =
b a
n
+
d c
n
/(A
ij
) =(x
i
x
i1
)(y
j
y
j1
) =
b a
n
d c
n
.
Entonces
|(f, P) L(f, P) =
n,n
i,j=1
(M
ij
m
ij
)/(A
ij
)
=
n
i,j=1
_
ba
n
+
dc
n
_
ba
n
dc
n
=
n
i,j=1
(ba+dc)(ba)(dc)
n
3
=n
2 (ba+dc)(ba)(dc)
n
3
=
(ba+dc)(ba)(dc)
n
<
para n sucientemente grande. En consecuencia, f es integrable en A.
__
A
f(x, y) dxdy
__
A
[f(x, y)[ dxdy.
e) Si el rectangulo A es la union de otros dos rectangulos A
1
y A
2
, cuya interseccion es un
segmento, entonces:
__
A
f(x, y) dxdy =
__
A
1
f(x, y) dxdy +
__
A
2
f(x, y) dxdy.
Demostracion:
Las demostraciones son semejantes a las de una variable.
1.1.1 Integrales reiteradas. Teorema de Fubini
Teorema debil de Fubini 10.- Sean A = [a, b] [c, d] y f: A IR una funcion integrable en A tal
que, para cada x [a, b] , la funcion g
x
: [c, d] IR denida por g
x
(y) = f(x, y) es integrable en
[c, d] , y sea
G(x) =
_
d
c
g
x
(y) dy =
_
d
c
f(x, y) dy.
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
5 Metodos Matematicos I : Integral doble 1.1 Integral doble en un rectangulo.
Entonces la funcion G(x) es integrable en [a, b] y
_
b
a
G(x) dx =
_
b
a
_
_
d
c
g
x
(y) dy
_
dx =
__
A
f(x, y) dxdy
#Demostracion#
Sean P
1
= a =x
0
< x
1
< < x
n
=b y P
2
= c =y
0
< y
1
< < y
m
=d dos particiones
arbitrarias de [a, b] y [c, d] respectivamente. Entonces, para cada particion P = P
1
P
2
de A, donde
cada subrectangulo A
ij
es de la forma [x
i1
, x
i
] [y
j1
, y
j
] , se tiene
L(f, P) =
n,m
i,j=1
m
ij
(x
i
x
i1
)(y
j
y
j1
) =
n
i=1
_
_
m
j=1
m
ij
(y
j
y
j1
)
_
_
(x
i
x
i1
).
|(f, P) =
n,m
i,j=1
M
ij
(x
i
x
i1
)(y
j
y
j1
) =
n
i=1
_
_
m
j=1
M
ij
(y
j
y
j1
)
_
_
(x
i
x
i1
).
Si llamamos m
g
x
j
= infg
x
(y) : y [y
j1
, y
j
] y M
g
x
j
= supg
x
(y) : y [y
j1
, y
j
], para cada
x [x
i1
, x
i
] , como A
ij
contiene al conjunto x[y
j1
, y
j
] , se tiene que m
ij
m
g
x
j
y que M
ij
M
g
x
j
y, por tanto,
m
j=1
m
ij
(y
j
y
j1
)
m
j=1
m
g
x
j
(y
j
y
j1
) = L(g
x
, P
2
)
_
d
c
g
x
(y) dy = G(x)
m
j=1
M
ij
(y
j
y
j1
)
m
j=1
M
g
x
j
(y
j
y
j1
) = |(g
x
, P
2
)
_
d
c
g
x
(y) dy = G(x)
por ser g
x
integrable en [c, d] . Como esto es cierto para cualquier x [x
i1
, x
i
] , se tiene que
m
j=1
m
ij
(y
j
y
j1
) infG(x) : x [x
i1
, x
i
] = m
G
i
m
j=1
M
ij
(y
j
y
j1
) supG(x) : x [x
i1
, x
i
] = M
G
i
con lo que
L(f, P) =
n
i=1
_
_
m
j=1
m
ij
(y
j
y
j1
)
_
_
(x
i
x
i1
)
n
i=1
_
m
G
i
_
(x
i
x
i1
) = L(G, P
1
)
|(f, P) =
n
i=1
_
_
m
j=1
M
ij
(y
j
y
j1
)
_
_
(x
i
x
i1
)
n
i=1
_
M
G
i
_
(x
i
x
i1
) = |(G, P
1
).
Reuniendo ambas desigualdades,
L(f, P) L(G, P
1
) |(G, P
1
) |(f, P)
y, entonces
sup
P
L(f, P) sup
P
1
L(G, P
1
) inf
P
1
|(G, P
1
) inf
P
|(f, P). 1.1)
Por ser f es integrable en A,
sup
P
L(f, P) = inf
P
|(f, P) =
__
A
f(x, y) dxdy,
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
6 Metodos Matematicos I : Integral doble 1.1 Integral doble en un rectangulo.
luego la cadena de desigualdades de 1.1) es una cadena de igualdades y G es integrable en [a, b] y
_
b
a
G(x) dx =
__
A
f(x, y) dxdy.
De una manera analoga se prueba que
Proposicion 11.- Sean A = [a, b] [c, d] y f: A IR una funcion integrable en A tal que, para cada
y [c, d] , la funcion h
y
: [a, b] IR denida por h
y
(x) = f(x, y), es integrable en [a, b] . Entonces
_
d
c
_
_
b
a
h
y
(x)dx
_
dy =
__
A
f(x, y) dxdy.
Corolario 12.- Si f: A IR es una funcion integrable y continua en A, entonces
__
A
f(x, y) dxdy =
_
b
a
_
_
d
c
f(x, y)dy
_
dx =
_
d
c
_
_
b
a
f(x, y)dx
_
dy.
Demostracion:
Por ser f continua, las funciones g
x
y h
y
son integrables en sus conjuntos respectivos.
Ejemplo 13.- Sea f(x, y) = x + y denida en A = [0, 1] [1, 1] . Hallar
__
A
f(x, y) dxdy.
Solucion:
Como f es integrable en A, y g
x
(y) = f(x, y) = x + y es integrable en [1, 1] (es continua), el
teorema de Fubini asegura que
__
A
f(x, y) dxdy =
_
1
0
__
1
1
g
x
(y) dy
_
dx =
_
1
0
__
1
1
(x + y) dy
_
dx =
_
1
0
_
xy +
y
2
2
_
1
1
dx
=
_
1
0
2xdx = x
2
_
1
0
= 1
Tambien es h
y
(x) = f(x, y) integrable en [0, 1] , luego
__
A
f(x, y) dxdy =
_
1
1
__
1
0
h
y
(x) dx
_
dy =
_
1
1
__
1
0
(x + y) dx
_
dy =
_
1
1
1
2
+ y dy = 1
En realidad, el teorema de Fubini es mas general que la version demostrada, del cual la version
debil es un corolario. A continuacion, exponemos el teorema en su version fuerte (sin demostracion,
aunque esta prueba es similar a la anterior pero mas compleja).
Teorema de Fubini 14.- Sean A = [a, b] [c, d] y f: A IR una funcion acotada e integrable en A.
Para cada x [a, b] , sea g
x
: [c, d] IR la funcion denida por g
x
(y) = f(x, y) y consideremos las
funciones
L(x) =
_
d
c
g
x
(y)dy y U(x) =
_
d
c
g
x
(y)dy.
obtenidas de su integral inferior y superior. Entonces las funciones L(x) y U(x) son integrables en
[a, b] y
_
b
a
_
_
d
c
g
x
(y)dy
_
dx =
__
A
f(x, y) dxdy =
_
b
a
_
_
d
c
g
x
(y)dy
_
dx.
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
7 Metodos Matematicos I : Integral doble 1.1 Integral doble en un rectangulo.
1.1.1.1 Integrales dependientes de un parametro
Proposicion 15.- Sean A IR un intervalo cerrado, I = [a, b] IR y : AI IR una funcion tal
que la integral
_
b
a
(x, t) dt existe para cada x A. Consideremos la funcion : A IR denida
por (x) =
_
b
a
(x, t) dt. Entonces:
a) Si es continua en AI , la funcion es continua en A.
b) Si
x
(x, t) existe y es continua en A I , tambien existe
(x) =
_
b
a
x
(x, t) dt.
#Demostracion#
a) La funcion es continua en un cerrado y acotado luego es uniformemente continua en AI
y, por tanto, para cada > 0 existe un > 0 tal que, si |(x, t) (x
0
, t
0
)| < se verica que
[(x, t) (x
0
, t
0
)[ <
ba
.
Entonces, para cada x
0
A, se tiene que si [x x
0
[ = |(x, t) (x
0
, t)| < , entonces
[(x) (x
0
)[ =
_
b
a
(x, t) (x
0
, t) dt
_
b
a
[(x, t) (x
0
, t)[ dt
_
b
a
b a
dt = ,
luego es continua en x
0
y por consiguiente en A.
b) Sea x int(A), entonces
(x) = lm
h0
(x + h) (x)
h
= lm
h0
1
h
_
b
a
_
(x + h, t) (x, t)
_
dt
por el teorema del valor medio de la derivada, existe l entre 0 y h tal que
= lm
h0
1
h
_
b
a
x
(x + l, t) h dt = lm
h0
_
b
a
x
(x + l, t) dt
y por la parte (a),
=
_
b
a
lm
h0
x
(x + l, t) dt =
_
b
a
x
(x, t) dt.
1.1.2 Conjuntos de contenido cero y medida cero
Denicion 16.- Se dice que un conjunto B IR
2
tiene contenido cero si, y solo si, para cada > 0,
existe un n umero nito de rectangulos cerrados A
1
, A
2
, . . . , A
n
, tales que
B
n
_
i=1
A
i
y
n
i=1
/(A
i
) < .
Nota: Es claro que los conjuntos que tienen contenido cero son acotados, pues estan contenidos en la
union nita de conjuntos acotados.
Proposicion 17.- Si g: [a, b] IR es una funcion integrable en [a, b] , entonces su graca G =
(x, y) IR
2
: a x b, y = g(x) es un conjunto de contenido cero de IR
2
.
Demostracion:
Sea > 0. Como g es integrable en [a, b] , existe P
= a = x
0
< x
1
< < x
n
= b particion de
[a, b] , tal que |(g, P
) L(g, P
) < .
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
8 Metodos Matematicos I : Integral doble 1.1 Integral doble en un rectangulo.
a b
m
i
M
i
x
i1
x
i
A
i
=[x
i1
, x
i
][m
i
, M
i
]
Fig. 1.2.
Si, para cada i = 1, . . . , n, los valores m
i
y M
i
son respectivamente el inferior y el superior de g
en [x
i1
, x
i
] , es claro que la parte de la graca (x, y) : x
i1
x x
i
, y = g(x) esta contenida en el
rectangulo A
i
= [x
i1
, x
i
] [m
i
, M
i
] y, por tanto, G
n
i=1
A
i
.
Como,
n
i=1
/(A
i
) =
n
i=1
(M
i
m
i
)(x
i
x
i1
)
=
n
i=1
M
i
(x
i
x
i1
)
n
i=1
m
i
(x
i
x
i1
) = |(g, P
) L(g, P
) < ,
el conjunto G tiene contenido cero.
Denicion 18.- Se dice que un conjunto B IR
2
tiene medida cero si, y solo si, para cada > 0,
existe una sucesion A
n
n=1
de rectangulos cerrados tal que
B
_
n=1
A
n
y
n=1
/(A
n
) < .
Ejemplo.- IN, tomado como el conjunto (n, 0) IR
2
: n IN, es de medida cero en IR
2
.
Para cada n IN, tomamos el rectangulo A
n
= [n
1
2
n+1
, n +
1
2
n+1
] [
2
,
2
] . Como, para cada
n IN, el punto (n, 0) A
n
y /(A
n
) =
_
n +
1
2
n+1
(n
1
2
n+1
)
_
_
4
4
_
=
1
2
n
2
=
2
n+1
, se verica
que
IN
_
n=1
A
n
y
n=1
/(A
n
) =
n=1
2
n+1
=
2
< .
Nota: Si un conjunto B IR
2
tiene contenido cero, entonces B tiene medida cero, pero el recproco
no es cierto. Basta tomar un conjunto de medida cero no acotado, por ejemplo el conjunto IN en IR
2
.
Sin embargo, es cierto el siguiente resultado:
Proposicion 19.- Si B IR
2
es cerrado y acotado y tiene medida cero, entonces tiene contenido cero.
Proposicion 20.- Si B
n
n=1
es una sucesion de conjuntos de IR
2
de medida cero, entonces el conjunto
B =
n=1
B
n
tiene medida cero.
Demostracion:
Sea > 0, entonces para cada k IN, existe una sucesion A
k1
, A
k2
, . . . , A
kn
, . . . de rectangulos
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
9 Metodos Matematicos I : Integral doble 1.1 Integral doble en un rectangulo.
cerrados que recubren B
k
y tal que
n=1
/(A
kn
) <
2
k
, entonces la coleccion de todos los A
kn
k,nIN
es un recubrimiento numerable de B y ademas
n,k=1
/(A
kn
) =
k=1
_
n=1
/(A
kn
)
_
<
k=1
2
k
= ,
luego B tiene medida cero.
1.1.3 Teorema de Lebesgue
Teorema de Lebesgue. 21.- Sean A = [a, b] [c, d] y f: A IR una funcion acotada. Entonces f
es integrable en A si, y solo si, el conjunto de los puntos de discontinuidad de f en A tiene medida
cero.
Demostracion:
La demostracion escapa al nivel de este curso, pero puede encontrarse en el libro Calculo en varieda-
des de M. Spivak.
Corolario 22.- Si f: A IR es continua, entonces f es integrable en A.
Corolario 23.- Si f y g son integrables en A, entonces fg es integrable en A.
Demostracion:
En efecto, sean D
f
, D
g
y D
fg
los conjuntos de discontinuidad de las funciones f , g y fg en A.
Claramente D
fg
D
f
D
g
. Por el teorema de Lebesgue, D
f
y D
g
tienen medida cero, luego D
f
D
g
tiene medida cero y, por tanto, D
fg
tiene medida cero. En consecuencia, fg es integrable en A.
Ejemplo 24.- Calcular
__
A
sen
2
xsen
2
y dxdy, con A = [0, ] [0, ] .
Solucion:
La funcion es continua en A luego integrable en A y, por el corolario del teorema de Fubini, se
tiene que
__
A
(sen
2
xsen
2
y) dxdy =
_
0
__
0
sen
2
xsen
2
y dy
_
dx =
_
0
sen
2
x
__
0
sen
2
y dy
_
dx
=
__
0
sen
2
y dy
__
0
sen
2
xdx =
__
0
sen
2
xdx
_
2
=
__
0
1 cos 2x
2
dx
_
2
=
_
2
_
2
.
y
t
_
dy =
_
t
1
e
t
2
y
ty
2
1
ty
2
dy
=
e
t
2
y
t
3
+
1
ty
_
_
t
1
=
e
t
2
e
t
t
3
+
1
t
2
1
t
.
f(x, y) =
_
f(x, y), si (x, y) S
0, si (x, y) / S
Denicion 26.- Una funcion acotada f: S IR denida sobre un conjunto acotado S IR
2
es
integrable en S si, y solo si,
f es integrable en alg un rectangulo cerrado A que contenga a S y,
escribiremos,
__
S
f(x, y) dxdy =
__
A
f(x, y) dxdy.
Proposicion 27.- La integral
__
S
f(x, y) dxdy no depende del rectangulo A elegido.
Demostracion:
Sean A
1
y A
2
dos rectangulos que contengan a S. Entonces, A
1
A
2
es un rectangulo que tambien
contiene a S y, como
f es cero fuera de S, es cero en A
1
A
2
y en A
2
A
1
(ver gura 1.3). Luego
S
A
1
A
2
A
1
A
2
A
2
A
1
A
1
A
2
Fig. 1.3. Independencia del rectangulo.
__
A
1
f(x, y) dxdy =
__
A
1
A
2
f(x, y) dxdy +
__
A
1
A
2
0 dxdy =
__
A
1
A
2
f(x, y) dxdy
__
A
2
f(x, y) dxdy =
__
A
2
A
1
f(x, y) dxdy +
__
A
2
A
1
0 dxdy =
__
A
2
A
1
f(x, y) dxdy
y coinciden. Por tanto, la integral no depende del rectangulo elegido.
1.2.1 Conjuntos medibles
Denicion 28.- Se llama funcion caracterstica de un subconjunto S de IR
2
, a la funcion A
S
: IR
2
IR denida por
A
S
(x, y) =
_
1, si (x, y) S
0, si (x, y) / S.
Denicion 29.- Se dice que un subconjunto S de IR
2
es medible cuando es acotado y su funcion
caracterstica es integrable. En este caso, se dene el area de S, como el n umero real
/(S) =
__
S
A
S
(x, y) dxdy.
Proposicion 30.- Un subconjunto acotado S IR
2
es medible si, y solo si, su frontera fr(S) tiene
contenido cero.
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
11 Metodos Matematicos I : Integral doble 1.2 Integracion sobre conjuntos acotados
Demostracion:
Se tiene que IR
2
= int(S) fr(S) ext(S) y la funcion caracterstica A
S
es continua en int(S) ext(S)
y discontinua en fr(S). Luego, por el teorema de Lebesgue, S es medible si, y solo si, fr(S) tiene
medida cero. Ahora bien, como fr(S) es un conjunto cerrado y es acotado por ser S acotado, entonces
fr(S) tiene medida cero si, y solo si, tiene contenido cero.
Proposicion 31.- Sean g
1
y g
2
dos funciones de [a, b] en IR continuas y tales que g
1
g
2
. Entonces:
a) El conjunto S =
_
(x, y) IR
2
: a x b, g
1
(x) y g
2
(x)
_
es medible.
b) Si f: S IR es una funcion acotada en S y continua en int(S), entonces
[i] f es integrable en S y
[ii]
__
S
f(x, y) dxdy =
_
b
a
_
_
g
2
(x)
g
1
(x)
f(x, y)dy
_
dx.
En particular:
/(S) =
__
S
X
S
(x, y) dxdy =
_
b
a
[g
2
(x) g
1
(x)]dx.
Demostracion:
a) S es acotado y su frontera es union de las gracas de las funciones g
1
y g
2
en [a, b]
G
1
= (x, y) : a x b, y = g
1
(x) G
2
= (x, y) : a x b, y = g
2
(x)
y los segmentos en IR
2
a [g
1
(a), g
2
(a)] = (a, y) : g
1
(a) y g
2
(a) b [g
1
(b), g
2
(b)],
todos ellos de contenido cero, luego fr(S) tiene contenido cero y, por tanto, S es medible.
b) Si la funcion f: S IR una funcion acotada en S y continua en int(S), consideremos la funcion
f(x, y) =
_
f(x, y), si (x, y) S
0, si (x, y) / S.
A
S
y = g
1
(x)
y = g
2
(x)
a b
c
d
Fig. 1.4.
[i] Todo punto de discontinuidad de
f es un punto frontera de S ya que, en int(S),
f = f
continua por hipotesis y, por su denicion,
f es continua en ext(S). Luego, el conjunto
de discontinuidades de
f esta contenido en fr(S) que tiene contenido cero. Entonces,
f es
integrable en cualquier rectangulo que contenga a S y, por tanto, f es integrable en S.
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
12 Metodos Matematicos I : Integral doble 1.2 Integracion sobre conjuntos acotados
[ii] Sea A = [a, b] [c, d] un rectangulo que contiene a S, consideramos para cada x [a, b] la
funcion g
x
: [c, d] IR denida por g
x
(y) =
f(x, y). Como dicha funcion es discontinua a
lo sumo en g
1
(x) y en g
2
(x); es integrable en [c, d] y
_
d
c
g
x
(y)dy =
_
g
1
(x)
c
f(x, y)dy +
_
g
2
(x)
g
1
(x)
f(x, y)dy +
_
d
g
2
(x)
f(x, y)dy
=
_
g
1
(x)
c
0dy +
_
g
2
(x)
g
1
(x)
f(x, y)dy +
_
d
g
2
(x)
0dy =
_
g
2
(x)
g
1
(x)
f(x, y)dy
y, por el teorema de Fubini,
__
S
f(x, y) dxdy =
__
A
f(x, y) dxdy =
_
b
a
_
_
d
c
f
x
(y)dy
_
dx =
_
b
a
_
_
g
2
(x)
g
1
(x)
f(x, y)dy
_
dx.
En particular
/(S) =
__
S
A
S
(x, y) dxdy =
_
b
a
_
_
g
2
(x)
g
1
(x)
1dy
_
dx =
_
b
a
_
g
2
(x) g
1
(x)
_
dx.
Proposicion 32.- Sean h
1
y h
2
dos funciones de [c, d] en IR continuas y tales que h
1
h
2
en [c, d] .
El conjunto T = (x, y) : c y d, h
1
(y) x h
2
(y) es medible y si f: T IR es una funcion
acotada en T y continua en int(T) entonces f es integrable en T y
__
T
f(x, y) dxdy =
_
d
c
_
_
h
2
(y)
h
1
(y)
f(x, y)dx
_
dy.
En particular:
/(T) =
__
T
A
T
(x, y) dxdy =
_
d
c
_
h
2
(y) h
1
(y)
_
dy.
Ejemplo 33.- Probar que la region S limitada por la elipse
x
2
a
2
+
y
2
b
2
= 1 es medible y calcular su
area.
Solucion:
El conjunto S es S =
_
(x, y) IR
2
: a x a,
b
a
a
2
x
2
b
a
a
2
x
2
_
. Las funciones
a a
b
b
Fig. 1.5.
g
1
(x) =
b
a
a
2
x
2
y g
2
(x) =
b
a
a
2
x
2
son evidentemente continuas en [a, a] y por la pro-
posicion anterior S es medible.
/(S) =
_
a
a
[g
2
(x) g
1
(x)] dx =
_
a
a
2b
a
a
2
x
2
dx =
_
x =a sent
dx =a cos tdt
_
=
_
2
2
2b
a
a
2
a
2
sen
2
t a cos t dt = 2ab
_
2
2
1+cos 2t
2
dt
=ab
_
t +
sen 2t
2
_
2
2
= ab.
f(x, y) =
_
f(x, y), si (x, y) S
0, si (x, y) / S
, tiene contenido cero.
Observacion:
Evidentemente, si una funcion es admisible en S, entonces es integrable en S.
Teorema del cambio de variables. 37.- Sean U un conjunto abierto de IR
2
, g: U IR
2
una funcion
de clase 1 en U y A IR
2
un conjunto medible tal que A fr(A) U.
Si g es C
1
-inversible en int(A) y f: g(A) IR es una funcion admisible en g(A), entonces la
funcion compuesta f g es admisible en A y
__
g(A)
f(x, y) dxdy =
__
A
(f g)(u, v)
det(g
(u, v))
dudv.
1.3.1 Coordenadas polares
Sean el abierto U = IR
2
, la funcion g: U IR
2
denida por g(r, ) = (r cos , r sen) y A = (r, )
IR
2
: r 0, 0 2 U. Se tiene,
~ La funcion g es de clase 1 en U:
Cada componente es producto de funciones de clase 1 en IR
2
, luego g es C
1
en IR
2
= U.
~ A fr(A) U:
Es claro, pues tanto A como fr(A) son subconjuntos de IR
2
, luego A fr(A) IR
2
= U.
~ g(A) = IR
2
.
En efecto, cada (x, y) IR
2
se puede describir tambien mediante la distancia, r, del punto al
origen y el angulo, , que forma el segmento entre ambos puntos con el semieje positivo de
abcisas. Luego existe (r, ) A tal que g(r, ) = (x, y).
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
14 Metodos Matematicos I : Integral doble 1.3 Cambio de variables
~ La funcion g es inyectiva en int(A) = (r, ) IR
2
: r > 0, 0 < < 2:
Si g(r
1
,
1
) = g(r
2
,
2
) =
_
r
1
cos
1
=r
2
cos
2
r
1
sen
1
=r
2
sen
2
=
_
r
2
1
cos
2
1
=r
2
2
cos
2
2
r
2
1
sen
2
1
=r
2
2
sen
2
2
y sumando ambas
ecuaciones se tiene que r
2
1
= r
2
2
, de donde r
1
= r
2
ya que r
1
, r
2
> 0. Por tanto, cos
1
= cos
2
y sen
1
= sen
2
; de la primera,
2
=
1
o
2
= 2
1
y, sustituyendo en la segunda, se tiene
que en int(A) debe ser
1
=
2
.
~ det(g
(r, )) =
cos rsen
sen r cos
f(x, y) =
_
_
x
2
+ y
2
, si (x, y) S
0, si (x, y) / S
estan en la frontera de S, que tiene contenido cero por ser S medible.
S = g(B)
x
y
2a a
y =
2ax x
2
B
2
0
r
r = 2a cos
Fig. 1.6. Conjuntos S y B.
Haciendo x = r cos e y = r sen, obtenemos de la ecuacion cartesiana x
2
+y
2
= 2ax la ecuacion
en polares r
2
= 2ar cos y S = g(B) donde
B =
_
(r, ) : 0
2
, 0 r 2a cos
_
.
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
15 Metodos Matematicos I : Integral doble 1.3 Cambio de variables
Por consiguiente
__
S
_
x
2
+ y
2
dxdy =
__
B
rr dr d =
_
2
0
_
_
2a cos
0
r
2
dr
_
d =
_
2
0
_
r
3
3
_
2a cos
0
d
=
8a
3
3
_
2
0
cos
3
d =
_
_
sen =t
cos d =dt
cos
2
=1 t
2
_
_
=
8a
3
3
_
1
0
(1 t
2
) dt
=
8a
3
3
_
t
t
3
3
_
1
0
=
16a
3
9
.
_
u
2
1
=u
2
2
v
2
1
=v
2
2
=
_
u
1
=u
2
v
1
=v
2
ya que en int(A), los valores u
1
, u
2
, v
1
y v
2
son positivos.
det(g
(u, v)) =
2u 2v
2v 2u
= 4(u
2
+ v
2
) > 0 para todo (u, v) int(A).
Finalmente, la funcion f(x, y) =
1
x
2
+y
2
es admisible en g(A) = S, porque las discontinuidades
de la funcion
f(x, y) =
_
1
x
2
+y
2
, si (x, y) S
0, si (x, y) / S
estan en la frontera de S que tiene contenido cero.
Por consiguiente,
I =
__
S
dxdy
_
x
2
+ y
2
=
__
A
4(u
2
+ v
2
)dudv
_
(u
2
v
2
) + (2uv)
2
=
_
2
1
_
2
1
4dudv = 4.
_
(u, v) IR
2
: u = 0
_
.
Sin embargo, como A no es un conjunto acotado, no es medible y, por tanto, no es un conjunto
de integracion valido. Ahora bien, como A no es medible porque contiene la recta innita u = 0 pero
todos los puntos de dicha recta verican que g(0, v) = (0, 0), si sustituimos toda la recta por una parte
acotada de ella obtendremos un conjunto, B, que sera medible y vericara que g(B) = g(A) = S.
Por ejemplo, el conjunto
B =
_
(u, v) IR
2
:
2
3
v
3
4
, 0 u
1
1v
_
.
B
u = 3 u = 4
v =
2
3
v =
3
4
u =
1
1 v
Fig. 1.9.
Veamos que g es C
1
-inversible en int(B) =
_
(u, v) IR
2
:
2
3
< v <
3
4
, 0 < u <
1
1v
_
:
det(g
(u, v) =
1 v u
v u
= u(1 v) + uv = u > 0.
Si g(u
1
, v
1
) = g(u
2
, v
2
) =
_
u
1
+ u
1
v
1
=u
2
+ u
2
v
2
u
1
v
1
=u
2
v
2
, restando ambas ecuaciones se tiene u
1
=
u
2
y, como u > 0 en int(B), tambien v
1
= v
2
y g es inyectiva en int(B).
Luego
I =
__
B
f(u(1 v), uv)ududv =
_ 3
4
2
3
_
_ 1
1v
0
f(u(1 v), uv)udu
_
dv.
2
(x, y)f(x, y) dxdy,
donde para cada punto (x, y) S, (x, y) representa la distancia del punto (x, y) a la recta L.
Ejemplo 42.- En una lamina cuadrada de lado a, la densidad en cada punto es proporcional al
cuadrado de la distancia de ese punto a uno de los vertices. Hallar el momento de inercia de dicha
lamina respecto a uno de los lados que pasan por ese vertice.
Solucion:
Consideremos el cuadrado de vertices (0, 0), (0, a), (a, a) y (a, 0). Si la densidad f(x, y) en el
punto (x, y) es proporcional al cuadrado de la distancia de (x, y) al vertice (0, 0), para cada (x, y) S
sera f(x, y) = k(x
2
+ y
2
), con k un valor constante.
Si giramos la lamina respecto al eje OX, tenemos que (x, y) = y y el momento de inercia I
L
respecto al eje OX sera
I
L
= k
_
S
y
2
(x
2
+ y
2
) dxdy = k
_
a
0
__
a
0
y
2
(x
2
+ y
2
) dy
_
dx =
14ka
6
45
1.5 Ejercicios
1.1 Calcular
__
A
x
2
y + xy
2
dxdy, con A = [0, 1] [0, 1] .
1.2 Calcular el volumen, V , encerrado por la supercie z = x
2
+ y
2
sobre el rectangulo A =
[1, 1] [1, 1] .
1.3 Determinar, razonadamente, si son ciertos o no los siguientes enunciados:
a) Las sumas inferiores de Riemann decrecen para particiones mas nas y las superiores crecen.
b) Dado un rectangulo acotado I de IR
2
y una funcion integrable f denida en el, si
_
I
f < 0
entonces f(x, y) < 0 para cada (x, y) I .
1.4 Demostrar los siguientes enunciados:
a) Dado un rectangulo acotado I de IR
2
y dos funciones acotadas denidas en I , f y g
tales que f + g es integrable en I , pero f no lo es, demostrar que entonces g tampoco es
integrable en I .
b) Sea f(x, y) = x
2
+ y
2
+ 1 y D =
_
(x, y) : x
2
+ y
2
4
_
, entonces: 4
_
D
f 20.
c) Sea D un rectangulo en IR
2
, de area 3 unidades y f una funcion continua en D, con
_
D
f = 6. Entonces existe un punto (x
0
, y
0
) D con f(x
0
, y
0
) = 2.
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
19 Metodos Matematicos I : Integral doble 1.5 Ejercicios
1.5 Sea D el dominio del plano limitado por y = x e y = x
2
x.
a) Describir D como conjunto proyectable en X.
b) Describir D como conjunto proyectable en Y .
1.6 Sea D la parte de la corona circular 1 x
2
+ y
2
4 situada en el primer cuadrante.
a) Describir D como conjunto proyectable en X.
b) Describir D como conjunto proyectable en Y .
1.7 Calcular los lmites de integracion de la integral
_
D
f(x, y) dxdy, para los siguientes dominios:
a) Un triangulo con vertices O = (0, 0), A = (1, 0) y B = (1, 1).
b) Un sector circular OAB con centro en O = (0, 0), cuyo arco tiene de extremos A = (1, 1)
y B = (1, 1).
c) Un anillo circular limitado por las circunferencias cuyos radios son r = 1 y R = 2 y cuyo
centro com un esta situado en el punto O = (0, 0).
d) D = (x, y) : [x[ +[y[ 1
e) El limitado por la hiperbola y
2
x
2
= 1 y por la circunferencia x
2
+ y
2
= 9, que contiene
al origen.
f) D =
_
(x, y) : 4x
2
9y; x
2
+ y
2
25
_
1.8 Escribir las ecuaciones de las curvas que limitan los dominios en los que estan denidas las
siguientes integrales y dibujar los dominios:
1)
_
2
6
_
_
2y
y
2
4
1
f(x, y) dx
_
dy 2)
_
3
1
_
_
2x
x
3
f(x, y) dy
_
dx
3)
_
3
0
_
_
25x
2
0
f(x, y) dy
_
dx 4)
_
4
0
__
10y
y
f(x, y) dx
_
dy
1.9 Cambiar el orden de integracion en la siguiente expresion:
_
1
0
_
_
x
2
0
f(x, y)dy
_
dx +
_
2
1
_
_
1
4xx
2
3
0
f(x, y)dy
_
dx
1.10 La integral de una funcion sobre una region S IR
2
se reduce a:
_
1
0
_
_
1+
1y
2
1
1y
2
(x
2
+ y
2
)dx
_
dy
Determinar la region S e invertir el orden de integracion.
1.11 Elegir el orden de integracion mas favorable para obtener el valor de las integrales
a)
_
D
xcos(xy)dxdy, siendo D =
_
(x, y) : 0 x
2
; 0 y 1
_
b)
__
S
y
_
1 cos
x
4
_
dxdy, siendo S = (x, y) : x 0,
x y 2.
1.12 Obtener los dominios en los que se denen la siguentes integrales y calcularlas de la manera mas
sencilla
1)
_
1
0
_
_
1
x
(x + y)
2
dx
_
dy 2)
_
2
0
_
_
1
y
(x
2
+ y
3
x) dx
_
dy
3)
_
2
1
_
_
ln x
0
(x 1)
_
1 + e
2y
dy
_
dx
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
20 Metodos Matematicos I : Integral doble 1.5 Ejercicios
1.13 Calcular las siguientes integrales dobles:
_
D
e
x
y
dxdy D limitado por y
2
= x, x = 0, y = 1, y =
1
2
.
_
D
_
x
2
+ y
2
dxdy D triangulo de vertices O = (0, 0), A = (1, 1) y B = (1, 1).
_
D
x
x
2
+y
2
dxdy D limitado por y =
x
2
2
, y = x, con y
1
2
.
_
D
[cos(x + y)[ dxdy D = [0,
2
] [0,
2
].
1.14 Calcular las siguientes integrales y dibujar los dominios a los que se extienden:
1)
_
0
__
0
1+cos x
y
2
sen xdy
_
dx 2)
_
2
2
__
3 cos y
0
x
2
sen
2
y dx
_
dy
1.15 Sean f una funcion real, continua en IR y g una funcion real, derivable en IR. Sea
h(t) =
_
t
0
__
t
x
g(y) dy
_
dx, t IR
a) Expresar h(t) como una integral doble extendida a cierto recinto S de IR
2
e invertir el
orden de integracion en la integral reiterada.
b) Probar que la funcion h es dos veces derivable y calcular h
(t).
1.16 Calcular el area de los siguientes dominios:
a) El limitado por y =
b
a
x y la parabola y
2
=
b
2
a
x.
b) El limitado por las parabolas y =
x, y = 2
x, y la recta x = 4.
1.17 Calc ulese la integral:
_
D
e
2y
x
dxdy, siendo D =
_
(x, y) : x
3
y x
2
_
1.18 Calcular el volumen del solido limitado por las supercies: x
2
+ y
2
= 4, y + z = 4 y z = 0.
1.19 Calcular el volumen del solido limitado por la supercie z = 2x
2
+y
2
+1, los planos coordenados
y el plano x + y 1 = 0.
1.20 Calcular el volumen limitado por los cilindros x
2
+ z
2
= a
2
y x
2
+ y
2
= a
2
.
1.21 Calcular el volumen limitado por el paraboloide z = x
2
+ y
2
y los planos z = 0, y = 1, y = 2x
e y = 6 x.
1.22 Calcular el volumen limitado por el cilindro parabolico z = 9 y
2
, los planos coordenados y el
plano 3x + 4y = 12, con y 0.
1.23 Hallar el area limitada en el primer cuadrante por las curvas x
2
+y
2
= 2x, x
2
+y
2
= 4x, y = x
e y = 0, utilizando el cambio a coordenadas polares: x = r cos , y = r sen .
1.24 Hacer el cambio de variable: u = x + y, v = x y, en la integral:
_
1
0
__
1
0
f(x, y) dy
_
dx.
1.25 Considerar la aplicacion de IR
2
en IR
2
denida por las ecuaciones: x = u + v, y = v u
2
.
a) Calcular el jacobiano J(u, v).
Parte: Integral m ultiple I.T.I. en Mecanica
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
21 Metodos Matematicos I : Integral doble 1.5 Ejercicios
b) Un triangulo T en el plano UV tiene por vertices: (0, 0), (2, 0) y (0, 2). Representar
mediante un dibujo, la imagen S en el plano XY de dicho triangulo.
c) Calcular el area de S mediante una integral doble extendida a S y tambien mediante otra
integral extendida a T .
1.26 Sea S la region del primer cuadrante limitada por las curvas: y x = 0, y
2
x
2
= 1, xy = a
y xy = b (con 0 < a < b). Calcular la integral:
_
S
(y
2
x
2
)
xy
(x
2
+ y
2
) dxdy, utilizamdo un
cambio de variable que transforme S en un rectangulo.
1.27 Calcular la integral
_
S
_
x
2
+ y
2
dxdy, donde S es el semicrculo: x
2
+ y
2
2ax, y 0.
1.28 Calcular
_
D
2xy
(x
2
+y
2
)
x
2
+y
2
dxdy, siendo D =
_
(x, y) : x 3; y 0; x
2
+ y
2
25
_
.
1.29 Calcular
_
D
(1 + x
2
+ y
2
)
3
2
dxdy donde D es el trozo de crculo x
2
+ y
2
1, en el primer
cuadrante.
1.30 Calcular
_
D
e
xy
x+y
dxdy donde D es el triangulo limitado por las rectas x = 0, y = 0 y x+y = 1.
1.31 Calcular los siguientes vol umenes:
a) El limitado por: z = 4 y
2
, y =
x
2
2
y z = 0.
b) El limitado por: x
2
+ y
2
= 2ax, z =
x
2
+y
2
a
y z = 0.
c) El limitado por: x 0, ax = by y
z
2
a
2
+
y
2
b
2
= 1.
d) V =
_
(x, y, z) IR
3
:
x +
y 1; 0 z
xy
_
e) El limitado por las supercies: z = x
2
y z = 1 y
2
.
f) El limitado por las supercies: y + z = 2, z = 1 x
2
, z = 0 e y = 0.
1.32 La funcion g: IR
2
IR
2
dada por g(u, v) = (ucos v sen, usen +v cos ), produce un giro
de angulo alrededor del origen.
a) Probar que g es un cambio de variables valido en todo IR
2
, para cualquier .
b) Hacer =
4
y usarlo para calcular
_
S
xy dxdy, donde S es el interior del polgono de
vertices (0, 0), (2, 2), (0, 4) y (2, 2).
1.33 Calcular
_
S
(y
2
x) dxdy donde S =
_
(x, y) :
(x1)
2
a
2
+
y
2
b
2
1
_
1.34 a) Sean : [a, b] IR continua y no negativa, D =
_
(x, y) : a x b; (x) y (x)
_
y f(x, y) una funcion denida en D tal que f(x, y) = f(x, y), (x, y) D. Probar
que
_
D
f(x, y) dxdy = 0.
b) Sean : [a, b] IR continua y no negativa, D =
_
(x, y) : a x b; (x) y (x)
_
y f(x, y) una funcion denida en D tal que f(x, y) = f(x, y), (x, y) D. Probar que
_
D
f(x, y) dxdy = 2
_
D
1
f(x, y) dxdy, donde D
1
=
_
(x, y) : a x b; 0 y (x)
_
1.35 Calc ulese I =
_
D
xe
x
2
+y
2
dxdy siendo D =
_
(x, y) : y 0; x y; x
2
+ y
2
25
_
1.36 Calcular
_
1
0
_
_
x
2
+y
2
0
e
x
2
+y
2
dy
_
dx
Parte: Integral m ultiple I.T.I. en Mecanica