Integrales mltiples u

2.1 Integral m ltiple sobre un rectngulo. u a

Denicin 2.1 Llamaremos rectngulo n-dimensional de lados [a1 , b1 ], [a2 , b2 ], . . . , [an , bn ], o a n al intervalo cerrado de I R A = [a1 , b1 ] [a2 , b2 ] [an , bn ] = {(x1 , x2 , . . . , xn ) : ai xi bi , i = 1, . . . , n}. Denimos el volumen del rectngulo A como: a V(A) = (b1 a1 ) (b2 a2 ) (bn an ). Denicin 2.2 Llamaremos particin del rectngulo A = [a1 , b1 ] [an , bn ], a una o o a particin P = P1 P2 Pn , donde Pi es una particin del intervalo [ai , bi ]. Si Pi divide o o a [ai , bi ] en mi subintervalos, entonces P divide a A en m1 m2 mn subrectngulos a Ai1 i2 in = [xi1 1 , xi1 ] [xi2 1 , xi2 ] [xin 1 , xin ] que llamaremos subrectngulos de la particin P . a o Dadas dos particiones P = P1 Pn y Q = Q1 Qn de A se dice que P es ms a na que Q cuando Pi es ms na que Qi , para i = 1, 2, . . . , n. a Observacin: o Si P y Q son dos particiones de A, entonces R = P Q es una particin ms na que P y Q. o a

Denicin 2.3 Sean A = [a1 , b1 ] [an , bn ], f : A IR acotada y P una particin o o de A. Para cada subrectngulo Ai1 i2 in de la particin, sean mi1 i2 in y Mi1 i2 in el inferior a o y el superior del conjunto {f (x1 , x2 , . . . , xn ) : (x1 , x2 , ..., xn ) Ai1 i2 in } y sea V(Ai1 i2 in ) el volumen de Ai1 i2 in . Llamaremos la suma inferior y suma superior de la funcin f respecto de la particin o o P a los valores

ww w.

R = P Q = (P1 Q1 ) (P2 Q2 ) (Pn Qn ).

L(f, P ) =
i1 ,...,in

at em
i1 ,...,in P

U (f, P ) = respectivamente.

Las propiedades de 1.5, para dos variables, tambin se verican para las sumas superiores e e inferiores de las funciones en IRn . En consecuencia, el conjunto de las sumas inferiores est a acotado superiormente por cualquier suma superior y el conjunto de las sumas superiores est a acotado inferiormente por cualquier suma inferior, luego existen el superior del primero de estos conjuntos y el inferior del segundo y, se verica que sup L(f, P ) inf U (f, P )
P

at ic a1

mi1 in V(Ai1 in ) Mi1 in V(Ai1 in )

.c om

Denicin 2.4 Se dice que f es integrable en A cuando o sup L(f, P ) = inf U (f, P ).
P P

Este nmero comn se llama integral de f en A y se designa por u u f o f (x1 , x2 , . . . , xn )dx1 dx2 dxn o f (x)dx.

Las funciones integrables verican tambin las propiedades recogidas en 1.9 y teoremas e anlogos a los vistos en la integral doble, por lo aqu slo recordaremos su enunciado ya que las a o demostraciones tambin son similares. e Teorema dbil de Fubini 2.5 Sean B IRk y C IRnk dos rectngulos cerrados, y A IRn e a el rectngulo cerrado dado por A = B C . Sea f : A IR una funcin integrable tal que, a o para cada x B , la funcin gx : C IR dada por gx (y) = f (x, y) es integrable en C y sea o G(x) =
C

gx (y) dy =

f (x, y) dy.

Entonces la funcin G(x) es integrable en B y o

a1
bn an

G(x) dx =

gx (y) dy dx =

em
b1 a1

at
b2 a2

Corolario 2.6 Sea A = [a1 , b1 ] [a2 , b2 ] [an , bn ]. Si f : A IR es integrable y continua en A, se tiene f (x1 , x2 , . . . , xn ) dx1 dx2 dxn = f (x1 , x2 , . . . , xn ) dxn dx2 dx1

b a

ww

w.

Proposicin 2.7 (Integrales dependientes de un parmetro) Sean A IRn un rectngulo cero a a rado, I = [a, b] IR y : A I IR una funcin tal que para cada x A la integral o (x, t) dt existe. Consideremos la funcin : A IR denida por (x) = o
b a

M at

ic

.c
A

om
f (x, y) dx dy.

