Integrla

Captulo 9
Integral de Riemann
9.1. Integrabilidad de Riemann
Se seguir el procediminto de Darboux y se denir la intergral superior y
la integral inferior de una funcin acotada cualesquiera en un intervalo cerra-
do. Entonces se dir que tal funcin es integrable segn Riemann si su integral
superior y su integral inferior son iguales: la integral de Riemann de la funcin
se dine como este valor comn. Se consideran asimismo varios ejemplos ele-
mentales y se establece un criterio para la integrabilidad de Riemann que hace
recordar el criterio de Cauchy para la convergencia de una sucesin. Despus se
aplica este criterio para demostrar que las funciones continuas o bien montonas
en un intervalo son integrables segn Riemann.
9.1.1. Sumas superior e inferior
Para discutir el concepto de integral de Riemann, primero se debe introducir
algunos aspectos de terminologa y notacin.
Denicin 86 Sea I = [a, b] un intervalo cerrado de R, entonces se llama
particin de I a todo conjunto nito ordenado P = {x
0
, x
1
, ..., x
n
} de puntos
en I tales que
a = x
0
< x
1
< < x
i1
< x
i
< < x
n
= b
Observemos que los puntos de la particin P se pueden usar para dividir I en
subintervalos de la forma
[a, x
1
], ..., [x
i1
, x
i
], ..., [x
n1
, b]
Ejemplo 179 Dado un intervalo I = [a, b], los nmeros reales dados por la
frmula
x
i
= a +
b a
n
i
para cada i = 0, 1, 2, ..., n, constituyen una particin de I que divide en n partes
iguales a este intervalo.
249
Los autores, 2002; Edicions UPC, 2002.
250 CAPTULO 9. INTEGRAL DE RIEMANN
Denicin 87 Sea f : I = [a, b] R una funcin acotada en I y P =
{x
0
, x
1
, ..., x
n
} una particin de I. Para cada i = 1, 2, ..., n se hace
m
i
= inf{f (x) : x [x
i1
, x
i
]}
M
i
= sup{f (x) : x [x
i1
, x
i
]}
La suma inferior de f para la particin P, designada por L(f, P), se dene
como
L(P, f) =
n
X
i=1
m
i
(x
i
x
i1
)
Figura 1
La suma superior de f para P, designada por U(f, P), se dene como
U(f, P) =
n
X
i=1
M
i
(x
i
x
i1
)
Figura 2
Observacin 101 1.
2. La condicin de que f est acotada sobre [a, b] es esencial para que los
m
i
y M
i
queden denidos. Obrvese tambin que ha sido necesario denir
los nmeros m
i
y M
i
como nmos y supremos en lugar de mnimos y
mximos, ya que no se exigi en la denicin que f fuera continua.
9.1. INTEGRABILIDAD DE RIEMANN 251
3. Si f es una funcin positiva, entonces la suma inferior L(f, P) se puede
interpretar como el rea de la unin de los rectngulos con base [x
i1
, x
i
]
y altura m
k
; ver la gura 1. De manera similar, la suma superior U(f, P)
se puede interpretar como el rea de la unin de los rectngulos con base
[x
i1
, x
i
] y altura M
k
; ver la gura 2.
Ejemplo 180 Consideremos una funcin constante f(x) = c en un intervalo
I = [a, b]. Entonces, para cualquier particin P = {x
0
, x
1
, ..., x
n
} de I y para
cada i = 0, 1, ..., n, se tiene
m
i
= c y M
i
= c
y, por tanto,
L(f, P) = U(f, P) =
n
X
i=1
c (x
i
x
i1
) = c
n
X
i=1
(x
i
x
i1
)
Ahora bien,
n
X
i=1
(x
i
x
i1
) = (x
1
a) + (x
2
x
1
) + + (b x
n1
)
= b a
luego
L(f, P) = U(f, P) = c (b a)
Ejemplo 181 Sea f la funcin denida en el intervalo I = [a, b] por
f(x) =

1 si x Q
0 si x / Q
Hallar U(f, P) y L(f, P), siendo P una particin cualquiera de I.
Solucin: Para cualquier particin P = {x
0
, x
1
, ..., x
n
} de I y para cada
i = 1, 2, ..., n, se tiene
m
i
= inf{f(x) : x [x
i1
, x
i
]} = 0
y
M
i
= sup{f(x) : x [x
i1
, x
i
]} = 1
ya que en cualquier intervalo de nmeros reales hay nmeros racionales e irra-
cionales. por qu? Por consiguiente,
L(f, P) =
n
X
i=1
m
i
(x
i
x
i1
) = 0
U(f, P) =
n
X
i=1
M
i
(x
i
x
i1
) = b a
Lema 8 Si f : I = [a, b] R es acotada sobre I y P es una particin
cualquiera de I, entonces L(f, P) U(f, P).
Demostracin: Sea P = {x
0
, x
1
, ..., x
n
} una particin cualesquiera de I. Puesto
que m
i
M
i
para para cada i = 1, 2, ..., n, y como x
i
x
i1
> 0 para cada
i = 1, 2, ..., n, se sigue que
L(f, P) =
n
X
i=1
m
i
(x
i
x
i1
)
n
X
i=1
M
i
(x
i
x
i1
) = U(f, P)
Denicin 88 Si P = (x
0
, x
1
, ..., x
n
) y Q = (y
0
, y
1
, ..., y
m
) son dos particiones
de I = [a, b], se dice que Q es ms na que P si P Q. Es evidente que si Q
es ms na que P, entonces se puede obtener Q a partir de P, agregando a P
un nmero nito de puntos. Obsrvese, adems, que cada uno de los intervalos
[x
i1
, x
i
] en que P divide a I se pueden escribir como la unin de los intervalos
cuyos estremos pertenecen a Q, es decir,
[x
i1
, x
i
] = [y
j1
, y
j
] [y
j
, y
j+1
] [y
h1
, y
h
]
Ejemplo 182 Los conjuntos P = {0, 1}, P
0
= {0, 1/3, 1} y P
00
= {0, 1/3, 1/2, 1}
son tres particiones del intervalor [0, 1]. Adems, P
00
es una particin ms na
que P
0
y sta es ms na que P.
Se demuestra a continuacin que el renamiento de una particin incrementa
las sumas inferiores y decrementa las sumas superiores.
Lema 9 Sea f : I = [a, b] R una funcin acotada sobre I, P una partin de
I y Q una particin ms na que P, entonces
L(f, P) L(f, Q) y U(f, Q) U(f, P)
Demostracin: Sea P = (x
0
, x
1
, ..., x
n
) cualquier pariticin de I. Consider-
emos en primer lugar el caso de agregar a P exactamente un punto z I.
Supongamos que se cumple x
i1
< z < x
i
y que P
0
es la particin de I obtenida
al agregar z a P
P
0
= {x
0
, x
1
, ..., x
i1
, z, x
i
, ..., x
n
}
Supongamos que
m
i
= inf {f(x) : x [x
i1
, x
i
]}
m
0
i
= inf {f (x) : x [x
i1
, z]}
m
00
i
= inf {f (x) : x [z, x
i
]}
para i = 1, 2, ..., n. Entonces, se cumplen m
i
m
0
i
y m
i
m
00
i
, ya que los
conjuntos {f (x) : x [x
i1
, z]} y {f (x) : x [z, x
i
]} estn contenidos en
{f(x) : x [x
i1
, x
i
]} por qu? y, por consiguiente,
m
i
(x
i
x
i1
) = m
i
(z x
i1
) +m
i
(x
i
z)
m
0
i
(z x
i1
) +m
00
i
(x
i
z)
De aqu, entonces tenemos
L(f, P) =
n
X
j=1
m
j
(x
j
x
j1
)
=
i1
X
j=1
m
j
(x
j
x
j1
) +m
i
(x
i
x
i1
) +
n
X
j=i+1
m
j
(x
j
x
j1
)
i1
X
j=1
m
j
(x
j
x
j1
) +m
0
i
(z x
i1
) +m
00
i
(x
i
z) +
n
X
j=i+1
m
j
(x
j
x
j1
)
= L(f, P
0
)
Esto demuestra, en este caso particular, que L(f, P) L(f, P
0
). Anlogamente
se prueba, en este caso, que U(f, P
0
) U(f, P).
El caso general se deduce ahora fcilmente: Supongamos que P
0
tiene exac-
tamente h puntos ms que P y elijamos h + 1 particiones P
0
, P
1
, ..., P
h
de I
tales que
P = P
0
P
1
P
h
= P
0
y que cada una de ellas contenga exactamente un punto ms que la anterior;
esto puede hacerse aadiendo sucesivamente a P cada uno de los h puntos de
P
0
que no estn en P. Entonces,
L(f, P) = L(f, P
0
) L(f, P
1
) L(f, P
h
) = L(f, P
0
)
y
U(f, P
0
) = U(f, P
h
) U(f, P
1
) U(f, P
0
) = U(f, P)
En el lema 1 se demostr que, una suma inferior es menor que una suma
superior si ambas sumas corresponden a la misma particin y, en el lema 2 que,
al hacer el renamiento de una particin se incrementan las sumas inferiores
y se decrementan las sumas superiores. Estos dos resultados se combinan a
continuacin para concluir que una suma inferior siempre es menor que una
suma superior aun cuando correspondan a particiones diferentes.
Lema 10 Sea f : I = [a, b] R una funcin acotada sobre I. Si P
1
y P
2
son
dos particiones cualesquiera de I, entonces se cumple que
L(f, P
1
) U(f, P
2
)
Demostracin: Sea Q = P
1
P
2
la particin obtenida al combinar los puntos
de P
1
y P
2
. Entonces Q es ms na que P
1
y que P
2
y, por tanto, por los lemas
1 y 2 se concluye que
L(f, P
1
) L(f, Q) U(f, Q) U(f, P
2
)
9.1.2. Integrales superior e inferior
La coleccin de todas las particiones del intervalo I = [a, b] se denotar
por P(I). Si f : I R est acotada, entonces cada P en P(I) determina
dos nmeros: L(f, P) y U(f, P). Por tanto, la coleccin P(I) determina dos
conjuntos de nmeros reales: el conjunto de las sumas inferiores L(f, P) para
P P(I) y el conjunto de las sumas superiores U(f, P) para P P(I). Por
tanto, se llega a las siguientes deniciones.
Denicin 89 Sea I = [a, b] y f : I R una funcin acotada. La integral
inferior de f en I es el nmero
L(f) = sup{L(f, P) : P P(I)}
y la integral superior de f en I es el nmero
U(f) = inf {U(f, P) : P P(I)}
Teorema 186 Sea I = [a, b] y f : I R una funcin acotada. Entonces
existen la integral inferior L(f) y la integral superior U (f) de f en I. Adems
se cumple
L(f) U(f)
Demostracin: Los conjuntos A = {L(f, P) : P P(I)} y B = {U(f, P) :
P P(I)} son no vacos ya que f est acotada por qu?. Adems, por el lema
1, A est acotado superiormente (cualquier elemento de B es cota superior de
A) y B est acotado inferiormente (cualquier elemento de A es cota inferior de
B). Por tanto, existen L(f) y U(f).
Si P
1
y P
2
son dos particiones cualesquiera de I, entonces por el lema 3 se
sigue que L(f, P
1
) U(f, P
2
). Por lo tanto, el nmero U(f, P
2
) es una cota
superior del conjunto {L(f, P) : P P(I)}. Por consiguiente, al ser L(f) el
supremo se cumple
L(f) U(f, P
2
)
Puesto que P
2
es una particin cualesquiera de I, entonces L(f) es una cota
inferior del conjunto {U(f, P) : P P(I)}. Por consiguiente, al ser U(f) el
nmo
L(f) U(f)
9.1.3. La integral de Riemann
Sea I = [a, b] y f : I R una funcin acotada. En el teorema 1 se ha
demostrado que la integral inferior L(f) y la integral superior U(f) siempre
existen. Adems, siempre se verica que L(f) U(f). Sin embargo, es posible
que se tenga L(f) < U(f), como se ver en el ejemplo ???. Por otra parte, hay
una numerosa clase de funciones para las que L(f) = U(f). Se dice que esas
funciones son integrables y al valor comn de L(f) y U(f) se le llama la
integral de f en I.
Denicin 90 Sea I = [a, b] y f : I R una funcin acotada. Entonces se
dice que f es integrable en I en el sentido de Riemann, o simplemente
R-integrable, si L(f) = U(f). En este caso la integal de Riemann de f en
I se dene como el valor L(f) = U(f) y este nmero por lo general se denota
por
Z
b
a
f o
Z
b
a
f (x) dx
Adems, por convenio se dene tambin
Z
a
b
f =
Z
b
a
f o
Z
a
a
f = 0
Observacin 102 Segn la denicin, si una funcin f es acotada en [a, b] y
R-integrable en [a, b], entonces
L(f, P)
Z
b
a
f U(f, P)
para toda particin P de [a, b]. Adems,
R
b
a
f es el nico nmero real con esta
propiedad.
Sin ambargo, si una funcin f acotada en [a, b] no es R-integrable en [a, b],
entonces
L(f) < U(f)
y existen innitos nmeros reales que acotan superiormente al conjunto de las
sumas inferiores de f e inferiormente al conjunto de las sumas superiores de f,
todos los del intervalo cerrado de extremos L(f) y U(f).
Ejemplo 183 Una funcin constante es R-integrable.
Solucin: Sea f(x) = c para x I = [a, b]. Si P es una particin cua-
lesquiera de I, en el ejemplo ??? hemos visto que
L(f, P) = c (b a) = U(f, P)
Por lo tanto, las integrales inferior y superior estn dadas por
L(f) = c (b a) = U(f)
Por consiguiente, f es integrable en I y
Z
b
a
f =
Z
b
a
c = c (b a)
Ejemplo 184 La funcin g (x) = x es integrable en [0, 1].
Solucin: Sea P
n
la particin de I = [0, 1] en n subintervalos dados por
P
n
= {
0
n
,
1
n
,
2
n
, ...,
n 1
n
,
n
n
= 1}
Puesto que g es una funcin creciente, su nmno y su supremo en el subin-
tervalo [
k1
n
,
k
n
] se alcanzan a la izquierda y a la derecha de los extremos del
intervalo respectivamente y, por tanto, estn dados por m
k
=
k1
n
y M
k
=
k
n
.
Adems, puesto que x
k
x
k1
=
1
n
para toda k = 1, 2, ..., n, se tiene
L(g, P
n
) =
0 + 1 + + (n 1)
n
2
U(g, P
n
) =
1 + 2 + +n
n
2
Si se usa la frmula 1 + 2 + +m =
m(m+1)
2
, para m N, se obtiene que
L(g, P
n
) =
(n 1) n
2n
2
=
1
2
1
1
n
U(g, P
n
) =
n(n + 1)
2n
2
=
1
2
1 +
1
n
Puesto que el conjunto de particiones {P

n
: n N} es un subconjunto del
conjunto de todas las particiones P(I) de I, se sigue que
1
2
= sup{L(g, P
n
) : n N} sup{L(g, P) : P P(I)} = L(g)
y tambin que
U(g) = inf {U(g, P) : P P(I)} inf {U(g, P
n
) : n N} =
1
2
Como
1
2
L(g) U(g)
1
2
se concluye que
L(g) = U(g) =
1
2
Por lo tanto, g es R-integrable en I = [0, 1] y
Z
1
0
g =
Z
1
0
x =
1
2
Ejemplo 185 La funcin h(x) = x
2
es integrable en I = [0, 1].
Solucin: Sea P
n
como en el ejercicio anterior. Puesto que h es creciente
en [0, 1] se tiene
m
k
=

k 1
n
2
M
k
=

k
n
2
para k = 1, 2, ..., n. Se tiene, por tanto,
L(h, P
n
) =
0
2
+ 1
2
+ + (n 1)
2
n
3
U(h, P
n
) =
1
2
+ 2
2
+ +n
2
n
3
Usando la frmula
1
2
+ 2
2
+ +m
2
=
1
6
m(m+ 1) (2m+ 1)
se obtiene
L(h, P
n
) =
(n 1) n(2n 1)
6n
3
=
1
3
1
3
2n
+
1
2n
2
U(h, P
n
) =
n(n + 1) (2n + 1)
6n
3
=
1
3
1 +
3
2n
+
1
2n
2
para toda n N. Por lo tanto, se ve que

1
3
= sup{L(h, P
n
) : n N} sup{L(h, P) : P P(I)} = L(h)
as como que
U(h) = inf {U(h, P) : P P(I)} inf {U(h, P
n
) : n N} =
1
3
Entonces, se inere que
L(h) = U(h) =
1
3
Por lo tanto, h es R-integrable en I = [0, 1] y
Z
1
0
h =
Z
1
0
x
2
=
1
3
Ejemplo 186 Sea I = [0, 1] y f : I R una funcin denida por
f(x) =

1 si x Q
0 si x / Q
Porbar que f no R-integrable en I.
Solucin: Si P = {x
0
, x
1
, ..., x
n
} es una particin cualesquiera de I, en-
tonces como cualquier intervalo no trivial contiene nmeros tanto racionales
como irracionales, se tiene m
i
= 0 y M
i
= 1. Por lo tanto, se tiene
L(f, P) = 0 o U(f, P) = 1
para toda P P(I), de donde
L(f) = 0 o U(f) = 1
Puesto que L(f) 6= U(f), la funcin f no es R-integrable en I.
Al tratar la integral de Riemann nos enfrentamos a dos tipos de cuestiones.
Primera, para una funcin acotada dada en un intervalo surge la cuestin de la
existencia de la integral. Segunda, si se sabe que existe la integral, entonces se
plantea el problema de evaluarla. Se empieza por establecer algunas condiciones
para la existencia de la integral.
Teorema 187 (Criterio de integrabilidad de Riemann) Sea I = [a, b] y
f : I R una funcin acotada en I. Entonces f es R-integrable en I si y slo
si para cada > 0 existe una particin P
de I tal que
U(f, P
) L(f, P
) <
Demostracin: Si f es R-integlable, entonces se tiene L(f) = U(f). Dado
cualquier > 0, entonces por la denicin de integral inferior, existe una partin
P
1
de I tal que
L(f)

2
< L(f, P
1
)
De manera similar, existe una particin P
2
de I tal que
U(f, P
2
) < U(f) +

2
Si ahora hacemos P
= P
1
P
2
,entonces P
es una particin de I ms na que

P
1
y que P
2
. Por consiguiente, por los lemas 1 y 2, se tiene
L(f)

2
< L(f, P
1
) L(f, P
) U(f, P
) U(f, P
2
) < U(f) +

2
Puesto que L(f) = U(f), se concluye
U(f, P
) L(f, P
) <

2
+

2
=
Recprocamente, se observa primero que para cualquier particin P de I se
tiene L(f, P) L(f) y U(f) U(f, P). Por lo tanto,
U(f) L(f) U(f, P) L(f, P)
Supongamos ahora que para cada > 0 existe una particin P
tal que
U(f, P
) L(f, P
) <
Entonces, se tiene
U(f) L(f) U(f, P
) L(f, P
) <
Como > 0 es un valor cualesquiera, se concluye que U(f) L(f). Puesto que
por el teorema 1 la desigualdad L(f) U(f) es vlida siempre, se tiene
0 U(f) L(f) <
luego, L(f) = U(f) y, en consecuencia, f es R-integrable.
Corolario 27 Sea I = [a, b] y f : I R una funcin acotada. Si {P
n
: n N}
es una sucesin de particiones de I tal que
U(f, P) L(f, P)
lm
n
[U(f, P
n
) L(f, P
n
)] = 0
entonces f es R-integrable y, entonces, se cumple
lm
n
L(f, P
n
) =
Z
b
a
f = lm
n
U(f, P
n
)
Demostracin: Si se da > 0, por la hiptesis, se sigue que existe K tal que si
n K, entonces U(f, P
n
) L(f, P
n
) < , de donde se sigue la integrabilidad de
f por el criterio de Riemann. El resto de la demostracin se deja como ejercicio
para el lector.
Observacin 103 La importancia del corolario radica en el hecho de que aun
cuando la denicin de la integral de Riemann incluye, para una funcin dada,
el conjunto de todas las particiones posibles de un intervalo, la existencia de la
integral y su valor con frecuencia se pueden determinar por una sucesin especial
de particiones.
Ejemplo 187 Sea la funcin g (x) = x denida en I = [0, 1]. Si P
n
= {0,
1
n
, ...,
n1
n
, 1}
entonces por el ejemplo ???, se tiene
lm
n
[U(g, P
n
) L(g, P
n
)] = lm
n
1
n
= 0
y, por tanto,
Z
1
0
x = lm
n
U(g, P
n
) = lm
n
1
2
1 +
1
n
=
1
2
Ejemplo 188 Si h(x) = x
2
en [0, 1] y P
n
es la particin del ejemplo ???,
entonces por el ejemplo ???, se sigue que
Z
1
0
x
2
= lm
n
U(h, P
n
) = lm
n
1
3
1 +
3
2n
+
1
2n
2
=
1
3
9.1.4. Integrabilidad de funciones montonas y continuas
Los dos teoremas siguientes establecen la R-integrabilidad de las funciones
montonas y la de las funciones continuas.
Integrabilidad de funciones montonas.
Teorema 188 Sea I = [a, b] y f : I R una funcin montona en I. En-
tonces f es R-integrable en I.
Demostracin: Es evidente que toda funcin montona en un intervalo cerrado
est acotada en dicho intervalo. Supongamos que f es creciente en I. Sea P
n
=
{x
0
, x
1
, ..., x
n
} la particin de I en n partes iguales, de tal modo que
x
i
x
i1
=
b a
n
para i = 1, 2, ..., n. Puesto que f es creciente en [x
i1
, x
i
], es evidente que m
i
=
inf {f(x) : x [x
i1
, x
i
]} = f(x
i1
) y M
i
= sup{f(x) : x [x
i1
, x
i
]} = f(x
i
).
Por lo tanto se tiene,
U(f, P
n
) L(f, P
n
) =
n
X
i=1
(M
i
m
i
) (x
i
x
i1
)
=
b a
n
n
X
i=1
(f(x
i
) f(x
i1
))
=
b a
n
[f(x
1
) f(x
0
) +f(x
2
) f(x
1
) + +f(x
n
) f(x
n1
)]
=
b a
n
(f(x
n
) f(x
0
))
=
b a
n
(f(b) f(a))
Dado ahora cualquier > 0, elijamos n N tal que
n > (b a)
f(b) f(a)
Entonces, para la particin correspondiente P

n
se tiene
U(f, P
n
) L(f, P
n
) =
n
X
i=1
(M
i
m
i
) (x
i
x
i1
) <
y, por el corolario ???, se sigue que f es R-integrable en I.
Anlogamente se prueba que si f es decreciente en [a, b] entonces f es R-
integrable en [a, b].
Integrabilidad de funciones continuas.
Teorema 189 Sea I = [a, b] y f : I R una funcin continua en I. Entonces
f es R-integrable en I.
Demostracin: Como f es continua en el intervalo cerrado I, f est acotada
y es uniformemente continua en I. Por lo tanto, para cada > 0, existe > 0
tal que si x, x
0
I y |x x
0
| < , entonces
|f(x) f(x
0
)| <

