Está en la página 1de 212

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

3.6 Integrales impropias

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 Integral indefinida. Integracin por sustitucin
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

1.1 Integral indefinida. Integracin por sustitucin


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 .

Captulo 1 Integracin

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

1.1 Integral indefinida. Integracin por sustitucin


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

Captulo 1 Integracin

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

1.1 Integral indefinida. Integracin por sustitucin


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

Captulo 1 Integracin
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

1.2 Sumas finitas. Sumas de Riemann. Integral definida


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 Sumas finitas. Sumas de Riemann. Integral definida


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

Captulo 1 Integracin
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

1.2 Sumas finitas. Sumas de Riemann. Integral definida


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

Captulo 1 Integracin
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

1.2 Sumas finitas. Sumas de Riemann. Integral definida


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

Captulo 1 Integracin
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

1.2 Sumas finitas. Sumas de Riemann. Integral definida


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

Captulo 1 Integracin
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

1.2 Sumas finitas. Sumas de Riemann. Integral definida


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

Captulo 1 Integracin
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

1.2 Sumas finitas. Sumas de Riemann. Integral definida

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

Captulo 1 Integracin
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

1.2 Sumas finitas. Sumas de Riemann. Integral definida


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

Captulo 1 Integracin
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 .

1.2 Sumas finitas. Sumas de Riemann. Integral definida


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

Captulo 1 Integracin
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 Teorema Fundamental del Clculo


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.

1.3 Teorema Fundamental del Clculo


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

Captulo 1 Integracin
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

1.3 Teorema Fundamental del Clculo


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 .

Captulo 1 Integracin
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

1.3 Teorema Fundamental del Clculo


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

Captulo 1 Integracin
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.

1.3 Teorema Fundamental del Clculo


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

Captulo 1 Integracin
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

1.3 Teorema Fundamental del Clculo


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

Captulo 1 Integracin
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

1.4 Sustitucin en integral definida

1.4 Sustitucin en integral definida


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

Captulo 1 Integracin
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
y los nuevos lmites de integracin son
u=

u (a) = 1,

u (ab) = b.
40

1.4 Sustitucin en integral definida


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
y los nuevos lmites de integracin son
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
y los nuevos lmites de integracin son
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

Captulo 1 Integracin

1.5 rea. Valor promedio. Longitud de curva


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

1.5 rea. Valor promedio. Longitud de curva


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

Captulo 1 Integracin
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

1.5 rea. Valor promedio. Longitud de curva


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

Captulo 1 Integracin
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

1.5 rea. Valor promedio. Longitud de curva


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

Captulo 1 Integracin
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

1.5 rea. Valor promedio. Longitud de curva


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

Captulo 1 Integracin
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

1.5 rea. Valor promedio. Longitud de curva


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

Captulo 1 Integracin

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

1.5 rea. Valor promedio. Longitud de curva


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

Captulo 1 Integracin

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

1.6 Integrales relacionadas con las funciones trigonomtricas inversas



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

Captulo 1 Integracin

%
&
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

1.6 Integrales relacionadas con las funciones trigonomtricas inversas


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

Captulo 1 Integracin
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

1.6 Integrales relacionadas con las funciones trigonomtricas inversas


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

Captulo 1 Integracin

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

1.6 Integrales relacionadas con las funciones trigonomtricas inversas


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

Captulo 1 Integracin
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

1.7 Tcnicas de integracin

1.7 Tcnicas de integracin


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


Por ejemplo, considera

3x + 2

dx. Aqu el numerador puede separarse en


1 x2
63

Captulo 1 Integracin
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


Por ejemplo, considera
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
Por ejemplo, considera
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
Por ejemplo, considera
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

1.7 Tcnicas de integracin


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.

Captulo 1 Integracin
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

1.7 Tcnicas de integracin


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,

Captulo 1 Integracin
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 Tcnicas de integracin

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

Captulo 1 Integracin
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

1.7 Tcnicas de integracin


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

Captulo 1 Integracin
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
Comparando trminos, tenemos
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

1.7 Tcnicas de integracin


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

Comparando trminos, tenemos

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
2.1 Formas indeterminadas. Regla de LHopital
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

2.1 Formas indeterminadas. Regla de LHopital


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

2.1 Formas indeterminadas. Regla de LHopital


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 .

Captulo 2 Formas indeterminadas e integrales impropias

