Captulo IV: Clculo Integral

Ya hemos comentado algunos de los problemas que dieron origen al orgen del
Clculo, ahora hablaremos de alguno ms, tal como el problema de calcular la longitud
de una curva o del rea y volmen de una gura acotada por curvas y supercies.
El origen de los mtodos que ahora empleamos se remonta a ms de 2000
aos, cuando los griegos para resolver el problema del clculo del rea de ciertas guras
geomtricas, idearon el procedimiento de exhaucin: Dada una regin cuya rea quiere
determinarse, se inscriben en ella sucesivas regiones poligonales cuyas reas se aproxi-
men cada vez mejor al rea de la regin que queremos determinar; procediendo ahora
por "paso al lmite"podremos determinar el rea buscada. Este mtodo fue usado sa-
tisfactoriamente por Arqumedes (287-212 a. C.) para hallar la frmula exacta del rea
del crculo.
Gradualmente, este mtodo ha ido transformndose en una potente herramienta
que tiene numerosas aplicaciones en todas las ciencias entre ellas la resolucin de los
problemas ya enunciados y de otros relacionados, como ya veremos, tales como el clculo
del centro de gravedad de un cuerpo y la fuerza de atraccin de la gravedad
2
ndice general
1. 5
2. 7
3. 9
4. Integracin en una y varias variables 11
4.1. Funciones integrables . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4.1.1. Funciones integrables . . . . . . . . . . . . . . . . . . . . . . . . 11
4.1.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
4.1.3. Propiedades de las funciones integrables . . . . . . . . . . . . . 14
4.1.4. Relacin entre integracin y derivacin. . . . . . . . . . . . . . . 15
4.1.5. Cmo evaluar una integral . . . . . . . . . . . . . . . . . . . . . 16
4.1.6. Integrales impropias . . . . . . . . . . . . . . . . . . . . . . . . 17
4.1.7. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 20
4.2. Clculo integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2.1. Integracin de funciones racionales . . . . . . . . . . . . . . . . 21
4.2.2. Integracin de funciones no racionales . . . . . . . . . . . . . . . 25
4.2.3. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 28
4.3. Aplicaciones del clculo integral . . . . . . . . . . . . . . . . . . . . . . 29
4.3.1. La integral como

paso al lmite

. . . . . . . . . . . . . . . . 29
4.3.2. Clculo del rea de un recinto plano . . . . . . . . . . . . . . . 31
4.3.3. Clculo de la longitud de una curva . . . . . . . . . . . . . . . 32
4.3.4. Clculo del volumen y del rea de un slido de revo-lucin . . . 33
4.3.5. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 36
4.4. Integral de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.4.1. Por qu una nueva integral? . . . . . . . . . . . . . . . . . . . 39
4.4.2. Conjuntos medibles . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.4.3. Funciones medibles. Integral de Lebesgue . . . . . . . . . . . . . 42
4.4.4. Funciones integrables . . . . . . . . . . . . . . . . . . . . . . . . 43
4.4.5. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.4.6. Funciones denidas por integrales . . . . . . . . . . . . . . . . . 46
4.5. Tcnicas de integracin en varias variables . . . . . . . . . . . . . . . . 47
4.5.1. Teorema de Fubini . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.5.2. Cambio de coordenadas . . . . . . . . . . . . . . . . . . . . . . 48
4.5.3. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 50
3
4 NDICE GENERAL
4.6. Algunas aplicaciones del clculo integral a la Fsica . . . . . . . . . . . 53
4.6.1. Volumen de un slido . . . . . . . . . . . . . . . . . . . . . . . . 53
4.6.2. Medias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.6.3. Centros de gravedad . . . . . . . . . . . . . . . . . . . . . . . . 55
4.6.4. Momentos de inercia . . . . . . . . . . . . . . . . . . . . . . . . 56
4.7. Ecuaciones diferenciales . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.7.1. Ecuaciones diferenciales ordinarias . . . . . . . . . . . . . . . . 59
4.7.2. Lineal de primer orden . . . . . . . . . . . . . . . . . . . . . . . 60
4.7.3. e.d.o. de orden uno no lineal . . . . . . . . . . . . . . . . . . . . 61
4.7.4. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 63
Captulo 1
5
6 CAPTULO 1.
Captulo 2
7
8 CAPTULO 2.
Captulo 3
9
10 CAPTULO 3.
Captulo 4
Integracin en una y varias variables
4.1. Funciones integrables
Sumario
En esta leccin introduciremos el concepto de funcin integrable, en el sentido de
Riemann, como una evolucin natural del mtodo de exhaucin, usado por los griegos para
calcular ciertas reas, y estudiaremos sus propiedades. Enunciaremos el teorema fundamental
del clculo que relaciona la integral con la derivacin y la Regla de Barrow indispensable
para el clculo integral. Finalmente estudiaremos las funciones impropiamente integrables. El
contenido completo de esta leccin se articula de la siguiente manera:
IV.1.1 Funciones integrables.
V.1.2 Ejemplos
IV.1.3 Propiedades de las funciones integrables.
IV.1.4 Relacin entre integracin y derivacin
IV.1.5 Cmo evaluar una integral.
IV.1.6 Integrales impropias.
IV.1.7 Relacin de ejercicios.
4.1.1. Funciones integrables
Sea f : [a, b] R una funcin acotada y sea sea P = {t
0
, t
1
, ..., t
n
} una particin
del intervalo [a, b]. Para cada k {1, 2, ..., n}, llamemos I
k
al intervalo [x
k1
, x
k
] y
notemos por
M
k
(f, P) = Sup{f(I
k
)}, m
k
(f, P) = Inf{f(I
k
)}.
11
12 IV.1. Funciones integrables
Llamaremos suma superior de la funcin f respecto de la particin P al
nmero real
S(f, P) :=
k=n

k=1
M
k
(f, P)(x
k
x
k1
),
y anlogamente llamaremos suma inferior de la funcin f respecto de la particin
P al nmero real
I(f, P) :=
k=n

k=1
m
k
(f, P)(x
k
x
k1
).
Sea
S := {S(f, P); P particin del intevalo [a, b]}
e
I = {I(f, P); P particin del intevalo [a, b]}.
Es claro que dadas dos particiones cualesquiera del intervalo [a, b] se tiene que
I(f, P) S(f, Q),
y por tanto el conjunto S es un conjunto minorado de nmeros reales. Llamaremos
integral superior de f en el intervalo [a, b], al nmo del conjunto S que notaremos
por
_
b
a
f(x)dx.
Por idntica razn el conjunto I es un conjunto mayorado de nmeros reales y llamare-
mos integral inferior de f en el intervalo [a, b] al supremo de dicho conjunto, supremo
que notaremos por
_
b
a
f(x)dx.
Diremos que f es integrable en el intervalo [a, b] si el nmo del conjunto S y el
supremo del conjunto I coinciden, esto es, si
_
b
a
f(x)dx =
_
b
a
f(x)dx.
Si f es integrable en [a, b] dicho valor InfS = Sup I ser conocido como la integral
de f en [a, b], y se notar por
_
b
a
f(x)dx.
Para mayor comodidad, si f es integrable en [a, b], acordamos los siguientes convenios:
Anlisis Matemtico 13
_
a
b
f(x)dx =
_
b
a
f(x)dx, y
_
a
a
f(x)dx = 0.
Observacin
Es fcil probar que si [a, b] es un intervalo y f : [a, b] R es una funcin
acotada, entonces f es integrable en [a, b] si, y slo si, existe una sucesin de particiones
{P
n
} vericando que la sucesin {S(f, P
n
) I(f, P
n
)} converge a cero.
4.1.2. Ejemplos
1) Es fcil probar que toda funcin constante es integrable, de hecho
_
b
a
cdx = c(b a).
2) Las funciones montonas en un intervalo [a, b] son funciones integrables en dicho
intervalo.
3) Las funciones continuas son tambin funciones integrables.
La demostracin de que toda funcin continua es integrable necesita del teorema
de Heine sobre la continuidad uniforme.
4) De hecho tenemos que
Proposicin 4.1.1. Sea f : [a, b] R una funcin integrable. Entonces si
g : [a, b] R es una funcin que coincide con f excepto a lo ms en un nmero
nito de puntos de [a, b], g es tambin una funcin integrable y adems
_
b
a
f(x)dx =
_
b
a
g(x)dx.
5) La funcin de Dirichlet:
f(x) =
_
0 si x [0, 1] Q
1 si x [0, 1] R\Q
No es integrable en [0, 1]. De hecho, es fcil probar que
_
1
0
f(x)dx = 1,
_
1
0
f(x)dx = 0.
14 IV.1. Funciones integrables
4.1.3. Propiedades de las funciones integrables
Veamos ahora algunas propiedades de las funciones integrables
Proposicin 4.1.2. Sean f, g : [a, b] R dos funciones integrables en [a, b]. Entonces
1. f + g es una nueva funcin integrable en [a, b] y se verica que
_
b
a
(f + g)(x)dx =
_
b
a
f(x)dx +
_
b
a
g(x)dx.
2. Para cada r R, la funcin rf es una nueva funcin integrable en [a, b] y se
verica que
_
b
a
(rf)(x)dx = r
_
b
a
f(x)dx.
3. Si para cada x [a, b], f(x) g(x), se tiene que
_
b
a
f(x)dx
_
b
a
g(x)dx.
4. |f| es tambin una funcin integrable y se verica que
|
_
b
a
f(x)dx|
_
b
a
|f|(x)dx.
5. f.g es una nueva funcin integrable en [a, b] y se verica que
_
b
a
(f.g)(x)dx (
_
b
a
f
2
(x)dx)
1
2
.(
_
b
a
g
2
(x)dx)
1
2
(desigualdad de Schwarz),
y
(
_
b
a
(f+g)
2
(x)dx)
1
2
(
_
b
a
f
2
(x)dx)
1
2
+(
_
b
a
g
2
(x)dx)
1
2
(desigualdad de Minkowski).
Finalmente tambin se verica la propiedad de la aditividad respecto del
intervalo, esto es,
Proposicin 4.1.3. Sea f : [a, b] R una funcin acotada y sea c ]a, b[. Entonces
f es integrable en [a, b] si, y slo si, f es integrable en [a, c] y [c, b]. En caso de ser
integrables se tiene que
_
b
a
f(x)dx =
_
c
a
f(x)dx +
_
b
c
f(x)dx.
Como ejercicio calclese la siguiente integral:
_
3
0
3E[x] + 2 dx.
Anlisis Matemtico 15
4.1.4. Relacin entre integracin y derivacin.
Estudiaremos ahora la importante conexin entre los tres conceptos bsicos de
la primera parte del curso: continuidad, derivacin e integracin. Para poder enunciar
este resultado, esto es, el teorema fundamental del clculo, necesitamos introducir el
concepto de integral indenida.
Sea I un intervalo de nmeros reales, y una f : I R una funcin continua. Si
c I llamaremos integral indenida de f con origen en c a la funcin F : I R,
denida, para cada x I, por
F(x) =
_
x
c
f(t)dt.
Teorema 4.1.4. (fundamental del Clculo)
Sea f una funcin continua en un intervalo I y sea F cualquier integral indenida
de f. Entonces F es derivable en I y para cada x I,
F

(x) = f(x).
Para su demostracin necesitamos algunas observaciones:
a) Si f : [a, b] R es una funcin integrable y c [a, b], entonces
_
b
a
f +
_
c
b
f +
_
a
c
f = 0.
b) Si f : [a, b] R es una funcin continua, entonces existe c [a, b] tal que
_
b
a
f = f(c)(b a).
Ejercicio: Sea F : R
+
R denida por
F(x) =
_
x
1
1/t dt.
Calclese F(1), la funcin derivada de F y determnense sus propiedades analticas.
16 IV.1. Funciones integrables
4.1.5. Cmo evaluar una integral
El siguiente resultado, el cual es consecuencia del teorema del valor medio,
es importantsimo ya que nos permitir evaluar la integral de una funcin conocida su
primitiva. Para enunciarlo, necesitamos recordar que dada una funcin f denida en in
intervalo I se dice que f admite primitiva si existe una funcin G : I R derivable
tal que, para cada x I, G

