Tema II:

La Integral multiple

Genaro López Acedo

Universidad de Sevilla
Departamento de Análisis Matemático

curso 2022-2023

(Universidad de Sevilla) Tema I 23 de febrero de 2023 1 / 35

 Sumario

1 Introducción

2 Teorema de Fubini

3 Cambio de variable

4 Comentarios bibliográficos

(Universidad de Sevilla) Tema I 23 de febrero de 2023 2 / 35

 Sumario

1 Introducción

2 Teorema de Fubini

3 Cambio de variable

4 Comentarios bibliográficos

(Universidad de Sevilla) Tema I 23 de febrero de 2023 2 / 35

 Sumario

1 Introducción

2 Teorema de Fubini

3 Cambio de variable

4 Comentarios bibliográficos

(Universidad de Sevilla) Tema I 23 de febrero de 2023 2 / 35

 Sumario

1 Introducción

2 Teorema de Fubini

3 Cambio de variable

4 Comentarios bibliográficos

(Universidad de Sevilla) Tema I 23 de febrero de 2023 2 / 35

 Introducción

Una vez introducida una medida en el espacio Rd sabemos, en la asignatura

SFIL se estudió, que es posible definir para algunas funciones de la clase de
las medibles Lebesgue el valor de su integral en un conjunto medible. Uno de
los objetivos de la asignatura es aprender a calcular integrales de funciones de
varias variables, también llamadas multiples, mediante la aplicación reiterada
de la regla de Barrow para integrales simples. Este procedimiento lo vamos a
justificar mediante El Teorema de Fubini. Otra herramienta que nos será de
gran ayuda para realizar estos cálculos es el Teorema de Cambio de Variable.
Este tema está centrado en estos dos importantes resultados. Comenzaremos
con un breve repaso de los conceptos y resultados que utilizaremos para su
prueba.

(Universidad de Sevilla) Tema I 23 de febrero de 2023 3 / 35

 Introducción

Funciones medibles

Una función f : Rd → R se dice medible si para todo t ∈ R el conjunto

f −1 ([−∞, t)) = {x ∈ Rd : −∞ ≤ f (x) < t}

es medible. A continuación se dan definiciones equivalentes.

1 En la definición se puede cambiar el menor por menor o igual o mayor
igual.
2 En la definición se puede considerar t ∈ Q.
3 f −1 (G) medible para todo G abierto.
4 Análogas definiciones para fA donde A es medible.

(Universidad de Sevilla) Tema I 23 de febrero de 2023 4 / 35

 Introducción

Funciones simples
Una función f : Rd → R se dice simple si se puede escribir de la forma
N
φ (x) = ∑ ai χEi (x),
i=1

donde ai ∈ R y Ei son medibles y disjuntos y χEi (x) es la función

caracterictica asociada al conjunto Ei .
La integral de una función simple se define como
Z N
φ dm = ∑ ai m(Ei ).
Rd i=1

Sea φ : Rd → [0, ∞) simple y medible y B ⊂ Rd un conjunto medible, decimos

que φ is integrable en B si
Z Z
φ dm = φ χB dm < ∞.
B Rd

(Universidad de Sevilla) Tema I 23 de febrero de 2023 5 / 35

 Introducción

Sea f : Rd → [0, ∞] . Denotamos por

Sf = {g : X → [0, ∞) : g simple, measurable y g ≤ f }.

La integral de f está definida como

Z Z 
f dm = sup g dm : g ∈ Sf .

Decimos que f es integrable si

Z
f dm < ∞

.
S B es medible, entonces
Z Z
fdm = f χB dm.
B
R
Decimos que f es integrable en B si Bf dm < ∞.
(Universidad de Sevilla) Tema I 23 de febrero de 2023 6 / 35
 Introducción

Aproximación de funciones medibles por funciones

simples

Una función f : Rd → [0, +∞] medible se puede escribir como lı́mite de de

una sucesión no decreciente φn (x) de funciones simples no negativas.

φn (x) ≤ φn+1 (x), lı́m φn (x) = f (x).

n→∞

Una función f : Rd → R medible se puede escribir como limite de de una

sucesión φn de funciones simples cuyos módulos forman una sucesión no
decreciente de funciones simples positivas.

