Notas Calculo III

Clculo III
Notas de Clase
Lorena Zogaib
7 de enero de 2013
Contenido
Contenido
Prlogo
1 Integracin
1.1 Integral indefinida. Integracin por sustitucin

1.1.1 Antiderivada. Integral indefinida
1.1.2 Integracin por sustitucin
5
5
10
1.2 Sumas finitas. Sumas de Riemann. Integral definida

1.2.1 Sumas finitas
1.2.2 Sumas de Riemann
1.2.3 Integral definida
13
13
17
27
1.3 Teorema Fundamental del Clculo
29
1.4 Sustitucin en integral definida
39
1.5 rea. Valor promedio. Longitud de curva

1.5.1 rea bajo una curva. rea entre curvas
1.5.2 Valor promedio. Teorema del Valor Medio para integrales
1.5.3 Longitud de curvas
42
42
48
52
1.6 Integrales relacionadas con las funciones trigonomtricas inversas
54
1.7 Tcnicas de integracin

1.7.1 Procedimientos algebraicos
1.7.2 Integracin por partes
1.7.3 Fracciones parciales
63
63
65
69
2 Formas indeterminadas e integrales impropias
74
2.1 Formas indeterminadas. Regla de LHopital
74
2.2 Integrales impropias
78
3 Integracin Mltiple
89
3.1 Integrales dobles sobre un rectngulo. Teorema de Fubini
89
3.2 Integrales dobles sobre regiones ms generales
95
3.3 Cambio en el orden de integracin
99
3.4 rea de regiones planas acotadas. Valor promedio

3.4.1 rea de regiones acotadas en el plano
3.4.2 Valor promedio
103
103
104
3.5 Integrales dobles en forma polar
106
122
3.7 Introduccin a las integrales triples
126
4 Sucesiones
131
4.1 Sucesiones de nmeros reales. Criterios de convergencia
131
4.2 Sucesiones de vectores
151
4.3 Sucesiones de funciones
153
5 Series
158
5.1 Series. Serie geomtrica
158
5.2 Criterios de convergencia de series

5.2.1 Pruebas para series de trminos no negativos
5.2.2 Pruebas de convergencia para series de trminos con signos
diferentes
5.2.3 Convergencia condicional y convergencia absoluta
172
175
5.3 Series de funciones. Series de potencias
193
5.4 Series de Taylor para funciones de una y varias variables
200
Bibliografa
187
191
212
Prlogo
Este documento constituye un material de apoyo para el curso de Clculo III para
las carreras de Economa y Direccin Financiera en el ITAM. Se trata de una
recopilacin de mis notas de clase, con el fin de agilizar la discusin de los temas
en el aula. El material se presenta en estricto apego al orden del temario vigente,
aunque claramente es discutido bajo un enfoque personal y en un lenguaje sencillo,
a veces coloquial.
Estas notas no pretenden sustituir la lectura de la bibliografa seleccionada para
el curso. Estn basadas en material extrado precisamente de esos textos, as como
de documentos y libros escritos por mis colegas y amigos del Departamento de
Matemticas del ITAM. Un especial agradecimiento a mi colega y amiga, la Dra.
Carmen Lpez Laiseca, por compartir conmigo sus ejercicios y por sus valiosas
sugerencias en cuanto al contenido del curso. Tambin quisiera agradecer a Rigel
Jarabo Garca, estudiante de Economa, quien prest su Servicio Social elaborando
una parte del material grfico de este texto.
Se espera que el estudiante resuelva una gran variedad de ejercicios sobre
el tema, que no han sido incluidos en este documento debido a su extensin.
Al respecto, el estudiante puede utilizar el documento de trabajo Clculo III,
Cuaderno de Ejercicios, Lorena Zogaib, Departamento de Matemticas, ITAM,
enero 7 de 2013. Mi agradecimiento a Anglica Martnez Leyva, estudiante de
Economa y Ciencia Poltica, quien prest su Servicio Social transcribiendo a Latex
el cuaderno de ejercicios del curso. El material grfico de ese cuaderno estuvo a
cargo de Rigel. Ellas dos realizaron una linda y til aportacin a la comunidad
ITAM.
Agradezco todas las sugerencias y correcciones que he recibido de mis colegas
y varias generaciones de estudiantes. De antemano ofrezco una disculpa al lector
por los errores y omisiones que encuentre en este texto. Siempre sern bienvenidas
las correcciones y comentarios que me hagan llegar.
Lorena Zogaib
Captulo 1
Integracin
1.1.1
Antiderivada. Integral indefinida
Dada una funcin diferenciable F (x), su derivada f(x) = dF (x)/dx es una

funcin continua (no necesariamente diferenciable) que representa la razn
de cambio instantnea de F en cada punto interior x de su dominio. sta se
define como la pendiente de la recta tangente a la curva y = F (x) en el punto
(x, F (x)), como se ilustra en las siguientes grficas. La grfica superior
muestra una funcin diferenciable y = F (x), cuya derivada es la funcin
continua y = f (x) = dF (x)/dx mostrada en la grfica inferior.
Captulo 1 Integracin
En muchas aplicaciones nos interesa resolver el problema inverso, a saber, dada
una funcin continua f buscamos una funcin diferenciable F cuya derivada sea
f. En ese caso, decimos que F es una antiderivada de f.
Definicin. Se dice que la funcin diferenciable F es una antiderivada o
primitiva de la funcin continua f en un intervalo abierto I si, para todo x I,
dF (x)
= f (x).
dx
Por ejemplo, una antiderivada de la funcin continua f(x) = 2x es la funcin
F (x) = x2 , ya que dx2 /dx = 2x. Nota que sta no es la nica antiderivada de f ,
ya que tambin las funciones F (x) = x2 + 1 o F (x) = x2 5 tienen por derivada
2x. De hecho, el conjunto de antiderivadas de f (x) = 2x es infinito, ya que para
cualquier constante C se satisface d (x2 + C) /dx = 2x. As, x2 + C representa el
conjunto de todas las antiderivadas de la funcin f(x) = 2x. A esta familia infinita
de antiderivadas se le conoce como la integral indefinida de f .
Definicin. La integral indefinida de la funcin continua f (x) con respecto a x
se denota por f(x)dx y representa el conjunto de todas las antiderivadas de f . En
ese caso escribimos
f(x) dx = F (x) + C,
en donde C es una constante arbitraria y F es tal que dF (x)/dx = f(x). El
smbolo se conoce como signo de integral, la funcin f es el integrando y x es
la variable de integracin.
Por ejemplo, como F (x) = x2 es una antiderivada de f (x) = 2x, por lo tanto la
integral indefinida de f con respecto a x es
2x dx = x2 + C.
Pero tambin pudimos haber seleccionado a F (x) = x2 + 1 como antiderivada de
f, obteniendo
x2 + 1 + C
2x dx =
= x2 + (C + 1)
= x2 + C ,
6

con C = C + 1. En realidad, ambos resultados representan la misma familia de
funciones (C y C son arbitrarias). El primer resultado es ms simple.
A partir de la definicin de integral indefinida, debe resultar claro que
dF (x)
d
dx = F (x) + C y
f (x) dx = f (x).
dx
dx
Ejemplos:
1.
2.
r () d = r() + C.
d
dt
dt =e t .
Propiedades de la integral indefinida

Si f (x) y g(x) son funciones continuas y k R, entonces
1. [kf(x)] dx = k f(x) dx .
2. [f(x) + g(x)] dx = f(x) dx + g(x) dx.
Ejemplo:
1
[ 5f(x) g(x) ] dx = 5
3
Cuidado:
(f g)dx =
f dx
f (x) dx
gdx y
Algunas frmulas de integracin directa

1. dx = x + C.
xn+1
2. xn dx =
+ C , n = 1.
n+1
dx
3. x1 dx =
= ln |x| +C , x = 0.
x
4. sen x dx = cos x + C.
5. cos x dx = sen x + C.
6. sec2 x dx = tan x + C.
7. csc2 x dx = cot x + C.
8. sec x tan x dx = sec x + C.
9. csc x cot x dx = csc x + C.
10. ex dx = ex +C.
1 x
11. ax dx =
a +C, a > 0, a = 1.
ln a
7
1
3
(f/g) dx =
g(x) dx.
f dx /
gdx .
1.
2.
3.
4.
5.
Ejemplos:
4x x3
8
x3/2
5/2
dx
=
4
x
dx
=
4
+C = x3/2 + C.
5
x
3/2
3
5/4
t
4
[ 5+
t] dt = [ 5 + t1/4 ] dt = 5 t+
+ C = 5 t+ t5/4 + C.
5/4
5
1 x
3x dx =
3 + C.
ln 3
sen x
1
sen x
dx
=
dx = sec x tan x dx = sec x + C.
cos2 x
cos x
cos x
(ln(2x) ln x) dx = ln 2x
dx = ln 2 dx = ln 2
dx = x ln 2 + C.
x
Es importante observar que la integral indefinida siempre debe contener la

constante de integracin C. Esta constante indica que la integral indefinida
representa una infinidad de funciones, o familia de curvas solucin, que poseen la
misma pendiente en cada punto de su dominio. Por ejemplo, la familia de curvas
y(x) cuya pendiente en cada punto x es
dy
= 2x
dx
est dada por
dy
dx = 2x dx = x2 + C,
dx
que representa una infinidad de parbolas desplazadas verticalmente, como se
muestra en la siguiente figura.
y(x) =
Slo cuando se desea seleccionar la curva particular de la familia que pasa por un
punto dado (x0 , y0 ) entonces la constante C deja de ser arbitraria, para tomar un
valor especfico. A esto se le conoce como un problema de valores iniciales. Por
ejemplo, nos preguntamos cul es la curva y(x) cuya pendiente en cada punto x es
dy/dx = 2x y que adems pasa por el punto (1, 2). Es decir, buscamos una funcin
y(x) tal que
y (x) = 2x, y(1) = 2.
8

Sabemos que la solucin a la ecuacin y (x) = 2x es la familia de curvas
y(x) = x2 + C. Como
y(1) = 12 + C = 2,
por lo tanto C = 1. As, la curva que satisface las condiciones anteriores es
y(x) = x2 + 1.
Un problema de valores iniciales puede involucrar derivadas de orden superior.
En ese caso, cada integral indefinida tiene asociada una constante de integracin
diferente. Para determinar el valor de todas esas constantes ser necesario
especificar un nmero de condiciones iniciales igual al orden de la derivada mayor.
As, por ejemplo, buscamos una funcin y(x) tal que
y (x) = 6x,
y(0) = 2,
y (0) = 1.
Para ese fin, llevamos a cabo la primera integracin, obteniendo

d2 y
dx
dx2
dy
=
dx
=
6x dx
= 3x2 + C1 ,
Integrando nuevamente, se tiene
y(x) =
=
dy
dx
dx
(3x2 + C1 ) dx
= x3 + C1 x + C2 .
Por ltimo, para determinar los valores de C1 y C2 utilizamos las condiciones
iniciales dadas, es decir,
y(0) = 2 = (0)3 + C1 (0) + C2
y (0) = 1 = 3 (0)2 + C1
obteniendo C1 = 1 y C2 = 2. De esta manera, la solucin a la ecuacin
y (x) = 6x con los valores iniciales dados es
y(x) = x3 + x 2.
9
1.1.2
Integracin por sustitucin
El mtodo de integracin por sustitucin se utiliza cuando el integrando es la

derivada de una composicin de funciones. La idea es introducir un cambio de
variable en la integral original, que presenta una forma relativamente compleja,
con el fin de convertirla en una integral directa o, al menos, ms manejable. Por
ejemplo, compara las siguientes integrales
sen x dx
sen (x2 ) 2x dx.
vs
La integral de la izquierda es una integral directa de la forma

f(x) = sen x, dada por
f(x)dx, con
sen x dx = cos x + C.
En contraste, la integral de la derecha es de la forma f (g(x)) g (x) dx, en donde
el integrando es la derivada de la composicin f (g(x)), con f (g(x)) = sen g(x)
y g(x) = x2 . En ese caso, resulta natural proponer la sustitucin u = x2 . De este
modo, tenemos
u = x2 du = d(x2 ) = 2x dx
y la integral original se reduce a
sen (x2 ) 2x dx =
sen u du = cos u + C = cos(x2 ) + C.
Mtodo de sustitucin para integrales indefinidas. Sea u = g(x), con g

dF (u)
diferenciable, y sean f y F tales que f (u) =
. Entonces
du
f(g(x)) g (x) dx =
f(g(x)) dg(x) =
f (u) du = F (u) + C = F (g(x)) + C.
Ejemplo:
Determina
2 + 5x dx.
Para ello, proponemos u = 2 + 5x. En ese caso,

u = 2 + 5x
du = d(2 + 5x) = 5 dx.

10

Observamos que en el integrando hace falta un factor 5 para completar la
diferencial du. Como se trata de un factor constante, podemos multiplicar y dividir
la integral por 5, de donde
2 + 5x dx =
2 + 5x (5 dx)
1
5
1
u1/2 du
5
1 u3/2
=
+C
5 3/2
2 3/2
=
u +C
15
2
=
(2 + 5x)3/2 + C.
15
Observa que a partir del tercer rengln tambin pudimos haber escrito
1 u3/2
2
+ C = 15
(2 + 5x)3/2 + 15 C, que es equivalente al resultado obtenido.
5
3/2
=
Este mtodo no es til cuando se tiene una integral de la forma f(g(x)) dx

en donde falta el factor g (x) en el integrando, salvo que g (x) sea una constante,
como en el ejemplo anterior. Por ejemplo, considera la integral
sen (x2 ) dx
y vuelve a intentar el cambio de variable u = x2 . Notars que
du
du
= sen u =etc,
2x
2 u
que contiene variables mezcladas, por lo que no puede integrarse ni con respecto a
x ni con respecto a u.
sen (x2 ) dx =
sen u dx =
sen u
El mtodo de sustitucin puede complementarse con algn otro mtodo, o con

el uso de identidades matemticas y trucos varios. Por ejemplo, considera las
integrales sen2 x dx y cos2 x dx. Sabemos que stas no son directas, ya que las
funciones sen2 x y cos2 x no poseen una antiderivada simple. Por esta razn, es til
utilizar las siguientes identidades trigonomtricas (sabes cmo deducirlas?)
1 cos(2x)
1 + cos(2x)
,
cos2 x =
.
2
2
Con la primera de stas encontramos sen2 x dx de la siguiente manera
sen2 x =
sen2 x dx=
1 cos(2x)
dx =
2
11
1
dx
2
cos(2x)
dx.
2
Introduciendo el cambio de variable u = 2x se tiene
u = 2x
de modo que
du = d(2x) = 2 dx,
1
1
cos(2x)
dx
(2 dx)
2
2
2
1
1
=
dx
cos u du
2
4
1
1
=
x sen u + C
2
4
x sen (2x)
+C.
=
2
4
Invitamos al entusiasta lector a demostrar que
sen2 x dx =
x sen (2x)
cos2 x dx = +
+C.
2
4
Con estas dos nuevas frmulas, ampliamos nuestra tabla anterior, ahora adaptada
al caso general de integrales por sustitucin.
Algunas frmulas de integracin por sustitucin
Sea u = g(x), con g una funcin diferenciable. Entonces,
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
du = u + C.
un+1
+ C , n = 1.
un du =
n+1
du
u1 du =
= ln |u| +C, u = 0.
u
sen u du = cos u + C.
cos u du = sen u + C.
sec2 u du = tan u + C.
csc2 u du = cot u + C.
sec u tan u du = sec u + C.
csc u cot u du = csc u + C.
u sen (2u)
sen2 u du =
+ C.
2
4
u sen (2u)
cos2 u du = +
+ C.
2
4
u
u
e du = e +C.
1 u
au du =
a +C, a > 0, a = 1.
ln a
12

Ejemplos:
e(23x)/4 dx.
1.
Sea u = 23x
, de modo que du = 34 dx.
4
e(23x)/4 dx = 43
e(23x)/4 34 dx = 43
= 43 eu + C = 43 e(23x)/4 + C.
2.
3.
ln (2x)
dx.
x
Sea u = ln (2x), de modo que du = dx
.
x
ln (2x)
dx = ln (2x) x1 dx = u du =
x
u2
2
eu du
+C =
ln2 (2x)
2
+ C.
3cos x sen x dx.

Sea u = cos x, de modo que du = sen x dx.
1 u
3cos x sen x dx = 3cos x (sen x) dx = 3u du =
3 +C
ln 3
1 cos x
=
3
+ C.
ln 3
4. e2x 1 e2x dx.

Sea u = 1 e2x , de modo que du = 2e2x dx.
1
1
1 e2x (2e2x ) dx =
u du
e2x 1 e2x dx =
2
2
1 u3/2
1
3/2
=
+ C = (1 e2x ) + C.
2 3/2
3

1.2.1
Sumas finitas
Definicin. Sean k0 , n Z, con k0 n. Una suma finita es una expresin de la

forma
n
ak = ak0 + ak0 +1 + ak0 +2 + . . . + an ,
k=k0
en donde k = k0 , k0 + 1, . . . , n se denomina el ndice de la sumatoria, ak es el

k-simo trmino, k0 es el ndice inferior y n el ndice superior de la sumatoria.
13
Los siguientes ejemplos ilustran la notacin:
4
1.
k= 1
3
2.
k=1
n
3.
k = 1 + 0 + 1 + 2 + 3 + 4 = 9.
(1)k k 2 = (1)1 12 + (1)2 22 + (1)3 32 = 1 + 4 9 = 6.

3k = 1 + 3 + 32 + . . . + 3n1 + 3n .
k=0
4
1 = 1 + 1 + 1 + 1 = 4.
4.
k=1
n
1 = 1 + 1 + . . . + 1 = n.
5.
k=1
n
6.
k=1
x2k xk = x21 x1 + x22 x2 + . . . + x2n xn .

n
ak el resultado final no depende del ndice k. Esto
Nota que en la suma

k=k0
significa que k es un ndice mudo, por lo que puedes reemplazarlo por cualquier
otra letra, con excepcin de k0 y n. As, por ejemplo,
n
ak =
ai =an2 + an1 + an .
i=n2
k=n2
Asimismo, un mismo resultado puede expresarse de dos maneras aparentemente

distintas mediante un cambio de ndices, como se muestra en el siguiente ejemplo
(l i):
l
li
F (k) =
F (j + i) =F (i) + F (i + 1) + . . . + F (l).
j=0
k=i
Propiedades de la sumatoria
Sean k0 , n Z, con k0 n, y sea c R. Entonces
n
1.
k=k0
n
c = c(n k0 + 1).
n
cak = c
2.
k=k0
n
ak .
k=k0
(ak + bk ) =
3.
k=k0
ak +
k=k0
bk .
k=k0
14

Ejemplo:
5
(2k + 4) = 2
k=3
k+
k=3
4 = 2(3 + 4 + 5) + (4 + 4 + 4) = 36.
k=3
Frmulas de sumatorias especiales (k0 = 1)

Sea n Z, con n 1. Entonces
n
n(n + 1)
1.
k=
.
2
k=1
n
n(n + 1)(2n + 1)
2.
k2 =
.
6
k=1
2
n
n(n + 1)
3
3.
k =
.
2
k=1
Ejemplo:
100
k=1
100
100
2
(k + 2)(k 5) =
k=1
k 3
100
k
k=1
10
k=1
100(100 + 1)(2(100) + 1) 3(100)(100 + 1)
10(100)
6
2
= 322 200.
=
Adems de las anteriores, existen otras sumatorias especiales, que revisten de

gran inters debido a sus aplicaciones prcticas. Una de ellas, posiblemente la ms
importante y til, es la suma geomtrica, que presentamos a continuacin.
Definicin. Sea n Z, con n 1. Una suma geomtrica es una expresin de la
forma
n
rk1 = 1 + r + r2 + . . . + rn1 ,
k=1
con r R una constante.
Para encontrar el valor de la suma geomtrica, primero nota que si r = 1,

entonces
n
1k1 = 1 + 1 + 1 + . . . + 1 = n.
k=1
15
n
rk1 para r = 1. Para ello es conveniente
Ahora procedemos a determinar

k=1
rk1 , es decir,
denotar la suma como Sn =

k=1
Sn = 1 + r + r2 + r3 + + rn2 + rn1 .
Luego utilizamos el truco de multiplicar Sn por r
rSn = r + r2 + r3 + r4 + + rn1 + rn ,
de modo que la substraccin Sn rSn se convierte simplemente en

Sn rSn = 1 rn ,
o bien, factorizando Sn en el lado izquierdo,
(1 r)Sn = 1 rn .
Por ltimo, como hemos supuesto r = 1, en esta ltima ecuacin podemos despejar
Sn, obteniendo
1 rn
Sn =
.
1r
Concluimos que
n
1 rn
, r = 1.
rk1 =
1
r
k=1
Ejemplos:
20
1.
k=1
10
2.
k=1
97
3.
k=1
k1
1
2
= 1+
1
2
k1
= 1
1
2
1
1
+
2
2
1
2
++

3k1 = 1 + 3 + 32 + + 396 =
19
1
2
1
2
1 20
2
1
2
10
12
12
1
=
1
=2 1
1
1
2
3
1
220
1
210
1 397
= 12 [1 397 ] .
13
N1
c t + K, en donde
4. El precio actual de un bono cuponado est dado por p =

t=1
c es el valor del cupn, 0 < < 1 es una tasa de descuento, K es un valor

terminal (valor nominal) y N > 2. En este caso, el valor de la suma es
N1
t1 + K = c
p = c
t=1
16
1 N1
+ K.
1

Adems de la suma geomtrica, otro tipo de suma de inters es la familia
denominada como sumas telescpicas, definidas a continuacin.
Definicin. Sean k0 , n Z, con k0 n. Una suma telescpica es una expresin
de la forma
n
k=k0
(ak+1 ak ).
Como una suma telescpica involucra la resta de elementos consecutivos, casi

todos los trminos se irn cancelando en parejas, sobreviviendo slo dos de ellos,
es decir,
n
k=k0
(ak+1 ak ) = (ak0 +1 ak0 ) + (ak0 +2 ak0 +1 ) + (ak0 +3 ak0 +2 )
As, por ejemplo,
+ . . . + (an an1 ) + (an+1 an )

= an+1 ak0 .
k=1
(k + 1)2 k 2
22 12 + 32 22 + 42 32
+ . . . + n2 (n 1)2 + (n + 1)2 n2
= 12 + (n + 1)2 .
1.2.2
Sumas de Riemann
Las sumas finitas pueden utilizarse para aproximar el rea A bajo una curva
y = f(x) en un intervalo [a, b], con f una funcin no negativa, f 0, y acotada.
La idea es aproximar esa rea por la suma SP de las reas de muchos rectngulos
delgados, como lo muestra la siguiente figura.
17
La base de los rectngulos se obtiene construyendo una particin P del intervalo
[a, b] en n subintervalos. Para ello, se selecciona n 1 puntos interiores
x1 , x2 , . . . , xn1 en [a, b] tales que a = x0 < x1 < x2 < . . . < xn1 < xn = b.
La particin P = {x0 , x1 , x2 , . . . , xn1 , xn } define entonces una familia de n
subintervalos [x0 , x1 ] , [x1 , x2 ] , . . . , [xn1 , xn ], con longitud xk = xk xk1 ,
para cada k = 1, . . . , n.
Para determinar la altura del k-simo rectngulo se selecciona un punto arbitrario

ck [xk1 , xk ] en el subintervalo correspondiente, de modo que su altura estar
dada por el valor de la funcin, f (ck ), en ese punto. As, el rectngulo tiene por
base el subintervalo [xk1 , xk ] en el eje X, y por altura f (ck ), de modo que su rea
es f(ck )xk . Al sumar los n productos f (ck )xk obtenemos finalmente el rea
total SP del conjunto de rectngulos, es decir,
n
SP =
f (ck )xk .
k=1
Esto es lo que se conoce como una suma de Riemann para f en el intervalo [a, b] .
El valor SP de una suma de Riemann para aproximar el rea A bajo una curva
y = f (x) depende del nmero n de subintervalos considerados, as como de las
longitudes xk de los subintervalos. Asimismo, la seleccin de los nmeros ck en
cada subintervalo k determinar si los rectngulos correspondientes quedarn por
18

debajo, por encima, o cruzando la curva.
A medida que se refina la particin P se incrementa el nmero de intervalos

y los rectngulos se adelgazan. Si la funcin f es lo suficientemente "decente",
entonces es de esperarse que la suma SP aproxime con mayor exactitud el valor
del rea A, sin importar si los rectngulos van por debajo o por encima de la curva.
En ese caso, es posible demostrar que en el lmite cuando el tamao de la particin
tiende a cero, ||P || 0, el valor de la suma infinita es independiente tanto de
la particin utilizada como de la seleccin de los puntos ck . Su valor es nico y
coincide precisamente con el rea A, es decir,
n
A = lm SP = lm
||P ||0
f(ck )xk .
k=1
A este lmite, cuando existe, se le conoce como integral definida de f entre x = a

b
y x = b y se denota por a f (x)dx. La notacin en trminos del signo de integral
se har evidente en la seccin 1.3, cuando estudiemos el Teorema Fundamental del
Clculo.
Definicin. La integral definida de f entre x = a y x = b es el lmite
b
f(x) dx = lm
||P ||0
f (ck )xk ,
k=1
cuando este lmite existe. En ese caso, se dice que la funcin f es integrable o
Riemann integrable.
Ejemplo:
n
Expresa el lmite lm
||P ||0 k=1
(2ck 5)3 xk como una integral definida, si P
denota una particin del intervalo [0, 2].

19
En este caso, f (x) = (2x 5)3 , de modo que
2
lm
||P ||0
k=1
(2ck 5)3 xk =
(2x 5)3 dx.
El lmite lm
||P ||0 k=1
f (ck )xk no siempre existe, es decir, no toda funcin es
Riemann integrable. El siguiente teorema establece una condicin suficiente para

que ese lmite exista.
Teorema. Toda funcin continua es Riemann integrable. Esto es, si una funcin
f es continua en un intervalo [a, b], entonces existe su integral definida sobre [a, b] .
La condicin de que la funcin f sea continua en un intervalo cerrado te

garantiza que f siempre alcanza sus valores mnimo y mximo en ese intervalo.
De esta manera, la funcin alcanzar un valor mximo, maxk , y un valor mnimo,
mink , en cada subintervalo k. La suma de los productos mnk xk asociados con
los valores mnimos es el nmero
L = min1 x1 + min2 x2 + . . . + minn xn ,
conocido como la suma inferior de f en la particin P, que representa el rea de
los rectngulos que estn por debajo de la grfica y = f(x).
Asimismo, la suma de los productos maxk xk asociados con los valores mximos
de la funcin es el nmero
U = max1 x1 + max2 x2 + . . . + maxn xn ,
20

conocido como la suma superior de f en la particin P , que representa el rea de
los rectngulos que estn por encima de la grfica y = f (x).
De esta manera, los nmeros L y U constituyen una cota para la suma de Riemann,
es decir,
n
k=1
f(ck )xk U.
La diferencia U L es por tanto un nmero no negativo, que representa el rea de

los bloquecitos mostrados en la siguiente figura.
A medida que P 0 los bloquecitos se vuelven ms numerosos, estrechos y

chaparritos, de modo que la diferencia U L se hace cada vez ms pequea, es
decir,
lm (U L) = 0,
||P ||0
o bien,
lm L = lm U.
||P ||0
||P ||0
En ese lmite, se satisface entonces
lm L = lm
||P ||0
||P ||0
f (ck )xk = lm U,
k=1
||P ||0
de modo que cuando P
0 el valor de la suma de Riemann
f (ck )xk
k=1
coincide tanto con el de la suma inferior L como con el de la suma superior

21
U, independientemente de la particin utilizada y de la seleccin de los valores
representativos ck . La funcin es, por tanto, Riemann integrable.
Cuando una funcin es discontinua no se garantizan las condiciones del teorema
anterior, de modo que sta puede o no ser integrable. Un lindo ejemplo al respecto
est dado por la funcin discontinua
f(x) =
1, si x es racional,
0, si x es irracional,
en el intervalo [a, b] . En ese intervalo

n
U =
maxk xk =
k=1
n
L =
k=1
n
mn k xk =
k=1
k=1
1 xk = b a,
0 xk = 0,
de modo que
lm U = lm L.
||P ||0
||P ||0
Concluimos que f no es Riemann integrable.
Existen funciones discontinuas que s son Riemann integrables, como son las
funciones continuas por tramos. En este caso, la integral definida sobre el intervalo
[a, b] puede escribirse como la suma de integrales sobre los subintervalos de [a, b]
en los que la funcin es continua. As, por ejemplo, si
f1 (x), a x < c
f2 (x), c x d
f (x) =
f (x), d < x b
3
con f2 (c) = lm f1 (x) y f2 (d) = lm f3 (x), entonces
xc
xd
f (x)dx =
a
f1 (x)dx +
a
22
f2 (x)dx +
f3 (x)dx.
d
La integral definida a f (x)dx representa un rea slo cuando f 0.

Cuando f puede tomar valores negativos a lo largo del intervalo [a, b] la integral
definida pierde su significado geomtrico de rea, convirtindose en una suma
de contribuciones, que puede tomar un valor positivo, negativo o inclusive cero,
dependiendo del signo de los productos f (ck )xk .
b
f (x) dx > 0
a
f(x) dx < 0
f (x) dx = 0
Tambin observa que si el intervalo de integracin [a, b] se recorre en sentido

inverso, es decir de b hacia a, con b > a, entonces xk 0 y el signo de la integral
a
se invierte. As, por ejemplo, para f 0 se tiene
f(x) dx < 0.
f (x) dx < 0
b
23
Los siguientes ejemplos ilustran cmo utilizar las sumas de Riemann para
determinar el rea bajo una funcin no negativa f 0 en un intervalo dado [a, b].
Por simplicidad, en todos los casos supondremos que los subintervalos estn
igualmente espaciados, es decir,
ba
,
n
y tomaremos como ck al punto final del correspondiente subintervalo k, es decir,
xk x =
ck = a + k x,
como se ilustra en la siguiente figura.
Ejemplos:
1. Encuentra la integral definida de la funcin constante f(x) = C en el intervalo
[a, b], con C > 0, b > a.
Aqu f (ck ) = C, y nota que x no depende de k. De esta manera,
b
C dx = lm
a
||P ||0 k=1
C x
n
= lm C (x)
n
1
k=1
= lm C (x) n
n
ba
= lm C
n
n
n
= lm C (b a) = C(b a).
n
Como C > 0, nota que C(b a) representa el rea del rectngulo entre
f(x) = C y el eje x, en el intervalo [a, b].
24

2. Encuentra la integral definida de f (x) = x en [a, b], con b > a > 0.
Aqu f (ck ) = ck . De esta manera,
b
x dx = lm
||P ||0 k=1

n
= lm
n k=1
= lm
ck x
(a + kx) x
n
a (x)
1 + (x)2
k=1
k
k=1
n(n + 1)
n
2
2
ba
ba
n(n + 1)
= lm a
n+
n
n
n
2
2
(b a) (n + 1)
= lm a(b a) +
n
2
n
2
2
2
(b a)
b
a
= a(b a) +
=
.
2
2
2
a (x) n+ (x)2
= lm
b2
a2
representa el rea del trapecio entre f (x) = x y el eje x, en el

2
2
intervalo [a, b] dado.
Aqu
3. Encuentra la integral definida de la funcin f (x) = x2 en el intervalo [a, b], con

b > a > 0.
Aqu, f (ck ) = (ck )2 . De esta manera,
b
a
x2 dx = lm
||P ||0 k=1

n
= lm
n k=1
3
3
(ck )2 xk
(a + kx)2 x
b
a
.
3
3
Aqu se han omitido todos los pasos intermedios, con la esperanza de que el
lector, vido de conocimiento, los lleve a cabo.
25
En el siguiente par de ejemplos hay que proceder al revs, es decir, te dan la
suma de Riemann y te piden reconocer de qu integral se trata. Para ello, recuerda
que
b
f(x) dx = lm
x0
f (ck )x,
ck = a + k x,
k=1
x =
ba
.
n
Ejemplos:
n
1. Expresa lm
n k=1
k
n
sen
como una integral definida.

n
En este ejemplo, la respuesta es bastante directa. Sea ck =

k
n
ck =
Como
ck =
por lo tanto
k
. Se tiene
n
f (ck ) = sen (ck ) .
=0+k
= a + kx,
n
n
a = 0,
ba
x =
=
,
n
n
b = + a = .
As,
n
k
lm
sen
n
n
k=1
n
2. Expresa lm
n k=1
2+
4k
n
4
n
=
n
sen x dx.
0
como una integral definida.
En este ejemplo hay dos respuestas, al menos, que son equivalentes entre s. La
n
4k 4
idea es identificar ck en la expresin lm
2+
.
n
n
n
k=1
4k
f (ck )
x
a. Sea ck = 2 + . Se tiene
n
ck = 2 +
4k
n
=
26
f (ck ) = c2k .