2.2 Integrales impropias


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

2.2 Integrales impropias


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

Captulo 2 Formas indeterminadas e integrales impropias

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.2 Integrales impropias

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

De acuerdo con la regla de LHopital,


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

Captulo 2 Formas indeterminadas e integrales impropias


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

De acuerdo con la regla de LHopital,


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

2.2 Integrales impropias

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

Captulo 2 Formas indeterminadas e integrales impropias


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

2.2 Integrales impropias


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

Captulo 2 Formas indeterminadas e integrales impropias


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

2.2 Integrales impropias


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

Concluimos entonces que


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

Captulo 2 Formas indeterminadas e integrales impropias


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
3.1 Integrales dobles sobre un rectngulo. Teorema de Fubini
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

3.1 Integrales dobles sobre un rectngulo. Teorema de Fubini


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

Captulo 3 Integracin Mltiple


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

3.1 Integrales dobles sobre un rectngulo. Teorema de Fubini


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

Captulo 3 Integracin Mltiple


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

3.2 Integrales dobles sobre regiones ms generales


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.

3.2 Integrales dobles sobre regiones ms generales


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

Captulo 3 Integracin Mltiple


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

3.2 Integrales dobles sobre regiones ms generales

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

Captulo 3 Integracin Mltiple


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

3.3 Cambio en el orden de integracin


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

3.3 Cambio en el orden de integracin


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 =???,

Captulo 3 Integracin Mltiple


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

3.3 Cambio en el orden de integracin


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

Captulo 3 Integracin Mltiple


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 rea de regiones planas acotadas. Valor promedio

3.4 rea de regiones planas acotadas. Valor promedio


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

Captulo 3 Integracin Mltiple


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

3.4 rea de regiones planas acotadas. Valor promedio


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

Captulo 3 Integracin Mltiple

3.5 Integrales dobles en forma polar


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

3.5 Integrales dobles en forma polar


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

Captulo 3 Integracin Mltiple

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

3.5 Integrales dobles en forma polar


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

Captulo 3 Integracin Mltiple


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

3.5 Integrales dobles en forma polar


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

Captulo 3 Integracin Mltiple


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

3.5 Integrales dobles en forma polar


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

Captulo 3 Integracin Mltiple


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

3.5 Integrales dobles en forma polar


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

Captulo 3 Integracin Mltiple


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

3.5 Integrales dobles en forma polar


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

Captulo 3 Integracin Mltiple


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

3.5 Integrales dobles en forma polar


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

Captulo 3 Integracin Mltiple


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

3.5 Integrales dobles en forma polar


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

Captulo 3 Integracin Mltiple


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.

3.6 Integrales impropias


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

3.6 Integrales impropias


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

Captulo 3 Integracin Mltiple


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.
En este caso, se tiene simplemente

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

3.6 Integrales impropias


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.

Captulo 3 Integracin Mltiple


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

3.7 Introduccin a las integrales triples


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

3.7 Introduccin a las integrales triples


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

Captulo 3 Integracin Mltiple


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.

En este caso, se tiene simplemente


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

3.7 Introduccin a las integrales triples


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

Captulo 3 Integracin Mltiple


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
4.1 Sucesiones de nmeros reales. Criterios de convergencia
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

4.1 Sucesiones de nmeros reales. Criterios de convergencia


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

Captulo 4 Sucesiones
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}
Se trata de la sucesin 2, 4, 6, 8, 10, 12, . . .
c. {2n 1}
Se trata de la sucesin 1, 3, 5, 7, 9, 11, . . .
d. {(1)n (2n + 1)}
Se trata de la sucesin 3, 5, 7, 9, 11, 13, . . .
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

4.1 Sucesiones de nmeros reales. Criterios de convergencia


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,

Captulo 4 Sucesiones
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

4.1 Sucesiones de nmeros reales. Criterios de convergencia


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

Captulo 4 Sucesiones
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

4.1 Sucesiones de nmeros reales. Criterios de convergencia


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

Captulo 4 Sucesiones
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

4.1 Sucesiones de nmeros reales. Criterios de convergencia


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

Captulo 4 Sucesiones
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

4.1 Sucesiones de nmeros reales. Criterios de convergencia


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.

Captulo 4 Sucesiones
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,

4.1 Sucesiones de nmeros reales. Criterios de convergencia


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
por el teorema del sandwich concluimos que
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

