INTEGRAL DUPLA

Edson Vargas

Edson Vargas, IME - USP São Paulo, 2024

I NTEGRAL

F IGURA : B. Cavalieri, F IGURA : B. Riemann,

1598:1647 1826:1866

F IGURA : H. Lebesgue, F IGURA : G. Fubini,

1875:1941 1879:1943

Edson Vargas, IME - USP São Paulo, 2024

I NTEGRAL EM DUAS VARIÁVEIS REAIS ( RETÂNGULOS )
massa, área, volume

1 z = f (x, y ), a ≤ x ≤ b e c ≤ y ≤ d, função limitada.

2 P1 = {a = x0 < x1 < · · · < xn−1 < xn = b} e
P2 = {c = y0 < y1 < · · · < ym−1 < ym = d},
partições de [a, b] e [c, d], respectivamente.
3 Rij = [xi−1 , xi ] × [yj−1 , yj ], subretângulos
P = {Rij : i = 1, . . . , n e j = 1, . . . , m}, Partição do
retângulo R = [a, b] × [c, d].
4 ℘ = {(pi , qj ) : (pi , qj ) ∈ Rij , i = 1, . . . , n e j = 1, . . . , m},
pontilhado de P.
5 ∥P∥ = max{diam(Rij ) : i = 1 . . . n e j = 1, . . . , m}, norma
de P.
m X
X n
S(P, ℘, f ) = f (pi , qj )Área(Rij ) Soma de Riemann.
j=1 i=1

Edson Vargas, IME - USP São Paulo, 2024

I NTEGRAL EM DUAS VARIÁVEIS REAIS ( RETÂNGULOS )

ZZ
se o limite existe, f
chama-se integrável
f (x, y ) dxdy = lim S(P, ℘, f )
R ∥P∥→0 em R
Integral dupla

▷ lim∥P∥→0 S(P, ℘, f ) = L ⇐⇒ ∀ε > 0, ∃ δ > 0 tal que, se

∥P∥ < δ ⇒ | S(P, ℘, f ) − L |< ε, independentemente de ℘.

Edson Vargas, IME - USP São Paulo, 2024

 I NTEGRAL DUPLA EM REGIÕES LIMITADAS DO PLANO

z = f (x, y ), (x, y ) ∈ D, onde f e D ⊂ R2 são limitados.

