You are on page 1of 208

Clculo III

Notas de Clase

Lorena Zogaib

13 de enero de 2012
Contenido

Contenido 2
Prlogo 4
1 Integracin 5
1.1 Integral indefinida. Integracin por sustitucin 5
1.1.1 Antiderivada. Integral indefinida 5
1.1.2 Integracin por sustitucin 10
1.2 Sumas finitas. Sumas de Riemann. Integral definida 13
1.2.1 Sumas finitas 13
1.2.2 Sumas de Riemann 17
1.2.3 Integral definida 26
1.3 Teorema Fundamental del Clculo 27
1.4 Sustitucin en integral definida 36
1.5 rea. Valor promedio. Longitud de curva 39
1.5.1 rea bajo una curva. rea entre curvas 39
1.5.2 Valor promedio. Teorema del Valor Medio para integrales 46
1.5.3 Longitud de curvas 49
1.6 Integrales relacionadas con las funciones trigonomtricas inversas 51
1.7 Tcnicas de integracin 59
1.7.1 Procedimientos algebraicos 59
1.7.2 Integracin por partes 62
1.7.3 Fracciones parciales 65
2 Formas indeterminadas e integrales impropias 71
2.1 Formas indeterminadas. Regla de LHopital 71
2.2 Integrales impropias 75
3 Integracin Mltiple 86
3.1 Integrales dobles sobre un rectngulo. Teorema de Fubini 86

2
3.2 Integrales dobles sobre regiones ms generales 92
3.3 Cambio en el orden de integracin 96
3.4 rea de regiones planas acotadas. Valor promedio 100
3.4.1 rea de regiones acotadas en el plano 100
3.4.2 Valor promedio 101
3.5 Integrales dobles en forma polar 103
3.6 Integrales impropias 119
3.7 Introduccin a las integrales triples 123

4 Sucesiones 128
4.1 Sucesiones de nmeros reales. Criterios de convergencia 128
4.2 Sucesiones de vectores 148
4.3 Sucesiones de funciones 150
5 Series 155
5.1 Series. Serie geomtrica 155
5.2 Criterios de convergencia de series 168
5.2.1 Pruebas para series de trminos no negativos 171
5.2.2 Pruebas de convergencia para series de trminos con signos
diferentes 183
5.2.3 Convergencia condicional y convergencia absoluta 187
5.3 Series de funciones. Series de potencias 189
5.4 Series de Taylor para funciones de una y varias variables 196
Bibliografa 208

3
Prlogo

Este documento constituye un material de apoyo para el curso de Clculo III para
la carrera de economa 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, 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 la coleccin de ejercicios que he reunido
para el curso de Clculo III. Mi agradecimiento a Anglica Martnez, 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 las
futuras generaciones de estudiantes de economa en el ITAM.

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

4
Captulo1
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.

5
Captulo1 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

2x dx = x2 + 1 + C

= 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. r () d = r() + C.
d
t

2. e dt =e t .
dt

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 1
[ 5f(x) g(x) ] dx = 5 f (x) dx g(x) dx.
3 3

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
Captulo1 Integracin

Ejemplos:

4x x3 5/2 x3/2 8
1. 5
dx = 4 x dx = 4 +C = x3/2 + C.
x 3/2 3
t5/4 4
2. [ 5+ t] dt = [ 5 + t1/4 ] dt = 5 t+ + C = 5 t+ t5/4 + C.
5/4 5
1 x
3. 3x dx = 3 + C.
ln 3
sen x 1 sen x
4. dx = dx = sec x tan x dx = sec x + C.
cos2 x cos x cos x
5. (ln(2x) ln x) dx = ln 2x x
dx = ln 2 dx = ln 2 dx = x ln 2 + C.

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/dx = 2x est dada por
dy
y(x) = dx
dx
= 2x dx

= x2 + C,
que representa una infinidad de parbolas desplazadas verticalmente, como se
muestra en la siguiente figura.

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

8
1.1 Integral indefinida. Integracin por sustitucin

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). En otras palabras, buscamos
aquella curva de la familia y(x) = x2 + C tal que y(1) = 2. 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

dy d2 y
= dx
dx dx2
= 6x dx

= 3x2 + C1 ,
Integrando nuevamente, se tiene
dy
y(x) = 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
Captulo1 Integracin

1.1.2 Integracin por sustitucin

La integracin por sustitucin es un mtodo que se utiliza de manera frecuente,


especialmente cuando el integrando es el resultado de una composicin de
funciones. ste consiste en introducir un cambio de variable que permita convertir
una integral relativamente compleja en una integral directa, o al menos ms
manejable. Por ejemplo, compara las siguientes integrales

sen x dx vs sen (x2 ) 2x dx.

La integral de la izquierda es una integral simple, de la forma f(x)dx, que puede


determinarse directamente, a saber,

sen x dx = cos x + C.

En contraste, la integral de la derecha posee un integrando que resulta de derivar


una composicin de funciones, de la forma f(g(x)) g (x) dx, con f (x) = sen x
y g(x) = x2 . En este 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)


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:

Para determinar 2 5x dx 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 la siguiente manera
1
2 5x dx = 2 5x (5 dx)
5
1
= u1/2 du
5
1 u3/2
= +C
5 3/2
2
= u3/2 + C
15
2
= (2 5x)3/2 + C.
15
Observa que a partir del tercer rengln tambin pudimos haber escrito
3/2
15 u3/2 + C = 15 2
(2 5x)3/2 15 C, que es equivalente al resultado obtenido.

Este mtodo no es til cuando en el integrando se tiene una composicin


de funciones del tipo f (g(x)) pero sin el factor g (x), salvo que g (x) sea una
constante, como en el caso de la integral anterior. Por ejemplo, considera la integral

sen (x2 ) dx

y vuelve a intentar el cambio de variable u = x2 . Notars que


du
sen (x2 ) dx = sen u dx = sen u = etc,
2x
que contiene variables mezcladas, por lo que no puede integrarse ni con respecto a
x ni con respecto a 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)
sen2 x = , cos2 x = .
2 2
Con la primera de stas encontramos sen2 x dx de la siguiente manera
1 cos(2x) 1 cos(2x)
sen2 x dx= dx = dx dx.
2 2 2
11
Captulo1 Integracin

Introduciendo el cambio de variable u = 2x se tiene


u = 2x du = d(2x) = 2 dx,
de modo que
1 1 cos(2x)
sen2 x dx = 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
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, con u = g(x) diferenciable


1. du = u + C
un+1
2. un du = + C , n = 1
n+1
du
3. u1 du = = ln |u| +C, u = 0
u
4. sen u du = cos u + C
5. cos u du = sen u + C
6. sec2 u du = tan u + C
7. csc2 u du = cot u + C
8. sec u tan u du = sec u + C
9. csc u cot u du = csc u + C
u sen (2u)
10. sen2 u du = +C
2 4
u sen (2u)
11. cos2 u du = + +C
u
2 4
12. eu du = e +C
1 u
13. au du = a +C, a > 0, a = 1
ln a

12
1.2 Sumas finitas. Sumas de Riemann. Integral definida

Ejemplos:

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

2. e2x 1 e2x dx.
Sea u = 1 e2x , de modo que du = 2e2x dx.
1 1
e2x 1 e2x dx = 1 e2x (2e2x ) dx = u du
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.

Los siguientes ejemplos ilustran la notacin:


4
1) k = 1 + 0 + 1 + 2 + 3 + 4 = 9
k= 1
3
2) (1)k k 2 = (1)1 12 + (1)2 22 + (1)3 32 = 1 + 4 9 = 6
k=1
n
3) 3k = 1 + 3 + 32 + . . . + 3n1 + 3n
k=0
n
4) 1 = 1 + 1 + ... + 1 = n
k=1
n
5) x2k xk = x21 x1 + x22 x2 + . . . + x2n xn
k=1

13
Captulo1 Integracin

n
Nota que en la suma ak el resultado final no depende del ndice k. Esto
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 n
ak = ai =an2 + an1 + an .
k=n2 i=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 li
F (k) = F (j + i) =F (i) + F (i + 1) + . . . + F (l).
k=i j=0

Propiedades de la sumatoria

Sean k0 , n Z, con k0 n, y sea c R. Entonces


n
1. c = c(n k0 + 1)
k=k0
n n
2. cak = c ak
k=k0 k=k0
n n n
3. (ak + bk ) = ak + bk
k=k0 k=k0 k=k0

Ejemplo:
5 5 5
(2k + 4) = 2 k+ 4 = 2(3 + 4 + 5) + (4 + 4 + 4) = 36.
k=3 k=3 k=3

Frmulas de sumatorias especiales (k0 = 1)

Sea n Z, con n 1. Entonces


n n(n + 1)
1. k=
k=1 2
n n(n + 1)(2n + 1)
2. k2 =
k=1 6
n n(n + 1) 2
3. k3 =
k=1 2
14
1.2 Sumas finitas. Sumas de Riemann. Integral definida

Ejemplo:
100 100 100 100
2
(k + 2)(k 5) = k 3 k 10
k=1 k=1 k=1 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 calcular el valor de la suma geomtrica, primero nota que si r = 1 entonces


n
1k1 = 1 + 1 + 1 + . . . + 1 = n.
k=1
n
Ahora procedemos a calcular rk1 para r = 1. Para ello es conveniente denotar
k=1
n
la suma como Sn = rk1 , es decir,
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 .

15
Captulo1 Integracin

Por ltimo, como hemos supuesto r = 1, en esta ltima ecuacin podemos despejar
Sn, obteniendo
1 rn
Sn = .
1r
Concluimos entonces que
n
1 rn
rk1 = , r = 1.
k=1
1r

Ejemplos:
20 k1 2 19 1 20
1 1 1 1 1 2
1. = 1+ + + + = 1
.
k=1
2 2 2 2 1 2
10 k1 2 9 10
1 1 1 1 1 12
2. =1 + = .
k=1
2 2 2 2 1 12
97
1 397
3. 3k1 = 1 + 3 + 32 + + 396 = .
k=1
13
N1
4. El precio actual de un bono cuponado est dado por p = c t + K, en donde
t=1
c es el valor del cupn, 0 < < 1 es una tasa de descuento, K es un valor
terminal y N > 2. En este caso, el valor de la suma es
N1
t1 1 N1
p = c + K = c + K.
t=1
1

Adems de la suma geomtrica, otro tipo de suma de inters es la familia


denominada como sumas telescpicas, como se define a continuacin.

Definicin. Sean k0 , n Z, con k0 n. Una suma telescpica es una expresin


de la forma
n
(ak+1 ak ).
k=k0

Como una suma telescpica involucra la resta de elementos consecutivos, casi


todos los trminos se irn cancelando en parejas, sobreviviendo slo dos de ellos,

16
1.2 Sumas finitas. Sumas de Riemann. Integral definida

es decir,
n
(ak+1 ak ) = (ak0 +1 ak0 ) + (ak0 +2 ak0 +1 ) + (ak0 +3 ak0 +2 )
k=k0
+ . . . + (an an1 ) + (an+1 an )
= an+1 ak0 .
As, por ejemplo,
n
(k + 1)2 k 2 = 22 12 + 32 22 + 42 32
k=1
+ . . . + 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.

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.

17
Captulo1 Integracin

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
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", es
de esperarse entonces 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

18
1.2 Sumas finitas. Sumas de Riemann. Integral definida

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 f(ck )xk .
||P ||0 n
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 n
f(x) dx = lm f (ck )xk ,
||P ||0
a 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 (2ck 5)3 xk como una integral definida, si P
||P ||0 k=1
denota una particin del intervalo [0, 2].

En este caso, f (x) = (2x 5)3 , de modo que

n 2
3
lm (2ck 5) xk = (2x 5)3 dx.
||P ||0
k=1 0

n
El lmite lm f(ck )xk no siempre existe, es decir, no toda funcin es
||P ||0 k=1
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] .

19
Captulo1 Integracin

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 ,

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
L f(ck )xk U.
k=1
La diferencia U L es por tanto un nmero no negativo, que representa el rea de

20
1.2 Sumas finitas. Sumas de Riemann. Integral definida

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
n
lm L = lm f (ck )xk = lm U,
||P ||0 ||P ||0 ||P ||0
k=1
n
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
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

1, si x es racional,
f (x) =
0, si x es irracional,
en el intervalo [a, b] . En ese intervalo
n n
U = maxk xk = 1 xk = b a,
k=1 k=1
n n
L = mn k xk = 0 xk = 0,
k=1 k=1

21
Captulo1 Integracin

de modo que
lm U = lm L.
||P ||0 ||P ||0
Concluimos entonces 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
f (x) = f2 (x), c x d
f (x), d < x b
3

con f2 (c) = lm f1 (x) y f2 (d) = lm f3 (x), entonces


xc xd

b c d b
f (x)dx = f1 (x)dx + f2 (x)dx + f3 (x)dx.
a a c d

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

22
1.2 Sumas finitas. Sumas de Riemann. Integral definida

b b b
f (x) dx > 0 f(x) dx < 0 f (x) dx = 0
a a a

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

a
f (x) dx < 0
b

Los siguientes ejemplos ilustran cmo utilizar las sumas de Riemann para
calcular 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
xk x = ,
n
y tomaremos como ck al punto final del correspondiente subintervalo k, es decir,
ck = a + k x,
como se ilustra en la siguiente figura.

23
Captulo1 Integracin

Ejemplo 1. Calcula 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 n
C dx = lm C x
a ||P ||0 k=1
n
= lm C (x) 1
n 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].
Ejemplo 2. Calcula la integral definida de f(x) = x en [a, b], con b > a > 0.
Aqu f (ck ) = ck . De esta manera,

b n
x dx = lm ck x
a ||P ||0 k=1
n
= lm (a + kx) x
n k=1
n n
= lm a (x) 1 + (x)2 k
n k=1 k=1
n(n + 1)
= lm a (x) n+ (x)2
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
b2 a 2
Aqu representa el rea del trapecio entre f (x) = x y el eje x, en el
2 2
intervalo [a, b] dado.

24
1.2 Sumas finitas. Sumas de Riemann. Integral definida

Ejemplo 3. Calcula 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 n
x2 dx = lm (ck )2 xk
a ||P ||0 k=1
n
= lm (a + kx)2 x
n k=1
3 3
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.

n k
Ejemplo 4. Expresa el lmite lm sen como una integral
n k=1 n n
definida.

En este ejemplo te dan la suma de Riemann y te piden reconocer de qu integral


se trata. Considerando que
ck = a + k x,
y dado que k aparece en la sumatoria slo en el argumento k n
de la funcin seno,
directamente puedes identificar
k
ck = .
n
Si escribes esta ltima, como

ck = 0 + k ,
n
entonces
a = 0 y x = .
n
As,
n n
k
lm sen = lm sen (ck ) x.
n
k=1
n n n
k=1
n
La expresin del lado derecho tiene la forma lm f (ck ) xk , con
n k=1

f(ck ) = sen (ck ) .

25
Captulo1 Integracin

As, la integral definida tiene por integrando la funcin


f (x) = senx.
Para determinar los lmites de integracin correspondientes, toma en cuenta que
ba
x = = .
n n
Como a = 0 y b a = , por lo tanto,
b = .
Puedes concluir, entonces, que
n
k
lm sen = senx dx.
n
k=1
n n
0

1.2.3 Integral definida

Los ejemplos anteriores ilustran el clculo de una integral definida como el