Como
ck = 2 +
4
n
4k
=2+k
n
= a + kx,
por lo tanto
a = 2,
ba
4
x =
=
,
n
n
b = 4 + a = 4 + 2 = 6.
As,
lm
b. Sea ck =
k=1
4
n
4k
2+
n
x dx.
4k
. Se tiene
n
ck =
4k
n
Como
ck =
f (ck ) = (2 + ck )2 .
4k
= 0+k
n
4
n
= a + kx,
por lo tanto
a = 0,
4
ba
x =
=
,
n
n
b = 4 + a = 4 + 0 = 4.
As,
lm
1.2.3
2+
k=1
4k
n
4
n
2 + x dx.
Integral definida
De las sumas de Riemann de la seccin anterior aprendimos que

b
a
C dx = C(b a),
b2 a2
x dx =
2
2
x2 dx =
y
a
As, por ejemplo, la integral definida de x en el intervalo [1, 2] es

2
x2 dx =
1
23 (1)3
8 1
= + = 3.
3
3
3 3
27
b3 a3
.
3
3
En la seccin 1.3 aprenderemos cmo calcular integrales definidas ms generales,
sin utilizar sumas de Riemann, a partir de su conexin con el concepto de
antiderivada.
b
Nota que la integral definida a f(x)dx es un nmero (no una funcin), en

donde x es una variable muda que puedes reemplazar por cualquier otra letra sin
que cambie el resultado. Esto es,
b
f (x) dx =
a
f(t) dt.
a
As, por ejemplo,

2
x2 dx =
1
t2 dt =
y 2 dy = 3.
Esto difiere del caso de integrales indefinidas, en donde

de x (no un nmero), de modo que
f (x)dx =
f (x)dx es una funcin
f (t)dt.
Propiedades de la integral definida

a
1. a f (x) dx = 0.
b
a
2. a f(x) dx = b f (x) dx.
Orden de integracin
b
b
3. a k f(x) dx = k a f (x) dx, k R.
Mltiplo constante
b
b
b
4. a (f(x) + g(x)) dx = a f (x) dx + a g(x) dx. Suma
b
c
c
5. a f(x) dx + b f (x) dx = a f (x) dx.
Aditividad
b
6. mn f (b a) a f (x) dx max f (b a). Desig. Max-Min
b
b
7. f (x) g(x), x [a, b] a f (x) dx a g(x) dx. Dominacin
b
f (x) 0, x [a, b] a f(x) dx 0.
Dominacin
Ejemplos:
1. De la propiedad 4 se sigue que
2
x2 + 2 dx =
2. Si
5
1
f(x) dx = 3 y
3
1
2 dx = 3 + 6 = 9.
f (x) dx = 1, de la propiedad 5 se tiene

5
f (x) dx =
3
x2 dx +
f(x) dx
1
28
f(x) dx = 3 1 = 2.

1
3. Con la desigualdad 6 se puede demostrar que 0 1 + cos x dx = 2. Para ello,
define f (x)
=
1 +
cos x y nota que su valor mximo en el intervalo [0, 1] es
max f = 1 + 1 = 2 (cuando x = 0). De la desigualdad Max-Min se sigue

1
0
1 + cos x dx 2 (1 0) = 2,
que es un nmero menor que 2. Concluimos que
1
0
1 + cos x dx = 2.

El Teorema Fundamental del Clculo (TFC) establece la relacin entre los procesos
de integracin y diferenciacin. Para ello, se parte de una funcin continua f(t) en
[a, b], a partir de la cual se define una segunda funcin F (x) como
x
F (x) =
f(t) dt,
a
para cada x [a, b]. La funcin F (x) es la integral definida de f(t) con lmite
superior variable, x.
Teorema Fundamental del Clculo (parte 1)

Si f es continua en [a, b], entonces la funcin
x
F (x) =
f (t) dt
a
es derivable en cada punto x (a, b) y su derivada est dada por

dF (x)
d
=
dx
dx
f(t) dt = f (x).
a
29
Demostracin:
Sea f continua en [a, b]. Sean F (x) =
x
f (t)
a
x+h
F (x + h) F (x) =
f (t) dt
dt y h > 0. Por lo tanto,

x+h
f(t) dt =
a
f (t) dt.
x
Por la desigualdad Max-Min en el intervalo [x, x + h] se tiene

x+h
(mn f ) h
f (t) dt (max f ) h
(mn f ) h F (x + h) F (x) (max f ) h

F (x + h) F (x)
mn f
max f
h
F (x + h) F (x)
lm max f
lm mn f lm
h0
h0
h0
h
F (x + h) F (x)
f(x) lm
f (x)
h0
h
dF (x)
f(x)
f(x)
dx
Por lo tanto,
dF (x)
= f (x).
dx
Una consecuencia de este Teorema es que toda funcin continua f(x) posee una
x
antiderivada, dada por F (x) = a f(t) dt, y viceversa, cada funcin continua f (x)
dF (x)
x
es la derivada de otra funcin F (x) = a f(t) dt, es decir,
= f(x). As,
dx
los procesos de diferenciacin y de integracin son inversos el uno del otro.
30

Las siguientes figuras ilustran el significado del Teorema Fundamental del
Clculo, en donde se ha tomado f (t) = 2t y a = 1. Nota que F (a) = 0 siempre.
F (x) =
f (x) =
x
1
x
1
f (t) dt =
dF (x)
d
=
dx
dx
2t dt = x2 1
x
1
2t dt = 2x
Ejemplos:
x
1. Encuentra dF (x)/dx, si F (x) = 1 t2 dt.

En este caso particular, podemos encontrar dF (x)/dx por dos mtodos
diferentes.
i) El primer mtodo no requiere utilizar el TFC, puesto que la simplicidad del
integrando permite efectuar fcilmente la integral que define a F (x) :
x
F (x) =
1
x 3 13
x3 1
t dt =
=
,
3
3
3
3
2
x3 1
3
3
dF (x)
d
=
dx
dx
31
= x2 .
ii) El segundo mtodo consiste en utilizar directamente el TFC, sin efectuar
previamente la integral, es decir,
x
dF (x)
d
=
dx
dx
2. Encuentra dF (x)/dx, si F (x) =
t2 dt = x2 .
1
et dt.
A diferencia del ejemplo 1, aqu es imposible determinar la integral F (x), por

lo que encontramos dF (x)/dx directamente a partir del TFC, es decir,
x
dF (x)
d
=
dx
dx
et dt = ex .
2
3. Encuentra dF (t)/dt, si F (t) =
ex dx.
Este ejemplo es anlogo al anterior, salvo que aqu se han intercambiado las
variables x y t. De este modo,
t
dF (t)
d
=
dt
dt
ex dx = et .
2
x3/2 e2t
dx.
x2 + 17
5
Aqu la variable independiente, t, aparece no slo en el lmite superior de la
integral, sino en el integrando mismo. Se trata entonces de un producto de dos
funciones de t, es decir,
t
4. Encuentra dF (t)/dt, si F (t) =
F (t) =
5
x3/2 e2t
dx =e2t
2
x + 17
32
x3/2
dx.
x2 + 17

As, dF (t)/dt se obtiene como la derivada de un producto, o sea,
t
3/2
dF (t)
d 2t
x
=
e
dx
dt
dt
x2 + 17
5t
t
3/2
d
x
d
x3/2
= e2t
dx +
e2t
dx
dt
dt
x2 + 17
x2 + 17
5
t3/2
= e2t
+ 2e2t
t2 + 17
t3/2 e2t
+2
= 2
t + 17
x3/2
dx
x2 + 17
x3/2 e2t
dx.
x2 + 17
Nota que este resultado puede expresarse de un modo ms simple, notando que
la integral en el segundo trmino es la propia funcin F (t), es decir,
dF (t)
t3/2 e2t
=
+ 2F (t).
dt
t2 + 17
5. El precio P (t) al tiempo t de una maquinaria que ha sido adquirida para su renta
a lo largo de un perodo de 20 aos est dado por
20
v(s)er(ts) ds,
P (t) =
t
en donde 0 t 20, v(s) es la renta al tiempo t = s y r es la tasa de inters

(constante). Determina cmo cambia el precio de la maquinaria a lo largo del
tiempo.
El objetivo aqu es determinar dP (t)/dt. Para ello, primero invertimos el orden
de integracin,
t
P (t) =
v(s)er(ts) ds,
20
para que la variable t aparezca en el lmite superior de la integral, como

establece el TFC. Luego notamos que P es un producto de funciones de t, dado
por
t
P (t) = ert
v(s)ers ds.
20
33
De este modo,
dP (t)
d rt
=
e
dt
dt
d
= ert
dt
v(s)ers ds
20
t
rs
v(s)e
20
d rt
ds +
e
dt
v(s)ers ds
20
= ert v(t)ert + rert
v(s)ers ds
20
v(s)er(ts) ds
= v(t) + r
20
t
= v(t) r
= v(t) + r
es decir
v(s)er(ts) ds
20
20
v(s)er(ts) ds,
t
dP (t)
= v(t) + rP (t).
dt
Regla de la cadena en el Teorema Fundamental del Clculo

Sea f continua. Si u(x) es una funcin diferenciable, entonces
d
dx
u(x)
a
f (t) dt = f(u(x))
du(x)
.
dx
Demostracin:
x
Sea F (x) = a f (t) dt, de modo que

diferenciable. Por lo tanto,
dF (x)
= f (x). Sea u(x) una funcin
dx
u(x)
d
dF (u(x))
dF (u(x)) du(x)
du(x)
f (t) dt =
=
= f(u(x))
,
dx a
dx
du
dx
dx
en donde la segunda igualdad se obtuvo utilizando la regla de la cadena.
Ejemplo,
d
dx
senx
1 + t5 dt =
=
34
1 + (senx)5
dsenx
dx
1 + (senx)5 cos x.

La regla de la cadena puede generalizarse de acuerdo con el siguiente teorema,
conocido como regla de Leibniz.
Regla de Leibniz
Sea f continua. Si u(x) y v(x) son funciones diferenciables, entonces
d
dx
u(x)
v(x)
f(t) dt = f (u(x))
dv(x)
du(x)
f (v(x))
.
dx
dx
Demostracin:
Como f es continua, podemos partir la integral en algn punto t = c del
dominio de f, es decir,
u(x)
f (t) dt =
v(x)
u(x)
f (t) dt+
v(x)
f(t) dt.
c
Reescribiendo esta expresin y utilizando la regla de la cadena anterior, se tiene

!
u(x)
c
u(x)
d
d
f(t) dt =
f (t) dt+
f(t) dt
dx v(x)
dx
v(x)
c
!
v(x)
u(x)
d
=
f (t) dt+
f (t) dt
dx
c
c
=
d
dx
v(x)
f (t) dt+
c
= f(v(x))
d
dx
u(x)
f(t) dt
c
dv(x)
du(x)
+ f (u(x))
.
dx
dx
Ejemplo:
d
dx
2x5
cos (t2 ) dt = cos (2x5 )
5x3
(10x4 ) cos (5x3 )
(15x2 )
= 10x4 cos(4x10 ) 15x2 cos 25x6 .

Una versin ms general de la regla de Leibnitz se utiliza cuando el integrando
mismo depende de x, como se enuncia a continuacin.
35
Regla de Leibniz (caso general)
Si u(x) y v(x) son funciones diferenciables, entonces
d
dx
u(x)
v(x)
f (t, x) dt = f (u(x), x)
dv(x)
du(x)
f (v(x), x)
+
dx
dx
u(x)
v(x)
f(t, x)
dt.
x
Ejemplos:
1. Determina
d
dx
2x
x
d
dx
2x
x
(2x t)11 dt.
(2x t)11 dt = (2x 2x)11

2x
d(2x)
dx
(2x x)11
+
dx
dx
2x
x
f (2x t)11
dt
x
22 (2x t)10 dt
= x11 +
x
20
2. En el ejemplo 5 del precio de la maquinaria, P (t) = t v(s)er(ts) ds, habamos

dP
encontrado
tomando en cuenta que el integrando puede factorizarse. Verifica
dt
el resultado obtenido, utilizando la regla de Leibnitz general.
d
dt
20
v(s)e
r(ts)
d20
dt
v(t)er(tt)
+
dt
dt
r(t20)
ds = v(20)e
20
t
v(s)er(ts)
ds
t
20
= 0 v(t) +
rv(s)er(ts) ds
t
= v(t) + rP (t).
Por ltimo, el Teorema Fundamental del Clculo constituye una herramienta
til para encontrar la solucin formal a problemas con condiciones iniciales,
particularmente en el caso de funciones que no posean una antiderivada conocida,
como se ilustra en el siguiente ejemplo.
Ejemplo:
Encuentra la solucin al problema de condiciones iniciales
dy
= 1 + x5 , y(2) = 5.
dx
Observa que no hay una antiderivada simple de la

funcin 1 + x5 . Tampoco
puedes dejar indicada la solucin como y(x) =
1 + x5 dx + C, ya que no
36

puedes determinar el valor de C a partir de la informacin y(2) = 5 (no hay
dnde sustituir x = 2 en la integral indefinida). Una forma elegante de resolver el
problema es la siguiente. Sabemos que
x
dy
1 + t5 dt,
= 1 + x5 = y(x) =
dx
a
con a una constante indeterminada. Tambin sabemos que
2
y(2) =
1 + t5 dt,
de modo que
y(x) y(2) =
1 + t5 dt
1 + t5 dt +
1 + t5 dt.
=
a
1 + t5 dt
1 + t5 dt
Por lo tanto,
1 + t5 dt + y(2).
y(x) =
2
Como y(2) = 5, la solucin del problema de condiciones iniciales es

x
y(x) =
1 + t5 dt + 5.
En efecto, esta funcin y(x) cumple las dos condiciones dadas, a saber
x
dy
d
=
dx
dx
2
y(2) =
1 + t5 dt + 5
1 + x5 ,
1 + t5 dt + 5 = 0 + 5 = 5.
Este tipo de problemas aparece a menudo en economa y en finanzas, y su

importancia radica en que permite encontrar la solucin, independientemente de
que puedas o no determinar la integral obtenida.
Desde el punto de vista matemtico, una de las aplicaciones ms tiles del
Teorema Fundamental del Clculo es que proporciona una manera muy simple de
calcular integrales definidas, como se enuncia en el siguiente teorema.
37
Teorema Fundamental del Clculo (parte 2)
Si f es continua en [a, b] y F es cualquier antiderivada de f en [a, b], entonces
b
a
f (x) dx = F (x)|ba = F (b) F (a).
Demostracin:
De acuerdo con la parte 1 del Teorema Fundamental del Clculo, sabemos
x
que existe una antiderivada de f , dada por G(x) = a f(t) dt. Cualquier otra
antiderivada F (x) de f debe cumplir F (x) = G(x) + C en (a, b), para alguna
constante C. As,
F (b) F (a) = [G(b) + C] [G(a) + C]
= G(b) G(a)
b
f(t) dt
=
a
f(t) dt
a
f(t) dt.
a
La importancia de esta versin del Teorema Fundamental del Clculo es que

permite relacionar la integral definida de una funcin con su antiderivada. Es decir,
si f (x) = dF (x)/dx, entonces
b
f (x) dx =
a
dF (x)
dx
dx = [F (x)]ba = F (b) F (a).
As, por ejemplo, se tiene
senx dx =
0
d( cos x)
dx
dx = [ cos x]0 = cos + cos 0 = 2.
Nota que la integral definida no lleva el trmino +C que aparece en la indefinida. Si

en lugar de cos x hubieras considerado la antiderivada ms general cos x + C
de todos modos se cancelara C, ya que
senx dx = [ cos x + C]0 = (cos + C) ( cos 0 + C) = 2.
38

El mtodo de sustitucin en integrales definidas se utiliza de manera similar al
de las integrales indefinidas, con la diferencia de que los lmites de integracin
tambin deben modificarse de acuerdo con la sustitucin propuesta, como se
enuncia a continuacin.
Mtodo de sustitucin en integral definida
Sea u = g(x) diferenciable y sean f y F tales que f(u) =
g(b)
f (g(x)) g (x) dx =
dF (u)
. Entonces
du
f (u) du = F [g(b)] F [g(a)] .

g(a)
Ejemplo:
1
Para calcular
1 + x dx proponemos la sustitucin u = 1 + x, de modo que
u=1+x
du = dx.
Correspondientemente, los nuevos lmites de integracin son

u(0) = 1 + 0 = 1,
u(1) = 1 + 1 = 2.
De esta manera,
1
1 + x dx =
2u3/2
u dx =
3
=
1
2 3/2
2 1 .
3
Nota que los lmites de integracin fueron modificados, y que adems en el

resultado (un nmero) no aparece el trmino +C. La modificacin en los lmites
de integracin se debe a que la sustitucin u = x + 1 representa un corrimiento
horizontal de la grfica de la funcin, como se observa en las siguientes figuras.
39
Ejemplos:
e
1. Calcula
1
dx
.
x (ln x + 1)2
Sea u = ln x + 1, de modo que

u = ln x + 1
du =
1
dx
x
y los nuevos lmites de integracin son

u (1) = ln 1 + 1 = 1,
u (e) = ln e + 1 = 2.
De esta manera,
e
dx
=
x (ln x + 1)2
dx/x
=
(ln x + 1)2
1
du
=
2
u
u
2
1
1
1
= +1= .
2
2
2. Desde un punto de vista formal, la funcin logaritmo natural ln x se define como

x
ln x =
1
1
dt,
t
para todo x > 0. Demuestra las siguientes propiedades de ln x, para todos

a, b > 0 y r = 0: i) ln 1 = 0, ii) ln (ab) = ln a + ln b, iii) ln (a/b) = ln a ln b,
iv) ln ar = r ln a.
i) Por definicin,
1
ln 1 =
1
1
dt = 0.
t
ii) Se tiene
ab
1
dt +
t
ab
1
dt.
t
1
1
a
t
Para la segunda integral proponemos la sustitucin u = , de modo que
a
ln (ab) =
1
dt =
t
t
1
du = dt
a
a
u=
u (a) = 1,
u (ab) = b.
40

De este modo,
ab
1
dt =
t
ab
a
a
t
1
dt
a
=
1
1
du.
u
Por lo tanto,
a
ln (ab) =
1
1
dt +
t
1
du = ln a + ln b.
u
iii) Por el inciso anterior,

ln
1
a
= ln a
b
b
= ln a + ln
1
b
con
1/b
1
1
=
dt.
b
t
1
Proponemos la sustitucin u = 1t , de modo que
ln
1
1
du = 2 dt
t
t
u=
u (1) = 1,
u (1/b) = b.
De esta manera,
1
ln
=
b
Por lo tanto,
1/b
1
1
dt =
t
1/b
1
1
t 2 dt
t
1
du = ln b.
u
a
= ln a ln b.
b
ln
iv) Sabemos que
ar
1
dt.
t
1
Proponemos la sustitucin u = t1/r , de modo que
r
ln a =
1 1
du = t r 1 dt
r
u = t1/r
u (ar ) = a.
u (1) = 1,
De esta manera,
ar
ln ar = r
1
1
t1/r
1 1 1
t r dt
r
41
=r
1
1
du = r ln a.
u

1.5.1
rea bajo una curva. rea entre curvas
Como ya mencionamos, si una funcin integrable f toma valores tanto positivos

como negativos en un intervalo [a, b], entonces las sumas de Riemann para f en
[a, b] toman en cuenta las contribuciones de los rectngulos que estn sobre el
eje x as como de los rectngulos que estn por debajo de l. En consecuencia,
la integral definida correspondiente es un nmero menor que el rea total entre la
curva y = f(x) y el eje x.
Por ejemplo, para el caso mostrado en las figuras anteriores la integral definida de
f en [a, b] est dada por
b
x1
f (x) dx =
a
x2
f (x) dx +
a
f(x) dx +
x1
f (x) dx
x2
= A1 A2 + A3 ,
en donde
x1
A1 =
a
x2
f (x) dx > 0, A2 =
f (x) dx > 0 y A3 =
x1
f (x) dx > 0
x2
representan las reas correspondientes a cada regin. As, la integral definida puede
ser positiva, negativa o cero, dependiendo del valor de A1 A2 + A3 .
Por otra parte, si lo que interesa determinar no es la integral definida de f a lo
largo de [a, b] sino el rea A de la regin entre la curva y = f (x) y el eje x en el
intervalo [a, b], el clculo correspondiente sera
x1
A=
a
x2
f (x) dx
f (x) dx +
x1
f(x) dx = A1 + A2 + A3 .
x2
nota este signo

42

Ejemplo:
Calculemos el rea A de la regin entre la curva y = 4 x2 y el eje x, en
el intervalo 0 x 3. Para ello, debemos determinar los subintervalos dentro
del intervalo [0, 3] en donde f es positiva o es negativa. Estos pueden obtenerse
graficando la funcin f, como se muestra en la siguiente figura. Observamos que
f > 0 en 0 x < 2 y f < 0 en 2 < x 3, de modo que
16
3
7
2
(4 x ) dx =
3
2
0
A1 =
A2 =
3
2
(4 x2 ) dx =
A = A1 + A2 =
7
3
16 7
23
+ = .
3
3
3
Una manera alternativa de plantear este problema, que resulta ms elegante y

concisa, involucra el concepto de valor absoluto. En efecto, tomando en cuenta que
se tiene
"
"
"4 x2 " =
4 x2 ,
2 x 2
2
x 4,
x 2 o x 2,
A = A1 + A2
2
(4 x2 ) dx
=
0
2
0
3
=
0
(4 x2 ) dx +
(4 x2 ) dx
(x2 4) dx
"
"
"4 x2 " dx.
Definicin. Sea f una funcin integrable. El rea A entre la curva y = f (x) y

el eje x, en el intervalo [a, b] es el nmero
b
A=
a
Nota que A =
b
a
"
"
|f (x)| dx = "
b
a
|f (x)| dx.
"
"
f (x) dx" (es esto claro para ti?).
43
Geomtricamente, la idea es convertir el integrando original, f (x), en una
funcin no negativa, |f (x)|, para que la integral definida de esta ltima represente
efectivamente un rea. El resultado as obtenido es completamente equivalente a
partir a mano la integral original para asignar los signos correspondientes.
El objetivo ahora es determinar el rea A de la regin comprendida entre las

grficas de dos funciones integrables, f y g, en un intervalo dado [a, b], donde
f(x) g(x) para todo x [a, b].
En este caso, es posible demostrar (ver Thomas-Finney) que el rea de la regin

entre las curvas y = f (x) y y = g(x) en el intervalo [a, b] es el lmite de una suma
de Riemann,
n
A = lm
||P ||0
k=1
[f(ck ) g(ck )] xk ,
donde f (ck ) g(ck ) es la altura del k-simo rectngulo encerrado por las dos
curvas. En este lmite, la suma se convierte en la siguiente integral
b
A=
a
[f (x) g(x) ] dx.
44

Ejemplo:
Calculemos el rea A de la regin R entre las grficas de y = x2 + 2 y y = x en
el intervalo [0, 1]. Sean f (x) = x2 + 2 y g(x) = x. Para verificar que f g 0
en [0, 1] notamos primero que la funcin f (x) g(x) = x2 + 2 x no tiene races
en los reales, de modo que nunca cambia de signo. Adems, como sabemos que
f(0) g(0) = 2 > 0, por tanto la resta es siempre positiva. As, f(x) > g(x) para
todo x R. Por lo tanto,
A=
0
[(x2 + 2) x ] dx
x3
x2
=
+ 2x
3
2
11
= .
6
1
0
En general, si no se sabe a priori cul de las funciones f o g es la mayor en el

intervalo [a, b], el rea A de la regin entre las curvas y = f (x) y y = g(x) en ese
intervalo se expresa simplemente en trminos de la funcin valor absoluto, como
establece la siguiente definicin.
Definicin. Sean f y g funciones integrables. El rea A de la regin entre las

curvas y = f(x) y y = g(x) en el intervalo [a, b] es el nmero
b
A=
a
Nota que A =
b
a
|f (x)| dx =
b
a
|f(x) g(x)| dx.
(|f (x)| |g(x)|) dx.
La integral definida tambin puede utilizarse para determinar el rea A de

la regin finita R comprendida entre dos curvas y = f (x) y y = g(x) que se
intersecan en dos puntos con abscisas x = a y x = b, tomando precisamente estos
45
puntos como los lmites de integracin.
Ejemplo:
Calculemos el rea A de la regin finita R comprendida entre las curvas y = x4
y y = 2x x2 . Como se muestra en la figura, las curvas se intersecan en dos
puntos. Las abscisas de esos puntos se obtienen al igualar las dos ecuaciones, es
decir,
x4 = 2x x2
x4 + x2 2x = 0
x(x 1)(x2 + x + 2) = 0
x = 0 o x = 1.
Despus se determina cul de estas dos funciones toma valores mayores en el

intervalo 0 < x < 1. Por ejemplo, en x = 1/2 se tiene (1/2)4 < 2(1/2) (1/2)2 ,
de modo que escogemos f (x) = 2x x2 y g(x) = x4 . As, el rea A entre estas
dos curvas est dada por
1
A=
0
2x x
x3 x5
dx = x
3
5
=
0
7
.
15
Cuando las curvas y = f (x) y y = g(x) se cruzan en ms de dos puntos dentro

del intervalo [a, b], es claro que f g en algunos subintervalos y g f en otros.
En ese caso, el rea total A ser la suma de las reas en cada subintervalo, como lo
46

muestra la figura.
A=
a
[f (x) g(x) ] dx +
[g(x) f (x) ] dx
nota el cambio de orden en la resta
El siguiente ejemplo ilustra cmo encontrar el rea de una regin limitada por
las grficas de ms de dos funciones.
Ejemplo:
Calculemos el rea
A de la regin R en el primer cuadrante que est limitada
por arriba por y = x, y por debajo, por el eje x y por la recta y = x 2.
De la grfica se observa que la funcin superior es simplemente f (x) = x. Sin

embargo, la funcin inferior g(x) cambia dependiendo de los valores de x,es decir,
g(x) =
0,
si 0 x 2
x 2,
si x 2.
De esta manera, el rea A de la regin correspondiente est dada por

2
A=
0
x dx +
2
10
x (x 2) dx = .
3
47
Un ltimo caso de inters lo constituye el clculo de reas de regiones que
no necesariamente estn definidas como funciones de x, sino ms bien como
funciones de y, como se muestra en las siguientes figuras.
En este caso, el rea A de la regin R est dada por

d
A=
c
[f (y) g(y) ] dy.
En muchos casos, esta representacin puede resultar ms simple que la expresada

en trminos de integrales definidas con respecto a x. As, por ejemplo, para el
ltimo ejercicio que resolvimos se tendra
A=
0
[(y + 2) y 2 ] dy
y2
y3
+ 2y
2
3
10
= .
3
2
0
Volveremos a este tema en el captulo 3.
1.5.2 Valor promedio. Teorema del Valor Medio para

integrales
Para entender la definicin del valor promedio de una funcin a lo largo de un
intervalo, consideremos primero el caso de una funcin f de las variables discretas
c1 , c2 , . . . , cn . Si f (c1 ), f(c2 ), . . . , f (cn ) son los n valores que toma la funcin f ,
entonces su valor promedio f es simplemente la media aritmtica de estos valores,
a saber,
f (c1 ) + f (c2 ) + . . . + f (cn )
f=
.
n
48

Para encontrar una expresin equivalente a sta para el caso de una variable
discreta x primero identificamos las variables c1 , c2 , . . . , cn como los puntos
representativos de una particin P del intervalo real (continuo) [a, b] y definimos
ba
como x =
la longitud de cada uno de los n subintervalos de la particin.
n
En ese caso, el promedio f puede escribirse como

f=
1
n
f (ck ) =
k=1
x
ba
f (ck ) =
k=1
1
ba
f (ck )x.
k=1
En el lmite cuando el tamao de la particin tiende a cero (x 0, n ) la

suma anterior se convierte en la integral definida
b
1
f
ba
f (x) dx.
a
Definicin. Si f es integrable en [a, b], su valor promedio en [a, b] es el nmero

f=
1
ba
f (x) dx.
a
Para entender su significado geomtrico consideremos una funcin no negativa,

f 0, en un intervalo [a, b]. La idea del valor promedio es determinar qu altura f
debe tener una funcin constante y = f en ese mismo intervalo de tal modo que el
b
rea A2 = f (b a) bajo esta funcin sea igual al rea A1 = a f (x) dx bajo la
curva y = f (x).
A2 = A1
b
(b a)f =
f =
f (x) dx
a
1
ba
49
f (x) dx
a
Ejemplo:
Calculemos el valor promedio f de la funcin f(x) = x2 en el intervalo [0, 2].
De acuerdo con la definicin,
f=
1
2 2
x dx
20 0
2
1 x3
=
2 3 0
4
= .
3
De hecho, observamos que la funcin f (x) = x2 alcanza su valor promedio f =

2
en el punto c = dentro del intervalo [0, 2], es decir,
3
f (c) = f
4
3
4
= f.
3
Nos preguntamos si esto es siempre posible, es decir, si para cualquier f existir

una c [a, b] tal que f (c) = f . Lamento decirte que no, como se muestra en
siguiente ejemplo.
Ejemplo:
Calculemos el promedio f en el intervalo [0, 3] de la siguiente funcin tipo
escaln:
f (x) =
0,
1,
0x1
1 < x 3.
50

Para esta funcin,
3
1
f (x) dx
30 0
1
3
1
=
f (x) dx +
f (x) dx
3
0
1
1
3
1
=
0 dx +
1 dx
3
0
1
2
=
.
3
As, se tiene que f = 23 , aunque no existe c [0, 3] tal que f (c) = 23 . Ya te
imaginaste cul es la razn de esto? La funcin f(x) no es continua en [0, 3]. Eso
es precisamente lo que establece el siguiente teorema.
f =
Teorema del valor medio (TVM) para integrales definidas

Si f es continua en un intervalo [a, b], entonces existe c [a, b] tal que f (c) = f ,
es decir,
b
1
f (c) =
f (x) dx.
ba a
Para su demostracin se utiliza la desigualdad Max-Min para integrales
definidas, as como el Teorema del Valor Intermedio para funciones continuas (ver
la demostracin en el libro de Thomas-Finney).
Con este teorema podemos demostrar, por ejemplo, que si f es continua en [a, b]
b
y a f (x) dx = 0, entonces f (x) = 0 al menos una vez en [a, b].
f (c1 ) = f(c2 ) = 0
En efecto, como f es continua en [a, b], por el TVM para integrales definidas
c [a, b] tal que
b
1
1
f (x) dx =
0 = 0.
ba a
ba
Por lo tanto, f(x) = 0 al menos una vez en [a, b].
f (c) =
51
1.5.3
Longitud de curvas
La integral definida tambin puede utilizarse para determinar la longitud L en el

intervalo [a, b] de una curva plana suave y = f (x), es decir, una curva descrita por
una funcin con primera derivada continua.
Para encontrar la longitud L de la curva, retomamos el concepto de suma de

Riemann,
n
L = lm
||P ||0
Lk ,
k=1
donde Lk es la longitud del segmento de recta que une a los puntos (xk1 , f (xk1 ))
y (xk , f (xk )), como se muestra en la figura.
La longitud Lk de cada segmento k es la hipotenusa de un tringulo de lados xk

y yk . Por el teorema de Pitgoras,
L2k = (xk )2 + (yk )2 ,
52

de modo que
Lk = (xk )2 + (yk )2
$
2
yk
=
1+
xk .
xk
As,
n
L = lm
||P ||0
k=1
1+
yk
xk
xk .
Por ltimo, en el lmite cuando P 0 se tiene xk 0. En ese caso, es posible

yk
reemplazar
por la derivada f (ck ), y la sumatoria por una integral definida,
xk
obteniendo
b #
L=
1 + [f (x)]2 dx.
a
Definicin. Si f es una funcin diferenciable en [a, b], la longitud L de la curva

y = f (x) en este intervalo es la integral
#
1 + [f (x)]2 dx.
L=
a
Ejemplo:
Calculemos la longitud L de la curva y = 13 x3/2 en el intervalo 0 x 1.
Como f (x) = 13 x3/2 , por lo tanto f (x) = 12 x1/2 . As,
$
1
1 1/2 2
L =
1+ x
dx
2
0
1
1+
0
5/4
= 4
x
dx
4
u du
8 3/2 5/4
=
u
1
3
3/2
8 5
=
1 .
3 8
53
1.6 Integrales relacionadas con las funciones trigonomtricas

inversas
El objetivo de esta seccin es deducir las frmulas de integracin para las funciones
trigonomtricas inversas, ya que sern utilizadas en la seccin 1.7. Para ello,
discutiremos brevemente su definicin y algunas de sus propiedades importantes.
Las funciones trigonomtricas son peridicas y, por tanto, no son inyectivas;
asimismo, tampoco son sobreyectivas en general. Sin embargo, es posible definir
un dominio e imagen (rango) limitados en donde stas sean biyectivas, de tal modo
que pueda asocirseles una funcin inversa. Al respecto, a continuacin se muestra
las grficas de las funciones trigonomtricas y sus correspondientes inversas.
% &
% &
f: ,
[1, 1]
f 1 : [1, 1] ,
2 2
2 2
1
1
f (x) = sen x
f (x) = sen x
f 1 : [1, 1] [0, ]
f : [0, ] [1, 1]
f 1 (x) = cos1 x
f (x) = cos x
54

f: ,
R
2 2
f (x) = tan x

