Universidade Federal de Santa Catarina Centro de Cincias Fsicas e Matemticas Departamento de Matemtica

TEOREMA DE GREEN, GAUSS E STOKES

Junho 2012

Prof. Flix Pedro Quispe Gmez

Doutor em Matemtica - Universidade Federal do Rio de Janeiro, UFRJ, Brasil.

Aline G. C. de Vasconcelos
Graduanda de Engenharia Sanitria e Ambiental - UFSC Matrcula: 08240003

ndice

1.

Teorema de Green ..................................................................................................... 2 1.1. 1.2. 1.3. Aplicao: rea de uma regio plana ................................................................ 4 Exerccios........................................................................................................... 5 Teorema de Green - Uma extenso para Stokes e Gauss................................ 10 Interpretao fsica da Divergncia ................................................................. 12 Exerccios......................................................................................................... 14 Exerccios......................................................................................................... 20

2.

Teorema da Divergncia Teorema de Gauss........................................................ 11 2.1. 2.1.

3. 4.

Teorema de Stokes. ................................................................................................. 18 3.1. Referncias Bibliogrficas: ..................................................................................... 25

1. Teorema de Green
O teorema de Green relaciona uma integral de linha ao longo de uma curva fechada C no plano xy com uma integral dupla sobre a regio limitada por C. Este teorema ser generalizado para curvas e superfcies no 3. Definio: Seja D regio plana limitada, que reunio finita de regies simples, cada uma com fornteira constituda de uma curva suave por partes. Se A(x,y) e B(c,y) so de classe C1 num aberto contendo D e sua fonteira ento:

)]

onde percorrida deixando D sempre esquerda (dizemos -orientada positivamente). De maneira abreviada:

Prova: 1 Caso:

Suonhamos D-regio sim ples (com o aspecto abaixo, por exemplo)

( )

( )

[ (

( )

( )

( )

)]

( )

( )

( )

A ltima igualdade ocorre, uma vez que a parte paralela ao eixo x em nada contribui com a integral. Analogamente,

A soma destas igualdades fornece a prova deste primeiro caso.

2 Caso:
Suponhamos D = D1 U ... UDn reunio finita de regies simples, cada uma com uma fronteira constituda de uma curva suave por partes i, i = 1,...,n. Temos j provado:

A soma das integrais sobre Di uma integral sobre D. Logo,

A fronteira de D constituida por partes das curvas i. Podem existir partes das curvas i que no fazem parte de , como mostra a figura. 3

Estas partes sero percorridas duas vezes, uma em cada sentido, em nada contribuindo com o membro direito de (3). Logo,

1.1.

Aplicao: rea de uma regio plana

Tomando-se A= 0 e B(x,y)= x, temos rea de D = Tomando-se A(x,y) = -y e B = 0, temos rea de D =

Ainda, somando-se as duas igualdades anteriores temos rea de D =

(1.4)

Exemplos:
1. Use o Teorema de Green para calcular : (
( )

onde gama o quadrado de vrtices (0,0), (a,0), (0,a) e (a,a). Resoluo: (

( )

[( = =

)]

2. Usando o Teorema de Green calcule longo da circunferncia (

, ao

) = 1, no sentido 4

horrio, sendo

Resoluo: A figura mostra a curva C . Como C est orientada no sentido horrio, no podemos usar o teorema de Green diretamente. No entanto, podemos aplicar esse teorema para calcular a integral sobre a curva C e depois usar a propriedade .

Temos: ( ) ( )

Passando para coordenadas polares, vem [ ( ) ]

)|

( .

1.2.

Exerccios:

1. Sejam P(x,y) e Q(x,y), funes reais de classe C1 em U=IR2 {A,B}, tais que em U. Sendo C1,C2, e C3 as curvas, cacule que Resoluo: . , supondo

( (

2. Considere o campo vetorial: ( ) ( ( ( ) ( ) ) ( ) ( ) ) percorrida

Calcule o trabalho de f ao longo da elipse definida pela equao no sentido anti-horrio. Resoluo: O campo f pode ser escrito na forma: ( ) ( ( ( ( ( O campo h fechado, ) ) ( ) ) ( ) ) , em que: ( ) )

singular no ponto (-1,0) e no um gradiente. Seja C

circunferncia de raio 1 centrada em (-1,0), verifica-se que trabalho de h ao longo de C, no sentido anti-horrio igual a 2, ou seja, o campo h no conservativo.

O campo g radial com centro no ponto (1,0), pelo que g um gradiente em 2 \ {(1,0)}. Seja E a elipse descrita pela equao Pelo Teorema de Green : e percorrida no sentido anti-horrio.

Por outro lado, como g gradiente 2 \ {(1,0)}, temos O Campo Green temos: Portanto: ( ) ( ) de classe C1 na gerio A limitada pela elipse E. Pelo Teorema de

3. Use o Teorema de Green para calcular a integral de linha ao longo da curva dada com orientao positiva. a) b) ( ) e Resoluo: a) A regio D dada por: {( )| ( ) }, ento ( ) . ( )( ) ( )

b) ( ( ) [ ) ( ) ( ) ]

)( )