(x) = f(x).
Teorema 4.1.5. (Regla de Barrow)
Sea f : [a, b] R una funcin integrable y supongamos que admite una primitiva
G. Entonces
_
b
a
f(x)dx = G(b) G(a).
Es claro que si f es continua, entonces, como consecuencia del teorema fun-
damental del clculo, cualquier integral indenida F de f es una primitiva de f. Pero
si intentamos evaluar dichas primitivas no obtenemos ninguna informacin no trivial.
Por tanto el problema de evaluar la integral de una funcin continua f, para aplicar la
Regla de Barrow, consiste en conseguir una primitiva de f susceptible de ser evaluada
en los puntos a y b.
Ejercicio: Calclese la siguiente integral:
_
1
0
2x
3
+ 1 dx.
A menudo conviene transformar la funcin f en otra funcin cuya primitiva sea
ms accesible; los siguientes resultados ofrecen algunas transformaciones interesantes.
Corolario 4.1.6. (teorema del cambio de variable)
Sea g : [a, b] R una funcin de clase C
1
([a, b]) con g

(x) = 0. Si f es una funcin

continua en g([a, b]), entonces la funcin f g.g

es una nueva funcin integrable y

_
g(b)
g(a)
f(x)dx =
_
b
a
f(g(t)).g

(t)dt.
La regla formal seguida en el resultado anterior consiste en sustituir g(t) por x y
g

(t)dt por dx y los valores extremos t = a, t = b por los correspondientes x = g(a), x =

g(b).
Ejercicios:
1. Calclese la siguiente integral:
_
1
0
2xe
x
2
dx.
Anlisis Matemtico 17
2. Demustrese que , para a, b R
+
,
_
ab
a
1/t dt =
_
b
1
1/t dt.
Nota
Obsrvese que despus de esta propiedad, la funcin F : R
+
R, denida por
F(x) =
_
x
1
1/t dt.
es una biyeccin estrictamente creciente vericando que:
- F(1) = 0
- F(xy) = F(x) + F(y).
- F(e) = 1
Esto es, la funcin F no es otra cosa que la funcin logaritmo neperiano cuya exis-
tencia armbamos al principio de curso.
La siguiente tcnica es especialmente til cuando se trata de calcular la integral
de un producto de funciones o de una funcin fcilmente derivable (basta ver sta como
el producto de ella por la funcin constante uno).
Corolario 4.1.7. (teorema de integracin por partes)
Sean F, G : [a, b] R dos funciones de clase C
1
([a, b]). Entonces
_
b
a
F(x).G

(x)dx = F(b).G(b) F(a)G(a)

_
b
a
F

(x).G(x)dx.
Ejercicio: Calclense las siguientes integrales:
_
2
1
log(x)dx y
_
1
0
x
2
sen(x)dx.
4.1.6. Integrales impropias
El concepto de integral que hemos introducido presenta, entre otras, dos
limitaciones importantes:
1. El intervalo de integracin es del tipo [a, b]
2. El integrando es una funcin acotada en dicho intervalo.
18 IV.1. Funciones integrables
Nuestro objetivo ms inmediato es extender la nocin de integral a intervalos
arbitrarios y a funciones continuas no necesariamente acotadas.
Sea I =], [ un intervalo con , R { , +}. Sea f : I R una
funcin continua en I y sea G una primitiva de f. Se dice que f es impropiamente
integrable en ], [ si existen
lim
x
G(x), lim
x
G(x).
Adems en caso armativo
_

f(x)dx = lim
x
G(x) lim
x
G(x).
Dicha integral recibe el nombre de integral impropia de f en ], [.
Ejercicio: Calclese la siguiente integral:
_
1
0
1/

xdx.
Es claro que toda funcin continua en un intervalo [a, b] es impropiamente
integrable en ]a, b[ y su integral impropia coincide con su integral.
Las propiedades de las funciones impropiamente integrables son similares a las
ya estudiadas para las funciones integrables.
Proposicin 4.1.8. Sean f, g :], [ R dos funciones impropiamente integrables.
Entonces
1. f + g es una nueva funcin impropiamente integrable en ], [ y se verica que
_

(f + g)(x)dx =
_

f(x)dx +
_

g(x)dx.
2. Para cada r R, la funcin rf es una nueva funcin impropiamente integrable
en ], [ y se verica que
_

rf(x)dx = r
_

f(x)dx.
3. Si para cada x [a, b], f(x) g(x), se tiene que
_

f(x)dx
_

g(x)dx
Anlisis Matemtico 19
E incluso,
Proposicin 4.1.9. Sea f :], [ R una funcin continua y c ], [. Entonces f
es impropiamente integrable en ], [ si, y slo si, f es impropiamente integrable en
], c[ y ]c, [. En caso armativo se tiene que
_

f(x)dx =
_
c

f(x)dx +
_

c
f(x)dx.
Ejercicio: Calclense, cuando existan, las siguientes integrales:
_
1
0
1/xdx,
_
1
1
1/x
2
dx,
_
+
1
1/

xdx y
_
+
1
1/x
2
dx.
Como consecuencia de la dencin, obtenemos los correspondientes teoremas del
cambio de variable y de integracin por partes.
Teorema 4.1.10. (del cambio de variable)
Sea g una funcin de clase C
1
en el intervalo ], [ con g

(x) = 0. Si f es una
funcin continua en g(], [), entonces f es impropiamente integrable en ], [ si, y
slo si, f g.g

es impropiamente integrable en ], [. En caso armativo,

_
lim
x
g(x)
lim
x
g(x)
f(x)dx =
_

f(g(x))g

(x)dx.
Ejercicio: Calclese la siguiente integral:
_
1
0
2x/(x
2
+ 1) dx.
Teorema 4.1.11. (de integracin por partes)
Sean F y G dos funciones de clase C
1
en el intervalo ], [ y supongamos que F.G
tiene lmite en y en . Entonces F.G

es impropiamente integrable si, y slo si F

.G
es impropiamente integrable. En caso armativo
_

F(x).G

(x)dx = lim
x
F(x)G(x) lim
x
F(x)G(x)
_

(x).G(x)dx.
Ejercicio: Calclese la siguiente integral:
_
1
0
log(x)dx.
20 IV.1. Funciones integrables
A veces resulta que una determinada funcin no es impropiamente integrable
pero puede obtenerse un cierto valor relacionado con ella.
Supongamos que f : R R es una funcin continua en R. Llamamos valor
principal de Cauchy de la integral de f en R y suele escribirse,
V.P.
_
+

f = lim
x+
_
x
x
f.
As por ejemplo V.P.
_
+

xdx = 0.
Anlogamente si f :], [R, con , R, es una funcin continua en ], [,
llamamos valor principal de Cauchy de la integral de f en ], [ y suele escribirse,
V.P.
_

f = lim
0
_

+
f.
Es claro que si f es impropiamente integrable en ], [ (, R

{+}

{}),
entonces su valor principal de Cauchy coincide con su integral impropia.
4.1.7. Relacin de ejercicios
1. Calclense las siguientes integrales:
_
1
0
arctg(x) dx,
_
1
0
x
2
e
x
dx,
_
+
2
dx
x(log(x))
2
_
/4
0
sen
2
x cos
3
x dx,
_
/2
/4
cosx log(senx) dx,
_
/2
0
senx
cos
2
x
dx.
2. Hllense las derivadas de cada una de las funciones siguientes:
a) F(x) =
_
x
a
sen
3
(t) dt. b) F(x) =
_
x
2
3
1
1 + sin
6
t + t
2
dt
c) F(x) =
_