(x, t) dt.

Entonces: a) Si es continua en A I , la funcin es continua en A. o b) Si

xk (x, t)

existe y es continua en A I , tambin existe e

xk (x)

y se verica que

b a

xk (x),

para cada x int(A),

xk (x, t) dt.

2.1.1

Conjuntos de contenido cero y medida cero.

Denicin 2.8 Se dice que un conjunto B IRn tiene contenido cero si, y slo si, para cada o o > 0, existe un nmero nito de rectngulos cerrados A1 , A2 , . . . , An , tales que u a
n n

B
i=1

Ai

y
i=1

V(Ai ) < .

Proposicin 2.9 Sea A IRn1 un rectngulo cerrado. Si g: A IR es una funcin ino a o tegrable en A, entonces su grca G = {(x, y) IRn : x A, y = g(x)} es un conjunto de a contenido cero de I n . R

Denicin 2.10 Se dice que un conjunto B IRn tiene medida cero si, y slo si, para cada o o > 0, existe una sucesin {An }n=1 de rectngulos cerrados tal que o a

B
n=1

An

y
n=1

V(An ) < .

Proposicin 2.11 Si {Bn } es una sucesin de conjuntos de IRn de medida cero, entonces o o n=1 el conjunto B = Bn tiene medida cero.
n=1

Teorema de Lebesgue. 2.12 Sean A IRn un rectngulo cerrado y f : A IR una funcin a o acotada, entonces f es integrable en A si, y slo si, el conjunto de puntos de discontinuidad de o f en A tiene medida cero.

2.2

Integral sobre un conjunto acotado.

Denicin 2.13 Se dice que una funcin acotada f : S IR denida en un conjunto acotado o o S IRn es integrable si, y slo si, la funcin: o o f (x) = f (x), si x S 0, si x S /

es integrable en un rectngulo cerrado A que contenga a S y, se dene, a

S

at

em
S

Denicin 2.14 Se dice que un conjunto S IRn es medible si, y slo si, S es acotado y su o o funcin caracter o stica es integrable y en este caso, su volumen V(S) es el nmero real u

V(S) =

Proposicin 2.15 Un subconjunto acotado S IRn es medible si, y slo si, su frontera fr(S) o o tiene contenido cero. Proposicin 2.16 Sea A IRn1 un conjunto medible y sean g1 , g2 : A IR continuas, tales o que g1 g2 en A. Entonces, a) El conjunto de IRn , S = {(x, y) : x A; g1 (x) y g2 (x)} es medible. b) Si f : S I es una funcin acotada en S y continua en int(S), R o (i) f es integrable en S . (ii)
S g2 (x) A g1 (x)

f (x, y) dx dy =

ww

w.

f (x, y) dy

Ejemplo 2.17 Calcular la integral x2 + y 2 + z 2 1. Solucin: o Tenemos que

z dx dy dz , siendo S el primer octante de la esfera:

S = (x, y, z) I 3 : 0 x 1, 0 y R

at ic
f=
A

a1
f. S . dx

1 x2 , 0 z

.c o

1 x2 y 2

es medible y f (x, y, z) = z es integrable (admisible) en S . Luego 1x2 1x2 y 2 1x2 1 1 1 zdz dy dx = (1 x2 y 2 )dy dx zdxdydz = 2 0 0 0 0 S 0 = = 1 2
1 0

2 (1 x2 )3/2 dx = 3

x = sen t dx = cos tdt

1 3

/2 0

cos4 tdt =

1 3

/2 0

1 + cos 2t 2

dt

1 /2 1 /2 1 + cos 4t + 2 cos 2t dt 1 + cos2 2t + 2 cos 2t dt = 1+ 12 0 12 0 2 /2 t sen 4t 1 1 1 3 t+ + + sen 2t = . = = ( + )= 12 2 8 12 2 4 12 4 16 0

2.3

Cambio de variables.

Teorema del cambio de variables 2.18 Sean U IRn un conjunto abierto, g: U IRn una funcin de clase 1 en U y A IRn un conjunto medible tal que A fr(A) U . Si g es o C 1 -inversible en int(A) y f : g(A) IR es una funcin admisible en g(A), entonces la funcin o o compuesta f g es admisible en A y

Sean el abierto U = IR3 , la funcin g: U IR3 denida por g(r, , z) = (r cos , r sen , z) y o A = {(r, , z) : r 0, 0 2, < z < }. Se tiene

at

em at
r r

