Você está na página 1de 8

Instituto Superior T

ecnico
Departamento de Matem
atica

Sec
c
ao de Algebra
e An
alise
Prof. Gabriel Pires

Teorema de Stokes
1

Superfcies orient
aveis

Seja M R3 uma variedade-2 (superfcie). Diz-se que M e orient


avel se existe um campo
vectorial contnuo : M R3 tal que (x) e um vector unit
ario e normal a M no ponto x.
Tambem se diz que define uma orientaca
o em M .
Exemplo 1.1 Seja M uma variedade-2 dada pelo conjunto de nvel zero de uma funca
o F : S R
de classe C 1 , definida no aberto S R3 . Ent
ao, o campo vectorial : M R3 definido por
(x, y, z) =

DF (x, y, z)
|DF (x, y, z)|

e contnuo, unit
ario e normal a M em cada ponto (x, y, z) , ou seja, M e orient
avel. Note-se que
a derivada DF (x, y, z) tem caracterstica igual a um em M , ou seja DF (x, y, z) 6= (0, 0, 0).

***
Exemplo 1.2 Seja M R3 uma variedade-2 dada pelo gr
afico de uma funca
o f : D R de
classe C 1 , definida no aberto D R2 , ou seja
M = {(x, y, z) R3 : z = f (x, y) ; (x, y) D}
Os vectores
t1 = (1, 0,

f
f
) ; t2 = (0, 1,
)
x
y

s
ao tangentes a M e, portanto, o campo vectorial definido por
(x, y, f (x, y)) =

f
( f
t1 t 2
x , y , 1)
=
|t1 t2 |
1 + |Df (x, y)|2

e contnuo, unit
ario e normal a M em cada um dos seus pontos (x, y, f (x, y)). Assim, o gr
afico de
uma funca
o de classe C 1 e uma superfcie orient
avel.

***
Exemplo 1.3 Seja M R3 uma variedade-2 dada por uma parametrizaca
o g : T R3 , em que
2
T R e um aberto. Ent
ao, o campo vectorial definido por
(x, y, z) =

D1 g(t) D2 g(t)
|D1 g(t) D2 g(t)|

em que g(t) = (x, y, z), e contnuo, unit


ario e normal a M no ponto (x, y, z), ou seja, M e orient
avel.
Note-se que os vectores D1 g(t) e D2 g(t) s
ao linearmente independentes, ou seja o seu produto
externo n
ao se anula.
Neste caso, diz-se que a orientaca
o definida por e induzida pela parametrizaca
o g.

***
Podemos concluir que uma variedade-2 e localmente orient
avel. De facto, localmente, uma
variedade-2 pode ser descrita como conjunto de nvel, como gr
afico ou atraves de uma parametrizaca
o.

***

Exemplo 1.4 O exemplo de uma superfcie n


ao orient
avel, a chamada banda ou fita de M
obius,
resulta da identificaca
o de duas arestas opostas de um rect
angulo, percorridas em sentidos opostos.
Mais precisamente, consideremos o segmento de recta [AB] no plano yz definido por
y = 2 ; |z| < 1
e a circunferencia C de raio igual a dois e com centro na origem.
A banda de M
obius e a superfcie que se obtem deslocando o centro do segmento [AB] ao
longo da circunferencia C e, ao mesmo tempo, fazendo rodar o segmento em torno do seu centro
e no plano vertical definido por [AB] e pela origem. Se a deslocaca
o ao longo da circunferencia
C for dada pelo a
ngulo , a rotaca
o do segmento em torno do seu centro deve ser 2 . Na figura
1 apresenta-se a banda de M
obius e destaca-se o segmento [AB] na posica
o inicial ( = 0) e na
posica
o em que = .
z

PSfrag replacements
A

y
A

Figura 1: A banda de M
obius
Assim, tendo percorrido a circunferencia C, ou seja, para = 2, o segmento [AB] encontra-se
na posica
o inicial mas com os extremos invertidos. Portanto, se designar a normal unit
aria no
ponto (0, 2, 0) no instante inicial, ent
ao, no instante final e no mesmo ponto a normal ser
a , ou
seja, a banda de M
obius n
ao e orient
avel.

Fronteira ou bordo de uma superfcie

