Teorema de Green

O Teorema de Green relaciona a integral de linha sobre uma curva com a

integral dupla sobre a regio do plano delimitada pela a mesma. Sabemos que
Green no seu trabalho original usou notaes diferentes das notaes
modernas. Por exemplo, usou o mesmo smbolo para representar integrais de
volume, integrais de superfcie e integrais iteradas. Ele tambm usou o mesmo
smbolo para representar o que hoje designamos de derivadas de funes de
uma varivel, derivadas parciais e derivadas direcionais. O Teorema pode ser
enunciado usando notao moderna da seguinte forma:
2
Teorema de Green: Seja K R um compacto, com interior no vazio,

cuja fronteira imagem de uma curva :[a , b] R n , fechada, simples, C

1

por partes e orientada no sentido anti-horrio. Sejam P e Q de classe

1
C num aberto contendo K . Nestas condies:

Pdx+Qdy=
K
[ Q P

x y ]dxdy

F ^
=P i+q ^j P , Q , K
Sendo , e, com e nas mesmas
condies do enunciado anterior, o Teorema tambm pode ser assim
enunciado:

rot ( F
F dr= ) k^ dxdy
K

Onde foi introduzido o operador rotacional:

)=
rot ( F
[ Q P ^

x y
k
]
Enunciado da segunda forma, o Teorema tambm conhecido como
Teorema de Stokes no plano, em analogia ao Teorema de Stokes no Espao
que ser enunciada mais adiante.
A demostrao do Teorema de Green para o caso geral no simples, e
foge dos objetivos deste trabalho. Mas demonstraes para casos mais
especfcos podem ser encontradas em qualquer livro de clculo como as
referncias bibliogrficas [1] e [2]. Para a demonstrao para o caso geral veja
a referncia [3].
Do enunciado apresentado, o teorema deve-se verificar partindo da hiptese
1 1
de que a curva seja C por partes. Lembrando que ser de classe C
significa a funo apresenta as derivadas parciais de primeira ordem contnuas.
1
E a curva ser ser de C por partes, significa que existe uma partio
 a=t o < t 1 << t n=b onde podemos definir para cada [t i1 ,t i ] , i=1,2, n ,
n
uma curva i :[t i1 ,t i ] R de classe C1 tal que i ( t )= ( t ) t [ t i1 ,t i ] .

Se no for C1 por partes, o teorema no tem obrigao de se verificar.

Ainda, parte-se da hiptese de que as componentes do campo P e Q
1
devem ser de classe C num aberto que contm K . Entretanto, se
K contiver um ponto que no pertena a , o teorema tambm no tem
obrigao de se verificar. Green no se importou com a continuidade de certas
funes, como, da forma aqui apresentada, no caso das derivadas parciais das
componentes dos campos. Portanto, tais sutilezas no foram abordadas por
Green. No seu trabalho Green tambm ignorou certos aspectos formais como a
existncia de certas derivadas ou integrais. O rigor do clculo ainda estava por
vir com Cauchy, e certas disties s se tornaram nescessrias com o
surgimento da Anlise Weierstrassiana trinta anos mais tarde. curioso que
Green em certas passagem de seu trabalho, usa argumentos fsicos para
provar a existncia de certas funes. Entretanto, nos atuais textos de clculo,
no se aceita consideraes fsicas para a prova da existncia de funes.
Green estabelece relaes matemticas, mas o campo semntico onde ele
constitui os resultados a eletricidade.

Bibliografia:
[1] GUIDORIZZI, Hamilton Luiz. Um Curso de Clculo. Vol. 3. 5 ed. Rio de
Janeiro: LTC, 2015.
[2] STEWART, James. Clculo. Vol. 2, 6 ed. Cengage Learning, 2009.
[3] APOSTOL, Tom M. Analisis Matemtico. Editorial Revert, 1960.