( )

] ) ao ponto ( ), mostre

4. a) Se C o segmento de reta ligando o ponto ( que

b) Se os vrticers de um polgono, na ordem anti-horria, so ( ., ( ) ), mostre que a rea do polgono ( )] [( )

), ( (

), . .

c) Determine a rea do pentgono com vrtices (0,0), (2,1), (1,3), (0,2) e (-1,1).

Resoluo a) Parametrizando temos : ( ) [( ( ) ( ) [( ( ( [( ) )( ) ) ) ]( ) ( ]( ) )( )] ) ( )

) , onde ), para )a( ). 8 , e

b) Aplicando o Teorema de Green trajetria o segmento de linha que une ( o segmento de linha que une ( )a(

Pela equao (4)

, onde D o polgono limitado por

Assim, a rea do poligono :

Para avaliar essas integrais pode-se usar a formula em a) para chegar em: ( ) [( ) ( ) ]. c) ( ( ) [( )] ( ) ( ) ) ( ) ( ) ( ( ) ) ( ) (

5. Uma lmina plana com densidade constante (x,y) = ocupa uma regio do plano xy limitada por um caminho fechado simples C. Mostre que seus momentos de inrcia em relao aos eixos so :

Resoluo: Pelo Teorema de Green, ( ( ) )

6. Se uma circunferncia C de raio l rola ao longo do interior da circunferncia um ponto fixo P de C descreve uma curva chamada epiciclide, com equaes paramtricas Faa o

grfico da epiciclide e use (4) para calcular a rea da regio que ela envolve. 9

Resoluo:

)(

( [ ( ( ) ( )]

) )

1.3.

Teorema de Green - Uma extenso para Stokes e Gauss

Suponhamos A, B, , D nas condies do teorema de Green. Ento:

Colocando ( ( A equao acima fica: Lembrando que E notando que ) ) ( (

( ) ) ( (

) ) )

(1.6)

obtemos: Prova de (1.6): Seja ( ) e ( ) (rotao de 90 de no sentido anti-horrio). ( )

10

Temos: Assim:

) e

O teorema de Green, na formulao anterior admite uma extenso.

2. Teorema da Divergncia Teorema de Gauss.

O teorema da divergncia expressa uma relao entre uma integral tripla sobre um slido e uma integral de superfcie sobre a fronteira desse slido. Definio: Seja um slido limitado por uma superfcie fechada S, formada por um nmero finito de superfcies suaves e seja normal externa unitria. Se as componentes de ( ) tem derivadas parciais contnuas num aberto contendo , ento ( )

Para continuar bom relembrar o Teorema do Valor Mdio do Clculo Integral: Seja [ ] contnua. Ento, existe ( ) ( ( )( ) tal que )

Resultado anlogo continua vlido para integrais triplas. Mais especificamente: contnua na esfera E. Ento existe P0 no interior de E tal que:

( )

11

2.1.

Interpretao fsica da Divergncia

P ponto arbitrrio B bola fechada de centro P, raio S superfcie de B ( ) velocidade do fludo no ponto (x,y,z), com derivadas parciais contnuas. 0, imersa em um fludo.

Pelo teorema da Divergncia, temos: Logo, ( )

= fluxo para fora de S.

Aplicando o Teorema do Valor Mdio para o segundo membro de (2.2), temos: ( ) ( )

onde P

B, ou seja: ( )

Fazendo

0 temos P

P e assim:
( )

= intensidade de fluxo em P.

Assim:

o valor limite do fluxo por unidade de volume sobre uma esfera de e tomamos uma pequena esfera de centro P, temos

centro em P, quando o raio da esfera tende a zero. Se conhecermos

12

 Logo: se ento o fludo se afasta de P, isto , P uma fonte. Se

ento o fludo se aproxima de P, isto , P um poo ou sumidouro. Se diz-se que o fludo incompressvel. chamada equao de continuidade dos fludos incompressveis.

Exemplos: 1. Calcular [( ) ], onde S a superfcie

exterior do cubo limitado pelos planos coordenados e pelos planos x = 1, y = 1 e z = 1.

Resoluo: Como S formada por seis partes suaves, para obtermos I usando a definio devemos calcular seis integrais de superfcie. Pelo teorema da divergncia, podemos transform-la em uma nica integral tripla. Seja o vetor normal unitrio exterior a S. Como ( ) uma funo vetorial contnua que possui

derivadas parciais contnuas em 3, temos: [( ) ( ) ] [ ]

