Cap2 Notas Calc IV

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 funcion 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 intencion de este captulo es la de desarrollar dichas herramientas, las cuales estan
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 funcion f denida sobre un rectangulo 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 region que se encuentra por arriba del rectangulo R y por abajo de la graca
de la funcion f. Y tratandose del calculo de vol umenes, seguramente el lector alguna vez habra
escuchado hablar del principio de Cavalieri
2
, aunque en realidad aqu haremos referencia al metodo
de Cavalieri para el calculo 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 vol umenes
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 construccion de lo que ahora llamamos sumas de Riemann
de una cierta funcion, 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 region
de tal manera que s podemos tener la funcion 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 funcion. 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 esta por debajo de la graca de la funcion 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 funcion denida sobre el intervalo [a, b] y es justo una funcion 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 region que se encuentra por arriba del rectangulo R y por abajo de la
graca de la funcion 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 funcion 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 esta por debajo de la
J. P aez 42
2.1. Integrales iteradas Captulo 2. Calculando integrales
graca de la funcion 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 funcion 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 funcion f
y
0
: [a, b] R denida como f
y
0
(x) = f(x, y
0
)
Si todo lo dicho anteriormente esta bien (que s lo estara, salvo por uno que otro peque no
ajuste), el volumen de la region que describimos al principio, y que geometricamente es lo que
representa la integral de f sobre R (
R
f), debera 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 renglon 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 derivacion 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 ademas 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 hipotesis), es solo una parte. La otra, es justo
la que establece que la integral de una funcion 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 parrafos arriba. Y la pregunta es:
y est an denidas para todo x [a, b] y para toda y [c, d], respectivamente? Y bueno, si solo
sabemos que la funcion original f es integrable sobre R, entonces la respuesta es: no. Y un ejemplo
que prueba esta armacion nos lo proporciona la funcion del ejercicio 9 del captulo anterior.
Ejemplo 2.1 Recordemos que esta funcion 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 funcion s esta denida para este punto, y ademas
(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 funcion 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 funcion no esta denida para estos valores de x. El lector puede vericar que se da una
situacion analoga para la funcion .
El ejemplo anterior no debera 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 parrafos anteriores, lo cual se deduce facilmente del problema 1. Y a un menos descorazonador
nos resultara 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 resultaran 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 continuacion es mostrar que estas propiedades no son exclusivas de la
funcion del ejemplo 2.1. Mas aun, veremos que las ideas que estan detras del metodo descrito
parrafos arriba para calcular el volumen de una gura que se puede expresar como la integral de
una funcion denida sobre un rectangulo 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 calculo 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 supA supB (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 rectangulo R
i
0
y ademas
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 notacion que vamos a usar en esta demostracion.
Si P = P
1
P
n
es una particion del rectangulo R, sabemos que cada P
i
es una particion
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 particion 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 particion
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 rectangulo 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 funcion , y
m
j
() = inf{( y) | y R
j
} y M
j
() = sup{( y) | y R
j
}
para la funcion .
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 notacion 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 dencion 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
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
l=1
M
lj
(f) m(R
j
) (t
l
t
l1
)
y
m
j=1
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
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 notacion 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 mas general de formular el teorema de Fubini (como se vera 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 matematico, podemos leer
este teorema de la siguiente manera; si de lo que se trata es de calcular la integral de una funcion
f(x
1
, . . . , x
n
) sobre un rectangulo 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 funcion 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 funcion 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 funcion (con respecto a la misma variable). El resultado de lo anterior es una expresion
(o una funcion) que solo depende (a lo mas) de las variables x
1
, . . . , x
i
1
1
, x
i
1
+1
, . . . , x
n
3. el teorema de Fubini asegura que la funcion del inciso anterior es integrable sobre el rectangulo
R
i
1
R
n1
(que se obtiene del rectangulo R quitandole 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 intencion de bosquejar el algoritmo que se debe seguir a n de
calcular la integral de una funcion de varias variables. Como se podra notar, estos nos dicen que la
integral de una funcion sobre un rectangulo en R
n
se puede reducir a la integral de otra funcion
sobre un rectangulo en R
n1
, por lo que despues de un n umero nito de pasos (a lo mas n, que
es el n umero maximo de variables) habremos terminado. Una particularidad que es importante
destacar, y por la cual es mas 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 integracion que mas 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 integracion 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 funcion 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 induccion sobre el
n umero de variables y la iniciaremos desde k = 2. Este es el caso con el que se inicio la discusion
de esta seccion, esta directamente relacionado con el metodo de Cavalieri, y es una consecuencia
directa del teorema de Fubini.
Supongamos ahora que el resultado es valido para cualquier funcion de n variables y continua
sobre un rectangulo 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
. Notese 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 funcion 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 =
Por otra parte, tenemos que es una funcion 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 hipotesis de induccion tenemos que
=
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 integracion 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 induccion.
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].
Solucion. 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
xcos(xy) donde R = [0, /2] [0, 1].
Solucion. Nuevamente, por el teorema de Fubini sabemos que esta integral la podemos calcular
de la siguiente forma:
R
xcos(xy) =
/2
0
_
_
1
0
xcos(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 integracion, 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 podra dar cuenta de las
ventajas que se tienen al poder elegir el orden de integracion.
2.2 Calculando integrales sobre otros conjuntos
Como seguramente se recordara, el concepto de integracion lo extendimos a los conjuntos Jordan-
medibles y por la forma en que lo hicimos, integrar una funcion denida sobre uno de estos conjuntos
se reduce a integrar una cierta funcion sobre alg un rectangulo 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 denio en el problema 32 del captulo uno y un ejemplo,
en R
2
, es la region acotada entre la graca 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 funcion 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 region 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 funcion (f
A
)
x
: [m, M] R
denida como (f
A
)
x
(y) = f
A
(x, y) es integrable (a lo mas 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 esta denido el conjunto A determina el orden en
que se toman las variables de integracion 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 region 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 funcion
continua sobre el conjunto Jordan-medible B, entonces
B
f =
R
f
B
=
d
c
_
_
M
f
B
(x, y)dx
_
_
dy
=
d
c
_
_
_
(y)
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 funcion 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 integracion. 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 cual 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 region 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 region tipo I y como una region tipo II, entonces la integral de cualquier funcion continua
denida sobre C se puede calcular por medio de integrales iteradas con los dos ordenes de integracion
posibles. El siguiente ejemplo ilustra esta situacion.
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).
Solucion. Como se podra notar, A esta descrito como una region tipo I, tomando (x) = x y
(x) 1 (la funcion 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
1
2
(x +y)
2
1
x
dx
=
1
2
1
(x + 1)
2
(x +x)
2
dx
=
1
2
1
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 region 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 region 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
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
funcion continua sobre este se puede expresar en terminos de integrales iteradas correspondientes
a los dos diferentes ordenes de integracion posibles, sino que en algunos casos uno de ellos resulta
mas facil de realizar que el otro o, como se vera 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 solo hemos trabajado en R
2
pero como seguramente el lector intuira, 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.

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 funcion 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 region 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 funcion en

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

M
es el maximo valor de la funcion 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 integracion en
esta integral iterada, esta 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 funcion f sobre
conjuntos como E o F. A los conjuntos descritos en 2.4, sin importar el tipo de region (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 region 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.
Solucion. 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 region 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
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 funcion 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 demostracion
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
y
existe y es continua en [a, b] [c, d].
Denimos g : [c, d] R como
g(y) =
b
a
f(x, y)dx
Entonces g es derivable en [c, d] y ademas
g
(y) =
b
a
f
y
(x, y)dx
Dem. Primero notemos que para cada (x, y) [a, b] [c, d], por el segundo Teorema Fundamental
del Calculo, tenemos que:
y
c
f
y
(x, t)dt = f(x, y) f(x, c)
de tal forma que
f(x, y) =
y
c
f
y
(x, t)dt +f(x, c)
Por tanto
g(y) =
b
a
f(x, y)dx
=
b
a
_
_
y
c
f
y
(x, t)dt +f(x, c)
_
_
dx
=
y
c
_
_
b
a
f
y
(x, t)dx
_
_
dt +
b
a
f(x, c)dx
Notese 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
y
es continua en [a, b][c, y] para toda y [c, d]. Por otra parte,
usando nuevamente el hecho de que
f
y
es continua en [a, b] [c, d], y por lo tanto uniformemente
continua ah mismo, concluimos que h(t) =
b
a
f
y
(x, t)dx es una funcion continua de la variable t,
de tal forma que por el primer Teorema Fundamental del Calculo sabemos que
y
c
h(t)dt es una
funcion derivable con respecto de y. Como
b
a
f(x, c)dx es una constante, concluimos que g es
derivable con respecto a y y ademas
g
(y) = h(y)
=
b
a
f
y
(x, y)dx
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)
Solucion. Denimos la funcion f : (, )(0, ) R
2
R como f(x, y) = ln
sen
2
(x) +y
2
cos
2
(x)
la cual es C
en su dominio (y por lo tanto en cualquier rectangulo 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 ademas
g
(y) =
/2
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 expresion 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
1
1
sen
2
(x) +y
2
cos
2
(x)
dx
=
2y
y
2
1
_
_
_
/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
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 funcion 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 funcion g tiene que ver fundamentalmente con el hecho de que el nuevo
integrando f(g(t))g
(t) resulte mas facil 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 funcion

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 armacion).
3
Con este cambio de variable, se tiene que
/2
0
1
sen
2
(x) +y
2
cos
2
(x)
dx =
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 mas detenimiento todo lo hecho hasta aqu, concluimos que la funcion g
tiene que ser una funcion derivable, con derivada continua (para garantizar la integrabilidad de
f(g(t))g
(t)) y ademas invertible. En la practica 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 formulacion del Teorema de Cambio de Variable para funciones de R
en R no es muy util a n de guiarnos hacia su generalizacion para funciones de varias variables.
Afortunadamente existe una formulacion para integrales denidas y esa s que nos sera 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 funcion con derivada continua en [c, d] y f es una
funcion 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 funcion f (digamos [a, b]) se puede ver como la imagen de
otro intervalo (digamos [c, d]) bajo una cierta funcion g, entonces la integral de f sobre el intervalo
[a, b] es igual a la integral de la funcion (f g)g
sobre el intervalo [c, d].

Esta forma de leer la identidad 2.5 (que no es muy precisa pero s bastante ilustrativa) nos per-
mite dar un primer paso hacia la generalizacion del Teorema de Cambio de Variable para funciones
de varias variables, haciendonos la siguiente pregunta: si queremos integrar una funcion f sobre
un conjunto Jordan-medible A R
n
, y sabemos que este conjunto A se puede ver como la imagen
bajo una cierta funcion 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 funcion 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 funcion inyectiva, con el n de que
nuestros argumentos sean mas sostenibles, ahora supondremos que s lo es. Sea P = {x
0
< < x
k
}
una particion 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 partici on 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 funcion f(g(t))g
(t) correspon-
diente a la particion 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 formulacion del Teorema de Cambio de Variable
para funciones de varias variables.
Procediendo como en los parrafos 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 particion muy na del rectangulo 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 subrectangulos de R
inducidos por Q).

Sin embargo nos queda otro recurso. Si consideramos el rectangulo R
y su particion Q del
parrafo anterior, y para cada subrectangulo 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 funcion 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 aproximacion sea mejor en la medida de que Q
sea una particion mas 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 funcion 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 funcion g
3. si Q es una particion 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 funcion g y parte
de lo que haremos sera buscar cuales 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 funcion afn (una funcion lineal seguida de una traslacion) entonces g(R) es
63 J. P aez
casi un rectangulo 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 funcion 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 funcion afn g (de R
3
en R
3
) de un rectangulo R es un
paraleleppedo 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 funcion 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 funcion 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 funcion lineal,
es importante recordar que estamos trabajando con particiones muy nas, y por lo tanto con
rectangulos muy peque nos. Por tal razon, si g es una funcion 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 aproximacion a que nos conduce 2.11 es justo lo que estabamos bus-
cando. Si ahora esta aproximacion 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 funcion (f g) |det(Dg)| y correspondiente a la partici on Q
de R
. En este sentido, si dicha particion es muy na debera 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 aproximaxion de 2.12 podemos intuir que
A
f
B
(f g) |det(Dg)|
Esta ultima aproximacion es la culminacion 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 formulacion. 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 por que en la formulacion del teorema,
ademas de pedir que g sea derivable, pedimos que dicha derivada sea continua. Esta hipotesis tiene
dos razones de ser: una, que con ella garantizamos la integrabilidad de la funcion (f g) |det(Dg)|,
y dos, que la aproximacion
m(g(R))
det(Dg(
))
m(R)
para rectangulos peque nos R es una buena aproximacion, no para alguna, sino para cualquier
R. Concluimos estos comentarios mencionando cual es la notacion mas 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 mas frecuencia, ilustraremos el uso
del teorema que acabamos de formular atraves del siguiente
Ejemplo 2.6 Calcule la integral de la funcion f(x, y) = xy sobre el conjunto Jordan-medible A
R
2
, en donde A es la region contenida en el primer cuadrante y acotada por las hiperbolas xy = 1,
xy = 4 y las rectas y = x, y = 4x.
Solucion. Dado que la intencion de este ejemplo es ilustrar el uso del Teorema de Cambio de
Variable, es necesario encontrar otro conjunto Jordan-medible B y una funcion 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, forman parte de 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) =
5
Como el lector recordara, estos nombres son en honor del matematico aleman Carl Gustav Jakov Jacobi (1804-
1851)
J. P aez 66
U
R = h(A)
A = g(R)
Figura 2.11: Las regiones del ejemplo 2.6

y/x, entonces A se puede 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 funcion
h(x, y) = (h
1
(x, y), h
2
(x, y))
= (xy, y/x)
se tiene que la imagen de A bajo esta funcion h es el rectangulo R = [1, 4][1, 4], es decir, h(A) = R.
La relacion que este hecho tiene con nuestro problema, es que si se pudiera encontrar la funcion
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 funcion 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,
y =
uv
x =
u
v
lo que signica que la funcion g = (g
1
, g
2
) que estamos buscando esta dada por
g(u, v) = (g
1
(u, v), g
2
(u, v))
=
u
v
,
uv
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 funcion que se construye a partir de aquellas que determinan a la region de integracion.
2.4 Algunos cambios de variable
Las funciones o transformaciones que aparecen con mas frecuencia en la aplicacion del teorema de
Cambio de Variable estan inspiradas principalmente en los diferentes sistemas de coordenadas que
pueden usarse tanto en el plano como en el espacio.
En el caso del plano, ademas de las coordenadas cartesianas (o euclideanas) estan 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 mas 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 reales (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 mas interesante es la relacion 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 funcion g : R
2
R
2
de las variables r y dada
por
g(r, ) = (r cos(), r sen())
Esta funcion, ademas de ser todo lo derivable que se quiera (es C
), nos da un ejemplo de
una funcion 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 esta a un angulo
0
)
(ver gura 2.14).
r
R
g(r, )
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 funcion 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
)
Analogamente, 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, )
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 funcion
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 funcion
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 rectangulo R lo generamos con lneas verticales, al aplicar la
funcion 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 funcion 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, )
X
Figura 2.17: Si al rectangulo R lo generamos con lneas verticales, al aplicar la funcion 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 notese 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 funcion 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 funcion f(x, y) = e
x
2
+y
2
sobre el conjunto
A = {(x, y) R
2
| x
2
+y
2
1}
Solucion. Quizas 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 funcion f sobre A, usando las tecnicas
desarrolladas en la seccion anterior (el lector debera conrmar que esta armacion es cierta).
Recurramos entonces al Teorema de Cambio de Variable.
Como se vio parrafos arriba, la region A coincide con ser la imagen, bajo la transformacion de
coordenadas polares g(r, ) = (r cos(), r sen()) (que es con este nombre como llamaremos de aqu
en adelante a esta funcion), del rectangulo 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 region original de integracion es un crculo, sino que la funcion que se deseaba integrar
tambien lo sugera. En efecto, cuando a la funcion e
x
2
+y
2
se le aplica el cambio a coordenadas
polares, obtenemos la funcion 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 transformacion (que en este caso es r), nos
queda el integrando r e
r
2
, el cual, salvo por una constante (un 2) esta completo (tiene una
primitiva facil de identicar!).
J. P aez 72
La siguiente transformacion 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 combinacion 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 proyeccion
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) representaran 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 relacion 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
continuacion:
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 notacion; estamos usando la misma letra para denotar la ultima
coordenada en ambos sistemas!).
De nueva cuenta, estas ecuaciones nos permiten denir una funcion 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 funcion las describiremos a continuacion.
Sin duda la funcion 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 funcion 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 funcion 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 funcion g act ua de forma identica a la transformacion 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 mas general, si consideramos puntos de la forma (r, , z
0
) (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 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 transformacion 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 funcion 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 rectangulo 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 transformacion 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 transformacion g generamos
el mismo cilindro solo que ahora por medio de cuadrados que giran alrededor del eje Z.
Para terminar, consideremos rebanadas del rectangulo 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
funcion 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 rectangulo R por medio de rebanadas
paralelas al plano Z, aplicando la funcion 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 validas para las
coordenadas cilndricas, y que el jacobiano de esta transformacion 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 continuacion, damos un ejemplo de como usar esta transformacion en el calculo de una
integral.
75 J. P aez
Z
R
r
0
g(r, , z)

Y
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 funcion 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 funcion 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
}
Solucion. Observese con atencion que, aplicando la primera identidad de 2.14 a las desigualdades
que intervienen en la denicion 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 solo 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 transformacion 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 mas importante,
al aplicar el Teorema de Cambio de Variable, dado que B es una region 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 transformacion 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 transformacion 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, son 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 reales (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 funcion 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 funcion 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 rectangulo R =
J. P aez 78
[0, 1] [0, 2] [0, ]. Bajo la funcion g, las ternas de la forma (, ,
0
) con
0
(0, ) jo (ternas
que se obtienen al rebanar al rectangulo 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 funcion 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 rectangulo R con un plano paralelo al plano , a la altura
0
), al aplicar la funcion g
obtenemos 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 (ver gura 2.25). En este caso, si
generamos al rectangulo R por medio de rebanadas paralelas al plano , al aplicarles la funcion
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 rectangulo 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 funcion
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 funcion 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
transformacion 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
transformacion.
Ejemplo 2.9 Calcular el volumen de la region que esta dentro de la esfera unitaria con centro en
el origen, y fuera del cono determinado por la ecuacion z
2
= x
2
+y
2
.
En terminos mas precisos, se desea calcular el volumen de la region
A = {(x, y, z) R
3
| x
2
+y
2
+z
2
1, z
2
x
2
+y
2
}
Solucion. Observese primero que, si tomamos
B =
(, , ) R
3
| 0 1, 0 2,
4

3
4
y g la transformacion 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
_
_
_d
=
_
_
1
2
d
_
_
_
_
2
0
d
_
_
_
_
_
3
4
4
sen()d
_
_
_
=
3
3
1
0
2
0
cos()
3
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: como calcular la masa total de una lamina si
disponemos de una funcion f que nos proporciona la densidad de masa en cada punto de esta?
Este fue el problema a partir del cual iniciamos la discusion que nalmente nos condujo al concepto
de integral de una funcion de varias variables (y de valores reales). Ahora sabemos que, si nuestra
lamina tiene la forma de un rectangulo 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 lamina estara 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 ademas contamos con una funcion 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 calculo 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 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

m
2

m
3

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 dependera 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 girara en el sentido contrario al de las manecillas de reloj). Si P
1
y P
2
coinciden, entonces el alambre permanecera 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