lmite de una suma de Riemann. As, por ejemplo, utilizando el resultado
b 2 b3 a3
a
x dx = del ejemplo 3, la integral definida de x2 en el intervalo [1, 2]
es 3 3
2
23 (1)3 8 1
x2 dx = = + = 3.
1 3 3 3 3
En la seccin 1.3 aprenderemos cmo calcular integrales definidas, 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 b
f (x) dx = f(t) dt.
a a
As, por ejemplo,
2 2 2
2 2
x dx = t dt = y 2 dy = 3.
1 1 1
Esto difiere del caso de integrales indefinidas, en donde f (x)dx es una funcin
de x (no un nmero), de modo que

f (x)dx = f (t)dt.

26
1.3 Teorema Fundamental del Clculo

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 2 2
x2 + 2 dx = x2 dx + 2 dx = 3 + 6 = 9.
1 1 1
5 3
2. Si 1
f (x) dx = 3 y 1
f (x) dx = 1, de la propiedad 5 se tiene
5 5 3
f (x) dx = f (x) dx f (x) dx = 3 1 = 2.
3 1 1
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
1 + cos x dx 2 (1 0) = 2,
0
1
que es un nmero menor que 2. Concluimos entonces que 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

27
Captulo1 Integracin

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
x
dF (x) d
= f (t) dt = f (x).
dx dx a

x
Demostracin: Sea F (x) = a f (t) dt y sea h > 0.
x+h x x+h
F (x + h) F (x) = a f(t) dt a f(t) dt = x f (t) dt.
Por la desigualdad Max-Min en el intervalo [x, x + h] se tiene:
x+h
(mn f) h x 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
lm mn f lm F (x+h)F
h
(x)
lm max f
h0 h0 h0
F (x + h) F (x)
f (x) lm f(x)
h0 h
dF (x)
f (x) f (x)
dx
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)
x dF (x)
es la derivada de otra funcin F (x) = a f (t) dt, es decir, = f (x). As, los
dx
procesos de diferenciacin y de integracin son inversos el uno del otro.
28
1.3 Teorema Fundamental del Clculo

El siguiente ejemplo ilustra el significado del Teorema Fundamental del


Clculo, en donde se ha tomado f (t) = 2t y a = 1. Nota que F (a) = 0 siempre.

x x
F (x) = 1
f (t) dt = 1
2t dt = x2 1

dF (x) d x
f (x) = = 1
2t dt = 2x
dx dx

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

29
Captulo1 Integracin

entonces
x
x 3 13 x3 1
F (x) = t2 dt = = ,
1 3 3 3 3
que modo que
dF (x) d x3 1
= = x2 .
dx dx 3 3
ii) El segundo mtodo consiste en utilizar directamente el TFC, sin efectuar
previamente la integral, es decir,
x
dF (x) d
= t2 dt = x2 .
dx dx 1

x
2
2. Encuentra dF (x)/dx, si F (x) = et dt.
2
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 2 2
= et dt = ex .
dx dx
2

t
2
3. Encuentra dF (t)/dt, si F (t) = ex dx.
2
Este ejemplo es anlogo al anterior, salvo que aqu se han intercambiado las
variables x y t. De este modo,

t
dF (t) d 2 2
= ex dx = et .
dt dt
2

x3/2 e2tt
4. Encuentra dF (t)/dt, si F (t) = dx.
5 x2 + 17
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 t
x3/2 e2t x3/2
F (t) = dx =e2t dx.
2
x + 17 x2 + 17
5 5

30
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 x2 + 17 dt x2 + 17
5 5
t
t3/2 x3/2
= e2t + 2e2t dx
t2 + 17 x2 + 17
5
t
t3/2 e2t x3/2 e2t
= 2 +2 dx.
t + 17 x2 + 17
5

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
P (t) = v(s)er(ts) ds,
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

31
Captulo1 Integracin

De este modo,
t
dP (t) d rt
= e v(s)ers ds
dt dt 20
t t
d d rt
= ert v(s)ers ds + e v(s)ers ds
dt 20 dt 20
t
= ert v(t)ert + rert v(s)ers ds
20
t
= v(t) + r v(s)er(ts) ds
20
t
= v(t) r v(s)er(ts) ds
20
20
= v(t) + r v(s)er(ts) ds,
t
es decir
dP (t)
= v(t) + rP (t).
dt

Regla de la cadena en el Teorema Fundamental del Clculo

Si u(x) es una funcin diferenciable, entonces


u(x)
d du(x)
f (t) dt = f(u(x)) .
dx a dx

x dF (x)
Demostracin: Sea F (x) = a f (t) dt, de modo que = f (x). Sea u(x)
dx
una funcin diferenciable. Por lo tanto,
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.

As, por ejemplo,


senx
d dsenx
1 + t5 dt = 1 + (senx)5
dx 1 dx
= 1 + (senx)5 cos x.

32
1.3 Teorema Fundamental del Clculo

u(x)
La regla de la cadena puede extenderse al caso v(x) f (t) dt, en donde u(x) y
v(x) son funciones diferenciables. Para ello, se parte la integral en algn punto
t = c del dominio de f, y se utiliza la regla de la cadena anterior, de la siguiente
manera:
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
v(x) u(x)
d d
= f (t) dt+ f(t) dt
dx c dx c
dv(x) du(x)
= f(v(x))
+ f (u(x)) .
dx dx
Este resultado se conoce como la Regla de Leibnitz, que se enuncia a continuacin.

Regla de Leibnitz

Si u(x) y v(x) son funciones diferenciables, entonces


u(x)
d du(x) dv(x)
f(t) dt = f (u(x)) f (v(x)) .
dx v(x) dx dx

Ejemplo:
2x5
d 2 2
cos (t2 ) dt = cos (2x5 ) (10x4 ) cos (5x3 ) (15x2 )
dx 5x3
= 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.

Regla de Leibnitz (caso general)

Si u(x) y v(x) son funciones diferenciables, entonces


u(x) u(x)
d du(x) dv(x) f (t, x)
f (t, x) dt = f (u(x), x) f(v(x), x) + dt.
dx v(x) dx dx v(x) x

33
Captulo1 Integracin

A partir de este resultado podemos encontrar la derivada de funciones como


las de los ejemplos 4 y 5, que discutimos con anterioridad. En ellos habamos
aprovechado el hecho de que el integrando poda factorizarse adecuadamente, de
modo que la derivada de la integral se obtuvo como la derivada de un producto
de funciones. Para ilustrar el uso de la regla de Leibnitz general, a continuacin
vamos a utilizarla para encontrar nuevamente la derivada del ejemplo 5.
d 20
r(ts) r(t20) d20 dt 20
v(s)er(ts)
v(s)e ds = v(20)e v(t)er(tt) + ds
dt t dt dt t 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 a problemas con condiciones iniciales, inclusive
en el caso de funciones que no posean una antiderivada conocida. Por ejemplo,
necesitamos encontrar la solucin del problema
dy
= 1 + x5 , y(2) = 5.
dx

En principio, la solucin est dada por y(x) = 1 + x5 dx + C. Sin embargo,
aqu no podemos determinar el valor de C a partir de la informacin y(2) = 5, ya
que no hay manera de determinar la integral.
La dificultad consiste en que no existe
una antiderivada simple para la funcin 1 + x5 . Una forma elegante de resolver
el problema es la siguiente. Sabemos que
dy 5
x
= 1+x = y(x) = 1 + t5 dt,
dx a
con a una constante indeterminada. Tambin sabemos que
2
y(2) = 1 + t5 dt,
a
de modo que
x 2
y(x) y(2) = 1 + t5 dt 1 + t5 dt
a a
x a
= 1 + t5 dt + 1 + t5 dt
a 2
x
= 1 + t5 dt.
2

34
1.3 Teorema Fundamental del Clculo

Por lo tanto,
x
y(x) = 1 + t5 dt + y(2).
2
Como y(2) = 5, la solucin del problema de condiciones iniciales es
x
y(x) = 1 + t5 dt + 5.
2

En efecto, esta funcin y(x) cumple las dos condiciones dadas, a saber
dy d x
= 1 + t5 dt + 5 = 1 + x5 ,
dx dx 2
2
y(2) = 1 + t5 dt + 5 = 0 + 5 = 5.
2
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.

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
f (x) dx = F (x)|ba = F (b) F (a).
a

Demostracin: De acuerdo con la parte 1 del Teorema Fundamental del


x
Clculo, sabemos 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 a
= f (t) dt f (t) dt
a a
b
= f (t) dt.
a

35
Captulo1 Integracin

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 b
dF (x)
f (x) dx = dx = [F (x)]ba = F (b) F (a).
a a dx
As, por ejemplo, se tiene

d( cos x)
senx dx = dx = [ cos x]0 = cos + cos 0 = 2.
0 0 dx
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.
0

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


dF (u)
Sea u = g(x) diferenciable y sean f y F tales que f (u) = . Entonces
du
b g(b)

f (g(x)) g (x) dx = f (u) du = F [g(b)] F [g(a)] .


a g(a)

1
Por ejemplo, para calcular 1 + x dx proponemos la sustitucin u = 1 + x,
0
de modo que
u=1+x du = dx.

36
1.4 Sustitucin en integral definida

Correspondientemente, los nuevos lmites de integracin son

u(0) = 1 + 0 = 1, u(1) = 1 + 1 = 2.
De esta manera,
1 2 2
2u3/2 2 3/2
1 + x dx = u dx = = 2 1 .
3 1 3
0 1

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.

Ejemplos:
e dx
1. Calcula .
1 x (ln x + 1)2

Sea u = ln x + 1, de modo que


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

u (1) = ln 1 + 1 = 1, u (e) = ln e + 1 = 2.
0 1

De esta manera,
e e
2 2
dx dx/x du 1 1 1
= = = = +1= .
x (ln x + 1)2 (ln x + 1)2 1 u 2 u 1 2 2
1 1

37
Captulo1 Integracin

2. Desde un punto de vista formal, la funcin logaritmo natural ln x se define como


x
1
ln x =
dt,
1 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
1
ln 1 = dt = 0.
1 t
ii) Se tiene
ab a ab
1 1 1
ln (ab) = dt = dt. dt +
1 1 t a t t
t
Para la segunda integral proponemos la sustitucin u = , de modo que
a
t 1
u=
du = dt
a a
y los nuevos lmites de integracin son
u (a) = 1, u (ab) = b.
De este modo,
ab ab b
1 a 1 1
dt = dt = du.
a t a t a 1 u
Por lo tanto,
a b
1 1
ln (ab) = dt + du = ln a + ln b.
1 t 1 u
iii) Por el inciso anterior,
a 1 1
ln = ln a = ln a + ln ,
b b b
con
1/b
1 1
ln
= dt.
b 1 t
Proponemos la sustitucin u = 1t , de modo que
1 1
u= du = 2 dt
t t
38
1.5 rea. Valor promedio. Longitud de curva

y los nuevos lmites de integracin son

u (1) = 1, u (1/b) = b.

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

1 1
u = t1/r du = t r 1 dt
r
y los nuevos lmites de integracin son

u (1) = 1, u (ar ) = a.

De esta manera,
ar a
r 1 1 1 1 1
ln a = r t r dt =r du = r ln a.
1 t1/r r 1 u

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

39
Captulo1 Integracin

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 x2 b
f (x) dx = f (x) dx + f(x) dx + f (x) dx
a a x1 x2
= A1 A2 + A3 ,

en donde
x1 x2 b
A1 = f (x) dx > 0, A2 = f (x) dx > 0 y A3 = f (x) dx > 0
a x1 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 x2 b
A= f (x) dx f (x) dx + f(x) dx = A1 + A2 + A3 .
a x1 x2


nota este signo

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

40
1.5 rea. Valor promedio. Longitud de curva

Observamos que f > 0 en 0 x < 2 y f < 0 en 2 < x 3, de modo que

2 16
A1 = 0
(4 x2 ) dx =
3
3 2 7 7
A2 = 2
(4 x ) dx = =
3 3

16 7 23
A = A1 + A2 = + = .
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
! ! 4 x2 , 2 x 2
!4 x2 ! = 2
x 4, x 2 o x 2,
se tiene

A = A1 + A2
2 3
2
= (4 x ) dx (4 x2 ) dx
0 2
2 3
= (4 x2 ) dx + (x2 4) dx
0 2
3 ! !
= !4 x2 ! dx.
0

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= |f (x)| dx.
a

! !
b ! b !
Nota que A = a
|f (x)| dx = ! a
f (x) dx! (es esto claro para ti?).

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

41
Captulo1 Integracin

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 calcular 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 toda 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 [f(ck ) g(ck )] xk ,
||P ||0
k=1
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= [f (x) g(x) ] dx.


a

Por ejemplo, calculemos el rea 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

42
1.5 rea. Valor promedio. Longitud de curva

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, entonces la resta es siempre positiva. As,
f(x) > g(x) para todo x R. Por lo tanto,

1
A= [(x2 + 2) x ] dx
0
1
x3 x2
= + 2x
3 2 0
11
= .
6

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= |f(x) g(x)| dx.
a

b b
Nota que A = a
|f (x)| dx = a
(|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
puntos como los lmites de integracin.

43
Captulo1 Integracin

Por ejemplo, se desea calcular 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
1
2 4 2 x3 x5 7
A= 2x x x dx = x = .
3 5 0 15
0

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
muestra la figura.

c b
A= [f (x) g(x) ] dx + [g(x) f (x) ] dx
a c

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. Se trata de calcular el rea A de la regin R

44
1.5 rea. Valor promedio. Longitud de curva

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,

0, si 0 x 2
g(x) =
x 2, si x 2.
De esta manera, el rea A de la regin correspondiente est dada por
2 4
10
A= x dx + x (x 2) dx = .
3
0 2

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 lo muestra las figuras.

En este caso, el rea A de la regin R est dada por


d

A= [f (y) g(y) ] dy.


c

45
Captulo1 Integracin

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

2
A= [(y + 2) y 2 ] dy
0
2
y2 y3
= + 2y
2 3 0
10
= .
3

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


n n n
1 x 1
f= f (ck ) = f (ck ) = f (ck )x.
n ba ba
k=1 k=1 k=1

46
1.5 rea. Valor promedio. Longitud de curva

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 f (x) dx.
ba a

Definicin. Si f es integrable en [a, b], su valor promedio en [a, b] es el nmero

b
1
f= f (x) dx.
ba 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
debera tener una funcin constante y = f en ese mismo intervalo de tal modo que
b
el 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 (x) dx
a
b
1
f = f (x) dx
ba a

Por ejemplo, calculemos el valor promedio f de la funcin f(x) = x2 en el


intervalo [0, 2]. De acuerdo con la definicin,

47
Captulo1 Integracin

1 2 2
f= 0
x dx
20
2
1 x3
=
2 3 0
4
= .
3

4
De hecho, observamos que la funcin f (x) = x2 alcanza su valor promedio f = 3
2
en el punto c = dentro del intervalo [0, 2], es decir,
3
2
2 2 4
f (c) = f = = = f.
3 3 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.

Calculemos el promedio f en el intervalo [0, 3] de la siguiente funcin tipo


escaln:

0, 0x1
f (x) =
1, 1 < x 3.

Para esta funcin,


3
1
f = 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
48
1.5 rea. Valor promedio. Longitud de curva

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.

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 si 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 (c) = f (x) dx = 0 = 0.
ba a ba
Por lo tanto, f(x) = 0 al menos una vez en [a, b].

1.5.3 Longitud de curvas

La integral definida tambin puede utilizarse para calcular 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.

49
Captulo1 Integracin

Para calcular la longitud L de la curva, retomamos el concepto de suma de


Riemann,
n
L = lm Lk ,
||P ||0
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 ,


de modo que "
Lk = (xk )2 + (yk )2
#
2
yk
= 1+ xk .
xk
As, #
n 2
yk
L = lm 1+ xk .
||P ||0 xk
k=1

50
1.6 Integrales relacionadas con las funciones trigonomtricas inversas

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
b "
L= 1 + [f (x)]2 dx.
a

Por 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 2
1 1/2
L = 1+ x dx
0 2
1
$
x
= 1 + dx
0 4
5/4
= 4 u du
1
8 3/2 5/4
= u 1
3
3/2
8 5
= 1 .
3 8

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

51
Captulo1 Integracin

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 : [0, ] [1, 1] f 1 : [1, 1] [0, ]


f (x) = cos x f 1 (x) = cos1 x


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

52
1.6 Integrales relacionadas con las funciones trigonomtricas inversas

f : (0, ) R f 1 : R (0, )

f(x) = cot x f 1 (x) = cot1 x

% &
f : 0, , f 1 : (, 1] [1, )
2 2 % &
(, 1] [1, ) 0, ,
2 2
f (x) = sec x f 1 (x) = sec1 x

% &
f : , 0 0, f 1 : (, 1] [1, )
2 2 % &
(, 1] [1, ) , 0 0,
2 2
f (x) = f (x) = csc x f 1 (x) = csc1 x

53
Captulo1 Integracin

La siguiente tabla muestra los valores de las funciones trigonomtricas para


algunos ngulos importantes entre 0 y .
sen cos tan cot sec csc
en grados en radianes
0 0 0 1 0 1
30 /6 1/2
3/2
1/ 3 3 2/ 3 2
45 /4 1/
2 1/ 2 1 1 2 2
60 /3 3/2 1/2 3 1/ 3 2 2/ 3
90 /2 1 0 0 1
120 2/3 3/2
1/2
3 1/ 3 2
2/ 3
135 3/4 1/ 2 1/
2 1 1
2 2
150 5/6 1/2 3/2 1/ 3 3 2/ 3 2
180 0 1 0 1
A partir de ella se pueden calcular los valores de las funciones trigonomtricas
inversas (ngulos), como se muestra en los siguientes ejemplos:
1
a) sen1 = .
2 4

