11.05.2013 Views

4. Cambio de variables en integrales dobles y triples. - IMERL

4. Cambio de variables en integrales dobles y triples. - IMERL

4. Cambio de variables en integrales dobles y triples. - IMERL

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

52 Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006.<br />

<strong>4.</strong> <strong>Cambio</strong> <strong>de</strong> <strong>variables</strong> <strong>en</strong> <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>.<br />

<strong>4.</strong>1. Teorema <strong>de</strong> cambio <strong>de</strong> <strong>variables</strong>.<br />

<strong>4.</strong>1.1. <strong>Cambio</strong>s <strong>de</strong> <strong>variables</strong> <strong>en</strong> dominios <strong>de</strong> R 2 .<br />

En lo que sigue el conjunto E, cont<strong>en</strong>ido <strong>en</strong> el plano <strong>de</strong> <strong>variables</strong> (u, v), es un dominio <strong>de</strong>scomponible<br />

<strong>en</strong> dominios simples respecto <strong>de</strong> u o respecto <strong>de</strong> v.<br />

Se dice que una función α : E ↦→ R es <strong>de</strong> clase C 1 si es continua <strong>en</strong> E, difer<strong>en</strong>ciable, con<br />

<strong>de</strong>rivadas parciales continuas para todo (u, v) <strong>en</strong> el interior <strong>de</strong> E, y tal que las <strong>de</strong>rivadas parciales<br />

se exti<strong>en</strong><strong>de</strong>n <strong>en</strong> forma continua al bor<strong>de</strong> <strong>de</strong> E.<br />

Sea Φ(u, v) = (α(u, v), β(u, v)), tal que Φ : E ↦→ R 2 . Se dice que <strong>de</strong> clase C 1 si α y β lo son.<br />

Se dice que Φ : E ↦→ D es un cambio <strong>de</strong> <strong>variables</strong> <strong>de</strong> clase C 1 si, a<strong>de</strong>más <strong>de</strong> todo lo anterior,<br />

se cumple:<br />

D = Φ(E) y<br />

Φ es inyectiva (y por lo tanto invertible) <strong>de</strong>l interior <strong>de</strong> E al interior <strong>de</strong> D. 12<br />

Teorema <strong>4.</strong>1.2. <strong>Cambio</strong> <strong>de</strong> <strong>variables</strong> <strong>en</strong> <strong>integrales</strong> <strong>dobles</strong>.<br />

Sea (x, y) = Φ(u, v) = (α(u, v), β(u, v)) un cambio <strong>de</strong> <strong>variables</strong> <strong>de</strong> clase C 1 que transforma<br />

(u, v) ∈ E <strong>en</strong> (x, y) ∈ D = Φ(E).<br />

Si el Jacobiano 13<br />

J(u, v) = 0<br />

<strong>en</strong> el interior <strong>de</strong> E, <strong>en</strong>tonces, para toda función continua f <strong>en</strong> D, se cumple:<br />

<br />

<br />

f(x, y)dx dy = f(α(u, v), β(u, v)) · |J(u, v)| dudv<br />

D<br />

E=Φ −1 (D)<br />

Demostración: En la sigui<strong>en</strong>te prueba hay varios <strong>de</strong>talles técnicos, que especificamos como<br />

llamadas al pie, cuya <strong>de</strong>mostración rigurosa es <strong>en</strong>gorrosa y omitimos.<br />

Se presupone <strong>en</strong> el <strong>en</strong>unciado que E y D son <strong>de</strong>scomponibles <strong>en</strong> simples; <strong>de</strong> lo contrario (hasta<br />

ahora) no t<strong>en</strong>dríamos <strong>de</strong>finida las <strong>integrales</strong> <strong>dobles</strong> iteradas <strong>en</strong> E o <strong>en</strong> D. No es restrictivo suponer<br />

que E es simple, ya que la integral <strong>en</strong> los dominios <strong>de</strong>scomponibles <strong>en</strong> simples, por la <strong>de</strong>finición<br />

2.3.2, es la suma <strong>de</strong> las <strong>integrales</strong> <strong>en</strong> los dominios simples que lo compon<strong>en</strong>; si probamos la igualdad<br />

<strong>de</strong> la tesis para todo conjunto simple E, sumando esas igualda<strong>de</strong>s, se cumple para todo conjunto<br />

<strong>de</strong>scomponible <strong>en</strong> simples. Consi<strong>de</strong>remos E ⊂ [a, b]×[c, d] <strong>en</strong> el plano (u, v), suponi<strong>en</strong>do para fijar<br />

i<strong>de</strong>as que E es simple respecto <strong>de</strong> u; si fuera simple respecto <strong>de</strong> v los argum<strong>en</strong>tos son los mismos<br />

intercambiando los roles <strong>de</strong> las <strong>variables</strong> u y v <strong>en</strong>tre sí.<br />

Sea<br />

<br />

I = f(α(u, v), β(u, v)) · |J(u, v)| dudv (1)<br />

E=Φ −1 (D)<br />

12<br />

Se pue<strong>de</strong> probar que, con dominio <strong>en</strong> el interior <strong>de</strong> D e imag<strong>en</strong> <strong>en</strong> el interior <strong>de</strong> E, existe y es continua la función<br />

inversa (u, v) = (Φ) −1 (x, y) = (u(x, y), v(x, y)).<br />

13<br />

Se <strong>de</strong>fine el Jacobiano J(u, v) <strong>de</strong> la función (x, y) = (α(u, v), β(u, v)) como el <strong>de</strong>terminante <strong>de</strong> la matriz cuadrada<br />

2 × 2 que ti<strong>en</strong>e como primera fila (αu, αv) y como segunda fila (βu, βv), don<strong>de</strong> αu, αv indica las <strong>de</strong>rivadas parciales<br />

<strong>de</strong> α respecto <strong>de</strong> u y <strong>de</strong> v (y análogam<strong>en</strong>te βu y βv). Es <strong>de</strong>cir :<br />

J(u, v) = αu · βv − αv · βu


Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006. 53<br />

Aplicaremos la proposición 2.1.7 que iguala la integral doble iterada I a un límite iterado <strong>de</strong><br />

sumas <strong>de</strong> Riemann. Se cumple:<br />

I = lím<br />

∆u→0 lím<br />

∆v→0<br />

n<br />

i=1 j=1<br />

m<br />

f(α(ui, vj), β(ui, vj)) · |J(ui, vj)| ∆u∆v (2)<br />

don<strong>de</strong> para cada pareja <strong>de</strong> naturales n y m mayores que uno, se eligió la partición <strong>de</strong>l intervalo<br />

[a, b] <strong>en</strong> n subintervalos iguales <strong>de</strong> longitud ∆u = (b − a)/n y la partición <strong>de</strong>l intervalo [c, d] <strong>en</strong> m<br />

subintervalos iguales , ∆v = (d − c)/m; con respectivos puntos intermedios :<br />

a = u0 < u1 < . . . < ui−1 < ui < . . . < un = b tales que ui+1−ui = ∆u <strong>en</strong> el intervalo [a, b] (3)<br />

c = v0 < v1 < . . . < vj−1 < vj < . . . < vm = d tales que vj+1−vj = ∆v <strong>en</strong> el intervalo [c, d] (4)<br />

A<strong>de</strong>más por conv<strong>en</strong>ción <strong>en</strong> la igualdad (2), es f(x, y) = 0 si (x, y) ∈ D = Φ(E); es <strong>de</strong>cir, el<br />

sumando <strong>de</strong> la suma <strong>de</strong> Riemann a la <strong>de</strong>recha <strong>de</strong> la igualdad (2) es nulo si (ui, vj) ∈ E.<br />

Llamaremos Ri,j al rectangulito <strong>en</strong> el plano u, v <strong>de</strong>terminado por las particiones anteriores <strong>de</strong><br />

los intervalos [a, b] y [c, d]; es <strong>de</strong>cir: Ri,j = [ui, ui+1] × [vj, vj+1].<br />

Aplicando el cambio <strong>de</strong> <strong>variables</strong> 14 Φ : (u, v) ↦→ (x, y), se obti<strong>en</strong>e Φ(Ri,j) que es un “cuadrilátero<br />

curvo”<strong>en</strong> el plano (x, y), con lados que no son necesariam<strong>en</strong>te segm<strong>en</strong>tos <strong>de</strong> recta 15 , sino que son<br />

las curvas imag<strong>en</strong> por Φ <strong>de</strong> los lados <strong>de</strong>l rectángulo Ri,j; y con vértices que son la imag<strong>en</strong> por Φ<br />

<strong>de</strong> los cuatro vértices <strong>de</strong> Ri,j:<br />

A = Φ(ui, vi), B = Φ(ui+1, vj), C = Φ(ui, vj+1), y Φ(ui+1, vj+1)) (5)<br />

Aproximaremos16 el cuadrilátero curvo Φ(Ri,j) por el paralelogramo Pi,j <strong>de</strong> vértices A, B, C y<br />

D; don<strong>de</strong> A, B y C son los tres primeros vértices <strong>de</strong> Φ(Ri,j) dados <strong>en</strong> (5). Esta aproximación la<br />

<strong>de</strong>notamos con<br />

(6)<br />

área Φ(Ri,j) área Pi,j<br />

Por otra parte, observemos que el área <strong>de</strong> un paralelogramo Pi,j con vértices A, B, C y D es<br />

igual a<br />

área Pi,j = ||B − A|| · ||C − A|| · s<strong>en</strong> θ (7)<br />

don<strong>de</strong> θ es el ángulo que forman los vectores B − A y C − A <strong>en</strong>tre sí.<br />

14 1<br />

Hay previam<strong>en</strong>te que ext<strong>en</strong><strong>de</strong>r <strong>en</strong> forma C la función Φ al rectángulo [a, b] ×[c, d] que conti<strong>en</strong>e a E <strong>en</strong> el plano<br />