f 1 : R ,
2 2
f 1 (x) = tan1 x
f : (0, ) R
f 1 : R (0, )
f 1 (x) = cot1 x
f(x) = cot x
%
&
f : 0,
,
2
2
(, 1] [1, )
f 1 : (, 1] [1, )
%
&
0,
,
2
2
f 1 (x) = sec1 x
f (x) = sec x
55
%
&
f : , 0 0,
2
2
(, 1] [1, )
f 1 : (, 1] [1, )
%
&
, 0 0,
2
2
f 1 (x) = csc1 x
f(x) = f (x) = csc x
La siguiente tabla muestra los valores de las funciones trigonomtricas para

algunos ngulos importantes entre 0 y .
en grados
en radianes
0
30
45
60
90
120
135
150
180
0
/6
/4
/3
/2
2/3
3/4
5/6
sen
cos
0
1
1/2
3/2
1/
2 1/ 2
3/2
1/2
1
0
3/2
1/2
1/ 2 1/
2
1/2 3/2
0
1
tan
cot
sec
csc
1/ 3
3
2/ 3
2
1
2
1
2
3
1/ 3
2
2/ 3
3 1/ 3
2
2/ 3
1
1
2
2
1/ 3 3 2/ 3
2
0
A partir de ella se pueden calcular los valores de las funciones trigonomtricas

inversas (ngulos), como se muestra en los siguientes ejemplos:
a) sen1
b) cot1
= .
4
2
3 = .
6
56

Por otra parte, para ilustrar el significado de las funciones trigonomtricas
inversas considera las siguientes figuras:
Ejemplos:
1. Simplifica la expresin sen tan1
x
.
3
x
Sea = tan1
x3
tan =
3
De acuerdo con la figura,
x
sen = 2
x +9
x
1 x
sen tan
= 2
.
3
x +9
57
2. Sea y = sen1
2
. Encuentra: a) cos y, b) tan y.
3
Como y = sen1
2
3
2
sen y =
3
De acuerdo con la
figura,
5
a) cos y =
3
2
b) tan y =
5
3. Calcula csc1 (2). (Podras obtener la respuesta con una calculadora de
bolsillo?).
De acuerdo con la figura,

1
csc1 (2) = sen1

= = 30 .
2
6
Debes tener mucho cuidado de no inventar propiedades en relacin con las

funciones trigonomtricas inversas. Por ejemplo, si bien en el caso de las funciones
trigonomtricas simples (no inversas) se cumple una propiedad tal como
1
,
sen (x)
no existe una propiedad equivalente para las trigonomtricas inversas, es decir,
csc(x) =
csc1 (x) =
,
sen1 (x)
como se observa claramente en el problema 3 anterior. Tambin nota que las
funciones trigonomtricas y las trigonomtricas inversas no son recprocas entre
s, es decir,
1
sen1 x =
.
sen x
No olvides que sen1 x es un ngulo, mientras que sen x es un nmero.
58

Tomando en cuenta que las funciones trigonomtricas inversas representan
ngulos, y en vista de que la suma de los ngulos internos de un tringulo es , por
lo tanto se cumplen propiedades tales como
1
1
tan x + cot x =
2
1
1
sec x + csc x =
.
2
sen1 x + cos1 x =
Asimismo, tomando en cuenta que sen1 x, tan1 x y csc1 x son funciones

impares (ver grficas correspondientes), es decir que cumplen la condicin
f(x) = f (x), se tiene
sen1 (x) = sen1 x
tan1 (x) = tan1 x
csc1 (x) = csc1 x.
Si deseas conocer algunas otras propiedades adicionales, te recomiendo consultar
alguno de los libros de texto (por ejemplo, el Thomas-Finney).
Derivada de las funciones trigonomtricas inversas

Para obtener las frmulas de derivacin para las funciones trigonomtricas
inversas utilizamos diferenciacin implcita, auxilindonos grficamente con
tringulos, como se muestra a continuacin.
y = sen1 x
sen y = x
dy
cos y
=1
dx
dy
1
=
dx
cos y
dsen1 x
1
=
,
dx
1 x2
|x| < 1.
59
y = tan1 x
tan y = x
dy
sec2 y
=1
dx
dy
1
=
dx
sec2 y
1
d tan x
1
= 2
,
dx
x +1
y = sec1 x
sec y = x
dy
=1
sec y tan y
dx
dy
1
=
dx
sec y tan y
d sec1 x
1
,
=
dx
|x| x2 1
x R.
|x| > 1.
En resumen, se tiene
dsen1 x
1
=
, |x| < 1
dx
1 x2
d tan1 x
1
, xR
=
dx
1 + x2
d sec1 x
1
=
, |x| > 1.
dx
|x| x2 1
Como ejercicio de prctica te recomiendo demostrar las tres frmulas restantes, a
saber,
d cos1 x
1
=
, |x| < 1
dx
1 x2
d cot1 x
1
=
, xR
dx
1 + x2
d csc1 x
1
= 2
, |x| > 1.
dx
|x| x 1
60

Los resultados anteriores se generalizan de la siguiente manera.
Derivadas de las funciones trigonomtricas inversas
Si u = f(x) es una funcin diferenciable, entonces
dsen1 u
du/dx
du/dx
d cos1 u
=
, |u| < 1,
=
, |u| < 1
dx
dx
1 u2
1 u2
du/dx
d cot1 u
du/dx
d tan1 u
,
u
R,
, uR
=
=
dx
1 + u2
dx
1 + u2
d sec1 u
du/dx
d csc1 u
du/dx
, |u| > 1,
, |u| > 1
=
=
dx
dx
|u| u2 1
|u| u2 1
Ejemplos:
1.
2.
dsen1 (x3 )
3x2
3x2
= #
=
, si |x3 | < 1, es decir, si
6
dx
1x
1 (x3 )2
1 < x < 1.
d cos1 (ln x)
(1/x)
=
=#
dx
x
1 (ln x)2
e1 < x < e.
1 ln2 x
, |ln x| < 1, es decir, si
sen x
d tan1 (cos x)
sen x
3.
=
, para todo x R.
=
2
dx
1 + (cos x)
1 + cos2 x
4.
5.
d sec1 (ex )
=
dx
|ex |
ex
1
= 2x
, si e2x > 1, es decir, si x > 0.
2
e 1
(ex ) 1
d csc1 (2x5 )
=
dx
10x4
5
#
=
,
10 1
2
|x|
4x
5
5
|2x | (2x ) 1
5
si |2x | > 1, es decir, si x < 21/5 o x > 21/5 .
61
De las frmulas de derivacin anteriores se deducen las siguientes frmulas de
integracin.
Integrales que conducen a las funciones trigonomtricas inversas
Si u = f (x) es una funcin diferenciable y a > 0 es una constante, entonces
du
u
= sen1
+ C, |u| < a
2
2
a
a u
u
du
1
=
tan1
+ C, u R
2
2
u +a
a
a
"u"
du
1
" "
sec1 " " + C, |u| > a.

=
2
2
a
a
u u a
Ejemplos:
1.
2.
3.
4.
5.
6.
dx
1 x
=
sen
+ C, para |x| < 4, o sea, 4 < x < 4.
4
16 x2
!
1
dx
3
3/2
3/2
1
1

= sen1
sen
=
[sen
x]
1/ 2
1/ 2
2
1 x2
2

= = .
3
4
12
3x dx
3
2x dx
3
du
3
=
=
= sen1 (u) + C
4
2
2
2
2
1x
1u
1 (x2 )2
3
= sen1 (x2 ) + C, para |x2 | < 1, o sea, 1 < x < 1.
2
2dx
du
dx
1
1
1
u
+C
=
= tan1
2 =
2
2
3 + 4x
2 3 + (2x)
2 3+u
2 3
3
1
2x
+ C, para x R.
= tan1
2 3
3
dx
2
2
2
1
=
[sec
|x|]
= sec1 2 sec1
2/
3
2/ 3
x x2 1
3

= = .
4
6
12
dx
dx
du
1
u
=
=
= tan1
+C
2
2
2
x 6x + 13
u +4
2
2
(x 3) + 4
1
x3
= tan1
+ C.
2
2
62

Adems del mtodo de integracin por sustitucin de las secciones 1.1.2 y 1.4
existen otros mtodos alternativos de gran utilidad. A continuacin describiremos
algunos de los ms importantes.
1.7.1
Procedimientos algebraicos
Los procedimientos algebraicos suelen utilizarse en combinacin con cualquiera

de los otros mtodos. La idea es poder reescribir el integrando de tal forma que
ste presente una forma ms manejable para su integracin. Entre los diversos
procedimientos a seguir, se destacan los siguientes.
i) Reduccin de una fraccin impropia
3x2 7x
dx. Como el integrando es una fraccin
3x + 2
impropia (grado del numerador grado del denominador), ste puede separarse en
un polinomio ms una fraccin propia, mediante el cociente de los polinomios:
Por ejemplo, considera
x3
3x + 2 |3x2 7x
3x2 2x
9x
9x + 6
6
As,
3x2 7x
dx =
3x + 2
=
=
x3+
x dx
6
3x + 2
3 dx +
dx
6
3
3 dx
3x + 2
x2
3x + 2 ln |3x + 2| + C.
2
ii) Separar fracciones

3x + 2
dx. Aqu el numerador puede separarse en

1 x2
63
dos trminos, quedando
3x + 2
dx = 3
1 x2
x
1
dx + 2
dx
2
1x
1 x2
2x
1
= 3
dx + 2
dx
2 1 x2
1 x2
= 3 1 x2 + 2sen1 x + C.
iii) Completar cuadrados

obtienes
dx
. Completando cuadrados en el denominador

8x x2
dx
=
8x x2
dx
16 (x 4)2
dx
42 (x 4)2
x4
= sen1
+ C.
4
iv) Desarrollar potencias
3 2
x+
dx. Aqu no funciona la sustitucin
x
u = x+3/x, ya que en el integrando falta du; esto es, la integral no es de la forma

u2 du. En este caso, se sugiere simplemente desarrollar el cuadrado, obteniendo
3
x+
x
6
9
x + + 2 dx
x x
2
9
x
+ 12 x + C.
=
2
x
dx =
v) Sumar 0 o multiplicar por 1

x
dx. Al numerador en el integrando puede
x1
sumrsele 0, mediante el siguiente truco:
x
dx =
x1
x1+1
dx
x1
1
x1
=
dx +
dx
x1
x1
1
=
dx +
dx
x1
= x + ln |x 1| + C.
64

Como un segundo ejemplo, considera
integrando, de la siguiente manera:
sec x dx. Multiplicamos por 1 el
sec x + tan x
dx
sec x + tan x
sec2 x + sec x tan x
=
dx
sec x + tan x
= ln |sec x + tan x| + C.
sec x dx =
sec x
vi) Utilizar identidades trigonomtricas

Por ejemplo, considera (sec x + tan x)2 dx. Desarrollando el cuadrado,
obtenemos
(sec x + tan x)2 dx =
sec2 x + 2 sec x tan x + tan2 x dx
sec2 x + 2 sec x tan x + (sec2 x 1) dx
2 sec2 x + 2 sec x tan x 1 dx
= 2 tan x + 2 sec x x + C.
1.7.2
Integracin por partes
El mtodo de integracin por partes suele utilizarse cuando el integrando consiste

en un producto de dos funciones, es decir, para integrales del tipo f (x)g(x)dx
(recuerda que f g dx = f dx g dx. Sin embargo, no siempre que tengas un
producto de funciones podrs utilizar el mtodo. ste se basa en la frmula de la
diferencial de un producto, como se muestra a continuacin.
d(uv) = udv + vdu
udv = d(uv) vdu
udv =
d(uv)
udv = uv
vdu
vdu
Frmula de la integracin por partes

Sean u, v, funciones diferenciables de x. Entonces
udv = uv
65
vdu.
Ejemplo:
x cos x dx e identifiquemos las funciones u, v, como
Consideremos la integral
se muestra a continuacin,
u=x
dv = cos x dx
De este modo,
x (cos x dx) = x senx
dv
du = dx
v = sen x.
senx dx = x senx + cos x + C

u v

v du
En muchos casos es muy importante seleccionar adecuadamente las funciones

u, v. En este mismo ejemplo, si en lugar de la seleccin anterior hubiramos
propuesto
u = cos x du = senxdx
x2
dv = x dx v = ,
2
el mtodo no sera conveniente, ya que la integral resultante sera ms compleja
que la original
cos x (x dx) =
x2
cos x
2
x2
(senx) dx =???
2
En ejemplos como el anterior, la idea consiste en ir reduciendo el grado de las

potencias de x, en lugar de incrementarlo, como ocurri en la segunda seleccin.
De hecho, el mtodo puede utilizarse repetidamente, hasta llegar a reducir el grado
de x a un valor que nos permita ya la integracin directa (sta, sin embargo, no es
una regla general).
Ejemplo:
Considera la integral
x2 e3x dx. En este caso, te conviene proponer

u = x2
de modo que
dv = e3x dx
x2 e3x dx =
x2
e3x
3
du = 2xdx
e3x
v=
,
3
x2 e3x 2
=
+
3
3
66
e3x
3
xe3x dx.
(2x) dx

Ahora vuelves a aplicar el mtodo de integracin por partes a la integral que te
qued, proponiendo
u=x
dv = e3x dx
de donde
x2 e3x
3
2 3x
xe
=
3
2 3x
xe
=
3
2 3x
xe
=
3
x2 e3x dx =
du = dx
e3x
v=
,
3
2
e3x
e3x
(x)
3
3
3
3x
2
xe
1
+
+
e3x dx
3
3
3
2
xe3x 1 e3x
+
+
3
3
3 3
3x
3x
2xe
2e
+ C.
9
27
+
dx
La integracin por partes tambin puede utilizarse en algunas integrales en

donde el integrando contiene una sola funcin, y no un producto de dos funciones.
Ejemplo:
Considera la integral
ln x dx. En este caso propones

u = ln x
dv = dx
de donde
du = x1 dx
v = x,
ln x dx = (ln x) (x)
= x ln x
(x)
1
x
dx
dx
= x ln x x + C.
A continuacin mostramos un ejemplo de otro tipo, en que la integral por partes
es funcin de la propia integral original.
Ejemplo:
Considera
ex senx dx. Aqu podemos proponer

u = ex
dv = senx dx
67
du = ex dx
v = cos x,
de modo que
ex senx dx = ex cos x +
ex cos x dx.
Volvemos a integrar por partes, proponiendo
u = ex
du = ex dx
dv = cos x dx v = senx
(cuidado! si propones u = cos x y dv = ex dx vuelves a regresar a la integral
original) y as
ex senx dx = ex cos x + ex senx
de modo que al agrupar los trminos con
ex senx dx,
ex senx dx se obtiene
ex senx dx = ex cos x + ex senx,
2
de donde se concluye que
ex cos x + ex senx
+ C.
e senx dx =
2
x
El mtodo de integracin por partes tambin puede aplicarse para integrales

definidas, como se muestra a continuacin.
Ejemplo:
1
0
xe2x dx. En este caso,

"1
1
1 2x ""
1
2x
xe "
xe dx =
2
2
0
0
Considera
e2x dx
0
"1
1 2x 1 2x ""
xe e "
2
4
0
1
1
=
1 e2 e2
2
4
1 2 1
=
e +
4
4
1 2
=
e +1 .
4
1
1
0 e0 e0
2
4
Por ltimo, cabe sealar que no siempre que el integrando sea un producto se
2
utiliza este mtodo. Por ejemplo, una integral del tipo xex dx no se resuelve
integrando por partes, sino ms bien utilizando el mtodo de sustitucin, ya que es
de la forma eu du.
68
1.7.3
Fracciones parciales
El mtodo de fracciones parciales o mtodo de coeficientes indeterminados se

utiliza para integrar funciones racionales de la forma f (x) = p(x)/q(x), donde p y
q son polinomios en la variable x. La idea es escribir esta fraccin en trminos de
fracciones ms simples, con denominadores de grado 1 o 2. Por ejemplo,
2x5 + 3x2 + 1
dx =
x x3
integral f ea
1
3
1
2x2 + 2+
+
x x+1 1x
dx .
integrales bonitas
Para ello, se llevan a cabo los siguientes pasos:

Paso 1. Si f es una fraccin impropia, se efecta la divisin para obtener la
suma de un polinomio ms una fraccin propia. Por ejemplo,
f (x) =
2x5 + 3x2 + 1
3x2 2x + 1
2
=
2x
+
2
+
x x3
x x3
polinomio
fraccin propia
Paso 2. Si f = p/q es una fraccin propia, se factoriza q(x) como el producto

de factores lineales, o factores cuadrticos irreducibles. Por ejemplo,
2x5 + 3x2 + 1
2x5 + 3x2 + 1
.
=
x x3
x(1 + x)(1 x)
Paso 3. Para cada uno de los factores obtenidos en el denominador se introducen
coeficientes indeterminados, como lo muestran los siguientes ejemplos:
a) Factores lineales distintos:
p(x)
A
B
C
= +
+
.
x(1 + x)(1 x)
x 1+x 1x
b) Factores lineales repetidos:
p(x)
A
B
C
=
+
.
2 +
3
(x + 1)
x + 1 (x + 1)
(x + 1)3
c) Factores cuadrticos irreducibles distintos:
(x2
p(x)
Ax + B Cx + D
= 2
+ 2
.
2
+ 1) (x + 2)
x +1
x +2
69
d) Factores cuadrticos irreducibles repetidos:
p(x)
Ax + B
Cx + D
Ex + F
.
+
3 =
2 +
2
2
x +1
+ 1)
(x + 1)
(x2 + 1)3
(x2
As, por ejemplo, si p(x) es un polinomio de grado menor que 7, entonces

A
B
C
D
p(x)
E
Fx + G
= +
+
+
.
2+
3+
3
2
x(x 3)(x + 1) (x + 1)
x x 3 x + 1 (x + 1) (x + 1)
x2 + 1
Paso 4. Se calculan los coeficientes indeterminados A, B, C,..., sumando
nuevamente las fracciones parciales e igualando el numerador con p(x), como se
muestra en los siguientes ejemplos.
Ejemplos:
5x 3
dx.
2x 3
En el integrando se tiene una fraccin propia, por lo que efectuamos
directamente la descomposicin en fracciones parciales, dada por
5x 3
5x 3
=
2
x 2x 3
(x 3)(x + 1)
A
B
=
+
x3 x+1
A(x + 1) + B(x 3)
=
(x 3)(x + 1)
(A + B)x + (A 3B)
.
=
x2 2x 3
Comparando el ltimo trmino con el primero tenemos
1. Encuentra
x2
A+B =5
A 3B = 3,
de modo que A = 3 y B = 2. De esta manera,
x2
Por lo tanto,
x2
5x 3
3
2
=
+
.
2x 3
x3 x+1
5x 3
3
2
dx =
dx +
dx
2x 3
x3
x+1
= 3 ln |x 3| + 2 ln |x + 1| + C
"
"
= ln "(x 3)3 (x + 1)2 " + C.
70

2x5 + 3x2 + 1
dx (ejemplo inicial de esta seccin).
x x3
En el integrando se tiene una fraccin impropia, por lo que primero efectuamos
la divisin de polinomios, obteniendo
2. Encuentra
2x5 + 3x2 + 1
3x2 2x + 1
2
=
2x
+
2
+
.
x x3
x x3
De esta manera,
2x5 + 3x2 + 1
dx =
x x3
2x2 + 2 +
3x2 2x + 1
x x3
dx.
Ahora efectuamos la descomposicin en fracciones parciales de la fraccin

propia en el integrando. Para ello, escribimos
3x2 2x + 1
3x2 2x + 1
=
x x3
x(1 + x)(1 x)
A
B
C
=
+
+
x 1+x 1x
A(1 + x)(1 x) + Bx(1 x) + Cx(1 + x)
=
x(1 + x)(1 x)
2
x (A B + C) + x(B + C) + A
=
.
x(1 + x)(1 x)
Comparando el ltimo trmino con el primero tenemos
A = 1
B + C = 2
A B + C = 3,
de modo que A = C = 1 y B = 3. As,
Por lo tanto,
3x2 2x + 1
1
3
1
=
+
.
3
xx
x 1+x 1x
2x5 + 3x2 + 1
dx =
x x3
2x2 + 2 +
1
3
1
+
x 1+x 1x
dx
x3
+ 2x + ln |x| 3 ln |1 + x| ln |1 x| + C
2
"
"
"
"
x3
x
" + C.
=
+ 2x + ln ""
2
(1 + x)3 (1 x) "
71
6x
dx.
+ 4x + 4
Se tiene una fraccin propia. De esta manera,
3. Encuentra
x2
x2
6x
B
6x
A
A(x + 2) + B
Ax + (2A + B)
=
=
+
=
.
2 =
2
2
+ 4x + 4
(x + 2)
x + 2 (x + 2)
(x + 2)
x2 + 4x + 4
Comparando trminos, tenemos
A = 6
2A + B = 0,
de modo que A = 6 y B = 12. As
x2
6
12
6x
=
.
+ 4x + 4
x + 2 (x + 2)2
Por lo tanto,
6x
12
dx
dx
dx = 6
12
+ C.
2 = 6 ln |x + 2| +
2
x + 4x + 4
x+2
x+2
(x + 2)
4
4. Encuentra
dx.
x4 1
Se tiene una fraccin propia. De esta manera,
x4
4
4
A
B
Cx + D
=
=
+
+ 2
2
1
(x 1)(x + 1)(x + 1)
x1 x+1
x +1
3
2
(A + B + C)x + (A B + D)x + (A + B C)x + (A B D)
=
.
x4 1
A+B+C =0
AB+D = 0
A+BC =0
A B D = 4,
de modo que A = 1, B = 1, C = 0 y D = 2. As
x4
Por lo tanto,
x4
4
1
1
2
=
2
.
1
x1 x+1 x +1
4
1
1
1
dx =
dx
dx 2
dx
2
1
x1
x+1
x +1
= ln |x 1| ln |x + 1| 2 tan1 x + C
"
"
"x 1"
" 2 tan1 x + C.
= ln ""
x + 1"
72

Por ltimo, a continuacin deduciremos una frmula general para encontrar
du
, con a = 0 una constante. Se tiene,
2
a u2
a2
B
A(a + u) + B(a u)
(A B)u + (Aa + Ba)
1
A
=
+
=
=
.
2
u
au a+u
(a u)(a + u)
a2 u2
AB =0
Aa + Ba = 1,
de modo que A = B =
a2
Por lo tanto,
a2
1
. As,
2a
1
1
=
2
u
2a
du
1
=
2
u
2a
1
au
1
2a
du
1
+
a u 2a
1
.
a+u
du
a+u
1
1
ln |a u| +
ln |a + u| + C
2a "
2a
"
1 "" a + u ""
ln
+ C.
=
2a " a u "
Ejemplos:
1.
2.
3.
"
"
"
""
"
"
"
dx
1
1
" 7 + x"
"x + 7"
" + C.
= ln "
" + C = ln "
2
7x
2 7 " 7 x"
2 7 "x 7"
"
"
"
"
et dt
et dt
1 "" 4 + et ""
1 "" et + 4 ""
=
= ln "
+ C = ln " t
+ C.
16 e2t
8
4 et "
8
e 4"
16 (et )2
"
"
dx
ex dx
du
1 "" 1 + u ""
=
=
= ln "
+C
ex ex
2
1 u"
(ex )2" 1 " u2 1
1 " 1 + ex ""
= ln ""
+ C.
2
1 ex "
73
Captulo 2
Formas indeterminadas e integrales impropias
Cuando estudiaste el concepto de lmite en tu primer curso de Clculo
seguramente te enfrentaste al clculo de lmites tales como
x2 1
5x 3
senx
,
lm 2
, lm
, etc...
x1 x 1
x x + 2x + 1
x0
x
0
que eran de la forma o . Estos son casos particulares de lo que se conoce
0
como formas indeterminadas, que en ejemplos como los anteriores pueden
calcularse mediante simples manipulaciones algebraicas o geomtricas. Sin
embargo, no siempre es posible aplicar estos mtodos en el caso general,
de modo que es til contar con alguna tcnica alternativa. Al respecto, a
continuacin veremos un mtodo muy til para calcular el lmite en formas
indeterminadas, conocida como la regla de LHopital.
lm
La regla de LHopital se utiliza tpicamente para calcular lmites de la

0
forma , es decir,
0
f(x)
,
f (a) = g(a) = 0,
lm
xa g(x)
y se basa en el siguiente resultado.
Regla de LHopital (forma dbil)

Suponga que f (a) = g(a) = 0, que f (a) y g (a) existen y que g (a) = 0.
Entonces
"
f (x)
f (a)
f (x) ""
lm
= "
= .
xa g(x)
g (x) x=a g (a)
74

Demostracin:
f(x) f(a)
f (x) f (a)
f (a)
f (x) f(a)
f (x)
xa
xa
xa
=
= lm
= lm
= lm
.
xa g(x) g(a)
xa g(x) g(a)
xa g(x)
g(x) g(a)
g (a)
lm
xa
xa
xa
lm
Ejemplos:
"
x2 4 L 2x ""
1. lm
=
= 4.
x2 x 2
1 "x=2
"
"
1
"
1
1 + x 1 L 2 1 + x ""
2. lm
=
= .
"
x0
x
1
2
"
"
x=0
sen x L cos x ""
3. lm
=
= 1.
"
x0
x
1 x=0
"
3x sen x L 3 cos x ""
4. lm
=
= 2.
"
x0
x
1
x=0
La forma dbil de la regla de LHopital falla cuando al derivar vuelve a obtenerse

0
, como por ejemplo,
0
"
x sen x L 1 cos x ""
lm
=
=???
x0
x3
3x2 "x=0
En ese caso, es necesario reemplazar la regla de LHopital por la siguiente versin.
Regla de LHopital (forma fuerte)

Suponga que f (a) = g(a) = 0 y que f y g son diferenciables en un intervalo
abierto I que contenga al punto a. Suponga tambin que g (x) = 0 en I, para todo
x = a. Entonces
f (x)
f (x)
lm
= lm .
xa g(x)
xa g (x)
75
Captulo 2 Formas indeterminadas e integrales impropias

Ejemplos:
1
x sen x L
1 cos x L
sen x L
cos x
= lm
= lm
= lm
= .
3
2
x0
x0
x0 6x
x0
x
3x
6
6
0
1 cos x L
senx
= = 0.
2. lm
= lm
x0 x + x2
x0 1 + 2x
1
1. lm
La regla de LHopital deja de utilizarse en el momento que ya no se tiene un

0
lmite de la forma . As, el mal uso de la regla en el ejemplo 2 te llevara a que
0
1 cos x L
senx L
cos x
1
lm
= lm
= lm
= !!!
2
x0 x + x
x0 1 + 2x
x0 2
2
Es posible demostrar que la regla de LHopital tambin se aplica directamente a
lmites de la forma . Por ejemplo,
ln x L
1/x
1
= lm = 0.
lm = lm
x 2 x
x 1/ x
x
x
Asimismo, se usa para calcular lmites indeterminados de la forma 0 , o bien,
0
, reescribiendo primero estos como o , como se ilustra a continuacin.
0
Ejemplos:
1. lm xex = lm
x
x L
1
= lm x = 0.
x
x e
e
2. lm+ x ln x = lm+
x0
3.
lm
x0
x()
ln x L
1/x
= lm+
= lm+ x = 0.
x0 1/x2
x0
1/x
[e2x ln (1 + e2x )] =
=
4. lm
x0
1 2x
x
x
= lm
x0
lm
x()
lm
x()
ln (1 + e2x ) L
= lm
x()
e2x
1
= 1.
1 + e2x
2e2x
1 + e2x
2e2x
1 2x L
2x ln 2
= lm
= ln 2 = ln(1/2).
x0
x
1
Por ltimo, la regla puede utilizarse en combinacin con las propiedades de los
logaritmos para calcular lmites indeterminados del tipo 1 , 00 o 0 , como se
muestra a continuacin.
76

Ejemplos:
1. lm x1/x = lm eln x
x
2. lm 1 +
x
1/x
x
r x
= lm e
lm
ln x
x
= ex
ln x
x
lm
= ex
1/x
1
= e0 = 1.
= lm eln(1+r/x) = lm ex ln(1+r/x) = lm+ e

x
ln(1+ry)
lm
y
y0+
y0
r
lm 1+ry
1
y0+
ln(1+ry)
y
r
lm 1+ry
y0+
=e
=e
=e
= er .
3. La funcin CES (Constant Elasticity of Substitution) w : R2++ (0, ) est
dada por
w(x1 , x2 ) = ( 1 x1 + 2 x2 )1/ ,
en donde 1 , 2 > 0 y = 0. Demuestra que si 1 + 2 = 1, entonces en el
lmite 0 esta funcin se convierte en una Cobb-Douglas, es decir,
lm w(x1 , x2 ) = x11 x22 .
Si sustituyes directamente = 0 en w = ( 1 x1 + 2 x2 )1/ obtienes

( 1 + 2 ) = 1, que es una forma indeterminada, de modo que debes calcular
el lmite utilizando la regla de LHopital. Para ello, primero nota que
lm ln w
lm w = lm eln w = e 0
Ahora bien,
1/
lm ln w = lm ln ( 1 x1 + 2 x2 )
0
= lm
= lm
ln (1 x1 + 2 x2 )
d
d
( 1 x1 + 2 x2 )
1 x1 + 2 x2
= lm
d
d
ln (1 x1 + 2 x2 )
Como dax /dx = ax ln a, para a > 0, se tiene
d
d
( i xi ) = i xi ln xi , y as
1 x1 ln x1 + 2 x2 ln x2
lm ln w = lm
0
0
1 x1 + 2 x2
1 ln x1 + 2 ln x2
ln x11 + ln x22
=
=
1 + 2
1
1 2
= ln x1 x2 .
Concluimos que
lm ln w
lm w = e 0
=e
ln x11 x22
77
= x11 x22 .

Definicin. Una integral impropia es una integral con lmites de integracin
infinitos, o bien, es la integral definida de una funcin que se vuelve infinita en
algn punto dentro del intervalo de integracin.
Una integral impropia se calcula a partir de una integral propia, de la siguiente
manera:
a) Si f es continua en [a, ), entonces
b
f (x) dx = lm a f(x) dx (dominio infinito)
a
b
b) Si f es continua en (, b], entonces

b
b
f(x) dx = lm a f (x) dx (dominio infinito)
c) Si f es continua en (a, b], entonces

b
b
f (x) dx = lm+ c f (x) dx (rango infinito)
a
ca
78

d) Si f es continua en [a, b), entonces
b
c
f (x) dx = lm a f (x) dx (rango infinito)
a
cb
En cada caso, si el lmite es finito se dice que la integral impropia es convergente,

y el lmite es el valor de la integral. Si el lmite no existe, la integral impropia es
divergente.
a
Definicin. Si f es continua en (, ) y tanto f (x) dx como
f (x) dx convergen, se dice que f (x) dx converge, y definimos su valor

a
como
f(x) dx =
f (x) dx +
f (x) dx.
Si alguna de las integrales del lado derecho diverge, la integral

diverge.
f (x)
dx
Definicin. Si f tiende a infinito en algn punto interior c [a, b], entonces

b
f(x) dx =
a
f(x) dx +
a
f (x) dx.
c
La integral a f (x) dx converge si ambas integrales del lado derecho convergen. Si

b
alguna de estas ltimas diverge, la integral a f (x) dx diverge.
79
Ejemplos de integrales con dominio infinito:

ln x
dx.
1. Calcula 1
x2
En este caso,
ln x
dx =
x2
lm
ln x
dx
x2
b
1
1
= lm ln x
b
x
x 1
ln b 1 ln 1 1
+
+
= lm
b
b
b
1
1
ln b
= lm
+ 1.
b b
De acuerdo con la regla de LHopital,
ln b L
1/b
1
= lm
= lm = 0.
b b
b 1
b b
Concluimos que la integral converge a 1, es decir,
lm
ln x
dx = 1.
x2
80
2. Calcula 0 xex dx.

En este caso,
b
xex dx =
=
=
xex dx
lm
lm xex ex
b
0
lm beb eb + 1
= lm beb + 1.
b

b L
1
= lm b = 0.
b
b
b e
b e
Concluimos que la integral converge a 1, es decir,
lm beb = lm
xex dx = 1.
3. Calcula senx dx.

En este caso,
0
senx dx =
=
=
lm
senx dx
a
lm [ cos x]0a
lm [1 + cos a] .
Como cos() no est definido, por lo tanto la integral diverge.
81

4. Calcula
En este caso,
x+3
dx.
(x 1)(x2 + 1)
x+3
dx =
(x 1)(x2 + 1)
x+3
dx
b 2 (x 1)(x2 + 1)
b
2
2x + 1
= lm
2
dx
b 2
x1 x +1
b
b
dx
2x dx
= lm 2
2
b
2 x1
2 x +1
=
lm
b
2
x2
dx
+1
b
2
lm 2 ln |x 1| ln(x + 1) tan
lm
(b 1)2
tan1 b + ln 5 + tan1 (2) .
2
b +1
ln

lm ln
(b 1)2
b2 + 1
(b 1)2
b b2 + 1
2(b 1)
L
= ln lm
b
2b
2
L
= ln lm
b 2
= ln 1 = 0.
= ln lm
Por otra parte, como lm

tan = , por lo tanto
.
2
Concluimos que la integral converge a 2 + ln 5 + tan1 (2), es decir,
tan1 () =
x+3
dx
=
+ ln 5 + tan1 (2) .
(x + 1)(x2 + 1)
2
82
5. Calcula e|x| dx.