b) cot1 3 = .
6

Por otra parte, para ilustrar el significado de las funciones trigonomtricas


inversas considera las siguientes figuras:

54
1.6 Integrales relacionadas con las funciones trigonomtricas inversas

Ejemplos:
x
1. Simplifica la expresin sen tan1 .
3
x
Sea = tan1
x3
tan =
3
De acuerdo con la figura,
x
sen =
x2 + 9
x x
sen tan1 = .
3 2
x +9
2
2. Sea y = sen1 . Encuentra: a) cos y, b) tan y.
3
2
Como y = sen1
3
2
sen y =
3
De acuerdo con la
figura,
5
a) cos y =
3
2
b) tan y =
5
1
3. Calcula csc (2). (Podras obtener la respuesta con una calculadora de
bolsillo?).

De acuerdo con la figura,


1
csc1 (2) = sen1 = = 30 .
2 6

55
Captulo1 Integracin

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
csc(x) = ,
sen (x)
no existe una propiedad equivalente para las trigonomtricas inversas, es decir,
1
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.

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


sen1 x + cos1 x =
2
1 1
tan x + cot x =
2
1 1
sec x + csc x = .
2
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.

56
1.6 Integrales relacionadas con las funciones trigonomtricas inversas

y = sen1 x
sen y = x
dy
cos y =1
dx
dy 1
=
dx cos y
dsen1 x 1
= , |x| < 1.
dx 1 x2

y = tan1 x
tan y = x
dy
sec2 y =1
dx
dy 1
=
dx sec2 y
1
d tan x 1
= 2 , x R.
dx x +1

y = sec1 x
sec y = x
dy
sec y tan y =1
dx
dy 1
=
dx sec y tan y
dsen1 x 1
= , |x| > 1.
dx |x| x2 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
57
Captulo1 Integracin

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
Ms generalmente, si u = f(x) es una funcin diferenciable, entonces

dsen1 u du/dx d cos1 u du/dx


= , |u| < 1, = , |u| < 1
dx 1 u2 dx 1 u2
d tan1 u du/dx d cot1 u du/dx
= 2
, u R, = , uR
dx 1+u dx 1 + u2
d sec1 u du/dx d csc1 u du/dx
= , |u| > 1, = , |u| > 1
dx 2
|u| u 1 dx |u| u2 1

Ejemplos:
dsen1 (x3 ) 3x2 3x2
1. =" = , si |x3 | < 1, es decir, si 1 < x < 1.
dx 2 1 x6
1 (x3 )

d tan1 (cos x) sen x sen x


2. = 2
= , para todo x R.
dx 1 + (cos x) 1 + cos2 x
d csc1 (2x5 ) 10x4 5
3. = " = , si |2x5 | > 1,
dx 2 |x| 4x 10 1
|2x5 | (2x5 ) 1
es decir, si x < 21/5 o x > 21/5 .

Por ltimo, de las frmulas de derivacin anteriores se deducen las siguientes


integrales, donde u = f (x) es una funcin diferenciable y a > 0 es una constante:
du u
= sen1 + C, |u| < a
2
a u 2 a
du 1 u
2 2
= tan1 + C, u R
u +a a a
du 1 ! !
1 ! u !
= sec ! ! + C, |u| > a.
u u2 a2 a a
58
1.7 Tcnicas de integracin

Ejemplos:
dx x
1. = sen1 + C, para |x| < 4, o sea, 4 < x < 4.
1 x2 4


3/2 dx 1 3/2 1 3 1
2. 1/2 = [sen x]1/2 = sen sen1
1 x2 2 2

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

2 dx 2 2
5.

2/ 3
= [sec1 |x|]2/3 = sec1 2 sec1
x x2 1 3

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

1.7 Tcnicas de integracin


Adems del mtodo de integracin por sustitucin estudiado en 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.
59
Captulo1 Integracin

i) Reduccin de una fraccin impropia


3x2 7x
Por ejemplo, considera 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:
x3
3x + 2 |3x2 7x
3x2 2x
9x
9x + 6
6
As,
3x2 7x 6
dx = x3+ dx
3x + 2 3x + 2
6 3 dx
= x dx 3 dx +
3 3x + 2
x2
= 3x + 2 ln |3x + 2| + C.
2
ii) Separar fracciones
3x + 2
Por ejemplo, considera dx. Aqu el numerador puede separarse en
1 x2
dos trminos, quedando
3x + 2 x 1
dx = 3 dx + 2 dx
1 x2 1x 2 1 x2
2x 1
= 3 dx + 2 dx
2 1x 2 1 x2

= 3 1 x2 + 2sen1 x + C.
iii) Completar cuadrados
dx
Por ejemplo, considera . Completando cuadrados en el denominador
8x x2
obtienes
dx dx
=
8x x2 16 (x 4)2
dx
=
4 (x 4)2
2

x4
= sen1 + C.
4
60
1.7 Tcnicas de integracin

iv) Desarrollar potencias


2
3
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
2
3 6 9
x+ dx = x + + 2 dx
x x x
2
x 9
= + 12 x + C.
2 x
v) Sumar 0 o multiplicar por 1
x
Por ejemplo, considera dx. Al numerador en el integrando puede
x1
sumrsele 0, mediante el siguiente truco:
x x1+1
dx = dx
x1 x1
x1 1
= dx + dx
x1 x1
1
= dx + dx
x1
= x + ln |x 1| + C.
Como un segundo ejemplo, considera sec x dx. Multiplicamos por 1 el
integrando, de la siguiente manera:
sec x + tan x
sec x dx = sec x dx
sec x + tan x
sec2 x + sec x tan x
= dx
sec x + tan x
= ln |sec x + tan x| + C.
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.

61
Captulo1 Integracin

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

udv = uv vdu

Frmula de la integracin por partes


Sean u, v, funciones diferenciables de x. Entonces

udv = uv vdu.

Por ejemplo, consideremos la integral x cos x dx e identifiquemos las


funciones u, v, como se muestra a continuacin,
u=x du = dx
dv = cos x dx v = sen x.
De este modo,

x (cos x dx) = x senx senx dx = x senx + cos x + C


u dv 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
62
1.7 Tcnicas de integracin

el mtodo no sera conveniente, ya que la integral resultante sera ms compleja


que la original
x2 x2
cos x (x dx) = cos x (senx) dx =???
2 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).

Al respecto, considera la integral x2 e3x dx. En este caso, te conviene


proponer

u = x2 du = 2xdx
e3x
dv = e3x dx v= ,
3
de modo que
e3x e3x
x2 e3x dx = x2 (2x) dx
3 3
x2 e3x 2
= + xe3x dx.
3 3
Ahora vuelves a aplicar el mtodo de integracin por partes a la integral que te
qued, proponiendo

u=x du = dx
e3x
dv = e3x dx v= ,
3
de donde
x2 e3x 2 e3x e3x
x2 e3x dx = + (x) dx
3 3 3 3
2 3x 3x
xe 2 xe 1
= + + e3x dx
3 3 3 3
2 3x 3x
xe 2 xe 1 e3x
= + +
3 3 3 3 3
2 3x 3x 3x
xe 2xe 2e
= + C.
3 9 27
63
Captulo1 Integracin

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.
Un ejemplo tpico lo constituye la integral ln x dx. En este caso propones

u = ln x du = x1 dx
dv = dx v = x,
de donde
1
ln x dx = (ln x) (x) (x) dx
x
= x ln x dx
= x ln x x + C.

Otro caso de inters es el clculo de ex senx dx. Aqu podemos proponer

u = ex du = ex dx
dv = senx dx v = cos x,
de modo que
ex senx dx = ex cos x + ex cos x dx.
Volvemos a integrar por partes, proponiendo

u = ex du = ex dx
dv = cos x dx v = senx
(cuidado! si propones u = cos x y dv = ex dx vuelves a regresar a la integral
original) y as

ex senx dx = ex cos x + ex senx ex senx dx,

de modo que al agrupar los trminos con ex senx dx se obtiene

2 ex senx dx = ex cos x + ex senx,

de donde se concluye que


ex cos x + ex senx
ex senx dx = + C.
2

64
1.7 Tcnicas de integracin

El mtodo se aplica asimismo para integrales definidas, como lo muestra el


siguiente ejemplo:
1
!1
2x 1 2x 1 2x !!
xe dx = xe e !
0 2 4 0
1 1 1 1
= 1 e2 e2 0 e0 e0
2 4 2 4
1 2 1
= e +
4 4
1 2
= e +1 .
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.
1.7.3 Fracciones parciales
El mtodo de fracciones parciales, tambin conocido como el 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,
2x3 4x2 x 3 2 3
dx = 2x + + dx .
x2 2x 3 x+1 x3
integral f ea 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,
2x5 + 3x2 + 1 2 5x2 + 1
f (x) = = 2x + .
x3 1 x3 1

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,
5x2 + 1 5x2 + 1
= .
x3 x x(x + 1)(x 1)
65
Captulo1 Integracin

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
= + .
(x + 1)(x + 3) x+1 x+3

b) Factores lineales repetidos:


p(x) A B C
= + 2 + .
(x + 1)3 x + 1 (x + 1) (x + 1)3

c) Factores cuadrticos irreducibles distintos:


p(x) Ax + B Cx + D
= + 2 .
(x2 + 1) (x2 + 2) x2 + 1 x +2

d) Factores cuadrticos irreducibles repetidos:


p(x) Ax + B Cx + D Ex + F
3 = 2 + 2 + .
(x2 + 1) x +1 (x2 + 1) (x2 + 1)3

As, por ejemplo, si p(x) es un polinomio de grado menor que 7, se tiene


p(x) A B C D
= + + +
3 2
x(x 3)(x + 1) (2x + 1) x x 3 x + 1 (x + 1)2
E Fx + G
+ 3 + .
(x + 1) 2x2 + 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.

66
1.7 Tcnicas de integracin

Ejemplos:
5x 3
1. Encuentra dx.
x2
2x 3
Como la fraccin en el integrando es propia, procedemos directamente a los
pasos 2 al 4. As,
5x 3 5x 3
=
x2
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
A+B =5
A 3B = 3.
Al resolver este sistema de ecuaciones lineales en A y B se obtiene A = 3 y
B = 2, de modo que
5x 3 3 2
= + .
x2 2x 3 x3 x+1
Por lo tanto,
5x 3 3 2
dx = dx + dx
x2 2x 3 x3 x+1
= 3 ln |x 3| + 2 ln |x + 1| + C
! !
= ln !(x 3)3 (x + 1)2 ! + C.
2x3 + 8x2 + 14x
2. Encuentra dx.
x2 + 4x + 4
Como el integrando es una fraccin impropia, efectuamos la divisin de
polinomios, obteniendo
2x3 + 8x2 + 14x 6x
2
= 2x + 2 .
x + 4x + 4 x + 4x + 4
De esta manera,
2x3 + 8x2 + 14x 6x
dx = 2x + dx
x2 + 4x + 4 x2
+ 4x + 4
6x
= x2 + dx,
x2 + 4x + 4
67
Captulo1 Integracin

por lo que el integrando original queda expresado en trminos de una fraccin


propia. Ahora encontramos la integral correspondiente. Para ello, escribimos
6x 6x
=
x2
+ 4x + 4 (x + 2)2
A B
= +
x + 2 (x + 2)2
A(x + 2) + B
=
(x + 2)2
Ax + (2A + B)
= .
x2 + 4x + 4
Comparando el ltimo trmino con el primero tenemos

A = 6
2A + B = 0,
de modo que A = 6 y B = 12. As,
6x 6 12
= .
x2 + 4x + 4 x + 2 (x + 2)2
Por lo tanto,
6x dx dx
dx = 6 12
x2 + 4x + 4 x+2 (x + 2)2
12
= 6 ln |x + 2| + + C.
x+2
Concluimos que

2x3 + 8x2 + 14x 12


2
dx = x2 + 6 ln |x + 2| + +C
x + 4x + 4 x+2
4
3. Encuentra dx.
x4 1
En este caso,
4 4
=
x4 1 (x 1)(x + 1)(x2 + 1)
A B Cx + D
= + + 2
x1 x+1 x +1
(A + B + C)x + (A B + D)x2 + (A + B C)x + (A B D)
3
= ,
x4 1
68
1.7 Tcnicas de integracin

de modo que
A+B+C =0
AB+D =0
A+BC =0
A B D = 4.
Resolviendo el sistema de ecuaciones se obtiene A = 1, B = 1, C = 0 y
D = 2, de donde
4 1 1 2
= .
x4 1 x 1 x + 1 x2 + 1
Concluimos entonces que
4 1 1 1
dx = dx dx 2 dx
x4 1 x1 x+1 x2 + 1
= ln |x 1| ln |x + 1| 2 tan1 x + C
! !
!x 1!
= ln !! ! 2 tan1 x + C.
x + 1!

Por ltimo, con este mtodo podemos deducir una frmula general para
du
encontrar , con u = f (x). Para ello, se separa el integrando en fracciones
a u2
2
parciales,
1 A B A(a + u) + B(a u) (A B)u + (Aa + Ba)
= + = = ,
a2 u 2 au a+u (a u)(a + u) a2 u2
obteniendo

