Sie sind auf Seite 1von 12

Instituto Superior Tecnico

Departamento de Matematica
Sec cao de

Algebra e Analise
Prof. Gabriel Pires
Teorema de Fubini. Calculo de volumes
1 Teorema de Fubini
O teorema de Fubini (cf. [1, 2, 3]) permite relacionar o integral em R
n
; n > 1 com o integral
em R. Dado um intervalo I R
n
e uma fun c ao f L(I), o integral
_
I
f pode ser calculado por
integra c oes sucessivas numa vari avel estando as restantes xas.
Teorema 1 Sejam A R
m
e B R
p
, com m + p = n, intervalos tais que I = A B e
designemos cada ponto de I por (x, y) A B. Seja f : A B R uma fun c ao integr avel em
AB. Ent ao:
i) A fun c ao x f(x, y) e integr avel em A qtp (y B).
ii) A fun c ao y f(x, y) e integr avel em B qtp (x A).
iii) A fun c ao y
_
A
f(x, y)dx e integr avel em B.
iv) A fun c ao x
_
B
f(x, y)dy e integr avel em A.
v)
_
AB
f =
_
A
__
B
f(x, y)dy
_
dx =
_
B
__
A
f(x, y)dx
_
dy.
///
Os integrais da forma
_
A
__
B
f(x, y)dy
_
dx ou
_
B
__
A
f(x, y)dx
_
dy s ao designados por inte-
grais iterados. No primeiro integral, xa-se x A e procede-se ao c alculo do integral de f como
fun c ao de y em B, obtendo-se, assim, uma fun c ao de x a qual, de seguida, e integrada em A. No
segundo integral procede-se do mesmo modo trocando os papeis das vari aveis x e y. Portanto, o
integral de f em I obtem-se por sucessivas integra c oes numa vari avel mantendo as restantes xas.
2 Exemplos. Calculo de volumes
Nestes exemplos iremos aplicar o teorema de Fubini ao c alculo de volumes de subconjuntos abertos
e limitados de R
n
cuja fronteira tem medida nula.
Seja S R
n
um aberto limitado e seja I R
n
um intervalo compacto tal que S I e
consideremos a fun c ao caracterstica de S denida por

S
(x, y, z) =
_
1 , se (x, y, z) S
0 , se (x, y, z) I \ S
A fun c ao
S
e integr avel em I e o respectivo integral representa o volume de S
vol(S) =
_
I