x
1
sen(s)
s
ds
3
1/(sen
2
(t
2
) + 1) dt
d) F(x) =
_
b
x
1
1 + t
2
+ sen
2
(t)
dt.
e) F(x) =
_
b
a
t
1 + t
2
+ sen(t)
dt f) F(x) =
_
b
a
tx
1 + t
2
+ sen(t)
dt
4.2. CLCULO INTEGRAL 21
4.2. Clculo integral
Sumario
En esta leccin nos ocuparemos del problema prctico de evaluar la integral de toda
funcin racional y de algunas funciones no racionales. El contenido completo de esta leccin
se articula de la siguiente manera:
IV.2.1 Integracin de funciones racionales.
IV.2.2 Integracin de funciones no racionales.
IV.2.3 Relacin de ejercicios.
4.2.1. Integracin de funciones racionales
Daremos un mtodo general para la evaluacin de la integral de una funcin
racional cuya "nica"dicultad consiste en encontrar la descomposicin en factores irre-
ducibles de un polinomio con coecientes reales.
Sea f : [a, b] R una funcin racional y sean P, Q, : R R las corres-
pondientes funciones polinmicas tales que, f(x) =
P(x)
Q(x)
con Q(x) = 0, para cada
x [a, b]. Podemos suponer sin prdida de generalidad (en caso contrario se manipula
algebraicamente) que:
1) P y Q son dos polinomios primos entre s.
2) El polinomio Q(x) es de mayor grado que P(x).
3) El coeciente lder del polinomio Q(x) es uno.
En la situacin anterior, el problema de evaluar la integral de f se resuelve usando
sendos resultados algebraicos: la descomposicin en factores irreducibles de un polino-
mio con coecientes reales y la descomposicin en fracciones simples de una funcin
racional con coecientes reales.
Proposicin 4.2.1.
1) Descomposicin en factores irreducibles
Todo polinomio Q(x) con coecientes reales y con coeciente lder igual a uno
puede escribirse en la forma:
(xa
1
)
n
1
(xa
2
)
n
2
...(xa
p
)
n
p
(x
2
+b
1
x+c
1
)
m
1
(x
2
+b
2
x+c
2
)
m
2
...(x
2
+b
q
x+c
q
)
m
q
,
donde p y q son nmeros enteros no negativos,a
1
, a
2
, ..., a
p
, b
1
, b
2
, ..., b
q
, c
1
, c
2
, ..., c
q
son nmeros reales, donde a
1
< a
2
< ... < a
p
son las races reales del polinomio Q
22 IV.2. Clculo integral
y n
1
, n
2
, ...n
p
son, para cada k {1, 2, ..., p}, el orden de multiplicidad de la raz
a
k
; y nalmente m
1
, m
2
, ..., m
q
son nmeros naturales.
La descomposicin anterior en factores es nica y
n
1
+ n
2
+ ... + n
p
+ 2(m
1
+ m
2
+ ... + m
q
)
es el grado del polinomio.
2) Descomposicin en fracciones simples
Si el polinomio se descompone en la forma dada en (1.) y P(x) es un polinomio
primo con Q(x) de grado menor que el de Q(x), la funcin racional f(x) =
P(x)
Q(x)
puede escribirse de forma nica como sigue:
f(x) =
A
11
x a
1
+
A
12
(x a
1
)
2
+ ... +
A
1n
1
(x a
1
)
n
1
+
+
A
21
x a
2
+
A
22
(x a
2
)
2
+ ... +
A
2n
2
(x a
2
)
n
2
+ ...+
A
p1
x a
p
+
A
p2
(x a
p
)
2
+ ... +
A
pn
1
(x a
p
)
n
p
+ ...+
B
11
x + C
11
x
2
+b
1
x + c
1
+
B
12
x +C
12
(x
2
+b
1
x +c
1
)
2
+ ... +
B
1m
1
x +C
1m
1
(x
2
+ b
1
x + c
1
)
m
1
+
B
21
x + C
21
x
2
+ b
2
x + c
2
+
B
22
x + C
22
(x
2
+ b
2
x + c
2
)
2
+ ... +
B
2m
2
x + C
2m
2
(x
2
+ b
2
x + c
2
)
m
2
+ ...+
B
q1
x + C
q1
x
2
+b
q
x + c
q
+
B
q2
x + C
q2
[(x
2
+ b
q
x +c
q
)
2
+... +
B
qm
q
x + C
qm
q
[(x
2
+b
q
x + c
q
)
m
q
,
donde, para cada 1 i q y 1 j m
1
, B
ij
y C
ij
son nmeros reales. Se
tiene adems que A
kn
k
= 0 para k {1, 2, ..., p} y (B
jm
j
)
2
+ (C
jm
j
)
2
> 0 para
j {1, 2, ..., q}.
La principal dicultad a la hora de aplicar la proposicin anterior consiste, como
ya se ha dicho, en encontrar la descomposicin en factores del polinomio Q(x). Salvado
este problema, la descomposicin en fracciones simples dada por la segunda parte de la
proposicin puede ya obtenerse sin dicultad, aunque s puede ser laboriosa.
La descomposicin en fracciones simples dada anteriormente, junto con la
linealidad de la integral nos permite limitarnos a considerar las integrales de cada uno
de los tipos de fracciones simples que aparecen en la descomposicin, a saber
Anlisis Matemtico 23
Tipo 1
f(x) =
A
x c
,
para todo x [a, b], y donde A, c R y c no pertenece al intervalo [a, b]. En tal
caso tenemos que:
_
b
a
f(x)dx = A.log(|
b c
a c
|).
Ejercicio: Calclese la siguiente integral:
_
4
3
2 x
2
x
3
3x
2
+ 2x
dx.
Tipo 2
f(x) =
A
(x c)
n
,
para todo x [a, b], y donde A, c R y c no pertenece al intervalo [a, b]. En tal
caso tenemos que:
_
b
a
f(x)dx =
A
n 1
[
1
(a c)
n1

1
(b c)
n1
].
Ejercicio: Calclese la siguiente integral:
_
1/2
0
2x
x
2
2x + 1
dx.
Tipo 3
f(x) =
Bx + C
x
2
+ cx + d
,
para todo x [a, b], donde B, C, c, d R. En este caso se procede de la siguiente
forma:
_
b
a
f(x)dx =
B
2
_
b
a
2x + c
x
2
+cx + d
dx + (C Bc/2)
_
b
a
dx
x
2
+ cx + d
.
La primera integral del segundo miembro nos queda no es otra cosa que
log(|
b
2
+ cb + d
a
2
+ ca + d
|).
24 IV.2. Clculo integral
Para la segunda integral se escribe x
2
+ cx + d = (x r)
2
+ s
2
y se toma toma
u =
xr
s
, con lo que nos queda
1
s
_ br
s
ar
s
du
1 + u
2
=
1
s
[arc tg(
b r
s
) arc tg(
a r
s
)].
Ejercicio: Calclese la siguiente integral:
_
4
3
2x 1
x
4
+ x
3
x 1
dx.
Tipo 4 Esto es,
f(x) =
r(x)
(x
2
+ cx + d)
n
,
para todo x [a, b], donde , c, d R, n N con n > 1 y r(x) es un polinomio de
grado menor o igual que 2n 1.
En este caso usaremos el mtodo de Hermite que consiste en escribir
f(x) =
ex +f
x
2
+ cx + d
+ [
F(x)
(x
2
+ cx + d)
n1
]

,
donde F(x) es un polinomio de grado 2n-3 a determinar. Por tanto, la tcnica
exige derivar el cociente, multiplicar la igualdad por (x
2
+cx +d)
n
, y a partir de
aqu, calcular los coecientes de dicho polinomio.
As pues
_
b
a
f(x)dx =
_
b
a
ex + f
x
2
+ cx + d
dx +
F(b)
(b
2
+ cb + d)
n1

F(a)
(a
2
+ca + d)
n1
.
En este caso usaremos el mtodo de Hermite que consiste en escribir
f(x) =
ex +f
x
2
+ cx + d
+ [
F(x)
(x
2
+ cx + d)
n1
]

,
donde F(x) es un polinomio de grado 2n-3 a determinar. Por tanto, la tcnica
exige derivar el cociente, multiplicar la igualdad por (x
2
+cx +d)
n
, y a partir de
aqu, calcular los coecientes de dicho polinomio.
As pues
_
b
a
f(x)dx =
_
b
a
ex + f
x
2
+ cx + d
dx +
F(b)
(b
2
+ cb + d)
n1

F(a)
(a
2
+ca + d)
n1
.
La integral que queda es una de tipo 3).
Anlisis Matemtico 25
Ejercicio: Calclese la siguiente integral:
_
4
3
2 x
2
x
4
+ 4x
2
+ 4
dx.
4.2.2. Integracin de funciones no racionales
El problema de evaluar funciones no racionales se llevar a cabo utilizando
diversos cambios de variable hasta conseguir que la nueva funcin a integrar sea racional.
No hay un mtodo general para ello , sino un recetario ms o menos amplio, de hecho,
la simple inspeccin del integrando sugiere el cambio de variable adecuado.
Empezaremos jando una notacin que nos permitir exponer de manera rpida
y sin ambigedad los distintos mtodos de integracin que vamos a tratar. En lo que
sigue I ser un intervalo del tipo [a, b] y f : I R ser una funcin continua. Para
calcular la integral de f usaremos sistemticamente el cambio de variable x = (t),
donde es una funcin biyectiva de un cierto intervalo J sobre I y de clase C
1
en J. Si
notamos por g(t) = f (t).

(t), para todo t J, transformaremos la integral de la

funcin inicial en la integral de la funcin g en el intervalo J. Si g es racional, aplicaremos
los conocimientos dados en la primera parte de la leccin. En las dems ocasiones ser
preciso un nuevo cambio de variable. Encontraremos as un nuevo intervalo K y una
nueva funcin tal que t = (u), donde es una funcin biyectiva de K sobre J y de
clase C
1
en K. Si notamos por h(u) = g (u).

(u), para todo u k, transformaremos

la integral de la funcin g en la integral de la funcin h en el intervalo K, y vuelta a
empezar.
1. Funciones trigonomtricas
Sea una funcin f que es cociente de sumas y productos de las funciones seno
y coseno. Dado que f es una funcin peridica de periodo 2 podremos limitarnos
a considerar I [, ]. Hacemos en este caso el cambio de variable
x = (t) = 2arctg(t).
La funcin g que aparece es una funcin racional. De hecho,
cosx =
1 t
2
1 + t
2
, y sen(x) =
2t
1 + t
2
.
Ejercicio: Calcular
_
/2
/4
dx
sen(x)
26 IV.2. Clculo integral
A parte del cambio tpico antes mencionado, podemos incluir otros cambios
para algunos casos particulares del siguiente tipo de integral:
_
b
a
sen
n
(x)
cos
m
(x)
dx a, b I
a) Si n es impar, se hace el cambio x = arccos(t), siempre que [a, b] [0, ].
b) Si m es impar, se hace el cambio x = arcsen(t), siempre que [a, b]
[/2, /2].
c) Si n y m son pares se usan las frmulas
cos
2
(x) =
1 + cos(2x)
2
, sen
2
(x) =
1 cos(2x)
2
.
2. Funciones trascendentes
Sea f una funcin que es cociente de sumas y productos de la funcin e
x
con ella misma. Hacemos en este caso el cambio de variable x = (t) = log(t). La
funcin g que aparece es de nuevo una funcin racional.
Ejercicio: Calclese
_
2
1
dx
shx
3. Irracionales cuadrticas
Vamos a distinguir tres tipos fundamentalmente:
1) Funciones que son cociente de sumas y productos de las funciones x y

x
2
1
En este caso hacemos el cambio de variable bien x = (t) =
1
cost
y por
tanto la funcin g que aparece es del tipo trigonomtrico visto anteriormente,
bien x = (t) = ch(t) y la funcin g que aparece es una funcin de tipo
trascendente visto tambin anteriormente.
Ejercicio: Calclese la siguiente integral:
_
4
3
1

x
2
1
dx.
2) Funciones que son cociente de sumas y productos de las funciones x y

1 x
2
En este caso hacemos el cambio de variable x = (t) = sen(t) y por tanto
la funcin g que aparece es del tipo trigonomtrico visto anteriormente.
Ejercicio: Calclese la siguiente integral:
_
1/2
0
1

1 x
2
dx.
Anlisis Matemtico 27
3) Funciones que son cociente de sumas y productos de las funciones x y

1 + x
2
En este caso hacemos el cambio de variable bien x = (t) = tg(t) y por
tanto la funcin g que aparece es del tipo trigonomtrico visto anteriormente,
bien x = (t) = sh(t) y la funcin g que aparece es una funcin de tipo
trascendente visto tambin anteriormente.
Ejercicio: Calclese la siguiente integral:
_
4
3
1

1 + x
2
dx.
Nota
Las funciones f(x) que son cociente de sumas y productos de x y de

ax
2
+bx +c se pueden reducir a uno de los tres casos anteriores ya que
ax
2
+ bx + c = a(x + b/2a)
2
b
2
/4a + c,
y por tanto si hacemos un primer cambio u = x + b/2a y posteriormente
a) si a > 0 y b
2
4ac > 0, hacemos un nuevo cambio, t =

au

b
2
4ac
, resultanto
una integral del tipo

t
2
1
b) Si a > 0 y b
2
4ac < 0, hacemos un nuevo cambio, t =

au

cb
2
/4a
, resultando
una integral del tipo

t
2
+ 1.
c) Si a < 0 y b
2
4ac < 0, hacemos un nuevo cambio, t =

au

cb
2
/4a
resultando
una integral del tipo

1 t
2
4. Irracionales en x:
Consideraremos funciones que son cociente de sumas y productos de potencias
racionales de x, esto es, f tales que
f(x) = F(x
p
1
q
1
, x
p
2
q
2
, ..., x
p
n
q
n
).
Hacemos el cambio de variable x = t
m
, donde m = m.c.m.{q
1
, q
2
, ..., q
n
}. As
pues, la funcin a integrar que resulta despus del cambio es una funcin de tipo
racional, que ya sabemos resolver.
Ejercicio: Calclese la siguiente integral:
_
2
1
1
3

x +

x
dx.
28 IV.2. Clculo integral
4.2.3. Relacin de ejercicios
1. Calclense las siguientes integrales:
a)
_
3
2
1+2xx
2
x
4
4x
3
+7x
2
6x+2
dx. b)
_
/3
/4
dx
senxtgx
. c)
_
3/2
0
dx
2+cosx
.
d)
_
1
0
dx
coshx
. e)
_
3
2
dx

x
2
2
f)
_
2
1/2
dx
x
2

4x
2
.
g)
_
2
1
dx
(4+x
2
)
3/2
. h)
_
1/2
0
dx
x
4
1
. i)
_
+

dx
(x
2
2x+2)
2
.
j)
_
+
2
dx
(x1)

x
2
2x
. k)
_
+
2
dx
x
2

4+x
2
. l)
_
1
0
x

x
2
+ x + 1dx.
2. Prubense las siguientes igualdades:
_
3
0
dx

9 x
2
=

2
,
_
/2
0
cos x dx

1 senx
= 2,
_
+

dx
e
x
+e
x
=

2
,
_
+
0
e

x
dx

x
= 2,
_
1
0
log(x) dx = 1
4.3. APLICACIONES DEL CLCULO INTEGRAL 29
4.3. Aplicaciones del clculo integral
Sumario
En esta leccin presentaremos varias aplicaciones del clculo integral. La idea que
subyace en todas las aplicaciones que vamos a ver en esta leccin es que la integral puede verse
como un procedimiento de "paso al lmite"de la suma. As mismo, conviene sealar que en esta
leccin nos basta con la idea intuitiva del concepto de rea y que ms adelante deniremos
con todo rigor. El contenido completo de esta leccin se articula de la siguiente manera:
IV.3.1 La integral como "paso al lmite".
IV.3.2 Clculo del rea de un recinto plano.
IV.3.3 Clculo de longitud de una curva.
IV.3.4 Clculo del volumen y del rea de un slido de revolucin.
IV.3.5 Relacin de ejercicios.
4.3.1. La integral como

paso al lmite

La idea central en todo lo que sigue es que si f es una funcin integrable en
un intervalo dado, la integral de dicha funcin puede obtenerse como el lmite de una
cierta sucesin de sumas. Escribamos esta idea de forma ms concreta:
Sea [a, b] un intervalo, P = {x
0
, x
1
, ..., x
n
} una particin del intervalo [a, b] y
supogamos que, para cada k = 1, 2, ..., n, t
k
I
k
= [x
k1
, x
k
] .
Llamaremos Suma integral de f asociada a la particin P, (f, P),
(f, P) =
n

