Capitulo 2

Captulo 2
Calculando integrales
Si bien es cierto que por el material expuesto en el captulo 1 sabemos como se dene la integral de
una funci on de varias variables con valores reales, tambien es cierto que hasta ahora no contamos
con herramientas sencillas que nos permitan calcular, salvo en casos muy especcos, el valor de
este tipo de integrales.
Pues bien, la intenci on de este captulo es la de desarrollar dichas herramientas, las cuales est an
basadas fundamentalmente en dos resultados: el Teorema de Fubini
1
y el Teorema de Cambio de
Variable.
2.1 Integrales iteradas
Como se recordara, para el caso de una funci on f denida sobre un rect angulo R = [a, b] [c, d]
en R
2
, y de valores positivos, la integral de f sobre R se puede interpretar geometricamente como
el volumen de la regi on que se encuentra por arriba del rect angulo R y por abajo de la gr aca
de la funci on f. Y trat andose del calculo de vol umenes, seguramente el lector alguna vez habr a
escuchado hablar del principio de Cavalieri
2
, aunque en realidad aqu haremos referencia al metodo
de Cavalieri para el c alculo de vol umenes.
Figura 2.1: El metodo de Cavalieri para aproximar el volumen de un objeto consiste en: rebanar
el objeto; despues, para cada rebanada, calcular el area de alguna de sus caras (o de alguna
cara intermedia), multiplicarla por el grosor de dicha rebanada (obteniendo as un volumen)
y nalmente sumar todos estos volumenes
1
Guido Fubini, matematico italiano (1879-1943)
2
Bonaventura Cavalieri (1598-1647), matematico italiano discpulo de Galileo, cuyo principio establece que el
volumen de dos objetos es igual, si existe una manera de colocarlos de tal forma que al realizar cortes paralelos y
con el mismo plano en ambos objetos, el area de cada una de las caras o guras que se forman en cada objeto, son
iguales.
41
Captulo 2. Calculando integrales 2.1. Integrales iteradas
En terminos generales, dicho metodo consiste en rebanar nuestro objeto; despues, para cada
rebanada, calcular el area de alguna de sus caras (o de alguna cara intermedia), multiplicarla
por el grosor de dicha rebanada (obteniendo as un volumen) y nalmente sumar todos estos
vol umenes (ver gura 2.1). Como seguramente el lector se habra percatado, este metodo no es mas
que una forma pintoresca de describir la construcci on de lo que ahora llamamos sumas de Riemann
de una cierta funci on, que en este caso sera aquella que asigna el area de las caras de cualquier
rebanada o corte que hagamos, y de cuya disponibilidad depende el exito del metodo de Cavalieri.
Pues bien, para el caso en R
2
que nos ocupa, resulta que s hay formas de cortar nuestra regi on
de tal manera que s podemos tener la funci on que nos asigna el area de la gura que se obtiene
en cada corte. De hecho, podemos hacer los cortes de dos formas diferentes y en ambas es posible
obtener dicha funci on. Observe que, si cortamos nuestra region por un plano paralelo al plano
Y Z a la altura del punto x
0
[a, b] del eje X, la gura que se obtiene es justo la misma que
obtenemos al considerar aquella que est a por debajo de la gr aca de la funci on f
x
0
: [c, d] R
denida como f
x
0
(y) = f(x
0
, y) (ver gura 2.2). De esta forma, el area de la gura correspodiente
al corte realizado a la altura x
0
, que denotaremos por (x
0
), coincide con ser
(x
0
) =
d
_
c
f
x
0
(y)dy
=
d
_
c
f(x
0
, y)dy
Notese que es una funci on denida sobre el intervalo [a, b] y es justo una funci on que es util para
aplicar el metodo de Cavalieri.
X
a
x
0
b
R
c
G
f
c
d
y
f
x
0
(y) = f(x
0
, y)
Figura 2.2: Si a la regi on que se encuentra por arriba del rectangulo R y por abajo de la
graca de la funci on f (G
f
), la cortamos por un plano paralelo al plano Y Z a la altura
del punto x
0
[a, b] del eje X, la gura que se obtiene es justo la misma que obtenemos al
considerar aquella que esta por debajo de la graca de la funci on f
x
0
: [c, d] R denida como
f
x
0
(y) = f(x
0
, y)
Tambien podemos hacer cortes con planos paralelos al plano XZ; as, si cortamos a la altura
del punto y
0
[c, d] del eje Y , la gura que se obtiene coincide con la que est a por debajo de la
J. P aez 42
2.1. Integrales iteradas Captulo 2. Calculando integrales
gr aca de la funci on f
y
0
: [a, b] R denida como f
y
0
(x) = f(x, y
0
), de tal forma que el area de la
gura obtenida con este corte (ver gura 2.3), que denotaremos por (y
0
), estara dada por
(y
0
) =
b
_
a
f
y
0
(x)dx
=
b
_
a
f(x, y
0
)dx
En este caso, es una funci on denida sobre el intervalo [c, d] y con ella tambien podemos aplicar
el metodo de Cavalieri.
Y
a
y
0
d
R
c
G
f
a
b
x
f
y
0
(x) = f(x, y
0
)
Figura 2.3: Tambien podemos hacer cortes con planos paralelos al plano XZ. Si cortamos a
la altura del punto y
0
[c, d] del eje Y , la gura que se obtiene coincide con la que esta por
debajo de la graca de la funci on f
y
0
: [a, b] R denida como f
y
0
(x) = f(x, y
0
)
Si todo lo dicho anteriormente est a bien (que s lo estara, salvo por uno que otro peque no
ajuste), el volumen de la regi on que describimos al principio, y que geometricamente es lo que
representa la integral de f sobre R (
_
R
f), deber a estar dado por
_
R
f =
b
_
a
(x)dx
=
b
_
a
d
_
c
f(x, y)dy
dx
o por
_
R
f =
d
_
c
(y)dy
=
d
_
c
b
_
a
f(x, y)dx
dy
43 J. P aez
Las integrales que aparecen en el segundo rengl on de cada una de las identidades anteriores, se
llaman integrales iteradas, se calculan de adentro hacia afuera, y de la misma forma que en el
caso de la derivaci on parcial, en cada paso, las variables diferentes a la variable de integraci on, se
consideran como constantes.
Es importante destacar que las identidades anteriores nos proporcionan dos metodos para cal-
cular la integral de f sobre R, y adem as ambos metodos nos dan el mismo resultado. El teorema de
Fubini es famoso por esta propiedad, y esta se resume diciendo que podemos integrar en el orden
que queramos. Si bien esto es cierto (bajo ciertas hip otesis), es solo una parte. La otra, es justo
la que establece que la integral de una funci on de varias variables se puede integrar por medio de
integraciones iteradas.
Una vez que hemos llegado hasta aqu, es necesario precisar algunas cuestiones. La primera de
ellas tiene que ver con las funciones y que denimos p arrafos arriba. Y la pregunta es:
y estan denidas para todo x [a, b] y para toda y [c, d], respectivamente? Y bueno, si s olo
sabemos que la funci on original f es integrable sobre R, entonces la respuesta es: no. Y un ejemplo
que prueba esta armaci on nos lo proporciona la funci on del ejercicio 9 del captulo anterior.
Ejemplo 2.1 Recordemos que esta funci on esta denida como
f(x, y) =
0 si x o y es irracional, 0 o 1
1
n
+
1
q
si x =
m
n
y y =
p
q
con (m, n) y (p, q) primos relativos
Observemos que, si x
0
[0, 1] es irracional, entonces f
x
0
(y) = f(x
0
, y) = 0 para toda y [0, 1] en
cuyo caso la correspondiente funci on s est a denida para este punto, y adem as
(x
0
) =
1
_
0
f
x
0
(y)dy
= 0
Sin embargo, si x
0
[0, 1] es racional, con x
0
= m
0
/n
0
, entonces
f
x
0
(y) = f(x
0
, y) =
0 si y es irracional
1
n
0
+
1
q
si y =
p
q
con p y q primos relativos
Es facil comprobar para esta funci on que su integral inferior
_
1
0
f
x
0
(y)dy = 0 y que su integral
superior
_
1
0
f
x
0
(y)dy = 1/n
0
, lo que signica que no es integrable en el intervalo [0, 1] y que por lo
tanto la funci on no esta denida para estos valores de x. El lector puede vericar que se da una
situaci on analoga para la funci on .
El ejemplo anterior no deber a rompernos el corazon puesto que para una clase muy grande de
funciones (las continuas) no tendremos ning un problema en denir a las ya famosas funciones y
de los p arrafos anteriores, lo cual se deduce facilmente del problema 1. Y a un menos descorazonador
nos resultar a dicho ejemplo, si observamos que, si bien no es posible denir las funciones y
puesto que las integrales
_
1
0
f
x
(y)dy y
_
1
0
f
y
(x)dx no existen para todo x [0, 1] y/o todo y [0, 1],
de las que s podemos estar seguros que s existen, son las integrales inferiores y superiores de las
mismas funciones f
x
y f
y
. Es decir, sin importar que valores x [0, 1] y y [0, 1] escojamos, los
J. P aez 44
n umeros
_
1
0
f
x
(y)dy,
_
1
0
f
x
(y)dy,
_
1
0
f
y
(x)dx y
_
1
0
f
y
(x)dx siempre existen. As, dado x [0, 1] le
podemos asociar dos n umeros, que ahora denotaremos por (x) y (x), de la siguiente forma
(x) =
1
_
0
f
x
(y)dy =
1
_
0
f(x, y)dy = 0 para toda x [0, 1]
y
(x) =
1
_
0
f
x
(y)dy =
1
_
0
f(x, y)dy =
0 si x es irracional
1
n
si x =
m
n
Y lo mejor de todo esto es que este par de funciones (x) y (x) (x [0, 1]) que obtenemos de esta
manera, son integrables! con la propiedad de que
1
_
0
(x)dx = 0
=
_
R
f
y tambien
1
_
0
(x)dx = 0
=
_
R
f
Por supuesto que tambien se cumple lo mismo si para cada y [0, 1], denimos las funciones
(y) =
1
_
0
f
y
(x)dx =
1
_
0
f(x, y)dx = 0 para toda y [0, 1]
y
(y) =
1
_
0
f
y
(x)dx =
1
_
0
f(x, y)dx =
0 si y es irracional
1
q
si y =
p
q
que tambien resultar an integrables, con la propiedad de que
1
_
0
(y)dy = 0
=
_
R
f
45 J. P aez
y
1
_
0
(y)dy = 0
=
_
R
f
Lo que vamos hacer a continuaci on es mostrar que estas propiedades no son exclusivas de la
funci on del ejemplo 2.1. M as aun, veremos que las ideas que estan detr as del metodo descrito
p arrafos arriba para calcular el volumen de una gura que se puede expresar como la integral de
una funci on denida sobre un rect angulo en R
2
, se pueden extender a funciones que son integrables
sobre rectangulos en R
n
. Hay varias formas de hacer esto, y la que expondremos aqu nos permitira
mostrar que, bajo ciertas condiciones, el c alculo de este tipo de integrales se puede reducir al c alculo
de integrales iteradas.
La herramienta mas importante para lograr todo esto nos la da el teorema de Fubini, del
cual aqu daremos una de sus tantas versiones. Antes, simplemente recordaremos un resultado muy
elemental acerca del nmo y el supremo de conjuntos acotados de n umeros reales, que seguramente
resultara muy familiar al lector, y que dice lo siguiente: si A, B R son conjuntos no vacos y
acotados (superior e inferiormente) tales que A B entonces
inf B inf A sup A sup B (2.1)
Teorema 2.1 (de Fubini) Sean f : R = [a
1
, b
1
] [a
n
, b
n
] R
n
R acotada, i
0
{1, . . . , n}
un ndice jo, y R
i
0
= [a
1
, b
1
] [a
i
0
1
, b
i
0
1
] [a
i
0
+1
, b
i
0
+1
] [a
n
, b
n
] R
n1
. Para cada
y = (x
1
, . . . , x
i
0
1
, x
i
0
+1
, . . . , x
n
) R
i
0
denimos:
1. f
y
: [a
i
0
, b
i
0
] R R como
f
y
(x) = f(x
1
, . . . , x
i
0
1
, x, x
i
0
+1
, . . . , x
n
)
2. , : R
i
0
R
n1
R como
( y) =
b
i
0
_
a
i
0
f
y
(x)dx
y
( y) =
b
i
0
_
a
i
0
f
y
(x)dx
Si f es integrable sobre R entonces y son integrables sobre el rect angulo R
i
0
y adem as
_
R
i
0
=
_
R
f =
_
R
i
0
J. P aez 46
Dem. Lo primero que hay que destacar es que las funciones y denidas en el enunciado
satisfacen que
( y) ( y)
para toda y R
i
0
.
Para continuar, estableceremos la notaci on que vamos a usar en esta demostraci on.
Si P = P
1
P
n
es una partici on del rect angulo R, sabemos que cada P
i
es una partici on
del correspondiente intervalo [a
i
, b
i
] (i = 1, . . . , n). Si P
i
0
= {a
i
0
= t
0
< t
1
< < t
k
= b
i
0
} y
R
j
(con j = 1, . . . , m) son los subrectangulos inducidos por la partici on P
i
0
= P
1
P
i
0
1