b a
Elijamos ahora n N tal que
n >
b a
y sea P
n
= {x
0
, x
1
, ..., x
n
} la particin de I en n partes iguales, de tal modo que
x
i
x
i1
=
b a
n
<
En cada intervalo cerrado [x
i1
, x
i
] la funcin continua f tiene un mnimo y
un mximo, es decir, para cada intervalo [x
i1
, x
i
], i = 1, 2, ..., n, se obtiene la
existencia de los puntos u
i
, v
i
en [x
i1
, x
i
] tales que
m
i
= inf {f(x) : x [x
i1
, x
i
]} = f(u
i
)
M
i
= sup{f(x) : x [x
i1
, x
i
]} = f(v
i
)
9.2. PROPIEDADES DE LA INTEGRAL DE RIEMANN 261
Por tanto, se tiene
M
i
m
i
= |f(v
i
) f(u
i
)| <

b a
de donde se sigue que
U(f, P
n
) L(f, P
n
) =
n
X
i=1
(M
i
m
i
) (x
i
x
i1
)

b a
n
X
i=1
b a
n
=

b a
(b a) =
Puesto que > 0 es un valor cualesquiera, se sigue que
lm
n
[U(f, P
n
) L(f, P
n
)] = 0
y, por lo que el corolario ???, f es R-integrable en I.
Observacin 104 En los ejercicios se ver que si f : [a, b] R est acotada
y tiene a lo sumo un nmero nito de discontinuidades en [a, b], entonces f es
R-integrable en [a, b]. Sin embargo, es posible que una funcin tenga un nmero
innito de discontinuidades y aun as sea R-integrable; ver el ejercicio ???
9.2. Propiedades de la integral de Riemann
En esta seccin se establecern algunas de las propiedades bsicas de la
intergral de Riemann, incluyendo las importantes propiedades de linealidad y
positividad.
El concepto de integrabilidad describe una familia de funciones, la clase de
las funciones R-integrables en un intervalo, y la seccin se concluir con una
revisin de las propiedades de permanencia de esta clase. El resultado clave
es que si se hace la composicin de una funcin integrable con una funcin
continua, la funcin compuesta resultante es integrable. De este hecho se inere
que el valor absoluto, la potenciacin y el producto de funciones integrables
tambin son integrables.
Teorema 190 (Propiedad de linealidad) Sea I = [a, b] y f, g : I R dos
funciones R-integrables en I. Si k R, entonces las funciones kf y f + g son
R-integrables en I, y se cumple
1.
Z
b
a
kf = k
Z
b
a
f (k R)
2.
Z
b
a
(f +g) =
Z
b
a
f +
Z
b
a
g
Demostracin:
1. Sea P = {x
0
, x
1
, ..., x
n
} una particin arbitraria de I. Para cada i =
1, 2, ..., n, consideremos los conjuntos
A
i
= {f(x) : x [x
i1
, x
i
]}
B
i
= {k f(x) : x [x
i1
, x
i
]}
y sean m
i
y M
i
el nmo y el supremo de A
i
, y m
0
i
y M
0
i
el nmo y el
supremo de B
i
. Si k 0 se tiene
m
0
i
= km
i
y M
0
i
= kM
i
y, por tanto,
L(kf, P) = kL(f, P) y U(kf, P) = kU(f, P)
y como P es una particin arbitraria de I, se tiene
L(kf) = kL(f) y U(kf) = kU(f)
y, por ser f R-integrable en I, se sigue que
k
Z
b
a
f = kL(f) = L(kf) U(kf) = kU(f) = k
Z
b
a
f
luego,
L(kf) = U(kf) = k
Z
b
a
f
es decir, kf es R-integrable en I y
Z
b
a
kf = k
Z
b
a
f
Del mismo modo se procede en el caso en que k < 0. En este caso, se
cumplen
m
0
i
= kM
i
y M
0
i
= km
i
y, por tanto,
L(kf, P) = kU(f, P) y U(kf, P) = kL(f, P)
y como P es una particin arbitraria de I, se tiene
L(kf) = kU(f) y U(kf) = kL(f)
y, por ser f R-integrable en I, se sigue que
k
Z
b
a
f = kU(f) = L(kf) U(kf) = kL(f) = k
Z
b
a
luego,
L(kf) = U(kf) = k
Z
b
a
f
es decir, kf es R-integrable en I y
Z
b
a
kf = k
Z
b
a
f
2. Para establecer la armacin acerca de f + g, consideremos para cada
i = 1, 2, ..., n, los siguientes conjuntos
A
i
= {f(x) : x [x
i1
, x
i
]}
B
i
= {g(x) : x [x
i1
, x
i
]}
C
i
= {(f +g)(x) : x [x
i1
, x
i
]}
y sean m
i
y M
i
el nmo y el supremo de A
i
, m
0
i
y M
0
i
el nmo y el
supremo de B
i
, y m
00
i
y M
00
i
el nmo y el supremo de C
i
. Observemos que
el conjunto
A
i
+B
i
= {f(x) +g(y) : x, y [x
i1
, x
i
]}
contiene al conjunto C
i
y, por tanto, se cumple
m
00
i
= inf C
i
inf (A
i
+B
i
) = inf A
i
+ inf B
i
= m
i
+m
0
i
y
M
00
i
= sup C
i
sup(A
i
+B
i
) = sup A
i
+ sup B
i
= M
i
+M
0
i
Por consiguiente, para toda particin P P(I) se cumple
L(f, P) +L(g, P) L(f +g, P)
U(f +g, P) U(f, P) +U(g, P)
Si se da ahora > 0, entonces como f y g son R-integrables, existen las
particiones P
f,
y P
g,
tales que
U(f, P
f,
) L(f, P
f,
) +

2
U(g, P
g,
) L(g, P
g,
) +

2
Si hacemos P
= P
f,
P
g,
entonces se obtiene
U(f +g, P
) U(f, P
) +U(g, P
)
U(f, P
f,
) +U(g, P
g,
)
L(f, P
f,
) +L(g, P
g,
) +
L(f, P
) +L(g, P
)
L(f +g, P
) +
Por tanto, por el criterio de Riemann, se ve que f + g es R-integrable.
Adems, como
Z
b
a
(f +g) U(f +g, P
)
L(f, P
) +L(g, P
) +
Z
b
a
f +
Z
b
a
g +
y
Z
b
a
f +
Z
b
a
g U(f, P
) +U(g, P
)
L(f +g, P
) +
Z
b
a
(f +g) +
Puesto que > 0 es un valor cualesquiera, se deduce
Z
b
a
(f +g) =
Z
b
a
f +
Z
b
a
g
Observacin 105 Al aplicar un razonamiento de induccin es posible ampliar
este teorema a una combinacin lineal nita de funciones R-integrables. De este
modo, si f
1
, ..., f
n
son funciones R-integrables en [a, b], entonces k
1
f
1
+ +k
n
f
n
es R-integrable en [a, b] y
Z
b
a
(k
1
f
1
+ +k
n
f
n
) = k
1
Z
b
a
f
1
+ +k
n
Z
b
a
f
n
En ocasiones se hace referencia al resultado siguiente como la propiedad de
monotona de la integral.
Teorema 191 (Propiedad de monotona) Sea I = [a, b] y f : I R una
funcin R-integrable en I. Si f(x) 0 para todo x I, entonces
Z
b
a
f 0
Demostracin: Por ser f(x) 0 para todo x I, se tiene
0 L(f, P)
para cualquier particin P P(I), luego
Z
b
a
f L(f, P) 0
Corolario 28 Si I = [a, b] y f, g : I R son funciones R-integrables en I
tales que f(x) g(x) para todo x I, entonces
Z
b
a
f
Z
b
a
g
Demostracin: Por el teorema ???, la funcin g f es R-integrable en I y
Z
b
a
(g f) =
Z
b
a
g
Z
b
a
f
Por hiptesis se cumple (g f) (x) 0 para todo x I, de tal modo que por el
teorema ??? se sigue que
Z
b
a
g
Z
b
a
f =
Z
b
a
(g f) 0
No es obvio que si f es R-integrable en [a, b] y si c (a, b), entonces f es
integrable en [a, c] y [c, b]. En el siguiente resultado se establece este hecho as
como la adivitidad de la integral respecto al intervalo de integracin.
Teorema 192 Sean a, b y c tres nmeros reales tales que a < c < b. Sea I =
[a, b] y f : I R una funcin acotada. Entonces f es R-integrable en I si y
slo si f es R-integrable tanto en I
1
= [a, c] como en I
2
= [c, b]. En este caso,
se cumple
Z
b
a
f =
Z
c
a
f +
Z
b
c
f
Demostracin: Supongamos en primer lugar que f es R-integrable en I
1
y
I
2
. Entonces, dado > 0, por el criterio de Riemann se sigue que existen las
particiones P
1,
de I
1
y P
2,
de I
2
tales que
U(f, P
1,
) L(f, P
1,
) <

2
U(f, P
2,
) L(f, P
2,
) <

2
Sea ahora P
= P
1,
P
2,
. Entonces, se sigue que
U(f, P
) L(f, P
) = [U(f, P
1,
) +U(f, P
2,
)] [L(f, P
1,
) +L(f, P
2,
)]
= [U(f, P
1,
) L(f, P
1,
)] + [U(f, P
2,
) L(f, P
2,
)]
<

2
+

2
=
Puesto que > 0 es un valor cualesquiera, por el criterio de Riemann, se sigue
que f es integrable en [a, b].
Recprocamente, supongamos ahora que f es integrable en [a, b]. Si > 0,
existe una partin P de [a, b] tal que
U(f, P) L(f, P) <
Si P
0
= P {c}, entonces P
0
es una particin ms na que P, de donde, por el
lema 2, se sigue que
U(f, P
0
) L(f, P
0
) U(f, P) L(f, P) <
Si ahora hacemos P
0
1
= P
0
[a, c] y P
0
2
= P
0
[c, b], entonces se ve de inmediato
que
U(f, P
0
) = U(f, P
0
1
) +U(f, P
0
2
)
L(f, P
0
) = L(f, P
0
1
) +L(f, P
0
2
)
Al combinar estos resultados con la frmula precedente se tiene
[U(f, P
0
1
) L(f, P
0
1
)] + [U(f, P
0
2
) L(f, P
0
2
)] <
Puesto que los trminos entre corchetes son no negativos, se deduce que
U(f, P
0
1
) L(f, P
0
1
) <
U(f, P
0
2
) L(f, P
0
2
) <
Puesto que > 0 es un valor cualesquiera, por el criterio de Riemann, se sigue
que f es integrable en [a, c] y en [c, b].
De las desigualdades siguientes
U(f, P
0
1
) L(f, P
0
1
) <
U(f, P
0
2
) L(f, P
0
2
) <
se sigue que
Z
b
a
f U(f, P
0
)
= U(f, P
0
1
) +U(f, P
0
2
)
< L(f, P
0
1
) +L(f, P
0
2
) + 2
Z
c
a
f +
Z
b
c
f + 2
De estas mismas desigualdades, se obtiene tambin
Z
c
a
f +
Z
b
c
f U(f, P
0
1
) +U(f, P
0
2
)
< L(f, P
0
1
) +L(f, P
0
2
) + 2
= L(f, P
0
) + 2
Z
b
a
f + 2
Puesto que > 0 es un valor cualesquiera, se obtiene como consecuencia que
Z
b
a
f =
Z
c
a
f +
Z
b
c
f
Observacin 106 Al aplicar un razonamiento de induccin es posible ampliar
el resultado de este teorema a una descomposicin de [a, b] en una unin nita
de intervalos
[a, b] = [a, c
1
] [c
1
, c
2
] [c
n
, b]
De este modo, se cumple
Z
b
a
f =
Z
c1
a
f +
Z
c2
c
1
f + +
Z
b
c
n
f
si f es R-integrable en [a, b].
9.2.1. La clase de las funciones R-integrables
En el teorema 7.2.1 se demostr que una constante mltiplo de una funcin
R-integrable es R-integrable. De manera similar, la suma de dos funciones R-
integrables tambin es R-integrable. Se demuestra a continuacin que algunas
otras combinaciones de funciones R-integrables son R-integrables. El resultado
de mayor utilidad en este sentido se establecer a continuacin.
Teorema 193 (Teorema de composicin) Sean I = [a, b] y J = [c, d] inter-
valos cerrados y supongamos que f : I R es R-integrable en I, que g : J R
es continua y que f(I) J. Entonces la composicin g f : I R es R-
integrable en I.
Demostracin: Dado > 0, sea
K = sup{|g(t)| : t J}
y hacemos
0
=

b a + 2K
Puesto que g es uniformemente continua en J, existe > 0 tal que <
0
y tal
que si s, t J y |s t| < , entonces
|g(s) g(t)| <
0
Puesto que f es R-integrable en I y
2
> 0, por el criterio de Riemann, existe
una particin P = {x
0
, x
1
, ..., x
n
} de I tal que
U(f, P) L(f, P) <
2
La demostracin se terminar probando que para esta particin P se tiene
U(g f, P) L(g f, P)
Puesto que > 0 es un valor cualesquiera, con esto se demostrar que g f
es R-integrable en I, por el criterio de Riemann. Para ello, supongamos que
m
i
y M
i
denoten, como es costumbre, el nmo y el supremo de f en [x
i1
, x
i
]
y supongamos tambin que m
0
k
y M
0
k
denoten el nmo y el supremo de g
f en [x
i1
, x
i
]. Ser conveniente separar los ndices de la particin P en dos
subconjuntos disjuntos: en el primero se har pequea cada M
i
m
i
(y, en
consecuencia, tambin cada M
0
i
m
0
i
), y en la segunda se demostrar que la
suma
P
(x
i
x
i1
) es tan pequea como se requiera. En efecto, consideremos
los siguientes conjuntos
A = {i N : M
i
m
i
< }
B = {i N : M
i
m
i
}
Ahora bien, si i A y x, y [x
i1
, x
i
], entonces f (x) f (y) < , de donde se
sigue que (g f)(x) (g f)(y) <
0
, ya que g es uniformemente continua. Por
lo tanto, si i A, entonces M
0
i
m
0
i

0
, de donde se concluye que
X
iA
(M
0
i
m
0
i
) (x
i
x
i1
)
0
(b a)
Por otra parte, si i B, slo se puede armar que M
0
i
m
0
i
2K, ya que
K = sup{|g(t)| : t J}, de donde
X
iB
(M
0
i
m
0
i
) (x
i
x
i1
) 2K
X
iB
(x
i
x
i1
)
Ahora bien, para i B se tiene M
i
m
i
, de modo que
X
iB
(x
i
x
i1
)
1
X
iB
(M
i
m
i
) (x
i
x
i1
)
[U(f, P) L(f, P)] < <

0
Se tiene por lo tanto
X
iB
(M
0
i
m
0
i
) (x
i
x
i1
) 2K
0
Al combinar
X
iA
(M
0
i
m
0
i
) (x
i
x
i1
)
0
(b a)
X
iB
(M
0
i
m
0
i
) (x
i
x
i1
) 2K
0
se obtiene
U(g f, P) L(g f, P) =
X
iA
(M
0
i
m
0
i
) (x
i
x
i1
) +
X
iA
(M
0
i
m
0
i
) (x
i
x
i1
)

0
(b a) + 2K
0
=
Corolario 29 Sea I = [a, b] y f : I R una funcin R-integrable en I.
Entonces:
1. La funcin valor absoluto |f| es R-integrable en I, y se cumple
Z
b
a
f
Z
b
a
|f|
2. Si n N, entonces f
n
, la funcin potencia n-sima f, es R-integrable en
I.
3. Si existe > 0 tal que f(x) para todo x I, entonces la funcin
recproca 1/f es R-integrable en I.
Demostracin:
1. Puesto que f es R-integrable en I, f es acotada y, en consecuencia, existe
K > 0 tal que |f(x)| K para todo x I. Sea g
1
(t) = |t| para t J =
[K, K]. Entonces g
1
es continua en J y se cumple (g
1
f)(x) = |f(x)|
para todo x I. Por tanto, por el teorema de composicin, |f| es R-
integrable en I. La primera desigualdad se sigue del hecho de que |f|
f |f|. En efecto, por el corolario ???, se sigue que
Z
b
a
|f|
Z
b
a
f
Z
b
a
|f|
Ahora bien, si
R
b
a
f 0, entonces
Z
b
a
f
=
Z
b
a
f
Z
b
a
|f|
y si
R
b
a
f < 0, entonces
Z
b
a
f
=
Z
b
a
f
Z
b
a
|f|
luego, en cualquier caso se sigue que
Z
b
a
f
Z
b
a
|f|
2. Puesto que f es R-integrable en I, f es acotada y, en consecuencia, existe
K > 0 tal que |f(x)| K para todo x I. Sea g
2
(t) = t
n
para t J =
[K, K]. Entonces g
2
2
f)(x) = f
n
(x)
para todo x I. Por tanto, por el teorema de composicin, f
n
es R-
integrable en I.
3. En este caso se tiene f(x) K para x I. Si ahora denimos
g
3
(t) = 1/t para t J = [, K], g
3
3

f)(x) = 1/f(x) para todo x I. Por tanto, por el teorema de composicin,
1/f es R-integrable.
Teorema 194 (Teorema del producto) Sea I = [a, b] y f, g : I R fun-
ciones R-integrables en I. Entonces la funcin producto fg es R-integrable en
I.
Demostracin: Del teorema ??? y del corolario ??? con n = 2 se sigue f +g,
(f +g)
2
, f
2
y g
2
son R-integrables en I. Como
fg =
1
2
(f +g)
2
f
2
g
2
aplicando otra vez el teorema ??? se demuestra que fg es R-integrable en I.

Los resultados precedentes garantizan la existencia de la integral en una
clase muy numerosa de funciones. El ejemplo siguiente muestra que no se puede
prescindir de la hiptesis en el teorema de composicin de que g sea una funcin
continua.
Ejemplo 189 Demostrar con un ejemplo que la composicin de funciones R-
integrables no es necesariamente integrable.
Solucin: Sea I = [0, 1] y f : I R la funcin denida por
f(x) =
_
_
_
0 si x I Q
1 si x = 0
1
n
si x =
m
n
, m, n N y primos entre s
Entonces f es R-integrable en I; ver ejercicio ???. Consideremos la funcin
g : I R denida por g(0) = 0 y g(x) = 1 para x [0, 1]. Entonces g es R-
integrable en I y es continua en todo punto de I excepto en 0. La composicin
(gf)(x) = 0 si x I y x es irracional, y (gf)(x) = 1 si x I y x es racional.
Por tanto, g f es la funcin de Dirichlet, que se demostr en el ejemplo ???
que no es R-integrable en I.
Observacin 107 En la observacin ??? se arm que una funcin acotada
que tiene a lo sumo un nmero nito de discontinuidades es R-integrable y quizs
el lector suponga que este hecho caracterizara a la coleccin de las funciones
R-integrables. Sin embargo, la funcin de Thomae f del ejemplo anterior ilustra
que la coleccin de discontinuidades de una funcin integrable no debe ser nece-
sariamente nita. A este respecto, hay un teorema debido a Henri Lebesgue que
ofrece una condicin necesaria y suciente para que una funcin acotada sea
R-integrable. Para establecer este resultado es necesario hacer una denicin:
Se dice que un conjunto D R es un conjunto de medida cero si para toda
> 0 existe una familia numerable de intervalos I
n
= (a
n
, b
n
) con a
n
b
n
para
n N tal que
D

S
n=1
I
n
y
X
n=1
(b
n
a
n
) <
Entonces el teorema de Lebesgue arma que una funcin acotada f : [a, b] R
es R-integrable si y slo si su conjunto de discontinuidades es un conjunto de
medida cero.
Teorema 195 Si f : [a, b] R es una funcin R-integrable en [a, b] y
m f(x) M
para todo x [a, b], entonces
m(b a)
Z
b
a
f M(b a)
Demostracin: Es evidente que
m(b a) L(f, P)
U(f, P) M(b a)
para toda particin P de [a, b]. Puesto que f es R-integrable en [a, b] se cumple
Z
b
a
f = L(f) = U(f)
y por tanto,
m(b a)
Z
b
a
f M(b a)
9.3. EL TEOREMA FUNDAMENTAL DEL CLCULO 271
9.3. El teorema fundamental del clculo
En esta seccin se presenta la conexin entre las nociones de derivada e
integral. De hecho, hay dos teoremas; uno se reere a la integracin de una
derivada y el otro a la derivacin de una integral. Ambos establecen que, en
sentidos que debern precisarse, las operaciones de derivacin e integracin son
inversas la una de la otra. Sin embargo, hay ciertos aspectos sutiles y se advierte
al lector que verique que las hiptesis de estos teoremas se satisfacen antes de
aplicarlos.
La primera forma del teorema fundamental proporciona las bases tericas
para el mtodo de calcular una integral que el lector aprendi en sus clases
de clculo. Se presenta este resultado en un contexto bastante general; se llega
luego a una versin un tanto ms limitada como un corolario.
Teorema 196 (Primera forma del teorema fundamental del clculo) Sea
f : [a, b] R una funcin R-integrable en [a, b] y consideremos la funcin
F : [a, b] R que satisface las condiciones siguientes
1. F es continua en [a, b]
2. F derivable en (a, b) y F
0
(x) = f (x) para toda x (a, b)
Entonces se cumple
Z
b
a
f = F(b) F(a)
0
, x
1
, ..., x
n
} una particin arbitraria de [a, b]. Si
se aplica ahora el teorema del valor medio a F en cada uno de los intervalos
[x
i1
, x
i
], se obtiene un punto t
i
(x
i1
, x
i
) tal que
F(x
i
) F(x
i1
) = F
0
(t
i
) (x
i
x
i1
)
= f(t
i
) (x
i
x
i1
)
Si
m
i
= inf {f(x) : x [x
i
, x
i1
]}
M
i
= sup{f(x) : x [x
i
, x
i1
]}
entonces
m
i
(x
i
x
i1
) f(t
i
) (x
i
x
i1
) M
i
(x
i
x
i1
)
es decir,
m
i
(x
i
x
i1
) F(x
i
) F(x
i1
) M
i
(x
i
x
i1
)
Sumando estas desigualdades para i = 1, 2, ..., n obtenemos
n
X
i=1
m
i
(x
i
x
i1
) F(b) F(a)
n
X
i=1
M
i
(x
i
x
i1
)
de modo que
L(f, P) = L(F
0
, P) F(b) F(a) U(F
0
, P) = U(f, P)
para toda particin P de [a, b]. Ahora bien, como la particin P es arbitraria y
Z
b
a
f
es el nico nmero real que es simultneamente cota superior del conjunto de
las sumas inferiores y cota superior del conjunto de las sumas superiores de f
Z
b
a
f = F(b) F(a)
Corolario 30 Sea F : [a, b] R una funcin que satisface las condiciones
siguientes
1. F es derivable en [a, b]
2. F
0
es R-integrable en [a, b]
Entonces
Z
b
a
F
0
= F(b) F(a)
Demostracin: Es evidente a partir del teorema anterior.
Observacin 108 En los clculos resulta a veces cmodo escribir
F(x)]
b
a
en lugar de la diferencia F(b) F(a). Con esta notacin, la igualdad de la
primera forma del teorema fundamental del clculo se escribe como
Z
b
a
f(x) dx = F(x)]
b
a
Se presenta a continuacin la segunda forma del teorema fundamental del
clculo, la cual considera la posibilidad de permitir que vare el lmite superior
de integracin.
Teorema 197 (Segunda forma del teorema fundamental del clculo) Sea
f : [a, b] R una funcin R-integrable en [a, b] y sea
F(x) =
Z
x
a
f
para x [a, b], entonces F es continua en [a, b]. Adems, si f es continua en un
punto c [a, b], entonces F es derivable en c y se cumple
F
0
(c) = f(c)
Demostracin: Supongamos que c est en [a, b]. Al ser f R-integrable en [a, b],
est por denicin acotada en [a, b]. Sea K > 0 tal que |f(x)| K para x [a, b].
Si h > 0, entonces por el corolario ??? se tiene
F(c +h) F(c) =
Z
c+h
a
f
Z
c
a
f
=
Z
a
c
f +
Z
c+h
a
f
=
Z
c+h
c
f
Puesto que
K f(x) K
para todo x [a, b], del teorema anterior se sigue que
Kh
Z
c+h
c
f Kh
es decir,
kh F(c +h) F(c) Kh
Si h < 0, puede deducirse una desigualdad semejante. Obsrvese que
F(c +h) F(c) =
Z
c+h
c
f =
Z
c
c+h
f
Aplicando el teorema anterior al intervalo [c +h, c], de longitud h, obtenemos
Kh
Z
c
c+h
f Kh
multiplicando por 1, tenemos
Kh F(c +h) F(c) Kh
De la combinacin de las desigualdades
kh F(c +h) F(c) Kh
kh F(c +h) F(c) Kh
se obtiene
|F(c +h) F(c)| K |h|
Por lo tanto, si > 0, tenemos
|F(c +h) F(c)| <
siempre que |h| < /K. Esto demuestra que
lm
h0
F(c +h) = F(c)
lo cual quiere decir que F es continua en c.
Supongamos ahora que f es continua en un punto c [a, b]. Por denicin,
F
0
(c) = lm
h0
F(c +h) F(c)
h
Consideremos primero el caso h > 0. Entonces
F(c +h) F(c) =
Z
c+h
c
f
Denimos los nmeros siguientes
m
h
= inf {f(x) : x [c, c +h]}
M
h
= sup{f(x) : x [c, c +h]}
Del teorema ??? se sigue que
m
h
h
Z
c+h
c
f M
h
h
Por lo tanto,
m
h