k=1
f(t
k
)(x
k
x
k1
).
Se llama dimetro de la particin, P, a la mayor de las longitudes de los subn-
tervalos I
k
= [x
k1
, x
k
] que genera la particin, esto es,
P = max{|x
k
x
k1
| : k = 1, 2, ..., n}.
La idea consiste en usar la siguiente propiedad:
Si f : [a, b] R es una funcin integrable y si la sucesin de particiones del
intervalo [a, b], {P
n
}, es tal que la sucesin de sus correspondientes dimetros, {(P
n
)},
converje a cero, entonces la sucesin {(f, P
n
)} converge a la integral de f.
Este hecho es consecuencia del siguiente importante resultado
30 IV.3. Aplicaciones del clculo integral
Teorema 4.3.1. (Teorema de Darboux)
Si f : [a, b] R es una funcin integrable y si {P
n
} es una sucesin de particiones
cuya sucesin de dimetros asociada, {P
n
}, tiende a cero, entonces las sucesiones
{S(f, P
n
} e {I(f, P
n
)} convergen a
_
b
a
f(x)dx.
Esta tcnica puede aplicarse a todos los campos de la ciencia, veamos algunos
ejemplos:
Ejemplos
1. Clculo de lmites
A modo de ejemplo podemos probar que
lim
n
{
1 + 2 + ... + n
n
2
} = 1/2.
Como estrategia general, tomaremos como {P
n
} la sucesin de particiones
del intervalo [a, b] tal que, para cada n, todos los subintervalos que generan I
n
k
,
son de longitud (b a)/n, entonces
lim
n
{
n

k=1
f(y
n
k
)(b a)/n} =
_
b
a
f(x)dx,
siempre que, para cada n N, y
n
k
I
n
k
, as en nuestro caso concreto
lim
n
{
n

k=1
k/n
2
} = lim
n
{
n

k=1
(k/n)1/n} =
_
1
0
xdx,
donde la funcin f considerada es la restriccin de la funcin identidad al intervalo
[0, 1].
2. Ejemplo de un problema de tipo econmico.
Supongamos que un negocio obtiene en sus primeros das los siguientes bene-
cios
das 1 2 3 4
Euros 8 17 32 53
El propietario tiene razones sucientes para creer que el negocio continuar
creciendo siguiendo la pauta de los primeros das, a saber el benecio de cada da
t, seguir la ley B(t) = 3t
2
+5. Para hacer el clculo del benecio anual, siguiendo
indicaciones de un economista, considera adems que la ley del benecio es la
funcin continua descrita anteriormente. Cul ser este benecio anual?
Anlisis Matemtico 31
La estrategia a seguir ser considerar una sucesin de particiones del intervalo
[0, 365] cuya sucesin de dimetros tiende a cero. De hecho podemos considerar
que, para cada particn, todos los subintervalos son de igual longitud (P
n
).
A continuacin se construyen las sumas integrales asociadas a la funcin B(t)
considerando como valor de cada subntervalo su extremo derecho. El paso al
lmite nos dar como benecio anual
B =
_
365
0
3t
2
+ 5dt.
3. Ejemplo de un problema de tipo fsico
Supngase que queremos calcular la fuerza de atraccin de un varilla metlica
de masa M y de longitud l y una masa puntual m situada en la direccin de la
varilla y cuya distancia al extremo ms lejano es L.
La estrategia a seguir ser considerar una sucesin de particiones del intervalo
[0, l] cuya sucesin de dimetros tiende a cero. De hecho podemos considerar
que, para cada particn, todos los subintervalos son de igual longitud (P
n
).
A continuacin se construyen las sumas integrales asociadas a la funcin f(t) =
G
Mm
l(Lt)
2
considerando como valor de cada subntervalo su extremo derecho. El
paso al lmite nos dar como fuerza de atraccin F.
F =
_
l
0
f(t)dt.
4.3.2. Clculo del rea de un recinto plano
La segunda de las aplicacin ya fue presentada al inicio de la leccin I.9.
Sea f : [a, b] R
+
0
una funcin continua y sea
R(f) = {(x, y) R
2
; a x b, 0 y f(x)}.
Siguiendo el mtodo de exhaucin y el apartado anterior, se tiene que el "rea"del
conjunto R(f), A(R(f)), viene dada por la siguiente frmula.
A(R(f)) =
_
b
a
f(x)dx.
De manera ms general, dadas f, g : [a, b] R dos funciones integrables,
vericando que, para cada x [a, b], f(x) g(x) podemos considerar el recinto
R(f, g) = {(x, y) R
2
; a x b, f(x) y g(x)}.
32 IV.3. Aplicaciones del clculo integral
Es ahora fcil probar que el rea de dicho recinto A(R(f, g))), verica
A(R(f, g)) = |
_
b
a
f(x) g(x)dx|.
Considrense por ejemplo las funciones f, g : [0, 2] R, denidas por f(x) = x
2
y
g(x) =

x, y el recinto R(f, g), comprendido entre las correspondientes grcas
0.5 1 1.5 2
1
2
3
4
Es claro que rea de dicho recinto A(R(f, g))), verica
A(R(f, g)) = |
_
1
0
x
2

xdx| +|
_
2
1
x
2

xdx| = 3 4/3

2.
Ejercicio: Calcular el rea de un crculo de radio r.
4.3.3. Clculo de la longitud de una curva
Una curva en el plano no es ms que una funcin continua denida en un
intervalo cerrado y acotado y con valores en R
2
.
Sea : [a, b] R
2
una curva en el plano. Tal como hicimos en la leccin I.3
con la semicircunferencia unidad, podemos denir, supuesto que exista dicho supremo,
la longitud de la curva por
l() = Sup{l(P, ); P particin de [a, b]},
donde para cada particin P = {t
0
, t
1
, ..., t
n
}, se sabe que,
l(P, ) = dist((t
0
), (t
1
)) + ... + dist((t
n1
), (t
n
)).
Es fcil probar que si {P
n
} es una sucesin de particiones del intervalo [a, b],
cuyos dimetros tienden a cero, entonces la sucesin {l(P
n
, )} tiende a l().
Pues bien, si existen dos funciones de clase C
1
en el intervalo [a, b] tales que
(t) = (f(t), g(t)), entonces
l() =
_
b
a
_
[f

(x)]
2
+ [g

(x)]
2
dx.
Anlisis Matemtico 33
En orden a justicar la frmula anterior conviene subrayar que para cada particin
P = {t
0
, t
1
, ..., t
n
} y k {1, 2, ..., n},
dist((t
k1
), (t
k
)) = dist[(f(t
k1
), g(t
k1
)), (f(t
k
)), g(t
k
))] =
=
_
(f(t
k1
f(t
k
))
2
+ (g(t
k1
g(t
k
)
2
,
pero, por el teorema del valor medio, sabemos que existen sendos x
k
e y
k
tales que
f(t
k1
) f(t
k
) = f

(x
k
)(t
k
t
k1
),
y
g(t
k1
) g(t
k
) = g

(y
k
)(t
k
t
k1
),
luego
dist((t
k1
), (t
k
)) = (t
k
t
k1
)
_
(f

(x
k
))
2
+ (g

(y
k
))
2
,
y por tanto
l(P, ) =
n

k=1
(t
k
t
k1
)
_
(f

(x
k
))
2
+ (g

(y
k
))
2
,
por lo que nalmente basta aplicar que la integral no es ms que un paso al lmite.
En particular si f C
1
([a, b]), la longitud de su grca,
l(Graf(f)) =
_
b
a
_
1 + (f

(x))
2
dx.
Ejercicio: Calcular la longitud de una circunferencia de radio r.
4.3.4. Clculo del volumen y del rea de un slido de revo-
lucin
Slidos de revolucin
Sea f : [a, b] R una funcin continua cuya grca se encuentra en el semiplano
superior. Supongamos que el recinto R(f), denido como en el segundo apartado, gira
alrededor del eje x. El conjunto as generado es llamado el slido de revolucin
generado por f al girar sobre el eje x, el cual es el subconjunto de R
3
, denido por
S
x
(f) = {(x, y, z) R
3
; a x b, y
2
+ z
2
f
2
(x)}.
Considrese por ejemplo la funcin identidad restringida al intervalo [1, 3]. En la
siguiente gura vemos el correspondiente R(f)
y por tanto el correspondiente slido de revolucin es el siguiente tronco de cono
34 IV.3. Aplicaciones del clculo integral
-1 1 2 3 4
0.5
1
1.5
2
2.5
3
0
1
2
3
4
-2
0
2
-2
0
2
0
1
2
3
4
-2
0
2
rea lateral
Se puede probar que el "rea lateral"de S
x
(f), A(S
x
(f)) se obtiene mediante la
frmula:
A(S
x
(f)) = 2
_
b
a
f(x)
_
1 + [f

(x)]
2
dx.
Para justicar la frmula anterior basta considerar, para cada particin del
intervalo [a, b] y cada subntervalo que sta genera, el tronco de cono correspondiente.
As, por ejemplo, si consideramos la semiesfera de radio uno,
0
0.25
0.5
0.75
1
-1
-0.5
0
0.5
1
-1
-0.5
0
0.5
1
0
0.25
0.5
0.75
1
-1
-0.5
0
0.5
1
y los dos troncos de cono asociados a la particin P = {0, 1/2, 1}
Anlisis Matemtico 35
0
0.25
0.5
0.75
1
-1
-0.5
0
0.5
1
-1
-0.5
0
0.5
1
0
0.25
0.5
0.75
1
-1
-0.5
0
0.5
1
Obsrvese que la suma de las reas laterales de estos dos troncos de cono es
menor que el rea lateral de la semiesfera y que, a medida que tomemos particiones con
ms puntos, la suma de las reas laterales de los correspondientes troncos de cono sigue
siendo menor que el rea lateral de la semiesfera pero cada vez ms ajustada a sta.
En tal caso, el rea lateral se obtiene como paso al lmite de la suma de las reas
laterales de los correspondientes troncos de cono, sin ms que usar el hecho de que el
rea lateral de un tronco de cono es (R + r)s, donde R es el radio mayor, r el radio
menor y s es la "generatriz truncada".
Ejercicio: Calclese el rea de una esfera.
Volumen
Podemos ahora considerar el volumen del slido generado por giro alrededor
del eje x. Es fcil ver que el "volumen"de S(f), V (S
x
(f)) se puede obtener mediante la
frmula
V (S
x
(f)) =
_
b
a
f
2
(x)dx.
Esta frmula se obtiene considerando el volumen del slido de revolucin como
el "paso al lmite "de la suma de los correspondientes volmenes de los de los cilindros,
que para cada particin, tienen la longitud cada subntervalo como altura y el valor de
f en un punto de dicho subntervalo como radio.
Si f es una funcin continua y montona y con 0 / [a, b], y hacemos girar el
recinto R(f) alrededor del eje y, obtenemos un nuevo slido de revolucin
S
y
(f) = {(x, y, z) R
3
; f(b) z f(a), x
2
+ y
2
f
2
(x)}.
En este caso, su volumen, V (S
y
(f)), puede ser calculado como sigue:
V (S
y
(f)) =
_
b
a
2xf(x)dx,
36 IV.3. Aplicaciones del clculo integral
usando como estrategia el clculo del lmite de las sumas de los volmenes de los anillos
cilndricos que se generan al tomar particiones en el intervalo [a, b].
Ejercicio: Calcular el volumen de un elipsoide.
4.3.5. Relacin de ejercicios
1.- Calcular las siguientes reas:
a) rea limitada por las curvas y = x
2
y y
2
= 8x
b) rea limitada por y = xe
x
2
, el eje x, la recta x = 0 y la la recta x = a,
donde a es la abscisa del punto donde la funcin f(x) = xe
x
2
alcanza el
mximo.
c) Area de la gura limitada por la curva y = x(x 1)(x 2) y el eje x.
d) Area comprendida entre la curva y = tg(x), el eje OX y la recta x = /3.
e) Area del recinto limitado por las rectas x = 0, x = 1, y = 0 y la grca de
la funcin f : R R denida por f(x) =
1
(1 + x
2
)
2
f) Area de la supercie obtenida por la revolucin de la parbola y
2
= 4x y la
recta x = 5 alrededor del eje x.
g) Hallar el rea del recinto limitado por las grcas de f(x) = cosh x y g(x) =
shx, en el primer cuadrante.
2.- Hallar la longitud de la curva y =
x
4
+ 48
24x
en [2, 4]
3.- Hallar la longitud de la curva y = log(1 x
2
) en [1/3, 2/3].
4.- Hallar la longitud de la catenaria. Ecuacin :
f : [a, a] R : f(x) =
1
2
a(e
x/a
+ e
x/a
)
5.- Al girar alrededor del eje x, el segmento de curva y =