De acuerdo con la definicin de valor absoluto, podemos partir la integral como
Por una parte,
ex dx = lm
ex dx +
e|x| dx =
ex dx.
ex dx = lm [ex ]0a = lm [1 ea ] = 1.
a
Por otra parte,
ex dx = lm
ex dx = lm ex
b
b
0
= lm eb + 1 = 1.
b
Por lo tanto, ambas integrales convergen a 1, de modo que
ex dx +
e|x| dx =
ex dx = 1 + 1 = 2.
Ejemplos de integrales con rango infinito:

dx
1
1. Calcula 0
.
1x
En este caso,
1
0
dx
=
1x
lm
b1
dx
1x
lm [ ln |1 x|]b0
b1
= lm [ln |1 b| ln 1]
b1
= lm ln |1 b|
b1
= () = .
83

Por lo tanto, la integral diverge.
2. Calcula
11
2
En este caso,
dx
.
x2
11
2
11
dx
=
x2
lm+
a2
dx
x2
11
lm+ 2 x 2 a
a2
= 2 lm+ 11 2 a 2
=
a2
= 2 [3 0] = 6.
Por lo tanto, la integral converge a 6.
3. Calcula
dx
3
0
(x 1)2/3
En este caso,
3
0
dx
(x 1)
2/3
=
0
dx
2/3
(x 1)
84
+
1
dx
(x 1)2/3

Como
1
dx
(x 1)2/3
%
&c
1/3
=
l
m
3
(x
1)
2/3
c1
c1
0
0 (x 1)
%
&
= 3 lm (c 1)1/3 (0 1)1/3 = 3,
=
dx
dx
lm
c1
dx
(x 1)2/3
lm+
d1
(x 1)2/3
%
&3
= lm+ 3 (x 1)1/3
d1
= 3 lm+ (3 1)1/3 (d 1)1/3

d1
3
= 3 2,
por lo tanto, ambas integrales convergen. De este modo

3
0
dx
(x 1)2/3
=
0
dx
(x 1)2/3
y, por lo tanto, la integral converge a 3 + 3
Integrales de la forma
3
2.
dx
(x 1)2/3
=3 + 3
3
2,
dx
xp
Un tipo de integrales que resulta de particular inters son las integrales

impropias de la forma
1
dx
dx
y
,
p
x
xp
0
1
con p R.
85

Dependiendo del valor del parmetro p, la primera integral puede presentar
problemas alrededor de x = 0, mientras que la segunda lo hace para x 1. Para
determinar la convergencia de estas integrales, nota que
ln |x| + C, p = 1
dx
=
xp+1
xp
+ C, p = 1.
p + 1
As, para las integrales de la forma
dx
se tiene:
xp
i) Si p = 1, entonces
b
dx
= lm
x b
1
ii) Si p = 1, entonces
dx
= lm
xp b
b
1
dx
= lm [ln b ln 1] = .
b
x
1
dx
=
lm bp+1 1 =
xp
p + 1 b
Concluimos entonces que
dx
=
xp
, p < 1
1
, p > 1.
p1
, p 1
1
, p > 1.
p1
dx
,
x
dx
divergentes, mientras que las integrales 1 1,1 ,
x
convergentes.
De esta manera, integrales tales como
86
dx
y
x
dx
y
1
x2
dx
son
x2
dx
son
1
x3

Por otra parte, para las integrales de la forma
1
0
dx
se tiene:
xp
i) Si p = 1, entonces
1
dx
= lm
x a0+
0
ii) Si p = 1, entonces
1
0
dx
= lm
xp a0+
1
a
1
a
dx
= lm [ln 1 ln a] = .
x a0+
1
dx
1
, p<1
p+1
=
lm+ 1 a
=
1p
p
, p > 1.
x
p + 1 a0

1
0
1
dx
, p<1
=
1p
p
, p 1.
x
1
0
De esta manera, integrales tales como
1
0
convergentes, mientras que las integrales

divergentes.
dx
,
x0,9
dx
,
x
1
0
1
0
dx
y
x
dx
y
x1,1
1
0
1
0
dx
son
x2
dx
son
x2
As, por ejemplo, sin efectuar clculos detallados podemos concluir que la integral
1 dx
diverge. En efecto, sabemos que
1
x3
1
1
dx
=
x3
0
1
dx
+
x3
87
1
0
dx
.
x3

1 dx
Como cada una de las integrales del lado derecho diverge, por lo tanto 1 3
x
diverge (comprubalo!). Nota que si hubieras efectuado la integracin de una
manera descuidada, es decir, sin partir la integral en x = 0, habras obtenido
errneamente
1
dx
1
=
x3
2x2
1
1
1 1
2 x2
1
2
1
1
12 (1)2
= 0 !!!
Por ltimo, observa que las integrales 0 xdxp convergen para aquellos valores de
p para los que las integrales 1 xdxp divergen, y viceversa, con excepcin del caso
p = 1, en donde ambas integrales divergen.
88
Captulo 3
Integracin Mltiple
La generalizacin de la integral definida de funciones f (x) de una variable
en un intervalo del eje x es la integral mltiple de funciones f (x1 , x2 , . . .) de
varias variables en alguna regin de su dominio. Aqu discutiremos en detalle
el significado y propiedades de la integral doble de funciones continuas
f(x, y) de dos variables sobre alguna regin R de su dominio.
Sea z = f (x, y) una funcin continua, definida en una regin acotada R
en el plano xy. Para facilitar la discusin, primero supongamos que f es
una funcin no negativa, f 0, en R. En ese caso, nos interesa encontrar
el volumen V de la regin slida tridimensional sobre el plano xy, acotada
abajo por R y arriba por la superficie z = f (x, y), como se ilustra en la
siguiente figura, en donde R es la regin rectangular a x b, c y d.
Extendiendo el concepto de suma de Riemann del captulo 1, el volumen
V puede aproximarse por el volumen Sn de n cajas rectangulares, o
paraleleppedos.
89
Captulo 3 Integracin Mltiple

Para encontrar Sn se realiza una particin (reticulado) de la regin rectangular
R, en n subregiones Rk , k = 1, . . . , n, que determina las bases de cada una de las n
cajas. En cada rectngulo k de la particin identificamos algn punto representativo
(xk ,y k ), de modo que la altura de la caja correspondiente es f(xk ,y k ). Si Ak
es el rea del rectngulo alrededor del punto (xk , y k ), entonces el volumen de la
ksima caja est dado simplemente por f (xk ,y k )Ak .
De esta manera, el volumen aproximado Sn de las n cajas rectangulares es la suma

n
Sn =
f (xk ,y k )Ak .
k=1
En el lmite cuando n , si ste converge, la suma anterior se convierte en el

volumen V entre la grfica de f y la regin rectangular R, es decir,
n
V = lm Sn = lm
n
k=1
f (xk ,y k )Ak
f(x, y) dA,
R
en donde dA es la diferencial de rea. La ltima igualdad define la integral doble de

la funcin f a lo largo de la regin rectangular R en el plano xy. De hecho, aunque
no lo mostraremos aqu, esta definicin puede extenderse trivialmente al caso
de regiones planas acotadas R ms generales (no necesariamente rectangulares),
como se enuncia a continuacin.
90

Definicin. La integral doble de una funcin f (x, y) a lo largo de una regin
acotada y cerrada R en el plano xy es el lmite
n
f(x, y) dA = lm
f(xk ,y k )Ak ,
k=1
cuando este lmite existe.

La integral doble
f (x, y) dA representa un volumen slo cuando f 0.
R
Cuando f puede tomar valores negativos a lo largo de la regin R la integral
doble pierde su significado geomtrico de volumen, convirtindose en una suma
de contribuciones, que puede tomar un valor positivo, negativo o inclusive cero,
dependiendo del signo de los productos f (xk ,y k )Ak .
Propiedades de la integral doble

Sean f y g funciones continuas, definidas a lo largo de una misma regin R de
R y sea k R. Entonces:
2
1.
2.
kf (x, y) dA = k
f(x, y) dA
[ f (x, y) + g(x, y)] dA =
3. f (x, y) 0 en R
4. f (x, y) g(x, y) en R
f (x, y) dA +
f (x, y) dA 0
R
f(x, y) dA
5. Si R = R1 R2 , con R1 R2 = , entonces
R
f (x, y) dA =
R1
f (x, y) dA +
91
R2
g(x, y) dA
g(x, y) dA
f (x, y) dA

Hasta aqu hemos discutido el significado y las propiedades de la integral doble
f (x, y) dA, pero an no sabemos cmo se calcula sta. A continuacin
R
presentamos un argumento geomtrico para calcular esta integral, en donde resulta
til partir del supuesto de que f es una funcin no negativa. En esta seccin nos
restringiremos slo al caso de regiones rectangulares, de la forma
(
)
R = (x, y) R2 | a x b, c y d .
La discusin para regiones R ms generales se presenta en la siguiente seccin.
Nos interesa calcular el volumen V de la regin slida tridimensional acotada

arriba por la superficie z = f (x, y) 0 y abajo por la regin rectangular
R : a x b, c y d en el plano xy. Imagina, por ejemplo, que el slido
en cuestin es un pan Bimbo, con la parte de arriba (la funcin z = f (x, y))
medio deformada, como lo muestra la figura. Para calcular el volumen V del pan,
considera una rebanada muy delgadita en el intervalo [x, x + dx] . Si la rebanadita
en la posicin x presenta un rea transversal A(x), entonces su volumen sera
simplemente A(x) dx (rea de la rebanaditasu grosor). As, el volumen V del
pan es la suma de los volmenes de todas las rebanaditas, desde x = a hasta x = b,
como se expresa en la siguiente integral:
V =
x=b
x=a
A(x) dx.
Para encontrar el rea A(x) de la rebanadita de pan en la posicin x, toma en

cuenta que su superficie corre a lo largo del plano yz. Vista de frente, la rebanadita
comienza en y = c y termina en y = d, y su altura est dada por la curva z = f (x
fija, y). As, el rea A(x) del pan en la posicin x est dada por la siguiente integral:
A(x) =
y=d
y=c
f (x, y) dy
(x fija)
92

Sustituyendo esta expresin para A(x) en la integral para V se tiene
x=b
V =
x=b
y=d
A(x) dx =
x=a
f(x, y) dy
x=a
dx,
y=c
o simplemente,
b
V =
f (x, y) dydx.
a
Un resultado similar se obtiene si, en lugar de rebanar el pan Bimbo a lo largo

del eje x, ste se rebana a lo largo del eje y, como se muestra en la figura.
En ese caso,
y=d
V =
y=d
x=b
A(y) dy =
y=c
f (x, y) dx
y=c
dy,
x=a
o simplemente
d
V =
f (x, y) dxdy.
c
Estos resultados proporcionan una manera prctica de calcular la integral doble

f(x, y) dA a lo largo de una regin rectangular R, aunque la funcin f pueda
R
tomar valores negativos en R y la integral doble pierda el significado geomtrico
de volumen. Su formalizacin conduce al siguiente teorema, conocido como
Teorema de Fubini (primera forma), vlido slo para regiones R rectangulares. En
la seccin 3.2 se presentar una versin ms general de este teorema, el Teorema
de Fubini (forma fuerte), que se aplica en el caso de regiones R ms generales (no
rectangulares).
93

Teorema de Fubini (primera forma)
Si f(x, y) es continua en la regin rectangular R : a x b, c y d,
entonces
d
f (x, y) dA =
f (x, y) dxdy =
f (x, y) dydx.
a
Una expresin del tipo c a f(x, y) dxdy se conoce como integral doble
iterada, ya que su clculo se lleva a cabo mediante dos iteraciones. En la primera
iteracin integras parcialmente f con respecto a x,
b
f (x, y) dx,
a
manteniendo y fija; al evaluar en los lmites x = a y x = b el resultado de esta

integracin es, por lo general, una funcin de y. En la segunda iteracin integras la
funcin obtenida con respecto a y,
d
f (x, y) dx dy,
c
obteniendo como resultado final un nmero (no una funcin). La misma

interpretacin se tiene para la integral doble iterada con el orden invertido,
b d
f (x, y) dydx.
a c
De acuerdo con este Teorema, en el caso de una regin rectangular R puedes
integrar f (x, y) en el orden que te resulte ms conveniente, siempre y cuando
utilices los lmites de integracin apropiados en cada iteracin: la integral con
respecto a x va de x = a a x = b, y la integral con respecto a y va de y = c a y = d.
El resultado final (un nmero) ser el mismo para cualquier orden que escojas.
94

Por ejemplo, calculemos la integral doble
f(x, y) dA de la funcin
R
f(x, y) = 1 6xy 2 a lo largo de la regin R : 1 x 1, 0 y 2. Una
manera de proceder es la siguiente:
2
1 6xy 2 dxdy
f (x, y) dA =
R
0
2
1 6xy 2 dx dy
=
0
x 3x2 y 2
=
0
x=1
x=1
dy
1 3y 2 1 3y 2
=
0
dy
2 dy
0
= [2y]y=2
y=0 = 4.
Equivalentemente, puedes proceder en el orden inverso, a saber,
1
1 6xy 2 dydx
f (x, y) dA =
R
1
1
0
2
1 6xy 2 dy dx
=
1
1
y 2xy 3
=
1
1
=
1
1
=
1
2
0
dx
[(2 16x) 0] dx
(2 16x) dx
2x 8x2
x=1
x=1
= 4.

b
Una integral doble

f (x, y) dA del tipo a c f (x, y) dydx o del tipo
R
d b
f (x, y) dxdy, es decir, con lmites de integracin constantes, es vlida slo
c a
para regiones rectangulares R = {(x, y) R2 | a x b, c y d} . En el
95

caso de regiones R ms generales, el Teorema de Fubini en su versin anterior
debe modificarse, como se describe a continuacin.
Considera nuevamente el problema de encontrar el volumen V de un pan
Bimbo, limitado arriba por una superficie no negativa z = f (x, y) 0 y abajo
por una regin acotada R en el plano xy. Ahora supn que el pan viene un
poco apachurradito de los lados, de modo que la regin R de su base ya no es
rectangular. Una primera opcin es que los lados x = a y x = b del pan todava
son planitos, pero los lados correspondientes a las coordenadas y ya no son y = c y
y = d, sino ms bien y = g1 (x) y y = g2 (x). En otras palabras, se trata de la regin
(
)
R = (x, y) R2 | a x b, g1 (x) y g2 (x) .
Nuevamente, aqu el volumen V del pan es la suma de los volmenes de todas

x=b
las rebanaditas, desde x = a hasta x = b, es decir, V = x=a A(x) dx, pero
ahora el rea A(x) de la rebanadita de pan en la posicin x (fija) ya no es
y=d
y=g (x)
A(x) = y=c f (x, y) dy sino ms bien A(x) = y=g12(x) f (x, y) dy. En otras
palabras, se tiene
!
x=b
V =
x=b
y=g2 (x)
A(x) dx =
x=a
f (x, y) dy
x=a
dx,
y=g1 (x)
o simplemente,
b
g2 (x)
V =
f(x, y) dydx.
a
g1 (x)
Una segunda opcin es que los lados y = c y y = c del pan son los que siguen
planitos, pero los lados x = a y x = b estn deformados de acuerdo con x = h1 (y)
y x = h2 (y). En otras palabras,
(
)
R = (x, y) R2 | c y d, h1 (y) x h2 (y) .
96
Con un razonamiento anlogo al caso anterior, se tiene

y=d
V =
y=d
x=h2 (y)
A(y) dy =
y=c
f (x, y) dx
y=c
x=h1 (y)
dy,
o simplemente,
d
h2 (y)
V =
f (x, y) dxdy.
c
h1 (y)
Estos resultados proporcionan una manera prctica de calcular la integral doble

f (x, y) dA a lo largo de una regin no rectangular R, aun en el caso general
R
en que la funcin f tome valores negativos en R. Este caso corresponde al Teorema
de Fubini (forma fuerte).
Teorema de Fubini (forma fuerte)
Sea f(x, y) continua en una regin acotada R del plano xy.
1. Si R : a x b, g1 (x) y g2 (x), con g1 y g2 continuas en [a, b] , entonces
b
g2 (x)
f (x, y) dA =
R
f (x, y) dydx.
a
g1 (x)
2. Si R : c y d, h1 (y) x h2 (y), con h1 y h2 continuas en [c, d] , entonces

d
h2 (y)
f (x, y) dA =
R
f (x, y) dxdy.
c
h1 (y)
Las regiones tipo 1 se conocen como regiones y-simple, mientras que las tipo 2
se conocen como regiones x-simple. A continuacin veremos algunos ejemplos.
97

Ejemplos:
1. Evala la integral doble iterada de la funcin f (x, y) = 2xy en la regin R

limitada por las grficas de y = x, y = x2 + 1, x = 1 y x = 2.
Esta es una regin y-simple, de modo que
f(x, y)dA =
=
=
2
x2 +1
2xy dydx
1 x
2
2
2 y=x +1
[xy
]
dx
y=x
1 %
&
2
2
2
2
x
(x
+
1)
x
(x)
dx
1
x=2
1 4
1 2
3
(x + 1) x
6
4
63
= .
4
x=1
2. Evala la integral doble iterada de la funcin f (x, y) = ex+3y en la regin R

limitada por las grficas de y = x, y = 5 x, y = 1 y y = 2.
Esta es una regin x-simple, de modo que
5y
f (x, y) dA = 1 y ex+3y dxdy

2
x=5y
= 1 [ex+3y ]x=y dy
2
= 1 [e5+2y e4y ] dy
y=2
1
1
= e5+2y e4y
2
4
y=1
1 9 1 8 1 7 1 4
= e e e + e.
2
4
2
4
3. Evala la integral doble iterada de la funcin f (x, y) = 1 en la regin finita R

limitada por las grficas de y = x2 y y = 8 x2 .
Aunque ninguna de las grficas que limitan la regin R es recta, como en los
ejemplos anteriores, aun as podemos identificar la regin como una y-simple,
98

de modo que
2
8x2
f (x, y) dA = 2 x2 1 dydx
2
2
= 2 [y]y=8x
dx
y=x2
2
2
= 2 [8 2x ] dx
x=2
2 3
= 8x x
3
x=2
64
= .
3

En algunas ocasiones puede resultar conveniente intercambiar el orden de
integracin en una integral iterada, en particular, cuando sea mucho ms simple
integrar en un orden que en el otro. En otras ocasiones, sin embargo, intercambiar
el orden de integracin no slo resulta conveniente, sino necesario, como lo
muestra el siguiente ejemplo.
Supn que necesitas evaluar la integral doble iterada de la funcin
2
f(x, y) = xey en la regin R del primer cuadrante limitada arriba por la grfica de
y = 4 y abajo por la grfica de y = x2 . De acuerdo con la siguiente figura, aqu lo
ms natural es considerar la regin R como una del tipo y-simple.
De este modo,
2
xey dydx
f(x, y) dA =
x2
0
2
99
ey dy
x
x2
dx =???,

que no es posible determinar analticamente, ya que no existe una antiderivada
2
simple para ey . Qu hacemos? Nos sentamos a llorar? Claro que no! Te
propongo que intentemos calcular la integral en el orden inverso, es decir,
considerando la regin R como una tipo x-simple.
As,
f (x, y) dA =
R
xey dxdy
0
4
y2
=
0
4
y2
e
0
x dx
0
x2
2
dy
x= y
dy
x=0
1 4 y2
y e dy
2 0
1 % y2 &y=4
e
=
4
y=0
1 16
=
e 1 .
4
Y el problema ha quedado resuelto! Cabe sealar que no en todos los casos
funcionar este truco, pero siempre vale la pena intentarlo. A continuacin
presentamos algunos otros ejemplos para practicar el cambio de orden en integrales
dobles iteradas.
=
100

Ejemplos:
1. Bosqueja la regin de integracin y cambia el orden de integracin en
2 2x
f (x, y) dydx.
0 x2
La figura del lado izquierdo muestra la regin original, que es una y-simple, y la
figura del lado derecho ilustra su interpretacin como una regin x-simple.
De esta manera,
2
2x
f(x, y) dydx =
0
x2
f(x, y) dxdy.
0
y/2
2. Bosqueja la regin de integracin y cambia el orden de integracin en

2
x+2
f (x, y) dydx.
1 x2
La figura del lado izquierdo muestra la regin y-simple original. La figura del
lado derecho ilustra su interpretacin como una regin x-simple, en la cual
debes notar el cambio de regla de correspondencia de la funcin "entra.alrededor
de y = 1.
De esta manera,
2
x+2
f (x, y) dydx =
1
x2
f (x, y) dxdy +
f(x, y) dxdy.
1
101
y2

3. Dibuja la regin R y escribe
f(x, y) dA en las dos posibles formas, si R

3
1
es la regin finita que est limitada por las grficas de x = y 2 y y = x .
2
2
De acuerdo con la siguiente figura, la manera ms sencilla de expresar la integral
doble es cuando la regin R es considerada como una del tipo x-simple.
R
En ese caso,
3
2y+3
f (x, y) dA =
R
f (x, y) dxdy.
1
y2
Por otra parte, si la regin es considerada como una del tipo y-simple, es
necesario considerar el cambio de regla de correspondencia alrededor de x = 1,
como lo muestra la siguiente figura.
De este modo,
1
f(x, y) dA =
R
f(x, y) dydx +
1
102
x
x3
2
f (x, y) dydx.

3.4.1
rea de regiones acotadas en el plano
Una de las aplicaciones de las integrales dobles es el clculo de reas de regiones

planas acotadas. Para calcular el rea AR de una regin R en el plano xy se utiliza
el truco de calcular el volumen V de la regin slida tridimensional sobre el
plano xy acotada abajo por R y arriba por un plano horizontal de altura unitaria,
z = f (x, y) = 1. Como la altura es igual a 1, el volumen y el rea coinciden
numricamente, es decir, V = AR .
Recurriendo nuevamente al concepto de suma de Riemann para determinar el

volumen aproximado Sn de n paraleleppedos encerrados entre la grfica de f y la
regin R, se tiene
n
Sn =
k=1
f (xk , y k ) Ak =
de modo que
k=1
1 Ak ,
AR = lm
k=1
1 Ak =
dA.
R
Definicin. El rea AR de la regin plana R cerrada y acotada del plano xy es

la integral
AR =
dA.
R
103

Ejemplo:
Calcula el rea AR de la regin finita R limitada por las grficas de y = x y
y = x2 .
De acuerdo con la figura, se tiene
AR =
=
=
=
dA
1 x
dydx
0 x2
1
y=x
[y]
y=x2 dx
0
1
[x x2 ] dx
0
1
= .
6
Nota que el resultado 0 [x x2 ] dx coincide con el obtenido en la seccin 1.5

b
para el clculo del rea entre curvas, a |f (x) g(x)| dx.
3.4.2
Valor promedio
La definicin del valor promedio de una funcin de dos variables f (x, y) a lo largo
de una regin R en su dominio es una extensin de la definicin que estudiamos
previamente en la seccin 1.5 para el caso de funciones de una variable.
Definicin. El valor promedio f de una funcin continua f (x, y) a lo largo de

una regin R en su dominio es el nmero
f=
donde AR =
1
AR
f(x, y) dA,
R
dA es el rea de la regin R.
Para entender su significado geomtrico consideremos una funcin no negativa

f 0 en la regin R. Nos preguntamos qu altura f debera tener una funcin
constante z = f de tal modo que el volumen V2 = f AR encerrado por esta
104

funcin en una regin plana R sea igual al volumen V1 =
f (x, y) dA
R
encerrado por la funcin z = f (x, y) a lo largo de esa misma regin.
Como
V2 = V1 ,
por lo tanto,
f AR =
1
f =
AR
f(x, y) dA,
de modo que
f (x, y) dA.
Por ejemplo, calculemos el valor promedio f de la funcin f (x, y) = xy en la

regin finita R del ejemplo anterior. Ah habamos calculado que el rea AR de la
1
1 x
regin era AR = 0 x2 dydx = . As, de acuerdo con la definicin, el valor
6
promedio de f es
1
AR
1
=
1/6
f =
xy dA
R
x
xy dydx
x2
2 y=x
0
1
= 6
y
2
x
0
dx
y=x2
= 3
0
= 3
=
x3 x5 dx
1 1
4 6
1
.
4
105

En esta seccin veremos cmo plantear y resolver una integral doble utilizando
como herramienta las coordenadas polares. Esto tiene como ventaja poder resolver
2
2
ex +y dA, que no posee una antiderivada en coordenadas
una integral tal como
R
rectangulares. Va primero una breve exposicin sobre coordenadas polares.
A. Introduccin a las coordenadas polares

En coordenadas rectangulares un punto P se representa unvocamente en el
plano xy en trminos de dos cantidades, su distancia dirigida x R al eje y y su
distancia dirigida y R al eje x. En ese caso, al punto lo denotamos por P (x, y).
Por distancia dirigida se entiende que si x > 0 el punto se localiza a la derecha del
eje y, mientras que si x < 0 ste se localiza a su izquierda. Anlogamente, si y > 0
el punto se localiza por encima del eje x, mientras que si y < 0 ste se localiza por
debajo del mismo.
Una representacin alternativa consiste en representar al punto P en trminos
de su distancia dirigida r R al origen de coordenadas O (denominado polo) y el
ngulo dirigido R del eje x (o rayo inicial) al rayo OP. En este caso denotamos
al punto como P (r, ).
106

Las siguientes figuras ilustran el significado de que la distancia dirigida r sea
positiva, r > 0, o negativa, r < 0, para un valor dado del ngulo .
A su vez, las figuras a continuacin ilustran el significado de que el ngulo dirigido

sea positivo, > 0, o negativo, < 0, para un valor dado de la distancia r.
El hecho de que la distancia dirigida r pueda tomar tanto valores positivos como
negativos, y que el ngulo no est limitado a tomar valores entre 0 y 2, hace
que la representacin P (r, ) de un punto en coordenadas polares no sea nica, a
diferencia de su representacin P (x, y) en coordenadas rectangulares. Por ejemplo,
en el siguiente dibujo los puntos P y Q pueden representarse en cualquiera de las
formas indicadas, as como en una infinidad ms.
107
P (3, ) = P (3, 2 + 6 )
6
= P (3, 7
)
6
5
= P (3, 6 )
= ...
Q(4,
5
) = Q(4, 5
8)
4
4
3
= Q(4, 4 )
= Q(4, 4 )
= ...
La conversin entre coordenadas polares y rectangulares se lleva a cabo

mediante las siguientes relaciones.
coordenadas polares a coordenadas rectangulares:
x = r cos
y = rsen
coordenadas rectangulares a coordenadas polares:
r2 = x2 + y 2
= tan1 xy
108

Ejemplos:
1. Encuentra la representacin en coordenadas rectangulares del punto que en
coordenadas polares est dado por P (2, 6 ).
En este caso, r = 2 y = 6 , de modo que
!
3
x = 2 cos = 2
= 3
6
2
y = 2sen
=2
6
1
2
=1
As, la representacin del punto P en coordenadas rectangulares es P ( 3, 1).

2. Encuentra una representacin en coordenadas polares del punto que en
coordenadas cartesianas est dado por Q(1, 1).
En este caso, x = y = 1, de modo que
r2 = x2 + y 2 = 2,
1
= tan1
=
1
4
As,una posible representacin del punto Q en coordenadas polares es
Q( 2, 4 ).
Una ecuacin en coordenadas polares es una relacin de la forma

F (r, ) = 0,
que involucra las variables polares r y . Su representacin grfica corresponde a
una curva en el plano xy, generada por todos los puntos (r, ) que satisfacen la
relacin.
109

Por lo general, en una ecuacin polar de la forma F (r, ) = 0 suele considerarse al
ngulo como la variable independiente y a la distancia r como la dependiente. En
particular, cuando a cada valor de corresponde uno y slo un valor de r decimos
que la ecuacin define a r como funcin de , y lo denotamos por
r = f ().
La ecuacin de muchas de las curvas planas que conocemos puede representarse
tanto en coordenadas rectangulares como en coordenadas polares. Para pasar de
una representacin a la otra se utilizan las transformaciones de coordenadas ya
mencionadas. As, la ecuacin cartesiana (coordenadas rectangulares) de una
circunferencia de radio a y centro en el origen,
x2 + y 2 = a2 ,
puede representarse en forma polar simplemente como
r = a.
Similarmente, la ecuacin polar
r2 cos sen = 1
corresponde en coordenadas rectangulares a la ecuacin
xy = 1.
Para una misma curva, una representacin puede resultar ms simple y concisa
que otra, como lo muestran los ejemplos anteriores. Tambin observamos que una
relacin que no define una funcin en una representacin s puede definirla en la
otra. As, en el segundo ejemplo, la relacin r2 cos sen = 1 no define a r como
funcin de (a un valor de le corresponden dos valores de r), pero la relacin
xy = 1 s define a y como funcin de x (a cada valor de x le corresponde un nico
valor de y).
Ejemplos:
1. Grafica la curva con ecuacin polar r = 2.
Como ya mencionamos, esta ecuacin describe una circunferencia con centro
en el origen y radio 2 ( libre).
110

Nota que pudiste haber obtenido esta misma curva con la ecuacin polar
r = 2. Ambas posibilidades son compatibles con la ecuacin cartesiana de
esta circunferencia, a saber, x2 + y 2 = 4.
2. Grafica la curva con ecuacin polar = .

6
Esta curva corresponde a todos los puntos del plano correspondientes a un
ngulo fijo de radianes (r libre), es decir, la ecuacin describe una recta a 30

6
que pasa por el origen.
3
x.
Nota que la ecuacin cartesiana de esta curva es y = (tan )x =
6
3
3. Grafica la curva con ecuacin polar r = , con 0.
Esta ecuacin describe una curva en la que el radio r aumenta en la misma
cantidad que el ngulo , de modo que se trata de una espiral. Una simple
tabulacin nos permite esbozar su grfica, como se muestra a continuacin.
r=
0
3
2
3
2
Su ecuacin cartesiana es una grosera de la forma x2 + y 2 = tan1

que est muy, muy feta la pobre.
111
y
x

4. Grafica la curva con ecuacin polar r = 4 sen .
A partir de la tabulacin trazamos la grfica de esta ecuacin, en la que
descubrimos que se trata de una circunferencia con centro en (0, 2) y radio 2.
2
2
3
3
4
5
6
7
6
5
4
4
3
3
2
5
3
7
4
11
6
r = 4 sen
0
2
22 = 2.8
2 3 = 3.5
4
23 = 3.5
2 2 = 2.8
2
0
2
22 = 2.8
2 3 = 3.5
4
23 = 3.5
2 2 = 2.8
2
0
Su ecuacin cartesiana es x2 + y 2 = 4y, o bien, completando cuadrados,

x2 + (y 2)2 = 4.
112

5. Grafica la curva con ecuacin polar r = 3 cos(3).
A partir de la tabulacin trazamos la grfica de esta ecuacin, en la que
descubrimos que se trata de un trbol de tres hojas.
2
2
3
3
4
5
6
7
6
5
4
4
3
3
2
5
3
7
4
11
6
r = 3 cos(3)
3
0
3 2 2 = 2.1
3
0
3
3 2
= 2.1
2
0
3
0
3 2
= 2.1
2
3
0
3
3 2 2 = 2.1
0
3
Su ecuacin cartesiana es (x2 + y 2 ) (x2 + y 2 + 36x) = 12x3 .
113

6. Grafica la curva con ecuacin polar r = 2(1 sen ).
A partir de la tabulacin trazamos la grfica de esta ecuacin, que se trata de
una cardioide.
2
2
3
3
4
5
6
7
6
5
4
r = 2(1 sen )
2
1
2 1
2 1
0
2 1
2 1
1
2
3
2 1+
4
3
3
2
5
3
2 1+
4
7
4
11
6
2 1+
3
2
2 1+
2
2
3
2
3
2
2
2
2
2
3
2
3
2
2
2
= 0.6
= 0.3
= 0.3
= 0.6
= 3.4
= 3.7
= 3.7
= 3.4
Su ecuacin cartesiana es (x2 + y 2 + 2y) = 4 (x2 + y 2 ) .
114

Una curva F (r, ) = 0 divide al plano en regiones alrededor de ella,
determinadas por desigualdades del tipo
F (r, ) 0 o
F (r, ) > 0,
dependiendo si la regin correspondiente es un conjunto cerrado o abierto. Para

ilustrar este concepto, a continuacin veremos algunos ejemplos.
Ejemplos:
1. Dibuja la grfica de la regin en el plano definida por 0 r 1.
2. Dibuja la grfica de la regin en el plano definida por
.
6
3
3. Dibuja la grfica de la regin en el plano definida por 1 r 2.
115

4. Dibuja la grfica de la regin en el plano definida por 0 r 1, 0
5. Dibuja la grfica de la regin en el plano definida por 0 r 1,
.
2
4
6. Dibuja la grfica de la regin en el plano definida por r 1, 0
7. Dibuja la grfica de la regin en el plano definida por r R, R.
116
3
.
4
.
4

8. Identificala regin
R delplano definida en coordenadas rectangulares por
0 x 2, 2 y 4 x2 , y luego escrbela en coordenadas polares.

La siguiente figura muestra la grfica de la regin R.
Deseamos expresar R en la forma mn max , rmn () r rmax ().