F(c +h) F(c)
h
M
h
Si h 0, solamente habr que cambiar unos pocos detalles del razonamiento.
Sean
m
h
= inf {f(x) : x [c +h, c]}
M
h
= sup{f(x) : x [c +h, c]}
Entonces
m
h
(h)
Z
c
c+h
f M
h
(h)
Como
F(c +h) F(c) =
Z
c+h
c
f =
Z
c
c+h
f
se obtiene
m
h
h F(c +h) F(c) M
h
h
Puesto que h < 0, la divisin por h invierte de nuevo el signo de la desigualdad,
obtenindose el mismo resultado de antes
m
h

F(c +h) F(c)
h
M
h
Esta desigualdad se cumple para cualquier funcin R-integrable, sea o no con-
tinua. Ahora bien, puesto que f es continua en c, tenemos
lm
h0
m
h
= lmM
h
= f(c)
y, en consecuencia, se sigue que
F
0
(c) = lm
h0
F(c +h) F(c)
h
= f(c)
Observacin 109 1. Si c = a o c = b, entonces F
0
(c) se entiende que
representa la derivada lateral por la derecha o por la izquierda de F.
2. Ejemplos visuales.
3. Aunque el teorema trata solamente de la funcin obtenida al variar el
lmite superior de la integral, un sencillo articio indica lo que ocurre
cuando se vara el lmite inferior. Si se dene G por
G(x) =
Z
b
x
f
entonces
G(x) =
Z
b
a
f
Z
x
a
f
En consecuencia, si f es continua en c, entonces
G
0
(c) = f(c)
Corolario 31 Sea f : [a, b] R una funcin continua en [a, b] y consideremos
F(x) =
Z
x
a
f
para x [a, b]. Entonces F es derivable en [a, b] y F
0
(x) = f(x) para todo
x [a, b].
Demostracin: Este resultado se sigue de inmediato del teorema.
Ejemplo 190 Hallar las derivadas de las siguientes funciones
1.
f(x) =
Z
x
2
3
1 +t
2
2 +t
6
dt
2.
g(x) =
Z
x
2
x
1
1 +t
2
dt
Solucin:
1. Observemos que f es la funcin compuesta f
2
f
1
donde
f
1
(x) = x
2
y f
2
(x) =
Z
x
3
1 +t
2
2 +t
6
dt
Por la segunda forma del teorema fundamental del clculo se tiene
f
0
2
(x) =
1 +x
2
2 +x
6
y por la regla de la cadena,
f
0
(x) = f
0
2
(f
1
(x)) f
0
1
(x)
=
1 +x
4
2 +x
12
2x
=
2x + 2x
5
2 +x
12
2. Como
g(x) =
Z
0
x
1
1 +t
2
dt +
Z
x
2
0
1
1 +t
2
dt
=
Z
x
2
0
1
1 +t
2
dt
Z
x
0
1
1 +t
2
dt
Ahora, aplicando la regla de la cadena y la segunda forma del teorema
fundamental del clculo, se obtiene
g
0
(x) =
2x
1 +x
4

1
1 +x
2
Ejemplo 191 Calcular
lm
x0
1
x
Z
x
0
1
1 +t
2
dt
Solucin: Por la segunda forma del teorema fundamental del clculo la
funcin
f(x) =
Z
x
0
1
1 +t
2
dt
es derivable y
f
0
(x) =
1
1 +x
2
para todo x R. Aplicando ahora la regla de LHpital, se tiene
lm
x0
f(x)
x
= lm
x0
f
0
(x)
1
= lm
x0
1
1 +x
2
= 1
En ocasiones resulta conveniente combinar estas dos formas en un solo teo-
rema, el cual se presenta a continuacin. Obsrvese que las hiptesis de esta ver-
sin son ms estrictas que en las formas anteriores. Sin embargo, la conclusin
subraya la naturaleza inversa de la derivacin y la integracin de funciones con-
tinuas.
Teorema 198 (Forma combinada del teorema fundamental del clculo)
Sean F y f dos funciones continuas en [a, b] y supongamos que F(a) = 0. En-
tonces los siguientes enunciados son equivalentes
1. F
0
(x) = f(x), para todo x [a, b]
2. F(x) =
R
x
a
f, para todo x [a, b]
Demostracin:
1. Si f es continua en [a, b], por el corolario ???, la funcin
F(x) =
Z
x
a
f
es derivable en [a, b] y F
0
(x) = f(x) para todo x [a, b].
2. Si F
0
(x) = f(x) para todo x [a, b], por el corolario ???, se cumple
Z
x
a
f = F(x) F(a) = F(x)
Hay una terminologa particular que se usa en relacin con estos teoremas,
aunque la misma vara un tanto dependiendo del autor.
Denicin 91 1. Si f : I = [a, b] R, entonces se llama una primitiva
de f en I a toda funcin F : I = [a, b] R tal que F
0
(x) = f(x) para
todo x I.
2. Si f : I = [a, b] R es una funcin R-integrable en I, entonces a la
funcin F : I = [a, b] R denida por
F(x) =
Z
x
a
f
para x I, se le llama la integral indenida de f en I.
Observacin 110 La primera forma del teorema fundamental arma que si f
es R-integrable en [a, b] y F es una primitiva de f, entonces
Z
b
a
f = F(x)]
b
a
= F(b) F(a)
Este es el mtodo comn para evaluar integrales; a veces este mtodo recibe el
nombre de regla de Barrow. Sin embargo, desafortunadamente (i) una fucin
R-integrable puede no tener primitivas (ver los ejercicios 7.3.2 y 7.3.7) y (ii)
una funcin puede tener una primitiva pero no ser R-integrable (ver ejercicio
7.3.5).
La R-integrabilidad de f garantiza la existencia de la integral indenida de
f, y la segunda forma del teorema fundamental del clculo arma que si f es
continua en I, entonces su integral indenida es una primitiva de f en I. Se
concluye, por lo tanto, que las funciones continuas siempre tienen primitivas.
Sin embargo, desafortunadamente, si la funcin R-integrable f no es continua,
entonces la integral indenida puede no ser una primitiva de f debido a que (i)
puede no ser derivable en puntos del intervalo (ver el ejercicio 7.3.4) o (ii) la
derivada de la integral indenida puede existir pero ser diferente del valor de f
en muchos puntos del intervalo (ver el ejercicio 7.3.8).
9.3.1. Evaluacin de integrales
Se presentar a continuacin una breve revisin de las tcnicas de inte-
gracin habituales que se basan en los teoremas fundamentales. Debern ser
familiares para el lector por un curso de clculo previo.
Integracin por partes.
Teorema 199 Si f, g : [a, b] R son funciones R-integrables en [a, b] y tienen
primitivas F, G en [a, b], entonces
Z
b
a
F(x) g(x) dx = [F(b) G(b) F(a) G(a)]
Z
b
a
f(x) G(x) dx
Demostracin: Sea H(x) = F(x) G(x) para x [a, b]. Entonces H es continua
en [a, b] y, por la regla de derivacin del producto, se tiene
H
0
(x) = F
0
(x) G(x) +F(x) G
0
(x)
= f(x)G(x) +F(x) g(x)
para toda x [a, b]. Por lo tanto, H es una primitiva de la funcin f G +
F g. Pero, como f, g son R-integrables y F, G son continuas (y por tanto R-
integrables) en [a, b], por los teoremas ??? se sigue que f G+F g es R-integrable
en [a, b]. Al aplicar la primera forma del teorema fundamental se concluye que
Z
b
a
(f G+F g) = H(b) H(a)
de donde se sigue de inmediato lo que queramos demostrar.
Cambios de variable
Los dos teoremas siguentes proporcionan la justicacin de los mtodos de
cambio de variable que se usan con frecuencia para evaluar integrales. Estos
teoremas, que se basan en la regla de la cadena, se emplean (por lo general
implcitamente) en la evaluacin de integrales por medio de los procedimientos
que incluyen operaciones con derivadas, comunes en los cursos elementales de
clculo.
Teorema 200 (Teorema de la primera sustitucin) Sea J = [, ] y sea
: J R una funcin que tenga una derivada continua en J. Si f es continua
en un intervalo I que contine (J), entonces
Z

f((t))
0
(t) dt =
Z
()
()
f(x) dx
Demostracin: Sean c = () y d = (), de tal modo que el intervalo I
contiene al intervalo con estremos c, d. Puesto que f es continua en I, se puede
denir F : I R por
F(u) =
Z
u
c
f(x) dx
para u I. Consideremos ahora la funcin H : J R denida por H(t) =
F((t)) para t J. Por la regla de la cadana se sigue que H
0
(t) = F
0
((t))
0
(t)
y por el corolario ??? se sigue que F
0
(u) = f(u), de donde
H
0
(t) = f((t))
0
(t)
para c J. Si se aplica el corolario ??? y se usa el hecho de que H() =
F(()) = F(c) = 0, se concluye que
Z

f((t))
0
(t) dt = H() H() = H()
Por otra parte, tambin se tiene
H() = F(()) = F(d) =
Z
d
c
f(x) dx
La frmula se deduce de estas dos ecuaciones.
Ejemplo 192 Calcular la integral
R
5
1
t/(1 +t
2
) dt.
Solucin: Si se hace f(x) =
1
2
(1 +x)
1
y (t) = t
2
, entonces como
0
(t) =
2t, el integrando tiene la forma (f )(t)
0
(t). Puesto que ([1, 5]) = [1, 25] y
como f es continua para x > 1, es evidente que f es continua en ([1, 5]).
Entonces el teorema de la primera sustitucin indica que la integral anterior es
igual a
1
2
Z
25
1
1
1 +x
dx =
1
2
ln(1 +x) |
25
1
=
1
2
[ln26 ln2] =
1
2
ln13
Teorema 201 (Teorema de la segunda sustitucin) Sea J = [, ] y sea
: J R una funcin que tenga una derivada continua tal que
0
(t) 6= 0 para
t J. Sea I un intervalo que contine (J) y sea : I R la funcin inversa
de . Si f : I R es continua en I, entonces
Z

f((t)) dt =
Z
()
()
f(x)
0
(x) dx
Demostracin: Puesto que
0
(t) 6= 0 para t J, se sigue que es estricta-
mente montona. Por tanto =
1
est denida en I. Adems, por el teorema
de la derivada de la funcin inversa se sigue que
0
existe y es continua en I.
Sea ahora G : J R una primitva de la funcin continua f . Entonces G
es derivable en I y
(G )
0
(x) = G
0
((x))
0
(x)
= (f )((x))
0
(x)
= f(( )(x))
0
(x)
= f(x)
0
(x)
para toda x I. Por el corolario ??? se sigue que
Z
()
()
f(x)
0
(x) dx = (G )(()) (G )(())
= G() G()
Por otra parte, como G
0
= f , por el corolario ??? tambin se sigue que
Z

f((t)) dt = G() G()

Al combinar las dos ltimas ecuaciones se obtiene la frmula solicitada.
Observacin 111 En ocasiones ocurre que
0
se anula en . En este caso con
frecuencia se aplica el teorema al intervalo [, ] y despus se hace a
+
. Se
procede de manera similar si
0
() = 0. Si
0
() = 0 para alguna (, ), se
consideran los intervalos [,
1
] y [
2
, ] donde
1
< <
2
.
R
4
1
1/
1 +
dt.
Solucin: Es evidente que el integrando tiene la forma (f )(t) si se toman
f(x) = 1/(1 + x) y (t) =

t para t [1, 4]. Ahora,
0
(t) =
1
2
t
1/2
> 0
para t [1, 4] y es evidente que (x) = x
2
es la funcin inversa de en
[1, 2] = ([1, 4]). Puesto que f es continua en [1, 2], es posible aplicar el teorema
de la segunda sustitucin para obtener
Z
4
1
1
1 +
t
dt =
Z
2
1
1
1 +x
2x dx
= 2
Z
2
1
x + 1 1
1 +x
dx = 2
Z
2
1
1 (1 +x)
1
dx
= 2 [x ln(1 +x)]|
2
1
= 2
1 ln
3
2
Teorema 202 (Teorema del valor medio para integrales) Si I = [a, b] y

f : I R es una funcin continua en I y g : I R es una funcin R-
integrable en I y tal que g (x) 0 para toda x I. Entonces existe un punto
c I tal que
Z
b
a
f(x) g(x) dx = f(c)
Z
b
a
g(x) dx
Demostracin: Por los teoremas ??? y ??? se sigue que el producto fg es R-
integrable. Sean m y M el mnimo y el mximo de la funcin f en I. Entonces
m f(x) M
para todo x I. Por tanto,
mg(x) f(x) g(x) M g(x)
para todo x I. Por lo tanto, por el corolario ???, se concluye que
m
Z
b
a
g
Z
b
a
fg M
Z
b
a
g
Si
R
b
a
g = 0, se deduce tambin
R
b
a
fg = 0 y, por tanto,
Z
b
a
f(x) g(x) dx = f(c)
Z
b
a
g(x) dx
para todo c I. Si, por el contrario,
R
b
a
g 6= 0, entonces
m
R
b
a
fg
R
b
a
g
M
y como una funcin continua toma cualquier valor comprendido entre sus ex-
tremos, se sigue que existe un punto c I tal que
f(c) =
R
b
a
fg
R
b
a
g
Observacin 112 De hecho el teorema tambin se cumple si g es una funcin
que no cambia de signo en I. En efecto, si fuera g 0, en lugar de g 0, en I.
Entonces, g(x) 0 para todo x I y por lo demostrado en el teorema, existe
un punto c I tal que
Z
b
a
f(x) [g(x)] dx = f(c)
Z
b
a
[g(x)] dx
es decir,
Z
b
a
f(x) g(x) dx = f(c)
Z
b
a
g(x) dx
y tambin se tiene
Z
b
a
f(x) g(x) dx = f(c)
Z
b
a
g(x) dx
Corolario 32 Si I = [a, b] y f : I R es una funcin continua en I, entonces
existe c I tal que
Z
b
a
f = f(c) (b a)
Demostracin: Se toma g(x) = 1 para todo x I y se aplica el teorema
anterior. De este modo tenemos
Z
b
a
f(x) dx = f(c)
Z
b
a
dx = f(c) (b a)
9.3.2. Forma integral del residuo
El lector recordar el teorema de Taylor, el cual permite calcular el valor
f (b) en trminos de los valores de f(a), f
0
(a), ..., f
(n)
(a) y del resto que re-
quiere de f
(n+1)
evaluada en un punto entre a y b. Para algunas aplicaciones es
ms conveniente poder expresar el resto como una integral en la que interviene
f
(n+1)
.
Teorema 203 (Teorema de Taylor) Supongamos que la funcin f : [a, b]
R y sus derivadas sucesivas f
0
, f
00
, ..., f
(n)
, f
(n+1)
son continuas en [a, b]. En-
tonces
f(b) = f(a) +
f
0
(a)
1!
(b a) + +
f
(n)
(a)
n!
(b a)
n
+R
n
(f, a)
donde el resto est dado por la frmula
R
n
(f, a) =
1
n!
Z
b
a
(b t)
n
f
(n+1)
(t) dt
Demostracin: Se integra R
n
(f, a) por partes para obtener
R
n
(f, a) =
1
n!
"
(b t)
n
f
(n)
(t)
b
a
+n
Z
b
a
(b t)
n1
f
(n)
(t) dt
#
=
f
(n)
(a)
n!
(b a)
n
+
1
(n 1)!
Z
b
a
(b t)
n1
f
(n)
(t) dt
Si se contina con esta proceso de integracin por partes, se obtiene la frmula
de Taylor.
Observacin 113 En lugar de usar la expresin,
R
n
(f, a) =
1
n!
Z
b
a
(b t)
n
f
(n+1)
(t) dt
con frecuencia resulta ms conveniente hacer el cambio de variable t = (1
s) a +s b para s [0, 1] para obtener la frmula
R
n
(f, a) =
(b a)
n+1
n!
Z
1
0
(1 s)
n
f
(n+1)
(a + (b a)s) ds
9.4. La integral como lmite de sumas
En los cursos de introduccin al clculo, con frecuencia se introduce la inte-
gral de Riemann en trminos de lmites de ciertas sumas conocidas como sumas
de Riemann y no en trminos de integrales superior e inferior como se ha hecho
aqu. Por fortuna, es el caso que estas formas de tratar los lmites lleven tam-
bin al mismo concepto de integracin. Uno de los propsitos de esta seccin es
establecer la equivalencia de estas teoras de la integral de Riemann. La seccin
concluye con un breve estudio de las integrales impropias.
Denicin 92 Sea I = [a, b] y f : I R una fucin acotada. Sea P =
{x
0
, x
1
, ..., x
n
} una particin de I y
1
,
2
, ...,
n
son nmeros reales tales que
x
i1

i
x
i
para i = 1, 2, ..., n. Entonces la suma
S(f, P) =
n
X
i=1
f(
i
) (x
i
x
i1
)
se llama suma de Riemann de f correspondiente a la particin P y los
puntos intermedios
i
.
Observacin 114 Aun cuando no se presentar en este exposicin la notacin
para indicar la dependencia de las sumas de Riemann S(f, P) de los puntos
intermedios
i
, el lector no deber olvidarla. De hecho, puede haber un nmero
innito de valores que se pueden obtener como una suma de Riemann corre-
spondiente a una particin dada P, al elegir diferentes puntos intermedios.
9.4. LA INTEGRAL COMO LMITE DE SUMAS 283
Para una funcin positiva f en I, la suma de Riemann se puede interpretar
geomtricamente como el rea de la unin de los rectngulos con bases x
i
x
i1
y alturas f(
i
); ver la gura 4. Si la particin P es muy na, resulta razonable
esperar que la suma de Riemann produzca una aproximacin del rea bajo la
grca de f y, en consecuencia, que est cerca del valor de la integral de f,
siempre que dicha integral exista.
De hecho, resulta evidente que para cualquier particin P de I, y para
cualquier eleccin de los puntos intermedios
i
(i = 1, ..., n), entonces
m
i
f (
i
) M
i
para i = 1, 2, ..., n, donde m
i
= inf f(I
i
) y M
i
= sup f(I
i
), siendo I
i
=
[x
i1
, x
i
]. De aqu se sigue que
n
X
i=1
m
i
(x
i
x
i1
)
n
X
i=1
f(
i
) (x
i
x
i1
)
n
X
i=1
M
i
(x
i
x
i1
)
Se tiene por tanto
L(f, P) S(f, P) U(f, P)
Figura 4
Es decir, cualquier suma de Riemann de f correspondiente a P est entre
la suma inferior y la suma superior de f correspondientes a P, sin importar la
forma en que se elijan los puntos intermedios
i
.
Se hace notar que si las cotas superior e inferior m
i
y M
i
se encuentran
en [x
i1
, x
i
] para toda k = 1, 2, ..., n, entonces las sumas superior e inferior
son iguales a las sumas de Riemann para elecciones particulares de los puntos
intermedios. Sin embargo, en general, las sumas superior e inferior no son sumas
de Riemann (dado que f puede no asumir los valores m
i
y M
i
), aun cuando es
posible considerarlas arbitrariamente prximas a sumas de Riemann para puntos
intermedios elegidos con sumo cuidado. (Ver el ejercicio 7.4.5).
Surge una pregunta:es posible obtener la integral
R
b
a
f como el lmite de
las sumas de Riemann S(f, P) de f? Para hacer ms precisa esta pregunta es
necesario hacer ms explcito qu se entiende por el lmite, ya que deber ser
claro para el lector que hasta este punto no se ha considerado ningn proceso
de lmites que incluya la convergencia de las sumas de Riemann. Sin embar-
go, a continuacin se mostrar que se pueden ofrecer al menos dos posibles
deniciones de lmite y que en ambos casos la respuesta a la pregunta inicial es
armativa.
Teorema 204 Sea I = [a, b] y f : I R una fucin R-integrable en I en el
sentido de la denicin ???. Entonces, si se da > 0, existe una particin P
de I tal que si P es cualquier particin que sea ms na que P
y si S(f, P) es
cualquier suma de Riemann de f, entonces
S(f, P)
Z
b
a
f
<
Demostracin: Si f es R-integrable y > 0, entonces, por el criterio de Rie-
mann, existe una particin P
de I tal que U(f, P
) L(f, P
) < . Adems, si
P es cualquier particin tal que P P
entonces por el lema ??? se sigue que

L(f, P
) L(f, P) U(f, P) U(f, P
)
de donde U(f, P) L(f, P) < . Pero si S(f, P) es una suma de Riemann
de f correspondiente a P y para cualquier eleccin de los puntos intermedios,
entonces se tiene
L(f, P) S(f, P) U(f, P)
Adems, se tiene asimismo que L(f, P)
R
b
a
f U(f, P). Se sigue por lo tanto
que

S(f, P)
Z
b
a
f
U(f, P) L(f, P) <

como se quera demostrar.
El recproco del teorema anterior tambin es verdadero.
Teorema 205 Sea I = [a, b] y f : I R una fucin acotada. Supongamos que
existe un nmero A tal que para toda > 0 existe una particin P
tal que si
P P
y si S(f, P) es cualquier suma de Riemann de f correspondiente a P,

entonces |S(f, P) A| < . Entonces f es R-integrable en I en el sentido de la
denicin ??? y A =
R
b
a
f.
Demostracin: Dado > 0 existe una particin P
tal que para cualquier

particin P ms na que P
se tiene
A

2
< S(f, P) < A+

2
Si ahora hacemos variar los puntos intermedios sobre los intervalos [x
i1
, x
i
] y
tomamos el nmo y el supremo de los nmeros S(f, P) obtenidos de este modo
se sigue que
A

2
L(f, P) U(f, P) A+

2
de donde
U(f, P) L(f, P) <
y, en consecuencia, f es R-integrable. Adems, como
L(f, P)
Z
b
a
f U(f, P)
se tiene
A

2

Z
b
a
f A+