2. Sejam slido limitado por ( ) . Use o teorema da divergncia para calcular o fluxo Resoluo:

( ) 13

2.1.

Exerccios:
{( ) ( ) } ). Calcule o fluxo F atravs de S no

1. Considere a superfcie e o campo vetorial (

sentido da normal sua escolha: a) Pela definio de fluxo. b) Usando o Teorema da Divergncia. Resoluo: S um hiperbolide que em coordenadas cilindricas (,, z) descrito por ,e

encontra-se representado pela figura:

Para o clculo do fluxo basta considerar a parametrizao ( ) ( )

A regio D {( z)

Nota-se que a imagem de g S/L, sendo L a linha sobre S em que y=0; x >0. Assim: ( ( ) ) )

( (

))

) (

) (

14

 [(

2. a) Os pontos P1 e P2 so fontes ou sorvedouros para o campo vetorial F mostrado na figura? D uma explicao baseada exclusivamente na figura. b) Dado F(x,y) = (x,y2), use a definio da divergncia para verificar sua resposta da parte a).

Resoluo: a) Os vetores que terminam prximos P1 so menores que os vetores que iniciam prximos P1, ento o fluxo da rede para fora, e P1 uma fonte. Os vetores que terminam prximos P2 so maiores que os vetores que iniciam prximos P2, sendo assim, o fluxo da rede para dentro e P2 um sorvedouro. b) ( ento ) O valor de y em P1 positivo, positivo, assim, P1 uma fonte. Em P2, y < -1, ento negativo, e P2 um sorvedouro. 3. Use o Teorema da Divergncia para calcular a integral de superfcie seja, calcule o fluxo F atravs de S. a) ( ( ( ) ) ) ( ) ( , S a superfcie da caixa

, ou

delimitada pelos planos x = 0, x = 1, y = 0, y = 1, z = 0 e z = 2. b) , S a superfcie do slido limitado e os planos z = x + 2 e z = 0 ) S a superfcie do e

pelo cilindro c)

slido limitado pelos hemisfrios pelo plano z = 0.

d) Use um sistema algbrico computacional para plotar o campo vetorial ( ) no cubo

15

obtido cortando o primeiro octante pelos planos seguida calcule o fluxo atravs da superfcie do cubo. Resoluo: a) ( ) ( ) z ( )

Em

Assim, pelo teorema da divergncia

[ ] [

] [

b) ( ) ( )

c)

16

d)

Pelo teorema de Gauss, o fluxo de F, pela superfcie do cubo :

[ ]