En este caso, es claro que mn = /4 y max = /2. Asimismo, notamos que
rmax = 2, independientemente del valor de . En contraste,
rmn s es funcin de
, ya que rmn = 2 en = /4, mientras que rmn= 2 en = /2. Tomando

en cuenta que sen = 2/rmn , se tiene rmn = 2/sen . De esta manera, R
es la regin
,
2
4
2
r 2.
sen
B. Integrales dobles en forma polar
Al parecer, ya estamos listos para definir y plantear una integral doble en
coordenadas polares. Para ello, supn que tienes una integral doble en coordenadas
rectangulares
f(x, y)dA de una funcin continua f(x, y) a lo largo de una
R
regin R en el plano, y deseas plantearla como una integral doble equivalente en
coordenadas polares, es decir,
f (x, y)dA =
R
F (r, )dApol ,
R
en donde F (r, ) es la funcin f(x, y) expresada en coordenadas polares y dApol

es la diferencial de rea en esas coordenadas. Hay tres puntos importantes que
debemos notar, como se expone a continuacin.
117

1. Para obtener la funcin F (r, ) simplemente sustituyes la transformacin
x = r cos y y = rsen en la funcin f (x, y).
Ejemplos:
a. Si f(x, y) = xex+2y , entonces
F (r, ) = f (r cos , rsen)
= (r cos ) er cos +2rsen .
b. Si f(x, y) = x2 + y 2 , entonces
F (r, ) = f (r cos , rsen)
= (r cos )2 + (rsen)2
= r2 cos2 + sen2 = r2 .
2. En coordenadas rectangulares, la diferencial de rea dA = dydx = dxdy
alrededor de cada punto (x, y) se obtiene como el rea de un pequeo rectngulo
de lados dx y dy alrededor de ese punto.
Similarmente, la diferencial de rea dApol en coordenadas polares alrededor

de cada punto (r, ) se obtiene como el rea de un pequeo pedacito de pizza
alrededor de ese punto, correspondiente a un incremento dr en el radio r y un
incremento d en el ngulo .
118

Para encontrar la diferencial de rea dApol , nota primero que el rea Ar de un
pedazo de crculo con radio r y ngulo est dada por
Ar =
r2
,
2
como se obtiene de la regla de tres que se explica a continuacin.
ngulo rea
2 r 2
Ar
Ar =
(r 2 )
r2
=
.
2
2
A partir de esto, la diferencial de rea dApol para el pedazo de pizza

de ngulo = d puede obtenerse como la diferencia entre el rea
(d) (r + 12 dr)2
A(r+ 1 dr)d =
de un pedazo de crculo de radio r + 12 dr y el rea
2
2
(d) (r 12 dr)2
A(r 1 dr)d =
de un pedazo de crculo de radio r 12 dr, como
2
2
lo muestra la siguiente figura.
119

De esta manera,
dApol = A(r+ 1 dr)(d) A(r 1 dr)(d)
2
(d) (r + 12 dr)2 (d) (r 12 dr)2

=
2
2
1
1
1
=
(r + dr)2 (r dr)2 d
2
2
2
*
!
!+
2
2
1
(dr)
(dr)
=
r2 + rdr +
r2 rdr +
d
2
4
4
1
[2rdr] d
2
= rdrd.
=
As, la diferencial de rea en coordenadas polares est dada por

dApol = rdrd.
3. Por ltimo, tpicamente escribiremos la regin de integracin R como una de la
forma 1 2 , r1 () r r2 (), obtenida de la manera que lo hicimos en
los ejemplos previos.
En resumen, la integral
f (x, y)dA puede escribirse en coordenadas polares
R
como una integral doble iterada de la forma
2
r2 ()
F (r, ) r dr d.
1
r1 ()
Ejemplos:
2
1. Calcula
ex +y dA, a lo largo de la regin R : 1 x 1,
R
0 y 1 x2 .
La siguiente figura muestra la regin de integracin R para este caso.
120

En coordenadas rectangulares, el problema consiste en calcular la integral doble
1x2
ex
1
2 +y 2
dydx,
pero esto es imposible, ya que el integrando no posee una antiderivada. Por

esta razn, y tomando en cuenta la simetra circular del problema, vale la pena
plantear esta integral doble en coordenadas polares. Para ello, primero nota que
el integrando se convierte en
ex
2 +y 2
= er
cos2 +r2 sen2
= er .
Por otra parte, la regin de integracin R es el semicrculo x2 + y 2 = 1, y 0,

que en coordenadas polares corresponde a la regin
0 , 0 r 1,
como se muestra en la figura.
Por ltimo, la diferencial de rea se transforma de acuerdo con

dydx r drd.
De este modo, obtenemos
1x2
ex
1
2 +y 2
er r drd
dydx =
0
=
0
1 r2
e
2
r=1
d
r=0
1
(e 1)
d
2
0
=
(e 1) .
2
=
121

2. Calcula el rea AR de la regin R : 0 x 2, 2 y 4 x2 .

La siguiente figura muestra la regin de integracin R correspondiente.
En coordenadas rectangulares, el rea AR de la regin R es la integral doble
AR =
4x2
dydx =
2
0
4 x2 2
dx.
A
diferencia del ejemplo 1, en este caso s existe una antiderivada de la funcin
4 x2 , que puedes encontrar en tablas de integracin. Aqu transformaremos
esta integral doble a su forma polar, aprovechando que la regin R es la misma
que vimos en el ejemplo 8 del inciso A de esta seccin. De esta manera,
AR =
=
=
=
2
2
sen
2
2
r
2
2
sen
1
2
2
2 4
sen2
2
2
% &
r drd
d
(2 csc ) d
= [2 + cot ]
= + cot 2
= 12 1
+ cot 4
en donde utilizamos que cot 2 = 0 y cot 4 = 1.

Muchas de las integrales de inters en la teora de probabilidad son integrales
definidas sobre regiones no acotadas en el plano, donde algunos de los lmites de
integracin es de la forma , es decir, se trata de integrales dobles impropias
(de dominio infinito). Las integrales correspondientes pueden plantearse ya sea
122

en coordenadas rectangulares o bien en coordenadas polares, de acuerdo con la
simetra del problema. Para su evaluacin, se procede de manera anloga al caso
de las integrales simples que estudiamos en la seccin 2.2, como veremos en los
ejemplos a continuacin.
Ejemplos:
1
dydx.
x3 y
En este caso, se tiene simplemente
1. Evala
1
ex
1
ex
1
dydx =
x3 y
b
b
ex
1
b
lm
1
b
lm
1
b
lm
1
b
lm
lm
1
x3
1
x3
1
x3
1
x2
1
dydx
x3 y
[ln y]1ex dx
ln 1 ln ex dx
(0 (x)) dx
dx
b
1
b
x 1
1
= lm + 1 = 1.
b
b
lm
2. Intercambia el orden de integracin en

correspondiente.
123
1
ex
1
dydx y evala la integral
x3 y

De la figura se observa que
1
ex
e1
1
dydx =
x3 y
ln y
1
dxdy +
x3 y
e1
1
dxdy.
x3 y
La evaluacin de estas integrales impropias la dejamos al entusiasta lector,

quien de antemano sabe que el resultado de la suma es igual a 1, como en el
problema anterior.

3. Evala 0 0 xe(x+2y) dydx.
xe(x+2y) dydx =
xe(x+2y) dy dx
lm
lm
xex
lm
0
b
lm
xe
0
e2y dy dx
lm
1
lm e2y
c
2
xex
lm
lm
dx
0
1
1
+
2c
2e
2
dx
b
1
lm
xex dx
2 b 0
1
b
lm xex ex 0
=
2 b
1
b
1
lm
=
b b (0 1)
2 b
e
e
1
1
=
(1) = ,
2
2
donde se utiliz la regla de LHopital en
b L
1
= lm b = 0.
b
b e
b e
4. Demuestra que el rea bajo la curva normal f(x) =
intervalo (, ) es igual a 1, es decir,
lm
Con este fin, define
1
2
2
ex /2 dx = 1.
2
2
1
2
2
ex /2 dx,
2 2
124
2
2
1 ex /2
2 2
en el

y el objetivo ser demostrar que I = 1. Como se tiene una funcin par en el
integrando, por lo tanto podemos escribir
1
2
2
ex /2 dx;
2
2
0
adems, como el integrando es una funcin positiva en (, ) , se tiene que
I=2
I > 0.
Ahora bien, como la integral definida da como resultado un nmero y no una
funcin, es claro que x ah juega el papel de una variable muda, de modo que
tambin podramos haber escrito I como
1
2
2
ey /2 dy.
2 2
0
Aprovecharemos este ltimo hecho para llevar a cabo el truco ms interesante
de la demostracin, que consiste en convertir esta integral simple en una integral
doble. Para ello, calcularemos el cuadrado I 2 como
I=2
I2 =
2
0
1
2
2
ex /2 dx
2
2
2
0
1
2
2
ey /2 dy
2
2
4
2
2
2
=
e(x +y )/2 dxdy,
2
2 0
0
en donde se utiliz el hecho de que las variables x y y son independientes entre
s para escribir el producto de las dos integrales como una integral doble. sta
es una integral impropia que, como hemos mencionado en repetidas ocasiones,
no posee una antiderivada en coordenadas rectangulares. Sin embargo, de
acuerdo con los resultados de la seccin anterior, s puede ser resuelta utilizando
coordenadas polares. Para ello, notamos que la regin de integracin es todo el
primer cuadrante del plano xy, de modo que su representacin polar est dada
simplemente por
I2 =
2
2
/2
0
125
er
2 /2 2
r drd.

Ahora procedemos a calcular esta integral impropia, obteniendo
/2
2
2
2
er /2 r drd
2
0
0
b
2
/2
r2 /2 2
=
[]
l
m
e
r dr
0
b 0
2
%
&b
2
2 r2 /2 2
=
l
m
e
2
2 b
0
1
= lm b2 /22 1 = 1,
b e
Por ltimo, como I > 0, por lo tanto
I2 =
I = 1,
es decir,
1
2
2
ex /2 dx = 1.
2 2

El concepto de integral tambin se puede extender al caso de funciones
w = f (x, y, z) de tres variables, como se expone brevemente a continuacin.
En el caso de funciones y = f (x) de una variable, con f : D R R, la
integral definida es una expresin de la forma
b
f(x) dL =
R
f(x) dx,
a
en donde la regin de integracin R es simplemente un intervalo [a, b] en los reales,

contenido en el dominio D de la funcin, y dL = dx es la diferencial de longitud
en R. En particular, si f 0, entonces la integral definida representa el rea entre
la curva y = f (x) y el eje x, en el intervalo [a, b] .
126

Por otra parte, en el caso de funciones z = f (x, y) de dos variables, con
f : D R2 R, la integral definida doble es una expresin de la forma
f(x, y) dA,
R
en donde la regin de integracin R es un conjunto en el plano, contenido en el

dominio D de la funcin, y dA = dxdy = dydx es la diferencial de rea en R2 . Si
f 0, entonces la integral doble representa el volumen encerrado por la superficie
z = f(x, y) y el plano xy a lo largo de la regin R.
Siguiendo con este razonamiento, en el caso de funciones w = f (x, y, z) de tres

variables, con f : D R3 R, la integral definida triple es una expresin de la
forma
f(x, y, z) dV,
R
en donde la regin de integracin R es un conjunto en el espacio, contenido en el

dominio D de la funcin, y dV = dxdydz = dydxdz = . . . es la diferencial de
volumen en R3 . Es de esperarse que si f 0, entonces la integral triple representa
el hipervolumen encerrado por la hipersuperficie w = f (x, y, z) y la regin R en el
espacio xyz.
127

Muchas de las consideraciones planteadas a lo largo de todo este captulo
pueden generalizarse al caso de integrales triples (promedios, cambio de orden de
integracin, etc...). Su planteamiento y evaluacin, sin embargo, revisten por lo
general de mayor complejidad, por lo que slo abordaremos aqu una aplicacin
muy especfica en el tema, que se refiere al clculo de volmenes, como se explica
a continuacin.
En el caso de las integrales dobles, vimos el clculo de reas de regiones planas
como una posible aplicacin. La idea ah fue determinar el rea AR de una regin
plana R mediante el truco de hacerlo a partir del clculo de la integral doble
1 dA de la funcin f (x, y) = 1 a lo largo de R. En analoga con eso, ahora
R
podemos encontrar el volumen VR de una regin R en el espacio, planteando la
1 dV de la funcin f (x, y, z) = 1 a lo largo de la regin
integral triple
R
espacial R, como se ilustra en los siguientes ejemplos.
Ejemplos:
1. Este es un ejemplo bobo, pero bastante ilustrativo. Se trata de plantear una
integral triple iterada para calcular el volumen VR del paraleleppedo definido
por la regin R : 0 x 1, 0 y 2, 1 z 3.
Como se muestra en la siguiente figura, se trata de una regin con lmites fijos,
en la que z va de 1 a 3, mientras y va de 0 a 2 y x va de 0 a 1.

1
VR =
1 dzdydx,
0
cuyo resultado es 4, como era de esperarse. Cabe sealar que debido a

la simplicidad de la regin R, la integral triple pudo haberse planteado
directamente en cualquiera de las otras 5 maneras distintas, simplemente
intercambiando el orden de integracin, es decir,
2
VR =
1 dzdxdy =
0
1 dxdydz = . . .
1
128

2. Plantea una integral triple iterada para calcular el volumen VR de la regin finita
R del primer octante, limitada por las grficas de los planos x = 0, x = 2, z = 0
y z = 1 y.
De acuerdo con la figura, las seis maneras en las que se puede plantear una
integral triple para calcular el volumen VR de la regin son
2
1y
VR =
dzdydx
0
0
1
0
2
1y
dzdxdy
0
0
2
0
1
1z
dydzdx
0
0
1
0
2
1z
dydxdz
0
0
1
0
1z
dxdydz
0
0
1
0
1y
dxdzdy.
0
129

3. Plantea una integral triple iterada para calcular el volumen VR de la regin
finita R contenida entre las grficas de los paraboloides z = x2 + 3y 2 y
z = 8 x2 y 2 .
Del dibujo puedes observar que, mientras x va de 2 a 2, y va de la curva

y = (4 x2 ) /2 a la curva y = (4 x2 ) /2 y z va de la superficie
z = x2 + 3y 2 a la superficie z = 8 x2 y 2 . En ese caso, te conviene plantear
la integral triple en el orden dzdydx, dado por
2
2
2
2
VR =
2
(4x )/2
(4x2 )/2
130
8x y
x2 +3y2
dzdydx.
Captulo 4
Sucesiones
Las funciones continuas que has estudiado en tus cursos de Clculo no
son tiles por lo general para describir el comportamiento de variables
observables, en el sentido de que estas ltimas suelen ser cuantificadas slo
en ciertos valores especficos de la variable independiente, y no de manera
continua. Por ejemplo, el precio p de un bien a lo largo del tiempo t no se
obtiene en la prctica como una funcin continua de la forma p(t), sino ms
bien como el conjunto de valores p1 , p2 , p3 , . . . , pT correspondientes a los
periodos 1, 2, 3, . . . , T , respectivamente. Suponiendo que puedes determinar
el precio a perpetuidad, ste estara descrito por un conjunto infinito de la
forma
p1 , p2 , p3 , . . .
Es decir, el precio estara dado por una funcin discreta, tal que a cada
nmero entero t 1 le asigna un nico nmero real pt . Una funcin de este
tipo es lo que se conoce como una sucesin de nmeros reales.
Definicin. Una sucesin infinita, o sucesin, de nmeros reales es una
funcin que a cada entero n mayor o igual a algn entero n0 le asigna un
nico nmero real an .
Una sucesin de nmeros reales es una funcin en el sentido que ya
conoces, pero con la caracterstica de que los elementos de su dominio no son
nmeros reales sino enteros. Djame tratar de ser ms clara en este punto.
Una funcin f de una variable continua es un objeto de la forma
f : S R R
x y = f(x)
que a cada elemento x de algn subconjunto S de los reales R le asigna un

nico elemento y = f(x), tambin en R. Si ahora suponemos que
131
Captulo 4 Sucesiones
el dominio es un subconjunto infinito I = {n Z | n n0 } de los enteros Z,
y si en lugar de f denotamos por a a la regla de correspondencia, entonces a la
funcin se le llama sucesin, y es un objeto de la forma
a : I Z R
n an = a(n)
que a cada elemento n del subconjunto I de enteros le asigna un nico elemento
an = a(n) en los reales R.
Por lo general se toma n0 = 1 como primer elemento, aunque tambin es

posible considerar algn otro valor inicial, incluyendo un entero negativo. Una vez
seleccionado el primer elemento, digamos n0 = 1, la sucesin an es el conjunto de
valores
a1 , a2 , a3 , . . .
obtenidos al evaluar la regla de correspondencia an en n = 1, 2, 3, . . . . Una manera
alternativa de denotar la sucesin a1 , a2 , a3 , . . . es {an }, en donde la notacin { }
indica que se trata de un conjunto de valores construdos mediante la regla de
correspondencia dada.
Grficamente, una sucesin de nmeros reales {an } se representa mediante un
conjunto de puntos en la recta real, como se muestra en la siguiente figura.
Tambin puede resultar til (aunque menos elegante!) graficar una sucesin {an }
como una funcin discreta en el plano, en donde el eje horizontal representa
la variable entera n, y el eje vertical, la variable real an ,, como se ilustra en la
132

siguiente grfica.
Para ilustrar lo anterior, consideremos la sucesin

1
,
n
con n 1. Esta regla de correspondencia genera los valores
an =
1,
2,
3,
4,
Imagen:
a1 = 1, a2 = 12 , a3 = 13 , a4 = 14 ,
( )
de modo que la sucesin n1 es conjunto
Dominio:
1 1 1
1, , , , . . . ,
2 3 4
cuyos elementos son nmeros reales de la forma n1 , obtenidos a partir del recproco
de cada entero positivo n. En este listado se sobreentiende que el primer elemento
proviene de n = 1, el segundo de n = 2, y as sucesivamente. Grficamente, la
sucesin an = n1 se representa en la recta real como el conjunto de puntos mostrado
en la siguiente figura.
( )
Alternativamente, la sucesin n1 puede representarse como una funcin discreta
en el plano, como se muestra en la siguiente grfica.
133
Este ejemplo nos permite introducir de manera intuitiva el concepto de lmite de
una sucesin. Por ejemplo, es fcil advertir que a medida que n los valores
1
de la sucesin an = van tendiendo a 0. En este caso, decimos que la sucesin
n
converge a 0, o tiene lmite 0, y lo denotamos por
1
= 0.
n
Ms generalmente, una sucesin es convergente si sus valores tienden a un nico
valor lmite L a medida que n , y esto se escribe como
lm an = lm
lm an = L.
Cuando esto ocurre, se dice que la sucesin converge al lmite L. Si tal lmite no
existe, ya sea porque los valores crecen o decrecen indefinidamente, o porque no
existe un nico valor L, se dice que la sucesin es divergente. La definicin formal
de lmite se presentar despus de los siguientes ejemplos.
Ejemplos:
1. Identifica las siguientes sucesiones, con n0 = 1.
a. {2n }
Se trata de la sucesin 2, 4, 8, 16, 32, 64, . . .
b. {2n}
c. {2n 1}
d. {(1)n (2n + 1)}
e.
(1)n+1
n
n+1
1 2 3 4 5
, , , , ,...
2 3 4 5 6
2. Encuentra la regla de correspondencia en las siguientes sucesiones.
1 1
1 1
a. 1, , , , , . . .
4 9 16 25
1
La regla de correspondencia es an = (1)n+1 2 , n 1.
n
b. 3, 3, 3, 3, 3, . . .
La regla de correspondencia es an = 3, n 1 (funcin constante).
Se trata de la sucesin
134

c. 1, 1, 1, 1, 1, . . .
La regla de correspondencia es an = (1)n , n 1.
d. 1, 0, 1, 0, 1, 0, 1, 0 . . .
La regla de correspondencia es an =
1 (1)n
, n 1.
2
e. 2, 0, 6, 0, 10, 0, 14, 0 . . .
La regla de correspondencia es an = [1 (1)n ] n, n 1.
3. Identifica las siguientes sucesiones (n 1). Grafcalas como puntos en la recta

real y tambin como funciones discretas en el plano. Finalmente, determina si la
sucesin es convergente o divergente.
n1
a. an =
n
1 2 3 4
Se trata de la sucesin 0, , , , , . . .
2 3 4 5
Como
n1
= lm
n
n
por lo tanto la sucesin converge a 1.
lm an = lm
b. an = 2
Se trata de la sucesin 2, 2, 2, 2, 2, . . .
135
1
n
= 1,
Como
lm an = lm 2 = 2,
por lo tanto la sucesin converge a 2.
c. an = n

Se trata de la sucesin 1, 2, 3, 4, 5, . . .
Como
lm an = lm
por lo tanto la sucesin diverge.

d. an = (1)n+1
n = ,
n1
n
Se trata de la sucesin 0, 12 , 23 , 34 , 45 , 56 , . . .
Como
n1
n
n
n
no existe, ya que los valores no tienden a un nico lmite (van alternando
hacia 1 y hacia 1), por lo tanto la sucesin diverge.
lm an = lm
(1)n+1
136

Definicin. Una sucesin {an } de nmeros reales converge al nmero L si para
todo nmero > 0 existe un correspondiente entero N() tal que para todo n
n>N
|an L| < .
En ese caso, escribimos lm an = L, o simplemente an L, y llamamos a L el

n
lmite de la sucesin. Cuando tal nmero L no existe decimos que {an } diverge.
De acuerdo con la definicin, una sucesin {an } tiene lmite L si, a medida que
n crece, la distancia |an L| entre an y el lmite L se vuelve tan pequea como se
desee. Si denotamos por > 0 a ese parmetro de pequeez, entonces debe existir
algn valor n = N a partir del cual todos los elementos aN , aN+1 , aN+2 , . . . quedan
adentro de la franja [L , L + ], como se muestra en la figura de arriba. Por lo
general, el valor de N es funcin de qu tan estrecha se desee hacer esta franja, es
decir, N = N ().
Ejemplos:
1
n
1. Demuestra formalmente que lm
= 0.
Sea > 0. Mostrar que la sucesin an =

encontrar un valor N() tal que
n>N
1
converge al lmite L = 0 implica
n
"
"
"1
"
" 0" < .
"n
"
Para encontrar ms fcilmente N() es til proceder al revs, es decir, partiendo

de la conclusin
" "
"1"
" " < .
"n"
137
Como n es positiva, se tiene
1
< ,
n
de modo que
1
n> .
As, para garantizar la condicin n > N, podemos escoger

1
N () = .
1
Por lo tanto, concluimos que lm
= 0, ya que para todo > 0 existe
n
n
N() = 1 tal que
"
"
"1
"
1
n>
"" 0"" < .
n
1
2. Demuestra formalmente que lm
= 0.
n
n2
Sea > 0. Debemos encontrar un valor N() tal que
"
"
"1
"
"
n > N " 2 0"" < .
n
Para ello, partimos de
" "
"1"
" " < .
" n2 "
Como n es positiva, se tiene
1
< ,
n2
de modo que
1
n> .
As, escogemos simplemente

1
N() = .
1
n2
Por lo tanto, concluimos que lm
N() =
= 0, ya que para todo > 0 existe
tal que
1
n>
"
"
"1
"
" 0" < .
" n2
"
138

Para demostrar que una sucesin {an } no posee un lmite L se tiene que negar
la definicin
> 0 N Z
[n n > N
|an L| < ] ,
[n n > N
|an L| ] .
que equivale a demostrar que

> 0
N Z
As, debemos mostrar la existencia de alguna > 0 tal que, para cualquier valor
de N, existen elementos an con n > N que se salen de la franja [L , L + ] .
Esto puede ocurrir en cualquiera de los siguientes casos. El primer caso es cuando
los trminos de la sucesin crecen (o decrecen) sin lmite, a medida que n ,
como se muestra en la siguiente figura.
En el segundo caso, los trminos de la sucesin no crecen o decrecen

indefinidamente, pero tampoco tienden un nico valor a medida que n . Esto
se ilustra en la siguiente figura, en donde los trminos de la sucesin a la larga se
acumulan alrededor de dos valores diferentes, r1 y r2 .
En este ltimo caso, los valores r1 y r2 no se llaman puntos lmite (un punto lmite
es nico!) sino ms bien se denominan puntos de acumulacin.
139
Definicin. Se dice que r es un punto de acumulacin de una sucesin {an } de
nmeros reales si para todo nmero > 0 existe un nmero infinito de elementos
ak de la sucesin tales que |ak r| < .
La diferencia entre un punto lmite L y un punto de acumulacin r es la
siguiente: para que L sea un punto lmite es necesario que a partir de un cierto valor
n = N todos los elementos an, con n > N , estn a una distancia de L menor que
, mientras que r es un punto de acumulacin si existe una infinidad ( no todos!)
de elementos an , con n > N, a una distancia de r menor que .
Notamos que todo punto lmite es un punto de acumulacin, pero no lo contrario.

Es claro, as, que una sucesin puede tener varios puntos de acumulacin, pero a lo
ms un punto lmite.
Definicin. Una sucesin {an } de nmeros reales es creciente si para todo n se
cumple que an < an+1 . La sucesin es no decreciente si para todo n se cumple
an an+1 .
140

Ejemplos:
1. La sucesin an =
n1
es creciente, ya que como
n
n2 1 < n2
(n + 1)(n 1) < (n)(n)
n1
n
<
n
n+1
(n + 1) 1
n1
<
n
(n + 1)
an < an+1 .
2. La sucesin an = 3 es no decreciente, ya que como

33
an an+1 .
Una definicin anloga puede establecerse para el caso de sucesiones
decrecientes (an > an+1 ) y no crecientes (an an+1 ), pero aqu la omitiremos
por carecer de importancia para el desarrollo de los temas que abordaremos a
continuacin.
Definicin. Una sucesin {an } de nmeros reales est acotada superiormente
si existe un nmero real M tal que para todo n se cumple que an M. En ese
caso, se dice que M es una cota superior para {an } .
Si una sucesin est acotada superiormente, entonces sta posee una infinidad
de cotas superiores M1 , M2 , . . .
141
Definicin. Si L es una cota superior para una sucesin {an } de nmeros reales,
pero ningn otro nmero menor que L es una cota superior de {an }, entonces se
dice que L es la mnima cota superior de {an } .
Debido a que an R, y R es un conjunto completo, entonces cualquier sucesin
{an } que est acotada superiormente posee una mnima cota superior L, que es
nica, y est dada por el supremo del conjunto {an }.
Teorema de la sucesin no decreciente. Una sucesin no decreciente {an } de

nmeros reales converge si y slo si sta est acotada superiormente. Cuando la
sucesin converge, sta lo hace a su mnima cota superior L, es decir,
lm an = L.
Antes de presentar los teoremas para calcular lmites, vale la pena mencionar
brevemente un par de aspectos importantes.
1. A partir de cada sucesin {an } se puede construir una subsucesin {bn } . Por
ejemplo, a partir de la sucesin 1, 12 , 13 , 14 , . . . podemos construir subsucesiones
tales como 1, 13 , 15 , 17 , . . ., o bien 12 , 14 , 16 , 18 . . .. Al respecto, es posible demostrar
que:
i) Si una sucesin {an } converge a un lmite L, entonces cualquiera de sus
subsucesiones {bn } converge al mismo lmite L.
142

ii) Si alguna de las subsucesiones {bn } de la sucesin {an } diverge, o si dos de
ellas convergen a diferentes lmites L1 y L2 , entonces {an } diverge.
2. Adems de las representaciones ya mencionadas para denotar una sucesin
{an } existe otra representacin alternativa, denominada relacin de recurrencia.
En esta ltima, en lugar de especificar la regla de correspondencia an , ms bien
se establece la relacin que guardan entre s cualesquiera dos elementos del
conjunto. Por ejemplo, en lugar de definir la sucesin de potencias de 2,
2, 4, 8, 16, 32, 64, . . . ,
como la regla de correspondencia an = 2n , n 1, podemos definirla a travs de
la relacin de recurrencia
an+1 = 2an ,
a1 = 2.
en la que se establece que el primer trmino de la sucesin, a1 , es 2 y, a
partir de ste, cada trmino es el doble del anterior, an+1 = 2an . Este tipo de
representacin se utiliza en economa, por ejemplo, para definir la sucesin
temporal de los precios de un bien, relacionando el precio pt del bien en el
perodo t con su precio pt1 en el perodo anterior t 1.
Teoremas para calcular lmites de sucesiones
El primer teorema de lmites, presentado a continuacin, se refiere al lmite de
sucesiones obtenidas a partir de operaciones algebraicas simples entre sucesiones.
Teorema. Sean {an } y {bn } sucesiones de nmeros reales y A, B, k R. Si
lm an = A y lm bn = B, entonces
1. lm (an + bn ) = A + B
Regla de la suma
2. lm (kan ) = kA
Regla del mltiplo constante
3. lm (an bn ) = AB
Regla del producto
n
n
n
4. lm
an
bn
A
, B=0
B
Regla del cociente
Ejemplo:
lm
5n 4
n
=
=
lm
4
n
lm 5 4 lm
143
1
n
= 5.
Nota que el lmite de la suma de sucesiones es la suma de los lmites slo si cada
uno de esos lmites existe. Lo mismo sucede con el lmite del mltiplo constante,
del producto y del cociente de sucesiones. En relacin con esta ltima propiedad,
debe ser claro que
lm (5n 4)
5n 4
n
lm
=
,
n
n
lm n
n
ya que tanto el lmite en el numerador como en el denominador divergen. Tambin
vale la pena sealar que si una sucesin {kan } converge, con k = 0, entonces
{an } converge, y que si {an } diverge, entonces {kan } diverge, para k = 0. Como
consecuencia de este ltimo resultado, si una sucesin es divergente, lo seguir
siendo aunque la dividas por un nmero muy grande.
El siguiente teorema puede ser til para calcular el lmite de sucesiones que
estn acotadas por otras sucesiones, que son ms simples, y de las cuales t ya
conoces su lmite.
Teorema del sandwich para sucesiones. Sean {an} , {bn } y {cn } sucesiones
de nmeros reales. Si an bn cn , para todo n n0 , para algn n0 > 1, y si
lm an = lm cn = L, entonces
lm bn = L.
Ejemplos:
1. Demuestra que lm
n
Sabemos que
cos n
= 0.
n
1 cos n 1,
de modo que
para todo n 1. As
lm
1
n
1
cos n
1
.
n
n
n
cos n
1
lm
.
n n
n n
lm
Como
1
1
= lm
n
n n
n
por el teorema del sandwich concluimos que
cos n
lm
= 0.
n n
lm
144
= 0,

1
2. Demuestra que lm n = 0.
n 2
Sabemos que
2n n,
para todo n 1. Por lo tanto,
1
1
.
n
2
n
0
As
lm 0 lm
Como
1
1
lm .
n
n
2
n
1
= 0,
n
n n
lm 0 = lm
lm
1
= 0.
2n
1
= 0.
3. Demuestra que lm
n n!
Para aplicar el teorema del sandwich debemos encontrar dos sucesiones que
converjan a 0 y que puedan relacionarse a la sucesin dada. Una posibilidad
para ello se basa en el hecho de que, para n 4,
n! = 1 2 3 4 5 6 . . . n = 24 5 6 . . . n
(n4) factores
y
2n = 2 2 2 2 2 2 . . . n = 16 2 2 . . . 2.
(n4) factores
De esta manera, se tiene

n! > 2n ,
es decir,
n! 2n ,
para todo n 4. Por lo tanto,
1
1
n.
n!
2
As,
lm 0 lm
Como
1
1
lm n .
n! n 2
lm 0 = lm
145
1
= 0,
2n
1
lm
= 0.
n n!
Otro resultado de gran utilidad es el teorema del valor absoluto, que se enuncia
a continuacin, que establece que si la sucesin de los valores absolutos de una
sucesin converge a 0, la sucesin original tambin converge a 0.
Teorema del valor absoluto para sucesiones. Si lm |an | = 0, entonces
n
lm an = 0.
Ejemplo:
Demuestra que lm
(1)n
1
n!
= 0.
"
"
"
"
1
1
n
"= 1.
La sucesin correspondiente es an = (1)
, de modo que |an | = ""(1)
n!
n! "
n!
Como ya demostramos en el problema 3,
1
= 0.
lm |an| = lm
n
n n!
As, por el teorema del valor absoluto,
n
lm an = lm
(1)n
1
n!
= 0.
Otro teorema til se refiere al lmite de una composicin de funciones, como se

enuncia a continuacin.
Teorema de la funcin continua para sucesiones. Sea {an } una sucesin de
nmeros reales. Si lm an = L y si f(x) es una funcin que es continua en L y
n
definida en toda an , entonces
lm f (an ) = f
lm an = f (L) .
146

Ejemplos:
1. Demuestra que lm
n+1
= 1.
n
n+1
es la composicin de la funcin de variable continua
n
n+1
f (x) = x con la sucesin an =
. Como
n
La sucesin
lm an = lm
n+1
n
= lm
1+
1
n
= 1,
y como f (x) = x es continua en el lmite 1 y est definida en toda

n+1
, por lo tanto,
an =
n
$
n+1
n+1
lm
lm
=
= 1 = 1.
n
n
n
n
2. Demuestra que lm 21/n = 1.
n
La sucesin 21/n es la composicin de la funcin de variable continua f(x) = 2x