P
i
0
+1
P
n
en el rectangulo R
i
0
, entonces los subrectangulos de R inducidos por la partici on
P (que seran k m) los denotaremos por R
lj
, y que se puede interpretar como el que se obtiene de
insertar el intervalo [t
l1
, t
l
] en la i
0
-coordenada del rect angulo R
j
, para cada l = 1, . . . , k y cada
j = 1, . . . , m.
Para cada uno de estos mismos ndices, llamamos
m
lj
(f) = inf{f( x) | x R
lj
} y M
lj
(f) = sup{f( x) | x R
lj
}
Si y R
i
0
entonces
m
l
(f
y
) = inf{f
y
(x) | x [t
l1
, t
l
]} y M
l
(f
y
) = sup{f
y
(x) | x [t
l1
, t
l
]}
para cada l {1, . . . , k}.
Finalmente, para cada j = 1, . . . , m denotamos como
m
j
() = inf{( y) | y R
j
} y M
j
() = sup{( y) | y R
j
}
para la funci on , y
m
j
() = inf{( y) | y R
j
} y M
j
() = sup{( y) | y R
j
}
para la funci on .
Observe que, si y = (x
1
, . . . , x
i
0
1
, x
i
0
+1
, . . . , x
n
) R
j
se tiene que
{f
y
(x) = f(x
1
, . . . , x
i
0
1
, x, x
i
0
+1
, . . . , x
n
) | x [t
l1
, t
l
]} {f( x) | x R
lj
}
de tal forma que por las desiguadades 2.1 tenemos que
m
lj
(f) m
l
(f
y
) M
l
(f
y
) M
lj
(f)
para cada l {1, . . . , k}.
Ahora, si multiplicamos las desigualdades anteriores por t
l
t
l1
> 0, obtenemos que
m
lj
(f) (t
l
t
l1
) m
l
(f
y
) (t
l
t
l1
) M
l
(f
y
) (t
l
t
l1
) M
lj
(f) (t
l
t
l1
)
de tal forma que sumando sobre las l
s, se tiene que
k
l=1
m
lj
(f) (t
l
t
l1
)
k
l=1
m
l
(f
y
) (t
l
t
l1
)
k
l=1
M
l
(f
y
) (t
l
t
l1
)
k
l=1
M
lj
(f) (t
l
t
l1
)
desigualdades que, usando la notaci on de sumas superiores y sumas inferiores, se escriben como
k
l=1
m
lj
(f) (t
l
t
l1
) S(f
y
, P
i
0
) S(f
y
, P
i
0
)
k
l=1
M
lj
(f) (t
l
t
l1
)
47 J. P aez
Si ahora recordamos la denci on de las funciones y , podemos concluir que
k
l=1
m
lj
(f) (t
l
t
l1
) S(f
y
, P
i
0
) ( y) ( y) S(f
y
, P
i
0
)
k
l=1
M
lj
(f) (t
l
t
l1
)
para toda y R
j
. Esto prueba que los n umeros de los extremos de estas desigualdades son cota
inferior y superior (respectivamente) tanto de como de en el subrectangulo R
j
, y por lo tanto
tendremos que
k
l=1
m
lj
(f) (t
l
t
l1
) m
j
() M
j
()
k
l=1
M
lj
(f) (t
l
t
l1
)
y
k
l=1
m
lj
(f) (t
l
t
l1
) m
j
() M
j
()
k
l=1
M
lj
(f) (t
l
t
l1
)
para cada j = 1, . . . , m. Ahora, si en ambos grupos de desigualdades multiplicamos por m(R
j
) > 0,
tenemos que
k
l=1
m
lj
(f) m(R
j
) (t
l
t
l1
) m
j
() m(R
j
) M
j
() m(R
j
)
k
l=1
M
lj
(f) m(R
j
) (t
l
t
l1
)
y
k
l=1
m
lj
(f) m(R
j
) (t
l
t
l1
) m
j
() m(R
j
) M
j
() m(R
j
)
k
l=1
M
lj
(f) m(R
j
) (t
l
t
l1
)
de tal forma que si sumamos con respecto al ndice j, se tiene que
m
j=1
_
k
l=1
m
lj
(f) m(R
j
) (t
l
t
l1
)
_
j=1
m
j
() m(R
j
)
j=1
M
j
() m(R
j
)
j=1
_
k
l=1
M
lj
(f) m(R
j
) (t
l
t
l1
)
_
y
m
j=1
_
k
l=1
m
lj
(f) m(R
j
) (t
l
t
l1
)
_
j=1
m
j
() m(R
j
)
j=1
M
j
() m(R
j
)
j=1
_
k
l=1
M
lj
(f) m(R
j
) (t
l
t
l1
)
_
J. P aez 48
Ya que m(R
j
) (t
l
t
l1
) = m(R
lj
), si usamos nuevamente la notaci on de sumas inferiores y
superiores, concluimos que
S(f, P) S(, P
i
0
) S(, P
i
0
) S(f, P)
y
S(f, P) S(, P
i
0
) S(, P
i
0
) S(f, P)
Como podra notar el lector, estas desigualdades son sucientes para probar que, si f es integrable
sobre el rectangulo R, entonces las funciones y son integrables sobre el rectangulo R
i
0
y ademas
_
R
i
0
=
_
R
f =
_
R
i
0
Hay una manera m as general de formular el teorema de Fubini (como se ver a en el problema
2), pero la forma en que lo hemos hecho aqu tiene que ver con la manera mas com un en que
suele aplicarse. Dejando un poco de lado el formalismo del lenguaje matem atico, podemos leer
este teorema de la siguiente manera; si de lo que se trata es de calcular la integral de una funci on
f(x
1
, . . . , x
n
) sobre un rect angulo R = [a
1
, b
1
] [a
n
, b
n
], sganse los siguientes pasos:
1. elija un ndice i
1
{1, . . . , n}
2. integre a la funci on f(x
1
, . . . , x
i
1
, . . . , x
n
) con respecto a la variable x
i
1
sobre el intervalo
[a
i
1
, b
i
1
] (lo que signica que debe tratar como constantes a las variables distintas de x
i
1
).
Si por desgracia la funci on f(x
1
, . . . , x
i
1
, . . . , x
n
) no es integrable con respecto a la variable x
i
1
sobre el intervalo [a
i
1
, b
i
1
], no se preocupe, calcule la integral inferior o la integral superior de la
misma funci on (con respecto a la misma variable). El resultado de lo anterior es una expresi on
(o una funci on) que s olo depende (a lo m as) de las variables x
1
, . . . , x
i
1
1
, x
i
1
+1
, . . . , x
n
3. el teorema de Fubini asegura que la funci on del inciso anterior es integrable sobre el rect angulo
R
i
1
R
n1
(que se obtiene del rectangulo R quit andole el intervalo [a
i
1
, b
i
1
]) por lo que se
puede volver al paso uno eligiendo ahora un ndice en {1, . . . , n}\{i
1
}
Los incisos anteriores tienen la intenci on de bosquejar el algoritmo que se debe seguir a n de
calcular la integral de una funci on de varias variables. Como se podra notar, estos nos dicen que la
integral de una funci on sobre un rect angulo en R
n
se puede reducir a la integral de otra funci on
sobre un rect angulo en R
n1
, por lo que despues de un n umero nito de pasos (a lo m as n, que
es el n umero maximo de variables) habremos terminado. Una particularidad que es importante
destacar, y por la cual es m as conocido el teorema de Fubini, es que el orden en que vayamos
eligiendo los ndices es totalmente arbitrario. Es decir, nosotros podemos ir elegiendo la variable
de integraci on que m as nos convenga en cada paso, lo cual, como veremos en algunos ejemplos,
resulta muy conveniente. Esta propiedad se suele expresar diciendo que el teorema de Fubini nos
permite intercambiar el orden de integraci on de la forma que queramos.
Todo esto queda resumido en el siguiente resultado, que es un corolario del teorema de Fubini.
Con el n de evitar la posibilidad de que las funciones que se mencionan en el inciso 2 no sean
integrables, para este corolario vamos a suponer que la funci on que deseamos integrar es continua
(ver el problema 1).
49 J. P aez
Corolario 2.1 Sea f : R = [a
1
, b
1
] [a
n
, b
n
] R
n
R continua en R, y sean i
1
, . . . , i
n

{1, . . . , n} diferentes dos a dos (es decir, {i
1
, . . . , i
n
} = {1, . . . , n}). Entonces
_
R
f =
b
in
_
a
in
b
i
n1
_
a
i
n1
b
i
2
_
a
i
2
b
i
1
_
a
i
1
f(x
1
, . . . , x
n
)dx
i
1
dx
i
2
dx
i
n1
dx
in
Dem. Como el lector seguramente lo sospechaba, esta prueba se hara por inducci on sobre el
n umero de variables y la iniciaremos desde k = 2. Este es el caso con el que se inicio la discusi on
de esta seccion, est a directamente relacionado con el metodo de Cavalieri, y es una consecuencia
directa del teorema de Fubini.
Supongamos ahora que el resultado es v alido para cualquier funci on de n variables y continua
sobre un rect angulo en R
n
.
Ahora, sea f : R = [a
1
, b
1
] [a
n+1
, b
n+1
] R
n+1
R continua en R, y sean i
1
, . . . , i
n+1

{1, . . . , n + 1} diferentes dos a dos. Elegimos el ndice i
1
y denimos : R
= [a
1
, b
1
]
[a
i
1
1
, b
i
1
1
] [a
i
1
+1
, b
i
1
+1
] [a
n+1
, b
n+1
] R
n
R como
(x
1
, . . . , x
i
1
1
, x
i
1
+1
, . . . , x
n+1
) =
b
i
1
_
a
i
1
f(x
1
, . . . , x
i
1
1
, x, x
i
1
+1
, . . . , x
n+1
)dx
para cada x = (x
1
, . . . , x
i
1
1
, x
i
1
+1
, . . . , x
n+1
) R
. N otese que esta bien denida, pues f es

continua en R; entonces f(x
1
, . . . , x
i
1
1
, x, x
i
1
+1
, . . . , x
n+1
) es tambien una funci on continua de la
variable x [a
i
1
, b
i
1
], y por lo tanto integrable sobre el intervalo [a
i
1
, b
i
1
]. As, por el teorema de
Fubini sabemos que
_
R
f =
_
R
Por otra parte, tenemos que es una funci on de n variables indexadas por el conjunto {1, . . . , n +
1}\{i
1
} = {i
2
, . . . , i
n+1
}, y por el segundo inciso del problema 1, sabemos que es continua en el
rectangulo R
. Por lo tanto, por la hip otesis de inducci on tenemos que

_
R
=
b
i
n+1
_
a
i
n+1
b
in
_
a
in
b
i
3
_
a
i
3
b
i
2
_
a
i
2
(x
1
, . . . , x
i
1
1
, x
i
1
+1
, x
n+1
)dx
i
2
dx
i
3
dx
in
dx
i
n+1
=
b
i
n+1
_
a
i
n+1
b
in
_
a
in
b
i
3
_
a
i
3
b
i
2
_
a
i
2
b
i
1
_
a
i
1
f(x
1
, . . . , x
i
1
1
, x, x
i
1
+1
, . . . , x
n+1
)dx
dx
i
2
dx
i
3
dx
in
dx
i
n+1
de tal forma que, cambiando el nombre de la variable de integraci on x por x
i
1
, obtenemos que
_
R
f =
b
i
n+1
_
a
i
n+1
b
in
_
a
in
b
i
3
_
a
i
3
b
i
2
_
a
i
2
b
i
1
_
a
i
1
f(x
1
, . . . , x
n+1
)dx
i
1
dx
i
2
dx
i
3
dx
in
dx
i
n+1
concluyendo con esto la inducci on.
Sin duda, una vez que hemos llegado hasta aqu, lo que sigue son algunos ejemplos de como
aplicar el corolario anterior.
J. P aez 50
2.2. Calculando integrales sobre otros conjuntos Captulo 2. Calculando integrales
Ejemplo 2.2 1. calcular la integral
_
R
sen(x + y) donde R = [0, /2] [0, /2].
Soluci on. De acuerdo con el teorema de Fubini, sabemos que:
_
R
sen(x + y) =
/2
_
0
/2
_
0
sen(x + y)dx
dy
=
/2
_
0
cos(x +y)
/2
0
dy
=
/2
_
0
(cos(/2 + y) + cos(y)) dy
= sen(/2 +y)
/2
0
+ sen(y)
/2
0
= (sen(/2 +/2) + sen(/2 + 0)) + (sen(/2) sen(0))
= 2
2. calcular la integral
_
R
x cos(xy) donde R = [0, /2] [0, 1].
Soluci on. Nuevamente, por el teorema de Fubini sabemos que esta integral la podemos calcular
de la siguiente forma:
_
R
x cos(xy) =
/2
_
0
1
_
0
x cos(xy)dy
dx
=
/2
_
0
sen(xy)
1
0
dx
=
/2
_
0
sen(x)dx
= cos(x)
/2
0
= 1
Se deja al lector que calcule la misma integral usando el otro orden de integraci on, que de
acuerdo con el teorema de Fubini, tambien se vale hacerlo as.
Si el lector hace la tarea del segundo inciso del ejemplo anterior, se podr a dar cuenta de las
ventajas que se tienen al poder elegir el orden de integraci on.
2.2 Calculando integrales sobre otros conjuntos
Como seguramente se recordara, el concepto de integraci on lo extendimos a los conjuntos Jordan-
medibles y por la forma en que lo hicimos, integrar una funci on denida sobre uno de estos conjuntos
se reduce a integrar una cierta funci on sobre alg un rect angulo que lo contenga. Hay un tipo de
51 J. P aez
Captulo 2. Calculando integrales 2.2. Calculando integrales sobre otros conjuntos
conjuntos Jordan-medibles para los cuales todo esto resulta muy conveniente a la hora de calcular
la integral de funciones denidas sobre ellos.
Este tipo de conjuntos es como el que se deni o en el problema 32 del captulo uno y un ejemplo,
en R
2
, es la region acotada entre la gr aca de dos funciones , (continuas) denidas sobre un
intervalo cerrado [a, b] R que tienen la propiedad de que (x) (x) para toda x [a, b] (ver
gura 2.4). Es decir, si consideramos
A = {(x, y) R
2
| x [a, b] y (x) y (x)} (2.2)
por el problema antes mencionado sabemos que A es un conjunto Jordan-medible de tal forma que,
si f es una funci on continua sobre A y R R
2
es un rectangulo tal que A R, entonces
_
A
f =
_
R
f
A
En particular, podemos tomar R = [a, b] [m, M] en donde m es el mnimo valor de en [a, b] y
M es el maximo valor de en [a, b].

X
a
b
Y
A
Figura 2.4: La regi on en R

2
denida como A = {(x, y) R
2
| x [a, b] y (x) y (x)}
es un conjunto Jordan-medible
As, dado que para cada x [a, b] podemos estar seguros de que la funci on (f
A
)
x
: [m, M] R
denida como (f
A
)
x
(y) = f
A
(x, y) es integrable (a lo m as es discontinua en un par de puntos),
tendremos que
_
A
f =
_
R
f
A
=
b
_
a
M
_
m
f
A
(x, y)dy
dx
=
b
_
a
(x)
_
m
f
A
(x, y)dy +
(x)
_
(x)
f
A
(x, y)dy +
M
_
(x)
f
A
(x, y)dy
dx
=
b
_
a
(x)
_
(x)
f
A
(x, y)dy
dx
J. P aez 52
=
b
_
a
(x)
_
(x)
f(x, y)dy
dx
en donde
_
(x)
m
f
A
(x, y)dy =
_
M
(x)
f
A
(x, y)dy = 0 dado que f
A
(x, y) = 0 si y [m, (x)) ((x), M].
Es importante hacer notar que la forma en que est a denido el conjunto A determina el orden en
que se toman las variables de integraci on de esta integral iterada.
En R
2
hay otra forma de construir un conjunto similar al denido en 2.2. As como en ese
caso se tiene que la coordenada y de cualquier punto en A (que tenga una coordenada x [a, b])
esta entre el valor de dos funciones de x, ahora la coordenada x de cualquier punto (que tenga
una coordenada y [c, d]) estara entre el valor de dos funciones de y. En terminos mas precisos,
estamos hablando de un conjunto denido de la siguiente forma: si , : [c, d] R son continuas
y tales que (y) (y) para toda y [c, d], consideramos
B = {(x, y) R
2
| y [c, d] y (y) x (y)} (2.3)
La gura 2.5 ilustra un conjunto de este tipo.
Y
c
d
X
B
Figura 2.5: La regi on en R

2
denida como B = {(x, y) R
2
| y [c, d] y (y) x (y)}
tambien es un conjunto Jordan-medible
Procediendo como en el caso del conjunto A, es facil deducir ahora que si f es una funci on
continua sobre el conjunto Jordan-medible B, entonces
_
B
f =
_
R
f
B
=
d
_
c
_
m
f
B
(x, y)dx
dy
=
c
_
c
(y)
_
m
f
B
(x, y)dx +
(y)
_
(y)
f
B
(x, y)dx +
M
_
(y)
f
B
(x, y)dx
dy
53 J. P aez
=
d
_
c
(y)
_
(y)
f
B
(x, y)dx
dy
=
d
_
c
(y)
_
(y)
f(x, y)dx
dy
tomando R = [m
, M
] [c, d] y en donde m
es el mnimo de en [c, d] y M
es el maximo de en
[c, d].
Vale la pena destacar que para las integrales iteradas que se obtuvieron para calcular la integral
de una funci on continua f denida sobre conjuntos como los denidos en 2.2 y en 2.3, no tiene mucho
sentido hablar del cambio en el orden de integraci on. Es decir, ni
_
b
a
_
_
(x)
(x)
f(x, y)dy
_
dx es igual a
_
(x)
(x)
_
_
b
a
f(x, y)dx
_
dy ni
_
d
c
_
_
(y)
(y)
f(x, y)dx
_
dy es igual a
_
(y)
(y)
_
_
d
c
f(x, y)dy
_
dx porque, entre
otras cosas, integrales iteradas como
_
(x)
(x)
_
_
b
a
f(x, y)dx
_
dy o
_
(y)
(y)
_
_
d
c
f(x, y)dy
_
dx no tienen un
signicado preciso puesto que no nos conducen a alg un resultado numerico especco (observe que en
ambos casos las ultimas integrales estan evaluadas de (x) a (x) o de (y) a (y), respectivamente,
sin que quede claro cu al valor de x o de y habra que elegir!).
De aqu en adelante a los conjuntos denidos como en 2.2 y en 2.3 los llamaremos regiones
(de R
2
) tipo I y tipo II, respectivamente. Aunque el tipo de la regi on determina el orden en que
se toman las variables de integracion, si un conjunto Jordan-medible (en R
2
) C se puede expresar
como una regi on tipo I y como una region tipo II, entonces la integral de cualquier funci on continua
denida sobre C se puede calcular por medio de integrales iteradas con los dos ordenes de integraci on
posibles. El siguiente ejemplo ilustra esta situaci on.
Ejemplo 2.3 Calcular
_
A
f en donde f(x, y) = x +y y A = {(x, y) R
2
| 0 x 1 y x y 1}
(ver gura 2.6).
Soluci on. Como se podr a notar, A esta descrito como una regi on tipo I, tomando (x) = x y
(x) 1 (la funci on constante uno) para x [0, 1]. Por tanto, sabemos que
_
A
f =
1
_
0
(x)
_
(x)
f(x, y)dy
dx
=
1
_
0
1
_
x
(x +y)dy
dx
=
1
_
0
_
1
2
(x +y)
2
1
x
_
dx
=
1
2
1
_
0
_
(x + 1)
2
(x + x)
2
_
dx
=
1
2
1
_
0
_
3x
2
+ 2x + 1
_
dx
J. P aez 54
=
1
2
_
x
3
1
0
+ x
2
1
0
+ x
1
0
_
=
1
2
Y
1
A
Figura 2.6: La regi on A del ejemplo 2.3
Ahora, como A tambien se puede expresar de la forma A = {(x, y) R
2
| 0 y 1 y
0 x y}, es decir, como una regi on tipo II con (y) 0 y (y) = y para y [0, 1], tenemos
entonces que
_
A
f =
1
_
0
(y)
_
(y)
f(x, y)dx
dy
=
1
_
0
y
_
0
(x + y)dx
dy
=
1
_
0
_
1
2
(x + y)
2
y
0
_
dy
=
1
_
0
3
2
y
2
dy
=
1
2
y
3
1
0
=
1
2
Este ejemplo no solo ilustra que, si un conjunto es de ambos tipos, entonces la integral de una
funci on continua sobre este se puede expresar en terminos de integrales iteradas correspondientes
a los dos diferentes ordenes de integraci on posibles, sino que en algunos casos uno de ellos resulta
mas f acil de realizar que el otro o, como se ver a en uno de los ejercicios de este captulo, solo con
uno de ellos es posible calcular el valor de la integral.
55 J. P aez
Hasta ahora s olo hemos trabajado en R
2
pero como seguramente el lector intuir a, todo esto
se puede extender a cualquier R
n
. En R
3
, por ejemplo, podemos considerar conjuntos como los
siguientes:
D = {(x, y, z) R
3
| (x, y) A y (x, y) z (x, y)} (2.4)
E = {(x, y, z) R
3
| (x, z) B y (x, z) y (x, z)}
F = {(x, y, z) R
3
| (y, z) C y (y, z) x (y, z)}
en donde A, B y C son regiones tipo I y/o tipo II en R
2
, y , , , , y son funciones continuas
(de valores reales) tales que , y sobre A, B y C, respectivamente. Las guras 2.7
(a), y 2.7 (b) ilustran algunos ejemplos de este tipo de conjuntos.

