4a Ficha de Exerccios de AMIII

19 de Novembro de 2001

1. Mostre que se f : A E n [0, +[ e mensuravel entao o conjunto



B = (x1 , . . . , xn , xn+1 ) E n+1 : (x1 , . . . , xn ) A, 0 xn+1 f (x1 , . . . , xn )
R
satisfaz Vn+1 (B) = A f dVn . Use este resultado para calcular a medida dos seguintes
conjuntos ilimitados:


1
2
(a) (x, y) E : x 1, |y| 2 ;
x


1
2
(b) (x, y) E : x e, |y|
;
log x
n
o
2
2
(c) (x, y, z) E 3 : 0 z ex y .
2. Decida se as funcoes seguintes sao ou nao integraveis nos conjuntos indicados, e calcule os
integrais caso existam:
sen x
em [1, +[;
x


1
em (x, y) E 2 : 0 < x2 + y 2 < 1 ;
(b) p
x2 + y 2
(a)

(c)

ex y z
em E 3 \ {(0, 0, 0)}.
x2 + y 2 + z 2

3. Calcule a derivada das seguintes funcoes:

Z x3
2
(a) F (x) =
ext dt (x > 0);
1

(b) G(x) =

log x

ex
t

2 t2

dt (x > 1).

4. Calcule os seguintes integrais para todo o n N:

Z +
xn ex dx;
(a)
0

(b)

x2n
(1 + x2 )n+1

dx.

5. Considere as funcoes
Z x
2
f (x) =
et dt;

g(x) =

ex (t +1)
dt;
t2 + 1

F (x) = f 2 (x) + g(x).

(a) Mostre que F e constante.

(b) Mostre que limx0 F (x) = 4 .
(c) Mostre que limx+ g(x) = 0.

Z +

t2
(d) Conclua que
e dt =
.
2
0
6. Calcule os seguintes produtos exteriores:
(a) (dx + dy) (dx dy);

(b) (dx + 2dy + 3dz) (dx 21 dy + dz);

(c) (xdy dz + ydz dx + zdx dy) (yz 2 dx + x2 zdy + xy 2 dz);

(d) (dx1 dx2 + dx3 dx4 ) (dx1 dx3 3dx2 dx4 ).

7. Dado um vector

v = v 1 e1 + v 2 e2 + v 3 e3 E 3
definimos o 1-covector
v = v 1 dx1 + v 2 dx2 + v 3 dx3
e o 2-covector
v = v 1 dx2 dx3 + v 2 dx3 dx1 + v 3 dx1 dx2 .
Mostre que
(a) v w = vw , onde designa o produto externo de vectores em E 3 ;

(b) v w = (v w)dx1 dx2 dx3 .

8. Mostre que

dx1 . . . dxn (v1 , . . . , vn ) = det(v1 , . . . , vn ).

9. Calcule os pull-backs pelas funcoes indicadas das seguintes formas diferenciais:
(a) yzdx + xzdy + xydz pela funcao (x, y, z) = g(t) = (sen t, cos t, t);
(b) ydx + xdy pela funcao (x, y) = g(r, ) = (r sen , r cos );

(c) dx dy + dy dz + dz dx pela funcao (x, y, z) = g(r, ) = (r cos , r sen , );

(d) dx dy dz pela funcao (x, y, z) = g(r, , ) = (r sen cos , r sen sen , r cos ).
10. Calcule as derivadas exteriores das seguintes formas diferenciais:
(a) yzdx + xzdy + xydz;
(b) ydx + xdy;

(c) zdx dy + xdy dz + ydz dx;

(d) x1 x2 x3 x4 (dx1 dx2 dx3 + dx1 dx2 dx4 + dx1 dx3 dx4 + dx2 dx3 dx4 ).
2

Resolucao Sumaria da 4a Ficha de Exerccios de AMIII

26 de Novembro de 2001

1. Mostre que se f : A E n [0, +[ e mensuravel entao o conjunto



B = (x1 , . . . , xn , xn+1 ) E n+1 : (x1 , . . . , xn ) A, 0 xn+1 f (x1 , . . . , xn )
R
satisfaz Vn+1 (B) = A f dVn . Use este resultado para calcular a medida dos seguintes
conjuntos ilimitados:
Resoluc
ao: Pelo Teorema de Fubini temos
Vn+1 (B) =

1dVn+1 =

(a)

Z Z
A

f (x1 ,...,xn )

1dxn+1 dVn =

f (x1 , . . . , xn )dVn .

1
;
x2
Resoluc
ao: A area deste conjunto e portanto




Z
Z n
1
1
1 n
1
2
dx = 2 lim
dx = 2 lim
= 2.
1
= 2 lim
2
n+ 1 x2
n+
n+
x 1
n
[1,+[ x


(x, y) E 2 : x 1, |y|


1
(b) (x, y) E : x e, |y|
;
log x
Resoluc
ao: A area deste conjunto e
Z
Z n
Z log n
1
1 y
1
2
dx = 2 lim
dx = 2 lim
e dy.
n+ e log x
n+ 1
y
[e,+[ log x
2

A funcao integranda f (y) = y1 ey satisfaz

f (y) =

1
1
1 y
e 2 ey = (y 1) 2 ey > 0 para y > 1,
y
y
y

e portanto no conjunto de integracao f (y) f (1) = e. Logo a medida do conjunto e

maior ou igual que
Z log n
e dy = 2 lim e(log n 1) = +,
2 lim
n+

n+ 1

e portanto e +.
n
o
2
2
(c) (x, y, z) E 3 : 0 z ex y .
1

Resoluc
ao: O volume deste conjunto e
Z
Z
x2 y 2
e
dV2 = lim

n+ {x2 +y 2 n2 }

E2

x2 y 2

dV2 = lim

n+ 0

n Z 2

er rddr





1 r2 n
2
= lim 1 en = .
= 2 lim e
n+
n+
2
0
2. Decida se as funcoes seguintes sao ou nao integraveis nos conjuntos indicados, e calcule os
integrais caso existam:
(a)

sen x
em [1, +[;
x
Resoluc
ao: Recorde-se
que uma funcao e integravel sse o seu modulo o for. Uma vez

2
que | sen x| 2 para
x

+
[

n=1

+ n,
+ n] [1, +[
4
4

e imediata a conclusao de que

Z

[1,+[

| sen x|
dx
x

S +

n=1 [ 4 +n, 4 +n]

+
X
2
2
dx
2x
2
n=1

3
4

1
= +,
+ n 2

e portanto a funcao nao e integravel.



1
em (x, y) E 2 : 0 < x2 + y 2 < 1 ;
(b) p
2
2
x +y
Resoluc
ao: Uma vez que a funcao nao muda de sinal, temos
Z
Z
1
1
p
dV2 = lim n
dV2
o p
2
2
2
n+
1
x +y
x + y2
{0<x2 +y 2 <1}
x2 +y 2 1
n2


Z 1 Z 2
1
1
1
rddr = 2 lim
= .
= lim
n+
n+ 1
r
n
0
n

(c)

ex y z
em E 3 \ {(0, 0, 0)}.
x2 + y 2 + z 2
Resoluc
ao: Uma vez que a funcao nao muda de sinal, temos
Z
2
2
2
2
2
2
ex y z
ex y z
dV
=
lim
dV3
n
o
3
2
2
2
2
2
2
n+
1
x2 +y 2 +z 2 n2 x + y + z
E3 x + y + z
2
n
Z
Z n Z Z 2
1
2
2

r
2
e
r sen dddr = 2 [ cos ]0
er dr =
= lim
2
n+ 1
r
0
0
[0,+[
n
3

= 4
= 2 2 .
2

3. Calcule a derivada das seguintes funcoes:

(a) F (x) =

x3

ext dt (x > 0);

Resoluc
ao: Aplicando o Teorema Fundamental do Calculo e a Regra de Leibniz, temos
Z x3
Z x3
2
2
x(x3 )

2 xt2
x7
F (x) = e
+
(t )e
dt = e

t2 ext dt.
1

2 2

ex t
dt (x > 1).
t
log x
Resoluc
ao: Aplicando o Teorema Fundamental do Calculo e a Regra de Leibniz, temos
Z x
2 2
2
2
2 2
ex x
ex (log x)
ex t

G (x) =

+
(2xt2 )
dt
x
log x
t
log x
Z x
2
2
4
ex (log x)
ex
2 2

2x
tex t dt.
=
x
log x
log x

(b) G(x) =

4. Calcule os seguintes integrais para todo o n N:

Z +
xn ex dx;
(a)
0

Resoluc
ao: Comecamos por notar que
 x n
Z +
e
1
x
e
dx = lim
=
n+
0

0
e que portanto aplicando a Regra de Leibniz
 
Z +
Z +
1
dn
dn
(1)n n!
x
n x
e
dx
=

.
(x)
e
dx
=
dn 0
dn
n+1
0
Fazendo = 1 vem

xn ex dx = n!.

(b)

x2n

dx.
(1 + x2 )n+1
Resoluc
ao: Comecamos por notar que
n


Z +
1

arctg ( x)

=
dx = lim
2
n+

1 + x
n

e que portanto aplicando a Regra de Leibniz



Z +
dn
1

dn

dx =

dn 1 + x2
dn

Z +
2n 1 2n3
(1)n n!x2n
n1 3
2 .
n+1 dx = (1) 2 2 . . .
2
2
(1 + x )
Fazendo = 1 vem
Z

x2n
(1 +

dx
x2 )n+1
3

(2n 1)(2n 3) . . . 3
.
2n n!

5. Considere as funcoes
Z

f (x) =

et dt;

g(x) =

ex (t +1)
dt;
t2 + 1

F (x) = f 2 (x) + g(x).

(a) Mostre que F e constante.

Resoluc
ao: Aplicando o Teorema Fundamental do Calculo e a Regra de Leibniz, temos

x2

t2

e dt +
F (x) = 2f (x)f (x) + g (x) = 2e
0
0
Z
Z 1
Z x
2
2
2
2
2
2
ex t xdt = 2ex
et dt 2ex
= 2ex

2x(t2 + 1)ex
t2 + 1
2

et dt 2ex

2 (t2 +1)

dt
Z

eu du = 0

onde fizemos a mudanca de variavel u = xt no segundo integral.

(b) Mostre que limx0 F (x) = 4 .
Resoluc
ao: A funcao integranda em g(x) e majorada pela funcao constante igual a
1, que e integravel em [0, 1]. Podemos portanto aplicar o Teorema da Convergencia
Dominada para concluir que
lim g(x) =

x0

ex (t +1)
dt =
x0
t2 + 1
lim

1
dt = [arctg x]10 = .
t2 + 1
4

Uma vez que o integral indefinido de uma funcao contnua e contnuo, a funcao f e
contnua e portanto limx0 f (x) = f (0) = 0. Logo limx0 F (x) = 02 + 4 = 4 .
(c) Mostre que limx+ g(x) = 0.
Resoluc
ao: Podemos novamente aplicar o Teorema da Convergencia Dominada em
g(x) para concluir que
Z

lim g(x) =

x+

ex (t +1)
lim
dt =
x+
t2 + 1

0dt = 0.

.
2
0
Resoluc
ao: Uma vez que F e constante e limx0 F (x) = 4 , vemos que F (x) =
para todo o x R. Logo

2

2
= lim F (x) = lim f (x) + g(x) =
lim f (x) + 0.
x+
x+
4 x+

(d) Conclua que

t2

dt =

Como a integranda em f (x) nao muda de sinal, temos

Z
Z x
2
et dt =
lim f (x) = lim
x+

x+ 0

Portanto,
Z

t2

6. Calcule os seguintes produtos exteriores:

4

dt =

=
.
4
2

et dt.

(a) (dx + dy) (dx dy);

Resoluc
ao: dx dy + dy dx = 2dx dy.

(b) (dx + 2dy + 3dz) (dx 21 dy + dz);

Resoluc
ao: 12 dx dy + dx dz + 2dy dx + 2dy dz + 3dz dx 23 dz dy =
25 dx dy 2dx dz + 27 dy dz.

(c) (xdy dz + ydz dx + zdx dy) (yz 2 dx + x2 zdy + xy 2 dz);

Resoluc
ao: xyz 2 dydzdx+yx2 zdzdxdy+zxy 2 dxdydz = xyz (x + y + z) dx
dy dz.

(d) (dx1 dx2 + dx3 dx4 ) (dx1 dx3 3dx2 dx4 ).

Resoluc
ao: 0.
7. Dado um vector

v = v 1 e1 + v 2 e2 + v 3 e3 E 3
definimos o 1-covector
v = v 1 dx1 + v 2 dx2 + v 3 dx3
e o 2-covector
v = v 1 dx2 dx3 + v 2 dx3 dx1 + v 3 dx1 dx2 .
Mostre que
(a) v w = vw , onde designa o produto externo de vectores em E 3 ;
Resoluc
ao: Tem-se




v w = v 1 dx1 + v 2 dx2 + v 3 dx3 w1 dx1 + w2 dx2 + w3 dx3

= (v 2 w3 v 3 w2 )dx2 dx3 + (v 3 w1 v 1 w3 )dx3 dx1 + (v 1 w2 v 2 w1 )dx1 dx2

= vw ,

ja que o produto externo de v por w e dado por





 e1 e2 e3 




v w =  v 1 v 2 v 3  = (v 2 w3 v 3 w2 )e1 + (v 3 w1 v 1 w3 )e2 + (v 1 w2 v 2 w1 )e3 .



 1
2
3
 w w w 

(b) v w = (v w)dx1 dx2 dx3 .

Resoluc
ao: Tem-se

v w = v 1 dx1 + v 2 dx2 + v 3 dx3 w1 dx2 dx3 + w2 dx3 dx1 + w3 dx1 dx2


= v 1 w1 + v 2 w2 + v 3 w3 dx1 dx2 dx3 = (v w)dx1 dx2 dx3 .
8. Mostre que
dx1 . . . dxn (v1 , . . . , vn ) = det(v1 , . . . , vn ).
Resoluc
ao: Sabemos que


dxi1 . . . dxik = k! Alt dxi1 . . . dxik .
5

Portanto


dx1 . . . dxn (v1 , . . . , vn ) = n! Alt dx1 . . . dxn (v1 , . . . , vn )


1 X
sgn() dx1 . . . dxn (v(1) , . . . , v(n) )
= n!
n!
n
X




sgn()dx1 v(1) . . . dxn v(n)
=
n

1
n
sgn()v(1)
. . . v(n)
= det(v1 , . . . , vn ).

9. Calcule os pull-backs pelas funcoes indicadas das seguintes formas diferenciais:

(a) yzdx + xzdy + xydz pela funcao (x, y, z) = g(t) = (sen t, cos t, t);
Resoluc
ao: Tem-se
g (yzdx + xzdy + xydz) = t cos td(sen t) + t sen td(cos t) + sen t cos td(t)


1
1
2
2
= t cos tdt t sen tdt + sen(2t)dt = t cos(2t) sen(2t) dt.
2
2
(b) ydx + xdy pela funcao (x, y) = g(r, ) = (r sen , r cos );
Resoluc
ao: Tem-se
g (ydx + xdy) = r sen d(r cos ) + r cos d(r sen )

= r sen cos dr + r2 sen2 d + r cos sen dr + r2 cos2 d = r2 d.

(c) dx dy + dy dz + dz dx pela funcao (x, y, z) = g(r, ) = (r cos , r sen , );

Resoluc
ao: Tem-se
g (dx dy + dy dz + dz dx) = d(r cos ) d(r sen ) + d(r sen ) d + d d(r cos )
= (cos dr r sen d) (sen dr + r cos d) + sen dr d + cos d dr
= r cos2 dr d r sen2 d dr + (sen cos )dr d
= (r + sen cos )dr d.

(d) dx dy dz pela funcao (x, y, z) = g(r, , ) = (r sen cos , r sen sen , r cos ).
Resoluc
ao: Tem-se
g (dx dy dz) = d(r sen cos ) d(r sen sen ) d(r cos )
= (sen cos dr + r cos cos d r sen sen d)

(sen sen dr + r cos sen d + r sen cos d) (cos dr r sen d)

= r2 sen3 cos2 dr d d + r2 cos2 sen cos2 d d dr

+ r2 sen3 sen2 d dr d r2 cos2 sen sen2 d d dr

= (r2 sen3 + r2 cos2 sen )dr d d = r2 sen dr d d.

10. Calcule as derivadas exteriores das seguintes formas diferenciais:
6

(a) yzdx + xzdy + xydz;

Soluc
ao: 0.
(b) ydx + xdy;
Soluc
ao: 2dx dy.

(c) zdx dy + xdy dz + ydz dx;

Soluc
ao: 3dx dy dz.

(d) x1 x2 x3 x4 (dx1 dx2 dx3 + dx1 dx2 dx4 + dx1 dx3 dx4 + dx2 dx3 dx4 ).
Soluc
ao: (x1 x2 x3 + x1 x2 x4 x1 x3 x4 + x2 x3 x4 )dx1 dx2 dx3 dx4 .

5a Ficha de Exerccios de AMIII

6 de Novembro de 2002

1. Decida se as seguintes formas diferenciais definidas em E 3 sao ou nao exactas. Em caso

afirmativo, calcule um potencial.
(a) yzdx + xzdy + xydz;
(b) zdx dy ydx dz + xdy dz;
(c) 2dx dy + yzdx dz + xzdy dz;
(d) x2 yez dx dy dz.
2. Seja f : E 3 R um campo escalar e v : E 3 E 3 um campo vectorial. Recorde que se
v = v 1 e1 + v 2 e2 + v 3 e3 , podemos definir a 1-forma v = v 1 dx + v 2 dy + v 3 dz e a 2-forma
v = v 1 dy dz + v 2 dz dx + v 3 dx dy. Mostre que:
(a) df = f , onde f designa o gradiente de f .
(b) dv = v , onde




 e1 e2 e3  

 1

 2



v 3
v 1
v
v
v 3 v 2



e1 +

e2 +

e3
v =  x y z  =


y
z
z
x
x
y

 1
 v
v2 v3 
e o rotacional de v.

(c) dv = ( v)dx dy dz, onde

v =

v 1 v 2 v 3
+
+
x
y
z

e a divergencia de v.
(d) (f ) = 0.
(e) ( v) = 0.
3. Mostre a 1-forma
=

x2

x
y
dx + 2
dy
2
+y
x + y2

(definida em E 2 \H {(0, 0)}) e fechada mas nao e exacta. (Sugest

ao: Mostre primeiro que
se = df entao = 0 para qualquer curva fechada ).
1

4. Calcule os integrais das formas diferenciais dadas ao longo das variedades indicadas com
uma orientacao `a sua escolha:
(a) ydx + xdy ao longo de {(x, y) E 2 : x2 + y 2 = 1};
(b) xdx + ydy + zdz ao longo de {(x, y, z) E 3 : x = z, x2 + y 2 = 1};
(c) dx dy ao longo de {(x, y, z) E 3 : x2 + y 2 + z 2 = 9};
(d) zdx dy ydx dz + xdy dz ao longo de {(x, y, z) E 3 : z = x2 + y 2 , z 1}.
5. Calcule a area da superfcie curva de um cone circular recto de altura h > 0 e raio da base
a > 0.
6. Escreva a area do elipsoide de semieixos a, b, c R+ como um integral iterado.
7. Prove o Segundo Teorema de Pappus: a area de uma superfcie de revolucao gerada por uma
curva plana e igual a 2dL, onde L e o comprimento da curva plana e d e a distancia do
seu centroide ao eixo de rotacao. Aproveite este resultado para calcular a area da superfcie
do toro
n
o
p
T = (x, y, z) E 3 : ( x2 + y 2 R)2 + z 2 r2
(0 < r < R).

8. Seja S a superfcie


S = (x, y, z) E 3 : z = x2 + y 2 , z 1 .

Calcule:
(a) A area de S;
(b) O centroide de S.

9. Calcule o trabalho realizado pela forca

F(x, y, z) = (y + z, x + z, x + y)
ao longo da curva
C = {(x, y, z) E 3 : x = cos , y = sen , z = 2, 0 2}
percorrida no sentido dos valores de z decrescentes.
10. O campo de velocidades de um fluido e descrito pelo campo vectorial
v = (x, y, 2z).
Supondo que o fluido possui densidade constante igual a 1, calcule a massa de fluido que
atravessa a superfcie
S = {(x, y, z) E 3 : z = xy, x2 + y 2 1}
por unidade de tempo no sentido dos valores de z decrescentes.

Resolucao Sumaria da 5a Ficha de Exerccios de AMIII

16 de Janeiro de 2002

1. Decida se as seguintes formas diferenciais definidas em E 3 sao ou nao exactas. Em caso

afirmativo, calcule um potencial.
(a) yzdx + xzdy + xydz;
Resoluc
ao: Como E 3 e um conjunto em estrela, segue-se do Lema de Poincare que
esta 1-forma sera exacta sse for fechada. Ora
d(yzdx + xzdy + xydz)
= zdy dx + ydz dx + zdx dy + xdz dy + ydx dz + xdy dz
= (z z)dx dy + (y y)dx dz + (x x)dy dz = 0,

pelo que a forma e exacta. Para calcular um potencial, notamos que se

yzdx + xzdy + xydz = df =

f
f
f
dx +
dy +
dz
x
y
z

entao teremos

f
x
f
y
f
z

f = xyz + C(y, z)

f = xyz + C
xz + C
= xz
y = xz

xy + C = xy
= xy
z
= yz

para alguma constante C R.

(b) zdx dy ydx dz + xdy dz;

Resoluc
ao: Uma vez que
d(zdx dy ydx dz + xdy dz)

= dz dx dy dy dx dz + dx dy dz
= 3dx dy dz 6= 0,

a forma nao e fechada e portanto nao pode ser exacta.

(c) 2dx dy + yzdx dz + xzdy dz;
Resoluc
ao: Como E 3 e um conjunto em estrela, esta 1-forma sera exacta sse for
fechada. Ora
d(2dx dy + yzdx dz + xzdy dz) = zdy dx dz + zdx dy dz = 0
1

pelo que a forma e exacta. Para calcular um potencial = Adx+Bdy +Cdz, notamos
que uma vez que + df e tambem um potencial (qualquer que seja a funcao C
f : E 3 R), podemos sempre escolher um potencial tal que por exemplo C = 0 (se
inicialmente C 6= 0, basta encontrar uma funcao f satisfazendo a equacao f
z = C
e considerar o potencial + df ). Supondo entao = Adx + Bdy, temos


B
B A
A
dxdz
dydz+

dxdy
2dxdy+yzdxdz+xzdydz = d =
z
z
x
y
e portanto

 2

z2
A
B

z2

=
2

2
x
y

x
2

A
A = y z2 + (x, y)
z = yz

B = x z 2 + (x, y)
B = xz
z
2

=2

y = 2
2
yz2 + (x, y)

.
A=

2
B = xz + (x, y)
2

Um potencial pode portanto ser obtido fazendo = 0 e = 2x, i.e.,



xz 2
yz 2
dx +
+ 2x dy.
=
2
2
(d) x2 yez dx dy dz.

Resoluc
ao: Uma vez que a derivada exterior desta 3-forma e uma 4-forma em E 3 , e
necessariamente nula. Portanto esta 3-forma e fechada, e uma vez que E 3 e em estrela, e
exacta. Procurando um potencial da forma
= f dx dy
rapidamente se obtem
f
f
dz dx dy = x2 yez dx dy dz
= x2 yez f = x2 yez + C(x, y).
z
z
Portanto um potencial e por exemplo
= x2 yez dx dy
2. Seja f : E 3 R um campo escalar e v : E 3 E 3 um campo vectorial. Recorde que se
v = v 1 e1 + v 2 e2 + v 3 e3 , podemos definir a 1-forma v = v 1 dx + v 2 dy + v 3 dz e a 2-forma
v = v 1 dy dz + v 2 dz dx + v 3 dx dy. Mostre que:
(a) df = f , onde f designa o gradiente de f .
Resoluc
ao: Tem-se
f = f e1 + f e2 + f e3 =
x

f
f
f
dx +
dy +
dz = df.
x
y
z

(b) dv = v , onde




 e1 e2 e3  

 1

 2



v 3 v 2
v 3
v 1
v
v



e1 +
e2 +
e3
v =  x y z  =


y
z
z
x
x
y

 1
 v
v2 v3 
e o rotacional de v.
Resoluc
ao: Tem-se

dv = d(v 1 dx + v 2 dy + v 3 dz)
v 1
v 1
v 2
dy dx +
dz dx +
dx dy
y
z
x
v 3
v 3
v 2
dz dy +
dx dz +
dy dz
+
z
x
y
 3



 2

v
v 2
v 1
v 1 v 3
v
dy dz +
dz dx +
dx dy
=

y
z
z
x
x
y
= v .
=

(c) dv = ( v)dx dy dz, onde

v =

v 1 v 2 v 3
+
+
x
y
z

e a divergencia de v.
Resoluc
ao: Tem-se
dv = d(v 1 dy dz + v 2 dz dx + v 3 dx dy)

v 2
v 3
v 1
dx dy dz +
dy dz dx +
dz dx dy
x
y
z
 1

v
v 2 v 3
=
+
+
dx dy dz.
x
y
z

(d) (f ) = 0.
Resoluc
ao: Basta notar que
(f ) = df = d(df ) = 0.
(e) ( v) = 0.
Resoluc
ao: Basta notar que
( v)dx dy dz = dv = d(dv ) = 0.
3. Mostre a 1-forma
=

x
y
dx + 2
dy
x2 + y 2
x + y2

(definida em E 2 \H {(0, 0)}) e fechada mas nao e exacta. (Sugest

ao: Mostre primeiro que
se = df entao = 0 para qualquer curva fechada ).
3

Resoluc
ao: Para ver que e fechada basta calcular a sua derivada exterior:
d =

x2 + y 2 2y 2
(x2 + y 2 )2

dy dx +

x2 + y 2 2x2
(x2 + y 2 )2

dx dy = 0.

Seguindo a sugestao, suponhamos entao que e uma curva fechada, e seja g :]0, 1[ E n
uma parametrizacao prolongavel por continuidade a [0, 1] com g(1) = g(0). Se = df ,
temos portanto
I
Z
Z
Z
Z

=
g =
g df =
d(g f ) =
d(f g)
]0,1[

]0,1[

d(f g)
dt =
dt

]0,1[
Z 1
0

]0,1[

]0,1[

d(f g)
dt = f (g(1)) f (g(0)) = 0.
dt

Para
mostrar que nao e exacta, basta portanto encontrar uma curva fechada tal que
H

=
6
0. Tomemos por exemplo a circunferencia de raio 1: uma parametrizacao e por

exemplo g :]0, 2[ E 2 dada por

g() = (cos , sen )
e portanto
I
Z
=

]0,2[

cos
sen
d(cos ) +
d(sen )
2
2
+ cos
sen + cos2
]0,2[
]0,2[
Z
Z 2
2
2
sen d + cos d =
d =
d = 2 6= 0.

g =

sen2

]0,2[

4. Calcule os integrais das formas diferenciais dadas ao longo das variedades indicadas com
uma orientacao `a sua escolha:
(a) ydx + xdy ao longo de {(x, y) E 2 : x2 + y 2 = 1};
Resoluc
ao: Uma parametrizacao e por exemplo g :]0, 2[ E 2 dada por
g() = (cos , sen )
e portanto o integral pedido vem
Z
Z
g (ydx + xdy) =
]0,2[

]0,2[

sen d + cos d =

]0,2[

sen d(cos ) + cos d(sen )

]0,2[

d =

d = 2.

(b) xdx + ydy + zdz ao longo de {(x, y, z) E 3 : x = z, x2 + y 2 = 1};

Resoluc
ao: Uma parametrizacao e por exemplo g :]0, 2[ E 3 dada por
g() = (cos , sen , cos )

e portanto o integral pedido vem

Z
Z

g (xdx + ydy + zdz) =

]0,2[

]0,2[

cos d(cos ) + sen d(sen ) + cos d(cos )

]0,2[

cos sen d =

cos2
cos sen d =
2


2

= 0.

Este resultado poderia tambem se obtido notando que estamos a integrar uma forma
exacta ao longo de um caminho fechado:

 2
y2 z2
x
+
+
.
xdx + ydy + zdz = d
2
2
2
(c) dx dy ao longo de {(x, y, z) E 3 : x2 + y 2 + z 2 = 9};
Resoluc
ao: Uma parametrizacao e por exemplo g :]0, []0, 2[ E 3 dada por
g(, ) = (sen cos , sen sen , cos )
e portanto o integral pedido vem
Z
Z

g (dx dy) =
d(sen cos ) d(sen sen )
]0,[]0,2[
]0,[]0,2[
Z
=
(cos cos d sen sen d) d(cos sen d + sen cos d)
]0,[]0,2[

sen cos d d =

]0,[]0,2[


sen2

= 2

sen cos dd

= 0.

(veremos mais tarde que o facto de este integral ser zero pode ser visto como uma
consequencia de estarmos a integrar uma forma exacta sobre uma variedade compacta:
dx dy = d(xdy)).

(d) zdx dy ydx dz + xdy dz ao longo de {(x, y, z) E 3 : z = x2 + y 2 , z 1}.

Resoluc
ao: Uma parametrizacao e por exemplo g : {(u, v) E 2 : u2 + v 2 < 1} E 3
dada por
g(u, v) = (u, v, u2 + v 2 )

e portanto o integral pedido vem

Z
g (zdx dy ydx dz + xdy dz)
{u2 +v 2 <1}
Z
=
(u2 + v 2 )du dv vdu d(u2 + v 2 ) + udv d(u2 + v 2 )
{u2 +v 2 <1}
Z
=
(u2 + v 2 )du dv 2v 2 du dv + 2u2 dv du
2
2
{u +v <1}
Z
=
(u2 + v 2 )du dv
{u2 +v 2 <1}
Z
=
(u2 + v 2 )dudv
{u2 +v 2 <1}

1 Z 2
0

r4
r rddr = 2
4
2

1
0

= .
2

5. Calcule a area da superfcie curva de um cone circular recto de altura h > 0 e raio da base
a > 0.
Resoluc
ao: Uma parametrizacao desta superfcie e por exemplo g :]0, a[]0, 2[ E 3 dada
por


h
g(r, ) = r cos , r sen , r .
a
O pull-back por esta parametrizacao de um elemento de volume compatvel com a orientacao
por ela induzida e
p
g dV2 = det G(r, )dr d,
onde G e a matriz 2 2 dada por

 

h
h
h2
g g

= cos , sen ,
cos , sen ,
= 1+ 2;
G11 =
r r
a
a
a


g g
h
G12 = G21 =

= cos , sen ,
(r sen , r cos , 0) = 0;
r
a
g g

= (r sen , r cos , 0) (r sen , r cos , 0) = r2 .

G22 =

Portanto


2

 1 + ha2
det G(r, ) = 

0





2
0 
 = r2 1 + h

a2
r2 

e a area da superfcie e
r
r
r
Z
Z Z
p
h2
h2 a 2
h2
a2
1 + 2 = a a2 + h2 .
r 1 + 2 dr d = 1 + 2
rddr = 2
a
a 0 0
2
a
]0,a[]0,2[
6. Escreva a area do elipsoide de semieixos a, b, c R+ como um integral iterado.

Resoluc
ao: Uma parametrizacao desta superfcie e por exemplo g :]0, []0, 2[ E 3
dada por
g(, ) = (a sen cos , b sen sen , c cos ).
6

O pull-back por esta parametrizacao de um elemento de volume compatvel com a orientacao

por ela induzida e
p
g dV2 = det G(, )d d,
onde G e a matriz 2 2 dada por

g g

= (a cos cos , b cos sen , c sen ) (a cos cos , b cos sen , c sen )

= a2 cos2 cos2 + b2 cos2 sen2 + c2 sen2 ;
g g

= (a cos cos , b cos sen , c sen ) (a sen sen , b sen cos , 0)

= G21 =

= (b2 a2 ) sen cos sen cos ;
g g

= (a sen sen , b sen cos , 0) (a sen sen , b sen cos , 0)

=

= a2 sen2 sen2 + b2 sen2 cos2 .

G11 =

G12

G22

Portanto

 2
 a cos2 cos2 + b2 cos2 sen2 + c2 sen2 (b2 a2 ) sen cos sen cos
det G(r, ) = 

(b2 a2 ) sen cos sen cos
a2 sen2 sen2 + b2 sen2 cos2
= a2 b2 sen2 cos2 + a2 c2 sen4 sen2 + b2 c2 sen4 cos2

e a area da superfcie e
Z
p
a2 b2 sen2 cos2 + a2 c2 sen4 sen2 + b2 c2 sen4 cos2 d d
]0,[]0,2[
Z Z 2

sen

p
a2 b2 cos2 + a2 c2 sen2 sen2 + b2 c2 sen2 cos2 dd.

7. Prove o Segundo Teorema de Pappus: a area de uma superfcie de revolucao gerada por uma
curva plana e igual a 2dL, onde L e o comprimento da curva plana e d e a distancia do
seu centroide ao eixo de rotacao. Aproveite este resultado para calcular a area da superfcie
do toro
n
o
p
T = (x, y, z) E 3 : ( x2 + y 2 R)2 + z 2 r2
(0 < r < R).

Resoluc
ao: Se a curva e parametrizada por c :]0, 1[ E 2 ,
c(t) = (u(t), v(t))
uma parametrizacao da superfcie de revolucao gerada pela curva e g :]0, 1[]0, 2[ E 3
dada por
g(t, ) = (u(t) cos , u(t) sen , v(t)).
O pull-back por esta parametrizacao de um elemento de volume compatvel com a orientacao
por ela induzida e
p
g dV2 = det G(t, )dt d,
7

onde G e a matriz 2 2 dada por

g g

= (u cos , u sen , v ) (u cos , u sen , v ) = (u )2 + (v )2 ;

t t
g g
= G21 =

= (u cos , u sen , v ) (u sen , u cos , 0) = 0;

t
g g

= (u sen , u cos , 0) (u sen , u cos , 0) = u2 .

=

G11 =
G12
G22
Portanto


 2
 (u ) + (v )2 0
det G(r, ) = 

0
u2






 = u2 (u )2 + (v )2



e a area da superfcie e
Z
Z
p
u2 ((u )2 + (v )2 )dt d =
]0,1[]0,2[

1 Z 2

= 2

0
1

p
(u )2 + (v )2 ddt

(u )2 + (v )2 dt.

Ora o pull-back de um elemento de volume da curva compatvel com a parametrizacao c e

r
p
dc dc
dt = (u )2 + (v )2 dt
dt dt
e a coordenada u do seu centroide e portanto
Z
Z
p
1
1 1 p 2

2
uC = d =
u (u ) + (v )2 dt.
u (u ) + (v ) dt =
L ]0,1[
L 0
Concluimos que a area da superfcie e 2dL. No caso do toro, d = R e L = 2r, pelo que a
tambem facil ver que a superfcie conica do exerccio
area da superfcie do toro e 4 2 rR. E
5 se pode obter
os pontos (0, 0) e (a, h), pelo que
por rotacao do segmento de recta aunindo

a
2
2
2
d = 2 e L = a + h , vindo a area do cone 2 2 a + h2 (em conformidade com o que
ja havamos obtido).
8. Seja S a superfcie
Calcule:



S = (x, y, z) E 3 : z = x2 + y 2 , z 1 .

(a) A area de S;
Resoluc
ao: Uma parametrizacao desta superfcie e por exemplo g :]0, 1[]0, 2[ E 3
dada por
g(r, ) = (r cos , r sen , r2 ).
O pull-back por esta parametrizacao de um elemento de volume compatvel com a
orientacao por ela induzida e
p
g dV2 = det G(r, )dr d,
8

onde G e a matriz 2 2 dada por

g g

= (cos , sen , 2r) (cos , sen , 2r) = 1 + 4r2 ;

r r
g g
= G21 =

= (cos , sen , 2r) (r sen , r cos , 0) = 0;

r
g g

= (r sen , r cos , 0) (r sen , r cos , 0) = r2 .

=

G11 =
G12
G22
Portanto



 1 + 4r2 0
det G(r, ) = 

0
r2

e a area da superfcie e
Z
Z
V2 (S) =
dV2 =
S

= 2

1
1 + 4r2
12






 = r2 1 + 4r2



Z
p
2
r 1 + 4r dr d =

]0,1[]0,2[



3 1
2

1 Z 2

p
1 + 4r2 ddr


3

52 1 .
=
6

(b) O centroide de S.
Resoluc
ao: Por simetria o centroide situa-se no eixo dos zz, i.e., xC = yC = 0. Como
Z
Z
Z 1 Z 2 p
p
2
2
zdV2 =
r r 1 + 4r dr d =
r3 1 + 4r2 ddr
]0,1[]0,2[


1
Z 1

3
3
1
1
du
= u (1 + 4u) 2
(1 + 4u) 2 du
u 1 + 4u
= 2
2
6
0
0 6
0
1

5
5
3
1
1

3
1
3
= 52
(1 + 4u) 2 = 5 2 (5) 2 +
= 52 +
6
60
6
60
60
12
60
0
Z

temos
1
zC =
V2 (S)

zdV2 =

23
125 + 60
3

2
6 5 1

1 23
25
3
2

1
10

5 1

9. Calcule o trabalho realizado pela forca

F(x, y, z) = (y + z, x + z, x + y)
ao longo da curva
C = {(x, y, z) E 3 : x = cos , y = sen , z = 2, 0 2}
percorrida no sentido dos valores de z decrescentes.
Resoluc
ao: Uma parametrizacao desta curva e por exemplo g :]0, 2[ E 3 dada por
g() = (cos , sen , 2),

que no entanto corresponde `as orientacao inversa da pretendida. O integral de linha de F

ao longo da curva com esta orientacao e
Z
(y + z)dx + (x + z)dy + (x + y)dz
C
Z
=
(sen + 2)d(cos ) + (cos + 2)d(sen ) + (cos + sen )d(2)
]0,2[
2

( sen2 2 sen + cos2 + 2 cos + 2 cos + 2 sen )d

cos(2)d + [2 cos + 2 sen ]2

0 = 4,

pelo que o trabalho realizado e entao 4.

10. O campo de velocidades de um fluido e descrito pelo campo vectorial
v = (x, y, 2z).
Supondo que o fluido possui densidade constante igual a 1, calcule a massa de fluido que
atravessa a superfcie
S = {(x, y, z) E 3 : z = xy, x2 + y 2 1}
por unidade de tempo no sentido dos valores de z decrescentes.
Resoluc
ao: Uma parametrizacao desta superfcie e por exemplo g : {(u, v) E 2 : u2 +v 2 <
3
1} E dada por
g(u, v) = (u, v, uv),
que no entanto corresponde `as orientacao inversa da pretendida: por exemplo no ponto
(0, 0, 0) M tem-se n = (0, 0, 1) n = dx dy, e
g (dx dy) = du dv

(i.e., a orientacao induzida pela parametrizacao g e a oposta da compatvel com o elemento

de volume correspondente a n). O fluxo de F atraves de S sera entao o simetrico do integral
de F ao longo de S com a orientacao induzida por g:
Z
xdy dz + ydz dx 2zdx dy
SZ
=
udv d(uv) + vd(uv) du 2uvdu dv
{u2 +v 2 <1}
Z
=
uvdv du + vudv du 2uvdu dv
{u2 +v 2 <1}
Z
Z
=
4uvdu dv = 4
uvdudv
{u2 +v 2 <1}
Z 1 Z 2

= 4
= 4

{u2 +v 2 <1}

r2 cos sen rddr

0
2
2
sen

r4
4

1

= 0,

pelo que o fluxo total atraves da superfcie e entao 0.

10

6a Ficha de Exerccios de AMIII

10 de Dezembro de 2001

1. Considere a superfcie esferica de raio 1

S 2 = {(x, y, z) E 3 : x2 + y 2 + z 2 = 1}.
(a) Escreva uma parametrizacao para S 2 (excepto um meridiano) usando os angulos das
coordenadas esfericas. A carta correspondente a esta parametrizacao e por vezes usada
nos planisferios.
(b) Escreva uma parametrizacao para S 2 (excepto um meridiano) usando as coordenadas
cilndricas (, z). A carta correspondente a esta parametrizacao chama-se a projeccao
cilndrica.
(c) Mostre que
dV2 = xdy dz + ydz dx + zdx dy
e um elemento de volume para S 2 .
(d) Calcule o pull-back deste elemento de volume por cada uma das parametrizacoes acima.
Qual das projeccoes preserva areas?
R
2. Calcule M com uma orientacao `a sua escolha usando o Teorema de Stokes, onde


(a) = yexy dx + xexy dy e M = (x, y) E 2 : y = x2 , 0 < x < 1 ;


2
y2
2 x
(b) = dx dy e M = (x, y) E : 2 + 2 < 1 ;
a
b


(c) = xdy dz + ydz dx e M = (x, y, z) E 3 : x2 + y 2 + z 2 = 9 ;


(d) = xdx dy e M = (x, y, z) E 3 : z 2 = x2 + y 2 , 1 < z < 2 .

3. Calcule o fluxo do campo vectorial F(x, y, z) = (x, y, 2z) para fora da superfcie
S = {(x, y, z) E 3 : x2 + y 2 = 1 + 2z 2 , 0 z 1}.
(a) Pela definicao.
(b) Usando o Teorema da Divergencia.
(c) Usando o Teorema de Stokes para campos vectoriais.
4. Considere a superfcie
o
n
p
S = (x, y, z) E 3 : z = x2 + y 2 1, 0 < z < 1 .
1

(a) Calcule o fluxo de F(x, y, z) = (x + cos(yz), y + ex +z , z + 1) atraves da superfcie

S, no sentido da normal unitaria cuja terceira componente e negativa.
(b) Usando o teorema de Stokes, calcule o fluxo do campo vectorial G(x, y, z) = (y +
z, x + z, x + y) atraves de S, no sentido da normal unitaria cuja terceira componente
e negativa.
5. (a) Usando a correspondencia

dr (rd) (r sen d)
r
1
e =
rd (r sen d) dr
r
1

e =
r sen d dr (rd)
r sen
er =

escreva o Laplaciano de f , 2 f = f , em coordenadas esfericas.

(b) Determine todas a solucoes da equacao de Laplace 2 f = 0 que so dependem da
coordenada radial r.
6. Um determinado processo reversvel corresponde a percorrer a curva


C = (V, p) : (V 2)2 + (p 2)2 = 1

no sentido directo.
Calcule o trabalho total realizado sobre o sistema durante este processo,
R
i.e., calcule C com a orientacao indicada, onde = pdV .

7. O campo de velocidades de um fluido e da forma u = u(r)e , onde (r, , z) sao coordenadas

cilndricas em E 3 , e deve satisfazer as equacoes de u = 0 e u = 0. Determine a
expressao geral de u(r).
8. O campo electrico gerado por uma carga pontual possui simetria esferica, E = E(r)er ,
onde r e a coordenada radial esferica, e deve satisfazer as equacoes de Maxwell no vacuo,
E = 0 e E = 0. Determine a expressao geral de E(r).
9. Dado um campo electrico E = E 1 e1 + E 2 e2 + E 3 e3 e um campo magnetico B = B 1 e1 +
B 2 e2 + B 3 e3 dependentes do tempo t, define-se em E 4 com coordenadas (t, x, y, z) a
2-forma
F = E 1 dx dt + E 2 dy dt + E 3 dz dt + B 1 dy dz + B 2 dz dx + B 3 dx dy
(dita o tensor de Faraday). Mostre que F e fechada sse E e B satisfazem as equacoes de
Maxwell homogeneas B = 0, E = B
t .
10. Mostre que E 3 \ {(0, 0, 0)} nao e difeomorfo a E 3 (Sugest
ao: Use o resultado do exerccio
8 para construir uma 2-forma fechada mas nao exacta em E 3 \ {(0, 0, 0)}).

r
s

sr sr
s
r r

sr rtr

t r s s
s s

rs s
rs rt rrst st rtr

r s s
s s
rs

Pr

s s s s s

sr rtr

rs

t r s s rs

rt rrst st rtr

s r

Pr

q rs
rs q

str q

t r

st tr q

s sr

tr r tr

st t r s rtr

s
s r

s rsr
rs

s

Prtt r

r rsr
rs

r r

r t

rt

s s s r ts

r q
s

r q
s

P r ts

P r ts

rtr r r r

s s
rss s rr rt q rt
tr r ss s Prtt

s s

sr srr

st s
t s rt
r tr r Prtt r ts

r q
s

P r ts

r s rrs
Ps sr rt s rtrrt s t ss
r
s tr rt rtt tr rr
q s rr t r rrr st rt q
st s st s rr t r sr
rrr st rs rtt s s rtrs
s r

s s
s s

q rrs rt st rt trs

s s
s s

tr r r sr

P
s

rtr
r

s s

q rs rs q q s sr r
q

s
s

s s

s s

t r r s q rt rrst r
trr tr q rtt r r sr rtr

s s

s s

trtt s srr r

tr q

s s

s s

s s

s s

ts q

r rst trr s trs rt

tr s s tr rtr q st rt
rrst r tr trr s tsss t st
rs trr q rt rtr t q
s r s r t r

r trr tr

Prtt t
q

s s
rs q rt rrst

s r r
r q r sr r
s

s s r stt r
rr
r t rr r t
Pr r r r
q s sr srs
q t s s s s rs ts s s
s rs s
r tr rrs
t r tr trr t r ts q
Pr tr
P r r ts t

r r

rtt

r ss trr
s r ts r s trs
s

ts q r st
q t
str s q rt
t tr
r s r t s tr

s t t tr str s rt
qtt str s r trr rt
s sr ssr q s ts st s ss r
t
ts

Prtt s r sr
t

P r ts

t tr r

s rts sr ts r tr
s rst sr rrr st rt q st s
st s st rs rtr r
s s rtt

s s

rtr r
s s st r
rst st rtr tt trr q q rts
q

Prtt s s q

sr sr

s trs sr
st r t
r trr t t
s

sr
sr r q r
Prtt sr t sr r r sr
s s r stt r rr
r t rr
r t
Pr r r r
q s sr srs
q t s s s s rs ts s s
s rs s
r tr rrs t
r tr trr t r ts q
Pr tr
s P r r ts t

s rs rs

rr

Pr tr

s tr ts tr
tr
s st r tr trr t
t
s

ts q r
st q t
str s q
rt
t tr
r s r t s tr

s t t tr str s rt
rts sr ssr q s ts st s ss

t
t
s

Prtt s r sr
tr r

ts q st s sr t s ss tr q

r tr t tr

st t r

P r ts

rt

s rst
st s

s s

sr

t
s

t
r

sr rrr st rt q st s
st rs

rtr

rtt

s
s
s s

s s

s s s

rtr

s s

st

rrs

t st rtr

tt tr
r
q q rts

s s s s

s s

s s s s

Prtt

s s

s rrs

r r r r r s
r r r s r

r s
r s r r

sr
s

r r r rs srs

r
r

r s
s r
r
r

rtt

r r r r r s r r s r

s
r
r
r s
r

r s

r s

tr ts ss q r q s
r r r
s

s
r q

r r

r
r

s stts

 tr rss rrs rrs rrrr r

st rt
tr tt r sr sst rt st rss

rt
s

P r ts t q rt r rrs rt
s ts

s r r r s rs
rs stsr s qs r r tr
rss r r
s

s rrs

r
r r
r r

ts q rrs r
tt

r r

r r r

sq

r rr r r

r
r

Prtt

r stt

ts q rtt st rrst st s
s rt sr rt sr r q s r
r r r r s ts s ss s s
ts q r qt r q t r
r st sr t str rr tr s
r ss r q t tt r r
sts sts r q t r

 tr r r r t ss str sr rr
r r r sr stsr s qs
r r tr rss r r
s

s ts q rrs
r r r
r s sqtt

r
r

Prtt

r s rr r rr
r

r stt

tr t
ts t t s rs t
r

t t t

str q ss sts s qs

t
s

rrstr r r sss
rs s q

tsr r

r r

sqtt

t t t r t t r
rrst r trr rs t stt
Prtt
s qs s s ststs
str q r st

srs r st r q r
t t r trs sr sr r

ss

s rst r

r strr r s
t

q r s Prtt

s ss rt sr sr rrst r trr
st s q st t ss
rs s q s ts rtt sr r
t str

AMIII - Exerccios Resolvidos Sobre Formas Diferenciais e o

Teorema de Stokes

11 de Janeiro de 2002
1. Seja S a superfcie


S = (x, y, z) E 3 : z = cosh x, |x| < 1, y ]0, 1[ .

Calcule:

(a) A area de S;
(b) O centroide de S;
(c) O momento de inercia de S em torno do eixo dos yy (assumindo uma densidade de
massa por unidade de area constante igual a 1).
Resoluc
ao:
(a) Uma parametrizacao desta superfcie e por exemplo g :] 1, 1[]0, 1[ E 3 dada por
g(u, v) = (u, v, cosh u).
O pull-back por esta parametrizacao de um elemento de volume compatvel com a
orientacao por ela induzida e
p
g dV2 = det G(u, v)du dv,
onde G e a matriz 2 2 dada por

g g

= (1, 0, senh u) (1, 0, senh u) = 1 + senh2 u = cosh2 u;

u u
g g
= G21 =

= (1, 0, senh u) (0, 1, 0) = 0;

u v
g g

= (0, 1, 0) (0, 1, 0) = 1.
=
v v

G11 =
G12
G22
Portanto





 cosh2 u 0 
 = cosh2 u
det G(u, v) = 


0
1 

e a area da superfcie e
Z
Z
V2 (S) =
dV2 =
S

]1,1[]0,1[

cosh u du dv =

1
= [senh u]11 = 2 senh 1 = e .
e
1

cosh u dvdu

(b) Por simetria xC = 0 e yC = 21 . Como

Z

zdV2 =

]1,1[]0,1[

1
2

eu

+
2

cosh u cosh u du dv =
eu

2

du =

1
4

(cosh(2u) + 1) du =

1
V2 (S)

cosh2 u dvdu

e2u + e2u + 2 du

1
1
[senh(2u)]11 + 1 = senh 2 + 1
4
2

temos
zC =

zdV2 =

1
2

senh 2 + 1
.
2 senh 1

(c) Por definicao,

Z

Iy =

1 x +z

S
1

dV2 =

]1,1[]0,1[

u2 + cosh2 u cosh u du dv

u2 + senh2 u + 1 cosh u dvdu

1
senh3 u
+2
u cosh u du +
=
3
1
1
2
= 6 senh 1 4 cosh 1 + senh3 1 + 2.
3
Z

2. Calcule

I 
Q




y
x
x2
2
2
dx +
+e
+ sen y dy,
x + y2
x2 + y 2

onde Q e o quadrado com vertices (2, 0), (0, 2), (2, 0), (0, 2) percorrido no sentido directo.
Resoluc
ao: Claramente a forma
2

= ex dx + sen y 2 dy
e fechada, e portanto exacta (uma vez que esta definida em E 2 , que e em estrela). Portanto
facil ver que a forma
o seu integral ao longo de Q sera nulo. E
=

x2

y
x
dx + 2
dy
2
+y
x + y2

e tambem fechada:
d =

x2 + y 2 2y 2
(x2 + y 2 )2

dy dx +

x2 + y 2 2x2
(x2 + y 2 )2

dx dy = 0.

No entanto, uma vez que o domnio de (E 2 \ {(0, 0)}) nao e em estrela, nao podemos
concluir que e exacta. De facto, nao e exacta: se C representa a circunferencia de raio 1 em
torno da origem precorrida no sentido directo, parametrizada por exemplo por g :]0, 2[ E 2
dada por
g() = (cos , sen ),
2

tem-se
I

cos
sen
d(cos ) +
d(sen )
2
2
+ cos
sen + cos2
]0,2[
]0,2[
Z
Z
Z 2
2
2
d = 2 6= 0.
=
sen d + cos d =
d =

g =

sen2

]0,2[

]0,2[

Se A e a regiao do plano compreendida entre C e Q, tem-se A = C Q. A orientacao

usual de A (dada pelo elemento de volume dV2 = dx dy) induz em Q a orientacao que
corresponde a percorrer Q no sentido directo e C no sentido inverso; portanto pelo Teorema
de Stokes
I
Z
I
Z
=
d +
=
0 + 2 = 2
Q

e o integral pedido e

= 2 + 0 = 2.

3. Calcule o fluxo do campo vectorial F(x, y, z) = (xz, yz, z 2 ) para fora da superfcie
S = {(x, y, z) E 3 : z 2 = 1 + x2 + y 2 , 2 z 3}

(i.e., no sentido em que a distancia ao eixo dos zz aumenta)

(a) Pela definicao.
(b) Usando o Teorema da Divergencia.
(c) Usando o Teorema de Stokes para campos vectoriais.
Resoluc
ao:
(a) Uma parametrizacao de S e por exemplo g :]0, 2[]2, 3[ E 3 dada por
p

p
g(, z) =
z 2 1 cos , z 2 1 sen , z ,

uma vez que em coordenadas cilndricas a equacao que define S se escreve z 2 = 1+r2 .
Como





e1
e2
e3 



g g 


=  z 2 1 sen
z 2 1 cos
0 



z


1
1
 z(z 2 1) 2 cos z(z 2 1) 2 sen 1 
p

p
=
z 2 1 cos , z 2 1 sen , z

aponta para fora de S, conclumos que g induz a orientacao correspondente `a normal

exterior unitaria, e que portanto o fluxo de F para fora de S pode ser calculado a partir
de
Z
F n dV2 =
S
Z 3 Z 2 p
  p

p
p
=
z 2 1 cos , z 2 1 sen , z z z 2 1 cos , z z 2 1 sen , z 2 ddz
2
0
Z 3 Z 2
(z 3 z + z 3 )ddz = 60.
=
2

Alternativamente, podemos considerar a 2-forma

F = xzdy dz + yzdz dx z 2 dx dy
e integra-la ao longo de S. Uma vez que
p

p
z 2 1 sen dz
g F = z z 2 1 cos d
p

p
z 2 1 sen
+ z z 2 1 sen dz d

p

p
z 2 1 cos d
z 2 1 sen
z2d




= z z 2 1 cos2 d dz z z 2 1 sen2 dz d z 2 zdz d


= z 3 z + z 3 d dz,

temos que

F =

3 Z 2
0

2z 3 z ddz = 6,

em conformidade com o resultado anterior. Vimos atraves do calculo do produto externo das colunas da matriz Jacobiana da parametrizacao que esta induz a orientacao
correspondente `a normal unitaria exterior; caso nao tivessemos feito este calculo, poderamos determinar qual a orientacao induzida pela parametrizacao notando que uma
base para o espaco normal a S no ponto (x, y, z) e dada por


x2 + y 2 z 2 + 1 = (2x, 2y, 2z).

Apesar de a nossa superfcie ser apenas o pedaco de hiperbol

oide entre z = 2 e z = 3,
para efeitos de calculo da orientacao e mais simples considerar toda a folha em z > 0;
nesse caso, no ponto (0, 0, 1) = g(0, 0) a normal exterior unitaria e n = (0, 0, 1), e
n = dx dy. Uma vez que
p

p

g n = d
z 2 1 cos d
z 2 1 sen = zdz d = 1d dz

para (, z) = (0, 0), e 1 > 0, concluiramos que g induz a orientacao correspondente

a n.
facil ver que F = 0. A superfcie S e um pedaco de um hiperboloide cujo eixo e o
(b) E

eixo dos zz, e o seu bordo e constitudo por uma circunfer

e
ncia
C
de
raio
3 contida
1

no plano z = 2 e uma circunferencia C2 de raio 8 contida no plano z = 3. Para

aplicar o Teorema da Divergencia (que so pode ser aplicado a superfcies que limitam
volumes), adicionamos a S os dois crculos D1 e D2 contidos nos planos z = 2 e
z = 3 e cujos bordos sao C1 e C2 . A normal unitaria indicada corresponde entao `a
normal unitaria exterior n ao volume V limitado por D1 S D2 . Note-se que, em
D1 , n = (0, 0, 1) e, em D2 , n = (0, 0, 1). Por outro lado, F(x, y, 2) = (2x, 2y, 4)
e F(x, y, 3) = (3x, 3y, 9). Pelo Teorema da Divergencia tem-se entao
Z
Z
Z
Z
F n dV2 +
F n dV2 +
F n dV2 =
F dV3 = 0,
D1

D2

ou seja,
Z

F n dV2 =

D1

4dV2

(9)dV2

D2

= 9V2 (D2 ) 4V2 (D1 ).

Como D1 e D2 sao crculos de raios sqrt3 e 8, V2 (D1 ) = 3 e V2 (D2 ) = 8, e

portanto
Z
S

F n dV2 = 72 12 = 60,

em conformidade com o nosso calculo anterior.

(c) Note-se que F = 0. Como F esta definido em E 3 , que e um conjunto em estrela,
conclumos que F e um campo rotacional. Se A e um potencial vector para F, i.e.,
se G = A, entao devemos ter
F = dA dA = xzdy dz + yzdz dx z 2 dx dy,

ou seja,

A3
y
A1
z
A2
x

A2
z

= xz

A3
x

= yz

A1
y

= z 2

Como e sabido, o facto de o potencial vector estar definido a menos de um gradiente

(ou equivalentemente de A estar definido menos de uma derivada exterior) permitenos sempre assumir que uma das componentes deste se anula. Escolhemos por exemplo
A3 = 0. Entao obtem-se

2
A2

z = xz
A = xz2 + f (x, y)

2
2
A1

A1 = yz2 + g(x, y)
z = yz

A2 A1 = z 2
z 2 + f z 2 g = z 2
x

Portanto podemos por exemplo escolher f = g = 0, e um potencial vector para G e

entao
 2

yz
xz 2
A=
,
,0 .
2
2
Pelo Teorema de Stokes,
Z
I
I
F n dV2 =
A dg +
A dg
S

C1

C2

onde as orientacoes de C1 e C2 devem ser compatveis com a normal unitaria n.

Mais precisamente, C1 deve ser percorrida no sentido directo quando vista do semieixo
positivo
dos
zz, e C2 no sentido inverso. Uma parametrizacao para C1 e g() =

( 3 cos , 3 sen , 2), e portanto

I
Z 2

A dg =
(2 3 sen , 2 3 cos , 0) ( 3 sen , 3 cos , 0) d
0

C1

(6)d = 12.
5

Uma parametrizacao para C2 e g() =
3 cos , 3 sen , 1 ; o sentido de C2 correspondente a esta parametrizacao e no entanto o contrario `aquele que pretendemos,
pelo que
 
I
Z 2 


9
9
A dg =
8 sen ,
8 cos , 0 8 sen , 8 cos , 0 d
2
2
C2
0
Z 2
36d = 72.
=
0

Portanto mais uma vez conclumos que

Z
F n dV2 = 60.
S

4. Seja
n
o
p
M = (x, y, z) E 3 : ( x2 + y 2 2)2 + z 2 = 1

Calcule o fluxo do campo vectorial

F(x, y, z) = (xesin z , yesin z , z)

atraves de M no sentido da normal exterior.
Resoluc
ao: M e o bordo do toro solido
n
o
p
T = (x, y, z) E 3 : ( x2 + y 2 2)2 + z 2 1 ,

F = esin z esin z + 1 = 1.
Logo

F n dV2 =

F dV3 =

(onde usamos o Teorema de Pappus).

1 dV3 = V3 (T ) = 2 2 12 = 4 2

R
5. Use o Teorema de Stokes para calcular M com a orientacao correspondente `a normal
exterior, onde


M = (x, y, z) : x2 + y 2 = 1, z 0
e

= xez dy dz + yez dz dx

Resoluc
ao: Comecamos por observar que o integral pedido e apenas o fluxo do campo
z
F = (e x, ez y, 0) para fora da superfcie cilndrica infinita M , e que portanto o integral
pedido sera
Z
Z
Z
Z + Z 2
=
ez ddz = 2.
(ez x, ez y, 0) (x, y, 0)dV2 =
ez dV2 =
M

No entanto, queremos usar o Teorema de Stokes para calcular o integral. Uma forma de o
fazer e notar que
d = 2ez dx dy dz.
6

Seja h > 0 e


D0 = (x, y, z) : x2 + y 2 1, z = 0 ;


Mh = (x, y, z) : x2 + y 2 = 1, 0 z h ;


Dh = (x, y, z) : x2 + y 2 1, z = h ;


Ah = (x, y, z) : x2 + y 2 1, 0 z h .

Entao Ah = D0 Mh Dh e portanto pelo Teorema de Stokes

Z
Z
Z
Z
d =
+
+
.
Ah

D0

Mh

Dh

A orientacao correspondente `a normal exterior em Mh induz em Ah a orientacao usual (dada

pelo
elemento
de volume dV3 = dx dy dz). Uma vez que F e tangente a D0 , Dh ,
R
R
D0 = Dh = 0, e portanto
Z

Mh

2ez dx dy dz =
Ah
Ah


 2 1  z h
= 2 r 0 e 0 = 2 1 eh .

d =

2ez dxdydz =

Ah

h Z 1 Z 2
0

2ez rddrdz =

facil ver que por exemplo o Teorema da Convergencia Dominada

E
Z
Z


= lim 2 1 eh = 2
= lim
M

h+

h+ Mh

(como teria que ser).

Outra forma de calcular o integral usando o Teorema de Stokes e a seguinte: como vimos,
d 2ez dx dy dz = 0 d( + 2ez dx dy) = 0
pelo que a 2-forma
= 2ez dx dy

e fechada. Uma vez que o seu domnio (E 3 ) e em estrela, concluimos que e exacta. Alem
disso o integral de ez dx dy ao longo de M corresponde ao fluxo do campo vertical
(0, 0, 2ez ) atraves de M ; uma vez que este campo e tangente a M , o fluxo e nulo.
Portanto
Z
Z
=
.
M

Calculemos um potencial para : se

= 1 dx + 2 dy + 3 dz
e tal que d = entao devemos ter
d = xez dy dz + yez dz dx + 2ez dx dy,

ou seja,

3
y
1
z
2
x

2
z
3
x
1
y

= xez
= yez
= 2ez

Como e sabido, o facto de o potencial estar definido a menos da derivada exterior de uma
funcao permite-nos sempre assumir que uma das componentes deste se anula. Escolhemos
por exemplo 2 = 0. Entao obtem-se

3
z

= xyez + f (x, z)
=
xe

3
y
3
1
z
z f = yez
2yez + g
z x = ye
z ye
x

1 = 2ez
= 2yez + g(x, z)
1

Portanto podemos por exemplo escolher f (x, z) = g(x, z) = 0. Um potencial para e

entao
= 2yez dx + xyez dz.
Apesar de M ser uma variedade com bordo,


M = C0 = (x, y, z) : x2 + y 2 = 1, z = 0 ,

nao podemos aplicar directamente o Teorema de Stokes, uma vez que este teorema so e
valido para variedades com bordo compactas, i.e., limitadas (de certa forma, M possui parte
do bordo no infinito). Podemos no entanto aplica-lo a Mh , cujo bordo e Mh = C0 Ch ,
com


Ch = (x, y, z) : x2 + y 2 = 1, z = h .
Pela regra da mao direita facilmente se conclui que a orientacao correspondente `a normal
exterior em M induz a orientacao que corresponde a percorrer C0 no sentido directo no
plano xOy e Ch no sentido oposto. Portanto
Z
I
I
Z
Z
=
+
=
2 sen d(cos )
2 sen eh d(cos )
Mh

C0
2

Ch

2 sen2 d eh

e consequentemente
Z
Z
=
M

]0,2[

= lim

]0,2[

2 sen2 d = 2 1 eh

h+ Mh



= lim 2 1 eh = 2.
h+

6. Seja M = {(x, y, z) E 3 : x = y 2 + z 2 , x 1}. Usando o teorema de Stokes,

R
(a) Calcule M zdx dy + xdz dy onde e a orientacao determinada pela normal a M
que tem primeira componente positiva.
R
(b) Calcule M ydz sendo M percorrida no sentido que visto da origem e a dos ponteiros
do relogio.
8

Resoluc
ao:
(a) Claramente tem-se d(xzdy) = zdx dy + xdz dy, logo pelo teorema de Stokes,
Z
Z
zdx dy + xdz dy =
xzdy,
M

onde e a orientacao induzida em M pela orientacao de M . Tem-se

M = {(x, y, z) E 3 : x = y 2 + z 2 , x = 1} = {(1, y, z) E 3 : y 2 + z 2 = 1}.
Uma vez que a orientacao dada a M corresponde `a normal que aponta para dentro do
paraboloide, pela regra da mao direita, a circunferencia M deve ser percorrida num
sentido que, visto de um ponto no semieixo positivo dos xx longe da origem, parece o
contrario ao dos ponteiros do relogio.
A parametrizacao g :]0, 2[ M definida por
g() = (1, cos , sen )
percorre M no sentido desejado, logo
Z
Z 2
xzdy =
g (xzdy)
M
0
Z 2
sen d(cos )
=
0
Z 2
=
sen2 d
0

= .

(b) Pelo teorema de Stokes,

Z

ydz =

dy dz

onde e a orientacao de M que induz a orientacao dada em M . Pela regra da

mao direita vemos que e a orientacao correspondente `a normal que tem componente
segundo x positiva.
Uma parametrizacao para M e por exemplo g :]0, 1[]0, 2[ M definida por
g(r, ) = (r2 , r cos , r sen ).
Como



 e1
e2
e3
g g 

=  2r
cos
sen

r


 0 r sen r cos

g
e r > 0. Conclui-se que g induz a orientacao e
a primeira componente de g
r
portanto,
Z
Z
dy dz =
g (dy dz)

+
M
]0,1[]0,2[
Z
=
d(r cos ) d(r sen )
]0,1[]0,2[+
Z
=
(cos dr r sen d) (sen dr + r cos d)
]0,1[]0,2[+
Z
=
rdr d

]0,1[]0,2[+
1 Z 2

rddr

= .

7. RSeja M = {(x, y, z) E 3 : x2 +y 2 +z 2 = 1, z 0}. Use o Teorema de Stokes para calcular

2
e a orientacao determinada pela normal exterior `a esfera.
M (1 + z )dx dy onde
Resoluc
ao:

A forma (1+z 2 )dxdy nao e fechada e portanto nao e exacta. No entanto, para (x, y, z)
M temos
1 + z 2 = 1 + (1 x2 y 2 ) = 2 x2 y 2 ,
pelo que

(1 + z 2 )dx dy =

(2 x2 y 2 )dx dy.

A forma (2 x2 y 2 )dx dy e fechada em E 3 , que e um conjunto em estrela, e portanto

e exacta.


facil adivinhar um potencial para esta forma: d( 2x 1 x3 dy) = (2 x2 )dx dy e
E
3
d( 31 y 3 dx) = y 2 dx dy, logo


1 3
1 3
y dx + 2x x dy
3
3
e um potencial para (2 x2 y 2 )dx dy.

Pela regra da mao direita, a orientacao induzida por em M = {(x, y, 0) E 3 :

x2 + y 2 = 1} e aquela que vista de um ponto com coordenada z positiva parece o sentido
anti-horario. Uma parametrizacao para M e por exemplo g :]0, 2[ M dada por
g() = (cos , sen , 0)

e claramente a orientacao induzida por esta parametrizacao e . Pelo teorema de Stokes,

10

conclumos que
Z
Z
2
(1 + z )dx dy =
(2 x2 y 2 )dx dy

M


ZM
1 3
1 3
=
y dx + 2x x dy
3
M 3


Z 2
1
1
3
3
sen d(cos ) + 2 cos cos d(sen )
=
3
3
0

Z 2 


1
4
4
2
sen + cos + 2 cos d
=
3
0

Z 2 


1
1 2 cos2 sen2 + 2 cos2 d
=
3
0



Z 2 
1
1
2
2

1 sen (2) + 2 cos d

3
2
0


1
3
1
2 + 2 =
,
=
3
2
2
onde usamos a identidade
cos4 + sen4 = cos2 + sen2

2

2 cos2 sen2 = 1 2 cos2 sen2 .

R
8. Seja M = {(x, y, z, w) E 4 : w2 + 1 = x2 + y 2 + z 2 , 0 w 2}. Calcule M dx dy dz
onde e a orientacao de M dada pela normal que aponta na direccao do eixo dos ww.
Resoluc
ao:
Seja
V = {(x, y, z, w) E 4 : w2 + 1 x2 + y 2 + z 2 , 0 w 2}.
Entao V e um conjunto compacto e
V = M
onde

T1

T2

T1 = {(x, y, z, w) E 4 : w2 +1 x2 +y 2 +z 2 , w = 0} = {(x, y, z, 0) E 4 : x2 +y 2 +z 2 1}
e
T2 = {(x, y, z, w) E 4 : w2 +1 x2 +y 2 +z 2 , w = 2} = {(x, y, z, 2) E 4 : x2 +y 2 +z 2 5}.
Uma vez que d(dx dy dz) = 0, pelo teorema de Stokes tem-se
Z
dx dy dz = 0
V

qualquer que seja a orientacao escolhida para V . Pela aditividade do integral conclui-se
que
Z
Z
Z
dx dy dz = 0
dx dy dz +
dx dy dz +
M

T2

T1

11

onde designa a orientacao determinada em cada hipersuperfcie pela normal interior a V .

O espaco tangente a T1 e T2 e, em qualquer ponto, {(x, y, z, 0) E 4 } pelo que dxdy dz
e um elemento de volume para T1 e T2 . Resta saber se e o elemento de volume compatvel
com as orientacoes . A normal unitaria interior a T1 e (0, 0, 0, 1), logo o elemento de
volume correspondente `a orientacao determinada por esta normal e (1)41 1dx dy dz =
dx dy dz. Da mesma forma vemos que o elemento de volume para T2 determinado
pela orientacao e dx dy dz. Assim, tem-se
Z
Z
Z
dx dy dz =
dx dy dz
dx dy dz
T1

=
=

T1

T1

T2

dx dy dz
dxdydz

T2

dx dy dz

dxdydz

T2

= V3 (T1 ) V3 (T2 )
4 4 3
5 .

=
3
3
9. Seja
V = {(x, y, z) E 3 : x2 + y 2 + z 2 1, x 0, y 0, z 0}.
Calcule o fluxo do campo vectorial
1

F(x, y, z) = ( p

x2

+ y2 + z2

, 0, 0)

atraves de V no sentido da normal exterior a V .

Resoluc
ao:
Nao se pode aplicar directamente o teorema da divergencia porque F nao e de classe C 1
em V . No entanto, podemos aplicar o teorema da divergencia a regioes
V = {(x, y, z) E 3 : 2 x2 + y 2 + z 2 1, x 0, y 0, z 0}
e passar ao limite quando 0:
S S S
Temos V = T1 T2 T3 S, onde

T1 = {(x, y, 0) E 3 : x2 + y 2 1, x 0, y 0};

T2 = {(0, y, z) E 3 : y 2 + z 2 1, y 0, z 0};

T3 = {(x, 0, z) E 3 : x2 + z 2 1, x 0, z 0};

S = {(x, y, z) E 3 : x2 + y 2 + z 2 = 1, x 0, y 0, z 0},
S
S
S S
Temos tambem V = T1, T2, T3, S S , onde Ti, designa a porcao de Ti a uma
distancia da origem, e
S = {(x, y, z) E 3 : x2 + y 2 + z 2 = 2 , x 0, y 0, z 0}.

12

O campo F e paralelo a T1 e T3 , pelo que trivialmente temos para i = 1, 3

Z
Z
0 = lim
Fn=
F n.
0 T
i,

Ti

Por outro lado F e perpendicular a T2 pelo que

Z
Z
lim
F (1, 0, 0) = lim
0 T
2,

Uma vez que a funcao

1
y 2 +z 2

0 T
2,

y2

+ z2

dV2 .

e integravel em T2 (como facilmente se verifica utilizando

coordenadas polares), pelo teorema da convergencia monotona conclui-se que

Z
Z
F (1, 0, 0).
lim
F (1, 0, 0) =
0 T
2,

T2

Finalmente, tem-se
Z




 Z

F n
|F|dV2
S
S
Z
1
dV2
=
S
42 1
8

=
2

pelo que
lim

0 S

F n = 0.

Uma vez que podemos aplicar o teorema da divergencia a V , conclui-se que

Z
Z
Z
F.
F n = lim
F n = lim
V

0 V

0 V

Ora
F(x, y, z) =

x
3

(x2 + y 2 + z 2 ) 2

logo, usando coordenadas esfericas, obtemos

Z
Z
x
F=
3 dV3
V (x2 + y 2 + z 2 ) 2
V
Z 1Z Z
2
2 r sen cos
r2 sen dddr
=
3
r
0
0

! Z
!
Z
2

= (1 )

= (1 ) ,
4

e portanto

Fn=

13

cos d

.
4

sen2 d

10. Seja V E 3 uma variedade-3 com bordo compacta e : V [0, +[ E 3 uma aplicacao
de classe C 1 , tal que para cada t [0, +[ a aplicacao t : V E 3 dada por t (x, y, z) =
(x, y, z, t) e injectiva e com derivada injectiva. modela a evolucao de uma porcao de
fluido com o tempo: no instante t, o fluido ocupa a posicao t (V ) em E 3 .
O campo vectorial vt : t (V ) E 3 definido por
vt (t (x, y, z)) =

(x, y, z, t).
t

designa-se por campo de velocidades do fluido.

Prove o Teorema de Liouville: Se vt = 0 entao para todo o T 0, tem-se
V3 (T (V )) = V3 (0 (V )).
Isto e, se a divergencia do campo de velocidades e 0, entao o volume ocupado pela porcao
de fluido mantem-se constante.
Resoluc
ao:
Comecamos por observar que : V [0, T ] E 4 dada por
(x, y, z, t) = ((x, y, z, t), t)
parametriza uma variedade com bordo M cujo bordo e
[
[
M = 0 (V ) {0} (V [0, T ]) T (V ) {T }.

e que

= (vt , 1).
t
Uma vez que a u
ltima componente de v e constante, temos vt = v = 0. Alem disso,
uma vez que (0, 0, 0, 1) sao as normais unitarias a 0 (V ) {0} e T (V ) {T }, podemos
escrever
Z
Z
V3 (T (V )) V3 (0 (V )) =
v (0, 0, 0, 1) +
v (0, 0, 0, 1)
(V {0})
(V {T })
Z
Z
=
vn+
vn
v

(V {0})

(V {T })

e claramente tangente
onde n designa a normal exterior a M . Uma vez que v =
t
a (V [0, T ]) (se fixarmos (x, y, z) V entao (x, y, z, t) descreve uma curva em
(V [0, T ])), obtemos do Teorema da Divergencia
Z
Z
V3 (T (V )) V3 (0 (V )) =
v (0, 0, 0, 1) +
v (0, 0, 0, 1)
(V {0})
(V {T })
Z
Z
=
v n dV3
v n dV3
M
(V [0,T ])
Z
=
v dV4 0 = 0,
M

o que conclui a demonstracao.

14