Cambio de variables

I SABEL M ARRERO
Departamento de Anlisis Matemtico
Universidad de La Laguna
imarrero@ull.es

ndice
1. Introduccin 1

2. Cambio de variables 1
2.1. El teorema del cambio de variables en el plano . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2.2. Interpretacin geomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

3. Algunos ejemplos 4
3.1. Transformaciones lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
3.2. Coordenadas polares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3.3. Coordenadas cilndricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.4. Coordenadas esfricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

C LCULO I NTEGRAL V ECTORIAL OCW-ULL 2011/12

C AMBIO DE VARIABLES 1/12

1. Introduccin

En la teora de las integrales simples, el mtodo de sustitucin permite calcular integrales complicadas

transformndolas en otras ms sencillas que puedan evaluarse fcilmente. Este mtodo se basa en la frmula

Z b Z d
f (x) dx = f [g(t)]g0 (t) dt, (1)
a c

donde g(c) = a y g(d) = b, vlida, por ejemplo, si g C1 [c, d] y f es continua en el rango [a, b] de g.

Nuestro objetivo ahora es motivar el anlogo multidimensional de dicha frmula e ilustrarlo con algunos

ejemplos.

2. Cambio de variables

2.1. El teorema del cambio de variables en el plano

Teorema 2.1 (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 las aplicaciones X, Y y U, V son de clase C1 en T y S, respectivamente,

y el jacobiano de la transformacin:

 
 X X 
 
(X,Y )  u v 
J(u, v) = = 
(u, v)  Y

Y 
 
u v

no se anula en T , entonces

ZZ ZZ
f (x, y) dx dy = f [X(u, v),Y (u, v)] |J(u, v)| du dv, (2)
S T

donde |J(u, v)| representa el valor absoluto de J(u, v).

El jacobiano J(u, v) desempea en (2) un papel similar al del factor g0 (t) en (1), papel que quedar ms

claro en la siguiente seccin. La frmula (2) tambin vale si se permite que la transformacin involucrada deje

de ser inyectiva, o el jacobiano valga cero, en un conjunto de medida nula.

No discutiremos las condiciones ms generales bajo las cuales permanece vlido el Teorema 2.1. Tampoco

C LCULO I NTEGRAL V ECTORIAL OCW-ULL 2011/12

2/12 I. M ARRERO

Figura 1. Cambio de variables.

daremos aqu la demostracin del propio teorema, pues ser obtenida ms adelante como consecuencia del

teorema de Green; por el momento, nos limitaremos a justificar geomtricamente la frmula (2).

El Teorema 2.1 tiene una extensin directa al espacio p-dimensional (p 3). Ilustraremos su aplicacin

con algunos ejemplos en dos y tres dimensiones.

2.2. Interpretacin geomtrica

El radio vector r que une el origen con un punto genrico (x, y) S es una funcin vectorial de dos variables

definida por

r(u, v) = (X(u, v),Y (u, v)) ((u, v) T )

(Figura 1). Pongamos

 
r X Y
V1 = = , ,
u u u
 
r X Y
V2 = = , ,
v v v

y consideremos un segmento rectilneo horizontal en el plano OUV , de modo que v es constante sobre dicho

segmento. La funcin r aplica este segmento sobre una curva (llamada curva u) en el plano OXY . Si u es un

parmetro que representa el tiempo, entonces V 1 es el vector velocidad en la posicin r y es tangente a la

curva descrita por el extremo de r (Figura 2). Similarmente, V 2 representa el vector velocidad de una curva v

obtenida haciendo u constante. Por cada punto de S pasan una curva u y una curva v.

Consideremos ahora un rectngulo infinitesimal de lados u y v. En el tiempo u, un punto de la curva

u se desplaza una distancia aproximadamente igual a V 1 u a lo largo de dicha curva. Anlogamente, en el

OCW-ULL 2011/12 C LCULO I NTEGRAL V ECTORIAL

C AMBIO DE VARIABLES 3/12

Figura 2. Una curva u y el correspondiente vector velocidad.

tiempo v un punto de una curva v recorre sobre la misma una distancia aproximadamente igual a V 2 v. La

regin rectangular de lados u y v del plano OUV se transforma, de modo aproximado, en un paralelogramo

cuyos lados son los vectores uV 1 , vV 2 (Figura 3) y cuya rea es es la norma del producto vectorial de

ambos:

(uV 1 ) (vV 2 ) = V 1 V 2 uv.

Como  
 
 i j k 

 X
 
Y 
V 1 V 2 =  u 0  = J(u, v)k,
 u 

 X Y 
0 
 
v v


el rea del paralelogramo resulta ser, aproximadamente, |J(u, v)|uv. Si J(u, v) = 1 ((u, v) T ), el parale-

logramo imagen tiene la misma rea que el rectngulo original, y la aplicacin conserva las reas. En caso

contrario, para obtener el rea del paralelogramo debemos multiplicar el rea del rectngulo por |J(u, v)|. Este

hecho sugiere contemplar al jacobiano como un factor de escala de reas.

Sean ahora P una particin de un rectngulo R que contiene a T , y Q un subrectngulo de P de lados u

y v. Si u y v son suficientemente pequeos y f es una funcin no negativa definida sobre S, la funcin

f [X(u, v),Y (u, v)]J(u, v) es prcticamente constante en dicho subrectngulo, y puede ser considerada como

C LCULO I NTEGRAL V ECTORIAL OCW-ULL 2011/12

4/12 I. M ARRERO

una funcin escalonada en R si se le asigna el valor 0 fuera de T . As,

ZZ ZZ
f [X(u, v),Y (u, v)]|J(u, v)| du dv = f [X(u, v),Y (u, v)]|J(u, v)| du dv
T R

= f [X(u, v),Y (u, v)]|J(u, v)|uv

' |O( f )|
ZZ
= f (x, y) dx dy,
S

donde |O( f )| denota el volumen del conjunto de ordenadas O( f ) de f . Esto justifica (2).

Figura 3. La imagen de un rectngulo infinitesimal en el plano OUV es un paralelogramo curvilneo en el plano OXY .

Cuando J(u, v) = 0, V 1 y V 2 son paralelos (su producto vectorial es el vector nulo), y el paralelogramo

degenera. Los puntos en que esto ocurre se denominan puntos singulares de la aplicacin. Como se seal

anteriormente, la frmula del cambio de variables vale si el conjunto de los puntos singulares tiene medida

nula; tendremos ocasin de utilizar este hecho en lo que sigue.

3. Algunos ejemplos

3.1. Transformaciones lineales

Una transformacin lineal en R2 es una aplicacin definida por un par de ecuaciones de la forma

x = Au + Bv, y = Cu + Dv,

OCW-ULL 2011/12 C LCULO I NTEGRAL V ECTORIAL

C AMBIO DE VARIABLES 5/12

donde A, B, C, D son constantes. El valor absoluto del jacobiano de esta transformacin es

|J(u, v)| = |AD BC|,

y para asegurar la existencia de la transformacin inversa supondremos AD BC 6= 0.

Figura 4. Transformacin del Ejemplo 3.1.

Ejemplo 3.1. Calcular la integral doble

ZZ
e(yx)/(y+x) dx dy,
S

siendo S el tringulo determinado por la recta x + y = 2 y los ejes coordenados.

R ESOLUCIN . La presencia de y x e y + x en el integrando sugiere efectuar el cambio de variable

u = y x, v = y + x.

Despejando x e y, obtenemos
vu v+u
x= , y= .
2 2

El jacobiano de esta transformacin es J(u, v) = 1/2, y por tanto |J(u, v)| = 1/2. Para encontrar la imagen

T de S en el plano OUV , observamos que las rectas x = 0 e y = 0 se transforman, respectivamente, en las

rectas u = v y u = v, mientras que la recta x + y = 2 se transforma en la recta v = 2. Los puntos interiores a

S satisfacen 0 < x + y < 2, y se aplican en los puntos de T que verifican 0 < v < 2. Vase la Figura 4.

C LCULO I NTEGRAL V ECTORIAL OCW-ULL 2011/12

6/12 I. M ARRERO

Ahora:

Z 2 Z v
1 2
  
1 1 1 1
ZZ ZZ Z
e(yx)/(y+z) dx dy = eu/v du dv = eu/v du dv = v e dv = e .
S 2 T 2 0 v 2 0 e e

Esto resuelve el ejemplo. 

Figura 5. Cambio a coordenadas polares.

3.2. Coordenadas polares

Consideremos el cambio de variables en R2 definido mediante las ecuaciones

x = r cos , y = r sen ,

con r 0 y 0 2. Ntese que es costumbre denotar las coordenadas polares por r, en vez de u, v. El

jacobiano de la transformacin es J(r, ) = r, y coincide con su valor absoluto.

En rigor, para que esta aplicacin sea inyectiva y con jacobiano distinto de cero necesitamos restringir r

a valores estrictamente positivos y a intervalos de la forma 0 < 0 + 2; pero, tal como menciona-

mos anteriormente, la validez del Teorema 2.1 no resulta afectada si la aplicacin deja de ser inyectiva, o el

jacobiano es cero, en conjuntos de medida nula.

Las coordenadas polares tienen una clara interpretacin geomtrica: fijado un punto (x, y) del plano OXY ,

r es la distancia de (x, y) al origen de coordenadas, mientras que representa el ngulo que forma el radio

vector de ese punto con el semieje OX positivo.

OCW-ULL 2011/12 C LCULO I NTEGRAL V ECTORIAL

C AMBIO DE VARIABLES 7/12

El cambio a coordenadas polares es particularmente conveniente cuando el recinto de integracin tiene

fronteras a lo largo de las cuales r permanecen constantes (Figura 5).

Ejemplo 3.2. Calcular

ZZ
(x2 + y) dx dy,
D

siendo D el anillo comprendido entre las circunferencias de ecuaciones x2 + y2 = 1 y x2 + y2 = 5.

R ESOLUCIN . Aplicando un cambio a polares: x = r cos , y = r sen , |J| = r, D queda descrito por las

condiciones 0 2, 1 r 5. Consecuentemente,

ZZ Z 2 Z 5
2
r2 cos2 + r sen r dr


(x + y) dx dy = d
D 0 1
Z 2 Z 5 Z 2 Z 5
2 3
= cos d r dr + sen r2 dr
0 1 0 1

= 6

es el valor de la integral que se solicita. 

Ejemplo 3.3. Calcular el volumen encerrado por un octante de esfera de radio a > 0.

R ESOLUCIN . El volumen pedido viene dado por la integral

ZZ p
a2 x2 y2 dx dy,
S

donde S denota la regin del crculo x2 + y2 a2 situada en el primer cuadrante del plano OXY .

Efectuando un cambio a polares,

ZZ p ZZ p Z /2 Z a p
a2 x2 y2 dx dy = a2 r2 dr d =
r d r a2 r2 dr
S T 0 0
2
a 3
2 3/2 
= a r  = a .
6 0 6

Este es, por tanto, el volumen que se buscaba. 

C LCULO I NTEGRAL V ECTORIAL OCW-ULL 2011/12

8/12 I. M ARRERO

Ejemplo 3.4. Calcular el volumen del slido limitado por el elipsoide de ecuacin

x2 y2 z2
+ + = 1,
a2 b2 c2

donde a, b, c > 0.

R ESOLUCIN . Explicitando z en la ecuacin del elipsoide encontramos que

r
x2 y2
z = c 1 .
a2 b2

Pongamos

r r
x2 y2 x2 y2 x2 y2
 
2
f (x, y) = c 1 2 2, g(x, y) = c 1 2 2, S = (x, y) R : 2 + 2 1 .
a b a b a b

El volumen requerido ser:

ZZ r
x2 y2
ZZ
V= [g(x, y) f (x, y)] dx dy = 2c 1 dx dy.
S S a2 b2

Calculamos esta integral aplicando un cambio de variables a coordenadas elpticas, o polares generalizadas:

x = ar cos , y = br sen , con 0 r 1 y 0 2, cuyo jacobiano en valor absoluto es abr. As:

ZZ p Z 2 Z 1 p
4
V = 2abc r 1 r2 dr d = 2abc d r 1 r2 dr = abc,
T 0 0 3

lo que resuelve el ejemplo. 

3.3. Coordenadas cilndricas

En R3 , las coordenadas cilndricas son coordenadas polares en planos OXY situados a altura z. Es decir,

consideramos la transformacin que aplica (r, , z) en (x, y, z) dada por

x = r cos , y = r sen , z = z.

Permitimos que r 0, 0 2 y < z < (Figura 6). El jacobiano de esta transformacin es

J(r, , z) = r, que coincide con su valor absoluto. Recurdese que el teorema del cambio de variables vale si la

OCW-ULL 2011/12 C LCULO I NTEGRAL V ECTORIAL

C AMBIO DE VARIABLES 9/12

Figura 6. Cambio a coordenadas cilndricas.

aplicacin deja de ser inyectiva y con jacobiano distinto de cero en un conjunto de medida nula.

El cambio a coordenadas cilndricas est especialmente indicado cuando el recinto y/o el integrando pre-

sentan simetra axial.

Ejemplo 3.5. Calcular el volumen del slido S limitado por el plano OXY , el cilindro x2 + y2 = 2x, y el cono
p
z = x 2 + y2 .

R ESOLUCIN . El slido S se representa en la Figura 7. La proyeccin del cilindro sobre el plano OXY es la

circunferencia (x 1)2 + y2 = 1, de centro (1, 0) y radio 1. Efectuamos un cambio a coordenadas cilndricas

y usamos la simetra del recinto respecto al plano y = 0 junto con la paridad del integrando para obtener el

volumen pedido, que viene dado por la integral

/2
sen3
Z 2 cos Z r 
16 32
ZZZ ZZZ Z /2
V= dx dy dz = r dr d dz = 2 d r dr dz = sen = .
S T 0 0 0 3 3 0 9

Esto resuelve el ejemplo. 

3.4. Coordenadas esfricas

En R3 , el cambio a coordenadas esfricas se define por las ecuaciones

x = cos sen , y = sen sen , z = cos .

C LCULO I NTEGRAL V ECTORIAL OCW-ULL 2011/12

10/12 I. M ARRERO

1 z
1

y
0

1
x
2 1

Figura 7. Slido del Ejemplo 3.5.

El significado geomtrico de las variables (, , ) se pone de manifiesto en la Figura 8. Permitimos

que 0, 0 2 y 0 . El jacobiano de la transformacin es J(, , ) = 2 sen y su valor

absoluto es |J(, , )| = 2 sen , ya que sen 0 cuando 0 . Recurdese que el teorema del cambio

de variables sigue valiendo si la aplicacin es inyectiva y con jacobiano distinto de cero excepto quiz en un

conjunto de medida nula.

El cambio a coordenadas esfricas est especialmente indicado cuando el recinto y/o el integrando presen-

tan simetra polar.

Figura 8. Cambio a coordenadas esfricas.

OCW-ULL 2011/12 C LCULO I NTEGRAL V ECTORIAL

C AMBIO DE VARIABLES 11/12

Ejemplo 3.6. Calcular

ZZZ
2 +y2 +z2 )3/2
e(x dx dy dz,
S

siendo S la bola unidad en R3 .

R ESOLUCIN . Obsrvese que no podemos integrar fcilmente esta funcin usando integrales iteradas. La

presencia del trmino x2 + y2 + z2 sugiere un cambio a coordenadas esfricas, con lo cual

ZZZ ZZZ
2 +y2 +z2 )3/2 3
e(x dx dy dz = 2 e sen d d d
S T
Z 2 Z 1
4 3 1 4
Z
3
= d sen d 2 e d = e  = (e 1) ,
0 0 0 3 0 3

quedando resuelto el ejemplo. 

Ejemplo 3.7. Calcular

ZZZ
z dx dy dz,
D

donde

D = (x, y, z) R3 : x2 + y2 + z2 4, z 1 .


R ESOLUCIN . El recinto de integracin se representa en la Figura 9. La naturaleza de este recinto sugiere

efectuar un cambio a coordenadas esfricas. En la interseccin de la esfera x2 + y2 + z2 = 4 con el plano z = 1

se verifica = arc sen 3/2 = /3. La ecuacin del plano z = 1 en coordenadas esfricas es cos = 1.

As pues, para 0 /3 se tiene 0 1/ cos , mientras que si /3 , entonces 0 2.

Claramente, 0 2. En consecuencia:

ZZZ Z 2 Z /3 Z 1/ cos Z 2 Z Z 2
z dx dy dz = d cos sen d 3 d + d cos sen d 3 d
D 0 0 0 0 /3 0
sen
Z /3 Z

= d + 8 cos sen d
2 cos3
0 /3

1 /3

 9
= 2
+ 4 sen2 /3 = .
4 cos 0
 4

Por otra parte, la simetra axial del recinto tambin sugiere realizar, como alternativa, un cambio a coorde-

nadas cilndricas:

ZZZ Z 2 Z 1 Z 4z2 Z 1
1 9
z dx dy dz = d z dz r dr = z(4 z2 ) dz = (4 z2 )2 2 = .
D 0 2 0 2 4 4

C LCULO I NTEGRAL V ECTORIAL OCW-ULL 2011/12

12/12 I. M ARRERO

1
eje y2
2
eje x

2
2 eje z

Figura 9. Slido del Ejemplo 3.7.

Optando por esta segunda va, el problema se simplifica notablemente. 

OCW-ULL 2011/12 C LCULO I NTEGRAL V ECTORIAL