Y
X
(a)
A
c
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.......
...............................
.
G
X
(b)
C
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
......................
G
F
Figura 2.7: Ejemplos de conjunto tipo D = {(x, y, z) R
3
| (x, y) A y (x, y) z
(x, y)} y tipo F = {(x, y, z) R
3
| (y, z) C y (y, z) x (y, z)}
As, si f es una funci on continua denida sobre el conjunto D, sabemos que
_
D
f =
_
R
f
D
en donde R R
3
es un rectangulo que contiene a D. Si ahora suponemos que el conjunto A R
2
que aparece en la descripcion del conjunto D es una regi on tipo I, es decir de la forma 2.2, entonces
podemos tomar R = [a, b] [m, M] [m
, M
] en donde m es el mnimo valor de la funci on en

[a, b], M es el maximo valor de la funci on en [a, b], m
es el mnimo valor de la funci on en A y

M
es el maximo valor de la funci on en A. De esta forma, obtendremos que:

_
D
f =
_
R
f
D
=
_
[a,b][m,M]
_
m
f
D
(x, y, z)dz
J. P aez 56
=
b
_
a
M
_
m
(x,y)
_
(x,y)
f
D
(x, y, z)dz
dy
dx
=
b
_
a
(x)
_
(x)
(x,y)
_
(x,y)
f(x, y, z)dz
dy
dx
Nuevamente vale la pena insistir en que el orden en que se toman las variables de integraci on en
esta integral iterada, est a determinado por la forma en que esta descrito el conjunto D.
Se deja al lector escribir las integrales iteradas que se obtienen al integrar una funci on f sobre
conjuntos como E o F. A los conjuntos descritos en 2.4, sin importar el tipo de regi on (en R
2
) que
sean los conjuntos A, B y C que ah aparecen, los llamaremos regiones (en R
3
) tipo I, tipo II y tipo
III, respectivamente.
Como es de suponerse, daremos un ejemplo de como se calculan integrales de este tipo.
Ejemplo 2.4 Sea D la regi on acotada por el cono z
2
= x
2
+ y
2
y los planos z = 0, z = 1, x =
0, x = 1, y sea f(x, y, z) = xz. Calcule
_
D
f.
Soluci on. En este caso, D es un ejemplo (en R
3
) de la clase de conjuntos que se pueden expresar
como regiones de cualquiera de los tres tipos. Aqu lo describiremos como una regi on de tipo II. En
efecto, tenemos que D se puede expresar como sigue:
D =
_
(x, y, z) R
3
| 0 z 1, 0 x z,
_
z
2
x
2
y
_
z
2
x
2
_
Por tanto,
_
D
f =
1
_
0
z
_
0
z
2
x
2
_
z
2
x
2
xzdy
dx
dz
=
1
_
0
z
_
0
xz
_
y
z
2
x
2
z
2
x
2
_
dx
dz
=
1
_
0
z
z
_
0
2x
_
z
2
x
2
dx
dz
=
1
_
0
z
_
2
3
_
z
2
x
2
_
3/2
z
0
_
dz
=
2
3
1
_
0
z
4
dz
=
2
15
En gran medida, el problema de calcular la integral de una funci on reside en identicar y
expresar adecuadamente el conjunto sobre el cual se quiere integrar, como lo ilustran los ejemplos
que hemos dado.
Terminaremos esta seccion con un resultado muy util y muy importante, en cuya demostraci on
el teorema de Fubini juega un papel central.
57 J. P aez
Teorema 2.2 Sea f : [a, b] [c, d] R continua tal que
f
x
existe y es continua en [a, b] [c, d].
Denimos g : [a, b] R como
g(x) =
d
_
c
f(x, y)dy
Entonces g es derivable en [a, b] y adem as
g
(x) =
d
_
c
f
x
(x, y)dy
Dem. Primero notemos que para cada (x, y) [a, b] [c, d], por el segundo Teorema Fundamental
del Calculo, tenemos que:
x
_
a
f
x
(t, y)dt = f(x, y) f(a, y)
de tal forma que
f(x, y) =
x
_
a
f
x
(t, y)dt +f(a, y)
Por tanto
g(x) =
d
_
c
f(x, y)dy
=
d
_
c
x
_
a
f
x
(t, y)dt +f(a, y)
dy
=
x
_
a
d
_
c
f
x
(t, y)dy
dt +
d
_
c
f(a, y)dy
N otese que es en el primer sumando de la ultima identidad en donde usamos el Teorema de Fubini, lo
cual nos esta permitido puesto que
f
x
es continua en [x, b][c, d] para toda x [a, b]. Por otra parte,
usando nuevamente el hecho de que
f
x
es continua en [a, b] [c, d], y por lo tanto uniformemente
continua ah mismo, concluimos que h(t) =
_
d
c
f
x
(t, y)dy es una funci on continua de la variable t,
de tal forma que por el primer Teorema Fundamental del C alculo sabemos que
_
x
a
h(t)dt es una
funci on derivable con respecto de x. Como
_
d
c
f(a, y)dy es una constante, concluimos que g es
derivable con respecto a x y ademas
g
(x) = h(x)
=
d
_
c
f
x
(x, y)dy
que es lo que se quera demostrar.
De entre sus muchas aplicaciones, este ultimo teorema nos proporciona una herramienta muy
util para resolver integrales, como se muestra en el siguiente
J. P aez 58
Ejemplo 2.5 Calcule la integral
/2
_
0
ln
_
sen
2
(x) +a
2
cos
2
(x)
_
dx (a = 0)
Soluci on. Denimos la funci on f : (0, )(, ) R
2
R como f(x, y) = ln
_
sen
2
(x) + y cos
2
(x)
_
la cual es C
en su dominio (y por lo tanto en cualquier rect angulo cerrado contenido ah). De

esta forma, si denimos g : (0, ) R R como
g(y) =
/2
_
0
ln
_
sen
2
(x) +y
2
cos
2
(x)
_
dx
por el teorema anterior, sabemos que g es derivable y adem as
g
(y) =
/2
_
0
y
_
ln
_
sen
2
(x) +y
2
cos
2
(x)
__
dx
=
/2
_
0
2y cos
2
(x)
sen
2
(x) + y
2
cos
2
(x)
dx
De esta expresi on se obtiene facilmente que
g
(1) =
/2
_
0
2 cos
2
(x)
sen
2
(x) + cos
2
(x)
dx
= 2
/2
_
0
cos
2
(x)dx
=

2
Ahora, si y = 1 se tiene que
g
(y) =
/2
_
0
2y cos
2
(x)
sen
2
(x) +y
2
cos
2
(x)
dx
=
2y
y
2
1
/2
_
0
_
1
1
sen
2
(x) +y
2
cos
2
(x)
_
dx
=
2y
y
2
1
2

/2
_
0
1
sen
2
(x) +y
2
cos
2
(x)
dx
59 J. P aez
Captulo 2. Calculando integrales 2.3. El Teorema de Cambio de Variable
Resolviendo la ultima integral (lo cual se puede lograr si hacemos el cambio de variable u =
tan(x)(
3
)) obtenemos que
g
(y) =
2y
y
2
1
_
2

2y
_
=

y + 1
para toda y > 0. De esta ultima identidad, junto con el hecho de que g(1) = 0, se tiene que
g(y) =

2
ln
_
y + 1
2
_
de modo que
/2
_
0
ln
_
sen
2
(x) +a
2
cos
2
(x)
_
dx =

2
ln
_
a + 1
2
_
2.3 El Teorema de Cambio de Variable
Sin duda el lector conoce un teorema que lleva el mismo nombre que el de esta seccion. Se trata de
un teorema para funciones de R en R que es muy util para resolver integrales indenidas (de este
mismo tipo de funciones), aunque tambien existe su version para integrales denidas.
De acuerdo con este conocido teorema, si nuestro problema es resolver una integral indenida
de la forma _
f(x)dx
escribimos a la variable x en funci on de otra variable t, es decir, x = g(t) (de ah el nombre de
cambio de variable) lo que nos conduce a resolver la integral
4
_
f(g(t))g
(t)dt
El criterio para elegir a la funci on g tiene que ver fundamentalmente con el hecho de que el nuevo
integrando f(g(t))g
(t) resulte mas f acil de resolver. Si este es el caso y nos es mas facil encontrar
una primitiva de f(g(t))g
(t), digamos una G(t), entonces se puede comprobar que la funci on

F(x) = G(g
1
(x)) resulta ser una primitiva de f(x) (esto es lo que nos asegura el Teorema de
Cambio de Variable y sera muy adecuado que el lector comprobara esta armaci on).
3
Con este cambio de variable, se tiene que
/2
Z
0
1
sen
2
(x) +y
2
cos
2
(x)
dx =
Z
0
1
u
2
+y
2
du
=
1
y
arctan
u
y
=

2y
4
Si el lector no recuerda por que cuando hacemos el cambio de variable x = g(t) el nuevo integrando esta dado por
f(g(t))g
(t), solo considere que, si F es una primitiva de f, entonces usando la regla de la cadena podemos comprobar
que G = F g es una primitiva de (f g)g
J. P aez 60
2.3. El Teorema de Cambio de Variable Captulo 2. Calculando integrales
Si analizamos con m as detenimiento todo lo hecho hasta aqu, concluimos que la funci on g
tiene que ser una funci on derivable, con derivada continua (para garantizar la integrabilidad de
f(g(t))g
(t)) y adem as invertible. En la pr actica no solemos hacer mucho caso de estas condiciones
y lo que realmente nos importa es que el cambio de variable funcione.
Seguramente no escapa a la atencion del lector el hecho de que, en el concepto de integral para
funciones de varias variables que se ha venido trabajando hasta ahora, no hemos mencionado nada
parecido al concepto de integral indenida (o, equivalentemente, al concepto de primitiva).
Es por esta razon que esta formulaci on del Teorema de Cambio de Variable para funciones de R
en R no es muy util a n de guiarnos hacia su generalizaci on para funciones de varias variables.
Afortunadamente existe una formulaci on para integrales denidas y esa s que nos ser a util.
En el caso de integrales denidas, el Teorema de Cambio de Variable para funciones de R en
R se escribe de la siguiente manera: si g es una funci on con derivada continua en [c, d] y f es una
funci on continua en g([c, d]) (la imagen bajo g del intervalo [c, d]) entonces
g(d)
_
g(c)
f(x)dx =
d
_
c
f(g(t))g
(t)dt (2.5)
Usando un lenguaje menos riguroso, esta igualdad se podra leer de la siguiente manera: si el
intervalo sobre el cual se integra a una funci on f (digamos [a, b]) se puede ver como la imagen de
otro intervalo (digamos [c, d]) bajo una cierta funci on g entonces la integral de f sobre el intervalo
[a, b] es igual a la integral de la funci on (f g)g
sobre el intervalo [c, d].

Esta forma de leer la identidad 2.5 (que no es muy precisa pero si bastante ilustrativa) nos per-
mite dar un primer paso hacia la generalizaci on del Teorema de Cambio de Variable para funciones
de varias variables, haciendonos la siguiente pregunta: si queremos integrar una funci on f sobre
un conjunto Jordan-medible A R
n
, y sabemos que este conjunto A se puede ver como la imagen
bajo una cierta funci on g de otro conjunto Jordan-medible B R
n
, es decir A = g(B), la integral
de f sobre A es igual a la integral sobre B de alguna funci on que involucra a f y a g?
Con el n de encontrar una respuesta, es conveniente esbozar los argumentos que nos permiten
convencernos de que la identidad 2.5 es cierta. Una manera de hacerlo es justo usando el concepto de
primitiva (esta es la manera en que suele hacerse) pero como dicho concepto no lo conocemos para
las funciones de varias variables, recurriremos a otro mas elemental, el de las sumas de Riemann.
Aunque en la identidad 2.5 no es necesario que g sea una funci on inyectiva, con el n de que
nuestros argumentos sean mas sostenibles, ahora supondremos que s lo es. Sea P = {x
0
< < x
k
}
una partici on muy na del intervalo que tiene como extremos a g(c) y a g(d) (y que denotaremos
por [a, b]). En este caso, sabemos que las sumas de Riemann correspondientes a esta particion se
aproxima mucho a la integral de f(x) sobre el intervalo [a, b], es decir
g(d)
_
g(c)
f(x)dx
k
i=1
f(
i
)(x
i
x
i1
) (2.6)
para cualquier
i
[x
i1
, x
i
] (i = 1, . . . , k).
Como estamos suponiendo que [a, b] = g([c, d]) entonces sabemos que existe una particion
Q = {t
0
, . . . , t
k
} del intervalo [c, d] tal que x
i
= g(t
i
) para cada i = 1, . . . , k. Ahora, por el
valiossimo Teorema del Valor Medio sabemos que existe
i
entre t
i1
y t
i
tal que
x
i
x
i1
= g(t
i
) g(t
i1
)
61 J. P aez
= g
(
i
)(t
i
t
i1
)
(nuevamente para cada i = 1, . . . , k) de tal forma que, tomando en 2.6 la suma de Riemann
correspondiente a los n umeros
i
= g(
i
), tenemos que
g(d)
_
g(c)
f(x)dx
k
i=1
f(g(
i
))(x
i
x
i1
)
=
k
i=1
f(g(
i
))g
(
i
)(t
i
t
i1
)
Si se observa bien, esta ultima suma es una suma de Riemann de la funci on f(g(t))g
(t) correspon-
diente a la partici on Q del intervalo [c, d] de modo que
k
i=1
f(g(
i
))g
(
i
)(t
i
t
i1
)
d
_
c
f(g(t))g
(t)dt
y por lo tanto
g(d)
_
g(c)
f(x)dx
d
_
c
f(g(t))g
(t)dt
Si bien es cierto que los argumentos que acabamos de dar son imprecisos, tambien es cierto
que nos sugieren un camino para encontrar una formulaci on del Teorema de Cambio de Variable
para funciones de varias variables.
Procediendo como en los p arrafos anteriores sabemos que, si R es un rectangulo que contiene a
A, entonces
_
A
f =
_
R
f
A
de tal forma que si P es una partici on muy na del rect angulo R, entonces
_
A
f =
_
R
f
A
(2.7)
R
i
A=
f(
i
) m(R
i
)
en donde los R
i
son subrectangulos de R inducidos por P y

i
R
i
A.
A diferencia de la suma de Riemann que aparece en 2.6, en donde la medida del subintervalo
[x
i1
, x
i
] (a saber x
i
x
i1
) se puede expresar en terminos de la medida del subintervalo [t
i1
, t
i
]
(a saber t
i
t
i1
), gracias a que g([t
i1
, t
i
]) = [x
i1
, x
i
] y al Teorema del Valor Medio, en la suma
de Riemann que aparece en 2.7 no somos tan afortunados. De hecho, ya sera demasiado pedir que,
si R
es un rectangulo que contiene a B, entonces existiera una particion Q de R
tal que el n umero