x comprendido entre las
abscisas 0 y a, engendra un tronco de paraboloide de revolucin cuya supercie
equivale a la de una esfera de radio
_
13/12. Hllese el valor de a.
6.- Calclese el volumen del slido de revolucin generado por la curva y = sen
2
(x), x
[0, ], cuando sta gira en torno al eje x.
7.- Hallar el volumen generado al girar alrededor del eje OX la grca de f(x) =
18x
x
2
+ 9
.
Anlisis Matemtico 37
8.- Calcular el volumen del slido generado al girar la regin limitada por x = y
2
e
y = x
2
a) alrededor del eje x.
b) alrededor del eje y.
9.- Idntico ejercicio que el anterior para la regin limitada por las rectas y = 1,
x = 1 y la curva y = x
3
+ 2x + 1.
10.- Calclese el trabajo necesario para levantar un objeto de masa m desde una altura
h
a
hasta una altura h
b
, supuesto que la fuerza debida a la atraccin que ejerce la
Tierra, cuya masa es M y cuyo radio es R, no es constante.
11.- Calclese la fuerza de atraccin que ejerce una varilla de longitud 6 unidades y
de masa 18 unidades sobre un punto de masa m situado a 3 unidades de longitud
a) en la prolongacin de la varilla.
b) en la perpendicular al punto medio de la varilla.
4.4. INTEGRAL DE LEBESGUE 39
4.4. Integral de Lebesgue
Sumario
El objetivo de esta leccin es presentar, a vista de pjaro, la integral de Lebesgue. El
contenido completo de esta leccin se articula de la siguiente manera:
IV.4.1 Por qu una nueva integral?
IV.4.2 Conjuntos medibles.
IV.4.3 Funciones medibles.Integral de Lebesgue.
IV.4.4 Funciones Lebesgue-integrables.
IV.4.5 Propiedades.
IV.4.6 Funciones denidas por integrales.
4.4.1. Por qu una nueva integral?
Hacia nales del siglo XIX result claro para muchos matemticos que la
integral de Riemann tiene importantes limitaciones, es sabido por ejemplo su mal com-
portamiento con ciertos procesos de convergencia. sta y otras limitaciones que ahora
veremos, obligaron a realizar nuevos intentos de construccin de otras integrales. Entre
estos intentos destacan los debidos a Jordan, Borel, Young y nalmente el de Lebesgue,
que result ser el ms exitoso.
En lo que respecta nosotros, nos interesa destacar las siguientes limitaciones:
1. El conjunto de funciones integrables es relativamente pequeo: Hay funciones sen-
cillas que no son integrables. Recurdese por ejemplo que la funcin de Dirichlet,
esto es, la funcin, f : [0, 1] R denida por
f(x) =
_
0 si x es racional
1 si x es irracional
no es integrable.
2. Su extensin a varias variables tiene algunas dicultades.
Ambos problemas estn ntimamente relacionados con el hecho de ampliar el
concepto de medida a otros conjuntos de nmeros reales no necesariamente intervalos
y por extensin a otros subconjuntos de R
n
. Las cuestiones pues a resolver son varias:
qu conjuntos se pueden medir?, cmo medirlos? , qu funciones se pueden integrar?
y cmo hallar su integral?
40 IV.4 Integral de Lebesgue
4.4.2. Conjuntos medibles
1.- Conjuntos que se pueden medir.
Veamos primero algunos conjuntos que deben estar forzosamente entre la
familia de los conjuntos "medibles".
Dado I un subconjunto de R
n
diremos que es un intervalo (respectivamante
intervalo acotado), si existen I
1
, I
2
, ..., I
n
intervalos (respectivamante intervalos
acotados) de nmeros reales tales que
I = I
1
I
2
... I
n
.
Veamos cmo aadir a partir de aqu nuevos conjuntos.
Se dice que una familia A de subconjuntos de R
n
es una -lgebra si
i) R
n
A,
ii) Si {A
n
} es una sucesin en A, entonces
nN
A
n
A, y
iii) Si A A entonces R
n
\ A A.
Por otra parte, si S es una familia de subconjuntos de R
n
, entonces
existe una menor -lgebra en R
n
conteniendo a S , que denominaremos la -
lgebra engendrada por S.
En una primera etapa vamos a considerar la -lgebra engendrada por la
familia de los conjuntos de los intervalos acotados, familia que llamaremos -lgebra
de Borel, B, mientras que a sus elementos los llamaremos borelianos. Para hacernos
idea de lo grande que es esta familia tengamos en cuenta que los todos los conjuntos
abiertos son borelianos.
Nota
Obsrvese que los conjuntos que resultan de la interseccin numerable de abiertos
(conjuntos tipo G

), no necesariamente abiertos, y los conjuntos que resultan de la unin

numerable de cerrados, conjuntos tipo F

, no necesariamente cerrados, son tambin conjuntos

borelianos.
Cmo medir?
Una vez elegida la familia de conjuntos medibles el problema es asignarle una
medida.
Es claro que si I es un intervalo acotado, entonces su medida debe coincidir con
su volumen, esto es, medida(I) = V (I), y claro est
V (I) = l(I
1
)l(I
2
)...l(I
n
),
Anlisis Matemtico 41
donde l(I
k
) = b
k
a
k
, siempre que I
k
= [a
k
, b
k
].
A partir de aqu, podemos denir, para cada A B, la medida , mediante
(A) := Inf{

n=1
v(I
n
); A
nN
I
n
, I
n
intervalo acotado, n N}.
A dicha medida se le llama medida de Borel-Lebesgue.
Sabemos que existen conjuntos A borelianos de medida cero, (A) = 0, que
contienen subconjuntos no medibles. Parece pues conveniente aadir a la -lgebra de
Borel estos subconjuntos.
Consideremos pues Mla mnima -lgebra que contiene simultneamente a la -
lgebra de Borel y a todos los subconjuntos de los elementos de sta que son de medida
nula. Sus elementos se denominan conjuntos medibles-Lebesgue o simplemente
medibles.
Los conjuntos medibles se pueden representar por E = A N, donde A es un
boreliano y N es un subconjunto de un boreliano de medida nula.
Podemos ahora denir una nueva medida, que notaremos igualmente por y
que llamaremos medida de Lebesgue y que viene dada por
(E) = (A),
siempre que E = A N, y donde (N) = 0.
Dicha medida posee la propiedad de la aditividad numerable, i.e., para cualquier
familia de conjuntos {A
n
: n N} de la -lgebra M, disjuntos dos a dos, se verica
(
_
nN
A
n
) =

n=1
(A
n
).
Como consecuencia de la denicin se pueden obtener las siguientes propiedades:
1. Si A, B M y A B entonces (A) (B).
2. (

n=1
A
n
)

n=1
(A
n
) A
n
A.
3. extiende el volumen de un intervalo, esto es, si I =

n
k=1
I
k
es un intervalo
acotado en R
n
, entonces (I) = v(I) =

n
k=1
l(I
k
)).
Se dice que una propiedad P relativa a un punto x R
n
se verica casi por
doquier (c.p.d.), si el conjunto de puntos C donde dicha propiedad no se verica es
un conjunto de medida cero, esto es, (C) = 0.
42 IV.4 Integral de Lebesgue
4.4.3. Funciones medibles. Integral de Lebesgue
1. Tipos de funciones que se pueden integrar
Una funcin f : R
n
R se llama medible si f
1
(I) M para todo
intervalo abierto I.
Como ejemplos de funciones medibles, se pueden mencionar:
- las funciones continuas c.p.d.,
- funciones iguales c.p.d. a una funcin continua,
- las funciones caractersticas de los conjunto medibles.
Recurdese que si A es un subconjunto de R
n
, se llama funcin caracterstica de A,

A
, a la funcin
A
: R
n
R, denida por

A
(x) =
_
1 si x A
0 si x / A
2) Cmo hallar su integral
Comencemos ahora con las funciones ms sencillas y veamos cmo asignarle
una integral
Una funcin medible s : R
n
R se dice simple si slo toma un nmero
nito de valores.
Toda funcin simple s puede representarse por
s =
n

i=1

A
i
,
donde s(R
n
) = {
1
, . . . ,
n
}, A
i
:= {x R
n
: s(x) =
i
} y
A
i
es la funcin
caracterstica de A
i
.
Si
i
0 i, se dene la integral de s por :
_
R
n
sd =
n

i=1

i
(A
i
).
El teorema de aproximacin de Lebesgue nos asegura que toda funcin f
medible positiva (f 0) es lmite de una sucesin creciente 0 s
1
s
2
... f
de funciones simples que converge puntualmente a f (lms
n
(x) = f(x) x R
n
).
Anlisis Matemtico 43
A partir de aqu denimos la integral de la funcin f por
_
R
n
f d := lm
k
_
R
n
s
k
d
Se puede comprobar que dicha denicin no depende de la sucesin {s
k
} elegida.
4.4.4. Funciones integrables
Dada una funcin medible f : R
n
R, se dice que f es integrable si
_
R
n
|f| d < .
En tal caso se dene la integral de f por
_
R
n
f d =
_
R
n
f
+
d
_
R
n
f

d,
donde f
+
= Max{f, 0} y f

= Max{f, 0} (ntese que ambas funciones son

medibles positivas).
Notaremos por L al espacio formado por las funciones medibles que son
integrables en R
n
, esto es
L = {f : R
n
R medible;
_
R
n
|f| d < }.
Podemos ahora considerar la integrabilidad en conjuntos medibles.
Dado E M y una funcin medible f : D R, (E D R
n
), podemos
considerar la funcin f
E
como la extensin de f a todo R
n
, que se anula fuera
de E.
Se dice que f es integrable en E, si f
E
L, y en tal caso se dene la
integral de f en E por
_
E
f d :=
_
R
n
f
E
d.
Dicha integral recibe el nombre integral de Lebesgue de f en E.
Dado E M, notaremos por L(E) al espacio formado por las funciones
medibles que son integrables en E.
44 IV.4 Integral de Lebesgue
4.4.5. Propiedades
Comentemos algunas de sus propiedades ms interesantes:
1) L(E) es un espacio vectorial y
_
E
(rf + g) d = r
_
E
f d +
_
E
g d, (r R, f, g L(E)).
2)
|
_
E
f d|
_
E
|f| d, (f L(E))
3) Si f y g son medibles e iguales c.p.d., entonces f es integrable en E si, y
slo si, lo es g, y en tal caso
_
E
f d =
_
E
g d.
4) Sean E, A y B tres conjuntos medibles tales que E = AB y (AB) = 0.
Entonces f es integrable en E si, y slo si, f es integrable en A y B. Adems,
en caso armativo
_
E
f d =
_
A
f d +
_
B
f d.
5) (E) =
_
E
1 d.
6)
Teorema 4.4.1. ( del cambio de variable)
Sean U y V dos conjuntos abiertos de R
n
, y : U V una funcin
biyectiva de clase C
1
(U) cuyo jacobiano es no nulo en todo punto de U. Sea
E un subconjunto medible contenido en U y sea f : (E) R una funcin
integrable. Entonces
_
(E)
fd =
_
E
f |J

|d.
Veamos nalmente la relacin de sta nueva integral con la integral de Riemann.
- Las funciones integrables de siempre son tambin integrables en el
sentido de Lebesgue
Sea n = 1 y sea E = [, ], con (, R). Si f es integrable en el
sentido de Riemann en E entonces f L(E) y en tal caso
_
E
f d =
_

