Beruflich Dokumente
Kultur Dokumente
I SABEL M ARRERO
Departamento de Anlisis Matemtico
Universidad de La Laguna
rrrs
ndice
1. Introduccin
10
12
5. Algunos ejemplos
13
OCW-ULL 2011/12
T EOREMA DE G REEN
1.
1/15
Introduccin
La regla de Barrow para integrales de lnea establece que la integral de lnea de un gradiente f = a lo
largo de un camino que une a y b puede expresarse en funcin de los valores (a) y (b). Existe un teorema
anlogo en dos dimensiones, el teorema de Green, el cual permite escribir una integral doble extendida a una
regin R como una integral de lnea a lo largo de la curva cerrada C que constituye la frontera de R:
Aqu, el smbolo
Q P
x
y
dx dy =
P dx + Q dy.
C
indica que la curva cerrada C es recorrida en sentido contrario al del movimiento de las
C
agujas del reloj. Esta orientacin de una curva se denomina usualmente cannica o positiva, por razones que
se expondrn ms adelante.
Aunque el teorema de Green puede ser cierto bajo hiptesis menos restrictivas, exigiremos que P y Q sean
de clase C1 en un entorno abierto S de R y que C sea una curva simple cerrada regular a trozos.
2.
2.1.
Curvas de Jordan
Definicin 2.1. Sea C una curva descrita por una funcin vectorial continua definida en un intervalo
[a, b]. Recordemos que si (a) = (b), la curva se dice cerrada. Una curva cerrada tal que (t1 ) = (t2 )
(t1 = t2 , ti ]a, b], i = 1, 2) se llama curva cerrada simple. Las curvas cerradas simples planas se denominan
curvas de Jordan.
Toda curva de Jordan C descompone el plano en dos conjuntos abiertos conexos disjuntos que tienen a C
como frontera comn, uno de ellos acotado (el interior de C) y otro no acotado (el exterior de C). Ntese que
estos conceptos no se corresponden con el interior y el exterior topolgicos del conjunto C y, por tanto, no
deben ser confundidos con ellos. La demostracin de este resultado en toda su generalidad no es sencilla; el
primero en probar el llamado teorema de la curva de Jordan fue Oswald Veblen, en 1905.
2.2.
Teorema de Green
El teorema de Green vale para curvas de Jordan regulares a trozos C y regiones R constituidas por la curva
C y su interior.
C LCULO I NTEGRAL V ECTORIAL
OCW-ULL 2011/12
2/15
I. M ARRERO
Teorema 2.2 (Green). Sean P, Q campos escalares de clase C1 en un conjunto abierto S del plano OXY .
Sea C una curva de Jordan regular a trozos, y sea R la reunin de C y su interior. Si R S, entonces
Q P
x
y
dx dy =
P dx + Q dy,
C
donde la integral de lnea se toma alrededor de C en sentido contrario al del movimiento de las agujas del
reloj.
D EMOSTRACIN . Se probar el resultado para el caso particular de que R pueda ser descompuesta en un
nmero finito de recintos que son simultneamente de tipos I y II.
Figura 1. Demostracin del teorema de Green para una regin de tipo I (i) y para una regin ms general.
Suponiendo demostrado el teorema para regiones que son simultneamente de tipos I y II, se efecta la
descomposicin de R en un nmero finito de regiones de este tipo, se aplica el teorema a cada una y se
suman los resultados miembro a miembro. Las integrales a lo largo de las fronteras interiores de las distintas
subregiones se cancelan dos a dos (pues se recorren dos veces en sentidos opuestos), y la suma de las integrales
a lo largo de las fronteras exteriores de dichas subregiones proporciona la integral de lnea a lo largo de C;
vase la Figura 1. Por otra parte, la suma de las integrales dobles sobre cada una de las subregiones proporciona
la integral doble extendida a todo R. Esto demostrara el caso particular enunciado.
As pues, nuestro objetivo se reduce a establecer el resultado para regiones que son simultneamente de
tipos I y II. A tal fin probaremos que
OCW-ULL 2011/12
P
dx dy =
y
P dx.
C
T EOREMA DE G REEN
3/15
Q dy
C
si R es una regin de tipo II. Dado que ambas demostraciones son completamente anlogas, consideraremos
solamente el primer caso.
Sea entonces
R = (x, y) R2 : a x b, f (x) y g(x) ,
con f , g C[a, b] y f (x) g(x) (a x b), una regin de tipo I (Figura 1). Por una parte, se tiene:
P
dx dy =
R y
g(x)
f (x)
P
dy dx =
y
Por otra parte, poniendo (t) = (t, f (t)) (a t b) y denotando por C1 la grfica de :
b
P dx =
C1
Anlogamente, poniendo (t) = (t, g(t)) (a t b) y denotando por C2 la grfica de , recorrida en sentido
opuesto:
b
P dx =
C2
P dx =
C
P dx +
C1
P dx.
C2
Se concluye que
b
C
P(t, f (t)) dt
P dx =
a
P(t, g(t)) dt =
a
P
dx dy,
R y
como pretendamos.
Ejemplo 2.3. La integral doble que da el rea |R| de una regin R puede expresarse en la forma
|R| =
dx dy =
R
Q P
x
y
dx dy,
donde P y Q son tales que Q/ x P/ y = 1. Si, por ejemplo, tomamos P(x, y) = y/2 y Q(x, y) = x/2,
OCW-ULL 2011/12
4/15
I. M ARRERO
el teorema de Green permite obtener el rea de la regin R encerrada por una curva de Jordan C, como la
siguiente integral de lnea:
|R| =
P dx + Q dy =
C
2.3.
1
2
x dy y dx.
C
Definicin 2.4. Sea S R2 un abierto conexo. Se dice que S es simplemente conexo si la regin interior a
toda curva de Jordan C contenida en S es tambin un subconjunto de S. Si S no es simplemente conexo, se
dice mltiplemente conexo.
Teorema 2.5. Sea S R2 simplemente conexo, y sea f (x, y) = (P(x, y), Q(x, y)) un campo vectorial de clase
C1 (S). Entonces f es un gradiente en S si, y slo si,
P Q
=
y
x
en S.
D EMOSTRACIN . Sabemos que esta condicin es necesaria para que f sea un gradiente. Demostraremos ahora
que tambin es suficiente.
Se prueba que si S R2 es abierto y conexo entonces todo par de puntos a, x S puede ser conectado
mediante una poligonal escalonada simple, esto es, una poligonal de tramos paralelos a los ejes coordenados
y que no se cortan a s mismos.
Si la integral de lnea de f desde a hasta x es independiente de la poligonal escalonada simple que une a y
x en S, el argumento utilizado en la demostracin del primer teorema fundamental del clculo para integrales
de lnea establece que f es un gradiente en S. Probemos entonces esta independencia.
Sean C1 , C2 dos poligonales escalonadas simples en S que unen a con x, descritas por los caminos y
, respectivamente. Algunos tramos de estas poligonales pueden coincidir, y los restantes se cortarn, a lo
sumo, un nmero finito de veces, formando las fronteras de un nmero finito de polgonos R1 , . . . , Rm . Vase
la Figura 2, donde la poligonal de trazo continuo representa a C1 y la de trazo discontinuo a C2 . Ambas
poligonales coinciden a lo largo del segmento pq. Las regiones sombreadas son las Rk (k N, 1 k m).
Como S se supone simplemente conexo se tiene que Rk S (k N, 1 k m). Al calcular
f d
C1
OCW-ULL 2011/12
f d
C2
T EOREMA DE G REEN
5/15
encontramos que las integrales de f a lo largo de los segmentos comunes a ambas poligonales se cancelan
dos a dos, ya que cada uno de estos segmentos se recorre dos veces en sentidos opuestos. Adems, para cada
k N, 1 k m, la integral sobre la frontera k de Rk es nula, pues en virtud del teorema de Green,
P dx + Q dy =
Rk
Q P
x
y
dx dy = 0.
Por tanto,
f d =
C1
f d .
C2
3.
OCW-ULL 2011/12
6/15
3.1.
I. M ARRERO
Teorema de Green
Q P
x
y
dx dy =
C1
P dx + Q dy
k=2
P dx + Q dy,
Ck
donde las integrales del segundo miembro se toman en sentido contrario al del movimiento de las agujas del
reloj.
D EMOSTRACIN . Se introducen cortes que transformen R en una reunin finita de regiones simplemente
conexas limitadas por curvas de Jordan, se aplica a cada una el teorema de Green, y se suman miembro a
miembro los resultados. Este procedimiento puede justificarse fcilmente para n = 2; el caso general sigue por
induccin. Vase la Figura 3.
Figura 3. Regin mltiplemente conexa (i); teorema de Green para una regin doblemente conexa (d).
OCW-ULL 2011/12
T EOREMA DE G REEN
3.2.
7/15
(1)
en S.
P dx + Q dy.
P dx + Q dy =
C1
C2
D EMOSTRACIN . Basta aplicar el Teorema 3.1 con n = 2 a la regin R constituida por los puntos situados
entre C1 y C2 junto con las propias curvas (Figura 4), teniendo en cuenta que
Q P
x
y
dx dy = 0,
por (1).
Este resultado se puede expresar diciendo que si P/ y = Q/ x en S entonces el valor de una integral
de lnea a lo largo de una curva de Jordan contenida en S no vara cuando sta se deforma en otra curva
de Jordan en S de manera que todas las curvas intermedias permanezcan dentro de S.
4.
4.1.
El nmero de giros
El valor de la integral de lnea de un campo vectorial depende de la curva sobre la que se integra y del
sentido en que sta se recorre. El nmero de giros es un instrumento analtico que proporciona un mtodo
matemticamente preciso para contar el nmero de veces que el radio vector gira alrededor de un punto
dado cuando va describiendo una curva determinada, y puede utilizarse para asignar una orientacin a dicha
curva.
C LCULO I NTEGRAL V ECTORIAL
OCW-ULL 2011/12
8/15
I. M ARRERO
S
C2
C1
Definicin 4.1. Sea C una curva cerrada regular a trozos en el plano, descrita por una funcin vectorial
definida en [a, b]:
(a t b).
W (; P0 ) =
1
2
dt.
Ntese que
W (; P0 ) =
1
2
(y y0 )dx + (x x0 )dy
.
(x x0 )2 + (y y0 )2
C
Se demuestra que el valor de esta integral es siempre un entero, y que si C es una curva de Jordan entonces
este entero es 0 cuando P0 es exterior a C y 1 si es interior a C. Adems, W (; P0 ) es +1 1 para todo P0
interior a C.
En efecto, sea S la regin abierta conexa que forman todos los puntos del plano excepto (x0 , y0 ). La integral
de lnea que define a W (; P0 ) puede ser escrita en la forma
P dx + Q dy,
C
donde
P(x, y) =
OCW-ULL 2011/12
y y0
,
(x x0 )2 + (y y0 )2
Q(x, y) =
x x0
(x x0 )2 + (y y0 )2
C LCULO I NTEGRAL V ECTORIAL
T EOREMA DE G REEN
9/15
verifican
P Q
=
y
x
en S. Por consiguiente, si (x0 , y0 ) es interior a C, en esta integral podemos reemplazar C por una circunferencia
de centro (x0 , y0 ) y radio r > 0, recorrida en el mismo sentido que C, sin que su valor cambie (Teorema
3.2). Para una tal circunferencia (que podemos parametrizar mediante X(t) = x0 + r cost, Y (t) = y0 + r sent,
0 t 2), el nmero de giros es siempre 1.
Podemos entonces definir las orientaciones positiva y negativa para C del siguiente modo:
Definicin 4.2. Si W (; P0 ) = +1 para todo P0 interior a C, decimos que describe C en sentido positivo:
contrario al del movimiento de las agujas del reloj. Si W (; P0 ) = 1, decimos que describe C en sentido
negativo: el del movimiento de las agujas del reloj.
4.2.
Teorema 4.3 (Cambio de variables). Sean T , S conjuntos medibles Jordan en los planos OUV y OXY ,
respectivamente. Sea f una funcin integrable sobre S. Supongamos que las ecuaciones x = X(u, v), y =
Y (u, v) ((u, v) T ) definen una transformacin biyectiva de T en S, con inversa dada por las ecuaciones
u = U(x, y), v = V (x, y) ((x, y) S). Si X,Y C2 (T ), U,V C1 (S), y el jacobiano de la transformacin:
(X,Y )
J(u, v) =
=
(u, v)
X
u
X
v
Y
u
Y
v
no se anula en T , entonces
f (x, y) dx dy =
S
El teorema de Green permite demostrar un caso particular del Teorema 4.3, del cual se infiere fcilmente
el caso general. Estableceremos ambos casos a continuacin.
Antes de proceder a ello es oportuno advertir que el Teorema 4.3 vale cuando la transformacin es de clase
C1 , y as qued enunciado con anterioridad. Sin embargo, el argumento que expondremos ahora requiere que
sea de clase C2 , pues utiliza el teorema de Schwarz sobre igualdad de las derivadas cruzadas.
C LCULO I NTEGRAL V ECTORIAL
OCW-ULL 2011/12
10/15
I. M ARRERO
Figura 5. Deduccin del teorema del cambio de variables para integrales dobles mediante el teorema de Green.
4.2.1.
Un caso particular
Sea R un rectngulo en el plano OXY , y sea R su imagen en el plano OUV , obtenida mediante la aplicacin
biyectiva
u = U(x, y),
v = V (x, y),
x = X(u, v),
y = Y (u, v),
J(u, v) =
(X,Y )
(u, v)
dx dy =
R
(2)
Supondremos que X, Y son funciones de clase C2 y que J(u, v) = 0 en R , de modo que J(u, v) es siempre
positivo o siempre negativo. El significado de este signo de J(u, v) es el siguiente: cuando (x, y) recorre la
frontera de R en sentido contrario al del movimiento de las agujas del reloj, su imagen (u, v) recorre la frontera
de R en el mismo sentido o en sentido contrario segn que J(u, v) sea positivo o negativo. En lo sucesivo
asumiremos sin prdida de generalidad que J(u, v) > 0.
OCW-ULL 2011/12
T EOREMA DE G REEN
11/15
dx dy =
R
Q P
x
y
dx dy,
donde Q(x, y) = x, P(x, y) = 0. Segn el teorema de Green, esta integral doble es igual a la integral de lnea
P dx + Q dy =
C
x dy,
C
siendo C la frontera de R recorrida en sentido contrario al del movimiento de las agujas del reloj.
Anlogamente, transformamos el segundo miembro de (2) en una integral de lnea a lo largo de la frontera
C de R . Utilizando el teorema de Schwarz, el integrando, J(u, v), puede expresarse en la forma:
J(u, v) =
X Y
2Y
2Y
X Y
Y
X Y X Y
=
+X
X
=
X
u v
v u
u v
u v
u v v u
u
v
Y
X
v
u
J(u, v) du dv =
Y
Y
du + X
dv.
u
v
Y
Y
du + X
dv.
u
v
(3)
(a t b),
y llamamos
(t) = (X [U(t),V (t)] ,Y [U(t),V (t)])
(a t b).
(t) =
X
X
Y
Y
U (t) +
V (t),
U (t) +
V (t) .
u
v
u
v
Luego,
b
x dy =
C
X [U(t),V (t)]
a
Y
Y
U (t) +
V (t) dt.
u
v
OCW-ULL 2011/12
12/15
I. M ARRERO
Y
Y
du + X
dv =
u
v
Y
Y
U (t) +
V (t) dt.
u
v
X [U(t),V (t)]
a
4.2.2.
El caso general
En el apartado anterior hemos probado, con ayuda del teorema de Green, la validez de la frmula (2),
correspondiente al teorema del cambio de variables en el caso particular en que R es un rectngulo del plano
OXY , R su imagen en el plano OUV , y el integrando la funcin idnticamente 1. Apoyndonos en ella estableceremos ahora la validez de dicho teorema en el caso general.
Sean s una funcin escalonada en R, P una particin de R en m n subrectngulos Ri j de lados xi y y j
en los que s es constante, y ci j el valor de s en Ri j (i, j N, 1 i m, 1 j n). Para cada i, j N, 1 i
m, 1 j n, (2) implica:
xi y j =
dx dy =
Ri j
Ri j
ci j xi y j = ci j
i=1 j=1
i=1 j=1
Ri j
dx dy = ci j
i=1 j=1
Ri j
Como s es escalonada,
m
R
s(x, y) dx dy = ci j xi y j =
i=1 j=1
i=1 j=1
Ri j
ci j |J(u, v)| du dv =
es decir,
s(x, y) dx dy =
R
(4)
Supongamos ahora que f es una funcin integrable en R, y sean s,t funciones escalonadas tales que
((x, y) R).
Entonces
s[X(u, v),Y (u, v)] f [X(u, v),Y (u, v)] t[X(u, v),Y (u, v)]
OCW-ULL 2011/12
((u, v) R ),
T EOREMA DE G REEN
13/15
s(x, y) dx dy
R
R
R
t(x, y) dx dy.
R
f (x, y) dx dy =
R
(5)
Finalmente, sea S un conjunto medible Jordan en el plano OXY que es imagen por la transformacin
(X(u, v),Y (u, v)) del conjunto T del plano OUV . Si R es un rectngulo que contiene a S y f es la extensin de
f a R que se anula fuera de S, (5) implica
f (x, y) dx dy
f (x, y) dx dy
R
5.
Algunos ejemplos
Ejemplo 5.1. Utilizar el teorema de Green para calcular el trabajo efectuado por el campo de fuerzas
f (x, y) = (y + 3x, 2y x) al mover una partcula rodeando una vez la elipse 4x2 + y2 = 4 en sentido positivo
matemtico.
R ESOLUCIN . La elipse C tiene semiejes 1 y 2, por tanto encierra un rea igual a 2. Por otra parte, las
funciones P(x, y) = y + 3x, Q(x, y) = 2y x son de clase C1 en R2 . Ya que Q/ x P/ y = 2, el teorema
de Green proporciona
P dx + Q dy = 2
C
dx dy = 4,
R
OCW-ULL 2011/12
14/15
I. M ARRERO
Ejemplo 5.2. Sean P, Q dos campos escalares de clase C1 que satisfacen P/ y = Q/ x en todo el plano
excepto en tres puntos. Sean C1 , C2 , C3 las tres circunferencias centradas en dichos puntos y C la curva que
rodea a C1 y C3 que se muestran en la Figura 6, y sea Ik =
I1 = 12, I2 = 10 e I3 = 15.
(i) Hallar
CP
dx + Q dy.
dx + Q dy = 1.
(iii) Si I1 = 12, I2 = 9 e I3 = 15, puede existir alguna curva cerrada tal que
dx + Q dy = 1?
R ESOLUCIN . Utilizaremos la invariancia de la integral de lnea por deformacin del camino (cf. Teorema
3.2).
(i) Se tiene:
C
P dx + Q dy = I1 I3 = 12 15 = 3.
P dx + Q dy = I2 + I3 2I1 = 10 + 15 24 = 1.
OCW-ULL 2011/12
T EOREMA DE G REEN
15/15
C2
C3
C1
o bien
1
4a + 3b + 5c = ,
3
donde el primer miembro est en Z y el segundo en Q \ Z: una contradiccin, que responde negativamente a la pregunta.
OCW-ULL 2011/12