de subrectangulos inducidos por Q en R
fuera el mismo que los que P induce en R y ademas cada

R
i
= g(R
i
) (en donde los R
i
seran los subrect angulos de R
inducidos por Q).

Sin embargo nos queda otro recurso. Si consideramos el rect angulo R
y su partici on Q del
p arrafo anterior, y para cada subrect angulo R
i
que intersecta a B elegimos un
i
que este en ambos
J. P aez 62
X
B
R
X
A = g(B)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
g(R
)
g(R
i
)
Figura 2.8: La imagen bajo la funci on g del conjunto Jordan-medible B, del rectangulo R
y del
subrectangulo R
i
conjuntos, es decir
i
R
i
B, y nos jamos en la imagen de R
i
bajo g, como se ilustra en la gura
2.8 para el caso de R
2
, que podemos esperar de sumas de la forma
i
B=
f(g(
i
)) m(g(R
i
))?
Bueno, pues lo que nos gustara es que estas sumas (que son una especie de sumas de Riemann un
poco sui generis) se aproximen a
_
A
f y que esta aproximaci on sea mejor en la medida de que Q
sea una partici on m as na de R
. De hecho, tambien habra que asegurar que los conjuntos g(R
i
)
son Jordan-medibles y que su medida se pueda expresar (o aproximar) en terminos de la medida
de R
i
(y seguramente de alg un otro factor que dependa de la funci on g).
Vale la pena escribir con detalle todos estos supuestos (o buenos deseos) que buscamos se
cumplan:
1. g es tal que si R
i
es cualquier subrectangulo entonces g(R
i
) es un conjunto Jordan-medible
2. existe una forma de expresar (o aproximar) la medida de g(R
i
) (m(g(R
i
))) en terminos de la
medida de R
i
(m(R
i
)) y de la funci on g
3. si Q es una partici on muy na de R
las sumas de la forma
i
B=
f(g(
i
)) m(g(R
i
)) (
i
R
i
B)
se aproximan mucho a
_
A
f, es decir
_
A
f
i
B=
f(g(
i
)) m(g(R
i
)) (
i
R
i
B) (2.8)
Como se podra notar, todas estas propiedades dependen esencialmente de la funci on g y parte
de lo que haremos sera buscar cu ales son las caratersticas de g que nos las puedan garantizar.
Analizaremos lo planteado en el segundo inciso y dejaremos para despues los otros dos.
En este problema, las funciones lineales vuelven a ser muy utiles. En efecto, si R R
n
es un
rectangulo y g es una funci on afn (una funci on lineal seguida de una traslaci on) entonces g(R) es
63 J. P aez
casi un rect angulo en R
n
, solo que con algunos angulos no rectos. Por ejemplo en R
2
, g(R)
coincide con ser un paralelogramo y en R
3
con un paraleleppedo reclinado, como se muestra
en las guras 2.9 y 2.10. De hecho, en este caso el problema de encontrar la medida de g(R) en
terminos de la medida de R se resuelve facilmente.
(a, c)
R
g(a, c)
P = g(R)
.
.
. .
.
. .
.
. .
.
. .
.
. .
.
.
.
. .
.
. .
.
. .
.
.
. .
.
. .
Figura 2.9: La imagen bajo una funci on afn g (de R

2
en R
2
) de un rectangulo R es un
paralelogramo P
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
P = g(R)
Figura 2.10: La imagen bajo una funci on afn g (de R
3
en R
3
) de un rectangulo R es un
pa-ralelepipedo P
Como se recordara de los cursos de Geometra Analtica, si tomamos dos vectores (x
1
, y
1
) y
(x
2
, y
2
) en R
2
, el area del paralelogramo P generado por estos dos vectores (y que es trasladado a
cualquier punto (x
0
, y
0
)), esta dada por:
area(P) = |x
1
y
2
x
2
y
1
| =
det
_
x
1
y
1
x
2
y
2
_
(2.9)
As, si g es una funci on lineal de R
2
en R
2
cuya matriz asociada es
M =
_

_
J. P aez 64
y tomamos el rectangulo R = [a, b] [c, d], entonces el paralelogramo P = g(R) coincide con el
paralelogramo generado por los vectores
(x
1
, y
1
) =
_

__
b a
0
_
= (b a) (, )
y
(x
2
, y
2
) =
_

__
0
d c
_
= (d c) (, )
y que esta trasladado al punto g(a, c) (ver la gura 2.9) de tal forma que, usando 2.9, tenemos que
m(g(R)) = area(P)
= | | (b a) (d c)
= |det(M)| area(R)
= |det(M)| m(R)
Si ahora g es una funci on lineal de R
3
en R
3
representada por una matriz M (de 3 3), y R
R
3
es un rectangulo, recurriendo otra vez a la Geometra Analtica podemos probar nuevamente
que
m(g(R)) = |det(M)| m(R) (2.10)
Lo mas interesante de todo esto es que la identidad 2.10 es valida en cualquier R
n
! aunque,
desafortunadamente, la Geometra Analtica ya no nos alcanza para probarla en el caso general.
Una vez que hemos analizado nuestro problema para el caso en que g sea una funci on lineal,
es importante recordar que estamos trabajando con particiones muy nas, y por lo tanto con
rectangulos muy peque nos. Por tal raz on, si g es una funci on tal que en cada punto x de su dominio
existe su mejor aproximacion lineal (es decir su derivada, que denotaremos por Dg( x)), y R es un
rectangulo muy peque no, parece muy razonable esperar que
m(g(R)) m([Dg(
)](R)) =
det(Dg(
))
m(R) (2.11)
en donde

es alg un elemento de R.
Como se podra notar, la aproximaci on a que nos conduce 2.11 es justo lo que est abamos bus-
cando. Si ahora esta aproximaci on la aplicamos en 2.8, tendremos que
_
A
f
i
B=
f(g(
i
)) m(g(R
i
)) (2.12)
i
B=
f(g(
i
)) |det(Dg(
i
))| m(R
i
)
en donde
i
R
i
B.
Si se observa con cuidado, la segunda suma que aparece en 2.12 ahora s es una suma de
Riemann, una de las asociadas a la funci on (f g) |det(Dg)| y correspondiente a la particion Q
de R
. En este sentido, si dicha partici on es muy na deber a ser cierto que
i
B=
f(g(
i
)) |det(Dg(
i
))| m(R
i
)
_
B
(f g) |det(Dg)|
65 J. P aez
de tal forma que considerando la primera aproximaxi on de 2.12 podemos intuir que
_
A
f
_
B
(f g) |det(Dg)|
Esta ultima aproximaci on es la culminaci on de nuestra b usqueda. A partir de ella, y recogiendo
todas las suposiciones que hicimos anteriormente (sobre todo las relacionadas con la funci on g),
ahora estamos en condiciones de formular el Teorema de Cambio de Variable para funciones de
varias variables de la siguiente manera:
Teorema 2.3 (de Cambio de Variable) Sean, A, B R
n
Jordan-medibles, f : A R
n
R
continua en A y g : B R
n
R
n
de clase C
1
en B. Si g es inyectiva en B (salvo por un conjunto
de medida de Jordan cero) y g(B) = A entonces
_
A
f =
_
B
(f g) |det(Dg)|
Desafortunadamente la prueba de este teorema es lo sucientemente elaborada como para no
aparecer en un texto como este, y esa es la razon por la que nos tomamos tanto trabajo para deducir
su formulaci on. A cambio de la prueba, discutiremos detalladamente algunos ejemplos de funciones
(o transformaciones) g que suelen usarse mas comunmente en las aplicaciones de este teorema,
tanto en R
2
como en R
3
. Tambien es importante aclarar porque en la formulaci on del teorema,
ademas de pedir que g sea derivable, pedimos que dicha derivada sea continua. Esta hip otesis tiene
dos razones de ser: una, que con ella garantizamos la integrabilidad de la funci on (f g) |det(Dg)|,
y dos, que la aproximaci on
m(g(R))
det(Dg(
))
m(R)
para rect angulos peque nos R es una buena aproximaci on, no para alguna, sino para cualquier
R. Concluimos estos comentarios mencionando cual es la notacion m as com un que se usa para
el termino det(Dg(
)). A este factor se le suele denotar simplemente por

Jg(
) = det(Dg(
))
y se le conoce como el jacobiano de g en

, en correspondencia con el nombre con que se conoce a
la matriz asociada a Dg(
), a saber, matriz jacobiana.

5
Antes de analizar los cambios de variable que se usan con m as frecuencia, ilustraremos el uso
del teorema que acabamos de formular atraves del siguiente
Ejemplo 2.6 Calcule la integral de la funci on f(x, y) = xy sobre el conjunto Jordan-medible A
R
2
, en donde A es la regi on contenida en el primer cuadrante y acotada por las hiperbolas xy = 1,
xy = 4 y las rectas y = x, y = 4x.
Soluci on. Dado que la intenci on de este ejemplo es ilustrar el uso del Teorema de Cambio de
Variable, es necesario encontrar otro conjunto Jordan-medible B y una funci on g (de clase C
1
) tal
que g(B) = A. En este sentido, es importante hacer notar que las curvas que determinan al conjunto
A, son las curvas de nivel de un par de funciones denidas de R
2
(o del ag un subconjunto de este)
en R; en efecto, observese que, si hacemos h
1
(x, y) = xy y h
2
(x, y) = y/x, entonces A se puede
5
Como el lector recordara, estos nombres son en honor del matematico aleman Carl Gustav Jakov Jacobi (1804-
1851)
J. P aez 66
4

U
R = h(A)
4

X
A = g(R)
.
.
.
.
.
.
.
.
.
Figura 2.11: Las regiones del ejemplo 2.6
describir como el conjunto acotado por las curvas de nivel h
1
(x, y) = 1, h
1
(x, y) = 4, h
2
(x, y) = 1 y
h
2
(x, y) = 4 (ver gura 2.11). De esta forma, si denimos la funci on
h(x, y) = (h
1
(x, y), h
2
(x, y))
= (xy, y/x)
se tiene que la imagen de A bajo esta funci on h es el rect angulo R = [1, 4][1, 4], es decir, h(A) = R.
La relaci on que este hecho tiene con nuestro problema, es que si se pudiera encontrar la funci on
inversa de h (a la que llamaremos g, por razones obvias), entonces g es tal que g(R) = g(h(A)) = A;
es decir, g es una funci on como la que estamos buscando (y R sera el conjunto B, lo cual resulta
muy conveniente). Calcular g en el ejemplo que nos ocupa no es una tarea difcil; si hacemos
u = h
1
(x, y)
= xy
y
v = h
2
(x, y)
= y/x
calcular la inversa de h se traduce en expresar a las variables x y y en terminos de las variables u
y v. En este ejemplo, se verica facilmente que, para (u, v) R,
x =

uv
y =
_
u
v
lo que signica que la funci on g = (g
1
, g
2
) que estamos buscando esta dada por
g(u, v) = (g
1
(u, v), g
2
(u, v))
=
_
uv,
_
u
v
_
Una vez hecho esto, ya contamos con todos los elementos necesarios para calcular la integral que
se nos pide haciendo uso del Teorema de Cambio de Variable. As, en virtud de este teorema, se
tiene que
_
A=g(R)
f =
_
R
(f g) |det(Dg)|
67 J. P aez
Captulo 2. Calculando integrales 2.4. Algunos cambios de variable
=
4
_
1
4
_
1
f(g(u, v)) |det(Dg(u, v))| dv
du
=
4
_
1
4
_
1
u
1
2v
dv
du
=
4
_
1
udu
4
_
1
1
2v
dv
=
15
2
ln(2)
Este ejemplo, ademas de ilustrar el uso del Teorema de Cambio de Variable, establece un metodo
para calcular integrales sobre regiones que esten determinadas por cuatro curvas de nivel de un par
de funciones (dos curvas por cada una de ellas), en el caso de R
2
(o por seis supercies de nivel
de tres funciones (dos supercies por cada una de ellas), en el caso de R
3
, o en general, por 2n
conjuntos de nivel de n funciones (dos conjuntos de nivel por cada una de ellas), en el caso de R
n
).
La unica dicultad que se puede encontrar con este metodo, es a la hora de calcular la inversa de
la funci on que se construye a partir de aquellas que determinan a la regi on de integraci on.
2.4 Algunos cambios de variable
Las funciones o transformaciones que aparecen con mas frecuencia en la aplicacion del teorema de
Cambio de Variable est an inspiradas principalmente en los diferentes sistemas de coordenadas que
pueden usarse tanto en el plano como en el espacio.
En el caso del plano, adem as de las coordenadas cartesianas (o euclideanas) est an las coordenadas
polares. Como se recordara, una vez establecido un origen O, llamado polo, y una semirecta L que
parte de dicho punto, llamada eje polar, todo punto P en el plano (distinto de O) esta determinado
de manera unica por los n umeros r y : r, que corresponde a la distancia de P al polo O, y que
corresponde a la medida del angulo dirigido formado entre el eje polar y la semirecta que parte del
origen y pasa por P (ver gura 2.12).
L
O
Figura 2.12: En el sistema polar determinado por el punto O (polo) y la semirecta L (eje polar),
el punto P tiene coordenadas (r, )
Con las coordenadas polares establecemos una correspondencia biunvoca entre todos los puntos
del plano diferentes de O y las parejas de n umeros (r, ) en donde 0 < r < y 0 < 2; o
en forma m as general, con el conjunto de parejas (r, ) en donde 0 < r < y y
0
< y
0
+ 2
J. P aez 68
2.4. Algunos cambios de variable Captulo 2. Calculando integrales
(o y
0
< y
0
+ 2) con y
0
R, jo
6
. Sin embargo, aun cuando usando coordenadas polares no
necesitamos echar mano de todas las parejas de n umeros (R
2
) para representar a los puntos del plano
(a diferencia de las coordenadas cartesianas), cualquier pareja de n umeros se puede interpretar
como las coordenadas polares de un punto en el plano. Tal es el caso de la pareja (0, 0) (o cualquiera
de la forma (0, y)) que se puede interpretar como las coordenadas polares del punto O (u origen) y
que de hecho as se conviene.
Y
O
P
r
x = rcos()
y = rsen()
Figura 2.13: Las coordenadas (x, y) de un punto P en un sistema cartesiano cuyo origen coincide
con el polo, la parte positiva del eje de las abscisas (o eje X) coincide con el eje polar, y cuyas
coordenadas polares son (r, )
Para nuestros nes, lo m as interesante es la relaci on que existe entre el sistema coordenado
cartesiano y el sistema polar. Si establecemos un sistema cartesiano cuyo origen coincide con el
polo, y la parte positiva del eje de las abscisas (o eje X) coincide con la semirecta L (ver gura
2.13), sabemos que las coordenadas (x, y) de un punto P en este sistema cartesiano, se pueden
obtener a partir de las coordenadas polares (r, ) de este mismo punto, atraves de las siguientes
ecuaciones:
x = r cos() (2.13)
y = r sen()
Como se podra notar, estas ecuaciones denen una funci on g : R
2
R
2
de las variables r y dada
por
g(r, ) = (r cos(), r sen())
Esta funci on, adem as de ser todo lo derivable que se quiera (es C
), nos da un ejemplo de
una funci on que transforma regiones rectangulares en regiones circulares. En efecto, si a las parejas
(r, ) y (r cos(), r sen()) las interpretamos como coordenadas cartesianas (la primera en el sistema
r y la segunda en el sistema XY ), se puede ver que el rectangulo R = [0, 1] [0, 2] en el dominio
de g se transforma en el conjunto A = {(x, y) R
2
| x
2
+ y
2
1}; basta notar que los puntos de
la forma (r,
0
) con 0 r 1 y
0
jo, y que vistos en el sistema (cartesiano) r forman una lnea
horizontal de longitud 1 a la altura
0
, se transforman en la lnea de longitud 1 que parte del origen
6
Esto, en particular, signica que para un punto del plano hay una innidad de parejas de n umeros que representan
sus coordenadas polares
69 J. P aez
y hace un angulo
0
con el eje X (el radio de la circunferencia unitaria que est a a un angulo
0
)
(ver gura 2.14).
r
R
g(r, )
X
t
0
Figura 2.14: Los puntos de la forma (r,
0
) con 0 r 1 y
0
jo, que vistos en el sistema
(cartesiano) r forman una lnea horizontal de longitud 1 a la altura
0
, bajo la funci on g(r, ) =
(rcos(), rsen()) se transforman en la lnea de longitud 1 que parte del origen y hace un angulo
0
con el eje X (el radio de la circunferencia unitaria que esta a un angulo
0
)
An alogamente, los puntos de la forma (r
0
, ) con 0 2 y r
0
jo, que en el dominio
de g forman una lnea vertical de longitud 1 y a distancia r
0
del eje , se transforman en la
circunferencia de radio r
0
con centro en el origen (ver gura 2.15).
r
R
r
0
g(r, )
1