P
2
P
1
m

P
2
P
1
= P
2
m

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 analisis, vamos a suponer que empezamos sosteniendo el alambre por
su punto medio, y que sobre 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 orientacion, la cual quedara expresada en el signo
de dicho n umero (ver gura 2.29).

x
m

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 posicion horizontal. Se comprueba facilmente que, si colocamos dos masas de la
misma magnitud m, una en la posicion x
1
y otra en la posicion 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

x
2
m

x
1
+x
2
> 0
x
1
m

x
2
m

x
1
+x
2
= 0
x
1
m

x
2
m

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 presicion 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) cual 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, permanera equilibrado.
Es importante destacar que hasta ahora la expresion 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 posicion 0, de
acuerdo con la forma en que ubicamos nuestra recta real). Por esta razon, es pertinente hacernos
la siguiente pregunta: cual 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 est a en una posicion x
0
arbitraria?

x
m

x
0
Figura 2.31: Ahora sostenemos el alambre por un punto que ocupa una posicion x
0
y colocamos
una masa de magnitud m en una posicion x
Supongamos entonces que sostenemos el alambre por un punto que ocupa una posicion x
0
y que
colocamos una masa de magnitud m en una posicion 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 orientacion
de este, por medio de su signo) producido sobre nuestro alambre. Y si razonamos como parrafos
arriba, tambien llegaremos a la conclusion 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 orientacion 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 formula
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 parrafos arriba constituye la base de lo que haremos a continuacion. Ahora
nuestro nuevo problema es el siguiente: si tenemos un alambre cuya distribucion de masa no es
homogenea, y contamos con una funcion que nos asigna la densidad de masa en cada punto del
alambre, la pregunta es: cual 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 posicion b, entonces la funcion de densidad (de masa) del alambre se puede pensar
como una funcion : [a, b] R R.
El siguiente paso consistira en subdividir el alambre en pedazos mas peque nos, lo que en terminos
de posiciones equivale a tomar una particion P = {a = t
0
< t
1
< . . . < t
k
= b} del intervalo [a, b].
A continuacion, 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 aproximacion a
la masa contenida en la porcion del alambre representada por el subintervalo [t
i1
, t
i
], y que esta
aproximacion es mejor en la medida de que dicho subintervalo sea mas peque no, es decir, en la
medida de que la particion 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 estara 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, esta 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 aproximacion sera mejor en la medida de que la particion P sea mas na (ver gura
2.32).
m
1

