Escolar Documentos
Profissional Documentos
Cultura Documentos
ecnico
Departamento de Matem
atica
Sec
c
ao de Algebra
e An
alise
Prof. Gabriel Pires
Teorema de Stokes
1
Superfcies orient
aveis
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)|
***
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.
***
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.
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
***
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:
(2x, 2y, 1)
D1 g(x, y) D2 g(x, y)
=p
|D1 g(x, y) D2 g(x, y)|
4x2 + 4y 2 + 1
***
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
= {(x, y, z) : z = 0 ; x2 + y 2 = 1}
= {(x, y, z) : z = 1 ; x2 + y 2 = 1}
Teorema de Stokes
)
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
***
5
S
S
PSfrag replacements
Figura 5:
rotF =
S
F d =
S
***
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}
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.