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),

con inversa dada por

y siendo J(u, v) el determinante jacobiano

J(u, v) =

(X,Y )
(u, v)

(Figura 5). Utilizaremos el teorema de Green para probar que

ZZ

ZZ

dx dy =
R

|J(u, v)| du dv.

(2)

Supondremos que X, Y son funciones de clase C2 y que J(u, v) 6= 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

C LCULO I NTEGRAL V ECTORIAL

T EOREMA DE G REEN

11/15

Respecto al primer miembro de (2), se tiene:

ZZ 

ZZ

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
Z

P dx + Q dy = 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:




X Y
2Y
2Y
X Y

Y
X Y X Y

=
+X
X

=
X

X
.
J(u, v) =
u v
v u
u v
u v
u v v u
u
v
v
u
Aplicamos el teorema de Green a la integral doble sobre R para escribir:
ZZ

J(u, v) du dv = X
C

Y
Y
du + X
dv.
u
v

Ahora tenemos que ver que

Z

x dy = X
C

Y
Y
du + X
dv.
u
v

(3)

A tal fin, introducimos una parametrizacin de C :

(t) = (U(t),V (t))

(a t b),

y llamamos
(t) = (X [U(t),V (t)] ,Y [U(t),V (t)])

(a t b).

Cuando a t b, (t) describe C y (t) describe C. De acuerdo con la regla de la cadena,



(t) =


X 0
X 0
Y 0
Y 0
U (t) +
V (t),
U (t) +
V (t) .
u
v
u
v

Luego,
Z b

x dy =
C

C LCULO I NTEGRAL V ECTORIAL


X [U(t),V (t)]


Y 0
Y 0
U (t) +
V (t) dt.
u
v
OCW-ULL 2011/12

12/15

I. M ARRERO

Por otra parte,

Z

X
C

Y
Y
du + X
dv =
u
v

Z b


X [U(t),V (t)]


Y 0
Y 0
U (t) +
V (t) dt.
u
v

Esto demuestra (3).

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:
ZZ

xi y j =

ZZ

dx dy =
Ri j

Ri j

|J(u, v)| du dv,

donde Ri j denota la imagen de Ri j . Multiplicando por ci j y sumando miembro a miembro:

m

i=1 j=1

ZZ

ci j xi y j = ci j

Ri j

i=1 j=1

ZZ

dx dy = ci j
i=1 j=1

Ri j

|J(u, v)| du dv.

Como s es escalonada,
m

ZZ
R

ZZ

s(x, y) dx dy = ci j xi y j =
i=1 j=1

Ri j

i=1 j=1

ci j |J(u, v)| du dv =

ZZ
R

s[X(u, v),Y (u, v)]|J(u, v)| du dv;

es decir,
ZZ

ZZ

s(x, y) dx dy =
R

s[X(u, v),Y (u, v)]|J(u, v)| du dv.

(4)

Supongamos ahora que f es una funcin integrable en R, y sean s, t funciones escalonadas tales que

s(x, y) f (x, y) t(x, y)

((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 ),

C LCULO I NTEGRAL V ECTORIAL

T EOREMA DE G REEN

13/15

y sigue de (4) que

ZZ

ZZ

s(x, y) dx dy

s[X(u, v),Y (u, v)]|J(u, v)| du dv

ZZR

f [X(u, v),Y (u, v)]|J(u, v)| du dv

ZZR

t[X(u, v),Y (u, v)]|J(u, v)| du dv

ZZR

t(x, y) dx dy.
R

Como s y t son arbitrarias, la integrabilidad de f obliga a que se tenga

ZZ

ZZ

f (x, y) dx dy =
R

f [X(u, v),Y (u, v)]|J(u, v)| du dv.

(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 fe es la extensin de
f a R que se anula fuera de S, (5) implica
ZZ

ZZ

f (x, y) dx dy

fe(x, y) dx dy

ZZ

fe[X(u, v),Y (u, v)]|J(u, v)| du dv

ZZ

f [X(u, v),Y (u, v)]|J(u, v)| du dv.

T

Esto completa la demostracin.

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, luego 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
Z

P dx + Q dy = 2
C

que es el trabajo pedido.

C LCULO I NTEGRAL V ECTORIAL

ZZ

dx dy = 2|R| = 4,


OCW-ULL 2011/12