X
r
0
Figura 2.15: Los puntos de la forma (r
0
, ) con 0 2 y r
0
jo, que vistos en el sistema
(cartesiano) r forman una lnea vertical de longitud 2 a distancia r
0
del eje Y , bajo la funci on
g(r, ) = (rcos(), rsen()) se transforman en la circunferencia de radio r
0
con centro en el
origen
Observe que, si el rectangulo R se genera por medio de lneas horizontales, al aplicar la funci on
g generamos al crculo unitario por medio de sus radios (como si se abriera un abanico!) (ver
gura 2.16).
Si por otra parte, ahora al rect angulo R lo generamos con lneas verticales, al aplicar la
funci on g generamos al crculo unitario por medio de circunferencias centradas en el origen y
J. P aez 70
r
R
g(r, )
Figura 2.16: Si al rectangulo R lo generamos por medio de lneas horizontales, al aplicar

la funci on g generamos al crculo unitario por medio de sus radios (como si se abriera un
abanico!)
cuyo radio va creciendo (como cuando nos preparamos un delicioso hot cake!) (ver gura 2.17).
r
R
g(r, )
1

X
Figura 2.17: Si al rectangulo R lo generamos con lneas verticales, al aplicar la funci on g
generamos al crculo unitario por medio de circunferencias centradas en el origen y cuyo radio
va creciendo (como cuando nos preparamos un delicioso hot cake!)
Antes de dar un ejemplo de como usar esta funcion para aplicar el Teorema del Cambio de
Variable, conviene hacer un par de observaciones. En primer lugar n otese que, de las ecuaciones
2.13 se obtienen las identidades
r
2
= x
2
+y
2
o r =
_
x
2
+ y
2
(2.14)
y en segundo lugar, el jacobiano de esta funci on esta dado por
Jg(r, ) = det(Dg(r, ))
= det
_
cos() r sen()
sen() r cos()
_
= r
71 J. P aez
Ejemplo 2.7 Calcule la integral de la funci on f(x, y) = e
x
2
+y
2
sobre el conjunto
A = {(x, y) R
2
| x
2
+y
2
1}
Soluci on. Quiz as lo primero que habra que se nalar en este ejemplo es que, aun cuando la region
A es de ambos tipos, no es posible calcular la integral de la funci on f sobre A, usando las tecnicas
desarrolladas en la secci on anterior (el lector debera conrmar que esta armaci on es cierta).
Recurramos entonces al Teorema de Cambio de Variable.
Como se vi o parrafos arriba, la regi on A coincide con ser la imagen, bajo la transformaci on de
coordenadas polares g(r, ) = (r cos(), r sen()) (que es con este nombre como llamaremos de aqu
en adelante a esta funcion), del rect angulo R = [0, 1] [0, 2]. Como dijimos antes, g es de clase
C
1
y si la restringimos al subconjunto (0, 1] (0, 2] resulta ser inyectiva (es decir, g es inyectiva en
R salvo por un conjunto de medida de Jordan cero). As, tenemos que, por el Teorema de Cambio
de Variable
_
A
f =
_
R
(f g) |Jg|
=
2
_
0
1
_
0
(f g)(r, ) |Jg(r, )| dr
d
=
2
_
0
1
_
0
r f(r cos(), r sen())dr
d
=
2
_
0
1
_
0
r e
r
2
dr
d
=
2
_
0
d
1
_
0
r e
r
2
dr
=
1
_
0
2r e
r
2
dr
=
_
e
r
2
1
0
_
= (e 1)
En este ejemplo es importante mencionar que la decision de recurrir a el cambio a coordenadas
polares (que es lo que se suele decir cuando se usa esta transformacion g) se debe no solo al hecho
de que la regi on original de integraci on es un crculo, sino que la funci on que se deseaba integrar
tambien lo sugera. En efecto, cuando a la funci on e
x
2
+y
2
se le aplica el cambio a coordenadas
polares, obtenemos la funci on e
r
2
, para la cual (como el lector debe saber) no es posible encontrar
una primitiva en termino de funciones elementales; sin embargo, como al aplicar el cambio de
variable tambien debemos incluir el jacobiano de la transformaci on (que en este caso es r), nos
queda el integrando r e
r
2
, el cual, salvo por una constante (un 2) est a completo (tiene una
primitiva f acil de identicar!).
J. P aez 72
La siguiente transformaci on que analizaremos esta en el espacio y esta inspirada en el sistema de
coordenadas cilndricas. Como seguramente es del conocimiento del lector, este sistema de coorde-
nadas es en cierto modo una combinaci on de un sistema polar y un sistema cartesiano. Si jamos
un sistema cartesiano XY Z en el espacio y tomamos P un punto, que tenga coordenadas (x, y, z),
las coordenadas cilndricas de P estan dadas por las siguientes tres cantidades que determinan de
manera unica al punto: r y que seran las coordenadas polares del punto (x, y, 0) (la proyecci on
del punto P en el plano XY ); es decir, r es la distancia entre el origen (del sistema XY Z) y el
punto (x, y, 0), y es el angulo dirigido formado por la semirecta que parte del origen y pasa por
(x, y, 0), y la parte positiva del eje X. Finalmente, la ultima coordenada cilndrica coincide con la
ultima coordenada del sistema cartesiano XY Z, es decir la altura z. As, decimos que (r, , z)
son las coordenadas cilndricas de P en el sistema cartesiano XY Z (ver gura 2.18).
P
x
y
z
Figura 2.18: La terna (r, , z) representa a las coordenadas cilndricas de P en el sistema

cartesiano XY Z
De esta forma, los puntos del espacio que no pertenecen al eje Z (en el sistema XY Z) estan
en correspondencia biunvoca con el conjunto de ternas (r, , z) R
3
, donde 0 < r < , y
0

< y
0
+ 2 (o y
0
< y
0
+ 2) (con y
0
R jo) y < z < , es decir con el conjunto
(0, ) [y
0
, y
0
+ 2) (, ) R
3
(o con el conjunto (0, ) (y
0
, y
0
+ 2] (, ) R
3
).
Ahora, si recordamos que en el sistema polar cualquier pareja de la forma (0, ) representa las
coordenadas polares del origen, entonces para un punto arbitrario P del eje Z, cuyas coordenadas
cartesianas sean (0, 0, z), tendremos que las ternas de la forma (0, , z) representar an las coordenadas
cilndricas de P. Nuevamente, aunque para representar las coordenadas cilndricas de los puntos
del espacio no necesitamos todas las ternas de R
3
, cualquiera de ellas se puede interpretar como las
coordenadas de este tipo de alg un punto del espacio.
Como en el caso de las coordenadas polares, para nosotros es de particular importancia la
relacion que existe entre el sistema cartesiano XY Z y el sistema cilndrico asociado con este. De
hecho, dada la relaci on tan estrecha entre estos dos sistemas, las ecuaciones que nos permiten
obtener las coordenadas cartesianas (x, y, z) de un punto P del espacio en terminos de sus corres-
pondientes coordenadas cilndricas (r, , z), son muy parecidas al caso polar, como se muestra a
continuaci on:
x = r cos()
73 J. P aez
y = r sen()
z = z
(observe que la ultima de estas ecuaciones pareciera un poco absurda, pero no es mas que una
consecuencia de un abuso de notaci on; estamos usando la misma letra para denotar la ultima
coordenada en ambos sistemas!).
De nueva cuenta, estas ecuaciones nos permiten denir una funci on g : R
3
R
3
de la siguiente
forma:
g(r, , z) = (r cos(), r sen(), z) (2.15)
y las caractersticas, sobre todo geometricas, de esta funci on las describiremos a continuaci on.
Sin duda la funci on g denida en 2.15 tiene todas las propiedades de derivabilidad que queramos,
as que nos concentraremos en sus propiedades geometricas. Para ello, analizaremos la forma en
que transforma al rectangulo R = [0, 1] [0, 2] [0, 1] (del sistema cartesiano rZ). En particular,
veremos como act ua la funci on g cuando una de sus variables permanece ja; esto, en terminos de
coordenadas cilndricas, equivale a identicar los conjuntos de puntos del espacio que se obtienen
al jar cada una de estas coordenadas (que por lo general resultan ser supercies).
Z
R
z
0
g(r, , z)

Y
1
z
0
X
Figura 2.19: Si consideramos puntos de la forma (r, , z
0
) R (con z
0
[0, 1] jo) y que
equivale a tomar una rebanada del rectangulo R paralela al plano r a la altura z
0
, dicho
conjunto de puntos se transforma bajo la funci on g(r, , z) = (r cos(), r sen(), z) en un crculo
unitario con centro en el punto (0, 0, z
0
) y contenido en el plano z = z
0
(paralelo al plano XY )
Observese que si tomamos puntos de la forma (r, , 0), lo cual equivale a considerar la base del
rectangulo R, la funci on g act ua de forma identica a la transformaci on polar, de tal manera que
dichos puntos van a dar a el crculo unitario con centro en el origen y contenido en el plano XY . De
forma m as general, si consideramos puntos de la forma (r, , z
0
) (con z
0
[0, 1] jo, y que equivale
a tomar una rebanada del rect angulo R paralela al plano r a la altura z
0
), dicho conjunto de
puntos se transforma en un crculo unitario con centro en el punto (0, 0, z
0
) y contenido en el plano
z = z
0
(paralelo al plano XY ) (ver gura 2.19). De esta forma, si generamos el rectangulo R con
rebanadas paralelas al plano r entonces al aplicarles la transformaci on g obtenemos un cilndro
de base circular de altura 1, generado por crculos unitarios.
J. P aez 74
Z
R
g(r, , z)

Y
1
Figura 2.20: Si consideramos puntos de la forma (r,

0
, z) R (con
0
[0, 2] jo), que equi-
vale a tomar una rebanada del rectangulo R paralela al plano rZ a la altura
0
, dicho conjunto
de puntos se transforma bajo la funci on g(r, , z) = (r cos(), r sen(), z) en un cuadrado de
lado 1, perpendicular al plano XY y pegado por uno de sus lados al eje Z (formando justo
un angulo
0
con el plano XZ)
Si ahora rebanamos al rect angulo R con planos paralelos al plano rZ, es decir, si consideramos
ternas de la forma (r,
0
, z) (con
0
[0, 2] jo), al aplicarles la transformaci on g a dichos conjuntos
obtenemos cuadrados de lado 1, perpendiculares al plano XY y pegados por uno de sus lados al eje
Z (formando justo un angulo
0
con el plano XZ) (ver gura 2.20). En este caso, si generamos el
rectangulo R con rebanadas paralelas al plano rZ, al aplicarles la transformaci on g generamos
el mismo cilindro solo que ahora por medio de cuadrados que giran alrededor del eje Z.
Para terminar, consideremos rebanadas del rect angulo R paralelas al plano Z, es decir,
consideremos ternas de la forma (r
0
, , z) (con r
0
[0, 1] jo). En este caso, la imagen bajo la
funci on g de cada una de estas rebanadas resulta ser la supercie de un cilindro, justo de radio r
0
y perpendicular al plano XY (salvo cuando r
0
= 0, en cuyo caso se obtiene el segmento que va de
0 a 1 sobre el eje Z) (ver gura 2.21). Aqu, al generar al rect angulo R por medio de rebanadas
paralelas al plano Z, aplicando la funci on g generamos al cilindro a traves de supercies cilndricas
cuyo eje esta en el eje Z.
Vale la pena destacar que las identidades que aparecen en 2.14 tambien son v alidas para las
coordenadas cilndricas, y que el jacobiano de esta transformaci on vale lo mismo que en el caso
polar ya que
Jg(r, , z) = det(Dg(r, , z))
= det
cos() r sen() 0
sen() r cos() 0
0 0 1
= r
A continuaci on, damos un ejemplo de como usar esta transformaci on en el calculo de una
integral.
75 J. P aez
Z
R
r
0
g(r, , z)

Y
1
1
X
r
0
Figura 2.21: Si consideramos puntos de la forma (r
0
, , z) R (con r
0
[0, 1] jo), que equivale
a tomar una rebanada del rectangulo R paralela al plano Z a la altura r
0
, dicho conjunto
de puntos se transforma bajo la funci on g(r, , z) = (r cos(), r sen(), z) en la supercie de un
cilindro, justo de radio r
0
y perpendicular al plano XY (salvo cuando r
0
= 0, en cuyo caso se
obtiene el segmento que va de 0 a 1 sobre el eje Z)
Ejemplo 2.8 Calcule la integral de la funci on f(x, y, z) =
_
x
2
+ y
2
e
z
x
2
+y
2
sobre el conjunto
A = {(x, y, z) R
3
| 0 x
2
+ y
2
1, 0 z
_
x
2
+ y
2
}
Soluci on. Observese con atencion que, aplicando la primera identidad de 2.14 a las desigualdades
que intervienen en la denici on del conjunto A, estas se transforman en 0 r
2
1 ( o 0 r 1)
y 0 z r. Cuando hacemos esto, en realidad lo que estamos haciendo es expresar al mismo
conjunto A s olo que en terminos de las coordenadas cilndricas de sus puntos por lo que, si ahora
hacemos B = {(r, , z) R
3
| 0 2, 0 r 1, 0 z r}, B resulta ser un conjunto (en el
sistema cartesiano rz) que al aplicarle la transformaci on de coordenadas cilndricas g es tal que
g(B) = A (ver gura 2.22). Una vez hecho esto, que en algunos casos es la parte m as importante,
al aplicar el Teorema de Cambio de Variable, dado que B es una regi on en R
3
de tipo I, tenemos
que
_
A
f =
_
B
(f g) |Jg|
=
2
_
0
1
_
0
r
_
0
(f g)(r, , z) |Jg(r, , z)| dz
dr
d
=
2
_
0
1
_
0
r
_
0
r f(r cos(), r sen(), z)dz
dr
d
=
2
_
0
1
_
0
r
r
_
0
r e
zr
dz
dr
d
J. P aez 76
=
2
_
0
d
1
_
0
r
_
e
zr
r
0
_
dr
=
1
_
0
2r
_
e
r
2
1
_
dr
= (e 2)
Z
B
g(r, , z)

Y
1
X
A = g(B)
Figura 2.22: B = {(r, , z) R
3
| 0 2, 0 r 1, 0 z r} es un conjunto (en el
sistema cartesiano rZ) que al aplicarle la transformaci on de coordenadas cilndricas g es tal
que g(B) = A, en donde A = {(x, y, z) R
3
| 0 x
2
+ y
2
1, 0 z
_
x
2
+ y
2
} es la
region de integracion del ejemplo 2.8
Concluimos esta seccion con la transformaci on asociada a las coordenadas esfericas. Como
en el caso de las coordenadas cilndricas, las coordenadas esfericas estan asociadas a un sistema
cartesiano. Es decir, dado un sistema cartesiano XY Z y un punto P del espacio, las coordenadas
esfericas de P en este sistema estan dadas por tres n umeros: la distancia de P al origen del
sistema XY Z; el angulo dirigido formado por la parte positiva del eje X y la semirecta que parte
del origen y pasa por el punto en que se proyecta el punto P sobre el plano XY (el mismo angulo
de las coordenadas cilndricas); y el angulo
7
(no dirigido) que forman la parte positiva del eje Z
y la semirecta que parte del origen y pasa por el punto P (ver gura 2.23). As, las ternas de la
forma (, , ), en donde 0 < , y
0
< y
0
+ 2 ( o y
0
< y
0
+ 2) (con y
0
R jo) y
0 . Como en el caso de los sistemas coordenados anteriores, aun cuando las coordenadas
esfericas no necesitan de todas las ternas de n umeros (R
3
), cualquier terna se puede ver como las
coordenadas esfericas de un punto en el espacio.
Como antes, lo importante aqu es la relacion entre las coordenadas cartesianas (x, y, z) de un
punto P y sus correspondientes coordenadas esfericas (, , ). De la gura 2.23 se deducen las
siguientes ecuaciones:
x = sen() cos() (2.16)
7
En algunos textos, el segundo angulo de las coordenadas esfericas se toma como el angulo dirigido
formado
por la semirecta que parte del origen y pasa por P, y el plano XY , y cuya relacion con el angulo denido en este
texto es:
= /2
77 J. P aez
P
x
y
z
Figura 2.23: La terna (, , ) representa a las coordenadas esfericas de P en el sistema carte-