2
Puesto que > 0 es arbitrario, se sigue que
A =
Z
b
a
f
Hay otro sentido en el que la integral se puede obtener como un lmite de
las sumas de Riemann.
Denicin 93 Si I = [a, b] y P = {x
0
, x
1
, ..., x
n
} es una particin de I, en-
tonces se llama norma de P, denotada por kPk, al siguiente nmero real
kPk = sup{x
i
x
i1
: 1 i n}
En otras palabras,kPk es la longitud mxima de los subintervalos en que I es
dividido por la particin P.
Observacin 115 Deber quedar muy claro que dos particiones muy diferentes
de I pueden tener la misma norma. Tambin es claro que si P Q, entonces
kQk kPk; sin embargo, si kQk kPk, entonces no se sigue P Q.
Se demostrar a acontinuacin que si f es R-integrable, entonces la integral
de f es el lmite de las sumas de Riemann cuando kPk 0.
Teorema 206 (Teorema de Darboux) Sea I = [a, b] y f : I R una
fucin R-integrable en I en el sentido de la denicn ???. Entonces, dado > 0,
existe una > 0 tal que si P es cualquier particin de I tal que kPk < y
S(f, P) es cualquier suma de Riemann de f correspondiente a P, entonces
S(f, P)
Z
b
a
f
<
Demostracin: Puesto que f es R-integrable y > 0, por el criterio de Rie-
mann, se sigue que existe una particin P
= {x
0
, x
1
, ..., x
n
} tal que
U(f, P
) L(f, P
) <

3
Adems, si P es una particin de I ms na que P
, entonces tambin se
cumplir
U(f, P) L(f, P) <

3
Sea M = sup{|f(x)| : x I} y sea =

12nM
, donde n + 1 indica el nmero
de puntos de P
. Sea ahora Q = {y
0
, y
1
, ..., y
m
} una particin de I con kQk <
y sea Q
0
= Q P
. Se sigue que Q
0
P
y que Q
0
tiene a lo sumo n 1 ms
puntos que Q; es decir, los puntos entre x
1
, ..., x
n1
que pertenecen a P
pero no
a Q. Se quiere comparar U(f, Q) y U(f, Q
0
). Puesto que Q
0
Q, se sigue que
U(f, Q) U(f, Q
0
) 0. Si se escribe Q
0
= {z
0
, z
1
, ..., z
p
}, entonces se puede ver
que U(f, Q) U(f, Q
0
) se puede escribir como la suma de a lo sumo 2 (n 1)
trminos de la forma
(M
j
M
0
i
) (z
i
z
i1
)
donde M
j
es el supremo de f en el jsimo subintervalo de Q y M
0
i
es el
supremo de f en el isimo subintervalo de Q
0
. Puesto que |M
j
M
0
i
| 2M y
|z
i
z
i1
| kQ
0
k kQk , se deduce que
0 U(f, Q) U(f, Q
0
) 2 (n 1) 2M <

3
Se tiene por tanto
U(f, Q) < U(f, Q
0
) +

3
Un razonamiento exactamente igual conducir
L(f, Q
0
)

3
< L(f, Q)
Ahora tanto la suma de Riemann S(f, Q) como la integral
R
b
a
f estn contenidas
en el intervalo cerrado [L(f, Q), U(f, Q)] y, por consiguiente, en el intervalo
abierto
I
= (L(f, Q
0
)

3
, U(f, Q
0
) +

3
)
Puesto que Q
0
P
, se debe tener que

U(f, Q
0
) L(f, Q
0
) <

3
por lo que la longitud de I
es menor que . Por lo tanto, la distancia entre

S(f, Q) y
R
b
a
f es menor que , lo que demuestra la siguiente desigualdad
S(f, P)
Z
b
a
f
<
El recproco del teorema anterior tambin es verdadero.
Teorema 207 Sea I = [a, b] y f : I R una fucin acotada. Supongamos
que existe un nmero B tal que para toda > 0 existe > 0 tal que si P es
cualquier particin de I, con kPk < , y S(f, P) es cualquier suma de Riemann
correspondiente a P, entonces |S(f, P) B| < . Entonces f es R-integrable en
I en el sentido de la denicin ??? y B =
R
b
a
f.
Demostracin: Sean > 0 y > 0 como en el teorema, y sea P
una particin
de I con kP
k < . Si P es cualquier particin tal que P P
, entonces kPk
kP
k < de tal modo que para cualquier suma de Riemann correspondiente se

tiene |S(f, P) B| < . Por lo tanto, por el teorema ???, f es R-integrable en
I y B =
R
b
a
f.
Corolario 33 Si

f : [a, b] R es una funcin R-integrable en [a, b], entonces
la sucesin (a
n
) denida por
a
n
=
b a
n
n
X
i=1
f(a +
b a
n
i)
para n N es convergente y
lm
n
a
n
=
Z
b
a
f
0
, x
1
, ..., x
n
} la particin de [a, b] que divide en n
partes iguales a este intervalo, es decir,
x
i
x
i1
=
b a
n
para i = 1, 2, ..., n. Una suma de Riemann de f correspondientes a esta particin
es
S(f, P) =
n
X
i=1
f(
i
) (x
i
x
i1
)
donde
i
= a+
ba
n
i para i = 1, 2, ..., n. Por tanto, segn el teorema de Darboux,
se tiene que
kPk =
b a
n
Por el teorema de Darboux,
lm
n
a
n
= lm
n
"
b a
n
n
X
i=1
f(a +
b a
n
i)
#
= lm
n
S(f, P)
= lm
kPk0
S(f, P)
=
Z
b
a
f
Ejemplo 194 Calcular el lmite de la sucesin (a
n
) denida por
a
n
=
n
(n + 1)
2
+
n
(n + 2)
2
+ +
n
(n +n)
2
para n N.
Solucin: Se tiene
a
n
=
1
n
n
X
i=1
n
2
(n +i)
2
=
1
n
n
X
i=1
1
(1 +
1
n
i)
2
Puesto que f(x) =
1
(1+x)
2
para x [0, 1] es R-integrable en este intervalo y
a
n
=
1
n
n
X
i=1
f(1 +
1
n
i)
2
por el corolario anterior se tiene
lm
n
a
n
=
Z
1
0
1
(1 +x)
2
dx
=
1
(1 +x)
1
0
=
1
2
+ 1 =
1
2
lm
n
n
n
X
k=1
(1 + cos
k
n
)
!
Solucin: Consideremos la funcin f(x) = 1 + cos x. Es claro que f es
R-integrable en [0, 1], ya que f es continua. Observemos que la suma del lmite
es la suma de Riemann correspondientes a la particin
P
n
= {0,
1
n
,
2
n
, ..., 1}
y los puntos intermedios son
k
=
k
n
y se tiene
kPk =
1
n
lm
n
n
n
X
k=1
(1 + cos
k
n
)
!
= lm
kPk0
1
n
n
X
k=1
(1 + cos
k
n
)
!
=
Z
1
0
(1 + cos x) dx
= x]
1
0
+ sinx]
1
0
=
lm
n
1
n
2
n
X
k=1
ke
k/n
!
Solucin: Consideremos la funcin f(x) = xe
x
. Es claro que f es R-
integrable en [0, 1], ya que f es continua. Observemos que la suma del lmite
es la suma de Riemann correspondientes a la particin
P
n
= {0,
1
n
,
2
n
, ..., 1}
9.5. APLICACIONES GEOMTRICAS DE LA INTEGRAL 289
y los puntos intermedios son
k
=
k
n
y se tiene
kPk =
1
n
lm
n
1
n
2
n
X
k=1
ke
k/n
!
= lm
kPk0
1
n
n
X
k=1
k
n
e
k/n
!
=
Z
1
0
xe
x
dx
= xe
x
]
1
0
Z
1
0
e
x
dx
= xe
x
]
1
0
e
x
]
1
0
= e (e 1) = 1
9.5. Aplicaciones geomtricas de la integral
9.5.1. Clculo de reas de guras planas
reas en coordenadas cartesianas
Si I = [a, b] y f : I R es una funcin R-integrable en I y f(x) 0 para
todo x I. Se dene el rea comprendida entre la grca de la funcin, el eje
x y las rectas x = a y x = b como
S =
Z
b
a
f
Si f(x) 0 para todo x I, entonces el rea es
S =
Z
b
a
f
=
Z
b
a
f
Si f cambia de signo un nmero nito de veces en I, entonces podemos descom-
poner la integral a lo largo de todo el segmento [a, b] en la suma de integrales en
los segmentos parciales. La integral es positiva en los subintervalos en los que
f(x) 0, y negativa en los que f(x) 0.
Para obtener la suma de las reas, es preciso hallar la suma de los valores abso-
lutos de las integrales en los subintervalos indicados o calcular la integral
Z
b
a
|f(x)| dx
Si tenemos las grcas de dos funciones f y g R-integrables en [a, b] y se
cumple que x = a y x = b son las abscisas de dos puntos de interseccin siendo
f(x) g(x) en [a, b], entonces el rea comprendida entre las grcas de f y g es
S =
Z
b
a
g(x) dx
Z
b
a
f(x) dx =
Z
b
a
(g(x) f(x)) dx
Si la curva viene dada por ecuaciones paramtricas
x = (t)
y = (t)
donde t , () = a, () = b y (t) 0 para t [, ]. Si las

ecuaciones paramtricas denen la funcin continua f en [a, b], entonces el rea
puede calcularse por la frmula
S =
Z
b
a
f(x) dx =
Z
()
()
(t)
0
(t) dt
reas en coordenadas polares
Un punto P del plano de coordenadas cartesianas (x, y) queda unvocamente
determinado dando la distancia del origen de coordenadas a P y el ngulo
(0 2) que forma el eje x positivo con el radio vector del punto P
Se tiene entonces que P tiene coordendas polares (, ), siendo
= cos
y = sin
Sea = f() la ecuacin de una curva en coordenadas polares, donde f es una

funcin continua en [, ]. Se demuestra que el rea del sector OAB, limitada
por la curva = f() y los radios vectores = y = , se expresa por la
integral
S =
1
2
Z

[f()]
2
d
9.5.2. Longitud de un arco de curva
Sea f una funcin real de variable real y consideremos el arco de curva
denido por la grca de la funcin en el intervalo [a, b].
Dada una particin P de [a, b], cada punto de la particin determina en
un punto A
i
de coordenadas (x
i
, f(x
i
)). De este modo, cada particin de-
termina una lnea poligonal inscrita en el arco de curva. Si las longitudes de
todas las poligonales inscritas forman un conjunto acotado, se dice que es un
curva recticable, y al supremo de dichas longitudes se le llama longitud
de . La continuidad de f en [a, b] no es suciente para que sea recticable.
Sin embargo, se puede demostrar que si f
0
es continua en [a, b], entonces es
recticable.
Supongamos que f es continua y tiene derivada continua en [a, b]. Es claro
que la longitud del segmento isimo de la poligonal tiene longitud
L
i
=
p
(x
i
x
i1
)
2
+ (f(x
i
) f(x
i1
))
2
Ahora bien, por el teorema del valor medio, existe un punto intermedio x
0
i

(x
i1
, x
i
) tal que
f(x
i
) f(x
i1
) = f
0
(x
0
i
) (x
i
x
i1
)
Por tanto, sustituyendo este resultado en la expresin anterior, se obtiene
L
i
=
q
1 + [f
0
(x
0
i
)]
2
(x
i
x
i1
)
Si ahora incrementamos el nmero de subintervalos de manera que kPk 0,
entonces tenemos
L() = lm
kPk0
n
X
i=1
q
1 + [f
0
(x
0
i
)]
2
(x
i
x
i1
)
siendo
n
X
i=1
q
1 + [f
0
(x
0
i
)]
2
(x
i
x
i1
)
una suma de Riemann de la funcin g(x) =
q
1 + [f
0
(x)]
2
correspondiente a la
particin P. Por lo tanto, segn el teorema de Darboux, se tiene
L() =
Z
b
a
q
1 + [f
0
(x)]
2
dx
ya que g es R-integrable en [a, b].
Si el arco corresponde a una curva plana cuyas ecuaciones paramtricas
son
x = (t)
y = (t)
donde t , () = a, () = b y , son funciones continuas que

tienen derivadas continuas en [, ] y
0
no se anula en [, ]. Entonces se
puede demostrar que la longitud del arco de curva entre y se calcula por
la frmula
L() =
Z

q
[
0
(t)]
2
+
0
(t)
2
dt
Si la curva viene dada en coordenadas polares por la ecuacin
= f()
Entonces, la longitud del arco de curva entre y se calcula por la frmula
L() =
Z

q
[f
0
()]
2
+ [f()]
2
d
9.5.3. Clculo de volmenes de cuerpos
Mtodo de clculo por capas o secciones paralelas
Dado un cuerpo T, supongamos que se conoce el rea de cualquier seccin
de este cuerpo por un plano perpendicular al eje x. Este rea depende entonces
de la posicin del plano secante, es decir, es una funcin S que depende de
x. Supongamos que S es una funcin continua para x [a, b] y consideremos
una particin de [a, b]. Tracemos por cada punto x
i
de la particin un plano
perpendicular al eje x; ser de la forma x = x
i
(i = 0, 1, ..., n). Estos planos
dividen el cuerpo en capas; elegimos un punto intermedio arbitrario
i
en cada
subintervalo [x
i1
, x
i
]. Para cada valor de i = 1, 2, ..., n construyamos un cilindro
cuya generatriz es paralela al eje x y la directriz represente el contorno de la
seccin del cuerpo T por el plano x =
i
. El volumen V
i
de tal cilindro, con el
rea de la base igual a S(
i
), y la altura, x
i
x
i1
, tiene por valor
V
i
= S(
i
) (x
i
x
i1
)
Entonces, el volumen de todos los cilindros es
V =
n
X
i=1
S(
i
) (x
i
x
i1
)
Incrementando el nmero de subintervalos de manera que kPk 0, se tiene que
n
X
i=1
S(
i
) (x
i
x
i1
)
es una suma de Riemann de S correspondiente a P. Por el teorema de Darboux,
V =
Z
b
a
S(x) dx
y el valor de esta integral se llama el volumen del cuerpo T.
Del mismo modo, si se conoce el rea de cualquier seccin de este cuerpo por
un plano perpendicular al eje y, entonces el volumen del cuerpo T viene dado
por
V =
Z
d
c
S(y) dx
9.5.4. Clculo de volmenes de cuerpos de revolucin
Mtodo de clculo por discos
Supongamos ahora que el cuerpo es de revolucin y que se obtiene por la
rotacin alrededor del eje x de la supercie comprendida entre la grca de una
funcin f continua en el intervalo [a, b], el eje x y las rectas x = a y x = b,
entonces todas las secciones del cuerpo perpendiculares al eje x son crculos cuya
rea es
S(x) = [f(x)]
2
Mediante la tcnica de clculo por capas, obtenemos la frmula para calcular el
volumen del cuerpo de revolucin
V =
Z
b
a
[f(x)]
2
dx
Anlogamente, si la rotacin es alrededor del eje y y la ecuacin de la curva
es x = h(y), el volumen del cuerpo de revolucin es
V =
Z
d
c
[h(y)]
2
dy
En el caso ms general, los volmenes de los cuerpos engendrados por la rotacin
de una gura, limitada por las grcas de dos funciones continuas no negativas
f y g tales que g(x) f(x) para x [a, b] y las rectas x = a y x = b, alrededor
de los ejes x y y son respectivamente
V =
Z
b
a
[f(x)]
2
[g(x)]
2
dx
y
V =
Z
d
c
[f(y)]
2
[g(y)]
2
dy
Mtodo de clculo por tubos
Supongamos ahora que el cuerpo es de revolucin y que se obtiene por la
rotacin, alrededor del eje y, de la supercie comprendida entre la grca de
una funcin f continua en el intervalo [a, b], el eje x y las rectas x = a y x = b.
Trazando un sistema de planos paralelos al eje x, se obtienen cilindros que tienen
como bases las secciones de la supercie, y como alturas las distancias entre ca-
da dos planos consecutivos.
Consideremos una particin P = {x
0
, x
1
, ..., x
n
} de [a, b]. Tracemos por cada
punto f(x
i
) un plano paralelo al eje x; ser de la forma y = f(x
i
) (i = 0, 1, ..., n).
Estos planos dividen el cuerpo en cilindros; elegimos el punto medio
i
en cada
subintervalo [x
i1
, x
i
]
i
=
x
i1
+x
i
2
Construyamos entre cada dos cilindros consecutivos un cilindro cuya generatriz
es paralela al eje y y la directriz represente el contorno de la seccin del cuerpo
T por el plano y =
i
.
El volumen V
i
de tal cilindro, es
V
i
= x
2
i
f(
i
) x
2
i1
f(
i
)
= (x
2
i
x
2
i1
) f(
i
)
= (x
i
+x
i1
) f(
i
) (x
i
x
i1
)
= 2
i
f(
i
) (x
i
x
i1
)
Por tanto
V = 2
n
X
i=1
i
f(
i
) (x
i
x
i1
)
Incrementando el nmero de subintervalos de manera que kPk 0,
n
X
i=1
i
f(
i
) (x
i
x
i1
)
es una suma de Riemann de la funcin g(x) = xf(x) correspondiente a la
particin, y por tanto, por el teorema de Darboux, obtenemos
V = 2
Z
b
a
xf(x) dx
Se prodecer del mismo modo si el cuerpo de revolucin se obtiene por rotacin
alrededor del eje x.
En el caso ms general, el volumen del cuerpo engendrado por la rotacin
de una gura, limitada por las grcas de dos funciones continuas no negativas
f y g tales que g(x) f(x) para x [a, b] y las rectas x = a y x = b, alrededor
del eje y viene dado por la frmulas
V = 2
Z
b
a
x (f(x) g(x)) dx
9.5.5. Clculo de reas de supercies de revolucin
Consideremos la curva denida por una funcin continua positiva en [a, b]
y con derivada continua. Queremos hallar el rea de la supercie de revolucin
engendrada por la rotacin alrededor del eje x de dicha curva.
Dada una particin P de [a, b], cada punto de la particin determina un punto
A
i
de coordenadas (x
i
, f(x
i
)). De este modo, cada particin determina una lnea
poligonal inscrita en el arco de curva. En su rotacin alrededor del eje x cada
segmento de la poligonal describe un tronco de cono, cuya supercie es igual a
S
i
= [f(x
i1
) +f(x
i
)] L
i
siendo L
i
la longitud de la cuerda correspondiente al intervalo [x
i1
, x
i
]. Ahora
bien, sabemos que por el apartado ??? que
L
i
=
q
1 + [f
0
(x
0
i
)]
2
(x
i
x
i1
)
Por tanto, la supercie descrita por la rotacin de la poligonal es igual a
S = 2
n
X
i=1
f(x
00
i
)
q
1 + [f
0
(x
0
i
)]
2
(x
i
x
i1
)
siendo
f(x
00
i
) =
f(x
i1
) +f(x
i
)
2
El lmite de esta suma, cuando kPk 0, se llama rea de la supercie de
revolucin; sin embargo, no es una suma de Riemann para la funcin
2 f(x)
q
1 + [f
0
(x)]
2
ya que en el sumando, correspondiente al intervalo [x
i1
, x
i
], guran unos cuan-
tos puntos de este segmento: x
i1
, x
i
y x
0
i
. No obstante, se puede demostrar
que el lmite de esta suma es igual a la integral para dicha funcin (incluso si
x
00
i
6= x
0
i
), es decir,
S = lm
kPk0
n
X
i=1
[f(x
i1
) +f(x
i
)]
q
1 + [f
0
(x
0
i
)]
2
(x
i
x
i1
)
= lm
kPk0
n
X
i=1
2f(x
0
i
)
q
1 + [f
0
(x
0
i
)]
2
(x
i
x
i1
)
y, por tanto
S = 2
Z
b
a
f(x)
q
1 + [f
0
(x)]
2
dx
Captulo 10
Clculo de primitivas
10.1. Introduccin
En la unidad Funciones derivables, hemos estudiado el problema siguiente:
dada una funcin F, hallar su derivada, es decir, la funcin f tal que F
0
= f. En
esta unidad, consideraremos el problema inverso: dada una funcin f, es preciso
hallar una funcin F tal que F
0
= f.
En la unidad Integral de Riemann, hemos visto que segn la primera forma
del teorema fundamental del clculo, si f es R-integrable en [a, b] y F es una
primitiva de f, entonces
Z
b
a
f = F(x)]
b
a
= F(b) F(a)
De este modo, el problema de calcular integrales se reduce al de calcular primi-
tivas. Adems, segn la segunda forma del teorema fundamental del clculo, si
f es continua en [a, b], entonces su integral indenida
F(x) =
Z
x
a
f
es una primitiva de f en [a, b]. Se concluye, por lo tanto, que las funciones con-
tinuas siempre tienen primitivas y, en consecuencia, que el problema de calcular
una primitiva y el de integrar una funcin coinciden en la clase de la funciones
continuas, aunque son problemas distintos en una clase de funciones ms amplia.
10.2. Primitivas de una funcin en un intervalo
Denicin 94 Sean I = [a, b] y f : I R, entonces se llama primitiva de
f en I a toda funcin F : I R tal que F
0
(x) = f(x) para todo x I.
Teorema 208 Si F y G son dos primitivas de f en I = [a, b], entonces la
funcin GF es constante en I.
Demostracin: En efecto, si F y G son primitivas de f en I, se sigue por
denicin que
(GF)
0
= G
0
F
0
= f f = 0
301
302 CAPTULO 10. CLCULO DE PRIMITIVAS
en I. Puesto que la funcin GF es derivable en I, segn el teorema del valor
medio, se tiene que para todo x I
(GF)(x) (GF)(a) = (GF)
0
(c) (x a)
donde c (a, x). Entonces, como (GF)
0
= 0 en I, se sigue que
(GF)(x) = (GF)(a)
lo que quiere decir que la funcin GF es constante en I.
Notacin 3 Segn este teorema, si F es una primitiva de f en I, cualquier
otra primitiva de f en I es una funcin G de la forma G = F +C, donde C es
una constante.
Obsrvese que si f es continua en I, entonces f es R-integrable y por tanto
existe la integral indenida
F(x) =
Z
x
a
f
Adems, esta funcin es una primitiva de f en I. Por tanto, segn el teorema
anterior, el conjunto de las primitivas de f son de la forma
Z
x
a
f +C = F(x) +C
Con la eleccin correspondiente de la constante C, esta ltima igualdad es vlida
para todo x I. Por esta razn, es habitual usar el smbolo de integracin
R
para indicar las primitivas de f
Z
f o
Z
f(x) dx
denominar tambin integral indenida al conjunto de las primitivas de una fun-
cin f continua, y escribir
Z
f = F +C o
Z
f(x) dx = F(x) +C
Sin embargo, hay que advertir que esto no es apropiado ya que si f no es con-
tinua, la integral indenida no tiene porque ser una primitiva de f.
No hay que confundir los smbolos
Z
f y
Z
b
a
f
El primero designa un conjunto de funciones, el conjunto de todas las primitivas
de f. El segundo es un nmero real, la integral de f en el intervalo [a, b].
Ejemplo 197 Calcular la primitiva de la funcin f(x) = x cuya grca pasa
por el punto (1, 2).
Solucin: Es claro que
Z
xdx =
x
2
2
+C
10.3. MTODOS DE INTEGRACIN 303
Imponiendo la condicin del enunciado, se obtiene
1
2
+C = 2
C =
3
2
Por lo tanto, la primitiva de f que pasa por (1, 2) es la funcin
F(x) =
x
2
2
+
3
2
10.3. Mtodos de integracin
En esta unidad nos proponemos indicar la manera de calcular sistemtica-
mente primitivas de gran nmero de funciones que se presentan con frecuencia,
pero debe tenerse presente que aunque toda funcin continua tiene primitiva, por
lo general sta no puede expresarse mediante funciones elementales (en trmi-
nos generales, una funcin se llama elemental cuando puede obtenerse mediante
suma, multiplicacin, divisin y composicin a partir de las funciones racionales,
trigonomtricas y sus inversas y las funciones log y exp). Por ejemplo, no existe
ninguna funcin elemental F tal que
F
0
(x) = e
x
2
para x R. Por esta razn el proceso de integracin (el proceso que permite
hallar una primitiva de una funcin) da lugar a la creacin de nuevas funciones.
La tabla de derivadas de las funciones elementales nos permite formar una
tabla de integrales, que debemos recordar de memoria para integrar, mediante
ella y los mtodos de los apartados siguientes, otras funciones.
Por ejemplo,
Z
x
n
dx =
x
n+1
n + 1
+C (n 6= 1)
pues
d
dx
x
n+1
n + 1
=
(n + 1)x
n
n + 1
= x
n
si n + 1 6= 0.
10.3.1. Integracin por descomposicin
El carcter lineal de la derivacin se traduce en el de la integracin como
sigue
Teorema 209 Si f y g son continuas y c
1
, c
2
R, entonces
Z
(c
1
f
1
+c
2
f
2
) = c
1
Z
f
1
+c
2
Z
f
2
Esta frmula debe interpretarse como sigue: una primitiva de c
1
f
1
+c
2
f
2
puede
obtenerse sumando una primitiva de f
1
multiplicada por c
1
y una primitiva de
f
2
multiplicada por c
2
.
Demostracin: Son evidentes a partir de las siguientes reglas de derivacin
(f +g)
0
= f
0
+g
0
y
(c f)
0
= c f
0
Z
3x
5
+ 5 cos x
7
x
dx
Solucin: Por descomposicin tenemos
Z
3x
5
+ 5 sinx
7
x
dx = 3
Z
x
5
dx + 5
Z
cos xdx 7
Z
1
x
dx
= 3
x
6
6
+ 5 sinx 7 lnx +C
=
x
6
2
+ 5 cos x 7 lnx +C
Obsrvese que
d
dx
x
6
2
+ 5 cos x 7 lnx
=
6x
5
2
+ 5 sinx 7
1
x
= 3x
5
+ 5 sinx
7
x
10.3.2. Tabla de primitivas inmediatas
Las integrales inmediatas son las que se puede dar una primitiva de forma
inmediata. Las integrales quasi-inmediatas son las que dieren de las inmedi-
atas en algn factor constante, entendiendo por factor constante cualquier ex-
presin que no incluya la variable de integracin; se resuelven manipulando el
factor constante.
Las integrales inmediatas ms importantes son:
1) Tipo potencial
Z
f
n
f
0
=
f
n+1
n + 1
+C (n 6= 1)
Ejemplo 199 Las siguientes integrales son inmediatas:
1.
Z
x
2
dx =
x
2+1
2 + 1
+C
=
x
3
3
+C
2.
Z
4
x
3
dx =
Z
x
3
4
dx =
x
3
4
+1
3
4
+ 1
+C
=
x
7
4
7
4
+C
=
4
7
x
4
x
3
+C
3.
Z
3
x
2
+
3
2x
2
dx = 3
Z
x
2
dx +
3
2
Z
x
2
3
dx
= 3
x
2+1
2 + 1
+
3
2
x
2
3
+1
2
3
+ 1
+C
= 3
x
1
1
+
3
2
x
5
3
5
3
+C
=
3
x
+
3
5
x
3
2x
2
+C
Ejemplo 200 Las siguientes integrales son quasi-inmediatas:
1.
Z
x(x
2
1)
10
dx =
1
2
Z
(x
2
1)
10
2xdx
=
1
2
(x
2
1)
10+1
10 + 1
+C
=
(x
2
1)
11
22
+C
2.
Z
x
2
3
x
3
+ 1
dx =
1
3
Z
(x
3
+ 1)
1
3
3x
2
dx
=
1
3
(x
3
+ 1)
1
3
+1
1
3
+ 1
+C
=
(x
3
+ 1)
2
3
2
+C
=
1
2
3
p
(x
3
+ 1)
2
+C
3.
Z
x + 1
(x
2
+ 2x)
3
dx =
1
2
Z
(x
2
+ 2x)
3
(2x + 2)dx
=
1
2
(x
2
+ 2x)
3+1
3 + 1
+C
=
(x
2
+ 2x)
2
4
+C
=
1
4(x
2
+ 2x)
2
+C
4.
Z
cos x
3
sin
2
x
dx =
Z
(sinx)
2
3
cos xdx
=
(sinx)
2
3
+1
2
3
+ 1
+C
= 3
3
sinx +C
2) Tipo logartmico
Z
f
0
f
= lnf +C
1.
Z
3
x
dx = 3
Z
1
x
dx
= 3 ln|x| +C
2.
Z
2
x + 1
dx = 2
Z
1
x + 2
dx
= 2 ln|x + 2| +C
3.
Z
cot xdx =
Z
cos x
sinx
dx
= lnsinx +C
1.
Z
e
2x
1 +e
2x
dx =
1
2
Z
2e
2x
1 +e
2x
dx
=
1
2
ln(1 +e
2x
) +C
2.
Z
dx
x(1 + lnx)
=
Z
1
x
1 + lnx
dx
= ln(1 + lnx) +C
3) Tipo exponencial
Z
a
f
f
0
=
a
f
lna
+C
1.
Z
5 e
x
dx = 5
Z
e
x
dx
= 5 e
x
+C
2.
Z
3 2
x
dx = 3
Z
2
x
dx
=
3
ln2
2
x
+C
1.
Z
xe
x
2
+1
dx =
1
2
Z
e
x
2
+1
2xdx
=
1
2
e
x
2
+1
+C
2.
Z
e
1
1
x
3x
2
dx =
1
3
Z
e
1
1
x