Captulo 4 Sucesiones
por el teorema del sandwich concluimos que
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

4.1 Sucesiones de nmeros reales. Criterios de convergencia


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

Captulo 4 Sucesiones

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.

4.1 Sucesiones de nmeros reales. Criterios de convergencia


Ejemplos:
5n
1. Calcula lm n .
n 2
En este caso, se tiene simplemente
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,

Captulo 4 Sucesiones
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

4.2 Sucesiones de vectores

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).

4.2 Sucesiones de vectores


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

Captulo 4 Sucesiones

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

4.3 Sucesiones de funciones

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.

4.3 Sucesiones de funciones


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

Captulo 4 Sucesiones
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

4.3 Sucesiones de funciones


como se ilustra en la siguiente grfica.

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

Captulo 4 Sucesiones
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

4.3 Sucesiones de funciones


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,
como se ilustra en la siguiente grfica.

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
5.1 Series. Serie geomtrica
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
3. A partir de la sucesin 1, , , , , . . . se construye la serie
2 4 8 16

n1
1
1
1 1 1
1
=
=1+ + + +
+ .
n1
2
2
2 4 8 16
n=1
n=1
158

5.1 Series. Serie geomtrica


1 1
1 1
4. A partir de la sucesin 1, , , , , . . . se construye la serie
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

5.1 Series. Serie geomtrica


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.

Concluimos entonces que

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

5.1 Series. Serie geomtrica


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

Reescribimos la serie como

1
1
1
1
1 + 2 3 + =
(1)n1 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

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 +
Reescribimos la serie como
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

Reescribimos la serie como


1
1
1
3 1 + 2 3 +
2 2
2

= 3

n=1

1
2

n1

1
de modo que r = . Como |r| < 1, la serie converge, y su suma es
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 +
Reescribimos la serie como
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

5.1 Series. Serie geomtrica


f) 1 + 2x + 4x2 + 8x3 + 16x4 +
Reescribimos la serie como
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

5.1 Series. Serie geomtrica


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

5.1 Series. Serie geomtrica


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

5.1 Series. Serie geomtrica


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

5.2 Criterios de convergencia de series


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

5.2 Criterios de convergencia de series


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

5.2 Criterios de convergencia de series

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

5.2 Criterios de convergencia de series


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
por lo tanto la serie

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).
2. Determina la convergencia de

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
por lo tanto la serie
converge (su suma es e2 , como mostraremos en el
n!
n=1
tema de series de Taylor).
= 2 lm

177

Captulo 5 Series
3. Determina la convergencia de

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

por lo tanto la serie

n=1

(2n)!
diverge.
n! n!

4. Determina la convergencia de

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)!

5.2 Criterios de convergencia de series


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:

1. Determina la convergencia de

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

2. Determina la convergencia de

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

... ,

5.2 Criterios de convergencia de series


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
por lo tanto la serie

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

5.2 Criterios de convergencia de series


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

2. Analiza la convergencia de

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

5.2 Criterios de convergencia de series


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:
1. Analiza la convergencia de

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

2. Analiza la convergencia de

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

5.2 Criterios de convergencia de series

3. Analiza la convergencia de

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

4. Analiza la convergencia de

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

5.2 Criterios de convergencia de series


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. Determina la convergencia de

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
2. Determina la convergencia de

(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 =

3. Determina la convergencia de

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 Criterios de convergencia de series

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

5.3 Series de funciones. Series de potencias


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.

5.3 Series de funciones. Series de potencias


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

5.3 Series de funciones. Series de potencias


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

5.3 Series de funciones. Series de potencias


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.
2. Determina el intervalo y radio de convergencia de la serie

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

5.3 Series de funciones. Series de potencias


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

3. Determina el intervalo y radio de convergencia de la serie

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!

4. Determina el intervalo y radio de convergencia de la serie

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

5.4 Series de Taylor para funciones de una y varias variables


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

5.4 Series de Taylor para funciones de una y varias variables


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

5.4 Series de Taylor para funciones de una y varias variables


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.

5.4 Series de Taylor para funciones de una y varias variables


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

5.4 Series de Taylor para funciones de una y varias variables


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

5.4 Series de Taylor para funciones de una y varias variables


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!

5.4 Series de Taylor para funciones de una y varias variables


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