m
2

2

0
m
3

m
4

m
5

5
m
6

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 coincidira en que, como
k
i=1
i
(
i
) (t
i
t
i1
)
b
a
x (x)dx
justo cuando la particion 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 ubicacion 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 funcion 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 sospechara, estas apareceran cuando
abordemos el problema equivalente para objetos en el plano (laminas) o en el espacio (solidos).
Y aqu vamos! Imaginemos ahora que tenemos una lamina de forma rectangular (lo que por
ahora sera irrelevante) que ota sobre un cierto lquido y cuya masa esta distribuida de forma
J. P aez 86
m
1

m
2

m
3

m
4

m
5

Figura 2.33: En una lamina que ota sobre alg un lquido colocamos objetos de diferente masa
homogenea. Sobre esta, colocamos objetos de diferente masa. La pregunta nuevamente es: desde
que punto de la lamina 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
lamina dependera, de nueva cuenta, de las posiciones de
P
0
y de
P
1
. De hecho, es intuitivamente
(y experimentalmente) claro que la lamina se sumergira en la direccion 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 hara 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 lamina.
P
0
P
1
Figura 2.34: La lamina se sumergira en la direccion 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 magnitudes m
1
, . . . , m
k
en los puntos
P
1
, . . . ,
P
k
, respectivamente, entonces el efecto producido sobre la lamina (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 armacion), 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 lamina 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 lamina cuya densidad de masa esta dada por un funcion . Para
empezar, supondremos nuevamente que nuestra lamina tiene la forma de un rectangulo R. Como en
el caso de un alambre, si damos una particion P del rectangulo R y consideramos los subrectangulos
R
1
, . . . , R
k
de R inducidos por esta particion, una primera aproximacion al punto de equilibrio
de la lamina 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 subrectangulo R
i
, para i = 1, . . . , k (ver gura 2.35).
P
1
m
1