w.

La funcin g es de clase 1 en U . o A fr(A) U . g(A) = IR3 . Para cada (x, y, z) I 3 , las coordenadas x e y se puden describir mediante los r y del R cambio a polares, y como la z permanece, existe (r, , z) A tal que g(r, , z) = (x, y, z). La funcin g es inyectiva en int(A) = {(r, , z) : r > 0, 0 < < 2, < z < }: o
r1 cos 1 = r2 cos 2
1 2

ww

Fig. 2.1. Construccin geomtrica. o e

Si g(r1 , 1 , z1 ) = g(r2 , 2 , z2 ) se tiene que

estudio del cambio a polares, r1 = r2 y 1 = 2 .

ic
r
P = (x, y, z)

2.3.1

Coordenadas cil ndricas en I 3 . R

r sen 1 = r2 sen 2 , luego z1 = z2 y, por el 1 z =z

a1

g(A)

f dx =

(f g) det(g ) du.

.c om

cos r sen 0 det(g (r, , z) = sen r cos 0 = r > 0, 0 0 1 Por consiguiente g es C 1 -inversible en int(A).

para todo (r, , z) int(A).

Cambio a cil ndricas 2.19 Sean S IR3 medible, f : S IR admisible en S y B A medible tal que g(B) = S , donde g es la funcin del cambio a coordenadas cil o ndricas. Entonces: f (x, y, z) dx dy dz = f (r cos , r sen , z)r dr d dz.

Ejemplo 2.20 Hallar

Solucin: o f (x, y, z) = xyz es continua en el conjunto medible S . Luego es admisible en S . Usando el cambio a cil ndricas, se tiene que S es la imagen, por la aplicacin del cambio de variables, del o conjunto B = {(r, , z) : 0 r 1; 0 2; 0 z 4}. Entonces: xyz dx dy dz = = (r cos r sen z)r dr d dz =
2 0 1 0 1 0 0 2 4 0

xyz dx dy dz siendo S = {(z, y, z) : x2 + y 2 1, 0 z 4}.

2.3.2

Sean U = IR3 , la funcin g: U IR3 dada por g(r, , ) = (r cos sen , r sen sen , r cos ) o 3 y A = {(r, , ) I : r 0, 0 2, 0 }. Se tiene R

ww w.

at em

at

Coordenadas esfricas en I 3 . e R

Fig. 2.2. Construccin geomtrica. o e

La funcin g es de clase 1 en U . o A fr(A) U . g(A) = IR3 . La funcin g es inyectiva en int(A) = {(r, , z) : r > 0, 0 < < 2, 0 < < }: o

ic a1

P = (x, y, z) r r1

r1 = r sen

.c

8r3 cos sen d

dr =

0 dr = 0.

om

B 1

r3 z cos sen dz

dr

 r1 cos 1 sen 1 = r2 cos 2 sen 2

Si g(r1 , 1 , 1 ) = g(r2 , 2 , 2 ) =

r sen 1 sen 1 = r2 sen 2 sen 2 1 r cos = r cos

1 1 2 2

Elevando las tres igualdades al cuadrado y sumndolas miembro a miembro, se obtiene a 2 = r 2 de donde r = r , pues r , r > 0 en int(A); y el sistema de igualdades se que r1 1 2 1 2 2 cos 1 sen 1 = cos 2 sen 2 transforma en: sen 1 sen 1 = sen 2 sen 2 cos 1 = cos 2 Elevando las dos primeras al cuadrado y sumndolas, se obtiene que sen2 1 = sen2 2 a de donde sen 1 = sen 2 pues sen 1 , sen 2 > 0 en int(A); este resultado junto con la tercera igualdad nos lleva a que 1 = 2 . Eliminando valores iguales de las igualdades el sistema se reduce a cos 1 = cos 2 y sen 1 = sen 2 y por tanto, que 1 = 2 en int(A). cos sen r sen sen r cos cos det(g (r, , ) = sen sen r cos sen r sen cos = r2 sen < 0, cos 0 r sen (r, , ) int(A). Por consiguiente g es C 1 -inversible en int(A). para todo

w.

V(S) =

at

Ejemplo 2.22 Calcular el volumen de una esfera de radio R. Solucin: o El conjunto S = {(x, y, z) : x2 + y 2 + z 2 R2 } es medible, luego XS (x, y, z)dxdydz.

Pasando a coordenadas esfricas, la expresin x2 + y 2 + z 2 R2 queda en la forma r2 R2 , e o de donde A = {(r, , ) : 0 r R, 0 2, 0 }. Luego: V(S) = = dxdydz =
R 0

ww

em
S

at

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

f (r cos sen , r sen sen , r cos )r2 sen dr d d.

ic a1
R 0

Cambio a esfricas 2.21 Sean S IR3 medible, f : S IR admisible en S y B A medible e tal que g(B) = S , donde g es la funcin del cambio a coordenadas esfricas. Entonces: o e

.c
0

om
2

| r2 sen |drdd =
2

r2 sen d d dr

r2 dr

sen d =

4 R3 2 ( cos ] = R3 . 0 3 3

2.4

Aplicaciones de las integrales m ltiples a la mecnica. u a

Si un slido tiene la forma de un conjunto medible S IR3 y su densidad (masa por unidad de o volumen) en cada punto viene dada por una funcin integrable f : S IR, entonces la masa o total M del slido es o M= f (x, y, z)dxdydz.
S

El centro de masas del slido es el punto (, , ) de coordenadas o = 1 M xf (x, y, z)dxdydz, = 1 M yf (x, y, z)dxdydz, = 1 M zf (x, y, z)dxdydz,

y el momento de inercia IL del slido respecto de un plano o respecto de una recta es o I=

S

2 (x, y, z)f (x, y, z)dxdydz,

donde para cada (x, y, z) S , (x, y, z) representa la distancia del punto (x, y, z) al plano o a la recta en cuestin. o Ejemplo 2.23 Determinar el centro de masas de una semiesfera de radio a en la que la densidad en cada punto var proporcionalmente a la distancia desde ese punto al centro. a Solucin: o Consideremos la semiesfera S = {(x, y, z) : x2 + y 2 + z 2 a2 ; z 0}. La funcin densidad o 2 + y 2 + z 2 , donde k es un valor constante. ser f (x, y, z) = k x a La masa total de S , ser a M =k x2 + y 2 + z 2 dxdydz,

a1
/2 0

y pasando a coordenadas esfricas se tiene e

.c o

m
a

y, por tanto, M =k r3 sen drdd = k

em

at ic
2

A = {(r, , ) : 0 r a, 0 2, 0

} 2

at

r3 sen d d dr =

k 4 a . 2

k M k = M k = M =

k M S k y x2 + y 2 + z 2 dxdydz = M S k z x2 + y 2 + z 2 dxdydz = M S x x2 + y 2 + z 2 dxdydz =

ww w.

Entonces, las coordenadas (, , ) del centro de masas sern a r4 cos sen2 dddr = 0, r4 sen sen2 dddr = 0, r4 sen cos drdd = 2a . 5

A A A

2.5

Ejercicios.
I= (x2 + y 2 )dxdydz,

2.1 Calcular
S

siendo S el primer octante de la esfera de centro el origen y radio a. a) Directamente. b) Usando coordenadas cil ndricas. c) Usando coordenadas esfricas. e 2.2 Sean A = {(r, , z) : r 0, 0 2, < z < } y la funcin g: IR3 IR3 o denida por g(r, , z) = (x0 + ar cos , y0 + br sen , z).

a) Probar que g es C 1 -inversible en int(A). b) Comprobar que para cualquier S IR3 y cualquier f : S IR admisible en S , la funcin g verica el teorema del cambio de variables. o c) Mostrar que para B = {(1, , z) : 0 2, < z < } A, se verica que g(B) es un cilindro de base el ptica. 2.3 Una tuber de cemento de 2 m de longitud tiene de dimetro interior 40 cm y dimetro a a a exterior 50 cm. a) Expresar el volumen de cemento de la tuber mediante una unica integral triple y a hallar su valor. b) Si la densidad del cemento es proporcional a la distancia de cada punto al eje central, hallar su masa. c) Hallar el momento de inercia que se produce al hacerlo girar respecto a una recta que recorre longitudinalmente la parte exterior de la tuber a. 2.4 Calcular el volumen del elipsoide
x2 4

y2 9

+ z 2 = 1. (x + yz) dx dy dz .

2.5 Hallar en S = {(x, y, z) : x2 + y 2 1, x2 + y 2 z} el valor de

ww w.

M at

em

at

ic

a1

2.6 Calcular el volumen de la regin interior a la supercie cil o ndrica x2 + y 2 = ax y a la 2 + y 2 + z 2 = a2 . supercie esfrica x e

.c o