AB =0
Aa + Ba = 1.
1
De este modo A = B = y por lo tanto,
2a
1 1 1 1 1
2 2
= + .
a u 2a a u 2a a + u
Concluimos entonces que
du 1 du 1 du
= +
a2 u2 2a a u 2a a+u
1 1
= ln |a u| + ln |a + u| + C
2a ! ! 2a
1 !! a + u !!
= ln + C.
2a ! a u !
69
Captulo1 Integracin

Ejemplos:
! ! ! !
dx 1 ! 7 + x! 1 ! x + 7 !
! ! ! !
1. 2
= ln ! ! + C = ln ! ! + C.
7x 2 7 ! 7x ! 2 7 ! x 7!
! ! ! !
et dt et dt 1 !! 4 + et !! 1 !! et + 4 !!
2. = = ln ! + C = ln ! t + C.
16 e2t 16 (et )2 8 4 et ! 8 e 4!
! !
dx ex dx du 1 !! 1 + u !!
3. = = = ln ! +C
ex ex! (ex )2 1
! u2 1 2 1 u!
1 ! 1 + ex !!
= ln !! + C.
2 1 ex !

70
Captulo2
Formas indeterminadas e inte-
grales 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 , 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.
La regla de LHopital se utiliza tpicamente para calcular lmites de la
0
forma , es decir,
0
f(x)
lm , f (a) = g(a) = 0,
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 (x) !! f (a)
lm = ! = .
xa g(x) g (x) x=a g (a)

71
Captulo2 Formas indeterminadas e integrales impropias

Demostracin:
f(x) f (a) f (x) f (a)

f (a) lm f(x) f (a) f (x)
=
xa xa = lm xa = lm = lm .

g (a) g(x) g(a) xa g(x) g(a) xa g(x) g(a) xa g(x)
lm
xa xa xa

Ejemplos:
!
x2 4 L 2x !!
1. lm = = 4.
x2 x 2 1 !x=2
!
1 !
!
1 + x 1 L 2 1 + x !! 1
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 senx 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 toda
x = a. Entonces
f(x) f (x)
lm = lm .
xa g(x) xa g (x)

72
2.1 Formas indeterminadas. Regla de LHopital

Ejemplos:
x senx L 1 cos x L sen x L cos x 1
1. lm 3
= lm 2
= lm = lm = .
x0 x x0 3x x0 6x x0 6 6
1 cos x L senx 0
2. lm 2
= lm = = 0.
x0 x + x x0 1 + 2x 1

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 2
= lm = lm = !!!
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 = lm = lm = 0.
x 2 x x 1/ x x x
Tambin puede utilizarse para calcular lmites indeterminados de la forma 0 ,
0
o bien, , reescribiendo primero estos como o , como se ilustra a
0
continuacin.

Ejemplos:
x L 1
1. lm xex = lm x
= lm x = 0.
x x e x e
ln x L 1/x
2. lm+ x ln x = lm+ = lm+ = lm+ x = 0.
x0 x0 1/x x0 1/x2 x0

1 1 x senx L 1 cos x L
3. lm = lm = lm =
x0 senx x x0 x senx x0 x cos x + senx
senx 0
lm = = 0.
x0 xsenx + cos x + cos x 2

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.

73
Captulo2 Formas indeterminadas e integrales impropias

Ejemplos:
ln x 1/x
1/x ln x lm L lm
1. lm x1/x = lm eln x = lm e x = ex x
= ex 1
= e0 = 1.
x x x
r x x ln(1+ry)
2. lm 1 + = lm eln(1+r/x) = lm ex ln(1+r/x) = lm+ e y =
x x x x y0
r
ln(1+ry) 1+ry r
lm y L lm 1
lm 1+ry
ey0+
=e y0+
=e y0+
= 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 .
0

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 = lmeln w = e 0 .
0 0
Ahora bien,
1/
lm ln w = lm ln ( 1 x1 + 2 x2 )
0 0

ln ( 1 x1 + 2 x2 ) L
d
d
ln ( 1 x1 + 2 x2 )
= lm = lm
0 0 1
d
d
( 1 x1 + 2 x2 )
= lm .
0 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 entonces que
lm ln w
ln x11 x22
lmw = e 0 =e = x11 x22 .
0

74
2.2 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
a
f (x) dx = lm a f(x) dx (dominio infinito)
b

b) Si f es continua en (, b] entonces
b b

f (x) dx = lm a f (x) dx (dominio infinito)
a

c) Si f es continua en (a, b] entonces


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

75
Captulo2 Formas indeterminadas e integrales impropias

d) Si f es continua en [a, b) entonces


b c
a
f (x) dx = lm a f(x) dx (rango infinito)
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

a
f (x) dx convergen, se dice que f(x) dx converge, y definimos su valor
como a
f (x) dx = f (x) dx + f (x) dx.
a

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

Definicin. Si f tiende a infinito en algn punto interior c [a, b] entonces


b c b
f (x) dx = f (x) dx + f (x) dx.
a a c
b
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.

76
2.2 Integrales impropias

Ejemplos de integrales con dominio infinito:


ln x
1. Calcula 1 dx.
x2
En este caso,
b
ln x ln x
dx = lm dx
1 x2 b 1 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 = lm = 0.
b b b 1 b b
Concluimos que la integral converge a 1, es decir,

ln x
dx = 1.
1 x2

77
Captulo2 Formas indeterminadas e integrales impropias


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

De acuerdo con la regla de LHopital,


b L 1
lm beb = lm
b
= lm b = 0.
b b e b e

Concluimos que la integral converge a 1, es decir,



xex dx = 1.
0

0
3. Calcula senx dx.
En este caso,
0 0
senx dx = lm senx dx
a a
= lm [ cos x]0a
a
= lm [1 + cos a] .
a

Como cos() no est definido, por lo tanto la integral diverge.

78
2.2 Integrales impropias

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

b 2 x1 2 x +1 2 x2 +1
2 1 b
= lm 2 ln |x 1| ln(x + 1) tan x 2
b
(b 1)2
= lm ln 2
tan1 b + ln 5 + tan1 (2) .
b b +1
De acuerdo con la regla de LHopital,
(b 1)2 (b 1)2
lm ln = ln lm
b b2 + 1 b b2 + 1

L 2(b 1)
= ln lm
b 2b
L 2
= ln lm
b 2

= ln 1 = 0.
Por otra parte, como lm

tan = , por lo tanto
2


tan1 () =
.
2
Concluimos que la integral converge a 2 + ln 5 + tan1 (2), es decir,

x+3
dx = + ln 5 + tan1 (2) .
2 (x + 1)(x2 + 1) 2

79
Captulo2 Formas indeterminadas e integrales impropias


5. Calcula e|x| dx.
De acuerdo con la definicin de valor absoluto, podemos partir la integral como
0
e|x| dx = ex dx + ex dx.
0

Por una parte,


0 0
ex dx = lm ex dx = lm [ex ]0a = lm [1 ea ] = 1.
a a a a

Por otra parte,


b
b
ex dx = lm ex dx = lm ex 0
= lm eb + 1 = 1.
0 b 0 b b

Por lo tanto, ambas integrales convergen a 1, de modo que


0
e|x| dx = ex dx + ex dx = 1 + 1 = 2.
0

Ejemplos de integrales con rango infinito:

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

80
2.2 Integrales impropias

Por lo tanto, la integral diverge.

11 dx
2. Calcula 2
.
x2
En este caso,
11 11
dx dx
= lm+
2 x2 a2 a x2

= 2 lm+ 11 2 a 2
a2
= 2 [3 0] = 6.
Por lo tanto, la integral converge a 6.

3 dx
3. Calcula 0
.
(x 1)2/3
En este caso,
3 1 3
dx dx dx
= + .
0 (x 1)2/3 0 (x 1)2/3 1 (x 1)2/3
Como
1
dx c
dx % &
1/3 1/3
= lm = 3 lm (c 1) (0 1) =3
0 (x 1)2/3 c1 0 (x 1)2/3 c1

81
Captulo2 Formas indeterminadas e integrales impropias

y
3
dx 3
dx
= 3 lm+ (3 1)1/3 (d 1)1/3 = 3
3
= lm+ 2,
1 (x 1)2/3 d1 d (x 1)2/3 d1

por lo tanto, ambas integrales convergen. De este modo


3
dx 1
dx 3
dx
3
= + =3 + 3 2,
0 (x 1)2/3 0 (x 1)2/3 1 (x 1)2/3

3
y, por lo tanto, la integral converge a 3 + 3 2.

dx
Integrales de la forma
xp
Un tipo de integrales que resulta de particular inters son las integrales
impropias de la forma
1
dx dx
p
y ,
0 x 1 xp
con p R.

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

82
2.2 Integrales impropias

determinar la convergencia de estas integrales, nota que



ln |x| + C, p = 1

dx
=
xp xp+1
+ C, p = 1.
p + 1

dx
As, para las integrales de la forma 1
se tiene:
xp
i) Si p = 1 entonces
b
dx dx
= lm = lm [ln b ln 1] = .
1 x b 1 x b
ii) Si p = 1 entonces



dx b
dx 1 , p < 1
= lm = lm bp+1 1 = 1
1 xp b 1 x p p + 1 b , p > 1.
p1
Concluimos entonces que


dx , p 1
= 1
1 xp , p > 1.
p1

dx dx dx
De esta manera, integrales tales como , 1 1
y 1
son
x x x2
dx dx dx
divergentes, mientras que las integrales 1 1,1 , 1
y 1
son
x x2 x3
convergentes.

83
Captulo2 Formas indeterminadas e integrales impropias

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

1 1 1
dx dx 1 p+1 , p<1
= lm = lm+ 1 a = 1p
0 xp a0+ a xp p + 1 a0 , p > 1.

Concluimos entonces que



1 1

dx , p<1
p
= 1p
0 x , p 1.

1 dx 1 dx 1 dx
De esta manera, integrales tales como 0
, 0
y 0
son
x0,9 x x2
1 dx 1 dx 1 dx
convergentes, mientras que las integrales 0
, 0
y 0
son
x x1,1 x2
divergentes.

As, por ejemplo, sin efectuar clculos detallados podemos concluir que la integral
1 dx
1
diverge. En efecto, sabemos que
x3
1 0 1
dx dx dx
= + .
1 x3 1 x3 0 x3
84
2.2 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 1 1
dx 1 1 1 1 1 1
= = = = 0 !!!
1 x3 2x2 1 2 x2 1 2 12 (1)2

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

85
Captulo3

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

86
3.1 Integrales dobles sobre un rectngulo. Teorema de Fubini

Para calcular 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 f(xk ,y k )Ak f (x, y) dA,
n n R
k=1
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.

87
Captulo3 Integracin Mltiple

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 ,
R n
k=1

cuando este lmite existe.

La integral doble R
f (x, y) dA representa un volumen slo cuando f 0.
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
2
R y sea k R. Entonces:
1. R
kf(x, y) dA = k R
f (x, y) dA
2. R
[ f(x, y) + g(x, y)] dA = R
f (x, y) dA + R
g(x, y) dA
3. f (x, y) 0 en R R
f (x, y) dA 0
4. f (x, y) g(x, y) en R R
f (x, y) dA R
g(x, y) dA
5. Si R = R1 R2 , con R1 R2 = , entonces

R
f(x, y) dA = R1
f (x, y) dA + R2
f (x, y) dA

88
3.1 Integrales dobles sobre un rectngulo. Teorema de Fubini

Hasta aqu hemos discutido el significado y las propiedades de la integral


doble R
f (x, y) dA, pero an no sabemos cmo se calcula. A continuacin
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:

x=b
V = x=a
A(x) dx.

Para calcular 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 Y Z. 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:

y=d
A(x) = y=c
f (x, y) dy (x fija)

89
Captulo3 Integracin Mltiple

Sustituyendo esta expresin para A(x) en la integral para V se tiene


x=b x=b y=d
V = A(x) dx = f(x, y) dy dx,
x=a x=a y=c

o simplemente,
b d
V = f (x, y) dydx.
a c

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 y=d x=b
V = A(y) dy = f (x, y) dx dy,
y=c y=c x=a

o simplemente
d b
V = f (x, y) dxdy.
c a

Estos resultados proporcionan una manera prctica de calcular la integral doble


R
f (x, y) dA a lo largo de una regin rectangular R, aunque la funcin f pueda
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).

90
3.1 Integrales dobles sobre un rectngulo. Teorema de Fubini

Teorema de Fubini (primera forma)


Si f (x, y) es continua en la regin rectangular R : a x b, c y d,
entonces
d b b d
f (x, y) dA = f (x, y) dxdy = f (x, y) dydx.
R c a a c

d b
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 b
f (x, y) dx dy,
c a
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
a c
f (x, y) dydx.

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.

91
Captulo3 Integracin Mltiple

Por ejemplo, calculemos la integral doble R


f (x, y) dA de la funcin
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
f(x, y) dA = 1 6xy 2 dxdy
R 0 1
2 1
= 1 6xy 2 dx dy
0 1
2
x=1
= x 3x2 y 2 x=1
dy
0
2
= 1 3y 2 1 3y 2 dy
0
2
= 2 dy
0
= [2y]y=2
y=0 = 4.
Equivalentemente, puedes proceder en el orden inverso, a saber,

1 2
f(x, y) dA = 1 6xy 2 dydx
R 1 0
1 2
= 1 6xy 2 dy dx
1 0
1
2
= y 2xy 3 0
dx
1
1
= [(2 16x) 0] dx
1
1
= (2 16x) dx
1
x=1
= 2x 8x2 x=1
= 4.

3.2 Integrales dobles sobre regiones ms generales


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

92
3.2 Integrales dobles sobre regiones ms generales

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 calcular 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 x=b y=g2 (x)
V = A(x) dx = f (x, y) dy dx,
x=a x=a 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) .

93
Captulo3 Integracin Mltiple

Con un razonamiento anlogo al caso anterior, se tiene


y=d y=d x=h2 (y)
V = A(y) dy = f (x, y) dx dy,
y=c y=c x=h1 (y)
o simplemente,
d h2 (y)
V = f (x, y) dxdy.
c h1 (y)

Estos resultados proporcionan una manera prctica de calcular la integral doble


R
f (x, y) dA a lo largo de una regin no rectangular R, aun en el caso general
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 la regin acotada R del plano XY . Entonces
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 = f(x, y) dydx.
R 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 = f (x, y) dxdy.
R 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.

94
3.2 Integrales dobles sobre regiones ms generales

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

2 x2 +1
R
f(x, y)dA = 1 x
2xy dydx
2 2
2 y=x +1
= 1 %
[xy ]y=x dx &
2 2 2 2
= 1
x (x + 1) x (x) dx
x=2
1 2 3 1 4
= (x + 1) x
6 4 x=1
63
= .
4

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

2 5y
R
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,

95
Captulo3 Integracin Mltiple

de modo que

2 8x2
R
f(x, y) dA = 2 x2 1 dydx
2 2
= 2 [y]y=8x
y=x2 dx
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 4
2
f (x, y) dA = xey dydx
R 0 x2
2 4
2
= x ey dy dx =???,
0 x2

96
3.3 Cambio en el orden de integracin

que no es posible calcular analticamente, ya que no existe una antiderivada simple


2
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,

4 y
2
f(x, y) dA = xey dxdy
R 0 0

4 y
y2
= e x dx dy
0 0

4 x= y
y2 x2
= e dy
0 2 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.

97
Captulo3 Integracin Mltiple

Ejemplos:

1. Bosqueja la regin de integracin y cambia el orden de integracin en


