Clculo III a

Departamento de Matemtica - ICEx - UFMG a Marcelo Terra Cunha

Fluxo de Campos Vetoriais: Teorema da Divergncia e

Na aula anterior introduzimos o conceito de superf paramtrica e chegcie e amos a integrar funes f denidas em uma superf co cie, incluindo o importante exemplo do clculo da rea da superf a a cie. Agora vamos trabalhar com campos vetoriais, denir o importante conceito de uxo de um campo atravs de e uma superf e deduzir o teorema da divergncia que envolve o clculo do cie e a uxo de um campo atravs da fronteira de uma regio em R3 . e a

12.1

Recapitulao ca
r: D R3 (u, v) (x (u, v) , y (u, v) , z (u, v)) ,

Um superf paramtrica dada por: cie e e

onde D R2 . As curvas r (u, vo ) = (x (u, vo ) , y (u, vo ) , z (u, vo )) e r (uo , v) = (x (uo , v) , y (uo , v) , z (uo , v)) jogam um papel importante, seja na visualizao das curvas, seja na denio ca ca da integral de superf cie. A partir de seus vetores velocidade, ru e rv , obtemos o vetor normal ` superf a cie N = r u rv . Uma superf paramtrica dita regular se, e s se, N = 0, (u, v) D. cie e e o Alm da intepretao como vetor normal ao plano tangente ` superf no e ca a cie ponto r (u, v), interpretamos sua norma como a razo entre os elementos de a a rea da superf e dos parmetros u e v: cie a dAS = ru rv 1 dA(u,v).

Para evitar carregar a notao, comum denotarmos o elemento de rea da ca e a superfcie por dS, assim a expresso acima toma a forma a dS = ru rv du dv.

12.2

A noo de Fluxo ca

