Documentos de Académico
Documentos de Profesional
Documentos de Cultura
IntegralesDobles4 PDF
IntegralesDobles4 PDF
4.
4.1.
Eleonora Catsigeras.
19 Julio 2006.
Demostraci
on: En la siguiente prueba hay varios detalles tecnicos, que especificamos como
llamadas al pie, cuya demostraci
on rigurosa es engorrosa y omitimos.
Se presupone en el enunciado que E y D son descomponibles en simples; de lo contrario (hasta
ahora) no tendramos definida las integrales dobles iteradas en E o en D. No es restrictivo suponer
que E es simple, ya que la integral en los dominios descomponibles en simples, por la definici
on
2.3.2, es la suma de las integrales en los dominios simples que lo componen; si probamos la igualdad
de la tesis para todo conjunto simple E, sumando esas igualdades, se cumple para todo conjunto
descomponible en simples. Consideremos E [a, b] [c, d] en el plano (u, v), suponiendo para fijar
ideas que E es simple respecto de u; si fuera simple respecto de v los argumentos son los mismos
intercambiando los roles de las variables u y v entre s.
Sea
ZZ
I=
f ((u, v), (u, v)) |J(u, v)| dudv (1)
E=1 (D)
12
Se puede probar que, con dominio en el interior de D e imagen en el interior de E, existe y es continua la funci
on
inversa (u, v) = ()1 (x, y) = (u(x, y), v(x, y)).
13
Se define el Jacobiano J(u, v) de la funci
on (x, y) = ((u, v), (u, v)) como el determinante de la matriz cuadrada
2 2 que tiene como primera fila (u , v ) y como segunda fila (u , v ), donde u , v indica las derivadas parciales
de respecto de u y de v (y an
alogamente u y v ). Es decir :
J(u, v) = u v v u
19 Julio 2006.
53
Aplicaremos la proposici
on 2.1.7 que iguala la integral doble iterada I a un lmite iterado de
sumas de Riemann. Se cumple:
I = lm
lm
u0 v0
n X
m
X
i=1 j=1
(2)
donde para cada pareja de naturales n y m mayores que uno, se eligio la partici
on del intervalo
[a, b] en n subintervalos iguales de longitud u = (b a)/n y la partici
on del intervalo [c, d] en m
subintervalos iguales , v = (d c)/m; con respectivos puntos intermedios :
a = u0 < u1 < . . . < ui1 < ui < . . . < un = b tales que ui+1 ui = u en el intervalo [a, b]
(3)
c = v0 < v1 < . . . < vj1 < vj < . . . < vm = d tales que vj+1 vj = v en el intervalo [c, d]
(4)
B = (ui+1 , vj ),
C = (ui , vj+1 ),
y (ui+1 , vj+1 ))
(5)
area (Ri,j )
area Pi,j
area (Ri,j )
area Pi,j
0
=
area Ri,j
uv
(u,v)0
Omitimos la prueba de esta u
ltima afirmaci
on. Observamos que ella implica que, si sustituimos el
area de (Ri,j )
por el
area de Pi,j en una suma de Riemann, al tomar despues los lmites cuando u y v tienden a cero, el error
cometido tiende a cero.
54
Eleonora Catsigeras.
19 Julio 2006.
Pero por otro lado, apliquemos la definicion y propiedades del producto vectorial vistas en el
curso de Algebra
Lineal. Si ~b ~c es el producto vectorial de dos vectores ~b y ~c en R2 , que forman
angulo entre s, entonces se cumple:
||~b ~c|| = ||~b|| ||~c||
~b = (xb , yb ), ~c = (xc , yc )
~b ~c = (0, 0, xb yc yb xc )
Luego:
(8)
(9a)
donde
xb = xBA = (ui+1 , vj ) (ui , vj ),
(9b)
(9c)
(i , vj )(ui+1 ui ),
u
xc =
(ui , j )(vj+1 vj )
v
(9d)
(ui , vj )(ui+1 ui ),
u
xc '
(ui , vj )(vj+1 vj )
v
(10a)
An
alogamente, usando y en vez de x y usando en vez de se obtiene:
yb '
(ui , vj )(ui+1 ui ),
u
yc '
(ui , vj )(vj+1 vj )
v
(10b)
uv = |J(ui , vj )| uv
u v
u v (ui ,vj )
lm
u0 v0
n X
m
X
i=1 j=1
(11)
19 Julio 2006.
55
lm
u0 v0
n X
m ZZ
X
f (xi , yj ) dxdy
(13)
(Ri,j )
i=1 j=1
Pero por otro lado, por la continuidad uniforme de f en E, dado > 0 existe > 0 tal que si
u < y v < , entonces18
|f (xi , yj ) f (x, y)| <
(x, y) (Ri,j )
(14)
lm
u0 v0
n X
m ZZ
X
f (x, y) dxdy
(15)
(Ri,j )
i=1 j=1
Observando que los dominios (Ri,j ) tienen interiores dos a dos disjuntos, (porque lo tienen los
rect
angulos Ri,j y es un cambio de variables), podemos aplicar la propiedad de aditividad en el
dominio de las integrales dobles:
n X
m ZZ
X
i=1 j=1
f (x, y) dxdy =
ZZ
f (x, y) dxdy
(16)
(Ri,j )
En esta u
ltima igualdad hemos usado que f (x, y) = 0 si (x, y) 6 D.
Luego, sustituyendo (16) en (15) y observando que la integral doble en D de la funci
on f no
depende de u ni v, se concluye:
ZZ
I=
f (x, y) dxdy
D
Esta u
ltima igualdad, recordando la definicion del n
umero I en la igualdad (1), es la tesis que
queramos probar.
4.1.3. Cambios de variables en dominios de R3 .
En lo que sigue el conjunto E, contenido en R3 de variables (u, v, w), es un dominio descomponible (en dominios simples respecto a alg
un orden de las variables).
Se dice que una funci
on : E 7 R es de clase C 1 si es continua en E, diferenciable, con
derivadas parciales continuas para todo (u, v, w) en el interior de E, y tal que las derivadas
parciales se extienden en forma continua al borde de E.
Sea (u, v, w) = ((u, v, w), (u, v, w), (u, v, w)), tal que : E 7 R3 . Se dice que de clase
C 1 si , y lo son.
Se dice que : E 7 D es un cambio de variables de clase C 1 si, adem
as de todo lo anterior,
se cumple:
17
Como se dijo antes en otra llamada al pie, el dominio (Ri,j ) es descomponible en simples.
La desigualdad (14) vale solo si (Ri,j ) no corta al borde de D porque f es continua en D e identicamente nula
fuera de D, pero quiz
as discontinua en el borde de D. Habra que probar que la sumas para i, j tal que Ri,j corta
al borde de D tienden a cero cuando u y v tienden a cero.
18
56
Eleonora Catsigeras.
19 Julio 2006.
D = (E) y
es inyectiva (y por lo tanto invertible) del interior de E al interior de D. 19
Con argumentos parecidos a los usados en el teorema 4.1.2, se obtiene el siguiente teorema:
Teorema 4.1.4. Cambio de variables en integrales triples.
Sea (x, y, z) = (u, v, w) = ((u, v, w), (u, v, w), (u, v, w)) un cambio de variables de clase
C 1 que transforma (u, v, w) E en (x, y, z) D = (E).
Si el Jacobiano20
J(u, v, w) 6= 0
ZZZ
f (x, y, z) dx dy dz =
4.2.
E=1 (D)
Ver secci
on 71 sub 2 del libro de Burgos, en la bibliografa al final de este texto.
Consideremos en el plano x, y, para cada punto P = (x, y) distinto del origen O = (0, 0), las
siguientes coordenadas , , no cartesianas, llamadas coordenadas polares, que est
an dadas por
las siguientes definiciones
(hacer
dibujo):
p
La distancia = x2 + y 2 > 0 del punto P = (x, y) al origen 0 = (0, 0).
~ con el semieje horizontal
El angulo [0, 2), medido en radianes, que forma la semirrecta OP
x 0 de las abscisas positivas.
Se cumple:
x = cos , y = sen (1)
que son las ecuaciones del cambio de varibles a coordenadas polares, y valen para todos los
puntos, incluso el origen. En efecto, para obtener (x, y) = (0, 0), usamos = 0 y a le podemos
dar cualquier valor en el intervalo [0, 2).
Para obtener las ecuaciones (1), consideramos el tri
angulo rect
angulo OP P 0 , donde P 0 es
la proyecci
on ortogonal del punto P sobre el eje de las abscisas. Cuando el angulo es agudo
(0 < < /2), observemos que el cateto adyacente al angulo en el tri
angulo rect
angulo OP P 0
tiene longitud x, y el cateto opuesto tiene longitud y, mientras que la hipotenusa tiene longitud
. Luego, por definicion de coseno y seno, se tiene cos = x/,
sen = y/. Estas son las
igualdades (1). Para /2 hay que discutir seg
un el cuadrante en el que se encuentra el punto
P , obteniendose que el signo de cos coincide con el signo de x; y el signo de sen con el signo
de y.
El Jacobiano J(, ) del cambio de variables (1) es:
x x
J(, ) = det
(2)
y y
19
Se puede probar que, con dominio en el interior de D e imagen en el interior de E, existe y es continua la funci
on
inversa 1 .
20
Se define el Jacobiano J(u, v, w) de la funci
on (x, y, z) = ((u, v, w), (u, v, w), (u, v, w) como el determinante
de la matriz cuadrada 3 3 que tiene como primera fila (u , v , w ), como segunda fila (u , v , w ), y como tercera
fila (u , v , w ), donde u , v , w indica las derivadas parciales de respecto de u, de v y de w respectivamente
(an
alogamente para las funciones y ).
19 Julio 2006.
57
0 r, 0
donde r y estan fijos, y y son las variables del sistema de coordenadas polares. Luego:
ZZ
Z
Z r
Z
Z r
Z 2
r2
r
area (S) =
dxdy =
d
|J(, )| d =
d =
d
d =
2
S
0
0
0
0
0 2
En particular, si = 2 obtenemos el area del crculo de radio r que es r2 .
ZZ
dxdy
y = bv
Se obtiene:
(x, y) D
(u, v) E : u2 + v 2 1
58
Eleonora Catsigeras.
19 Julio 2006.
Observamos que la u
ltima integral a la derecha de la igualdad anterior es el area de E en el plano
u, v; es decir el area del crculo de radio 1, que es , seg
un lo visto en el ejercicio anterior. Por lo
tanto se deduce:
ZZ
area(D) = (ab)
dudv = ab
E
x2 + y 2 + z 2 r2
E+
19 Julio 2006.
59
Z
p
1 3 s=0
1 0
r3
2
2
r d =
s ds = ( s)
= .
2 r2
3
3
s=r 2
Z
p
r2 2 d = 2
r3
r3
4
d = 2
2 = r3
3
3
3
x2 y 2 z 2
+ 2 + 2 1
a2
b
c
El volumen de E es
ZZZ
dxdydz
x = au, y = bv,
z = cw
Vol.(E) =
se obtiene:
(x, y, z) E
u2 + v 2 + w 2 1
de centro en el
Por lo tanto (u, v, w) varan en la esfera E
el espacio (u, v, w) y radio 1.
El Jacobiano del cambio de variables es
xu xv xw
J(u, v, w) = det yu yv yw = det
zu zv zw
a 0 0
0 b 0 = abc > 0
0 0 c
en el espacio de
Observamos que la integral de la derecha en (5) es el volumen del s
olido E
coordenadas u, v, w. Pero este solido E, vimos que es una esfera de radio 1. Entonces, por lo
es 4/3.
calculado en el ejemplo anterior, el volumen de E
Se concluye:
4
Vol.(E) = abc
3
60
4.3.
Eleonora Catsigeras.
19 Julio 2006.
Ver secci
on 71 sub 3 del libro de Burgos, en la bibliografa al final de este texto.
En lo que sigue, hacer un dibujo.
Consideremos en el espacio tridimensional R3 un punto P = (x, y, z), y su proyecci
on ortogonal
0
P sobre el plano x, y, es decir sobre el plano z = 0. La altura zP 0 del punto P 0 es cero, pero sus
abscisa y ordenada son las mismas que la del punto P . Es decir: P 0 = (x, y, 0).
Excepto cuando el punto P = (x, y, z) se encuentra en el eje de las z (es decir, excepto cuando
(x, y) = (0, 0)), el punto P 0 = (x, y, 0) es diferente del origen. Llamemos al angulo, medido
en radiantes entre 0 y 2 que forma la semirrecta OP 0 con el semieje de las x positivo. Es decir,
escribimos el punto P 0 = (x, y, 0) en coordenadas polares en el plano x, y. (Ver coordenadas polares
en el plano, en la secci
on anterior.)
Se tiene, para el punto P 0 = (x, y, 0): x = cos , y = sen . Luego, para el punto P =
(x, y, z) se obtiene:
x = cos , y = sen , z = z (1)
donde las nuevas variables son (, , z) con 0 , 0 2. La u
ltima de las nuevas variables
(, , z) es z, y coincide con la u
ltima de las viejas variables (x, y, z). Observamos que las ecuaciones
(1), valen tambien cuando (x, y) = (0, 0) tomando = 0 y cualquiera entre 0 y 2.
Geometricamente en el espacio, el lugar de puntos P = (x, y, z) que se obtiene cuando = r es
una constante positiva, es el lugar de puntos tales que sus proyecciones P 0 en el plano z = 0 distan
la constante r del origen. Esto es: P 0 se mueve, al variar , en una circunferencia de radio r con
centro del origen, del plano z = 0. Por lo tanto, el punto P = (x, y, z) se proyecta sobre P 0 (x, y, 0),
tiene altura z real y se encuentra, cuando = r > 0 es constante, sobre una superficie cilndrica
de base circular con radio r, superficie cilndrica esta que es generada por rectas verticales.
Por lo anterior, las coordenadas (, , z), dadas por el cambio de variables (1), se llaman
coordenadas cilndricas.
Calculemos el Jacobiano J(, , z) del cambio de variables (1) a coordenadas cilndricas en el
espacio:
cos sen 0
x x xz
J(, , z) = det y y yz = det sen cos 0 = (cos2 + sen2 ) =
0
0
1
z z zz
Ejemplo 4.3.1. C
alculo de volumen de un sector de cilindro circular.
Sea una horma cilndrica de queso de base circular con radio r > 0 y altura h > 0. Se corta
un trozo S, haciendo dos cortes verticales desde el centro de la horma hacia su borde, que forman
angulo entre s. Calcular el volumen del trozo S.
ZZZ
dxdydz
Vol. S =
S
Tomemos coordenadas cartesianas x, y, z con origen en el centro del crculo de radio r del plano
de abajo del queso.
Pasando a coordenadas cilndricas x = cos , y = sen , z = z, se obtiene:
(x, y, z) S
(, , z) E : 0 r, 0 , 0 z h
ZZZ
dxdydz =
Vol. S =
d
0
ZZZ
dz =
h d =
ZZZ
19 Julio 2006.
61
dddz =
h d =
hr2
2
(1)
62
Eleonora Catsigeras.
19 Julio 2006.
(2)
(3)
Pasemos
p a coordenadas cilndricas: : x = cos , y = sen , z = z. Observamos que
= x2 + y 2 es la distancia de P = (x, y, z) al eje de las z, y que , en cada circunferencia
horizontal con centro en el eje de las z, vara entre 0 y 2. Obtenemos, pasando (3) a coordenadas
cilndricas, las ecuaciones del conjunto E = 1 (D):
(x, y, z) D (, , z) E = {0 2, 2 z 1, 0 2 z 4 }
Usamos el teorema de cambio de variables en (1):
ZZZ
ZZZ
ZZZ
Vol.(D) =
dxdydz =
|J(, , z)|dddz =
D
E=1 (D)
(4)
dddz
E=1 (D)
Usando las ecuaciones del conjunto E dadas en (4), se obtienen los siguientes lmites de integraci
on:
Vol.(D) =
ZZZ
dddz =
E=1 (D)
dz
z2
= 2
1
2
d
0
dz
2
z2
d =
0
z=1
=z 2
Z 1
33
1 32
z 5
2
4
+
=
=
z dz =
dz =
2 =0
5 z=2
5
5
5
2
4.4.
19 Julio 2006.
63
Coordenadas esf
ericas en el espacio.
Ver secci
on 71 sub 4 del libro de Burgos, en la bibliografa al final de este texto.
Sea P = (x, y, z) un punto del espacio. Llamemos a la distancia de P al origen O = (0, 0, 0).
Es decir:
p
= x2 + y 2 + z 2
p
x2 + y 2 + z 2 = r
(1)
Las ecuaciones (1) se obtienen de la misma forma que se obtuvieron las ecuaciones de las coordenadas polares en el plano, en la subseccion 4.2, considerando que ahora la distancia de P 0 al
origen no se llama , sino ||P 0 O||.
64
Eleonora Catsigeras.
19 Julio 2006.
Llamemos o complemento de latitud del punto P = (x, y, z) al angulo que forma la semirrecta
OP con el semieje de las z > 0 (semirrecta ON que une el origen con el polo norte N ), medido
en radianes y variando entre 0 y .
El angulo es como la latitud en la superficie de la Tierra, pero en vez de tomar como referencia
de latitud 0 al ecuador, como se hace en la Tierra, tomamos como referencia de angulo = 0 al
polo norte. Ademas, en vez de medirlo positivamente al movernos hacia el norte y negativamente
hacia el sur, como se hace en la Tierra, nuestro angulo aumenta positivamente al descender,
desde el polo Norte, hacia el polo Sur. As, el complemento de la latitud es = 0, cuando el punto
P coincide con el polo norte N , es = /2 si el punto P se encuentra sobre el Ecuador, y es =
si el punto P coincide con el polo Sur S.
En resumen:
Dados [0, 2] y [0, ] se obtiene un u
nico punto de la superficie esferica Sr que tiene
longitud y complemento de latitud .
Considerando el triangulo rect
angulo OP P 0 , donde P 0 = (x, y, 0) es la proyecci
on ortogonal
~ y
de P = (x, y, z) sobre el plano z = 0, se observa que el angulo que forman las semirrectas OP
0
0
0
~
P P entre s, es igual a (porque P P es una recta vertical). Ademas el cateto P P , adyacente al
angulo en el triangulo rect
angulo OP P 0 , tiene longitud (con signo) igual a z, que es la altura del
punto P 0 . Por otra parte la hipotenusa es la distancia de P al origen, que llamamos = r > 0. Por
lo tanto cos = z/. El otro cateto OP 0 del tri
angulo rect
angulo OP P 0 , que es el cateto opuesto
al angulo , tiene longitud ||P 0 0||. Por lo tanto, sen = ||P 0 O||/
Se deduce:
||P 0 O|| = sen , z = cos (2)
Reuniendo las ecuaciones (1) con las ecuaciones (2), se obtiene:
x = sen cos , y = sen sen ,
z = cos
(3)
19 Julio 2006.
65
(, , ) E :
0 r, 0 , 0
Vol.(D) =
=
Z
Z
d
0
r
sen d =
0
cos |=
=0
d = 2
0
r
2 d =
2 sen d =
2
r3
3
Se concluye
2
r3
3
En particular, sustituyendo = 2 en la f
ormula anterior, se obtiene el volumen de la esfera s
olida
Er de radio r:
4
Vol. (Er ) = r3
3
Este resultado coincide con el hallado en el ejemplo 4.2.3.
Vol.(D) =
4.5.
Peso de un s
olido dada su densidad puntual.
La densidad es el cociente del peso sobre el volumen, siempre que el peso de cada pedacito del
solido, por mas peque
no que sea este, sea el mismo para pedacitos de igual volumen. En ese caso
la densidad es constante en cada punto del s
olido.
4.5.1. Peso de un s
olido dada su densidad variable con el punto.
Si un solido S tiene en cada punto (x, y, z) densidad f (x, y, z), variable con el punto, entonces
el peso de S es la suma de los pesos de cada trocito Ri,j,k infinitimamente peque
no, trocitos estos
66
Eleonora Catsigeras.
19 Julio 2006.
lm lm
x0 y0 z0
n,m,p
X
(i,j,k)=(1,1,1)
f (xi , yj , zk )x y z
Esta u
ltima es una suma de Riemann, como las definidas en 2.1.7. Luego, se obtiene, (adaptando
a integrales triples el resultado de la proposici
on 2.1.7), la siguiente f
ormula del peso dada la
densidad:
ZZZ
Peso(S) =
f (x, y, z) dxdydz donde f (x, y, z) es la densidad en el punto (x, y, z) S
S
Ejemplo 4.5.2. C
alculo del peso dada la densidad.
Sea una horma cilndrica de queso de base circular con radio r > 0 y altura h > 0. Se corta
un trozo S, haciendo dos cortes verticales desde el centro de la horma hacia su borde, que forman
angulo entre s.
El radio r = 10 cm., la altura h = 8 cm., el angulo = /3 radianes, y la densidad del queso
en el punto (x, y, z) es
[0, 9]kg/dm3
p
1
[ x2 + y 2 (z 2 hz + h2 )]cm3 .
[180]cm3 .
[
[f (x, y, z)]kg./cm3 . =
103 kg/cm3 [180]cm3
Y el peso de S, por la formula del parrafo 4.5.1, ser
a (siempre que x, y, z, h, r se midan en cm.):
ZZZ
5 p 2
x + y 2 (z 2 hz + h) dxdydz
[Peso(S)]kg. =
6
S 10
Pasando a coordenadas cilndricas:
x = cos , y = sen , z = z
resulta:
(x, y, z) S (, , z) E : 0 r, 0 , 0 z h
Por lo tanto:
[Peso(S)]kg. =
ZZZ
5 p 2
x + y 2 (z 2 hz + h2 ) dxdydz =
106
ZZZ
5 p 2 2
(z hz+h2 ) |J(, , z)| dddz =
106
h
0
19 Julio 2006.
5 p 2 2
(z hz+h2 ) dz
106
106 6
3
Sustituyendo = /3, r = 10 cm., h = 8 cm. se obtiene:
[Peso(S)]kg. =
[Peso(S)]kg. =
67
5 5 83 103
= 0, 746 kg.
106
6
3 3