|φn (x)| ≤ |φn+1 (x)|, lı́m φn (x) = f (x).

n→∞

(Universidad de Sevilla) Tema I 23 de febrero de 2023 7 / 35

 Introducción

Sea f : X → [0, ∞] medible. Entonces:

(i) Si f es integrable, entonces f es finita salvo en un conjunto de medida
nula , diremos que es finita casi por todo (c.p.t.).
Z
(ii) f dm = 0 sii f = 0 c.p.t..

(Universidad de Sevilla) Tema I 23 de febrero de 2023 8 / 35

 Introducción

Teorema de la Convergencia Monótona

Teorema 1.
Sea fn : Rd → [0, +∞] una sucesión de funciones no decrecientes y medibles,
entonces Z Z
lı́m fn dm = lı́m fn dm
n→∞ Rd Rd n→∞

(Universidad de Sevilla) Tema I 23 de febrero de 2023 9 / 35

 Introducción

Funciones integrables

Sea f : Rd → R. Las funciones f + , f − : X → [0, ∞] se definen como

f + (x) = máx{f (x), 0} and f − (x) = − mı́n{f (x), 0} = máx{−f (x), 0},

y se denominan la parte positiva y la parte negativa de f , respectivamente.

que la integral de f existe si al menos una de las integrales f + dm o
R
Decimos
R −
f dm es finita, y en este caso la integral de f está definida como
Z Z Z
f dm = +
f dm − f − dm ∈ R.

si las dos integrales f + dm and f − dm son

R R
Decimos que f es integrable
R
finita, y por tanto lo es f dm ∈ R.
Si B es medible, la integrabilidad de f en el conjunto B queda determinada por
la de la función f χB .

(Universidad de Sevilla) Tema I 23 de febrero de 2023 10 / 35

 Introducción

Teorema de la convergencia monótona

Teorema 2.
Sea f : Rd → R medible y (fn )n∈N de funciones medibles fn : X → R, n ∈ N,
tales que fn → f puntualmente c.p.t.. Supongamos que g : Rd → [0, ∞] es
integrable y
∀n ∈ N, |fn | ≤ g c.p.t.
Entonces las funciones fn , n ∈ N, y f son integrables y
Z Z
lı́m fn dm = f dm.
n→∞

(Universidad de Sevilla) Tema I 23 de febrero de 2023 11 / 35

 Introducción

Teorema 3.
Sea (fn )n∈N una sucesión de funciones integrables tales que
∞ Z
∑ |fn | dm < +∞.
n=1

entonces la serie ∑∞
n=1 fn (x) converge c.p.t. , la función suma es integrable y
Z ∞ ∞ Z
∑ fn dm = ∑ fn dm.
n=1 n=1

(Universidad de Sevilla) Tema I 23 de febrero de 2023 12 / 35

 Teorema de Fubini

En esta sección vamos a probar el teorema de Fubini. Como paso previo

veremos el principio de Cavalieri. Este principio generaliza el método sobre
medición de volúmenes de figuras en el espacio a partir de las áreas de
secciones que se utilizó en el curso anterior.
Empezaremos fijando notación.
Sea A un conjunto de Rd = Rd1 × Rd2 , z = (x, y) ∈ Rd1 × Rd2 . Se definen las
secciones de A como sigue:
1 Ay = {x ∈ Rd1 : (x, y) ∈ A}.
2 Ax = {y ∈ Rd2 : (x, y) ∈ A}.

(Universidad de Sevilla) Tema I 23 de febrero de 2023 13 / 35

 Teorema de Fubini

Observación 4.
1 Si R es un rectángulo, entonces para todo (x, y) ∈ Rd se tiene que Ry y Rx
son rectángulos y md (R) = md1 (Ry )md2 (Rx ).
2 Si G es abierto (cerrado), entonces Gy y Gx son abiertos (cerrados) para
todo (x, y) ∈ Rd .
3 (∪i∈I Ai )y = ∪i∈I (Ai )y , (∩i∈I Ai )y = ∩i∈I (Ai )y , (A \ B)y = Ay \ By .

(Universidad de Sevilla) Tema I 23 de febrero de 2023 14 / 35

 Teorema de Fubini

