Terea: teorema de Green

Alumno: Daniel Prez Gonzlez

Grupo: 2213
Materia: calculo vectorial
N.C:310298890 carrera: ING. Mecnica













Introduccin

Este fue nombrado as por el cientfico britnico George Green y es un caso especial del
ms general Teorema de Stokes.
El teorema de Green establece la relacin entre una integral de lnea alrededor de una
curva C cerrada y simple, y una integral doble sobre la regin plana D limitada por C.
Este teorema resulta muy til, ya que cuando tienes un campo de vectores y una curva
cerrada simple sobre la cual se quiere integrar, podemos elegir entre integrar el campo
directamente sobre la curva, o bien, integrar la diferencia de sus derivadas parciales
cruzadas sobre el espacio que delimita la curva.
Esta permite obtener informacin sobre una funcin o integral en un espacio de la curva a
partir del comportamiento de una funcin sobre la frontera de dicho espacio.
Antes de enunciar el teorema de Green conviene definir que es una curva cerrada simple
(orientada positivamente), comprendemos que toda curva simple tiene dos posibles
orientaciones, y que estas no varan por reparametrizaciones cuyas funciones de cambio
de variables tienen derivadas positivas, ahora bien, Cmo distinguir entre una y otra
orientacion? Qu hacer para reconoser una delas dos? Hay varios procedimientos para
lograr esto, el mas conosido y facil de emplear es el siguiente, Es aquel que presenta el
concepto de normal unitaria exterior a una curva.
Si C es una curva cerrada simple regular de ,parametrizada por
y le vectro normal unitario exterior a C se define por :





Notese que N es ortogonal al vector tanguenteo velocidad de la curva V (t) =(x(t), y(t)).
Consuderamos estosvectores sumergidos en (con cordenadas Z = 0).Diremso que C
esta orientada positivamente si el producto vectorial (N x V) (que tiene la direccion del eje
Z en este caso) tinen cordenadas Z positivas (es decir (N x V) apunta hacia ariba) para
cada T . Esta denicioncorresponde intuitivamente a decir que C se recorre en el sentido
contrario al de las manecilas del reloj, o bien que si recorremos C con la orientacion
positiva entonces N apunta hacia afuera de la region interior a C, y que dicha region
interior queda siempre a mano izquierda segun se vaya recorriendo C.

Entendido lo siguiente procederemos a enunciar el teorema de green


Teorema de Green

Sea C una curva cerrada regular a trozos, positivamente orientada a, en el plano
y sea D la union de la region interior a C con la propia curva C.
Sea F = (P, Q) : D un campo vectorial de clase C . Entonces se tiene que:




Anes de comensar a demostrar este inportante teorema ,veremos algunas aplicaciones
del mismo.

Una aplicacion muy importante del teorema de Green es el calculo de areas de espacios
delimitados por curvas cerradas simples mediante una integral de lnea sobre el borde de
dichas curvas. Si tenemos un recinto D en el plano cuya frontera es una curva cerrada
simple C = D y queremos calcular su area, nos basta hallar un campo vectorial (P, Q) tal
que Q/xP/y = 1 y aplicar entonces la formula de Green para expresar el area de D
como la integral de lnea de (P, Q) sobre su borde C.