Se tomamos um pequeno pedao de superf parametrizada, S, e um campo c cie 1 vetorial, F , denido nesta superf cie a noo mais relevante a se denir a ca e de uxo de F atravs de S. O caso mais simples considerar F constante e e e S como um pedao de plano, com vetor normal unitrio N . Neste caso, tal c a uxo ser dado por a F N A (S) , que pode ser interpretado geometricamente de diferentes maneiras: por um lado, F N calcula a componente de F normal ` superf S, posteriormente a cie multiplicando por A (S), ou consideramos que cos A (S) a rea da sue a perf vista pelo campo F . Estas duas interpretaes geometricas levam cie co e a duas interpretaes f co sicas equivalentes, mas adequadas a problemas diferentes. Na primeira, podemos interpretar S como uma membrana, e F como o campo de velocidades de algum uido: o uxo vai nos dizer a taxa com que o uido atravessa esta membrana; no segundo caso, podemos pensar no exemplo de um coletor solar: o campo o campo eletromagntico irradiado e e pelo Sol, a superf e a superf do coletor, com rea xa, e o uxo vai cie cie a depender da posio em que colocado este coletor - quanto mais prxima a ca e o normal do coletor estiver da direo de incidncia dos raios solares, melhor2 . ca e

12.3

A questo da orientabilidade a

Antes de podermos ir mais adiante com o clculo do uxo de um campo a em uma superf cie, temos que reconhecer que, dada uma superf cie, temos
Em alguns casos precisamos que ele esteja denido em uma regio de R3 que contenha a a superf cie. 2 Claramente, a instalao de coletores solares involve um interessante problema de ca otimizao, j que esta direo de incidncia varia ao longo do dia e ao longo do ano. ca a ca e Outra alternativa trocar este problema de otimizao por um problema de engenharia, e ca e instalar as placas coletoras em um objeto articulados que se orientem para o Sol. Vale lembrar que a Natureza j descobriu esta soluo h muito tempo, como o caso do a ca a e girassol.
1

duas escolhas poss veis para o vetor normal unitrio, e que o sinal do uxo a depende desta escolha. Assim, o uxo de um campo atravs de uma superf e cie depende da orientao dada superf ca a cie. Quando trabalhamos com superf cies paramtricas, temos, ponto a ponto, e uma escolha muito natural de vetor normal unitrio: a Nu = r u rv . r u rv

Como a parametrizao feita por funes diferenciveis (portanto cont ca e co a nuas), certo que o vetor normal unitrio tambm varia continuamente de um ponto e a e a outro. Mas h uma questo global sobre orientabilidade de superf a a cies. Como as parametrizaes que trabalhamos podem levar diferentes pares co (uo , vo ) e (u1 , v1 ) a um mesmo ponto, podemos tormar uma curva fechada, na superf cie, calcular o vetor normal unitrio da superf em cada ponto a cie desta curva, e ainda fazer a pergunta: o vetor normal unitrio obtido pelo a ponto nal da curva coincide com o do ponto inicial? Esta pergunta no tem uma resposta geral. Depende da superf e da a cie curva. Existem superf cies para as quais a resposta armativa, indepene dente da curva escolhida. Estas superf cies so ditas orientveis e com elas a a e que devemos trabalhar no restante de nosso curso. Exemplos de superf cies orientveis so abundantes: o plano, o cilindro, a esfera, grcos de funes a a a co de duas variveis... a Tambm existem superf e cies no-orientveis e o exemplo clssico a ta a a a e de Mbius. o

12.4

Integrais de Superf cie para o Fluxo

Restringindo agora nossa ateno a superf ca cies orientveis, j sabemos que a a a escolha de uma parametrizao dene uma orientao para esta superf ca ca cie. O que vamos denir ento o uxo do campo F atravs da superf orientada a e e cie S, e para isso podemos escolher qualquer parametrizao tal que ru rv d ca e 3 a orientao desejada . ca
Se no der, temos duas opes: troque de parametrizao, por exemplo trocando a a co ca ordem das varivies u e v; ou calcule o uxo com a orientao trocada e troque o sinal do a ca resultado.
3

No deve ser surpresa que a situao simples discutida na 12.2 serve de a ca base para uma construo tipo somas de Riemann. O que fazemos dividir a ca e superf em vrios pedacinhos, calcular o uxo sobre cada pedacinho, com cie a orientaes compat co veis, e depois som-los todos. a O vetor normal unitrio (em cada ponto) ser dado por a a Nu = r u rv , r u rv

enquanto a rea de um pedacinho de superf correspondente ao retngulo a cie a [u, u + u] [v, v + v] ser dada por a A (S) = ru rv u v. Portanto, a contribuio para o uxo dada por este pedao ser bem aproxca c a imada por = F (r (u, v)) ru r v ru r v ru rv u v

= F N u v. Tomando o limite quando os pedacinhos vo a zero (na situao em que a ca este limite existe), chegamos ao uxo =
S

F dS =
S

F Nu dS =
D

F N du dv,

onde a primeira integral a denio de integral de superf para um campo e ca cie vetorial (dS uma notao para o elemento de rea orientado na superf e ca a cie, signicando Nu dS), a segunda a traduo da primeira em termos de uma e ca integral de superf cie para uma funo (a componente do campo F norca mal ` superf S) e a terceira a traduo destes conceitos em termos da a cie e ca parametrizao trabalhada. ca Cabe lembrar que todas as integrais calculadas nas expresses acima se o referem a objetos bidimensionais. Caso considere mais claro, voc pode usar e as notaes co e
S D

em lugar delas. 4

Antes de prosseguirmos, calculemos um exemplo importante4 . Considere cie o campo5 F (vecr) = rk3 r. Queremos calcular seu uxo para fora da superf da esfera de raio a centrada na origem. Se denotamos esta esfera por Sa , queremos calcular =
Sa

F dS =
Sa

F Nu dS.

Neste caso, o melhor usar esta ultima expresso, visto que e a r Nu = . r Assim, F Nu = k e =
Sa

k r r = 2 3 r r r

k k dS = 2 A (Sa ) = 4k, 2 r a