1
con la sucesin an = . Como
n
lm an = lm
1
n
= 0,
y como f (x) = 2x es continua en el lmite 0 y est definida en toda an = n1 , por

lo tanto,
lm ( 1 )
lm 21/n = 2 n n = 20 = 1.
n
Por ltimo, el siguiente teorema te permite calcular el lmite de una sucesin, si

conoces el lmite de su correspondiente funcin continua.
Teorema. Sea f(x) una funcin de variable real, definida para todo x n0 , y
sea {an } una sucesin de nmeros reales, tal que an = f(n), para todo n n0 .
Entonces
lm f(x) = L
lm an = L.
x
147
n+1
n
Por ejemplo, demostremos que lm
= 1. Para ello, primero identifica
la sucesin como
n+1
an =
,
n
para todo n 1, de modo que su funcin continua correspondiente es
f(x) =
x+1
.
x
De este modo, es claro que

an = f (n) =
n+1
.
n
Por ltimo, como

x+1 L
1
= 1,
= lm
x
x
x 1
x
en donde se ha utilizado la regla de LHopital para calcular el lmite tipo
funcin continua f , por el teorema anterior concluimos que
lm f (x) = lm
lm an = lm
n+1
n
para la
= 1.
Nota que el resultado anterior pudo haberse obtenido de una manera directa,
n+1
simplemente aplicando la regla de LHopital a lm
, es decir, derivando
n
n
con respecto a la variable discreta n (como si fuera una variable continua!).
En otras palabras, el teorema anterior justifica calcular directamente el lmite
n+1
lm
como
n
n
lm an = lm
n+1
n
148
= lm
1
1
= 1.

Ejemplos:
5n
1. Calcula lm n .
n 2
5n L
5
= lm n
= 0.
n
n 2
n 2 ln 2
2. Calcula lm [ln(2n + 1) ln n] .
n
Primeramente,
lm
2n + 1
n
n
n
2n + 1
= ln lm
n
n
Utilizando ahora la regla de LHopital, se tiene
lm [ln(2n + 1) ln n] =
lm
2n + 1
n
lm ln
= lm
2
= 2,
1
de modo que
lm [ln(2n + 1) ln n] = ln 2.
n+2
n
n
Primero nota que
n
n
3. Calcula lm
lm
.
n+2
n
=
=
=
=
lm (1 + 2/n)n
lm eln(1+2/n)
lm en ln(1+2/n)
lm e
ln(1+2/n)
1/n
n
lm
= en
( ln(1+2/n)
)
1/n
De acuerdo con la regla de LHopital
2/n2
ln (1 + 2/n) L
1+2/n
= lm
lm
= lm
n
n
n
1/n
1/n2
de modo que
lm
n+2
n
149
= e2 .
2
1 + 2/n
= 2,
Lmites que aparecen frecuentemente
ln n
=0
n
n
2. lm n n = 1
n
3. lm n x = 1, para todo x > 0
1. lm
4. lm xn = 0, para todo |x| < 1

n
x n
5. lm 1 +
= ex , para todo x R
n
n
xn
6. lm
= 0, para todo x R
n n!
Demostracin:
ln n
n
1. lm
2. lm
1/n
1
= lm
= lm
1
n
= 0.
ln n
1/n
lm ln n
n
n = lm n1/n = lm eln n = lm e n = e n n = e0 = 1.
n
3. Sea x > 0. Por lo tanto,
ln x
1/n
lm ln x
lm n x = lm x1/n = lm eln x = lm e n = e n n = e0 = 1.
n
5. Sea x R. Por lo tanto,
lm (1 + x/n)n = lm eln(1+x/n) = lm e
n
n
n
Por regla de LHopital
lm
ln (1 + x/n)
1/n
x/n2
1+x/n
lm
n
1/n2
ln(1+x/n)
1/n
= lm
lm
= en
( ln(1+x/n)
)
1/n
x
1 + x/n
= x,
de modo que lm (1 + x/n)n = ex .

n
Las demostraciones de las propiedades 4 y 6 pueden consultarse en la

bibliografa del curso. Aqu las omitimos por ser bastante ms elaboradas.
Ejemplos:
1. lm 17
n
= 0, en donde se utiliz la propiedad 4, con x = 1/7.
35n
= 0, en donde se utiliz la propiedad 6, con x = 35.
n n!
2. lm
150
n
lm n n = (1)(1) = 1, en donde
3. lm n2 = lm ( n n n n) = lm n n
n
n
n
n
se utiliz la propiedad 2.
n
n
n3
3
4. lm
= lm 1
= e3 , en donde se utiliz la propiedad 5,
n
n
n
n
con x = 3.
ln n
ln n1/2
ln n
5. lm
= lm
= 12 lm
= 12 (0) = 0, en donde
n
n
n
n
n
n
se utiliz la propiedad 1.
6. lm n 5n = lm n 5 n n = lm n 5
lm n n = (1)(1) = 1, en donde
n
n
n
n
se utilizaron las propiedades 2 y 3 (x = 5).

El concepto de sucesin de nmeros reales, an : Z R, puede extenderse para
una sucesin de vectores,

x n : Z Rm , que a cada entero n le asigna un nico
vector
x n en Rm , como se discute a continuacin.
Definicin. Una sucesin de vectores en Rm es una funcin que a cada entero
n mayor o igual a algn entero n0 le asigna un nico vector

x n en Rm .
As como una sucesin de nmeros reales {an } se representa geomtricamente
x n}
por una coleccin de puntos en la recta real (eje x), una sucesin de vectores {
se representa por una coleccin de puntos en el espacio Rm . La siguiente figura
muestra una sucesin de vectores en el plano R2 .
Nota que cuando una sucesin {

x n } en Rm converge, sta no converge a un
nmero real L, sino a un vector L en Rm .

151
Definicin. Una sucesin de vectores {

x n } converge al vector L si para todo
nmero > 0 existe un entero N tal que para todo n
0
0
0
0
n > N 0
x n L 0 < .
x n = L , o simplemente
x n L , y llamamos a L
En ese caso, escribimos lm
n
el lmite de la sucesin. Cuando tal vector L no existe decimos que {

x n } diverge.
Nota que la definicin de convergencia de una sucesin de vectores es una

generalizacin de la correspondiente al caso de sucesiones
en donde se
0 de reales,
0
0
0
ha reemplazado el valor absoluto |an L| por la norma 0 x n L 0 . El siguiente

teorema permite determinar la convergencia de una sucesin de vectores de una
manera simple.
Teorema. Una sucesin de vectores {

x n } en Rm converge si y slo si todas
las m sucesiones de sus componentes convergen en R.
Ejemplo:
Identifica la sucesin {
xn =
x n } en R2 , dada por
2 1
,
, n 1. Analiza
n n
su convergencia e ilustra con una grfica.

En este caso, la sucesin es el conjunto de puntos
(2, 1) , 1,
1
2
2 1
,
3 3
1 1
,
2 4
,... .
Como
2
1
= 0 y lm
n
n
n
de acuerdo con el teorema anterior, se tiene,
lm
= 0,
2 1
,
= (0, 0),
n
n n n
de modo que la sucesin converge al lmite L = (0, 0).
x n = lm
lm
152
r es un punto de acumulacin de la sucesin de vectores

Definicin. El vector
{ x n } si para cada nmero > 0 existe una infinidad de enteros n tales que
xn
r < .
Ejemplo:
La sucesin {
x n } en R2 , dada por
, 1 , n 1, no
x n = (1)n+1 n1
n
posee un punto lmite, pero s presenta dos puntos de acumulacin,

r 1 = (1, 1) y
r 1 = (1, 1).
Para concluir, vale la pena mencionar que las sucesiones de vectores satisfacen
muchas de las propiedades que conocemos para el caso de sucesiones de
reales, tales como el lmite de una suma de sucesiones vectoriales de la forma
{
xn+
y n }, el lmite del mltiplo constante {c
x n }, etc, que aqu omitiremos por
razones de tiempo.

El concepto de sucesin de nmeros reales, an : Z R tambin puede extenderse
para una sucesin de funciones, fn : S R R, que a cada entero n le asigna
una nica funcin de x, fn (x), como se discute brevemente a continuacin.
Definicin. Sea S R. Se dice que {fn } es una sucesin de funciones si para
cada entero n mayor o igual a algn entero n0 existe la funcin fn : S R.
Es claro que para todo x S tal sucesin da lugar a una sucesin de nmeros
reales {fn (x)} , que se obtiene al evaluar cada una de las funciones en el punto
153
x. Para ciertos valores de x la sucesin puede converger y para otros valores
de x sta puede diverger. Para cada nmero x para el que la sucesin {fn (x)}
converge, existe un nmero real determinado de manera nica, que denotamos por
lm fn (x). En general, el valor de este lmite, cuando existe, depender de la
n
eleccin del punto x S, de modo que el lmite lm fn (x) es una funcin f (x),
n
cuyo dominio consta de todos los nmeros x S para los que la sucesin {fn (x)}
converge. Si denotamos por S0 S al conjunto de valores x para los cuales
converge la sucesin {fn }, decimos que la sucesin {fn } converge puntualmente
en S0 .
Ejemplos:
1. Considera la sucesin {fn (x)}, n 1, en donde fn (x) = x/n, para todo x R.
De esta manera, la sucesin es el conjunto de funciones
1x x x
2
, , ,... ,
1 2 3
como se ilustra en la siguiente grfica.
Para esta sucesin, es claro que

lm fn (x) = lm
x
= x lm
n
n
1
n
= x 0 = 0,
para todo x R. De esta manera, la sucesin {x/n} converge a la funcin

f (x) = 0,
para todo x R.
2. Considera la sucesin {fn (x)}, en donde fn (x) = xn , para todo x R. De esta
manera, la sucesin es el conjunto de funciones
( 1 2 3
)
x ,x ,x ,... ,
154

Si x = 1, la sucesin {fn (1)} = {1} converge a 1. Por otra parte, si x = 1,

la sucesin {fn (1)} = {(1)n } diverge, ya que oscila entre 1 y 1. Para
x = 1 sabemos que lm xn = 0 para |x| < 1, mientras que lm xn diverge
n
para |x| > 1; en consecuencia, si |x| < 1, la sucesin {fn (x)} = {xn } converge
a la funcin f (x) = 0, y si |x| > 1, la sucesin diverge. En otras palabras,
lm fn (x) = lm xn =
0,
si 1 < x < 1,
1, si x = 1,
para todo x (1, 1]. De esta manera, la sucesin {xn } converge puntualmente
a la funcin
0, si 1 < x < 1,
f(x) =
1, si x = 1,
en S0 = {x R | 1 < x 1 }.
De la definicin de convergencia puntual se sigue el siguiente teorema.
Teorema. Una sucesin {fn } de funciones fn : S R R converge a una
funcin f : S0 S R si y slo si para todo > 0 y toda x S0 existe un
nmero natural K(, x) tal que si n K(, x), entonces |fn (x) f(x)| < .
En los dos ejemplos anteriores, es posible demostrar que el nmero K(, x)

depende tanto del valor de > 0 como de x S0 . Esto ltimo se debe a que, por lo
general, la convergencia de la sucesin puede ser ms rpida en unos puntos que en
otros. Sin embargo, existen ejemplos en donde la desigualdad |fn (x) f (x)| <
155
se cumple para todos los valores x R, de modo que K es funcin de solamente.
Para estos casos, se dice que la sucesin converge uniformemente.
Definicin. Una sucesin {fn } de funciones fn : S R R converge
uniformemente a una funcin f : S0 S R si para todo > 0 existe un nmero
natural K() (que depende de pero no de x) tal que si n K() y x S0 ,
entonces |fn (x) f (x)| < .
Ejemplo:
Considera la sucesin {fn (x)}, en donde fn (x) = sen(nx+n)
, para todo x R.
n
Claramente, esta sucesin converge a la funcin f (x) = 0, para todo x R. Como
|sen y| 1 para todo y R, por lo tanto
"
"
" 1
" sen(nx + n)
|fn (x) f (x)| = ""
0"" ,
n
n
para todo x R. De esta manera, dada cualquier > 0, al elegir n lo
suficientemente grande se puede hacer |fn(x) f(x)| < para todos los valores
de x simultneamente. En otras palabras, se puede escoger un nmeto natural K()
que no depende de x, por lo que la funcin converge uniformemente.
Una consecuencia inmediata de las definiciones anteriores es que si la sucesin
{fn } converge uniformemente en S0 tambin converge puntualmente en S0 , pero
no viceversa. El hecho de que una sucesin de funciones converja uniformemente
tiene implicaciones bastante atractivas, como se discute a continuacin.
Con frecuencia es conveniente saber si el lmite de una sucesin de funciones
es una funcin continua, una funcin derivable o una funcin integrable.
Desafortunadamente, no siempre ocurre que el lmite de una sucesin de funciones
tenga estas propiedades.
Ejemplos:
1. Considera la sucesin de funciones {xn } del ejemplo 2 anterior, en donde cada
funcin fn (x) = xn es continua y derivable para todo x R. Como vimos, esta
sucesin converge a la funcin
f(x) =
0,
si 1 < x < 1,
.
1, si x = 1,
Sin embargo, esta ltima no es una funcin continua en x = 1 y, por tanto,

tampoco es derivable en ese punto.
156

2. Considera la sucesin {fn (x)}, en donde cada funcin fn est dada por
n2 x, si 0 x 1/n,
n2 (x 2/n), si 1/n x 2/n,

fn (x) =
0, si 2/n x 1,
Es evidente que todas las funciones fn son continuas en [0, 1] y, por tanto, son
integrables. De hecho, es fcil mostrar que
1
0
fn (x) dx = 1, para n 2.
Tambin es posible demostrar que lm fn (x) = 0 para todo x [0, 1], de modo
n
que la sucesin {fn (x)} converge a la funcin f(x) = 0. Como esta ltima es
continua, por lo tanto es integrable, con
1
f (x) dx = 0.
0
Llegamos entonces a la terrible conclusin de que

1
lm fn (x) dx = 0 = lm
fn (x) dx
= 1.
Estos dos ejemplos muestran que, en general, el lmite de una sucesin de

funciones continuas, derivables o integrables no es una funcin continua, derivable
o integrable. En ambos casos se consider sucesiones que convergen puntualmente,
pero no uniformemente, y sa es precisamente la causa de la dificultad. De hecho,
es posible demostrar que la convergencia uniforme de una sucesin de funciones
es una condicin suficiente para garantizar que la funcin a la que converge
preserve sus propiedades de continuidad, diferenciabilidad e integrabilidad. De
ah la importancia de la convergencia uniforme, en relacin con las sucesiones de
funciones.
157
Captulo 5
Series
En muchas ocasiones es importante determinar el valor de la suma
a1 + a2 + a3 + de los elementos de una sucesin de nmeros reales
a1 , a2 , a3, . . ..Una suma infinita de este tipo se conoce como serie. En este
captulo estudiaremos las propiedades de estas sumas infinitas, as como las
condiciones bajo las cuales la suma converge o diverge. Haremos particular
nfasis en el tipo de series conocida como la serie geomtrica, que se
presenta en una gran variedad de aplicaciones.
Definicin. Dada una sucesin {an } de nmeros, una serie infinita, o
serie, es una expresin de la forma
n=1
an = a1 + a2 + a3 + + ak + .
El nmero ak se denomina el k-simo trmino de la serie.

Ejemplos:
1 1 1 1
1. A partir de la sucesin 1, , , , , . . . se construye la serie
2 3 4 5
1
1 1 1 1
= 1 + + + + + .
n
2 3 4 5
n=1
2. A partir de la sucesin 1, 2, 4, 8, 16, . . . se construye la serie
n=1
2n1 = 1 + 2 + 4 + 8 + 16 + .
1 1 1 1
2 4 8 16
n1
1
1
1 1 1
1
=
=1+ + + +
+ .
n1
2
2
2 4 8 16
n=1
n=1
158

1 1
1 1
3 9 27 81
n=1
(1)
n1
1
3n1
n=1
n1
=1
1
1
1 1
+
+
.
3 9 27 81
5. A partir de la sucesin 1, 2, 9, 64, 625, . . . se construye la serie
n=1
nn1 = 1 + 2 + 9 + 64 + 625 + .
Sumar una infinidad de trminos no necesariamente implica que la suma sea

infinita. Se puede demostrar que las series en los ejemplos 3 y 4 convergen a un
valor finito, mientras que las de los ejemplos 1, 2 y 5 divergen. Aunque el problema
de establecer la convergencia o divergencia de una serie puede resultar bastante
complejo en general, en esta seccin y en la siguiente presentaremos algunos
criterios al respecto. El primer criterio que estudiaremos se basa en la convergencia
de las sumas parciales de una serie, como se define a continuacin.
Definicin. Dada una sucesin {an } de nmeros, la sucesin {Sk } definida por
1
S1 =
an = a1
n=1
2
S2 =
an = a1 + a2
n=1
..
.
k
Sk =
n=1
an = a1 + a2 + a3 + + ak
es la sucesin de sumas parciales de la serie

n=1 an . Si la sucesin {Sk }
converge a un lmite L, decimos que la serie converge y su suma es L. En ese caso
escribimos
a1 + a2 + a3 + =
an = L.
n=1
Si la sucesin {Sk } no converge a un lmite, decimos que la serie diverge.

159
Captulo 5 Series
Las sumas parciales son las sumas acumuladas de los primeros trminos de
una sucesin. As, por ejemplo, las sumas parciales correspondientes a la sucesin
1
{an } =
, dada por
2n1
1 1 1
1, , , , . . . ,
2 4 8
son los valores
1
1
1 1
1 1
S1 = 1, S2 = 1 + , S3 = 1 + + , , Sk = 1 + + + + k1 ,
2
2 4
2 4
2
como se ilustra en las siguientes grficas. La grfica de la izquierda representa la
sucesin {an }, mientras que la derecha se refiere a la sucesin de sumas parciales
{Sk } .
A medida que k crece se van agregando a la suma Sk nuevos trminos de la

sucesin {an }, de modo que en el lmite k el k-simo trmino de la sucesin,
Sk , se convierte en la serie
n=1 an , es decir,
k
lm Sk = lm
an =
n=1
an .
n=1
De esta manera, si la sucesin {Sk } converge a un lmite L, entonces ste ser

precisamente el valor de la serie. En otras palabras,
lm Sk = L
an = L.
n=1
Este procedimiento para determinar la convergencia de una serie es el anlogo

discreto al que se utiliza para establecer la convergencia de la integral impropia,
de dominio infinito, de una funcin continua f (x). En efecto, para determinar la
convergencia de una integral tipo 1 f (x)dx primero encontrbamos la integral

160

b
truncada 1 f(x)dx en x = b (equivalente continuo de la suma parcial Sk ) y

posteriormente tombamos el lmite b de esta ltima, es decir,
f (x)dx = lm
f (x)dx.
Para ilustrar el concepto anterior, considera nuevamente la sucesin

1
{an } =
. A partir de ella generamos la serie
n=1 an , dada por
n1
2
1
2n1
n=1
=1+
1 1 1
+ + + ,
2 4 8
y nos preguntamos si sta converge a algn valor o diverge. De acuerdo con la

discusin anterior, el valor de la suma est dado por
n=1
1
2n1
k
k
n1
1
2
= lm
n=1
= lm Sk ,
k
1 1
1
en donde Sk es la k-sima suma parcial, Sk = 1 + + + + k1 . Para calcular
2 4
2
el lmite k de esta ltima, reescribimos las primeras sumas parciales, como
S1 = 1
=21
1
=2
2
1
=2 ,
4
1
S2 = 1 +
2
1 1
S3 = 1 + +
2 4
de donde se infiere fcilmente que
Sk = 2
1
2k1
De esta manera,
lm Sk = lm
1
2k1
= 2.
n=1
es decir, la serie
n=1
1
2n1
1
2n1
=1+
1 1 1
+ + + = 2,
2 4 8
converge a 2.
161
Captulo 5 Series
La serie del ejemplo anterior es un caso particular de lo que se conoce como
serie geomtrica, como se define a continuacin, que aparece en una gran variedad
de aplicaciones.
Definicin. Una serie geomtrica es una suma infinita de la forma
n=1
rn1 = 1 + r + r2 + r3 + ,
en donde r R se conoce como la razn de la serie.

Teorema. Si r es un nmero real tal que |r| < 1, entonces la serie geomtrica
generada por r converge a
1
rn1 =
.
1r
n=1
Si |r| 1, entonces la serie diverge.
Demostracin:
Por simplicidad, denotaremos por S el valor de la serie geomtrica,
S=
n=1
rn1 = 1 + r + r2 + r3 + ,
con r R. Esta serie diverge para r = 1, ya que la suma correspondiente,

S = 1 + 1 + 1 + 1 + , es infinita. Asimismo, la serie diverge para r = 1, ya
que la suma S = 1 1 + 1 1 + oscila entre 0 y 1, es decir, no converge a un
nico valor. As, a continuacin consideraremos solamente los casos con |r| = 1.
Para encontrar el valor de S, primero escribimos su suma parcial Sk ,
k
Sk =
n=1
rn1 = 1 + r + r2 + r3 + + rk2 + rk1 ,
y notamos que se trata de la suma geomtrica definida en la seccin 1.2,

Sk =
As, la serie geomtrica S es el lmite
S = lm Sk =
k
1 rk
.
1r
1
1 lm rk .
k
1r
162

De acuerdo con la propiedad 4 de la seccin 4.1 para lmites frecuentes de
sucesiones, el lmite lm rk existe y converge a 0 slo si |r| < 1, es decir,
k
S=
1
,
1r
si |r| < 1
diverge, en otro caso.
Concluimos entonces que, si |r| < 1 la serie geomtrica generada por r converge a
rn1 =
n=1
1
,
1r
mientras que si |r| 1 la serie diverge.

Nota la diferencia entre la suma geomtrica, y la serie geomtrica, dadas por
k
n=1
n=1
rn1 = 1 + r + r2 + r3 + + rk1 =
rn1 = 1 + r + r2 + r3 + =
1 rk
,
1r
1
,
1r
r=1
|r| < 1.
La primera se trata de una suma finita (la suma se trunca en el k-simo trmino),
mientras que la segunda es una suma infinita o serie. Ambos tipos de expresiones
aparecen frecuentemente en economa, dependiendo si se trata de un proceso que
transcurre en un tiempo finito, o si ste se lleva a cabo a perpetuidad.
Ejemplos:
1. Determina si las siguientes series geomtricas convergen o no. De converger,
encuentra su suma.
a) 1 +
1 1 1
1
+ + +
+
2 4 8 16
Reescribimos la serie como
1
1
1
1
1 + + 2 + 3 + =
=
n1
2 2
2
2
n=1
n=1
1
2
n1
1
de modo que r = . Como |r| < 1, la serie converge, y su suma es
2
1 1 1
1
1 n1
1
1+ + + +
+ =
=
= 2.
1
2 4 8 16
2
1
2
n=1
163
Captulo 5 Series
b) 1
1 1 1
1
+ +

2 4 8 16
1
1
1
1
1 + 2 3 + =
(1)n1 n1 =
2 2
2
2
n=1
n=1
1
2
n1
1
2
n1
1
2
1 1 1
1
1
1 + +
=
=
= .
1
2 4 8 16
2
3
1 2
n=1
c) 1 + 3 9 + 27 81 +
2
(1 3 + 3 3 + ) =
(1)
n1
n1
n=1
(3)n1 ,
n=1
de modo que r = 3 . Como |r| > 1, la serie diverge.

d) 3 +
3 3 3
3
+
+
2 4 8 16

1
1
1
3 1 + 2 3 +
2 2
2
= 3
n=1
1
2
n1
1
2
!
n1
3 3 3 3
1
1
3 + + + = 3
= 3
= 2.
1
2 4 8 16
2
1
2
n=1
e) 1 + a2 + a4 + a6 + a8 +
2
2 2
2 3
2 4
1 + a + (a ) + (a ) + (a ) + =
(a2 )
n1
n=1
de modo que r = a2 . La serie converge si |a| < 1, y su suma es

1 + a2 + a4 + a6 + a8 + =
(a2 )
n=1
164
n1
1
.
1 a2

f) 1 + 2x + 4x2 + 8x3 + 16x4 +
3
1 + 2x + (2x) + (2x) + =
(2x)n1 ,
n=1
1
de modo que r = 2x . La serie converge si |x| < , y su suma es
2
1
1 + 2x + 4x2 + 8x3 + 16x4 + =
(2x)n1 =
.
1 2x
n=1
2. Demuestra que 5.2323232323 . . .es un nmero racional.
Escribimos el nmero como 5 +
23
100
23
1002
23
1003
+ , de modo que
!
2
1
1
1+
+
+
100
100
23
100
5.2323232323 . . . = 5 +
23
23
1
518
=5+
=
.
1
100 1 100
99
99
Como 5.2323232323 . . . es el cociente de dos nmeros enteros, ste es un
nmero racional.
= 5+
3. Calcula el valor de
n=4
n1
1
2
Observa que el ndice de la sumatoria no comienza en n = 1, por lo que

no puedes utilizar directamente la frmula de la serie geomtrica. Hay una
variedad de mtodos que puedes utilizar para calcular esta suma, como los que
se presentan a continuacin.
a. El mtodo ms sencillo consiste en escribir explcitamente los trminos
de la sumatoria, utilizar una factorizacin e identificar la serie geomtrica
correspondiente:
n=4
1
2
n1
1
2
1
2
1
2
1
2
1+
1
1
1
2
1
2
165
+
+
1
2
1
2
+
1
2
1
= .
4
+
1
2
Captulo 5 Series
b. Otro mtodo se basa en sumar los trminos que le faltan a la sumatoria para
que la serie geomtrica aparezca en el formato original,
rn1 :
n=1
n=4
1
2
n1
=
=
n=4
n=1
*
1
2
n1
1
2
+
n=1
3
n1
* n=1
n1
1
2
1
2
n=1
1
2
n1
n1
1
1
1
1+
+
1
2
2
1 2
7
1
= 2 = .
4
4
c. Un tercer mtodo consiste en efectuar un cambio de ndices, de tal modo
que la nueva sumatoria comience en 1. Para ello, propones la sustitucin
l = n 3, obteniendo
=
n=4
1
2
n1
=
=
l=1
l=1
=
=
1
2
(l+3)1
1
2
l1
1
2
1
2
*l=1
1
2
l1
1
2
1
1
1
2
1
= .
4
4. Una empresa que renta maquinaria adquirir una cierta mquina al precio P ,
por la que recibir rentas futuras R1 , R2 , R3 , . . . , RT , correspondientes a los
periodos 1, 2, 3, . . . , T . La empresa ajusta las rentas de tal modo que la suma
Rn
de sus valores presentes descontados,
, iguale el precio actual de la
(1 + r)n
mquina, es decir,
R1
R2
R3
RT
+
+
+ +
,
2
3
1 + r (1 + r)
(1 + r)
(1 + r)T
con r > 0 la tasa de inters (fija). Si se establece una renta fija Rn = v en
todos los periodos, halla el precio P como funcin de v y r. Cmo vara este
resultado si el arrendamiento es a perpetuidad (T )?
P =
166

Suponiendo una renta fija Rn = v, se tiene
v
v
v
v
+
+ +
+
2
3
1 + r (1 + r)
(1 + r)
(1 + r)T
*
2
v
1
1
1
=
+ +
1+
+
1+r
1+r
1+r
1+r
P =
T 1
La expresin entre parntesis es una suma geomtrica finita, con

1+
1
1+r
1
1+r
+ +
T 1
1
1+r
1 T
1+r
1
1+r
*
1+r
1
=
r
de modo que el precio P est dado por

*
v
1
P =
1
r
1+r
Por otra parte, como 0 <
1
1+r
1
< 1, por lmites frecuentes sabemos que
1+r
lm
1
1+r
= 0.
De esta manera, cuando el arrendamiento es a perpetuidad (T ), se tiene
v
P = .
r
En otras palabras, suponiendo que la mquina no se deprecia en el tiempo, el
precio de la renta coincide con el inters v = rP que generara mensualmente
en el banco una cantidad P a una tasa fija r.
5. Demuestra que para todo |r| < 1 se cumple
nrn =
n=1
r
.
(1 r)2
Sabemos que si |r| < 1, entonces

1 + r + r2 + r3 + =
167
1
.
1r
Captulo 5 Series
Derivando con respecto a r ambos lados de la igualdad, se tiene
d
1 + r + r2 + r3 +
dr
1
1r
d
dr
1
(1 r)2
r
r 1 + 2r + 3r2 + =
(1 r)2
r
r + 2r2 + 3r3 + =
.
(1 r)2
1 + 2r + 3r2 + =
nrn =
n=1
r
.
(1 r)2
6. Se define la duracin de Macaulay D para un bono con cupn constante como

N
D=
n=1
N
n=1
Ct
N VN
+
(1 + r)t (1 + r)N
VN
C
+
(1 + r)t (1 + r)N
con C, VN , r > 0. Demuestra que para un bono perpetuo (N ) la duracin

de Macaulay se reduce a
1
D =1+ .
r
Sugerencia: Usa el resultado del ejercicio 5.
En el caso de un bono perpetuo (N ) la duracin de Macaulay es
D=
n=1
n=1
C
1
+ VN lm
t
N 1 + r
(1 + r)
1
Ct
+ NVN lm
t
N 1 + r
(1 + r)
n=1
n=1
Ct
(1 + r)t
C
(1 + r)t
en donde se utiliz el hecho de que

lm
ya que 0 <
1
1+r
= 0,
1
< 1. Ahora bien, sabemos que si |r| < 1, entonces
1+r
rn1 =
n=1
168
1
.
1r

Por lo tanto,
C
C
=
t
(1 + r)
1+r
t1
1
1+r
C
= .
1
r
n=1
n=1
1
1+r
Por otra parte, de acuerdo con el ejercicio 5,sabemos que para |r| < 1 se cumple
1+r
r
.
(1 r)2
nrn =
n=1
Por lo tanto,
n=1
1
Ct
=C
t
t
(1 + r)
1+r
n=1
1
1+r
=C
1
1
1+r
C (1 + r)
.
r2
De esta manera,
D=
n=1
n=1
Ct
(1 + r)t
C (1 + r)
1+r
1
r2
=
=
=1+ .
C
r
r
C
t
r
(1 + r)
Por ltimo, al igual que en el caso de las sumas finitas de la seccin 1.2, la
representacin de una serie en trminos de una sumatoria no es nica. Aunque aqu
definimos serie como una suma infinita de la forma
n=1 an , por lo general el
ndice de la misma no necesariamente debe comenzar en n = 1. En un sentido ms
amplio, una serie es cualquier suma infinita de la forma
n=n0
an = an0 + an0 +1 + an0 +2 + ,
construida con los elementos de una sucesin {an } . En el caso particular de la

serie geomtrica,
1 + r + r 2 + r3 + ,
sta podr ser representada como una sumatoria en una infinidad de maneras, como
por ejemplo,
2
1 + r + r + r + =
n1
n=1
169
n=4
n4
n=3
rn+3 .
Captulo 5 Series
Muy especialmente, aqu usaremos frecuentemente la representacin con n0 = 0,
1 + r + r2 + r3 + =
rn ,
n=0
para denotarla.
Adems de la serie geomtrica, existe otro tipo de series para las que es posible
determinar fcilmente si convergen o no, y de hacerlo, a qu valor. Esto sucede en
el caso de las series telescpicas, que son una extensin de las sumas telescpicas
que estudiamos en la seccin 1.2.
Definicin. Una serie telescpica es una expresin de la forma
n=n0
(an+1 an ).
Para estudiar su convergencia, es conveniente utilizar nuevamente el concepto

de suma parcial Sk que introdujimos en el caso de la serie geomtrica. En otras
palabras, si denotamos por S el valor de la serie telescpica,
S=
(an+1 an ),
n=n0
ste puede encontrarse mediante el lmite

S = lm Sk
k
de la suma parcial
k
Sk =
n=n0
(an+1 an ).
Ejemplos:
1. Calcula el valor de la serie
n=1
1
1
.
n n+1
1
1
a la suma infinita que deseamos

n+1
n=1 n
calcular. A partir de ella construimos la suma parcial Sk ,
Denotamos por S =
Sk =
n=1
1
1
n n+1
170

Desarrollando esta ltima se obtiene
1 1
1
1
1
1
1
+
+ +
2
2 3
k1 k
k k+1
1
= 1
,
k+1
en donde se han cancelado todos los trminos, excepto el primero y el ltimo.
As, el valor de la serie es
Sk =
S = lm Sk = lm 1
k
es decir,
n=1
1
1
n n+1
= 1.
2. Calcula el valor de la serie
n=1
Denotamos por
n=1
1
= 1,
k+1
(n+1)2 n2 .
(n+1)2 n2 a la suma infinita que deseamos calcular. A
partir de ella construimos la suma parcial Sk ,

k
S=
n=1
(n+1)2 n2 .
Desarrollando esta ltima se obtiene

Sk =
22 12 + 32 22 + . . . + k 2 (k 1)2 + (k + 1)2 k 2
= 1 + (k + 1)2 .
Por ltimo, como
S = lm Sk = lm 1 + (k + 1)2 = ,
k
por lo tanto la serie
n=1
(n+1)2 n2 diverge.
Las series anteriores, la geomtrica y la telescpica, nos han permitido adquirir