siano XY Z
y = sen() sen()
z = cos()
A partir de estas ecuaciones, como en los casos anteriores, podemos denir una funci on g : R
3
R
3
de la siguiente forma:
g(, , ) = ( sen() cos(), sen() sen(), cos()) (2.17)
la cual tiene, nuevamente, todas las propiedades de derivabilidad que se deseen.
g(, , )
0
Figura 2.24: Si consideramos puntos de la forma (, ,
0
) R (con
0
(0, ) jo), que equiv-
ale a tomar una rebanada del rectangulo R paralela al plano a la altura
0
, dicho conjunto
de puntos se transforma bajo la funci on g(, , ) = ( sen() cos(), sen() sen(), cos())
en un cono cuyo eje es el eje Z y que tiene una abertura de un angulo
0
En cuanto a la parte geometrica, mostraremos cual es la imagen bajo g del rect angulo R =
J. P aez 78
[0, 1] [0, 2] [0, ]. Bajo la funci on g, las ternas de la forma (, ,
0
) con
0
(0, ) jo (ternas
que se obtienen al rebanar al rect angulo R con un plano paralelo al plano , justo a la altura
0
) van a dar a un cono cuyo eje es el eje Z; esto se deduce del hecho de que, justo los puntos de
un cono de este tipo, son puntos para los cuales su coordenada esferica es la misma (ver gura
2.24). Para
0
= 0 se obtiene el segmento que va de 0 a 1 sobre el eje Z y para
0
= el segmento
que va de 0 a 1 (sobre el mismo eje). As, si generamos al rectangulo R por medio de rebanadas
paralelas al plano , al aplicarles la funci on g generamos la esfera unitaria (centrada en el origen)
a traves de conos.
Si ahora tomamos las ternas de la forma (,
0
, ) con
0
[0, 2] jo (ternas que se obtienen al
rebanar al rect angulo R con un plano paralelo al plano , a la altura
0
), al aplicar la funci on g
obtenemos el semicrculo unitario que est a contenido en el plano que contiene al eje Z y que forma
justo un angulo (dirigido)
0
con la parte positiva del eje X (ver gura 2.25). En este caso, si
generamos al rectangulo R por medio de rebanadas paralelas al plano , al aplicarles la funci on
g generamos la misma esfera solo que ahora atraves de semicrculos que giran alrededor del eje
Z (como un abanico que gira!).
g(, , )

1
0
....
.
.
.
.
.
.
.
.
.
.
.
.
.
Figura 2.25: Si consideramos puntos de la forma (,
0
, ) R (con
0
[0, 2] jo), que equiv-
ale a tomar una rebanada del rectangulo R paralela al plano a la altura
0
, dicho conjunto
en el semicrculo unitario que esta contenido en el plano que contiene al eje Z y que forma justo
un angulo (dirigido)
0
con la parte positiva del eje X
Finalmente, si tomamos las ternas de la forma (
0
, , ) con
0
[0, 1] jo (ternas que se
obtienen al rebanar al rect angulo R con un plano paralelo al plano , a la altura
0
), al aplicar
la funci on g obtenemos la esfera de radio
0
con centro en el origen (ver gura 2.26). Por tanto, si
generamos al rectangulo R por medio de rebanadas paralelas al plano , al aplicarles la funci on
g generamos la misma esfera unitaria solo que ahora a traves de esferas centradas en el origen y
cuyo radio va creciendo.
De las identidades 2.16 se deduce que:
2
= x
2
+ y
2
+ z
2
o =
_
x
2
+y
2
+ z
2
y el jacobiano de la funci on g denida en 2.17 (que de aqu en adelante conoceremos como la
79 J. P aez
g(, , )

1
X
Figura 2.26: Si consideramos puntos de la forma (
0
, , ) R (con
0
[0, 1] jo), que equivale
a tomar una rebanada del rectangulo R paralela al plano a la altura
0
, dicho conjunto
en la esfera de radio
0
con centro en el origen
transformaci on de coordenadas esfericas) esta dado por:
Jg(, , ) = det(Dg(, , ))
= det
sen() cos() sen() sen() cos() cos()

sen() sen() sen() cos() cos() sen()
cos() 0 sen()
= cos()
_
2
sen() cos()
_
sen()
_
sen
2
()
_
=
2
sen()
Como es de suponerse, terminamos esta seccion con un ejemplo que muestra el uso de esta
transformaci on.
Ejemplo 2.9 Calcular el volumen de la regi on que esta dentro de la esfera unitaria con centro en
el origen, y fuera del cono determinado por la ecuaci on z
2
= x
2
+ y
2
.
En terminos m as precisos, se desea calcular el volumen de la regi on
A = {(x, y, z) R
3
| x
2
+y
2
+ z
2
1, z
2
x
2
+ y
2
}
Soluci on. Observese primero que, si tomamos
B =
_
(, , ) R
3
| 0 1, 0 2,

4

3
4
_
y g la transformaci on de coordenadas esfericas, entonces
g(B) = A
Por otra parte, sabemos que si f 1, entonces
V (A) = m(A)
J. P aez 80
2.5. Masa y centro de masa Captulo 2. Calculando integrales
=
_
A
f
=
_
B
(f g) |Jg|
=
_
B
|Jg|
=
1
_
0
2
_
0
3
4
2
sen()d
d
=
1
_
0
2
d
2
_
0
d
3
4
4
sen()d
=
_
3
3
1
0
_
2
0
_
_
cos()
3
4
4
_
=
1
3
2
_
cos(
3
4
) + cos(
1
4
)
_
=
4
3

2
2.5 Masa y centro de masa
Iniciamos este texto planteando un problema: c omo calcular la masa total de una l amina si
disponemos de una funci on f que nos proporciona la densidad de masa en cada punto de esta?
Este fue el problema a partir del cual iniciamos la discusi on que nalmente nos condujo al concepto
de integral de una funci on de varias variables (y de valores reales). Ahora sabemos que, si nuestra
l amina tiene la forma de un rect angulo R, o de manera mas general, coincide con la de un conjunto
A R
2
que resulta ser Jordan-medible, entonces la masa total de dicha l amina estar a dada por
M(A) =
_
A
f (2.18)
De hecho, esto mismo lo podemos extender a objetos en el espacio (o en dimensiones mas altas, si
hace falta); en efecto, si tenemos un objeto en el espacio cuya forma coincide con la de un conjunto
A R
3
el cual resulta ser Jordan-medible, y adem as contamos con una funci on que nos proporciona
la densidad de masa del objeto en cada uno de sus puntos, entonces no dudamos en armar que la
masa total del objeto se puede obtener por medio de la correspondiente integral.
En esta seccion mostraremos otro ejemplo de como usar el concepto de integral que hemos
desarrollado, para resolver un problema muy relacionado con el del c alculo de la masa total de un
objeto.
Imaginemos que tenemos un alambre (cuya masa esta distribuida de forma homogenea) que
ota sobre un cierto lquido. Sobre de este, colocamos objetos de diferente peso (o, para ser mas
exactos, con diferente masa). La pregunta es: desde que punto del alambre debemos sostenerlo
para que este no se sumerja y ademas permanezca horizontal? (ver gura 2.27).
81 J. P aez
Captulo 2. Calculando integrales 2.5. Masa y centro de masa

m
1
@GA FBECD
m
2
@GA FBECD
m
3
@GA FBECD
Figura 2.27: En un alambre que ota sobre alg un lquido colocamos objetos de diferente masa
Si sostenemos el alambre por alguno de sus puntos, digamos P
1
, y en otro, digamos P
2
, colocamos
un objeto de masa m, el efecto producido sobre el alambre depender a de las posiciones relativas
de P
1
y de P
2
. Si el punto P
2
esta a la derecha de P
1
, el alambre se sumergira hacia la derecha (o
girara en el sentido de las manecillas de reloj) y si el punto P
2
esta a la izquierda de P
1
, el alambre
se sumergira hacia la izquierda (o girar a en el sentido contrario al de las manecillas de reloj). Si P
1
y P
2
coinciden, entonces el alambre permanecer a horizontal (o equilibrado). En los dos primeros
casos, la fuerza con que gire el alambre dependera de dos cosas: una, de la cantidad m de masa
que hayamos colocado, y dos, de la distancia d entre los puntos P
1
y P
2
(ver gura 2.28).

P
1
m
07162534
P
2
.

P
1
m
07162534
P
2
P
1
= P
2
m
07162 534
Figura 2.28: Si P
1
y P
2
coinciden, el alambre permanecera horizontal (o equilibrado); si el
punto P
2
esta a la izquierda de P
1
, el alambre se sumergira hacia la izquierda (o girara en el
sentido contrario al de las manecillas de reloj); y si el punto P
2
esta a la derecha de P
1
, el
alambre se sumergira hacia la derecha (o girara en el sentido de las manecillas de reloj)
Para simplicar nuestro an alisis, vamos a suponer que empezamos sosteniendo el alambre por
su punto medio, y que sobre de el alambre colocamos una recta que representa a los n umeros reales,
haciendo coincidir el origen con dicho punto. Ya que elegimos este sistema de referencia, observese
que si la masa de magnitud m la colocamos en un cierto punto del alambre, y dicho punto coincide
con el n umero real x (en cuyo caso diremos que la masa m esta colocada en la posicion x) entonces
J. P aez 82
el n umero que se obtiene al multiplicar m y x, es decir m x, es una muy buena forma de medir el
giro producido sobre el alambre, incluyendo su orientaci on, la cual quedar a expresada en el signo
de dicho n umero (ver gura 2.29).

x
m
07162534
Figura 2.29: Sostenemos el alambre por su punto medio, y sobre el alambre colocamos una
recta que representa a los n umeros reales, haciendo coincidir el origen con dicho punto
Una vez establecida esta forma de medir el efecto producido sobre el alambre al colocarle
una masa, veremos como usando esta medida podemos expresar el hecho de que el alambre esta
equilibrado o en posici on horizontal. Se comprueba f acilmente que, si colocamos dos masas de la
misma magnitud m, una en la posici on x
1
y otra en la posici on x
2
entonces la suma m x
1
+m x
2
=
m (x
1
+x
2
) nos da un n umero que vuelve a reejar el efecto producido sobre el alambre al colocar
ambas masas. En efecto, si x
1
+ x
2
> 0 entonces el alambre gira en el sentido de las manecillas
del reloj, si x
1
+ x
2
< 0 lo hace en el sentido contrario, y si x
1
+ x
2
= 0 (lo que signica que las
posiciones en que colocamos las masas de la misma magnitud son simetricas) entonces, como era
de esperarse, el alambre no gira, es decir, esta equilibrado (ver gura 2.30).

x
1
+x
2
< 0
x
1
m
07162534
x
2
m
07162534

.
0
x
1
+x
2
> 0
x
1
m
07162534
x
2
m
07162534
x
1
+x
2
= 0
x
1
m
07162534
x
2
m
07162534
Figura 2.30: Si x
1
+x
2
> 0 entonces el alambre gira en el sentido de las manecillas del reloj; si
x
1
+x
2
< 0 lo hace en el sentido contrario, y si x
1
+x
2
= 0 el alambre no gira
Otro caso que tambien es muy sencillo de vericar es el siguiente: si ahora colocamos dos masas
m
1
y m
2
, no necesariamente de la misma magnitud, pero en posiciones x
1
y x
2
simetricas, es decir
83 J. P aez
x
2
= x
1
o x
1
+ x
2
= 0, entonces la suma
m
1
x
1
+m
2
x
2
= (m
1
m
2
) x
1
es nuevamente un n umero que reeja con toda presici on el efecto producido sobre el alambre.
En general, se puede comprobar que, si colocamos sobre nuestro alambre masas m
1
, . . . , m
k
en
las posiciones x
1
, . . . , x
k
, respectivamente, entonces el n umero
m
1
x
1
+ +m
k
x
k
(2.19)
nos permite medir (y saber) cu al es el giro producido sobre dicho alambre al sostenerlo por su punto
medio; en particular, si
m
1
x
1
+ + m
k
x
k
= 0
podemos asegurar que el alambre no girara, o lo que es lo mismo, permaner a equilibrado.
Es importante destacar que hasta ahora la expresi on 2.19 solo nos permite determinar si las
masas m
1
, . . . , m
k
, ubicadas en las posiciones x
1
, . . . , x
k
, estan equilibradas (o no) con respecto
al punto medio del alambre (que por cierto, es el punto del alambre que ocupa la posici on 0, de
acuerdo con la forma en que ubicamos nuestra recta real). Por esta raz on, es pertinente hacernos
la siguiente pregunta: cu al es la expresion que nos permite determinar si el mismo conjunto de
masas y ubicaciones esta equilibrado, si ahora suponemos que el alambre se sostiene desde un punto
que esta en una posici on x
0
arbitraria?

x
m
07162 534
x
0
Figura 2.31: Ahora sostenemos el alambre por un punto que ocupa una posici on x
0
y colocamos
una masa de magnitud m en una posici on x
Supongamos entonces que sostenemos el alambre por un punto que ocupa una posici on x
0
y que
colocamos una masa de magnitud m en una posici on x (ver gura 2.31). No es difcil convencerse
de que ahora el n umero m (xx
0
) es el que nos da una medida del giro (incluyendo la orientaci on
de este, por medio de su signo) producido sobre nuestro alambre. Y si razonamos como p arrafos
arriba, tambien llegaremos a la conclusi on de que, al colocar un conjunto de masas m
1
, . . . , m
k
en
las posiciones x
1
, . . . , x
k
, el n umero
m
1
(x
1
x
0
) + +m
k
(x
k
x
0
)
nos proporciona una manera de saber la magnitud y orientaci on del giro producido, y en particular
que, si
m
1
(x
1
x
0
) + + m
k
(x
k
x
0
) = 0 (2.20)
entonces el alambre permanecera en equilibrio.
Lo mas relevante de la identidad 2.20 es que esta determina al valor x
0
en terminos de los
valores m
1
, . . . , m
k
y x
1
, . . . , x
k
. En efecto, si en esta identidad despejamos a x
0
, obtenemos que
x
0
=
m
1
x
1
+ + m
k
x
k
m
1
+ +m
k
J. P aez 84
=
k
i=1
m
i
x
i
k
i=1
m
i
Como se podra observar, esta ultima identidad resuelve el problema que planteamos inicial-
mente: si colocamos sobre nuestro alambre k objetos con masas m
1
, . . . , m
k
en las posiciones
x
1
, . . . , x
k
, respectivamente, entonces la posicion dada por la f ormula
x
0
=
m
1
x
1
+ + m
k
x
k
m
1
+ +m
k
(2.21)
es aquella desde la cual se debe de sostener al alambre para que este permanezca equilibrado.
Todo lo discutido p arrafos arriba constituye la base de lo que haremos a continuaci on. Ahora
nuestro nuevo problema es el siguiente: si tenemos un alambre cuya distribuci on de masa no es
homogenea, y contamos con una funci on que nos asigna la densidad de masa en cada punto del
alambre, la pregunta es: cu al es el punto de equilibrio de este alambre?, es decir, desde que punto
debemos sostener a nuestro alambre para que se mantenga en posicion horizontal?
Manos a la obra! Empecemos por establecer un sistema de referencia sobre el alambre, es decir,
lo ubicamos sobre una recta real. Si el extremo izquierdo del alambre se ubica en la posicion a y
el derecho en la posici on b, entonces la funci on de densidad (de masa) del alambre se puede pensar
como una funci on : [a, b] R R.
El siguiente paso consistir a en subdividir el alambre en pedazos m as peque nos, lo que en terminos
de posiciones equivale a tomar una partici on P = {a = t
0
< t
1
< . . . < t
k
= b} del intervalo [a, b].
A continuaci on, elegimos
i
[t
i1
, t
i
] para cada uno de los subintervalos inducidos por P en
[a, b]. Ahora, resulta razonable suponer que la cantidad (
i
) (t
i
t
i1
) es una aproximaci on a
la masa contenida en la porci on del alambre representada por el subintervalo [t
i1
, t
i
], y que esta
aproximaci on es mejor en la medida de que dicho subintervalo sea m as peque no, es decir, en la
medida de que la partici on P sea mas na. Como seguramente se recordara, la masa total m del
alambre se parecera mucho a la suma de estos n umeros, es decir
m
k
i=1
(
i
) (t
i
t
i1
)
suma que a su vez se parece mucho a
b
_
a
(x)dx
de donde concluimos que
m =
b
_
a
(x)dx
lo cual debe de resultarle muy familiar al lector.
En cuanto al problema de encontrar el punto de equilibrio del alambre, se estar a de acuerdo en
que nos podemos aproximar a este atraves del punto de equilibrio del conjunto de masas (colocadas
sobre un alambre homogeneo que ota sobre alg un lquido) m
i
= (
i
) (t
i
t
i1
) ubicadas en las
85 J. P aez
posiciones
i
(i = 1, . . . , k) que, de acuerdo con la identidad 2.21, est a dado por
x
0
=
k
i=1
m
i