S
=
_
S
1
2.1 Uma Piramide triangular
Consideremos o conjunto
S = {(x, y, z) R
3
: x +y +z < 1 ; x > 0 ; y > 0 ; z > 0}
representado na gura 1(a).
1
x+y+z
x cy
=
=
PSfrag replacements
x
x
y
y
z
1
1
1
1
1
0
0
(a) (b)
z = c
0 < z = c < 1
x +y +z = 1
x = 1 c y
1 c
1 c
Figura 1: Intersec c ao com o plano horizontal z = c
x+y+z=
z= ay
PSfrag replacements
x
y
y
z
z
1
1
1
1
1
0
(a) (b)
x = a
0 < x = a < 1
x +y +z = 1
z = 1 a y
1 a
1 a
Figura 2: Intersec c ao com o plano vertical x = a
Para o integral iterado da forma
_
(
_
(
_
dx)dy)dz, xamos 0 < z = c < 1 e obtemos a
intersec c ao de S com o plano z = c
S {z = c} = {(x, y, c) : x +y < 1 c ; x > 0 ; y > 0}
= {(x, y, c) : 0 < y < 1 c ; 0 < x < 1 c y}
que se encontra representada na gura 1(b).
Portanto,
vol(S) =
_
1
0
__
1z
0
__
1zy
0
dx
_
dy
_
dz
Para o integral iterado da forma
_
(
_
(
_
dz)dy)dx, xamos 0 < x = a < 1 e obtemos a
intersec c ao de S com o plano x = a
S {x = a} = {(a, y, z) : y +z < 1 a ; y > 0 ; z > 0}
= {(a, y, z) : 0 < z < 1 a y ; 0 < y < 1 a}
que se encontra representada na gura 2 e de onde resulta
vol(S) =
_
1
0
__
1x
0
__
1xy
0
dz
_
dy
_
dx
2
PSfrag replacements
x
y
y
z
z
1
0
0
a
a
a
2
x = a
0 < x = a < 1
z = x
y = x
y =
x
2
Figura 3: Intersec c ao com o plano x = a
2 1/2 1/2
PSfrag replacements
x
x x
y
z
z z
0
0 0
1
1
1
1
b
b
b
b b
2b
y =
1
2
x = a
0 < y = b <
1
2
1
2
< y = b < 1
z = x
z = x
z = x
y = x
y =
x
2
Figura 4: Intersec c ao com o plano y = b
2.2 Uma Piramide quadrangular
Consideremos o subconjunto de R
3
denido por
S = {(x, y, z) R
3
: 0 < x < 1 ;
x
2
< y < x; 0 < z < x}
Para o integral iterado da forma
_
(
_
(
_
dz)dy)dx, xamos 0 < x = a < 1. Na gura 3
representa-se o conjunto S e a intersec c ao de S com o plano x = a que se pode descrever da
forma seguinte
S {x = a} = {(a, y, z) :
a
2
< y < a ; 0 < z < a}
donde se conclui que
vol(S) =
_
1
0
_
_
x
x
2
__
x
0
dz
_
dy
_
dx
Para o integral iterado da forma
_
(
_
(
_
dz)dx)dy , devemos xar y = b. Dado que
x
2
< y <
x, devem ocorrer dois casos, ou 0 < b <
1
2
ou
1
2
< b < 1 , tal como se representa na gura
4.
Para 0 < y = b <
1
2
, a intersec c ao de S co o plano y = b e dada por
S {y = b} = {(x, b, z) : y < x < 2y : 0 < z < x}
3
PSfrag replacements
x
x
x
y
y y
z
0
0 0
1
1
1
1
c
c
c
c
c
2
c
2
y =
1
2
1
2
1
2
1
2
1
2
0 < z = c <
1
2
1
2
< z = c < 1
y = x
y = x
y = x
y =
x
2
y =
x
2
y =
x
2
Figura 5: Intersec c ao com o plano z = c
e para
1
2
< y = b < 1 temos,
S {y = b} = {(x, b, z) : y < x < 1 : 0 < z < x}
o que nos permite escrever o volume de S como a soma de dois integrais iterados
vol(S) =
_ 1
2
0
__
2y
y
__
x
0
dz
_
dx
_
dy +
_
1
1
2
__
1
y
__
x
0
dz
_
dx
_
dy
Para o integral iterado da forma
_
(
_
(
_
dx)dy)dz , xamos z = c e, tal como se representa
na gura 5, devem ocorrer dois casos, ou 0 < z = c <
1
2
ou
1
2
< z = c < 1.
Em qualquer dos casos, a intersec c ao de S com o plano z = c

dada por
S {z = c} = {(x, y, c) : z < x < 1 ;
x
2
< y < x}
De seguida devemos xar y = b e, de acordo com a gura 5, para cada um dos casos obtemos
tres regi oes de integra c ao na vari avel x.
Assim, o volume de S ser a dado pela soma de seis integrais iterados
V ol(S) =
_ 1
2
0
_
_
z
z
2
__
2y
z
dx
_
dy
_
dz
+
_ 1
2
0
_
_ 1
2
z
__
2y
y
dx
_
dy
_
dz
+
_ 1
2
0
_
_
1
1
2
__
1
y
dx
_
dy
_
dz
+
_
1
1
2
_
_ 1
2
z
2
__
2y
z
dx
_
dy
_
dz
+
_
1
1
2
_
_
z
1
2
__
1
z
dx
_
dy
_
dz
+
_
1
1
2
__
1
z
__
1
y
dx
_
dy
_
dz
4
PSfrag replacements
x
x
y
y
z
0
0
1 1
1
1
2
M
1
z = c
0 < z = c < 2
x =
_
1 y
2
x =
_
1 y
2
Figura 6: Corte no cilindro segundo o plano horizontal z = c
1 1
PSfrag replacements
x y
y
z
z
0
0
2
2
M
z = c
0 < x = a < 1
x = a

1 x
2