Principio de Cavalieri

Teorema 5.
Sea E un conjunto medible de Rd = Rd1 × Rd2 . Entonces, para casi todo
y ∈ Rd2 el conjunto Ey es medible en Rd1 , la función y → md1 (Ey ) es medible
no negativa y se verifica la igualdad
Z
md (E) = md1 (Ey ) dy.
Rd2

Igualmente para casi todo x ∈ Rd1 el conjunto Ex es medible en Rd2 , la

función x → md1 (Ex ) es medible no negativa y se verifica la igualdad
Z
md (E) = md1 (Ex ) dx.
Rd1

(Universidad de Sevilla) Tema I 23 de febrero de 2023 15 / 35

 Teorema de Fubini

Demostración

La demostración se realiza en tres pasos

1 E rectángulo.
2 E es abierto.
3 E es medible acotado.
4 E medible.

(Universidad de Sevilla) Tema I 23 de febrero de 2023 16 / 35

 Teorema de Fubini

Corolario 6.
Sea E ⊂ Rd = Rd1 × Rd2 con md (E) = 0. Entonces c.p.t. y ∈ Rd2 se tiene que
md1 (Ey ) = 0 y c.p.t. x ∈ Rd1 se tiene que md2 (Ex ) = 0.

(Universidad de Sevilla) Tema I 23 de febrero de 2023 17 / 35

 Teorema de Fubini

Teorema de Fubini para medibles positivas

Sea f una función definida en Rd = Rd1 × Rd2 e y ∈ Rd2 fijo. Definimos la

función fy en Rd1 por fy (x, y)

Teorema 7.
Sea f una función definida en Rd = Rd1 × Rd2 → [0, +∞] una función medible.
Entonces, c.p.t. y ∈ Rd2 la función fy es medible por lo que la función
Z
y ∈ Rd2 → f (x, y)dx ∈ [0, +∞],
Rd1

está definida en c.p.t. y ∈ Rd2 . Además esta función es medible positiva y se

verifica que
ZZ Z Z 
f (x, y) d(x, y) = f (x, y) dy dx
Rd1 ×Rd2 Rd2 Rd1

(Universidad de Sevilla) Tema I 23 de febrero de 2023 18 / 35

 Teorema de Fubini

Demostración

La demostración se realiza en tres pasos

1 f es la función caracterı́stica de un conjunto medible.
2 f es una función simple medible positiva .
3 E es medible positiva.

(Universidad de Sevilla) Tema I 23 de febrero de 2023 19 / 35

 Teorema de Fubini

Teorema de Fubini para integrables

Teorema 8.
Sea f una función definida en Rd = Rd1 × Rd2 → R una función integrable.
Entonces, c.p.t. y ∈ Rd2 la función fy es integrable por lo que la función
Z
d2
y∈R → f (x, y)dx ∈ [0, +∞],
Rd1

está definida en c.p.t. y ∈ Rd2 . Además esta función es integrable y se verifica

que  
ZZ Z Z
f (x, y) d(x, y) = f (x, y)) dy dx
Rd1 ×Rd2 Rd2 Rd1

(Universidad de Sevilla) Tema I 23 de febrero de 2023 20 / 35

 Teorema de Fubini

Teorema de Tonelli

Teorema 9.
Sea f una función definida en Rd = Rd1 × Rd2 → R una función medible. Si
una de las integrales iteradas
Z Z  Z Z 
|f (x, y)| dy dx, |f (x, y)| dx dy
Rd2 Rd1 Rd1 Rd2

es finita, entonces la función f es integrable.

(Universidad de Sevilla) Tema I 23 de febrero de 2023 21 / 35

 Teorema de Fubini

En muchos caso se consideran integrales de funciones definidas en un

conjunto de la forma A × B ∈ Rd1 × Rd2 donde A y B son subconjuntos
medibles en Rd1 y Rd2 respectivamente. El siguiente resultado nos dice que en
ese caso A × B es medible y nos da el valor de su medida en función de las
medidas de A y B y cómo consecuencia la siguiente igualdad para funciones
medibles positivas.
ZZ Z Z 
f (x, y) dxdy = f (x, y) dx dy.
A×B B A