f(x) dx.
Anlisis Matemtico 45
- Aadimos nuevas funciones
La funcin de Dirichlet es integrable en el sentido de Lebesgue; de hecho,
dado que Q es de medida nula, se tiene que
_
[0,1]
f d = 1.
- Tambin las funciones absolutamente integrables quedan bajo con-
trol
En el caso en que admitamos que puede ser y a su vez +, y que
f sea una funcin continua en I =], [, |f| es "impropiamente"integrable
en el sentido de Riemann en I si, y slo si, f L(I), y en tal caso
_
I
|f| d =
_

|f(x)| dx.
- Seguimos teniendo las propiedades ms interesantes de la integral
de Riemann
a)
Teorema 4.4.2. (Regla de Barrow) Si f L(I) y admite primitiva
G, entonces existen los lmites de G en y en , y adems se tiene
_
I
f d = lm
x
G(x) lm
x
G(x).
En consecuencia,
b)
Teorema 4.4.3. (de integracin por partes) Sean f, g : I R
dos funciones derivables tales que f

g y fg

L(I). Entonces existen los

lmites de fg en y en , y adems se tiene
_
I
fg

d = lm
x
f(x)g(x) lm
x
f(x)g(x)
_
I
fg

d.
c)
Teorema 4.4.4. (del cambio de variable) Si : I R es una
funcin derivable, con

(t) = 0 y f : (I) R es una funcin medible,

entonces f L((I)) si, y slo si, f .

L(I) y
_
(I)
f d =
_
I
f .

d.
46 IV.4 Integral de Lebesgue
4.4.6. Funciones denidas por integrales
En esta parte nal de la leccin vamos a hablar de funciones denidas
por una integral, llamadas tambin integrales dependientes de un pa-
rmetro, esto es, funciones F : I R, donde I es un intervalo de nmeros
reales, y denidas a partir de otra funcin
f : I E R,
tal que, para cada t I, w f(t, w) es integrable en E, donde E es
un subconjunto medible de R
n
. Concretamente la funcin F, viene denida
mediante la frmula
F(t) =
_
E
f(t, w)d t I.
Pues bien se tiene que si
1) a) para cada w E, la aplicacin t f(t, w) es continua en I y
b) Existe g integrable en E tal que
|f(t, w)| g(w), t I, w E
Entonces F es continua en I.
2) a) para cada w E, la aplicacin t f(t, w) es derivable en I y
b) Existe g integrable en E tal que
|
f
t
(t, w)| g(w), t I, w E
Entonces F es derivable en I con
F

(t) =
_
E
f
t
(t, w)d t I.
Ejemplo Prubese que la funcin F : R R denida por
F(t) =
_

cos(tx)e
x
2
/2
dx
es derivable con F

(t) = tF(t) t R. Deducir de ello que

F(t) = Ce
t
2
/2
t R,
siendo C =
_

e
x
2
/2
dx.
4.5. TCNICAS DE INTEGRACIN EN VARIAS VARIABLES 47
4.5. Tcnicas de integracin en varias variables
Sumario
En esta leccin vamos a introducir la integracin en varias variables. Entre otros problemas
nos encontramos con el hecho de que no se dispone de ningn procedimiento elemental com-
parable a la Regla de Barrow. Esta contrariedad se resolver con una tcnica fundamental:
Teorema de Fubini, que relaciona la integral en R
n
con integraciones sucesivas en espacios
de menor dimensin. Siguiendo este proceso acabaremos nalmente integrando en una de las
variables. El contenido completo de esta leccin se articula de la siguiente manera:
IV.5.1 Teorema de Fubini.
IV.5.2 Cambio de coordenadas.
IV.5.3 Relacin de ejercicios.
4.5.1. Teorema de Fubini
Como era de esperar, la denicin de integral no es til para el clculo de dicha
integral. Recurdese que este problema, en el caso de intervalos de nmeros reales, se
resolvi en R usando la regla de Barrow, pero esta herramienta no est disponible ni en
R
2
ni en R
3
. Nuestro siguiente resultado trata de resolver esta dicultad, relacionando
la integral mltiple con sucesivas integrales en R. Para ello, consideremos las siguientes
observaciones:
Sea E R
p+q
, notaremos, para cada x R
p
, por
E(x) = {y R
q
: (x, y) E}.
Anlogamente, notaremos, para cada y R
q
, por
E(y) = {x R
p
: (x, y) E}.
Es fcil probar que si E es un subconjunto medible de R
p+q
, entonces E(x) y E(y)
son subconjuntos medibles respectivamente de R
p
y R
q
.
Teorema 4.5.1. (Teorema de Fubini.Caso p = 1, q = 1)
Sea E R
2
medible y sea f : E R una funcin integrable, entonces
_
E
f(x, y)d(x, y) =
_

1

1
[
_
E(x)
f(x, y)dy]dx =
_

2

2
[
_
E(y)
f(x, y)dx]dy,
48 IV.5 Tcnicas de integracin en varias variables
siendo
1
= Inf E
1
,
1
= Sup E
1
,
2
= Inf E
2
,
2
= Sup E
2
, donde
E
1
= {x R; E(x) = }
y
E
2
= {y R; E(y) = }
En particular, cuando E = I J, siendo I, J intervalos de R, entonces
_
E
f(x, y) =
_
I
[
_
J
f(x, y)dy]dx =
_
J
[
_
I
f(x, y)dx]dy.
Ejemplo: Calcular el rea de la elipse de semiejes a y b.
Teorema 4.5.2. (Teorema de Fubini. Caso p = 2, q = 1)
Sea E R
3
medible y sea f : E R una funcin integrable, entonces
_
E
f(x, y, z)d(x, y, z) =
_

3

3
[
_
E(z)
f(x, y)d(x, y)]dz,
siendo
3
= Inf E
3
,
3
= Sup E
3
, donde
E
3
= {z R; E[z] = }
y a su vez
E[z] = {(x, y) R
2
; (x, y, z) E}.
Anlogamente se podra hacer, para (p = 1, q = 2) sin ms que considerar los
conjuntos E[x] y E[y].
Ejercicio: Calclese el volumen del elipsoide de semiejes a, b y c.
4.5.2. Cambio de coordenadas
Es posible que convenga cambiar la funcin inicial por otra funcin. Este cambio
ser arbitrado por el teorema del cambio de variable, que suele usarse en alguna de las
siguientes formas concretas:
Coordenadas polares, n = 2
Tomamos U = R
+
] , [ , V = R
2
\{(x, 0); x 0}, y la aplicacin : U V
denida por
(, ) = (cos, sen).
Anlisis Matemtico 49
En este caso
detJ

(, ) = > 0, (, ) U,
y por tanto
_
E
f(x, y)d(x, y) =
_

1
(E)
f(cos, sen)d(, ).
Ejercicio: Sea E = {(x, y) R
2
; x
2
+ y
2
r
2
}. Calclese
_
E
1d(x, y).
Coordenadas cilndricas, n = 3
Tomamos U = R
+
] , [R , V = R
3
\{(x, 0, z); x 0}, y la aplicacin
: U V denida por
(, , z) = (cos, sen, z).
En este caso
detJ

(, , z) = > 0, (, , z) U,
y por tanto
_
E
f(x, y, z)d(x, y, z) =
_

1
(E)
f(cos, sen, z)d(, , z).
Ejercicio: Sea E = {(x, y, z) R
3
; x
2
+ y
2
r
2
; 0 z h}, con r, h > 0. Calclese
_
E
1d(x, y, z).
Coordenadas esfricas, n = 3
Tomamos U = R
+
] , [] /2, /2[ , V = R
3
\{(x, 0, z); x 0}, y la
aplicacin : U V denida por
(, , ) = (coscos, sencos, sen).
En este caso
detJ

(, , ) =
2
cos > 0, (, , ) U,
y por tanto
_
E
f(x, y, z)d(x, y, z) =
_

1
(E)
f(coscos, sencos, sen)
2
cosd(, , ).
Ejercicio: Sea E = {(x, y, z) R
3
; x
2
+ y
2
+ z
2
r
2
}, con r > 0. Calclese
_
E
1d(x, y, z).
50 IV.5 Tcnicas de integracin en varias variables
4.5.3. Relacin de ejercicios
1) Calclense las siguientes integrales:
a)
_
I
sen
2
x sen
2
y d(x, y), I = [0, ] [0, ].
b)
_
I
x
2
1 + y
2
d(x, y), I = [0, 1] [0, 1].
c)
_
I
y logx d(x, y), I = [1, e] [1, e].
d)
_
I
x
3
y
3
d(x, y), I = [0, 1] [0, 1].
e)
_
I
1
(1 + x +y)
2
d(x, y), I = [0, 1] [0, 1].
f)
_
I
1
(1 + x +y + z)
3
d(x, y, z), I = [0, 1] [0, 1] [0, 1].
g)
_
I
x log(xy) d(x, y), I = [2, 3] [1, 2].
h)
_
I
y cos(xy) d(x, y), I = [0, 1] [1, 2].
2) Sea f : A R , calclese su integral en los siguientes casos:
a) f(x, y) = 1 siendo A la regin limitada por y
2
= x
3
, y = x.
b) f(x, y) = x
2
siendo A la regin limitada por xy = 16, y = x, y =
0, x = 8.
c) f(x, y) = x siendo A el tringulo de vrtices (0, 0), (1, 1), (0, 1).
d) f(x, y) = x siendo A la regin limitada por la recta que pasa por
(0, 2) y (2, 0) y la circunferencia de centro (0, 1) y radio 1.
e) f(x, y) = e
x
y
siendo A la regin limitada por y
2
= x, x = 0, y = 1.
f) f(x, y) =
x
x
2
+y
2
siendo A la regin limitada por y =
x
2
2
, y = x.
g) f(x, y) = xy
2
siendo A la regin limitada por y
2
= 2x, x = 1.
h) f(x, y) = xy siendo A la regin limitada por la semicircunferencia
superior (x 2)
2
+ y
2
= 1 y el eje OX.
i) f(x, y) = 4y
2
siendo A la regin limitada por y
2
= 2x y y
2
= 82x
j) f(x, y) = e
x
2
siendo el conjunto A el tringulo formado por las rectas
2y = x, x = 2 y el eje x
3) Calclese
_
A
f en cada uno de los casos siguientes:
a) f(x, y) = 1 x y, A = {(x, y) [0, 1] [0, 1]; x +y 1}
b) f(x, y) = x
2
+ y
2
, A = {(x, y) [0, 1] [0, 1]; x
2
+y
2
1}
c) f(x, y) = x + y, A = {(x, y) [0, 1] [0, 1]; x
2
y 2x
2
}
d) f(x, y) = x
2
y
2
, A = {(x, y) R
2
; 0 x 1, 0 y x}
Anlisis Matemtico 51
e) f(x, y) = y
2
, A = {(x, y) R
2
; x
2
+y
2
r
2
}
f) f(x, y) = 1, A = {(x, y) R
2
;
x
2
4
+y
2
1, x
2
y}
g) f(x, y) = 1, A = {(x, y) R
2
; x
2
+ y
2
1, x
2
+ y
2
2x}
h) f(x, y) = 1, A = {(x, y) R
2
;
x
2
a
2
+
y
2
b
2
1}
i) f(x, y) = 1, A = {(x, y) R
2
; x
2
+ y
2
r
2
}
j) f(x, y) = cos(x
2
+ y
2
), A = {(x, y) R
2
; x
2
+ y
2
/2}
k) f(x, y) =
1
(1 + x
2
+y
2
)
2
, A = {(x, y) R
2
; x
2
+ y
2
1, x 0}
l) f(x, y) =
y
x
2
, A = {(x, y) R
2
; 0 x 1, 0 y x}
m) f(x, y) =
1
_
4 x
2
y
2
, A = {(x, y) R
2
; x
2
+y
2
1}
n) f(x, y) = x y, A = {(x, y) R
2
; x 0, y 0, 1 x
2
+ y
2
2}
) f(x, y) = x
2
y, A = {(x, y) R
2
; 1 x
2
+ y
2
4, x 0}
o) f(x, y) = x, A = {(x, y) R
2
; x 0, y 0, x
2
+y
2
1, x
2
+y
2

2x 0}
4) Utilcese el cambio a coordenadas polares para el clculo de las integrales
de las siguientes funciones en los recintos que se indican:
a) f(x, y) =
_
1 x
2
y
2
, A =