familiaridad con el concepto de convergencia de una serie. Una vez establecida
dicha convergencia, el siguiente teorema nos permite realizar dos operaciones
bsicas entre series convergentes, que son la suma de series y la multiplicacin de
una serie por un escalar.
171
Captulo 5 Series
Teorema. Sean
1.
2.
n an
(an + bn ) =
(can ) = c
n bn
y
an +
series convergentes y c R. Entonces,
n bn
Regla de la suma
n an
Regla del mltiplo constante
Ejemplo:
n=1
5
1
5
n1 =
n
3
6
3
1
3
n=1
n1
n=1
1
6
n1
1
1
5
3
1
3
1
1
1
6
13
.
10
Corolario.
1. Si
2. Si
an diverge y
n bn
converge, entonces
an diverge y c R\ {0} , entonces
(an + bn ) diverge.
(can ) diverge.
De acuerdo con este corolario, si una serie n an diverge, no existe manera de

remover esta divergencia mediante operaciones tales como la suma con otra serie,
o bien, su multiplicacin por un escalar diferente de cero.
Por ltimo, debes tener mucho cuidado con el manejo de las series generadas
por el producto, o cociente, de elementos de una sucesin. En particular, nota que
(an bn ) = (
n
an )(
n
bn )
an
bn
an
.
n bn

Con excepcin de las series geomtricas y las telescpicas, en general es muy
difcil calcular el valor de una suma infinita. Por esta razn, a partir de este punto
nos conformaremos con determinar, al menos, si una serie dada es convergente o
es divergente.
Para este fin, la primera prueba que debes considerar es la llamada prueba
del n-simo trmino, que te permite determinar a priori cundo una serie dada
n an es divergente. La prueba se basa en el comportamiento asinttico de la
sucesin {an } que la genera. Una condicin necesaria para que converja la serie
es que lm an = 0. Para entender por qu, denotemos por S al valor de la serie
n
convergente y Sn = a1 + a2 + + an a su n-sima suma parcial. Cuando n
es grande, tanto Sn como Sn1 estn cerca de S, de modo que su diferencia,
Sn Sn1 = an es prxima a cero.
172

Teorema. Si
n an
converge, entonces lm an = 0.
n
De aqu se desprende un criterio muy til para detectar cundo una serie diverge.
Prueba del n-simo trmino. Si lm an = 0, o si este lmite no existe,
n
entonces la serie
n an es divergente.
Este criterio de divergencia establece que una condicin suficiente para que una
serie n an sea divergente es que la sucesin {an } de trminos que la generan
diverja o no converja exactamente a 0.
Ejemplos:
1.
2.
3.
4.
n=1
n=1
n=1
n=1
n+1
n+1
diverge, ya que lm
= 1 = 0.
n n
n
2
1
n
diverge, ya que lm
2
1
n
= e2 = 0.
3n1 diverge, ya que lm 3n1 no existe (tiende a infinito).

n
cos n diverge, ya que lm cos n no existe (oscila entre 1 y 1).

n
173
Captulo 5 Series
Los ejemplos 1 y 2 ilustran que, aunque la sucesin {an } sea convergente, la
serie n an generada por {an} es divergente.
Por otra parte, nota que aunque la condicin lm an = 0 es una condicin
n
necesaria para la convergencia de una serie n an , sta dista de ser una condicin
suficiente, como se muestra en el siguiente ejemplo.
Ejemplo:
Analicemos la convergencia de la serie
n=1
serie armnica, dada por
n=1
1
. Esta serie se conoce como la
n
1
1 1 1 1
= 1 + + + + + .
n
2 3 4 5
La serie armnica est generada por la sucesin an =

lm an = lm
1
n
A pesar de que la sucesin
n=1
1
, que satisface
n
1
= 0.
n
converge a 0, la serie armnica diverge, ya que
1
1 1 1 1 1 1 1 1
1
= 1 + + + + + + + + + +
+
n
2 3 4 5 6 7 8 9
16
>
n=1
2
4
>
4
8
>
8
16
1
1 1 1 1
> 1 + + + + + = .
n
2 2 2 2
Nota que sta es una situacin similar a la del caso de una integral impropia del
tipo 1 f (x)dx. Para que esta ltima converja es necesario que lm f (x) = 0;
x
de lo contrario, la suma de contribuciones sera divergente. Sin embargo, esta
condicin no garantiza que 1 f (x)dx sea finita, como sucede con la integral
1
1
dx, que diverge, aunque lm
= 0.
1
x x
x
174
Resumimos los resultados anteriores de la siguiente manera:

lm an = 0
an diverge
lm an = 0
an puede converger o diverger
Una vez verificada la condicin lm an = 0, existe una variedad de criterios que

n
nos permiten establecer la convergencia o divergencia de la serie

describe a continuacin.
5.2.1
an , como se
Pruebas para series de trminos no negativos
La manera natural de estudiar la posible convergencia de una serie

n=1 an
consiste en analizar el comportamiento asinttico de la sucesin de sus sumas
parciales,
S1 = a1 , S2 = a1 + a2 , S3 = a1 + a2 + a3 , . . . .
La serie n=1 an converge si y slo si la sucesin {Sk } converge. Para estudiar la

convergencia de la sucesin {Sk }, resulta de particular inters considerar el "peor
escenario", que corresponde al caso de series de trminos no negativos, an 0. En
efecto, tomando en cuenta que
Sk = Sk1 + ak ,
si suponemos que ak 0, entonces
Sk Sk1 .
As, en este caso, las sumas parciales S1 , S2 , S3 , . . . constituyen una sucesin no
decreciente. Si logramos demostrar que esta sucesin est acotada superiormente,
por el teorema de las sucesiones no decrecientes, de la seccin 4.1, podemos
concluir que la sucesin {Sk } converge, y por lo tanto converge la serie
n=1 an .
175
Captulo 5 Series
Teorema. Una serie

n=1 an de trminos no negativos, an 0, converge si y
slo si sus sumas parciales Sk = kn=1 an estn acotadas superiormente.
Nota que este teorema slo establece la convergencia de la serie, pero no el
valor de su suma. Para determinar ese valor, no basta con demostrar que la sucesin
est acotada por arriba, sino que habra que determinar cul es el lmite L de la
sucesin, que es su mnima cota superior.
De este teorema se desprenden una variedad de resultados correspondientes a
series n an de trminos no negativos, an 0, como se exponen a continuacin.
Al respecto, primero presentamos las llamadas pruebas intrnsecas, que resultan
al analizar el comportamiento asinttico de los trminos de la serie que se desea
estudiar. Posteriormente presentamos las pruebas extrnsecas, que complementan
a las anteriores, y que se basan en la comparacin de los trminos de la serie
estudiada con algn otro tipo de objeto (una integral u otra serie).
5.2.1.1
Pruebas intrnsecas para series de trminos no negativos
Aqu presentamos dos pruebas intrnsecas para convergencia de series de

trminos no negativos, la prueba del cociente y la prueba de la raz, basadas ambas
en el comportamiento de la serie geomtrica
an =
n=0
rn , que converge slo si
n=0
|r| < 1. Es fcil ver que los elementos de esta ltima satisfacen las relaciones
an+1
rn+1
n
= n =r y
an = n rn = r,
an
r
de modo que, en el caso r > 0, la condicin de convergencia, 0 < r < 1, implica
an+1
< 1 y n an < 1.
an
176

Las pruebas que se describen a continuacin establecen una condicin de
convergencia similar, pero de manera asinttica (n ).
Prueba del cociente. Sea
suponga que
an una serie de trminos positivos, an > 0, y
an+1
= .
n an
a) Si < 1, entonces n an converge.
b) Si > 1 o es infinita, entonces n an diverge.
c) Si = 1, entonces la prueba no es concluyente.
lm
Ejemplos:
1. Determina la convergencia de
n=1
2n + 5
.
3n
2n + 5
2n+1 + 5
En este caso, an =
, an+1 =
. Como
3n
3n+1
2n+1 +5
3n+1
an+1
lm
= lm
n an
n
2n +5
3n
n
n=1
1
2n+1 + 5 L 1
2n+1 ln 2
2
lm n
= < 1,
= lm n
3 n 2 + 5
3 n 2 ln 2
3
2 +5
converge (de hecho su suma es 9/2, y no
3n
= 2/3).
n=0
2n
.
n!
En este caso, an =
an+1
lm
=
n an
2
2n+1
, an+1 =
. Como
n!
(n + 1)!
lm
2n+1
(n+1)!
2n
n!
n!
n!
= 2 lm
n (n + 1)!
n (n + 1) (n!)
= 2 lm
1
= 0 < 1,
n n + 1
2n
converge (su suma es e2 , como mostraremos en el
n!
n=1
tema de series de Taylor).
= 2 lm
177
Captulo 5 Series
n=1
En este caso, an =
(2n)!
.
n! n!
( 2n + 2 )!
(2n)!
( 2(n + 1) )!
=
.
, an+1 =
n! n!
(n + 1)! (n + 1)!
(n + 1)! (n + 1)!
Como
an+1
lm
=
n an
lm
( 2n+2 )!
(n+1)! (n+1)!
(2n)!
n! n!
n! n! (2n + 2)!
n (n + 1)! (n + 1)! (2n)!
n! n! (2n + 2) (2n + 1) (2n)!
= lm
n (n + 1) (n!) (n + 1) (n!) (2n)!
2 (n + 1) (2n + 1)
2n + 1 L
2
= lm
= 2 lm = 4,
= 2 lm
n (n + 1) (n + 1)
n n + 1
n 1
=
lm
n=1
(2n)!
diverge.
n! n!
n=1
4n n! n!
.
(2n)!
4 n! n!
4n+1 (n + 1)! (n + 1)!
, an+1 =
. Siguiendo pasos
(2n)!
( 2n + 2 )!
similares a los del problema 3, se tiene,
En este caso, an =
an+1
lm
=
n an
lm
4n+1 (n+1)! (n+1)!

( 2n+2 )!
4n n! n!
(2n)!
4 (n + 1) (n + 1)
2n + 2 L
= lm
= lm 1 = 1,
n 2 (n + 1) (2n + 1)
n 2 n + 1
n
de modo que la prueba no es concluyente, y tenemos que utilizar algn otro
criterio. Para esta serie en particular, es fcil ver que
=
lm
an+1
2n + 2
(2n + 1) + 1
=
=
> 1.
an
2n + 1
2n + 1
Como an+1 > an , por lo tanto la serie
n=1
178
4n n! n!
diverge.
(2n)!

Prueba de la raz n-sima. Sea
an 0, y suponga que
lm
a) Si < 1, entonces
an una serie de trminos no negativos,
n
an = .
n an converge.
b) Si > 1 o es infinita, entonces
n an
diverge.
c) Si = 1, entonces la prueba no es concluyente.
Ejemplos:
n=1
En este caso, an =
lm
n
an = lm
n2
.
2n
n2
, de modo que
2n
1
1
n2
= lm n2/n =
n
n
2
2
2
lm n1/n
lm n1/n =
1
< 1,
2
en donde se ha utilizado uno

de los lmites de uso frecuente de la seccin 4.1.
n2
converge.
De esta manera, la serie
2n
n=1
n=3
En este caso, an =
, de modo que
lm n an = lm
De esta manera, la serie
ln n
n
ln n
n
n=1
$
n
ln n
n
ln n
n
ln n
= 0 < 1.
n n
= lm
converge.
179
Captulo 5 Series
5.2.1.2
Pruebas extrnsecas para series de trminos no negativos
Las pruebas extrnsecas se basan en la comparacin de la serie bajo estudio

con algn otro objeto, ya sea una integral y otra serie, del cual nos consta su
convergencia o divergencia. Este tipo de pruebas presentan una mayor dificultad
que las intrnsecas, porque requieren creatividad y un mayor conocimiento del
tema (contra qu otro objeto comparamos? sabemos si este objeto converge o
no?).
Prueba de la integral. Sea {an } una sucesin decreciente de trminos
positivos, an > 0. Sea f una funcin continua, positiva y decreciente de x, para
toda x mayor o igual que un entero positivo N, tal que f(n) = an . Entonces la
serie
an y la integral
f (x) dx convergen ambas, o divergen ambas.
n=N
Ejemplo:
Determina la convergencia de la serie
n=1
1
.
n2
Primero identificamos la sucesin que la genera, como

1
,
n2
y notamos que la sumatoria comienza en N = 1. La funcin continua
correspondiente es, entonces,
1
f (x) = 2 ,
x
con x 1. Es claro que la sucesin de sumas parciales de la serie,
an =
S1 =
1
1
1
1
1
1
, S2 = 2 + 2 , S3 = 2 + 2 + 2 ,
2
1
1
2
1
2
3
180
... ,

es no decreciente (Sk > Sk1 ) . Para demostrar que est acotada por arriba
considera la k-sima suma parcial,
k
Sk =
n=1
1
1
1
1
1
= 2 + 2 + 2 + + 2,
2
n
1
2
3
k
y exprsala en trminos de f, como

Sk = f(1) + f (2) + f(3) + + f(k)
= 1 + f(2) + f (3) + + f (k).
Como se muestra en la figura, cada trmino f (i), i = 2, 3, . . . , k, puede pensarse

1
como el rea de un rectngulo con base i = 1 y altura f (i) = 2 .
i
Por construccin, los rectngulos estn situados por debajo de la curva continua
1
y = 2 , de modo que la suma de sus reas es menor que el rea bajo la curva entre
x
x = 1 y x = k, es decir,
f (2) + f(3) + + f (k) <
A su vez, se tiene
de modo que
De esta manera,
k
1
1
dx <
x2
1
dx.
x2
1
dx.
x2
1
dx,
x2
f (2) + f (3) + + f (k) <
1 + f (2) + f (3) + + f (k) < 1 +

es decir,
Sk < 1 +
1
181
1
dx.
x2
1
dx,
x2
Captulo 5 Series
Como
1
dx = 1, por lo tanto
x2
Sk < 2,
de modo que la sucesin de sumas parciales S1 , S2 , . . . est acotada por arriba. Por
el teorema de las sucesiones no decrecientes, la sucesin {Sk } converge y, por lo
tanto, existe lm Sk . Por ltimo, como
k
n=1
1
= lm Sk
n2 k
1
converge. Nota que este resultado no establece que
2
n
n=1
la serie converge a 2, slo que sta converge (a un valor menor que 2). Con
1
dx implica la
esto hemos demostrado que la convergencia de la integral
2
1 x
1
convergencia de la serie
.
2
n
n=1
La prueba de la integral resulta muy til en los casos que se conoce la

convergencia o divergencia de la contraparte continua de la serie, dada por
la integral impropia N f(x) dx. As, por ejemplo, podemos demostrar la

convergencia de la serie
integral
xex dx.
1
nen simplemente demostrando la convergencia de la
n=1
De esta prueba se desprende un caso particular de inters, que es el

correspondiente a las llamadas series-p, dadas por
n=1
1
1
1
1
= p + p + p + ,
p
n
1
2
3
con p R. La convergencia (divergencia) de estas series est dada por la

1
convergencia (divergencia) de las integrales 1 p dx, que estudiamos en la
x
seccin 2.2. De los resultados ah obtenidos, concluimos directamente que
n=1
np
converge, si p > 1
diverge, si p 1.
Este resultado ser de gran utilidad a lo largo de esta seccin.

182

Por ltimo, es muy importante que puedas distinguir una serie-p, tal como
n=1
1
1
1
1
1
= 2 + 2 + 2 + 2 + ,
2
n
1
2
3
4
de una serie del tipo
n=1
1
1
1
1
1
= 1 + 2 + 3 + 4 + ,
n
2
2
2
2
2
que es de la familia de las geomtricas, con r = 1/2 (sta no es exactamente una

serie geomtrica, sino un mltiplo de ella, puesto que comienza en 1/2 y no en 1).
Prueba de la comparacin directa. Sean {an } y {bn } tales que 0 < an < bn ,
para todo n mayor o igual que un entero positivo N.
a) Si
b) Si
n bn
converge, entonces tambin converge n an .

n an diverge, entonces tambin diverge
n bn .
Esta prueba se utiliza de la siguiente manera. Te dan una serie de trminos

positivos, y te piden determinar si sta converge o no. De alguna u otra manera
t "intuyes"la respuesta (difcil tarea!), y luego procedes a la demostracin,
seleccionando uno de los dos incisos anteriores:
a) Utilizas este inciso cuando quieres demostrar que la serie converge. En
este caso, la serie dada juega el papel de n an , de modo que debes exhibir una
segunda serie, n bn , numricamente mayor que la primera (an < bn ), y que
t sepas que converge. En otras palabras, tu lgica sera "si converge la grande,
converge la chica".
b) Utilizas este inciso cuando quieres demostrar que la serie diverge. En este
caso, la serie dada juega el papel de n bn , de modo que debes proporcionar una
segunda serie, n an , numricamente menor que la primera (an < bn ), y que t
sepas que diverge. En otras palabras, tu lgica sera "si diverge la chica, diverge la
grande".
183
Captulo 5 Series
Ejemplos:
1. Analiza la convergencia de
n=1
1 + cos n
.
n2
1
, que
2
n
n=1
es convergente (serie-p, con p > 1). Para demostrarlo, podemos utilizar lo
siguiente:
1 cos n 1
1 + cos n 2
1 + cos n
2
n2
n2
1 + cos n
2
2
n
n2
n=1
n=1
Se "intuye"que la serie converge, ya que se parece a la serie
Como
tanto
2
1 + cos n
1
,
para
todo
n
1,
y
como
2
converge, por lo
2
n2
n2
n
n=1
n=1
1 + cos n
converge.
n2
n=3
ln n
.
n
1
, que diverge
n
n=3
(serie armnica). Para demostrarlo, tomamos en cuenta que, para todo n 3,
Se "intuye"que la serie diverge, ya que se parece a la serie
ln n 1
ln n
1
n
n
ln n
1
.
n
n
n=3
n=3
ln n
1
Como
, para todo n 3, y como
n
n
diverge.
n=3
1
diverge, por lo tanto
n
n=3
Ten cuidado de utilizar esta prueba de manera apropiada, para no obtener

resultados errneos. Es decir, no puedes demostrar que una serie converge
184
ln n
n

presentando una mayor que diverja (si diverge la grande, la chica puede o no
converger). Similarmente, no puedes demostrar que una serie diverge exhibiendo
una menor que converja (si converge la chica, la grande puede o no diverger).
Prueba de la comparacin de lmites. Sean {an } y {bn } tales que an , bn > 0,

para todo n mayor o igual que un entero positivo N.
an
a) Si lm
= c, con c R+ , entonces n an y n bn convergen ambas o
n bn
divergen ambas.
an
b) Si lm
= 0 y n bn converge, entonces n an converge.
n bn
an
c) Si lm
= y n bn diverge, entonces n an diverge.
n bn
Aqu no se comparan directamente dos series ( n an vs. n bn ) , sino ms
bien las sucesiones {an } y {bn } que las generan. En particular, se analiza el
an
comportamiento asinttico lm
del cociente de sus trminos, dando origen a
n bn
tres posibles casos:
a) Si el cociente se estabiliza en una tasa fija c > 0, las sucesiones tienden a
crecer o decrecer proporcionalmente. De esta manera, si una de las series converge
(diverge), entonces la otra tambin lo har.
b) Si el cociente se anula, la sucesin en el denominador tiende a crecer
ms rpido que la del numerador. Si an as la serie generada por esta sucesin
converge, claramente deber converger la serie generada por la sucesin en el
numerador.
c) Si el cociente crece indefinidamente, la sucesin en el denominador tiende
a crecer ms lento que la del numerador. Si an as la serie generada por esta
sucesin diverge, claramente deber diverger la serie generada por la sucesin en
el numerador.
Esta prueba es particularmente til para series generadas por funciones
racionales de n, como lo muestran los ejemplos a continuacin.
185
Captulo 5 Series
Ejemplos:
n=1
6n2 + 5n + 8
.
2n5 + n 1
La sucesin correspondiente a esta serie es an =
6n2 + 5n + 8
. Como su
2n5 + n 1
6n2
comportamiento dominante para n 1 es 5 , de modo que podemos elegir
2n
3
bn = 3 . Como
n
an
= lm
n bn
n
lm
y la serie
serie
n=1
n=1
6n2 + 5n + 8
2n5 + n 1
3
n3
6n5 + 5n4 + 8n3 L

= 1,
n 6n5 + 3n 3
= lm
3
generada por bn converge (serie-p, con p = 3), por lo tanto la
n3
6n2 + 5n + 8
converge.
2n5 + n 1
n=1
n2
2n + 1
.
+ 2n + 1
2n + 1
. Su
La sucesin correspondiente a esta serie es an = 2
n + 2n + 1
2n
comportamiento dominante para n 1 es 2 , de modo que podemos elegir
n
2
bn = . Como
n
an
= lm
n bn
n
lm
y la serie
n=1
tanto la serie
n2
2n + 1
+ 2n + 1
2
n
2n2 + n
= 1,
n 2n2 + 4n + 2
= lm
2
generada por bn diverge (mltiplo de la serie armnica), por lo
n
n=1
2n + 1
diverge.
n2 + 2n + 1
186
n=1
ln n
.
n2
ln n
La sucesin correspondiente a esta serie es an = 2 . Si elegimos la segunda
n
1
sucesin como bn = 3/2 , se tiene
n
an
= lm
n bn
n
lm
y como la serie
lo tanto la serie
n=1
n=1
1
n3/2
ln n
n2
1
3/2
n
ln n L
= 0,
n n1/2
= lm
generada por bn converge (serie-p, con p = 3/2), por
ln n
converge.
n2
n=1
ln n
.
n
ln n
. Si elegimos la segunda
La sucesin correspondiente a esta serie es an =
n
1
sucesin como bn = se tiene
n
an
= lm
n bn
n
lm
Como la serie armnica

diverge.
n=1
ln n
n
1
n
= lm ln n = .
n
1
generada por bn diverge, por lo tanto
n
n=1
ln n
n
5.2.2 Pruebas de convergencia para series de trminos con

signos diferentes
Las pruebas anteriores (extrnsecas e intrnsecas) tratan solamente con series
n an de trminos no negativos, en donde todos los elementos se suman, no se
restan. Obviamente, esas pruebas se aplican tambin para series de trminos no
positivos, factorizando el signo menos fuera de la sumatoria. Generalmente las
187
Captulo 5 Series
series pueden poseer tanto trminos positivos como negativos, por lo que resulta
til estudiar algunos criterios de convergencia para ese caso.
Un criterio de convergencia para series con signos mezclados, que resulta
bastante intuitivo, establece que si una serie de trminos no negativos n |an |
converge, con mayor razn convergir la serie asociada n an , en la que algunos
de los trminos an puedan tener signo negativo, disminuyendo el valor de la suma
infinita. Este es el contenido del siguiente teorema.
Teorema. Si
|an | converge, entonces
an converge.
Ejemplos:
1. Demuestra que
(1)n+1
n=1
Sabemos que
n=1
1
converge.
n2
1
converge, ya que es una serie-p, con p = 2. Por lo tanto,
n2
1
(1)n+1 2 converge.
n
n=1
2. Demuestra que
n=1
cos n
converge.
n2
Primero mostramos que
n=1
|cos n| 1, de modo que
|cos n|
converge. Para ello, partimos del hecho que
n2
n=1
|cos n|
n2
n=1
por la prueba de la comparacin directa conclumos que

De esto ltimo se sigue que
n=1
1
1
. Como la serie
converge,
2
n
n2
n=1
n=1
cos n
converge.
n2
188
|cos n|
converge.
n2

Considera ahora una serie de signos diferentes, tal como
(1)n+1
n=1
1 1 1
1
= 1 + +
n
2 3 4
Es claro que en este caso no puede aplicarse el teorema anterior, ya que la serie de
1
los valores absolutos,
, diverge (serie armnica). Para casos como ste, existe
n
n=1
un criterio alternativo de convergencia, conocido como el teorema de Leibniz para
series alternantes, que trata con series de la forma
an =
n=1
n=1
(1)n+1 un = u1 u2 + u3 u4 + ,
1
un > 0, en donde los trminos an = (1)n+1 van alternando signo, dependiendo
n
de que n sea par o impar.
Teorema de Leibniz para series alternantes. La serie
(1)n+1 un converge
n=1
si se satisfacen las siguientes tres condiciones:

i) un > 0, para todo n 1,
ii)
un+1
1, para todo n mayor o igual que algn entero positivo N,
un
iii) lm un = 0.
n
La primera condicin garantiza que efectivamente se trata de una serie de signos

alternantes, es decir, el signo de cada trmino proviene exclusivamente del factor
(1)n+1 . La segunda condicin establece que la sucesin debe ser decreciente
(un+1 un ) a partir de algn valor n = N. La ltima condicin es simplemente la
prueba del n-simo trmino.
189
Captulo 5 Series
Ejemplos:
1
(1)n+1 , conocida como serie armnica
n
n=1
alternante.
La serie
(1)n+1
n=1
1
1 1 1
= 1 + + converge, ya que
n
2 3 4
i) un = n1 > 0, para todo n 1,

un+1
n
ii)
=
1, para todo n 1,
un
n+1
1
iii) lm un = lm = 0.
n
n n
(1)n
n=0
1
1 1 1
( )n = 1 + + converge, ya que
2
2 4 8
n=0
n=0
" "
" 1"
se trata de una serie geomtrica, con |r| = "" "" < 1. Esta misma conclusin
2
puede obtenerse a partir del teorema de Leibniz, puesto que
La serie
(1)n
1
=
2n
1
.
2n
1
> 0, para todo n 0,
2n
un+1
1
ii)
= 1, para todo n 0,
un
2
1
iii) lm un = lm n = 0.
n
n 2
i) un =
1
(1)n+1
.
n
n
n=1
1
(1)n+1
diverge, puesto que no satisface la condicin iii), o
n
n
n=1
1
prueba del n-simo trmino, es decir, lm un = lm
= 1 = 0.
n
n n n
La serie
190
5.2.3
Convergencia condicional y convergencia absoluta
Definicin. Se dice que una serie n an converge condicionalmente, si sta

converge, pero la correspondiente serie de valores absolutos, n |an | , no
converge.
Ejemplos:
1. La serie
(1)n+1
n=1
1
converge condicionalmente, ya que:
n
1
converge (teorema de las series alternantes),
n
n=1
"
"
"
"
1
1
n+1
"=
"(1)
diverge (serie armnica, o serie-p, con p = 1).
ii)
"
"
n
n
n=1
n=1
i)
(1)n+1
2. La serie
1
(1)n+1 converge condicionalmente, ya que:
n
n=1
1
(1)n+1 converge (teorema de las series alternantes),
n
n=1
"
"
"
"
1
1
n+1 1 "
"
diverge (serie-p, con p = ).
ii)
"(1) n " =
n
2
n=1
n=1
i)
Definicin. Una serie

serie de valores absolutos,
n an
n
es absolutamente convergente si la correspondiente

|an | , converge.
Ejemplos:
1. La serie
n=0
(1)n
1
converge absolutamente, ya que
2n
"
"
"
"
"(1)n 1 " =
"
2n "
n=0
converge (serie geomtrica, con r =
n=0
1
< 1).
2
191
1
2n
Captulo 5 Series
2. La serie
(1)n+1
n=1
1
converge absolutamente, ya que
n2
"
"
"
"
1
1
n+1
"(1)
"=
"
"
2
n
n2
n=1
n=1
converge (serie-p, con p = 2).
Por ltimo, cabe mencionar que la convergencia absoluta de una serie es

importante para garantizar que cualquier re-arreglo de trminos en una serie infinita
no cambia el valor de esta suma, como se enuncia en el siguiente teorema.
Teorema de los re-arreglos. Si n an converge absolutamente y si

b1 , b2 , b3 , . . . es cualquier arreglo de la sucesin a1 , a2 , a3 , . . . , entonces
converge absolutamente, y adems n bn = n an .
n bn
Para comprender el significado de este teorema, primero nota que el valor de

una suma finita es independiente de la manera en la que agrupes sus trminos para
calcular su valor. As, por ejemplo,
1 1 1
+ +
=
2 3 4
1
1 1
+
+
3
2 4
1
1 1
+
+
=
1+
4
2 3
25
= = .
12
En el caso de una suma infinita esto no necesariamente es cierto, ya que el resultado
de un re-arreglo de sus trminos puede darte un valor diferente para esta suma. Por
ejemplo, considera la serie
1+
S=
n=1
(1)n+1
1+
1
1 1 1 1
= 1 + + ,
n
2 3 4 5
que es una serie armnica alternante y, por lo tanto, converge. De hecho, es posible
demostrar que esta serie converge al valor S = ln 2. Sin embargo, si cambias el
orden de los trminos puedes llegar a que la suma vale cualquier cosa. Por ejemplo,
si la escribes como
1 1
1 1 1
S = 1 + + +
+ + + ,
3 5
2 4 6
192

entonces S diverge (cada parntesis da una suma infinita), o bien escrita como
1 1 1
S =1+ + +
2 3 5
1 1
+ +
4 7
te da una suma igual a 1. Esta inconsistencia se debe a que
(1)n+1 n1 no
n=1
converge absolutamente, sino tan slo condicionalmente. En otras palabras, aunque

esta serie converge, y converge a ln 2, como su convergencia no es absoluta,
cualquier re-arreglo de sus trminos puede darte una suma diferente a sta. Slo
la convergencia absoluta de una serie garantiza que su valor sea invariante ante
cualquier re-arreglo de sus trminos.

En las secciones anteriores estudiamos series de nmeros, n an , en donde el
valor al que converge la suma es un nmero, S. El objetivo aqu es extender el
concepto de serie al de serie de funciones, n fn (x), de una variable real x, cuya
suma converge a una funcin f (x).
Para motivar el tema, considera que en lugar de tener una serie dada, tal como la
serie geomtrica
1 n
,
5
ahora tienes una familia de series geomtricas,
n=0
n=0
1
5
n=0
correspondientes a diferentes razones,

puede representarse por la expresin
3n ,
...
n=0
1
, 12 , 3, ...
5
Claramente, toda esta familia
xn ,
n=0
con x R. Una expresin de este tipo es un ejemplo de una serie de funciones,

generada por la sucesin de funciones fn (x) = xn. De acuerdo con los resultados
de la seccin 5.1, sabemos que
n=0
xn =
1
,
1x
si |x| < 1, mientras que la suma diverge en otro caso. Decimos entonces que la
serie generada por la sucesin {xn } converge a la funcin
1
f (x) =
,
1x
193
Captulo 5 Series
dentro del intervalo, 1 < x < 1, conocido como el intervalo de convergencia
de la serie. De acuerdo con esto, las series
1 n
5
n=0
n=0
12
son valores
particulares de la funcin f (x), es decir,
n=0
n=0
1
5
1
5
= f
= f
=
1
2
1
1
=
1
5
5
= ,
4
1
2
= ,
1
3
1 2
para x (1, 1). En otras palabras, las series numricas que estudiamos en las
secciones 5.1 y 5.2 pueden considerarse como casos particulares de una serie de
funciones de x, que convergen a alguna funcin f(x) dentro de algn intervalo de
valores de la variable x.
Definicin. Dada una sucesin {fn (x)} de funciones, fn : S R R, una

serie infinita de funciones es una expresin de la forma
n=1
fn (x) = f1 (x) + f2 (x) + f3 (x) + + fk (x) + .
Como un segundo ejemplo, considera la serie de funciones
n=0
(ln x)n = 1 + ln x + (ln x)2 + (ln x)3 + ,
generadas por la sucesin fn (x) = (ln x)n , con x > 0, x = 1. Al igual que en el
ejemplo anterior, nuevamente se trata de una serie geomtrica, pero ahora la razn
de la serie es ln x. Claramente,
n=0
(ln x)n =
1
,
1 ln x
|ln x| < 1.
En otras palabras, la serie generada por la sucesin {(ln x)n } converge a la funcin
f (x) =
dentro del intervalo de convergencia e1
1
,
1 ln x
< x < e.
194

Como se ilustra en los ejemplos anteriores, cuando la serie
fn (x) converge,
n=1
sta lo hace a una funcin f (x) en S. Desde el punto de vista formal, la funcin
f(x) se obtiene tomando el lmite k de la sucesin de sus sumas parciales,
k
Sk (x) =
fn (x).
n=1
Por otra parte, si la serie de los valores absolutos n |fn (x)| converge para toda
x S se dice que n fn (x) es absolutamente convergente en S. Si la sucesin
{Sk } de sumas parciales converge uniformemente a f (x) en S, se dice que la serie
n fn (x) converge a f (x) uniformemente en S. La convergencia uniforme de una
serie de funciones es muy importante, ya que nos permite garantizar resultados
tales como
!
fn (x) dx =
n=1
d
dx
n=1
fn (x)
fn (x)dx
n=1
n=1
dfn (x)
dx
que siempre se cumplen para sumas finitas, pero no necesariamente se verifican en

el caso de sumas infinitas.
Entre las series de funciones se destacan las llamadas series de potencias, para
las que las funciones fn son potencias de x, de la forma
fn (x) = cn (x x0 )n ,
en donde x0 es una constante y los coeficientes cn slo pueden depender de n, pero