2 2x
0 x2
f (x, y) dydx.
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 4 y
f (x, y) dydx = f(x, y) dxdy.
0 x2 0 y/2
2. Bosqueja la regin de integracin y cambia el orden de integracin en
2 x+2
1 x2
f(x, y) dydx.
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 1 y 4 y
f (x, y) dydx =
f(x, y) dxdy + f (x, y) dxdy.
1 x2 0 y 1 y2

98
3.3 Cambio en el orden de integracin

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


R
1 3
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.

En ese caso,
3 2y+3
f(x, y) dA = f(x, y) dxdy.
R 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 x 9 x
f (x, y) dA =
f (x, y) dydx + f (x, y) dydx.
x3
R 0 x 1 2

99
Captulo3 Integracin Mltiple

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 calcular el volumen


aproximado Sn de n paraleleppedos encerrados entre la grfica de f y la regin R,
se tiene n n
Sn = f (xk , y k ) Ak = 1 Ak ,
k=1 k=1
de modo que
n
AR = lm 1 Ak = dA.
n R
k=1

Definicin. El rea AR de la regin plana R cerrada y acotada del plano XY


es la integral
AR = dA.
R

100
3.4 rea de regiones planas acotadas. Valor promedio

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 = R
dA
1 x
= 0 x2
dydx
1
= 0
[y]y=x
y=x2 dx
1
= 0
[x x2 ] dx
1
= .
6

1
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
1
f= f (x, y) dA,
AR R

donde AR = 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 entonces qu altura f debera tener una
funcin constante z = f de tal modo que el volumen V2 = f AR encerrado por

101
Captulo3 Integracin Mltiple

esta funcin en una regin plana R sea igual al volumen V1 = R


f (x, y) dA
encerrado por la funcin z = f (x, y) a lo largo de esa misma regin.

Como
V2 = V1 ,
por lo tanto,
f AR = f (x, y) dA,
R
de modo que
1
f = f (x, y) dA.
AR R

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 x 1
regin era AR = 0 x2 dydx = . As, de acuerdo con la definicin, el valor
6
promedio de f es
1
f = xy dA
AR R
1 x
1
= xy dydx
1/6 0 x2
1 2 y=x
y
= 6 x dx
0 2 y=x2
1
= 3 x3 x5 dx
0
1 1
= 3
4 6
1
= .
4
102
3.5 Integrales dobles en forma polar

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
una integral tal como R
ex +y dA, que no posee una antiderivada en coordenadas
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, ).

103
Captulo3 Integracin Mltiple

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.

104
3.5 Integrales dobles en forma polar


P (3, ) = P (3, 2 + 6 )
6
= P (3, 76
)
5
= P (3, 6 )
= ...

5
Q(4, ) = Q(4, 5
4
8)
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

105
Captulo3 Integracin Mltiple

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
1
y = 2sen =2 =1
6 2

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.

106
3.5 Integrales dobles en forma polar

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

107
Captulo3 Integracin Mltiple

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
Nota que la ecuacin cartesiana de esta curva es y = (tan )x = x.
6 3
3. Grafica la curva con ecuacin polar r = .
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 0

4 4

2 2

3 3
2 2
2 2

y
Su ecuacin cartesiana es una grosera de la forma x2 + y 2 = tan1 x
,
que est muy, muy feta la pobre.

108
3.5 Integrales dobles en forma polar

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.

r = 4 sen
0 0

6
2

4
22 = 2.8

3
2 3 = 3.5

2
4
2
3
23 = 3.5
3
4
2 2 = 2.8
5
6
2
0
7
6
2
5
4
22 = 2.8
4
3
2 3 = 3.5
3
2
4
5
3
23 = 3.5
7
4
2 2 = 2.8
11
6
2
2 0

Su ecuacin cartesiana es x2 + y 2 = 4y, o bien, completando cuadrados,


x2 + (y 2)2 = 4.

109
Captulo3 Integracin Mltiple

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.

r = 3 cos(3)
0 3

6
0

4
3 2 2 = 2.1

3
3

2
0
2
3
3
3 3 2
4 2
= 2.1
5
6
0
3
7
6
0
5 3 2
4 2
= 2.1
4
3
3
3
2
0
5
3
3
7
4
3 2 2 = 2.1
11
6
0
2 3

Su ecuacin cartesiana es (x2 + y 2 ) (x2 + y 2 + 36x) = 12x3 .

110
3.5 Integrales dobles en forma polar

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.
r = 2(1 sen )
0 2

6
1

2
4
2 1 2
= 0.6

3
3
2 1 2
= 0.3

2
0

2 3
3
2 1 2
= 0.3

3 2
4
2 1 2
= 0.6
5
6
1
2
7
6
3

5 2
4
2 1+ 2
= 3.4

4 3
3
2 1+ 2
= 3.7
3
2
4

5 3
3
2 1+ 2
= 3.7

7 2
4
2 1+ 2
= 3.4
11
6
3
2 2
2
Su ecuacin cartesiana es (x2 + y 2 + 2y) = 4 (x2 + y 2 ) .

111
Captulo3 Integracin Mltiple

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.

112
3.5 Integrales dobles en forma polar

3
4. Dibuja la grfica de la regin en el plano definida por 0 r 1, 0 .
4

3
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 .
4

7. Dibuja la grfica de la regin en el plano definida por r R, R.

113
Captulo3 Integracin Mltiple

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

,
4 2
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 R
f (x, y)dA de una funcin continua f(x, y) a lo largo de una
regin R en el plano, y deseas plantearla como una integral doble equivalente en
coordenadas polares, es decir,

f (x, y)dA = F (r, )dApol ,


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

114
3.5 Integrales dobles en forma polar

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 .

115
Captulo3 Integracin Mltiple

Para calcular la diferencial de rea dApol , nota primero que el rea Ar de un


pedazo de crculo con radio r y ngulo est dada por

r2
Ar = ,
2

como se obtiene de la regla de tres que se explica a continuacin.

ngulo rea
2 r 2
Ar

(r 2 ) r2
Ar = = .
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.

116
3.5 Integrales dobles en forma polar

De esta manera,
dApol = A(r+ 1 dr)(d) A(r 1 dr)(d)
2 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 R
f (x, y)dA puede escribirse en coordenadas polares
como una integral doble iterada de la forma
2 r2 ()
F (r, ) r dr d.
1 r1 ()

Ejemplos:
2 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.

117
Captulo3 Integracin Mltiple

En coordenadas rectangulares, el problema consiste en calcular la integral doble



1 1x2
2 +y 2
ex dydx,
1 0
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
2 +y 2 2 cos2 +r2 sen2 2
ex = er = 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

1 1x2 1
2 +y 2 2
ex dydx = er r drd
1 0 0 0
r=1
1 r2
= e d
0 2 r=0

1
= (e 1) d
2 0

= (e 1) .
2

118
3.6 Integrales impropias

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



2 4x2 2
AR =
dydx = 4 x2 2 dx.
0 2 0

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,

2
AR =
2
2r drd
4
% &
sen
2
2
r
=
2
2
2
d
4
sen
1 2
= 2
2
4 sen2
d
4
2
=
2
(2 csc ) d
4
= [2 + cot ] 2
4
= + cot 2
2
+ cot 4
= 12 1
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

119
Captulo3 Integracin Mltiple

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
1
1. Evala 1 ex
dydx.
x3 y
En este caso, se tiene simplemente
1 b 1
1 1
dydx = lm dydx
1 ex x3 y b 1 ex x3 y
b
1
= lm [ln y]1ex dx
b 1 x3
b
1
= lm ln 1 ln ex dx
b 1 x3
b
1
= lm (0 (x)) dx
b 1 x3
b
1
= lm dx
b 1 x2
b
1
= lm
b x 1
1
= lm + 1 = 1.
b b
1 1
2. Intercambia el orden de integracin en 1 ex
dydx y evala la integral
x3 y
correspondiente.

120
3.6 Integrales impropias

De la figura se observa que


1 e1 1
1 1 1
dydx = dxdy + dxdy.
1 ex x3 y 0 ln y x3 y e1 1 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
b c
xe(x+2y) dydx = lm lm xe(x+2y) dy dx
0 0 b 0 c 0
b c
= lm xex lm e2y dy dx
b 0 c 0
b c
x 1
= lm xe lm e2y dx
b 0 c 2 0
b
1 1
= lm xex lm 2c
+ dx
b 0 c 2e 2
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
b
lm
= lm b = 0.
b e b e

4. Por ltimo, vamos a demostrar que el rea bajo la curva normal f (x) =
2 2
1 ex /2 en el intervalo (, ) es igual a 1, es decir, que
2 2

1 2 2
ex /2 dx = 1.
2 2

Con este fin, define

1 2 2
I ex /2 dx,
2 2
121
Captulo3 Integracin Mltiple

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
I =2 ex /2 dx;
2 2
0
adems, como el integrando es una funcin positiva en (, ) , se tiene que
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
I=2 ey /2 dy.
0 2 2
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

1 2 2 1 2 2
I2 = 2 ex /2 dx 2 ey /2 dy
2 2 2 2
0 0

4 2 2 2
= 2
e(x +y )/2 dxdy,
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
/2
2 2 /2 2
I2 = er r drd.
2 0 0

122
3.7 Introduccin a las integrales triples

Ahora procedemos a calcular esta integral impropia, obteniendo


/2
2 2 2
I2 = 2
er /2 r drd
0 0
b
2 /2 r2 /22
= []0 l
m e r dr
2 b 0

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


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 = f(x) dx,
R 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] .

123
Captulo3 Integracin Mltiple

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 entonces 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 XY Z.

124
3.7 Introduccin a las integrales triples

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 calcular el rea AR de una regin
plana R mediante el truco de hacerlo a partir del clculo de la integral doble
R
1 dA de la funcin f (x, y) = 1 a lo largo de R. En analoga con eso, ahora
podemos calcular el volumen VR de una regin R en el espacio, planteando la
integral triple R
1 dV de la funcin f (x, y, z) = 1 a lo largo de la regin
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 2 3
VR = 1 dzdydx,
0 0 1
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 1 3 3 2 1
VR = 1 dzdxdy = 1 dxdydz = . . .
0 0 1 1 0 0

125
Captulo3 Integracin Mltiple

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 1 1y
VR = dzdydx
0 0 0
1 2 1y
= dzdxdy
0 0 0
2 1 1z
= dydzdx
0 0 0
1 2 1z
= dydxdz
0 0 0
1 1z 2
= dxdydz
0 0 0
1 1y 2
= dxdzdy.
0 0 0

126
3.7 Introduccin a las integrales triples

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 (4x )/2 8x y
VR = dzdydx.
2 (4x2 )/2 x2 +3y2

127
Captulo4
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 : SRR
x y = f (x),
en donde a cada elemento x de algn subconjunto S de los reales R se le
asigna un nico elemento y = f (x), tambin en R. Si ahora suponemos que

128
4.1 Sucesiones de nmeros reales. Criterios de convergencia

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 : IZR
n an = a(n),

en donde a cada elemento n del subconjunto I de enteros se 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

129
Captulo4 Sucesiones

la variable entera n, y el eje vertical, la variable real an ,, como se ilustra en la


siguiente grfica.

Para ilustrar lo anterior, consideremos la sucesin


1
an = ,
n
con n 1. Esta regla de correspondencia genera los valores
1, 2, 3, 4,
Dominio:

Imagen: a1 = 1, a2 = 12 , a3 = 13 , a4 = 14 ,
( )
de modo que la sucesin n1 es conjunto
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.

130
4.1 Sucesiones de nmeros reales. Criterios de convergencia

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.
lm an = lm
n n 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 = L.
n

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, . . .
n
e. (1)n+1
n+1
1 2 3 4 5
Se trata de la sucesin, , , , ,...
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).

131
Captulo4 Sucesiones

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 . . .
1 (1)n
La regla de correspondencia es an = , 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 1
lm an = lm = lm 1 = 1,
n n
n n n
por lo tanto la sucesin converge a 1.
b. an = 2
Se trata de la sucesin 2, 2, 2, 2, 2, . . .

132
4.1 Sucesiones de nmeros reales. Criterios de convergencia

Como
lm an = lm 2 = 2,
n n
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 n = ,
n n
por lo tanto la sucesin diverge.
n1
d. an = (1)n+1 n
Se trata de la sucesin 0, 12 , 23 , 34 , 45 , 56 , . . .

Como
n1
lm an = lm (1)n+1
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.

133
Captulo4 Sucesiones

Definicin. Una sucesin {an } de nmeros reales converge al nmero L si para


todo nmero > 0 existe un correspondiente entero N() tal que para toda 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
1. Demuestra formalmente que lm = 0.
n n
1
Sea > 0. Mostrar que la sucesin an = converge al lmite L = 0 implica
n
encontrar un valor N () tal que
! !
!1 !
n>N ! 0! < .
!n !

Para encontrar ms fcilmente N () es til proceder al revs, es decir, partiendo


de la conclusin ! !
!1!
! ! < .
!n!

134
4.1 Sucesiones de nmeros reales. Criterios de convergencia

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 toda > 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
Por lo tanto, concluimos que lm = 0, ya que para toda > 0 existe
n n2
N() = 1 tal que

! !
1 !1 !
n> ! 0! < .
! n2 !

135
Captulo4 Sucesiones

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| < ] ,


que equivale a demostrar que

> 0 N Z [n n > N |an L| ] .


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.

136
4.1 Sucesiones de nmeros reales. Criterios de convergencia

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 .

137
Captulo4 Sucesiones

Ejemplos:

n1
1. La sucesin an = es creciente, ya que como
n
n2 1 < n2

(n + 1)(n 1) < (n)(n)


n1 n
<
n n+1
n1 (n + 1) 1
<
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 , . . .

138
4.1 Sucesiones de nmeros reales. Criterios de convergencia

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

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.

139
Captulo4 Sucesiones

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
n n
1. lm (an + bn ) = A + B Regla de la suma
n
2. lm (kan ) = kA Regla del mltiplo constante
n
3. lm (an bn ) = AB Regla del producto
n
an A
4. lm = , B=0 Regla del cociente
n bn B

As, por ejemplo,