4. Use o Teorema da Divergncia para calcular ( Onde S a esfera Resoluo Ento Fn=2x+2y+z2. Para S,

Assim F=2i + 2j + zk e div F = 1. Se B = {(x,y,z) | x2 y2 z2 ( 1}, ento ) ( ) ()

5. 7.

Prove cada identidade admitindo que S e E satisfaam as confies do

Teorema da Divergncia e que as funes escalares e compontentes do campo vetorial tenham derivadas parciais de segunda ordem contnuas. 17

5. Resoluo 6. V(E) = onde F(x,y,z) = xi + yj + zk

Resoluo ( )

7. Resoluo

( )

3. Teorema de Stokes.

O teorema de Stokes uma generalizao do teorema de Green para o espao tridimensional e pode ser utilizado para transformar determinadas integrais curvilneas em integrais de superfce, ou vice-versa. Definio: Seja S: z = f(x,y) superfcie suave que se projeta numa regio do plano xy, nas condies do Teorema de Green. normal unitria superior curva que delimita orientada no sentido positivo. Seja a imagem de por f, orientada no mesmo sentido de . Se as componentes de tem derivadas parciais contnuas num espao aberto contendo S, ento:

( )

18

Exemplos: 1. Usando o teorema de Stokes, calcular ( ), onde C que est no 1 octante, no

o contorno da parte do plano x + y + z = a, a sentido anti-horrio. Resoluo: A figura mostra o caminho C de integrao. Como C formado por trs partes suaves, para obtermos a integral, devemos calcular trs integrais curvilneas. Pelo teorema de Stokes, podemos transform-la em uma nica integral de superfcie. Vamos escolher uma superfcie S que seja

delimitada pela curva C e orientar S de forma a ser possvel a aplicao do teorema. Como a curva dada plana, escolhemos para S o prprio plano que contm a curva. [ { [( Logo, . )( )( )] ( )( ) ] }

, onde R a projeo de S sobre o plano xy.

2. Seja S a parte do grfico de Determinar ( )

com normal exterior.

Resoluo: A figura mostra a superfcie S e a curva C que delimita S. Como a normal considerada a normal exterior, podemos observar que a curva C deve ser orientada no sentido anti-horrio. Usando a representao vetorial de C dada por ( ) 19

, aplicando o teorema, obtemos:

( )

( ( )

) (

3.1.

Exerccios:

1. Seja um balo de ar quente, com um formato esfrico de raio r = 5, conforme a figura abaixo. O ar quente escapa atravs dos poros da superfcie deste balo com um campo de velocidade vetorial (x,y,z) = (x,y,z), quando (x,y,z) = -y

+ x . Se o raio da circunferncia do bordo r = , calcule o volume do fluxo de ar quente que atravessa a superfcie do balo.

Resoluo A figura mostra a representao de alguns vetores do campo vetorial dado por (x,y,z) = -y + x . Como o raio do balo r = 5, e o seu centro est sobre o eixo-z, a variao do raio das curvas de nvel desta esfera (balo) de 0 a 5. Aplicando o Teorema de Stokes ,(11), tem-se que a circulao atravs da superfcie igual circulao em torno do bordo desta superfcie. Seja [ ] , ( )
( )

( ( (

) ) )

( )) ( Substituindo ( ) e ( ) em

( ( )

( )) 20

)(

[ ]

2. Aplique o Teorema de Stokes para calcular ( e S a parte da superfcie parablica

onde

que est abaixo

do plano z = 4 e cuja orientao dada pelo vetor normal unitrio superior .

Reoluo: Parametriza-se o crculo fronteira C de S por x = 2cos(t), y = 2sen(t), z = 4, com 0 t 2. Ento, dx = -2sent dt, dy = 2cost dt e dz = 0. Pelo Teorema de Stokes : ( )

)(

( [

( ]

3. Seja o campo de foras definido por (x,y,z) = -4y + 2z +3x e suponha que S seja a parte do parabolide z = 10 acima do plano z = 1. Verifique o Teorema de Stokes para esse e para S, calculando:

21

Resoluo: Plotando o grfico vemos que a interseo entre o parabolide e o plano projeta uma euperfcie S sobre o plano xy. A regio delimitada pela circunferncia + = 9. A

curva C, que a fronteira de S, a circunferncia com centro em (0,0,1) e raio 3 no plano z = 1. Calculamos primeiro o rot . rot = | Assim, | = -2 +4

( [ ( (

)(

) ( ) )(

( )

) ]

Fazendo a mudana de parmetros, x=rcos, y=rsen E dxdy=rdrd. Com 0 r 3 e 0 2, temos: [ [ 4. e 5. Use o Teorema de Stokes para calcular ( ] ( ] ) )

. que est

4. F(x,y,z) = yzi + xzj + yzk, S a parte do parabolide acima do plano z = 5, com orientao para cima. Resoluo: O plano z=5 intercepta a parabolide r(t)=cost i+2sent j+5k, 0 t 2. Ento ( ) no crculo ( ( ))

Essa curva limite C est orientada no sentido anti-horrio, ento a equao vetorial

, e pelo Teorema de Stokes: 22

( ( )) ( )

5. F(x,y,z) =

+ sem(xyz)j + xyzk. S a parte do cone

que

est entre os planos y = 0, e y = 3, orientado na direo positiva do eixo y. Resoluo:

O limite da curva X a circunferncia ( )

com a equao vetorial

r(t)=3sent i+3 j+3cost k, 0 t 2 com orientao positiva. Ento F(r(t))=729 F(r(t))- ( ) Assim

( ( )) ( )

( )

23

6. a) Use o teorema de Stokes para calcular F(x,y,z) =

, onde

e C a curva de interseo do plano x + y + z = l com o cilindro com orientao no sentido anti-horario quando visto de cima. b) Trace o grfico do lano e do cilindro com janelas de inspeo escolhidas de forma a ver a curva C e a superfcie que voc usou na parte (a). c) Determine as equaes paramtricas para C e use-as para traar o grfico de C.

Resoluo a) A curva de interseo uma elipse no plano x+y+z=1 com normal n= ), rot F=x2 j+y2 k, e rot F n=

(x2 + y2). Ento

b)

c) Uma possvel parametrizao x=3cost, z=1-3cost-esent,

7. Use o teorema de Stokes para calcular

, onde F(x,y,z) = yi + zj + xk.

S o hemisfrio x2 + y2 + z2 = 1, y=0, orientado a direo positiva do eixo y. Resoluo:

24

A curva limite a circunferncia 2 , e r(t)= sent i cost k. Assim F(r(t)) = sent j+cost k, F(r(t))r(t) = cos2t e

orientado no sentido anti-horario,

na viso positiva no eixo y . Ento C pode ser descrito por r(t)=costi sentk, 0

Agora rot F=-i-j-k, e S pode ser parametrizado ( )

4. Referncias Bibliogrficas: 1) Simmons, G. F., Clculo com Geometria Analtica, Vol.2, McGrawHill, 1987 2) Stewart, J., Clculo, Vol. 2 - 5 Edio, Thomson Learning, 2005.

25