1
x
2
dx
=
1
3
e
1
1
x
+C
3.
Z
(x 1) 3
x
2
2x
dx =
1
2
Z
3
x
2
2x
(2x 2)dx
=
3
x
2
2x
2 ln3
+C
4) Tipo seno
Z
cos f f
0
= sinf +C
1.
Z
cos(x + 1) dx = sin(x + 1) +C
2.
Z
e
x
cos(e
x
+ 1) dx = sin(e
x
+ 1) +C
1.
Z
cos(3x + 1) dx =
1
3
Z
cos(3x + 1) 3 dx
=
1
3
sin(3x + 1) +C
2.
Z
cos(1 + lnx
2
)
x
dx =
1
2
Z
cos(1 + lnx
2
)
2x
x
2
dx
=
1
2
sin(1 + lnx
2
) +C
5) Tipo coseno
Z
sinf f
0
= cos f +C
1.
Z
3 sinxdx = 3
Z
sinxdx
= 3 cos x +C
2.
Z
2x sinx
2
dx =
Z
sinx
2
2xdx
= cos x
2
+C
1.
Z
sin(1/x)
x
2
dx =
Z
sin
1
x
1
x
2
= cos
1
x
+C
2.
Z
x sin(1 x
2
) dx =
1
2
Z
sin(1 x
2
) (2x) dx
=
1
2
cos(1 x
2
) +C
6) Tipo tangente
Z
f
0
cos
2
f
= tanf +C
1.
Z
(3 + tan
2
x) dx =
Z
(2 + 1 + tan
2
x) dx
= 2
Z
dx +
Z
1
cos
2
x
dx
= 2x + tanx +C
2.
Z
dx
cos
2
(x + 1)
= tan(x + 1) +C
1.
Z
x
cos
2
(3x
2
+ 1)
dx =
1
6
Z
1
cos
2
(3x
2
+ 1)
6xdx
=
1
6
tan(3x
2
+ 1) +C
2.
Z
1 + tan
2
x
dx = 2
Z
(1 + tan
2
x)
1
2
x
dx
= 2
Z
1
cos
2
x
1
2
x
dx
= 2 tan
x +C
7) Tipo arcoseno
Z
f
0
p
1 f
2
= arcsinf +C
Ejemplo 211 Las integrales siguientes son inmediatas:
1.
Z
5
1 x
2
dx = 5
Z
1
1 x
2
dx
= 5 arcsinx +C
2.
Z
e
x
1 e
2x
dx =
Z
1
p
1 (e
x
)
2
e
x
dx
= arcsine
x
+C
Ejemplo 212 Las integrales siguientes son quasi-inmediatas:
1.
Z
x
1 4x
4
dx =
1
4
Z
1
p
1 (2x
2
)
2
4xdx
=
1
4
arcsin(2x
2
) +C
2.
Z
2
x
1 4
x
dx =
1
ln2
Z
1
p
1 (2
x
)
2
2
x
ln2 dx
=
1
ln2
arcsin2
x
+C
8) Tipo arcotangente
Z
f
0
1 +f
2
= arctanf +C
1.
Z
dx
x(1 + (lnx)
2
)
=
Z
1
1 + (lnx)
2
1
x
dx
= arctanlnx +C
2.
Z
e
x
1 +e
2x
dx =
Z
1
1 + (e
x
)
2
e
x
dx
= arctane
x
+C
Ejemplo 214 Las siguientes integrales son quasi-inemdiatas:
1.
Z
dx
9 +x
2
=
Z
dx
9(1 +
x
2
9
)
=
1
3
Z
1
1 + (
x
3
)
2

1
3
dx
=
1
3
arctan(
x
3
) +C
2.
Z
dx
x(1 +x)
= 2
Z
1
1 + (
x)
2
1
2
x
dx
= 2 arctan
x +C
9) Tipo sinh
Z
coshf f
0
= sinhf +C
1.
Z
e
x
cosh(e
x
+ 1) dx =
Z
cosh(e
x
+ 1) e
x
dx
= sinh(e
x
+ 1) +C
2.
Z
coshlnx
x
dx =
Z
coshlnx
1
x
dx
= sinhlnx +C
1.
Z
x
2
cosh(x
3
+ 2) dx =
1
3
Z
cosh(x
3
+ 2) 3x
2
dx
=
1
3
sinh(x
3
+ 2) +C
2.
Z
e
3x
cosh(1 + 2e
3x
) dx =
1
6
Z
cosh(1 + 2e
3x
) 6e
3x
dx
=
1
6
sinh(1 + 2e
3x
) +C
10) Tipo cosh
Z
sinhf f
0
= coshf +C
1.
Z
(2 sinhx + 3 coshx) dx = 2
Z
sinhxdx + 3
Z
coshxdx
= 2 coshx + 3 sinhx +C
2.
Z
sinhlnx
x
dx =
Z
sinhlnx
1
x
dx
= coshlnx +C
1.
Z
(2 sinh5x 3 cosh5x) dx =
2
5
Z
sinh5x 5 dx +
3
5
Z
cosh5x 5 dx
=
2
5
cosh5x +
3
5
sinh5x +C
2.
Z
5x
2
sinh(x
3
+ 1) dx =
5
3
Z
sinh(x
3
+ 1) 3x
2
dx
=
5
3
cosh(x
3
+ 1) +C
11) Tipo tanh
Z
f
0
cosh
2
f
= tanhf +C
1.
Z
2x
cosh
2
(x
2
+ 1)
dx =
Z
1
cosh
2
(x
2
+ 1)
2xdx
= tanh(x
2
+ 1) +C
2.
Z
1 tanh
2
lnx
x
dx =
Z
(1 tanh
2
lnx)
1
x
dx
=
Z
1
cosh
2
lnx
1
x
dx
= tanhlnx +C
Ejemplo 220 Las integrales siguientes son quasi-inmediatas:
1.
Z
3x
cosh
2
(5x
2
+ 1)
dx =
3
10
Z
10x
cosh
2
(5x
2
+ 1)
dx
=
3
10
tanh(5x
2
+ 1) +C
2.
Z
e
2x
(1 tanh
2
e
2x
) dx =
1
2
Z
1
cosh
2
e
2x
2e
2x
dx
=
1
2
tanhe
2x
+C
12) Tipo arg sinh
Z
f
0
p
1 +f
2
= arg sinhf +C
Ejemplo 221 Calcular las siguientes integrales:
1.
Z
5 dx
1 +x
2
= 5
Z
dx
1 +x
2
= 5 arg sinhx +C
2.
Z
3dx
9 + 4x
2
=
9
2
Z
2
3
q
9(1 + (
2x
3
)
2
dx
=
3
2
Z
2
3
q
1 + (
2x
3
)
2
dx
=
2
3
arg sinh
2x
3
+C
3.
Z
x
x
4
+ 2x + 5
dx =
Z
x
p
(x
2
+ 1)
2
+ 4
dx
=
1
2
Z
x
q
x
2
+1
2
2
+ 1
dx
=
1
2
arg sinh
x
2
+ 1
2
+C
13) Tipo arg cosh
Z
f
0
p
f
2
1
= arg coshf +C
Ejemplo 222 Hallar las siguientes integrales:
1.
Z
5 + 3x
x
2
1
dx = 5
Z
1
x
2
1
dx + 3
Z
2x
2
x
2
1
dx
= 5 arg coshx + 3
p
x
2
1 +C
2.
Z
3e
2x
e
4x
1
dx =
3
2
Z
2e
2x
p
(e
2x
)
2
1
dx
=
3
2
arg coshe
2x
+C
14) Tipo arg tanh
Z
f
0
1 f
2
= arg tanhf +C
Ejemplo 223 Calcular las siguientes integrales:
1.
Z
3 + 5x
1 x
2
dx = 3
Z
1
1 x
2
dx
5
2
Z
2x
1 x
2
dx
= 3 arg tanhx
5
2
ln
1 x
2
+C
2.
Z
cos x
9 sin
2
x
dx =
Z
cos x
9(1 (
sin x
3
)
2
)
dx
=
1
3
Z
1
3
cos x
1 (
sin x
3
)
2
dx
=
1
3
arg tan
sinx
3
+C
10.3.3. Integracin por partes
Teorema 210 Si f
0
y g
0
son funciones continuas, entonces
Z
f g
0
= f g
Z
f
0
g
Demostracin: La frmula
(f g)
0
= f
0
g +f g
0
puede escribirse como
f g
0
= (f g)
0
f
0
g
De donde
Z
f g
0
=
Z
(f g)
0
Z
f
0
g
y, eligiendo f g como una de las funciones denotadas por
R
(f g)
0
, se obtiene lo
que queramos demostrar.
Observacin 116 Puesto que la integracin por partes est basada en el re-
conocimiento de que una funcin es de la forma g
0
, cuantas ms funciones se
sepan ya integrar, mayor ser la probabilidad de xito. Conviene con frecuencia
hacer una integracin de prueba antes de atacar el problema principal.
Las integrales de la forma
Z
p(x)
_
_
_
a
bx
sinx
cos x
_
_
_
dx
donde p es un polinomio, se resuelven por la tcnica de reduccin, que consiste
en reiterar la aplicacin de la integracin por partes para disminuir el grado del
polinomio.
Z
lnxdx
Solucin: Hacemos las siguientes partes
f(x) = lnx f
0
(x) =
1
x
g
0
(x) = 1 g(x) = x
Entonces,
Z
lnxdx = xlnx
Z
x
1
x
dx
= xlnx
Z
dx
= xlnx x +C
Ejemplo 225 Hallar
Z
x
2
sinxdx
Solucin: Hacemos las siguientes partes:
f(x) = x
2
f
0
(x) = 2x
g
0
(x) = sinx g(x) = cos x
Entonces,
Z
x
2
sinxdx = x
2
cos x
Z
(cos x) 2xdx
= x
2
cos x + 2
Z
xcos xdx
La integral
Z
x cos xdx
la resolveremos de nuevo por partes. Hacemos las partes siguientes
u = x du = dx
dv = cos dx v = sinx
Entonces,
Z
x cos xdx = xsinx
Z
sinxdx
= xsinx + cos x +C
Por lo tanto, nalmente tenemos que
Z
x
2
sinxdx = x
2
cos x + 2(xsinx + cos x) +C
I =
Z
sin
2
xdx
Solucin: Tomamos las siguientes partes
f(x) = sinx f
0
(x) = cos x
g
0
y tenemos, segn la frmula de integracin por partes,
I = sinx cos x +
Z
cos
2
xdx
= sinx cos x +
Z
(1 sin
2
x) dx
= sinx cos x +
Z
dx
Z
sin
2
xdx
= sinx cos x +x I
De donde,
2I = x sinx cos x +C
I =
1
2
(x sinx cos x) +C
10.3.4. Integracin por cambio de variable o sustitucin
El mtodo ms importante de integracin es una consecuencia de la regla de
la cadena. La aplicacin de este mtodo exige considerablemente ms ingenio
que la integracin por partes.
Teorema 211 Si f y u
0
son continuas, entonces
Z
f =
Z
(f u) u
0
Demostracin: Sea F es una primitiva de f, puesto que por la regla de la
cadena
(F u)
0
= (F
0
u) u
0
= (f u) u
0
se sigue que F u es una primitiva de (f u) u
0
.
Observacin 117 1. Las aplicaciones ms sencillas de este mtodo consis-
ten en reconocer que una funcin dada f se puede puede escribir en la
forma (f u) u
0
.
2. En la prctica, seguiremos el siguiente procedimiento:
a) Hacemos u = g(x) y du = g
0
(x) dx; despus de la sustitucin de
estas expresiones en la integral original, en la nueva integral slo
debe aparecer la letra u, no la letra x.
b) Calculamos una primitiva (como expresin en u).
c) Reemplazamos u de nuevo por g(x).
3. La frmula por cambio de variable o sustitucin suele escribirse a menudo
como sigue
Z
f(u) du =
Z
f(g(x)) g
0
(x) dx
donde u = g(x). Observemos que si utilizamos la notacin diferencial o de
Leibniz para la derivada, la frmula queda todava ms fcil de recordar
Z
f(u) du =
Z
f(u)
du
dx
dx
4. La mayor parte de los problemas de sustitucin resultan mucho ms fciles
si se expresa x en funcin de u y dx en funcin de du, en vez de hacer lo
contrario. Si u = g(x) y g admite inversa (lo que equivale a que la funcin
sea estrictamente montona), entonces
x = g
1
(u)
dx = (g
1
)
0
(u) du =
1
g
0
(g
1
(u))
du
y se tiene
Z
f(g(x)) dx =
Z
f(u)
1
g
0
(g
1
(u))
du
Z
dx
x
x
2
2
Solucin: Hacemos la sustitucin x =
1
t
. Entonces,
dx =
dx
dt
dt
=
1
t
2
dt
y, por tanto, tenemos.
Z
dx
x
x
2
2
=
Z

1
t
2
1
t
q
1
t
2
2
dt
=
Z
1
1 2t
2
dt
=
1
2
Z

2
q
1 (
2t)
2
dt
=
1
2
arcsin
2t +C
=
1
2
arcsin
2
x
+C
Ejemplo 228 Hallar
Z
dx
e
x
+ 1
Solucin: Hacemos la sustitucin x = lnt. Entonces,
dx =
dx
dt
dt
=
1
t
dt
y, por tanto, tenemos
Z
dx
e
x
+ 1
=
Z

1
t
1
t
+ 1
dt
=
Z
1
1 +t
dt
= ln|1 +t| +C
= ln(1 +e
x
) +C
10.3.5. Integracin de fracciones racionales
Como ya se ha dicho, no toda integral de una funcin elemental se resuelve
mediante las funciones elementales. Por eso tiene gran importancia la denicin
de ciertas clases de funciones, cuyas integrales pueden expresarse mediante fun-
ciones elementales. La ms simple de estas clases es la de las funciones racionales.
Toda funcin racional puede representarse en la forma de una fracci n
racional, es decir, como la razn de dos polinomios:
p(x)
q(x)
Nos planteamos ahora el clculo de las integrales de fracciones racionales
Z
p(x)
q(x)
dx
Para ello, seguiremos los siguientes pasos:
1. Si el grado de q es menor o igual que el de p, se efecta la divisin de los
polinomios, obtenindose
p(x)
q(x)
= c(x) +
r(x)
q(x)
siendo c(x) un polinomio (cociente de la divisin), por lo que su integral
es inmediata, y r(x) otro polinomio (resto de la divisin) de grado menor
que el de q. Por tanto,
Z
p(x)
q(x)
dx =
Z
c(x) dx +
Z
r(x)
q(x)
dx
y, en consecuencia, el problema se centra entonces en calcular las integrales
de la forma
Z
r(x)
q(x)
dx
en donde el grado de q es mayor que el de r. Para ello, pasamos al siguiente
paso.
2. Si el grado de q es mayor que el de p, la resolucin depende de las races
de q. Son posibles los siguientes casos:
a) Las races de q son reales y diferentes, es decir, tenemos la siguiente
descomposicin
q(x) = a (x a
1
)(x a
2
) (x a
n
)
Entonces, se sabe que la fraccin se descompone en fracciones simples
como se indica a continuacin
p(x)
q(x)
=
1
a
A
1
x a
1
+
A
2
x a
2
+ +
A
n
x a
n
Los coecientes indeterminados A