5n 4 4
lm = lm 5
n n n n
1
= lm 5 4 lm = 5.
n n n
140
4.1 Sucesiones de nmeros reales. Criterios de convergencia

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
5n 4 lm (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
n n

lm bn = L.
n

Ejemplos:
cos n
1. Demuestra que lm = 0.
n n
Sabemos que
1 cos n 1,
de modo que
1 cos n 1
.
n n n
para todo n 1. As
1 cos n 1
lm lm lm .
n n n n n n

Como
1 1
lm
= lm = 0,
n n n n
por el teorema del sandwich concluimos que
cos n
lm = 0.
n n

141
Captulo4 Sucesiones

1
2. Demuestra que lm n = 0.
n 2
Sabemos que
2n n,
para todo n 1. Por lo tanto,
1 1
0 .
2n n
As
1 1
lm 0 lm l
m .
n n 2n n n
Como
1
lm 0 = lm = 0,
n n n
por el teorema del sandwich concluimos que
1
lm = 0.
n 2n
1
3. Demuestra que lm = 0.
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,
para todo n 4. Por lo tanto,
1 1
0 n.
n! 2
As,
1 1
lm 0 lm lm n .
n n n! n 2
Como
1
lm 0 = lm n = 0,
n n 2
por el teorema del sandwich concluimos que
1
lm = 0.
n n!

142
4.1 Sucesiones de nmeros reales. Criterios de convergencia

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

Ejemplo:

1
Demuestra que lm (1)n = 0.
n n!
1
La sucesin correspondiente es an = (1)n , de modo que |an | =
! ! n!
! n 1 ! 1
!(1) ! = . Como ya demostramos en el problema 3,
! n! ! n!
1
lm |an | = lm = 0.
n n n!
As, por el teorema del valor absoluto,
1
lm an = lm (1)n = 0.
n n n!

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 es una funcin que es continua en L y
n
definida en toda an , entonces

lm f (an ) = f lm an = f (L) .
n n

143
Captulo4 Sucesiones

Ejemplos:
$
n+1
1. Demuestra que lm = 1.
$ n n
n+1
La sucesin es la composicin de la funcin de variable continua
n
n+1
f(x) = x con la sucesin an = . Como
n
n+1 1
lm an = lm = lm 1+ = 1,
n n n n n

y como f(x) = x es continua en el lmite 1 y est definida en toda
n+1
an = , por lo tanto,
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
1
lm an = lm = 0,
n n n
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 toda 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 n

144
4.1 Sucesiones de nmeros reales. Criterios de convergencia

n+1
Por ejemplo, demostremos que lm = 1. Para ello, primero identifica
n n
la sucesin como
n+1
an = ,
n
para todo n 1, de modo que su funcin continua correspondiente es
x+1
f (x) = .
x
De este modo, es claro que
n+1
an = f(n) = .
n
Por ltimo, como
x+1 L 1
lm f(x) = lm = lm = 1,
x x x x 1

en donde se ha utilizado la regla de LHopital para calcular el lmite tipo
para la
funcin continua f , por el teorema anterior concluimos que
n+1
lm an = lm = 1.
n n n

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
n+1 L 1
lm an = lm = lm = 1.
n n n n 1
145
Captulo4 Sucesiones

Ejemplos:
5n
1. Calcula lm n .
n 2
En este caso, se tiene simplemente
5n L 5
lm
n
= lm n = 0.
n 2 n 2 ln 2
2. Calcula lm [ln(2n + 1) ln n] .
n
Primeramente,
2n + 1
lm [ln(2n + 1) ln n] = lm ln
n n n
2n + 1
= ln lm .
n n
Utilizando ahora la regla de LHopital, se tiene
2n + 1 L 2
lm = lm = 2,
n n n 1
de modo que
lm [ln(2n + 1) ln n] = ln 2.
n
n
n+2
3. Calcula lm .
n n
Primero nota que
n
n+2
lm = lm (1 + 2/n)n
n n n
n
= lm eln(1+2/n)
n
= lm en ln(1+2/n)
n
ln(1+2/n)
= lm e 1/n
n
ln(1+2/n)
lm ( )
= en 1/n .
De acuerdo con la regla de LHopital

2/n2
ln (1 + 2/n) L 1+2/n 2
lm = lm = lm = 2,
n 1/n n 1/n2 n 1 + 2/n
de modo que
n
n+2
lm = e2 .
n n
146
4.1 Sucesiones de nmeros reales. Criterios de convergencia

Lmites que aparecen frecuentemente

ln n
1. lm =0
n
n
2. lm n n = 1
n
3. lm n x = 1, para todo x > 0
n
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 L 1/n 1
1. lm = lm = lm = 0.
n n n 1 n n
1/n ln n lm ln n
2. lm n
n = lm n1/n = lm eln n = lm e n = e n n = e0 = 1.
n n n n

3. Sea x > 0. Por lo tanto,


1/n ln x lm ln x
lm n x = lm x1/n = lm eln x = lm e n = e n n = e0 = 1.
n n n n

5. Sea x R. Por lo tanto,


n ln(1+x/n) lm ( ln(1+x/n) )
lm (1 + x/n)n = lm eln(1+x/n) = lm e 1/n = en 1/n
.
n n n
Por regla de LHopital
x/n2
ln (1 + x/n) L 1+x/n x
lm = lm = lm = x,
n 1/n n 1/n2 n 1 + x/n
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:
n
1. lm 17 = 0, en donde se utiliz la propiedad 4, con x = 1/7.
n
35n
2. lm = 0, en donde se utiliz la propiedad 6, con x = 35.
n n!

147
Captulo4 Sucesiones
n
3. lm n2 = lm ( n n n n) = lm n n lm n n = (1)(1) = 1, en donde
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


por una coleccin de puntos en la recta real (eje x), una sucesin de vectores {

x n}
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 .

148
4.2 Sucesiones de vectores



Definicin. Una sucesin de vectores { x n } converge al vector L si para todo
nmero > 0 existe un entero N tal que para toda n
0 0

n > N 0
0 0
x n L 0 < .




En ese caso, escribimos lm x n = L , o simplemente x n L , y llamamos a L
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
0 de reales, en donde se
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 en Rm converge si y slo si todas las m


sucesiones de sus componentes convergen en R.

Ejemplo:

2 1
x n } en R2 , dada por
Identifica la sucesin {

xn = , , n 1. Analiza
n n
su convergencia e ilustra con una grfica.

En este caso, la sucesin es el conjunto de puntos

1 2 1 1 1
(2, 1) , 1, , , , , ,... .
2 3 3 2 4
Como
2 1
lm = 0 y lm = 0,
n n n n
de acuerdo con el teorema anterior, se tiene,
2 1
lm

x n = lm , = (0, 0),
n n n n



de modo que la sucesin converge al lmite L = (0, 0).

149
Captulo4 Sucesiones

Definicin. El vector
r es un punto de acumulacin de la sucesin de vectores


{ 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
x n = (1)n+1 n1n
, 1 , n 1, no
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 toda 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

150
4.3 Sucesiones de funciones

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
n
la eleccin del punto x S, de modo que el lmite lm fn (x) es una funcin,
n
f(x), 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 entonces que la sucesin {fn } converge
puntualmente en S0 .

Ejemplos:

1. Considera la sucesin {fn (x)}, en donde fn (x) = x/n, para toda 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


x 1
lm fn (x) = lm = x lm = x 0 = 0,
n n n n n
para toda x R. De esta manera, la sucesin {x/n} converge a la funcin
f(x) = 0,
para toda x R.
2. Considera la sucesin {fn (x)}, en donde fn (x) = xn , para toda x R. De esta
manera, la sucesin es el conjunto de funciones
( 1 2 3 )
x ,x ,x ,... ,

151
Captulo4 Sucesiones

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

0, si 1 < x < 1,
lm fn (x) = lm xn =
n n 1, si x = 1,
para toda 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 toda > 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)| <

152
4.3 Sucesiones de funciones

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


n
, para toda x R.
Claramente, esta sucesin converge a la funcin f(x) = 0, para toda x R. Como
|sen y| 1 para toda y R, por lo tanto
! !
! sen(nx + n) ! 1
|fn (x) f (x)| = !! 0!! ,
n n
para toda 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 toda x R. Como vimos, esta
sucesin converge a la funcin
0, si 1 < x < 1,
f (x) = .
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.

153
Captulo4 Sucesiones

2. Considera la sucesin {fn (x)}, en donde cada funcin fn est dada por

n2 x, si 0 x 1/n,
fn (x) = n2 (x 2/n), si 1/n x 2/n,

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
fn (x) dx = 1, para n 2.
0
Tambin es posible demostrar que lm fn (x) = 0 para toda 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 1
lm fn (x) dx = 0 = lm fn (x) dx = 1.
0 n n 0

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.

154
Captulo5
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

an = a1 + a2 + a3 + + ak + .
n=1
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=1
n 2 3 4 5
2. A partir de la sucesin 1, 2, 4, 8, 16, . . . se construye la serie

2n1 = 1 + 2 + 4 + 8 + 16 + .
n=1
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
n1
= =155
1+ + + + + .
n=1
2 n=1
2 2 4 8 16
Captulo5 Series

1 1 1 1
4. A partir de la sucesin 1, , , , , . . . se construye la serie
3 9 27 81
n1
1 1 1 1 1 1
(1)n1 = =1 + + .
n=1
3n1 n=1
3 3 9 27 81

5. A partir de la sucesin 1, 2, 9, 64, 625, . . . se construye la serie



nn1 = 1 + 2 + 9 + 64 + 625 + .
n=1

El hecho de sumar una infinidad de trminos no necesariamente implica que la


suma sea infinita. Por ejemplo, es posible 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 (la suma es infinita). 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 discutiremos algunos criterios al respecto.El primer
criterio que veremos en relacin con la convergencia de una serie se basa en la
convergencia de las sumas parciales de esta 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 = an = a1 + a2 + a3 + + ak
n=1

es la sucesin de sumas parciales de la serie n=1 an . Si la sucesin {Sk }


converge a un lmite L se dice 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.

156
5.1 Series. Serie geomtrica

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 = an .
k k
n=1 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.
k
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 calculbamos la integral

157
Captulo5 Series

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,
b
f (x)dx = lm f(x)dx.
1 b 1

Para ilustrar el concepto anterior, considera nuevamente la sucesin


1
{an } = n1
. A partir de ella generamos la serie
n=1 an , dada por
2

1 1 1 1
=1+ + + + ,
n=1
2n1 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
k n1
1 1
= lm = lm Sk ,
n=1
2n1 k
n=1
2 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 1
S2 = 1 + =2
2 2
1 1 1
S3 = 1 + + =2 ,
2 4 4
de donde se infiere fcilmente que
1
Sk = 2 .
2k1
De esta manera,

1
lm Sk = lm 2 = 2.
k k 2k1
Concluimos entonces que

1 1 1 1
=1+ + + + = 2,
n=1
2n1 2 4 8

1
es decir, la serie converge a 2.
n=1
2n1

158
5.1 Series. Serie geomtrica

La serie del ejemplo anterior es un caso particular de lo que se conoce como


serie geomtrica, como se define a continuacin, y que aparecen en una gran
variedad de aplicaciones.

Definicin. Una serie geomtrica es una suma infinita de la forma



rn1 = 1 + r + r2 + r3 + ,
n=1
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 = .
n=1
1r
Si |r| 1, entonces la serie diverge.

Demostracin:
Por simplicidad, denotaremos por S el valor de la serie geomtrica,

S= rn1 = 1 + r + r2 + r3 + ,
n=1
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 calcular el valor de S, primero escribimos su suma parcial Sk ,


k
Sk = rn1 = 1 + r + r2 + r3 + + rk2 + rk1 ,
n=1
y notamos que se trata de la suma geomtrica definida en la seccin 1.2,
1 rk
Sk = .
1r
As, la serie geomtrica S es el lmite
1
S = lm Sk = 1 lm rk .
k 1r k

159
Captulo5 Series

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

1
1r
si |r| < 1
,
S=
diverge, en otro caso.
Concluimos entonces que, si |r| < 1 la serie geomtrica generada por r converge a

1
rn1 = ,
n=1
1r
mientras que si |r| 1 la serie diverge.

Nota la diferencia entre la suma geomtrica, y la serie geomtrica, dadas por


k
1 rk
rn1 = 1 + r + r2 + r3 + + rk1 = , r=1
n=1
1r

1
rn1 = 1 + r + r2 + r3 + = , |r| < 1.
n=1
1r
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,


calcula su suma.
1 1 1 1
a) 1 + + + + +
2 4 8 16

Reescribimos la serie como


n1
1 1 1 1 1
1 + + 2 + 3 + = n1
= ,
2 2 2 n=1
2 n=1
2
1
de modo que r = . Como |r| < 1, la serie converge, y su suma es
2

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

160
5.1 Series. Serie geomtrica

1 1 1 1
b) 1 + +
2 4 8 16
Reescribimos la serie como
n1
1 1 1 1 1
1 + 2 3 + = (1)n1 n1 = ,
2 2 2 n=1
2 n=1
2
1
de modo que r = . Como |r| < 1, la serie converge, y su suma es
2
n1
1 1 1 1 1 1 2
1 + + = = 1
= .
2 4 8 16 n=1
2 1 2 3

c)1 + 3 9 + 27 81 +

Reescribimos la serie como



n1
2 3
(1 3 + 3 3 + ) = (1) 3 n1
= (3)n1 ,
n=1 n=1
de modo que r = 3 . Como |r| > 1, la serie diverge.

3 3 3 3
d) 3 + + +
2 4 8 16
Reescribimos la serie como
n1
1 1 1 1
3 1 + 2 3 + = 3 ,
2 2 2 n=1
2
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 1
= 2.
2 4 8 16 n=1
2 1 2

e) 1 + a2 + a4 + a6 + a8 +

Reescribimos la serie como



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

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

161
Captulo5 Series

f) 1 + 2x + 4x2 + 8x3 + 16x4 +

Reescribimos la serie como



3
2
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 = .
n=1
1 2x

2. Demuestra que 5,2323232323 . . .es un nmero racional.

23 23 23
Escribimos el nmero como 5 + 100
+ 1002
+ 1003
+ , de modo que

2
23 1 1
5,2323232323 . . . = 5 + 1+ + +
100 100 100
23 1
= 5+ 1
100 1 100
23 518
= 5+ = .
99 99
Como 5,2323232323 . . . es el cociente de dos enteros, ste es un nmero
racional.

3. Una empresa que renta maquinaria est considerando adquirir una cierta
mquina al precio P , con el fin de recibir por ella un ujo de 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 de sus valores presentes descontados,
Rn
, iguale el precio actual de la mquina, es decir,
(1 + r)n

R1 R2 R3 RT
P = + 2
+ 3
+ + ,
1 + r (1 + r) (1 + r) (1 + r)T
1
con una tasa constante de descuento. Suponiendo que se establece una
1+r
renta fija Rn = v en todos los periodos, calcula el precio P como funcin de v y
r. Cmo vara este resultado si el arrendamiento fuera a perpetuidad (T )?

162
5.1 Series. Serie geomtrica

Considerando una renta fija Rn = v la igualdad anterior se convierte en


v v v v
P = + + + +
1 + r (1 + r)2 (1 + r)3 (1 + r)T
* +
2 T 1
v 1 1 1
1+ + + + .
1+r 1+r 1+r 1+r
La expresin entre parntesis es una suma geomtrica finita, con
2 T 1 1 T
1 1 1 1 1+r
1+ + + + = 1
,
1+r 1+r 1+r 1 1+r
de modo que el precio P est dado por
* + * +
1 T T
v 1 1+r v 1
P = 1
= 1 .
1 + r 1 1+r r 1+r

Por otra parte, cuando el arrendamiento es a perpetuidad, se tiene


v v v v
P = + 2
+ 3
+ +
1 + r (1 + r) (1 + r) (1 + r)4
2 3
v 1 1 1
= 1+ + + + .
1+r 1+r 1+r 1+r
La expresin entre parntesis es una serie geomtrica, con
2 3
1 1 1 1 1+r
1+ + + + = 1
= ,
1+r 1+r 1+r 1 1+r
r
de modo que
v 1+r v
P = = .
1+r r r
Nota que esta expresin se reduce a la anterior en el lmite T . En efecto,
T +1
1 1
como < 1, por lo tanto lm = 0. En este ltimo caso, y
1+r T 1 + r
suponiendo que la mquina no se deprecia, el precio de la renta coincide con el
inters que generara mensualmente en el banco una cantidad P a una tasa fija
r, es decir,
v = rP.

163
Captulo5 Series

n1
1
4. Calcula el valor de .
n=4
2

Como esta sumatoria no es exactamente de la forma rn1 , por tanto no
n=1
puedes calcular directamente su valor con la frmula de la serie geomtrica.
Sin embargo, puedes utilizar algunos de los mtodos que se muestran 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:
n1 3 4 5 6
1 1 1 1 1
= + + + +
n=4
2 2 2 2 2
* +
3 2 3
1 1 1 1
= 1+ + + +
2 2 2 2
* +
3
1 1 1
= 1
= .
2 1 2
4

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