i
k
i=1
m
i
=
k
i=1
i
(
i
) (t
i
t
i1
)
k
i=1
(
i
) (t
i
t
i1
)
y que esta aproximaci on sera mejor en la medida de que la partici on P sea mas na (ver gura
2.32).
m
1
@GA FBECD
m
2
@GA FBECD
2

0
m
3
@GA FBECD
m
4
@GA FBECD
m
5
@GA FBECD
5
m
6
@GA FBECD
m
i
= (
i
) (t
i
t
i1
)
a = t
0
t
1
t
2
t
3
t
4
t
5
t
6
= b
Figura 2.32: El punto de equilibrio de un alambre no homogeneo, se puede aproximar a traves
del punto de equilibrio del conjunto de masas (colocadas sobre un alambre homogeneo que ota
sobre alg un lquido) m
i
= (
i
) (t
i
t
i1
) ubicadas en las posiciones
i
(i = 1, . . . , k)
Seguramente el lector coincidir a en que, como
k
i=1
i
(
i
) (t
i
t
i1
)
b
_
a
x (x)dx
justo cuando la partici on P es mas na, es del todo razonable armar que el n umero
x
0
=
b
_
a
x (x)dx
b
_
a
(x)dx
(2.22)
nos proporciona la ubicaci on del punto de equilibrio de nuestro alambre.
Al n umero que aparece a la derecha de la identidad 2.22 se le concoce como el centro de masa
de un alambre (identicado con el intervalo [a, b]) cuya funci on de densidad de masa esta dada por
: [a, b] R R.
Como se habra notado, en todo lo que hemos hecho hasta ahora no han aparecido las integrales
de funciones de varias variables, pero como seguramente se sospechar a, estas apareceran cuando
abordemos el problema equivalente para objetos en el plano (l aminas) o en el espacio (solidos).
Y aqu vamos! Imaginemos ahora que tenemos una l amina de forma rectangular (lo que por
ahora ser a irrelevante) que ota sobre un cierto lquido y cuya masa est a distribuida de forma
J. P aez 86
m
1
@GA FBECD
m
2
@GA FBECD
m
3
@GA FBECD
m
4
@GA FBECD
m
5
@GA FBECD
Figura 2.33: En una lamina que ota sobre alg un lquido colocamos objetos de diferente masa
homogenea. Sobre de esta, colocamos objetos de diferente masa. La pregunta nuevamente es:
desde que punto de la l amina debemos sostenerla para que esta no se sumerja y ademas permanezca
horizontal? (ver gura 2.33).
Como en el caso del alambre, si ahora sostenemos nuestra lamina por alguno de sus puntos,
digamos

P
0
, y en otro, digamos

P
1
, colocamos un objeto de masa m, el efecto producido sobre la
l amina depender a, de nueva cuenta, de las posiciones de

P
0
y de

P
1
. De hecho, es intuitivamente
(y experimentalmente) claro que la lamina se sumergir a en la direcci on del punto

P
1
(visto desde
el punto

P
0
) como si esta estuviera sostenida a lo largo de toda la lnea que para por

P
0
y que es
perpendicular a la lnea que une a

P
0
con

P
1
(ver gura 2.34). Tambien es intuitivamente claro que
la fuerza con la que har a este movimiento dependera de la magnitud de la masa y de la distancia
entre los puntos. As, es facil converserse de que el vector
m
_
P
1

P
0
_
es una muy buena forma de medir el efecto producido sobre la l amina.
P
0
m
07162534

P
1
Figura 2.34: La lamina se sumergira en la direcci on del punto

P
1
(visto desde el punto

P
0
)
como si esta estuviera sostenida a lo largo de toda la lnea que pasa por

P
0
y que es perpendicular
a la lnea que une a

P
0
con

P
1
En general, podemos armar que, si colocamos k masas de magnitud m
1
, . . . , m
k
en los puntos
P
1
, . . . ,

P
k
, respectivamente, entonces el efecto producido sobre la l amina (que seguimos suponiendo
se sostiene por el punto

P
0
) queda plenamente determinado por el vector
m
1
P
1

P
0
_
+ +m
k

_
P
k

P
0
_
(seguramente el lector se podra imaginar algunas conguraciones sencillas de masas y posiciones
que conrman esta armaci on), y en particular, si
m
1
P
1

P
0
_
+ + m
k

_
P
k

P
0
_
=

0 (2.23)
87 J. P aez
entonces podemos asegurar que la l amina permanece horizontal (o en equilibrio).
Como en el caso unidimensional, la identidad 2.23 determina de manera unica al punto

P
0
ya
que, despejando, tenemos que
P
0
=
1
m
1
+ +m
k
_
m
1

P
1
+ +m
k

P
k
_
(2.24)
con lo cual resolvemos el problema inicialmente planteado.
Si elegimos un sistema cartesiano en el que los puntos

P
1
, . . . ,

P
k
tienen coordenadas (x
1
, y
1
), . . . ,
(x
k
, y
k
), respectivamente, entonces las coordenadas (x
0
, y
0
) (en el mismo sistema) del punto de
equilibrio

P
0
(o centro de masa) del conjunto de masas m
1
, . . . , m
k
ubicadas en dichos puntos,
estan dadas por
x
0
=
m
1
x
1
+ + m
k
x
k
m
1
+ +m
k
y
0
=
m
1
y
1
+ + m
k
y
k
m
1
+ + m
k
Con base en lo anterior, podemos resolver ahora el problema de encontrar el punto de equili-
brio (o centro de masa) de una l amina cuya densidad de masa est a dada por un funci on . Para
empezar, supondremos nuevamente que nuestra lamina tiene la forma de un rect angulo R. Como en
el caso de un alambre, si damos una partici on P del rect angulo R y consideramos los subrectangulos
R
1
, . . . , R
k
de R inducidos por esta partici on, una primera aproximaci on al punto de equilibrio
de la l amina se obtiene calculando el punto de equilibrio correspondiente al conjunto de masas
m
1
, . . . , m
k
ubicadas en los puntos

P
1
= (x
1
, y
1
), . . . ,

P
k
= (x
k
, y
k
), en donde tomamos
m
i
= (

P
i
) area(R
i
) = (

P
i
) m(R
i
)
y

P
i
es cualquier punto del subrect angulo R
i
, para i = 1, . . . , k (ver gura 2.35).
P
1

m
1
8 ?9>: =; : =; : =; : =; : =; : =; : =; : =; : =; <
R
4
R
5
R
6
R
7
R
8
R
9
m
i
= (

P
i
) area(R
i
)
R
1
R
2
R
3
R
4
R
5
R
6
R
7
R
8
R
9
Figura 2.35: El punto de equilibrio de una lamina no homogenea, se puede aproximar a traves
del punto de equilibrio del conjunto de masas (colocadas sobre una lamina homogenea) m
i
=
(

P
i
) area(R
i
) ubicadas en las posiciones

P
i
(i = 1, . . . , k)
As, el punto

P
0
cuyas coordenadas estan dadas por
x
0
=
m
1
x
1
+ + m
k
x
k
m
1
+ +m
k
J. P aez 88
=
k
i=1
x
i
(x
i
, y
i
) m(R
i
)
k
i=1
(x
i
, y
i
) m(R
i
)
y
y
0
=
m
1
y
1
+ + m
k
y
k
m
1
+ + m
k
=
k
i=1
y
i
(x
i
, y
i
) m(R
i
)
k
i=1
(x
i
, y
i
) m(R
i
)
son una aproximaci on a las coordenadas del centro de masa de la l amina, y esta aproximaci on es
mejor entre mas na sea la partici on P.
Por otra parte, justo si la partici on P es muy na, sabemos que
k
i=1
x
i
(x
i
, y
i
) m(R
i
)
_
R
x (x, y)
k
i=1
y
i
(x
i
, y
i
) m(R
i
)
_
R
y (x, y)
y
k
i=1
(x
i
, y
i
) m(R
i
)
_
R
(x, y)
de tal forma que podemos estar seguros de que las coordenadas del centro de masa (o punto de
equilibrio) de la l amina est an dadas por
x
0
=
_
R
x (x, y)
_
R
(x, y)
y
0
=
_
R
y (x, y)
_
R
(x, y)
Como el lector deducir a f acilmente, si ahora la forma de nuestra l amina coincide con la de un
conjunto Jordan-medible A R
2
, en este caso el centro de masa de dicha lamina estar a en el punto
cuyas coordenadas son
x
0
=
_
A
x (x, y)
_
A
(x, y)
y
0
=
_
A
y (x, y)
_
A
(x, y)
89 J. P aez
Por nuestra incapacidad para percibir una cuarta dimensi on espacial (en caso de que exis-
tiera!), resultara poco intuitivo seguir el mismo procedimiento que en los casos anteriores para
motivar el concepto de punto de equilibrio (o centro de masa) de un conjunto de masas
m
1
, . . . , m
k
ubicadas ahora en puntos del espacio

P
1
, . . . ,

P
k
. Es por esta raz on que en este caso
plantearemos el problema de manera diferente.
P
0
P
1
m
1
@GA FBECD
P
2
m
2
@GA FBECD
.
.
.
.
.
.
.
.
.
.

P
3
m
3
@GA FBECD

P
4
m
4
@GA FBECD
P
5
m
5
@GA FBECD
P
6
m
6
@GA FBECD
Figura 2.36: Un objeto ubicado en una posici on

P
0
esta unido por medio de resortes de difer-
ente tipo, a un conjunto de masas m
1
, . . . , m
6
ubicadas en los puntos del espacio

P
1
, . . . ,

P
6
,
respectivamente
Supongamos que tenemos un objeto ubicado en una posici on

P
0
el cual vamos a unir, por medio
de resortes de diferente tipo, a un conjunto de masas m
1
, . . . , m
k
P
1
, . . . ,

P
k
, respectivamente (ver gura 2.36). Supongamos tambien que la tension del resorte
que une a la masa en el punto

P
i
con el objeto en la posici on

P
0
, es igual al producto de la masa
m
i
por la distancia entre dichos puntos, de tal forma que la medida de la fuerza (o tir on) que se
ejerce sobre nuestro objeto esta dada por m
i
P
i

P
0
_
8
. Por tanto, la fuerza neta que se ejercer a
sobre el objeto que esta colocado en el punto

P
0
estara dada por
m
1
P
1

P
0
_
+ +m
k

_
P
k

P
0
_
y como en los casos anteriores, podremos decir que el punto

P
0
es el punto de equilibrio de nuestro
conjunto de masas y resortes si
m
1
P
1

P
0
_
+ + m
k

_
P
k

P
0
_
=

0
Como en los otros casos, esta ultima identidad determina de manera unica al punto

P
0
por lo
que diremos que el punto de equilibrio (o centro de masa) del conjunto de masas m
1
, . . . , m
k

P
1
, . . . ,

P
k
esta dado por
P
0
=
1
m
1
+ +m
k
_
m
1

P
1
+ +m
k

P
k
_
Si estos puntos tienen (en alg un sistema de referencia) coordenadas (x
1
, y
1
, z
1
), . . . , (x
k
, y
k
, z
k
),
respectivamente, entonces las coordenadas (x
0
, y
0
, z
0
) (en el mismo sistema) del punto de equili-
8
El lector estara de acuerdo en que este planteamiento tambien funcionara para los casos en una y dos dimensiones.
J. P aez 90
brio

P
0
del conjunto de masas m
1
, . . . , m
k
ubicadas en dichos puntos, est an dadas por
x
0
=
m
1
x
1
+ + m
k
x
k
m
1
+ +m
k
y
0
=
m
1
y
1
+ + m
k
y
k
m
1
+ + m
k
z
0
=
m
1
z
1
+ + m
k
z
k
m
1
+ + m
k
Si ahora seguimos el mismo procedimiento que en los casos anteriores (y que a estas alturas el
lector debe saberse de memoria) debe ser claro que, si tenemos un solido cuya forma coincide con la
de un conjunto Jordan-medible A R
3
y su densidad de masa est a dada por la funci on (x, y, z),
entonces las coordenadas (x
0
, y
0
, z
0
) del centro de masa

P
0
de este solido, est an dadas por
x
0
=
_
A
x (x, y, z)
_
A
(x, y, z)
y
0
=
_
A
y (x, y, z)
_
A
(x, y, z)
z
0
=
_
A
z (x, y, z)
_
A
(x, y, z)
Concluimos esta seccion (y este captulo) con un ejemplo.
Ejemplo 2.10 Considere una l amina cuya forma coincide con la del conjunto A R
2
que se
encuentra dentro de la circunferencia unitaria con centro en el origen, y por arriba de la par abola
y =
1
2
(1 x
2
). Si la densidad de masa de la l amina es homogenea, es decir, (x, y) c, calcule su
centro de masa.
Soluci on. Primero observemos que la regi on en cuesti on se puede escribir como
A =
_
(x, y) R
2
| 1 x 1,
1
2
(1 x
2
) y
_
1 x
2
_
Como se sabe, la masa total de la l amina esta dada por
_
A
(x, y) =
1
_
1
1x
2
_
1
2
(1x
2
)
c dy
dx
= c
1
_
1
_
_
1 x
2
1
2
(1 x
2
)
_
dx
= c
_
2

2
3
_
Por otra parte, como
_
A
x (x, y) =
1
_
1
1x
2
_
1
2
(1x
2
)
c xdy
dx
91 J. P aez
Captulo 2. Calculando integrales 2.6. Problemas
= c
1
_
1
x
_
_
1 x
2
1
2
(1 x
2
)
_
dx
= 0
se tiene que la abcisa x
0
del centro de masa es igual a 0, como era de esperarse, puesto que la
regi on A es simetrica con respecto al eje Y y la l amina es homogenea.
Por otra parte, como
_
A
y (x, y) =
1
_
1
1x
2
_
1
2
(1x
2
)
c ydy
dx
= c
1
_
1
_
1
2

_
_
1 x
2
_
1
4
(1 x
2
)
2
__
dx
=
c
2

1
_
1
_
3
4

1
2
x
2
1
4
x
4
_
dx
=
8 c
15
se tiene que la ordenada del centro de masa es
y
0
=
_
A
y (x, y)
_
A
(x, y)
=
8c/15
c
_
2

2
3
_
=
8
15
_
2

2
3
_
la cual, por cierto, es independiente de la densidad c. Por tanto, el centro de masa de nuestra
l amina es
_
0,
8
15
_
2

2
3
_
_
2.6 Problemas
1. Sea f : R = [a
1
, b
1
] [a
n
, b
n
] R
n
R continua en R, y sean {i
1
, . . . , i
k
} {1, . . . , n}
tales que i
l
< i
l+1
para l = 1, . . . , k1 y {j
1
, . . . , j
nk
} = {1, . . . , n}\{i
1
, . . . , i
k
} con j
l
< j
l+1
para l = 1, . . . , n k 1. Si y
i
1
[a
i
1
, b
i
1
], . . . , y
i
k
[a
i
k
, b
i
k
] pruebe que:
(a) la funci on f
y
i
1
,...,y
i
k
: R
j
1
,...,j
nk
= [a
j
1
, b
j
1
] [a
j
nk
, b
j
nk
] R
nk
R denida
como
f
y
i
1
,...,y
i
k
(x
j
1
, . . . , x
j
nk
) = f((x
j
1
, . . . , x
j
nk
)
(y
i
1
,...,y
i
k
)
)
en donde (x
j
1
, . . . , x
j
nk
)
(y
i
1
,...,y
i
k
)
denota al elemento de R
n
cuya i
l
coordenada es y
i
l
(para l = 1, . . . , k) y su j
l
coordenadas es x
j
l
(para l = 1, . . . , n k), es continua en
R
j
1
,...,j
nk
.
J. P aez 92
2.6. Problemas Captulo 2. Calculando integrales
(b) la funci on : R
i
1
,...,i
k
= [a
i
1
, b
i
1
] [a
i
k
, b
i
k
] R
k
R denida como
(y
i
1
, . . . , y
i
k
) =
_
R
j
1
,...,j
nk
f
y
i
1
,...,y
i
k
es continua en R
i
1
,...,i
k
.
2. (Teorema de Fubini generalizado) Sean, f : R = [a
1
, b
1
] [a
n
, b
n
] R
n
R integrable
sobre R, y {i
1
, . . . , i
k
} {1, . . . , n} tales que i
l
< i
l+1
para l = 1, . . . , k1. Usando la misma
notaci on del ejercicio anterior, denimos las funciones , : R
i
1
,...,i
k
R
k
R como
(y
i
1
, . . . , y
i
k
) =
_
R
j
1
,...,j
nk
f
y
i
1
,...,y
i
k
y
(y
i
1
, . . . , y
i
k
) =
_
R
j
1
,...,j
nk
f
y
i
1
,...,y
i
k
para cada (y
i
1
, . . . , y
i
k
) R
i
1
,...,i
k
. Pruebe que y son integrables sobre R
i
1
,...,i
k
y que
_
R
i
1
,...,i
k
=
_
R
f =
_
R
i
1
,...,i
k
3. Considere las hip otesis, los conjuntos y las funciones denidas en el problema 1. Agregue la
funci on : R
j
1
,...,j
nk
R
nk
R denida como
(x
j
1
, . . . , x
j
nk
) =
_
R
i
1
,...,i
k
f
x
j
1
,...,x
j
nk
Pruebe que
_
R
i
1
,...,i
k
=
_
R
j
1
,...,j
nk
o lo que es lo mismo, que