i
(i = 1, ..., n) se obtendrn por
identicacin a partir de esta igualdad o por las siguientes relaciones
A
i
=
p(a
i
)
q
0
(a
i
)
(i = 1, ..., n)
Una vez calculados, se tiene
Z
p(x)
q(x)
dx =
1
a
Z
A
1
x a
1
dx + +
Z
A
n
x a
n
dx
=
1
a
(A
1
ln|x a
1
| + +A
n
ln|x a
n
|) +C
b) Las races de q son reales pero algunas races son mltiples, es decir,
tenemos la siguiente descomposicin
q(x) = a (x a
1
)
h
1
(x a
2
)
h
2
(x a
n
)
h
n
Entonces cada raz mltiple genera la siguiente suma de fracciones
simples
A
11
x a
1
+
A
12
(x a
1
)
2
+ +
A
1h
1
(x a
1
)
h
1
=
h
1
X
j=1
A
1j
(x a
1
)
j
obtenindose de este modo la siguiente descomposicin
p(x)
(x a
1
)
h1
q
1
(x)
=
A
11
x a
1
+ +
A
1h
1
(x a
1
)
h1
+
p
1
(x)
q
1
(x)
Los coecientes indeterminados A
1j
(j = 1, ..., h
1
) se obtendrn por
las siguientes relaciones
A
11
=
F
(h
1
1)
(a
1
)
(h
1
1)!
, A
12
=
F
(h
1
2)
(a
1
)
(h
2
2)!
, ..., A
1h
1
2
=
F
00
(a
1
)
2!
,
A
1h
1
1
=
F
0
(a
1
)
1!
, A
1h
1
= F(a
1
)
siendo
F(x) =
p(x)
q
1
(x)
Repitiendo este proceso con la fraccin racional
p
1
(x)
q
1
(x)
al nal obtendremos una descomposicin de la fraccin racional orig-
inal del tipo
p(x)
q(x)
=
h
1
X
j=1
A
1j
(x a
1
)
j
+ +
h
n
X
j=1
A
nj
(x a
n
)
j
Obsrvese que los coecientes indeterminados A
1j
(j = 1, ..., h
1
), ..., A
nj
(j =
1, ..., h
n
) tambin se pueden obtener por identicacin a partir de esta
ltima igualdad. Por tanto,
Z
p(x)
q(x)
dx =
1
a
_
_
h
1
X
j=1
Z
A
1j
(x a
1
)
j
+ +
h
n
X
j=1
Z
A
nj
(x a
n
)
j
_
_
Las integrales que aparecen en estas sumas se calcularn por
Z
A
(x a)
h
dx =
A
(h 1)(x a)
h1
+C
cuando h 6= 1; son integrales de tipo logartmico cuando h = 1.
c) El polinomio q tiene races complejas simples, es decir, tenemos una
descomposicin de la forma siguiente
q(x) = (ax
2
+bx +c) (mx
2
+nx +l) (x a
1
)
h1
(x a
n
)
hn
con b
2
4ac < 0, n
2
4ml < 0,... En este caso, cada trinomio
indescomponible ax
2
+bx +c genera la fraccin siguiente
Mx +N
ax
2
+bx +c
en la descomposicin de la fraccin racional y, en consecuencia, el
problema se centra entonces en calcular las integrales de la forma
Z
Mx +N
ax
2
+bx +c
dx
en donde b
2
4ac < 0. Si las races complejas de ax
2
+ bx + c son
i, entonces
ax
2
+bx +c = a[(x )
2
+
2
]
por lo que se tiene
Z
Mx +N
ax
2
+bx +c
dx =
1
a
Z
Mx +N
(x )
2
+
2
dx
que mediante el cambio x = +t, se obtiene
Z
Mx +N
ax
2
+bx +c
dx =
M
2
ln
(x )
2
+
2
+
M +N
arctan
x
+C
Los coecientes M, N se obtienen por identicacin a partir de la
descomposicin de la fraccin racional en fracciones de los tipos ya
considerados.
d) Si q tiene un par de races complejas mltiples, es decir, en la descom-
posicin de q aparece un trmino de la forma (ax
2
+ bx + c)
h
, con
b
2
4ac < 0 y h 2, entonces aplicaremos el mtodo de Hermite-
Ostrogadski.
Z
x
2
+ 1
x 1
dx
Solucin: Como el grado del numerador es mayor que el del denominador,
efectuamos la divisin y obtenemos
x
2
+ 1 = (x 1)(x + 1) + 2
De este modo, podemos escribir
x
2
+ 1
x 1
= x + 1 +
2
x 1
y, por tanto,
Z
x
2
+ 1
x 1
dx =
Z
(x + 1) dx + 2
Z
dx
x 1
=
x
2
2
+x + 2 ln|x 1| +C
Ejemplo 230 Calcular:
Z
2x
3
+ 4x
2
+ 3
(x 1)(x + 2)
dx
Solucin: Primero, observamos que el grado del numerador es mayor que
el grado del denominador. En consecuencia, debemos efectuar la divisin de los
dos polinomios:
2x
3
+ 4x
2
+ 3 = 2(x
2
+x 2)(x + 1) + 2x + 7
con lo que resulta,
2x
3
+ 4x
2
+ 3
(x 1)(x + 2)
= 2(x + 1) +
2x + 7
(x 1)(x + 2)
y, por tanto, tenemos
Z
2x
3
+ 4x
2
+ 3
(x 1)(x + 2)
dx = 2
Z
(x + 1) dx +
Z
2x + 7
(x 1)(x + 2)
dx
Descomponiendo la fraccin racional en fracciones simples, tenemos
2x + 7
(x 1)(x + 2)
=
A
x 1
+
B
x + 2
Para determinar los coecientes A y B, podemos seguir dos procedimientos. El
primero consiste en efectuar operaciones e identicar despus los coecientes:
2x + 7
(x 1)(x + 2)
=
A(x + 2) +B(x 1)
(x 1)(x + 2)
Igualando numeradores, se obtiene
2x + 7 = A(x + 2) +B(x 1)
= (A+B)x + 2AB
Entonces, por identicacin obtenemos
A+B = 2
2AB = 7
de donde se sigue que A = 3 y B = 1. El segundo procedimiento es el mtodo

de las derivadas, que consiste en determinar directamente los coecientes por
las frmulas siguientes
A =
p(1)
q
0
(1)
=
9
3
= 3 y B =
p(2)
q
0
(2)
=
3
3
= 1
ya que p(x) = 2x + 7 y q
0
(x) = 2x + 1. Integrando ahora la descomposicin en
fracciones simples, tenemos
Z
2x
3
+ 4x
2
+ 3
(x 1)(x + 2)
dx = 2
Z
(x + 1)dx +
Z
2x + 7
(x 1)(x + 2)
dx
= x
2
+ 2x + 3
Z
dx
x 1

Z
dx
x + 2
= x
2
+ 2x + 3 ln|x 1| ln|x + 2| +C
Ejemplo 231 Calcular:
Z
2x + 1
x
3
3x + 2
dx
Solucin: Primero, hallamos las races del polinomio denominador por Ru-
ni, y se obtiene
x
3
3x + 2 = (x + 2)(x 1)
2
Obsrvese que hay una raz real doble. Segundo, descomponemos la fraccin
racional en fracciones simples,
2x + 1
(x + 2)(x 1)
2
=
A
x + 2
+
B
x 1
+
C
(x 1)
2
Calculamos ahora las constantes A, B y C, efectuando operaciones:
2x + 1
(x + 2)(x 1)
2
=
A(x 1)
2
+B(x + 2)(x 1) +C(x + 2)
(x + 2)(x 1)
2
Igualando los numeradores, obtenemos,
2x + 1 = A(x 1)
2
+B(x + 2)(x 1) +C(x + 2)
= (A+B)x
2
+ (2A+B +C)x +A2B + 2C
Por identicacin de los coecientes, obtenemos
A+B = 0
2A+B +C = 2
A2B + 2C = 1
_
_
_
y, resolviendo este sistema, se obtiene A =
1
3
, B =
1
3
y C = 1. Finalmente,
tenemos
Z
2x + 1
(x + 2)(x 1)
2
dx =
1
3
Z
dx
x + 2
+
1
3
Z
dx
x 1
+
Z
(x 1)
2
dx
=
1
3
ln(x + 2) +
1
3
ln(x 1) +
(x 1)
1
1
+C
=
1
3
ln|x + 2| +
1
3
ln|x 1|
1
x 1
+C
Otro procedimiento para encontrar los coecientes A, B y C, es el mtodo de las
derivadas:
A =
p(2)
q
0
(2)
=
3
9
=
1
3
ya que p(x) = 2x + 1 y q
0
(x) = 3x
2
3, y
F(x) =
2x + 1
x + 2
F
0
(x) =
3
(x + 2)
2
por tanto,
B =
F
0
(1)
1!
=
3
9
=
1
3
y
C = F(1) =
3
3
= 1
Z
x
(x
2
+ 1)(x 1)
dx
Solucin: Descomponemos la fraccin racional en fracciones simples, te-
niendo en cuenta que el polinomio denominador tiene una raz compleja simple,
x
(x
2
+ 1)(x 1)
=
Ax +B
x
2
+ 1
+
C
x 1
Efectuando operaciones, se obtiene
x = (Ax +B)(x 1) +C(x
2
+ 1)
= (A+C)x
2
+ (A+B)x + (B +C)
Por identicacin de coecientes, se tiene
A+C = 0
A+B = 1
B +C = 0
_
_
_
de donde se sigue que A =
1
2
y B = C =
1
2
. De este modo, tenemos
Z
x
(x
2
+ 1)(x 1)
dx =
1
2
Z
x 1
x
2
+ 1
dx +
1
2
Z
1
x 1
dx
=
1
4
Z
2x
x
2
+ 1
dx +
1
2
Z
1
x
2
+ 1
dx +
1
2
Z
1
x 1
dx
=
1
4
ln(x
2
+ 1) +
1
2
arctanx +
1
2
ln|x 1| +C
Mtodo de Hermite-Ostrogadski
Para calcular la integral de una funcin racional, cuando el denominador
tiene las races mltiples, es ms conveniente descomponer la fraccin racional
en la siguiente forma:
p(x)
q(x)
=
d
dx
X(x)
q
1
(x)
+
Y (x)
q
2
(x)
donde
q
1
(x) = mcd (q(x), q
0
(x))
y
q
2
(x) =
q(x)
q
1
(x)
y los polinomios X, Y son polinomios con coecientes indeterminados, cuyos
grados son menores en una unidad que los de q
1
, q
2
, respectivamente. La integral
de la fraccin propuesta viene dada entonces por la expresin siguiente:
Z
p(x)
q(x)
dx =
X(x)
q
1
(x)
+
Z
Y (x)
q
2
(x)
dx
que se compone de una parte racional, obtenida sin necesidad de descomponer la
fraccin en los elementos simples, y de una integral de una fraccin racional cuyo
denominador tiene solamente races simples. La integracin de tal fraccin no
ofrece ninguna dicultad, puesto que puede descomponerse en fracciones simples
de los tipos ya considerados anteriormente.
Ejemplo 233 Hallar
Z
dx
(x
3
1)
2
Solucin: Observamos que el polinomio denominador tiene raices complejas
mltiples. Tenemos
q(x) = (x
3
1)
2
q
0
(x) = 6x
2
(x
3
1)
luego,
q
1
(x) = x
3
1
y
q
2
(x) =
(x
3
1)
2
x
3
1
= x
3
1
Por tanto,
1
(x
3
1)
2
=
d
dx
Ax
2
+Bx +C
x
3
1
+
Dx
2
+Ex +F
x
3
1
De aqu, obtenemos
1
(x
3
1)
2
=
(2Ax +B)(x
3
1) 3x
2
(Ax
2
+Bx +C)
(x
3
1)
2
+
Dx
2
+Ex +F
x
3
1
es decir,
1 = (2Ax +B)(x
3
1) 3x
2
(Ax
2
+Bx +C) + (Dx
2
+Ex +F)(x
3
1)
= Dx
5
+ (A+E)x
4
+ (2B +F)x
3
+ (3C D)x
2
+ (2AE)x + (B F)
Por identicacin de los coecientes, obtenemos
D = 0
A+E = 0
2B +F = 0
3C D = 0
2AE = 0
B F = 1
_
_
de donde A = 0, B =
1
3
, C = 0, D = 0, E = 0 y F =
2
3
. Por lo tanto,
Z
dx
(x
3
1)
2
=
1
3
x
x
3
1

2
3
Z
dx
x
3
1
Obsrvese que el denominador de la ltima integral tiene slo races simples.
Para calcularla, descomponemos la fraccin racional teniendo en cuenta que el
denominador tiene races complejas,
1
x
3
1
=
Mx +N
x
2
+x + 1
+
L
x 1
es decir,
1 = (Mx +N)(x 1) +L(x
2
+x + 1)
= (M +L)x
2
+ (M +N +L)x + (N +L)
de donde,
M +L = 0
M +N +L = 0
N +L = 1
_
_
_
De aqu, se obtienen M =
1
3
, N =
2
3
y L =
1
3
. Por lo tanto,
Z
dx
x
3
1
=
1
3
Z
x + 2
x
2
+x + 1
dx +
1
3
Z
dx
x 1
=
1
6
Z
2x + 1
x
2
+x + 1
dx +
1
2
Z
dx
(x +
1
2
)
2
+
3
4
+
1
3
Z
dx
x 1
=
1
6
Z
2x + 1
x
2
+x + 1
dx +
1
2
2
3
Z 2
2x+1
2
+ 1
dx +
1
3
Z
dx
x 1
=
1
6
ln
x
2
+x + 1
+
1
3
arctan
2x + 1
3
+
1
3
ln|x 1| +C
Finalmente, tenemos
Z
dx
(x
3
1)
2
=
1
3
x
x
3
1

2
3
1
6
ln
x
2
+x + 1
+
1
3
arctan
2x + 1
3
+
1
3
ln|x 1|
+C
=
x
3(x
3
1)
+
1
9
ln
x
2
+x + 1
2
3
3
arctan
2x + 1
3

2
9
ln|x 1| +C
10.3.6. Integracin de algunas funciones irracionales
No siempre es posible expresar la integral de una funcin irracional me-
diante funciones elementales. Estudiaremos ahora algunos tipos de funciones
irracionales, cuyas integrales se reducen, mediante sustituciones de las variables
correspondientes, a las integrales de funciones racionales.
1) Integrales del tipo
Z
R
x, x
m
n
, ..., x
r
s
dx
donde R es una funcin racional de sus argumentos. Sea
k = mcm(n, ..., s)
Se efecta el cambio
x = t
k
y entonces la integral se transforma en una integral de una funcin racional en
la variable t.
Z
x
4
x
3
+ 1
dx
Solucin: Observamos que
Z
x
4
x
3
+ 1
dx =
Z
x
1
2
x
3
4
+ 1
dx
Se tiene k = mcm(2, 4) = 4 y, por tanto, efectuando la sustitucin x = t
4
, se
tiene
dx =
dx
dt
dt
= 4t
3
dt
y
Z
x
1
2
x
3
4
+ 1
dx = 4
Z
t
5
t
3
+ 1
dt
= 4
Z
(t
2
t
2
t
3
+ 1
) dt
= 4
Z
t
2
dt
4
3
Z
3t
2
t
3
+ 1
dt
=
4t
3
3

4
3
ln
t
3
+ 1
+C
=
4
3
h
4
x
3
ln
x
3
+ 1
i
+C
Integrales del tipo
Z
R
"
x,
ax +b
cx +d
m
n
, ...,
ax +b
cx +d
r
s
#
dx
La integral se reduce a la de una funcin racional por medio de la sustitucin
ax +b
cx +d
= t
k
donde k es el mnimo comn mltiplo de los denominadores de las fracciones
m
n
, ...,
r
s
.
Ejemplo 235 Hallar la integral
Z
dx
2x 1
4
2x 1
dx
Z
dx
2x 1
4
2x 1
=
Z
dx
(2x 1)
1
2
(2x 1)
1
4
y k = mcm(2, 4) = 4. Si hacemos la sustitucin 2x 1 = t
4
, entonces
d
dx
[2x 1] =
d
dx
t
4
dt
dx
2 = 4t
3
dt
dx
dx = 2t
3
dt
y
Z
dx
(2x 1)
1
2
(2x 1)
1
4
=
Z
2t
3
t
2
t
dt
= 2
Z
2t
2
t 1
dt
= 2
Z
(t + 1 +
1
t 1
) dt
= 2
(t + 1)
2
2
+ 2 ln|t 1| +C
= (
4
2x 1 + 1)
2
+ ln(
4
2x 1 1)
2
+C
Observacin 118 El smbolo
R
x, x
m
n
, ..., x
r
s
indica que con los trminos x, x

m
n
, ..., x
r
s
se ejecutan slo operaciones racionales.
Del mismo modo hay que entender en los apartados siguientes esta notacin.
Integracin de ciertas funciones irracionales por sustituciones trigomtri-
cas e hiperblicas
Las integrales del tipo
Z
R(x,
p
ax
2
+bx +c) dx
pueden transformarse en una de las integrales de las formas siguientes:
1.
Z
R(t,
p
m
2
t
2
+n
2
) dt
2.
Z
R(t,
p
m
2
t
2
n
2
) dt
3.
Z
R(t,
p
n
2
m
2
t
2
) dt
En efecto, es claro que podemos escribir
ax
2
+bx +c = a(x +
b
2a
)
2
+ (c
b
2
4a
)
Efectuando el cambio siguiente
x +
b
2a
= t
obtenemos que
p
ax
2
+bx +c =
r
at
2
+ (c
b
2
4a
)
Segn los signos de a y c
b
2
4a
, la integral dada puede reducirse a una de las
siguientes clases de integrales:
1. Si a > 0 y c
b
2
4a
> 0, entonces tenemos que la integral es de la forma
Z
R(t,
p
m
2
t
2
+n
2
) dt
donde m =
a y n =
q
c
b
2
4a
2. Si a > 0 y c
b
2
4a
< 0, entonces tenemos que la integral es de la forma
Z
R(t,
p
m
2
t
2
n
2
) dt
donde m =
a y n =
q
(c
b
2
4a
)
3. Si a < 0 y c
b
2
4a
> 0, entonces tenemos que la integral es de la forma
Z
R(t,
p
n
2
m
2
t
2
) dt
donde m =
a y n =
q
c
b
2
4a
Estas ltimas integrales se resuelven, respectivamente, con la ayuda de las
sustituciones siguientes:
1.
t =
n
m
tanz o t =
n
m
sinhz
2.
t =
n
m
sec z o t =
n
m
coshz
3.
t =
n
m
sinz o t =
n
m
tanhz
Observacin 119 Para aplicar estos cambios es preciso recordar las siguientes
propiedades de las funciones hiperblicas:
1. cosh
2
x sinh
2
x = 1
2. sinh
2
x =
1
2
(cosh2x 1)
3. cosh
2
x =
1
2
(cosh2x + 1)
4. sinhx coshx =
1
2
sinh2x
Las funciones inversas del seno, coseno y tangente hiperblicos se expresan
por arg sinh, arg cosh y arg tan y se las llama respectivamente, argumento seno
hiperblico, argumento coseno hiperblico y argumento tangente hiperblico. Es
conveniente recordar las expresiones siguientes:
arg sinhx = ln
x +
x
2
+ 1
arg coshx = ln
x +
x
2
1
arg tanhx =
1
2
ln
x+1
x1
Ejemplo 236 Hallar

Z
dx
(x + 1)
2
x
2
+ 2x + 2
Solucin: Tenemos
x
2
+ 2x + 2 = (x + 1)
2
+ 1
Por tanto, hacemos t = x + 1, y se tiene
Z
dx
(x + 1)
2
x
2
+ 2x + 2
=
Z
dt
t
2
t
2
+ 1
que es una integral del tipo (1). Entonces, hacemos la sustitucin t = sinhz, y
sabiendo que cosh
2
z = 1 + sinh
2
z, tenemos
Z
dt
t
2
t
2
+ 1
=
Z
coshz
sinh
2
z coshz
dz
=
Z
dz
sinh
2
z
=
coshz
sinhz
+C
=
1 +t
2
t
+C
=
x
2
+ 2x + 2
x + 1
+C
Ejemplo 237 Hallar
Z
p
x
2
6x 7 dx
Solucin: Tenemos
x
2
6x 7 = (x 3)
2
16
Por tanto, hacemos t = x 3, y se tiene
Z
p
x
2
6x 7 dx =
Z
p
t
2
16 dt
que es una integral del tipo (2). Entonces, hacemos la sustitucin t = 4 coshz,
y sabiendo que cosh
2
z 1 = sinh
2
z, tenemos
Z
p
t
2
16 dt = 16
Z
p
cosh
2
z 1 sinhz dz
= 16
Z
sinh
2
z dz
= 8
Z
(cosh2z 1) dz
= 4 sinh2z 8z +C
=
t
t
2
16
2
8 arg cosh
t
4
+C
=
(x 3)
x
2
6x 7
2
8 ln
x 3
4
+
r
(x 3)
2
16
1
+C
=
(x 3)
x
2
6x 7
2
8 ln
x 3 +
x
2
6x 7
4
+C
=
(x 3)
x
2
6x 7
2
8 ln
x 3 +
p
x
2
6x 7
+C
Z
p
3 2x x
2
dx
Solucin: Tenemos
3 2x x
2
= (x
2
+ 2x 3)
= (x + 1)
2
+ 4
Por tanto, hacemos t = x + 1, y se tiene
Z
p
3 2x x
2
dx =
Z
p
4 t
2
dt
que es una integral del tipo (3). Entonces, hacemos la sustitucin t = 2 sinz y
tenemos
Z
p
4 t
2
dt = 4
Z
p
1 sin
2
z cos z dz
= 4
Z
cos
2
z dz
= 4
Z
(
1
2
+
cos 2z
2
) dz
= 2z + sin2z +C
= 2 arcsin
t
2
+t
r
1
t
2
4
+C
= 2 arcsin
x + 1
2
+
x + 1
2
p
3 2x x
2
+C
Integracin de algunos tipos especiales de funciones irracionales
Si la integral es del tipo
Z
mx +n
ax
2
+bx +c
dx
distinguimos dos casos: (1) si m = 0, entonces la integral se resuelve mediante
un cambio trigonomtrico o hiperblico como se indic en el apartado anterior
salvo que sea inmediata y se pueda resolver con la ayuda de la integral de arcsin;
(2) si m 6= 0, entonces se procede como se indica a continuacin
Z
mx +n
ax
2
+bx +c
dx =
m
2a
Z
2ax +b
ax
2
+bx +c
dx + (n
mb
2a
)
Z
1
ax
2
+bx +c
dx
=
m
a
p
ax
2
+bx +c + (n
mb
2a
)
Z
dx
ax
2
+bx +c
y de esta forma nos encontramos con una integral del mismo tipo que (1).
Ejemplo 239 Hallar
Z
dx
2 + 3x 2x
2
2 + 3x 2x
2
= 2
25
16
(x
3
4
)
2
Por tanto, si hacemos t = x

3
4
, se tiene
Z
dx
2 + 3x 2x
2
=
1
2
Z
dt
q
25
16
t
2
=
4
5
2
5
4
Z
4
5
q
1
4
5
t
2
dt
=
1
2
arcsin
4t
5
+C
=
1
2
arcsin
4x 3
5
+C
Z
x + 3
x
2
+ 2x + 2
dx
Solucin: Observamos primero que
Z
x + 3
x
2
+ 2x + 2
dx =
1
2
Z
2x + 2
x
2
+ 2x + 2
dx + 2
Z
dx
x
2
+ 2x + 2
=
p
x
2
+ 2x + 2 + 2
Z
dx
x
2
+ 2x + 2
Por tanto, la atencin se centra ahora en calcular la integral
Z
dx
x
2
+ 2x + 2
Observamos que
x
2
+ 2x + 2 = (x + 1)
2
+ 1
Por tanto, si hacemos t = x + 1, se tiene
Z
dx
x
2
+ 2x + 2
=
Z
dt
1 +t
2
que no es del tipo arcsin y, por tanto, deberemos aplicar la sustitucin t = sinhz.
Entonces,
Z
dt
1 +t
2
=
Z
coshz
p
1 + sinh
2
z
dz
=
Z
dz
= z +C
= arg sinht +C
= ln
x + 1 +
p
x
2
+ 2x + 2
+C
Por lo tanto, tenemos nalmente que
Z
x + 3
x
2
+ 2x + 2
dx =
p
x
2
+ 2x + 2 + 2 ln
x + 1 +
p
x
2
+ 2x + 2
+C
Si la integral es del tipo
Z
dx
(mx +n)
ax
2
+bx +c
utilizando la sustitucin inversa de
1
mx +n
= t
estas integrales se transforman en integrales del tipo anterior.
Ejemplo 241 Hallar
Z
dx
(x + 1)
x
2
+ 1
Solucin: Hacemos la sustitucin
1
x + 1
= t
1 = tx +t
x =
1
t
1
y entonces
Z
dx
(x + 1)
x
2
+ 1
=
Z
1
t
2
1
t
q
(
1
t
1)
2
+ 1
dt
=
Z
dt
1 2t + 2t
2
Observamos ahora que
1 2t + 2t
2
= 2
(t
1
2
)
2
+
1
4
y por tanto, hacemos el cambio z = t