Seja D R2 um aberto, limitado e cuja fronteira D e uma linha simples, fechada e seccionalmente de classe C 1 representada parametricamente por : [a, b] R2 e percorrida no sentido
positivo (contr
ario ao dos ponteiros do rel
ogio).
Seja g : T R3 a parametrizaca
o de uma superfcie M , sendo T R2 um aberto tal que
D T.
Seja S = g(D) M . Chama-se fronteira ou bordo da porca
o de superfcie S a
` linha parametrizada por g : [a, b] R3 , ou seja,
S = g(D) = g(([a, b]))
Suponhamos que a orientaca
o de S e a induzida pela parametrizaca
o g. Ent
ao, diz-se que
a orientaca
o ou sentido de percurso da linha S parametrizada por g e compatvel com a
orientaca
o de S.

***
Nota 2.1 Diz-se que um ponto p R3 pertence ao interior de uma superfcie M , se existir uma
vizinhanca de coordenadas V e uma parametrizaca
o g : D R3 tais que
p g(D) = M V
2

Facilmente se conclui que a fronteira e o interior de uma superfcie s


ao conjuntos disjuntos.

***
Exemplo 2.1 Seja
S = {(x, y, z) R3 : z = 0 ; x2 + y 2 < 1}
a porca
o de plano parametrizada pela funca
o g : D R3 dada por
g(x, y) = (x, y, 0)
em que D = {(x, y) R2 : x2 + y 2 < 1}.
z

PSfrag replacements
S
1

Figura 2:
Ent
ao a fronteira ou bordo de S e o conjunto
S = g(D) = {(x, y, 0) : x2 + y 2 = 1}
A orientaca
o de S induzida por g e dada pela normal
D1 g(x, y) D2 g(x, y) = (0, 0, 1)
Seja : [0, 2] R2 a parametrizaca
o que descreve D no sentido positivo e dada por
(t) = (cos t, sen t)
Ent
ao, a orientaca
o de S e compatvel com a orientaca
o de S, induzida pela parametrizaca
o
g. De facto,
g((t)) = (cos t, sen t, 0)
ou seja, S e percorrido no sentido positivo e a normal a S dirige-se no sentido positivo do eixo
z, tal como se mostra na figura 2.

***
Exemplo 2.2 Consideremos a superfcie definida por
S = {(x, y, z) R3 : 0 < z = 1 x2 y 2 }
parametrizada pela funca
o
g(x, y) = (x, y, 1 x2 y 2 )
definida no crculo
D = {(x, y) R2 : x2 + y 2 < 1}
3

PSfrag replacements

Figura 3:

A fronteira ou bordo de S e a circunferencia


S = g(D) = {(x, y, z) R3 : z = 0 ; x2 + y 2 = 1}
A orientaca
o de S induzida pela parametrizaca
o g e dada pelo vector
=

(2x, 2y, 1)
D1 g(x, y) D2 g(x, y)
=p
|D1 g(x, y) D2 g(x, y)|
4x2 + 4y 2 + 1

Assim, se D for percorrida no sentido positivo, ent


ao a fronteira S ser
a percorrida no sentido
positivo, ou seja, segundo a orientaca
o compatvel com a normal , tal como se ilustra na figura
3.

***
Exemplo 2.3 Consideremos a porca
o da superfcie cilndrica definida por
S = {(x, y, z) R3 : x2 + y 2 = 1 ; 0 < z < 1}
z
1
S

PSfrag replacements
M

0
x

Figura 4:
A descrica
o parametrica de S e dada, em coordenadas cilndricas, por duas funco
es
g : ]0, 2[]0, 1[ R3 ; h : ] , []0, 1[ R3
4

definidas por
g(, z) = (cos , sen , z)
h(, z) = (cos , sen , z)
A parametrizaca
o g descreve S \ N , em que
N = {(x, y, z) : y = 0 ; x = 1 ; 0 < z < 1}
e h descreve S \ M , sendo
M = {(x, y, z) : y = 0 ; x = 1 ; 0 < z < 1}
No entanto, temos
N

= {(h(0, z) : 0 < z < 1}

= {(h(, z) : 0 < z < 1}

que quer dizer que os conjuntos M e N est


ao no interior de S.
Portanto, a fronteira ou bordo de S e a uni
ao das duas circunferencias
0
1

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

Suponhamos que a orientaca


o de S e dada pela normal tal que
1
(0, 1, ) = (0, 1, 0)
2
Ent
ao, a circunferencia 0 deve ser percorrida no sentido positivo e a circunferencia 1 deve
ser percorrida no sentido negativo, tal como se mostra na figura 4.

Teorema de Stokes

Seja F um campo vectorial de classe C 1 e definido num aberto de R3 . Ao campo vectorial


definido por
F3
F2 F1
F3 F2
F1
rotF = (

)
y
z
z
x
x
y
chamamos rotacional do campo F .
O teorema de Stokes estabelece que o fluxo do rotacional de um campo vectorial F de classe C 1
atraves de uma superfcie orient
avel S e igual ao trabalho realizado por F ao longo da fronteira ou
usual designar este trabalho por circulaca
bordo de S cuja orientaca
o e compatvel com a de S. E
o.
A demonstraca
o do teorema de Stokes pode ser vista em [2, 3, 1].
Teorema 3.1 Seja S R3 uma variedade-2 orient
avel e F um campo vectorial de classe C 1 em
S. Ent
ao,
Z Z
Z
rotF =
F d
S

onde e um caminho regular simples que representa a linha S cuja orientaca


o e compatvel com
a de S.

***
5

S
S

PSfrag replacements

Figura 5:

Exemplo 3.1 Seja S a superfcie definida por


S = {(x, y, z) R3 : x = 1 + y 2 + z 2 , x 0}
e consideremos o campo vectorial dado por
F (x, y, z) = (xz, zex, y)
A superfcie S e o gr
afico da funca
o f : D R de classe C 1 definida por
f (y, z) = 1 + y 2 + z 2
em que
D = {(y, z) R2 : y 2 + z 2 < 1}
Portanto S e uma superfcie orient
avel e a respectiva fronteira ou bordo e a linha
S = {(x, y, z) : x = 0 ; y 2 + z 2 = 1}
Podemos usar o teorema de Stokes para calcular o fluxo de rotF atraves de S no sentido da
normal cuja componente segundo x e negativa. Para que a orientaca
o definida por esta normal
seja compatvel com a de S, esta linha deve ser percorrida no sentido negativo tal como se mostra
na figura 5, ou seja, deve ser parametrizada por : [0, 2] R3 dada por
(t) = (0, cos t , sen t)
Ent
ao,
Z Z

rotF =
S

F d =
S

(0, sen t, cos t) (0, sen t, cos t)dt = 2


0

***
Exemplo 3.2 Consideremos o campo vectorial dado por
F (x, y, z) = (y, x, exz )
e a semi-esfera definida por
S = {(x, y, z) R3 : x2 + y 2 + z 2 = 1 ; z > 0}

PSfrag replacements

y
S
x

Figura 6:

Vamos usar o teorema de Stokes para calcular o fluxo do rotacional de F atraves de S segundo
a normal tal que (0, 0, 1) = (0, 0, 1).
A superfcie S e orient
avel por ser o conjunto de nvel zero da funca
o H(x, y, z) = x 2 +y 2 +z 2 1.
A fronteira ou bordo de S e a linha
S = {(x, y, z) : z = 0 ; x2 + y 2 = 1}
Para que a orientaca
o de S seja compatvel com a de S, induzida por , devemos considerar
a seguinte parametrizaca
o de S
(t) = (cos t, sen t, 0) ; 0 t 2
que descreve S no sentido positivo tal como se apresenta na figura 6.
Assim, pelo teorema de Stokes, temos
Z Z
Z
Z 2
rotF =
F d =
(sen t, cos t, 1) ( sen t, cos t, 0)dt = 2
S

***
Exemplo 3.3 Consideremos o campo vectorial definido no exemplo anterior e a porca
o da superfcie cilndrica
S = {(x, y, z) R3 : x2 + y 2 = 1 ; 0 < z < 1}
A superfcie S e orient
avel por ser um conjunto de nvel e a fronteira e a uni
ao de duas linhas
0
1

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

Seja a normal em S tal que (0, 1, 1/2) = (0, 1, 0). Ent


ao, 0 deve ser percorrida no sentido
positivo e 1 deve ser percorrida no sentido negativo, tal como se mostra na figura 4. Portanto,
as respectivas parametrizaco
es devem ser dadas por
0 (t) = (cos t, sen t, 0)
1 (t) = (cos t, sen t, 1)
em que 0 t 2.
Pelo teorema de Stokes, temos
Z Z
rotF
S

F d0 +
0

= 2 2
= 0
7

F d1
1

Refer
encias
[1] F. R. Dias Agudo. C
alculo Integral em R n . Escolar Editora, 1973.
[2] Lus T. Magalh
aes. Integrais em Variedades e Aplicaco
es. Texto Editora, 1993.
[3] J. E. Marsden and A. J. Tromba. Vector Calculus. W. H. Freeman and Company, 1998.

Você também pode gostar