1 x
2
Figura 7: Corte no cilindro segundo o plano vertical x = a
2.3 Um Cilindro
Consideremos o cilindro vertical de raio um e altura dois dado por
S = {(x, y, z) R
3
: x
2
+y
2
< 1 ; 0 < z < 2}
Para o integral iterado da forma
_
(
_
(
_
dx)dy)dz, xamos 0 < z = c < 2 e obtemos a
intersec c ao de S com o plano z = c que se representa na gura 6
S {z = c} = {(x, y, c) : x
2
+y
2
< 1}
= {(x, y, c) : 1 < y < 1 ;
_
1 y
2
< x <
_
1 y
2
}
e, portanto,
vol(S) =
_
2
0
_
_
1
1
_
_

1y
2

1y
2
dx
_
dy
_
dz
5
PSfrag replacements
x
x
y
y
z
0
0
1
z = c
0 < z = c < 1
x =
_
z
2
y
2 x =
_
z
2
y
2
Figura 8: Intersec c ao com o plano z = c
Para o integral iterado da forma
_
(
_
(
_
dz)dy)dx, xamos 1 < x = a < 1 e obtemos
S {x = a} = {(a, y, z) : y
2
< 1 a
2
; 0 < z < 2}
= {(a, y, z) :
_
1 a
2
< y <
_
1 a
2
; 0 < z < 2}
que se representa na gura 7, e, portanto,
vol(S) =
_
1
1
_
_
2
0
_
_

1x
2

1x
2
dy
_
dz
_
dx
2.4 Um Cone
Consideremos o cone
S = {(x, y, z) R
3
:
_
x
2
+y
2
< z < 1 }
Para o integral iterado da forma
_
(
_
(
_
dx)dy)dz, xamos 0 < z = c < 1 e obtemos
S {z = c} = {(x, y, c) : x
2
+y
2
< c
2
}
= {(x, y, c) : c < y < c ;
_
c
2
y
2
< x <
_
c
2
y
2
}
que se representa na gura 8 donde se conclui que
vol(S) =
_
1
0
_
_
c
c
_
_

z
2
y
2

z
2
y
2
dx
_
dy
_
dz
Para o integral iterado da forma
_
(
_
(
_
dz)dx)dy, xamos 1 < y = b < 1 e obtemos
S {y = b} = {(x, b, z) : x
2
+b
2
< z
2
< 1}
= {(x, b, z) :
_
1 b
2
< x <
_
1 b
2
;
_
x
2
+b
2
< z < 1}
tal como se apresenta na gura 9 e, portanto,
vol(S) =
_
1
1
_
_

1y
2

1y
2
_
_
1

x
2
+y
2
dz
_
dx
_
dy
6
PSfrag replacements
x
x
y
z
z
0
0
1
1
b
b
|b|
y = b
1 < y = b < 1
z =
_
x
2
+y
2

_
1 y
2
_
1 y
2
Figura 9: Intersec c ao com o plano y = b
PSfrag replacements
x
x
y
y
z
0
1
1
1
b
z = c
0 < z = c < 1
x
2
+y
2
= 1 +z
2

1 +c
2

1 +c
2
x =
_
1 y
2
+c
2
Figura 10: Intersec c ao com o plano z = c
2.5 Um Hiperbol oide
Consideremos o conjunto
S = {(x, y, z) R
3
: x
2
+y
2
< z
2
+ 1; x > 0; y > 0; 0 < z < 1}
Trata-se de um subconjunto aberto de R
3
limitado pelos planos x = 0 ; y = 0 ; z = 0 ; z = 1 e
pela superfcie x
2
+y
2
= z
2
+ 1.
Usando o integral iterado da forma
_
(
_
(
_
dx)dy)dz, xamos 0 < z = c < 1 e, portanto
S {z = c} = {(x, y, c) : x
2
+y
2
< c
2
+ 1; x > 0; y > 0}
ou seja, S {z = c} e um quarto de crculo centrado na origem e de raio

c
2
+ 1 tal como
se representa na gura 10.
De seguida xamos y = b, com 0 < b <

c
2
+ 1, e obtemos,
0 < z < 1; 0 < y <
_
1 +z
2
; 0 < x <
_
1 +z
2
y
2
Assim,
vol(S) =
_
1
0
_
_