n1 n1 3 n1 3 n1
1 1 1 1
= +
n=4
2 n=4
2 n=1
2 n=1
2
n1 3 n1
1 1
=
n=1
2 2
* + * n=1 +
2
1 1 1
= 1+ +
1 12 2 2
7 1
= 2 = .
4 4

164
5.1 Series. Serie geomtrica

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
n1 (l+3)1
1 1
=
n=4
2 l=1
2
l1 3
1 1
=
l=1
2 2
3 l1
1 1
=
2 2
*l=1 +
3
1 1 1
= 1
= .
2 1 2
4

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

an = an0 + an0 +1 + an0 +2 + ,
n=n0
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 3 n1 n4
1 + r + r + r + = r = r = rn+3 .
n=1 n=4 n=3
Muy especialmente, en este curso utilizaremos a menudo la representacin con
n0 = 0,

2 3
1 + r + r + r + = 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
165
Captulo5 Series

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



(an+1 an ).
n=n0

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 calcularse mediante el lmite

S = lm Sk
k

de la suma parcial
k
Sk = (an+1 an ).
n=n0

Ejemplos:
1 1
1. Calcula el valor de la serie .
n=1 n n+1
1 1
Denotamos por S = a la suma infinita que deseamos
n=1 n n+1
calcular. A partir de ella construimos la suma parcial Sk ,
k
1 1
Sk = .
n=1
n n+1
Desarrollando esta ltima se obtiene
1 1 1 1 1 1 1
Sk = 1+ + + +
2 2 3 k1 k k k+1
1
= 1 ,
k+1
166
5.1 Series. Serie geomtrica

en donde se han cancelado todos los trminos, excepto el primero y el ltimo.


As, el valor de la serie es
1
S = lm Sk = lm 1 = 1,
k k k+1
1 1
es decir, = 1.
n=1 n n+1


2. Calcula el valor de la serie (n+1)2 n2 .
n=1


Denotamos por (n+1)2 n2 a la suma infinita que deseamos calcular. A
n=1
partir de ella construimos la suma parcial Sk ,
k
S= (n+1)2 n2 .
n=1

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 k

por lo tanto la serie (n+1)2 n2 diverge.
n=1

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.

Teorema. Sean n an y n bn dos series convergentes y c R. Entonces,

1. n (an + bn ) = n an + n bn Regla de la suma


2. n (can ) =c n an Regla del mltiplo constante

167
Captulo5 Series

As, por ejemplo,


n1 n1
5 1 5 1 1 5 1 1 13
n
n1 = = 1 1 = .
n=1
3 6 3 n=1
3 n=1
6 3 1 3
1 6
10

Corolario.

1. Si n an diverge y n bn converge, entonces n (an + bn ) diverge.


2. Si n an diverge y c R\ {0} entonces n (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 series cuyos trminos
estn dados por el producto, o cociente, de elementos de una sucesin. En
particular, nota que
an n an
(an bn ) = ( an )( bn ) y = .
n n n n
bn n bn

5.2 Criterios de convergencia de series

Las series geomtricas y las telescpicas son prcticamente las nicas series de
las cuales podemos conocer el valor de su suma. En el caso general es muy difcil
calcular el valor de una suma infinita, por lo que al menos trataremos de determinar
si tal suma converge o diverge.

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. Para ello, observa que una condicin necesaria para
que converja la serie es que lm an = 0. Para entender por qu, denotemos por
n
S al valor de la serie 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.

Teorema. Si n an converge, entonces lm an = 0.


n

168
5.2 Criterios de convergencia de series

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:

n+1 n+1
1. diverge, ya que lm = 1 = 0.
n=1
n n n
n n
2 2
2. 1 diverge, ya que lm 1 = e2 = 0.
n=1
n n n

3. 3n1 diverge, ya que lm 3n1 no existe (tiende a infinito).
n
n=1

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

169
Captulo5 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:

1
Analicemos la convergencia de la serie . Esta serie se conoce como la
n=1
n
serie armnica, dada por

1 1 1 1 1
= 1 + + + + + .
n=1
n 2 3 4 5

1
La serie armnica est generada por la sucesin an = , que satisface
n
1
lm an = lm = 0.
n n n
1
A pesar de que la sucesin converge a 0, la serie armnica diverge, ya que
n

1 1 1 1 1 1 1 1 1 1
= 1 + + + + + + + + + + +
n=1
n 2 3 4 5 6 7 8 9 16

2 4 8
> > >
4 8 16

1 1 1 1 1
> 1 + + + + + = .
n=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
1
dx, que diverge, aunque lm = 0.
x x x

170
5.2 Criterios de convergencia de series

Resumimos los resultados anteriores de la siguiente manera:

lm an = 0 an diverge
n
n

lm an = 0 an puede converger o diverger


n
n

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 n an , como se
describe a continuacin.

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

171
Captulo5 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 = rn , que converge slo si
n=0 n=0
|r| < 1. Es fcil ver que los elementos de esta ltima satisfacen las relaciones

an+1 rn+1
= n =r y n
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
172
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 n an una serie de trminos positivos, an > 0, y


suponga que
an+1
lm
= .
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.

Ejemplos:

2n + 5
1. Determina la convergencia de .
n=1
3n

2n + 5 2n+1 + 5
En este caso, an = , an+1 = . Como
3n 3n+1
2n+1 +5
an+1 3n+1 1 2n+1 + 5 L 1 2n+1 ln 2 2
lm = lm 2n +5
= lm n = lm n = < 1,
n an n 3 n 2 + 5 3 n 2 ln 2 3
3n
n
2 +5
por lo tanto la serie converge (de hecho su suma es 9/2, y no
n=1
3n
= 2/3).

2n
2. Determina la convergencia de .
n=1
n!
n
2 2n+1
En este caso, an = , an+1 = . Como
n! (n + 1)!
2n+1
an+1 (n+1)! n! n!
lm = lm 2n
= 2 lm = 2 lm
n an n n (n + 1)! n (n + 1) (n!)
n!
1
= 2 lm = 0 < 1,
n n+1

2n
por lo tanto la serie converge.
n=1
n!

173
Captulo5 Series


(2n)!
3. Determina la convergencia de .
n=1
n! n!
(2n)! ( 2(n + 1) )! ( 2n + 2 )!
En este caso, an = , an+1 = = .
n! n! (n + 1)! (n + 1)! (n + 1)! (n + 1)!
Como
( 2n+2 )!
an+1 (n+1)! (n+1)!
lm = lm
n an n (2n)!
n! n!

n! n! (2n + 2)!
= lm
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 = 2 lm = 4,
n (n + 1) (n + 1) n n + 1 n 1

(2n)!
por lo tanto la serie diverge.
n=1
n! n!


4n n! n!
4. Determina la convergencia de .
n=1
(2n)!
n
4 n! n! 4n+1 (n + 1)! (n + 1)!
En este caso, an = , an+1 = . Siguiendo pasos
(2n)! ( 2n + 2 )!
similares a los del problema 3, se tiene,
4n+1 (n+1)! (n+1)!
an+1 ( 2n+2 )!
lm = lm
n an n 4n n! n!
(2n)!

4 (n + 1) (n + 1) 2n + 2 L
= lm = 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
an+1 2n + 2 (2n + 1) + 1
= = > 1.
an 2n + 1 2n + 1

4n n! n!
Como an+1 > an , por lo tanto la serie diverge.
n=1
(2n)!

174
5.2 Criterios de convergencia de series

Prueba de la raz n-sima. Sea n an una serie de trminos no negativos,


an 0, y suponga que

lm n
an = .
n
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.

Ejemplos:


n2
1. Determina la convergencia de .
n=1
2n

n2
En este caso, an = , de modo que
2n
$
2
n n 1 1 1
lm n an = lm n
= lm n2/n = lm n1/n lm n1/n = < 1,
n n 2 2 n 2 n n 2
en donde se ha utilizado uno

de los lmites de uso frecuente de la seccin 4.1.
n2
De esta manera, la serie converge.
n=1
2n

n
ln n
2. Determina la convergencia de .
n=3
n
n
ln n
En este caso, an = , de modo que
n
#
n
n ln n ln n
lm n an = lm = lm = 0 < 1.
n n n n n

n
ln n
De esta manera, la serie converge.
n=1
n

175
Captulo5 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 N
f (x) dx convergen ambas, o divergen ambas.
n=N

Ejemplo:

1
Determina la convergencia de la serie .
n=1
n2
Primero identificamos la sucesin que la genera, como
1
an =
,
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,
1 1 1 1 1 1
S1 = 2
, S2 = 2 + 2 , S3 = 2 + 2 + 2 , ... ,
1 1 2 1 2 3
176
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
1 1 1 1 1
Sk = 2
= 2 + 2 + 2 + + 2,
n=1
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,
k
1
f (2) + f(3) + + f (k) < dx.
1 x2
A su vez, se tiene
k
1 1
dx < dx,
1 x2 1 x2
de modo que

1
f (2) + f (3) + + f (k) < dx.
1 x2
De esta manera,

1
1 + f (2) + f (3) + + f (k) < 1 + dx,
1 x2
es decir,

1
Sk < 1 + dx.
1 x2
177
Captulo5 Series

1
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


1
= lm Sk
n=1
n2 k

1
por lo tanto la serie 2
converge. Nota que este resultado no establece que
n=1
n
la serie converge a 2, slo que sta converge (a un valor menor que 2). Con

1
esto hemos demostrado que la convergencia de la integral 2
dx implica la
1 x

1
convergencia de la serie 2
.
n=1
n

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 nen simplemente demostrando la convergencia de la
n=1

integral 1
xex dx.

De esta prueba se desprende un caso particular de inters, que es el


correspondiente a las llamadas series-p, dadas por

1 1 1 1
p
= p + p + p + ,
n=1
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

1 converge, si p > 1

np diverge, si p 1.
n=1

Este resultado ser de gran utilidad a lo largo de esta seccin.

178
5.2 Criterios de convergencia de series

Por ltimo, es muy importante que puedas distinguir una serie-p, tal como

1 1 1 1 1
2
= 2 + 2 + 2 + 2 + ,
n=1
n 1 2 3 4
de una serie del tipo

1 1 1 1 1
n
= 1 + 2 + 3 + 4 + ,
n=1
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 n bnconverge entonces tambin converge n an .


b) Si 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".

179
Captulo5 Series

Ejemplos:

1 + cos n
1. Analiza la convergencia de .
n=1
n2

1
Se "intuye"que la serie converge, ya que se parece a la serie 2
, que
n=1
n
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=1
n n=1
n2

1 + cos n 2 1
Como , para todo n 1, y como 2 converge, por lo
n2 n2 n=1
n 2

1 + cos n
tanto converge.
n=1
n2


ln n
2. Analiza la convergencia de .
n=3
n

1
Se "intuye"que la serie diverge, ya que se parece a la serie , que diverge
n=3
n
(serie armnica). Para demostrarlo, tomamos en cuenta que, para todo n 3,
ln n 1
ln n 1


n n
ln n 1
.
n=3
n n=3
n

ln n 1 1 ln n
Como , para todo n 3, y como diverge, por lo tanto
n n n=3
n n=3
n
diverge.

Ten cuidado de utilizar esta prueba de manera apropiada, para no obtener


resultados errneos. Es decir, no puedes demostrar que una serie converge
180
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.

181
Captulo5 Series

Ejemplos:

6n2 + 5n + 8
1. Analiza la convergencia de .
n=1
2n5 + n 1
6n2 + 5n + 8
La sucesin correspondiente a esta serie es an = . Como su
2n5 + n 1
6n2
comportamiento dominante para n 1 es 5 , de modo que podemos elegir
2n
3
bn = 3 . Como
n
6n2 + 5n + 8
an 2n5 + n 1 6n5 + 5n4 + 8n3 L
lm = lm = lm = 1,
n bn n 3 n 6n5 + 3n 3

n3

3
y la serie generada por bn converge (serie-p, con p = 3), por lo tanto la
n=1
n3

6n2 + 5n + 8
serie converge.
n=1
2n5 + n 1


2n + 1
2. Analiza la convergencia de .
n=1
n2 + 2n + 1
2n + 1
La sucesin correspondiente a esta serie es an = 2 . Su
n + 2n + 1
2n
comportamiento dominante para n 1 es 2 , de modo que podemos elegir
n
2
bn = . Como
n
2n + 1
an n2 + 2n + 1 2n2 + n
lm = lm = lm = 1,
n bn n 2 n 2n2 + 4n + 2

n

2
y la serie generada por bn diverge (mltiplo de la serie armnica), por lo
n=1
n

2n + 1
tanto la serie diverge.
n=1
n2 + 2n + 1

182
5.2 Criterios de convergencia de series


ln n
3. Analiza la convergencia de .
n=1
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
ln n
an n2 ln n L
lm = lm = lm = 0,
n bn n 1 n n1/2

n 3/2


1
y como la serie generada por bn converge (serie-p, con p = 3/2), por
n=1
n3/2

ln n
lo tanto la serie converge.
n=1
n2


ln n
4. Analiza la convergencia de .
n=1
n
ln n
La sucesin correspondiente a esta serie es an = . Si elegimos la segunda
n
1
sucesin como bn = se tiene
n
ln n
an n
lm = lm = lm ln n = .
n bn n 1 n

n

1 ln n
Como la serie armnica generada por bn diverge, por lo tanto
n=1
n n=1
n
diverge.

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
183
Captulo5 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 n |an | converge, entonces n an converge.

Ejemplos:

1
1. Demuestra que (1)n+1 converge.
n=1
n2

1
Sabemos que converge, ya que es una serie-p, con p = 2. Por lo tanto,
n=1
n2

1
(1)n+1 2 converge.
n=1
n


cos n
2. Demuestra que converge.
n=1
n2

|cos n|
Primero mostramos que converge. Para ello, partimos del hecho que
n=1
n2

|cos n| 1 1
|cos n| 1, de modo que . Como la serie converge,
n=1
n2 n=1
n2
n=1
n2

|cos n|
por la prueba de la comparacin directa conclumos que converge.
n=1
n2

cos n
De esto ltimo se sigue que converge.
n=1
n2

184
5.2 Criterios de convergencia de series

Considera ahora una serie de signos diferentes, tal como



1 1 1 1
(1)n+1 = 1 + +
n=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=1
n
un criterio alternativo de convergencia, conocido como el teorema de Leibniz para
series alternantes, que trata con series de la forma

an = (1)n+1 un = u1 u2 + u3 u4 + ,
n=1 n=1
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,


un+1
ii) 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.

185
Captulo5 Series

Ejemplos:

1
1. Determina la convergencia de (1)n+1 , conocida como serie armnica
n=1
n
alternante.

1 1 1 1
La serie (1)n+1 = 1 + + converge, ya que
n=1
n 2 3 4

i) un = n1 > 0, para todo n 1,


un+1 n
ii) = 1, para todo n 1,
un n+1
1
iii) lm un = lm = 0.
n n n


1
2. Determina la convergencia de (1)n .
n=0
2n

1 1 1 1 1
La serie (1)n =( )n = 1 + + converge, ya que
n=0
2n
n=0
2 2 4 8
! !
! 1!
se trata de una serie geomtrica, con |r| = !! !! < 1. Esta misma conclusin
2
puede obtenerse a partir del teorema de Leibniz, puesto que
1
i) un = > 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


