Escolar Documentos
Profissional Documentos
Cultura Documentos
Conteu
1
es Vetoriais
Vetores e Func
o
1.1
1.2
1.3
1.4
O Espac
o Euclidiano n-Dimensional . . . . . . . . . . . . . . . . . . .
1.1.4
es com n-uplas . . . . . . . . . . . . . . . . . . . . . .
Operac
o
1.1.13
es Geome
tricas . . . . . . . . . . . . . . . . . . .
Interpretac
o
1.2.7
es Geome
tricas . . . . . . . . . . . . . . . . . . .
Interpretac
o
1.2.11
A Desigualdade de Cauchy-Schwarz . . . . . . . . . . . . . .
11
Retas e Planos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
1.3.12
Produto Vetorial . . . . . . . . . . . . . . . . . . . . . . . . .
19
1.3.24
24
1.3.29
26
es Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Func
o
28
es Vetoriais . . . . . . . . . .
Conjuntos Associados a Func
o
30
es Vetoriais Especiais . . . . . . . . . . . . . . . . . . . . . . . .
Func
o
36
o . . . . . . . . . . . . . . . . . . . . .
Superfcies de Revoluc
a
48
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
1.4.6
1.5
1.5.22
1
es e Respostas
Sugesto
58
62
2.1
Limite e Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
2.2
Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
64
2.2.3
o Geome
trica . . . . . . . . . . . . . . . . . . . .
Interpretac
a
65
2.2.14
70
2.2.19
o Fsica . . . . . . . . . . . . . . . . . . . . . . .
Interpretac
a
71
do
Conteu
2.3
2
3
73
2.3.8
o . . . . . . . . . . . . . . . . . . . . . . . .
Curvatura e Torc
a
74
2.3.27
Curvas Planas . . . . . . . . . . . . . . . . . . . . . . . . . . . .
82
2.3.31
Crculos no Espac
o . . . . . . . . . . . . . . . . . . . . . . . .
84
2.3.36
Comprimento de Arco . . . . . . . . . . . . . . . . . . . . . . .
87
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
89
es Contnuas
Func
o
95
3.1
96
Limite
3.1.15
3.2
Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
119
Derivadas Parciais
4.1
4.2
. . . . . . . . . . . . . . . . . . . . . . . 120
o Geome
trica . . . . . . . . . . . . . . . . . . . . 126
Interpretac
a
4.3
4.4
4.5
4
o Geome
trica . . . . . . . . . . . . . . . . . . . . 143
Interpretac
a
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
o Geome
trica . . . . . . . . . . . . . . . . . . . . 149
Interpretac
a
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
es e Respostas
Sugesto
157
es Diferencia
veis
Aplicac
o
160
5.1
5.2
A Derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
5.1.21
es Continuamente Diferencia
veis . . . . . . . . . . 173
Aplicac
o
5.1.30
o Afim . . . . . . . . . . . . . . . . . . . . . . . . . 178
Aproximac
a
es com Aplicac
es Diferencia
veis . . . . . . . . . . . . . . . 181
Operac
o
o
5.2.6
5.3
dio . . . . . . . . . . . . . . . . . . . . . . . . 195
O Teorema do Valor Me
do
Conteu
5.4
es do Gradiente . . . . . . . . . . . . . . . . . . . . 202
Algumas Aplicac
o
5.4.6
5
6
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207
es Inversa e Implcita
Func
o
6.1
214
Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 215
6.1.1
ncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 215
Seque
6.1.24
6.1.39
o Linear . . . . . . . . . . . . . . . . 225
Norma de Uma Aplicac
a
6.2
6.3
o Inversa . . . . . . . . . . . . . . . . . . . . . . 237
O Teorema da Func
a
6.4
o Implcita . . . . . . . . . . . . . . . . . . . . . 244
O Teorema da Func
a
6.4.1
veis . . . . . . . . . . . . . . . . . . . . 244
O Caso de Duas Varia
6.4.9
6.5
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
es e Respostas
Sugesto
273
Indice
293
ncias Bibliogra
ficas
Refere
295
o nos Espac
Integrac
a
os Euclidianos
273
7.1
7.2
7.3
7.4
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 342
es e Respostas
Sugesto
351
7
o
Integrac
a
nos
Espac
os Euclidianos
z qqqqqqqqqqqqqqqqqqqq q q
qqqqqqqqqqqqqqqqqqqq
6qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqfqqqqqq(x, y)
qqqqqqq q qqqq q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqzqqqqqqqqqqqqqqqqqq=
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
qqq q q q qqqqq q qqq qqqq qqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqSqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqxqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqu(x)
qqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq v(x)
q qqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
y
aq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqq
xq
qqqqqq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
bq
R
x
por
J. Adonai & A. Carlos
7.1
Integral Iterada em R2
Na secao 4.1, introduzimos a nocao de derivada parcial, a partir do conceito de derivada
para funcoes reais de uma variavel real. Naquele momento, estudamos n funcoes reais de uma
variavel, as quais chamamos de funcoes auxiliares, construdas a partir de uma funcao de n
variaveis. Um procedimento analogo, usando integracao, pode ser adotado, o que da origem
a`s integrais iteradas, como veremos a seguir. Para fixar ideias, comecaremos com um caso
particular simples, a saber
f : R2
R
(x, y) f (x, y) = x2 + y 2 ,
cujo grafico e o paraboloide z = x2 + y 2 . Temos, entao, duas funcoes reais,
g1 (x) = f (x, y) = x2 + y 2 , x R e g2 (y) = f (x, y) = x2 + y 2 , y R,
onde em g2 (y) estamos vendo x como constante, e em g1 (x), a variavel fixada e y. Dados c e d,
com c < d, podemos considerar a integral de g2 em [c, d], o que produz
d
Z
I1 (x) =
Z
g2 (y) dy =
d
1
1
y 3
(x + y ) dy = x y + = x2 d + d3 x2 c c3 .
3 c
3
3
2
1
(x2 d + d3 x2 c
3
a
a
1 3 1 3 1 3
1 3
1
= db cb + d b c b da3 +
3
3
3
3
3
V =
I1 (x) dx =
1 3
c ) dx
3
1 3 1 3
1
ca d a + c3 a.
3
3
3
Z
V =
b
2
(x + y ) dx dy .
c
274
Z
0
2
(x + y ) dx dy = .
3
2
(1 )
275
o nos Espac
Integrac
a
os Euclidianos
Este n
umero pode ser olhado como o volume do solido R3 , como mostra a figura 93. O
solido e o subconjunto do R3 situado sob o paraboloide z = x2 + y 2 e que se projeta sobre o
quadrado R = [0, 1] [0, 1]. Quando a integral
Z 1
Z 1
g2 (y) dy =
(x2 + y 2 ) dy
I1 (x) =
0
z
6
qqqqqqqqq q qqqqqqq q q q qqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
qq
q
q
q
qq
q
q
q
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqq
q
q
q
q
qq
q
qqq qqqqqqqqqqqqqqqqqqq
qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqq
qqq
qqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqq
q
q
q
q
q
q
q
q
q
q
q
qqq
q
q
qqqqqqqqqqqqqqqqqqqqqqqqq
q
q q q qqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 1
q
q q q
x qqqqqqqqqqqqqqqqqqqqqSqqqqqqqqxqqqqqqqqqqqqqqqq qqqqqqqq
1 q
q
x2 + 1
z
6
qqqqq
qqq qqqqqqqqqqqqqqqqq
q
q
qqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
qq
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
2
2
qq
q
qq
q
qq
q
q
q
z = g2 (y) = x + y q
qqq q q q qqqqqqqqqqq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
qq
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
x2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqS
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqxqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
y
y
1
x
Figura 93
Como coincide com a uniao das secoes Sx , 0 x 1, vem que seu volume e dado por
Z
vol() =
Z
area(Sx ) dx =
I1 (x) dx
0
1
Z
=
0
2
(x + y ) dy dx = .
3
2
Analogamente, podemos obter unindo as secoes transversais com y fixo, o que implica que
Z 1 Z 1
2
2
2
vol() =
(x + y ) dx dy = .
3
0
0
Este argumento geometrico reforca a nossa expectativa de que, para uma funcao qualquer f ,
contnua no retangulo [a, b] [c, d], devamos ter
Z b Z d
Z d Z b
f (x, y) dy dx =
f (x, y) dx dy,
a
Integral Iterada em R2
276
y
6
d q
qqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqR
qqqqqqq2qqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
y q
c q
q x
b
q
x = u2 (y)
q
x = v2 (y) x
7.1.1
o A integral iterada de f sobre R1 e definida por
Definic
a
Z
Z
dx
Z
f (x, y) dy =
{z
}
v1 (x)
dx
Z
f (x, y) dy =
u1 (x)
v1 (x)
f (x, y) dy dx .
a
u1 (x)
R1
7.1.2
o A integral iterada de f sobre R2 e definida por
Definic
a
Z
Z
dy
Z
f (x, y) dx =
{z
}
v2 (y)
dy
c
f (x, y) dx =
u2 (y)
v2 (y)
f (x, y) dx dy .
c
u2 (y)
R2
u1 (x)
u2 (y)
v2 (y)
u2 (y)
f (x, y) dx
277
o nos Espac
Integrac
a
os Euclidianos
sempre existem, pois g2 (y) e g1 (x) sao tambem contnuas. O que nao esta bem claro, e se as
funcoes I1 (x) e I2 (y) podem ser integradas. Felizmente, estas funcoes tambem sao contnuas
(proposicao 7.1.9) e, portanto, sao integraveis. Posto isto, segue-se que as definicoes dadas estao
bem postas.
Exatamente como fizemos para o paraboloide, podemos interpretar as integrais iteradas
de uma funcao nao-negativa f , como o volume do solido situado sob a superfcie (grafico de f )
G(f ) = {(x, y, z) R3 ; z = f (x, y), (x, y) D}
z qqqqqqqqqqqqqqqqqqqq q q
6qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqq
qqqqqqq q qqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqqzqqqqqqqqqqqqqqqq=
qqqqqqqqqqqqqqqqqqqqqqqqqqfqqqqqqqq(x, y)
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqq
q
q
qqq
qqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqSqqqqqqqqxqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqu(x)
qqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq v(x)
q
y
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
aq
qqqqqqqqq
qqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
xq
q
q
q
q
qqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
bq
R1
x
Z b
Figura 95: vol() =
area(Sx ) dx
v1 (x)
f (x, y) dy dx .
u1 (x)
Interpretacao analoga pode ser dada para a outra integral iterada, agora considerando as secoes
transversais Sy , obtidas para y constante.
7.1.3
Exemplo Se tomamos f (x, y) = c, c constante, na definicao 7.1.1, obtemos
Z
Z
dx
Z
f (x, y) dy =
{z
}
v1 (x)
dx
a
c dy
u1 (x)
R1
Z
=c
v1 (x)
dx
dy
u1 (x)
a
b
=c
a
Integral Iterada em R2
278
7.1.4
Exemplo Seja o solido situado abaixo do para-
z
6
2
, x y 1 x2 },
B = {(x, y); 0 x
2
o que descreve B como uma regiao simples do tipo 1. O
volume de vale:
2/2
xq
qqqq
qqqqqqqqqq
qq
q
qqqqqqq
qq
q
q
qqqqqqqqqqq
qqqqqqqqqqq
qqqqqqqq
qqqqqqqq
qqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqq
qqqqqqqqqqq
qq
qq
qqqq
qqqqqqq
q
q
qqqqqqqqq
qqqqqqqqqqqqqqqqqqq
qqqqq
qqqqq
qqqqqqqqqqqqqq
qqqqqqqqqqqq
q
qqq
q
qqqqqqqqqqqqqqqqqq
qqqqq
qqqqqqqqqqq
qqqqqqqqq q
qqq
qqqqqqq
qqqqqqqq
qqqqqq
qqqqqqqq
qqqqqqqq
qqqqqqqqqqqq
qqqqqq
qqqqqqqq
qqqqq
qqqqqq q
qqqqqq
qqqqqqqqqqqqq
qqqqqqq
q
qqq
qqqqq
qq
qq qqq x
1 x2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqq
qqq
qqqB
y
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 1
qqqqqqqqqqq
x
Figura 96
1x2
(x2 + y 2 ) dy
0
x
1x2 !
Z 2/2
Z 2/2
1 3
2 2
1
4 3
2
2
2
=
x y+ y
dx =
x 1x +
1 x x dx
3 x
3
3
3
0
0
2/2
x 1 x2 x3 1 x2 arcsen x x4
+
+
=
=
12
6
4
3 0
16
vol() =
dx
y
6
qqqqq
qqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqq
y qqqqqqqqqqqqqqqqqqqqq
q q q qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
B2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
2/2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
B1 q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqq
qqqqqqqqqqqqqq
q qq q q
y qqqqqqqqqqqqqqqqqq
qqqqqqqqqqq
qqqqqqqqqq
qqqqqqqqq
qqqqqqq
qqqqqq
qqqqq
qqqqqq q
q
q
yp
1 y 2 22
y
Z 2/2
Z
2/2
B1
1 3
4
1
( x + y 2 x) dy =
y 3 dx = ,
=
3
3 0
12
0
0
1y2
Z
Z
Z 1
Z 1y2
Z 1
1
dy
dy (x2 + y 2 ) dx = dy
(x2 + y 2 ) dx = x3 + y 2 x
3
2/2
0
2/2
0
|
{z
}
!1
p
p
B2
y 1 y2 y3 1 y2
1
1
=
arcsen y +
+
=
.
4
12
6
16 12
2/2
279
o nos Espac
Integrac
a
os Euclidianos
Somando estes dois resultados, vem que
Z
Z
Z
Z
Z
Z
2
2
2
2
dx (x + y ) dy = dy (x + y ) dx + dy (x2 + y 2 ) dx,
|
{z
} |
{z
} |
{z
}
B
B1
B2
o que e razoavel de se esperar, diante da nocao intuitiva de volume que estamos usando. Este
exemplo sugere como definir integrais iteradas sobre regioes que podem ser decomposta em um
n
umero finito de regioes simples do tipo 1 ou do tipo 2.
o Simples]
7.1.5 [Regia
Um conjunto B = B1 B2 Bn R2 , onde cada Bi ,
o
Definic
a
7.1.6
o
Definic
a
B1
B2
Bn
7.1.7
o
Definic
a
B1
B2
7.1.8
Exemplo Consideremos o anel
2
4 x2
B = {(x, y) R ; 1 x + y 4}
que e a regiao situada fora do crculo x2 + y 2 = 1,
de raio 1, e dentro do crculo x2 + y 2 = 4, que
tem raio 2. Dada uma aplicacao f , definida em 4 x2
algum aberto contendo B, escreveremos a integral
iterada de f sobre B, decompondo-a em quatro
regioes simples do tipo 1, B1 , B2 , B3 e B4 , como
mostra a figura 98. Explicitamente,
Bn
y
6
4 x2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
q
qq
q
q
q
q
q
qq
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qqq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qqq
q
q
q
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqB
4 x2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq3qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqq q q q qq qq
qqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqq4qqqqqqqqqqqqqq
1 x2
qqqqqqqqqqqqqqqqqqqqB
q
q
q
q
q
q
qqqqqqqqqqqqqB
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
q
q
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q qqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqx
qqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqxqqqqqqqqqqqqqqqqqqqqqqqq2qqqq
x qqq1qqqqqq
x
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqq q qq qqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqq
1 x2
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqB
q q qq q qqqqq q q q qqq
4 x2
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq2qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
4 x2
Figura 98
Integral Iterada em R2
280
2 y
B
=
{(x,
y);
1,
x
4 x2 },
B2 = {(x, y); 1 x 1, 4 x2 y 1 x2 },
2 y
B
=
{(x,
y);
1,
1
x
4 x2 },
B4 = {(x, y); 1 x 2, 4 x2 y 4 x2 }.
Logo, da definicao 7.1.6, segue-se que
Z
Z
dx
f (x, y) dy =
{z
}
Z
dx
4x2
4x2
Z
dx
+
1
f (x, y) dy +
Z
dx
4x2
4x2
Z
dx
f (x, y) dy +
1x2
1x2
f (x, y) dy +
4x2
4x2
f (x, y) dy .
Z
dx
Z
dx
(x + y ) dy =
{z
}
4x2
(x2 + y 2 ) dy
4x2
B1
8
4 2
x 4 x2 +
=
4 x2 dx
3
3
2
1
8
x
2x 4 x2 x3 4 x2
=
+
+ 8 arcsen( ) =
3.
3
3
2
3
2
Z
Tambem temos
Z
Z
dx
(x2 + y 2 ) dy =
{z
}
1x2
dx
1
(x2 + y 2 ) dy
4x2
B2
2 2
1
2 2
4
2
2
2
2
=
x 1x
1x + x 4x +
4 x dx
3
3
3
3
1
x 1 x2 x 3 1 x2 x 4 x2 x3 4 x2
=
+
+
+
12
6
3
6
x
arcsen x 1
+ 4 arcsen( )
2
4
1
Z
13
+ 3.
12
281
o nos Espac
Integrac
a
os Euclidianos
A nocao de volume que vimos usando, a simetria do paraboloide e a simetria do anel B implicam que
Z
Z
13
dx (x2 + y 2 ) dy = + 3
12
|
{z
}
z
6qqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqq
z=4
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqq qqqq qqqqqqqqqqqqqqqqq
q qqqqqqqq
qqqqqqqq
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqq
qqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqq Sz
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqq
q
q
qqq
qqq
q
q
q
q
q
q
q
q
qqq
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqq qqqqq
z=1
qqqqqq
q
qqqqqqqqqqq
qq
q
qqqqqqqqqqqqq qqqqqqqqqqqqqqqqqq
qqq
qqqq
q
q
qqq
qqqq
q
q
q
q
qq
q
q
q
q
q
q
qqq
q
q
qq
q
q
q
q
q
q
qq
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq
qqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqB
y
B3
Z
dx
8
(x2 + y 2 ) dy = 3.
3
{z
}
B4
Logo,
Figura 99
Z
dx
(x2 + y 2 ) dy = dx
{z
} |
(x2 + y 2 ) dy + dx
{z
} |
B1
Z
+
dx
|
(x2 + y 2 ) dy +
{z
}
B2
(x + y ) dy + dx
{z
} |
B3
(x2 + y 2 ) dy
{z
}
B4
8
13
13
8
3 +
+ 3 +
+ 3 +
3
3
12
12
3
=
=
15
,
2
que e o volume do solido que vemos na figura 99, acima. O valor desta integral pode ser
calculado mais facilmente se olhamos as secoes transversais de , obtidas por planos paralelos
ao plano-xy, as quais indicaremos por Sz . Para z entre 0 e 1, Sz e uma copia do anel B.
Portanto, o volume da porcao de compreendida entre os planos z = 0 e z = 1 vale 3. Ja
para z variando entre 1e 4, cada secao Sz e um anel de raio maior 2 e raio menor, que depende
de z, dado por r(z) = R z. Logo, area(Sz ) = (4 z) e, portanto, o volume da porcao de que
4
fica acima de z = 1 e 1 (4 z) dz = 29 . Donde reobtemos,
Z
Z
9
15
dx (x2 + y 2 ) dy = vol() = 3 + = .
2
2
|
{z
}
B
7.1.9
o Sejam f : D R2 R e u, v : [a, b] R contnuas. Se
Proposic
a
R1 = {(x, y); a x b, u(x) y v(x)} D,
entao
Z
v(x)
I1 (x) =
v(x)
f (x, y) dy, a x b,
g2 (y) dy =
u(x)
e contnua.
u(x)
Integral Iterada em R2
282
o: Fixado x0 [a, b], temos que
Demonstrac
a
Z
v(x)
v(x0 )
f (x, y) dy
I1 (x) I1 (x0 ) =
Z
f (x0 , y) dy
u(x0 )
u(x)
v(x0 )+(v(x)v(x0 ))
v(x0 )
f (x, y) dy
f (x0 , y) dy
u(x0 )
u(x0 )
v(x0 )
f (x, y) dy +
f (x, y) dy +
u(x0 )
v(x0 )+(v(x)v(x0 ))
v(x0 )
v(x0 )
f (x, y) dy
f (x0 , y) dy
u(x0 )
u(x0 )
v(x0 )+(v(x)v(x0 ))
f (x, y) dy +
u(x0 )(u(x0 )u(x))
f (x, y) dy +
v(x0 )
v(x0 )
+
u(x0 )
Logo,
Z
Z
u(x0 )
v(x0 )+(v(x)v(x0 ))
|I1 (x) I1 (x0 )|
f (x, y) dy +
f (x, y) dy +
u(x0 )(u(x0 )u(x))
v(x0 )
Z
v(x0 )
(2 )
(f (x, y) f (x0 , y)) dy
+
u(x0 )
Z v(x0 )
M |u(x) u(x0 )| + M |v(x) v(x0 )| +
|f (x, y) f (x0 , y))| dy,
u(x0 )
onde M > 0 e uma constante positiva maior do que o maximo de |f | restrita a R1 , o qual existe
porque f e contnua. Seja N > 0 tal que N v(x0 ) u(x0 ) 0. Como f e contnua e R1 e
compacto, vem que f e uniformemente contnua a (veja o exerccio 6.5.12, pagina 264). Este
fato, junto com a continuidade de u e v, implica que dado > 0 existe > 0 tal que
X, Y Q, kX Y k < = |f (X) f (Y )| <
.
3N
e
283
o nos Espac
Integrac
a
os Euclidianos
7.1.10
o Sejam f : D R2 R e u, v : [c, d] R contnuas. Se
Proposic
a
R2 = {(x, y); c y d, u(y) x v(y)} D,
entao
Z
v(y)
v(y)
f (x, y) dx, c y d,
g1 (x) dx =
I2 (y) =
u(y)
u(y)
e contnua.
7.2
Integrais Duplas
Nosso objetivo agora e estender a nocao de integral de Riemann de funcoes de uma variavel
para funcoes de duas variaveis. Por esta razao, lembraremos rapidamente como funciona esta
integral, quando temos uma variavel.
Dado um intervalo fechado [a, b], uma particao de [a, b] e um subconjunto da forma
P = {x0 = a < x1 < x2 < . . . < xn1 < xn = b},
onde n e um inteiro positivo. Escrevendo
xi = xi xi1 , i = 1, 2, . . . , n,
definimos a malha (ou norma) de P como sendo
o n
umero real
y
6
f (c2 ) q
f (c1 ) q
f (ci ) q
xi
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqcqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqcqqqqqqqqq2qqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqcqqqqqqqqiqqqqqqqqqqqqqqqqqqqqqqqq
qqqq1qqqqqqq qqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqq
a x1 x2 xi1
xi
qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqcqqqqqqqqqqqqnqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
b
f (cn )
Figura 100
n
X
f (ci )xi ,
i=1
que, claro, depende de f , P e das escolhas que fizemos. A figura 100 da uma boa interpretacao
geometrica para as somas de Riemann, pelo menos no caso que f e nao-negativa: S(f, P, {ci })
e a soma das areas dos retangulos de base xi e altura f (ci ), 1 i n. Note que quando a
particao P tem malha bastante pequena, S(f, P, {ci }) da uma boa aproximacao para a area da
284
Integrais Duplas
regiao situada sob a curva y = f (x), e acima do intervalo [a, b]. Para obter a integral de f sobre
[a, b], fazemos o limite destas somas, quando a malha de P tende a zero, isto e,
Z b
n
X
f (x) dx = lim S(f, P, {ci }) = lim
f (ci )xi .
(3 )
m(P)0
m(P)0 i=1
A princpio este limite (quando existe) deve depender da particular famlia de particoes com
malha tendendo a zero, e das escolhas feitas em cada uma de suas particoes. Entretanto, para
algumas funcoes, as integraveis, isto nao ocorre: o limite existe e independe de como as particoes,
com malha tendendo a zero, sao escolhidas, isto e: dado > 0, existe > 0 tal que
Z b
|S(f, P, {ci })
f (x) dx | < ,
a
sempre que m(P) < , para toda escolha {ci } de P. Por exemplo, as funcoes contnuas fazem
parte deste elenco de funcoes. Mais geralmente, mesmo as descontnuas em um n
umero finito
de pontos sao integraveis neste sentido. O teorema fundamental do Calculo e a ferramenta que
usamos para calcular a integral de muitas funcoes, a saber, funcoes integraveis da forma f = F 0 :
Z b
Z b
F 0 (x) dx = F (x)|ba = F (b) F (a).
f (x) dx =
a
Para finalizar, observamos que quando f 0, sua integral em [a, b] e a area da regiao delimitada
por seu grafico, as retas x = a, x = b e o intervalo [a, b].
Agora iniciaremos nosso trabalho com duas variaveis. Seja R R2 um retangulo simples
da forma
R = [a, b] [c, d] = {(x, y); a x b, c y d}
Dados dois inteiros positivos m e n, consideramos as
y
particoes dos intervalos [a, b] e [c, d] dadas por
6
Px = {x0 = a < x1 < x2 < . . . < xm1 < xm = b}
d
yn1
yj
yj1
y2
y1
c
O subconjunto de R
q
q
q
q
q
q
q
q q
q q bx
x1 x2 xi1 xi xm1
P = Px Py = {Xij = (xi , yj ); 0 i m, 0 j n}
Figura 101
e chamado particao do retangulo R. Note que os elementos de P sao exatamente os vertices dos
mn retangulos menores
Rij = [xi1 , xi ] [yj1 , yj ], 1 i m, 1 j n,
m
n
cuja uniao coincide com R: R = Rij . A malha de P e definida por
j=1
i=1
285
o nos Espac
Integrac
a
os Euclidianos
7.2.1
Exemplo Um bom modo de construir particoes de R = [a, b] [c, d] e tomar particoes
homogeneas de [a, b] e [c, d], isto e, xi constante, e yj tambem constante.
Dados m, n N, colocamos
xi = x =
dc
ba
e yj = y =
, 1 i m, 1 j n.
m
n
dc
ba
,c + j
); 0 i, j n}.
n
n
(4 )
i j
No caso em que R = [0, 1] [0, 1], Pnn = {Xij = ( , ); 0 i, j n} e uma particao de R
n n
que tem malha 1/n.
Retomemos o retangulo R = [a, b] [c, d] e uma particao P dada por
P = {Xij = (xi , yj ); 0 i m, 0 j n},
que decompoe R nos retangulos Rij , 1 i m, 1 j n. Em cada Rij , escolhemos um ponto
Cij = (sij , tij ). Chamaremos o conjunto {Cij } de escolha em P.
7.2.2
o Dada f : R R2 R, a soma de Riemann de f associada a P e `a escolha
Definic
a
{Cij } e definida por
S(f, P, {Cij }) =
n
m
X
X
j=1
i=1
!
f (Cij )xi yj
m
n
X
X
i=1
!
f (Cij )xi yj
j=1
286
Integrais Duplas
representa o volume do paraleleppedo retangular de base Rij e altura f (Cij ). A soma de Riemann, portanto, e a soma de todos estes volumes.
A figura 102 ao lado exibe alguns destes paraleleppedos, destacando o mn-esimo deles. A escolha feita e tal que ponto Cij Rij e o vertice inferior esquerdo do retangulo Rij . Agora observamos
que a` medida que a malha de P vai tendendo a
zero, a soma dos volumes Vij , que e S(f, P, {Cij }),
se aproxima cada vez mais do volume do solido
situado sob o grafico de f e acima de R. A
ideia agora e exigir que as somas de Riemann tenham um bom comportamento, quando variamos
P, fazendo sua malha tender a zero. Isto motiva
a seguinte definicao.
z
6
qqqqq
qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqq
qqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqq
qqqqqqqq
q
q
qqq
q
qqqqqqqqqqqqqqqqqqqqqqqq
qq
q
qq
qq
qqqqqq
q
q
q
q
q
q
q
q
q
qqq
qqqq
qq
q
q
qq
q
q
q
q
qq
q
q
qqq
q
q
q
q
q
q
q
qq
q
q
q
q
q
qq
q
qqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqqqqqqqqqqq
q q qqqqqqqqqq
qqqqqq
qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqq
qqqqqqq
qqqqqqqqqq qq qq qqqqqqqqqqqqqq
qqqqqqqqqqqqq
qqqqqqqqqqqqqqqq
qqqqqqqqqq
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqq
q
qq
q
q
q
q
qqqqqqq
qq
qq
q
q
qqqqqq q qqqqq
qqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
qq
q
q
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqq q
c
q
f (Cmn ) q
a q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqq
qqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqmn
qqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqC
qqqq
q
q
qq
q
q
q
q
q
qqq
q
qqq
q
q
q
qq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qqqqqqqqqqqqq
qqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqq
b q
x
d
q
Figura 102
lim
m(P)0
S(f, P, {Cij }) =
lim
n
m
X
X
m(P)0 j=1
!
f (Cij )xi yj
i=1
existe, e independe da famlia de particoes P, com malha tendendo a zero, e das escolhas {Cij },
dizemos que f e integravel sobre R. O valor do limite, indicado por
ZZ
Z
ZZ
f dA,
f (x, y) dx dy,
f (x, y) dA ou
R
7.2.4
Exemplo Se f e constante, digamos f (x, y) = k, (x, y) R = [a, b] [c, d], entao a soma
de Riemann S(f, P, {Cij }) fica assim:
!
!
n
m
n
m
X
X
X
X
S(f, P, {Cij }) =
f (Cij )xi yj =
kxi yj
j=1
i=1
j=1
i=1
!
!
n
m
n
m
X
X
X
X
=k
xi yj = k
area(Rij ) = k area(R),
j=1
i=1
j=1
i=1
287
o nos Espac
Integrac
a
os Euclidianos
que independe de P e de {Cij }. Logo, limm(P)0 S(f, P, {Cij }) = k area(R), para qualquer
famlia de particoes com malha tendendo a zero, e para toda escolha {Cij }. Isto mostra que as
funcoes constantes sao integraveis e que
ZZ
k dx dy = k area(R).
R
7.2.5
Exemplo Vejamos um exemplo que nao admite integral. A funcao que usaremos e um
pouco diferente daquelas que estamos acostumados, mas serve. Ela e similar `a
funcao de Dirichlet, conhecida do Calculo de uma variavel.
f : [a, b] [c, d]
R
(
(x, y)
f (x, y) =
1, se x ou y nao e racional
0, se x e y sao racionais.
Por exemplo, f ( 2, 1) = 1 e f (1, 1/2) = 0. Agora, fixaremos uma famlia de particoes com
malha tendendo a zero, e estudaremos o comportamento das somas de Riemann, considerando
eij = (e
dois tipos de escolhas: (i) Cij = (si , tj ), onde si ou tj e irracional; (ii) C
si , e
tj ), onde
sei , e
tj Q. Para o primeiro tipo de escolha, temos que
!
!
n
n
m
m
X
X
X
X
S(f, P, {Cij }) =
f (Cij )xi yj =
xi yj = area(R).
j=1
i=1
j=1
i=1
eij }) = 0. Logo,
Ja para o segundo tipo de escolha, S(f, P, {C
lim
m(P)0
lim
m(P)0
eij }) = 0.
S(f, P, {C
7.2.6
Teorema Se f : [a, b] [c, d] R e contnua, entao f e integravel.
7.2.7
rio Se f e contnua no retangulo R = [a, b] [c, d], entao
Corola
ZZ
R
!
n
n
(b a)(d c) X X
ba
dc
f (x, y) dx dy = lim
f (a + i
,c + j
) .
n
n
n
n2
j=1
i=1
288
Integrais Duplas
o: Do teorema 7.2.6, vem que f e integravel. Logo,
Demonstrac
a
ZZ
f (x, y) dx dy = lim S(f, P, {Cij }),
m(P)0
limite que existe e independe da famlia de particoes P e da escolha {Cij }. Portanto, para obter
esta integral, podemos considerar uma particular famlia associada a uma particular escolha.
Neste momento, recorremos a (4 ), onde colhemos a famlia de particoes Pnn , cuja malha, que
vale max{(b a)/n, (d c)/n}, tende a zero, quando n tende a +. Agora fazemos a seguinte
escolha: em cada retangulo
Rij = [xi1 , xi ] [yj1 , yj ]
ba
dc
dc
ba
= [a + (i 1)
,a + i
] [c + (j 1)
,c + j
],
n
n
n
n
ba
dc
,c+j
). Feito
escolhemos Cij como o seu vertice superior direito, a saber Cij = (a + i
n
n
pp ppppppp
p
p
p
p
p
isto, esta pronto o corolario. pppp ppp
7.2.8
Exemplo Seja f (x, y) = x2 + y2 , (x, y) R2 . Como
f e contnua, vem f e integravel em qualquer retangulo R. Calcularemos, via corolario 7.2.7, a
integral dupla de f sobre o retangulo R = [0, 1] [0, 1].
Neste caso, a particao Pnn e dada por
Pnn = {(xi , yj ) R; xi =
j
i
, yj = },
n
n
y
6
1 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
yj qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqq
q q q
Cij
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
R
1/n
ij
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q q q
qqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
yj1 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q q
q
xi1
xi 1
1
n
Figura 103
2
(1 + 22 + 32 + + n2 ).
n3
Agora usando o item (ii) do lema 7.2.9 que faremos a seguir, obtemos
S(f, Pnn , {Cij }) =
2 n (n + 1) (2n + 1)
2
2
2
2
.
3 (1 + 2 + 3 + + n ) = 3
6
n
n
289
o nos Espac
Integrac
a
os Euclidianos
Portanto,
ZZ
(x2 + y 2 ) dx dy =
lim
m(P)0
1 n (n + 1) (2n + 1)
2
= .
3
n+ n
3
3
Convem observar que este resultado coincide com aquele que obtivemos em (1 ), pagina 274.
7.2.9
Lema Dado n N, valem as seguintes identidades:
(i)
n
X
i=1
n
X
i = 1 + 2 + 3 + + n =
n(n + 1)
;
2
n (n + 1) (2n + 1)
;
6
i=1
2
n
X
n(n + 1)
3
3
3
3
.
(iii)
i = 1 + 2 + 3 + + n =
2
i=1
(ii)
i2 = 1 + 22 + 32 + + n2 =
i =
n
X
i=1
i +3
i=1
n
X
i +3
i=1
n
X
i + (n + 1).
i=1
Logo,
(n + 1)3 = 3
n
X
i=1
n2 + 3
n(n + 1)
+ (n + 1).
2
Donde,
n
X
i=1
1
n =
3
2
n(n + 1)
(n + 1) 3
(n + 1)
2
3
=
n (n + 1) (2n + 1)
,
6
290
Integrais Duplas
7.2.10
Exemplo Seja R = [1, 3] [0, 1]. Neste exemplo, calcularemos a integral de f (x, y) = xy2
sobre R, usando o corolario 7.2.7. A particao Pnn e
Pnn = {(xi , yj ) = (1 + ix, jy); 0 i n, 0 j n},
e {Cij = (1 + ix, jy)} e a escolha, onde x = 2/n e y = 1/n. Temos que
!
!
n
n
n
n
X
X
X
X
2
2
xi yj2 = 2
(1 + ix)(jy)2
S(xy 2 , Pnn , {Cij }) = 2
n j=1 i=1
n j=1 i=1
!
n
n
2 X X 2 2
= 2
(j y + ij 2 xy 2 )
n j=1 i=1
! n
n
X
X
2
i
j2
= 2 ny 2 + xy 2
n
i=1
j=1
2
2 1 n(n + 1) n(n + 1)(2n + 1)
1
= 2 n 2+
n n3
2
6
n
n
2
1
1
1
1+
2+
.
=
3
n
n
Logo,
ZZ
1
xy dx dy = lim
n 3
2
2
1
1
4
1+
2+
= .
n
n
3
[1,3][0,1]
O resultado contido no teorema 7.2.6 ainda e verdadeiro, mesmo que f deixe de ser
contnua. O que e preciso e que o conjunto dos pontos de descontinuidade seja pequeno,
num sentido que tornaremos preciso logo a seguir. Intuitivamente, o leitor pode pensar nesse
pequeno, como tendo area nula: um segmento (limitado) de reta, um arco de crculo, ou, mais
geralmente, o traco de uma curva parametrizada de classe C 1 , : [a, b] R2 .
Para tornar as ideias mais claras, modificaremos a funcao g(x, y) = 1, (x, y) [0, 2][0, 2],
ao longo do segmento de reta y = 1, de modo a
obter uma nova funcao f , descontnua neste segz
6
mento. Um modo bem simples de fazer isto e
2 q
definir f : [0, 2] [0, 2] R por
z = 1 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
1, se y 6= 1
qqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
f (x, y) =
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
qq
q
q
q
q q q q q q qq q
2, se y = 1,
claro que f e
cujo grafico mostramos ao lado. E
descontnua ao longo segmento y = 1. Tendo em
mente que a integral coincide com volume, vemos
que o valor 2, atingido por f nos seus pontos de
q1
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
q
q
qq
q
q
qqq
q
q
qqq
q
q
q
q
q
2
qq
q
q
q
q
q
q
q
q
q
q
q
q
qqq
q
q
q
q
q
q
q
q
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
q
qqq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qqq q q qqqq q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
x Figura 104
291
o nos Espac
Integrac
a
os Euclidianos
descontinuidade, nao contribui com volume para o solido situado sob seu grafico e acima de
[0, 2] [0, 2]. Portanto, mesmo sendo descontnua, a integral dupla de f em [0, 2] [0, 2] deve
valer 4. Para verificar esta afirmacao, sejam P = {Xij = (xi , yj ); 0 i m, 0 j n} uma
particao do retangulo [0, 2] [0, 2] e {Cij } uma escolha arbitraria de P. Seja k, 1 k n,
tal que a faixa [0, 2] [yk1 , yk ) contenha o segmento y = 1. Logo, f (Cij ) = 1, sempre que
j {1, 2, . . . , k 2, k + 1, . . . , n}. Assim
!
!
!
k2
m
k
m
n
m
X
X
X
X
X
X
S(f, P, {Cij }) =
xi yj +
f (Cij )xi yj +
xi yj
j=1
=4
=4+
i=1
i=1
j=k1
k
X
m
X
j=k1
i=1
k
X
m
X
j=k1
i=1
!
xi yj
k
X
j=k1
j=k+1
m
X
i=1
!
f (Cij )xi yj
i=1
(f (Cij ) 1)xi yj
4 + 2(yk1 + yk ),
desde que f (Cij ) 1 1. Logo, 4 S(f, P, {Cij }) 4 + 4m(P), o que implica que
limm(P)0 S(f, P, {Cij }) = 4. Portanto,
ZZ
f (x, y) dx dy = 4.
[0,2][0,2]
do Nulo]
7.2.11 [Conteu
Um subconjunto C R2 tem conte
udo nulo se dado > 0
o
Definic
a
existe um n
umero finito de retangulos simples R1 , R2 ,. . . ,
Rk tais que
(i) area(R1 ) + area(R2 ) + + area(Rk ) < ;
(ii) C R1 R2 Rk .
Em outras palavras, C pode ser coberto por um
n
umero finito de retangulos simples cuja soma de
suas areas pode ser feita arbitrariamente pequena.
Rk1
qqqqqqqqqqqqqqqq qq qq q qqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
q
q
q
q
q
q
qqqqqqqq qqqq
R1
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqq Rk
qqqqqqqqqqqqqqqqqq
q
qqq
q
q
q
q
q
q
qqqqqq
qqqqqqqq
qqqqqqqqqqqqqqqqR
qqqqqqqqqqqq2qqqq qqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqq
R3
Figura 105
7.2.12
Lema Se (t) = (x(t), y(t)), t [a, b], e uma
curva parametrizada lipschitziana (definicao 3.2.7), com constante de Lipschitz M , entao
o traco de esta contido no retangulo simples
R = [x(a) r, x(a) + r] [y(a) r, y(a) + r],
onde r = M (b a).
y
6
y(a) + r q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
(b)
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq(a)
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
y(a) q
qqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
y(a) r q
q
q
q
x(a) r x(a) x(a) + r x
Figura 106
292
Integrais Duplas
o: Temos que
Demonstrac
a
k(t) (s)k M |t s|, t, s [a, b].
Em particular, k(t) (a)k M |t a| r, t [a, b]. onde r = M (b a). Como
|x(t) x(a)| k(t) (a)k e |y(t) y(a)| k(t) (a)k ,
segue-se que
|x(t) x(a)| r e |y(t) y(a)| r, t [a, b].
Isto implica que (x(t), y(t)) [x(a) r, x(a) + r] [y(a) r, y(a) + r]. ppppppppppppppppppp
7.2.13
o Se (t) = (x(t), y(t)), t [a, b], e uma curva parametrizada lipschitziana,
Proposic
a
entao tr tem conte
udo nulo.
o: Dado n N, dividamos o intervalo [a, b] em n intervalos justaposto de
Demonstrac
a
largura = (b a)/n. Do lema anterior, vem que o traco da restricao de a cada um destes
intervalos esta contido num retangulo de area 4M 2 2 , onde M e a constante de Lipschitz de .
Desta forma, obtemos n retangulos que cobrem o tr , e cuja soma de suas areas vale
2
4M 2 (b a)2
ba
2 2
2
=
.
n(4M ) = n4M
n
n
este n
E
umero que queremos fazer menor do que , para > 0 dado. Isto e facil de fazer. Basta
escolher n com a propriedade:
1
<
.
n
4M 2 (b a)2
Logo, tr tem conte
udo nulo. pppppppppppppppppppppp
7.2.14
o Uma curva parametrizada contnua : I Rn , I = [a, b], e dita de classe C 1
Definic
a
por partes se existe uma decomposicao de I em intervalos fechados (possivelmente menores), no interior dos quais, 0 e contnua e, alem disto, existem os limites laterais de
0 nas extremidades de cada um dos subintervalos da decomposicao.
7.2.15
rio Se (t) = (x(t), y(t)), t [a, b], e uma curva parametrizada de classe C 1 por
Corola
partes, entao tr tem conte
udo nulo.
Agora podemos enunciar uma forma mais forte para teorema 7.2.6.
293
o nos Espac
Integrac
a
os Euclidianos
7.2.16
Teorema Se o conjunto dos pontos de descontinuidade de f : [a, b] [c, d] R tem conteudo
nulo e f e limitada, entao f e integravel sobre [a, b] [c, d], e a integral nao depende dos valores de f em seus pontos de descontinuidade.
Com este teorema nas maos, podemos facilmente introduzir a nocao de integral dupla
sobre uma regiao simples (veja definicao 7.1.5).
z
6
7.2.17
o Sejam f : D R2 R, B D
Definic
a
uma regiao simples e R e um retangulo simples contendo B. Indicaremos por fB
a funcao fB : R R dada por
fB (X) q
qqqqqq qqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqq
qq
q
q
q
q
q
q
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq q q q q q q qq qqqq q
qq qqqqqqqqqqqqqqqqq
qqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
qqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqR
qqqqqqqqqqq
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqq
B
q
q
q
q
q
q
q
q
q
qq
q
q
qqqqqqqqqqq
qqqqqqqq
X
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
7.2.18
o Sejam f : D R2 R, e B D uma regiao simples contida no retangulo
Definic
a
simples R. Se a funcao fB e integravel sobre R, diremos que f e integravel
sobre B. A integral dupla de f sobre B e
ZZ
ZZ
f (x, y) dxdy =
fB (x, y) dxdy.
B
ZZ
A integral dupla de f sobre B tambem e indicada por
f (x, y) dA.
B
i=1
294
Integrais Duplas
7.2.19
Teorema Sejam f : D R2 R e B D uma regiao simples. Se f e limitada e o conjunto dos seus pontos de descontinuidade tem conte
udo nulo, entao f e integravel
sobre B, e a integral nao depende dos valores de f nos seus pontos de descontinuidade.
o: Como ja observamos, o conjunto dos pontos de descontinuidade de fB
Demonstrac
a
e a uniao daqueles de f restrita a B com, no maximo, a fronteira de B. Logo, o conjunto dos
pontos de descontinuidade de fB tambem tem conte
udo nulo. Portanto, fB deve ser integravel
sobre R, de acordo com o teorema 7.2.16. ppppppppppppppppppppp
No que tange ao calculo das integrais duplas, temos o seguinte teorema fundamental, o
qual e um caso particular de um teorema mais geral devido a Fubini, cuja prova, sera abordada
apenas para o caso em que B e um retangulo simples. Observe que o item (ii) decorre facilmente
da proposicao 7.1.9, usada em cada regiao simples do tipo 1 (ou 2) que compoe a regiao B.
7.2.20 [Fubini]
Sejam f : D R2 R contnua sobre a regiao simples B D. Entao,
Teorema
ZZ
(i) f e integravel sobre B, isto e, existe
f (x, y) dxdy;
B
Z
(ii) existem as integrais iteradas
Z
dx
Z
f (x, y) dy e
dy
{z
}
|
B
Z
f (x, y) dx;
{z
}
B
Para cada j, 1 j n, seja cij [xi1 , xi ] tal que f (cij , yj ) f (x, yj ), para todo x [xi1 , xi ].
295
o nos Espac
Integrac
a
os Euclidianos
De f (Cij ) f (cij , yj ), obtemos que
S(f, Pnn , Cij ) =
n
n
X
X
j=1
!
f (Cij )xi yj
n
n
X
X
i=1
n
X
j=1
!
f (cij , yj )xi yj
i=1
n Z
X
j=1
f (x, y2 ) dx yj ,
j=1
n
X
j=1
Agora, fazendo n
+, obtemos que
Z
ZZ
f (x, y) dxdy
g2 (y) dy =
dy
f (x, y) dx.
{z
}
(5 )
Agora, escolhendo Dij como sendo um ponto de maximo de f restrita a Rij , e, para cada j,
1 j n, dij [xi1 , xi ] tal que f (dij , yj ) f (x, yj ), para todo x [xi1 , xi ]. Temos que
!
!
n
n
n
n
X
X
X
X
S(f, Pnn , Dij ) =
f (Dij )xi yj
f (dij , yj )xi yj
j=1
i=1
b
n Z
X
j=1
j=1
i=1
f (x, y2 ) dx yj .
Donde,
ZZ
Z
f (x, y) dxdy
Z
dy
f (x, y) dx,
{z
}
R
A prova da outra igualdade segue as mesmas ideias, bastando trocar a ordem de somacao nas
somas de Riemann de f . ppppppppppppppppppppppp
7.2.21
Exemplo Consideremos o anel circular
B = {(x, y) R2 ; 1 x2 + y 2 4},
296
Integrais Duplas
7.2.22
Exemplo Seja B a regiao delimitada pela reta y = x 2 e pela parabola x = y2 . A regiao
B fica como na figura 108, que mostra que ela e uma regiao simples do tipo 2:
B = {(x, y); 1 y 2, y 2 x y + 2}.
Vamos calcular a integral dupla de f (x, y) = xy, que e contnua em B, claro. Logo, podemos
aplicar o teorema 7.2.20, para obter
Z
ZZ
xy dxdy =
B
y =x2
y
6
Z
dy
xy dx
|
{z
}
B
Z 2 Z y+2
xydx dy
=
1
y2
Z 2
1 3
1 5
2
=
y + 2y + 2y y dy
2
2
1
45
= .
8
qqq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
q
q
qq
q
q
y q qqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q q
4
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq2 y + 2
y
qq
q
q
q
q
q
qq
q
1 q
q
x = y2
2 q
Figura 108
cujo valor e 45/8, o que vem do calculo que fizemos para a outra integral iterada.
A igualdade entre as integrais iteradas, nao importando a ordem em que elas sao executadas, e u
til em algumas situacoes nas quais nao dispomos de primitivas elementares. Vejamos
um exemplo onde isto ocorre.
7.2.23
Exemplo Consideremos o problema de calcular a integral iterada
Z
K=
Z
dx
10x ey dy .
x
5
Nesta integral precisamos de uma primitiva para a funcao ey , o que nao e possvel fazer usando
297
o nos Espac
Integrac
a
os Euclidianos
funcoes elementares (polinomios, sen, cos, ex , log, p , etc.). Portanto, nao podemos calcular K,
na forma em que esta escrita. O primeiro passo para cony
tornar esta dificuldade e desenhar a regiao, digamos B,
6
sobre a qual esta sendo feito a integral K, etapa vencida
1 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
com a figura ao lado, o que da
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqB
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
y qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
B = {(x, y); 0 x 1, x y 1}.
qqqqqqqqqqqqqqq
x qqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqq
qqqqqqq
qqq
q
x
B = {(x, y); 0 y 1, 0 x y }.
Logo,
q
y2
q
1
Figura 109
ZZ
y5
10x e dxdy =
K=
y5
10x e dx =
dy
0
y2
1
5y e dy = e = e 1.
4 y5
y5
7.2.24 [Area]
A area (ou conte
udo) de uma regiao simples B R2 e definida por
o
Definic
a
ZZ
ZZ
dxdy =
area(B) =
B
dA,
B
7.2.25
Exemplo Se R = [a, b] [c, d], entao
ZZ
area(R) =
Z
dxdy =
Z
dx
(d c) dx = (b a)(d c),
dy =
c
o que coincide com a definicao de area de um retangulo, que usamos na Geometria Euclidiana,
a qual temos usado neste captulo.
7.2.26
Exemplo Seja B a regiao delimitada pela reta y = x 2 e pela parabola x = y2 , como no
exemplo 7.2.22. Temos que B = {(x, y); 1 y 2, y 2 x y + 2}. Logo,
2
ZZ
Z 2 Z y+2
Z 2
1
1
9
area(B) =
dxdy =
dx dy =
y + 2 y 2 dy = ( y 2 + 2y y 3 ) = .
2
3
2
1
y2
1
1
B
7.2.27
o Sejam f, g : D R2 R duas funcoes integraveis sobre a regiao simples
Proposic
a
B D, e a R. As seguintes propriedades sao verificadas.
298
Integrais Duplas
ZZ
g(x, y) dxdy;
f (x, y) dxdy+
(f + g)(x, y) dxdy =
ZZ
ZZ
f (x, y) dxdy;
ZZ
ZZ
ZZ
ZZ
f (x, y) dxdy
g(x, y) dxdy;
B
Z Z
ZZ
(iv) |f | e integravel sobre B, e
f (x, y) dxdy
|f (x, y)| dxdy;
B
ZZ
f (x, y) dxdy =
k ZZ
X
f (x, y) dxdy.
i=1 B
i
A demonstracao desta proposicao nao sera dada aqui. Observamos apenas, que a prova
das duas primeiras propriedades pode ser feita diretamente a partir de somas de Riemann.
7.2.28
veis em Integrais Duplas
Mudanc
a de Varia
O nosso principal objetivo aqui e apresentar o teorema da mudanca de variaveis para
integrais duplas. De acordo com a estrategia que estamos usando nesta secao, nao apresentaremos sua prova, com todo o rigor que ela exige. Entretanto, apresentaremos argumentos
geometricos e intuitivos que tornam razoavel a existencia de tal resultado. O teorema de mudanca de variaveis para integrais envolvendo apenas uma variavel e bem conhecido e pode ser
posto na forma abaixo, cuja prova e relativamente simples.
7.2.29
Teorema
Seja u : [c, d] R tal que u0 (t) 6= 0, para todo t [c, d], e u([c, d]) = [a, b]. Se
f : [a, b] R e integravel em [a, b], e u0 e integravel em [c, d], entao
Z
Z
f (x) dx =
f (u(t))|u0 (t)| dt .
Portanto, podemos substituir uma integral sobre o intervalo [a, b], por outra sobre o intervalo [c, d], usando a mudanca de coordenada u. O teorema que buscamos visa exatamente
isto: transformar uma integral dupla dada, via alguma mudanca de coordenadas, em outra que
envolva calculos mais simples.
299
o nos Espac
Integrac
a
os Euclidianos
Seja R = [a, b] [c, d] um retangulo simples. Na definicao de integral dupla sobre R que
demos, a ideia e decompor R em pequenos retangulos Rij , cuja uniao reproduz R, e, em cada um
deles, escolher um ponto Cij . Depois passamos ao limite as somas de Riemann S(f, P, {Cij }),
quando a maior das arestas de Rij tende a zero. A nocao intuitiva de volume que trazemos junto
a` nova nocao de integral dupla, torna razoavel esperar que os limites das somas de Riemann, que
obtemos decompondo R em retangulos menores, devem ser o mesmos se esta decomposicao fosse
feita com regioes quaisquer, digamos Bij , desde que o limite fosse tomado fazendo os permetros
sob este ponto de vista que, tambem, veremos uma integral
destas regioes tendendo para zero. E
dupla sobre uma regiao simples B: decomporemos B numa uniao Bij , escolheremos Cij Bij
i,j
e admitiremos que
!
ZZ
n
m
X
X
f (x, y) dxdy = lim
f (Cij ) area(Bij ) ,
|Bij |0
j=1
i=1
onde |Bij | indica o maior dos comprimentos dos arcos de curvas que compoem a fronteira de Bij .
Sejam T : D R2 R2 um difeomorfismo entre os abertos D e T (D), e R = [a, b][c, d]
um retangulo simples fechado contido em D. Seja B = T (R) a imagem de R por T , como mostra
a figura 110. Em R, construmos a particao
P = {Xij = (ui , vj ); 0 i m, 0 j n},
eij = (ui1 , vj1 ), que e o vertice inferior esquerdo do sub-retangulo
na qual fazemos a escolha C
Rij . Desta forma, obtemos uma decomposicao de B nas regioes Bij = T (Rij ). Agora escolhereeij ) Bij . Se f : B R e integravel, entao
mos Cij = T (C
!
!
ZZ
n
m
n
m
X
X
X
X
eij )) area(Bij ) ,
f (x, y) dxdy = lim
f (Cij ) area(Bij ) = lim
f (T (C
|Bij |0
j=1
m(P)0 j=1
i=1
i=1
posto que quando Rij fica pequeno, o mesmo acontece com Bij . A ideia agora e escrever area(Bij )
v
d q6
y
6
vj q
qqqqqqqqq
Rqqqqqqqqqqij
eij
C
vj1
B = T (R)
qqqq
Bqqqqqij
T
-
c q
a
q
ui1 ui
q b u
T (ui , vj )
qq s
qq
q
q
q
q
6
q
q
q
q
T (ui1 , vj1 + vj ) sqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqB
qqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqijqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqs
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq1
qqq
qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqq
s
T (ui1 + ui , vj1 )
z
e
Cij = T (Cij )
e
ui T
u (Cij )
x
e
vj T
v (Cij )
Figura 110
i=1
300
Integrais Duplas
numa soma de Riemann associada a P. Tal soma de Riemann, como veremos, sera dada por
!
n
m
X
X
eij }) =
eij )| det JT (C
eij )|ui vj .
S((f T )| det JT |, P, {C
(f T )(C
j=1
i=1
r(h, k)
= O.
(h,k)O k(h, k)k
lim
Donde
T (u + h, v + k) = T (u, v) + h
Em particular,
T (u
T
T
(u, v) + k
(u, v) + r(h, k), onde
u
v
r(h, k)
= O.
(h,k)O k(h, k)k
lim
T
(ui1 , vj1 ) + r(ui , 0)
u
e2
e3
e1
T
T e
T e
T
1 e
2 e
(Cij )
(Cij ) = det
(
C
)
(
C
)
0
ij
ij
u
v
u
u
T
T2 e
1 e
(Cij )
(Cij ) 0
v
v
T1 e
T1 e
(Cij )
(Cij )
u
v
eij )).
) = (0, 0, det JT (C
= (0, 0, det
T
T2 e
2 e
(Cij )
(Cij )
u
v
301
o nos Espac
Integrac
a
os Euclidianos
Logo,
T
T e
e
e
area(Bij ) ' ui vj
(Cij )
(Cij )
= | det J(Cij )|.
u
v
Diante disto, somos levados a
!
!
n
m
n
m
X
X
X
X
eij )) area(Bij )
f (Cij ) area(Bij ) =
f (T (C
j=1
i=1
'
j=1
i=1
n
X
m
X
j=1
i=1
!
eij ))| det JT (C
eij )|ui vj
(f T )(C
eij }),
= S((f T )| det JT |, P, {C
o que passado ao limite, quando m(P)
0, implica que
!
ZZ
n
m
X
X
eij ))| det JT (C
eij )|ui vj
(f T )(u, v)| det JT (u, v)| du dv = lim
(f T )(C
m(P)0 j=1
= lim
|Bij |0
i=1
n
m
X
X
j=1
!
f (Cij ) area(Bij )
i=1
ZZ
=
f (x, y) dxdy,
B
o que produz o teorema procurado, pelo menos no caso em que a mudanca de coordenada T
esta definida em um retangulo. O teorema da mudanca de variaveis em integrais duplas, em sua
forma de maior alcance, e apresentado a seguir.
o No teorema abaixo, o smbolo R2uv significa que estamos indicando um elemento
Observac
a
generico de R2 por (u, v). Analogamente, R2xy indica que tal elemento sera
denotado por (x, y). Este tipo de convencao torna mais claro o trabalho com mudanca de
variaveis em integrais.
7.2.30
Teorema Sejam T : D R2uv R2xy , T (u, v) = (x(u, v), y(u, v)), uma funcao de classe C 1
no aberto D, e Buv D uma regiao simples com as seguintes propriedades:
(i) existe C1 Buv , de conte
udo nulo, tal que a restricao T : Buv C1 R2xy e injetiva;
(ii) existe C2 Buv , tambem de conte
udo nulo, tal que
(x, y)
(u, v) = det JT (u, v) 6= 0, para
(u, v)
Buv
302
Integrais Duplas
v
qqqqqqqqqqqq
6 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq Buv
qq
q
q
q
q
q
q
qqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqC
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqC
qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq2qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqq
qqqqqq
u
y
qqqqqqqqqqqq Bxy = T (Buv )
6 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
f qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqq
qqqqqqqq
x
T -
Figura 111
7.2.31
rio Sejam T : D R2uv R2xy , T (u, v) = (x(u, v), y(u, v)), um difeomorfismo de
Corola
integravel, entao
ZZ
ZZ
f (x, y) dxdy =
Buv
Bxy
7.2.32
Exemplo Consideremos a aplicacao linear T : R2uv R2xy , T (u, v) = (x, y) = (u+v, uv).
Temos que
1 1
JT (u, v) = M (T ) =
.
1 1
Logo, det J(T )(u, v) = det M (T ) = 2, o que mostra de uma so vez que T satisfaz as condicoes
do corolario 7.2.31. Assim, se Buv R2uv e uma regiao simples qualquer e f e uma funcao
integravel em Bxy = T (Buv ), entao vale a formula
ZZ
ZZ
ZZ
f (x, y) dxdy =
f (u + v, u v)| 2| du dv = 2
f (u + v, u v) du dv .
Bxy
Buv
Buv
[0,1][0,1]
ZZ
(u2 + v 2 ) du dv
=4
[0,1][0,1]
Z
=4
Z
du
8
(u2 + v 2 ) dv = ,
3
303
o nos Espac
Integrac
a
os Euclidianos
onde Bxy = T ([0, 1] [0, 1]). Para determinar Bxy , comecamos estudando o efeito de T sobre as
arestas de [0, 1] [0, 1], as quais indicaremos por l1 , l2 , l3 e l4 , como mostra a figura 112. Temos
que
l1 = {(u, v); 0 u 1, v = 0}, l2 = {(u, v); 0 u 1, v = 1}
l3 = {(u, v); u = 0, 0 v 1}, l4 = {(u, v); u = 1, 0 v 1}.
Como T leva (u, v) em (x, y), x = u + v e y = u v, vem que, ao longo de l1 , x = y = u, onde
0 u 1, isto e, y = x, para 0 x 1. Trabalhando do mesmo modo nas outras arestas
conclumos que
v
y
6
6
T (l2 ) = {(x, y); 1 x 2, y = x 2}
T (l ) = {(x, y); 1 x 2, y = x + 2}
4
l
1 qqqqqqqqqqqq2qqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq l
l3 qqqqqqqqqqqqqqqqB
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqquv
qqqqqqqqqqqqqqqqqqqqqqqq 4
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
l1 1
Tu
Bxy
qqqqqqqqqqqqqq
y = x qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq y = x + 2
qqqq qqqq qqqqqqqqqqqqqqqq qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq
qq
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
x
qqqqqqqqqqqqqqqqqqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 2
y = x qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq y = x 2
qqqqqqqqqq
qqqqqqqqqqqqqqqq
7.2.33
Exemplo Seja T : R2uv R2xy dada por
T (u, v) = (x, y) = (u2 + v, v 2 u).
z
6
qqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqq
qqq q qqq q q qqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqq
qqqqqq
qqq
q q q q q qqqqqq
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqq
qq
q
q
q
qqq
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
304
Integrais Duplas
x [0, 1]. O mesmo processo determina as outras curvas que delimitam a regiao Bxy . Agora, se
y
6
v
6
uv
1 qqqqqqqqqB
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 1 u
T -
Bxy
qqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq
q
qq
q
q
y = x2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq x = y 2 2y + 2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 2 x
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
x = y 2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq y = x2 2x
qqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqq
Figura 114
f : Bxy R e uma funcao contnua qualquer, sua integral sobre Bxy e dada por
ZZ
f (x, y) dxdy =
dx
Bxy
x2
1 1+x
Z
dx
f (x, y) dy +
f (x, y) dy,
x2 2x
ZZ
f (x, y) dxdy =
Bxy
1+ 1+y
dy
Z
f (x, y) dx +
dy
y2
y 2 2y+2
f (x, y) dx .
y
Em particular,
Z
area(Bxy ) =
Z
dx
x2
dy +
x
Z 1+1+y
dy
=
1
Z
dx
dy
x2 2x
Z
dx +
y2
1 1+x
Z
dy
y 2 2y+2
dx,
y
a qual poderia ser calculada, apos algumas contas envolvendo integrais de razes quadradas.
Nao faremos assim. Apelaremos para o teorema 7.2.30. Portanto, devemos verificar se T tem
as propriedades exigidas. Inicialmente, veremos que T e injetiva no quadrante u 0 e v 0.
De fato, se T (u1 , v1 ) = T (u2 , v2 ), e u1 0, v1 0, u2 0 e v2 0, entao
(
u21 + v1 = u22 + v2
v12 u1 = v22 u2 ,
o que produz
(
(u1 u2 )(u1 + u2 ) = v2 v1
.
(v1 v2 )(v1 + v2 ) = u1 u2
(7 )
305
o nos Espac
Integrac
a
os Euclidianos
ZZ
f (T (u, v))(4uv + 1) du dv
f (x, y) dxdy =
Buv
Bxy
ZZ
f (u2 + v, v 2 u)(4uv + 1) du dv
=
Buv
f (u2 + v, v 2 u)(4uv + 1) dv
du
0
Z
=
0
1
Z
dv
f (u2 + v, v 2 u)(4uv + 1) du .
Donde,
1
Z
area(Bxy ) =
du
0
1
(4uv + 1) dv
Z 1
1
2
(2uv + v) 0 du =
(2u + 1) du = 2.
0
=
0
xy dxdy =
Bxy
du
Z
0
1
Z
du
Z
=
0
0
1
(u2 2u4 +
3
1
1
u + ) du = .
10
4
3
Convem observar que se nao tivessemos em maos a mudanca de coordenadas T , seramos forcados
a calcular as integrais sobre Bxy diretamente, ou tentar adivinhar uma T , o que, certamente,
seria mais trabalhoso do que o calculo direto. Ao contrario do caso de uma variavel, nao dispomos
de um metodo de integracao que permita obter uma mudanca de coordenadas conveniente,
que simplifique o calculo de integrais duplas. O que podemos fazer, e construir uma mudanca
padrao T , cuja inversa seja de facil compreensao geometrica, como e o caso da mudanca de
coordenadas associada a`s coordenadas polares, que estudaremos a seguir.
306
Integrais Duplas
Coordenadas Polares
7.2.34
Lema Seja T : R2r R2xy definida por (x, y) = T (r, ) = (r cos , r sen ). Temos que T
goza das seguintes propriedades:
(i) o segmento de reta r = r0 , r0 fixo e [0, 2], e
transformada por T no crculo de raio r0 e centro O = (0, 0);
(ii) a semi-reta = 0 , 0 fixo e r 0, e transformada por T na reta que passa pela origem O e
faz o angulo 0 com o eixo-x;
(iii) a restricao de T a (0, +) [0, 2) e injetiva;
(iv) a restricao de T a [0, +)[0, 2) e sobrejetiva;
6
2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Tqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqr
r
y
6
y q
q
x
(x, y)
(v) det JT (r, ) =
= r.
(r, )
o: Se X = (r, ) e Y = (r1 , 1 ) sao elementos de (0, +) (0, 2) e
Demonstrac
a
T (X) = T (Y ), vem que kT (X)k = kT (Y )k, isto e, |r| = |r1 |. Como r > 0 e r1 > 0, segue-se que
r = r1 . Logo, cos = cos 1 e sen = sen 1 , o que produz | 1 | = 2k, para algum inteiro k.
Como 0 < , 1 < 2, vem que, k = 0 e = 1 . Logo, T e injetiva, p
o que prova (iii). Para a
2
sobrejetividade, se (x, y) R xy , tomamos, como sugere a figura, r = x2 + y 2 e como sendo
o angulo que o vetor (x, y) faz com o eixo-x. Logo, T (r, ) = (x, y). Para finalizar, temos que
cos r sen
det JT (r, ) = det
sen r cos
= r(cos )2 + r(sen )2 = r,
7.2.35
Teorema Se Br [0, +) [0, 2] uma regiao simples, Bxy = T0 (Br ) e f : Bxy R e
integravel, entao
ZZ
ZZ
f (x, y) dxdy =
f (r cos , r sen )r dr d .
Bxy
Br
ZZ
Em particular, area(Bxy ) =
r dr d .
Br
307
o nos Espac
Integrac
a
os Euclidianos
Br
Bxy
onde foi usado o fato que det JT0 (r, ) = r, de acordo com (v) do lema 7.2.34. pppppppppppppppppppppp
o Convem observar que o lema 7.2.34 e o teorema 7.2.35 continuam funcionando
Observac
a
quando consideramos variando em qualquer intervalo da forma [0 , 0 + 2].
Quando o intervalo considerado for [, ], a mudanca de coordenadas sera indicada por T .
Portanto, T esta defina assim:
R2xy
T : [0, +) [, ] R2r
(r, )
T (r, ) = (r cos , r sen ).
Esta mudanca de coordenadas e conveniente quando queremos integrar sobre regioes Bxy que se
encontram no semiplano x > 0 e sao interceptadas pelo eixo-x. O exemplo 7.2.39 trabalha com
esta aplicacao. Para perceber como funciona este novo operador, observe que, por exemplo, a
semi-reta r 0, = /2, de R2r , e transformada na semi-reta x = 0 e y 0. Quanto `as
semi-retas r = r0 , estas continuam sendo transformadas em crculos.
7.2.36
Exemplo Seja B = Bxy o anel usado no exemplo 7.1.8, onde vimos em que
ZZ
(x2 + y 2 ) dxdy =
15
.
2
Bxy
2 q
Calcularemos esta integral, agora usando o teorema 7.2.35. Observando a figura, vemos que
para obter Bxy , devemos tomar 1 r 2 e
0 2, isto e, Bxy = T0 (Br ), onde
Br = [1, 2] [0, 2]
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqr
qqqqqqqqqq
B
qqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqq
1
2
y
6
Bxy
qqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
qq
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqrqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
qq
T0 qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
x
q
2 qqqqqqqqqqqqqqq1
1 2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq
r
Br
Br
2
Z 2
2
2
2
r4
15
15
3
d =
.
=
d
r dr =
( ) d =
4 1
4
2
0
1
0
0
Z
Note que as dificuldades neste calculo sao bem menores do que aquelas que enfrentamos no
exemplo 7.1.8.
308
Integrais Duplas
7.2.37
Exemplo Seja Bxy a regiao, situada no primeiro quadrante, delimitada pelas retas y = x,
y = 0, e pelos crculos x2 + y 2 = 1 e x2 + y 2 = 4. Neste exemplo, escreveremos a integral de f (x, y) = xy 2 sobre Bxy , como uma integral iterada, e a calcularemos
via coordenadas polares. Primeiro esbocamos Bxy , que
fica com na figura ao lado. Temos que
Z 1
Z x
ZZ
y
6
2
2
y=x
xy dxdy = dx
xy dy +
2
2
Bxy
1x2
+
+
Z
d
4x2
xy 2 dy
dx
2
2
r4 cos sen2 dr
31
=
5
xy dy +
0
Z
Z
dx
1
qqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqB
qqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqxy
q qqqqqqqqqqqqqqqqqqqqqqqqqqq
21 2 2
Figura 117
31
cos sen2 d =
2
60
6
2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
7.2.38
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqrqqqqqqqqq= 1 + cos
qqqqqqqq
y
6
qqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqB
qqqqqqqqqqqxy
q q q qqqqqqq
qq q q q qqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqq
Figura 118
Z
0
Z
d
Br
1+cos
Z
r dr =
0
1+cos
f (r cos , r sen )r dr .
0
(1 + cos )2
d
2
2
1 3
1
3
(1 + 2 cos + cos ) d = ( + 2 sen + sen 2) =
.
2 2
4
2
0
2
309
o nos Espac
Integrac
a
os Euclidianos
Para f (x, y) = y
Z
ZZ
y dxdy =
(1 + cos )3
sen d = 0.
3
r sen dr =
0
Bxy
Bxy
1+cos
(1 + cos )3
5
cos d =
3
4
Portanto, o centro de massa da cardioide Bxy (veja o exerccio (e)) e dado por
ZZ
ZZ
2 5
1
5
y dxdy) =
x dxdy,
(x, y) =
(
( , 0) = ( , 0).
area(B)
3 4
6
B
y
6
7.2.39
Exemplo NesteRRexemplo, consideraremos a inte-
B
qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
r = 4 cos
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq2qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 4
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqq
gral
T
/2
qqqqqqqqqqq
qqqqqq
qqqqqqqqqqqq
qqqqqqqqqqqqq
Bqqqqqqqqqq
r
qqqqqqqqqqqqq
qqqqqqqqqqqq
qqqqqqqqqqq
qqqqqqqqq
qqqqqq
qqq/2
r
A figura ao lado mostra Br e, tambem, o subconjunto de [0, +) [0, 2] que corresponde a B via
T0 . Agora, calculemos a integral.
ZZ
x y dxdy =
1024
=
5
6
2
qqqqqqqqqqqqq
qqqqqqqqqqqq
qqqqqqqqqq
qqqqqqqq
qqqqq
qq
qqqqqqqqqqqq
qqqqqqqqq
qqqqqqqqqqqq
qqqqqqqqqqqqq
Figura 119
4 cos
r4 cos2 sen dr
d
2
KA T0
A
3/2
, 0 r 4 cos }.
2
2
2
128
8
cos sen d =
cos = 0.
5
3
2
Integral Iterada em R3
310
7.3
Integral Iterada em R3
Tendo em maos a nocao de integral, dupla podemos introduzir facilmente a nocao de
integral iterada com tres variaveis, como veremos a seguir.
Sejam g1 , h1 : D R2 R contnuas em D e tais que g1 (X) h1 (X), para X D.
Consideremos, agora, os graficos de g1 e h1 , os quais indicaremos por S1 e S2 :
S1 = {(x, y, z) R3 ; z = g1 (x, y), (x, y) D}
e
S2 = {(x, y, z) R3 ; z = h1 (x, y), (x, y) D}.
z
6
h1 (x, y) q
g1 (x, y) q
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqS
qq q q q q q q q q qq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq2qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq12
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqq qqqqqqqqqqqqqqqqqqqqqq
q
q
qq
q
qq
q
qqqqqqqqqqqqqqq
qqqqqqqqq
qqqqqq
S2
qqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqq
q
q
qq
q
qqqq
q
q
qq
q
qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqq
qqqqqq
qqqqqqqqqqqqqqqqqqqqqqq
qq
qqq
q
q
qq
q
qq
q
q
q
q
q
q
qqq
q
qq
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqq
qqq qqqqqqqqqqqqqqqqqqqqqqqq q
qqqqqqqqqqqqqqqqqqqq
qqq
qqqqqqqqqqqqqqqqq qqqqqqqq q 12 qqqq qqqqqqqqqqqqqqqqq qqqqqqqqqqq q
S
qqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqqqq
qqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 1
qqqq
qqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqq
qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqq
q
qq
q
q
q
q
q
q
qqq
q
q
q
q
q
q
q
q
q
q
q
q
q
qqqqqqqq
q
qq q qqq qqqqqq qq qq q q qqq qqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
qqq
q
q
q
qqq
q
qqq
q
q
q
qq
q
q
q
q
q
q q qqqqqqqqqqq
q
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
qq qqqqqqqqqqqqqqqqqqqqqqqqqq
y
q
q
q
q
q
q
q
qqq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqD
qq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q q q qqqqqqqqqqqqB
qqq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqy)
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq(x,
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
S1
x
Figura 120: Regi
ao Simples do Tipo 12
A condicao g1 h1 significa que a superfcie S2 esta acima de S1 , como indica a figura 120.
Dada uma regiao simples B D tal que g1 e h1 sao de classe C 1 sobre a regiao interior de B
(B menos as curvas que o delimitam), construmos aquilo que chamamos de regiao simples do
tipo 12, que e o subconjunto do R3 situado entre S1 e S2 e que se projeta sobre B D, a qual
indicamos por 12 . Assim,
12 = {(x, y, z) R3 ; (x, y) B, g1 (x, y) z h1 (x, y)}.
7.3.1
Exemplo Dados a1 < b1 , a2 < b2 e a3 < b3 , o
retangulo simples fechado
R = [a1 , b1 ] [a2 , b2 ] [a3 , b3 ]
e uma regiao simples do tipo 12, onde g1 (x, y) = a3 e
h1 (x, y) = b3 sao funcoes constantes e B e o retangulo
simples fechado B = [a1 , b1 ] [a2 , b2 ].
z
6
b3 q
(8 )
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqR
qqqqqqqqqqqqqqqqqqqqqqqqq
a3 q qqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
a2 q
bq 2 a1 q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
q
y
qq q q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqB
qqqqqq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qq
b1 q
x
Figura 121
311
o nos Espac
Integrac
a
os Euclidianos
7.3.2
Exemplo Seja o tetradedro delimitado pelo plano x + y/2 + z = 1 e pelos planos coordenados. Temos que e uma regiao simples do tipo 12, situada entre as
superfcies z = 0 e z = 1xy/2, e cuja projecao
no plano-xy coincide com o triangulo
z
6
1 qqqqqqq
q qqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q z = 1 x y/2
qqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
1 qqqqqqqqqqqqqqqqqqqqq qqqq
y
2
x
Figura 122
7.3.3
Exemplo Seja o solido situado acima do
paraboloide z = x2 +y 2 e abaixo do
plano z = 1. Este plano intercepta o paraboloide
ao longo do crculo x2 + y 2 = 1, o que implica que
a projecao de sobre o plano-xy coincide com a
bola fechada B[O, 1]. Portanto, e uma regiao
simples do tipo 12, e e dada por
= {(x, y, z); 0 x2 + y 2 1, x2 + y 2 z 1}.
z
6
qqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq
qqqq qqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqq q
qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qqqqqqqqqq q q qqqqq qqqq qqq qq q qqq q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq(x,
qqqqqqqqqy)
q
qqqqqqqqqqqqqqB[O,
qq qqqqqq
qqqqqqqqqqqqqqqqqq1]
z=1
z = x2 + y 2
y
x
Figura 123
7.3.4
Exemplo Indiquemos por a regiao situada fora do cilindro x2 + y2 = 1 e dentro da
z
6
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqq
qqqqqqq
qqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqq
qqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqq qqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqq q
q
qqqq
qqq
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq
qqqqqqqqqqqqq
qqqqqqq
q
qqq
qq q q qqqqq q q q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqq
qqqq
q qqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqq
qqqqqqqqqqqqqqq 2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqq
q qqqqqqqqqqqq q q q q
qqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqq qqqqqqqqqqqq
qqqqq
x
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
p
z = 4 x2 y 2
y p
z = 4 x2 y 2
y
6
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqB
qqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q q qqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqq
x
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Figura 124
raios 1 ep2, respectivamente. Para cada (x, y)pfixado no anel B, observamos que comeca em
(x, y, 4 x2 y 2 ) e termina em (x, y, 4 x2 y 2 ), que sao pontos da esfera. Logo,
p
p
= {(x, y, z); 1 x2 + y 2 4, 4 x2 y 2 z 4 x2 y 2 }.
Integral Iterada em R3
312
7.3.5
o Seja 12 uma regiao simples do tipo 12, como em (8 ). Dada uma funcao
Definic
a
a integral
ZZ
ZZ
Z
dx dy
h1 (x,y)
f (x, y, z) dz
f (x, y, z) dz =
{z
}
dxdy.
g1 (x,y)
12
ZZ
o A integral
Observac
a
Z
dx dy
g1 (x,y)
(ii) se B = {(x, y); c y d, u2 (y) x v2 (y)} e uma regiao simples do tipo 2, entao
ZZ
Z
Z d Z v2 (y) Z h1 (x,y)
dx dy f (x, y, z) dz =
f (x, y, z) dz;
dx
dy
g1 (x,y)
u2 (y)
c
|
{z
}
12
ZZ
h1 (x, y) dxdy
pois
ZZ
g1 (x, y) dxdy
B
313
o nos Espac
Integrac
a
os Euclidianos
7.3.6
Exemplo Tomando a1 = a2 = a3 = 0 e b1 = b2 = b3 = 1, o retangulo simples fechado
do exemplo 7.3.1 fica R = [0, 1] [0, 1] [0, 1], cuja projecao no plano-xy e o
retangulo [0, 1] [0, 1]. Logo,
ZZ
Z
dx dy
Z
ZZ
ZZ
2
(xy + 2z ) dz =
(xy + 2z ) dz dxdy =
(xy + ) dxdy
3
0
{z
} [0,1][0,1]
[0,1][0,1]
R
Z 1
Z 1 Z 1
1
2
11
2
( x + )dx = .
=
dx
(xy + )dy =
3
3
12
0 2
0
0
2
7.3.7
Exemplo Se e o tetraedro do exemplo 7.3.2, isto e,
= {(x, y, z); (x, y) T, 0 z 1 x y/2},
onde T e o triangulo
T = {(x, y); 0 x 1, 0 y 2 2x},
entao
ZZ
dx dy
|
ZZ
Z
(2x y + z) dz =
{z
}
1xy/2
(2x y + z) dz
ZTZ
dxdy
1xy/2
1 2
=
2xz yz + z
dxdy
2
0
T
Z 1 Z 22x
1
3 2 3
5 2 1
dx
x + xy x y + y +
=
dy
2
2
2
8
2
0
0
Z 1
7 3 1
1
2
=
3x 5x + x
dx = .
3
3
12
0
ZZ
1xy/2
dx dy dz =
0
|
{z
}
T
ZZ
1
=
1 x y dxdy
2
T
Z 1 Z 22x
1
=
dx
1 x y dy
2
0
0
Z 1
1
=
x2 2x + 1 dx = ,
3
0
dz
dxdy
que, claro, poderia ser calculado pela formula vol() = h area(T )/3, onde h e a altura de .
Integral Iterada em R3
314
7.3.8
Exemplo Retomemos o solido , delimitado pelo paraboloide z = x2 + y2 e pelo plano
z = 1, que estudamos no exemplo 7.3.3. Naquele exemplo, vimos que a projecao
de no plano-xy e o disco unitario
B = B[O, 1] = {(x, y); 0 x2 + y 2 1}
e que sua descricao como uma regiao do tipo 12 e dada por
= {(x, y, z); 0 x2 + y 2 1, x2 + y 2 z 1}.
Se f (x, y, z) = x2 y 2 z, entao
ZZ
|
Z Z Z
2 2
dx dy x y z dz =
{z
}
2 2
ZZ
x2 y 2
=
ZBZ
2 2
xy
B
1
=
2
B
2
z dz dxdy
x2 +y 2
dxdy
1 4
1 1 4
2 2
x x y y dxdy
2 2
2
Z
dx
2 2
1 (x + y )
2
2
Z
xy
x y z dz dxdy =
x2 +y 2
ZZ
2 2
1x2
x2 y 2 x6 y 2 2x4 y 4 x2 y 6 dy,
1x2
cujo calculo direto levaria mais um bom tempo. Entretanto, esta integral pode ser calculada
bem mais facilmente, se usamos coordenada polares. De fato, a regiao que corresponde a B em
coordenadas polares e o retangulo do espaco R2r dado por Br = [0, 1] [0, 2]. Logo,
ZZ
|
1
dx dy x y z dz =
2
{z
}
ZZ
1
2
ZZ
2 2
x2 y 2 1 (x2 + y 2 )2 dxdy
2
(r cos )2 (r sen )2 1 (r cos )2 + (r sen )2
r dr d
Br
ZZ
1
r sen cos dr d
r9 sen2 cos2 dr d
2
Br
Br
Z 2
Z 1
Z
Z 1
1
1 2
2
2
5
2
2
=
sen cos d
r dr
sen cos d
r9 dr
2 0
2
0
0
0
Z 2
1
=
sen2 cos2 d =
,
30 0
120
1
=
2
ZZ
porque
Z
0
1
sen cos d =
4
2
Z
0
1
sen 2 d =
8
2
(1 cos 4) d =
0
.
4
315
o nos Espac
Integrac
a
os Euclidianos
7.3.9
Exemplo Agora, calcularemos a integral iterada
ZZ
Z
dx dy
3(x2 + y 2 )z 2 dz ,
{z
}
p
p
4 x2 y 2 z 4 x2 y 2 }.
Logo,
!
ZZ
Z
Z Z Z 4x2 y2
2
2 2
2
2 2
dx dy 3(x + y )z dz =
3(x + y )z dz dxdy
4x2 y 2
|
{z
}
B
ZZ
p
=2
(x2 + y 2 ) 4 x2 y 2
4 x2 y 2 dxdy
B
r 8r2 4 r2 2r4 4 r2 dr d
ZZ
=
Br
Z 2
d
0
8r3 4 r2 2r5 4 r2 dr
3 64
3 2
3 2
24 2
4
= 2 r
4 r2
4 r2 + r
4 r2
35
35
7
1
468
3,
=
35
onde
Br = {(r, ); 1 r 2, 0 2}.
O volume de pode ser calculado assim:
ZZ
Z
Z Z Z 4x2 y2 !
vol() =
dx dy dz =
dz dxdy
2 y 2
4x
|
{z
}
B
Z Z Z 4x2 y2 !
=
dz dxdy
4x2 y 2
ZZ
=
ZZ
p
2
2
2 4 x y dxdy =
2r 4 r2 dr d
Br
Z
= 2
r 4
d
0
r2
3 2
2
2
dr = 2
4 r = 4 3.
3
1
Integral Iterada em R3
316
Este volume pode, tambem, ser calculado usando a tecnica das secoes transversais ao longo do
eixo-z, aquela mesma que usamos
no exemplo 7.1.8. De fato, tais secoes, neste caso, sao aneis
de raio menor 1 e raio maior 4 z 2 , os quais sao obtidos interceptando com os planos z
fixado. Logo, se Sz indica cada secao, sua area e area(Sz ) = (4 z 2 ) = 3 z 2 . Portanto,
Z
vol() =
(3 z 2 ) dz = 4 3.
7.3.10
Exemplo Visando motivar a nocao de mudanca na ordem da integracao, retomaremos as
informacoes contidas nos exemplos 7.3.3 e 7.3.8, onde trabalhamos com
= {(x, y, z); 0 x2 + y 2 1, x2 + y 2 z 1}.
Nosso objetivo, agora, e descrever este solido como uma regiao simples do tipo 23, isto e, uma
regiao entre superfcies definidas explicitamente por x = g2 (y, z) e x = h2 (y, z), onde g2 e h2 estao
z
6
qqqqqqqqqqqqqqqqqqqq
p
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq= z y 2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqx
qqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqp
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq
z y2
x
=
qqqqqqqqqqq
qqqqqqqqqqqqq qqq qqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqq
y
z
6
1
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqE
qqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqz = y 2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqq
q
q y
1
1
Figura 125
(9 )
317
o nos Espac
Integrac
a
os Euclidianos
se a queremos como uma regiao simples do tipo 2. Dada f : R contnua, temos, naturalmente associada a` forma (9 ) de escrever , a integral iterada
!
ZZ
Z
Z Z Z zy2
dy dz f (x, y, z) dx =
f (x, y, z) dx dy dz .
zy
|
{z
}
E
Z 1 Z zy2
Z 1
dy
dz
=
f (x, y, z) dx
1
y2
zy 2
Z
Z
Z
1
dz
=
0
zy 2
dy
f (x, y, z) dx .
zy 2
2
zy
{z
}
|
E
Z 1 Z zy2
Z 1
Z 1 Z z
Z zy2
dz
dy
=
dz dy
x2 y 2 z dx =
x2 y 2 z dx
2
2
2
y
1
zy
0
z
zy
!
!
ZZ
Z
ZZ Z
zy 2
zy 2
2 2
x y z dx dy dz =
zy 2
y z
E
1
x2 dx dy dz
zy 2
Z
Z 1 p
p
3
3
2
2
2
y z
zy
dy
zy
dy dz =
y 2 z dz
3 1
y2
E
!
Z p
7 2 p
5 1
2 1
2
=
z y2 +
z y 2 y 2 y 2
dy
3 1
7
5
y2
Z 1 p
Z 1 p
7
5
4
4
2
2
y
y4
1y
dy +
1 y 2 dy
=
21 1
15 1
4 7
4 3
=
+
=
,
21 256 15 256
120
que coincide com a integral iterada que calculamos no exemplo 7.3.8, olhando para como
claro que os calculos envolvido aqui sao bem mais demorados do que
uma regiao do tipo 12. E
aqueles exigidos pelo exemplo 7.3.8.
2
=
3
ZZ
7.3.11
o Seja 23 R3 uma regiao simples do tipo 23, isto e,
Definic
a
23 = {(x, y, z); (y, z) E, g2 (y, z) x h2 (y, z)},
onde E e uma regiao simples do plano-yz e g2 e h2 sao contnuas em E e de classe C 1 na
regiao interior de E. Dada uma funcao contnua f : 23 R, definimos a integral iterada de
f sobre 12 como sendo a integral
!
ZZ
Z
Z Z Z h2 (y,z)
dy dz f (x, y, z) dx =
f (x, y, z) dx dy dz .
g
(y,z)
2
|
{z
}
E
23
Integral Iterada em R3
318
7.3.12
o Seja 13 R3 uma regiao simples do tipo 13, isto e,
Definic
a
13 = {(x, y, z); (x, z) H, g3 (x, z) y h3 (x, z)},
onde H e uma regiao simples do plano-xz e g3 e h3 sao contnuas em H e de classe C 1 na
regiao interior de H. Dada uma funcao contnua f : 13 R, definimos a integral iterada de
f sobre 13 como sendo a integral
!
ZZ Z
ZZ
Z
h2 (x,z)
dx dz
|
f (x, y, z) dy =
{z
}
f (x, y, z) dy dx dz .
H
g2 (x,z)
13
7.3.13
Exemplo Seja = R = [a1 , b1 ] [a2 , b2 ] [a3 , b3 ] um retangulo simples fechado, o qual e
uma regiao simples do tipo 12, como vimos no exemplos 7.3.1 e 7.3.6. Escrevendo
R = {(x, y, z); (y, z) [a2 , b2 ] [a3 , b3 ], a1 x b1 },
vemos que R e uma regiao simples do tipo 23. Mas
R = {(x, y, z); (x, z) [a1 , b1 ] [a3 , b3 ], a2 y b2 },
que descreve R como uma regiao simples do tipo 13. Logo, R pode ser descrita como uma regiao
simples dos tres tipos. Portanto, dada f : R R contnua, temos que
ZZ
Z Z Z
b3
b1
b2
b3
f (x, y, z) dz dxdy =
dx
dy
f (x, y, z) dz
f (x, y, z) dz =
a
a
a
a
3
1
2
3
|
{z
}
B
R
ZZ
Z
Z Z Z b1
Z b2 Z b3 Z b1
dy dz f (x, y, z) dx =
f (x, y, z) dx dy dz =
dy
dz
f (x, y, z) dx
a
a
a
a
1
2
3
1
|
{z
}
E
R
ZZ
Z
Z b1
Z b3 Z b2
Z Z Z b2
f (x, y, z) dy dx dz =
dx
dz
f (x, y, z) dy,
dx dz f (x, y, z) dy =
a
a
a
a
2
1
3
2
{z
}
|
H
dx dy
onde
B = [a1 , b1 ] [a2 , b2 ], E = [a2 , b2 ] [a3 , b3 ] e H = [a1 , b1 ] [a3 , b3 ].
Estas tres integrais sao iguais, como veremos na proxima secao. Entretanto, para corroborar
este resultado, as calcularemos para f (x, y, z) = xy + 2z 2 e R = [0, 1] [0, 1] [0, 1]. No
exemplo 7.3.6, vimos que
ZZ
Z
Z 1 Z 1 Z 1
11
2
dx dy (xy + 2z ) dz =
dx
dy
(xy + 2z 2 ) dz = .
12
0
0
0
|
{z
}
R
319
o nos Espac
Integrac
a
os Euclidianos
As outras duas integrais ficam:
ZZ
Z
dy dz
(xy + z ) dx =
{z
}
Z
dy
0
0
1
Z 1
1
1
2
11
2
y + 2z dz =
y+
dy =
2
2
3
12
0
Z
dy
(xy + 2z 2 ) dx
dz
e
ZZ
Z
dx dz
(xy + z ) dy =
{z
}
R
Z
dx
0
1
(xy + 2z 2 ) dy
dz
0
1
Z
dx
Z 1
1
1
2
11
2
x + 2z dz =
x+
dx = ,
2
2
3
12
0
7.3.14
Exemplo No exemplo 7.3.7 vimos que
ZZ
ZZ
(2x y + z) dz =
{z
}
dx dy
|
1xy/2
(2x + y z) dz
dxdy =
1
,
12
z
6
onde e o tetraedro
= {(x, y, z); (x, y) T, 0 z 1 x y/2},
1 qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
qqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
x = 1 y/2 z
qqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
1 qqq qq
y
2
x
Agora, vamos olhar como uma regiao simples
do tipo 23, e calcular a respectiva integral iterada
Figura 126
de 2x+y z sobre . Comecamos observando que
a projecao do tetraedro no plano-yz e o triangulo U determinado pelos eixos coordenados e pela
reta y/2 + z = 1. Logo,
ZZ
ZZ
Z
dy dz
como esperavamos.
(2x + y z) dx =
{z
} ZU
1y/2z
!
(2x + y z) dx dy dz
0
2
1y/2
3 2 3
=
dy
1 2y z + y + zy dz
4
2
0
0
Z 2
1 5
7
3
1
=
y + y 2 y 3 dy = ,
2 4
8
16
12
0
Z
Integral Iterada em R3
320
7.3.15
Exemplo Consideremos, agora, o setor esferico
z
z=y
6
q
p
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqq
z = 2 x2 y 2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
p
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
z = x2 + y 2
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqq
qqqqqqqqqqq q
qqqqqqqqqqq
qqqqqqqqqqqqqqqqq
q qqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq(x,
q q qqqqqqqqqqqqqqqy)
qq q q q
2 y
z = y
dx dy xyz dz ,
{z
}
321
o nos Espac
Integrac
a
os Euclidianos
a qual vale
!
ZZ
Z
ZZ
ZZ
Z 2x2 y2
dx dy xyz dz =
xyz dz dxdy =
xy x3 y xy 3 dxdy
x2 +y 2
|
{z
} B[0,1]
B[0,1]
Z 2 Z 1
r3 cos sen r5 cos sen dr
d
=
0
Z 2 0
1
=
cos sen d = 0,
12 0
onde usamos coordenadas polares na passagem da segunda para a terceira igualdade. Como
= 1 2 , onde 1 e 2 sao regioes simples do tipo 23, podemos calcular as integrais
ZZ
Z
ZZ
Z
dy dz xyz dx,
dy dz xyz dx e
{z
}
|
{z
}
|
1
as quais ficam
ZZ
ZZ
dy dz xyz dx =
{z
}
e
ZZ
|
Z
dy dz xyz dx =
{z
}
2
Z z2 y2
E1
ZZ
E2
!
xyz dx dy dz =
z 2 y 2
ZZ
xyz dx dy dz =
z2 y2
1 2
x yz
dy dz = 0
2
E1
Z 2z2 y2
ZZ
2z 2 y 2
E2
z 2 y 2
2z2 y2
1 2
x yz
dy dz = 0.
2
2z 2 y 2
Logo,
ZZ
|
ZZ
dy dz xyz dx +
{z
} |
1
Z
dy dz xyz dx = 0.
{z
}
2
e chamada integral iterada de f sobre , decomposta com uniao de regioes simples do tipo 23.
Note que o resultados obtidos nao depende da forma que adotamos para descrever , como ja
aconteceu nos dois exemplos anteriores.
o Simples]
7.3.16 [Regia
Um conjunto = 1 2 n R3 , onde cada i ,
o
Definic
a
Integral Iterada em R3
322
7.3.17
o
Definic
a
7.3.18
o
Definic
a
7.3.19
o
Definic
a
7.3.20
Exemplo Seja o solido delimitado pelo cilindro (x 2)2 + y2 = 4 e pelos planos x + z = 4
e z = 0, como indica a figura 129 abaixo. A projecao de no plano-xy e o disco
B = {(x, y); (x 2)2 + y 2 4}.
z
6
(x 2)2 + y 2 = 4
qq
q
qqq
q
qq
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqzqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqq4qqqq
x
qqqqqqqqqqqqqqqqqqqqqqqqqq+
qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq=
qqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqT
qqqqqqqq
qqqqqqqqqq
qqqqq
qqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q qq qq qq
qqq
y
qqqq
q qqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqq
B
x
Figura 129
Z
dx dz
f (x, y, z) dy =
{z
}
Z
dx
Z 4(x2)2
4x
dz
0
f (x, y, z) dy .
4(x2)2
323
o nos Espac
Integrac
a
os Euclidianos
Em particular,
Z Z Z
4x
dz dxdy =
vol() =
0
Z
dx
Z 4(x2)2
4x
dz
dy .
4(x2)2
Usando coordenadas polares, via T (veja o exemplo 7.2.39 na pagina 309) na primeira integral,
obtemos
ZZ
y
6
(4 x) dxdy
vol() =
B
q
q
qqqqqq
q
q
qq
q
q
q
q
q
q
q
qqqqq q q qqqqqqqqqqqqqqqqqqqqqqqqqqq
r = 4 cos
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq2qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 4
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
4 cos
r(4 r cos ) dr
d
2
= 8,
que podia, tambem, ser calculado assim:
Z
vol() =
4 cos
Figura 130
r(4 r cos ) dr +
4 cos
r(4 r cos ) dr = 8.
d
3
2
ZZZ
(x + y + z) dz dxdy
(x + y + z) dxdydz =
4x
4x
ZZ
z 2
x2
=
((xz + yz + ) ) dxdy =
( + 4y xy) dxdy
2 0
2
B
B
Z 4 cos
Z
2
r3 cos2
=
d
(8r
+ 4r2 sen r3 cos sen ) dr
2
0
2
Z
2
16cos3 sen
+ cos4 (1 cos 2 2 sen 2))d
= 16
(4 cos2 +
3
2
ZZ
= 22
7.4
Integrais Triplas
324
Integrais Triplas
Nesta secao seguiremos de perto toda aquela estrategia que usamos na secao 7.2, onde
construmos, via somas de Riemann, a nocao de integral dupla.
Seja R = [a1 , b1 ] [a2 , b2 ] [a3 , b3 ] um retangulo simples fechado de R3 (que tambem
chamaremos de bloco). Dadas as particoes
Px = {x0 = a1 < x1 < x2 < . . . < xm1 < xm = b1 },
de [a1 , b1 ],
Py = {y0 = a2 < y1 < y2 < . . . < yn1 < yn = b2 },
de [a2 , b2 ], e
Pz = {z0 = a3 < z1 < z2 < . . . < zp1 < zp = b3 },
de [a3 , b3 ], o subconjunto de R3
P = Px Py Pz = {Xijk = (xi , yj , zk ); 0 i m, 0 j n, 0 k p}
e chamado particao de R. Note que os elementos de P sao exatamente os vertices dos mnp
blocos menores
Rijk = [xi1 , xi ] [yj1 , yj ] [zk1 , zk ], 1 i m, 1 j n, 1 k p,
z
6
b3 q
a3 q
a1 q
b1 q
yj
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqq qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqq
qqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq
qqqqqqqqqq
qqqqqq qqqqqq qqqqqq qqqqqqqqqqqqqqqqqqqq qqqqqq qqqqqq qqqqqqqqqqqqqqqqqqq qqqqqqqq
qqqqqqqqqqqqq qqqqqq
qqqqqq
qqqqqqqqq qqqqqqqqq qqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqq qqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqq
qqqqqqqqqq
qqqqqqqqqqqq
qqq
q
qqqqqq
qqqqqqqqqq
qqq
qqqqqqqqq qqqqqqqqq qqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqq qqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqq qqqqqq
qqq
qqqqqq qqqqqq qqqqqq qqqqqqqqqqqqqqqqqqqq qqqqqq qqqqqq qqqqqqqqqqqqqqqq qq
a
bq 2
q2
qq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qqq
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Xqqqqqijk
qqqqqqqqqqqqqqq
zk
xi
y
Figura 131
x
p
k=1
m
Rijk . A malha de P e definida por
n
j=1
i=1
7.4.1
Exemplo Da mesma forma que fizemos no exemplo 7.2.1, podemos construir particoes homogeneas para um bloco. De fato, dados R = [a1 , b1 ] [a2 , b2 ] [a3 , b3 ], dados
m, n, p N, definimos
xi = x =
b 1 a1
b 2 a2
b 3 a3
, yj = y =
e zk = z =
,
m
n
p
325
o nos Espac
Integrac
a
os Euclidianos
para 1 i m, 1 j n, 1 k p. A particao
Pmnp = {Xijk = (xi , yj , zk ); 0 i m, 0 j n, 0 k p},
b 1 a1
b 2 a2
b 3 a3
, a2 + j
, a3 + k
); 0 i, j, k n},
n
n
n
(10 )
7.4.2
o Dada f : R R, a soma de Riemann de f associada a P e a` escolha {Cijk }
Definic
a
e definida por
S(f, P, {Cijk }) =
p
n
m
X
X
X
k=1
j=1
!!
f (Cijk )xi yj zk
i=1
m(P)0
S(f, P, {Cijk }) =
m(P)0 k=1
j=1
i=1
existe, e independe da famlia de particoes P e das escolhas {Cijk }, dizemos que f e integravel
sobre R. O valor do limite, indicado por
ZZZ
ZZZ
Z
f (x, y, z) dxdydz,
f (x, y, z)dV ou
f dV,
R
326
Integrais Triplas
7.4.4
Exemplo Se f e constante, digamos f (x, y, z) = c, (x, y, z) R = [a1 , b1 ] [a2 , b2 ] [a3 , b3 ],
entao a soma de Riemann S(f, P, {Cijk }) e
S(f, P, {Cijk }) =
p
n
m
X
X
X
k=1
j=1
i=1
n
X
m
X
k=1
j=1
i=1
=c
!!
f (Cijk )xi yj zk
!!
c xi yj zk
k=1
j=1
k=1
p
n
m
X
X
X
j=1
=c
p
n
m
X
X
X
!!
xi yj zk
i=1
!!
vol(Rijk )
= c vol(R),
i=1
m(P)0
para qualquer famlia de particoes com malha tendendo a zero, e para toda escolha {Cijk }. Isto
mostra que as funcoes constantes sao integraveis e que
ZZZ
c dxdydz = c vol(R) = c(b1 a1 )(b2 a2 )(b3 a3 ).
R
Como no caso das integrais duplas, o seguinte teorema, o qual sera admitido sem prova,
reduz o calculo de uma integral tripla ao calculo do limite de somas de Riemann especiais, com
uma particular escolha.
7.4.5
Teorema Se f : [a1 , b1 ] [a2 , b2 ] [a3 , b3 ] R e contnua, entao f e integravel.
7.4.6
rio Se f e contnua no retangulo R = [a1 , b1 ] [a2 , b2 ] [a3 , b3 ], entao
Corola
ZZZ
f (x, y, z) dxdydz = lim xyz
n
n
n
n
X
X
X
k=1
j=1
!!
f (xi , yj , zk )
i=1
pppppppppppppppppppppp
327
o nos Espac
Integrac
a
os Euclidianos
7.4.7
Exemplo Seja f (x, y, z) = xy + 2z 2 , (x, y, z) R3 . Vamos usar o corolario 7.4.6 para
calcular a intgeral tripla de f sobre o bloco R = [0, 1] [0, 1] [0, 1]. Temos que
ZZZ
R
n
n
n
1 X X X ij
k2
2
(xy + 2z ) dxdydz = lim 3
+2 2
n n
n2
n
j=1
i=1
k=1
n
n
n
n
X
1 X X X
= lim 5
ij + 2
k2
n n
j=1
i=1
i=1
k=1
!!
!!
!!
n
n
n
X
X
X
1
= lim 5
j
i + 2nk 2
n n
j=1
i=1
k=1
!
2
n
n
n
X
X
X
1
i + 2n
k2
= lim 5
n n
i=1
j=1
k=1
!
2
n
n
X
X
1
= lim 5
i + 2n2 k 2
n n
i=1
k=1
!2
n
n
X
X
1
i + 2n2
k2
= lim 5 n
n n
i=1
k=1
1
= lim 5
n n
1
= lim 5
n n
n
n(n + 1)
2
2
n(n + 1)(2n + 1)
+ 2n2
6
11 5 3 4
7
n + n + n3
12
2
12
=
11
,
12
do Nulo]
7.4.8 [Conteu
Um subconjunto S R3 tem conte
udo nulo se dado > 0
o
Definic
a
existe um n
umero finito de retangulos simples R1 , R2 ,. . . , Rk
tais que
(i) vol(R1 ) + vol(R2 ) + + vol(Rk ) < ;
(ii) S R1 R2 Rk .
Em outras palavras, S pode ser coberto por um n
umero finito de retangulos simples cuja soma
de seus volumes pode ser feita arbitrariamente pequena.
328
Integrais Triplas
Analogo ao que fizemos para curvas parametrizadas, veremos que o traco de uma superfcie
parametrizada de classe C 1 , definida em um retangulo simples fechado do R3 , tambem tem
conte
udo nulo. Antes, obteremos alguns resultados preliminares.
7.4.9
Lema Se g(u, v) = (x(u, v), y(u, v), z(u, v)), (u, v) [a, b] [c, d], e uma superfcie parametrizada lipschitziana (definicao 3.2.7), com constante de Lipschitz M , entao tr g esta
contido no retangulo simples
R = [x(X0 ) r), x(X0 ) + r] [y(X0 ) r, y(X0 ) + r] [z(X0 ) r, z(X0 ) + r],
p
onde X0 = (a, b) e r = M (b a)2 + (d c)2 .
o: Temos que
Demonstrac
a
kg(X) g(X0 )k M kX X0 k M
p
(b a)2 + (d c)2 = r, X R.
De |x(X) x(X0 )| kg(X) g(X0 )k, vem que |x(X) x(X0 )| r. Tambem temos que
|y(X) y(X0 )| r e |z(X) z(X0 )| r. Logo, o traco de g esta contido no retangulo simples
[x(X0 ) r), x(X0 ) + r] [y(X0 ) r, y(X0 ) + r] [z(X0 ) r, z(X0 ) + r],
o que prova o lema. pppppppppppppppppppppp
7.4.10
o Se g(u, v) = (x(u, v), y(u, v), z(u, v)), (u, v) [a, b] [c, d], e uma superfcie
Proposic
a
parametrizada lipschitziana, entao tr g tem conte
udo nulo.
o: Dado n N, dividamos os intervalos [a, b] a [c, d] em n intervalos
Demonstrac
a
justapostos de largura 1 = (b a)/n e p
oe R em
2 = (d c)/n, respectivamete. Isto decomp
2
2
2
n retangulos simples de diagonal = 1 + 2 . Do lema anterior, vem que o traco da
restricao de g a cada um destes retangulos esta contido num retangulo (de R3 ) de volume
8M 3 3 , onde M e a constante de Lipschitz de g. Desta forma, obtemos n2 retangulos que
cobrem o tr g, e cuja soma de seus volumes vale
p
q
(
(b a)2 + (d c)2 )3
n2 8M 3 3 = n2 8M 3 ( 21 + 22 )3 = 8M 3
.
n
este n
E
umero que queremos fazer menor do que , para > 0 dado. Isto e facil de fazer. Basta
escolher n com a propriedade:
1
p
<
.
n
8M 3 ( (b a)2 + (d c)2 )3
Logo, tr g tem conte
udo nulo. pppppppppppppppppppppp
329
o nos Espac
Integrac
a
os Euclidianos
7.4.11
o Uma superfcie parametrizada g : [a, b] [c, d] R3 e de classe C 1 por partes
Definic
a
7.4.12
rio Se g(u, v) = (x(u, v), y(u, v), z(u, v)), (u, v) R = [a, b][c, d], e uma superfcie
Corola
parametrizada de classe C 1 por partes, entao tr g tem conte
udo nulo.
7.4.13
Teorema Seja f : [a1 , b1 ] [a2 , b2 ] [a3 , b3 ] R uma funcao limitada. Se o conjunto dos
pontos de descontinuidade de f tem conte
udo nulo, entao f e integravel sobre
[a1 , b1 ] [a2 , b2 ] [a3 , b3 ], e a integral nao depende dos valores de f em seus pontos de descontinuidade.
A nocao de integral tripla sobre uma regiao simples (veja definicao 7.3.16) pode agora ser
introduzida.
7.4.14
o Sejam f : D R3 R, D uma regiao simples e R um retangulo simples
Definic
a
contendo . Indicaremos por f a funcao f : R R dada por
7.4.15
o Sejam f : D R3 R, e D uma regiao simples contida em um retangulo
Definic
a
ZZZ
A integral tripla de f sobre tambem e indicada por
f (x, y, z)dV .
330
Integrais Triplas
7.4.16
Teorema Sejam f : D R3 R limitada, e D uma regiao simples. Se o conjunto
dos pontos de descontinuidade de f tem conte
udo nulo, entao f e integravel sobre
, e a integral nao depende dos valores de f em seus pontos de descontinuidade.
o: O conjunto dos pontos de descontinuidade de f e a uniao das desDemonstrac
a
continuidades da restricao de f a com, no maximo, a fronteira de , a qual e uma uniao
finita de tracos de superfcies parametrizadas de classe C 1 . Logo, o conjunto dos pontos de
descontinuidade de f tambem tem conte
udo nulo. Portanto, f deve ser integravel sobre R, de
pp ppppppp
p
p
p
p
p
acordo com o teorema 7.4.13. pppppppp
O teorema abaixo e o analogo do teorema 7.2.20 para integrais triplas. Sua prova nao sera
abordada. Entretanto, para o caso em que B e um retangulo simples, o leitor podera imitar
aquela que demos para o teorema 7.2.20.
7.4.17
Teorema Sejam f : D R3 R contnua sobre a regiao simples D. Entao,
ZZZ
f (x, y, z) dxdydz;
ZZ
Z
ZZ
Z
dy dz f (x, y, z) dx .
=
dx dz f (x, y, z) dy =
{z
} |
{z
}
|
7.4.18
Exemplo O teorema anterior, junto com o resultado do exemplo 7.3.9, mostra que
ZZZ
ZZ
3(x + y )z dxdydz =
Z
dx dy
468
3(x2 + y 2 )z 2 dz =
3,
35
{z
}
331
o nos Espac
Integrac
a
os Euclidianos
7.4.19
veis em Integrais Triplas
Mudanc
a de Varia
Nesta subsecao, abordaremos o teorema da mudanca de variaveis para integrais triplas.
Argumentos geometricos como aqueles que usamos na subsecao 7.2.28 podem ser usados para
justificar tal resultado. Deixaremos esta tarefa para o leitor.
o No teorema da mudanca de variaveis em integrais triplas apresentado a seguir,
Observac
a
o smbolo R3uvw significa que estamos indicando um elemento generico de R3 por
(u, v, w). Analogamente, R3xyz indica que tal elemento sera denotado por (x, y, z).
7.4.20
Teorema Sejam T : D R3uvw R3xyz , T (u, v, w) = (x(u, v, w), y(u, v, w), z(u, v, w)), uma
funcao de classe C 1 no aberto D, e uvw D uma regiao simples com as seguintes
propriedades:
(i) existe C1 uvw , de conte
udo nulo, tal que a restricao T : uvw C1 R3xyz e injetiva;
(ii) existe C2 uvw , tambem de conte
udo nulo, tal que
(x, y, z)
(u, v, w) = det JT (u, v, w) 6= 0,
(u, v, w)
uvw
7.4.21
rio Sejam T : D R3uvw R3xyz , T (u, v, w) = (x(u, v, w), y(u, v, w), z(u, v, w)),
Corola
e f : xyz
uvw
7.4.22
Exemplo Dados a > 0, b > 0 e c > 0, consideremos a aplicacao linear T : R3uvw R3xyz
definida por T (u, v, w) = (x, y, z) = (au, bv, cw). Temos que
a 0 0
JT (u, v, w) = M (T ) = 0 b 0 .
0 0 c
332
Integrais Triplas
Como det J(T )(u, v, w) = det M (T ) = abc > 0, segue-se que T satisfaz as condicoes do corolario 7.4.21. Assim, se uvw R3uvw e uma regiao simples qualquer e f e uma funcao integravel
em xyz = T (uvw ), entao vale a formula
ZZZ
ZZZ
ZZZ
f (au, bv, cw) du dv dw .
f (au, bv, cw)abc du dv dw = abc
f (x, y, z) dxdydz =
uvw
uvw
xyz
Em particular,
ZZZ
ZZZ
du dv dw = abc vol(uvw ).
dxdydz = abc
vol(xyz ) =
xyz
uvw
Note que se uvw = {(u, v, w); u2 + v 2 + w2 1} e a regiao envolvida pela esfera unitaria, entao
xyz = T (uvw ) = E(a, b, c) = {(x, y, z);
x2 y 2 z 2
+ 2 + 2 1},
a2
b
c
que e o solido envolvido pelo elipsoide de semi-eixos a, b e c. Logo, vol(E(a, b, c)) = 43 abc, visto
que vol(uvw ) = 4/3 (veja os exerccios (e) e (f)).
Como observamos na subsecao 7.2.28, ao introduzirmos as coordenadas polares, em geral,
nao e uma tarefa simples descobrir uma mudanca de coordenadas T para o calculo de uma
integral tripla. Entretanto, para este caso, existem duas mudancas de coordenadas especiais,
as quais podem ser aplicadas a uma gama razoavelmente grande de exemplos. Elas sao as
mudancas de coordenadas cilndricas e esfericas. As coordenadas cilndricas em R3 sao uma
simples extensao das polares em R2 .
Coordenadas Cilndricas
7.4.23
Lema Seja TC : R3rz R3xyz definida por
TC (r, , z) = (r cos , r sen , z) = (T0 (r, ), z).
Temos que TC goza das seguintes propriedades:
(i) a faixa r = r0 , r0 fixo, [0, 2], e z R, e transformada por TC no cilindro de raio r0 e
eixo igual ao eixo-z (veja a figura 132 a seguir);
(ii) o semiplano = 0 , 0 fixo, r 0 e z R, e transformado por TC no semiplano que contem
o eixo-z e faz um angulo 0 com o plano-xz;
(iii) a restricao de TC a (0, +) [0, 2) R e injetiva;
(iv) a restricao de TC a [0, +) [0, 2) R e sobrejetiva;
333
o nos Espac
Integrac
a
os Euclidianos
(x, y, z)
= r.
(r, , z)
cos r sen 0
det JTC (r, , z) = det sen r cos 0 = r(cos )2 + r(sen )2 = r,
0
0
1
como queramos. ppppppppppppppppppppp
z
6
(r0 , 0 , z0 )q
q z0
q0
r0 q
z
6
q
2
TC
qqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqzqqqqqqqqqq0qqqqqqqqqqqq
qqq
q qq q qqq
qqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq
qq
q
qq
qqq
q
qqq
q
q
q
qq
q
q
qqqq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
qqq
q
q
qqq
q
q
q
q
q
qqq
q
q
q
q
q
q
q
q
q
qq
qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq
qqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqq
qqq q (r
q q q 0qqq cos
qqqq q qqqqqq0qqqqqqq,qqqqqqqqrqqqqqqqqq0qqqqqqqqqsen
q q q q qq0q q,qq zq q0 )
q
qqqq
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqzqqqqqqqqqqqqqqqqq=
qq
q
q
z
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
0
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
y
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqq
q
qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq=
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqrqqqqqqqqqq=
qqqqqqqqqqqqqqrqqqqqqq0qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq0qqqqqqqqqqqqqqq
q
qqq
q qqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqq
x
7.4.24
Teorema Se rz e uma regiao simples contida em [0, +) [0, 2] R, xyz = TC (rz )
e f : xyz R e integravel, entao
ZZZ
ZZZ
f (x, y, z) dxdydz =
f (r cos , r sen , z)r dr d dz .
xyz
rz
Em particular,
ZZZ
vol(xyz ) =
r dr d dz .
rz
rz
onde foi usado o fato que det JTC (r, , z) = r, de acordo com (v) do lema 7.4.23. ppppppppppppppppppppp
334
Integrais Triplas
7.4.25
Exemplo Retomemos o solido , delimitado pelo paraboloide z = x2 + y2 e pelo plano
z = 1, que estudamos nos exemplos 7.3.3 e 7.3.8, onde vimos que a projecao de
no plano-xy e o disco unitario
Bxy = B[O, 1] = {(x, y); 0 x2 + y 2 1},
ao qual, em coordenadas polares, corresponde o retangulo simples Br = [0, 1] [0, 2], isto e,
T0 (Br ) = Bxy ou, equivalentemente, T01 (Bxy ) = Br . Portanto, se xyz = , temos que
rz = TC1 (xyz ) = {(r, , z) R3rz ; 0 r 1, 0 2, r2 z 1}.
Esta forma de descrever rz e obtida assim: inicialmente calculamos a projecao Bxy de Bxyz no
plano-xy. A seguir descrevemos Bxy em coordenadas polares, isto e, achamos Br = T01 (Bxy ),
a qual coincide com projecao de Brz = TC1 (Bxyz ) no plano plano-r. Feito isto, fixamos um
ponto (x, y) = (r cos , r sen , 0) Bxy R3xyz e por ele tracamos uma reta paralela ao eixo-z.
Esta reta atravessa o solido xyz comecando no ponto (x, y, x2 + y 2 ) = (r cos , r sen , r2 ) e
terminando em (x, y, 1) = (r cos , r sen , 1). Isto completa a descricao de rz , que e o solido
do espaco R3rz , delimitado pelos planos r = 0, r = 1, = 0, = 2, z = 1 e pelo cilindro
parabolico z = r2 , como mostra a figura 133.
z
6
z
6
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqzqqqqqqqqqqqqqqqqqqqq=
qq
qq
q
q
q
qqqqqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqq
q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqrz
qqqqqqqqqqqqqqqqqqqqqqrqqqqqqqqq2qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqzqqqqqqqqqqqqqqqq=
2
q (r, , 0)
B
1 q r
r
qqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq z = 1
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
z = x2 + y 2 = r 2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqxyz
qqqqqqqqqqqqqqqqqq
q
q
q
q
qq
q
qqqq
q
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
qq
q
q
q
q
q
q
q
qq
q
q
q
q
q
qqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqy)
-cos , r sen )
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq(x,
qqqqqqqqqqqqqqqqqqqqqqqqqqq = (r
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q q
y
B
TC
xy
x
Figura 133
rf (r cos , r sen , z) dr d dz .
r2
r2
!
2 1
z
=
r5 (cos )2 (sen )2
2 r dr d
2
0
0
r
Z 2
Z 1
Z
Z 1
1
1 2
2
2
5
2
2
=
sen cos d
r dr
sen cos d
r9 dr
2 0
2 0
0
0
Z 2
1
=
.
sen2 cos2 d =
30 0
120
Z
335
o nos Espac
Integrac
a
os Euclidianos
Esta u
ltima integral segue-se de
Z 2
Z
Z
1 2
1 2
2
2
2
sen cos d =
sen 2 d =
(1 cos 4) d = ,
4 0
8 0
4
0
como fizemos no exemplo 7.3.8.
A tecnica para a determinacao de rz , usada
no exemplo anterior, sugere o seguinte resultado.
z
6
h1 (x, y) q
7.4.26
rio Seja R3xyz uma regiao simCorola
g1 (x, y) q
g1 : D R2 R e h1 : D R2 R,
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqq
qq
q
q
q
q
qq
q
qqqqqqqqqqqqqqqqq
qqqqq
qqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q S2
q
q
qq
q
qqqq
q
q
qq
q
qq
qqqqqqqqq
q qqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq
qqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqqqqqqqqqq S1
qqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqq
qqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqq
qq
q
q
q
q
q
qqq
q
q
q
q
q
q
q
q
q
q
q
q
q
qqqqqqqq
q
qqqq qqqqqqqq qqqqqq
qq q qqq qqqqqq qq qq q q qqq qqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
qqq
q
q
q
qqq
q
qqq
q
q
q
qq
q
q
q
q
q
q q qqqqqqqqqqq
q
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
y
r qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
q
q
qqq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqD
qqqqqqqqqqqqqqqqqq
qq
q
qq
q
q
q
q
q
q
q
qq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qqqqqqq q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq q q q qqqqq qqqqqqq qqB
qq qqqqxy
qqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqy)
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq(r
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq(x,
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq=
qqqqqqqqqqqqqqqqqqqqqqqcos , r sen )
Br
g1 (r cos ,r cos )
7.4.27
Exemplo Neste exemplo, calcularemos o momento de inercia (veja o exerccio 7-18) com
relacao ao eixo-z, Ieixo-z (), do solido situado dentro da esfera x2 +y 2 +z 2 = 4
e fora do cilindro x2 + y 2 = 1, o qual aparece na figura 124 do exemplo 7.3.4, e tambem estudado
no exemplo 7.3.9. Temos que a projecao de sobre o plano-xy e o anel
Bxy = {(x, y); 1 x2 + y 2 4},
o qual, em coordenadas polares, corresponde a
Br = {(r, ); 1 r 2, 0 2}.
Logo,
rz = {(r, , z) R3rz ; (r, ) Br ,
4 r2 z
4 r2 },
desde que
= {(x, y, z); 1 x2 + y 2 2,
p
p
4 x2 y 2 z 4 x2 y 2 }.
336
Integrais Triplas
dz
r3 dr d
4r2
r 4 r2 dr = 128
3
4r2
Br
2
=2
cos3 u cos5 u 2
44
= 128
+
=
3.
(cos u sen u cos u sen u) du = 128
3
5
5
6
6
No exemplo 7.3.9, calculamos o volume de , e obtivemos vol() = 4 3. Ainda naquele exemplo, observamos que este calculo poderia ser feito usando as secoes transversais de
relativamente ao eixo-z. Na verdade, esta tecnica pode ser estendida para calculo de integrais
de funcoes que dependem so de z. Vejamos como. Para calcular a integral de f (x, y, z) = z 2
sobre , poderamos usar coordenadas cilndricas e obter
!
ZZZ
ZZZ
Z Z Z 4r2
z 2 dxdydz =
z 2 r dr d dz =
z 2 dz r dr d
rz
2
=
3
Br
Z
d
4r2
12
r(4 + r2 ) 4 r2 dr = 3,
5
Alternativamente, usando o metodo das secoes transversais (veja o exerccio (f)), temos que
ZZZ
Z 3
12
2
z dxdydz = z 2 (3 z 2 ) dz = 3,
5
3
visto que, fixado z, a secao transversal Sz de tem area (3 z 2 ). Para outras aplicacoes desta
tecnica, veja a sugestao do item (c) do exerccio (d).
7.4.28
Exemplo Vamos usar o corolario 7.4.26 para calcular o volume do solido delimitado
pela esfera x2 + y 2 + z 2 = 4 e pelo cilindro circular
reto (x 1)2 + y 2 = 1. Das simetrias de , vem que
Z /2 Z 2 cos
vol() = 4
d
r 4 r2 dr
0 Z
0
Z
32 /2
32 /2
3
=
(1 + | sen | ) d =
(1 + sen3 ) d
3 0
3 0
Z
32 /2
=
(1 + sen (1 cos2 )) d
3 0
/2
32
cos3
16
cos +
= (4 + 3).
=
3
3
9
0
z
6
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq
qqq
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqq
qqqqqqqqqqq q
qqqqqqqqqqqqqqqq qqqqqqqqqqq
qqqq
qqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq
q
q
qqqqq
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqq
qqqqq
qqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqq
qqqqq
y
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq
qqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
x
Figura 135
337
o nos Espac
Integrac
a
os Euclidianos
ricas
Coordenadas Esfe
7.4.29
Lema Seja TE : R3 R3xyz definida por
TE (, , ) = ( cos sen , sen sen , cos ).
Temos que TE goza das seguintes propriedades:
(i) o retangulo simples = 0 , 0 fixo, [0, 2] e [0, ], e transformado por TE na esfera
de raio 0 e centro (0, 0, 0), isto e, a esfera S 2 (0 ) (veja a figura 136 a seguir);
(ii) a faixa = 0 , 0 fixo, 0 e [0, ] e transformada por TE no semi-plano que que
contem o eixo-z e faz um angulo 0 com o plano-xz;
(iii) a faixa = 0 , 0 fixo, 0 e [0, 2] e transformada
por TE no cone com eixo igual
p
2
ao eixo-z e de angulo 0 , isto e, o cone z = (cotg 0 ) x + y 2 ;
(iv) a restricao de TE a [0, +) [0, 2) [0, ) e sobrejetiva;
(v) a restricao de TE a (0, +) [0, 2) (0, ) e injetiva;
(vi) | det JTE (, , )| = |
(x, y, z)
| = 2 sen .
(, , )
e
constante.
De
p
z = cotg x2 + y 2 , o que prova (iii), se = 0 . Vejamos agora a sobrejetividade de TE . Dado
Y = (a, b, c) R3xyz , seja [0, 2) o angulo que a projecaode X no plano-xy faz
com eixo-x,
2
2
isto e, e o angulo que (a, b, 0) faz com o eixo-x. Logo, a = a + b cos e b = a2 + b2 sen .
Agora, sejam oangulo, medido a partir do eixo-z, que o segmento [O, X] faz com o eixo-z e
= kXk. Logo, a2 + b2 = sen e c = cos . Portanto, a = cos sen , b = sen sen e
c = cos . Os item (v) e (vi) vem dos exemplos 6.3.9 e 4.4.17, respectivamente. ppppppppppppppppppppp
z
6
0
q
q
0
0
U
q
qq
q
q
q
q
q
q
q
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq q q q qqq qqq qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqTqq E (0 , 0 , 0 )
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq0qqqqqqqq
qqqqqqqqqqqqqqqqqqq q
qq
1
0
0
2
TE -
x
Figura 136: Coordenadas Esf
ericas
338
Integrais Triplas
Temos o seguinte teorema, cuja prova, analoga a` prova do teorema 7.4.24, sera deixada
como exerccio.
7.4.30
Teorema Se e uma regiao simples contida em [0, +)[0, 2][0, ], xyz = TE ( )
e f : xyz R e integravel, entao
ZZZ
ZZZ
f ( cos sen , sen sen , cos )2 sen d d d .
f (x, y, z) dxdydz =
xyz
Em particular,
ZZZ
vol(xyz ) =
2 sen d d d .
7.4.31
Exemplo Neste exemplo, trabalharemos com o setor esferico Se (a, ) determinado
pela
p
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 2
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qq
q
a
TE -
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqq qqqqq
q
qq
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
qq
q
q
q
q
qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqq(a,
qS
qqqqqqqqq)
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqX
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqeqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqUqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq qqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq q qqqqq
x
Figura 137: Setor esf
erico
onde e o retangulo simples = [0, a] [0, 2] [0, ]. Portanto, dada f integravel sobre
Se (a, ), vale
ZZZ
Z
f (x, y, z) dxdydz =
Z
d
Z
d
Se (a,)
339
o nos Espac
Integrac
a
os Euclidianos
seu volume. Temos que
Z
d
d
2 sen d
0
0
Z 0
2a3
2a3
=
(1 cos ).
sen d =
3
3
0
vol(Se (a, )) =
(x + y + z ) dxdydz =
4 sen d
Se (a,)
2a5
=
5
sen d =
0
2a5
(1 cos ).
5
(x2 + z 2 ) dxdydz
Se (a,)
Segue-se da que o momento de inercia da esfera (solida) de raio a com relacao a um eixo que
passa por seu centro e 8a5 /15 (veja o exerccio 7-18-(b)).
7.4.32
Exemplo Uma cunha esferica de angulo e um solido delimitado por uma esfera e dois semiplanos, que partem de um mesmo diametro da esfera e fazem um angulo entre si,
como vemos na figura 138. Neste exemplo, trabalharemos com a cunha esferica determinada na
340
Integrais Triplas
esfera S 2 (a) pelos semiplanos y = 0 e y = (tg )x, x 0, a qual indicaremos por Ce (a, ). Neste
caso, o angulo mede 0 e o angulo esta sendo medido a partir do plano-xz. Note que se = 2,
obtemos a esfera solida (B[a]) de raio a. A desz
6
cricao da cunha Ce (a, ) e bastante simples: nela
qqq
qqqqqq
qqq
varia de 0 a a, varia de 0 a e de 0 a .
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Logo,
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqeqqqqq qq(a,
qqqqqqqqqqqqqqqqqq)
qqqqqqqqq
C
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqq
qqqqq qqqqqqqqqqqqqq
qqq
qqqqqq
y
qqqqqqqqqqqqqq
qq qqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqq
q
q
q :
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqq
qqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
y = (tg( + ))x
qqqqq
qqqqqqqq
1
y = (tg )x
2 sen d
d
d
0
0 Z 0
a3
2a3
=
sen d =
.
3 0
3
vol(Ce (a, )) =
7.4.33
Exemplo Seja o solido delimitado pela esfera x2 + y2 + (z a)2 = a2 , isto e, e a bola fechada de centro (0, 0, a) e raio a. Qual a descricao de em coordenadas esfericas?
A resposta e simples: primeiro observamos que o comportamento de , ao contrario dos exemplos
anteriores, depende do angulo , o que vemos claramente na figura. Para cada par (, ) fixado,
0 2 e 0 2 , comeca na origem, valendo zero a, e termina sobre a esfera, onde vale
2a cos .
z
6
= 2a cos
2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqq
qqq q q q q q q q q qqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqq
2a qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqq 2
TE -
Figura 139
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqq
qqqq
qqqq
qqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq
q
q
q
qq
qqqqqqqqqqqqqqqqqqqqq qqqqqqqqqq
qqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqq q qqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqR
q
q
q
q
q
q
q
q
q
qqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqa
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq2a
qqqqqqqqqq
qqqqqqqqqqqqq
qqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq=
qqqqqqqqqqqqqqqqqqqq cos
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqa
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q q q q q q q qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
1
y
341
o nos Espac
Integrac
a
os Euclidianos
dada por
= {(, , ); 0 2, 0
, 0 2a cos }.
2
Z
d
(x + z ) dxdydz =
0
Z
sen d
2a cos
Z
Z
32a5 2
=
d
sen cos5 cos2 cos7 cos2 + cos7 d
5
0
Z 2 0
28
4 5
4 5
2
a cos + a d = a5 ,
=
15
5
15
0
que e o momento de inercia de uma bola de raio a com relacao a uma reta tangente. Poderamos,
tambem, calcular a integral acima usando a tecnica das secoes transversais, como fizemos no
exemplo 7.4.27. De fato,
ZZZ
Z a
Z a
4
2
2
x dxdydz =
x area(Sx ) dx =
x2 (a2 x2 ) dy = a5 ,
15
a
a
ZZZ
(x + z ) dxdydz =
ZZZ
x dxdydz +
4 5 8 5 28 5
a + a = a .
15
5
15
z 2 dxdydz
p
a2 (z a)2 .
7
Exerccios
343
o Exerccios
Integrac
a
7-1 Esboce as regioes de integracao e inverta a ordem de integracao.
Z 3 Z 2x
f (x, y) dy;
dx
(a)
x/3
(b)
10y
Z
dy
f (x, y) dx;
(c)
9x2
dx
0
f (x, y) dy;
0
Z 3y2
dy
(d)
f (x, y) dx;
y 2 /2
|x|
Z
dx
(e)
f (x, y) dy;
(f)
log x
Z
dx
f (x, y) dy.
log 2
(b)
dx
0
x
1
(c)
sen y
dy;
y
1x2
dx
0
(d)
dy;
0
(e)
Z
dz
dy
0
2
(g)
|x 2| sen y dx;
dy
(h)
1
1
dx
0
ey dy;
dx;
0
Z
dx
(f)
dy;
1x2
dx
1
1 x2 y 2
x+y
dy
x
dz
xy
dw.
z
344
o Exerccios
Integrac
a
x2 y 2
B = {(x, y) R ; 2 + 2 1};
a
b
B = {(x, y) R2 ; x2 2x + y 2 0};
B e a regiao delimitada pelas curvas y 2 = 4ax, x + y = 3a e y = 0, situada acima do
eixo-x;
B e a regiao delimitada por y 2 = 10x + 25 e y 2 = 6x + 9;
B e regiao delimitada por x2 + y 2 = 2x, x2 + y 2 = 4x, y = x e y = 0.
2
onde z , a z b , e a secao de , transversal ao eixo-z. Use este fato, junto com o o item
(a) do exerccio (h), para calcular o volume do solido envolvido pelo elipsoide
E(a, b, c) = {(x, y, z);
x2 y 2 z 2
+ 2 + 2 = 1}.
a2
b
c
abaixo.
(a) f (x, y) = x3 + y 2 e B = [0, 1] [0, 1];
(b) f (x, y) = x3 y e B = [0, 1] [1, 3];
(c) f (x, y) = xy e B = [1, 1] [1, 3].
7-8 Calcule as integrais duplas do exerccio anterior com o auxlio de integrais iteradas.
7-9 Calcule o seguinte limite
n
n
1 X X i2 +jn
lim
ie n2
n n3
j=1
i=1
!
.
345
o Exerccios
Integrac
a
ZZ p
7-10 Calcule
x2 y 2 , onde B e a regiao limitada pelo triangulo de vertices (0, 0), (1, 1)
B
e (1, 1).
7-11 Seja R3 a regiao compreendida entre os planos z = 0, z = 1, y = x, y = 1 e x = 0.
(a) Esboce e suas projecoes nos planos coordenados;
3
ZZZ
f (x, y, z) dx dy dz,
ZZ
x dx dy,
ZBZ
y dx dy .
B
346
o Exerccios
Integrac
a
7-16 O centro de massa de uma regiao R3 e definido como sendo o ponto X = (x, y, z), onde
ZZZ
1
x=
x dx dy dz,
vol()
Z Z Z
1
y=
y dx dy dz,
vol()
Z Z Z
1
z dx dy dz .
z=
vol()
Z
dx
Z 4x2 y2
2xx2
dy
0
dz,
4x2 y 2
esboce .
7-19 O momento de inercia de um solido R3 com relacao a uma reta l e definido por
ZZZ
(d(x, y, z))2 dx dy dz,
Il () =
(x2 + y 2 ) dx dy dz;
(x2 + z 2 ) dx dy dz;
(y 2 + z 2 ) dx dy dz;
347
o Exerccios
Integrac
a
7-20 Seja T : R2 R2 , (u, v) 7 T (u, v), a aplicacao linear cuja matriz com relacao a` base
canonica e dada por
a 0
[T ] =
,
0 b
onde a e b sao n
umeros reais positivos.
(a) Calcule T (u, v);
(b) Mostre que T transforma o disco B[O, 1] no disco elptico
x2 y 2
+ 2 1;
a2
b
(2x)(1+x2 )
2u
du
f (x, y)dy =
dx
0
7-22 Seja T : R2 R2 , definida por T (u, v) = (u2 v 2 , 2uv). Defina os seguintes conjuntos:
H = {(u, v); u > 0} e Buv = [1, 2] [1, 1].
(a) Mostre que T e injetiva em H;
(b) Mostre que | det(JT (u, v))| = 4(u2 + v 2 ) 6= 0 em H;
(c) Esboce Bxy = T (Buv );
ZZ
Z
Z
(d) Escreva
f (x, y) dx dy como uma integral iterada dy f (x, y)dx;
|
{z
}
Bxy
Bxy
ZZ
(e) Calcule
Bxy
1
p
dxdy;
x2 + y 2
ZZ
(f) Calcule
xdxdy;
Bxy
348
o Exerccios
Integrac
a
7-23 Seja 4 o triangulo delimitado pelo eixo-x, eixo-y e pela reta x + y = 1. Seja uma funcao
contnua de uma variavel no intervalo [0, 1]. Dados m e n inteiros positivos, defina
ZZ
J(m, n) =
(x + y)xm y n dx dy .
4
m
J(m 1, n + 1);
n+1
Z 1
n!m!
(c) Conclua que J(m, n) =
(u)um+n+1 du;
(n + m + 1)! 0
ZZ
(d) Calcule
x5 y 4 x + y dx dy .
(b) Mostre que J(m, n) =
e(x
2 +y 2 )
dx dy;
B[O,a]
ZZ
(b) Conclua que
e(x
R2
2 +y 2 )
ZZ
dx dy = lim
a
B[0,a]
ex dx =
e(x
2 +y 2 )
dx dy = ;
349
o Exerccios
Integrac
a
7-27 Use coordenadas cilndricas para calcular vol().
2
2
(a) e regiao delimitada pelo cilindro
p x + y = 2x e pelos planos z = 0 e z = a > 0. A
funcao e dada por f (x, y, z) = z x2 + y 2 ;
calcule a, b e V .
7-30 Use coordenadas esfericas para calcular vol().
(a) e o solido delimitado pela esfera x2 + y 2 + z 2 = a2 e pelo cone x2 + y 2 = z 2 e contendo
os pontos (0, 0, a) e (0, 0, a);
a 2
2
2
2
2
(b) e a calota da esfera x + y + z = a , determinada pelo plano z =
;
2
(c) e o solido delimitado pela esfera x2 + y 2 + z 2 = a2 e pelo cone x2 + y 2 = z 2 e contendo
o ponto (a, 0, 0);
(d) e o solido situado dentro da esfera x2 + y 2 + z 2 = 2az, a > 0, e que esta fora do cone
z 2 = x2 + y 2 .
ZZZ
7-31 Use coordenadas esfericas para calcular
f (x, y, z)dV .
350
o Exerccios
Integrac
a
Z
d
2 cos
sen 2 d
0
4 2 d
representa, em coordenadas esfericas, a integral (tripla) de f (x, y, z) sobre uma certa regiao
xyz R3xyz .
(a)
(b)
(c)
(d)
Determine f .
Esboce xyz .
Calcule vol(xyz ).
Calcule a integral.
ZZZ
dV
p
7-33 Calcule a integral
, onde
x2 + y 2 + (z 2)2
S
es
Sugesto
e
Respostas
352
es e Respostas
Sugesto
7-1
Z
3y
1/3
Z 4
1
x
1
6
f (x, y) dy +
dx
4
Z 3 Z 9y2
dy
(c)
f (x, y) dx .
0
0
1/2
Z
dx
(d)
0
Z
(e)
1
4
Z
f (x, y) dx +
log(3)
(f)
f (x, y) dx.
dy
log(2)
ey
7-2
(a) 20/3.
(b) 24.
(c) 9/4.
3 2 1 + 9 arcsen(1/ 3)
(d)
.
6
(e) 1.
(f) 3(log(3) log(2)) 1.
7-3
2/9.
1 sen 1.
/2.
/2.
1/6.
e1
(f)
.
5
(g) 1 cos 2.
(h) 0.
7-4
(a) ab.
(b) .
10a2
(c)
.
3
16
(d)
15.
3
3 3
+ .
(e)
4
2
f (x, y) dx.
dx
f (x, y) dy.
f (x, y) dy +
f (x, y) dx.
y
y/2
Z 10x
2
10
dy
0
(a)
(b)
(c)
(d)
(e)
dx
1
1/2
f (x, y) dy +
0
y
dy
Z
2x
dy
f (x, y) dy +
Z
f (x, y) dx +
dx
(b)
dy
f (x, y) dx +
dy
(a)
Z
dx
3x2
f (x, y) dy.
0
353
es e Respostas
Sugesto
7-5
(a) 43 a3 .
(b) 10/3.
(c) 8.
(d) 5/12.
(e) 8 2.
(f) 16a3 /3.
4
7-6 vol() = abc. Para obter isto, escreva vol() =
3
ZZZ
dx dy dz =
c
7-7
3
n(1 + n)
2
2
.)
(b) 1.
(c) 0.
7-8
(a) 7/12.
(b) 1.
(c) 0.
2
7-9 Identifique o somatorio dado como uma soma de Riemann de f (x, y) = xex +y em [0, 1]
[0, 1], associada a` particao dada por xi = i/n, 0 i n e yj = j/n, 0 j n. O limite
procurado e (e 1)2 /2.
7-10 /6.
7-11
Z
(b)
Z
dx
(c) e-1.
(d) 1/2.
Z
dy
Z
f dz,
Z
dy
Z
dz
Z
f dx,
Z
dz
Z
dx
f dy.
x
354
es e Respostas
Sugesto
7-12
(a) 0.
59 5
(b)
a (use o exerccio (f)).
480
(c) Vamos usar a ideia do exerccio (f), aplicada a cada parcela da integral. Temos que
ZZZ
ZZZ
ZZZ
ZZZ
z dx dy dz
y dx dy dz +
x dx dy dz +
(x + y + z) dx dy dz =
Mas,
ZZZ
ZZZ
y dx dy dz =
ZZZ
Z
z dx dy dz =
Z
z area(Sz ) dz =
ZZZ
Logo,
x dx dy dz =
x area(Sx ) dx =
2
a
(x + y + z) dx dy dz =
x(a2 x2 ) dx = 0
z(a2 z 2 ) dz =
a4
.
4
a4
.
4
64a
26
( ).
15
15
(e) 4 (use as secoes transversais ao eixo-x. Neste caso, area(Rx ) = x. Agora integre em
[0, 2]).
(d)
7-13
(a) 16.
5a3
(b)
.
12
2
(c) a3 .
3
8a3
(d)
(3 4).
9
(e) 2.
7-14
4a 4a
, ).
3 3
12
(b) ( , 2).
5
(c) (0, 0).
(a) (
7-16
(a) (0, 0, 0).
(b) (0, 0, 3/8).
(c) (0, 0, 1).
355
es e Respostas
Sugesto
7-19
(b) 8r5 /15.
(c) ah4 /2.
a2 h (3a2 + h2 )
.
12
1
abc(a2 + b2 ).
(e)
12
(f) Use a proposicao 1.3.25.
(d)
7-21
(b) A(Bxy ) = 10/3.
7-22
(a) Vamos usar n
umeros complexos. Sejam (u1 , v1 ), (u2 , v2 ) H tais que T (u1 , v1 ) =
T (u2 , v2 ). Logo, u21 v12 =
u22 v22 e u1 v1 = u2 v2 . Somando a primeira equacao a` segunda multiplicada por i = 1, vem que u21 v12 + 2iu1 v1 = u22 v22 + 2iu2 v2 . Portanto,
(u1 + iv1 )2 = (u2 + iv2 )2 . Segue-se da que ou u1 + iv1 = u2 + iv2 ou u1 + iv1 = u2 iv2 .
O segundo caso nao pode ocorrer porque u1 e u2 sao positivos. Logo, devemos mesmo
ter u1 = u2 e v1 = v2 .
ZZ
Z 2 Z 4 y2
Z 2
Z 4 y2
16
16
(d)
f (x, y) dx dy =
dy 2
f (x, y) dx +
dy
f (x, y) dx
2
y
4
Bxy
Z
+
1 y4
Z
dy
4 y16
y2
1
4
f (x, y) dx .
(e) 8.
(f) 48.
(g) 64/3.
7-23
(b)
Z
J(m, n) =
m n
(u)(u v) u dv =
du
0
Z
(u) du
(u v)m un dv
u
Z u
Z u
(u v)n v n+1
m
m
m1 n+1
(u v)
v
dv =
(u v)m1 v n+1 dv,
=
+ n+1
n+1
n
+
1
0
0
0
onde, na terceira igualdade, usamos integracao por partes.
(c) Use a formula anterior, decrescendo m ate atingir zero.
(d) 1/14490.
356
es e Respostas
Sugesto
7-24
3 3
+ .
4
2
2
3a
(b)
.
2
( + 8)a2
.
(c)
4
+1
(d)
.
2
(a)
7-25
3
.
2
2a3 (3 4)
(b)
.
9
(c) a3 .
(a)
( + 8)a2 h
.
4
9
(e)
.
4
(d)
7-26
2
7-27
(a) a3 .
4a3 (8 3 3)
(b)
.
3
(c) /2.
a3 (8 2 7)
(d)
.
6
7-28
16a2
.
9
65
(b)
.
4
(a)
7-29 a = 2, b = 1 e V = 4 3.
y 2
dy .
es e Respostas
Sugesto
7-30
4a3
(a)
3
357
!
2
1
.
2
a3
(8 5 2).
12
2 2 3
(c)
a.
3
a3
.
(d)
3
(b)
7-31
4a5
.
15
4
(b)
.
15
(c)
(8 5 2).
30
(a)
7-32
p
(a) f (x, y, z) = z 4 (x2 + y 2 + z 2 ).
(b) xyz = B[(0, 0, 1), 1].
4
(c) vol(xyz ) =
.
Z3
3
3
128
1 2 2
2 2 2
3
2
2
2
2
(d)
. (Use u a u du = u
a u
a
a u .)
35
5
15
7-33
(a) Use coordenadas esfericas em R = [0, 1][0, 2][0, ] e integre primeiro com relacao
2
.
a . O valor da integral e
3
(b) Use coordenadas cilndricas
relacao a r,depoiscom relacao a z.
e integreprimeiro com
O valor da integral e 3 10 + log( 2 1) log( 10 3) 2 8 .
358
area
de uma regiao simples, 297
es e Respostas
Sugesto
do tipo 13, 318
do tipo 2, 276
do tipo 23, 316, 317
bloco, 324
cardioide, 308
centro de massa (exerccio (e)), 345
smbolos
ZZ
f (x, y) dx dy (integral dupla f sobre
R
R), 286
conte
udo nulo, 291, 327
ZZZ
R1
sobre R1 ), 276
ZZ
Z
dx dy f (x, y, z) dz (integral iterada
{z
}
|
12
de f sobre 12 ), 312
ZZ
Z
dy dz f (x, y, z) dx (integral iterada
{z
}
|
23
de f sobre 23 ), 317
ZZ
Z
dx dz f (x, y, z) dy (integral iterada
|
{z
}
13
de f sobre 13 ), 318
m(P) (malha da particao P), 283, 284
T0 (mudanca de coordenadas polares para
[0, 2]), 306
T (mudanca de coordenadas polares para
[, ]), 307
setor esferico, 320, 338
soma de Riemann, 283, 285, 325
superfcie parametrizada
de classe C 1 por partes, 329
teorema
da mudanca de variaveis em integrais duplas, 301
es e Respostas
Sugesto
da mudanca de variaveis em integrais triplas, 331
de Fubini, 294
fundamental do Calculo, 284
tetraedro, 311
359