1
2
y obtenemos
Z
dt
1 2t + 2t
2
=
1
2
Z
dz
q
z
2
+
1
4
Mediante, la sustitucin z =
1
2
sinhu, tenemos
2
Z
dz
q
z
2
+
1
4
=
1
2
Z
du
=
1
2
u +C
=
1
2
arg sinh2z +C
=
1
2
ln
2z +
p
4z
2
+ 1
+C
=
1
2
ln
2t 1 +
p
(2t 1)
2
+ 1
+C
=
1
2
ln
1 x +
p
2(x
2
+ 1)
x + 1
+C
Si la integral es de la forma
Z
p(x)
ax
2
+bx +c
dx
donde p es un polinomio de grado n. Se efecta la siguiente descomposicin
p(x)
ax
2
+bx +c
=
d
dx
h
q(x)
p
ax
2
+bx +c
i
+
K
ax
2
+bx +c
donde q es un polinomio de grado n1 con coecientes indeterminados. Los coe-
cientes se hallarn por identicacin despus de multiplicar por
ax
2
+bx +c.
Entonces se tiene
Z
p(x)
ax
2
+bx +c
dx = q(x)
p
ax
2
+bx +c +K
Z
dx
ax
2
+bx +c
Z
x
2
p
x
2
+ 4 dx
Solucin: Es claro que
Z
x
2
p
x
2
+ 4 dx =
Z
x
4
+ 4x
2
x
2
+ 4
dx
Entonces, tenemos
x
4
+ 4x
2
x
2
+ 4
=
d
dx
h
(Ax
3
+Bx
2
+Cx +D)
p
x
2
+ 4
i
+
K
x
2
+ 4
= (3Ax
2
+ 2Bx +C)
p
x
2
+ 4 +
(Ax
3
+Bx
2
+Cx +D)x
x
2
+ 4
+
K
x
2
+ 4
Multiplicando la igualdad por

x
2
+ 4 se obtiene
x
4
+ 4x
2
= (3Ax
2
+ 2Bx +C)(x
2
+ 4) +Ax
4
+Bx
3
+Cx
2
+Dx +K
= 4Ax
4
+ 12Ax
2
+ 3Bx
3
+ 8Bx + 2Cx
2
+ 4C +Dx +K
= 4Ax
4
+ 3Bx
3
+ (12A+ 2C)x
2
+ (8B +D)x + 4C +K
Igualando los coecientes de las potencias iguales de x, obtenemos
A =
1
4
, B = 0, C =
1
2
, D = 0, K = 2
y, por tanto,
Z
x
4
+ 4x
2
x
2
+ 4
dx =
x
3
+ 2x
4
p
x
2
+ 4 2
Z
dx
x
2
+ 4
Queda slo calcular la integral siguiente
Z
dx
x
2
+ 4
que resolveremos mediante la sustitucin x = 2 sinht. Entonces
Z
dx
x
2
+ 4
=
Z
dt
= t +C
= arg sinh
x
2
+C
= ln
x
2
+
r
x
2
4
+ 1
+C
= ln
x +
p
x
2
+ 4
+C
Por lo tanto, nalmente obtenemos
Z
x
4
+ 4x
2
x
2
+ 4
dx =
x
3
+ 2x
4
p
x
2
+ 4 2 ln
x +
p
x
2
+ 4
+C
Z
dx
(x )
n
ax
2
+bx +c
se reducen al tipo anterior valindose de la sustitucin
1
x
= t
Z
dx
(x + 1)
3
x
2
+ 2x
Solucin: Hacemos la sustitucin
1
x + 1
= t
1 = tx +t
x =
1
t
1
Entonces,
Z
dx
(x + 1)
3
x
2
+ 2x
=
Z
1
t
2
1
t
3
q
(
1
t
1)(
1
t
+ 1)
dt
=
Z
t
2
1 t
2
dt
Tenemos
t
2
1 t
2
=
d
dt
h
(At +B)
p
1 t
2
i
+
K
1 t
2
= A
p
1 t
2
(At +B)t
1 t
2
+
K
1 t
2
Multiplicando la igualdad por

1 t
2
se obtiene
t
2
= A(1 t
2
) At
2
Bt +K
= 2At
2
Bt +A+K
de donde
A =
1
2
, B = 0, K =
1
2
Por tanto,
Z
t
2
1 t
2
dt =
1
2
t
p
1 t
2
1
2
Z
dt
1 t
2
=
1
2
t
p
1 t
2
1
2
arcsint +C
Por lo tanto, obtenemos,
Z
dx
(x + 1)
3
x
2
+ 2x
=
1
2(x + 1)
2
p
x
2
+ 2x
1
2
arcsin
1
x + 1
+C
Sustituciones de Euler
Z
R
h
x,
p
ax
2
+bx +c
i
dx
pueden reducirse a la de una funcin racional de la nueva variable mediante las
siguientes sustituciones de Euler:
1. Si a > 0, hacemos
p
ax
2
+bx +c =
ax +t
Entonces
ax
2
+bx +c = ax
2
+ 2
axt +t
2
x =
t
2
c
b 2
at
2. Si c > 0, hacemos
p
ax
2
+bx +c = tx +
c
Entonces
ax
2
+bx +c = t
2
x
2
+ 2xt
c +c
x =
2
ct b
a t
2
3. Si a < 0 y c < 0, se efecta el cambio
p
ax
2
+bx +c = (x )t
donde es una de las races reales de ax
2
+ bx + c. Si es la otra raz,
entonces tenemos
a(x )(x ) = (x )
2
t
2
a(x ) = (x )t
2
x =
a t
2
a t
2
Z
dx
6 +x x
2
Solucin: Observamos que c = 6 > 0. Entonces hacemos la siguiente susti-
tucin
p
6 +x x
2
= tx +
6
x =
1 2
6t
1 +t
2
y, por tanto,
dx =
2
6(1 +t
2
) 2t(1 2
6t)
(1 +t
2
)
2
dt
=
2(
6t
2
+t +
6)
(1 +t
2
)
2
dt
y
p
6 +x x
2
=
t 2
6t
2
1 +t
2
+
6
=

6t
2
+t +
6
1 +t
2
Sustituyendo estos resultados en la integral dada, tenemos
Z
dx
6 +x x
2
=
Z 2(
6t
2
+t+
6)
(1+t
2
)
2
6t
2
+t+
6
1+t
2
dt
= 2
Z
1
1 +t
2
dt
= 2 arctant +C
= 2 arctan
6 +x x
2
6
x
+C
10.3.7. Integrales binomias
Se llaman as a las integrales de la forma
Z
x
m
(a +bx
n
)
p
dx
donde a y b son nmeros reales no nulos y m, n y p son nmeros racionales. Esta
integral puede reducirse a la integral de una funcin racional y, por consiguiente,
puede expresarse mediante funciones elementales slo si se cumple una de las
tres condiciones de Chbishev.
1. p es un nmero entero
2.
m+1
m
es un nmero entero
3.
m+1
m
+p es un nmero entero
En efecto, si hacemos la sustitucin
x = z
1
n
entonces
Z
x
m
(a +bx
n
)
p
dx =
Z
z
m
n
(a +bx)
p
dx
dz
dz
=
1
n
Z
z
m+1
n
1
(a +bz)
p
dz
=
1
n
Z
z
q
(a +bz)
p
dz
donde
q =
m+ 1
n
1
Si p es un nmero entero, entonces la integral es de la forma
Z
R(z, z
q
) dz
Si q es un nmero entero, la integral es de la forma
Z
R(z, (a +bz)
p
) dz
Si q +p es entero, la integral puede tambin escribirse como
Z
z
q
(a +bz)
p
dz =
Z
z
q+p
a +bz
z
p
dz
y, por consiguiente, es de la forma
Z
R(z,
a +bz
z
p
dz
Por lo tanto, la integral se reduce a la integral de una funcin racional cuando
alguno de los nmeros p, q, q + p es entero. La transformacin se consigue con
los cambios de variable que, segn los casos, se indica a continuacin:
1. Si p es entero y q = r/s con r y s enteros, hacemos la sustitucin
z = t
s
2. Si q es entero y p = r/s con r y s enteros, hacemos la sustitucin
a +bz = t
s
3. Si q +p es entero y p = r/s con r y s enteros, hacemos la sustitucin
a +bz
z
= t
s
Ejemplo 245 Hallar
Z
dx
3
x
2
(1 +
3
x
2
)
Solucin: Observemos que
Z
dx
3
x
2
(1 +
3
x
2
)
=
Z
x
2
3
(1 +x
2
3
)
1
dx
Hacemos primero la sustitucin
x = z
3
2
y obtenemos
Z
x
2
3
(1 +x
2
3
)
1
dx =
Z
z
1
(1 +z)
1
3
2
z
1
2
dz
=
3
2
Z
z
1
2
(1 +z)
1
dz
Como p = 1 es entero y q =
1
2
, hacemos ahora la sustitucin
z = t
2
y entonces tenemos
3
2
Z
z
1
2
(1 +z)
1
dz =
3
2
Z
t
1
(1 +t
2
)
1
2t dt
= 3
Z
1
1 +t
2
dt
= 3 arctant +C
= 3 arctan
z +C
= 3 arctan
3
x +C
Ejemplo 246 Hallar
Z
3
p
1 +
4
x
dx
Z
3
p
1 +
4
x
dx =
Z
x
1
2
(1 +x
1
4
)
1
3
dx
Hacemos primero la sustitucin
x = z
4
Entonces,
Z
x
1
2
(1 +x
1
4
)
1
3
dx =
Z
z
2
(1 +z)
1
3
4z
3
dz
= 4
Z
z(1 +z)
1
3
dz
Como q = 1 es entero y p =
1
3
, hacemos la sustitucin
1 +z = t
3
entonces
4
Z
z(1 +z)
1
3
dz = 4
Z
(t
3
1)t 3t
2
dt
= 12
Z
(t
6
t
3
) dt
=
12
7
t
7
3t
4
+C
=
12
7
(
3
q
1 +
4
x)
7
3(
3
q
1 +
4
x)
4
+C
Ejemplo 247 Hallar
Z
dx
x
2
p
(1 +x
2
)
3
Solucin: Primero, observemos que
Z
dx
x
2
p
(1 +x
2
)
3
=
Z
x
2
(1 +x
2
)
3
2
dx
Hacemos ahora la sustitucin
x = z
1
2
y obtenemos
Z
x
2
(1 +x
2
)
3
2
dx =
Z
z
1
(1 +z)
3
2
1
2
z
1
2
dz
=
1
2
Z
z
3
2
(1 +z)
3
2
dz
Si ahora multiplicamos y dividimos por z
3
2
, tenemos
1
2
Z
z
3
2
(1 +z)
3
2
dz =
1
2
Z
z
3
(
1 +z
z
)
3
2
dz
Finalmente, efectuamos la sustitucin
1 +z
z
= t
2
Tenemos
1 +z = t
2
z
(t
2
1)z = 1
z =
1
t
2
1
y
dz =
2t
(t
2
1)
2
dt
Por tanto,
1
2
Z
z
3
(
1 +z
z
)
3
2
dz =
1
2
Z
(t
2
1)
3
t
3
2t
(t
2
1)
2
dt
=
Z
t
2
1
t
2
dt
=
Z
(1
1
t
2
) dt
= t
1
t
+C
=
r
1 +x
2
x
2

r
x
2
1 +x
2
+C
=
1 +x
2
x

x
1 +x
2
+C
10.3.8. Integracin de funciones trigonomtricas
Hasta ahora hemos estudiado las integrales de funciones algebraicas (racionales
o irracionales). En este apartado examinaremos las integrales de ciertas clases
de funciones no algebraicas. En primer lugar, de las funciones trigonomtricas.
Integrales del tipo
Z
R(sinx, cos x) dx
De la sustitucin,
tan
x
2
= t
se deduce:
1.
x = 2 arctant
dx =
dx
dt
dt =
2
1 +t
2
dt
2.
sinx =
2 sin
x
2
cos
x
2
1
=
2 sin
x
2
cos
x
2
sin
2 x
2
+ cos
2
x
2
=
2 tan
x
2
1 + tan
2 x
2
=
2t
1 +t
2
3.
cos x =
cos
2 x
2
sin
2 x
2
1
=
cos
2 x
2
sin
2 x
2
sin
2 x
2
+ cos
2
x
2
=
1 tan
2 x
2
1 + tan
2 x
2
=
1 t
2
1 +t
2
Sustituyendo estas expresiones en la integral dada, sta se reduce a una
integral de una funcin racional en la variable t.
Z
dx
1 + sinx + cos x
Solucin: Hacemos la sustitucin,
tan
x
2
= t
Entonces,
Z
dx
1 + sinx + cos x
=
Z
2
1+t
2
1 +
2t
1+t
2
+
1t
2
1+t
2
dt
=
Z
dt
1 +t
= ln|1 +t| +C
= ln
1 + tan
x
2
+C
Casos particulares: la sustitucin examinada ofrece la posibilidad de integrar
cualquier funcin del tipo R(sinx, cos x). Sin embargo, en la prctica este cambio
conduce en algunos casos a funciones racionales demasiado complicadas. Por
eso, siempre es preferible conocer a veces otras sustituciones que conducen ms
rpidamente al objetivo.
Z
R(sinx) cos xdx
la sustitucin sinx = t, reduce la integral a una integral de una funcin racional
en la variable t.
Ejemplo 249 Hallar
Z
cos x
1 + sinx
dx
Solucin: Hacemos la sustitucin sinx = t. Entonces
dt = cos xdx
y
Z
cos x
1 + sinx
dx =
Z
dt
1 +t
= ln|1 +t| +C
= ln|1 + sinx| +C
Z
R(cos x) sinxdx
la sustitucin cos x = t, reduce la integral a una integral de una funcin racional
en la variable t.
Ejemplo 250 Hallar
Z
sin2x
1 + sin
2
x
dx
Z
sin2x
1 + sin
2
x
dx = 2
Z
cos x
1 + cos
2
x
sinxdx
Hacemos el cambio t = cos x, entonces
dt = sinxdx
y
2
Z
cos x
1 + cos
2
x
sinxdx =
Z
2t
1 +t
2
dt
= ln(1 +t
2
) +C
= ln(1 + cos
2
x) +C
Si el integrando slo es funcin de tanx, la sustitucin tanx = t, reduce la
integral a una integral de una funcin racional
Z
R(tanx) dx =
Z
R(t)
dx
dt
dt
=
Z
R(t)
dt
1 +t
2
Z
1 + tanx
1 tanx
dx
Solucin: Hacemos la sustitucin t = tanx. Entonces, x = arctant y
dx =
1
1 +t
2
dt
Por tanto,
Z
1 + tanx
1 tanx
dx =
Z
1 +t
1 t
1
1 +t
2
dt
=
Z
1
1 t
+
t
1 +t
2
dt
=
Z
1
1 t
dt +
1
2
Z
2t
1 +t
2
dt
= ln|1 t| +
1
2
ln(1 +t
2
) +C
= ln|1 tanx| +
1
2
ln(1 + tan
2
x) +C
Si el integrando tiene la forma R(sinx, cos x), donde las potencias de sinx y
cos x son exclusivamente pares, se usa el cambio tanx = t. En tal caso, despus
de realizar las correspondientes sustituciones que se indican
cos
2
x =
1
1 + tan
2
x
=
1
1 +t
2
sin
2
x = 1 cos
2
x
= 1
1
1 +t
2
=
t
2
1 +t
2
dx =
dx
dt
dt
=
1
1 +t
2
dt
obtenemos la integral de una funcin racional en t.
Z
dx
3 sin
2
x + 5 cos
2
x
Solucin: Hacemos la sustitucin de t = tanx, entonces se tiene
Z
dx
3 sin
2
x + 5 cos
2
x
=
Z
1
1+t
2
3t
2
1+t
2
+
5
1+t
2
dt
=
Z
1
3t
2
+ 5
dt
=
1
5
r
5
3
Z
q
3
5
1 +
q
3
5
t
2
dt
=
1
5
r
5
3
arctan
r
3
5
t +C
=
1
5
r
5
3
arctan
r
3
5
tanx
!
+C
Z
sin
m
x cos
n
xdx
donde m, n son nmeros enteros. Entonces es preciso estudiar tres casos:
1) Uno de los nmeros m, n es impar. Supongamos, por ejemplo, que n es
impar, entonces hacemos n = 2k + 1 y transformemos la integral
Z
sin
m
x cos
2k+1
xdx =
Z
sin
m
x cos
2k
x cos xdx
=
Z
sin
m
x(1 sin
2
x)
k
cos xdx
Efectuemos ahora la sustitucin sinx = t, entonces
Z
sin
m
x cos
2k+1
xdx =
Z
t
m
(1 t
2
)
k
dt
que es la integral de una funcin racional en t.
Ejemplo 253 Hallar
Z
cos
3
x
sin
4
x
dx
Solucin: Tenemos
Z
cos
3
x
sin
4
x
dx =
Z
(1 sin
2
x) cos x
sin
4
x
dx
Hacemos el cambio t = sinx y se obtiene
Z
(1 sin
2
x) cos x
sin
4
x
dx =
Z
1 t
2
t
4
dt
=
Z
1
t
4
dt
Z
1
t
2
dt
=
1
3t
3
+
1
t
+C
=
1
3 sin
3
x
+
1
sinx
+C
2) Los nmeros m, n son no negativos y pares. Entonces, hacemos m = 2p y
n = 2q. A partir de las frmulas
sin
2
x =
1
2

1
2
cos 2x
cos
2
x =
1
2
+
1
2
cos 2x
obtenemos
Z
sin
2p
x cos
2q
xdx =
Z
(
1
2

1
2
cos 2x)
p
(
1
2
+
1
2
cos 2x)
q
dx
Efectuando operaciones, obtenemos trminos que contienen cos 2x en potencias
pares e impares. Los trminos que contienen las potencias impares, se integran
como hemos indicado en el caso (i). Los trminos que tienen las potencias pares,
los reducimos de nuevo, utilizando sucesivamente las frmulas anteriores. Pro-
cediendo de esta manera llegamos hasta los trminos de la forma
Z
cos kxdx
que pueden integrarse de forma inmediata.
Ejemplo 254 Hallar
Z
sin
4
xdx
Solucin: Sabiendo que
sin
2
x =
1
2
(1 cos 2x)
entonces
Z
sin
4
xdx =
1
4
Z
(1 cos 2x)
2
dx
=
1
4
Z
(1 2 cos 2x + cos
2
2x) dx
=
1
4
Z
dx
1
4
Z
2 cos 2xdx +
1
8
Z
(1 + cos 4x) dx
=
1
4
(x sin2x) +
1
8
Z
dx +
1
32
Z
4 cos 4xdx
=
1
4
(x sin2x) +
1
8
x +
1
32
sin4x +C
3) Los nmeros m, n son pares y al menos uno de ellos es negativo. En este
caso es preciso hacer la sustitucin tanx = t o cot x = t.
Z
sin
2
x
cos
6
x
dx
Z
sin
2
x
cos
6
x
dx =
Z
sin
2
x
cos
2
x
sin
2
x + cos
2
x
cos
2
x
2
dx
=
Z
tan
2
x(tan
2
x + 1)
2
dx
Hacemos ahora el cambio t = tanx y se obtiene
Z
tan
2
x(tan
2
x + 1)
2
dx =
Z
t
2
(t
2
+ 1)
2
dt
1 +t
2
=
Z
t
2
(t
2
+ 1) dt
=
t
5
5
+
t
3
3
+C
=
tan
5
x
5
+
tan
3
x
3
+C
En el caso general, las integrales del tipo
I
m,n
=
Z
sin
m
x cos
n
xdx
se calculan por medio de frmulas de reduccin, que se deducen, ordinariamente,
empleando la integracin por partes.
Ejemplo 256 Hallar
I
n
=
Z
sin
n
xdx
siendo n un nmero impar.
Solucin: Supongamos que n = 2k + 1 y transformemos la integral
Z
sin
2k
x sinxdx
Aplicando la integracin por partes con
f(x) = sin
2k
x f
0
(x) = 2k sin
2k1
x cos x
g
0
tenemos
Z
sin
2k
x sinxdx = cos x sin
2k
x + 2k
Z
sin
2k1
x cos
2
xdx
= cos x sin
2k
x + 2k
Z
sin
2k1
x(1 sin
2
x) dx
= cos x sin
2k
x + 2k
Z
sin
2k1
xdx 2k
Z
sin
2k+1
xdx
Por lo tanto, tenemos
I
n
= cos x sin
n1
x + (n 1)I
n2
(n 1)I
n
nI
n
= cos x sin
n1
x + (n 1)I
n2
I
n
=
cos x sin
n1
x
n
+
n 1
n
I
n2
Como aplicacin de esta frmula de reduccin, tenemos
Z
sin
3
xdx =
cos x sin
2
x
3
+
2
3
I
1
=
cos xsin
2
x
3

2
3
cos x +C
Integrales de la forma siguiente:
Z
cos mxcos nxdx
Z
sinmx cos nxdx
Z
sinmx sinnxdx
Estas integrales se pueden calcular con la ayuda de las siguientes frmulas (m 6=
n):
cos mx cos nx =
1
2
[cos(m+n)x + cos(mn)x]
sinmx cos nx =
1
2
[sin(m+n)x + sin(mn)x]
sinmxsinnx =
1
2
[cos(m+n)x + cos(mn)x]
Por ejemplo,
Z
cos mx cos nxdx =
1
2
Z
[cos(m+n)x + cos(mn)x] dx
=
sin(m+n)x
2(m+n)
+
sin(mn)x
2(mn)
+C
Z
sin5x sin3xdx
Z
sin5x sin3xdx =
1
2
Z
(cos 8x + cos 2x) dx
=
1
16
Z
8 cos 8xdx +
1
4
Z
2 cos 2xdx
=
1
16
sin8x +
1
4
sin2x +C
10.3.9. Integracin de funciones exponenciales
Son integrales del tipo
Z
R[a
x
] dx
Si se efecta el cambio
a
x
= t
entonces la integral se transforma en una integral racional en la variable t.
Z
e
x
1
e
x
+ 1
dx
Solucin: La integral es equivalente a la siguiente descomposicin
Z
e
x
1
e
x
+ 1
dx =
Z
e
x
e
x
+ 1
dx
Z
1
e
x
+ 1
dx
Si hacemos el cambio t = e
x
, entonces
dt = e
x
dx
y
Z
e
x
1
e
x
+ 1
dx =
Z
1
t + 1
dt
Z
1
t(t + 1)
dt
=
Z
1
t + 1
dt
Z
1
t
dt +
Z
1
t + 1
dt
= 2 ln|t + 1| ln|t| +C
= ln
(t + 1)
2
|t|
+C
10.3.10. Funciones cuyas integrales no pueden expresarse
mediante las funciones elementales
Segn la segunda forma del teorema fundamental del clculo, las funciones
continuas siempre tienen primitivas en un intervalo. Sin embargo, no cada fun-
cin primitiva, inlcuso cuando sta existe, puede expresarse mediante un nmero
nito de funciones elementales.
Por ejemplo, las funciones primitivas de las funciones binomias que no sat-
isfacen una de las condiciones de Chbishev, no pueden expresarse mediante
un nmero nito de funciones elementales. Son tambin ejemplos las funciones
primitivas expresadas por las integrales siguientes,
Z
e
x
2
dx,
Z
sinx
x
dx,
Z
cos x
x
dx,
Z
dx
lnx
, ...
y muchas otras.
Captulo 11
Integrales impropias
11.1. Integrales impropias
El concepto de integral de Riemann requiere dos premisas jas: la funcin
debe estar acotada y el dominio de integracin ha de ser un intervalo acotado.
Ahora extenderemos el concepto de integral denida
Z
b
a
f(x) dx
para que se incluyan los casos siguientes:
1. la funcin f no est acotada
2. el intervalo de integracin es innito
3. la combinacin de los dos casos anteriores
El mtodo que utilizaremos para hacer esta extensin consistir en uti-
lizar lmites de integrales acotadas sobre intervalos compactos para denir estos
nuevos tipos de integrales denidas que llamaremos integrales impropias.
Por ejemplo, son integrales impropias:
1.
Z
1
0
dx
1x
4
, porque para x = 1 la funcin no est acotada.
2.
Z