1
3. Determina la convergencia de (1)n+1 .
n=1
n
n

1
La serie (1)n+1 diverge, puesto que no satisface la condicin iii), o
n=1
n
n
1
prueba del n-simo trmino, es decir, lm un = lm = 1 = 0.
n n n n

186
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
1. La serie (1)n+1 converge condicionalmente, ya que:
n=1
n

1
i) (1)n+1 converge (teorema de las series alternantes),
n=1
n
! !
! 1 ! 1
ii) !(1) n+1 != diverge (serie armnica, o serie-p, con p = 1).
! n ! n
n=1 n=1


1
2. La serie (1)n+1 converge condicionalmente, ya que:
n=1
n

1
i) (1)n+1 converge (teorema de las series alternantes),
n=1
n
! !
! !
n+1 1 ! 1 1
!
ii) !(1) n ! = diverge (serie-p, con p = ).
n 2
n=1 n=1

Definicin. Una serie n an es absolutamente convergente si la correspondiente


serie de valores absolutos, n |an | , converge.

Ejemplos:

1
1. La serie (1)n converge absolutamente, ya que
n=0
2n
! !
! !
!(1)n 1 ! = 1
! 2n ! 2n
n=0 n=0
1
converge (serie geomtrica, con r = < 1).
2
187
Captulo5 Series


1
2. La serie (1)n+1 converge absolutamente, ya que
n=1
n2
! !
! n+1 1 ! 1
!(1) !=
! n 2 ! 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 n bn
converge absolutamente, y adems n bn = n an .

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 1 1 1
1+ + + = 1+
+ +
2 3 4 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 1 1 1 1
S= (1)n+1 = 1 + + ,
n=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
188
5.3 Series de funciones. Series de potencias

entonces S diverge (cada parntesis da una suma infinita), o bien escrita como
1 1 1 1 1
S =1+ + + + + +
2 3 5 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

1 n
serie geomtrica 5
, ahora tienes una familia de series geomtricas,
n=0
n n
1 1
, , 3n , ...
n=0
5 n=0
2 n=0
1
correspondientes a diferentes razones, 5
, 12 , 3, ... Claramente, toda esta familia
puede representarse por la expresin

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

1
xn = ,
n=0
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
189
Captulo5 Series

dentro del intervalo, 1 < x < 1, conocido como el intervalo de convergencia



1 n n
de la serie. De acuerdo con esto, las series 5
o 12 son valores
n=0 n=0
particulares de la funcin f (x), es decir,
n
1 1 1 5
= f = 1 = ,
n=0
5 5 1 5
4
n
1 1 1 2
= f = 1
= ,
n=0
2 2 1 2 3
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

fn (x) = f1 (x) + f2 (x) + f3 (x) + + fk (x) + .
n=1

Como un segundo ejemplo, considera la serie de funciones



(ln x)n = 1 + ln x + (ln x)2 + (ln x)3 + ,
n=0

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,

1
(ln x)n = , |ln x| < 1.
n=0
1 ln x
En otras palabras, la serie generada por la sucesin {(ln x)n } converge a la funcin
1
f (x) = ,
1 ln x
dentro del intervalo de convergencia e1 < x < e.

190
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 = fn (x)dx
n=1 n=1

d dfn (x)
fn (x) = ,
dx n=1 n=1
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

cn (x x0 )n = c0 + c1 (x x0 ) + c2 (x x0 )2 + c3 (x x0 )3 + ,
n=0
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.

191
Captulo5 Series

Ejemplos:

1. xn = 1 + x + x2 + x3 + es una serie de potencias alrededor del origen
n=0
(x0 = 0), con cn = 1, para todo n 0.

n 1 2 3
2. xn = x + x2 + x3 + es una serie de potencias alrededor
n=0
n+2 3 4 5
n
del origen, con cn = , para todo n 0.
n+2

xn x2 x3
3. (1)n+1 = x + es una serie de potencias alrededor del
n=1
n 2 3
(1)n+1
origen, con cn = , para todo n 1.
n

x 1 1 1
4. (1 )n = ( )n (x 2)n = 1 (x 2) + 2 (x 2)2 es una
n=0
2 n=0
2 2 2
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=0
n! 2! 3!
1
potencias alrededor de x0 = 1, con cn = , para todo n 0.
n!

(x + 3)n (x + 3) (x + 3)2 (x + 3)3
6. (1)n+1 = + es una serie de
n=1
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 n cn (x x0 )n


converge sta lo hace a una funcin f (x), es decir,

cn (x x0 )n = f (x),
n=0
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

192
5.3 Series de funciones. Series de potencias

conformaremos con determinar el intervalo de convergencia de la serie. Para ello,


nota que la serie

cn (x x0 )n = c0 + c1 (x x0 ) + c2 (x x0 )2 + c3 (x x0 )3 +
n=0

siempre converge en x = x0 , con


!
!
n!
cn (x x0 ) ! = c0 .
!
n=0 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,

|cn (x x0 )n | , obtenindose tpicamente un intervalo abierto, de la forma


n=0
|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:

xn
1. Determina el intervalo y radio de convergencia de la serie (1)n+1 .
n=1
n
La serie

xn x2 x3 x4
(1)n+1 =x + + ...
n=1
n 2 3 4

193
Captulo5 Series


xn
es de la forma an (x), con an (x) = (1)n+1 . La serie correspondiente de
n=1
n

valores absolutos es |an (x)| , con
n=1
! ! ! n!
! n!
n+1 x !
! x ! |x|n
!
|an (x)| = !(1) = ! != .
n! !n! n
n
Para esta serie podemos aplicar la prueba de la raz n-sima, lm |an (x)| = ,
n
imponiendo convergencia ( < 1), es decir,
$ n
n n |x| 1
lm |an (x)| = lm = |x| lm = |x| < 1,
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
(1)2 (1)3 (1)4 1 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)2 (1)3 (1)4 1 1 1
(1) + + ... = 1 + + ...,
2 3 4 2 3 4

xn
que converge (serie armnica alternante). Concluimos que (1)n+1
n=1
n
converge en el intervalo
1 < x 1.


(x 3)n
2. Determina el intervalo y radio de convergencia de la serie (1)n .
n=0
2n
Nota que se trata de una serie geomtrica. Para esta serie, dada por

(x 3)n (x 3) (x 3)2 (x 3)3
(1)n = 1 + + ...
n=0
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
194
5.3 Series de funciones. Series de potencias

Imponiendo convergencia ( < 1) en la prueba de la raz n-sima se obtiene


$ n
n n |x 3| 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
(1 3) (1 3)2 (1 3)3
1 + + ... = 1 + 1 + 1 + 1 + ...,
2 22 23
que diverge, y la serie correspondiente a x = 5 es
(5 3) (5 3)2 (5 3)3
1 + + ... = 1 1 + 1 1 + ...,
2 22 23

(x 3)n
que tambin diverge. Concluimos que (1)n converge en el
n=0
2n
intervalo
1 < x < 5.


xn
3. Determina el intervalo y radio de convergencia de la serie .
n=0
n!
Para la serie
xn x2 x3
= 1+x+ + + ...
n=0
n! 2! 3!
xn
se tiene an (x) = , de modo que conviene utilizar la prueba del cociente,
! n!!
! an+1 !
n-sima, lm !! ! = . En este caso,
n an !
! ! ! n+1 ! ! !
! an+1 ! ! x n! ! ! n! !
lm !! ! = lm ! ! = |x| lm ! ! = |x| lm 1 = 0 < 1
n an ! n ! (n + 1)!xn ! n ! (n + 1) n! ! n n + 1

xn
de modo que converge para todo x R, con radio de convergencia
n=0
n!
infinito.

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

195
Captulo5 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
!
lm ! ! !
= lm ! ! = |x + 5| lm (n+1) = .
n an ! n n!(x + 5) n ! n diverge, si x = 5

Concluimos que la serie n!(x + 5)n converge slo en x = 5, con radio de
n=0
convergencia 0.

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) = cn (x x0 )n = c0 + c1 (x x0 ) + c2 (x x0 )2 + + ck (x x0 )k + .
n=0

Para determinar los coeficientes cn tomamos en cuenta que

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


f (x) = 2c2 + 3 2c3 (x x0 ) + 4 3c4 (x x0 )2 + ,
f (x) = 3 2c3 + 4 3 2c4 (x x0 ) + ,
f IV (x) = 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 )
ck = .
k!
La serie de potencias correspondiente es

f (x0 ) f (k) (x0 )


f(x) = f(x0 ) + f (x0 )(x x0 ) + (x x0 )2 + + (x x0 )k + ,
2! k!
y a este tipo de series se le conoce como una serie de Taylor.

196
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

f (n) (x0 ) n f (x0 )


2 f (x0 )
(xx0 ) = f (x0 )+f (x0 )(xx0 )+ (xx0 ) + (xx0 )3 + ,
n=0
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 calcular 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

f (n) (3) f (3) f (3)


(x3)n = f (3)+f (3)(x3)+ (x3)2 + (x3)3 + ,
n=0
n! 2! 3!
con f (n) (3) la n-sima derivada de la funcin f evaluada en x = 3. Como

1 1
f (x) = f(3) = ,
x 3
1 1
f (x) = f (3) = ,
x2 32
2 2
f (x) = 3
f (3) = 3 ,
x 3
2 3 23
f (x) = 4 f (3) = 4 ,
x 3

es claro entonces que
n!
f (n) (3) = (1)n ,
3n+1
para todo n 0, de modo que
f (n) (3) 1
= (1)n n+1 .
n! 3
197
Captulo5 Series

As, la serie de Taylor generada por f (x) = 1/x alrededor de x0 = 3 es



(x 3)n 1 (x 3) (x 3)2 (x 3)3
(1)n = + + .
n=0
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

f (x0 ) f (n) (x0 )


Pn (x) = f(x0 ) + f (x0 )(x 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 )
P2 (x) = f (x0 ) + f (x0 )(x 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 .

198
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

f (n) (0) n f (0) 2 f (0) 3
x = f (0) + f (0)x + x + x + .
n=0
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

1 n x2 x3 x4
x = 1+x+ + + + .
n=0
n! 2! 3! 4!
En particular, nota que para x = 1 esta serie converge al nmero e, es decir,

1 1 1 1
= 1 + 1 + + + + = 2,718281828 . . . = e.
n=0
n! 2! 3! 4!
Por ltimo, los polinomios de Taylor P0 (x), P1 (x), P2 (x), correspondientes son
las funciones
x2
P0 (x) = 1, P1 (x) = 1 + x, P2 (x) = 1 + x + .
2!

199
Captulo5 Series

y
2. La distribucin de probabilidad de Poisson est dada por p(y) = y!
e .
Demuestra que y=0 p(y) = 1.
Se tiene

y y
p(y) = e = e = e e = 1.
y=0 y=0
y! y=0
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 .
2
En ese caso, la serie de Taylor de f (x) = e2x alrededor de x0 = 0 es
2 3 4
1 n (2x2 ) (2x2 ) (2x2 )
2x2 = 1 + 2x2 + + + + .
n=0
n! 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

f (n) (1) f (1) f (1)


(x1)n = f (1)+f (1)(x1)+ (x1)2 + (x1)3 + .
n=0
n! 2! 3!
Como
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

por lo tanto,
f (1) = 0,
f (1) = (1)n+1 (n 1)!,
(n)
n 1.

200
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

(1)n+1 (x 1)2 (x 1)3 (x 1)4
(x 1)n = (x 1) + +
n=1
n 2 3 4
El polinomio de Taylor P2 (x) de orden 2 es la funcin cuadrtica
(x 1)2
P2 (x) = (x 1) .
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
x2 x4 x6 x8
1 + + ,
2! 4! 6! 8!
y la serie de Taylor generada por la funcin f2 (x) =senx es
x3 x5 x7 x9
x + + .
3! 5! 7! 9!
As, por ejemplo, los polinomios de Taylor correspondientes de orden 3 son las
x2 x3
funciones 1 y x , respectivamente.
2! 3!

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

f (n) (x0 )
(x x0 )n = f (x).
n=0
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 (a) f (n) (a) f (n+1) (c)
f(b) = f (a)+f (a)(ba)+ (ba)2 + + (ba)n + (ba)n+1 .
2! n! (n + 1)!
201
Captulo5 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

f (n+1) (c)
Rn (x) = (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.

202
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
ex P4 (x) = 1 + x + + + ,
2! 3! 4!
y el error correspondiente (tomando x0 = 0) es

f V (c) ec
R4 (x) = (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,
1 1 1
e P4 (1) = 1 + 1 + + + = 2.70833 ,
2! 3! 4!
con un error dado por
ec
R4 (1) = ,
x
5!
para alguna c entre x0 = 0 y 1. Como e crece montonamente, se tiene

e0 ec e1 ,
de modo que
1 ec e

5! 5! 5!
y, por tanto,
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 .

203
Captulo5 Series

Sabemos que, a orden n, el error est dado por


ec
Rn (1) = ,
(n + 1)!
con 0 c 1. As, el error ms grande ocurre en c = 1, de modo que
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
e1+1+ + + = 2.718281526,
2! 9!
que difiere del valor exacto, e = 2.718281828, en el sptimo dgito.
0.3 x2
3. Utiliza el polinomio de Taylor de orden 1 para calcular 0
e dx.
Para valores de x cercanos a x0 = 0 se tiene
ex P1 (x) = 1 + x,
de modo que
2
ex 1 + x2 .
Por lo tanto,
0.3 0.3 0.3
x2 2 x3
e dx (1 + x ) dx = x + = 0.309 .
0 0 3 0
Nota que esta aproximacin es bastante razonable, tomando en cuenta que
0.3 x2
0
e dx = 0.30925 .

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,

204
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! !
1 k !!
+ + (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 x0
x = ,

x0 = ,
y y0

205
Captulo5 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
P2 (

x ) = f (

x 0 ) + f(
x 0 )T (

x x 0 ) + ( x x 0 ) H(

x 0 ) (

x

T
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. Calcula 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
1
P2 (x, y) = f (0, 0)+f x (0, 0)x+f y (0, 0)y+ f xx (0, 0)x2 + 2f xy (0, 0)xy + f yy (0, 0)y 2 ,
2!
con
f (x, y) = e2xy f (0, 0) = 1,
fx (x, y) = 2e2xy fx (0, 0) = 2,
fy (x, y) = e2xy fy (0, 0) = 1,
fxx (x, y) = 4e2xy fxx (0, 0) = 4,
fxy (x, y) = 2e2xy fxy (0, 0) = 2,
fyy (x, y) = e2xy fyy (0, 0) = 1
por lo tanto,
1
P2 (x, y) = 1 + 2x y + 4x2 4xy + y 2 .
2!

206
5.4 Series de Taylor para funciones de una y varias variables

2. Calcula 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) = y 3 ex+2 f(2, 1) = 1,
fx (x, y) = y 3 ex+2 fx (2, 1) = 1,
fy (x, y) = 3y 2 ex+2 fy (2, 1) = 3,
fxx (x, y) = y 3 ex+2 fxx (2, 1) = 1,
fxy (x, y) = 3y 2 ex+2 fxy (2, 1) = 3,
fyy (x, y) = 6yex+2 fyy (2, 1) = 6,
por lo tanto,
1
P2 (x, y) = 1 + (x + 2) + 3(y 1) + (x + 2)2 + 6(x + 2)(y 1) + 6(y 1)2 .
2!

207
Captulo5 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, Mathematics for Economic Analysis, Prentice
Hall, 1995.
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.

208