Escolar Documentos
Profissional Documentos
Cultura Documentos
3 Funções Contı́nuas 91
3.1 Limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
3.1.15 Propriedades dos Limites . . . . . . . . . . . . . . . . . . . . . 97
3.2 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
3 Exercı́cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
Índice 287
por
J. Adonai & A. Carlos
7.1
Integral Iterada em R2
f : R2 −− −→
−− R
(x, y) −−−−−→ f (x, y) = x2 + y 2 ,
onde em g2 (y) estamos vendo x como constante, e em g1 (x), a variável fixada é y. Dados c e d,
com c < d, podemos considerar a integral de g2 em [c, d], o que produz
d d
d
y 3
Z Z
1 1
I1 (x) = g2 (y) dy = (x + y ) dy = x y + = x2 d + d3 − x2 c − c3 .
2 2 2
c c 3 c 3 3
274
Integração nos Espaços Euclidianos 275
Este número pode ser olhado como o volume do sólido Ω ⊂ R3 , como mostra a figura 93. O
sólido Ω é o subconjunto do R3 situado sob o parabolóide z = x2 + y 2 e que se projeta sobre o
quadrado R = [0, 1] × [0, 1]. Quando a integral
Z 1 Z 1
I1 (x) = g2 (y) dy = (x2 + y 2 ) dy
0 0
z z
6
qqqqqqqqq q qqqqqqq q q q qqq x2 + 1
qqqqq
6
q q qq
q qq
q q qq q
q qqq
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqq qqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq qqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqq qq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
qqq qqqqqqqqqqqqqqqqqqqq q q qq q q q
qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qq qq
q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq z = g2 (y) = x + y q
2 2
qqq q q q qqqqqqqqqqq q
qq q q q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqq
qqqqqqqqqqqqqqq q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqq q qq
q qq q q
x2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqS qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
qqqqqqqqqqqqqqqqqqqqqqqqq q q q q q q q q q q q q qqq
q q qqq q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqxqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 1 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q q q q
x qqqqqqqqqqqqqqqqqqqqqSqqqqqqqqxqqqqqqqqqqqqqqqq qqqqqqqq
- -
1 q q y y 1 y
x
Figura 93
Como Ω coincide com a união das seções Sx , 0 ≤ x ≤ 1, vem que seu volume é dado por
Z 1 Z 1
vol(Ω) = área(Sx ) dx = I1 (x) dx
0 0
Z 1 Z 1
2 2 2
= (x + y ) dy dx = .
0 0 3
Analogamente, podemos obter Ω unindo as seções transversais com y fixo, o que implica que
Z 1 Z 1
2 2 2
vol(Ω) = (x + y ) dx dy = .
0 0 3
Este argumento geométrico reforça a nossa expectativa de que, para uma função qualquer f ,
contı́nua no retângulo [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 c c a
q q q - q q -
a x b x x = u2 (y) x = v2 (y) x
7.1.1
Definição A integral iterada de f sobre R1 é definida por
!
Z Z Z b Z v1 (x) Z b Z v1 (x)
dx f (x, y) dy = dx f (x, y) dy = f (x, y) dy dx .
| {z } a u1 (x) a u1 (x)
R1
7.1.2
Definição A integral iterada de f sobre R2 é definida por
!
Z Z Z d Z v2 (y) Z d Z v2 (y)
dy f (x, y) dx = dy f (x, y) dx = f (x, y) dx dy .
| {z } c u2 (y) c u2 (y)
R2
sempre existem, pois g2 (y) e g1 (x) são também contı́nuas. O que não está bem claro, é se as
funções I1 (x) e I2 (y) podem ser integradas. Felizmente, estas funções também são contı́nuas
(proposição 7.1.9) e, portanto, são integráveis. Posto isto, segue-se que as definições dadas estão
bem postas.
Exatamente como fizemos para o parabolóide, podemos interpretar as integrais iteradas
de uma função não-negativa f , como o volume do sólido Ω situado sob a superfı́cie (gráfico de f )
Interpretação análoga pode ser dada para a outra integral iterada, agora considerando as seções
transversais Sy , obtidas para y constante.
7.1.3
Exemplo Se tomamos f (x, y) = c, c constante, na definição 7.1.1, obtemos
Z Z Z b Z v1 (x)
dx f (x, y) dy = dx c dy
| {z } a u1 (x)
R1
Z b Z v1 (x)
=c dx dy
a u1 (x)
Z b
=c (v1 (x) − u1 (x)) dx = c área(R1 ),
a
7.1.4
Exemplo Seja Ω o sólido situado abaixo do parabolóide
z
z = x2 + y 2 e acima do menor setor cir- qqqq
6
qq q q qq
qqqqqqq
q qqqqqqqqqq
cular formado pelas retas y = x, x = 0 e pelo cı́rculo qqqqqqqqqqq qqqqqqq
qqqqqqqqqqqqqqqq
qqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqq q qqqqqqq
qq
qqq
qqqqqqqq
qqqq
x2 + y 2 = 1, como mostra a figura 96. Se indicamos este qqqqqqq q q
qqqqqqqqqqqqqqqqqq
qqqqqq qqqqqqqqq
qqqqq qqqqqqqqq
qqqqqqqqqqqq
qqqqqqq
qqq qqqqqqqqqqqqqqqqqqq
qqqqqqqq qqqqq
q q q
qqqqqqqqq
qq q qqq
qq
q q
qqqqqqqqqqqq
setor por B, vemos que qqqqqqq
qqqqqq
qqqqqqqq
qqqqqqqq
qqqqqqqqqqqqqqqqqqq
qqqqqq qqqqqq q
√
√ qqqqqqq
qqq
qqqqq qqqqqqqqqqqqq
q √
B = {(x, y); 0 ≤ x ≤
2
, x ≤ y ≤ 1 − x2 }, qq qqq x
qq 1 − x2
2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqq q q qqqq
-
qqqqqB
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 1 y
xq qqqqqq
o que descreve B como uma região simples do tipo 1. O
volume de Ω vale:
x
√ √
Figura 96
Z 2/2 Z 1−x2
vol(Ω) = (x2 + y 2 ) dy
dx
0 x
Z √2/2 √1−x2 ! Z √2/2
2 2√ 1√
2 1 3 2 2
4 3
= x y+ y dx = x 1−x + 1 − x − x dx
0 3 x 0 3 3 3
√
√ √ 2/2
x 1 − x2 x3 1 − x2 arcsen x x4
π
= + + − =
12 6 4 3 0 16
Observe, agora, que podemos escrever y
q6qqqq
qqqqqqqqqqqqqq
B = B1 ∪ B2 , y qqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqq
q q q qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
B2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
√ qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
onde B1 e B2 são as regiões simples do tipo 2 dadas por 2/2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
√ qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
B1 q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
(
B1 = {(x, y); 0 ≤ y ≤ 2/2, 0 ≤ x ≤ y} qqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqq
√ qqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqq
y qqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqq
qqqqqqqqqqqqqq
q qq q q
qqqqqqqqqqq
p
B2 = {(x, y); 2/2 ≤ y ≤ 1, 0 ≤ x ≤ 1 − y 2 }, qqqqqqqqqq
qqqqqqqqq
qqqqqqq
qqqqqq
qqqqq
qqqqqq q q q -
yp √
x
como vemos ao lado. Portanto, podemos escrever as in- 1 − y 2 22
tegrais iteradas de f sobre B1 e B2 :
Z Z Z √2/2 Z y
Figura 97
dy (x2 + y 2 ) dx = dy (x2 + y 2 ) dx
0 0
| {z } √ y Z √2/2
B1 Z 2/2
1 3 4 1
= ( x + y 2 x) dy = y 3 dx = ,
0 3 0 3 0 12
√ √1−y2
Z Z Z 1 Z 1−y2 Z 1
1
dy (x2 + y 2 ) dx = √ dy (x2 + y 2 ) dx = √ x3 + y 2 x dy
2/2 0 2/2 3 0
| {z } !1
B2 p p
1 y 1 − y2 y3 1 − y2 π 1
= arcsen y + + = − .
4 12 6 16 12
√
2/2
Integração nos Espaços Euclidianos 279
| {z } | {z } | {z }
B B1 B2
o que é razoável de se esperar, diante da noção intuitiva de volume que estamos usando. Este
exemplo sugere como definir integrais iteradas sobre regiões que podem ser decomposta em um
número finito de regiões simples do tipo 1 ou do tipo 2.
7.1.6
Definição Sejam f : D ⊂ R2 −→ R contı́nua em D, e B = B1 ∪ B2 ∪ · · · ∪ Bn ⊂ D uma
região simples, onde cada Bi , 1 ≤ i ≤ n, é do tipo 1. A integral iterada de f
sobre B é definida por
Z Z Z Z Z Z Z Z
dx f (x, y) dy = dx f (x, y) dy + dx f (x, y) dy + · · · + dx f (x, y) dy .
| {z } | {z } | {z } | {z }
B B1 B2 Bn
7.1.7
Definição Sejam f : D ⊂ R2 −→ R contı́nua em D, e B = B1 ∪ B2 ∪ · · · ∪ Bn ⊂ D uma
região simples, onde cada Bi , 1 ≤ i ≤ n, é do tipo 2. A integral iterada de f
sobre B é definida por
Z Z Z Z Z Z Z Z
dy f (x, y) dx = dy f (x, y) dx + dy f (x, y) dx + · · · + dy f (x, y) dx.
| {z } | {z } | {z } | {z }
B B1 B2 Bn
y
7.1.8 6 √
Exemplo Consideremos o anel qq q q q qq
q qq q
q q
q qq q
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 4 − x2
√ q q qqq q q q qq q qq q qq q qq q qq q
q qq q
q qq qqq
q q q q q q
q q qq
qqq q
q q q q q q
q q q q q q
q q q √
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqB qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq3qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
4 − x2 4 − x2
2 2
B = {(x, y) ∈ R ; 1 ≤ x + y ≤ 4} 2
q qqqq q q q qq qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q q √
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqq
qqqqqqqqqqqqqqqqqqqqB
qqqqqqqqqqqqqqq4qqqqqqqqqqqqqq 1 − x2
qqqqqqqqqqqqqB qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qq
q q qq q
qqqq q
q
q qqq qq
q
qq
qqq qq
q qq
q
qq
q qq
q
qq
q qq
q
q
q
que é a região situada fora do cı́rculo x2 + y 2 = 1, qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q qqqqqqqqqqqqqqqqqq -
qqqqqqqqqqqqx qqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqxqqqqqqqqqqqqqqqqqqqqqqqq2qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq x qqq1qqqqqq
q q qqqqqqqqqqqqqqqqqqqqqqqqqqqq x √
de raio 1, e dentro do cı́rculo x2 + y 2 = 4, que √ qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqq q qq qqqqqqqqqqqq q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q q q q q q qqqqqqqqqqqqqqqqqqqqqqqq
q − 1 − x2
qqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqq
tem raio 2. Dada uma aplicação f , definida em − 4 − x2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq √
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqB q q qq q qqqqq q q q qqq
algum aberto contendo B, escreveremos a integral q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq2qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q √
− 4 − x2
− 4 − x2
iterada de f sobre B, decompondo-a em quatro
regiões simples do tipo 1, B1 , B2 , B3 e B4 , como Figura 98
mostra a figura 98. Explicitamente,
280 Integral Iterada em R2
√ √
B = {(x, y); − 2 ≤ x ≤ −1, − 4 − x 2 ≤ y ≤ 4 − x2 },
1
√ √
B2 = {(x, y); − 1 ≤ x ≤ 1, − 4 − x2 ≤ y ≤ − 1 − x2 },
√ √
B = {(x, y); − 1 ≤ x ≤ 1, 1 − x 2 ≤ y ≤ 4 − x2 },
3
√ √
B4 = {(x, y); 1 ≤ x ≤ 2, − 4 − x2 ≤ y ≤ 4 − x2 }.
4 2√
−1 √
Z
8
= x 4 − x2 + 4 − x2 dx
−2 3 3
√ √ −1
2x 4 − x2 x3 4 − x2 x 8π √
= + + 8 arcsen( ) = − 3.
3 3 2 −2 3
Também temos
√
Z Z Z 1 Z − 1−x2
dx (x2 + y 2 ) dy = dx √
(x2 + y 2 ) dy
| {z } −1 − 4−x2
B2
1
2 2√ 1√ 2 2√ 4√
Z
= − x 1−x − 2 2
1−x + x 4−x + 2 2
4 − x dx
−1 3 3 3 3
√ √ √ √
x 1 − x2 x3 1 − x2 x 4 − x2 x3 4 − x2
= − − + + +
12 6 3 6
x arcsen x 1
+ 4 arcsen( ) −
2 4
−1
13π √
= + 3.
12
Integração nos Espaços Euclidianos 281
√ √ √ √
8 13 13 8
= π− 3 + π+ 3 + π+ 3 + π− 3
3 12 12 3
15
= π,
2
que é o volume do sólido Ω que vemos na figura 99, acima. O valor desta integral pode ser
calculado mais facilmente se olhamos as seções transversais de Ω, obtidas por planos paralelos
ao plano-xy, as quais indicaremos por Sz . Para z entre 0 e 1, Sz é uma cópia do anel B.
Portanto, o volume da porção de Ω compreendida entre os planos z = 0 e z = 1 vale 3π. Já
para z variando entre 1√e 4, cada seção Sz é um anel de raio maior 2 e raio menor, que depende
de z, dado por r(z) = R z. Logo, área(Sz ) = π(4 − z) e, portanto, o volume da porção de Ω que
4
fica acima de z = 1 é 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
Proposição Sejam f : D ⊂ R2 −→ R e u, v : [a, b] −→ R contı́nuas. Se
R1 = {(x, y); a ≤ x ≤ b, u(x) ≤ y ≤ v(x)} ⊂ D,
é contı́nua.
282 Integral Iterada em R2
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 é uma constante positiva maior do que o máximo de |f | restrita a R1 , o qual existe
porque f é contı́nua. Seja N > 0 tal que N ≥ v(x0 ) − u(x0 ) ≥ 0. Como f é contı́nua e R1 é
compacto, vem que f é uniformemente contı́nua aı́ (veja o exercı́cio 6-1, página 257). 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
|u(x) − u(x0 )| <
x ∈ [a, b], |x − x0 | < δ =⇒ 3M
|v(x) − v(x0 )| <
3M
Isto levado até a desigualdade (¶2 ), onde estimamos |I1 (x) − I1 (x0 )|, produz
Z v(x0 )
|I1 (x) − I1 (x0 ) ≤ M +M + dy = 2 + (v(x0 ) − u(x0 )) < ,
3M 3M u(x0 ) 3N 3 3N
se |x − x0 | < δ. Portanto, I1 é contı́nua em x0 . pppppppppppppppppppppp
7.1.10
Proposição Sejam f : D ⊂ R2 −→ R e u, v : [c, d] −→ R contı́nuas. Se
R2 = {(x, y); c ≤ y ≤ d, u(y) ≤ x ≤ v(y)} ⊂ D,
é contı́nua.
7.2
Integrais Duplas
Nosso objetivo agora é estender a noção de integral de Riemann de funções de uma variável
para funções de duas variáveis. Por esta razão, lembraremos rapidamente como funciona esta
integral, quando temos uma variável.
Dado um intervalo fechado [a, b], uma partição de [a, b] é um subconjunto da forma
que, claro, depende de f , P e das escolhas que fizemos. A figura 100 dá uma boa interpretação
geométrica para as somas de Riemann, pelo menos no caso que f é não-negativa: S(f, P, {ci })
é a soma das áreas dos retângulos de base ∆xi e altura f (ci ), 1 ≤ i ≤ n. Note que quando a
partição P tem malha bastante pequena, S(f, P, {ci }) dá uma boa aproximação para a área da
284 Integrais Duplas
região 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 é,
Z b Xn
f (x) dx = lim S(f, P, {ci }) = lim f (ci )∆xi . (¶3 )
a m(P)→0 m(P)→0 i=1
A princı́pio este limite (quando existe) deve depender da particular famı́lia de partições com
malha tendendo a zero, e das escolhas feitas em cada uma de suas partições. Entretanto, para
algumas funções, as integráveis, isto não ocorre: o limite existe e independe de como as partições,
com malha tendendo a zero, são escolhidas, isto é: 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 funções contı́nuas fazem
parte deste elenco de funções. Mais geralmente, mesmo as descontı́nuas em um número finito
de pontos são integráveis neste sentido. O teorema fundamental do Cálculo é a ferramenta que
usamos para calcular a integral de muitas funções, a saber, funções integráveis da forma f = F 0 :
Z b Z b
f (x) dx = F 0 (x) dx = F (x)|ba = F (b) − F (a).
a a
Para finalizar, observamos que quando f ≥ 0, sua integral em [a, b] é a área da região delimitada
por seu gráfico, as retas x = a, x = b e o intervalo [a, b].
Agora iniciaremos nosso trabalho com duas variáveis. Seja R ⊂ R2 um retângulo 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
partições dos intervalos [a, b] e [c, d] dadas por 6
d q qqqqqqqqqq qqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqq
Px = {x0 = a < x1 < x2 < . . . < xm−1 < xm = b} yn−1 q qqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqq
yj q qqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqq
e q qqqqqqqqqq qqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqR qqqqqqqqij qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqq
yj−1
y2 q qqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqq
y1 q qqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqq
q qqqqqqqqqq qqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqq
Py = {y0 = c < y1 < y2 < . . . < yn−1 < yn = d}. c
a
q q q q q q q b-
2 x
O subconjunto de R x1 x2 xi−1 xi xm−1
é chamado partição do retângulo R. Note que os elementos de P são exatamente os vértices dos
mn retângulos menores
Rij = [xi−1 , xi ] × [yj−1 , yj ], 1 ≤ i ≤ m, 1 ≤ j ≤ n,
n
m
cuja união coincide com R: R = ∪ ∪ Rij . A malha de P é definida por
j=1 i=1
7.2.1
Exemplo Um bom modo de construir partições de R = [a, b] × [c, d] é tomar partições
homogêneas de [a, b] e [c, d], isto é, ∆xi constante, e ∆yj também constante.
Dados m, n ∈ N, colocamos
b−a d−c
∆xi = ∆x = e ∆yj = ∆y = , 1 ≤ i ≤ m, 1 ≤ j ≤ n.
m n
Logo, se definimos xi = a + i∆x, i = 0, 1, 2, . . . , m, e yj = c + j∆y, para j = 0, 1, 2, . . . , n, as
partições
Px = {x0 = a < x1 < x2 < . . . < xm−1 < xm = b}
e
Py = {y0 = c < y1 < y2 < . . . < yn−1 < yn = d}
são homogêneas. A partição de R associada a estas partições será indicada por Pmn . Explicita-
mente,
b−a d−c
Pmn = {Xij = (a + i ,c + j ); 0 ≤ i ≤ m, 0 ≤ j ≤ n}.
m n
É claro que m(Pmn ) = max{∆x, ∆y}. Em particular, temos a partição Pnn , que decompõe R
em n2 retângulos:
b−a d−c
Pnn = {Xij = (a + i ,c + j ); 0 ≤ i, j ≤ n}. (¶4 )
n n
i j
No caso em que R = [0, 1] × [0, 1], Pnn = {Xij = ( , ); 0 ≤ i, j ≤ n} é uma partição de R
n n
que tem malha 1/n.
Retomemos o retângulo R = [a, b] × [c, d] e uma partição P dada por
7.2.2
Definição Dada f : R ⊂ R2 −→ R, a soma de Riemann de f associada a P e à escolha
{Cij } é definida por
n m
! m n
!
X X X X
S(f, P, {Cij }) = f (Cij )∆xi ∆yj = f (Cij )∆xi ∆yj ,
j=1 i=1 i=1 j=1
Assim como para funções de uma variável, dispomos de uma boa interpretação geométrica
para as somas de Riemann, quando f é não-negativa. De fato, fixados i e j, a parcela de
S(f, P, {Cij }) dada por
z
representa o volume do paralelepı́pedo retangular 6
de base Rij e altura f (Cij ). A soma de Riemann, qqqqqqqqq
portanto, é a soma de todos estes volumes. A
f (Cmn ) q
qqqq q qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq qqqqqqqqqqq
figura 102 ao lado exibe alguns destes paralelepı́pedos, qqqqq qq
q q q q qqqqqqqqqqqqqqqqqqq
qq qq q qqqq
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqq
q qqqqqqqqqqqqqqq
qq q q q
q q q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqq qqqqqqqqq
q qqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq q q q q q q q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q qqqqqq q qqqqqqqqqqqqqqqqqqqqqqqqqqqq q q q qq q qq q
destacando o mn-ésimo deles. A escolha feita é tal qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqq qqqqqqqqqq
qqqqq
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqq qqqqqqqq q q qqqqq
qq q q qqqqqqqq
que ponto Cij ∈ Rij é o vértice inferior esquerdo qqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqq qqq qqqqqqqqqqqqqqqqqqqqqq
do retângulo Rij . Agora observamos que à medida c
q
d
q -
que a malha de P vai tendendo a zero, a soma y
dos volumes Vij , que é S(f, P, {Cij }), se aprox- a q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqq
qq qq
qqqq
q qq qqqqqqqqqqqqqqqq
qqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq
q qqq
q q
q qqqqqqqqqqqqqqqqqqqqqqqqqqC
q q
q qq q
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqq q qq qqq q q q q q qqq qmn qqqqqqqqqqqqqqqqqqqqqqqqqq
ima cada vez mais do volume do sólido Ω situado b q qqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q q qq
sob o gráfico de f e acima de R. A idéia agora é
exigir que as somas de Riemann tenham um bom x
Figura 102
comportamento, quando variamos P, fazendo sua
malha tender a zero. Isto motiva a seguinte definição.
existe, e independe da famı́lia de partições P, com malha tendendo a zero, e das escolhas {Cij },
dizemos que f é integrável sobre R. O valor do limite, indicado por
ZZ ZZ Z
f (x, y) dx dy, f (x, y) dA ou f dA,
R
R R
Observação Note que a definição acima significa que dado > 0, existe δ > 0 tal que
ZZ
|S(f, P, {Cij }) − f (x, y) dx dy| < ,
R
sempre que m(P) < δ, para toda escolha {Cij } em P.
7.2.4
Exemplo Se f é constante, digamos f (x, y) = k, (x, y) ∈ R = [a, b] × [c, d], então 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 = k∆xi ∆yj
j=1 i=1 ! j=1 i=1 !
Xn Xm n
X Xm
=k ∆xi ∆yj = k área(Rij ) = k área(R),
j=1 i=1 j=1 i=1
Integração nos Espaços Euclidianos 287
que independe de P e de {Cij }. Logo, limm(P)→0 S(f, P, {Cij }) = k área(R), para qualquer
famı́lia de partições com malha tendendo a zero, e para toda escolha {Cij }. Isto mostra que as
funções constantes são integráveis e que
ZZ
k dx dy = k área(R).
R
7.2.5
Exemplo Vejamos um exemplo que não admite integral. A função que usaremos é um
pouco diferente daquelas que estamos acostumados, mas serve. Ela é similar à
função de Dirichlet, conhecida do Cálculo de uma variável.
f : [a, b] × [c, d] −−
−→
−− R (
1, se x ou y não é racional
(x, y) −−−−−→ f (x, y) =
0, se x e y são racionais.
√
Por exemplo, f ( 2, 1) = 1 e f (1, −1/2) = 0. Agora, fixaremos uma famı́lia de partições com
malha tendendo a zero, e estudaremos o comportamento das somas de Riemann, considerando
dois tipos de escolhas: (i) Cij = (si , tj ), onde si ou tj é irracional; (ii) C
eij = (e
si , e
tj ), onde
tj ∈ Q. Para o primeiro tipo de escolha, temos que
sei , e
n m
! n m
!
X X X X
S(f, P, {Cij }) = f (Cij )∆xi ∆yj = ∆xi ∆yj = área(R).
j=1 i=1 j=1 i=1
7.2.6
Teorema Se f : [a, b] × [c, d] −→ R é contı́nua, então f é integrável.
7.2.7
Corolário Se f é contı́nua no retângulo R = [a, b] × [c, d], então
n n
!
(b − a)(d − c) X X b−a d−c
ZZ
f (x, y) dx dy = lim f (a + i ,c + j ) .
n→∞ n2 j=1 i=1
n n
R
288 Integrais Duplas
limite que existe e independe da famı́lia de partições P e da escolha {Cij }. Portanto, para obter
esta integral, podemos considerar uma particular famı́lia associada a uma particular escolha.
Neste momento, recorremos a (¶4 ), onde colhemos a famı́lia de partições 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 retângulo
2
= (1 + 22 + 32 + · · · + n2 ).
n3
Agora usando o item (ii) do lema 7.2.9 que faremos a seguir, obtemos
2 2 2 2 2 n (n + 1) (2n + 1)
S(f, Pnn , {Cij }) = 3 (1 + 2 + 3 + · · · + n ) = 3 .
n n 6
Integração nos Espaços Euclidianos 289
Portanto,
ZZ
1 n (n + 1) (2n + 1) 2
(x2 + y 2 ) dx dy = lim S(f, Pnn , {Cij }) = lim 3 = .
m(P)→0 n→+∞ n 3 3
R
Convém observar que este resultado coincide com aquele que obtivemos em (¶1 ), página 274.
7.2.9
Lema Dado n ∈ N, valem as seguintes identidades:
n
X n(n + 1)
(i) i = 1 + 2 + 3 + ··· + n = ;
i=1
2
n
X n (n + 1) (2n + 1)
(ii) i2 = 1 + 22 + 32 + · · · + n2 = ;
i=1
6
n 2
X
3 3 3 3 n(n + 1)
(iii) i = 1 + 2 + 3 + ··· + n = .
i=1
2
Demonstração: As provas destas identidades podem ser feitas por indução sobre n,
e podem ser encontradas nos textos elementares de Álgebra. Daremos aqui uma prova direta
para (ii). O leitor pode seguir a mesma linha de idéias e elaborar uma prova análoga para (iii).
Note que (i) é a soma de uma progressão aritmética, sendo, portanto, de dedução simples.
Vejamos (ii). Temos que
13 = 1
23 = (1 + 1)3 = 13 + 3 · 12 · 1 + 3 · 1 · 12 + 13
.. .. ..
. . .
n3 = ((n − 1) + 1)3 = (n − 1)3 + 3 · (n − 1)2 · 1 + 3 · (n − 1) · 12 + 13
(n + 1)3 = n3 + 3 · n2 · 1 + 3 · n · 12 + 13 .
Somando a coluna da esquerda e a da direita, obtemos
n+1
X n
X n
X n
X
3 3 2
i = i +3 i +3 i + (n + 1).
i=1 i=1 i=1 i=1
Logo,
n
X n(n + 1)
(n + 1)3 = 3 n2 + 3 + (n + 1).
i=1
2
Donde,
n
X
21 3 n(n + 1) n (n + 1) (2n + 1)
n = (n + 1) − 3 − (n + 1) = ,
i=1
3 2 6
como querı́amos. pppppppppppppppppp
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 corolário 7.2.7. A partição Pnn é
O resultado contido no teorema 7.2.6 ainda é verdadeiro, mesmo que f deixe de ser
contı́nua. O que é preciso é 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 área nula: um segmento (limitado) de reta, um arco de cı́rculo, ou, mais
geralmente, o traço de uma curva parametrizada de classe C 1 , α : [a, b] −→ R2 .
Para tornar as idéias mais claras, modificaremos a função g(x, y) = 1, (x, y) ∈ [0, 2]×[0, 2],
ao longo do segmento de reta y = 1, de modo a
obter uma nova função f , descontı́nua neste seg- z
mento. Um modo bem simples de fazer isto é 2 q
6
definir f : [0, 2] × [0, 2] −→ R por
z = 1 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
1, se y 6= 1
f (x, y) = q q
qq
qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
2, se y = 1, q q q q q q qq q
q1 q
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
-
qq
qq qq
q q
qq
q q
q q
q q
q q q q q q q q q qq qqqq
q q q q
q q q
qqq qqq
qqq q q qqqq q
q q q q q q q q q q q qq q q
q q q
q q q 2 y
q q q q q q q q q q q q q q q q
qqq q q qqqq q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q q q q q q q q q q
cujo gráfico mostramos ao lado. É claro que f é 2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
descontı́nua ao longo segmento y = 1. Tendo em
mente que a integral coincide com volume, vemos x Figura 104
que o valor 2, atingido por f nos seus pontos de
Integração nos Espaços Euclidianos 291
descontinuidade, não contribui com volume para o sólido situado sob seu gráfico e acima de
[0, 2] × [0, 2]. Portanto, mesmo sendo descontı́nua, a integral dupla de f em [0, 2] × [0, 2] deve
valer 4. Para verificar esta afirmação, sejam P = {Xij = (xi , yj ); 0 ≤ i ≤ m, 0 ≤ j ≤ n} uma
partição do retângulo [0, 2] × [0, 2] e {Cij } uma escolha arbitrária de P. Seja k, 1 ≤ k ≤ n,
tal que a faixa [0, 2] × [yk−1 , yk ) contenha o segmento y = 1. Logo, f (Cij ) = 1, sempre que
j ∈ {1, 2, . . . , k − 2, k + 1, . . . , n}. Assim
k−2 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 i=1 j=k−1 i=1 j=k+1 i=1
k m
! k m
!
X X X X
=4− ∆xi ∆yj + f (Cij )∆xi ∆yj
j=k−1 i=1 j=k−1 i=1
k m
!
X X
=4+ (f (Cij ) − 1)∆xi ∆yj ≤ 4 + 2(∆yk−1 + ∆yk ),
j=k−1 i=1
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]
7.2.12 y
Lema Se α(t) = (x(t), y(t)), t ∈ [a, b], é uma y(a) + r q
6
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
curva parametrizada lipschitziana (defi- qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
α(b)
nição 3.2.7), com constante de Lipschitz M , então qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqα(a)
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
o traço de α está contido no retângulo simples y(a) q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
R = [x(a) − r, x(a) + r] × [y(a) − r, y(a) + r], qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
y(a) − r q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
onde r = M (b − a). q q q -
x(a) − r x(a) x(a) + r x
Figura 106
292 Integrais Duplas
7.2.13
Proposição Se α(t) = (x(t), y(t)), t ∈ [a, b], é uma curva parametrizada lipschitziana,
então tr α tem conteúdo nulo.
Demonstração: Dado n ∈ N, dividamos o intervalo [a, b] em n intervalos justaposto de
largura ∆ = (b − a)/n. Do lema anterior, vem que o traço da restrição de α a cada um destes
intervalos está contido num retângulo de área 4M 2 ∆2 , onde M é a constante de Lipschitz de α.
Desta forma, obtemos n retângulos que cobrem o tr α, e cuja soma de suas áreas vale
2
4M 2 (b − a)2
2 2 2 b−a
n(4M ∆ ) = n4M = .
n n
É este número que queremos fazer menor do que , para > 0 dado. Isto é fácil de fazer. Basta
escolher n com a propriedade:
1
< .
n 4M 2 (b − a)2
Logo, tr α tem conteúdo nulo. ppppppppppppppppppppp
7.2.14
Definição Uma curva parametrizada contı́nua α : I −→ Rn , I = [a, b], é dita de classe C 1
por partes se existe uma decomposição de I em intervalos fechados (possivel-
mente menores), no interior dos quais, α0 é contı́nua e, além disto, existem os limites laterais de
α0 nas extremidades de cada um dos subintervalos da decomposição.
7.2.15
Corolário Se α(t) = (x(t), y(t)), t ∈ [a, b], é uma curva parametrizada de classe C 1 por
partes, então tr α tem conteúdo nulo.
Demonstração: Por hipótese, [a, b] = [a1 , b1 ] ∪ [a2 , b2 ] ∪ . . . ∪ [am , bm ], e a restrição de
α0 em cada intervalo aberto (ak , bk ) se estende continuamente a [ak , bk ], para 1 ≤ k ≤ m. Logo,
α é lipschitziana, quando restrita a cada um dos intervalos [ak , bk ], para 1 ≤ k ≤ m, 1 ≤ k ≤ m,
de acordo com o exercı́cio 3-12. Da proposição 7.2.13, vem que o traço de cada uma destas
restrições tem conteúdo nulo. Como tr α é a união (finita) deles, segue-se que tr α tem conteúdo
nulo. ppppppppppppppppppppp
Agora podemos enunciar uma forma mais forte para teorema 7.2.6.
Integração nos Espaços Euclidianos 293
7.2.16
Teorema Se o conjunto dos pontos de descontinuidade de f : [a, b] × [c, d] −→ R tem conteúdo
nulo e f é limitada, então f é integrável sobre [a, b] × [c, d], e a integral não de-
pende dos valores de f em seus pontos de descontinuidade.
Com este teorema nas mãos, podemos facilmente introduzir a noção de integral dupla
sobre uma região simples (veja definição 7.1.5).
z
7.2.17 6
Definição Sejam f : D ⊂ R2 −→ R, B ⊂ D
uma região simples e R é um re-
tângulo simples contendo B. Indicaremos por fB fB (X) q qqqqqq qqqqq
q qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqq
q
a função fB : R −→ R dada por q q
qqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q q q q qq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqq qqqq q q q q q q qq qqqq q
f (x, y), se (x, y) ∈ B qq qqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
fB (x, y) =
se (x, y) ∈
0, -
/ B. y
qqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqR
qqqqqqqqqqq
q qqqqq
q
qqqqqqqqqqqqqqqqqqqqqq q B qqq qqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
qqqqqqqqqqq qqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
X
Observação Na figura 107, vemos a relação en-
tre os gráficos da função original x
f e o da função fB : o gráfico desta última é for- Figura 107
mado pela porção do gráfico de f que se projeta
sobre B e pelo complemento de B no retângulo R. Portanto, o conjunto dos pontos de descon-
tinuidade de fB é a união daqueles de f restrita a B com, no máximo, a fronteira de B, isto é,
os arcos de curvas de classe C 1 que o delimitam.
7.2.18
Definição Sejam f : D ⊂ R2 −→ R, e B ⊂ D uma região simples contida no retângulo
simples R. Se a função fB é integrável sobre R, diremos que f é integrável
sobre B. A integral dupla de f sobre B é
ZZ ZZ
f (x, y) dx dy = fB (x, y) dx dy .
B R ZZ
A integral dupla de f sobre B também é indicada por f (x, y) dA.
B
Observação É claro que o valor da integral de fB sobre o retângulo R é o mesmo para todo
retângulo R que contenha B. De fato, nas somas de Riemann
n m
!
X X
S(fB , P, {Cij }) = fB (Cij )∆xi ∆yj ,
j=1 i=1
7.2.19
Teorema Sejam f : D ⊂ R2 −→ R e B ⊂ D uma região simples. Se f é limitada e o con-
junto dos seus pontos de descontinuidade tem conteúdo nulo, então f é integrável
sobre B, e a integral não depende dos valores de f nos seus pontos de descontinuidade.
Demonstração: Como já observamos, o conjunto dos pontos de descontinuidade de fB
é a união daqueles de f restrita a B com, no máximo, a fronteira de B. Logo, o conjunto dos
pontos de descontinuidade de fB também tem conteúdo nulo. Portanto, fB deve ser integrável
sobre R, de acordo com o teorema 7.2.16. ppppppppppppppppppppp
No que tange ao cálculo das integrais duplas, temos o seguinte teorema fundamental, o
qual é um caso particular de um teorema mais geral devido a Fubini, cuja prova, será abordada
apenas para o caso em que B é um retângulo simples. Observe que o item (ii) decorre facilmente
da proposição 7.1.9, usada em cada região simples do tipo 1 (ou 2) que compõe a região B.
7.2.20 [Fubini]
Teorema Sejam f : D ⊂ R2 −→ R contı́nua sobre a região simples B ⊂ D. Então,
ZZ
(i) f é integrável sobre B, isto é, existe f (x, y) dx dy;
B
Z Z Z Z
(ii) existem as integrais iteradas dx f (x, y) dy e dy f (x, y) dx;
| {z } | {z }
B B
Seja Pnn a partição homogênea construı́da em (¶4 ). Em cada retângulo Rij determinado
por Pnn escolheremos Cij como sendo um ponto de mı́nimo de f restrita a Rij . É claro que
ZZ
f (x, y) dx dy = lim S(f, Pnn , Cij ).
n→∞
R
Para cada j, 1 ≤ j ≤ n, seja cij ∈ [xi−1 , xi ] tal que f (cij , yj ) ≤ f (x, yj ), para todo x ∈ [xi−1 , xi ].
Integração nos Espaços Euclidianos 295
onde Pxnn é a projeção de Pnn sobre [a, b], e na última desigualdade usamos o fato enunciado
Rb
acima. Logo, se escrevemos g2 (y) = a f (x, y) dx, vem que
n
X
S(f, Pnn , Cij ) ≤ g2 (yj )∆yj = S(g2 , Pynn , {yj }).
j=1
Agora, fazendo n −
−→
− +∞, obtemos que
ZZ Z d Z Z
f (x, y) dx dy ≤ g2 (y) dy = dy f (x, y) dx. (¶5 )
c
R | {z }
R
Agora, escolhendo Dij como sendo um ponto de máximo de f restrita a Rij , e, para cada j,
1 ≤ j ≤ n, dij ∈ [xi−1 , xi ] tal que f (dij , yj ) ≥ f (x, yj ), para todo x ∈ [xi−1 , 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 j=1 i=1
n Z
X b
≥ f (x, y2 ) dx ∆yj .
j=1 a
Donde, ZZ Z Z
f (x, y) dx dy ≥ dy f (x, y) dx,
R | {z }
R
A prova da outra igualdade segue as mesmas idéias, bastando trocar a ordem de somação 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 região delimitada pela reta y = x − 2 e pela parábola x = y2 . A região
B fica como na figura 108, que mostra que ela é uma região 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 é contı́nua em B, claro. Logo, podemos
aplicar o teorema 7.2.20, para obter
ZZ Z Z y y =x−2
xy dx dy = dy
xy dx 6
x = y2
B 2 q qq qqqq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
| {z }
B
qq q q q qq
q q qqq q
qq
y q qqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Z 2 Z y+2
= xydx dy qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 4
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq2 y + 2
-
−1 y2 x
Z 2 −1 q qq q q
qq qqq q qy
1 3 2 1 5
= y + 2y + 2y − y dy
−1 2 2
45
= .
8 Figura 108
7.2.23
Exemplo Consideremos o problema de calcular a integral iterada
Z 1 Z 1
5
K= dx √
10x ey dy .
0 x
5
Nesta integral precisamos de uma primitiva para a função ey , o que não é possı́vel fazer usando
Integração nos Espaços Euclidianos 297
√
funções elementares (polinômios, sen, cos, ex , log, p , etc.). Portanto, não podemos calcular K,
na forma em que está escrita. O primeiro passo para con-
y
tornar esta dificuldade é desenhar a região, digamos B, 6
sobre a qual está sendo feito a integral K, etapa vencida
1 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
com a figura ao lado, o que dá qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqB qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
y qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
√ qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
B = {(x, y); 0 ≤ x ≤ 1, x ≤ y ≤ 1}. √ qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
x qqqqqqqqqqqqq qqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Para inverter a ordem de integração, descrevemos B como qqqqqqqqqqqqqqqqq
qqqqqqq
uma região do simples tipo 2, assim: qqq
q q q -
2 x y2 1 x
B = {(x, y); 0 ≤ y ≤ 1, 0 ≤ x ≤ y }.
7.2.24 [Área]
Definição A área (ou conteúdo) de uma região simples B ⊂ R2 é definida por
ZZ ZZ
área(B) = dx dy = dA,
B B
7.2.25
Exemplo Se R = [a, b] × [c, d], então
ZZ Z b Z d Z b
área(R) = dx dy = dx dy = (d − c) dx = (b − a)(d − c),
a c a
R
o que coincide com a definição de área de um retângulo, que usamos na Geometria Euclidiana,
a qual temos usado neste capı́tulo.
7.2.26
Exemplo Seja B a região delimitada pela reta y = x − 2 e pela parábola x = y2 , como no
exemplo 7.2.22. Temos que B = {(x, y); −1 ≤ y ≤ 2, y 2 ≤ x ≤ y + 2}. Logo,
ZZ Z 2 Z y+2 Z 2 2
1 1 9
y + 2 − y 2 dy = ( y 2 + 2y − y 3 ) = .
área(B) = dx dy = dx dy =
−1 y2 −1 2 3 −1 2
B
7.2.27
Proposição Sejam f, g : D ⊂ R2 −→ R duas funções integráveis sobre a região simples
B ⊂ D, e a ∈ R. As seguintes propriedades são verificadas.
298 Integrais Duplas
ZZ ZZ ZZ
(i) f +g é integrável sobre B, e (f +g)(x, y) dx dy = f (x, y) dx dy + g(x, y) dx dy;
B B B
ZZ ZZ
(ii) af é integrável sobre B, e (af )(x, y) dx dy = a f (x, y) dx dy;
B B
ZZ ZZ
(iii) se f (x, y) ≤ g(x, y), para todo (x, y) ∈ B, então f (x, y) dx dy ≤ g(x, y) dx dy;
B B
Z Z ZZ
(iv) |f | é integrável sobre B, e
f (x, y) dx dy ≤ |f (x, y)| dx dy;
B B
k
(v) se B = ∪ Bi e, para i 6= j, Bi ∩ Bj tem conteúdo nulo, então
i=1
ZZ k ZZ
X
f (x, y) dx dy = f (x, y) dx dy .
B i=1 B
i
A demonstração desta proposição não será dada aqui. Observamos apenas, que a prova
das duas primeiras propriedades pode ser feita diretamente a partir de somas de Riemann.
7.2.28
Mudança de Variáveis em Integrais Duplas
O nosso principal objetivo aqui é apresentar o teorema da mudança de variáveis para inte-
grais duplas. De acordo com a estratégia que estamos usando nesta seção, não apresentaremos
sua prova, com todo o rigor que ela exige. Entretanto, apresentaremos argumentos geométricos
e intuitivos que tornam razoável a existência de tal resultado. O teorema de mudança de
variáveis para integrais envolvendo apenas uma variável é bem conhecido e pode ser posto na
forma abaixo, cuja prova é 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 é integrável em [a, b], e u0 é integrável em [c, d], então
Z b Z d
f (x) dx = f (u(t))|u0 (t)| dt .
a c
Portanto, podemos substituir uma integral sobre o intervalo [a, b], por outra sobre o in-
tervalo [c, d], usando a mudança de coordenada u. O teorema que buscamos visa exatamente
isto: transformar uma integral dupla dada, via alguma mudança de coordenadas, em outra que
envolva cálculos mais simples.
Integração nos Espaços Euclidianos 299
Seja R = [a, b] × [c, d] um retângulo simples. Na definição de integral dupla sobre R que
demos, a idéia é decompor R em pequenos retângulos Rij , cuja união 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 noção intuitiva de volume que trazemos junto
à nova noção de integral dupla, torna razoável esperar que os limites das somas de Riemann, que
obtemos decompondo R em retângulos menores, devem ser o mesmos se esta decomposição fosse
feita com regiões quaisquer, digamos Bij , desde que o limite fosse tomado fazendo os perı́metros
destas regiões tendendo para zero. É sob este ponto de vista que, também, veremos uma integral
dupla sobre uma região simples B: decomporemos B numa união ∪ Bij , escolheremos Cij ∈ Bij
i,j
e admitiremos que
ZZ n m
!
X X
f (x, y) dx dy = lim f (Cij ) área(Bij ) ,
|Bij |→0
B j=1 i=1
onde |Bij | indica o maior dos comprimentos dos arcos de curvas que compõem 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 retângulo simples fechado contido em D. Seja B = T (R) a imagem de R por T , como mostra
a figura 110. Em R, construı́mos a partição
P = {Xij = (ui , vj ); 0 ≤ i ≤ m, 0 ≤ j ≤ n},
na qual fazemos a escolha C eij = (ui−1 , vj−1 ), que é o vértice inferior esquerdo do sub-retângulo
Rij . Desta forma, obtemos uma decomposição de B nas regiões Bij = T (Rij ). Agora escolhere-
mos Cij = T (C eij ) ∈ Bij . Se f : B −→ R é integrável, então
ZZ n m
! n m
!
X X X X
f (x, y) dx dy = lim f (Cij ) área(Bij ) = lim f (T (C
eij )) área(Bij ) ,
|Bij |→0
j=1 i=1
m(P)→0 j=1 i=1
B
posto que quando Rij fica pequeno, o mesmo acontece com Bij . A idéia agora é escrever área(Bij )
v y
d q6 R 6 B = T (R) T (ui , vj )
∆vj ∂T
∂v (Cij ) qqqqq s
e
vj q Rqqqqqqqqqqij
qqqqqqqqq q qqqqq q
qqqq
Bqqqqqij T (ui−1 , vj−1 + ∆vj ) sqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
6
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
vj−1
C
qqqqqqqqqqqqqqqqqqq
T
qqqqqqqqqqqqqqqqqqqqqqqB
eij
qqqqqqqqqqqqqqqijqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq1
-
qqq
qqqq qqqqqqqqqqqqqs
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqq
s T (ui−1 + ∆ui , vj−1 )
c q Cij = T (Cij )
e z
∆ui ∂T ∂u (Cij )
q q q -
e
-
a ui−1 ui b u x
Figura 110
em termos da aplicação T e da área(Rij ) = (ui −ui−1 )(vj −vj−1 ) = ∆ui ∆vj , visando transformar
a soma !
Xn X m
f (T (C
eij )) área(Bij )
j=1 i=1
300 Integrais Duplas
numa soma de Riemann associada a P. Tal soma de Riemann, como veremos, será dada por
n m
!
X X
S((f ◦ T )| det JT |, P, {C
eij }) = (f ◦ T )(C
eij )| det JT (C
eij )|∆ui ∆vj .
j=1 i=1
Donde
∂T ∂T r(h, k)
T (u + h, v + k) = T (u, v) + h (u, v) + k (u, v) + r(h, k), onde lim = O.
∂u ∂v (h,k)→O k(h, k)k
Em particular,
∂T
T (u
i−1 + ∆ui , vj−1 ) = T (ui−1 , vj−1 ) + ∆ui (ui−1 , vj−1 ) + r(∆ui , 0)
∂u
T (ui−1 , vj−1 + ∆vj ) = T (ui−1 , vj−1 ) + ∆vj ∂T (ui−1 , vj−1 ) + r(0, ∆vj ).
∂v
Logo, se ∆ui e ∆vj são tomados pequenos, podemos considerar as aproximações
∂T
T (ui−1 + ∆ui , vj−1 ) − T (ui−1 , vj−1 ) ' ∆ui
(ui−1 , vj−1 )
∂u (¶6 )
T (ui−1 , vj−1 + ∆vj ) − T (ui−1 , vj−1 ) ' ∆vj ∂T
(ui−1 , vj−1 ).
∂v
Agora recorremos à figura 110, onde vemos a região Bij (devidamente ampliada, por razões
didáticas). A figura torna razoável tomar a área do paralelogramo gerado pelos vetores
T (ui−1 + ∆ui , vj−1 ) − T (ui−1 , vj−1 ) e T (ui−1 , vj−1 + ∆vj ) − T (ui−1 , vj−1 ),
como uma aproximação para a área(Bij ). Portanto,
área(Bij ) ' k(T (ui−1 + ∆ui , vj−1 ) − T (ui−1 , vj−1 )) × (T (ui−1 , vj−1 + ∆vj ) − T (ui−1 , vj−1 ))k ,
da acordo com o corolário 1.3.16. Agora, usando as aproximações (¶6 ), obtemos que
∂T ∂T
∂T ∂T e
área(Bij ) ' ∆ui ∆vj
(ui−1 , vj−1 ) ×
(ui−1 , vj−1 )
= ∆ui ∆vj
(Cij ) ×
e (Cij )
.
∂u ∂v ∂u ∂v
Escrevendo T (u, v) = (T1 (u, v), T2 (u, v)), vem que
e1 e2 e3
∂T e ∂T e ∂T
1 e ∂T 2 e
(Cij ) × (Cij ) = det (C ij ) ( C ij ) 0
∂u ∂v ∂u
∂u
∂T ∂T2 e
1 e
(Cij ) (Cij ) 0
∂v ∂v
∂T1 e ∂T1 e
(Cij ) (Cij )
∂u ∂v
= (0, 0, det
∂T
) = (0, 0, det JT (C
eij )).
2 e ∂T2 e
(Cij ) (Cij )
∂u ∂v
Integração nos Espaços Euclidianos 301
Logo,
∂T ∂T e
área(Bij ) ' ∆ui ∆vj
(Cij ) ×
e (Cij )
= | det J(Cij )|.
e
∂u ∂v
Diante disto, somos levados a
n m
! n m
!
X X X X
f (Cij ) área(Bij ) = f (T (C
eij )) área(Bij )
j=1 i=1 j=1 i=1
n m
!
X X
' (f ◦ T )(C
eij ))| det JT (C
eij )|∆ui ∆vj
j=1 i=1
= S((f ◦ T )| det JT |, P, {C
eij }),
o que produz o teorema procurado, pelo menos no caso em que a mudança de coordenada T
está definida em um retângulo. O teorema da mudança de variáveis em integrais duplas, em sua
forma de maior alcance, é apresentado a seguir.
Observação No teorema abaixo, o sı́mbolo R2uv significa que estamos indicando um elemento
genérico de R2 por (u, v). Analogamente, R2xy indica que tal elemento será
denotado por (x, y). Este tipo de convenção torna mais claro o trabalho com mudança de
variáveis em integrais.
7.2.30
Teorema Sejam T : D ⊂ R2uv −→ R2xy , T (u, v) = (x(u, v), y(u, v)), uma função de classe C 1
no aberto D, e Buv ⊂ D uma região simples com as seguintes propriedades:
(i) existe C1 ⊂ Buv , de conteúdo nulo, tal que a restrição T : Buv − C1 −→ R2xy é injetiva;
∂(x, y)
(ii) existe C2 ⊂ Buv , também de conteúdo nulo, tal que (u, v) = det JT (u, v) 6= 0, para
∂(u, v)
todo (u, v) ∈ Buv − C2 .
- -
u x
Figura 111
7.2.31
Corolário Sejam T : D ⊂ R2uv −→ R2xy , T (u, v) = (x(u, v), y(u, v)), um difeomorfismo de
classe C 1 no aberto D, e Buv ⊂ D. Se Bxy = T (Buv ) e f : Bxy −→ R é
integrável, então
ZZ ZZ
f (x, y) dx dy = (f ◦ T )(u, v)| det JT (u, v)| du dv .
Bxy Buv
Demonstração: Como T é um difeomorfismo, vem que T é injetiva em D e que
∂(x,y)
∂(u,v)
6= 0, para todo (u, v) ∈ D. Logo, podemos usar o teorema 7.2.30, considerando os
(u, v)
conjuntos C1 = C2 = ∅. pppppppppppppppppppp
7.2.32
Exemplo Consideremos a aplicação linear T : R2uv −→ R2xy , T (u, v) = (x, y) = (u+v, u−v).
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 só vez que T satisfaz as condições
do corolário 7.2.31. Assim, se Buv ⊂ R2uv é uma região simples qualquer e f é uma função
integrável em Bxy = T (Buv ), então vale a fórmula
ZZ ZZ ZZ
f (x, y) dx dy = f (u + v, u − v)| − 2| du dv = 2 f (u + v, u − v) du dv .
Bxy Buv Buv
onde Bxy = T ([0, 1] × [0, 1]). Para determinar Bxy , começamos 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 é, y = x, para 0 ≤ x ≤ 1. Trabalhando do mesmo modo nas outras arestas
concluı́mos que
T (l1 ) = {(x, y); 0 ≤ x ≤ 1, y = x}
v y
T (l2 ) = {(x, y); 1 ≤ x ≤ 2, y = x − 2}
6 6
l Bxy
1 qqqqqqqqqqqq2qqqqqqqqqqqqq
T (l3 ) = {(x, y); 0 ≤ x ≤ 1, y = −x} qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqq
y = x qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq y = −x + 2
T-
l3 qqqqqqqqqqqqqqqqBqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq l
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqquv
qqqqqqqqqqqqqqqqqqqqqqqq 4 qqqq qqqq qqqqqqqqqqqqqqqq qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qq qq
T (l ) = {(x, y); 1 ≤ x ≤ 2, y = −x + 2} q q q q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
4
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
- -
l1 1 u qqqqqqqqqqqqqqqqqqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 2 x
são as curvas (segmentos de reta) que delimitam y = −x qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq y = x − 2
qqqqqqqqqq qqqqqqqqqqqqqqqq
Bxy , e que a integral dupla de f (x, y) = x2 + y 2
sobre Bxy , a qual vale 8/3, coincide com a integral Figura 112
iterada
Z Z Z 1 Z x Z 2 Z −x+2
2 2 2 2
dx (x + y ) dy = dx (x + y ) dy + dx (x2 + y 2 ) dy,
| {z } 0 −x 1 x−2
Bxy
x ∈ [0, 1]. O mesmo processo determina as outras curvas que delimitam a região Bxy . Agora, se
v y
6 6
Bxy
1 qqqqqqqqqB
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
uv
qqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq T -
q qqq q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq y = x2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq x = y 2 − 2y + 2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqq q q q qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq - qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq -
1 u qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 2 x
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
x = y 2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq y = x2 − 2x
qqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqq
Figura 114
f : Bxy −→ R é uma função contı́nua qualquer, sua integral sobre Bxy é dada por
√
ZZ Z 1 Z x2 Z 2 Z 1− −1+x
f (x, y) dx dy = dx √
f (x, y) dy + dx f (x, y) dy,
0 − x 1 x2 −2x
Bxy
Em particular,
√
Z 1 Z x2 Z 2 Z 1− −1+x
área(Bxy ) = dx √
dy + dx dy
0 − x 1 x2 −2x
Z 0 Z 1+√1+y Z 1 Z y 2 −2y+2
= dy dx + dy √
dx,
−1 y2 0 y
a qual poderia ser calculada, após algumas contas envolvendo integrais de raı́zes quadradas.
Não faremos assim. Apelaremos para o teorema 7.2.30. Portanto, devemos verificar se T tem
as propriedades exigidas. Inicialmente, veremos que T é 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, então
(
u21 + v1 = u22 + v2
v12 − u1 = v22 − u2 ,
o que produz (
(u1 − u2 )(u1 + u2 ) = v2 − v1
. (¶7 )
(v1 − v2 )(v1 + v2 ) = u1 − u2
Logo, (v1 − v2 )(v1 + v2 )(u1 + u2 ) = v2 − v1 . Se v1 6= v2 , esta última equação implica que
(v1 + v2 )(u1 + u2 ) = −1, o que é um absurdo, pois estamos supondo u1 ≥ 0, u2 ≥ 0, v1 ≥ 0 e
Integração nos Espaços Euclidianos 305
que é positivo quando (u, v) varia no primeiro quadrante de R2uv . Em particular, det JT é
positivo em Buv . Assim, podemos usar o teorema 7.2.30, com C1 = C2 = ∅, para obter
ZZ ZZ
f (x, y) dx dy = f (T (u, v))(4uv + 1) du dv
Bxy Buv
ZZ
= f (u2 + v, v 2 − u)(4uv + 1) du dv
Buv
Z 1 Z 1
= du f (u2 + v, v 2 − u)(4uv + 1) dv
0 0
Z 1 Z 1
= dv f (u2 + v, v 2 − u)(4uv + 1) du .
0 0
Donde,
Z 1 Z 1
área(Bxy ) = du (4uv + 1) dv
0 0
Z 1 1
Z 1
2
= (2uv + v) 0 du =
(2u + 1) du = 2.
0 0
Z 1
3 1 1
= (−u2 − 2u4 + u + ) du = − .
0 10 4 3
Convém observar que se não tivéssemos em mãos a mudança de coordenadas T , serı́amos forçados
a calcular as integrais sobre Bxy diretamente, ou tentar “adivinhar” uma T , o que, certamente,
seria mais trabalhoso do que o cálculo direto. Ao contrário do caso de uma variável, não dispomos
de um “método de integração” que permita obter uma mudança de coordenadas conveniente,
que simplifique o cálculo de integrais duplas. O que podemos fazer, é construir uma mudança
padrão T , cuja inversa seja de fácil compreensão geométrica, como é o caso da mudança de
coordenadas associada à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π], é θ y
transformada por T no cı́rculo de raio r0 e cen- 6 6
tro O = (0, 0);
(ii) a semi-reta θ = θ0 , θ0 fixo e r ≥ 0, é transfor- 2π qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq T-
mada por T na reta que passa pela origem O e qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
θ qqqqqqqqqqqqqqqq y q q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq r θ
faz o ângulo θ0 com o eixo-x; qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq- q -
(iii) a restrição de T a (0, +∞) × [0, 2π) é injetiva; r r x x
(iv) a restrição de T a [0, +∞)×[0, 2π) é sobrejetiva; Figura 115: Coordenadas Polares
∂(x, y)
(v) det JT (r, θ) = = r.
∂(r, θ)
7.2.35
Teorema Se Brθ ⊂ [0, +∞) × [0, 2π] uma região simples, Bxy = T0 (Brθ ) e f : Bxy −→ R é
integrável, então
ZZ ZZ
f (x, y) dx dy = f (r cos θ, r sen θ)r dr dθ .
Bxy Brθ
ZZ
Em particular, área(Bxy ) = r dr dθ .
Brθ
Integração nos Espaços Euclidianos 307
onde foi usado o fato que det JT0 (r, θ) = r, de acordo com (v) do lema 7.2.34. pppppppppppppppppppppp
Observação Convém observar que o lema 7.2.34 e o teorema 7.2.35 continuam funcionando
quando consideramos θ variando em qualquer intervalo da forma [θ0 , θ0 + 2π].
Quando o intervalo considerado for [−π, π], a mudança de coordenadas será indicada por T−π .
Portanto, T−π está defina assim:
T−π : [0, +∞) × [−π, π] ⊂ R2rθ −− − R2xy
−→
−
(r, θ) −−−−−→ T−π (r, θ) = (r cos θ, r sen θ).
Esta mudança de coordenadas é conveniente quando queremos integrar sobre regiões Bxy que se
encontram no semiplano x > 0 e são interceptadas pelo eixo-x. O exemplo 7.2.39 trabalha com
esta aplicação. Para perceber como funciona este novo operador, observe que, por exemplo, a
semi-reta r ≤ 0, θ = −π/2, de R2rθ , é transformada na semi-reta x = 0 e y ≤ 0. Quanto às
semi-retas r = r0 , estas continuam sendo transformadas em cı́rculos.
7.2.36
Exemplo Seja B = Bxy o anel usado no exemplo 7.1.8, onde vimos em que
ZZ
15 θ y
(x2 + y 2 ) dx dy = π.
2 6 6
Bxy
2π q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Calcularemos esta integral, agora usando o teo- qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq Bxy
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q qq q q qqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q q
rema 7.2.35. Observando a figura, vemos que para qqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqrqqqqqqqqqqqqqqqqqqqqqqqqqqq
obter Bxy , devemos tomar 1 ≤ r ≤ 2 e 0 ≤ θ ≤ qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qq q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqθqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqrθqqqqqqqqqq T0 - qqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqq -
qqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
B
2π, isto é, Bxy = T0 (Brθ ), onde qqqqqqqqqqqqqqqqqqqqqqqqqqqq q q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq −2 qqqqqqqqqqqqqqq−1
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
1 2 x
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqq qqqq
Brθ = [1, 2] × [0, 2π] qqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqq -
1 2 r
e, claro, T0 (r, θ) = (r cos θ, r sen θ).
Logo, Figura 116
ZZ ZZ ZZ
(x2 + y 2 ) dx dy = ((r cos θ)2 + (r sen θ)2 )r dr dθ = r3 dr dθ
Bxy Brθ Brθ
2π 2 2π
2 Z 2π
r4
Z Z Z
3 15 15π
= dθ r dr = ( ) dθ = dθ = .
0 1 0 4 1 0 4 2
Note que as dificuldades neste cálculo são bem menores do que aquelas que enfrentamos no
exemplo 7.1.8.
308 Integrais Duplas
7.2.37
Exemplo Seja Bxy a região, situada no primeiro quadrante, delimitada pelas retas y = x,
y = 0, e pelos cı́rculos x2 + y 2 = 1 e x2 + y 2 = 4. Neste exemplo, escrever-
emos a integral de f (x, y) = xy 2 sobre Bxy , como uma integral iterada, e a calcularemos
via coordenadas polares. Primeiro esboçamos Bxy , que
fica com na figura ao lado. Temos que
ZZ Z 1 Z x y
2
xy dx dy = √ dx √ 2
xy dy +
6 y=x
2
2
1−x2
Bxy
√
qqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Z 2 Z x
2 qqqqqqqqqqqqqqqB
+ dx xy dy + qqqqqqqqqqqqqqqqqxy qqqqqqqqqqqqqqqqqqqqqqqqqqq
1 0
√
q qqqqqqqqqqqqqqqqqqqqqqqqqqq -
4−x2
√ √ x
2 21 2 2
Z Z
+ √
dx xy 2 dy 2
2 0
π
Z
4
Z 2
= dθ r4 cos θ sen2 θ dr
0 1
Figura 117
π
31 √
Z
31 4
= cos θ sen2 θ dθ = 2
5 0 60
θ
6 y
2π qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
6
7.2.38 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqrqqqqqqqqq= 1 + cos θ
qqqqqqqq
Exemplo Seja Bxy a região envolvida pela cardióide qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
θ
qqqqqq
qqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqB
qqqqqqqqqqqxy qqqqqqqqqqqq
T0 - qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
2 2 2 2 2
(x + y − x) = x + y . qqqqqq
-
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq x
qqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqq
Com x = r cos θ e y = r sen θ, esta equação fica qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqB qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqrθ qqqqqqqqqqqqqqq
2 2 2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
(r − r cos θ) = r .
-
r
Donde, r = 1 + cos θ. Portanto, Bxy = T0 (Brθ ) e Figura 118
Brθ é a região simples do tipo 2 dada por
Para f (x, y) = y
2π 1+cos θ 2π
(1 + cos θ)3
ZZ Z Z Z
2
y dx dy = dθ r sen θ dr = sen θ dθ = 0.
0 0 0 3
Bxy
Portanto, o centro de massa da cardióide Bxy (veja o exercı́cio 7-14) é dado por
ZZ ZZ
1 2 5π 5
(x, y) = ( x dx dy, y dx dy) = ( , 0) = ( , 0).
área(B) 3π 4 6
B B
y
7.2.39 6
Exemplo Neste exemplo, consideraremos a in- B
qq q q q q
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
RR 2
tegral x y dx dy, onde B o disco q q q q q q q
qqqqqqqqqqqqqqθqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
r = 4 cos
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqθqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
B
delimitado pelo cı́rculo (x − 2)2 + y 2 = 4, isto é, qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq2qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 4
-
x
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
B = {(x, y); (x − 2)2 + y 2 ≤ 4}. qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqq
π
ZZ Z
2
Z 4 cos θ
2
x y dx dy = dθ r4 cos2 θ sen θ dr
− π2 0
B
Z π π
1024 2
7 128 2
8
= cos θ sen θ dθ = − cos θ = 0.
5 − π2 5 −π 2
7.3
Integral Iterada em R3
h1 (x, y) q
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqq qqqqqqqqqqqqqqqqqqqqqqS qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qq qqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq2qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq
qqqq q qqqq q q
qqqqqqqqqqqq qqqqqqqqqq q
qqqqqqqqqqqqqqqqqqqqqqq q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqq
qqq q q q
qqqqqqqqqqqqqqqqqq
qq q q
qqqqq
qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q S2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q qqqqqqqqqqq qq q qqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqΩ qqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqq 12
Ω qqqqqqqqqqq q S qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq12 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 1 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqq
g1 (x, y) q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqq qqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqq
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 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 qq q q q q q q q qq q q q q q q q q q qq qq q q y S1
q q qqq
qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqD
qqqqqqqqqqqqqqqqqqqqqqqqqqqq
q q q q q q
q q q q qq q qqqqqqqqqqqqqqqqqB qqqqqqqqq q q q q q qqq qqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqy) qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq(x, qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
x
Figura 120: Região Simples do Tipo 12
A condição g1 ≤ h1 significa que a superfı́cie S2 está acima de S1 , como indica a figura 120.
Dada uma região simples B ⊂ D tal que g1 e h1 são de classe C 1 sobre a região interior de B
(B menos as curvas que o delimitam), construı́mos aquilo que chamamos de região simples do
tipo 12, que é 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)}. (¶8 )
z
7.3.1 b3 q
6
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Exemplo Dados a1 < b1 , a2 < b2 e a3 < b3 , o
retângulo simples fechado qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
a3 q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqR qqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
R = [a1 , b1 ] × [a2 , b2 ] × [a3 , b3 ] qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
a2 q bq 2 -
a1 q q q q q q q q q q q q q q q q q
qq q q q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q q q q q q q q q qq qq q q q q q q q y
é uma região simples do tipo 12, onde g1 (x, y) = a3 e
q q qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqB qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
h1 (x, y) = b3 são funções constantes e B é o retângulo b1 q
simples fechado B = [a1 , b1 ] × [a2 , b2 ].
x Figura 121
Integração nos Espaços Euclidianos 311
7.3.2
Exemplo Seja Ω o tetradedro delimitado pelo plano x + y/2 + z = 1 e pelos planos co-
ordenados. Temos que Ω é uma região simples do tipo 12, situada entre as
superfı́cies z = 0 e z = 1−x−y/2, e cuja projeção
no plano-xy coincide com o triângulo z
6
T = {(x, y); 0 ≤ x ≤ 1, 0 ≤ y ≤ 2 − 2x}
1 qqqqqqq
q qqqqq
= {(x, y); 0 ≤ y ≤ 2, 0 ≤ x ≤ 1 − y/2}. qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q z = 1 − x − y/2
qqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q -
1 qqqqqqqqqqqqqqqqqqqqq qqqq 2 y
Segue-se que
Ω = {(x, y, z); (x, y) ∈ T, 0 ≤ z ≤ 1 − x − y/2}. x
Figura 122
7.3.3 z
Exemplo Seja Ω o sólido situado acima do 6
parabolóide z = x2 +y 2 e abaixo do
qqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
plano z = 1. Este plano intercepta o parabolóide qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq z=1
ao longo do cı́rculo x2 + y 2 = 1, o que implica que qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
a projeção de Ω sobre o plano-xy coincide com a qqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqΩ qqqq qqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqq q
z = x2 + y 2
bola fechada B[O, 1]. Portanto, Ω é uma região q q q q q q q q q q q qqqqq
qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
qqqqqqqqqq q q qqqqq qqqq qqq qq q qqq q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq(x, qqqqqqqqqy) q
simples do tipo 12, e é dada por qq qqqqqq
-
qqqqqqqqqqqqqqB[O, qqqqqqqqqqqqqqqqqq1] y
z
6
qqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqq y
qqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqq
qqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqq qqqqqqqqq
6
√
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqq q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
qqqq
3
qqqqqqq
qqq q qqqq qqqqqqqqqqqqqqqqqqqqqqqqqqB qqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqq qq q q qqqqq q q q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqq
p
qqqq z = 4 − x2 − y 2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q qqqqqq qqqqqqqqqqqqqqqqqqqqqqq q q -
qqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqq 2
-
qqqqqq qqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 2
y p x
√ qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqq z = − 4 − x2 − y 2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
− 3 q qqqqqqqqqqqq q q q q
qqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqq qqqqqqqqqqqq
x qqqqq
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Figura 124
raios 1 ep2, respectivamente. Para cada (x, y)pfixado no anel B, observamos que Ω “começa” em
(x, y, − 4 − x2 − y 2 ) e “termina” em (x, y, 4 − x2 − y 2 ), que são pontos da esfera. Logo,
p p
Ω = {(x, y, z); 1 ≤ x2 + y 2 ≤ 4, − 4 − x2 − y 2 ≤ z ≤ 4 − x2 − y 2 }.
312 Integral Iterada em R3
7.3.5
Definição Seja Ω12 uma região simples do tipo 12, como em (¶8 ). Dada uma função
contı́nua f : Ω12 −→ R, definimos a integral iterada de f sobre Ω12 como sendo
a integral !
ZZ Z ZZ Z h1 (x,y)
dx dy f (x, y, z) dz = f (x, y, z) dz dx dy .
g1 (x,y)
| {z } B
Ω12
ZZ Z
Observação A integral dx dy f (x, y, z) dz é a integral dupla da função contı́nua
| {z }
Ω12 Z
h1 (x,y)
g(x, y) = f (x, y, z) dz
g1 (x,y)
(i) se B = {(x, y); a ≤ x ≤ b, u1 (x) ≤ y ≤ v1 (x)} é uma região simples do tipo 1, então
ZZ Z Z b Z v1 (x) Z h1 (x,y)
dx dy f (x, y, z) dz = dx dy f (x, y, z) dz;
| {z } a u1 (x) g1 (x,y)
Ω12
(ii) se B = {(x, y); c ≤ y ≤ d, u2 (y) ≤ x ≤ v2 (y)} é uma região simples do tipo 2, então
ZZ Z Z d Z v2 (y) Z h1 (x,y)
dx dy f (x, y, z) dz = dy dx f (x, y, z) dz;
| {z } c u2 (y) g1 (x,y)
Ω12
7.3.6
Exemplo Tomando a1 = a2 = a3 = 0 e b1 = b2 = b3 = 1, o retângulo simples fechado
do exemplo 7.3.1 fica R = [0, 1] × [0, 1] × [0, 1], cuja projeção no plano-xy é o
retângulo [0, 1] × [0, 1]. Logo,
ZZ Z ZZ Z 1 ZZ
2 2 2
dx dy (xy + 2z ) dz = (xy + 2z ) dz dx dy = (xy + ) dxdy
0 3
| {z } [0,1]×[0,1] [0,1]×[0,1]
R
Z 1 Z 1 Z 1
2 1 2 11
= dx (xy + )dy = ( x + )dx = .
0 0 3 0 2 3 12
7.3.7
Exemplo Se Ω é o tetraedro do exemplo 7.3.2, isto é,
Ω = {(x, y, z); (x, y) ∈ T, 0 ≤ z ≤ 1 − x − y/2},
onde T é o triângulo
T = {(x, y); 0 ≤ x ≤ 1, 0 ≤ y ≤ 2 − 2x},
então
!
ZZ Z ZZ Z 1−x−y/2
dx dy (2x − y + z) dz = (2x − y + z) dz dx dy
0
ZTZ
| {z }
Ω 1−x−y/2
1 2
= 2xz − yz + z dx dy
2 0
T
Z 1 Z 2−2x
1 3 2 3 5 2 1
= dx x + xy − x − y + y + dy
0 0 2 2 2 8 2
Z 1
2 7 3 1 1
= 3x − 5x + x − dx = .
0 3 3 12
Já o volume do poliedro Ω é dado por
!
ZZ Z ZZ Z 1−x−y/2
vol(Ω) = dx dy dz = dz dx dy
0
T
| {z }
ZZ Ω
1
= 1 − x − y dx dy
2
T
Z 1 Z 2−2x
1
= dx 1 − x − y dy
0 0 2
Z 1
1
x2 − 2x + 1 dx = ,
=
0 3
que, claro, poderia ser calculado pela fórmula vol(Ω) = h área(T )/3, onde h é a altura de Ω.
314 Integral Iterada em R3
7.3.8
Exemplo Retomemos o sólido Ω, delimitado pelo parabolóide z = x2 + y2 e pelo plano
z = 1, que estudamos no exemplo 7.3.3. Naquele exemplo, vimos que a projeção
de Ω no plano-xy é o disco unitário
Se f (x, y, z) = x2 y 2 z, então
ZZ Z Z Z Z 1 ZZ Z 1
2 2 2 2 2 2
dx dy x y z dz = x y z dz dx dy = xy z dz dx dy
x2 +y 2 x2 +y 2
| {z } B B
Ω
2 2 2
ZZ
1 (x + y )
= x2 y 2 − dx dy
2 2
ZBZ
2 2 1 1 4 2 2 1 4
= xy − x − x y − y dx dy
2 2 2
B √
Z 1 Z 1−x2
1
x2 y 2 − x6 y 2 − 2x4 y 4 − x2 y 6 dy,
= dx √
2 −1 1−x2
cujo cálculo direto levaria mais um bom tempo. Entretanto, esta integral pode ser calculada
bem mais facilmente, se usamos coordenada polares. De fato, a região que corresponde a B em
coordenadas polares é o retângulo do espaço R2rθ dado por Brθ = [0, 1] × [0, 2π]. Logo,
ZZ Z ZZ
1
2 2
x2 y 2 1 − (x2 + y 2 )2 dx dy
dx dy x y z dz =
2
| {z } B
Ω ZZ
1 2
= (r cos θ)2 (r sen θ)2 1 − (r cos θ)2 + (r sen θ)2 r dr dθ
2
Brθ
ZZ ZZ
1 5 21 2
= r sen θ cos θ dr dθ − r9 sen2 θ cos2 θ dr dθ
2 2
Brθ Brθ
Z 2π Z 1
1 2π
Z Z 1
1 2 2 5 2 2
= sen θ cos θ dθ r dr − sen θ cos θ dθ r9 dr
2 0 0 2 0 0
Z 2π
1 π
= sen2 θ cos2 θ dθ = ,
30 0 120
porque
Z 2π Z 2π Z 2π
2 2 1 2 1 π
sen θ cos θ dθ = sen 2θ dθ = (1 − cos 4θ) dθ = .
0 4 0 8 0 4
Integração nos Espaços Euclidianos 315
7.3.9
Exemplo Agora, calcularemos a integral iterada
ZZ Z
dx dy 3(x2 + y 2 )z 2 dz ,
| {z }
Ω
Este volume pode, também, ser calculado usando a técnica das seções transversais ao longo do
eixo-z, aquela mesma que usamos√ no exemplo 7.1.8. De fato, tais seções, neste caso, são anéis
de raio menor 1 e raio maior 4 − z 2 , os quais são obtidos interceptando Ω com os planos z
fixado. Logo, se Sz indica cada seção, sua área é área(Sz ) = π(4 − z 2 ) − π = 3π − πz 2 . Portanto,
√
Z 3 √
vol(Ω) = π √
(3 − z 2 ) dz = 4π 3.
− 3
√ √
(Por que os limites de integração − 3 e 3?)
7.3.10
Exemplo Visando motivar a noção de “mudança na ordem da integração”, retomaremos as
informações contidas nos exemplos 7.3.3 e 7.3.8, onde trabalhamos com
Nosso objetivo, agora, é descrever este sólido como uma região simples do tipo 23, isto é, uma
região entre superfı́cies definidas explicitamente por x = g2 (y, z) e x = h2 (y, z), onde g2 e h2 estão
z
6 z
6
qqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq= − z − y 2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqx
p
1
qqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqΩ qqqqqqqqqqqqqqqqqqqqq qqq qqqq qqq q q
qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqp q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqE q qqq q q q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqz = y 2
qqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqq q qqq qqqqqq x = z − y2 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqq
- q q -
y −1 1 y
x Figura 125
onde
E = {(y, z); −1 ≤ y ≤ 1, y 2 ≤ z ≤ 1},
se a queremos como uma região simples do tipo 1 do plano-yz, ou
√ √
E = {(y, z); 0 ≤ z ≤ 1, − z ≤ y ≤ z},
Integração nos Espaços Euclidianos 317
se a queremos como uma região simples do tipo 2. Dada f : Ω −→ R contı́nua, temos, natural-
mente associada à forma (¶9 ) de escrever Ω, a integral iterada
ZZ Z Z Z Z √z−y2 !
dy dz f (x, y, z) dx = √ f (x, y, z) dx dy dz .
− z−y 2
E
Z 1 Z √z−y2
| {z }
Ω Z 1
= dy dz √ f (x, y, z) dx
−1 y2 − z−y 2
Z Z √ 1Z √ z z−y 2
= dz √
dy √ f (x, y, z) dx .
0 − z − z−y 2
7.3.11
Definição Seja Ω23 ⊂ R3 uma região simples do tipo 23, isto é,
Ω23 = {(x, y, z); (y, z) ∈ E, g2 (y, z) ≤ x ≤ h2 (y, z)},
onde E é uma região simples do plano-yz e g2 e h2 são contı́nuas em E e de classe C 1 na
região interior de E. Dada uma função contı́nua f : Ω23 −→ R, definimos a integral iterada de
f sobre Ω23 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 2 (y,z)
| {z } E
Ω23
318 Integral Iterada em R3
7.3.12
Definição Seja Ω13 ⊂ R3 uma região simples do tipo 13, isto é,
Ω13 = {(x, y, z); (x, z) ∈ H, g3 (x, z) ≤ y ≤ h3 (x, z)},
7.3.13
Exemplo Seja Ω = R = [a1 , b1 ] × [a2 , b2 ] × [a3 , b3 ] um retângulo simples fechado, o qual é
uma região simples do tipo 12, como vimos no exemplos 7.3.1 e 7.3.6. Escrevendo
que descreve R como uma região simples do tipo 13. Logo, R pode ser descrita como uma região
simples dos três tipos. Portanto, dada f : R −→ R contı́nua, temos que
ZZ Z Z Z Z b3 Z b1 Z b2 Z b3
dx dy f (x, y, z) dz = f (x, y, z) dz dx dy = dx dy f (x, y, z) dz
a3 a1 a 2 a 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
a1 a2 a3 a1
| {z } E
R
ZZ Z Z Z Z b2 Z b1 Z b3 Z b2
dx dz f (x, y, z) dy = f (x, y, z) dy dx dz = dx dz f (x, y, z) dy,
a2 a1 a 3 a 2
| {z } H
R
onde
B = [a1 , b1 ] × [a2 , b2 ], E = [a2 , b2 ] × [a3 , b3 ] e H = [a1 , b1 ] × [a3 , b3 ].
Estas três integrais são iguais, como veremos na próxima seção. 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
2 11
dx dy (xy + 2z ) dz = dx dy (xy + 2z 2 ) dz = .
0 0 0 12
| {z }
R
Integração nos Espaços Euclidianos 319
7.3.14
Exemplo No exemplo 7.3.7 vimos que
!
ZZ Z ZZ Z 1−x−y/2
1
dx dy (2x − y + z) dz = (2x + y − z) dz dx dy = ,
0 12
| {z } T
Ω
z
onde Ω é o tetraedro 6
como esperávamos.
320 Integral Iterada em R3
7.3.15 z
z = −y z=y
Exemplo Consideremos, agora, o setor esférico 6
q
qqqqqqqqqqqqqqqq q qqqq qqqqqqqqqqqqqqqqqqqqqq
Ω determinado pela esfera qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q q qq qqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqΩ
p
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq z = 2 − x2 − y 2
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq p
x2 + y 2 + z 2 = 2 q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqqq qqqqqqqqqq q qq
z = x2 + y 2
q qqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q -
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq(x,
qqqqqqqqqqqqqqqy)
q √ y
e pelo cone de uma folha qq q q q
2
p
z = x2 + y 2 ,
x
como na figura ao lado. A projeção de Ω no
plano-xy coincide com o disco unitário B[O, 1]. Figura 127
Para determinar o comportamento de z em Ω,
fixamos uma linha vertical em cada ponto (x, y) ∈ B[O, 1] e obtemos as alturas do primeiro e
do último ponto onde o segmento cruza Ω, o que se dá sempre do mesmo modo: “começa no
cone e termina na esfera”. Assim,
p p
Ω = {(x, y, z); 0 ≤ x2 + y 2 ≤ 1, x2 + y 2 ≤ z ≤ 2 − x2 − y 2 },
o que descreve Ω como uma região simples do tipo 12. Para descrever Ω como uma região
simples do tipo 23, a primeira coisa que fazemos é projetá-lo no plano-yz, o que produz a região
simples E da figura 128. Note que os segmentos
z
perpendiculares a E atravessam Ω de dois modos
√ 6
distintos: ora começando e terminando sobre a 2 y2 + z2 = 2
qq q qq q q q q q qq q
q q qq
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q q q q qqqqqqqqqqqqqqqq2qqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqE
esfera, o que acontece quando estamos sobre os z = −y z=y
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
pontos de E para os quais z ≥ 1; ora começando qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqE qqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq1qqqqqqqqqqqq E = E1 ∪ E2
e terminando sobre o cone, o que ocorre quando qqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqq q
z ≤ 1. Portanto, Ω se decompõe em duas regiões -
y
−1 1
simples do tipo 23, a saber, aquela que se projeta
sobre o triângulo determinado por z = |y| e z = 1, Figura 128
e aquela que se projeta no segmento circular de E
determinado pelo cı́rculo y 2 + z 2 = 2 e pela reta z = 1. Mais precisamente, Ω = Ω1 ∪ Ω2 , onde
p p
Ω1 = {(x, y, z); (y, z) ∈ E1 , − z 2 − y 2 ≤ x ≤ z 2 − y 2 },
a qual vale
ZZ Z ZZ Z √2−x2 −y2 ! ZZ
xy − x3 y − xy 3 dx dy
dx dy xyz dz = √ xyz dz dx dy =
} B[0,1] x2 +y 2
| {z 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 são regiões simples do tipo 23, podemos calcular as integrais
ZZ Z ZZ Z
dy dz xyz dx e dy dz xyz dx,
| {z } | {z }
Ω1 Ω2
as quais ficam
ZZ Z ZZ Z √z2 −y2 ! ZZ √z2 −y2
1 2
dy dz xyz dx = √ xyz dx dy dz = x yz √ dy dz = 0
− z 2 −y 2 2 − z 2 −y 2
| {z } E1 E1
Ω1
e
ZZ Z ZZ Z √2−z2 −y2 ! ZZ √2−z2 −y2
1 2
dy dz xyz dx = √ xyz dx dy dz = x yz √ dy dz = 0.
− 2−z 2 −y 2 2 − 2−z 2 −y 2
| {z } E2 E2
Ω2
Logo, ZZ Z ZZ Z
dy dz xyz dx + dy dz xyz dx = 0.
| {z } | {z }
Ω1 Ω2
é chamada integral iterada de f sobre Ω, decomposta com união de regiões simples do tipo 23.
Note que o resultados obtidos não depende da forma que adotamos para descrever Ω, como já
aconteceu nos dois exemplos anteriores.
7.3.17
Definição Sejam f : D ⊂ R3 −→ R contı́nua em Ω ⊂ D, Ω = Ω1 ∪ Ω2 ∪ · · · ∪ Ωn , uma
região simples, onde cada Ωi , 1 ≤ i ≤ n, é do tipo 12. A integral iterada de f
sobre Ω, associada a esta decomposição, é definida por
ZZ Z X n ZZ Z
dx dy f (x, y, z) dz = dx dy f (x, y, z) dz .
| {z } i=1 | {z }
Ω Ωi
7.3.18
Definição Sejam f : D ⊂ R3 −→ R contı́nua em Ω ⊂ D, Ω = Ω1 ∪ Ω2 ∪ · · · ∪ Ωn , uma
região simples, onde cada Ωi , 1 ≤ i ≤ n, é do tipo 23. A integral iterada de f
sobre Ω, associada a esta decomposição, é definida por
ZZ Z X n ZZ Z
dy dz f (x, y, z) dx = dy dz f (x, y, z) dx .
| {z } i=1 | {z }
Ω Ωi
7.3.19
Definição Sejam f : D ⊂ R3 −→ R contı́nua em Ω ⊂ D, Ω = Ω1 ∪ Ω2 ∪ · · · ∪ Ωn , uma
região simples, onde cada Ωi , 1 ≤ i ≤ n, é do tipo 13. A integral iterada de f
sobre Ω, associada a esta decomposição, é definida por
ZZ Z X n ZZ Z
dx dz f (x, y, z) dy = dx dz f (x, y, z) dy .
| {z } i=1 | {z }
Ω Ωi
7.3.20
Exemplo Seja Ω o sólido delimitado pelo cilindro (x − 2)2 + y2 = 4 e pelos planos x + z = 4
e z = 0, como indica a figura 129 abaixo. A projeção de Ω no plano-xy é o disco
B = {(x, y); (x − 2)2 + y 2 ≤ 4}. z
Já a sua projeção no plano-xz é o triângulo T 6
dado por
(x − 2)2 + y 2 = 4
qq qqqq qqqq
q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q q q q
T = {(x, z); 0 ≤ x ≤ 4, 0 ≤ z ≤ 4 − x}. qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqzqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqq4qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqq+
x qqqqq qqqqqqqqqqqqqqqqqqq= qqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Portanto, dada f : R3 −→ R, temos que qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqT qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q qq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q qqqqqqqqqqqqq qq
qqqq -
Z Z Z 4−x qqqq q qq qqqqqqqqqq q q q q qq q
qqqqq qqqq q q q q q qq q q q q y
ZZ Z
dx dy f (x, y, z) dz = f (x, y, z) dz dx dy . B
0
| {z } B x
Ω
Figura 129
Também temos que
ZZ Z Z 4 Z 4−x Z √4−(x−2)2
dx dz f (x, y, z) dy = dx dz √ f (x, y, z) dy .
| {z } 0 0 − 4−(x−2)2
Ω
Integração nos Espaços Euclidianos 323
Em particular,
Z Z Z 4−x Z 4 Z 4−x Z √4−(x−2)2
vol(Ω) = dz dx dy = dx dz √ dy .
0 0 0 − 4−(x−2)2
B
Usando coordenadas polares, via T−π (veja o exemplo 7.2.39 na página 309) na primeira integral,
obtemos
ZZ y
vol(Ω) = (4 − x) dx dy 6
B
B q q qqqqqq
qqqqq q q qqqqqqqqqqqqqqqqqqqqqqqqqqq
qq q q q
q qq q q q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqθqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
π
Z
2
Z 4 cos θ r = 4 cos
= dθ r(4 − r cos θ) dr qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqθqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq
− π2 0 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq -
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq2qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq 4 x
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
= 8π,
= 22π
7.4
Integrais Triplas
324 Integrais Triplas
Nesta seção seguiremos de perto toda aquela estratégia que usamos na seção 7.2, onde
construı́mos, via somas de Riemann, a noção de integral dupla.
Seja R = [a1 , b1 ] × [a2 , b2 ] × [a3 , b3 ] um retângulo simples fechado de R3 (que também
chamaremos de bloco). Dadas as partições
de [a1 , b1 ],
Py = {y0 = a2 < y1 < y2 < . . . < yn−1 < yn = b2 },
de [a2 , b2 ], e
Pz = {z0 = a3 < z1 < z2 < . . . < zp−1 < 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}
é chamado partição de R. Note que os elementos de P são exatamente os vértices dos mnp
blocos menores
z
6
∆yj
b3 q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqq qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqq
qqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqqqqqqq
qqqqq
qqqqqq qqqqqq qqqqqq qqqqqqqqqqqqqqqqqqqq qqqqqq qqqqqq qqqqqqqqqqqqqqqqqqq qqqqqqqqq qqqqqqqqqqq qqqqqq
qq Xqqqqqijk
qqqqqqqqqqqqqqq
qqqqqqqqqqqqq
a3 q ∆zk
qqqqqqqqq qqqqqqqqq qqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqq qqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqq qqqqq
qqqqqqqqq qqqqqqqqq qqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqq qqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqq qqqqqq qqqqqq qqqqqqqqqqqqqqqqqqqq qqqqqq qqqqqq qqqqqqqqqqqqqqqq qqqqqqq ∆xi
a
q2 bq 2
a1 q qq q q q q q q q q q q q q q q q q q q q q q
-
qqqqqq
q q qq q q q qqq q qq qqq q qq qq
q qq
q qq
q qq
q qq qqq
q q q q qq
q q qqq
q qq q
q q qqqq q q qq qq y
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
b1 q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Figura 131
x
p mn
cuja união coincide com R: R = ∪ ∪ ∪ Rijk . A malha de P é definida por
k=1 j=1 i=1
7.4.1
Exemplo Da mesma forma que fizemos no exemplo 7.2.1, podemos construir partições ho-
mogêneas para um bloco. De fato, dados R = [a1 , b1 ] × [a2 , b2 ] × [a3 , b3 ], dados
m, n, p ∈ N, definimos
b 1 − a1 b 2 − a2 b 3 − a3
∆xi = ∆x = , ∆yj = ∆y = e ∆zk = ∆z = ,
m n p
Integração nos Espaços Euclidianos 325
para 1 ≤ i ≤ m, 1 ≤ j ≤ n, 1 ≤ k ≤ p. A partição
7.4.2
Definição Dada f : R −→ R, a soma de Riemann de f associada a P e à escolha {Cijk }
é definida por
p n m
!!
X X X
S(f, P, {Cijk }) = f (Cijk )∆xi ∆yj ∆zk ,
k=1 j=1 i=1
existe, e independe da famı́lia de partições P e das escolhas {Cijk }, dizemos que f é integrável
sobre R. O valor do limite, indicado por
ZZZ ZZZ Z
f (x, y, z) dx dy dz, f (x, y, z)dV ou f dV,
R
R R
7.4.4
Exemplo Se f é constante, digamos f (x, y, z) = c, (x, y, z) ∈ R = [a1 , b1 ] × [a2 , b2 ] × [a3 , b3 ],
então a soma de Riemann S(f, P, {Cijk }) é
p n m
!!
X X X
S(f, P, {Cijk }) = f (Cijk )∆xi ∆yj ∆zk
k=1 j=1 i=1
p p
n m
!! n m
!!
X X X X X X
= c ∆xi ∆yj ∆zk =c ∆xi ∆yj ∆zk
k=1 j=1 i=1 k=1 j=1 i=1
p n m
!!
X X X
=c vol(Rijk ) = c vol(R),
k=1 j=1 i=1
para qualquer famı́lia de partições com malha tendendo a zero, e para toda escolha {Cijk }. Isto
mostra que as funções constantes são integráveis e que
ZZZ
c dx dy dz = c vol(R) = c(b1 − a1 )(b2 − a2 )(b3 − a3 ).
R
Como no caso das integrais duplas, o seguinte teorema, o qual será admitido sem prova,
reduz o cálculo de uma integral tripla ao cálculo do limite de somas de Riemann especiais, com
uma particular escolha.
7.4.5
Teorema Se f : [a1 , b1 ] × [a2 , b2 ] × [a3 , b3 ] −→ R é contı́nua, então f é integrável.
7.4.6
Corolário Se f é contı́nua no retângulo R = [a1 , b1 ] × [a2 , b2 ] × [a3 , b3 ], então
ZZZ n n n
!!
X X X
f (x, y, z) dx dy dz = lim ∆x∆y∆z f (xi , yj , zk ) ,
n→∞
R k=1 j=1 i=1
7.4.7
Exemplo Seja f (x, y, z) = xy + 2z 2 , (x, y, z) ∈ R3 . Vamos usar o corolário 7.4.6 para
calcular a intgeral tripla de f sobre o bloco R = [0, 1] × [0, 1] × [0, 1]. Temos que
ZZZ n n n 2
!!
1 X X X ij k
(xy + 2z 2 ) dx dy dz = lim 3 2
+2 2
n→∞ n n n
R k=1 j=1 i=1
n n n n
!!
1 X X X X
= lim 5 ij + 2 k2
n→∞ n
k=1 j=1 i=1 i=1
n n n
!!
1 X X X
= lim 5 j i + 2nk 2
n→∞ n
k=1 j=1 i=1
n n
! 2 n
1 X X X
= lim 5 i + 2n k2
n→∞ n
k=1 i=1 j=1
n n
! 2
1 X X
= lim 5 i + 2n2 k 2
n→∞ n
k=1 i=1
!2
n n
1 X X
= lim 5 n i + 2n2 k2
n→∞ n
i=1 k=1
2 !
1 n(n + 1) n(n + 1)(2n + 1)
= lim 5 n + 2n2
n→∞ n 2 6
1 11 5 3 4 7 11
= lim 5 n + n + n3 = ,
n→∞ n 12 2 12 12
Em outras palavras, S pode ser coberto por um número finito de retângulos simples cuja soma
de seus volumes pode ser feita arbitrariamente pequena.
328 Integrais Triplas
Análogo ao que fizemos para curvas parametrizadas, veremos que o traço de uma superfı́cie
parametrizada de classe C 1 , definida em um retângulo simples fechado do R3 , também tem
conteúdo 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], é uma superfı́cie parametrizada
lipschitziana (definição 3.2.7), com constante de Lipschitz M , então tr g está contido
no retângulo simples
De |x(X) − x(X0 )| ≤ kg(X) − g(X0 )k, vem que |x(X) − x(X0 )| ≤ r. Também temos que
|y(X) − y(X0 )| ≤ r e |z(X) − z(X0 )| ≤ r. Logo, o traço de g está contido no retângulo simples
7.4.10
Proposição Se g(u, v) = (x(u, v), y(u, v), z(u, v)), (u, v) ∈ [a, b] × [c, d], é uma superfı́cie
parametrizada lipschitziana, então tr g tem conteúdo nulo.
Demonstração: Dado n ∈ N, dividamos os intervalos [a, b] a [c, d] em n intervalos
justapostos de largura ∆1 = (b − a)/n e ∆p 2 = (d − c)/n, respectivamete. Isto decompõe R em
2
n retângulos simples de diagonal ∆ = ∆21 + ∆22 . Do lema anterior, vem que o traço da
restrição de g a cada um destes retângulos está contido num retângulo (de R3 ) de volume
8M 3 ∆3 , onde M é a constante de Lipschitz de g. Desta forma, obtemos n2 retângulos que
cobrem o tr g, e cuja soma de seus volumes vale
p
( (b − a)2 + (d − c)2 )3
q
n2 8M 3 ∆3 = n2 8M 3 ( ∆21 + ∆22 )3 = 8M 3 .
n
É este número que queremos fazer menor do que , para > 0 dado. Isto é fácil de fazer. Basta
escolher n com a propriedade:
1
< p .
n 8M 3 ( (b − a)2 + (d − c)2 )3
7.4.11
Definição Uma superfı́cie parametrizada g : [a, b] × [c, d] −→ R3 é de classe C 1 por partes
se é possı́vel decompor [a, b] × [c, d] em um número finito de retângulos simples,
também fechados, tais que a restrição de g a cada um deles é de classe C 1 .
7.4.12
Corolário Se g(u, v) = (x(u, v), y(u, v), z(u, v)), (u, v) ∈ R = [a, b]×[c, d], é uma superfı́cie
parametrizada de classe C 1 por partes, então tr g tem conteúdo nulo.
Demonstração: Por hipótese, [a, b] × [c, d] = R1 ∪ R2 ∪ . . . ∪ Rm , onde R1 , R2 ,. . . , Rm
são retângulos simples fechados, onde a restrição de g a cada um deles é de classe C 1 . Logo, g é
lipschitziana, quando restrita a cada Rk , k = 1, 2, . . . , m, o que segue-se da compacidade destes
retângulos junto com a desigualdade do valor médio (teorema 6.2.3). Da proposição 7.4.10, vem
que o traço de cada uma destas restrições tem conteúdo nulo. Como tr g é a união (finita) deles,
segue-se que tr g tem conteúdo nulo. pppppppppppppppppp
Temos o seguinte teorema, que estende o teorema 7.4.5 para uma classe de funções um
pouco maior. O leitor deve observar que as construções a seguir são exatamente aquelas que
fizemos na secão 7.2, onde estudamos as integrais duplas.
7.4.13
Teorema Seja f : [a1 , b1 ] × [a2 , b2 ] × [a3 , b3 ] −→ R uma função limitada. Se o conjunto dos
pontos de descontinuidade de f tem conteúdo nulo, então f é integrável sobre
[a1 , b1 ] × [a2 , b2 ] × [a3 , b3 ], e a integral não depende dos valores de f em seus pontos de descon-
tinuidade.
A noção de integral tripla sobre uma região simples (veja definição 7.3.16) pode agora ser
introduzida.
7.4.14
Definição Sejam f : D ⊂ R3 −→ R, Ω ⊂ D uma região simples e R um retângulo simples
contendo Ω. Indicaremos por fΩ a função fΩ : R −→ R dada por
f (x, y, z), se (x, y, z) ∈ Ω
fΩ (x, y, z) =
0, se (x, y, z) ∈
/ Ω.
7.4.15
Definição Sejam f : D ⊂ R3 −→ R, e Ω ⊂ D uma região simples contida em um retângulo
simples R ⊂ R3 . Se a função fΩ é integrável sobre R, diremos que f é integrável
sobre Ω. A integral tripla de f sobre Ω é
ZZZ ZZZ
f (x, y, z) dx dy dz = fΩ (x, y, z) dx dy dz .
Ω R ZZZ
A integral tripla de f sobre Ω também é indicada por f (x, y, z)dV .
Ω
330 Integrais Triplas
Observação Note que o valor da integral de fΩ sobre o retângulo R é o mesmo para todo
retângulo R que contenha Ω.
7.4.16
Teorema Sejam f : D ⊂ R3 −→ R limitada, e Ω ⊂ D uma região simples. Se o conjunto
dos pontos de descontinuidade de f tem conteúdo nulo, então f é integrável sobre
Ω, e a integral não depende dos valores de f em seus pontos de descontinuidade.
Demonstração: O conjunto dos pontos de descontinuidade de fΩ é a união das de-
scontinuidades da restrição de f a Ω com, no máximo, a fronteira de Ω, a qual é uma união
finita de traços de superfı́cies parametrizadas de classe C 1 . Logo, o conjunto dos pontos de
descontinuidade de fΩ também tem conteúdo nulo. Portanto, fΩ deve ser integrável sobre R, de
acordo com o teorema 7.4.13. pppppppppppppppppppppp
O teorema abaixo é o análogo do teorema 7.2.20 para integrais triplas. Sua prova não será
abordada. Entretanto, para o caso em que B é um retângulo simples, o leitor poderá imitar
aquela que demos para o teorema 7.2.20.
7.4.17
Teorema Sejam f : D ⊂ R3 −→ R contı́nua sobre a região simples Ω ⊂ D. Então,
ZZZ
(i) f é integrável sobre Ω, isto é, existe f (x, y, z) dx dy dz;
Ω
7.4.18
Exemplo O teorema anterior, junto com o resultado do exemplo 7.3.9, mostra que
468 √
ZZZ ZZ Z
2 2 2
3(x + y )z dx dy dz = dx dy 3(x2 + y 2 )z 2 dz = 3π,
35
Ω | {z }
Ω
7.4.19
Mudança de Variáveis em Integrais Triplas
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
função de classe C 1 no aberto D, e Ωuvw ⊂ D uma região simples com as seguintes
propriedades:
(i) existe C1 ⊂ Ωuvw , de conteúdo nulo, tal que a restrição T : Ωuvw − C1 −→ R3xyz é injetiva;
∂(x, y, z)
(ii) existe C2 ⊂ Ωuvw , também de conteúdo nulo, tal que (u, v, w) = det JT (u, v, w) 6= 0,
∂(u, v, w)
para todo (u, v, w) ∈ Ωuvw − C2 .
7.4.21
Corolário Sejam T : D ⊂ R3uvw −→ R3xyz , T (u, v, w) = (x(u, v, w), y(u, v, w), z(u, v, w)),
um difeomorfismo de classe C 1 no aberto D, e Ωuvw ⊂ D. Se Ωxyz = f (Ωuvw )
e f : Ωxyz −→ R é integrável, então
ZZZ ZZZ
f (x, y, z) dx dy dz = (f ◦ T )(u, v, w)| det JT (u, v, w)| du dv dw .
Ωxyz Ωuvw
Demonstração: Como T é um difeomorfismo, vem que T é injetiva em D e que
∂(x,y,z)
∂(u,v,w)
6= 0, para todo (u, v, w) ∈ D. Logo, podemos usar o teorema 7.4.20, considerando
(u, v, w)
os conjuntos C1 = C2 = ∅. ppppppppppppppppppppppp
7.4.22
Exemplo Dados a > 0, b > 0 e c > 0, consideremos a aplicação 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 condições do
corolário 7.4.21. Assim, se Ωuvw ⊂ R3uvw é uma região simples qualquer e f é uma função
integrável em Ωxyz = T (Ωuvw ), então vale a fórmula
ZZZ ZZZ ZZZ
f (x, y, z) dx dy dz = f (au, bv, cw)abc du dv dw = abc f (au, bv, cw) du dv dw .
Ωxyz Ωuvw Ωuvw
Em particular,
ZZZ ZZZ
vol(Ωxyz ) = dx dy dz = abc du dv dw = abc vol(Ωuvw ).
Ωxyz Ωuvw
Note que se Ωuvw = {(u, v, w); u2 + v 2 + w2 ≤ 1} é a região envolvida pela esfera unitária, então
x2 y 2 z 2
Ωxyz = T (Ωuvw ) = E(a, b, c) = {(x, y, z); + 2 + 2 ≤ 1},
a2 b c
que é o sólido envolvido pelo elipsóide de semi-eixos a, b e c. Logo, vol(E(a, b, c)) = 43 πabc, visto
que vol(Ωuvw ) = 4π/3 (veja os exercı́cios 7-5 e 7-6).
Como observamos na subseção 7.2.28, ao introduzirmos as coordenadas polares, em geral,
não é uma tarefa simples descobrir uma mudança de coordenadas T para o cálculo de uma
integral tripla. Entretanto, para este caso, existem duas mudanças de coordenadas especiais,
as quais podem ser aplicadas a uma gama razoavelmente grande de exemplos. Elas são as
mudanças de coordenadas cilı́ndricas e esféricas. As coordenadas cilı́ndricas em R3 são uma
simples extensão das polares em R2 .
• Coordenadas Cilı́ndricas
7.4.23
Lema Seja TC : R3rθz −→ R3xyz definida por
TC (r, θ, z) = (r cos θ, r sen θ, z) = (T0 (r, θ), z).
∂(x, y, z)
(v) det JTC (r, θ, z) = = r.
∂(r, θ, z)
Demonstração: Se X = (r, θ, z) e Y = (r1 , θ1 , z1 ) são elementos de (0, +∞)×(0, 2π)×R
e TC (X) = TC (Y ), vem que z = z1 , r cos θ = r1 cos θ1 , e r sen θ = r1 sen θ1 . Estas duas últimas
equações implicam que r = r1 , porque r > 0 e r1 > 0. Logo, cos θ = cos θ1 e sen θ = sen θ1 , o
que produz |θ − θ1 | = 2kπ, para algum inteiro k. Como 0 < θ, θ1 < 2π, vem que, p k = 0 e θ = θ1 .
Logo, TC é injetiva, e obtemos (iii). Agora, se (x, y, z) ∈ R3xyz , definimos r = x2 + y 2 e θ como
sendo o ângulo que o vetor (x, y, 0) faz com o eixo-x. Logo, TC (r, θ, z) = (x, y, z). Para finalizar,
temos que
cos θ −r sen θ 0
det JTC (r, θ, z) = det sen θ r cos θ 0 = r(cos θ)2 + r(sen θ)2 = r,
0 0 1
como querı́amos. ppppppppppppppppppppp
z z
6 6
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqzqqqqqqqqqq0qqqqqqqqqqqq
qqq q qq q qqq qqqqqqqqq
q z0
qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqq
(r0 , θ0 , z0 )q
qq q q qq
q qq qqqq
qqqqqqq qq
q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq q qq q qqq
q q q q q q q qqq q q q q q q q qqqq q q q q q q q qq q q q q q qqq q q q qq
q q q q q q q q q q q q q
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqq
qqqq
qqqqqqqq qqq q (r q q q 0qqq cos qqqq q qqθqqqq0qqqqqqq,qqqqqqqqrqqqqqqqqq0qqqqqqqqqsen q q q q qθq0q q,qq zq q0 )
θq0 q TC -
qqq q q q q
qqqqqqqqqqqqqqqqqqzqqqqqqqqqqqqqqqqq= qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq
q q
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq -
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq qq q q q q q q q q q q q 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 qq q q q q q q q q q qq q q q q q q q q q q qq q q q q q
z 0 y
2π θ
r0 q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqq q qqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqθqqqqqqqqqqqqqqqqqqqq= qqqqqqqqqqqqqqθqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqrqqqqqqqqqq= qqqq qqqqqqqqqqqqqqrqqqqqqq0qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq0qqqqqqqqqqqqqqq
q qqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqq
r x
7.4.24
Teorema Se Ωrθz é uma região simples contida em [0, +∞) × [0, 2π] × R, Ωxyz = TC (Ωrθz )
e f : Ωxyz −→ R é integrável, então
ZZZ ZZZ
f (x, y, z) dx dy dz = f (r cos θ, r sen θ, z)r dr dθ dz .
Ωxyz Ωrθz
Em particular, ZZZ
vol(Ωxyz ) = r dr dθ dz .
Ωrθz
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 sólido Ω, delimitado pelo parabolóide z = x2 + y2 e pelo plano
z = 1, que estudamos nos exemplos 7.3.3 e 7.3.8, onde vimos que a projeção de
Ω no plano-xy é o disco unitário
Bxy = B[O, 1] = {(x, y); 0 ≤ x2 + y 2 ≤ 1},
ao qual, em coordenadas polares, corresponde o retângulo simples Brθ = [0, 1] × [0, 2π], isto é,
T0 (Brθ ) = Bxy ou, equivalentemente, T0−1 (Bxy ) = Brθ . Portanto, se Ωxyz = Ω, temos que
Ωrθz = TC−1 (Ωxyz ) = {(r, θ, z) ∈ R3rθz ; 0 ≤ r ≤ 1, 0 ≤ θ ≤ 2π, r2 ≤ z ≤ 1}.
Esta forma de descrever Ωrθz é obtida assim: inicialmente calculamos a projeção Bxy de Bxyz no
plano-xy. A seguir descrevemos Bxy em coordenadas polares, isto é, achamos Brθ = T0−1 (Bxy ),
a qual coincide com projeção de Brθz = TC−1 (Bxyz ) no plano plano-rθ. Feito isto, fixamos um
ponto (x, y) = (r cos θ, r sen θ, 0) ∈ Bxy ⊂ R3xyz e por ele traçamos uma reta paralela ao eixo-z.
Esta reta atravessa o sólido Ωxyz começando 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 descrição de Ωrθz , que é o sólido
do espaço R3rθz , delimitado pelos planos r = 0, r = 1, θ = 0, θ = 2π, z = 1 e pelo cilindro
parabólico z = r2 , como mostra a figura 133.
z
z 6
qqqqqqqqqqq
6
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq z = 1
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqzqqqqqqqqqqqqqqqqqqqqq=
qqqqqqqqqqqqqqq1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
TC - qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqq
q qqq q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqΩ
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq qqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqxyz q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqq
z = x2 + y 2 = r 2
qqqqqqqqΩ qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqq
q q q q q q q q qq q q qq q q q q
q q q q q qq qq q q qq qq q q q q q q q q q
qqqqqqqqqqqqqqqqqqqqqqrθz qqqqqqqqqqqqqqqqqqqqqqrqqqqqqqqq2qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqy) qqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqzqqqqqqqqqqqqqqqq= - qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq(x, qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq= (r -cos θ, r sen θ)
2π θ qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq y
B q (r, θ, 0) xy B
1 q rθ
r x
Figura 133
Portanto, dada f integrável sobre Ω, temos que
ZZZ Z 1 Z 2π Z 1
f (x, y, z) dx dy dz = rf (r cos θ, r sen θ, z) dr dθ dz .
0 0 r2
Ω
Ωrθz = {(r, θ, z) ∈ R3rθz ; (r, θ) ∈ Brθ , g1 (r cos θ, r sen θ) ≤ z ≤ h1 (r cos θ, r sen θ)}.
7.4.27
Exemplo Neste exemplo, calcularemos o momento de inércia (veja o exercı́cio 7-19) com
relação ao eixo-z, Ieixo-z (Ω), do sólido Ω 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 também estudado
no exemplo 7.3.9. Temos que a projeção de Ω sobre o plano-xy é o anel
Logo, √ √
Ωrθz = {(r, θ, z) ∈ R3rθz ; (r, θ) ∈ Brθ , − 4 − r2 ≤ z ≤ 4 − r2 },
336 Integrais Triplas
desde que
p p
Ω = {(x, y, z); 1 ≤ x2 + y 2 ≤ 2, − 4 − x2 − y 2 ≤ z ≤ 4 − x2 − y 2 }.
√ !
ZZZ ZZ Z 4−r2
Ieixo-z (Ω) = (x2 + y 2 ) dx dy dz = √
dz r3 dr dθ
− 4−r2
Ω Brθ
π
Z 2π Z 2
3
√ Z
2
=2 dθ 2
r 4 − r dr = 128π cos2 u sen3 u du (r = 2 sen u)
π
0 1 6
π π
−cos3 u cos5 u 2 44 √
Z
2
= 128π (cos2 u sen u − cos4 u sen u) du = 128π + = π 3.
π
6
3 5 π 5
6
√
No exemplo 7.3.9, calculamos o volume de Ω, e obtivemos vol(Ω) = 4π 3. Ainda naquele
exemplo, observamos que este cálculo poderia ser feito usando as seções transversais de Ω rel-
ativamente ao eixo-z. Na verdade, esta técnica pode ser estendida para cálculo de integrais
de funções que dependem só de z. Vejamos como. Para calcular a integral de f (x, y, z) = z 2
sobre Ω, poderı́amos usar coordenadas cilı́ndricas e obter
√ !
ZZZ ZZZ ZZ Z 4−r2
z 2 dx dy dz = z 2 r dr dθ dz = √
z 2 dz r dr dθ
− 4−r2
Ω Ωrθz Brθ
2π 2 √ 12 √
Z Z
2
=− dθ r(−4 + r2 ) 4 − r2 dr = π 3,
3 0 1 5
Alternativamente, usando o método das seções transversais (veja o exercı́cio 7-6), temos que
√
3
12 √
ZZZ Z
2
z dx dy dz = π √
z 2 (3 − z 2 ) dz = π 3,
− 3 5
Ω
visto que, fixado z, a seção transversal Sz de Ω tem área π(3 − z 2 ). Para outras aplicações desta
técnica, veja a sugestão do item (c) do exercı́cio 7-12.
Integração nos Espaços Euclidianos 337
z
7.4.28 6
Exemplo Vamos usar o corolário 7.4.26 para cal- qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
cular o volume do sólido Ω delimitado q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq
qqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqq qqqqqqqqqqq qΩ qqqqqqqqqqqqqqqq qqqqqqqqqqq
pela esfera x2 + y 2 + z 2 = 4 e pelo cilindro circular qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqq
qqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq -
qqqqqq q q qqqqq q q q q q
reto (x − 1)2 + y 2 = 1. Das simetrias de Ω, vem que qqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqq
qqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq y
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Z π/2 Z 2 cos θ √ qqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqq
qqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqq
vol(Ω) = 4 dθ r 4 − r2 dr qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q
0 Z 0 x
32 π/2 32 π/2
Z
3
=− (−1 + | sen θ| ) dθ = − (−1 + sen3 θ) dθ
3 0 3 0
Figura 135
32 π/2
Z
=− (−1 + sen θ(1 − cos2 θ)) dθ
3 0
π/2
cos3 θ
32 16
=− −θ − cos θ + = (−4 + 3π).
3 3
0 9
• Coordenadas Esféricas
7.4.29
Lema Seja TE : R3ρθϕ −→ R3xyz definida por
TE (ρ, θ, ϕ) = (ρ cos θ sen ϕ, ρ sen θ sen ϕ, ρ cos ϕ).
(i) o retângulo simples ρ = ρ0 , ρ0 fixo, θ ∈ [0, 2π] e ϕ ∈ [0, π], é transformado por TE na esfera
de raio ρ0 e centro (0, 0, 0), isto é, a esfera S 2 (ρ0 ) (veja a figura 136 a seguir);
(ii) a faixa θ = θ0 , θ0 fixo, ρ ≥ 0 e ϕ ∈ [0, π] é transformada por TE no semi-plano que que
contém o eixo-z e faz um ângulo θ0 com o plano-xz;
(iii) a faixa ϕ = ϕ0 , ϕ0 fixo, ρ ≥ 0 e ϕ ∈ [0, 2π] é transformada
p por TE no cone com eixo igual
ao eixo-z e de ângulo ϕ0 , isto é, o cone z = (cotg ϕ0 ) x2 + y 2 ;
(iv) a restrição de TE a [0, +∞) × [0, 2π) × [0, π) é sobrejetiva;
(v) a restrição de TE a (0, +∞) × [0, 2π) × (0, π) é injetiva;
∂(x, y, z)
(vi) | det JTE (ρ, θ, ϕ)| = | | = ρ2 sen ϕ.
∂(ρ, θ, ϕ)
Demonstração: Seja X = (x, y, z) = TE (ρ, θ, ϕ). É claro que x2 + y 2 + z 2 = ρ2 . Logo,
se ρ = ρ0 , segue-se (i). Para (ii), observe
p que (cos θ)y = (sen θ)x, que é um plano perpendicular
ao plano-xy,p se θ é constante. De x2 + y 2 = ρ| sen ϕ| = ρ sen ϕ e z = ρ cos ϕ obtemos que
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 ângulo que a projeção de X no plano-xy faz com eixo-x,
338 Integrais Triplas
√ √
isto é, θ é o ângulo que (a, b, 0) faz com o eixo-x. Logo, a = a2 + b2 cos θ e b = a2 + b2 sen θ.
Agora, sejam ϕ o√ângulo, 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) vêm dos exemplos 6.3.9 e 4.4.17, respectivamente. ppppppppppppppppppppp
ϕ z
6 6
ϕ0
πq U
ϕ0
q qq
q qqq qqq
q q q q q qq q qqqqqqqqqqqqqqqqqqqqqq
q qqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqT qqqq E (ρ0 , θ0 , ϕ0 )
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqρqqqqqqqqqqqqqqq0qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
θ0 2π - TE -
θ qqqqqqqqqqqqqqqqqqqqqqqqqqqq
ρ0 qqqqq -
1 y
θ0
ρ
x
Figura 136: Coordenadas Esféricas
Temos o seguinte teorema, cuja prova, análoga à prova do teorema 7.4.24, será deixada
como exercı́cio.
7.4.30
Teorema Se Ωρθϕ é uma região simples contida em [0, +∞)×[0, 2π]×[0, π], Ωxyz = TE (Ωρθϕ )
e f : Ωxyz −→ R é integrável, então
ZZZ ZZZ
f (x, y, z) dx dy dz = f (ρ cos θ sen ϕ, ρ sen θ sen ϕ, ρ cos ϕ)ρ2 sen ϕ dρ dθ dϕ .
Ωxyz Ωρθϕ
Em particular,
ZZZ
vol(Ωxyz ) = ρ2 sen ϕ dρ dθ dϕ .
Ωρθϕ
7.4.31
Exemplo Neste exemplo, trabalharemos com o setor esférico Se (a, α) determinado
p pela
esfera de raio a, x2 + y 2 + z 2 = a2 , e pelo cone de ângulo α, z = (cotg α) x2 + y 2 ,
com vemos na figura 137. Dado um ponto qualquer X = (x, y, z) ∈ Se (a, α), observe que o ângulo
ϕ que X faz com o eixo-z varia de 0 a α. A norma de X, ρ, varia de 0 a a e o ângulo θ que a
projeção de X no plano-xy faz com eixo-x varia de 0 a 2π. Isto significa que Se (a, α) = TE (Ωρθϕ ),
Integração nos Espaços Euclidianos 339
z
6
ϕ α
6
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q qq
q q q q U
αqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qq q qq
q q q
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqρθϕ qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqq(a, qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqϕ qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqΩ
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq TE - qS qqqqqqqqqα)
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqeqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqUqqqqqqqqqqqqqqqqqq
qqqqqqqqX qqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqq 2π θ qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
-
q qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqρ q
q qq q
q q q q
a 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 qq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq q qqqqq -
y
ρ 1
θ
x
onde Ωρθϕ é o retângulo simples Ωρθϕ = [0, a] × [0, 2π] × [0, π]. Portanto, dada f integrável sobre
Se (a, α), vale
ZZZ Z 2π Z α Z a
f (x, y, z) dx dy dz = dθ dϕ f (ρ cos θ sen ϕ, ρ sen θ sen ϕ, ρ cos ϕ)ρ2 sen ϕ dρ .
0 0 0
Se (a,α)
Vejamos, agora, o cálculo de algumas integrais sobre Se (a, α). Inicialmente, computaremos o
seu volume. Temos que
Z 2π Z α Z a
vol(Se (a, α)) = dθ dϕ ρ2 sen ϕ dρ
0 0 0
2πa3 α 2πa3
Z
= sen ϕ dϕ = (1 − cos α).
3 0 3
3
Observe que quando α tende a π, obtemos vol(Se (a, π)) = 4πa3
, que é o volume da esfera (sólida)
de raio a. Para calcular a integral de f (x, y, z) = x + y + z 2 , observamos que a composição
2 2
e, portanto,
ZZZ Z 2π Z α Z a
2 2 2
(x + y + z ) dx dy dz = dθ dϕ ρ4 sen ϕ dρ
0 0 0
Se (a,α)
α
2πa5 2πa5
Z
= sen ϕ dϕ = (1 − cos α).
5 0 5
340 Integrais Triplas
Segue-se daı́ que o momento de inércia da esfera (sólida) de raio a com relação a um eixo que
passa por seu centro é 8πa5 /15 (veja o exercı́cio 7-19-(b)).
7.4.32
Exemplo Uma cunha esférica de ângulo β é um sólido delimitado por uma esfera e dois semi-
planos, que partem de um mesmo diâmetro da esfera e fazem um ângulo β entre si,
como vemos na figura 138. Neste exemplo, trabalharemos com a cunha esférica determinada na
esfera S 2 (a) pelos semiplanos y = 0 e y = (tg β)x, x ≥ 0, a qual indicaremos por Ce (a, β). Neste
caso, o ângulo α mede 0 e o ângulo β está sendo medido a partir do plano-xz. Note que se β = 2π,
obtemos a esfera sólida (B[a]) de raio a. A de- z
scrição da cunha Ce (a, β) é bastante simples: nela 6
qqqqqqqqqqqqqqqqq
qqq
qqqq
ρ varia de 0 a a, θ varia de 0 a β e φ de 0 a π. qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Logo, qqqqqqqqqqqqqq qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqeqqqqq qq(a,
C qqqqqqqqqqqqqqqqqqβ) qqqqqqqqq
Ce (a, β) = TE ([0, a] × [0, β] × [0, π]), qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqq qqqqqq qqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqq
-
α y
q :qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
e, portanto, qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
β π a qqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqq qqqqqq y = (tg(α + β))x
Z Z Z
vol(Ce (a, β)) = dθ dϕ ρ2 sen ϕ dρ x β1
0 Z 0 0 y = (tg β)x
βa3 π 2βa3
= sen ϕ dϕ = .
3 0 3 Figura 138: Cunha esférica
Outra vez, agora fazendo β = 2π, reobtemos o volume da esfera: 4πa3 /3.
7.4.33
Exemplo Seja Ω o sólido delimitado pela esfera x2 + y2 + (z − a)2 = a2 , isto é, Ω é a
bola fechada de centro (0, 0, a) e raio a. Qual a descrição de Ω em coordenadas
Integração nos Espaços Euclidianos 341
Segue-se daı́ que ρ = 2a cos ϕ ao atingir a esfera. O outro modo de determinar o valor de ρ
ao atingir a esfera é próprio deste exemplo e vem do fato que o triângulo mostrado na figura
é retângulo e sua hipotenusa vale 2a. Portanto, a região Ωρθϕ ⊂ R3ρθϕ tal que Ω = TE (Ωρθϕ ) é
dada por
π
Ωρθϕ = {(ρ, θ, ϕ); 0 ≤ θ ≤ 2π, 0 ≤ ϕ ≤ , 0 ≤ ρ ≤ 2a cos ϕ}.
2
2 2
Agora, se f (x, y, z) = x + z , sua integral sobre Ω, vale
π
ZZZ Z 2π Z
2
Z 2a cos ϕ
2 2
(x + z ) dx dy dz = dθ sen ϕ dϕ ρ2 (ρ2 sen2 ϕ cos2 θ + ρ2 cos2 ϕ) dρ
0 0 0
Ω
32a5 2π
Z Z α
sen ϕ cos5 ϕ cos2 θ − cos7 ϕ cos2 θ + cos7 ϕ dϕ
= dθ
5
Z 2π 0 0
4 5 4 5 28
= a cos θ + a dθ = πa5 ,
2
0 15 5 15
que é o momento de inércia de uma bola de raio a com relação a uma reta tangente. Poderı́amos,
também, calcular a integral acima usando a técnica das seções transversais, como fizemos no
exemplo 7.4.27. De fato,
ZZZ Z a Z a
2 2 4
x dx dy dz = x área(Sx ) dx = π x2 (a2 − x2 ) dy = πa5 ,
−a −a 15
Ω
√
onde Sx indica a seção de Ω no plano x constante, a qual é um disco de raio a2 − x2 . Por
342 Integrais Triplas
outro lado,
ZZZ Z 2a Z 2a
2 2 8
z dx dy dz = z área(Sz ) dy = π z 2 (a2 − (z − a)2 ) dz = πa5 ,
0 0 5
Ω
p
onde Sz indica a seção de Ω no plano z constante, que é um disco de raio a2 − (z − a)2 .
Portanto, reobtemos
ZZZ ZZZ ZZZ
2 2 2
(x + z ) dx dy dz = x dx dy dz + z 2 dx dy dz
Ω Ω Ω
4 5 8 5 28 5
= πa + πa = πa .
15 5 15
7
Exercı́cios
344 Integração – Exercı́cios
7-3 Calcule as seguintes integrais iteradas. Se surgirem grandes dificuldades, tente inverter a
ordem de integração.
Z 1 Z 1√
(a) dy √ 1 − x3 dx;
0 y
√
Z 1 Z x
sen y
(b) dx dy;
0 x y
√
Z 1 Z 1−x2
1
(c) dx p dy;
0 0 1 − x2 − y 2
√
Z 1 Z 1−x2
(d) dx dy;
−1 0
Z 1 Z z Z y
(e) dz dy dx;
0 0 0
Z 1 Z 1
5
(f) dx √
ey dy;
0 4 x
Z 2 Z 3
(g) dy |x − 2| sen y dx;
0 1
Z 1 Z x Z x+y Z z
(h) dx dy dz dw.
0 −x −x−y −z
Nos exercı́cios, a partir do exercı́cio 7-20, devem ser usados os teoremas da Mudança de Variáveis em
integrais duplas e triplas.
Integração – Exercı́cios 345
onde Ωz , a ≤ z ≤ b , é a seção de Ω, transversal ao eixo-z. Use este fato, junto com o o item
(a) do exercı́cio 7-4, para calcular o volume do sólido envolvido pelo elipsóide
x2 y 2 z 2
E(a, b, c) = {(x, y, z); + 2 + 2 = 1}.
a2 b c
Agora reobtenha o item (a) do exercı́cio 7-5.
ZZ
7-7 Usando somas de Riemann convenientes, calcule f (x, y) dx dy, onde f e B são como
B
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 exercı́cio anterior com o auxı́lio 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
346 Integração – Exercı́cios
ZZ p
7-10 Calcule x2 − y 2 dx dy, onde B é a região limitada pelo triângulo de vértices (0, 0),
B
(1, −1) e (1, 1).
7-11 Seja Ω ⊂ R3 a região compreendida entre os planos z = 0, z = 1, y = x, y = 1 e x = 0.
(a) Esboce Ω e suas projeções nos planos coordenados;
3
(b) Escreva as integrais iteradas de f (x, y, z) = 12xzey sobre Ω nas formas
ZZ Z ZZ Z ZZ Z
dx dy f (x, y, z) dz , dy dz f (x, y, z) dx e dx dz f (x, y, z) dy .
| {z } | {z } | {z }
Ω Ω Ω
7-16 O centro de massa de uma região Ω ⊂ R3 é 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= z dx dy dz .
vol(Ω)
Ω
Calcule os centros de massa das seguintes regiões.
(a) A esfera x2 + y 2 + z 2 ≤ a2 , a > 0;
(b) O hemisfério x2 + y 2 + z 2 ≤ 1 com z ≥ 0;
(c) O tronco cilı́ndrico x2 + y 2 ≤ 1, 0 ≤ z ≤ 2.
7-17 Mostre que centro de massa de um bola fechada no R3 é seu centro.
7-18 Sabendo que
Z 2 Z √
2x−x2 Z √4−x2 −y2
vol(Ω) = dx dy √ dz,
0 0 − 4−x2 −y 2
esboce Ω.
7-19 O momento de inércia de um sólido Ω ⊂ R3 com relação a uma reta l é definido por
ZZZ
Il (Ω) = (d(x, y, z))2 dx dy dz,
Ω
7-20 Seja T : R2 −→ R2 , (u, v) 7−→ T (u, v), a aplicação linear cuja matriz com relação à base
canônica é dada por
a 0
[T ] = ,
0 b
7-21 Seja T a transformação do plano uv no plano xy dada por x = u e y = v(1 + u2 ) e seja Buv
a região triangular delimitada pelo eixo-u, eixo-v e a reta u + v = 2.
Z 2 Z (2−x)(1+x2 ) Z 2 Z 2−u
dx f (x, y)dy = du f (u, v(1 + u2 ))(1 + u2 )dv.
0 0 0 0
7-22 Seja T : R2 −→ R2 , definida por T (u, v) = (u2 − v 2 , 2uv). Defina os seguintes conjuntos:
7-23 Seja 4 o triângulo delimitado pelo eixo-x, eixo-y e pela reta x + y = 1. Seja ϕ uma função
contı́nua de uma variável no intervalo [0, 1]. Dados m e n inteiros positivos, defina
ZZ
J(m, n) = ϕ(x + y)xm y n dx dy .
4
calcule a, b e V .
7-30 Use coordenadas esféricas para calcular vol(Ω).
(a) Ω é o sólido 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);
√
2 2 2 2 a 2
(b) Ω é a calota da esfera x + y + z = a , determinada pelo plano z = ;
2
(c) Ω é o sólido 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) Ω é o sólido situado dentro da esfera x2 + y 2 + z 2 = 2az, a > 0, e que está fora do cone
z 2 = x2 + y 2 .
ZZZ
7-31 Use coordenadas esféricas para calcular f (x, y, z)dV .
Ω
representa, em coordenadas esféricas, a integral (tripla) de f (x, y, z) sobre uma certa região
Ωxyz ⊂ R3xyz .
(a)
Determine f .
(b)
Esboce Ωxyz .
(c)
Calcule vol(Ωxyz ).
(d)
Calcule a integral.
ZZZ
dV
7-33 Calcule a integral p , onde
x + y 2 + (z − 2)2
2
Ω
Sugestões
e
Respostas
Sugestões e Respostas 353
7-1
Z 1 Z 3y Z 2 Z 3 Z 6 Z 3
(a) dy f (x, y) dx + dy f (x, y) dx + dy f (x, y) dx.
1/3 1 1 1 2 y/2
Z 4 Z x Z 6 Z 4 Z 10 Z 10−x
(b) f (x, y) dy +
dx dx f (x, y) dy + dx f (x, y) dy.
0 0 4 0 6 0
Z 3 Z √9−y2
(c) dy f (x, y) dx .
0 0 √
√ √ √
Z 1/2 Z 2x Z 2 Z 1 Z 3 Z 3−x2
(d) dx f (x, y) dy + dx f (x, y) dy + √
dx f (x, y) dy.
0 0 1/2 0 2 0
Z 1 Z −y Z 1 Z 1
(e) dy f (x, y) dx + dy f (x, y) dx.
0 −1 0 y
Z log(3) Z 3
(f) dy f (x, y) dx.
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
(a) 2/9.
(b) 1 − sen 1.
(c) π/2.
(d) π/2.
(e) 1/6.
e−1
(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
354 Sugestões e Respostas
7-5
(a) 34 πa3 .
(b) 10/3.
(c) 8π.
(d) 5/12.
√
(e) 8π 2.
(f) 16a3 /3.
ZZZ Z c
4
7-6 vol(Ω) = πabc. Para obter isto, escreva vol(Ω) = dx dy dz = área(Ωz ) dz, onde
3 −c
Ω
Ωz é a região cercada pela elipse
x2 y2
+ = 1,
a2 (c2 − z 2 ) b2 (c2 − z 2 )
c2 c2
Z c
πab πab
que tem área dada por área(R) = 2 (c2 − z 2 ). Logo, vol(Ω) = 2 (c2 − z 2 ) dz, o que
c c −c
dá o resultado.
7-7
2
3 3 3 2 n(1 + n)
(a) 7/12. (Você precisará de 1 + 2 + · · · + n = (1 + 2 + · · · + n) = .)
2
(b) 1.
(c) 0.
7-8
(a) 7/12.
(b) 1.
(c) 0.
2
7-9 Identifique o somatório dado como uma soma de Riemann de f (x, y) = xex +y em [0, 1] ×
[0, 1], associada à partição dada por xi = i/n, 0 ≤ i ≤ n e yj = j/n, 0 ≤ j ≤ n. O limite
procurado é (e −1)2 /2.
7-10 π/6.
7-11
Z 1 Z 1 Z 1 Z 1 Z 1 Z y Z 1 Z 1 Z 1
(b) dx dy f dz, dy dz f dx, dz dx f dy.
0 x 0 0 0 0 0 0 x
(c) e-1.
(d) 1/2.
Sugestões e Respostas 355
7-12
(a) 0.
59 5
(b) πa (use o exercı́cio 7-6).
480
(c) Vamos usar a idéia do exercı́cio 7-6, aplicada a cada parcela da integral. Temos que
ZZZ ZZZ ZZZ ZZZ
(x + y + z) dx dy dz = x dx dy dz + y dx dy dz + z dx dy dz
Ω Ω Ω Ω
Mas,
ZZZ ZZZ Z a Z a
π
y dx dy dz = x dx dy dz = x área(Sx ) dx = x(a2 − x2 ) dx = 0
−a 2 −a
Ω Ω
e
a a
πa4
ZZZ Z Z
z dx dy dz = z área(Sz ) dz = π z(a2 − z 2 ) dz = .
0 0 4
Ω
πa4
ZZZ
Logo, (x + y + z) dx dy dz = .
4
Ω
5
64a 26
(d) (π − ).
15 15
(e) 4π (use as seções transversais ao eixo-x. Neste caso, área(Rx ) = πx. Agora integre em
[0, 2]).
7-13
(a) 16.
5πa3
(b) .
12
2
(c) πa3 .
3
8a3
(d) (3π − 4).
9
(e) 2π.
7-14
4a 4a
(a) ( , ).
3π 3π
12
(b) (− , 2).
5
(c) (0, 0).
7-16
(a) (0, 0, 0).
(b) (0, 0, 3/8).
(c) (0, 0, 1).
356 Sugestões e Respostas
7-19
(b) 8πr5 /15.
(c) πah4 /2.
πa2 h (3a2 + h2 )
(d) .
12
1
(e) abc(a2 + b2 ).
12
(f) Use a proposição 1.3.25.
7-21
(b) A(Bxy ) = 10/3.
7-22
(a) Vamos usar números 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 equação à se-
gunda 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 não pode ocorrer porque u1 e u2 são 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 2
f (x, y) dx
y
−4 4
−1 −2 1− y4
Bxy
2
Z 4 Z 4− y16
+ dy f (x, y) dx .
y2
2 4
−1
(e) 8.
(f) 48.
(g) 64/3.
7-23
(b)
Z 1 Z u Z 1 Z u
m n
J(m, n) = du ϕ(u)(u − v) u dv = ϕ(u) du (u − v)m un dv
0 0 0 0
u Z u Z u
(u − v)n v n+1 m m−1 n+1 m
= + n+1 (u − v) v dv = (u − v)m−1 v n+1 dv,
n+1 0 0 n + 1 0
7-24
3π 3
(a) + .
4 2
2
3πa
(b) .
2
(π + 8)a2
(c) .
4
π+1
(d) .
2
7-25
3π
(a) .
2
2a3 (3π − 4)
(b) .
9
(c) πa3 .
(π + 8)a2 h
(d) .
4
9π
(e) .
4
7-26
2
(a) Use coordenadas polares e obtenha π(1 − e−a ).
(b) Segue-se do item anterior, fazendo a → ∞.
Z +∞ Z +∞ Z +∞
−x2 2 −x2 −y 2
(c) Seja l = e dx. Logo, l = e dx e dy .
−∞ −∞ −∞
7-27
(a) πa3 .
√
4πa3 (8 − 3 3)
(b) .
3
(c) π/2.
√
πa3 (8 2 − 7)
(d) .
6
7-28
16a2
(a) .
9
65π
(b) .
4
√
7-29 a = 2, b = 1 e V = 4π 3.
358 Sugestões e Respostas
7-30
√ !
4πa3 2
(a) 1− .
3 2
πa3 √
(b) (8 − 5 2).
12√
2π 2 3
(c) a.
3
πa3
(d) .
3
7-31
4πa5
(a) .
15
4π
(b) .
15
π √
(c) (8 − 5 2).
30
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 √
128π 1 √ 2 3 2 √ 2 3
(d) . (Use u3 a2 − u2 du = − u2 a − u2 − a2 a − u2 .)
35 5 15
7-33
(a) Use coordenadas esféricas em Rρθϕ = [0, 1]×[0, 2π]×[0, π] e integre primeiro com relação
2π
a ϕ. O valor da integral é .
3
(b) Use coordenadas cilı́ndricas
√ e integre√primeiro com √relação a r,√depoiscom relação a z.
O valor da integral é π 3 10 + log( 2 − 1) − log( 10 − 3) − 2 − 8 .
Sugestões e Respostas 359