P
2
m
2

P
3
m
3

P
4
m
4

P
5
m
5

P
6
m
6

P
7
m
7

P
8
m
8

P
9
m
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 aproximacion a las coordenadas del centro de masa de la lamina, y esta aproximaci on es
mejor entre mas na sea la particion P.
Por otra parte, justo si la particion 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 lamina estan dadas por
x
0
=
R
x (x, y)
R
(x, y)
y
0
=
R
y (x, y)
R
(x, y)
Como el lector deducira facilmente, si ahora la forma de nuestra lamina coincide con la de un
conjunto Jordan-medible A R
2
, en este caso el centro de masa de dicha lamina estara 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 dimension 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 razon que en este caso
plantearemos el problema de manera diferente.
P
0
P
1
m
1

P
2
m
2

P
3
m
3

P
4
m
4

P
5
m
5

P
6
m
6

Figura 2.36: Un objeto ubicado en una posicion
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 posicion
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 posicion
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 tiron) que se
ejerce sobre nuestro objeto esta dada por m
i
P
i
P
0
8
. Por tanto, la fuerza neta que se ejercera
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, 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
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 esta dada por la funcion (x, y, z),
entonces las coordenadas (x
0
, y
0
, z
0
) del centro de masa
P
0
de este solido, estan 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 lamina 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 lamina es homogenea, es decir, (x, y) c, calcule su
centro de masa.
Solucion. Primero observemos que la region en cuestion 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 lamina esta dada por
A
(x, y) =
1
1
_
_
_
1x
2
1
2
(1x
2
)
c dy
_
_
_dx
= c
1
1 x
2
1
2
(1 x
2
)
dx
= c
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
region A es simetrica con respecto al eje Y y la lamina es homogenea.
Por otra parte, como
A
y (x, y) =
1
1
_
_
_
1x
2
1
2
(1x
2
)
c ydy
_
_
_dx
= c
1
1
2
1 x
2
1
4
(1 x
2
)
2
dx
=
c
2
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
3
=
8
15
2
3
la cual, por cierto, es independiente de la densidad c. Por tanto, el centro de masa de nuestra
lamina es
0,
8
15
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 funcion 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 funcion : 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, . . . , k 1. Usando la misma
notacion 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 hipotesis, los conjuntos y las funciones denidas en el problema 1. Agregue la
funcion : 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
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 funcion 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 integracion 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
|x|
2|x|
e
x+y
dy
dx
(iii)
1
x+y
x
2
+y
2
dz
dy
dx (iv)
3
62z
4(2y/3)4z/3
0
yzdx
dy
dz
(v)
1
y
2
(x
n
+y
m
)dx
dy (vi)
1
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 region 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 funcion f sobre la region 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 parabola 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 transformacion g de la region A e integre la
funcion 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)), (cual 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 region acotada por las curvas cuyas ecuaciones polares son = 0, =
4
y r =
2
(b) la region acotada por la curva r
2
= 2a
2
|cos(2)| (dib ujela)
(c) la region que esta dentro de la curva r = 1 + cos() y fuera de la curva r = 1
(d) la region que esta 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 region que esta 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 region que esta 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 funcion 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 transformacion 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 funcion f sobre la region A, donde:
(a) A es la region que esta 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 esta 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 esta 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 esta 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 esta 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 esta 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 esta 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 esta 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, cual es el volumen
del solido de revolucion que se obtiene cuando se gira la graca 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
diametro de la esfera. Si el angulo entre los planos es
3
, cual 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 esta
dada por la funcion : 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 funcion 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 expresion: un objeto (o masa) ubicado(a) en un punto, que sin duda
idealiza una situacion que es muy difcil que se cumpla en la realidad).
28. Considere una lamina 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 lamina 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 esta dentro de la circunferencia de radio 1 con centro en el (0, 1). Si
A es la forma de una placa metalica cuya densidad de masa esta dada por la funcion
(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 esta dentro de la circunferencia de radio 1 con centro en el (0, 1). Si A es
la forma de una placa metalica cuya densidad de masa esta dada por la funcion
(x, y) =
_
_
_
x
2
+y
2
si 1 x 0
y
2
si 0 x 1
calcule:
31. Considere la region del problema 23 inciso (a). Si A es el complemento (en la esfera) de dicha
region y es tal que su densidad de masa esta dada por la funcion (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 region que esta dentro de la curva r = 3 sen() y
fuera de la curva r = 1+sen(), y tiene una funcion 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 esta 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

Cap2 Notas Calc IV

Загружено:

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

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

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

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

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

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

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

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

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

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

Cap2 Notas Calc IV

Загружено:

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

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

Captulo 2

{1, . . . , n} diferentes dos a dos (es decir, {i

{1, . . . , n + 1} diferentes dos a dos. Elegimos el ndice i

. Notese que esta bien denida, pues f es

. Por lo tanto, por la hipotesis de induccion tenemos que

Figura 2.4: La region en R

Figura 2.5: La region en R

] en donde m es el mnimo valor de la funcion en

es el mnimo valor de la funcion en A y

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

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

2.3 El Teorema de Cambio de Variable

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

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 funcion afn g (de R

. En este sentido, si dicha particion es muy na debera ser cierto que

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

, en correspondencia con el nombre con que se conoce a

), a saber, matriz jacobiana.

Figura 2.11: Las regiones del ejemplo 2.6

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-

y g la transformacion de coordenadas esfericas, entonces

es una muy buena forma de medir el efecto producido sobre la lamina.

Figura 2.34: La lamina se sumergira en la direccion del punto

(seguramente el lector se podra imaginar algunas conguraciones sencillas de masas y posiciones

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

Si estos puntos tienen (en alg un sistema de referencia) coordenadas (x

Como se sabe, la masa total de la lamina esta dada por

Por otra parte, como

o lo que es lo mismo, que

dx existe pero que sin embargo f no es inte-

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