1+z
2
0
_
_

1+z
2
y
2
0
dx
_
dy
_
dz
7
PSfrag replacements
x x
y
y
z
z
0
1
1
1
1
1
1
a < 1
a > 1
x = a
x = a
0 < z = c < 1
x
2
+y
2
= 1 +z
2
x
2
+y
2
= 1 +z
2
Figura 11: Intersec c ao com o plano x = a
PSfrag replacements
y
y
z
z
0 0
1
1

a
2
1
0 < x = a < 1 1 < x = a <

2
y =

1 + z
2
a
2
y =

1 + z
2
a
2
Figura 12: Intersec c ao com o plano x = a
Consideremos o integral iterado da forma
_
(
_
(
_
dy)dz)dx. Neste caso xamos 0 < x <

2
e obtemos
S {x = a} = {(a, y, z) : y
2
< z
2
a
2
+ 1; y > 0; 0 < z < 1}
Portanto, devemos ter z
2
a
2
+ 1 > 0, ou seja z
2
> x
2
1.
Assim, se x = a < 1 ent ao z > 0 e 0 < y <

z
2
x
2
+ 1.
Se x = a > 1 ent ao z >

x
2
1 e 0 < y <

z
2
x
2
+ 1.
Nas guras 11 e 12 apresentam-se as intersec c oes de S com o plano x = a para os dois casos
acima descritos: 0 < a < 1 e 1 < a <

2.
Destas guras obtemos
vol(S) =
_
1
0
_
_
1
0
_
_

1+z
2
x
2
0
dy
_
dz
_
dx +
+
_

2
1
_
_
1

x
2
1
_
_

1+z
2
x
2
0
dy
_
dz
_
dx
Para o integral iterado da forma
_
(
_
(
_
dz)dy)dx, xamos 0 < x = a <

2 e obtemos
S {x = a} = {(a, y, z) : z
2
> a
2
+y
2
1; y > 0; 0 < z < 1}
ou seja,
8
PSfrag replacements
y
y
z
z
0
0
1
1

1 a
2

2 a
2

2 a
2
0 < x = a < 1 1 < x = a <

2
z =
_
y
2
+a
2
1
z =
_
y
2
+a
2
1
Figura 13: Intersec c ao com o plano x = a
Se x
2
+y
2
< 1 ent ao z > 0.
Se 1 < x
2
+y
2
< 2 ent ao z >
_
x
2
+y
2
1.
tal como se apresenta na gura 13.
Assim, temos
Se x
2
+y
2
< 1, ent ao 0 < x < 1 ; y <

1 x
2
e 0 < z < 1.
Se x
2
+y
2
> 1 e 0 < x < 1 ent ao

1 x
2
< y <

2 x
2
, e
_
x
2
+y
2
1 < z < 1.
Se x
2
+y
2
> 1 e 1 < x <

2 ent ao 0 < y <

2 x
2
e
_
x
2
+y
2
1 < z < 1.
Portanto,
vol(S) =
_
1
0
_
_

1x
2
0
__
1
0
dz
_
dy
_
dx +
+
_
1
0
_
_

2x
2

1x
2
_
_
1

x
2
+y
2
1
dz
_
dy
_
dx +
+
_

2
1
_
_

2x
2
0
_
_
1

