Analise Matematica III

Teoremas de Green e Stokes

Manuel Guerra

Conte
udo
1 Teorema de Green

2 Teorema de Stokes

Bibliografia

12

Indice remissivo

13

Os Teoremas de Green e Stokes relacionam o valor de integrais ao longo de curvas com certos
integrais em superfcies. O Teorema de Green garante que a soma dos integrais ao longo das curvas
que limitam uma regiao do plano e igual ao integral de uma certa funcao na regiao limitada por essas
curvas. O Teorema de Stokes generaliza esta ideia a curvas contidas em superfcies do espaco R3 .

Teorema de Green

Comecamos por apresentar uma versao elementar do Teorema de Green (Teorema 3). Este Teorema
sera em seguida generalizado para obter o resultado principal desta Seccao (Teorema 6).
A versao elementar do Teorema de Green decorre dos dois Lemas que se seguem.
Lema 1 Considerem-se duas func
oes de classe C 1 , , : [a, b] 7 R, tais que (x) < (x),

x ]a, b[. Seja D = (x, y) R2 : x [a, b] , (x) y (x) .

Qualquer que seja a funca
o de classe C 1 , f : D 7 R, verifica-se
Z
Z
f (x, y)
f (x, y) dx =
dx dy.
y
f r(D)
D
Demonstra
c
ao. A fronteira de D admite a decomposicao em quatro curvas simples orientadas
f r (D) = C1 C2 C3 C4 , em que
C1

= {(t, (t)) , t [a, b]} ,

C2

= {(b, (b) + t ( (b) (b))) , t [0, 1]} ,

C3

= {(a + b t, (a + b t)) , t [a, b]} ,

C4

= {(a, (a) + t ( (a) (a))) , t [0, 1]}

(verifique que as parametrizacoes indicadas preservam a orientacao habitual (positiva) para f r (D)).
Entao,
Z
Z
Z
Z
Z
f (x, y) dx =
f (x, y) dx +
f (x, y) dx +
f (x, y) dx +
f (x, y) dx =
f r(D)

C1

C2

Rb

C2

C2

(f (t, (t)) , 0) (1, (t)) dt+

R1
+ 0 (f (b, (b) + t ( (b) (b))) , 0) (0, (b) (b)) dt+
Rb
+ a (f (a + b t, (a + b t)) , 0) (1, 0 (a + b t)) dt+
R1
+ 0 (f (a, (a) + t ( (a) (a))) , 0) (0, (a) (a)) dt =
Z b
Z b
=
f (t, (t)) dt
f (a + b t, (a + b t)) dt =
a

(t)

f (t, (t)) f (t, (t)) dt =

a

Z
=

f (x, y)
dx dy.
y

(t)

f (t, y)
dy dt =
y

Lema 2 Considerem-se duas func

oes de classe C 1 , , : [a, b] 7 R, tais que (x) < (x),

x ]a, b[. Seja D = (x, y) R2 : y [a, b] , (y) x (y) .

Qualquer que seja a funca
o de classe C 1 , f : D 7 R, verifica-se
Z
Z
f (x, y)
f (x, y) dy =
dx dy.
x
f r(D)
D
Demonstra
c
ao. A demonstracao deste Lema e uma repeticao da demonstracao do Lema 1.
A fronteira de D admite a decomposicao em quatro curvas simples orientadas,
f r (D) = C1 C2 C3 C4 , em que
C1

= {( (a) + t ( (a) (a)) , a) , t [0, 1]} ,

C2

= {( (t) , t) , t [a, b]} ,

C3

= {( (b) + t ( (b) (b)) , b) , t [0, 1]} ,

C4

= {( (a + b t) , a + b t) , t [a, b]}

(verifique que as parametrizacoes indicadas preservam a orientacao habitual (positiva) para f r (D)).
Entao,
Z
Z
Z
Z
Z
f (x, y) dy =
f (x, y) dy +
f (x, y) dy +
f (x, y) dy +
f (x, y) dy =
f r(D)

C1

C2

Rb

C2

C2

(0, f ( (a) + t ( (a) (a)) , a)) (( (a) (a)) , 0) dt+

R1
+ 0 (0, f ( (t) , t)) ( 0 (t) , 1) dt+
Rb
+ a (0, f ( (b) + t ( (b) (b)) , b)) ( (b) (b) , 0) dt+
R1
+ 0 (0, f ( (a + b t) , a + b t)) (0 (a + b t) , 1) dt =
Z 1
Z b
f ( (t) , t) dt
f ( (a + b t) , a + b t) dt =
a

a
b

(t)

f ( (t) , t) f ( (t) , t) dt =
a

Z
=

(t)

f (x, t)
dx dt =
x

f (x, y)
dx dy.
x

Juntando os Lemas 1 e 2, obtem-se a primeira versao do Teorema de Green:

Teorema 3 (Teorema de Green) Considere-se um conjunto aberto, D R2 , e suponha-se que
existem func
oes de classe C 1 , 1 , 1 : [a1 , b1 ] 7 R, 2 , 2 : [a2 , b2 ] 7 R, tais que
1 (t) <

1 (t) ,

2 (t) <

2 (t) ,
t ]a2 , b2 [ ;

2
(x, y) R : x [a1 , b1 ] , 1 (x) y 1 (x) =

(x, y) R2 : y [a2 , b2 ] , 2 (y) x 2 (y) .

=
=

t ]a1 , b1 [ ;

Ent
ao, quaisquer que sejam as func
oes de classe C 1 , P, Q : D 7 R, verifica-se
Z
Z
Q (x, y) P (x, y)

dx dy.
P (x, y) dx + Q (x, y) dy =
x
y
f r(D)
D
3

Demonstra
c
ao. Basta aplicar os Lemas 1 e 2.
Para obter uma versao mais geral do Teorema de Green vamos proceder do seguinte modo:
primeiro verificamos que o resultado do Teorema 3 se aplica a triangulos (Lema 4). Depois usamos o facto de qualquer polgono fechado poder ser decomposto em triangulos para provar que o
resultado do Teorema 3 tambem se aplica a polgonos fechados (Lema 5). Finalmente, usamos o facto
de qualquer curva de classe C 1 poder ser aproximada por curvas poligonais para provar a versao geral
do Teorema (Teorema 6).
angulo. Quaisquer que sejam as func
oes de classe C 1 , P, Q : D 7 R,
Lema 4 Seja D R2 , um tri
verifica-se
Z
Z
Q (x, y) P (x, y)
P (x, y) dx + Q (x, y) dy =

dx dy.
x
y
f r(D)
D
Demonstra
c
ao. Se um dos lados de D e paralelo ao eixo dos yy, entao D pode representar-se
na forma

D = (x, y) R2 : x [a, b] , 1 + m1 x y 2 + m2 x ,
e o Lema 1 garante que

Z
P (x, y) dx =

f r(D)

P (x, y)
dx dy.
y

Se nenhum dos lados de D e paralelo ao eixo dos yy, entao D pode ser decomposto em dois triangulos,
D = D1 D2 que partilham um lado paralelo ao eixo dos yy e cujos interiores nao se intersectam.
Seja L o lado comum aos dois triangulos. Tendo em conta que cada um dos triangulos confere a L a
orientacao oposta `aquela conferida pelo outro triangulo, obtem-se
Z
Z
Z
P (x, y) dx =
P (x, y) dx +
P (x, y) dx =
f r(D)

f r(D1 )

Z
=

f r(D2 )

P (x, y)

dx dy +
y
D1

D2

P (x, y)
dx dy =
y

P (x, y)
dx dy.
y

Um raciocnio analogo aplicado a triangulos com lados paralelos ao eixo dos xx prova que
Z
Z
Q (x, y)
Q (x, y) dy =
dx dy.
x
f r(D)
D

Lema 5 Seja D R2 , um conjunto aberto limitado cuja fronteira e um polgono. Quaisquer que
sejam as func
oes de classe C 1 , P, Q : D 7 R, verifica-se
Z
Z
Q (x, y) P (x, y)
P (x, y) dx + Q (x, y) dy =

dx dy.
x
y
f r(D)
D
Demonstra
c
ao. Se a fronteira de D e poligonal, entao existe um conjunto finito de triangulos,
Di , i = 1, 2, ..., m, tais que
D=

m
[

Di ,

int (Di ) int (Dj ) = ,

i=1

i 6= j.

Nestas condicoes, verifica-se

Z

X
Q (x, y) P (x, y)

dx dy =
x
y
i=1

Q (x, y) P (x, y)

dx dy.
x
y

Di

Basta entao provar que

Z
P (x, y) dx + Q (x, y) dy =
f r(D)

m Z
X
i=1

P (x, y) dx + Q (x, y) dy.

f r(Di )

Sem perda de generalidade podemos, supor que dois triangulos distintos partilham um vertice ou
um lado ou nao se intersectam (se dois triangulos partilham apenas parte de um lado, podemos
subdividi-los de modo a satisfazer esta condicao). Considere-se j {1, 2, ..., m 1}, tal que
Z

fr

j
S

P (x, y) dx + Q (x, y) dy =

Di

i=1

i=1

Se f r (Dj+1 ) f r

j
S

i=1

fr

j+1
S

P (x, y) dx + Q (x, y) dy.

f r(Di )

Di

contem apenas um n
umero finito de pontos, entao a igualdade

Z
!

j Z
X

P (x, y) dx + Q (x, y) dy =

Di

j+1 Z
X
i=1

i=1

P (x, y) dx + Q (x, y) dy.

(1)

f r(Di )

j
S
e imediatamente satisfeita. Suponha-se que Dj+1 partilha um lado com
Di . Seja esse lado L. A
j

j i=1
S
S
condicao int (Dj+1 ) int
Di = 0 implica que int (Dj+1 ) e int
Di sao separados por L.
i=1

i=1

Logo, a orientacao conferida a L por Dj+1 e oposta `a orientacao que lhe e conferida por

i=1

Di , o que

j+1
PR
P (x, y) dx + Q (x, y) dy do somatorio
P (x, y) dx + Q (x, y) dy
f r(Di )
j
i=1
S
cancelam. Por outro lado, o facto de int (Dj+1 ) e int
Di serem separados por L implica que
i=1
j+1
S
todo L, com a possvel excepcao das suas extremidades esta contido em int
Di . Isto prova que

implica que as parcelas

j
S

i=1

a igualdade (1) se verifica tambem neste caso.

A versao geral do Teorema de Green toma a seguinte forma:

Teorema 6 (Teorema de Green) Considere-se um conjunto aberto limitado, D R2 , cuja fronteiro e uni
ao finita de curvas simples fechadas seccionalmente de classe C 1 .
Quaisquer que sejam as funco
es de classe C 1 , P, Q : D 7 R, verifica-se
Z
Z
Q (x, y) P (x, y)
P (x, y) dx + Q (x, y) dy =

dx dy.
x
y
f r(D)
D
Demonstra
c
ao. Considere-se a decomposicao f r (D) =

m
S
i=1

Ci , em que Ci , i = 1, 2, ..., m sao

curvas simples fechadas seccionalmente de classe C 1 , munidas da orientacao conferida por D. Para
cada uma destas curvas seja i : [0, Li ] 7 Ci , uma parametrizacao de Ci pelo seu comprimento,
5

preservando a orientacao de Ci . Considerem-se particoes dos intervalos [0, Li ], 0 = ti,0 < ti,1 < ... <
ti,ki = Li . Seja Pi o polgono que se obtem unindo sequencialmente por segmentos de recta os pontos
i (ti,j ), j = 0, 1, 2, ..., k. Sem perda de generalidade, podemos supor que {i (ti,j ) , j = 0, 1, 2, ..., ki }
contem todos os pontos em que Ci intersecta alguma outra curva, Ch , e todos os pontos de juncao
dos segmentos de classe C 1 que constituem Ci . Fazendo a particao suficientemente fina e possvel
garantir que Pi Pj = Ci Cj , i 6= j. Considere-se a seguinte parametrizacao de Pi :
i (t) = i (ti,j ) +

t ti,j
(i (ti,j+1 ) i (ti,j )) ,
ti,j+1 ti,j

t [ti,j , ti,j+1 ] ,

j = 0, 1, 2, ..., ki 1.

Entao, qualquer que seja > 0, toda a particao suficientemente fina verifica
|i (t) i (t)| < ,

|i0 (t) i0 (t)| < ,

t [0, Li ] .

(2)

Logo, qualquer que seja > 0, toda a particao suficientemente fina verifica
Z

P (x, y) dx + Q (x, y) dy
P (x, y) dx + Q (x, y) dy < .

Ci

(3)

Pi

Sejam Ai , Bi , respectivamente, a regiao contida do lado esquerdo de Ci e Pi , de acordo com as

orientacoes acima atribudas a estas curvas. Entao, a desigualdade (2) implica que, qualquer que seja
> 0, toda a particao suficientemente fina verifica
C ((Ai \Bi ) (Bi \Ai )) < .
Isto garante que, qualquer que seja > 0, toda a particao suficientemente fina verifica

Z
Q (x, y) P (x, y)

dx dy < .

y
(Ai \Bi )(Bi \Ai )
O Lema 5 garante que
m Z
X
i=1

Z
P (x, y) dx + Q (x, y) dy =

m
T

Pi

Bi

(4)

Q (x, y) P (x, y)

dx dy.
x
y

i=1

A desigualdade (3) garante que, qualquer que seja > 0, toda a particao suficientemente fina verifica
m Z

m Z
X

P (x, y) dx + Q (x, y) dy
P (x, y) dx + Q (x, y) dy < .

Pi
Ci
i=1

Por outro lado,

R
Q(x,y)
D x

D\

m
T
i=1

R
D\

Bi

m
T
i=1

i=1

P (x,y)
y

dx dy

Q(x,y)
m
T
x
Bi

P (x,y)
y

i=1

Q(x,y)
x

R

(x,y)
Py
dx dy + T
m

dx dy

Q(x,y)

x
Bi \D

(x,y)
Py
dx dy

i=1

m
T
Bi
Bi \D

Q(x,y)
x

P (x,y)

dx dy =

i=1

R
m
S

((Ai \Bi )(Bi \Ai ))

Q(x,y)
x

P (x,y)

dx dy

i=1

i=1

Q(x,y)

x
(Ai \Bi )(Bi \Ai )

m R
P

P (x,y)

dx dy.

Logo, a desigualdade (4) garante que, qualquer que seja > 0, toda a particao suficientemente fina
verifica

Q
(x,
y)
P
(x,
y)
Q
(x,
y)
P
(x,
y)

dx dy T

dx dy < .
m

x
y
x
y
Bi
D

i=1

Daqui decorre que

R
R

f r(D) P (x, y) dx + Q (x, y) dy D

Q(x,y)
x

P
R
m R
m

P (x, y) dx + Q (x, y) dy T
i=1 Pi

Bi

i=1

P (x,y)
y

Q(x,y)
x

dx dy

(x,y)
Py
dx dy + 2 = 2.

Como pode ser escolhido arbitrariamente pequeno, isto prova o Teorema.

R
Exemplo 7 Calcular o integral C y 2 y sin x dx + cos xdy, em que C e a fronteira do rect
angulo
[0, ] [0, 1], percorrida no sentido habitual.
Aplicando o Teorema de Green, obtem-se
Z
Z

2
(y sin x) dx + cos xdy =
cos x
y y sin x dx dy =
y
C
[0,][0,1] x
Z Z 1
=
2y dy dx = 2.
0

Uma aplicacao comum do Teorema de Green consiste em substituir uma determinada curva ao
longo da qual se pretende calcular um integral por outra que ao longo da qual o integral seja mais
facil de calcular. Veja-se o seguinte exemplo:
Exemplo 8 Calcular o integral
Z

y
x
dx 2
dy,
2
+y
x + y2
C
o
+ y 2 = 4 , percorrida no sentido directo.
x2

n
2
em que C e a elipse (x, y) R2 : x4
A elipse C admite a parametrizac
ao

(t) = (4 cos t, 2 sin t) ,

(5)

t [0, 2] .

Calcular directamente o integral (5) atraves desta parametrizac

ao consiste em calcular o integral
Z 2
Z 2
2 sin t
4 cos t
2
dt.
2 (4 sin t)
2 2 cos t dt =
2
2
1 + 4 cos2 t
16 cos t + 4 sin t
16 cos t + 4 sin t
0
0
O Teorema
de Green n
ao permite
transformar o integral (5) num integral duplo sobre o domnio
n
o
2 x2
2
A = (x, y) R : 4 + y 4 , porque a func
ao

F (x, y) =

x
y
,
x2 + y 2 x2 + y 2

n
ao e de classe C 1 em A (nem sequer est
a definida no ponto (x, y) = (0, 0)). No entanto, a func
ao
F e de classe C em qualquer domnio que n
ao contenha a origem. Em particular, e de classe C
no domnio

2
2
2
2
2 x
+ y 4, x + y 1 .
B = (x, y) R :
4
7

Ent
ao, o Teorema 6 garante que

Z
Z
x

y
y
x

dx 2
dy =

dx dy.
2
2
x + y2
x2 + y 2
y x2 + y 2
f r(B) x + y
B x
Mas,

x
x2 +y 2

Z
C

y
x2 +y 2

2x
= x(x+y

2 +y 2 )2

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

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

Z
C1

x2

(6)

= 0, pelo que a igualdade (6) se reduz a

y
x
dx 2
dy = 0,
2
+y
x + y2

em que C1 e a circunferencia de raio 1 centrada na origem, percorrida no sentido retr

ogrado. Esta
igualdade e equivalente a
Z
Z
y
x
y
x
dx

dy
=
dx 2
dy,
2
2
2
2
2
2
x +y
x + y2
C x +y
C2 x + y
em que C2 e a circunferencia de raio 1 centrada na origem, percorrida no sentido directo. Ent
ao,
usando a parametrizac
ao (t) = (cos t, sin t) ,
t [0, 2], obtem-se
Z
C

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

Z
0

sin t
cos t
cos t dt =
2 ( sin t)
2
2
cos t + sin t
cos t + sin2 t

1 dt = 2.
0

Teorema de Stokes

O Teorema de Stokes e uma generalizacao do teorema de Green a curvas contidas numa superfcie
que pode nao ser um plano. Tal como o Teorema de Green, relaciona o integral ao longo de uma
curva com um determinado integral na regiao limitada por essa curva.
Antes de poder formular o teorema e necessario definir o que se entende por uma regiao de uma
superfcie contida em R3 .
Defini
c
ao 9 Seja A R3 , um elemento de superfcie simples de classe C 1 .
Diz-se que um conjunto B A e uma regi
ao de A se A admitir uma parametrizac
ao de classe C 1 ,

: D 7 R3 , para a qual existe um conjunto aberto limitado, U , tal que U D, B = U . Ent
ao,
chama-se bordo da regi
ao B ao conjunto B = (f r (U )).
A orienta
c
ao natural de B e a orientac
ao conferida a cada uma das curvas simples que o constituem por uma parametrizaca
o (t) = (t), em que e uma parametrizac
ao de uma das curvas
que constituem f r (U ) e preserva a orientac
ao habitual de f r (U ).
Exemplo 10 O conjunto
n
o
2
B = (x, y, z) R3 : x2 + y 2 = 1, (x 1) + y 2 + z 2 1
e uma regi
ao da superfcie cilndrica

A = (x, y, z) R3 : x2 + y 2 = 1 .
Com efeito, A admite a parametrizaca
o de classe C
(, h) = (cos , sin , h) ,

[0, 2[ , h R.

Ent
ao,
n

o
2
(, h) : (cos 1) + sin2 + h2 1
=
n
h i
o

= (, h) : ,
, 2 cos 1 h 2 cos 1
=
3 3
n

i h
o

=
(, h) : ,
, 2 cos 1 < h < 2 cos 1
.
3 3
=

O bordo de B e
n
h io n
h io

B = cos , sin , 2 cos 1 , ,

cos , sin , 2 cos 1 , ,
.
3 3
3 3
Para formular o Teorema de Stokes necessitamos ainda da seguinte definicao:
Defini
c
ao 11 Considere-se uma func
ao de classe C 1 , F : R3 7 R3 .
Chama-se rotacional de F `
a func
ao ( F ) : R3 7 R3 , definida por

F3
F2 F1
F3 F2
F1
( F ) =

.
y
z z
x x
y

(7)

A notacao F provem da semelhanca entre o lado direito de(7) e a defini

cao do produto externo.

, y
, z
e manipularmos os seus
Com efeito, se identificarmos o operador com o vector = x

elementos como se fossem coordenadas reais, verifica-se ( F ) = x

, y
, z
(F1 , F2 , F3 ). Isto
e, a mnemonica usada para recordar a definicao de produto externo pode ser adaptada `a definicao
do rotacional:

i
j
k

( F ) = det x
.
y
z
F1

F2

F3

Exemplo 12 O rotacional da func

ao F (x, y, z) = y, z 2 , xy e

F (x, y, z) = det

y
2

= (x 2z, y, 1) .

xy

Podemos interpretar a funcao F como a descricao do movimento de um fluido que preenche uma
dada regiao do espaco. Nessa perspectiva, o vector F (x, y, z) indica a velocidade de uma partcula
do fluido ao passar pelo ponto (x, y, z). Entao, a condicao F 6= 0 significa a existencia de uma
componente rotativa (i.e., a existencia de vortices) no movimento do fluido. A direccao de F
e a direccao do eixo de rotacao dessa componente. O sentido de F corresponde `a orientacao do
eixo em relacao `a qual a rotacao se faz no sentido anti-horario.
Temos entao o Teorema:
Teorema 13 (Teorema de Stokes) Seja A, uma regi
ao de um elemento de superfcie de classe C 2 .
Suponha-se que o bordo de A e a uni
ao de um n
umero finito de curvas simples fechadas seccionalmente
1
de classe C .
Ent
ao, qualquer que seja a func
ao de classe C 1 , F : A 7 R3 , verifica-se
Z
Z
F ds =
F n dS.
A

Demonstra
c
ao. Seja S, um elemento de superfcie simples que contem A e admite uma parametrizacao
2
de classe C , : U 7 S. Seja B, um conjunto aberto cuja fronteira e uniao finita de curvas sim
ples fechadas de classe C 1 , tal que B U , B = A. Considere-se que A e f r (B) admitem
decomposicoes em curvas simples orientadas seccionalmente de classe C 1 ,
A =

m
[

Ci ,

f r (B) =

i=1

m
[

ei ,
Ci = C

ei ,
C

i = 1, 2, ..., m.

i=1

ei , a funcao : e uma parametrizacao

Entao, dada uma parametrizacao de classe C 1 , : [a, b] 7 C
de Ci . Logo,
Z
Z b
Z b
Z

0
T
T
0
F ds =
F ( (t))( ) (t) dt =
(F ) ( (t)) D ( (t)) (t) dt =
(D) F ds.
Ci

ei
C

Isto implica
Z
Z
F ds =
A

T
(D) F ds =
f r(B)

(F )
du + (F )
dv.
u
v
f r(B)

Aplicando o Teorema 6 ao lado direito desta igualdade, obtem-se

Z
Z

F ds =
(F )

(F )
du dv =
v
v
u
A
B u
Z
2
(F )
2
(F )

+ (F )

(F )
du dv =
=
u
uv
u
v
vu
B v
T
2

Z T

2
=
DF ()

DF ()
+ (F )

du dv.
v
u
u
v
uv vu
B
Tendo em conta que e de classe C 2 , o Teorema de Schwarz garante que
Z

Z
F ds

Z
=
B

T
DF () (DF ())

1 2 3
v v v

R F1 ()
y

F2 ()
x

F2 ()
x

F3 ()
x

F2
x

F1
y

F3
x

F1
z

F2
x

0
F3
y

F2
z

F1 ()
z

F3 ()
x

1 2
u v

1 3
u v

F1 ()
z

2
vu .

Logo,

F1 ()
z

F1
z

F3
x

F1
z

F3
y

1
u
2
u

du dv =

3
u

3 1
u v +

F3 ()
y

3 2
u v +

2 3
2 ()
Fz
u v du dv =

R
F3 ()
F2 ()
F3 ()
F1 ()
2 3
3 2
1 3
3 1
=
+
+

y
z
u v
u v
x
z
u v
u v
B

1 2
2 1
2 ()
1 ()
+ Fx
du dv =
Fy
u v u v

Z
F3
F2
F3
F1
F2
F1

=

() ,

() ,

()

du dv =
y
z
x
z
x
y
u
v
B
Z
Z

=
( F )

du dv =
F n dS.
u
v
B
A
+

du dv =

F1
y

2 1
u v

F1 ()
y

2
uv

10

F3 ()
y

R
Exemplo 14 Calcular C F ds, em que F (x, y, z) = y + z, x + z, x + y + z 2 e C e a intersecc
ao
2
2
do cilindro x + y = 1 com o plano x + y + z = 3, percorrida no sentido dos ponteiros do rel
ogio, do
ponto de vista de um observador colocado na origem.
Considere-se a parametrizac
ao do plano (u, v) = (u, v, 3 u v). Ent
ao, o conjunto

B = (u, v, 3 u v) : u2 + v 2 1
e uma regi
ao do plano x + y + z = 3 e C = B. Alem disso,

i j k

= det 1 0 1 = (1, 1, 1) ,
u
v
0 1 1
pelo que a parametrizac
ao orienta o plano de modo que o vector normal aponta para o lado contr
ario
`
aquele em que se encontra a origem. Isto significa que confere a B a orientac
ao desejada. Logo,
o Teorema de Stokes garante que
Z
Z
F ds =
F n dS.
C

Tendo em conta que

F = det

obtem-se

y+z

x + z

x + y + z2

= (0, 0, 2) ,

Z
F ds =

(0, 0, 2) (1, 1, 1) du dv = 2.
{(u,v):u2 +v 2 1}

11

Refer
encias
[1] Colley, S. J.: Vector Calculus. Prentice-Hall. ISBN 0-13-149204-7. (1998).
[2] Demidovitch, B.: Problemas e exerccios de an
alise matem
atica. 6a Ed., Editora Mir (1987).
[3] Depree, J. D.; Swartz, C. W.: Introduction to real analysis. John Wiley & Sons (1988).

[4] Postnikov, M.: Lecons de geometrie - Varetes differentiables. Editions

Mir (1990).
[5] Spivak, M.: Calculus on manifolds - A modern approach to classical theorems of advanced calculus.
Addison-Wesley Publishin Company (1965).
[6] Webb, J. R. L.: Functions of Several Real Variables. Ellis Horwood (1991).

12

Indice
Bordo
de uma regiao, 8
Green
Teorema de, 3, 5
Regi
ao
bordo de uma, 8
de uma superfcie, 8
Rotacional, 9
Stokes
Teorema de, 9

13