Escolar Documentos
Profissional Documentos
Cultura Documentos
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),
C2
C3
C4
(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
(t)
Z
=
f (x, y)
dx dy.
y
(t)
f (t, y)
dy dt =
y
C2
C3
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
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
1 (t) ,
2 (t) <
2 (t) ,
t ]a2 , b2 [ ;
2
(x, y) R : x [a1 , b1 ] , 1 (x) y 1 (x) =
=
=
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 ,
i=1
i 6= j.
X
Q (x, y) P (x, y)
dx dy =
x
y
i=1
Q (x, y) P (x, y)
dx dy.
x
y
Di
m Z
X
i=1
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
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
(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
j
S
i=1
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
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)| < ,
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
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
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
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
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.
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
(5)
t [0, 2] .
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)
y
x
dx 2
dy = 0,
2
+y
x + y2
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
F3
F2 F1
F3 F2
F1
( F ) =
.
y
z z
x x
y
(7)
, y
, z
e manipularmos os seus
Com efeito, se identificarmos o operador com o vector = x
i
j
k
( F ) = det x
.
y
z
F1
F2
F3
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
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)
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
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).
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