Una vez concluido lo siguiente procederemos a demostrar este teorema.
Demostracin del teorema de Green
Para comenzar tenemos que demostrar esta igualdad:
(#)

Observamos que la validez de (#) para todo campo F = (P, Q) de clase C sobre D
equivlente a las siguientes formulas:

Tambin para todo campo F = (P, Q) de clase C sobre D En efecto, si estas formulas son
validas, obtenemos (# ) con solo sumarlas . Recprocamente, si (#) es cierta podemos
obtener 11.1 tomando Q = 0 en (#) y analogamente 11.2, tomando P = 0 en (#) .

1 paso

La primera parte de la demostracin consiste en probar que (11.1) para una clase
especial de espacio D, que denominaremos espacio de tipo I; un tal espacio estar
limitado por las gracas de dos funciones y = f(x), y = g(x), con f g. Es decir,
supondremos en primer lugar que



Donde f y g son funciones reales de clase a trozos. Este espacio D est limitado por una
curva cerrada simple C = D regular a trozos que puede expresarse como concatenacin
de cuatro caminos regulares a trozos:



C est parame trizado por ; C lo est por
; C es :
Y C4 viene dado por . Observe que, a lo largo de C y de
C4, x = x (t) es constante, luego dx = 0 sobre estos caminos, y las correspondientes
integrales de lnea se anularan, mientras que sobre los restantes caminos es dx = 1.
Entonces se tiene que:



Y por otra parte, aplicando el teorema de Fubini y el teorema fundamental del clculo



Combinando las igualdades anteriores obtenemos (11.1)
2 paso
Ahora aprobemos la formula (11.2) para otra clase especia de espacio D, que
denominaremos espacio del tipo II, el cual est delimitado por las grficas de dos
funciones x = (y), x = (y) con . Es decir, ahora tenemos que:

Con , funciones reales de clase C a trozos. Como antes, D est limitado por una
curva cerrada simple C = D regular a trozos que puede expresarse como concatenacin
de cuatro caminos regulares a trozos:

Donde C est prarametrizado por C es
C es y C4 es
A lo largo de C y de C4, y = y(t) es constante, luego
dy = 0 sobre estos caminos, y las correspondientes integrales de lnea son cero; para C
y C se tiene dy = 1. Entonces:


Y por otro lado:

Juntando estas igualdades obtenemos la ecuacin (11.2)
3 paso
De acuerdo con los pasos anteriores que hemos hecho, la frmula de Green (#) es vlida
para todo espacio D que sea a la vez de tipo I y de tipo II. Todos los crculos, los
rectngulos y los tringulos constituyen ejemplos de regiones que son de tipo I y II
simultneamente. Por tanto, este teorema es vlido para todos estos tipos de curvas.
Tambin podra probarse, utilizando el teorema del cambio de variables, que la igualdad
(#) es cierta para cualquier espacio D que sea difeomorfa con un crculo, un rectngulo o
un tringulo.
4 paso

Este paso consiste en establecer la validez de (#) para todo espacio D que pueda
descomponerse como unin nita de regiones simultneamente de tipo I y II. Ms
precisamente, se prueba () para todo espacio D de la forma:

Donde todos los Di son regiones de tipo I y II simultneamente, con interiores disjuntos
dos a dos, y cuyos bordes, Ci = Di, estn positivamente orientados, y de forma que se
cumplen:

si una curva tiene una parte en comn con otro camino entonces esa parte
no es comn a ningn otro con k= i, j;
si tiene un trozo en comn con entonces recorre ese trozo comn en
sentido contrario al que lo hace ; y

si tiene un trozo en comn con C = D entonces ambos caminos recorren dicho
trozo en el mismo sentido


Podemos aplicar la formula (#) a cada regin Di y sumar todas las igualdades
correspondientes para obtener que


Pero en esta suma de integrales de lnea, las integrales sobre Ci = Di pueden
descomponerse a su vez en sumas nitas de integrales sobre curvas simples de dos
tipos: o bien son trozos del camino comunes a algn otro de los, o bien son partes
de C = D. La suma total de todas las integrales sobre caminos del primero de estos tipos
es igual a cero ya que, al integrar y sumar, cada una de estas curvas se recorre
exactamente dos veces, y con orientaciones opuestas, de modo que la suma de las dos
integrales que se hacen sobre cada camino del primer tipo es cero. Por otro lado, la suma
de todas las integrales sobre los caminos del segundo tipo es igual a la integral del campo
(P, Q) sobre C, ya que C puede expresarse como sucesin de todos los caminos del
segundo tipo. Por consiguiente tenemos que:



Lo que combinado con las igualdades anteriores nos permite concluir que:



Para todo espacio que pueda romperse en una cantidad nita de espacios de tipo I y II
simultneamente. En particular se obtiene que (#) es vlida para toda curva cerrada
simple E que sea poligonal (a saber, concatenacin nita de segmentos de recta), ya que
una tal curva siempre puede triangularse, es decir expresarse como una unin nita.



Donde los son tringulos (y por tanto regiones de tipo I y II simultneamente)
orientados de modo que si y tienen un lado comn entonces recorre este lado en
sentido contrario a como lo hace .

5 paso

La ltima parte de la demostracin consiste en aproximar la curva dada C por una curva
cerrada simple poligonal P de modo que la regin D interior a P queda dentro del dominio
del campo F = (P, Q) y cuyo rea, a(D), es tambin una buena aproximacin del rea de
la regin interior a C, es decir a(D). Se aplica entonces el teorema de Green establecido
en el paso anterior para curvas cerradas simple poligonales y se concluye que (#) es
aproximadamente vlida para D, ms o menos un cierto error que a continuacin
haremos tender a cero, obteniendo as (#) en toda su generalidad el enunciado del
teorema (11.1).
Sea pues C una curva cerrada simple regular a trozos, y supongamos que esta
parametrizada por : [a, b] . Fijemos > 0. Para empezar, debe observarse que,
como F es de clase C, existe una extensin de F de clase C a un abierto que contiene a
D (seguiremos denotando esta extensin como F). Como consecuencia de esto y de la
compacidad de D, existe un abierto A que contiene a D y con dist(A, D) > 0 y de modo
que F es Lipschitzy de clase C en todo A. tenemos que :

Por otra parte, al ser concatenacin de caminos C, es un camino Lipschitz. Por tanto:



Ahora deducimos que si es una particin de [a, b] con la
propiedad de que 1 0 para todo i = 1,..., N entonces la curva poligonal P que
une los puntos (en este orden) est dentro de A.
Adems, como C es cerrada simple, podemos suponer (aadiendo ms puntos a la
particin de [a, b] si fuera necesario) que la poligonal P as obtenida es tambin cerrada
simple. Y entonces la regin interior a esta poligonal P tambin queda dentro de A. Por
otra parte tambin tenemos que, para cualesquiera si [0, 1],

Ahora bien si t [0, 1], es el segmento que une los
puntos , podemos aplicar el teorema del valor medio para integrales para
encontrar si [0, 1] de modo que:



Y por lo tanto para esta eleccin de si, obtenemos lo siguiente:


Lo que combinando la desigualdad anterior obtenemos que:


Y esto vale para toda curva poligonal cerrada simple P que una los puntos
, siendo para
todo i.
Por otro lado, aplicando el teorema de Darboux a la integral obtenemos
1 > 0, que podemos suponer menor o igual que 0, tal que, si
es particin de [a, b] y para todo
i = 1,...,N, entonces




Cualesquiera que sean los ci [ti1, ti]. Adems, jada una de estas
de [a, b], como es concatenacin de
caminos de clase C, podemos suponer (aadiendo puntos, si fuera necesario, a dicha
particin) que es de clase C, en cada intervalo en particular es
uniformemente diferenciable en cada intervalo , luego existe 2 > 0, que
podemos suponer menor o igual que 1, tal que si
entonces:

Podemos entonces aadir todos los puntos necesarios a la particin de [a, b] sobre la
que venimos trabajando para que la nueva particin, que seguiremos denotando
satisfaga que , y por tanto
tambin que:

A la vez que:

Pero esta ltima desigualdad implica que:

Lo que junto con (2) permite obtener:

Y que a su vez combinado con (1) obtenemos a:

Para toda curva cerrada simple poligonal P que una
en este orden, y siempre y cuando para
todo i = 1,..., N.

Por otra parte, como D = C tiene contenido cero, existe una coleccin nita
de cubos abiertos que recubren C y cuyos volmenes suman menos que /M. Denamos
Como U es abierto y contiene al compacto C, tenemos que la distancia
de C al complementario de U es positiva, es decir, . Pongamos ahora:

Entonces, aadiendo puntos si fuera necesario a la particin de
[a, b] sobre la que venimos trabajando, podemos suponer que para todo i =
1,..., N, lo cual implica que la poligonal P que une los puntos
queda dentro del abierto U (en efecto, para todo z del segmento , se tiene:

Luego z U). Denamos tambin W = D U y V = D \ U, que son conjuntos con rea que
cumplen:

Sean entonces D la regin interior a la poligonal cerrada simple P que une los puntos
en este orden. Como P U, es claro que:

V D W,
Y entonces :


Por consiguiente:

Es decir:

Finalmente, combinando (4) y (5) y usando que:

(Es decir, la frmula de Green demostrada ya en el paso 4 para recintos limitados por
curvas cerradas simples poligonales), obtenemos que:

Y como esto sirve para todo > 0 se concluye que



Es decir, la frmula de Green es vlida en el caso
general de una curva cerrada simple regular a
trozos