B((0, 0), 1)
b) f(x, y) = y, A = {(x, y) B((
1
2
, 0),
1
2
) : y 0}
c) f(x, y) = x
2
+ y
2
, A =

B((1, 0), 1)
d) f(x, y) = x
2
+ y
2
, A = {(x, y) R
2
: 4 x
2
+y
2
9}
5) Calclense las siguientes integrales dobles:
a) f(x, y) = x, A = {(x, y) R
2
: x
2
+ y
2
2x}
b) f(x, y) = x
_
1 x
2
y
2
, A = {(x, y) R
2
: x
2
+y
2
1, x, y 0}
c) f(x, y) = exp(
x
y
), A = {(x, y) R
2
: y
3
x y
2
, x 0, y 0}
d) f(x, y) = exp
_
yx
y+x
_
, A = {(x, y) R
2
: x, y 0, x +y 2}
e) f(x, y) = (x
2
+ y
2
)

3
2
, A = {(x, y) R
2
: x y, x + y
1, x
2
+ y
2
1}
f) f(x, y) = x
2
+y
2
, A = {(x, y) R
2
: (x
2
+y
2
)
2
4(x
2
y
2
), x 0}
g) f(x, y) = x
2
+ y
2
, A = {(x, y) R
2
: x
2
+ y
2
2y, x
2
+ y
2

1, x 0}
6) Calclese el volumen de la regin A denida por:
a) A = {(x, y, z) R
3
; x
2
+ y
2
+ z
2
r
2
, x
2
+y
2
ry 0}.
b) A = {(x, y, z) R
3
; x
2
+y
2
1, x
2
+y
2
2, z(x
2
+y
2
) 1, z 0}.
c) A = {(x, y, z) R
3
; z
2
x
2
+ y
2
z}.
d) A = {(x, y, z) R
3
; 0 z 1 (x
2
+y
2
)}.
52 IV.5 Tcnicas de integracin en varias variables
7) Calclense las siguientes integrales triples:
a)
_
A
z e
(x
2
+y
2
)
d(x, y, z) , A = {(x, y, z) R
3
; 2(x
2
+ y
2
) z
2
, z
0, z 1}.
b)
_
A
_
x
2
+y
2
+z
2
d(x, y, z) , A = {(x, y, z) R
3
;
_
x
2
+ y
2
z
4}.
c)
_
A
(x + y 2z) d(x, y, z) , A = {(x, y, z) R
3
; z
2
x
2
+ y
2
, z
0, z 3}.
d)
_
A
_
_
x
2
+ y
2
+ z
2
_
n
d(x, y, z) , A = {(x, y, z) R
3
; x
2
+y
2
+z
2

a
2
} (n N, a R
+
).
e) f(x, y, z) = (x + y + z)
2
, A = {(x, y, z) R
3
: x
2
+ y
2
+ z
2

1, x
2
+ y
2
+ z
2
2z}
f) f(x, y, z) = z, A = {(x, y, z) R
3
: x
2
+
y
2
4
+
z
2
9
1, z 0}
g) f(x, y, z) = z, A = {(x, y, z) R
3
: x
2
+y
2
z
2
, 0 z 1}
h) f(x, y, z) = x
2
, A = {(x, y, z) R
3
: x 0, x
2
+ y
2
+ (z 1)
2

1, 4z
2
3(x
2
+y
2
)}
i) f(x, y, z) = zy
_
x
2
+y
2
A = {(x, y, z) R
3
: 0 z x
2
+y
2
, 0
y

2x x
2
}
j) f(x, y, z) = z, A = {(x, y, z) R
3
: x
2
+y
2
+z
2
2, x
2
+y
2
z}
k) f(x, y, z) = z
2
, A = {(x, y, z) R
3
: x
2
+y
2
+z
2
R
2
, x
2
+y
2
+z
2

2Rz}
l) f(x, y, z) =
_
x
2
+ y
2
+ z
2
, A = {(x, y, z) R
3
:
_
x
2
+ y
2
z
3}
8) Demustrese que
_

e
ax
2
/2
dx =
_
2/a, donde a > 0.
4.6. ALGUNAS APLICACIONES DEL CLCULO INTEGRAL A LA FSICA 53
4.6. Algunas aplicaciones del clculo integral a la F-
sica
Sumario
En esta leccin obtenemos nuevas aplicaciones del clculo integral en una y varias variables.
El contenido completo de esta leccin se articula de la siguiente manera:
IV.6.1 Volumen de un slido.
IV.6.2 Medias
IV.6.3 Centros de gravedad.
IV.6.4 Momentos de inercia.
4.6.1. Volumen de un slido
Principio de Cavalieri
Sea E un subconjunto medible de R
3
, tal que
E
1
= {x R; E(x) = } = [a, b].
Segn hemos visto en la leccin anterior su volumen, (E), viene dado por
(E) =
_
E
1 d(x, y, z),
por lo que aplicando el teorema de Fubini y la denicin de rea de subconjuntos
medibles de R
2
, se tiene que
(E) =
_
b
a
(
_
E(x)
1 d(y, z))dx) =
_
b
a
(E(x))dx.
Dicha igualdad es conocida como el principio de Cavalieri.
Veamos una sencilla aplicacin: Sea E un subconjunto medible de R
3
, tal que
E
1
= {x R; E[x] = } = [a, b].
Segn hemos visto ya, su volumen, (E), viene dado por
(E) =
_
E
1 d(x, y, z),
54 IV.6. Algunas aplicaciones del clculo integral a la Fsica
por lo que, aplicando el teorema de Fubini y la denicin de rea de subconjuntos
medibles de R
2
, se tiene que
(E) =
_
b
a
(
_
E[x]
1 d(y, z))dx) =
_
b
a
(E[x)])dx.
Dicha igualdad es conocida como el principio de Cavalieri.
Obsrvese que si E es el slido de revolucin generado por la grca de una cierta
f : [a, b] R
+
0
, aplicando el principio de Cavalieri, obtenemos que
V (E) =
_
b
a
f
2
(x)dx,
como ya habamos comentado anteriormente.
Ejemplo:
Un leador corta una pieza C con forma de cua de un rbol cilndrico de radio 50
cm mediante dos cortes de sierra hacia el centro del rbol: uno horizontal y otro con un
ngulo /4. Calclese el volumen de dicha cua.
La integral en dos variables vista como un cierto volumen
Sea ahora A R
2
medible y f : A R un campo integrable en A tal que, para
cada (x, y) A, se tiene que f(x, y) 0. Obsrvese que como consecuencia del teorema
de Fubini, si
A
1
= {x R; A(x) = } = [a, b],
entonces
_
A
f(x, y)d(x, y) =
_
b
a
(
_
A(x)
f(x, y)dy)dx =
_
b
a
S(x)dx,
donde, para cada x [a, b], S(x) es el rea de la regin del plano comprendida entre
el eje x y la grca de la funcin g : A(x) R denida para cada y A(x) por
g(y) = f(x, y). Aplicando nalmente el principio de Cavalieri, la integral
_
A
f(x, y)d(x, y)
puede interpretarse como el volumen del slido comprendido entre el plano z = 0
y la grca del campo escalar f.
Ejemplo:
Calclese el volumen de madera eliminado al taladrar, hasta el centro, una esfera
de madera de radio 9 con una broca de radio 1.
Anlisis Matemtico 55
4.6.2. Medias
Es sabido que dados x
1
, x
2
, ..., x
n
n nmeros reales, su media aritmtica se dene
como x =
x
1
+x
2
+...+x
n
n
. Esto puede entenderse como el valor medio de una funcin cuyos
valores son constantes en intervalos de longitud 1. Esta idea, permite generalizar el
concepto de valor medio para una funcin real f : [a, b] R como sigue:
[f]
m
=
_
b
a
f(x)dx
b a
.
Sabemos que si f es continua, entonces existe c [a, b] tal que [f]
m
= f(c)
Anlogamente si f es una funcin de varias variables, se llama valor medio de f
sobre A un subconjunto de R
n
.
[f]
m
=
_
A
f(x
1
, x
2
, ..., x
n
)d(x
1
, x
2
, ..., x
n
)
_
A
d(x
1
, x
2
, ..., x
n
.
Ejemplo:
Se sabe que la temperatura en cada punto del cubo I = [1, 1] [1, 1] [1, 1]
es proporcional al cuadrado de la distancia al origen. Cul es la temperatura media?
En qu puntos del cubo es la temperatura igual a la temperatura media?
4.6.3. Centros de gravedad
La ley de Arqumedes del equilibrio para una palanca establece que si se sitan
masas m
1
, m,2, ..., m
n
en los puntos x
1
, x
2
, ..., x
n
del eje x, y x es la posicin del punto
de apoyo o centro de gravedad, entonces
n

i=1
m
i
(x
i
x) = 0.
Y por tanto,
x =
m
1
x
1
+ m
2
x
2
+ ... + m
n
x
n
m
1
+ m
2
+ ... + m
n
.
Si ahora consideremos que la masa se distribuye de forma continua a lo largo de la
palanca, es coherente denir el centro de gravedad mediante la siguiente frmula:
x =
_
b
a
xf(x)dx
_
b
a
f(x)dx
.
56 IV.6. Algunas aplicaciones del clculo integral a la Fsica
Obsrvese que el denominador nos informa sobre la masa total de la palanca, y el
numerador sobre el momento total.
Si A es una gura plana y f(x, y) es la funcin densidad de masa, el centro de
gravedad tendra como coordenadas (x, y) donde:
x =
_
A
xf(x, y)d(x, y)
_
A
f(x, y)d(x, y)
y
y =
_
A
yf(x, y)d(x, y)
_
A
f(x, y)d(x, y)
,
donde el denominador seala la masa total de la gura plana.
Anlogamente se hara para el centro de gravedad de un slido.
Ejemplo:
Hllese el centro de gravedad de la regin semiesfrica denida por x
2
+y
2
+z
2
1
y z 0, supuesta que la densidad es constantemente igual a uno.
4.6.4. Momentos de inercia
El momento de inercia mide la respuesta de un cuerpo a los esfuerzos para someterlo a
rotaciones, como por ejemplo, cuando se trata de hacer girar un tiovivo. As el momento
de inercia I
x
mide la respuesta del cuerpo a las fuerzas que intentan hacerlo girar
alrededor del eje x.
Si el slido W tiene una densidad uniforme , los momentos de inercia I
x
, I
y
, I
Z
respecto de los ejes x, y, z, respectivamente, se denen por
I
x
=
_
W
(y
2
+z
2
)d(x, y, z), I
y
=
_
W
(x
2
+ z
2
)d(x, y, z),
I
z
=
_
W
(x
2
+ y
2
)d(x, y, z).
El factor y
2
+z
2
mide la distancia al eje x y pondera ms las masas alejadas del eje
de rotacin. Anlogamente el resto de los factores de las otras integrales
El concepto de momento de inercia es anlogo al de masa, que mide la respuesta de
un cuerpo a los esfuerzos para someterlo a traslaciones. Sin embargo, a diferencia del
movimiento de traslacin, dependen de la forma y no slo de la masa total. Esto explica
que es ms fcil hacer girar una placa grande que una bola compacta de la misma masa.
Anlisis Matemtico 57
Ejemplo:
Calclese el momento de inercia I
z
del slido comprendido entre el plano z = 0,
el paraboloide z = x
2
+ y
2
y el cilindro x
2
+ y
2
= 1, si se supone que la densidad es
constantemente uno.
4.7. ECUACIONES DIFERENCIALES 59
4.7. Ecuaciones diferenciales
Sumario
En esta leccin vamos a introducir las ecuaciones diferenciables (e.d.o.). Estas ecuaciones suelen
aparecer en todos los campos de la ciencia y de una forma extaordinariamente prolca en el
campo de la Fsica. Centraremos nuestra atencin en las e.d.o. de primer orden. El contenido
completo de esta leccin se articula de la siguiente manera:
IV.7.1 Ecuaciones diferenciales ordinarias (e.d.o.)
IV.7.2 Teorema de existencia y unicidad.
IV.7.3 e.d.o. lineal de primer orden.
IV.7.4 e.d.o. de primer orden no lineal.
IV.7.5 Relacin de ejercicios.
4.7.1. Ecuaciones diferenciales ordinarias
Una ecuacin diferencial ordinaria (e.d.o.) es una ecuacin en la que la incgnita
es una una funcin desconocida y de una sola variable x, y en la que aparecen ligadas
la propia funcin y sus derivadas.
Ejemplos:
(y

)
2
+ 1 = 0 (1)
y
(y

)
3
+y
2
= 0 (2).
El orden de una ecuacin diferencial es el de la derivada de mayor orden contenida
en ella. La ecuacin (1) es de orden uno y la ecuacin (2) es de orden 2.
Se llama solucin de la e.d.o. de orden n en un intervalo I a toda funcin real
f : I R que verica las siguientes propiedades:
1) f es n-veces derivable en I.
2) Para cada x I, se verica la ecuacin cuando se sustituye la incgnita
por la funcin f.
60 IV.7 Introduccin a las Ecuaciones diferenciales
Con frecuencia a una solucin f de una e.d.o. se le llama una integral o solucin
particular de la ecuacin y a su grca curva integral curva solucin. Se llama
solucin general al conjunto de todas las soluciones. Al proceso de obtener todas las
soluciones de la e.d.o. se le denomina integracin resolucin de una e.d.o.
Las e.d.o. suelen responder a los planteamientos de algunos problemas fsicos. En
estos casos suelen aparecer algunas condiciones adicionales. Los tipos ms frecuentes de
condiciones adicionales suelen ser condiciones iniciales. El problema de encontrar la so-
lucin de la correspondiente e.d.o. que verica ciertas condiciones iniciales se denomina
Problema de valores iniciales asociado a dicha e.d.o.
Ejemplos
1)
_
y

