Pontifcia Universidade Catlica do Rio Grande do Sul

Faculdade de Matemtica
TEOREMAS E GAUSS E E STO!ES
"#ERGE$TE E ROTAC"O$A%
Para entender os teoremas de Gauss e de Stokes, precisamos definir dois operadores para campos
vetoriais que so bsicos nas aplicaes do clculo vetorial. Cada operador lembra uma diferenciao, mas um
produz um campo escalar enquanto que outro produz um campo vetorial.
ntroduziremos o operador diferencial vetorial !"del#$ como%
z
k
&
'
(
i

)le tem a propriedade de , quando aplicado a uma funo escalar f, produzir o *radiente de f%
z
f
k
&
f
'
(
f
i f

k
z
f
'
&
f
i
(
f
.
Consideremos, a*ora, uma campo vetorial

+ + k P ' , i - .
em /
0
. Se pensarmos em como
um vetor de componentes 1(, 1&, 1z, podemos escrever, simbolicamente, o produto escalar de por

.
,
obtendo, assim, o escalar c2amado diver&ente de

.
%
div

.
+ .

.
+
z
P
&
,
(
-

E'em(lo )% Se

+ k & ' (&z i (z $ z , & , ( ! .
3
, ac2e div

.
.
div

.
+ .

.
+
z
P
&
,
(
-

+ z 4 (z 5 6 + z !7 4 ($
Considerando o produto vetorial formal de por

.
, temos o vetor 8

.
+ rot

.
, c2amado
rotacional de

.
%
rot

.
+ 8

.
+

k $
&
-
(
,
! ' $
(
P
z
-
! i $
z
,
&
P
!
P , -
z 1 & 1 ( 1
k ' i
E'em(lo *% Se

+ k & ' (&z i (z $ z , & , ( ! .
3
, ac2e rot

.
.
rot

.
+ 8

.
+
$ &z , ( $, ( 3 ! & ! k $ 6 &z ! ' $ 6 ( ! i $ (& & 3 !
& (&z (z
z 1 & 1 ( 1
k ' i
3
+ + +

TEOREMA A "#ERG+$C"A ,E GAUSS-
Se'a 9 um s:lido simples e se'a a superf;cie que limita 9 ! + fronteira de 9$, orientada
positivamente !para fora$. Se

.
< um campo vetorial cu'as funes componentes t=m derivadas parciais
cont;nuas em uma re*io aberta que cont<m 9, ento%

9
d> . div dS n . .
E'em(lo .% ?etermine o flu(o d6o campo vetorial

+ + k ( ' & i z $ z , & , ( ! .
sobre a esfera
unitria (
3
4 &
3
4 z
3
+ 7.
Como a esfera !$ < uma superf;cie que limita o s:lido esf<rico 9% (
3
4 &
3
4 z
3
@ 7, podemos usar o
teorema de Gauss, fazendo%

9
d> . div dS n . .
+

9
d> 7
+ volume de +
0
A
Bbs.% div

.
+ 6 4 7 4 6 + 7
E'em(lo /% Calcule

dS n . .
, onde

+ + + k $ (& sen! ' $ e & ! i (& $ z , & , ( ! .
3
(z 3
e < a
superf;cie do s:lido 9 limitado pelo cilindro parab:lico z + 7 5 (
3
e pelos planos z + 6 , & + 6 e & 4 z + 3.
usaremos o teorema de Gauss para transformar a inte*ral de superf;cie em inte*ral tripla.
)screveremos o s:lido 9 como% 9 + C!(, &, z$ D E7 ( 7, 6 z 7 5 (
3
, 6 & 3 5 z F.
Gssim, temos%

9
d> . div dS n . .
+

9
&d> 0
+

7
7
3
( 7
6
z 3
6
d( dz &d& 0 +

7
7
3
( 7
6
3
d( dz
3
$ z 3 !
0
+

1
]
1

7
7
3
( 7
6
0
d(
0
$ z 3 !
3
0
+ [ ]

+
7
7
0 3
d( H $ 7 ( !
3
7
+

+ +
7
7
3 A I
d( $ J ( 0 ( 0 ( !
3
7
+
0K
7HA
TEOREMA E STO!ES
Se'a uma superf;cie orientada com um nLmero finito de arestas !suave por partes$, cu'a fronteira
< formada por uma curva C simples, fec2ada, suave por partes, com orientao positiva. Se'a

.
um campo
vetorial cu'os componentes t=m derivadas parciais cont;nuas em uma re*io aberta do /
0
que cont<m .
)nto%

ndS . . rot r d . .
C

?eve ser e(tremamente dif;cil calcular a inte*ral de superf;cie
dada diretamente. !Mer;amos que calcular quatro inte*rais de
superf;cie, correspondentes aos quatro pedaos de .$
Como o diver*ente de

.
< muito menos complicado que o
pr:prio

.
%
div

.
+
$$ (& !sen!
z
$ e & !
&
$ (& !
(
3
(z 3

+ +

+ & 4 3& + 0&,

n
B teorema de Stokes pode ser ol2ado como uma verso em
dimenso maior do Meorema de Green. )nquanto o Meorema de Green
relaciona uma inte*ral dupla sobre uma re*io plana ? com uma
inte*ral de lin2a ao redor de sua curva fronteira, o Meorema de Stokes
relaciona uma inte*ral de superf;cie sobre uma superf;cie com uma
inte*ral ao redor da fronteira de , a curva no espao C. G fi*ura ao
lado mostra uma superf;cie orientada e seu vetor normal n. G
orientao de induz a orientao positiva da curva fronteira C. sso
si*nifica que, se voc= andar na direo positiva ao redor de C, com sua
cabea na direo de n, ento a superf;cie estar sempre a sua
esquerda.
E'em(lo 0% Calcule

C
r d . .
, onde

+ + k z ' ( i & $ z , & , ( ! .
3 3
e C < a curva da interseco
do plano & 4 z + 3 com o cilindro (
3
4 &
3
+ 7. ! Briente C para ter o sentido antiE2orrio quando ol2ada de
cima$.
?entre as muitas superf;cies com fronteira C, a escol2a mais conveniente < a re*io el;ptica no
plano & 4 z + 3 cu'a fronteira < C. Se orientarmos para cima, ento a orientao induzida em C ser positiva.
G pro'eo ? de sobre o plano (& < o disco (
3
4 &
3
7 e, assim, fazendo z + 3 5 & , temos%
( )

'

7 v u % M v , u ,
v 3 z
v &
u (
%
3 3
>P. +
$ 7 , 7 , 6 !
7 7 6
6 6 7
k ' i

rot

.
. >P. + 7 4 3& e

1
]
1

+ + +

3
6
7
6
0 3 3
6
7
6 ? C
d sen
0
r
3
3
r
rdrd $ sen r 3 7 ! dG $ & 3 7 ! ndS . . rot r d . .
+
+
,
_

6 3
3
7
d sen
0
3
3
7
3
6

E'em(lo 1% Nse o Meorema de Stokes para calcular a inte*ral

ndS . . rot
, onde

+ + k (& ' (z i &z $ z , & , ( ! .
e < a parte da esfera (
3
4 &
3
4 z
3
+ A que est dentro do cilindro (
3
4 &
3
+ 7 e
acima do plano (& !ve'a a fi*ura abai(o$.
Para ac2ar a curva fronteira C, resolvemos as equaes (
3
4 &
3
4 z
3
+ A e (
3
4 &
3
+ 7. Subtraindo
obtemos z
3
+ 0 ou z + 0 , uma vez que z O 6.)nto C < o c;rculo dado pelas equaes (
3
4 &
3
+ 7 e z + 0 .
G equao vetorial de C < r !t$ +

+ + k 0 ' t sen i t cos
, com 6 t 3 e rP!t$ +

+ ' t cos i t sen
.
Memos tamb<m%

+ + k t sen t cos ' t cos 0 i t sen 0 $$ t ! r ! .

C
G curva C !uma elipse$ est mostrada na fi*ura ao
lado. Gpesar de

C
r d . .
poder ser calculada diretamente,
< mais simples usar o Meorema de Stokes. >amos,
inicialmente calcular%
rot

.
+

3 3
z ( &
z 1 & 1 ( 1
k ' i
!6, 6, 7 4 3&$
Portanto, pelo Meorema de Stokes%

ndS . . rot
+

C
r d . .
+

3
6
dt $ t ! Q r . $$ t ! r ! . ( )

+
3
6
3 3
dt t cos 0 t sen 0
+

3
6
6 tdtdt 3 cos 0
E'erccios2
7$ Calcule

ndS . . rot
se

+ + k & K ' ( 0 i z 3 $ z , & , ( ! .
e < a poro do parabol:ide z + A 5 (
3
5
&
3
, com z 6 e com o vetor normal unitrio n acima da superf;cie.
/.% 73
3$ ?etermine o trabal2o realizado por

+ + k ( ' z i & $ z , & , ( ! .
3 3 3
para deslocar uma part;cula ao lon*o
do contorno da parte do plano ( 4 & 4 z + 3, no 7R octante, no sentido antiE2orrio, ol2ando de cima.
/.% EH
Para complementar os estudos, leia os cap;tulos%
H.J !p* K07$ e H.H !p* K0S$ e faa os e(erc;cios ;mpares de nR 7 5 7J da p*ina K0H e de nR 7 5 7K da
p*ina KAK do vol. 3 do livro Clculo um novo 3ori4onte de 5o6ard Anton
ou
7H.I !p* I7K$ e 7H.J !p* I30$ e faa os e(erc;cios ;mpares de nR 7 5 7K da p*ina I33 e de nR 7 5 J da
p*ina I00 do vol 3 do livro Clculo com &eometria analtica de Earl S6o7o6s7i.