Instituto Politécnico Nacional

Escuela Superior de Fı́sica y Matemáticas

Cálculo IV

Nota: Si B1 es un conjunto Jordan-medible y B2 ⊂ B1 , entonces no necesariamente se sigue que B2

sea Jordan-medible. Para ver esto considere B1 = R y B2 = Q. B1 es Jordan-medible, pero B2 no es
Jordan-medible.

Proposición 31. Sea B1 un conjunto Jordan-medible, f, g : B1 −→ R acotadas. Se supone que f es

integrable, entonces si:

B2 = {~x ∈ B1 : f (~x) 6= g(~x)}

es Jordan-medible y tiene medida cero, entonces:

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}

⊂ B2 ∪ {~x ∈ B1 \ B2 : ◦(f, ~x) > 0}

⊂ B2 ∪ {~x ∈ B1 : ◦(f, ~x) > 0}

Como {~x ∈ B1 : ◦(f, ~x) > 0} y B2 tienen medida cero, entonces

{~x ∈ B1 : ◦(g, ~x) > 0}

tiene medida cero, luego, g es integrable sobre B1 .

ii) Sea A un rectángulo cerrado tal que B1 ⊂ A, entonces:
Z Z Z Z Z Z Z
g= gχB1 = gχB2 + gχB1 \B2 = g+ g= f
B1 A A A B B1 \B2 B1 \B2
| {z2 }
=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

Demostración Supongamos que f es integrable sobre A ∪ B, luego


 {~x ∈ B : ◦(f, ~x) > 0}




{~x ∈ A ∪ B : ◦(f, ~x) > 0} ⊃ {~x ∈ A : ◦(f, ~x) > 0}




{~x ∈ A ∩ B : ◦(f, ~x) > 0}


Como f es integrable sobre A ∪ B, se sigue la misma conclusión sobre A, B y A ∩ B

Notesé que como

F r(A ∪ B) ⊂ F r(A) ∪ F r(B)

F r(A ∩ B) ⊂ F r(A) ∪ F r(B)

entonces A ∪ B y A ∩ B son Jordan-medible.

Recı́procamente supongamos que f es integrable sobre A, sobre B y sobre A ∩ B. Entonces:

E ={~x ∈ A : ◦(f χA , ~x) > 0} es de medida cero.

F ={~x ∈ B : ◦(f χB , ~x) > 0} es de medida cero.

G ={~x ∈ A ∩ B : ◦(f χA∩B , ~x) > 0} es de medida cero.

Sea ~x ∈ ◦(f χA , ~x) = 0, ◦(f χB , ~x) = 0, ◦(f χA∩B , ~x) = 0, entonces

◦(f χA + f χB − f χA∩B , ~x) = 0 ⇒ ◦(f χA∪B , ~x) = 0

pues f χA + f χB − f χA∩B = f χA∪B .

Ası́

E C ∩ F C ∩ GC ⊂ {~x ∈ A ∪ B : ◦(f χA∪B , ~x = 0} ⇒ {~x ∈ A ∪ B : ◦(f χA∪B , ~x) > 0} ⊂ E ∪ F ∪ G

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

{~x ∈ A ∪ B : ◦(f, ~x) > 0} = {~x ∈ A \ B : ◦(f, ~x) > 0}

∪ {~x ∈ B \ A : ◦(f, ~x) > 0} ∪ {~x ∈ A ∩ B : ◦(f, ~x) > 0}

⊂ {~x ∈ A : ◦(f, ~x) > 0} ∪ {~x ∈ B : ◦(f, ~x) > 0} ∪ (A ∩ B)

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

Podemos suponer que V (B) > 0, como m ≤ f (~x) ≤ ∀ ~x ∈ B, por lo tanto

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

La idea del Teorema de Fubini es como sigue:

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

Uno esperarı́a que el volumen del sólido mostrado sea

!
Z d Z b
V = f (x, y)dx dy
c a

Básicamente el Teorema de Fubini afirma que bajo ciertas condiciones

Z Z Z 
f d~xd~y = f d~x d~y
C×D D C

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:

B = {(x, y) ∈ R2 : φ1 (x) ≤ y ≤ φ2 (x) ∀ x ∈ [a, b], con φ1 y φ2 continuas en [a, b]}

y f : B −→ R integrables, entonces
!
Z Z b Z φ2 (x)
f= f (x, y)dy dx
B a φ1 (x)

Si B = {(x, y) ∈ R2 : ϕ1 (y) ≤ x ≤ ϕ2 (y) ∀ y ∈ [c, d] con ϕ1 y ϕ2 continuas }

Finalmente si por ejemplo:

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

B = [−1, 1] × [−1, 1] \ B(0, 1)

Solución. Sea f˜ : [−1, 1] × [−1, 1] −→ R definida por


 f (x, y) (x, y) ∈ B
f˜(x, y) =
0 (x, y) 6∈ 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.

Método 1. Considerando la integración vertical, se obtiene:

x2
!
Z Z 2 Z
2 2 2 2
(x + y )dx dy = (x + y )dy dx
B 1 0

Método 2. Considerando la integración horizontal, se obtiene:

!
Z Z 4 Z 2
(x2 + y 2 )dx dy = √
(x2 + y 2 )dx dy
B 1 y

Ejemplo 3. Hallar el volumen que encierra la intersección de los cilindros x2 + y 2 = a2 y x2 + z 2 = a2 .

Solución.
√ !
Z Z p Z a Z a2 −x2 p 16 3
V = a2 − x2 dx dy = 8 a− x2 dy dx = a
B 0 0 3
2

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

Ejemplo 6. Si en el ejemplo anterio: a = b = c = r, el volumen es el de una esfera de radio r, i. e.

4 3
V = πr
3
2

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.