= y
y(x
0
) = y
0
2)
_
_
_
my

= g(x)
y(x
0
) = y
0
y

(x
0
=) = y
1
Cuando se trata de encontrar una solucin particular de una e.d.o. o de un problema
de valores iniciales, parece conveniente que, antes de aventurarnos en la bsqueda de
una tal solucin, podamos saber si sta existe, y, una vez garantizada la existencia,
saber si sta es nica. Como ejemplo de este tipo de resultados, para la ecuaciones de
primer orden, tenemos el siguiente
Teorema 4.7.1. Sea y

= f(x, y) , y(x
0
) = y
0
un problema de valores iniciales. Si existe
un rectngulo R del plano tal que (x
0
, y
0
) R
int
y vericando que f,
f
y
C(R), entonces
existe un intervalo I =]x
0
, x
0
+[ con > 0 y una nica funcin y = f(x) denida
en I tal que la solucin de la e.d.o. que verica la condicin adicional y
0
= f(x
0
).
4.7.2. Lineal de primer orden
Una ecuacin diferencial ordinaria se dice lineal de orden 1 si es de la forma:
y

+ a(x)y = b(x),
donde b, a : I R, son dos funciones continuas denidas en un intervalo I de nmeros
reales. Si b(x) = 0, x I, se dice que dicha ecuacin es homognea.
Caso homogneo
Para resolver esta ecuacin vamos a comenzar considerando el caso homogneo. En
tal caso basta escribir y

(x)/y(x) = a(x), por lo que

log[y(x)] = A(x)
Anlisis Matemtico 61
donde A(x) es una primitiva de la funcin a(x). Y por tanto cualquier funcin
f(x) = Ce
A(x)
, C R
es solucin de la ecuacin.
Si ahora imponemos alguna condicin adicional del tipo y(x
0
) = y
0
, la solucin,
quedar determinada de forma nica al quedar determinada la primitiva (todas las
primitivas se diferencian en una constante).
Ejemplo: Resulvase el problema de valores iniciales:
y

= ky, y(0) = 1.
Caso no homogneo:
Es fcil probar que
f(x) = (C +B(x))e
A(x)
,
es una solucin de la ecuacin y

+ a(x)y = b(x), donde C R, A(x) es cualquier

primitiva de a(x), y B(x) es cualquier primitiva de b(x)e
A(x)
.
Anlogamente, si jamos una condicin adicional del tipo y(x
0
) = y
0
, la solucin,
quedar determinada de forma nica.
Ejemplo: Resulvase el problema de valores iniciales:
y

+ ky = 1, y(0) = 1.
4.7.3. e.d.o. de orden uno no lineal
La resolucin de estas e.d.o. est supeditado a una clasicacin previa en distintos ti-
pos. La experiencia demostrar que muchas veces no ser posible expresar las soluciones
de forma explcita
Tipo I: Ecuaciones diferenciales de variable separadas
Una e.d.o. de primer orden se dice de variables separadas si es de la forma
y

= G(x, y),
donde G = P(x)Q(y), donde P(x) y Q(y) son dos funciones continuas en sendos inter-
valos, I y J, con Q(y) = 0, y J.
62 IV.7 Introduccin a las Ecuaciones diferenciales
Se demuestra que una funcin f denida en el intervalo I es solucin de la ecuacin
anterior si satisface la siguiente igualdad, que la dene implcitamente:
B(f(x)) = A(x),
donde B es una primitiva de la funcin 1/Q(y) y A es una primitiva de P(x)
Ejemplos: Resolver la ecuacin y

= y y el problema de valores iniciales

_
y

= y/x
y(1) = 2
Tipo II: Ecuaciones diferenciales de primer orden homogneas
Una e.d.o. de primer orden se dice homognea si es de la forma
y

= F(y/x),
donde F es una funcin continua en cierto conjunto D R
2
Una funcin f es solucin si, y slo si f(x)/x es solucin de la ecuacin de variables
separadas u

= (F(u) u)/x.
Ejemplo: Resulvase la e.d.o.
x
2
y

= y
2
xy + x
2
.
Tipo III: Ecuaciones diferenciales reducibles a homogneas
Las ecuaciones diferenciales de la forma
y

= F(
Ax + By + C
ax + by +c
),
donde A, B, C, a, b, c R, se pueden reducir a una ecuacin diferencial homognea
teniendo en cuenta las siguientes observaciones:
1) Si ambas rectas Ax+By +C = 0 y ax+by +c = 0 se cortan en el punto
(c, d) entonces se hace el cambio X = xc y Y = y d y se obtiene que
F(
Ax + By +C
ax + by + c
) = G(Y/X),
y por tanto Y

= G(Y/X) es una ecuacin diferencial homognea.

2) Si ambas rectas son paralelas A/a = B/b, hacemos el cambio z = ax+by
resulta que z

= a + by

por lo que nos resultar una nueva ecuacin

diferencial de variables separadas:
z

= Q(z)P(x),
con P(x) constante.
Ejemplos: Resulvanse las ecuaciones: y

=
3x+2y
2+x
e y

=
2xy+2
4x+2y+1
.
Anlisis Matemtico 63
Tipo IV: Ecuaciones diferenciales exactas
Una e.d.o. de primer orden se dice que es exacta cuando puede escribirse de la forma
Q(x, y)y

+ P(x, y) = 0,
donde P y Q son dos funciones denidas en un abierto D R
2
, tales que pueden
obtenerse como derivadas parciales de otra funcin G(x, y), es decir tales que
G(x, y)
x
= P(x, y),
G(x, y)
y
= Q(x, y), (x, y) D.
Para saber si una ecuacin es no exacta no es necesario construir la funcin G tal
como veremos en el tema 6.2.
Si la e.d.o. es exacta, se tiene que f es solucin de dicha ecuacin si, y slo si
G(x, f(x)) = C, con C R
Ejemplo: Resolver y

=
2xcos(y)+3x
2
y
x
3
+x
2
seny+y
con y(0) = 2.
4.7.4. Relacin de ejercicios
1) Comprubese que las funciones dadas a continuacin son soluciones de
la ecuacin diferencial y
(4)
16y = 0.
a) y = 3 cos[x] b) y = e
2x
c) y = 5 log x
2) Obtnganse las soluciones generales de las siguientes e.d.o.
a) 2x
2
+ 2y
2
+ (4xy + 3y
2
)y

= 0. b) 3(y 1)
2
y

= 2 + sen(x).
c) (2 + y)y

= 2x + 3y.
d) y

=
x+y
xy
. e)
dy
dx
=
y
2
x
2
3xy
.
f) 2ydx + (x + y)dy = 0, y > 0.
g) ye
x
dx + (2y + e
x
)dy = 0.
3) Resulvanse los siguientes problemas de valores iniciales.
a) ye
xy
dx + (3 + xe
xy
)dy = 0, y(0) = 0.
b)
y
x
2
dx
1
x
dy = 0, y(1) = 2.
4) Hllese la ecuacin de la curva que pasa por el punto (1, 3) y cuya pen-
diente es
y
x
2
.
5) Bajo ciertas condiciones, la caa de azcar en agua se convierte en dex-
trosa a un ritmo proporcional a la cantidad que est en ese momento sin
convertir todava. Si de 75 gramos en t = 0 se han convertido 8 gramos
en los primeros 30 minutos, hllese la cantidad transformada en hora y
media.
64 IV.7 Introduccin a las Ecuaciones diferenciales
6) La desintegracin radiactiva es proporcional a la cantidad de sustancia
que queda por desintegrar. La constante K de desintegracin coincide
con log(2)/T, donde T es la llamada semivida
1
de cada elemento radiac-
tivo. Sabiendo que la semivida del istopo de Plutonio
239
Pu es 24.360
aos, y que estimamos que en el accidente nuclear de Chernobil se libe-
raron 10 gramos del este istopo, calclese el tiempo necesario para que
slo quede un gramo.
7) La ley de enfriamiento de Newton arma que el ritmo de cambio de
la temperatura de un objeto es proporcional a la diferencia entre su
temperatura y la del aire que le rodea.
a) Supongamos que una habitacin se mantiene a una temperatura cons-
tante de 25
o
y que un objeto se enfria de 100
o
a 90
o
en 5 minutos. Qu
tiempo se necesitar para enfriar dicho objeto hasta una temperatura de
50
o
?
b) Un objeto a 100
o
es situado dentro de una habitacin con temperatura
desconocida constante. Sabiendo que despus de 10 minutos el cuerpo
est a 90
o
y despus de 20 minutos a 82
o
, calclese la temperatura de
la sala.
8) (Modelo de poblacin de Malthus, 1798). La tasa de crecimiento
(
p

(t)
p(t)
) de una poblacin p(t) de moscas de la fruta en un instante dado t es
constante en dicho momento. Si hay 180 moscas despus del segundo da
del experimento y 300 moscas despus del cuarto da, cuntas moscas
haba originalmente?
9) (Modelo de Verhuslt, 1834). Un pueblo posee una poblacin actual de
1000 habitantes. Suponiendo que la tasa de crecimiento de una poblacin
p(t) est dada por (2 p(t)), determnese la poblacin del pueblo en
cualquier instante futuro. Estimar haca que valor tiende el nmero de
habitantes para valores del tiempo t grandes. Calclese el instante en el
cual el crecimiento de la poblacin es mximo.
10) (Ratn que te pilla el gato!) Un ratn se encuentra paccamente
comiendo su queso en el origen de coordenadas, cuando un gato ham-
briento localizado en el punto (10,0) lo descubre y parte en su persecu-
cin. Instantneamente, el ratn descubre la presencia de su enemigo y
toma la decisin de huir a lo largo del eje y en el sentido positivo con
25 cm/s de velocidad constante. La estrategia del gato es correr siempre
en la direccin que se encuentra el ratn a una velocidad constante de 1
m/s. Cunto tiempo tarda el gato en cazar al ratn?
1
el nmero de aos que han de transcurrir para que se desintegren la mitad de los tomos iniciales
de una muestra.