0
e
x
dx, porque el intervalo de integracin es innito.
3.
Z

0
e
x
x
p1
dx, por las dos razones anteriores.
Cuando una integral, como en el caso ltimo del ejemplo anterior, sea im-
propia por ms de una razn, la separaremos en varias integrales de manera
que cada una de ellas slo tenga una causa de impropiedad. As, en el ejemplo,
escribiremos
Z

0
e
x
x
p1
dx =
Z
1
0
e
x
x
p1
dx +
Z

1
e
x
x
p1
dx
351
352 CAPTULO 11. INTEGRALES IMPROPIAS
Las dos nuevas integrales slo tienen una causa de impropiedad que es la no
acotacin de la funcin en la primera y la no acotacin del intervalo de inte-
gracin en la segunda. De este modo el estudio de las integrales impropias se
reduce al caso de que la integral tenga una nica causa de impropiedad ya que
siempre podemos descomponer cualquier integral como suma de integrales de
este tipo.
11.1.1. Integrales impropias de primera especie
Denicin 95 Se llaman integrales impropias de primera especie aquel-
las cuyo intervalo de integracin es no acotado, es decir, integrales de la forma
Z
+
a
f(x) dx y
Z
b
f(x) dx
Se dene la integral impropia de este tipo como
Z
+
a
f(x) dx = lm
M+
Z
M
a
f(x) dx
donde f es una funcin acotada e integrable en todo intervalo de la forma [a, M],
siendo a un valor jo y M a. La integral impropia se dice que es convergente
o divergente segn que exista lmite nito o innito, respectivamente. Si no
existe dicho lmite, se dice que la integral no existe.
La denicin es similar para los otros dos tipos de integrales de este tipo:
Z
b
f(x) dx = lm
N
Z
b
N
f(x) dx
Z
+
f(x) dx = lm
N
Z
c
N
f(x) dx + lm
M+
Z
M
c
f(x) dx
para cualquier c R ja. En este ltimo caso, la integral es convergente si y
slo si las dos integrales del segundo miembro son convergentes.
Ejemplo 259 Si a > 0 y si f (x) := 1/x para x en [a, ), calcular
Z
+
a
1
x
dx.
Para toda c > a, se tiene
Z
c
a
1
x
dx = log c log a.
Puesto que la funcin log c no est acotada cuando c , la integral impropia
R
+
a
1
x
dx es divergente.
Z
+
0
e
2x
dx.
Sea b > 0, entonces tenemos
Z
b
0
e
2x
dx =
1
2
e
2x
b
0
=
1
2
(1 e
2b
).
11.1. INTEGRALES IMPROPIAS 353
Aplicando la denicin anterior, obtenemos
Z
+
0
e
2x
dx = lm
b +
Z
b
0
e
2x
dx = lm
b +
1
2
(1 e
2b
) =
1
2
.
Por tanto, la integral impropia es convergente y su valor es
1
2
.
Ejemplo 261 Siendo p un nmero real, estudiar la convergencia de la integral
impropia
Z
+
1
dx
x
p
y en caso de ser convergente, calcular su valor.
Si p 6= 1, siendo b > 1 tenemos
Z
b
1
dx
x
p
=

x
1p
1 p
b
1
=
1
1 p
(b
1p
1).
Si 1 p > 0, es decir, si p < 1, tenemos
Z
+
1
dx
x
p
= lm
b +
1
1 p
(b
1p
1) = +.
Si 1 p < 0, es decir, si p > 1, tenemos
Z
+
1
dx
x
p
= lm
b +
1
1 p
(b
1p
1) =
1
1 p
=
1
p 1
.
Finalmente, en el caso de ser p = 1, tenemos
Z
+
1
dx
x
p
=
Z
+
1
dx
x
= lm
b +
lnx = +.
En resumen, tenemos
Z
+
1
dx
x
p
=

1
p1
si p > 1
+ si p 1
.
11.1.2. Integrales impropias de segunda especie
Denicin 96 Se llaman integrales impropias de segunda especie aquel-
las cuya nica causa de impropiedad es la no acotacin de la funcin subintegral
en un punto nito. Sea f una funcin denida en (a, b] y supongamos que
lm
xa
+
f(x) = ,
o sea, f(x) no est acotada en x = a por la derecha. Si
Z
b
c
f(x) dx
existe para todo c (a, b), entonces se dene la integral impropia de la forma
siguiente:
Z
b
a
f(x) dx = lm
c a
+
Z
b
c
f(x) dx
Si el lmite del segundo miembro existe, entonces la integral impropia es conver-
gente; en caso contrario, se dice que es divergente.
La denicin es similar en el caso de que la no acotacin est situada en el
extremo superior del intervalo de integracin, es decir,
Z
b
a
f(x) dx = lm
c b
Z
c
a
f(x) dx
Ejemplo 262 La funcin f : [0, 1] R denida por f (x) := 1/
x para
0 < x 6 1, f (0) := 0, no est acotada y, por tanto, no es integrable en [0, 1].
Sin embargo, para toda c que satisface 0 < c < 1, se tiene
Z
1
c
f =
Z
1
c
1
x
dx = 2
1
c
= 2(1
c).
Por tanto, si se hace que c 0+, se inere que la integral impropia de f en
(0, 1] es
Z
1
0
f = lm
c0
+
2(1
c) = 2.
Ejemplo 263 Si g (x) := 1/x para 0 < x 6 1, entonces para toda c con 0 <
c < 1 se tiene:
Z
1
c
g =
Z
1
c
1
x
dx = log 1 log c = log c.
Puesto que la funcin log c no est acotada cuando c 0
+
, la integral im-
propia de g en (0, 1] no existe.
Ejemplo 264 Siendo p un nmero real, estudiar la convergencia de la integral
Z
1
0
dx
x
p
y, en caso de ser convergente, calcular su valor.
En caso de ser p 0 no es una integral impropia. Supongamos, por tanto,
que p > 0 y p 6= 1. Tomando c tal que 0 < c < 1, se tiene
Z
1
c
dx
x
p
=

x
1p
1 p
1
c
=
1
1 p
(1 c
1p
).
Si 1 p > 0, se tiene
Z
1
0
dx
x
p
= lm
c 0
+
1
1 p
(1 c
1p
) =
1
1 p
,
y si 1 p < 0, se tiene
Z
1
0
dx
x
p
= lm
c 0
+
1
1 p
(1 c
1p
) = .
Finalmente, si p = 1, se tiene
Z
1
0
dx
x
p
=
Z
1
0
dx
x
= lm
c 0
+
Z
1
c
dx
x
= lm
c 0
+
[lnx]
1
c
= lm
c 0
+
(lnc) = +.
En resumen, tenemos
Z
1
0
dx
x
p
=

1
1p
si p < 1
si p 1
.
Ejemplo 265 Estudiar la convergencia de la integral
Z
1
1
dx
x
2
,
y en caso de ser convergente, calcular su valor.
Obsrvese que la no acotacin no coincide con un extremo del intervalo de
integracin. As pues deberemos descomponer la integral en dos :
Z
1
1
dx
x
2
=
Z
0
1
dx
x
2
+
Z
1
0
dx
x
2
.
Ahora bien, en el ejemplo anterior hemos probado que para p 1 las integrales
de la forma
Z
1
0
dx
x
p
son divergentes. Por tanto, la integral
R
1
1
dx
x
2
es divergente.
11.1.3. Integrales impropias de tercera especie
Denicin 97 Se llaman integrales impropias de tercera especie a las
que presentan las dos causas de impropiedad, es decir, la no acotacin de la
funcin subintegral y del intervalo de integracin.
El estudio de estas integrales se reduce, por la aditividad respecto al intervalo
de integracin, al estudio por separado de integrales impropias de primera y de
segunda especie en las que se ha descompuesto la integral original. Si todas las
integrales son convergentes, la integral original es convergente, y si una al menos
es divergente, tambin lo es la integral original.
11.1.4. Criterios de comparacin
Teorema 212 (Criterios de mayoracin y minoracin)
a. Para las integrales de primera especie, se cumple: Si las funciones f y g son
integrables en cualquier intervalo [a, b], entonces:
Si 0 f(x) g(x) para todo x a, entonces
Z

a
g(x) dx convergente
Z

a
f(x) dx convergente
Z

a
f(x) dx divergente
Z

a
g(x) dx divergente
b. Para las integrales de segunda especie, se cumple: Si las funciones f y g son
integrables en cualquier intervalo [c, b], con a < c < b, entonces:
Si 0 f(x) g(x) para todo a < x b, entonces
Z
b
a
g(x) dx convergente
Z
b
a
f(x) dx convergente
Z
b
a
f(x) dx divergente
Z
b
a
g(x) dx divergente
Demostracin:
a. Supongamos que 0 f(x) g(x) para todo x a. Entonces, por las
propiedades de la integral de Riemann,
0
Z
M
a
f(x) dx
Z
M
a
g(x) dx para todo M a.
Por las propiedades de los lmites, se cumple:
lm
M+
Z
M
a
f(x) dx lm
M+
Z
M
a
g(x) dx.
Por tanto,
Z
+
a
f(x) dx
Z
+
a
g(x) dx.
As pues, si
R
a
g(x) dx < +, tambin
R
a
f(x) dx < + y, recproca-
mente, si
R
a
f(x) dx = +, entonces
R
a
g(x) dx = +.
b. Supongamos que 0 f(x) g(x) para todo a < x b. Entonces, por las
propiedades de la integral de Riemann,
0
Z
b
c
f(x) dx
Z
b
c
g(x) dx para todo c (a, b).
Por las propiedades de los lmites, se cumple:
lm
c a
+
Z
b
c
f(x) dx lm
c a
+
Z
b
c
g(x) dx.
Por tanto,
Z
b
a
f(x) dx
Z
b
a
g(x) dx.
As pues, si
R
b
a
g(x) dx < +, tambin
R
b
a
f(x) dx < + y, recproca-
mente, si
R
b
a
f(x) dx = +, entonces
R
b
a
g(x) dx = +.
Observacin 120 Hasta ahora, cuando nos encontrbamos con una integral
impropia estudibamos su convergencia determinando su valor por medio de un
lmite. Este procedimiento a veces no es aplicable, ya que es necesario conocer la
funcin primitiva de la funcin subintegral. Los criterios de mayoracin y mino-
racin permiten soslayar esta dicultad, aunque slo determinan la naturaleza
de la integral impropia y no su valor. Si la integral es convergente, deberemos
proceder al clculo de la misma mediante mtodos de integracin numrica o
por series.
Ejemplo 266 Estudiar la naturaleza de la integral
Z

1
dx
1 +x
4
.
Se cumple:
1
1 +x
4

1
x
4
para x 1
Como
R
1
dx
x
4
es convergente, resulta que
Z

1
dx
1 +x
4
es convergente.
Z
1
0
dx
4
x
3
+x
2
+x
El polinomio del denominador se anula slo cuando x = 0, luego se trata de una
integral impropia de segunda especie. Tenemos
1
4
x
3
+x
2
+x

1
x
3/4
para 0 < x 1
Como la integral
Z
1
0
dx
x
3/4
es convergente, tambin converge la integral original.
Teorema 213 (Criterio del cociente)
a. Para integrales impropias de primera especie, se cumple: Sean f, g dos fun-
ciones integrables en cualquier intervalo [a, b], y tales que f(x) 0 y
g(x) > 0 para todo x a. Supongamos que
lm
x
f(x)
g(x)
= L
1. Si 0 < L < , entonces las integrales impropias
Z

a
f(x) dx y
Z

a
g(x) dx
son ambas convergentes o ambas divergentes.
2. Si L = 0, entonces
Z

a
g(x) dx convergente
Z

a
f(x) dx convergente.
3. Si L = , entonces
Z

a
g(x) dx divergente
Z

a
f(x) dx divergente.
b. Para integrales impropias de segunda especie, se cumple: Sean f y g dos
funciones integrables en el intervalo [c, b], siendo a < c < b y tales que
f(x) 0 y g(x) > 0 para todo x tal que a < x b. Supongamos que
lm
xa
+
f(x)
g(x)
= L.
Si 0 < L < , entonces las integrales impropias
Z
b
a
f(x) dx y
Z
b
a
g(x) dx
son ambas convergentes o ambas divergentes.
Demostracin:
a. Sean f, g dos funciones integrables en cualquier intervalo [a, b], y tales que
f(x) 0 y g(x) > 0 para todo x a. Supongamos que
lm
x
f(x)
g(x)
= L.
Si 0 < L < , entonces existe K > a tal que
0 <
1
2
L
f(x)
g(x)
<
3
2
L para toda x > K.
Por tanto,
1
2
L g(x) < f(x) <
3
2
L g(x) para toda x > K.
Por el criterio de mayoracin y minoracin,
R
+
K
f(x) dx es convergente
si y slo si
R
+
K
g(x) dx lo es. Por tanto,
R
+
a
f(x) dx es convergente si
y slo si
R
+
a
g(x) dx lo es.
Si L = 0 o L = , el razonamiento es anlogo.
b. Sean f y g dos funciones integrables en el intervalo [c, b], siendo a < c < b y
tales que f(x) 0 y g(x) > 0 para todo x tal que a < x b. Supongamos
que
lm
xa
+
f(x)
g(x)
= L.
Si 0 < L < , entonces existe > 0 tal que
0 <
1
2
L
f(x)
g(x)
<
3
2
L para toda x (a, a +).
Por tanto,
1
2
L g(x) < f(x) <
3
2
L g(x) para toda x (a, a +).
Por el criterio de mayoracin y minoracin,
R
a+
a
f(x) dx es convergente
si y slo si
R
a+
a
g(x) dx lo es. Por tanto,
R
b
a
f(x) dx es convergente si y
slo si
R
b
a
g(x) dx lo es.
Z

0
dx
1 +e
2x
.
Aplicando el criterio de comparacin por cociente con g(x) = e
2x
, tenemos
lm
x
f(x)
g(x)
= lm
x
e
2x
1 +e
2x
= 1.
Dado que la integral impropia
Z

0
e
2x
dx
es convergente, tambin lo es la integral impropia original.
Z
2
1
dx
x
2
(x
3
1)
1/3
.
Se trata de una integral impropia de segunda especie, con una nica causa de
impropiedad en x = 1. Aplicando el criterio de comparacin por cociente con
g(x) = (x 1)
1/3
, tenemos
lm
x1
+
f(x)
g(x)
= lm
x1
+
(x 1)
1/3
x
2
(x
3
1)
1/3
= lm
x1
+
1
x
2
(x
2
+x + 1)
1/3
=
1
3
1/3
.
Como la integral impropia
Z
2
1
dx
(x 1)
1/3
es convergente, tambin lo es la integral original.
11.1.5. Convergencia absoluta
Denicin 98 Sean a y b tales que < a < b +. Si f es una funcin
integrable en todo intervalo [a, b], se dice que la integral
Z
b
a
f(x) dx
es absolutamente convergente, si la integral
Z
b
a
|f(x)| dx
es convergente. Anlogamente, la integral es absolutamente divergente, si la
integral en valor absoluto es divergente.
Teorema 214 Toda integral absolutamente convergente es convergente.
Demostracin: Sea
R
b
a
f(x) dx una integral absolutamente convergente, es
decir, supongamos que
Z
b
a
|f(x)| dx es convergente.
Siempre se cumple:
f(x) |f(x)|, para toda x [a, b].
Por el criterio de mayoracin y minoracin, obtenemos que
R
b
a
f(x) dx es
convergente.
Observacin 121 Conviene resaltar que el recproco es falso en general, es
decir, la convergencia no implica en general la convergencia absoluta.
Z

1
sinx
x
p
dx
para los distintos valores de p > 0.
No podemos aplicar los criterios de comparacin, ya que la funcin subinte-
gral cambia de signo en el intervalo [1, ). Ahora bien, como
sinx
x
p
1
x
p
,
y adems la integral
Z

1
1
x
p
dx
es convergente para p > 1, se tiene por el criterio de comparacin (mayoracin)
que la integral
Z

1
sinx
x
p
dx
11.2. FUNCIONES DE EULER: GAMMA Y BETA 361
es absolutamente convergente y por tanto convergente si p > 1. Por otro lado,
la integral
R
1
1
x
p
dx es divergente para 0 < p < 1, luego no sirve para comparar.
Utilizamos en este caso otro procedimiento: Integrando por partes la integral
Z
b
1
sinx
x
p
dx,
tomando
u =
1
x
p
du = px
p1
dx
dv = sinxdx v = cos x
,
obtenemos:
Z

1
sinx
x
p
dx = cos 1 p
Z

1
cos x
x
p+1
dx.
La integral
Z

1
cos x
x
p+1
dx
converge para p > 0, ya que
cos x
x
p+1

1
x
p+1
y adems
Z

1
1
x
p+1
dx
es convergente. Por lo tanto, la integral impropia original es convergente para
cualquier valor de p > 0.
11.2. Funciones de Euler: Gamma y Beta
Las funciones de Euler son unas funciones denidas mediante integrales im-
propias y que tienen gran importancia en el clculo integral ya que aparecen
con mucha frecuencia, y adems permiten simplicar mucho los clculos de un
gran nmero de integrales. Estas integrales eulerianas son las llamadas funcin
Gamma y funcin Beta.
11.2.1. La funcin Gamma
Denicin 99 La integral impropia
Z

0
x
p1
e
x
dx
es convergente si p > 0. Llamamos funcin gamma de parmetro p (p > 0)
a la funcin denida por
(p) =
Z

0
x
p1
e
x
dx
Teorema 215 La funcin tiene las siguientes propiedades:
1. Para todo p > 0,
(p + 1) = p (p)
2. Si p N, entonces
(p) = (p 1)!
3. Si p (0, 1), entonces
(p) (p 1) =

sinp
.
En particular, se tiene:
(
1
2
) =
Demostracin:
1. Aplicamos integracin por partes a la integral (p) =
R
0
e
x
x
p1
dx:
u = e
x
du = e
x
dx
dv = x
p1
dx v =
x
p
p
Entonces,
(p) =
Z

0
e
x
x
p1
dx =

e
x
x
p
p
0
+
1
p
Z

0
e
x
x
p
dx =
= 0 +
1
p
(p + 1) =
1
p
(p + 1).
Por tanto,
(p + 1) = p (p).
2. Sea p un nmero natural. Aplicando la frmula anterior, obtenemos:
(p) = (p 1) (p 1) = (p 1) (p 2) (p 2) = =
= (p 1) (p 2) 3 2 (1).
Como (1) =
R
0
e
x
dx = [e
x
]
0
= 1, entonces
(p) = (p 1) (p 2) 3 2 1 = (p 1)!.
3. La demostracin de esta propiedad es inalcanzable con los conocimientos
que tiene hasta ahora el alumno. Sin embargo, vamos a utilizarla para
calcular (
1
2
): Sabemos que
(p) (p 1) =

sin(p)
;
Si tomamos p =
1
2
, obtenemos:
(
1
2
) (
1
2
) =

sin(/2)
((
1
2
))
2
=

1
(
1
2
) =

11.2. FUNCIONES DE EULER: GAMMA Y BETA 363
Z

0
e
ax
2
dx
siendo a > 0.
Aplicamos el cambio ax
2
= t; entonces x =
1
a
t
1/2
, y por tanto, dx =
1
2
a
t
1/2
dt. Se tiene :
Z

0
e
ax
2
dx =
1
2
a
Z

0
t
1/2
e
t
dt =
1
2
a
(
1
2
) =

a
11.2.2. La funcin Beta
Denicin 100 La integral impropia
Z
1
0
x
p1
(1 x)
q1
dx
es convergente si p > 0 y q > 0. Se llama funcin beta de parmetros p y q
(p > 0 y q > 0) a la funcin denida por
(p, q) =
Z
1
0
x
p1
(1 x)
q1
dx
Teorema 216 La funcin tiene las siguientes propiedades:
1. (p, q) =
(p) (q)
(p +q)
2. (p, q) = (q, p)
3. Si p = 1 q, con p, q (0, 1), entonces
(p, q) =

sinp
=

sinq
4. (p, q) = 2
Z
2
0
(sint)
2p1
(cos t)
2q1
dt
Demostracin:
1. No demostraremos esta propiedad porque se requiere la utilizacin de proposi-
ciones que el alumno todava no conoce.
2. Por denicin, (p, q) =
R
1
0
x
p1
(1 x)
q1
dx. Aplicamos el siguiente
cambio de coordenadas:
1 x = t dx = dt
Entonces, x = 0 t = 1, x = 1 t = 0. Obtenemos:
(p, q) =
Z
1
0
x
p1
(1 x)
q1
dx =
Z
0
1
(1 t)
p1
t
q1
dt =
=
Z
1
0
(1 t)
p1
t
q1
dt = (q, p).
3. Sea p = 1 q, con p, q (0, 1). Por el primer apartado, sabemos que
(p, q) =
(p) (q)
(p +q)
.
Por tanto,
(p, q) = (1 q, q) =
(1 q) (q)
(1 q +q)
=
(1 q) (q)
(1)
=
= (1 q) (q) =

sin(q)
=

sin(p)
.
4. Por denicin, (p, q) =
R
1
0
x
p1
(1 x)
q1
dx. Aplicamos el siguiente
cambio de coordenadas:
x = (sint)
2
dx = 2 sint cos t dt
Entonces, x = 0 t = 0, x = 1 t =

2
. Obtenemos:
(p, q) =
Z
1
0
x
p1
(1 x)
q1
dx =
Z
/2
0
(sint)
2p2
(1 (sint)
2
)
q1
2 sint cos t dt =
= 2
2
Z
0
(sint)
2p1
(cos t)
2q1
dt.
Z
1
0
dx
1 x
1/4
.
Aplicando el cambio x = t
4
, se tiene
Z
1
0
dx
1 x
1/4
= 4
Z
1
0
t
3
(1 t)
1/2
dt = 4 (4,
1
2
) = 4
(4) (
1
2
)
(
9
2
)
=
128
35

Integrla

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Integrla

Uploaded by

Copyright:

Available Formats

Captulo 9

Puesto que el conjunto de particiones {P

para toda n N. Por lo tanto, se ve que

es una particin de I ms na que

Entonces, para la particin correspondiente P

[U(f, P) L(f, P)] < <

aplicando otra vez el teorema ??? se demuestra que fg es R-integrable en I.

f((t)) dt = G() G()

Teorema 202 (Teorema del valor medio para integrales) Si I = [a, b] y

de I tal que si P es cualquier particin que sea ms na que P

de I tal que U(f, P

entonces por el lema ??? se sigue que

) L(f, P) U(f, P) U(f, P

U(f, P) L(f, P) <

y si S(f, P) es cualquier suma de Riemann de f correspondiente a P,

tal que para cualquier

, se debe tener que

es menor que . Por lo tanto, la distancia entre

k < . Si P es cualquier particin tal que P P

k < de tal modo que para cualquier suma de Riemann correspondiente se

donde t , () = a, () = b y (t) 0 para t [, ]. Si las

Sea = f() la ecuacin de una curva en coordenadas polares, donde f es una

donde t , () = a, () = b y , son funciones continuas que

Los coecientes indeterminados A

de donde se sigue que A = 3 y B = 1. El segundo procedimiento es el mtodo

indica que con los trminos x, x

Ejemplo 236 Hallar

Por tanto, si hacemos t = x

y por tanto, hacemos el cambio z = t

Los autores, 2002; Edicions UPC, 2002.

You might also like