u, v.<br />

15<br />

De la hipótesis J(u, v) = 0 se pue<strong>de</strong> probar que para ∆u y ∆v sufici<strong>en</strong>tem<strong>en</strong>te pequeños, el cuadrilátero curvo<br />

Φ(Ri,j) es <strong>de</strong>scomponible <strong>en</strong> simples, y por lo tanto ti<strong>en</strong>e <strong>de</strong>finida un área y por lo tanto D (que es unión <strong>de</strong> los<br />

dominios Φ(Ri,j)) también es <strong>de</strong>scomponible <strong>en</strong> simples. Las <strong>integrales</strong> <strong>dobles</strong> <strong>en</strong> D <strong>en</strong>tonces son iguales a la suma<br />

<strong>de</strong> las <strong>integrales</strong> <strong>dobles</strong> <strong>en</strong> Φ(Ri,j).<br />

16<br />

La aproximación <strong>de</strong> Φ(Ri,j) con Pi,j significa que<br />

área Φ(Ri,j) − área Pi,j<br />

área Ri,j<br />

= área Φ(Ri,j) − área Pi,j<br />

→ 0<br />

∆u∆v (∆u,∆v)→0<br />

Omitimos la prueba <strong>de</strong> esta última afirmación. Observamos que ella implica que, si sustituimos el área <strong>de</strong> Φ(Ri,j)<br />

por el área <strong>de</strong> Pi,j <strong>en</strong> una suma <strong>de</strong> Riemann, al tomar <strong>de</strong>spués los límites cuando ∆u y ∆v ti<strong>en</strong><strong>de</strong>n a cero, el error<br />

cometido ti<strong>en</strong><strong>de</strong> a cero.


54 Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006.<br />

Pero por otro lado, apliquemos la <strong>de</strong>finición y propieda<strong>de</strong>s <strong>de</strong>l producto vectorial vistas <strong>en</strong> el<br />

curso <strong>de</strong> Álgebra Lineal. Si b ∧c es el producto vectorial <strong>de</strong> dos vectores b y c <strong>en</strong> R 2 , que forman<br />

ángulo θ <strong>en</strong>tre sí, <strong>en</strong>tonces se cumple:<br />

Luego:<br />

|| b ∧ c|| = || b|| · ||c|| · θ<br />

b = (xb, yb), c = (xc, yc) ⇒ b ∧ c = (0, 0, xbyc − ybxc) ⇒ || b ∧ c|| = |xbyc − ybxc|<br />

|| b|| · ||c|| · θ = |xbyc − ybxc| (8)<br />

Sustituimos b = B − A y c = C − A <strong>en</strong> la igualdad (8), usamos las igualda<strong>de</strong>s (7) y (5), y a<strong>de</strong>más<br />

Φ(u, v) = (x, y) = (α(u, v), β(u, v)). Resulta:<br />

don<strong>de</strong><br />

área Pi,j = |xbyc − ybxc| (9a)<br />

xb = xB−A = α(ui+1, vj) − α(ui, vj), yb = yB−A = β(ui+1, vj) − β(ui, vj) (9b)<br />

xc = xC−A = α(ui, vj+1) − α(ui, vj), yc = yC−A = β(ui, vj+1) − β(ui, vj) (9c)<br />

Usando el teorema <strong>de</strong>l valor medio <strong>de</strong>l cálculo difer<strong>en</strong>cial para la función α <strong>en</strong> las igualda<strong>de</strong>s (9b)<br />

y (9c), se <strong>de</strong>duce:<br />

xb = ∂α<br />

∂u (ξi, vj)(ui+1 − ui), xc = ∂α<br />

∂v (ui, ηj)(vj+1 − vj) (9d)<br />

don<strong>de</strong> ξi ∈ [ui, ui+1], ηj ∈ [vj, vj+1]. Recordando que ui+1 − ui = ∆u, vj+1 − vj = ∆v,<br />

consi<strong>de</strong>rando que ∆u, ∆v se harán t<strong>en</strong><strong>de</strong>r a cero <strong>de</strong>ntro <strong>de</strong> las sumas <strong>de</strong> Riemann, aproximamos<br />

las igualda<strong>de</strong>s <strong>en</strong> (9d) por las sigui<strong>en</strong>tes:<br />

xb ∂α<br />

∂u (ui, vj)(ui+1 − ui), xc ∂α<br />

∂v (ui, vj)(vj+1 − vj) (10a)<br />

Análogam<strong>en</strong>te, usando y <strong>en</strong> vez <strong>de</strong> x y usando β <strong>en</strong> vez <strong>de</strong> α se obti<strong>en</strong>e:<br />

yb ∂β<br />

∂u (ui, vj)(ui+1 − ui), yc ∂β<br />

∂v (ui, vj)(vj+1 − vj) (10b)<br />

Reemplazando las afirmaciones (10a) y (10b) <strong>en</strong> (9a) se obti<strong>en</strong>e:<br />

<br />

<br />

<br />

área Pi,j <br />

∂α ∂β ∂β ∂α<br />

· − · <br />

∂u ∂v ∂u ∂v<br />

· ∆u∆v = |J(ui, vj)| ∆u∆v (11)<br />

Reuni<strong>en</strong>do (6) y (11) se <strong>de</strong>duce:<br />

(ui,vj)<br />

área Φ(Ri,j) |J(ui, vj)| ∆u∆v (12)<br />

Sustituy<strong>en</strong>do (12) <strong>en</strong> (2), y llamando (x, y) = Φ(u, v) se obti<strong>en</strong>e:<br />

I = lím<br />

∆u→0 lím<br />

∆v→0<br />

n<br />

i=1 j=1<br />

m<br />

f(xi, yj) · área Φ(Ri,j)


Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006. 55<br />

Observamos que el área <strong>de</strong> Φ(Ri,j) es igual a la integral doble 17 <strong>en</strong> Φ(Ri,j) <strong>de</strong> la función 1, luego:<br />

I = lím<br />

∆u→0 lím<br />

∆v→0<br />

n<br />

i=1 j=1<br />

m<br />

<br />

Φ(Ri,j)<br />

f(xi, yj)dxdy (13)<br />

Pero por otro lado, por la continuidad uniforme <strong>de</strong> f ◦ Φ <strong>en</strong> E, dado ɛ > 0 existe δ > 0 tal que si<br />

∆u < δ y ∆v < δ, <strong>en</strong>tonces 18<br />

Sustituy<strong>en</strong>do (14) <strong>en</strong> (13) se concluye:<br />

|f(xi, yj) − f(x, y)| < ɛ ∀(x, y) ∈ Φ(Ri,j) (14)<br />

I = lím<br />

∆u→0 lím<br />

∆v→0<br />

n<br />

i=1 j=1<br />

m<br />

<br />

Φ(Ri,j)<br />

f(x, y)dxdy (15)<br />

Observando que los dominios Φ(Ri,j) ti<strong>en</strong><strong>en</strong> interiores dos a dos disjuntos, (porque lo ti<strong>en</strong><strong>en</strong> los<br />

rectángulos Ri,j y Φ es un cambio <strong>de</strong> <strong>variables</strong>), po<strong>de</strong>mos aplicar la propiedad <strong>de</strong> aditividad <strong>en</strong> el<br />

dominio <strong>de</strong> las <strong>integrales</strong> <strong>dobles</strong>:<br />

n<br />

i=1 j=1<br />

m<br />

<br />

Φ(Ri,j)<br />

<br />

f(x, y)dxdy =<br />

D<br />

f(x, y)dxdy (16)<br />

En esta última igualdad hemos usado que f(x, y) = 0 si (x, y) ∈ D.<br />

Luego, sustituy<strong>en</strong>do (16) <strong>en</strong> (15) y observando que la integral doble <strong>en</strong> D <strong>de</strong> la función f no<br />

<strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> ∆u ni ∆v, se concluye:<br />

<br />

I = f(x, y)dxdy<br />

D<br />

Esta última igualdad, recordando la <strong>de</strong>finición <strong>de</strong>l número I <strong>en</strong> la igualdad (1), es la tesis que<br />

queríamos probar. <br />

<strong>4.</strong>1.3. <strong>Cambio</strong>s <strong>de</strong> <strong>variables</strong> <strong>en</strong> dominios <strong>de</strong> R 3 .<br />

En lo que sigue el conjunto E, cont<strong>en</strong>ido <strong>en</strong> R 3 <strong>de</strong> <strong>variables</strong> (u, v, w), es un dominio <strong>de</strong>scomponible<br />

(<strong>en</strong> dominios simples respecto a algún or<strong>de</strong>n <strong>de</strong> las <strong>variables</strong>).<br />

Se dice que una función φ : E ↦→ R es <strong>de</strong> clase C 1 si es continua <strong>en</strong> E, difer<strong>en</strong>ciable, con<br />

<strong>de</strong>rivadas parciales continuas para todo (u, v, w) <strong>en</strong> el interior <strong>de</strong> E, y tal que las <strong>de</strong>rivadas<br />

parciales se exti<strong>en</strong><strong>de</strong>n <strong>en</strong> forma continua al bor<strong>de</strong> <strong>de</strong> E.<br />

Sea Φ(u, v, w) = (α(u, v, w), β(u, v, w), γ(u, v, w)), tal que Φ : E ↦→ R 3 . Se dice que <strong>de</strong> clase<br />

C 1 si α, β y γ lo son.<br />

Se dice que Φ : E ↦→ D es un cambio <strong>de</strong> <strong>variables</strong> <strong>de</strong> clase C 1 si, a<strong>de</strong>más <strong>de</strong> todo lo anterior,<br />

se cumple:<br />

17 Como se dijo antes <strong>en</strong> otra llamada al pie, el dominio Φ(Ri,j) es <strong>de</strong>scomponible <strong>en</strong> simples.<br />