(Universidad de Sevilla) Tema I 23 de febrero de 2023 22 / 35

 Teorema de Fubini

Teorema 10.
Si A ⊂ Rd1 y B ⊂ Rd2 son subconjuntos medibles en Rd1 y Rd2
respectivamente, entonces el conjunto A × B ∈ Rd es medible Lebesgue y

md (A × B) = md1 (A) × md2 (B).

Concluimos está sección dedicada al teorema de Fubini analizando un tipo de

conjuntos denominados proyectables que serán muy útiles para su aplicación

(Universidad de Sevilla) Tema I 23 de febrero de 2023 23 / 35

 Teorema de Fubini

Concluimos está sección dedicada al Teorema de Fubini analizando un tipo de

conjuntos denominados proyectables que serán muy útiles para su aplicación.
Diremos que un subconjunto A ⊂ R2 es proyectable sobre el eje de ábcisas
cuando exista un intervalo I de extremos ay b (−∞ ≤ a < b ≤ +∞) y dos
funciones medibles α, β : I → R tales que

A = {(x, y) ∈ R2 : x ∈ I, α(x) ≤ y ≤ β (x)}.

1 En la anterior definición las desigualdades pueden ser cambiadas por

desigualdades estrictas.
2 De forma análoga de definen los conjuntos proyectables sobre el eje de
ordenadas.
Los conjuntos proyectables son medibles y si f es una función medible no
negativa o integrable definida en un conjunto proyectable A, como el definido
con anterioridad se tiene
ZZ Z b Z β (x)
f (x, y) dxdy = f (x, y) dx) dy.
A a α(x)

(Universidad de Sevilla) Tema I 23 de febrero de 2023 24 / 35

 Teorema de Fubini

Diremos que un subconjunto B ⊂ R2 es proyectable sobre el plano z = 0

cuando podamos escribirlo en la forma

B = {(x, y, z) ∈ R3 : (x, y) ∈ A, ψ(x, y) ≤ y ≤ φ (x, y)}.

donde A es medible en R2 y ψ(x, y), φ (x, y) son funciones medibles definidas

en A.
1 En la anterior definición las desigualdades pueden ser cambiadas por
desigualdades estrictas.
2 De forma análoga de definen los conjuntos proyectables sobre los planos
y = 0 y x = 0.
Los conjuntos proyectables son medibles y si f es una función medible no
negativa o integrable definida en un conjunto proyectable A, como el definido
con anterioridad se tiene
ZZZ Z Z φ (x,y) 
f (x, y, z) dxdydz = f (x, y, z) dz dxdy.
B A ψ(x,y)

(Universidad de Sevilla) Tema I 23 de febrero de 2023 25 / 35

 Teorema de Fubini

Si en el anterior ejemplo suponemos que el conjunto A es proyectable sobre el

eje de abcisas, tendremos la siguiente igualdad
ZZZ Z b Z β (x) Z φ (x,y)  
f (x, y, z) dxdydz = f (x, y, z) dz dy dx.
B a α(x) ψ(x,y)

(Universidad de Sevilla) Tema I 23 de febrero de 2023 26 / 35

 Cambio de variable

Un instrumento que resulta muy util para el cálculo de integrales multiples es

la formula del cambio de variable. Para poder entender y probar este resultado
es necesario resolver el problema de la relación que existe entre la medida de
un conjunto y la medida de la imagen del conjunto obtenida al aplicarle una
transformación suficientemente regular. Para ser precisos dados U, V ⊂ Rd
abiertos y φ un difeomorfismo φ : U → V , si A ⊂ U es medible nos
planteamos estudiar la relación entre la medida de A y la medida de φ (A).
Este resultado lo obtendremos de forma escalonada empezando por el caso en
que φ es un isomorfismo.

(Universidad de Sevilla) Tema I 23 de febrero de 2023 27 / 35

 Cambio de variable

Teorema 11.
Sea φ : Rd → Rd un isomorfismo. Para todo A ⊂ Rd medible Lebesgue, φ (A)
es medible Lebesgue y

m(φ (A)) = |det φ |m(A).

(Universidad de Sevilla) Tema I 23 de febrero de 2023 28 / 35

 Cambio de variable

