Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cálculo IV
i) g es integrable sobre B1 y
Z Z
ii) g= f.
B1 B1
Demostración
i) Se tiene
{~x ∈ B1 : ◦(g, ~x) > 0} = {~x ∈ B2 : ◦(g, ~x) > 0} ∪ {~x ∈ B1 \ B2 : ◦(g, ~x) > 0}
también:
Z Z Z Z Z Z Z
f= f χB1 = f χB2 + f χB1 \B2 = f+ f= f
B1 A A A B B1 \B2 B1 \B2
| {z2 }
=0
Z Z
.·. g= f
B1 B1
2
Proposición 32. Sean A, B ⊂ Rn conjuntos Jordan-medibles, f : A∪B −→ R, entonces f es integrable
en A ∪ B ⇐⇒ f es integrable en A, B y A ∩ B. En este caso se tiene que:
Z Z Z Z
f= f+ f− f
A∪B A B A∩B
Ası́
Se sigue que f es integrable sobre A ∪ B. Sea S un rectangulo cerrado tal que S ⊃ A ∪ B y f˜ la extensión
de f a S
Z Z Z Z Z Z Z Z
f= f˜χA∪B = f˜χA + f˜χB − f˜χA∩B = f+ f− f
A∪B S S S A∩B A B A∩B
2
Corolario 33. Sean A, B ⊂ Rn conjuntos Jordan-medibles, f : A ∪ B −→ R integrable sobre A y sobre
B. Se supone que A ∩ B es un conjunto de medida cero. Entonces f es integrable sobre A ∪ B y además
Z Z Z
f= f+ f.
A∪B A B
Demostración. Se tiene
Se concluye que {~x ∈ A ∪ B : ◦(f, ~x) > 0} es de medida cero, por lo tanto, f es integrable sobre A ∪ B.
Z Z Z Z Z Z
f= f+ f− f= f+ f.
A∪B A B A∩B A B
| {z }
=0
2
Proposición 34. (Teorema del valor medio para integrales) Sea B ⊂ Rn un conjunto Jordan-medible,
compacto y conexo. Sea f : B −→ R continua sobre B, existe ~x0 ∈ B tal que
Z
f = f (~x0 )V (B).
B
Demostración Como f es continua y B es compacto y conexo, se sigue que f (B) = [m, M ], donde
m ≤ M.
Z
Si V (B) = 0, entonces B tiene medida cero, luego f = 0 y por lo tanto la igualdad.
B
Z Z
1
mV (B) ≤ f ≤ M V (B) ⇒ m ≤ f ≤M
B V (B) B
Z
1
como f es uan función de B sobre [m, M ], existe ~x0 ∈ B tal que f = f (~x0 )
V (B) B
Z
.·. f = f (~x0 )V (B).
B
2
Capı́tulo 1
Teorema de Fubini
Sea A ⊂ R2 un rectángulo cerrado, sea f : A −→ R donde (podemos suponer para fijar ideas) f (~x) ≥
0 ∀ ~x ∈ A.
Considere la lámina mostrada en la figura, su volumen es:
Z b
f (x, y)dx
a
a cada una de las integrales del mienbro derecho se ls llama integrales iteradas.
4
Estas ideas pueden extenderse a conjuntos Jordan-medibles. Por ejemplo si:
y f : B −→ R integrables, entonces
!
Z Z b Z φ2 (x)
f= f (x, y)dy dx
B a φ1 (x)
B = {(x, y, z) ∈ R3 : φ1 (x, y) ≤ z ≤ φ2 (x, y) ∀ (x, y) tal que θ1 (y) ≤ x ≤ θ2 (y), y ∈ [a, b]}
! !
Z Z b Z θ2 (y) Z φ2 (x,y)
f= f (x, y, z)dz dx dy
B a θ1 (y) φ1 (x,y)
Z
Ejemplo 1. Expresar usando integrales iteradas f , donde
B
Ası́
Z Z
f= f˜χB
B A
donde
1 (x, y) ∈ B
χB (x, y) =
0 (x, y) ∈ A \ B
p p
(x, y) ∈ B(0, 1) ⇐⇒ x2 + y 2 < 1 ⇐⇒ x2 + y 2 < 1 ⇐⇒ |y| < 1 − x2
p
(x, y) ∈ B ⇐⇒ −1 ≤ x ≤ 1, −1 ≤ y ≤ 1 y |y| ≥ 1 − x2
√
−1 ≤ x ≤ 1, −1 ≤ y ≤ − 1 − x2
(x, y) ∈ B ⇐⇒ √
−1 ≤ x ≤ 1, 1 − x2 ≤ y ≤ 1
Entonces:
√ !
Z Z 1 Z − 1−x2 Z 1 Z 1
= f (x, y)dy dx + √ f (x, y)dy dx.
B −1 −1 −1 1−x2
2
Z
Ejemplo 2. Hallar (x2 + y 2 )dxdy, donde B es la región del plano limitada por y = x2 , x = 2, y = 1.
B
Solución.
x2 y2
Ejemplo 4. Calcular del sólido limitado por el plano xy, el paraboloide elı́ptico z = + y el
2p 2q
x2 y2
cilindro + = 1.
a2 b2
Solución.
"Z b
√ #
a a2 −x2
x2 y2 x2 y2 πab a2 b2
Z Z Z a
V = + dx dy = 4 + dy dx = +
B 2p 2q 0 0 2p 2q 8 p q
2
x2 y2 z2
Ejemplo 5. Calcular del sólido limitado por el elipsoide + + = 1.
a2 b2 c2
Solución.
q
2
1− x
r r
Z Z 2 2 Z a Z 2 2
x y a2 x y 4abc
V =8 c 1− − 2 dx dy = 8c 1− − 2 dy dx = π
B a2 b 0 0 a2 b 3
Z Z Z
Ejemplo 7. Calcular zdx dy dz sobre el octante de la esfera de centro en el origen y radio R
B
limitado por el triedro de semiejes positivos.
Solución.