no de la variable real x.
Definicin. Una serie de potencias de la variable x alrededor de x = x0 es una
expresin de la forma
n=0
cn (x x0 )n = c0 + c1 (x x0 ) + c2 (x x0 )2 + c3 (x x0 )3 + ,
en donde x es una variable real, x0 es una constante y los coeficientes cn son

nmeros que slo dependen del ndice de la sumatoria, n.
Cabe sealar que el ndice de la sumatoria de una serie de potencias no
necesariamente debe iniciar en n = 0, sino en algn otro entero positivo. Los
siguientes ejemplos ilustran diferentes series de potencias.
195
Captulo 5 Series
Ejemplos:
1.
n=0
xn = 1 + x + x2 + x3 + es una serie de potencias alrededor del origen
(x0 = 0), con cn = 1, para todo n 0.

2.
3.
2
1
3
xn = x + x2 + x3 + es una serie de potencias alrededor
3
4
5
n=0
n
, para todo n 0.
del origen, con cn =
n+2
n
n+2
(1)n+1
n=1
x2 x3
xn
= x
+
es una serie de potencias alrededor del
n
2
3
(1)n+1
origen, con cn =
, para todo n 1.
n
x
4.
(1 )n =
2
n=0
1
1
1
( )n (x 2)n = 1 (x 2) + 2 (x 2)2 es una
2
2
2
n=0
1
serie de potencias alrededor de x0 = 2, con cn = ( )n, para todo n 0.
2
(x + 1)n
(x + 1)2
(x + 1)3
5.
= 1 + (x + 1) +
+
+ es una serie de
n!
2!
3!
n=0
1
potencias alrededor de x0 = 1, con cn = , para todo n 0.
n!
6.
n=1
(1)n+1
(x + 3)n
(x + 3) (x + 3)2 (x + 3)3
=
+
es una serie de
n 2n
2
2 (22 )
3 (23 )
(1)n+1
potencias alrededor de x0 = 3, con cn =
, para todo n 1.
n 2n
Hemos comentado ya que cuando una serie de potencias

converge sta lo hace a una funcin f (x), es decir,
n=0
n cn (x
x0 )n
cn (x x0 )n = f (x),
dentro de algn intervalo de valores de x. Por lo general, es muy difcil determinar

la funcin f(x) a la que converge una serie de potencias, por lo que aqu nos
196

conformaremos con determinar el intervalo de convergencia de la serie. Para ello,
nota que la serie
n=0
cn (x x0 )n = c0 + c1 (x x0 ) + c2 (x x0 )2 + c3 (x x0 )3 +
siempre converge en x = x0 , con
n=0
"
"
n"
cn (x x0 ) "
"
= c0 .
x=x0
La pregunta interesante es, entonces, para qu otros valores de x converge la

serie. A continuacin proporcionamos una prueba para determinar el intervalo de
convergencia de una serie de potencias.
Prueba de la convergencia para la serie de potencias
n cn (x
x0 )n .
1. Se utiliza la prueba del cociente, o la prueba de la raz n-sima, para encontrar

el intervalo de valores de x en donde la serie converge absolutamente. Es decir,
se analiza la convergencia de la serie correspondientes de valores absolutos,
n=0
|cn (x x0 )n | , obtenindose tpicamente un intervalo abierto, de la forma
|x x0 | < R, en donde R es el radio de convergencia alrededor de x = x0 .

2. Si el intervalo de convergencia absoluta es finito, |x x0 | < R, se analiza
entonces la convergencia de la serie numrica obtenida al evaluar la serie de
potencias en los puntos extremos, x = x0 R. Para ello, se utiliza alguna de las
pruebas intrnsecas, extrnsecas, o de series alternantes, correspondientes a series
de nmeros.
3. Por ltimo, la serie diverge para |x x0 | > R.
Ejemplos:
1. Determina el intervalo y radio de convergencia de la serie
La serie
n=1
n=1
(1)n+1
x2 x3 x4
xn
=x
+
+ ...
n
2
3
4
197
(1)n+1
xn
.
n
Captulo 5 Series
es de la forma
an (x), con an (x) = (1)n+1
n=1
valores absolutos es
n=1
xn
. La serie correspondiente de
n
|an (x)| , con
" " n"

"
n"
" x " |x|n
"
n+1 x "
" "=
"
=
.
|an (x)| = "(1)
n" "n"
n
Para esta serie podemos aplicar la prueba de la raz n-sima, lm
imponiendo convergencia ( < 1), es decir,
|an (x)| = ,
|x|n
1
= |x| lm
= |x| < 1,
lm |an (x)| = lm
n
n
n
n
n
n
en donde se utiliz que lm n n = 1. La desigualdad |x| < 1 implica que el

n
intervalo de convergencia absoluta alrededor de x0 = 0 es 1 < x < 1, con
un radio de convergencia R = 1. Por ltimo, se analiza la convergencia en los
puntos extremos. La serie correspondiente a x = 1 es
n
(1)2 (1)3 (1)4

1 1 1
+
+ . . . = (1 + + + + . . .),
2
3
4
2 3 4
que diverge (negativo de la serie armnica). Por otra parte, la serie
correspondiente a x = 1 es
(1)
(1)
(1)2 (1)3 (1)4

1 1 1
+
+ ... = 1 + + ...,
2
3
4
2 3 4
que converge (serie armnica alternante). Concluimos que
(1)n+1
n=1
converge en el intervalo
xn
n
1 < x 1.
n=0
(1)n
(x 3)n
.
2n
Nota que se trata de una serie geomtrica. Para esta serie, dada por
n=0
(1)n
(x 3)n
(x 3) (x 3)2 (x 3)3
=
1
+ ...
2n
2
22
23
(x 3)n
se tiene an (x) = (1)n
. Los trminos de la serie correspondiente de
2n
valores absolutos son
"
" "
"
n"
"
" (x 3)n " |x 3|n
(x
3)
n
"="
"=
|an (x)| = ""(1)
.
2n " " 2n "
2n
198

Imponiendo convergencia ( < 1) en la prueba de la raz n-sima se obtiene
|x 3|n
1
1
lm |an (x)| = lm
=
l
m
|x
3|
=
|x 3| < 1.
n
n
2n
2 n
2
La desigualdad 12 |x 3| < 1 implica que el intervalo de convergencia absoluta
alrededor de x0 = 3 es 1 < x < 5, con un radio de convergencia R = 2. Por
ltimo, la serie correspondiente a x = 1 es
n
(1 3) (1 3)2 (1 3)3
+ ... = 1 + 1 + 1 + 1 + ...,
+
2
22
23
que diverge, y la serie correspondiente a x = 5 es
1
(5 3) (5 3)2 (5 3)3
+ ... = 1 1 + 1 1 + ...,
+
2
22
23
(x 3)n
que tambin diverge. Concluimos que
(1)n
converge en el
2n
n=0
intervalo
1 < x < 5.
1
n=0
Para la serie
n=0
xn
.
n!
xn
x2 x3
= 1+x+
+
+ ...
n!
2!
3!
xn
, de modo que conviene utilizar la prueba del cociente,
se tiene an (x) =
" n!"
" an+1 "
" = . En este caso,
n-sima, lm ""
n
an "
"
"
" n+1
"
"
"
" an+1 "
" x n! "
"
"
n!
" = lm "
" = |x| lm "
" = |x| lm 1 = 0 < 1
lm ""
n
n " (n + 1) n! "
n n + 1
an " n " (n + 1)!xn "
de modo que
n=0
infinito.
xn
converge para todo x R, con radio de convergencia
n!
n!(x + 5)n .
n=0
Para la serie
n!(x + 5)n = 1 + (x + 5) + 2! (x + 5)2 + 3! (x + 5)3 + . . .
n=0
199
Captulo 5 Series
se tiene an (x) = n!(x + 5)n . Utilizando la prueba del cociente se tiene
"
"
"
"
" an+1 "
" (n + 1)!(x + 5)n+1 "
0, si x = 5
"
"
"
" = |x + 5| lm (n+1) =
lm "
= lm "
.
"
"
n
diverge, si x = 5
n
n
n
an
n!(x + 5)
Concluimos que la serie
convergencia 0.
n=0
n!(x + 5)n converge slo en x = 5, con radio de

En esta seccin veremos bajo qu condiciones una funcin f (x) genera una serie
de potencias n cn (x x0 )n alrededor de un punto x0 de su dominio. Supongamos
que esto es posible, y escribimos f como
f(x) =
n=0
cn (x x0 )n = c0 + c1 (x x0 ) + c2 (x x0 )2 + + ck (x x0 )k + .
Para determinar los coeficientes cn tomamos en cuenta que

f (x)
f (x)
f (x)
f IV (x)
=
=
=
=
c1 + 2c2 (x x0 ) + 3c3 (x x0 )2 + 4c4 (x x0 )3 + ,

2c2 + 3 2c3 (x x0 ) + 4 3c4 (x x0 )2 + ,
3 2c3 + 4 3 2c4 (x x0 ) + ,
4 3 2c4 + ,
Al evaluar f y sus derivadas f (k) en x = x0 se obtiene
f(x0 ) = c0 , f (x0 ) = c1 , f (x0 ) = 2c2 , f (x0 ) = 32c3 , . . . , f (k) (x0 ) = k!ck ,

de modo que los coeficientes ck estn dados por
f (k) (x0 )
.
k!
La serie de potencias correspondiente es
ck =
f (x0 )
f (k) (x0 )
(x x0 )2 + +
(x x0 )k + ,
2!
k!
y a este tipo de series se le conoce como una serie de Taylor.
f(x) = f(x0 ) + f (x0 )(x x0 ) +
200

Definicin. Sea f(x) una funcin con derivadas de todos los rdenes en
algn intervalo que contenga al punto x0 como punto interior. La serie de Taylor
generada por f alrededor de x = x0 es
n=0
f (n) (x0 )
f (x0 )
n
2 f (x0 )
(xx0 ) = f (x0 )+f (x0 )(xx0 )+
(xx0 ) +
(xx0 )3 + ,
n!
2!
3!
en donde f (n) (x0 ) denota la n-sima derivada de la funcin f con respecto a la

variable x, evaluada en x = x0 . La serie de Taylor generada por f en x0 = 0 se
denomina serie de Maclaurin.
As, para desarrollar una funcin f en una serie de potencias alrededor de un

centro x = x0 se necesita que existan las derivadas f (n) (x0 ) de todos los rdenes
evaluadas en x0 , y en ese caso, los coeficientes cn de la serie de potencias generada
estn dados por cn = f (n) (x0 )/n!.
Por ejemplo, vamos a encontrar la serie de Taylor generada por f(x) = 1/x
alrededor de x0 = 3. En este caso, la serie de Taylor correspondiente es una
expresin de la forma
n=0
f (3)
f (3)
f (n) (3)
(x3)n = f (3)+f (3)(x3)+
(x3)2 +
(x3)3 + ,
n!
2!
3!
con f (n) (3) la n-sima derivada de la funcin f evaluada en x = 3. Como

f (x) =
1
x
f (x) =
1
x2
1
f(3) = ,
3
f (3) =
1
,
32
2
2
f (3) = 3 ,
3
x
3
2
3
23
f (x) = 4
f (3) = 4 ,
x
3
f (x) =
es claro entonces que
f (n) (3) = (1)n

para todo n 0, de modo que
n!
3n+1
f (n) (3)
1
= (1)n n+1 .
n!
3
201
Captulo 5 Series
As, la serie de Taylor generada por f (x) = 1/x alrededor de x0 = 3 es
n=0
(1)n
(x 3)n
1 (x 3) (x 3)2 (x 3)3
=
+
+ .
3n+1
3
32
33
34
Para esta serie particular es fcil determinar su intervalo de convergencia, ya que

x3
se trata de un mltiplo de una serie geomtrica, cuya razn es r =
.
3
"
"
"
x 3 ""
A partir de la condicin ""
" < 1, obtenemos que el intervalo de
3
convergencia es 0 < x < 6, con un radio de convergencia R = 3 alrededor de
x0 = 3.
A partir de una serie de Taylor es posible definir polinomios P0 (x), P1 (x), P2 (x), . . . ,
de orden 0, 1, 2, , . . . simplemente truncando la serie a ese orden, como se define a
continuacin.
Definicin. Sea f una funcin con derivadas de orden k para k = 1, 2, . . . , n

en algn intervalo que contenga x0 como punto interior. Entonces el polinomio de
Taylor de orden n generado por f alrededor de x = x0 es el polinomio
Pn (x) = f(x0 ) + f (x0 )(x x0 ) +
f (x0 )
f (n) (x0 )
(x x0 )2 + +
(x x0 )n .
2!
n!
Nota que el polinomio de Taylor P1 (x) de orden 1,

P1 (x) = f (x0 ) + f (x0 )(x x0 ),
es precisamente la linearizacin L(x) de f(x) alrededor de x0 , que representa
la ecuacin de la recta tangente a f en el punto (x0 , f (x0 )). Por otra parte, el
polinomio de Taylor P2 (x) de orden 2,
f (x0 )
(x x0 )2 ,
2!
se conoce como la aproximacin cuadrtica, ya que aproxima localmente a la
funcin f por una parbola, de donde se originan las condiciones suficientes de
segundo orden para definir la concavidad o convexidad de f en x0 .
P2 (x) = f (x0 ) + f (x0 )(x x0 ) +
202

Ejemplos:
1. Encuentra la serie de Taylor generada por f (x) = ex alrededor de x0 = 0, as
como los polinomios de Taylor P0 (x), P1 (x) y P2 (x), correspondientes. Ilustra
tus resultados grficamente.
La serie de Taylor alrededor de x0 = 0 est dada por
n=0
f (n) (0) n
f (0) 2 f (0) 3
x = f (0) + f (0)x +
x +
x + .
n!
2!
3!
Como
f (x) = f (x) = f (x) = . . . = ex ,
por lo tanto, para todo n 0,
f (n) (0) = 1.
De esta manera, la serie de Taylor de f (x) = ex alrededor de x0 = 0 es
n=0
1 n
x2 x3 x4
x = 1+x+
+
+
+ .
n!
2!
3!
4!
En particular, nota que para x = 1 esta serie converge al nmero e, es decir,
n=0
1
1
1
1
= 1 + 1 + + + + = 2,718281828 . . . = e.
n!
2! 3! 4!
Por ltimo, los polinomios de Taylor P0 (x), P1 (x), P2 (x), correspondientes son
las funciones
P0 (x) = 1,
P1 (x) = 1 + x,
203
P2 (x) = 1 + x +
x2
.
2!
Captulo 5 Series
2. La distribucin de probabilidad de Poisson est dada por p(y) =
Demuestra que
y=0 p(y) = 1.
Se tiene
p(y) =
y=0
y=0
y
e = e
y!
y=0
y
e .
y!
y
= e e = 1.
y!
2
3. Encuentra la serie de Taylor generada por f (x) = e2x alrededor de x0 = 0, as

como el polinomio de Taylor de orden 2, P2 (x), correspondiente.
Aqu conviene aprovechar los resultados del ejercicio 1, adaptando las
expresiones obtenidas mediante la sustitucin
x 2x2 .
En ese caso, la serie de Taylor de f (x) = e2x alrededor de x0 = 0 es
n=0
1
2x2
n!
= 1 + 2x2 +
(2x2 )
(2x2 )
(2x2 )
+
+
+ .
2!
3!
4!
As, el polinomio de Taylor P2 (x) correspondiente es

P2 (x) = 1 2x2 + 2x4 .
4. Encuentra la serie de Taylor generada por f (x) = ln x alrededor de x0 = 1, as

como el polinomio de Taylor P2 (x) correspondiente.
La serie de Taylor alrededor de x0 = 1 est dada por
n=0
f (n) (1)
f (1)
f (1)
(x1)n = f (1)+f (1)(x1)+
(x1)2 +
(x1)3 + .
n!
2!
3!
Como
por lo tanto,
f (x) = ln x f(1) = 0,
1
f (x) =
f (1) = 1,
x
1
f (x) = 2 f (1) = 1,
x
2
f (x) = 3 f (1) = 2,
x
23
f IV (x) = 4
f IV (1) = 2 3,
x
f (1) = 0,
f (1) = (1)n+1 (n 1)!,
(n)
204
n 1.

De este modo, para n 1 se tiene
f (n) (1)
(1)n+1 (n 1)!
(1)n+1
=
=
.
n!
n!
n
As, la serie de Taylor de f (x) = ln x alrededor de x0 = 1 es
n=1
(1)n+1
(x 1)2 (x 1)3 (x 1)4
(x 1)n = (x 1)
+
+
n
2
3
4
El polinomio de Taylor P2 (x) de orden 2 es la funcin cuadrtica

(x 1)2
.
2
5. Se deja como ejercicio para el lector demostrar que, alrededor de x0 = 0, la
serie de Taylor generada por la funcin f1 (x) = cos x es
P2 (x) = (x 1)
x2 x4 x6 x8
+
+
,
2!
4!
6!
8!
y la serie de Taylor generada por la funcin f2 (x) =senx es
1
x3 x5 x7 x9
+
+
.
3!
5!
7!
9!
As, por ejemplo, los polinomios de Taylor correspondientes de orden 3 son las
x2
x3
y x , respectivamente.
funciones 1
2!
3!
x
Hemos visto ya cmo una funcin infinitamente diferenciable f (x) puede

generar una serie de potencias de la forma n cn (x x0 )n . El hecho de que
la pueda generar, no significa por lo general que la serie obtenida converja a la
funcin que la origin, es decir, no necesariamente se cumple la igualdad
n=0
f (n) (x0 )
(x x0 )n = f (x).
n!
Esto ltimo es posible si se satisfacen las condiciones que se describen a

continuacin.
Teorema de Taylor. Si f y sus primeras n derivadas f , f , . . . , f (n) son
continuas en el intervalo cerrado entre los puntos a y b, y si f (n) es diferenciable
en el intervalo abierto entre a y b, entonces existe un nmero c entre a y b tal que
f(b) = f (a)+f (a)(ba)+
f (a)
f (n) (a)
f (n+1) (c)
(ba)2 + +
(ba)n +
(ba)n+1 .
2!
n!
(n + 1)!
205
Captulo 5 Series
Este teorema es una generalizacin del Teorema del Valor Medio,
f (b) = f(a) + f (c)(b a),
que estudiaste en tu curso de Clculo Diferencial. A partir de l es posible
establecer las condiciones bajo las cuales una serie de Taylor converge a la funcin
que la gener. Para ello, es conveniente escribirlo en una forma alternativa,
considerando a b como la variable independiente x e identificando a = x0 , lo que
da origen a la siguiente frmula.
Frmula de Taylor. Si f tiene derivadas de todos los rdenes en un intervalo

abierto I que contiene a x0 , entonces, para cada n Z+ y para cada x I,
f (x) = Pn (x) + Rn (x),
donde Rn (x) es el residuo de orden n, o trmino de error, para la aproximacin de
la funcin f(x) por el polinomio Pn (x) sobre el intervalo I, dado por
Rn (x) =
f (n+1) (c)
(x x0 )n+1 ,
(n + 1)!
para alguna c entre x0 y x.
De esta frmula se sigue que la serie de Taylor generada por una funcin f
alrededor de x0 converge a la funcin f en I slo si
Rn (x) 0
cuando n , para toda x I. Asimismo, la expresin correspondiente a

este residuo establece que existe un valor c entre x0 y x que juega el papel de
representante de toda la infinidad de trminos que han sido excludos al truncar la
serie a un orden finito n, es decir,
f (n+1) (c)
f (n+1) (x0 )
f (n+2) (x0 )
(x x0 )n+1 =
(x x0 )n+1 +
(x x0 )n+2 + .
(n + 1)!
(n + 1)!
(n + 2)!
La frmula de Taylor te garantiza su existencia, pero no su valor. Sin embargo, con
frecuencia es posible estimar Rn sin conocer el valor de c, como se muestra en los
siguientes ejemplos.
206

Ejemplos:
1. Utiliza la frmula de Taylor para estimar el error cometido al aproximar el valor
de e a partir del desarrollo de Taylor de ex a orden 4.
El polinomio de Taylor P4 (x) de orden 4 generado por f (x) = ex alrededor de
x0 = 0 est dado por
x2 x3 x4
+
+ ,
2!
3!
4!
y el error correspondiente (tomando x0 = 0) es
ex P4 (x) = 1 + x +
R4 (x) =
f V (c)
ec
(x 0)4+1 = x5 ,
(4 + 1)!
5!
para alguna c entre x0 = 0 y x. A orden 4, el valor aproximado de e se obtiene

evaluando P4 en x = 1, a saber,
e P4 (1) = 1 + 1 +
1
1
1
+ + = 2.70833 ,
2! 3! 4!
con un error dado por
ec
,
5!
x
para alguna c entre x0 = 0 y 1. Como e crece montonamente, se tiene
R4 (1) =
e0 ec e1 ,
de modo que
y, por tanto,
ec
e
1
5!
5!
5!
1
e
R4 (1)
5!
5!
e
Concluimos que el error cometido es, a lo ms, = 0.0226 .
5!
2. Utiliza la frmula de Taylor para determinar el nmero n de trminos que es
necesario conservar para calcular e con un error menor que 106 .
Partimos de la frmula de Taylor para ex con x = 1,
e = Pn (1) + Rn (1),
y buscamos el valor de n tal que satisfaga la condicin
Rn (1) < 106 .
207
Captulo 5 Series
Sabemos que, a orden n, el error est dado por
ec
,
(n + 1)!
con 0 c 1. As, el error ms grande ocurre en c = 1, de modo que
Rn (1) =
e
< 106 ,
(n + 1)!
lo cual ocurre si n 9. Concluimos que una aproximacin de orden 9 es
suficiente para garantizar que el error cometido sea menor que 106 . En efecto,
a este orden,
1
1
+ + = 2.718281526,
2!
9!
que difiere del valor exacto, e = 2.718281828, en el sptimo dgito.
e1+1+
3. Utiliza el polinomio de Taylor de orden 1 para calcular
0.3 x2
e dx.
0
Para valores de x cercanos a x0 = 0 se tiene

ex P1 (x) = 1 + x,
de modo que
ex 1 + x2 .
Por lo tanto,
0.3
0
0.3
x2
e dx
x3
(1 + x ) dx = x +
3
0.3
= 0.309 .
0
Nota que esta aproximacin es bastante razonable, tomando en cuenta que

0.3 x2
e dx = 0.30925 .
0
Teorema
de la" estimacin del residuo. Si existe una constante positiva M
"
tal que "f (n+1) (t)" M para toda t entre x y x0 inclusive, el residuo Rn (x) de la
frmula de Taylor satisface la desigualdad
|x x0 |n+1
|Rn (x)| M
.
(n + 1)!
Si esta condicin se cumple para todo n y si f satisface todas las dems

condiciones del teorema de Taylor, entonces la serie converge a f (x). De acuerdo
con este teorema, la serie de Taylor converge a la funcin f que la gener si,
208

adems de satisfacerse las condiciones
"
"del teorema de Taylor, la derivada de orden
n + 1 est acotada, es decir, "f (n+1) (t)" M, para toda t entre x y x0 .
Por ltimo, el desarrollo en series de Taylor tambin es vlido para funciones

de varias variables. Aqu discutiremos muy brevemente el concepto de series
de Taylor para funciones z = f (x, y) de dos variables (para una discusin ms
detallada, ver el texto de Thomas-Finney).
Definicin. Sea f una funcin con derivadas parciales de todos los rdenes
en algn intervalo que contenga al punto (x0 , y0 ) como punto interior. La serie de
Taylor generada por f alrededor de (x, y) = (x0 , y0 ) es
f (x0 , y0 ) + f x (x0 , y0 )(x x0 ) + f y (x0 , y0 )(y y0 )
1
+
f xx (x0 , y0 )(x x0 )2 + 2f xy (x0 , y0 )(x x0 )(y y0 ) + f yy (x0 , y0 )(y y0 )2
2!
"
k ""
1
+ +
(x x0 )
+ (y y0 )
f"
+ .
"
k!
x
y
(x0 ,y0 )
%
&k ""
Aqu la notacin (x x0 ) x + (y y0 ) y f ""

significa aplicar k veces
(x
,y
)
0 0
%
&
el operador (x x0 ) x
+ (y y0 ) y
a la funcin f , y posteriormente evaluar
las derivadas parciales correspondientes de orden k en el punto (x0 , y0 ).
El polinomio de Taylor P1 (x, y) de orden 1, o aproximacin lineal,
correspondiente es la funcin
P1 (x, y) = f (x0 , y0 ) + f x (x0 , y0 )(x x0 ) + f y (x0 , y0 )(y y0 ),
conocida como la linealizacin de f en ese punto, que representa la ecuacin
del plano tangente a la superficie z = f (x, y) en el punto (x0 , y0 , f(x0 , y0 )).
Introduciendo notacin vectorial, este polinomio puede escribirse como
P1 (
x ) = f(
x 0 ) + f (
x 0 )T (
x
x 0) ,
donde
x y
x 0 son los vectores columna
x =
x
y
,
x0 =
209
x0
y0
Captulo 5 Series
( )T denota el vector transpuesto y f (

x 0 ) es el vector gradiente de f en el punto
(x0 , y0 ). Asimismo, el polinomio de Taylor P2 (x, y) de orden 2, o aproximacin
cuadrtica, est dado por
P2 (x, y) = f (x0 , y0 ) + f x (x0 , y0 )(x x0 ) + f y (x0 , y0 )(y y0 )
1
+
f xx (x0 , y0 )(x x0 )2 + 2f xy (x0 , y0 )(x x0 )(y y0 ) + f yy (x0 , y0 )(y y0 )2 ,
2!
y representa la ecuacin del paraboloide que es tangente a la superfice en ese punto
y posee su misma concavidad. En notacin compacta, se tiene
1
T
x
x 0 ) H(
P2 (
x ) = f (
x 0 ) + f(
x 0 )T (
x
x 0 ) + (
x 0 ) (
x
x 0) ,
2!
con
!
f xx (x0 , y0 ) f xy (x0 , y0 )
H( x 0 ) =
f xy (x0 , y0 ) f yy (x0 , y0 )
la matriz hessiana de f en el punto (x0 , y0 ). Omitimos aqu los polinomios Pn (x, y)
de orden n 3, por carecer stos de inters prctico.
Ejemplos:
1. Encuentra P2 (x, y) para f (x, y) = e2xy alrededor de (x0 , y0 ) = (0, 0).
Como el polinomio P2 (x, y) alrededor de (x0 , y0 ) = (0, 0) es
P2 (x, y) = f (0, 0)+f x (0, 0)x+f y (0, 0)y+
1
f xx (0, 0)x2 + 2f xy (0, 0)xy + f yy (0, 0)y 2 ,
2!
con
f (x, y)
fx (x, y)
fy (x, y)
fxx (x, y)
fxy (x, y)
fyy (x, y)
=
=
=
=
=
=
e2xy f (0, 0) = 1,
2e2xy fx (0, 0) = 2,
e2xy fy (0, 0) = 1,
4e2xy fxx (0, 0) = 4,
2e2xy fxy (0, 0) = 2,
e2xy fyy (0, 0) = 1
por lo tanto,
P2 (x, y) = 1 + 2x y +
210
1
4x2 4xy + y 2 .
2!

2. Encuentra P2 (x, y) para f (x, y) = y 3 ex+2 alrededor de (x0 , y0 ) = (2, 1).
Como el polinomio P2 (x, y) alrededor de (x0 , y0 ) = (2, 1) es
P2 (x, y) = f (2, 1) + f x (2, 1)(x + 2) + f y (2, 1)(y 1)
1
+
f xx (2, 1)(x + 2)2 + 2f xy (2, 1)(x + 2)(y 1) + f yy (2, 1)(y 1)2 ,
2!
con
f (x, y)
fx (x, y)
fy (x, y)
fxx (x, y)
fxy (x, y)
fyy (x, y)
=
=
=
=
=
=
y 3 ex+2
y 3 ex+2
3y 2 ex+2
y 3 ex+2
3y 2 ex+2
6yex+2
f(2, 1) = 1,
fx (2, 1) = 1,
fy (2, 1) = 3,
fxx (2, 1) = 1,
fxy (2, 1) = 3,
fyy (2, 1) = 6,
por lo tanto,
P2 (x, y) = 1 + (x + 2) + 3(y 1) +
1
(x + 2)2 + 6(x + 2)(y 1) + 6(y 1)2 .
2!
211
Captulo 5 Series
Bibliografa
1. O. Estrada, P. Garca y Colom, G. Monsivais, Clculo Vectorial y Aplicaciones,
Grupo Editorial Iberoamrica, 2003.
2. J. E. Marsden, A.J. Tromba, Clculo Vectorial, 5a. edicin, Pearson, 2004.
3. C.P. Simon, L. Blume, Mathematics for Economists, Norton, 1994.
4. K. Sydsaeter, P.J. Hammond, A. Carvajal, Matemticas para el Anlisis
Econmico, Pearson, 2a. edicin, 2012.
5. K. Sydsaeter, P.J. Hammond, Essential Mathematics for Economic Analysis,
2nd. edition, Prentice Hall, 2006.
6. K. Sydsaeter, P.J. Hammond, A. Seierstad, A. Strom, Further Mathematics for
Economic Analysis, 2nd. edition, Prentice Hall, 2008.
7. G.B. Thomas, R.L. Finney, Clculo, Vols. I y II, 12a. edicin, Adisson Wesley,
2004.
8. A.C. Chiang, Mtodos Fundamentales de Economa Matemtica, 3a. edicin,
McGraw-Hill Interamericana de Mxico, 1987.
9. M.J. Osborne, Mathematical Methods for Economic Theory: A Tutorial,
http://www.economics.utoronto.ca/osborne/MathTutorial, 2007.
10. R.G. Bartle, Introduccin al Anlisis Matemtico de una Variable, 2a. edicin,
Limusa Wiley, 1996.
212

Notas Calculo III

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

Notas Calculo III

Uploaded by

Copyright:

Available Formats

Clculo III

1.1 Integral indefinida. Integracin por sustitucin

1.2 Sumas finitas. Sumas de Riemann. Integral definida

1.3 Teorema Fundamental del Clculo

1.4 Sustitucin en integral definida

1.5 rea. Valor promedio. Longitud de curva

1.6 Integrales relacionadas con las funciones trigonomtricas inversas

1.7 Tcnicas de integracin

2 Formas indeterminadas e integrales impropias

2.1 Formas indeterminadas. Regla de LHopital

2.2 Integrales impropias

3.1 Integrales dobles sobre un rectngulo. Teorema de Fubini

3.2 Integrales dobles sobre regiones ms generales

3.3 Cambio en el orden de integracin

3.4 rea de regiones planas acotadas. Valor promedio

3.5 Integrales dobles en forma polar

3.6 Integrales impropias

3.7 Introduccin a las integrales triples

4.1 Sucesiones de nmeros reales. Criterios de convergencia

4.2 Sucesiones de vectores

4.3 Sucesiones de funciones

5.1 Series. Serie geomtrica

5.2 Criterios de convergencia de series

5.3 Series de funciones. Series de potencias

5.4 Series de Taylor para funciones de una y varias variables

Antiderivada. Integral indefinida

Dada una funcin diferenciable F (x), su derivada f(x) = dF (x)/dx es una

1.1 Integral indefinida. Integracin por sustitucin

Propiedades de la integral indefinida

Algunas frmulas de integracin directa

Es importante observar que la integral indefinida siempre debe contener la

1.1 Integral indefinida. Integracin por sustitucin

Para ese fin, llevamos a cabo la primera integracin, obteniendo

Integracin por sustitucin

El mtodo de integracin por sustitucin se utiliza cuando el integrando es la

sen (x2 ) 2x dx.

La integral de la izquierda es una integral directa de la forma

sen u du = cos u + C = cos(x2 ) + C.

Mtodo de sustitucin para integrales indefinidas. Sea u = g(x), con g

f (u) du = F (u) + C = F (g(x)) + C.

Para ello, proponemos u = 2 + 5x. En ese caso,

du = d(2 + 5x) = 5 dx.

1.1 Integral indefinida. Integracin por sustitucin

Este mtodo no es til cuando se tiene una integral de la forma f(g(x)) dx

El mtodo de sustitucin puede complementarse con algn otro mtodo, o con

1.2 Sumas finitas. Sumas de Riemann. Integral definida

3cos x sen x dx.

4. e2x 1 e2x dx.

1.2 Sumas finitas. Sumas de Riemann. Integral definida

Definicin. Sean k0 , n Z, con k0 n. Una suma finita es una expresin de la

en donde k = k0 , k0 + 1, . . . , n se denomina el ndice de la sumatoria, ak es el

(1)k k 2 = (1)1 12 + (1)2 22 + (1)3 32 = 1 + 4 9 = 6.

x2k xk = x21 x1 + x22 x2 + . . . + x2n xn .

ak el resultado final no depende del ndice k. Esto

Nota que en la suma

Asimismo, un mismo resultado puede expresarse de dos maneras aparentemente

1.2 Sumas finitas. Sumas de Riemann. Integral definida

Frmulas de sumatorias especiales (k0 = 1)

100(100 + 1)(2(100) + 1) 3(100)(100 + 1)

Adems de las anteriores, existen otras sumatorias especiales, que revisten de

con r R una constante.

Para encontrar el valor de la suma geomtrica, primero nota que si r = 1,

rk1 para r = 1. Para ello es conveniente

Ahora procedemos a determinar