18 La <strong>de</strong>sigualdad (14) vale solo si Φ(Ri,j) no corta al bor<strong>de</strong> <strong>de</strong> D porque f es continua <strong>en</strong> D e idénticam<strong>en</strong>te nula<br />

fuera <strong>de</strong> D, pero quizás discontinua <strong>en</strong> el bor<strong>de</strong> <strong>de</strong> D. Habría que probar que la sumas para i, j tal que Ri,j corta<br />

al bor<strong>de</strong> <strong>de</strong> D ti<strong>en</strong><strong>de</strong>n a cero cuando ∆u y ∆v ti<strong>en</strong><strong>de</strong>n a cero.


56 Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006.<br />

D = Φ(E) y<br />

Φ es inyectiva (y por lo tanto invertible) <strong>de</strong>l interior <strong>de</strong> E al interior <strong>de</strong> D. 19<br />

Con argum<strong>en</strong>tos parecidos a los usados <strong>en</strong> el teorema <strong>4.</strong>1.2, se obti<strong>en</strong>e el sigui<strong>en</strong>te teorema:<br />

Teorema <strong>4.</strong>1.<strong>4.</strong> <strong>Cambio</strong> <strong>de</strong> <strong>variables</strong> <strong>en</strong> <strong>integrales</strong> <strong>triples</strong>.<br />

Sea (x, y, z) = Φ(u, v, w) = (α(u, v, w), β(u, v, w), γ(u, v, w)) un cambio <strong>de</strong> <strong>variables</strong> <strong>de</strong> clase<br />

C 1 que transforma (u, v, w) ∈ E <strong>en</strong> (x, y, z) ∈ D = Φ(E).<br />

Si el Jacobiano 20<br />

J(u, v, w) = 0<br />

<strong>en</strong> el interior <strong>de</strong> E, <strong>en</strong>tonces, para toda función continua f <strong>en</strong> D, se cumple:<br />

<br />

D<br />

<br />

f(x, y, z)dx dy dz =<br />

E=Φ −1 (D)<br />

f(α(u, v, w), β(u, v, w), γ(u, v, w)) · |J(u, v, w)| dudvdw<br />

<strong>4.</strong>2. Ejemplos <strong>de</strong> cambio <strong>de</strong> <strong>variables</strong>. Coor<strong>de</strong>nadas polares <strong>en</strong> el plano.<br />

Ver sección 71 sub 2 <strong>de</strong>l libro <strong>de</strong> Burgos, <strong>en</strong> la bibliografía al final <strong>de</strong> este texto.<br />

Consi<strong>de</strong>remos <strong>en</strong> el plano x, y, para cada punto P = (x, y) distinto <strong>de</strong>l orig<strong>en</strong> O = (0, 0), las<br />

sigui<strong>en</strong>tes coor<strong>de</strong>nadas ρ, ϕ, no cartesianas, llamadas coor<strong>de</strong>nadas polares, que están dadas por<br />

las sigui<strong>en</strong>tes <strong>de</strong>finiciones (hacer dibujo):<br />

La distancia ρ = x2 + y2 > 0 <strong>de</strong>l punto P = (x, y) al orig<strong>en</strong> 0 = (0, 0).<br />

El ángulo ϕ ∈ [0, 2π), medido <strong>en</strong> radianes, que forma la semirrecta OP con el semieje horizontal<br />

x ≥ 0 <strong>de</strong> las abscisas positivas.<br />

Se cumple:<br />

x = ρ cos ϕ, y = ρ s<strong>en</strong> ϕ (1)<br />

que son las ecuaciones <strong>de</strong>l cambio <strong>de</strong> varibles a coor<strong>de</strong>nadas polares, y val<strong>en</strong> para todos los<br />

puntos, incluso el orig<strong>en</strong>. En efecto, para obt<strong>en</strong>er (x, y) = (0, 0), usamos ρ = 0 y a ϕ le po<strong>de</strong>mos<br />

dar cualquier valor <strong>en</strong> el intervalo [0, 2π).<br />

Para obt<strong>en</strong>er las ecuaciones (1), consi<strong>de</strong>ramos el triángulo rectángulo OPP ′ , don<strong>de</strong> P ′ es<br />

la proyección ortogonal <strong>de</strong>l punto P sobre el eje <strong>de</strong> las abscisas. Cuando el ángulo ϕ es agudo<br />

(0 < ϕ < π/2), observemos que el cateto adyac<strong>en</strong>te al ángulo ϕ <strong>en</strong> el triángulo rectángulo OPP ′<br />

ti<strong>en</strong>e longitud x, y el cateto opuesto ti<strong>en</strong>e longitud y, mi<strong>en</strong>tras que la hipot<strong>en</strong>usa ti<strong>en</strong>e longitud<br />

ρ. Luego, por <strong>de</strong>finición <strong>de</strong> cos<strong>en</strong>o y s<strong>en</strong>o, se ti<strong>en</strong>e cos ϕ = x/ρ, s<strong>en</strong> ϕ = y/ρ. Estas son las<br />

igualda<strong>de</strong>s (1). Para ϕ ≥ π/2 hay que discutir según el cuadrante <strong>en</strong> el que se <strong>en</strong>cu<strong>en</strong>tra el punto<br />

P, obt<strong>en</strong>iéndose que el signo <strong>de</strong> cosϕ coinci<strong>de</strong> con el signo <strong>de</strong> x; y el signo <strong>de</strong> s<strong>en</strong>ϕ con el signo<br />

<strong>de</strong> y.<br />

El Jacobiano J(ρ, ϕ) <strong>de</strong>l cambio <strong>de</strong> <strong>variables</strong> (1) es:<br />

J(ρ, ϕ) = <strong>de</strong>t<br />

xρ xϕ<br />

yρ yϕ<br />

19<br />

Se pue<strong>de</strong> probar que, con dominio <strong>en</strong> el interior <strong>de</strong> D e imag<strong>en</strong> <strong>en</strong> el interior <strong>de</strong> E, existe y es continua la función<br />

inversa Φ −1 .<br />

20<br />