Escoha um retângulo R que contenha D e defina
(
f (x, y ), se (x, y ) ∈ D
F (x, y ) =
0, se (x, y ) ∈ R \ D
2.0

1.5

1.0
D

0.5

0.5 1.0 1.5

f chama-se integrável em D se F for integrável em R

ZZ ZZ
f (x, y ) dxdy = F (x, y ) dxdy = lim S(P, ℘, F )
D R ∥P∥→0

Edson Vargas, IME - USP São Paulo, 2024

I NTEGRAL DUPLA EM REGIÕES LIMITADAS DO PLANO
ZZ ZZ
f (x, y ) dxdy = F (x, y ) dxdy = lim S(P, ℘, F )
D R ∥P∥→0

ZZ
▷ Se f (x, y ) ≥ 0 é integrável em D, então f (x, y ) dxdy , é
D
a massa de D ou volume abaixo do gráfico.
ZZ
▷ Se f (x, y ) = 1 é integrável em D, então dxdy = Área(D)
D

Edson Vargas, IME - USP São Paulo, 2024

R EGIÕES DE INTEGRAÇÃO

Região D do tipo I
(
ϕ(x) ≤ y ≤ ψ(x), ϕ e ψ contínuas em [a, b]
D=
a≤ x ≤ b, a, b ∈ R

Y
3

X
0.5 1.0 1.5 2.0 2.5
-1

Edson Vargas, IME - USP São Paulo, 2024

R EGIÕES DE INTEGRAÇÃO

Região D do tipo II
(
ϕ(y ) ≤ x ≤ ψ(y ), ϕ e ψ são contínuas em [a, b]
D=
a≤ y ≤ b, a, b ∈ R
Y
Y
1.0

2.5
0.8
2.0

1.5 0.6

1.0 0.4

0.5 0.2

X
-1 1 2 3 0.2 0.4 0.6 0.8 1.0
X

▷ Obs: a região à direita é dos tipos I e II, simultaneamente.

Edson Vargas, IME - USP São Paulo, 2024

E XISTÊNCIA DA INTEGRAL DUPLA

T EOREMA
Se D é uma região do tipo I ou II e z = f (x, y ), (x, y ) ∈ D,
é contínua, então
ZZ f é integrável em D, ou seja, existe a
integral dupla f (x, y ) dxdy .
D

Edson Vargas, IME - USP São Paulo, 2024

I NTEGRAL DUPLA E INTEGRAL ITERADA

T EOREMA (F UBINI )
(
ϕ(x) ≤ y ≤ ψ(x)
Seja D = , onde ϕ e ψ são
a≤ x ≤b
contínuas. Se z = f (x, y ) é contínua em D, então f é
integravel e vale:
ZZ Z bZ ψ(x)
f (x, y ) dxdy = f (x, y ) dydx
D a ϕ(x)

Y
3

X
0.5 1.0 1.5 2.0 2.5
-1

Edson Vargas, IME - USP São Paulo, 2024

I NTEGRAL DUPLA E INTEGRAL ITERADA

T EOREMA (F UBINI )
(
ϕ(y ) ≤ x ≤ ψ(y )
Seja D = , onde ϕ e ψ são
a≤ y ≤b
contínuas. Se z = f (x, y ) é contínua em D, então f é
integravel e vale:
ZZ Z bZ ψ(y )
f (x, y ) dxdy = f (x, y ) dxdy
D a ϕ(y )

Y
2.5

2.0

1.5

1.0

0.5

X
-1 1 2 3

Edson Vargas, IME - USP São Paulo, 2024

E XEMPLO
ZZ
▷ Calcule x dxdy , onde D é a região limitada por
D
y = 2x 2 − x e y = x 3 − 4x 2 + 8x.
▷ Interseção de y = 2x 2 − x e y = x 3 − 4x 2 + 8x:
2x 2 − x = x 3 − 4x 2 + 8x ⇒ x 3 − 6x 2 + 9x = 0 ⇒
x(x 2 − 6x + 9) = 0 ⇒ x = 0 ou x = 3.
(
2x 2 − x ≤ y ≤ x 3 − 4x 2 + 8x
▷D=
0≤ x ≤3
ZZ Z 3Z x 3 −4x 2 +8x
▷ x dxdy = x dydx =
D Fubini 0 2x 2 −x
!
x 5 6x 4
Z 3  3
x 3 − 6x 2 + 9x x dx = − + 3x 3 =
0 5 4 0
35 6(3)4 4(3)5 − 10(3)5 + 20(3)4 34
− + 34 = =
5 4 20 10

Edson Vargas, IME - USP São Paulo, 2024

E XEMPLO - L ISTA 1
Z 1Z 3
2
▷ Calcule e x dxdy
0 3y
ZZ
2
▷ Essa integral é igual a e x dxdy , onde
( D (
3y ≤ x ≤3 0≤ y ≤ x/3
▷D= ⇒ D=
0≤ y ≤1 0≤ x ≤3
Z 1Z 3 ZZ Z 3Z x/3
x2 x2 2
▷ e dxdy = e dxdy = e x dydx =
0 3y D 0 0
2
e x 3 e9 − 1
Z 3
x x2
e dx = =
0 3 6 0 6
Y Y
1.0 1.0

0.8 0.8

0.6 0.6

0.4 0.4

0.2 0.2

X X
0.5 1.0 1.5 2.0 2.5 3.0 0.5 1.0 1.5 2.0 2.5 3.0

Edson Vargas, IME - USP São Paulo, 2024

E XEMPLO
Z 2Z 4−x 2
▷ Calcule x 2 dydx
0 3x
Z 2 
▷ Essa integral é igual a 4 − x 2 − 3x x 2 dx =
0
!
4x 3 x5 3x 4 2 25 25 3(25 ) (40 − 24 − 45) 25
− − = − − =
3 5 4 0 3 5 8 120
29 5
=− 2 <0
120
▷ Essa integral não é uma integral dupla.
▷ Integral dupla de função positiva é positiva.

Edson Vargas, IME - USP São Paulo, 2024

E XEMPLO - L ISTA 1

Determine o volume do sólido S contido no primeiro octante

e limitado por z = 9 − y 2 e 
pelo plano x = 2.
(
0 ≤ z
 ≤ 9 − y2
0 ≤ z ≤ 9 − y2

(
S= = 0≤y ≤3
(x, y ) ∈ D D = 0 ≤ x ≤ 2



ZZ Z 2Z 3
Vol(S) = (9 − y 2 )dxdy = (9 − y 2 )dydx =
D Fubini 0 0
Z 2
2
2(9 − y )dx = 54 − 54/3 = 36
0

Edson Vargas, IME - USP São Paulo, 2024

T EOREMA (M UDANÇA DE VARIÁVEL EM R)
Se f : [c, d] → R é uma função contínua e x = x(u),
a ≤ u ≤ b, é C 1 numa vizinhança de [a, b] e uma bijeção de
[a, b] sobre [c, d], com derivada não-nula, então vale:
Z b Z d
f (x(u))|x ′ (u)|du = f (x)dx
a c

f f

3.0 3.0

2.5 2.5

2.0 2.0

1.5 1.5

1.0 1.0

0.5 0.5

u x
-1.0 -0.5 0.5 1.0 1.5 2.0 0.2 0.4 0.6 0.8 1.0 1.2 1.4

Edson Vargas, IME - USP São Paulo, 2024

T EOREMA (M UDANÇA DE VARIÁVEIS EM R2 )
Sejam A ⊂ R2 aberto e D ⊂ A, uma região do tipo I ou II.
Seja T : A → R2 uma transformação C 1 tal que:
1 T é bijeção do interior de D sobre o interior de T (D);
2 det (JacT (u, v )) não se anula no interior de D.

Então, se f : T (D) → R é contínua, vale que:

∂(x, y )
ZZ ZZ
f (x, y ) dxdy = f (T (u, v )) (u, v ) dudv
T (D) D ∂(u, v )
(
x = x(u, v )
Notação. T = onde (u, v ) ∈ D e
y = y (u, v )
!
∂(x, y ) ∂ x ∂u y
= det (JacT ) = det u
∂(u, v ) ∂v x ∂v y

Edson Vargas, IME - USP São Paulo, 2024

C OORDENADAS P OLARES

Coordenadas polares (r , θ) são coordenadas que associam

a um ponto p no plano a sua distância r ≥ 0 a uma origem O
e o seu ângulo θ ∈ [0, 2π], orientado no sentido anti-horário a
partir de um semi-eixo partindo da origem.

p
r
 θ

(
x = r cos θ
T =
y = r sen θ
onde r ≥ 0 e 0 ≤ θ ≤ 2π (ou r ≥ 0 e θo ≤ θ ≤ θo + 2π)

Edson Vargas, IME - USP São Paulo, 2024

C OORDENADAS POLARES
θ Y

4
6

5
2

X
3 -4 -2 2 4

2
-2

r -4
1 2 3 4 5 6 7

▷ Relação entre os elementos de área em coordenadas

cartesianas e polares r dr dθ = dx dy
ZZ ZZ
▷ f (x, y ) dxdy = f (r cos θ, r sen θ) r drdθ
Dxy Dr θ

Edson Vargas, IME - USP São Paulo, 2024

M UDANÇA DE VARIÁVEIS ( COORDENADAS POLARES )

T : R2 → R2 , T (r , θ) = (r cos θ, r sen θ) é C ∞ e satisfaz:

1 T ([0, ∞] × [0, 2π]) = R2
2 T é injetiva em (0, ∞) × (0, 2π)!
cos θ sen θ
3 JacT (r , θ) = ⇒ det (JacT (r , θ)) = r
−r sen θ r cos θ
ZZ ZZ
4 dxdy = r drdθ ⇒ r drdθ = dxdy
D T (D)
Y

θ 4

5
2
4

X
2 -4 -2 2 4

r -2
2 4 6 8 10

-4

Edson Vargas, IME - USP São Paulo, 2024

T EOREMA (C OORDENADAS P OLARES )
Sejam a > 0, b > 0 e T (r , θ) = (ar cos θ, br sen θ),
(r , θ) ∈ R2 . Se D ⊂ [0, ∞) × [θo , θo + 2π] é um compacto com
fronteira de conteúdo nulo e f : T (D) → R é contínua, então:
ZZ ZZ
f (x, y ) dxdy = f (ar cos θ, br sen θ)) a b r drdθ
T (D) D

Edson Vargas, IME - USP São Paulo, 2024

E XEMPLO ( COORDENADAS POLARES )
1
ZZ
Calcule a integral dxdy , onde D é a região
D + y 2 )3/2
(x 2
entre as
(
retas x = 1, x = 2, y = 0 e y(= x.
0≤y ≤x x = r cos θ
▷D= ⇒ use polares : onde
1≤x ≤2 y = r sen θ
r ≥ 0 e −π ≤ θ ≤ π.
▷ y =0 ⇐⇒ θ = 0 ou θ = π
y =x ⇐⇒ θ = π/4 ou θ = π/4 + π
x ≥1 ⇐⇒ r cos θ ≥ 1 e −π/2 < θ < π/2
x ≤2 ⇐⇒ r cos θ ≤ 2 e −π/2 < θ < π/2
(
1/ cos θ ≤ r ≤ 2/ cos θ
▷ Dr θ =
0 ≤ θ ≤ π/4

Edson Vargas, IME - USP São Paulo, 2024

 E XEMPLO ( COORDENADAS POLARES )
Y

Y
3.0

2.5

θ
2.5

2.0 1.0
2.0
0.8
1.5
0.6
1.5

1.0
0.4

1.0 0.2
0.5
r
0.5 0.5 1.0 1.5 2.0 2.5 3.0

X
0.5 1.0 1.5 2.0 2.5
X
0.5 1.0 1.5 2.0 2.5 3.0

Z π/4Z 2/ cos θ
dxdy r 1
ZZ ZZ
= drdθ = drdθ =
D (x + y 2 )3/2
2
Dr θ r3 0 1/ cos θ r2
Z π/4 Z π/4  √
1 2/ cos θ cos θ 2

=− dθ = − − cos θ dθ =
0 r 1/ cos θ 0 2 4

Edson Vargas, IME - USP São Paulo, 2024

E XEMPLO ( COORDENADAS POLARES GENERALIZADAS )

Calcule o volume do sólido S limitado pelo elipsoide

x 2 y 2 z2
+ + = 1, onde a > 0, b > 0 e c > 0.
a2 b2 cq2 q
−c x2 y2 x2 y2
1− a2
− b2
≤z ≤c 1− a2
− b2
▷S=
(x, y ) ∈ D, dado por x 2 + y 2 ≤ 1
a2 b2
s
x2 y2
ZZ
▷ Vol(S) = 2c 1 − − dxdy
D a2 b2
(
x = ar cos θ
▷ Coordenadas polares: T =
y = br sen θ
onde r ≥ 0 e 0 ≤ θ ≤ 2π. Observe que T é C ∞ .
!
∂(x, y ) a cos θ b sin θ
▷ = det = abr
∂(u, v ) −r a sin θ r b cos θ

Edson Vargas, IME - USP São Paulo, 2024

E XEMPLO ( COORDENADAS POLARES GENERALIZADAS )
x2 y2
▷ D = Dxy , dado por a2
+ b2
≤ 1 e Dxy = T (Dr θ ), onde
(
0≤r ≤1
Dr θ =
0 ≤ θ ≤ 2π
▷ T : (0, ∞) × (0, 2π) → R2 é uma bijeção sobre a sua
imagem, com determinante jacobiano a b r.
q
x2 y2
▷ A função f (x, y ) = 2c 1 − a2
− b2
é contínua em Dxy .
s
x2 y2
ZZ
▷ Vol(S) = 2c 1 − − 2 dxdy =
Dxy a2 b mv
ZZ p Z 2πZ 1 p
2abcr 1 − r 2 drdθ = abc 2r 1 − r 2 drdθ =
Dr θ Fubini 0 0
Z 2π
2 1 4π
= −abc (1 − r 2 )3/2 dθ] = abc
0 3 0 3

Edson Vargas, IME - USP São Paulo, 2024

E XEMPLO : OUTRA MUDANÇA DE VARIÁVEL
y
ZZ
Calcule a integral 2
ln(x + y )dxdy , onde D é a região
D x
limitada por x + y = 1, x + y = 2, x = y e y = 0.
Y
2.5

x+y=u2.0 x+y=2 1.2

y=x 1.0
1.5
0.8

1.0
0.6
y=v x
0.4
0.5 0.2

u
X 0.5 1.0 1.5 2.0 2.5
-0.5 0.5 1.0 1.5 2.0 2.5 -0.2

-0.5

▷ Faça a mudança de variáveis abaixo:

 (
 u= x +y y = vx x= u
⇒ ⇒ 1+v
y uv
 v = u = x + vx y=
x 1+v

Edson Vargas, IME - USP São Paulo, 2024

E XEMPLO : OUTRA MUDANÇA DE VARIÁVEL
 (
 u= x +y y = vx u
x = 1+v
y ⇒ ⇒ uv
 v = u = x + vx y = 1+v
x
▷ transforme as equações para determinar Duv
x + y = 1 ⇐⇒ u = 1; x + y = 2 ⇐⇒ u = 2
x = y ⇐⇒ v = 1; y = 0 ⇐⇒ v = 0
Portanto Duv = [1, 2] × [0, 1].
!
1 v
∂(x,y ) 1+v 1+v u
▷ Jacobiano = det u u =
∂(u,v ) − (1+v )2 (1+v )2 (1 + v )2

Edson Vargas, IME - USP São Paulo, 2024

E XEMPLO : OUTRA MUDANÇA DE VARIÁVEL
y 1+v u
ZZ ZZ
2
ln(x + y )dxdy = v (ln u) dudv
D x mv Duv u (1 + v )2
Z 2Z 1 Z 2Z 1
v 1+v −1
= ln u dvdu = ln u dvdu
Fubini 1 0 1 + v 1 0 1+v
Z 2Z 1
1
 
= ln u − ln u dvdu
1 0 1+v
Z 2 
1
= ln u − ln(1 + v ) ln u du
1 0
Z 2
2
= (1 − ln 2) ln u du = (1 − ln 2) (−u + u ln u)
1 1
= (1 − ln 2) (−1 + 2 ln 2)

Edson Vargas, IME - USP São Paulo, 2024

 I NTEGRAL T RIPLA

Edson Vargas

Edson Vargas, IME - USP São Paulo - 2024

I NTEGRAL T RIPLA
ZZZ
f (x, y , z)dxdydz = lim S(P, ℘, f )
S ∥℘∥→0

Existe sempre que w = f (x, y , z) é limitada no sólido S e

contínua no seu interior.
(
M(x, y ) ≤ z ≤ N(x, y ), com M, N contínuas em D
S:
(x, y ) ∈ D, com D do tipo I ou II
Y

1
D
X
-3 -2 -1 1 2 3

-1

-2

Edson Vargas, IME - USP São Paulo - 2024

I NTEGRAL T RIPLA (T EOREMA DE F UBINI )

1
D
X
-3 -2 -1 1 2 3

-1

-2


 M(x, y ) ≤ z ≤ N(x, y )


 ( ϕ, ψ, M e N contínuas.
S: ϕ(x) ≤ y ≤ ψ(x) f limitada em S e
D:
a≤x ≤b

contínua no interior de S.




ZZZ Z bZ ψ(x)Z N(x,y )

f (x, y , z)dxdydz = f (x, y , z)dzdydx
S Fubini a ϕ(x) M(x,y )

Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO
ZZZ
Calcule xdxdydz, onde S é o tetraedro de vértices
S
p1 = (0, 0, 0), p2 = (1, 0, 0), p3 = (0, 2, 0) e p4 = (0, 0, 3).

▷ 3 vértices determina uma face: z = 0, y = 0, x = 0 e

x −1 y z
det −1 2 0 = 6(x − 1) + 3y + 2z = 0
−1 0 3

3y

0 ≤ z ≤ − 2 − 3x + 3



S : 0 ≤ y ≤ −2x + 2


0 ≤ x ≤ 1


Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO

ZZZ Z 1Z −2x+2Z − 3y − 3x + 3
xdxdydz = 2 xdzdydx =
S Fubini 0 0 0
Z 1Z −2x+2 
3y

x − − 3x + 3 dydx =
0 0 2
!
3xy 2
Z 1
−2x+2
− − 3x 2 y + 3xy dx =
0 4 0
!
3x(−2x + 2)2
Z 1
− − 3x 2 (−2x + 2) + 3x(−2x + 2) dx =
0 4
!
3x 4 3x 2
Z 1  1
3 2
3x − 6x + 3x dx = − 2x 3 + =
0 4 2 0
3 3 1
 
−2+ =
4 2 4

Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO
Calcule o volume do sólido S limitado por x 2 + z 2 = 1 e
y 2 + z2 = 1
 √ √
2 x ≤ 1 − z2
 − 1−z ≤

√ √

S: − 1 − z2 ≤ y ≤ 1 − z2

−1 ≤ z ≤ 1



Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO
√ √
ZZZ Z 1Z 1−z 2 Z 1−z 2
Vol(S) = dxdydz = √ √ dxdydz =
S Fubini −1 − 1−z 2 − 1−z 2
√
1
Z Z 1−z 2 p Z 1
√ 2 1− z 2 dydz = 4(1 − z 2 )dz =
−1 − 1−z 2 −1

4z 3 1 16
8− =
3 −1 3

Edson Vargas, IME - USP São Paulo - 2024

T EOREMA (R ELEMBRANDO M UDANÇA DE VARIÁVEL EM R)
C1
Sejam A ⊂ R aberto, [a, b] ⊂ A e T : A → R tal que:
1 x = T (u) é bijeção de [a, b] sobre a sua imagem,
2 A derivada T ′ não se anula em (a, b) (implica (1)),
3 f : T ([a, b]) → R é limitada, contínua no interior de
T ([a, b]).
Então vale que:
Z T (b) Z b
f (x)dx = f (T (u))T ′ (u)du
T (a) a

Edson Vargas, IME - USP São Paulo - 2024

T EOREMA (R ELEMBRANDO M UDANÇA DE VARIÁVEL EM R2 )
Sejam A ⊂ R2 aberto e D ⊂ A, uma região compacta com
C1
fronteira de conteúdo nulo. Seja T : A → R2 tal que:
1 T é bijeção do interior de D sobre o interior de T (D),
2 det (JacT (u, v )) não se anula no interior de D,
3 f : T (D) → R é limitada, contínua no interior de T (D).

Então vale que:

∂(x, y )
ZZ ZZ
f (x, y ) dxdy = f (T (u, v )) (u, v ) dudv
T (D) D ∂(u, v )
(
x = x(u, v )
Notação. T = onde (u, v ) ∈ D e
y = y (u, v );
!
∂(x, y ) ∂ x ∂u y
= det (JacT ) = det u
∂(u, v ) ∂v x ∂v y

Edson Vargas, IME - USP São Paulo - 2024

T EOREMA (M UDANÇA DE VARIÁVEIS EM R3 )
Sejam A ⊂ R3 aberto e S ⊂ A, uma região compacta com
C1
fronteira de conteúdo nulo. Seja T : A → R3 tal que:
1 T é bijeção do interior de S sobre o interior de T (S),
2 det (JacT (u, v , w)) não se anula no interior de S.
3 f : T (S) → R é limitada, contínua no interior de T (S).

Então vale que:

ZZZ
f (x, y , z) dxdydz =
T (S)
∂(x, y , z)
ZZZ
f (T (u, v , w)) (u, v , w) dudvdw
S ∂(u, v , w)

x = x(u, v , w)


Notação. T = y = y (u, v , w) ; onde (u, v , w) ∈ S


z = z(u, v , w)

Edson Vargas, IME - USP São Paulo - 2024

C OORDENADAS C ILÍNDRICAS

Sejam β = {⃗u , ⃗v , w
⃗ }, base ortonormal destrógira e O, uma
origem no espaço. Se p é um ponto no espaço e
⃗ = x ⃗u + y ⃗v + z w
Op ⃗ , então a tripla (r , θ, z) tal que
q
r = x 2 + y 2 e θ ∈ [0, 2π] satisfaz x = r cos θ e y = r sen θ,
chama-se coordenadas cilíndricas de p.


 x =
r cos θ


1 T = y = r sen θ


 z= z

2 r ≥ 0 e 0 ≤ θ ≤ 2π
(ou θo ≤ θ ≤ θo + 2π).
3 r dr dθ dz = dx dy dz

Edson Vargas, IME - USP São Paulo - 2024

M UDANÇA DE VARIÁVEIS ( COORDENADAS CILÍNDRICAS )

T (r , θ, z) = (ar cos θ, br sen θ, z), satisfaz:

1 T é C ∞ em R3 e T ([0, ∞) × [0, 2π] × R) = R3
2 T é injetiva em (0, ∞) × (0, 2π) × R
 
a cos θ b sen θ 0
∂(x, y , z)
= abr = det −ar sen θ br cos θ 0
 
3
∂(r , θ, z))
0 0 1
4 Se S ⊂ R3 é compacto com fronteira de conteúdo nulo e
f : T (S) → R é limitada, contínua no interior de T (S)
Então vale que:
ZZZ ZZZ
f (x, y , z)dxdydz = f (T (r , θ, z))abr drdθdz
T (S) S

Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO
ZZZ
Calcule x 2 dxdydz, onde S é o sólido limitado por
S
x2 x2
(i) z 2 + 1 = + (y − 1)2 , (ii) 2z = + (y − 1)2 e (iii) z = 0.
9 9

 x = 3r cos θ


▷ mv : y = 1 + r sen θ


 z = z
r ≥ 0, 0 ≤ θ ≤ 2π e z ∈ R
▷ Transforme as equações e determine Sr θz :
(i) ⇐⇒ z 2 + 1 = r 2 , (ii) ⇐⇒ 2z = r 2 e (iii) ⇐⇒ z = 0
 √ √
 2z ≤ r ≤

 z2 + 1
Sr θz : 0 ≤z≤ 1

≤ θ ≤ 2π

 0

Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO
ZZZ ZZZ
x 2 dxdydz = 27r 3 cos2 θdrdθdz =
S mv Sr θz Fubini
Z 2πZ 1Z √z 2 +1
√ 27r 3 cos2 θdrdzdθ =
0 0 2z
Z 2πZ 1 √
27 4 z 2 +1
r √ cos2 θdzdθ =
0 0 4 2z
Z 2πZ 1
27  4 
z + 2z 2 + 1 − 4z 2 cos2 θdzdθ =
0 0 4
!
2π 27 z 5 2z 3 1
Z
− +z cos2 θdθ =
0 4 5 3 0
Z 2π
27 8 1 + cos 2θ 27 8 18
dθ = π= π
0 4 15 2 4 15 5

Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO

Edson Vargas, IME - USP São Paulo - 2024

C OORDENADAS E SFÉRICAS

Sejam β = {⃗u , ⃗v , w
⃗ }, base ortonormal destrógira e O, uma
origem no espaço. Se p é um ponto no espaço e
⃗ = x ⃗u + y ⃗v + z w
Op ⃗ , então a tripla (ρ, θ, φ) tal que
q
ρ = x 2 + y 2 + z 2 , θ ∈ [0, 2π] e φ ∈ [0, π] satisfazem
x = ρ cos θ sen φ e y = ρ sen θ sen φ e z = ρ cos φ, chama-se
coordenadas esféricas de p.


 x = ρ cos θ sen φ


1 T : y = ρ sen θ sen φ


 z = ρ cos φ

2 ρ ≥ 0, 0 ≤ θ ≤ 2π, 0 ≤ φ ≤ π

3 ρ2 sen φ dρ dθ dφ = dx dy dz

Edson Vargas, IME - USP São Paulo - 2024

M UDANÇA DE VARIÁVEIS ( COORDENADAS ESFÉRICAS )

T (r , θ, z) = (aρ cos θ sen φ, bρ sen θ sen φ, cρ cos φ), satisfaz:

1 T é C ∞ em R3 e T ([0, ∞) × [0, 2π] × [0, π]) = R3
2 T é injetiva em (0, ∞) × (0, 2π) × (0, π)
∂(x, y , z)
3 = abcρ2 sen φ =
∂(ρ, θ, φ))
 
a cos θ sen φ b sen θ sen φ c cos φ
= det −aρ sen θ sen φ bρ cos θ sen φ 0
 

aρ cos θ cos φ bρ sen θ cos φ −cρ sen φ
4 Se S ⊂ R3 é compacto com fronteira de conteúdo nulo e
f : T (S) → R é limitada, contínua no interior de T (S) ⇒:
ZZZ
f (x, y , z)dxdydz =
T (S)
ZZZ
= f (T (ρ, θ, φ))abcρ2 sen φ dρdθdφ
S

Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO

Calcule o volume do sólido acima do cone (i) z 2 = x 2 + y 2

e limitado pela esfera (ii) x 2 + y 2 + z 2 = 1.

 x = ρ cos θ sen φ


▷ mv : y = ρ sen θ sen φ


 z = ρ cos φ
ρ ≥ 0, 0 ≤ θ ≤ 2π, 0 ≤ φ ≤ π
▷ Transforme as equações e determine Sρθφ :
(i) ⇐⇒ ρ2 cos2 φ = ρ2 sen2 φ ⇒ cos φ = ± sen φ ⇒ φ = π/4
ou φ = 3π/4 e (ii) ⇐⇒ ρ ≤ 1

 0 ≤ρ≤ 1


Sρθφ : 0 ≤ φ ≤ π/4

 0 ≤ θ ≤ 2π


Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO
ZZZ ZZZ
Vol(S) = dxdydz = ρ2 sen φdρdθdφ =
S mv Sρθφ Fubini
Z 2πZ π/4Z 1 Z 2πZ π/4
1
ρ2 sen φdρdφdθ = sen φ dφdθ =
0 0 0 0 0√ 3 ! √
Z 2π Z 2π
1 π/4 1 2 2− 2
− cos φ dθ = − − 1 dθ = π
0 3 0 0 3 2 3

Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO
ZZZ
Calcule zdxdydz, onde S é o sólido acima do cone
S
(i) z 2 = x 2 + y 2 e limitado por (ii) x 2 + y 2 + z 2 = 2z

 x = ρ cos θ sen φ


▷ mv : y = ρ sen θ sen φ


 z = ρ cos φ
ρ ≥ 0, 0 ≤ θ ≤ 2π, 0 ≤ φ ≤ π
▷ Transforme as equações e determine Sρθφ :
(i) ⇐⇒ ρ2 cos2 φ = ρ2 sen2 φ ⇒ cos φ = ± sen φ ⇒ φ = π/4
ou φ = 3π/4 e (ii) ⇐⇒ ρ2 = 2ρ cos φ e 0 ≤ φ ≤ π/2.

 0 ≤ρ≤ 2 cos φ


Sρθφ : 0 ≤ φ ≤ π/4

 0 ≤ θ ≤ 2π


Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO
ZZZ ZZZ
zdxdydz = ρ3 sen φ cos φdρdθdφ =
S mv Sρθφ Fubini
Z 2πZ π/4Z 2 cos φ
ρ3 sen φ cos φdρdφdθ =
0 0 0
Z 2πZ π/4 4
ρ 2 cos φ
= sen φ cos φ dφdθ =
0 0 4 0 √
Z 2πZ π/4 Z 2πZ 2/2
5
4 cos φ sen φ dφdθ = − 4t 5 dtdθ =
0 0 mv 0
Z 2π 6 √ Z 2π1
4t 2 1 7
 
2/2
= − dθ = − −1 dθ = π
0 6 1 0 3 8 12

Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO

Calcule o volume do sólido S, interior ao cilindro (i)

x 2 + y 2 = 2x e limitado por (ii) x 2 + y 2 + z 2 = 4.

 x = r cos θ


▷ mv : y = r sen θ r ≥ 0, −π ≤ θ ≤ π, z ∈ R


 z = z
▷ Transforme as equações e determine Sr θz :
(i) ⇐⇒ r 2 = 2r cos θ e − π/2 ≤ θ ≤ π/2 e (ii)
⇐⇒ r 2 + z 2 = 4.
 √ √
 − 4 − r 2 ≤z ≤ 4 − r2


Sr θz : 0 ≤ r ≤ 2 cos θ

 −π/2

≤ θ ≤ π/2

Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO
ZZZ ZZZ
Vol(S) = dxdydz = rdrdθdz =
S mv Sr θz Fubini
√
Z π/2 Z 2 cos θ Z 4−r 2
= √ rdzdrdθ =
Fubini −π/2 0 − 4−r 2
Z π/2 Z 2 cos θ p
= 2r 4 − r 2 drdθ =
−π/2 0
 3/2
Z π/2 2 4 − r 2
2 cos θ
− dθ
−π/2 3 0

4 π/2
Z   3/2 
= 8 − 4 − 4 cos2 θ dθ =
3 0 !
Z π/2
4 2
= 4π − 8 (1 − cos θ) sen θdθ =
3 0 mv
! !
8t 3
Z 0
4 4 0
= 4π + 8 (1 − t 2 )dt = 4π − 8 − =
mv 3 1 3 3 1
16
(3π − 4)
9 Edson Vargas, IME - USP São Paulo - 2024
E XEMPLO

Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO
ZZZ
Calcule (x + y )dxdydz, onde S é o sólido limitado por
( S
(i) x + y + z = 1, (iii) x + y − z = 3, (v) x + 2y + 3z = 2
(ii) x + y + z = 2, (iv) x + y − z = 4, (vi) x + 2y + 3z = 5

 u = x +y +z


▷ mv : v = x +y −z (x, y , z) ∈ S


 w = x + 2y + 3z
▷ Transforme as equações e determine Suvw
(
(i) u = 1, (iii) v = 3, (v) w = 2
(ii) u = 2, (iv) v = 4, (vi) w = 5
⇒ Suvw = [1, 2] × [3, 4] × [2, 5]
 
1 1 1
∂(u,v ,w) −1
 
∂(u,v ,w) ∂(x,y ,z) 1
= det 1 1 −1 = 2 ⇒ = =
 
∂(x,y ,z) ∂(u,v ,w) ∂(x,y ,z) 2
1 2 3
Edson Vargas, IME - USP São Paulo - 2024
E XEMPLO
u+v 1
ZZZ ZZZ
(x + y )dxdydz = dudvdw =
S mv Suvw 2 2 Fubini
Z 2Z 4Z 5 Z 2Z 4
1 1
= (u + v )dwdvdu = 3(u + v )dvdu =
Fubini 4 1 3 2 4 1 3
!
3 2 v2 4
Z 2
3 7
Z 
= uv + du = u+ du =
4 1 2 3 4 1 2
!
2
3 u 2 7 15
+ =
4 2 1 2 4

Edson Vargas, IME - USP São Paulo - 2024

E XEMPLO

Edson Vargas, IME - USP São Paulo - 2024

superfícies em coordenadas cartesianas, cilíndricas e
esféricas

Superfície Cartesiana Cilíndricas Esféricas

Cilindro x2 + y2 = 4 r =2 ρ sen φ = 2
Cilindro x 2 + y 2 = 4x r = 4 cos θ ρ sen φ = 4 cos θ
Esfera x 2 + y 2 + z2 = 9 r 2 + z2 = 9 ρ=3
Esfera x 2 +y 2 +z 2 = 9z r 2 +z 2 = 9z ρ = 3 cos φ
Cone x 2 + y 2 = z2 r = |z| φ = π/4 ou
φ = 3π/4
Paraboloide z = x2 + y2 z = r2 cos φ = ρ sen2 φ
Hiperboloide x 2 + y 2 = z2 + 1 r 2 = z2 + 1
Hiperboloide x 2 + y 2 = z2 − 1 r 2 = z2 − 1
Plano z=0 z=0 φ = π/2
Plano z=5 z=5 ρ cos φ = 5
Plano x =5 r cos θ = 5 ρ cos θ sen φ = 5

Edson Vargas, IME - USP São Paulo - 2024