_
R
i
1
,...,i
k
_
R
j
1
,...,j
nk
f
y
i
1
,...,y
i
k
=
_
R
j
1
,...,j
nk
_
R
i
1
,...,i
k
f
x
j
1
,...,x
j
nk
4. Sea f : A R
2
R con A abierto. Pruebe, usando el teorema de Fubini que, si

2
f
xy
y

2
f
yx
son continuas en A, entonces
2
f
xy
(u, v) =

2
f
yx
(u, v) para toda (u, v) A
93 J. P aez
5. Sean f
i
: [a
i
, b
i
] R R (i = 1, . . . , n) funciones continuas. Si denimos f : R = [a
1
, b
1
]
[a
n
, b
n
] R
n
R como f(x
1
, . . . , x
n
) = f
1
(x
1
) . . . f
n
(x
n
), pruebe que f es integrable
sobre R y ademas
_
R
f =
b
1
_
a
1
f
1
(x
1
)dx
1
. . .
bn
_
an
f
n
(x
n
)dx
n
6. Sea f : R = [a, b] [c, d] R

2
R con derivadas parciales continuas. Denimos F : R =
[a, b] [c, d] R
2
R como
F(x, y) =
_
[a,x][c,y]
f para toda (x, y) [a, b] [c, d]
Pruebe que F es de clase C
2
en int(R). Calcule todas las derivadas parciales hasta de orden
dos de F.
7. Sea f : R = [0, 1] [0, 1] R
2
R denida como:
f(x, y) =
1 si x es racional
2y si x es irracional
Pruebe que la integral iterada
1
_
0
_
1
_
0
f(x, y)dy
_
dx existe pero que sin embargo f no es inte-
grable sobre R.
8. Sea f : [a, b] R R integrable en [a, b] y R = [a, b] [a, b]. Pruebe que para toda u [a, b]:
b
_
a
u
_
a
f(u)f(v)dv
du =
b
_
a
b
_
u
f(u)f(v)dv
du =
1
2
b
_
a
f(u)du
2
9. Sea f : R = [a
1
, b
1
] [a
2
, b
2
] [a
3
, b
3
] R
3
R tal que la funci on f
x,y
: [a
3
, b
3
] R R
denida como f
x,y
(z) = f(x, y, z) es integrable para toda (x, y) R
= [a
1
, b
1
] [a
2
, b
2
] R
2
y
f
x
es continua en R. Si denimos g : R
R
2
R como g(x, y) =
_
b
3
a
3
f(x, y, z)dz, pruebe
que
g
x
(x, y) existe para toda (x, y) R
y ademas
g
x
(x, y) =
b
3 _
a
3
f
x
(x, y, z)dz
10. Sea f como en el problema anterior. Si denimos F : [a
2
, b
2
] R R como
F(x) =
x
_
a
2
b
3 _
a
3
f(x, y, z)dz
dy
(a) bajo que condiciones F es derivable?
J. P aez 94
(b) si F es derivable, pruebe que F
(x) =
b
3
_
a
3
f(x, x, z)dz +
x
_
a
2
_
b
3
_
a
3
f
x
(x, y, z)dz
_
dy
11. Determine las regiones de integraci on que conducen a las siguientes integrales m ultiples, y
eval uelas
(i)
2
_
0
z
_
0
z
2
y
2
_
0
xdx
dy
dz (ii)
1
_
1
_
|x|
_
2|x|
e
x+y
dy
_
dx
(iii)
1
_
0
_
x
_
0
_
x+y
_
x
2
+y
2
dz
_
dy
_
dx (iv)
3
_
0
_
62z
_
0
_
4(2y/3)4z/3
_
0
yzdx
_
dy
_
dz
(v)
1
_
0
_
y
_
y
2
(x
n
+ y
m
)dx
_
dy (vi)
1
_
0
_
x
_
x
3
(x
n
+y
m
)dy
_
dx
12. Pruebe que, si g : [c, d] [a, b] es una biyeccion de clase C
1
y f : [a, b] R es continua,
entonces
b
_
a
f(x)dx =
d
_
c
f(g(t))
(t)
dt
13. Sea f : [0, a] R R continua.
(a) identique la regi on que conduce a la siguiente integral
a
_
0
x
_
0
y
_
0
f(z)dz
dy
dx
(b) use el teorema de Fubini para probar la identidad
a
_
0
x
_
0
y
_
0
f(z)dz
dy
dx =
1
2
a
_
0
f(z)(a z)
2
dz
14. Calcule la integral de la funci on f sobre la regi on A, donde:
(a) A es la region acotada por la parte positiva de los ejes X y Y y la recta 3x +4y = 10 y
f(x, y) = x
2
+y
2
(b) A es la region comprendida entre el crculo de radio 1 y el crculo radio 2, ambos con
centro en el origen, y f(x, y) = 1 + xy
(c) A es la region acotada por el eje Y y la par abola x = 4y
2
+ 3, y f(x, y) = x
3
y
(d) A es la region encerrada por la supercie z = x
2
+ y
2
y los planos z = 5 y z = 10, y
f(x, y, z) = 1
(e) A = {(x, y) R
2
| x
2
+ y
2
9, y x + 3, x + y 0} y f(x, y) = xy
(f ) A = {(x, y) R
2
| 0 x 1 y x y 1} y f(x, y) = e
y
2
95 J. P aez
(g) A es la region acotada por los planos z = 0, z = x y la supercie y
2
= 4 2x, y
f(x, y, z) = 1
(h) A es la region encerrada por las supercies y
2
+z
2
= 4a y |x| = 4a, y f(x, y, z) = x
2
(i) A es la interseccion de los cilindros solidos x
2
+ y
2
1 y x
2
+z
2
1, y f(x, y, z) = 1
15. Sea A = {(x, y) R
2
| a x b, (x) y (x)} donde : [a, b] R es continua y no
negativa. Pruebe que:
(a) si (x, y) A, entonces (x, y) A
(b) si f : A R
2
R es tal que f(x, y) = f(x, y), entonces
_
A
f = 0
16. En cada inciso, encuentra la imagen bajo la transformaci on g de la regi on A e integre la
funci on f sobre g(A), donde:
(a) g(u, v) = (u
2
v
2
, 2uv), A = {(u, v) R
2
| u, v 0 y u
2
+v
2
1}, y f(x, y) =
1
1+
x
2
+y
2
(b) g(u, v) = (u+v, u
2
v), A = {(u, v) R
2
| u, v 0 y u+v 2}, y f(x, y) =
1
1+
4x+4y+1
(c) g(u, v) = (u, v(1 +u
2
)), A = [0, 3] [0, 2] y f(x, y) = x
(d) g(u, v) = (u, v(1+2u)), (cu al es la imagen de las lneas horizontales bajo esta transfor-
macion?) A = [0, 3] [1, 3] y f(x, y) = 1
17. Calcule el area de las siguientes regiones:
(a) la regi on acotada por las curvas cuyas ecuaciones polares son = 0, =

4
y r =
2
(b) la regi on acotada por la curva r
2
= 2a
2
|cos(2)| (dib ujela)
(c) la regi on que est a dentro de la curva r = 1 + cos() y fuera de la curva r = 1
(d) la regi on que est a dentro de la curva r = 3 sen() y fuera de la curva r = 1 + sen()
18. Calcule el volumen de las siguientes regiones:
(a) la regi on que est a dentro del cilindro x
2
+ y
2
= 1, debajo de la esfera de radio 2 con
centro en el origen y arriba del plano XY
(b) la regi on que est a dentro del elipsoide 4x
2
+4y
2
+z
2
= 16 y fuera del cilindro x
2
+y
2
= 1
19. Sea M > 0.
(a) muestre que
(1 e
M
2
)
_
[M,M][M,M]
e
(x
2
+y
2
)
(1 e
2M
2
)
(b) pruebe que
(1 e
M
2
)
M
_
M
e
t
2
dt
2
(1 e
2M
2
)
J. P aez 96
(c) cuanto vale
e
t
2
dt?
20. Calcule la integral de la funci on f(x, y, z) = xyz sobre el conjunto Jordan-medible A R
3
,
en donde A es la region acotada por los planos 4x y = 0, x 4y = 0, x + y = 1, x + y =
4, x +y z = 0 y z = 0 (sugerencia: proceda como en el ejemplo 2.6).
21. Una bola en R
4
de radio con centro en el origen se dene como {(x
1
, x
2
, x
3
, x
4
) R
4
|
x
2
1
+ x
2
2
+x
2
3
+x
2
4
R
2
}. Calcule el volumen de esta bola.
22. Si g es la transformaci on de coordenadas esfericas, verique que los puntos de la forma
g(, ,
0
) (
0
jo) satisfacen la ecuacion de un cono.
23. Usando el cambio de coordenadas adecuado, integra la funci on f sobre la regi on A, donde:
(a) A es la region que est a fuera del cilindro x
2
+y
2
= a
2
y dentro de la esfera x
2
+y
2
+z
2
=
4a
2
, y f(x, y, z) = kz
2
(b) A es la region que est a dentro del cono x
2
+y
2
= z
2
y dentro de la esfera x
2
+y
2
+z
2
= 2z,
y f(x, y, z) = kz
(c) A es la region que est a dentro del paraboloide x
2
+ y
2
= z y dentro de la esfera x
2
+
y
2
+ z
2
= 2z, y f(x, y, z) = 2
(d) A es la region que est a fuera del cono x
2
+y
2
= z
2
y dentro del cilindro x
2
+y
2
2y = 0,
y f(x, y, z) = x
(e) A es la region que est a dentro del cilindro x
2
+y
2
= 4 y fuera del hiperboloide x
2
+y
2
z
2
= 1, y f(x, y, z) = y
(f ) A es la region que est a por debajo del paraboloide x
2
+y
2
= z, arriba del plano z = 0 y
dentro del cilindro recto cuya base tiene la forma de la curva r = 1 +cos(), f(x, y, z) =
x
2
+ y
2
(esboce la region)
(g) A es la region que est a dentro del cono x
2
+y
2
= z
2
y por debajo del plano x2z+2 = 0,
y f(x, y, z) = 2
(h) A es la region que est a dentro de la esfera x
2
+ y
2
+ z
2
= 4 y dentro del cilindro recto
cuya base tiene la forma de la curva r = cos(2), y f(x, y, z) = x
2
+y
2
(esboce la region)
24. Sea h : [a, b] R R continua. Deduzca, usando coordenadas cilndricas, cu al es el volumen
del solido de revoluci on que se obtiene cuando se gira la gr aca de h con respecto al eje X.
25. De una esfera de radio se corta una cu na mediante dos planos que se intersecan en un
di ametro de la esfera. Si el angulo entre los planos es

3
, cu al es el volumen de la cu na?
26. Dena, en general, el concepto de masa y centro de masa para un objeto en n dimensiones
cuya forma coincide con la de un conjunto Jordan-medible A R
n
y cuya densidad est a
dada por la funci on : A R
n
R.
27. Considere dos objetos cuyas formas coinciden con los conjuntos A, B R
n
Jordan-medibles,
respectivamente, tales que m(A B) = 0, y con funci on de densidad : A B R
n
R.
Si

P
A
,

P
B
, y

P
AB
son puntos de R
n
que representan los centros de masa de A, B y A B,
respectivamente. Pruebe que
P
AB
=
M(A)
M(A) + M(B)

P
A
+
M(B)
M(A) + M(B)

P
B
97 J. P aez
Interprete geometricamente (el lector estara de acuerdo en que este problema justica
de alguna manera la expresi on: un objeto (o masa) ubicado(a) en un punto, que sin duda
idealiza una situaci on que es muy difcil que se cumpla en la realidad).
28. Considere una l amina de densidad constante 1 cuya forma coincide con la del conjunto A =
[2, 2] [1, 1] R
2
.
(a) muestre que cualquier recta que pasa por su centro de masa la divide en dos partes con
la misma masa (o area)
(b) si ahora la l amina tiene la forma del conjunto A = [2, 0] [2, 2] [0, 2] [1, 1] R
2
,
se sigue cumpliendo la misma propiedad del inciso anterior?
29. Sea A la region que est a dentro de la circunferencia de radio 1 con centro en el (0, 1). Si
A es la forma de una placa met alica cuya densidad de masa esta dada por la funci on
(x, y) = x
2
+y
2
, calcule:
(a) la masa total de la placa
(b) el centro de masa de la placa
30. Sea A la region que est a dentro de la circunferencia de radio 1 con centro en el (0, 1). Si A es
la forma de una placa met alica cuya densidad de masa esta dada por la funci on
(x, y) =
x
2
+ y
2
si 1 x 0
y
2
si 0 x 1
calcule:
31. Considere la regi on del problema 23 inciso (a). Si A es el complemento (en la esfera) de dicha
region y es tal que su densidad de masa est a dada por la funci on (x, y, z) = x
2
+ y
2
+ z
2
,
calcule:
(a) la masa total de A
(b) el centro de masa de A
32. Una placa metalica tiene la forma de la regi on que est a dentro de la curva r = 3 sen() y
fuera de la curva r = 1 +sen(), y tiene una funci on de densidad de masa en el punto P igual
al cuadrado de la distancia que hay de P al eje polar. Calcule:
33. Encuentre la masa total y el centro de masa del solido que est a en el interior, tanto del cilindro
x
2
+y
2
2y = 0 como de la esfera x
2
+y
2
+z
2
= 4, suponiendo que la densidad de masa en
el punto P es directamente proporcional a la distancia de P al plano XY .
J. P aez 98

Capitulo 2

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Capitulo 2

Загружено:

Авторское право:

Доступные форматы

Captulo 2

. N otese que esta bien denida, pues f es

. Por lo tanto, por la hip otesis de inducci on tenemos que

Figura 2.4: La regi on en R

Figura 2.5: La regi on en R

] en donde m es el mnimo valor de la funci on en

es el mnimo valor de la funci on en A y

es el maximo valor de la funci on en A. De esta forma, obtendremos que:

en su dominio (y por lo tanto en cualquier rect angulo cerrado contenido ah). De

(t), digamos una G(t), entonces se puede comprobar que la funci on

sobre el intervalo [c, d].

es un rectangulo que contiene a B, entonces existiera una particion Q de R

tal que el n umero

fuera el mismo que los que P induce en R y ademas cada

inducidos por Q).

. De hecho, tambien habra que asegurar que los conjuntos g(R

las sumas de la forma

Figura 2.9: La imagen bajo una funci on afn g (de R

. En este sentido, si dicha partici on es muy na deber a ser cierto que

)). A este factor se le suele denotar simplemente por

), a saber, matriz jacobiana.

Figura 2.16: Si al rectangulo R lo generamos por medio de lneas horizontales, al aplicar

Figura 2.18: La terna (r, , z) representa a las coordenadas cilndricas de P en el sistema

Figura 2.20: Si consideramos puntos de la forma (r,

Figura 2.23: La terna (, , ) representa a las coordenadas esfericas de P en el sistema carte-

sen() cos() sen() sen() cos() cos()

Figura 2.34: La lamina se sumergira en la direcci on del punto

o lo que es lo mismo, que

6. Sea f : R = [a, b] [c, d] R

Вам также может понравиться