Se <strong>de</strong>fine el Jacobiano J(u, v, w) <strong>de</strong> la función (x, y, z) = (α(u, v, w), β(u, v, w), γ(u, v, w) como el <strong>de</strong>terminante<br />

<strong>de</strong> la matriz cuadrada 3 ×3 que ti<strong>en</strong>e como primera fila (αu, αv, αw), como segunda fila (βu, βv, βw), y como tercera<br />

fila (γu, γv, γw), don<strong>de</strong> αu, αv, αw indica las <strong>de</strong>rivadas parciales <strong>de</strong> α respecto <strong>de</strong> u, <strong>de</strong> v y <strong>de</strong> w respectivam<strong>en</strong>te<br />

(análogam<strong>en</strong>te para las funciones β y γ).<br />

<br />

(2)


Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006. 57<br />

don<strong>de</strong> xρ, xϕ indican las <strong>de</strong>rivadas parciales respecto <strong>de</strong> ρ y <strong>de</strong> ϕ respectivam<strong>en</strong>te, <strong>de</strong> la función<br />

x = x(ρ, ϕ) dada <strong>en</strong> (1). Análogam<strong>en</strong>te yρ e yϕ.<br />

Desarrollando (2) se obti<strong>en</strong>e:<br />

<br />

cos ϕ −ρ s<strong>en</strong> ϕ<br />

J(ρ, ϕ) = <strong>de</strong>t<br />

= ρ(cos ϕ)<br />

s<strong>en</strong> ϕ ρ cos ϕ<br />

2 + ρ(s<strong>en</strong> ϕ) 2 = ρ ≥ 0<br />

Por lo tanto, el Jacobiano <strong>de</strong>l cambio <strong>de</strong> coor<strong>de</strong>nadas a polares, excepto para el orig<strong>en</strong> que correspon<strong>de</strong><br />

a ρ = 0, es positivo e igual a ρ para todo punto <strong>de</strong>l plano. Luego,<br />

|J(ρ, ϕ)| = ρ<br />

Ejemplo <strong>4.</strong>2.1. Área <strong>de</strong> un sector circular.<br />

Halla el área <strong>de</strong>l sector <strong>de</strong> círculo <strong>de</strong> radio r compr<strong>en</strong>dido <strong>en</strong>tre dos semirrectas que pasan por<br />

el c<strong>en</strong>tro y forman ángulo α <strong>en</strong>tre sí. En particular, cuando α = 2π, hallar el área <strong>de</strong>l círculo.<br />

Sea S el sector <strong>de</strong> círculo señalado <strong>en</strong> el <strong>en</strong>unciado. El área <strong>de</strong> S es la integral doble sigui<strong>en</strong>te:<br />

<br />

área (S) = dxdy<br />

Pasando a coor<strong>de</strong>nadas polares <strong>en</strong> el plano x = ρ cos ϕ, y = ρ s<strong>en</strong> ϕ, se observa que<br />

S<br />

(x, y) ∈ S ⇔ 0 ≤ ρ ≤ r, 0 ≤ ϕ ≤ α<br />

don<strong>de</strong> r y α están fijos, y ρ y ϕ son las <strong>variables</strong> <strong>de</strong>l sistema <strong>de</strong> coor<strong>de</strong>nadas polares. Luego:<br />

α r α r α r<br />

área (S) = dxdy = dϕ |J(ρ, ϕ)| dρ = dϕ ρ dρ =<br />

2 αr2<br />

dϕ =<br />

2 2<br />

0<br />

En particular, si α = 2π obt<strong>en</strong>emos el área <strong>de</strong>l círculo <strong>de</strong> radio r que es πr 2 .<br />

0<br />

Ejemplo <strong>4.</strong>2.2. Área <strong>de</strong> la elipse.<br />

Calcular el área <strong>en</strong>cerrada por la elipse <strong>de</strong> semiejes a, b positivos. Es <strong>de</strong>cir, la región D:<br />

El área <strong>de</strong> D es:<br />

Hacemos el cambio <strong>de</strong> <strong>variables</strong>:<br />

Se obti<strong>en</strong>e:<br />

x 2<br />

a<br />

2 + y2<br />

S<br />

≤ 1<br />

b2 <br />

área(D) =<br />

D<br />

x = au, y = bv<br />

0<br />

dxdy<br />

(x, y) ∈ D ⇔ (u, v) ∈ E : u 2 + v 2 ≤ 1<br />

Por lo tanto E es un círculo <strong>en</strong> el plano u, v, incluido su interior, <strong>de</strong> radio 1.<br />

Calculemos el Jacobiano <strong>de</strong>l cambio <strong>de</strong> <strong>variables</strong>:<br />

<br />

xu xv a 0<br />

J(u, v) = <strong>de</strong>t = <strong>de</strong>t = ab > 0<br />

0 b<br />

yu yv<br />

0<br />

0


58 Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006.<br />

El Jacobiano, <strong>en</strong> este caso, es constante. Por el teorema <strong>de</strong> cambio <strong>de</strong> <strong>variables</strong>, se ti<strong>en</strong>e:<br />

<br />

<br />

área(D) = dxdy = |J(u, v)|dudv = (ab) dudv<br />

D<br />

E<br />

Observamos que la última integral a la <strong>de</strong>recha <strong>de</strong> la igualdad anterior es el área <strong>de</strong> E <strong>en</strong> el plano<br />

u, v; es <strong>de</strong>cir el área <strong>de</strong>l círculo <strong>de</strong> radio 1, que es π, según lo visto <strong>en</strong> el ejercicio anterior. Por lo<br />

tanto se <strong>de</strong>duce:<br />

<br />

área(D) = (ab) dudv = π · ab<br />

En el caso particular que a = b = r > 0 el elipsoi<strong>de</strong> es un círculo <strong>de</strong> radio r, cuya área es πr 2 .<br />

Ejemplo <strong>4.</strong>2.3. Volum<strong>en</strong> <strong>de</strong> la esfera.<br />

Calcular el volum<strong>en</strong> <strong>de</strong> la esfera sólida<br />

E<br />

E : x 2 + y 2 + z 2 ≤ r 2<br />

<strong>de</strong> c<strong>en</strong>tro <strong>en</strong> el orig<strong>en</strong> (0, 0, 0) y radio r > 0.<br />

En el ejemplo <strong>4.</strong><strong>4.</strong>1, se calculará el volum<strong>en</strong> <strong>de</strong> la esfera sólida E <strong>de</strong> radio r, como integral<br />

triple <strong>de</strong> la función constante igual a 1 <strong>en</strong> Er.<br />

En este ejercicio calcularemos el volum<strong>en</strong> <strong>de</strong> E como integral doble <strong>de</strong> una cierta función<br />

f(x, y) ≥ 0 <strong>en</strong> un dominio plano D. Esta integral doble es, según lo <strong>de</strong>finido <strong>en</strong> 2.<strong>4.</strong>4, el volum<strong>en</strong><br />

<strong>de</strong>l sólido Vf compr<strong>en</strong>dido abajo <strong>de</strong> la superficie gráfica <strong>de</strong> la función z = f(x, y), don<strong>de</strong> (x, y) ∈ D,<br />

y arriba <strong>de</strong>l plano z = 0. Es <strong>de</strong>cir:<br />

Vf = {(x, y, z) ∈ R 3 : (x, y) ∈ D, 0 ≤ z ≤ f(x, y)}<br />

<br />

Vol.(Vf) = f(x, y) dxdy<br />

Calcularemos el volum<strong>en</strong> <strong>de</strong> la mitad E + <strong>de</strong> arriba (que correspon<strong>de</strong> a z ≥ 0) <strong>de</strong> la esfera E,<br />

y luego multiplicaremos por 2.<br />

La semiesfera E + es el sólido compr<strong>en</strong>dido <strong>en</strong>tre el plano z = 0 y la gráfica <strong>de</strong> la función<br />

z = r2 − x2 − y2 para (x, y) ∈ D, si<strong>en</strong>do D el círculo <strong>en</strong> el plano x, y <strong>de</strong> c<strong>en</strong>tro <strong>en</strong> el orig<strong>en</strong> y<br />

radio r > 0, que correspon<strong>de</strong> a la proyección <strong>de</strong> la semiesfera sobre el plano z = 0. Se obti<strong>en</strong>e:<br />

Vol. (E) = 2Vol. (E + <br />

<br />

) = 2 r2 − x2 − y2 dxdy<br />

Haci<strong>en</strong>do el cambio a coor<strong>de</strong>nadas polares, según las ecuaciones (1) observamos (gráficam<strong>en</strong>te)<br />

que para recorrer todo el dominio circular D (es un círculo, incluido su interior, <strong>de</strong>l plano x, y<br />

c<strong>en</strong>trado <strong>en</strong> el orig<strong>en</strong> y <strong>de</strong> radio r), <strong>de</strong>bemos hacer variar las coor<strong>de</strong>nadas polares ρ, ϕ <strong>en</strong> el<br />

dominio:<br />

(x, y) ∈ E ⇔ 0 ≤ ρ ≤ r, 0 ≤ ϕ ≤ 2π<br />

Por lo tanto usando el teorema <strong>de</strong> cambio <strong>de</strong> <strong>variables</strong> (don<strong>de</strong> <strong>en</strong> vez <strong>de</strong> u, v usamos las coor<strong>de</strong>nadas<br />

polares ρ, ϕ), se <strong>de</strong>duce:<br />

<br />

Vol. (E) = 2<br />

<br />

2π r <br />

r2 − (ρ cos ϕ) 2 − (ρ s<strong>en</strong> ϕ) 2 ·|J(ρ, ϕ)| dρdϕ = 2 dϕ r2 − ρ2 ·ρ dρ (3)<br />

E<br />

0 0<br />

D<br />

D<br />

E


Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006. 59<br />

Por un lado la integral <strong>de</strong> la extrema <strong>de</strong>recha se pue<strong>de</strong> resolver con el cambio s = r 2 − ρ 2 , ds =<br />

−2ρdρ, s = r 2 si ρ = 0, y s = 0 si ρ = r. Resulta:<br />

r<br />

Sustituy<strong>en</strong>do <strong>en</strong> (3) resulta:<br />

0<br />

r 2 − ρ 2 · ρ dρ = − 1<br />

2<br />

0<br />

r 2<br />

√ 1<br />

s ds = −<br />

3 (√s) 3<br />

<br />

<br />

<br />

<br />

2π r <br />

2π r<br />

Vol. (E) = 2 dϕ r2 − ρ2 · ρ dρ = 2<br />

0 0<br />

0<br />

3<br />

3<br />

s=0<br />

s=r 2<br />

dϕ = 2 · r3<br />

3<br />

= r3<br />

3 .<br />

· 2π = 4<br />

3 πr3<br />

Ejemplo <strong>4.</strong>2.<strong>4.</strong> Volum<strong>en</strong> <strong>de</strong>l elipsoi<strong>de</strong>.<br />

Calcular el volum<strong>en</strong> <strong>de</strong>l elipsoi<strong>de</strong> sólido <strong>de</strong> semiejes a, b, c positivos, que ti<strong>en</strong>e por ecuación:<br />

El volum<strong>en</strong> <strong>de</strong> E es<br />

Haci<strong>en</strong>do el cambio <strong>de</strong> <strong>variables</strong>:<br />

se obti<strong>en</strong>e:<br />

E : x2<br />

a<br />

b<br />

y2 z2<br />

+ + 2 2<br />

<br />

Vol.(E) =<br />

E<br />

≤ 1<br />

c2 dxdydz<br />

x = au, y = bv, z = cw<br />

(x, y, z) ∈ E ⇔ u 2 + v 2 + w 2 ≤ 1<br />

Por lo tanto (u, v, w) varían <strong>en</strong> la esfera ˜ E <strong>de</strong> c<strong>en</strong>tro <strong>en</strong> el orig<strong>en</strong> <strong>de</strong>l sistema <strong>de</strong> coor<strong>de</strong>nadas <strong>en</strong><br />

el espacio (u, v, w) y radio 1.<br />

El Jacobiano <strong>de</strong>l cambio <strong>de</strong> <strong>variables</strong> es<br />

⎛<br />

J(u, v, w) = <strong>de</strong>t ⎝<br />

xu xv xw<br />

yu yv yw<br />

zu zv zw<br />

⎞<br />

⎛<br />

⎠ = <strong>de</strong>t ⎝<br />

a 0 0<br />

0 b 0<br />

0 0 c<br />

Usando el teorema <strong>de</strong> cambio <strong>de</strong> <strong>variables</strong>:<br />

<br />

<br />

Vol.(E) = dxdydz = |J(u, v, w)| dudvdw = abc<br />

E<br />

˜E<br />

⎞<br />

⎠ = abc > 0<br />

˜E<br />

|J(u, v, w)| dudvdw (5)<br />

Observamos que la integral <strong>de</strong> la <strong>de</strong>recha <strong>en</strong> (5) es el volum<strong>en</strong> <strong>de</strong>l sólido ˜ E <strong>en</strong> el espacio <strong>de</strong><br />

coor<strong>de</strong>nadas u, v, w. Pero este sólido ˜ E, vimos que es una esfera <strong>de</strong> radio 1. Entonces, por lo<br />

calculado <strong>en</strong> el ejemplo anterior, el volum<strong>en</strong> <strong>de</strong> ˜ E es 4/3π.<br />

Se concluye:<br />

Vol.(E) = 4<br />

· π · abc <br />

3


60 Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006.<br />

<strong>4.</strong>3. Coor<strong>de</strong>nadas cilíndricas <strong>en</strong> el espacio.<br />

Ver sección 71 sub 3 <strong>de</strong>l libro <strong>de</strong> Burgos, <strong>en</strong> la bibliografía al final <strong>de</strong> este texto.<br />

En lo que sigue, hacer un dibujo.<br />

Consi<strong>de</strong>remos <strong>en</strong> el espacio tridim<strong>en</strong>sional R 3 un punto P = (x, y, z), y su proyección ortogonal<br />

P ′ sobre el plano x, y, es <strong>de</strong>cir sobre el plano z = 0. La altura zP ′ <strong>de</strong>l punto P ′ es cero, pero sus<br />

abscisa y or<strong>de</strong>nada son las mismas que la <strong>de</strong>l punto P. Es <strong>de</strong>cir: P ′ = (x, y,0).<br />

Excepto cuando el punto P = (x, y, z) se <strong>en</strong>cu<strong>en</strong>tra <strong>en</strong> el eje <strong>de</strong> las z (es <strong>de</strong>cir, excepto cuando<br />

(x, y) = (0, 0)), el punto P ′ = (x, y,0) es difer<strong>en</strong>te <strong>de</strong>l orig<strong>en</strong>. Llamemos ϕ al ángulo, medido<br />

<strong>en</strong> radiantes <strong>en</strong>tre 0 y 2π que forma la semirrecta OP ′ con el semieje <strong>de</strong> las x positivo. Es <strong>de</strong>cir,<br />

escribimos el punto P ′ = (x, y,0) <strong>en</strong> coor<strong>de</strong>nadas polares <strong>en</strong> el plano x, y. (Ver coor<strong>de</strong>nadas polares<br />

<strong>en</strong> el plano, <strong>en</strong> la sección anterior.)<br />

Se ti<strong>en</strong>e, para el punto P ′ = (x, y,0): x = ρ cos ϕ, y = ρ s<strong>en</strong> ϕ. Luego, para el punto P =<br />

(x, y, z) se obti<strong>en</strong>e:<br />

x = ρ cos ϕ, y = ρ s<strong>en</strong> ϕ, z = z (1)<br />

don<strong>de</strong> las nuevas <strong>variables</strong> son (ρ, ϕ, z) con 0 ≤ ρ, 0 ≤ ϕ ≤ 2π. La última <strong>de</strong> las nuevas <strong>variables</strong><br />

(ρ, ϕ, z) es z, y coinci<strong>de</strong> con la última <strong>de</strong> las viejas <strong>variables</strong> (x, y, z). Observamos que las ecuaciones<br />

(1), val<strong>en</strong> también cuando (x, y) = (0, 0) tomando ρ = 0 y ϕ cualquiera <strong>en</strong>tre 0 y 2π.<br />

Geométricam<strong>en</strong>te <strong>en</strong> el espacio, el lugar <strong>de</strong> puntos P = (x, y, z) que se obti<strong>en</strong>e cuando ρ = r es<br />

una constante positiva, es el lugar <strong>de</strong> puntos tales que sus proyecciones P ′ <strong>en</strong> el plano z = 0 distan<br />

la constante r <strong>de</strong>l orig<strong>en</strong>. Esto es: P ′ se mueve, al variar ϕ, <strong>en</strong> una circunfer<strong>en</strong>cia <strong>de</strong> radio r con<br />

c<strong>en</strong>tro <strong>de</strong>l orig<strong>en</strong>, <strong>de</strong>l plano z = 0. Por lo tanto, el punto P = (x, y, z) se proyecta sobre P ′ (x, y,0),<br />

ti<strong>en</strong>e altura z real y se <strong>en</strong>cu<strong>en</strong>tra, cuando ρ = r > 0 es constante, sobre una superficie cilíndrica<br />

<strong>de</strong> base circular con radio r, superficie cilíndrica esta que es g<strong>en</strong>erada por rectas verticales.<br />

Por lo anterior, las coor<strong>de</strong>nadas (ρ, ϕ, z), dadas por el cambio <strong>de</strong> <strong>variables</strong> (1), se llaman<br />

coor<strong>de</strong>nadas cilíndricas.<br />

Calculemos el Jacobiano J(ρ, ϕ, z) <strong>de</strong>l cambio <strong>de</strong> <strong>variables</strong> (1) a coor<strong>de</strong>nadas cilíndricas <strong>en</strong> el<br />

espacio:<br />

⎛<br />

J(ρ, ϕ, z) = <strong>de</strong>t ⎝<br />

xρ xϕ xz<br />

yρ yϕ yz<br />

zρ zϕ zz<br />

⎞<br />

⎛<br />

⎠ = <strong>de</strong>t ⎝<br />

cos ϕ −ρ s<strong>en</strong> ϕ 0<br />

s<strong>en</strong> ϕ ρ cos ϕ 0<br />

0 0 1<br />

Ejemplo <strong>4.</strong>3.1. Cálculo <strong>de</strong> volum<strong>en</strong> <strong>de</strong> un sector <strong>de</strong> cilindro circular.<br />

⎞<br />

⎠ = ρ(cos 2 ϕ + s<strong>en</strong> 2 ϕ) = ρ<br />

Sea una horma cilíndrica <strong>de</strong> queso <strong>de</strong> base circular con radio r > 0 y altura h > 0. Se corta<br />

un trozo S, haci<strong>en</strong>do dos cortes verticales <strong>de</strong>s<strong>de</strong> el c<strong>en</strong>tro <strong>de</strong> la horma hacia su bor<strong>de</strong>, que forman<br />

ángulo α <strong>en</strong>tre sí. Calcular el volum<strong>en</strong> <strong>de</strong>l trozo S.<br />

<br />

Vol. S = dxdydz<br />

Tomemos coor<strong>de</strong>nadas cartesianas x, y, z con orig<strong>en</strong> <strong>en</strong> el c<strong>en</strong>tro <strong>de</strong>l círculo <strong>de</strong> radio r <strong>de</strong>l plano<br />

<strong>de</strong> abajo <strong>de</strong>l queso.<br />

Pasando a coor<strong>de</strong>nadas cilíndricas x = ρ cos ϕ, y = ρ s<strong>en</strong> ϕ, z = z, se obti<strong>en</strong>e:<br />

(x, y, z) ∈ S ⇔ (ρ, ϕ, z) ∈ E : 0 ≤ ρ ≤ r, 0 ≤ ϕ ≤ α, 0 ≤ z ≤ h<br />

S


Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006. 61<br />

Luego:<br />

<br />

Vol. S =<br />

S<br />

<br />

dxdydz =<br />

E<br />

<br />

|J(ρ, ϕ, z)| dρdϕdz =<br />

r α h r α r α<br />

Vol. S = dρ dϕ ρ dz = dρ ρhdϕ = dρ<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

0<br />

E<br />

ρ dρdϕdz =<br />

hαρ dρ = hαr2<br />

2<br />

Se observa que el volum<strong>en</strong> <strong>de</strong> S es el producto <strong>de</strong> la altura h por el área α r 2 /2 <strong>de</strong> la base. (La<br />

base es el sector circular <strong>de</strong> radio r y ángulo α, cuya área es α r 2 /2, por lo visto <strong>en</strong> el ejercicio<br />

<strong>4.</strong>2.1.)<br />

Ejemplo <strong>4.</strong>3.2. Cálculo <strong>de</strong> volum<strong>en</strong> <strong>de</strong> un sólido <strong>de</strong> revolución.<br />

Sea el sólido D <strong>en</strong> el espacio, obt<strong>en</strong>ido <strong>de</strong> girar alre<strong>de</strong>dor <strong>de</strong>l eje <strong>de</strong> las z la región plana:<br />

Dibujar D y calcular su volum<strong>en</strong>.<br />

A = {x = 0, −2 ≤ z ≤ 1, 0 ≤ y ≤ z 2 }<br />

Primero dibujemos la región plana A. Está cont<strong>en</strong>ida <strong>en</strong> el plano vertical x = 0, o sea <strong>en</strong><br />

el plano y, z; limitado por arriba por la recta x = 0, z = 1; limitado por abajo por la recta<br />

x = 0, z = −2; por la izquierda por la recta x = 0, y = 0 (eje <strong>de</strong> las z); y por la <strong>de</strong>recha por la<br />

curva (parábola) x = 0, y = z 2 . (Esta parábola es simétrica respecto al eje <strong>de</strong> las y, pasa por el<br />

orig<strong>en</strong> y ti<strong>en</strong>e concavidad hacia el semieje <strong>de</strong> y > 0.) Se observa que la región A ti<strong>en</strong>e ”vértices”<strong>en</strong><br />

los puntos T = (0, 0, 1), Q = (0, 0, −2), R = (0, 4, −2), S = (0, 1, 1), todos <strong>de</strong>l plano x = 0.<br />

Entre los vértices T y Q, el lado izquierdo <strong>de</strong> la región A es el segm<strong>en</strong>to <strong>de</strong> recta TQ (cont<strong>en</strong>ido<br />

<strong>en</strong> el eje <strong>de</strong> las z). Entre los vértices Q y R, el lado <strong>de</strong> abajo <strong>de</strong> la región A es el segm<strong>en</strong>to <strong>de</strong><br />

recta horizontal QR a altura −2, cont<strong>en</strong>ido <strong>en</strong> el plano x = 0(plano y, z); análogam<strong>en</strong>te, <strong>en</strong>tre los<br />

vértices T y S, el lado <strong>de</strong> arriba <strong>de</strong> la región A es el segm<strong>en</strong>to <strong>de</strong> recta horizontal TS a altura<br />

+1, cont<strong>en</strong>ido <strong>en</strong> el plano x = 0. Finalm<strong>en</strong>te la parte <strong>de</strong> la frontera <strong>de</strong> la región A que está a la<br />

<strong>de</strong>recha <strong>de</strong> A es la parábola que va <strong>de</strong>s<strong>de</strong> el vértice R hasta el vértice S, pasando por el orig<strong>en</strong>,<br />

con concavidad hacia afuera <strong>de</strong> la región A.<br />

Al girar A alre<strong>de</strong>dor <strong>de</strong>l eje <strong>de</strong> las z se obti<strong>en</strong>e un sólido D con tapa superior que es un disco<br />

horizontal a altura z = 1, <strong>de</strong> radio 1, c<strong>en</strong>trado <strong>en</strong> el punto T <strong>de</strong>l eje <strong>de</strong> las z, cuyo bor<strong>de</strong> es la<br />

circunfer<strong>en</strong>cia que se g<strong>en</strong>era cuando el punto S gira alre<strong>de</strong>dor <strong>de</strong>l eje <strong>de</strong> las z. Análogam<strong>en</strong>te, la<br />

tapa inferior <strong>de</strong>l sólido D es un disco horizontal a altura z = −2, <strong>de</strong> radio 4, c<strong>en</strong>trado <strong>en</strong> el punto<br />

Q <strong>de</strong>l eje <strong>de</strong> las z, cuyo bor<strong>de</strong> es la circunfer<strong>en</strong>cia que se g<strong>en</strong>era cuando el punto R gira alre<strong>de</strong>dor<br />

<strong>de</strong>l eje <strong>de</strong> las z. Por otra parte, las pare<strong>de</strong>s o bor<strong>de</strong> lateral <strong>de</strong>l sólido D, es una superficie alabeada<br />

con forma <strong>de</strong> copa o <strong>de</strong> corsé, con cintura que se reduce a un punto <strong>en</strong> el orig<strong>en</strong>, y que se g<strong>en</strong>era<br />

cuando la parábola x = 0, y = z 2 , que une los puntos R y S pasando por el orig<strong>en</strong>, gira alre<strong>de</strong>dor<br />

<strong>de</strong>l eje <strong>de</strong> las z.<br />

Para calcular el volum<strong>en</strong> <strong>de</strong> D aplicamos la <strong>de</strong>finición:<br />

<br />

Vol.(D) = dxdydz (1)<br />

Encontremos, para calcular esa integral triple, las ecuaciones <strong>de</strong>l sólido D.<br />

Un punto P = (x, y, z) está <strong>en</strong> el sólido D, si y solo si está <strong>en</strong> una circunfer<strong>en</strong>cia plana<br />

x 2 + y 2 = r 2 , z = k, horizontal, <strong>de</strong> radio r y c<strong>en</strong>trada <strong>en</strong> el punto (0, 0, k) <strong>de</strong>l eje <strong>de</strong> las z, que<br />

D


62 Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006.<br />

pasa por algún punto P0 = (0, y0, z0) <strong>de</strong> la región plana A. (Esto significa que el punto P = (x, y, z)<br />

pert<strong>en</strong>ece al sólido D g<strong>en</strong>erado por la región plana A al girar alre<strong>de</strong>dor <strong>de</strong>l eje vertical <strong>de</strong> las z,<br />

pues P se obti<strong>en</strong>e <strong>de</strong> algún punto P0 <strong>de</strong> A girando P0 a lo largo <strong>de</strong> un arco <strong>de</strong> circunfer<strong>en</strong>cia<br />

horizontal c<strong>en</strong>trada <strong>en</strong> el eje <strong>de</strong> las z.)<br />

Luego, las ecuaciones que <strong>de</strong>be verificar P = (x, y, z) para estar <strong>en</strong> el sólido D son:<br />

x 2 + y 2 = r 2 , z = k, 0 + y 2 0 = r 2 , z0 = k, −2 ≤ z0 ≤ 1, 0 ≤ y0 ≤ z 2 0 (2)<br />

(Las dos primeras significan que P está <strong>en</strong> una circunfer<strong>en</strong>cia horizontal c<strong>en</strong>trada <strong>en</strong> el eje <strong>de</strong> las<br />

z; las dos sigui<strong>en</strong>tes significan que P0 = (0, y0, z0) está <strong>en</strong> la misma circunfer<strong>en</strong>cia; las dos últimas<br />

significan que P0 está <strong>en</strong> la región plana D.)<br />

Combinando las ecuaciones <strong>de</strong> (2), para eliminar y0, z0, r y k, resulta:<br />

D = {(x, y, z) ∈ R 3 : −2 ≤ z ≤ 1, 0 ≤ x 2 + y 2 ≤ z 4 } (3)<br />

Pasemos a coor<strong>de</strong>nadas cilíndricas: Φ : x = ρ cos ϕ, y = ρ s<strong>en</strong> ϕ, z = z. Observamos que<br />

ρ = x 2 + y 2 es la distancia <strong>de</strong> P = (x, y, z) al eje <strong>de</strong> las z, y que ϕ, <strong>en</strong> cada circunfer<strong>en</strong>cia<br />

horizontal con c<strong>en</strong>tro <strong>en</strong> el eje <strong>de</strong> las z, varía <strong>en</strong>tre 0 y 2π. Obt<strong>en</strong>emos, pasando (3) a coor<strong>de</strong>nadas<br />

cilíndricas, las ecuaciones <strong>de</strong>l conjunto E = Φ −1 (D):<br />

(x, y, z) ∈ D ⇔ (ρ, ϕ, z) ∈ E = {0 ≤ ϕ ≤ 2π, −2 ≤ z ≤ 1, 0 ≤ ρ 2 ≤ z 4 } (4)<br />

Usamos el teorema <strong>de</strong> cambio <strong>de</strong> <strong>variables</strong> <strong>en</strong> (1):<br />

<br />

<br />

Vol.(D) = dxdydz =<br />

|J(ρ, ϕ, z)|dρdϕdz =<br />

D<br />

E=Φ −1 (D)<br />

E=Φ −1 (D)<br />

ρdρdϕdz<br />

Usando las ecuaciones <strong>de</strong>l conjunto E dadas <strong>en</strong> (4), se obti<strong>en</strong><strong>en</strong> los sigui<strong>en</strong>tes límites <strong>de</strong> integración:<br />

<br />

Vol.(D) =<br />

E=Φ −1 (D)<br />

ρdρdϕdz =<br />

2π<br />

0<br />

1 z2 dϕ dz ρdρ<br />

−2 0<br />

En efecto, para ϕ y z constantes, los límites <strong>de</strong> integración <strong>de</strong> ρ dada por la última <strong>de</strong>sigualdad<br />

<strong>de</strong> (4) son 0 ≤ ρ ≤ z 2 . (Hemos tomado raíz cuadrada positiva <strong>de</strong> ρ 2 ≤ z 4 , pues ρ ≥ 0, <strong>de</strong>bido a la<br />

<strong>de</strong>finición <strong>de</strong> esta coor<strong>de</strong>nada <strong>en</strong> el cambio a <strong>variables</strong> cilíndricas.)<br />

Calculando la última integral triple iterada obt<strong>en</strong>emos:<br />

1<br />

= 2π<br />

−2<br />

ρ 2<br />

2<br />

ρ=z <br />

2<br />

ρ=0<br />

Vol.(D) ==<br />

1<br />

dz = π<br />

−2<br />

2π<br />

0<br />

1 z2 dϕ dz ρdρ =<br />

−2 0<br />

z 4 dz = π · z5<br />

5<br />

<br />

<br />

<br />

<br />

z=1<br />

z=−2<br />

<br />

1 32<br />

= π · + =<br />

5 5<br />

33<br />

· π <br />

5


Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006. 63<br />

<strong>4.</strong><strong>4.</strong> Coor<strong>de</strong>nadas esféricas <strong>en</strong> el espacio.<br />

Ver sección 71 sub 4 <strong>de</strong>l libro <strong>de</strong> Burgos, <strong>en</strong> la bibliografía al final <strong>de</strong> este texto.<br />

Sea P = (x, y, z) un punto <strong>de</strong>l espacio. Llamemos ρ a la distancia <strong>de</strong> P al orig<strong>en</strong> O = (0, 0, 0).<br />

Es <strong>de</strong>cir:<br />

ρ = x 2 + y 2 + z 2<br />

Los puntos con ρ = r, don<strong>de</strong> r es una constante positiva dada, están <strong>en</strong> la superficie esférica<br />

Sr <strong>de</strong> c<strong>en</strong>tro <strong>en</strong> el orig<strong>en</strong> O y radio r.<br />

Para i<strong>de</strong>ntificar cada punto P = (x, y, z) <strong>de</strong> esa superficie esférica Sr, usaremos coor<strong>de</strong>nadas<br />

similares a la latitud y longitud <strong>en</strong> la superficie <strong>de</strong> la Tierra.<br />

En lo que sigue hacer una figura.<br />

Sea N = (0, 0, r) el punto llamado polo norte <strong>de</strong> la superficie esférica Sr, y sea S = (0, 0, −r)<br />

el punto llamado polo sur. Sea el eje vertical <strong>de</strong> la superficie esférica Sr la recta que une el polo<br />

norte con el polo sur. El eje vertical coinci<strong>de</strong> con el eje <strong>de</strong> las z.<br />

Sea el ecuador <strong>de</strong> la superficie esférica Sr, la circunfer<strong>en</strong>cia que resulta <strong>de</strong> intersectar Sr con<br />

el plano z = 0. El plano z = 0 se llama plano <strong>de</strong>l ecuador. Es el plano <strong>de</strong> las <strong>variables</strong> x, y.<br />

Sea P = (x, y, z) un punto <strong>de</strong> la superficie esférica Sr. Es <strong>de</strong>cir:<br />

ρ = x 2 + y 2 + z 2 = r<br />

Llamamos meridiano que pasa por P a la semicircunfer<strong>en</strong>cia que resulta <strong>de</strong> intersectar la<br />

superficie esférica Sr con un semiplano vertical que conti<strong>en</strong>e al punto P y al eje vertical <strong>de</strong> la<br />

superficie. El meridiano que pasa por P está bi<strong>en</strong> <strong>de</strong>finido para todos los puntos P <strong>de</strong> la superficie<br />

esférica Sr, excepto para los polos norte y sur. Por los polos pasan todos los meridianos.<br />

Llamemos meridiano <strong>de</strong> refer<strong>en</strong>cia, al meridiano que pasa por el punto x = r, y = 0, z = 0.<br />

Dado un punto P = (x, y, z) <strong>de</strong> la superficie esférica Sr, (tal que P no sea ninguno <strong>de</strong> los<br />

polos), llamemos ϕ, o longitud <strong>de</strong> P, al ángulo que forma el meridiano que pasa por P con el<br />

meridiano <strong>de</strong> refer<strong>en</strong>cia, medido <strong>en</strong> radianes <strong>en</strong>tre 0 y 2π.<br />

Llamamos P ′ = (x, y,0) a la proyección ortogonal <strong>de</strong> P = (x, y, z) ∈ Sr sobre el plano x, y<br />

<strong>de</strong>l ecuador (plano z = 0). Este punto P ′ <strong>en</strong> g<strong>en</strong>eral cae <strong>en</strong> el interior <strong>de</strong> la esfera <strong>de</strong> radio<br />

r = ρ = x 2 + y 2 + z 2 y c<strong>en</strong>tro <strong>en</strong> el orig<strong>en</strong>; el punto P ′ no necesariam<strong>en</strong>te pert<strong>en</strong>ece a la<br />

superficie esférica Sr. (Más precisam<strong>en</strong>te: P ′ no pert<strong>en</strong>ece a la superficie esférica Sr, excepto<br />

cuando el punto P está <strong>en</strong> el ecuador, <strong>en</strong> cuyo caso P ′ = P. )<br />

Consi<strong>de</strong>rando el plano z = 0 y <strong>en</strong> él el punto P ′ = (x, y,0), y llamando ϕ a la longitud <strong>de</strong>l<br />

punto P = (x, y, z) <strong>de</strong>finida más arriba, se observa que ϕ es el ángulo que forma la semirrecta<br />

OP ′ con el semieje positivo <strong>de</strong> las x. Luego:<br />

x = ||P ′ − 0|| · cos ϕ, y = ||P ′ − 0|| · s<strong>en</strong> ϕ (1)<br />

Las ecuaciones (1) se obti<strong>en</strong><strong>en</strong> <strong>de</strong> la misma forma que se obtuvieron las ecuaciones <strong>de</strong> las coor<strong>de</strong>nadas<br />

polares <strong>en</strong> el plano, <strong>en</strong> la subsección <strong>4.</strong>2, consi<strong>de</strong>rando que ahora la distancia <strong>de</strong> P ′ al<br />

orig<strong>en</strong> no se llama ρ, sino ||P ′ − O||.


64 Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006.<br />

Llamemos θ o complem<strong>en</strong>to <strong>de</strong> latitud <strong>de</strong>l punto P = (x, y, z) al ángulo que forma la semirrecta<br />

OP con el semieje <strong>de</strong> las z > 0 (semirrecta ON que une el orig<strong>en</strong> con el polo norte N), medido<br />

<strong>en</strong> radianes y variando <strong>en</strong>tre 0 y π.<br />

El ángulo θ es como la latitud <strong>en</strong> la superficie <strong>de</strong> la Tierra, pero <strong>en</strong> vez <strong>de</strong> tomar como refer<strong>en</strong>cia<br />

<strong>de</strong> latitud 0 al ecuador, como se hace <strong>en</strong> la Tierra, tomamos como refer<strong>en</strong>cia <strong>de</strong> ángulo θ = 0 al<br />

polo norte. A<strong>de</strong>más, <strong>en</strong> vez <strong>de</strong> medirlo positivam<strong>en</strong>te al movernos hacia el norte y negativam<strong>en</strong>te<br />

hacia el sur, como se hace <strong>en</strong> la Tierra, nuestro ángulo θ aum<strong>en</strong>ta positivam<strong>en</strong>te al <strong>de</strong>sc<strong>en</strong><strong>de</strong>r,<br />

<strong>de</strong>s<strong>de</strong> el polo Norte, hacia el polo Sur. Así, el complem<strong>en</strong>to <strong>de</strong> la latitud es θ = 0, cuando el punto<br />

P coinci<strong>de</strong> con el polo norte N, es θ = π/2 si el punto P se <strong>en</strong>cu<strong>en</strong>tra sobre el Ecuador, y es θ = π<br />

si el punto P coinci<strong>de</strong> con el polo Sur S.<br />

En resum<strong>en</strong>:<br />

Dados ϕ ∈ [0, 2π] y θ ∈ [0, π] se obti<strong>en</strong>e un único punto <strong>de</strong> la superficie esférica Sr que ti<strong>en</strong>e<br />

longitud ϕ y complem<strong>en</strong>to <strong>de</strong> latitud θ.<br />

Consi<strong>de</strong>rando el triángulo rectángulo OPP ′ , don<strong>de</strong> P ′ = (x, y,0) es la proyección ortogonal<br />

<strong>de</strong> P = (x, y, z) sobre el plano z = 0, se observa que el ángulo que forman las semirrectas OP y<br />

<br />

PP ′ <strong>en</strong>tre sí, es igual a θ (porque PP ′ es una recta vertical). A<strong>de</strong>más el cateto PP ′ , adyac<strong>en</strong>te al<br />

ángulo θ <strong>en</strong> el triángulo rectángulo OPP ′ , ti<strong>en</strong>e longitud (con signo) igual a z, que es la altura <strong>de</strong>l<br />

punto P ′ . Por otra parte la hipot<strong>en</strong>usa es la distancia <strong>de</strong> P al orig<strong>en</strong>, que llamamos ρ = r > 0. Por<br />

lo tanto cos θ = z/ρ. El otro cateto OP ′ <strong>de</strong>l triángulo rectángulo OPP ′ , que es el cateto opuesto<br />

al ángulo θ, ti<strong>en</strong>e longitud ||P ′ − 0||. Por lo tanto, s<strong>en</strong>θ = ||P ′ − O||/ρ<br />

Se <strong>de</strong>duce:<br />

||P ′ − O|| = ρ s<strong>en</strong> θ, z = ρ cos θ (2)<br />

Reuni<strong>en</strong>do las ecuaciones (1) con las ecuaciones (2), se obti<strong>en</strong>e:<br />

x = ρ s<strong>en</strong> θ cos ϕ, y = ρ s<strong>en</strong> θ s<strong>en</strong> ϕ, z = ρ cos θ (3)<br />

Las coor<strong>de</strong>nadas (ρ, θ, ϕ) se llaman coor<strong>de</strong>nadas esféricas <strong>en</strong> el espacio. El dominio <strong>de</strong> variación<br />

<strong>de</strong> estas coor<strong>de</strong>nadas es<br />

0 ≤ ρ, 0 ≤ θ ≤ π, 0 ≤ ϕ ≤ 2π<br />

Las ecuaciones (3) son las ecuaciones <strong>de</strong>l cambio <strong>de</strong> <strong>variables</strong> <strong>de</strong> coor<strong>de</strong>nadas esféricas a coor<strong>de</strong>nadas<br />

cartesianas.<br />

Encontremos el Jacobiano <strong>de</strong>l cambio <strong>de</strong> <strong>variables</strong> a coor<strong>de</strong>nadas esféricas:<br />

⎛<br />

xρ<br />

J(ρ, θ, ϕ) = <strong>de</strong>t ⎝ yρ<br />

xθ<br />

yθ<br />

⎞ ⎛<br />

⎞<br />

xϕ cos ϕ s<strong>en</strong> θ ρ cos ϕ cos θ −ρ s<strong>en</strong> ϕ s<strong>en</strong> θ<br />

yϕ ⎠ = <strong>de</strong>t ⎝ s<strong>en</strong> ϕ s<strong>en</strong> θ ρ s<strong>en</strong> ϕ cos θ ρ cos ϕ s<strong>en</strong> θ ⎠<br />

cos θ −ρ s<strong>en</strong> θ 0<br />

zρ zθ zϕ<br />

Desarrollando este <strong>de</strong>terminante por la última fila, se obti<strong>en</strong>e:<br />

J(ρ, θ, ϕ) = cos θ(ρ 2 s<strong>en</strong> θ cos θ) + ρ s<strong>en</strong> θ(ρ s<strong>en</strong> 2 θ) = ρ 2 s<strong>en</strong> θ(cos 2 θ + s<strong>en</strong> 2 θ) = ρ 2 s<strong>en</strong> θ<br />

Se observa que como θ ∈ [0, π], por la <strong>de</strong>finición <strong>de</strong> las coor<strong>de</strong>nadas esféricas, <strong>en</strong>tonces s<strong>en</strong> θ ≥ 0,<br />

por lo tanto J(ρ, θ, ϕ) ≥ 0 y se cumple:<br />

|J(ρ, θ, ϕ)| = ρ 2 s<strong>en</strong> θ


Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006. 65<br />

para todos los puntos <strong>de</strong>l espacio.<br />

Ejemplo <strong>4.</strong><strong>4.</strong>1. Volum<strong>en</strong> <strong>de</strong> un sector sólido <strong>de</strong> esfera y <strong>de</strong> la esfera sólida <strong>de</strong> radio r.<br />

Sea una sandía esférica <strong>de</strong> radio r > 0. Se efectúan dos cortes verticales <strong>en</strong> la sandía, a los<br />

efectos <strong>de</strong> sacar una tajada D, cortando <strong>de</strong>s<strong>de</strong> el eje vertical <strong>de</strong> la sandía hacia afuera, primero<br />

<strong>en</strong> un semiplano hacia a<strong>de</strong>lante, y luego <strong>en</strong> otro semiplano que forma ángulo α con el anterior.<br />

Calcular el volum<strong>en</strong> <strong>de</strong> la tajada D obt<strong>en</strong>ida.<br />

En particular, si el ángulo α = 2π, la tajada D es toda la sandía. Calcular el volum<strong>en</strong> <strong>de</strong> toda<br />

la sandía (volum<strong>en</strong> <strong>de</strong> la esfera sólida Er <strong>de</strong> radio r.)<br />

Tomando el c<strong>en</strong>tro <strong>de</strong> la sandía como orig<strong>en</strong> <strong>de</strong> un sistema <strong>de</strong> coor<strong>de</strong>nadas x, y, z ortogonal<br />

cartesiano, y el eje <strong>de</strong> las z <strong>en</strong> la vertical, se ti<strong>en</strong>e:<br />

<br />

Vol.(D) = dxdydz<br />

Pasando a coor<strong>de</strong>nadas esféricas (ρ, θ, ϕ) con las ecuaciones (3) <strong>de</strong>l parágrafo anterior, se ti<strong>en</strong>e:<br />

(x, y, z) ∈ D ⇔ (ρ, ϕ, θ) ∈ E : 0 ≤ ρ ≤ r, 0 ≤ θ ≤ π, 0 ≤ ϕ ≤ α<br />

Luego, por el teorema <strong>de</strong> cambio <strong>de</strong> <strong>variables</strong>:<br />

<br />

Vol.(D) = dxdydz =<br />

Se concluye<br />

r<br />

Vol.(D) =<br />

0<br />

r <br />

= α<br />

0<br />

D<br />

π<br />

dρ dθ<br />

0<br />

D<br />

E<br />

α<br />

ρ 2 r<br />

s<strong>en</strong> θ dϕ =<br />

0<br />

−ρ 2 cos θ| θ=π<br />

θ=0<br />

<br />

r<br />

dρ = 2α<br />

|J(ρ, ϕ, θ)| dρdθdϕ<br />

0<br />

0<br />

π<br />

dρ αρ<br />

0<br />

2 s<strong>en</strong> θ dθ =<br />

ρ 2 dρ = 2<br />

· α · r3<br />

3<br />

Vol.(D) = 2<br />

· α · r3<br />

3<br />

En particular, sustituy<strong>en</strong>do α = 2π <strong>en</strong> la fórmula anterior, se obti<strong>en</strong>e el volum<strong>en</strong> <strong>de</strong> la esfera sólida<br />

Er <strong>de</strong> radio r:<br />

Vol. (Er) = 4<br />

π r3<br />

3<br />

Este resultado coinci<strong>de</strong> con el hallado <strong>en</strong> el ejemplo <strong>4.</strong>2.3.<br />

<strong>4.</strong>5. Peso <strong>de</strong> un sólido dada su <strong>de</strong>nsidad puntual.<br />

La <strong>de</strong>nsidad es el coci<strong>en</strong>te <strong>de</strong>l peso sobre el volum<strong>en</strong>, siempre que el peso <strong>de</strong> cada pedacito <strong>de</strong>l<br />

sólido, por más pequeño que sea este, sea el mismo para pedacitos <strong>de</strong> igual volum<strong>en</strong>. En ese caso<br />

la <strong>de</strong>nsidad es constante <strong>en</strong> cada punto <strong>de</strong>l sólido.<br />

<strong>4.</strong>5.1. Peso <strong>de</strong> un sólido dada su <strong>de</strong>nsidad variable con el punto.<br />

Si un sólido S ti<strong>en</strong>e <strong>en</strong> cada punto (x, y, z) <strong>de</strong>nsidad f(x, y, z), variable con el punto, <strong>en</strong>tonces<br />

el peso <strong>de</strong> S es la suma <strong>de</strong> los pesos <strong>de</strong> cada trocito Ri,j,k infinitimam<strong>en</strong>te pequeño, trocitos estos


66 Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006.<br />

que part<strong>en</strong> S. Los trocitos Ri,j,k forman una partición <strong>de</strong> S, si<strong>en</strong>do Ri,j,k un pequeño prisma recto<br />

<strong>de</strong> lados ∆x,∆y, ∆z.<br />

Para cada uno <strong>de</strong> esos trocitos Ri,j,k, el peso es el producto <strong>de</strong> la <strong>de</strong>nsidad f(xi, yj, zk) (supuesta<br />

constante <strong>en</strong> el trocito, porque es infinitam<strong>en</strong>te pequeño), por el volum<strong>en</strong> <strong>de</strong>l trocito, que es<br />

∆x · ∆y · ∆z. Luego, se obti<strong>en</strong>e:<br />

Peso(S) = lím<br />

∆x→0 lím<br />

∆y→0 lím<br />

∆z→0<br />

n,m,p <br />

(i,j,k)=(1,1,1)<br />

f(xi, yj, zk)∆x · ∆y · ∆z<br />

Esta última es una suma <strong>de</strong> Riemann, como las <strong>de</strong>finidas <strong>en</strong> 2.1.7. Luego, se obti<strong>en</strong>e, (adaptando<br />

a <strong>integrales</strong> <strong>triples</strong> el resultado <strong>de</strong> la proposición 2.1.7), la sigui<strong>en</strong>te fórmula <strong>de</strong>l peso dada la<br />

<strong>de</strong>nsidad:<br />

<br />

Peso(S) = f(x, y, z) dxdydz don<strong>de</strong> f(x, y, z) es la <strong>de</strong>nsidad <strong>en</strong> el punto (x, y, z) ∈ S<br />

S<br />

Ejemplo <strong>4.</strong>5.2. Cálculo <strong>de</strong>l peso dada la <strong>de</strong>nsidad.<br />

Sea una horma cilíndrica <strong>de</strong> queso <strong>de</strong> base circular con radio r > 0 y altura h > 0. Se corta<br />

un trozo S, haci<strong>en</strong>do dos cortes verticales <strong>de</strong>s<strong>de</strong> el c<strong>en</strong>tro <strong>de</strong> la horma hacia su bor<strong>de</strong>, que forman<br />

ángulo α <strong>en</strong>tre sí.<br />

El radio r = 10cm., la altura h = 8cm., el ángulo α = π/3 radianes, y la <strong>de</strong>nsidad <strong>de</strong>l queso<br />

<strong>en</strong> el punto (x, y, z) es<br />

Calcular el peso <strong>de</strong>l trozo S.<br />

1<br />

[0, 9] kg/dm3 · · [<br />

[180] cm3 .<br />

x2 + y2 · (z 2 − hz + h 2 )] cm3 .<br />

Si medimos x, y, z, r, h <strong>en</strong> c<strong>en</strong>tímetros, el volum<strong>en</strong> quedará <strong>en</strong> cm3 . Si<strong>en</strong>do 1dm3 = 103cm3 ,<br />

resulta que la <strong>de</strong>nsidad f(x, y, z) es:<br />

<br />

0, 9<br />

[f(x, y, z)] kg./cm3 . =<br />

103 <br />

1<br />

· · [<br />

[180] cm3 x2 + y2 · (z 2 − hz + h 2 )] cm3 kg/cm 3<br />

Y el peso <strong>de</strong> S, por la fórmula <strong>de</strong>l párrafo <strong>4.</strong>5.1, será (siempre que x, y, z, h, r se midan <strong>en</strong> cm.):<br />

<br />

5<br />

[Peso(S)]kg. =<br />

106 · x2 + y2 · (z 2 − hz + h) dxdydz<br />

Pasando a coor<strong>de</strong>nadas cilíndricas:<br />

resulta:<br />

Por lo tanto:<br />

S<br />

x = ρ cos ϕ, y = ρ s<strong>en</strong> ϕ, z = z<br />

(x, y, z) ∈ S ⇔ (ρ, ϕ, z) ∈ E : 0 ≤ ρ ≤ r, 0 ≤ ϕ ≤ α, 0 ≤ z ≤ h<br />

<br />

[Peso(S)]kg. =<br />

S<br />

5<br />

10 6 · x 2 + y 2 · (z 2 − hz + h 2 ) dxdydz =


Integrales paramétricas e <strong>integrales</strong> <strong>dobles</strong> y <strong>triples</strong>. Eleonora Catsigeras. 19 Julio 2006. 67<br />

<br />

=<br />

E<br />

5<br />

106 ·ρ2 ·(z 2 −hz+h 2 r<br />

) |J(ρ, ϕ, z)| dρdϕdz = dρ<br />

0<br />

α<br />

0<br />

h<br />

dϕ<br />

0<br />

Calculando la integral anterior empezando por la extrema <strong>de</strong>recha, se obti<strong>en</strong>e:<br />

[Peso(S)]kg. = 5<br />

106 r α<br />

dρ ρ<br />

0 0<br />

2 <br />

z3 · − hz2<br />

3 2 + h2 z=h <br />

z dϕ =<br />

z=0<br />

= 5<br />

106 r<br />

ρ<br />

0<br />

2 α <br />

h3 · dρ − hh2 + h3 dϕ =<br />

0 3 2 5<br />

r 5h3<br />

· ρ<br />

106 6 0<br />

2 α<br />

· dρ<br />

0<br />

[Peso(S)]kg. = 5 5h3 r3<br />

· · · α<br />

106 6 3<br />

Sustituy<strong>en</strong>do α = π/3, r = 10cm., h = 8cm. se obti<strong>en</strong>e:<br />

[Peso(S)]kg. = 5 5 × 83<br />

· ·<br />

106 6<br />

103 π<br />

·<br />

3 3<br />

= 0, 746 kg.<br />

5<br />

10 6 · ρ 2 ·(z 2 −hz+h 2 )·ρ dz<br />

dϕ =

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!