Si φ : Rd → Rp es una aplicación lineal, se define su norma como

kφ k = sup{kφ (v)k∞ : k(v)k∞ ≤ 1}.

Lema 12.
Sea φ : U ⊂ Rd → Rp , U abierto, d ≤ p de clase C1 en U. Si Q ⊂ U es un
cubo de arista menor que la unidad y kdφ (x)k ≤ C para todo x ∈ U, entonces

m∗p (φ (Q)) ≤ Cp |Q|.

Teorema 13.
Sea φ : U ⊂ Rd → Rp , U abierto, d ≤ p de clase C1 en U. Si A ⊂ U es de
medida cero en Rd , entonces φ (A) es de medida cero en Rp .

(Universidad de Sevilla) Tema I 23 de febrero de 2023 29 / 35

 Cambio de variable

Teorema 14.
Sean U, V ⊂ Rd abiertos y φ un difeomorfismo de clase C1 en U. A ⊂ U es
medible sii φ (A) es medible

Teorema 15.
Sean U, V ⊂ Rd abiertos y φ un difeomorfismo de clase C1 en U. Si A ⊂ U es
medible entonces Z
m(φ (A)) = |det dφ (x)| dx.
A

(Universidad de Sevilla) Tema I 23 de febrero de 2023 30 / 35

 Cambio de variable

Teorema de Cambio de Variable

Teorema 16.
Sean U, V ⊂ Rd abiertos y φ un difeomorfismo de clase C1 en U. Sea f una
función medible Lebesgue definida en V con valores no negativos o con
valores reales. Entonces f ◦ φ es medible y
Z Z
f (y) d(y) = f (φ (x))|det dφ (x)| dx.
V U

si uno de los miembros de la anterior igualdad está definido.

(Universidad de Sevilla) Tema I 23 de febrero de 2023 31 / 35

 Cambio de variable

Coordenadas polares en el plano

Sea
U = (ρ, θ ) ∈ R2 : ρ ∈ (0, +∞), θ ∈ (−π, π) .


V = (x, y) ∈ R2 : (x, y) 6= (x, 0), x ≤ 0 .



La aplicación φ : U → V definida por

φ (ρ, θ ) = (ρ cos θ , ρ sen θ ).

es un difeomorfismo de clase C∞ cuyo jacobiano vale ρ que recibe el nombre

de cambio de coordenadas a polares.

(Universidad de Sevilla) Tema I 23 de febrero de 2023 32 / 35

 Cambio de variable

Coordenadas esféricas en el espacio

Sea
n π π o
U = (ρ, θ , ψ) ∈ R3 : ρ ∈ (0, +∞), θ ∈ (−π, π), ψ ∈ (− , ) .
2 2
y

V = R3 \ (x, y, z) ∈ R3 : y = 0, x ≤ 0 .


La aplicación φ : U → V definida por

φ (ρ, θ , ψ) = (ρ cos ψ cos θ , ρ cos ψ sen θ , ρ sen ψ).

es un difeomorfismo de clase C∞ cuyo jacobiano vale ρ 2 cos ψ que recibe el

nombre de cambio de coordenadas a esféricas.

(Universidad de Sevilla) Tema I 23 de febrero de 2023 33 / 35

 Cambio de variable

Coordenadas cilı́ndricas

Sea
U = (ρ, θ , z) ∈ R3 : ρ ∈ (0, +∞), z ∈ (−∞, +∞), z ∈ R) .


V = R3 \ (x, y, z) ∈ R3 : y = 0, x ≤ 0 .


La aplicación φ : U → V definida por

φ (ρ, θ , z) = (ρ cos θ , ρ sen θ , z).

es un difeomorfismo de clase C∞ cuyo jacobiano vale ρ que recibe el nombre

de cambio de coordenadas a cilı́ndricas .

(Universidad de Sevilla) Tema I 23 de febrero de 2023 34 / 35

 Comentarios bibliográficos

Para este tema he seguido

José Antonio Facenda Agurre, Francisco José Freniche Ibañez, :
Integración de funciones de varias variables, Editorial Piramide, 2022.

(Universidad de Sevilla) Tema I 23 de febrero de 2023 35 / 35