x
2
+y
2
1
dz
_
dy
_
dx
2.6 Uma Bola
Seja S a bola de raio um e centro na origem em R
3
,
S = {(x, y, z) R
3
: x
2
+y
2
+z
2
< 1 }
Devido ` a simetria esferica de S basta considerar o integral iterado da forma
_
(
_
(
_
S
dx)dy)dz.
Fixando 1 < z = c < 1 obtemos, em x, y, um crculo centrado na origem e com raio igual a

1 c
2
tal como se representa na gura 14.
S {z = c} = {(x, y, c) : x
2
+y
2
< 1 c
2
}
= {(x, y, c) : |y| <
_
1 c
2
; |x| <
_
1 c
2
y
2
}
e, portanto,
vol(S) =
_
1
1
_
_

1z
2

1z
2
_
_

1z
2
y
2

1z
2
y
2
dx
_
dy
_
dz
9
PSfrag replacements
x
x
y
y
z
0
0
X
z = c

1 z
2

1 z
2
_
1 z
2
y
2

_
1 z
2
y
2
Figura 14: Corte horizontal z = c numa bola
PSfrag replacements
x
y
0
z
1
1
2
4
Figura 15: Parte do Toro de raios R = 3 e r = 1
2.7 Um Toro
Neste exemplo vamos considerar o s olido em R
3
limitado por um quarto do toro de raios R = 3 e
r = 1 e pelos planos x = 0 e y = 0 tal como se representa na gura 15.
S = {(x, y, z) R
3
: (
_
x
2
+y
2
3)
2
+z
2
< 1 ; x > 0 ; y > 0}
Para o integral iterado da forma
_
(
_
(
_
dx)dy)dz, xamos 1 < z = c < 1 e obtemos
S {z = c} = {(x, y, c) :
_
1 c
2
<
_
x
2
+y
2
3 <
_
1 c
2
; x > 0 ; y > 0}
= {(x, y, c) : 3
_
1 c
2
<
_
x
2
+y
2
< 3 +
_
1 c
2
; x > 0 ; y > 0}
tal como se representa na gura 16. De seguida devemos xar a vari avel y. Da gura 16 ca
claro que, devemos xar 0 < y = b < 3

1 c
2
ou 3

1 c
2
< y < 3 +

1 c
2
.
10

PSfrag replacements
x
y
0
X
1 < z = c < 1
3 +

1 c
2
3

1 c
2
Figura 16: Corte no Toro com um plano z = c
Portanto, o volume de S ser a expresso pela soma de dois integrais
vol(S) =
_
1
1
_
_
_
3

1z
2
0
_
_
_

(3+

1z
2
)
2
y
2

(3

1z
2
)
2
y
2
dx
_
_
dy
_
_
dz
+
_
1
1
_
_
_
3+

1z
2
3

1z
2
_
_
_

(3+

1z
2
)
2
y
2
0
dx
_
_
dy
_
_
dz
Para o integral iterado da forma
_
(
_
(
_
dz)dx)dy, xamos em primeiro lugar 0 < y = b < 4.
Note-se que para x = 0 temos
(y 3)
2
+z
2
< 1
e, portanto 2 < y < 4.
Assim, devemos xar 0 < y = b < 2 ou 2 < y = b < 4 como se representa na gura 17.
Note-se que o caso 2 < y = b < 4 se apresenta subdividido em dois: 2 < y = b < 3 e
3 < y = b < 4. Esta subdivis ao e relevante para o c alculo do integral iterado da forma
_
(
_
(
_
dx)dz)dy que n ao ser a considerado nestas notas, mas car a ao cuidado do leitor.
Para 0 < y = b < 2, obtemos
_
4 b
2
< x <
_
16 b
2
e

_
1 (
_
x
2
+b
2
3)
2
< z <
_
1 (
_
x
2
+b
2
3)
2
Para 2 < y = b < 4, obtemos
0 < x <
_
16 b
2
e, tal como anteriormente,

_
1 (
_
x
2
+b
2
3)
2
< z <
_
1 (
_
x
2
+b
2
3)
2
Portanto,
vol(S) =
_
2
0
_
_
_

16y
2

4y
2
_
_
_
q
1(

x
2
+y
2
3)
2

q
1(

x
2
+y
2
3)
2
dz
_
_
dx
_
_
dy +
+
_
4
2
_
_
_

16y
2
0
_
_
_
q
1(

x
2
+y
2
3)
2

q
1(

x
2
+y
2
3)
2
dz
_
_
dx
_
_
dy
11
PSfrag replacements
x x
x
y
0 0
0
z
z
z
0 < y = b < 2
2 < y = b < 3 3 < y = b < 4

4 b
2

16 b
2

16 b
2

16 b
2
Figura 17: Corte no Toro com um plano y = b
Referencias
[1] Lus T. Magalh aes. Integrais M ultiplos. Texto Editora, 1996.
[2] H. A. Priestley. Introduction to Integration. Oxford, Clarendon Press, 1997.
[3] W. Rudin. Principles of Mathematical Analysis. McGraw Hill, 1996.
12