independente de a. Ou seja, o uxo deste campo atravs de esferas concntricas e e o mesmo. Esta uma excelente justicativa geomtrica para importantes e e e campos de fora terem decaimento na forma r12 . Em particular, este resultado c est intimamente ligado ` primeira das equaes de Maxwell. a a co

12.5

Fluxo para fora de um paralelep pedo innitesimal

Vamos agora fazer uma conta inspiradora. Vamos calcular o uxo para fora da superf do paralelep cie pedo [x, x + x] [y, y + y] [z, z + z]. Para isso temos que somar seis contribuies, uma de cada face. Vamos co fazer com cuidado o caso das faces paralelas ao plano xy e voc deve adaptar e o argumento para as outras quatro faces. Consideraremos x, y, z > 0. O uxo pela face com z xo pode ser aproximado por Fz (x, y, z) x y,
Sugiro que voc tente reobter esse resultado usando uma parametrizao para a esfera e ca Sa , com o que voc pode tentar entender cada passo da conta. e 5 Que pode ser pensado como fora de Coulomb ou de Newton. c
4

enquanto o uxo pela face com z + z ser a Fz (x, y, z + z) x y. A entrar novamente a noo de aproximao linear, levando ` contribuio a ca ca a ca somada destas duas faces Fz z x y. z Ao repetir este argumento para as outras faces voc vai concluir que e Fx Fy Fz + + x y z x y z.

12.6

A Divergncia de um campo e
Fx Fy Fz + + , x y z

O clculo acima motiva a denio de divergncia de um campo: a ca e F = F =

onde na segunda notao temos o vetor ca + + x y z ,

o mesmo que foi usado para denir o gradiente e agora atua em um campo vetorial, como se fosse com um produto escalar (da a notao). ca Na seco anterior vimos o signicado da divergncia de um campo, calca e culada em um ponto: o quanto o campo diverge daquele ponto. Se interpretarmos o campo como um campo de velocidades de um uido, os pontos onde a divergncia positiva estaro associados a fontes de uido, e aqueles e e a com divergncia negativa a sumidouros. J no caso de campos eltricos, a e a e divergncia est associada ` existncia de (densidades de) cargas. e a a e

12.7

Teorema da Divergncia e

Agora podemos concluir esta aula com um dos resultados centrais do clculo a vetorial. 6

Se considerarmos uma regio tridimensional limitada (e bem comportada) a R, sua fronteira, R, ser uma superf orientada. Por conveno, orientaa cie ca se R com a normal para fora da regio R.Considere agora que queremos a calcular o uxo de um campo F para fora da regio R (ou seja, atravs de a e sua fronteira, com a orientao dada). Pela denio, devemos calcular ca ca =
R

F dS.

Mas, por outro lado, podemos subdividir a regio R em vrios pequenos para a alelep pedos, de modo que cada face de paralelep pedo s tenha duas altero nativas: ou ela pertence a dois paralelep pedos desta subdiviso, ou pertence a a um s. Aquelas faces que pertenam a dois paralelep o c pedos podem ser chamadas faces interiores, e em cada paralelep pedo elas tero orientao a ca distinta. Com isso, se calcularmos o uxo para fora de cada paralelep pedo, ser o mesmo que somar apenas nas faces sem par, que podem ser chamadas a faces da fronteira. Assim, obtemos uma nova maneira de calcular o uxo de F para fora da regio R, que no limite usualmente calculado para somas a de Riemann se aproxima da integral =
R

F dV.

Claro que para esse argumento fazer sentido, o campo F tem que ser bem comportado em todos os paralelep pedos da subdiviso, ou seja, tem que ser a bem comportado em R. Com isso obtemos (ao menos a intuio geomtrica do) ca e Teorema da Divergncia (Gauss): Se F um campo bem e e comportado na regio R R3 , com R orientada para fora da a regio R, vale a igualdade a F dS =
R R

F dV.

No podemos perder a oportunidade de reconhecer que este teorema a tambm pertence ` fam do teorema fundamental do clculo, se tratando, e a lia a mais uma vez, de uma igualdade entre a integral de uma derivada de algo e um termo que s diz respeito a este algo na fronteira da regio anterior. o a 7