[232]

7
FUNCIONES LOG y EXP
INTRODUCCION
En la tabla de primitivas construida en el captulo 5, puede observarse que para la funcin l/x no se exhibe una funcin primitiva, es decir, una funcin F(x) tal que F'(x) = l/x para todo x f O. En este captulo se construir una funcin que tenga la propiedad anterior para los x positivos y, a partir de ella, se obtendr una primitiva de l/x para todo x f O. El mtodo para tal construccin ser el seguido usualmente para obtener funciones primitivas de funciones dadas; este mtodo lleva a una solucin nica del problema cuando la funcin dada tenga por dominio un intervalo 1 y se establezcauna condicin adicional, a saber, que el valor de la funcin buscada encierto punto XoE1 seaun valor predeterminadoc. La funcin que seconstruir y se designar por log, ser una primitiva de la funcin f: (O,CX)) ~ ~ definida como f(x) = l/x y tal que 10g(1) = O. Esta funcin se llamar logarit_monatural. Es conveniente tambin sealar que esta funcin log poseelas propiedades siguientes: log (xy) = log (x) + log (y) log (x/y) = log (x) -log (y) para x, y E (O,CX)).

Construccin

de la funcin logaritmo

natural

Considrese la grfica de la funcin l/t restringida al intervalo (O,CX)). Para cada x ~ 1, definimos log (x) como el rea de la regin del plano comprendida por la grfica de l/t, el eje x y las rectas t = 1 Y t = x. Es claro que log (1) = O. Para O < x < 1 se define log (x) como menosel rea de la regin determinada por la grfica, el eje x y las rectas t = x Y t = 1.

INTRODUCCION

233

TEOREMA 7.1 Para todo x > O se tiene que log' (x) = l/x. Demostracin Por comodidad, se supone que x > 1, Y se demuestra que la derivada de log por la derecha en x es 1/x, explcitamente
, log(x 11m + h) -Iog(x) 1 = -

11-+0+

Sea h > O, entonces la diferencia log (x + h) -log (x) es el rea de la regin comprendida por la grfica de lIt, el eje x y las rectas x = t Y t = x + h (vase Fig. 7.1). Ahora bien, la funcin lIt es decreciente; por tanto, 1 -~
x

1 -~
t

-,

x+h

para x ~ t ~ x + h

As, en trminos de reas se tiene (Fig. 7.2) h1

x+h

~ log(x + h) -log(x)

1 ~ hx

De este modo, al dividir entre h, se obtie~e 1

-~-~-;

log (x + h) -log(x) h ,log(x+h)-log'(x) 11m 11-+0+ h

y

1 x 1 ~-, x

x+h

por consiguiente, si se toma el lmite cuando h -.0+, se tiene que , 1 11m-~ 11-+0++ h X
y

logx
l/x 1 x+h O 1 x x+h x O x x+h x

Figura 7.1

Figura 7.2

234

FUNCIONES

LOG y EXP

pero la funcin l/t es continua en x, por lo que , lag (x + h) -lag (x) 1 11m = -h-+O+ h x

En forma anloga se prueba que

...

, log(x I1m=h-+O-

+ h) -lag h

(x)

.1 x

As, (lag x)' = l/x. COROLARIO 7.1 La funcin lag es continua. A continuacin deducimos las propiedadesantes sealadas la funcin lag: de 1) lag (xy) = lag (x) + lag (y), a x (lag xy) = -=
, (xy)' xy

para x, y E(O,XJ)

[7.1]

Seay > O un real fijo, entoncesla funcin lag (xy) tiene por derivada respecto -=
xy y

1 x

Por tanto, las funciones lag x y lag xy tienen las mismas derivadas en todos los puntos; en consecuencia,por el corolario 6.3, ellas difieren en un nmero c, es decir, lag xy = lag x + c, para todo x > O [7.2]

para calcular el valor de c se hace x = 1, es decir, lag y = lag 1 + c Por tanto, se tiene de [7.2] lag (xy) = lag x + c = lag x + lag y Es posible tambin dar una generalizacinde [7.1] tomando un nmero real x> O y otro natural n, lag (x") = lag (x... x) = lag x + ...+
'-v-" n factores ~ n sumandos

lag x = n lag x
'

2) lag (x/y) = lag x -lag y, Se probar que

para x, y E (O,<X)) si x> O

lag (l/x) = -lag x

INTRODUCCION

235

Aplquese la funcin log a ambos lados de la igualdad x. l/x = 1; resulta que log x + log (l/x) = log 1 = O. As, 10g(1/x) = -logx Al combinar este resultado con 1) se obtiene 2).

Clculo aproximado

de algunos logaritmos

Sea f: [a, b] -+ ~ continua y positiva. Como se ver en el captulo 9 sobre integracin, una manerade aproximar el rea A de la regin comprendida entre la grfica de j; el eje x y las rectas x = a y x = b, es: Se divide el intervalo [a, b] en n subintervalos de la misma longitud. Para cada~p4) de estos subintervalos [Xi-l,Xi] se construye el trapecio que tiene por ve~s los puntos (Xi-l, O), (Xi-l, f(Xi-l)), (Xi' O) y (Xi' f(xJ)o Si Ai es el rea de cada uno de dichos trapecios, entonces ~Al+A2+...+An
y

(Fig.7.3)o

/ ::~::/fn
I
I I I All.AzIA3IA41 I 1" I I I I I I 1 I I

II

I I I I I

I I I I I

O
Fig. 7.3

a
es mejor a medida

La aproximacin

que n es ms grande,

As, es posible calcular en forma aproximada ellog 2 de la maner,\ siguiente: log 2 es aproximadamente igual a la suma de las reasde 10trapecios determinados, segn lo anterior, por los subintervalos siguientes: 19 [1,-11J, [-,- 12J"'0' [-,2 11 10 10 10 10

(VeaseFlg. 7.4.) ' o

236

FUNCIONES

LOG y EXP

Cada trapecio tiene por rea

Al = ~ '~ ( O
1 2

~~+ ~ I ), ,-1.
1+-'--10 1+10

donde i = 1,2,...,10

Por tanto, log2 es aproximadamente igual a la suma ~[(~+~) + (~+~) + ...+ (~+~) + (~+ ~)J,

que es igual a 0.694unidades rea. de

y

10 11 12 13
'.

20

10 10 10 10 ...10

Figura 7.4

Mediante esteresultadoy las propiedades log, puedeconstruirseuna de tabla de aproximaciones para algunosvaloresde log.
TABLA 7.1

x
2

logx
0.694

4
8 j

1.388
2.082 -0.694 ,. .

! i 32

-1.388 -2.082 3.47

LA FUNCION EXPONENCIAL

237

Por otra parte, el rea del rectngulo que tiene por lados el intervalo [1,2] Y el segmento que une (2, O) con (2,t), es menor que log 2. Es decir, t ~ log 2. Por tanto, log 4 = log 22 ~ 1. La funcin log no es acotada, ya que dado M > O existe un natural n > M, Y as, log4" = nlog4 ~ n > M Tambin, si MI < O, existe un natural m > -MI. log4-m = -mlog4 < -m < MI Por consiguiente,

La funcin log toma, adems, todos los valores reales,es decir, si y es un nmero real, entonces existe x > O tal que log x = y, como se muestra en el teorema siguiente: TEOREMA 7.2 La funcin log: (O,00) ~ ~ es estrictamentecrecientey suprayectiva, es decir, 1) O < x < y implica que log x < log y; 2) dado y E ~ existe, x > O tal que log x = y. De este modo, la funcin log es biyectiva. Demostracin (log x)' = l/x para todo x > O; en consecuencia,log es una funcin estrictamente creciente y, por tanto, se cumple 1). Por el teorema del valor intermedio, setiene que log x toma todos los valores y E [ -n log 4, n log 4] cuando vara x en el intervalo [1/4",4"], como -n log 4 sobrepasa cualquier nmero negativo tomando n suficientemente grande y, en forma anloga, n log 4 sobrepasa cualquier nmero positivo, se obtiene la conclusin pedida en 2). La ltima afirmacin contenida en el teorema se sigue de las dos primeras.

LA FUNCION EXPONENCIAL
En virtud del teorema 7.2, se tiene que la funcin log x posee funcin inversa, que est definida para todos los nmeros reales. Esta funcin se llama exponencial y se denota por exp (x) Adems, exp (x) > O para todo x y es una funcin creciente, ya que su derivada es positiva por coincidir con exp (x) en todo x, como se probar en el

teorema7.4.

238

FUNCIONES

LOG y EXP

DEFINICION 7.1 "co.nformea la defi.nici.n ge.neral fu.nci.n de inversase tiene que . exp(x) = y SI log y = x Obsrvesede la definicin que exp(log y) = y y log (exp x) = x [7.3] [7.4]

Con la tabla 7.1 es posible obtener con facilidad una pequea tabla de

valores aproximadosde exp.

TABLA 7.2
x
O 0.694

exp (x)
1 2

2.082
-0.694

8
!

-1.388
-1.082 3.470

-!
-Ir 32.

Ntese que en la tabla 7.2 los valores de x son los correspondientesa log x en la tabla 7.1, y viceversa. La grfica de la funcin exp se muestra en la figura siguiente.
y Grfica de exp (x)

a de logx

/
/

.
,- '" '

Figura?5
.'K..

"'C',-~.,; "

LA FUNCION EXPONENCIAL

239

Partiendo de que exp (x) es la funcin inversa de log x, se tiene el teorema siguiente: TEOREMA 7.3 Dados x e y nmeros reales, exp (x) exp (y) = exp (x + y) Demostracin De las frmulas [7.4] y [7.1] se obtiene log (exp(x + y)) = x + y = log (exp (x)) + log (exp (y)) = = log (exp (x) exp (y)) De esta ltima expresin se obtiene el resultado enunciado, pues log es una funcin inyectiva. COROLARIO 7.2 Sean x, ye R. exp(x'- ,~)= exp (x)/exp (y). Demostracin Por el teorema anterior, basta demostrar que exp (- y) = 1/exp(y). 1 = exp(O) = exp(y -y) = exp (y)exp (-y);

por tanto,
exp (- y) = 1/exp (y) A continuacin se define el nmero e como e = exp (1) Este nmero e es irracional y es posible calcular tantas cifras decimalesde l como se desee. Si n es un nmero natural, entonces se tiene que exp(n) = exp(1 + 1 + ...+ 1)

Aqu aparecen n sumandos y, por las propiedades de exp, resulta que exp (n) = e"; en forma anloga, para el nmero entero negativo -n, se tiene exp (- n)exp (n) = exp(n -n) = exp (O)= 1

Por tanto,
exp( -n) = 1/exp(n) = l/en = e-n De igual manera puede demostrarse que, dado cualquier racional p/q, donde p y q son enteros y q 4' O, exp (p/q) = eP/q

240

FUNCIONES

LOG y EXP

En virtud del planteamiento anterior, sedefine para cualquier nmero real x, eX= exp (x) En adelante se usar esta ltima notacin para exp (x). Despusse probar que e ~ 3, resultado que usaremos en lo que sigue.

OTRAS BASES
Si a > O, se define para cualquier nmero real x, ax = eXloga [7.5J

As se ha definido una funcin ax cuyo dominio son todos los nmeros reales. Es sencillo demostrar que ax comparte algunas propiedades con eX. A partir de la igualdad [7.5J, se tiene que log (aX)= log (eXlog = Xlog a, a)
y
Grfica de aX

y as, x = log (aX)/loga; si se hace aX= y y sedefine x como logaritmo con base a de y, entoncesresulta que, para el nmero real positivo a, loga y = log y/log a Ahora bien, a partir de esta ltima igualdad es posible obtener valores para la funcin log usando la igualdad log y = 10gloy/loglo e y una tabla para 10glO'

DERIVADAS DE LAS FUNCIONES EXPONENCIALES

241

DERIVADAS DE LAS FUNCIONES EXPONENCIALES

Dado que la funcin eXes la inversa de log x, se tiene el teorema siguiente: TEOREMA 7.4 La funcin eXes derivable y (eX)' = eX Demostracin De acuerdo con la regla para derivar las funciones inversas, se concluye (eX)' = l/log' (eX)= l/l/ex = eX COROLARIO 7.3 e!' es continua. . TEOREMA 7.5 1) aX es derivable. Ms an, (aX)' = (log a)(aX) 2) aX es continua. Demostracin 1) Por definicin se tiene aX = eXtoga si se hace u(x) = x log a, resulta u'(x) = log a y d/dx(e"(X)= du(x)/dx .de"/du = dufdx .e"

Y, sustituyendo u(x), se tiene demostrada la primera parte del teorema. 2) Se sigue de 1). Una aplicacin importante de la funcin exponencialse tiene en la definicin

siguiente:
DEFINICION 7.2 Para un nmero real a fijo, se define la funcin xa condominioen los nmerosrealespositivosy con regla de correspondencia xa = ~logx TEOREMA 7.6 La funcin xa es derivable y su derivada es la funcin
axa-l.

242

FUNCIONES

LOG y EXP

Demostracin (xa)' = (ealag = (a log x)'(~ lag = X)' X) = (a/x)(ea X) = axa/x = axa-l lag Este teorema generaliza, para todo a E~, la frmula [5.4].

DERIVACION

LOGARITMICA.

El procesomostrado a continuacin resulta til para el clculo de las derivadasde algunas funciones con aspectocomplicado; su nombre se debea que se toma el logaritmo de la funcin original para transformarla en una de manejo ms sencillo. La nueva funcin se deriva usando propiedadesestudiadas en prrafos anteriores. EJEMPLO 1 Derivaremosmedianteesteprocesola funcin aX (cuyaderivada se vio en la seccinanterior), donde a > O y x est en los nmeros reales. Sea y = aX.Considreseel logaritmo de cada miembro de la igualdad, con lo que log y = log ax, de donde log y = x log a Si derivamos respecto a x, tenemos
l/y. y' = log a I

La expresinest enmarcadaporque seobtuvo aplicando la regla de la cadena a log y.

As,
y' = y log a = ax log a EJEMPLO 2 Calclese la derivada de y = xx, x > O. Solucin Tmense logaritmos de cada lado de la igualdad, log y = log xx, por lo que logy = xlogx Al derivar, se tiene y'/y = logx + 1;

FUNCIONES

HIPERBOUCAS

y SUS DERIVADAS

243

as,
Por tanto,

dy/dx = y(log x + 1) = x'"(log x + 1) dy/dx = x'"(log x + 1) FJEMPLO 3 Dervese la funcin (senx)'", x E (O,n). Solucin Seay = (senx)'".Tmenselogaritmos de cada lado de la igualdad, log y = log (senx)'" = x log (senx); dervese respecto a x, con lo que se obtiene y'/y = log(senx) + x cos x/sen x = log(senx) + xcotx As, dy/dx = (senx)'"(log (senx) + x cot x)

FUNCIONES BIPERBOLICAS Funciones hiperb6licas

y SUS DERIVADAS

Segn lo expuesto en la seccin sobre funciones trigonomtricas, se observa que si el radio OV del crculo unitario (Fig. 7.6) se gira en direccin positiva hasta barrer un rea igual a x/2, con x > O,entoncesel extremo en su posicin final es el punto de coordenadas (cos x, senx). (Recurdeseque el rea del sector OPV es e/2, donde e es la medida en radianes del ngulo OPV; por tanto, e = x.)
y

Fig.

7.6

Area del sector OPV = x/2.

244

FUNCIONES

LOG y EXP

Ms adelante se probar que para cada t > O existe un nico punto Po(x, y) con x e y positivos, en la hiprbola equiltera X2 -y2 = 1, tal que la regin limitada por el eje x, la recta OPo Y esa hiprbola, tiene un rea igual a t/2 (Fig. 7.7). Por esto y lo sealado en el prrafo anterior, puede encontrarse justificado que la abscisa x de Po se llame coseno hiperblico de t (cosh t) y su ordenada y, seno hiperblico de t (senht).

Figura 7.7

No obstante haber impuesto la restriccin t > O para justificar los nombres de las dos funciones principales por estudiar en esta seccin,se tiene que las funciones seno hiperblico (senh) y coseno hiperblico (cosh) estn definidas para todo t E ~, de acuerdo a las expresiones senht = cosh t = e' -e-1

2
e' + e-~

, ..

Antes,a partir de seny cos, se definieron las funcionestrigonomtricas restantes. Ahora, en forma anloga, se definirn las funciones tangente hiperblica (tanh), cotangente hiperblica (coth), secante hiperblica (sech) y cosecante hiperblica (csch) como sigue:
tanh t = -, cosh t

senht

coth t = -, senh t

cosh t

sech t = '--cosh t

11

csch t = senh t

Como cosh t '1= (de hecho, cosh t > O)para todo t E ~ Y senht -=O slo para O t = O,se concluye que los dominios naturales de tanh y de sech coinciden con ~, mientras los de coth y csch son ~ -{O}.

FUNCIONES

HIPERBOUCAS

y SUS DERIVADAS

245

En seguida aparecenalgunas relacionestiles entre las funcioneshiperblicas COSh2 senh2t = 1 t1 -tanh2 t = sech2t coth2 t -1 = CSCh2 t senh2t = 2 senht cosh t cosh 2t = cosh2t + senh2t Obsrveseque stas recuerdan algunas de las que se establecieronpara las funciones trigo nomtricas, aunque se presentanciertos cambio~ de signo.

Algunas

propiedades

de las funciones

i.tiperblicas

Todas las funciones hiperblicas son continuas. Ms an, es fcil probar que son derivables y que (senh)'(t) = cosh t (cosh)'(t)= senht (tanh)'(t) = sech2t (coth)'(t) = -csch2 t (sech)'(t)= -sech t tanh t (cosh)'(t) = -csch tcoth t

Examneseen particular la funcin senh.Es estrictament' crecienteen ~, pues ~u funcin derivada es positiva y, por consiguiente,no tiene valores extremos. l'or otra parte, senh t > O si t > O, senht < O si t < O y (senh)"(t) = senht; a.i, senh es cncava hacia arriba en [0,00), cncava hacia abajo en (- 00,O] Y tirne un punto de inflexin en el origen. Por ltimo, lm senht = 00 y lm senht = -00
t-cx t--cx

Basndose en el anlisis anterior (Fig. 7.8), se presenta la grfica de senht. Las grficas de las otras funciones hiperblicas aparecen en la figura 7.9.
y

Y = -ex 2

-- -"'"

""
x 1

Y =

--e-x 2

Figura 7.8

246

FUNC:ONES

LOG y EXP

y 1 //

\\

y = -e-x" 2

1 ,
"

,"

//

1 Y = -ex 2
x

/
x

--

-1

y = coshx*

Y = tanhx

y
Y= 1 O x

y=l ~
O ~ x y = -1

y=~hx

y=cothx

y=cschx Figura 7.9 * A a cosh x/a tambin sele conoce como catenariay es posible observarla al mirar un cable con tensin entre dos postes que lo sostienen.

FUNCIONES HIPERBOUCAS INVERSAS

247

FUNCIONES HIPERBOLICAS

INVBRSAS

Las funciones senh y tanh son estrictamentecrecientesen ~. Sus imgenes son ~ y (- 1, 1), respectivamente.Sus funciones inversas se denotan por senh-1 Y tanh-1. Las funciones cosh y sechno son inyectivas y, por consiguiente, dominios sus tienen que restringirse,como se hizo en el caso de las funciones trigonomtricas, para definir sus funciones inversas. A continuacin se muestran los dominios e imgenesde algunas funciones hiperblicas inversas.
Dominio
...

Imagen

COSh-1 sech -1 CSCh-1 coth-1

[1,00) (0,1] (-00,0) u (O,00) (-00,-1) u(l, 00)

(0,00) [0,00) ,(-00,0) u (O,00) (-00,0) u (O,00)

Para definir, por ejemplo, cosh-1, se tom la restriccin de cosh al conjunto [0,00). En este intervalo la funcin cosh es estrictamentecreciente y, por tanto, inyectiva, y la imagen de [0,00) bajo cosh es el intervalo [1,00). As, su funcin inversa, denotada por cosh-1, asocia a cada y en [1, 00),el nico nmero real x en [O, 00) tal que cosh x = y. Las grficas de las funciones hiperblicas inversas aparecenen la figura 7.10 y pueden obtenerse por el mtodo indicado en el captulo 2 (pg. 60). Dado que las funciones hiperblicas se definen por medio de la funcin exponencial,no resulta extrao que sus inversas puedanexpresarseen trminos de la funcin logaritmo y, as, se tienen las igualdades siguientes: senh-1 y = log(y + #~)
,

cosh-1 Y = log (y + #-=1)"

tanh-1 1 y = -log1 + y

2
sech -1 Y = log

1 -y
1+ I~ 'fj'~-~:

1 csch Y = log(-+ -1
y
coth -1 Y =

~'

Jt+?
IYI

1 -log
2

1+ v -.,-,.;-:y -1

donde, en cada caso, .ves cualquier punto del dominio de la funcin correspondiente. I

248

FUNCIONES

LOG y EXP

(1, O) x O y=cos x O y=sec X

h-1 X

h-1 ~

y = senh-1 x

-1

y=csch-1x para x>O

y = tanh-1

y = coth-1 x para x>O

Figura 7.10

Se probar slo la primera de estas igualdades. Sea YE~ y X = senh-1y. Es decir, senhx = y. As, e2x -2yeX -1 Por tanto, ex=--= Como #H =O

2y+ FY2~

2=Y::l:#+1

"-

> y para todo y E~, Y ex > O para todo x E~, se tiene que

ex=y+Jym
Por consiguiente, senh~l y ~ x = log(y + p+r)

LIMITES DE ALGUNAS FUNCIONES ESPECIALES

249

De las igualdades anteriores, es sencillo probar (senh-1)'y = 1 , ! ye R

p~,
(cosh-1)'y = 1 /..2 t' ye(l,oo) ye(-I,I) ye(O,I)
V y2 -:- l'

(tanh-1)'y = 1/(1,-r), (sech-1)'y = -:-;-h;,

t,
(csch-1)'y= -r;-;--::.. IYI-,,1 y0 + (coth-1)'y = 1/(1 -y2), puntos de sus dominios. ye(-oo,O)u(O,oo) ye(---oo, -1}u(l,oo)

Debenotarse que las funcionescosh-1 Y sech no sonderivablesen todos los -1

LIMITES

DE ALGUNAS FUNCIONES ESPECIALES

En esta seccin se estudian los lmites al infinito de funciones como log, ex, ex/x, etc., y otros lmites de las mismas; su importancia radica en que nos describen el comportamiento de estas funciones cuando la variable crece en forma indefinida. Este estudio se inicia con las funciones log x y eX. Por el teorema 7.2 se tiene que la funcin log es creciente en (0,00); por. tanto, como e < 4, log (4) > log (e) = 1 [7.6]

Por otro lado, dado un nmero real arbitrario M > O, existe un nmero natural n tal que n> M, y, por [7.6], resulta que si x > n, entonces log x > log (4/1) n .log 4 > n. 1 > M =

Esto demuestraque
lm log x = 00
x-+oo

[7.7]

En la seccin referente a la funcin exponencial, se defini eX como la funcin inversa de log x; por tanto, eX es una funcin creciente que est" definida en todo R. PROPOSICION 7.1 eXtiende .\ 00 cuando x tiende a oo.

250

FUNCIONES

LOG y EXP

Demostracin Dado un nmero real arbitrario M, existe un nmero natural n tal que n > M; por tanto, como ex es creciente, se tiene que M < n < 2" < e" < ex, Esto demuestra que lm eX= 00
x-+oo

si x > n [7.8] 1, por tanto, resulta que [7.9]

Si u es un nmero real, O < u < 1, entonces l/u>

lm log x = lm log ~ = lm (-log x) = -00 x-+o+ x-+oo x x-+oo As mismo, para la funcin ex, y debido a [7.8], se tiene que
lm eX = lm e-~ = lm -:; = O x-+-oo x-+oo x-+ooe

()

[7.10]

Ms adelante se compararn entre s los crecimientosde las funciones eXy la identidad x, cuando x crece en forma indefinida. Para esto, primero seestudia la funcin x -log x. PROPOSICION 7.2 La funcin f(x) = x -log x definida para todo x > O,es creciente para x > 1 Y tiende a 00 cuando x tiende a oo. Demostracin Al derivar la funcin f(x), se obtiene f (x) = 1 --,
, 1

x la cual se anula en x = 1 Y es positiva para x > 1. Esto demuestra la primera afirmacin acerca de f(x). Para demostrar la segunda,se observa que f'(x) = 1 -~ 1 1 > 2' si x> 2

Por tanto, si se aplica el teorema del valor medio afen [e, x], donde x > e, se tiene que existe y, e < y < .x, tal que (x -log x) -(e -log e) = (1 -t )(x -e) > j(x -e),

de donde

x -log x > e -1

+ j(x -e)

Como la expresin de la derecha tiende a 00 cuando x tiende a 00, resulta que lm (x -log x) = 00
x-+oo

LIMITES

DE ALGUNAS

FUNCIONES

ESPECIALES

251

COROLARIO 7.4 El cociente

eX

x tiende a 00 cuando x tiende a oo. Demostracin Por la proposicin 7.2, se tiene que lm ~ = lm x -Iogx)= 00
x-+oo X x-+oo
X

COROLARIO 7.5 El cociente

-[7.11] logx

tiende a 00 cuando x tiende a oo. Demostracin Si hacemos y = logx, entonces x = eY y el cociente [7.11] puede escribirse como
eY

y Ahora bien, si x tiende a 00, entonces y = log x tambin tiende a 00, por

lo que
lm -=
, x

1 ,

1m -=

eY

00

x-+oologx

y-+ooy

Este corolario permite calcular expresiones del tipo lmx-+ xm' 00 con m igual a cualquier entero. PROPOSICION 7.3 Si m es un entero cualquiera, entonces lm-=oo x-+oo m x Supngase que m> O. Sea f(x) = eXxm. Entonces, log f(x) = x -m log x. Al sacar log x como factor comn en la expresin de la derecha, se obtiene logf(x) = log x ~ logx
Demostracin
eX eX

-m

252 FUNCIONES LOG y EXP

Ahora bien, se sabe que 1 , x 1m -= x-+oo logx 00

Como m es un nmero entero positivo fijo, entonces lm logf(x) = lm (Iog x). lm ~ x-+oo x-+oo x-+oolog x por lo que lm f(x) = lm elog!(x)= 00
x-+oo x-oo

-m

)=

00,

Si m ~ O, es claro que lm -=
x-+oox.

eX

'"

00

EJEMPLO
Demustreseque lm~Jx log x = O
x-+o'

Si se hace x = l/t, entonces la funcin Jx log x queda expresada as, ..;Jxlogx =.

Ilog~
t t

= -~
..,t

Ahora bien, cuando t tiende a 00, entonces x = l/t tiende a 0+. por tanto, log t 'C , 11m..,xlogx = 11m -~
x-+O' t-oo ..,t

Para calcular el lmite de la derecha en la expresin anterior, se hace s = log t, obtenindose log t -s
~-:::;j2 :,,t
cc

Adems, s tiende a 00 cuando t tiende a 00, por tanto,

1 ,

I~g t 1m --=

t-oo..,t

r.

1, s -1m -=

s-+oo .../2 C

1, -Im-

2u

"-+00 e"

Esta ltima expresin $e obtiene haciendo u ~ s/2. Si se utiliza el corolario 7.4, se observa con facilidad que este ltimo lmite es igual a cero. Esta seccin finaliza con el anlisis de un lmite con el que se obtiene el nmero real e.

LIMITES

DE ALGUNAS

FUNCIONES

ESPECIALES

253

PROPOSICION !~~ ( + 7.4

t)

= e.

Demostracin Si se hace

f(t) = ~
para todo t real, t > O, entonces

1
+-

'

lagf(t) = t lag(

+~)

para probar la proposicin basta demostrar que lm t log 1 + ~ = 1

t-+ 00 t

[7.12]
1

Para esto se observaque

,

t log( +

l+t
1

t
Si se hace h = lIt, entonces [7.12] equivale al lmite
~ i!-~~=l hmh-+O

Pero la expresin de la izquierda es la derivada de log x en 1, que se sabe es igual a 1. Con lo que queda probada la proposicin. Sabiendo que
lm
1-+00

( 1 t ~ )'
t

= e

se probar que e ~ 3, como se afirm en la pgina 240. A partir de la definicin de logaritmo y al observar la figura 7. , concluimos que

lag( + ~ <~, n n
para todo nmero natural n, es decir,

n lag( 1 + ~) < 1;

As,

.,

254

FUNCIONES

LOG y EXP

1 + (l/n)

Figura 7.11

por tanto, (1 + ~)"< e Se probar que e = sup{( 1 + ~)" I n e N} [7.13]

En vista de lo anterior, e es cota superior del conjunto considerado. Por otra parte, sea > O,como lm 1 + ~ )' = e, se sabe que existe M > ~ tal que

1-+00

e-I+~)'<e+ si t> M, en particular si n> M, con ne N, entonces . e-< con lo que [7.13] queda probado. Por el teorema del binomio,

1)" 1+-;; ,

1
n

1+-

) =1+1+-,.--+
"

n!

n!

(n -2)!2!
1

n2

(n -3)!3!

-+...+n3

n"

= 2 + (n -2)!2! -;;2+ ...+

n!

-;;

EJERCICIOS

255

Sea 2 ~ i ~ n. Entonces
n! (n -i)!i! 1 n(n -1) '-=.-= ni .(n -(i i! -1 1 ni

1 n n -1 -i!n n De donde

n -(i '" n

~ 1)

i! <-

(
1 +-

1 "
n

1
n!

1
1.2

1
+...+< 1.2.3 1.2'

1
n

~2+-+-+"'+~=2+--+ 2! 3!

1 1 <2+-+-+"'+-=2+ 2 2.2

1
2"-1

1 (1/2 1/2 ) =2+ (1-- 2"-1 ) <3 -1/2"

Es decir, 3 es tambin cota superior del conjunto

{(1

+~)"lnEN}

De la definicin de supremo se sigue que e ~ 3.

EJERCICIOS
7.1 En los incisos siguientes,calclenselos logaritmos indicados, usando estasaproximaCIones. log 2 = 0.6931, log 3 = 1.0986,log 10 = 2.3025. a) log 4 d) log 9 g) logi j) log !fi25 b) log 15 e) log 12 h) log % c) log 8 f) log J3O i) log 0.25

7.2 Sean a, b E~, a, b > O. Prubese que para todo x e y reales se cumplen las igualdades siguientes,conocidas como leyes de los exponentes. a) ax+Y=aXaY c) (aX)Y aXY= (aY)X = e) (a/b)X= ax/bx b) aX-Y=aX aY

d) (a. b)X= axbx

7.3 Con la notacin del ejercicio anterior, prubeseque si x > O,entonces a < b si, y slo si, aX< bX. Prubese tambin que si a > 1, entonces x < y si, y slo si, aX< bY.

256

FUNCIONES

LOG y EXP

7.4 Prubese que si k es cualquier entero mayor que 1, entonces 1

-+2

1
+ ...+ 3

1
-< k logk

1
< 1 + -+ 2 ...+"

1
k-1

7.5 Utilcese la regla de la cadena para demostrar a) (eJ(X'= f'(x)eJ(x) b) (logf(x' = f'(x)/f(x) Siendo f(x) una funcin derivable en cada punto donde estn definidas las composiciones correspondientes. 7.6 Dervense las funciones siguientes: a) log (3x -2) b) log cos x c) log (2x + 3) d) log X3 + (log X)3 e) senlog x f) log senx log (eX 1) + g) h) log (log x) log (eX-1) (jCuidado con el dominio de log!) 7.7 Mediante la derivacin logartmica, calclense las derivadas de las funciones siguientes: a) exx d) 3X g) S5eCX b) (X2 +/3)(2x + 1)3/2 + 2) f) x..nx i) 32x+l c) xxx ~~(X3 e) xQ. aX h) (logx)X

7.8 Prubenselas frmulas para las funciones hiperblicas inversas que aparecenen la pgina 247. 7.9 Prubense las identidades siguientes: a) cosh x + senhx =eX b) cosh x -senh x = e-X c) senh (-x) = -senh x d) cosh (-x) = cosh x e) senh(x + y) = senhx cosh y + cosh x senhy f) cosh (x + y) = cosh x cosh y + senhx senhy g) tanh (x + y) =
h)
i)

tanh x + tanh y 1 + tanh x tanh y

tanh 2x =
cosh (x/2)

l+tanhx 2

2 tanh x 2

1 + cosh x = --

j)

tanh (x/2)

= ~-1 + cosh x

senhx

k)

senhx + senhy = 2 senhj(x + y) coshj(x -y)

EJERCICIOS

257

7.10

Dervense las funciones siguientes:

a) senh 3x b) senh22x c) 1 + coshx

1 -cosh d) g) log senh x coth -1 (sec x) e) h) k) n) -f) coth x senh -1 4x log cosh -1 4x

cotx

coth (cot x) i) cosh -1 x

, J) ~~ 1 m) log{j~

1) senh-1 ~x. o) 10gFx2"":th tan2 x r) log--x ex u) log~ 1+ex

1 +cosx x) log

/-:::2-;-;p) log(x"X1 + 1) s) x7e-xl

10g(xJx~) x2(2x -1)3 q) log 2 (x +5) t) ex+1 log--o: ex-l

ex + ex

v)

(cos x)X

w)

1-cosx y) 7.11 ese.. z) x(e-X)(log X3)

Represntense en forma grfica las funciones siguientes: a) d) senh 2.x tanh-' (lf2x) b) coth-1 (x -1) e) a cosh (xfa) c) senh(x+1)

7.12

Calclense los lmites siguientes:

a) lm (1 + X)I/x x-o i'
X
lm

(
b) lm x-oo
( 1 --

)
1 ) t

( (

k
+ -d)

~ 1 + x,

c)

lm

x-oo
e) lm x-oo

X
1. + -f) ) mx k x

t-oo
lm x-oo ( -=- + X x

t
1 ) 2X-l 2

g) i) k) m)

lm(1+tan2Jx)I/(2XI x-o lm x-1 x-o

h) j)

lm(1+senx)CSCX x-o

(~-1 ) X (IOg(1 + X) ) lm
x,

lm (1 + tan xr/x x-o , log(1 + 10x) 1) lm x-o X ) 1, x( eI -x - 1) 1m x-oo lm (sen x + cos X)l/x x-o

, 11mex -e-x ..n x-o senx lm x-o

o)

(~

x,c

p)

7.13

En el ejercicio anterior.

se puede usar la regla de L 'Hpital?

c-'

-'"

[258]
\.

Isaac

Newton

(1642 a 1727)

Nacido en Woolsthorpe, Inglaterra, su pensamiento cientifico ha trascendido hasta nuestros dias y puede afirmarse, con poco riesgo de errar, que el espectacular avance de la ciencia en su conjunto, aun en esta poca, est animado por el espiritu de su obra. Newton ingres como estudiante al Trinity College de Cambridge, en 1661. Estuvo entonces a punto de cambiar sus estudios de filosofia natural (ciencias) por los de leyes. Con el apoyo de Barrow, estudi la Geometrie de Descartes y los trabajos de Coprnico, Kepler, Galileo, WaIlis y e! propio Barrow, lo que probablemente le llevara a exclamar ms tarde: Si he visto un poco ms lejos que los dems, es porque he estado parado sobre los hombros de gigantes. Cuando termin sus estudios en la universidad, una epidemia de peste en el rea de Londres le oblig a dejar Cambridge y marchar a la granja de su madre durante el periodo de 1665 a 1666. Por ese tiempo, inici su extraordinario trabajo en mecnica, matemticas y ptica; estableci la ley de la gravitacin, obtuvo un mtodo general para trabajar los problemas del clculo y descubri que la luz blanca, como la solar, est compuesta en realidad de todos los colores del espectro, desde el violeta hasta el rojo. Para aquilatar la grandeza del genio de N ewton, baste decir que fue el arquitecto de la mecnica moderna, la dinmica y la mecnica celeste. En 1667, regresa a Cambridge para obtener el grado de maestro, y es elegido miembro del Trinity College. Todo este tiempo mantuvo en secreto sus resultados. En 1669, Barrow renuncia a su puesto de profesor en favor de Newton. Debido a un temor anormal a la critica, ste no publica sus descubrimientos hasta 1672, cuando lo hace con su trab~jo sobre la composicin de la luz, el cual fue criticado con dureza por sus contemporneos, incluyendo a Hooke y a Huygens. Lo mismo sucede al publicarse su teoria corpuscular de la luz (1675), lo que lo decidi a no hacerlo ms. Sin embargo, en 1704 aparecen sus obras Principia y Opticks; y, en 1707, Arithmetica universalis. Escribi una obra dificil de entender, sin duda escrita asi para evitar criticas, y que, sin embargo, le dio fama: Philosophiae Naturalis Principia Mathematica. Aplic la ley de la gravitacin al movimiento planetario. Abord, adems, los campos de la hidrosttica, la hidrodinmica, la quimica y la teologia. En 1695 tuvo un puesto en la Casa de Moneda Britnica y en 1703 lleg a

ISAAC

NEWTON

259

ser presidente de la Royal Society. Fue nombrado Caballero del Imperio en 1705. En forma paralela a la vida de Newton se destacan, en otras ramas de la actividad humana, los hechos siguientes:

LITERA TeA
Cruz, Sor Juana Ins de la: Inundacincastlida. 1689; Carta athenagrica.1690; Los empeosde una casa, 1682; El divino Narciso, 1691. Defoe, Daniel: Robinson Crusoe, 1719; Moll Flanders, 1722. La Fontaine: Fbulas, 1668; Fbulas, 1678. Moliere: Las preciosasridculas, 1659; La escuela las mujeres,1662; Tartufo, de 1664; El burgus gentilhombre,1670. Perrault: Cuentos,1697.

MUSICA
CoreUi: Sonatasop. 1. 1681; Sonata.~ 5. 1700. op. PurceU: Dido y Eneas, 1689; King Arthur, 1691. Vivaldi: Sonatas op. 1, 1705; Estroarmnico,1712; Nerone, 1715; Las cuatro estaciones,1726.

PINTURA
CoeIlo, Claudio: Carlos 1 adorando la Sagrada Forma, 1685. Puget: Perseo, 1684. Ricce: Virgen con santos, 1708.

ARQUITECTURA
Broant, Liberal: Los invlidos, Pars, 1676. Se construye la catedral de Crdoba, Mxico, 1687. Churriguera: Retablo de San Esteban, Salamanca, Espaa, 1693. Verbruggen: Plpito de la catedral de Bruselas, Blgica, 1699.

Isaac Newton

[260]

8
SUCESIONES y SERIES
DEFINICIONES y NOTACIONES ,j\ ~

Hasta ahora se han analizado slo las funciones definidas en intervalos. En este captulo se estudiarn funciones que tienen por dominio al conjunto de los nmeros naturales N = 1,2, 3, ... DEFINICION 8.1* Una sucesinde nmeros reales es una funcin s: N -+ R del conjunto de .los nmerosnaturalese" el d~ los nmerosreal~. Puesto que las sucesiones son un tipo especial de funciones,,es posible utilizar para ellas las mismas notaciones que para estas ltimas. Sin embargo, se acostumbra, en lugar de denotar a una sucesin s por s:N -+ R y a la imagen de un natural n bajo s por s(n), denotar a esta ltima por Xny a la sucesin por (Xl,X2,...) ; (Xn):'=l,

o bien, cuando no haya lugar a confusin, por (Xn). (Se utilizarn tambin las letras m y k para los ndices de los elementos x.) En otras palabras, (Xl' X2,...), u otra de las notaciones anteriores, representa la funcin que est definida en el conjunto de los nmeros naturales y que asocia al natural 1 el real Xl' al natural 2 el real X2, etc. Para cada nmero natural n llamamos a xn el n-simo trmino de la sucesin.
* Es posible definir sucesionesen conjuntos distintos de R. En este captulo slo se considerarn sucesionesde nmeros reales.

DEFINICIONES

Y NOTACIONES

261

En general, para definir una sucesinse da una frmula que determine su n-simo trmino. Por ejemplo, las frmulas X=~ n+1 "
2n

y" = n +,1"

z" = 3" definen tres sucesiones,cuyos primeros cinco trminos son, respectivamente,
14385 ,3'2, S, ~

2, 3, 4, 5, 6 3,9,27,81,243 Las sucesionesdefinidas por estas frmulas quedan denotadas, respectivamente, por

(a)

(-o2n )

CXJ

(- 2n )
o o n+1 (n + 1) (3")

n+1"=1 (b) (n + 1),,"'=1 (c) (3"),,"'= 1

En algunos casos, para referirse a una sucesin en particular, slo se indican algunos de sus primeros trminos, cuando es posible inferir, a partir de ellos, el procedimiento a seguir para determinar los restantes. Por ejemplo, al escribir (d) (1, 1, i, l, ~, ...) (e) (2,4,6,8, 10, ...) (f) (-1, 1, -1, 1, ...) nos referimos a las sucesiones (f,), (2n) y (( -l)n)

Ciertas sucesionesse definen inductivamente. Sin entrar en detalles, esto significa que a partir de cierto natural, cada trmino de la sucesin est definido en funcin de sus antecesores.

EJEMPLOS
1 .ea S + Xl = O, X2 = O, X3 = 1 y xn = X,,-t 2 X"-2 para n ~ 4.

Con esto se define una sucesin cuyos primeros siete trminos son
001 , , ,2,4, 13'-il 8, 16

262

SUCESIONES y SERIES

2.

Sea Xl = 1 y xn=nxn-1 para n~2. Queda definida entonces una sucesin, cuyos primeros cinco trminos son 1, 2, 6, 24, 120

Se acostumbra denotar al n-simo trmino xn de esta sucesin por n! y denominarlo el factorial de n. As, por ejemplo, 1! = 1, 2! = 2, 3! = 6, 4! = 24, S! = 120

Nteseque
m = n(n -l)(n se define O! = 1. -2)...2.1

OPERACIONES CON SUCESIONES

Las reglas para formar sumas, productos y cocientes de funciones, y el producto de un nllmero real por una funcin, son aplicables a las sucesiones, pues stas son slo una clase particular de funciones; por consiguiente, si (xn) e (Yn) son dos sucesiones y c E~, se define: 1) (xn)':'= + (Yn)':'= = (Xn + Yn)':'= 1 1 1 2) 3) 4) (Xn)':'= l(Yn)':'= = (XnYn)':'= 1 1 c(Xn)':'= = (CXn):'= 1 1 Si, adems, Yn f O para todo n ~ 1, entonces se define (xn)':'= 1 ~=

(Xn)
~

OO

n=l

EJEMPLOS
1. (2n):'=1 + (-n2)':'=1 = (2n -n2)':'=1 = (1,0, -3, -8, -15,...) 2. 3. (n + 1)':'= -1)':'= 1 = (n2 -1)':'= 1 = (0,3,8,15,24, l(n 3(m)':'= = (3m)':'=1 = (3,6, 18,72,360, ...) 1 ...)

4 ~~= .(2n-1)':'=1
5.no (n)':'=1
(n -1)':'=1 i'

(~ )OO = ( -1
2n"-ln=1 , esta d eti .da. 1m

1- -1- 1- --1,2' 4,8' 16"" )

SUBSUCESIONES

263

SUBSUCESIONES

Dada una sucesin (Xn)es posible construir otra en la forma siguiente: Tchense en (Xn)un nmero infinito o finito de trminos, con la condicin que el nmero de trminos no tachados sea infinito. Se obtiene as una sucesin(Yk)donde, para cada nmero natural k, Ykes el k-simo trmino no suprimido en (xn). Toda sucesin (Yk) obtenida a partir de una sucesin (xn) mediante elprocedimie anterior, es llamada una subsucesinde (Xn). EJEMPLOS1. (Yk)k=l = (1,3,5,7,9,...) es una subsucesinde
(XII)':'=1 = (1,2,3,4,5,

En este caso,
Yl = Xl' Y2 = X3, Y3 = XS'

es decir,
Yk = X2k-l,

denota por

ya que (Vk) se obtiene de (xn) al tachar de sta a todos los trminos con ndce par. 2. (Zk)k=1 = (16,64: 144,256,400, ...) = 4k)2)k= 1 es una subsucesin de (w). 3. (Wk)k=l = (13, 14, 15, 16, 17, ...) es una subsucesin de (n). ~ En el ejemplo 3 se suprimieron los primeros doce trminos. En general, si (xn) es una sucesin y no un nmero ~atural, entonces .la sucesin (Xno, Xno+ 1, Xno +2, ...) es 'una subsucesin de (xn). Este tipo de subsucesiones se (Xno +n):'= ,

o bien

(Xn)':'=no

Se observa que, si (yJ es una subsucesinde (Xn),ent)nces cada elemento Yk coincide con algn elemento Xn.para algn nmero natural nk ~ k. Sin embargo, para que una sucesin (Yk)sea subsucesinde (Xn)no basta que cada Yk coincida con algn trmino de (Xn). Por ejemplo: 4. Cada trmino de la sucesin(Yk)= (4,3,6,5,8,7, ...)coincide con alguno de la sucesin (XII)= (n) Pero (Yk)no puede obtenersede (XII)con slo tachar ciertos trminos de esta ltima sucesin,pues,si as fuera, el nmero 3, por ejemplo,debera apareceren (Yk)antes que el nmero 4. Por tanto, (Yk)no es una subsucesinde (XII)' En forma ms precisa, puede establecersela definicin siguiente:

264

SUCESIONES y SERIES

"

DEFINICION 8.2 Una sucesin(Yt) esuna subsucesin (XII)si existe de una sucesin(nk)de nmerosnaturales tal que

'.

nl < n2 < n3 < n4 < ...

e Yk = XII. para cada nmero natural k. (Ntese que nk ~ k para todo k.}' , ,

En el ejemplo 2 de esta seccin, la sucesin (nk) es (4,8, 12, 16,20, ...) En efecto, en este caso, 4 < 8 < 12 < 16 < 20 < ... y Zl = X4,Z2 = XS,Z3= X12,""

." .'~"

donde Xn= n2. Por el contrario, en el ejemplo 4, la nica sucesin(nk)de nmeros naturales para la que se tiene Yk = Xn.' para todo nmero natural k, es (nt) = (4, 3, 6, 5, ...), la cual claramente no satisface n1 < n2 < n3 < ... En los ejemplos 1 y 3 de esta seccin, determnenselas sucesiones(nk) correspondientes.

SUCESIONES CONSTANTES, MONOTONAS

Sucesiones constantes

y ACOTADAS

DEFINrCION 8.3 Una sucesin llama constante si tOdossus trminos se son igualesentre s.
(?:c~::ii:::'",: ',. ,,;; :'1 ',,

EJEMPLOS

;,

1. (O,O,O,...) 2. (1/2, 1/2, 1/2, ...) Es claro que si (xn) es una sucesin y CE~, entonces c(XII)= (C,C,C,...)(Xn), o sea, el producto de un nmero real por una sucesin puede interpretarse como un caso particular del producto de dos sucesiones.

SUCESIONES

CONSTANTES,

MONOTONAS

y ACOTADAS

265

Sucesiones

montonas,

crecientes

y decrecientes

'1. 't{\(i"; (
;
\

DEFINICION 8.4 Una sucesin es crecientesi XII~ XII+ 1 para todo (XII) nmero natural n. Cuando la desigualdades estricta, se di;;eque (XII) es

estrictamente creciente.
Si en la definicin anterior se invierte el sentido de la desigualdad, se obtienen, entonces,las definiciones de sucesin decreciente estrictamentedecrey ciente. Es claro que (XII) agrega .la palabra estrictamente. tambin 'vlida si se es creciente si, y slo si, (- XII)es decreciente,afirmacin ' DEFINICION creciente.
.': ',"

8.5 Una sucesin llama montonasi es creciente,odese , , :; J'c!

!::. ','" , ,-: :i e;

;,,;'"

EJEMPLOS
) ' .. 2." (OO 1- 3 5 7 ...es crecIente pero no estrIctamente crecIente. 2,4,6'8' 3. (2") es estrictamente creciente. 4. (1,!, t, t, ...) es estrictamente decreciente. Las sucesionessiguientes no son montonas: 5. (( -Ir) 6."2,4'8, 1- 3 ~ ...v (O 1 )
"

1. Las sucesionesconstantes son crecientes y decrecientes.

"

,,

Sucesiones

acotadas
, ..

DEFINICION 8.6 ,Una sucesin est acotadasuperiormente existe (XII) si un nmero real M tal que
XII ~ M para todo n;?; 1

M es llamada cota superior de la sucesin. DEFINICION 8.7 Una sucesin(XII)est acotada inferiormentesi existe un nmero real m tal que m ~ XII para todo
,.,

n ;?;1
~

-,

m es llamada cota inferior de la sucesin.

c;.

'e' c."':,;

266

SUCESIONES

y SERIES

EJEMPLOS Las sucesiones 1. (l/n) 2. (- n) estn acotadas superiormente, en tanto que

3. (n!)

4.

(n) no lo estn. Las sucesiones

5. (- ~ )
6. (n)

estn acotadas inferiormente. Existen sucesionesno acotadas ni superior ni inferiormente. Por ejemplo: (a) (1, -1,2, -2,3, -3,...) Aquellas sucesionesacotadas superior e inferiormente se llaman sucesiones acotadas. Es decir: ! .
': -

DEFINICION 8.8 Una sucesin(XII)esacotadasi existennmerosreales m y M tales que m ~.'XII~M pa!a lod9 ~ ~ 1,

Las sucesiones constantes y aquellas consideradas en la definicin 8..5 (Ejemplos 2, 4, 5 y 6) y en la definicin 8.7 (Ejemplos 1 y 5) son acotadas; las restantes en esta seccin no lo son. Supngaseque para una sucesin(XII)existen nmeros reales m y M tales

que
m ~ ,XII M ~ para todo n ~ 1 Es claro que puede encontrarse un nmero real K > O tal que
-K~m y M~K

As, -K ~ ,XII K ~ para todo n~ 1

Es decir, la distancia ,XII O es menor o igual que K (vaseFig. 8.1), por lo a

que
IXIII~ K para todo n~ 1

E
-k

I
Xl

I
X4

I
O

I
X3

I
X2

I
x.

~
k

Figura 8.1

CONVERGENCIA

DE SUCESIONES

267

Con esto, la definicin 8.8 puede escribirse de la manera siguiente: DEFINICION 8.9 (xn) es una sucesinacotada si, y slo si, existe un nmero real K > O tal que
,.

Ixn! ~ K
"

para

n ~ 1.. .,

No es difcil probar que si una sucesines constante, montona, acotada superior o inferiormente o acotada, entonces toda subsucesin tiene la propiedad correspondiente.

CONVERGENCIA
Sucesiones

DE SUCESIONES

convergentes

Las funciones definidas en intervalos de la forma (a, 00) y las sucesiones tienen en comn el estar definidas en conjuntos no acotados superiormente. Al recordar la definicin del concepto correspondiente al smbolo lm f(x) = IX,
x-+oo

introducido para las funciones definidas en intervalos de la forma (a, 00), resulta natural establecer la definicin siguiente: DEFINICION8.10 tina sucesin convergea un nmeroreal IXcuando (xn) n tiende a 00, si para cada 6 > O existe un nmero natural N tal que Ixn -IXI < 6
I I

si

n~ N
I I

(Fig. 8.2)

1-Xy

/N
.' #

1
IX

X'
I~
Xn

"1
XY+l

~
J

Figura 8.2

"-'*'.

En este caso se escribe lm xn= IX,o bien lm Xn= IX,Y se dice que (xn)es una sucesinconvergentecuyo lmite es IX.En particular, si lm xn = O,se dice que (xn) es una sucesinnula.
n-+oo

268

SUCESIONES

Y SERIES

Esta definicin, en trminos de intervalos, equivale a decir que para cada intervalo abierto J, con centro en (l, existe un nmero natural N tal que a 1.0 ms .XI,.X2,...,.XN-I no pertenece a J.

EJEMPLOS
1. 2. 3. La sucesin (O,O,O, ...) es nula. La sucesin constante (c, c, c, ...) converge a c. (l/n) es nula~ Prueba Sea 1;> o. Existe un nmero natural N tal que N > l/e. Por

tanto,
1~1=~<e 4. ((-t)")
Prueba

si

n::;:?:N oc.cc . '.,

es nula.
Sea ..log(l/e) 1; > O. Existe un numero natural N tal que N >

As, n ::;:?: implica que log 2" > log (1/1;); es decir, N 1 1(-- 1 )" I =-<e 2
2" ';

log 2

si

n::;:?:N

Sucesiones

divergentes

Las sucesiones no convergentes se denominan divergentes. Entre stas, destacan aquellas para las cuales los valores .Xncrecen o decrecen indefinidamente cuando n tiende a CX);es decir, para las que se tiene lm 'Xn= 00, n--oo o bien lm .Xn= c:-:00, . n--oo

donde estos smbolos corresponden a los conceptos que pueden derivarse de los correspondientes que fueron introducidos para las funciones definidas en intervalos (a, CX)).En otras palabras:
.c -

.DEFINICION 8.11 Una sucesin (x,,) tiende a 00 cuando n tiende a oo. si para cada M > O existe un nmero natural N tal que 'Xn> M si
I

n> N

(Fig. 8.3)

O
I

N
1

7:

/z(/

-I

I
O

I
M

I
XN+1

I
XII

-1
XN

;.

Figura 8.3

.En

este caso, se escribe lm x" = 00 y se dice que la sucesin diverge a oo.

CONVERGENCIA

DE SUCESIONES

269

DEFINICION 8.12 Una5ucesin (xn) tiende a -00 cuando n tiende a 00, si para cada M > O existe un nmero natural N tal que Xn < -M si n ~ N (Fig. 8.4)

==~~;~:~~~:~::::=:::::::
1-XN

"I
I
O

I~
x.

1XN+l -M

1
Figura 8.4
'~"C'

.,
En este caso se escribefm *~' ,;;;;'1:::t!y sedie'qe'lasucesin'diverge'' -oo. Si una sucesin diverge a 00 o -00, entonces no puede ser acotada. Como se ver en el primero de los ejemplos siguientes, existen sucesiones divergentes que no divergen a 00 ni a -oo.

EJEMPLOS
1. (( -1)n) e~ divergente. Sea IXE ~. Tmese una vecindad 10 de IX de longitud menor que 2. En 10 no pueden estar 1 y -1, pues, si as fuera, entonces la longit,ud deJo sera mayor que 2 (Fig. 8.5). Por tanto, no existe un nmero rltural N tal

que

,.

,.

'Xn o El

si

n ~ N

Es decir, lm 'Xnf IXpara todo IXE ~; adems, ya que (( -1 )n) es atotada, no puede divergir a 00 ni a -oo.

-2

.-

I
-1

I
IX '.1

-I
Figura 8.5

2.

Sea x > 1. La sucesin (xn) diverge a oo. Sea M > O. Existe un nmero natural N tal que N > log M jlog x. Si n ~ N, entonces logxn > log M; por lo que xn> \1 si n ~ N.

270

SUCESIONES y SERIES

Algunas

proposiciones

de las sucesiones

convergentes

PROPOSICION 8.1 Una sucesin converge a un nmero real a si,y slo si, todas sus subsucesiones convergen a a.
': Demosiracin :..,

Supngase que (Xn) converge a a e (Yk) es una subsucesin de (Xn). Sea > o. Por hiptesis, existe un nmero natural N tal que I'Xn-al < si n~ N

Como se observ en la seccin sobre subsucesiones, para cada nmero natural k, se tiene que Yk = 'Xn para alguna nk ~ k. Por tanto,

IYk -(XI < La, otra parte de)a sin de s misma.

c;..., ,

si

k ~ N

prop~sicip se. sigue de que toda sucesin es subsucec-

PROPOSIC.ION 8.2 Sea (Xn)una sucesin. Si eJdste un nmero natural no tal que la subsucesin (Yk) = (xn)':;=no converge a (x.entonces (xn) converge a (X. En otras palabras, la proposicin establece: si en una sucesin es posible quitar una eneada inicial de manera que la subsucesin resultante converja a a, entonces la sucesin misma converge a (X. (La convergencia de una sucesin no depende de sus trminos iniciales.) Demostracin Sea > O. Existe un nmero natural K tal que IYk -(XI < es decir, IXno+k-(XI< Tmese N = no + K, ;jxn ~ al < & si n ~ N (obsrvese que Xn = Xno,+n-no)
, ,..' -: ;:,:

si

k ~ K;

si

k~K

.,," PROPOSICION
..ii:'

8:3

Si lm~n = a, entonces lm Ixnl = cIt..

'.

;,'i'

Demostracin Sea > O. Existe un nmero natural K .tal que '~n -al Como Ilxnl -lall < I.xn -al < si n~ N

para todo n ~ 1, se sigue que si n ~ N

Ilxnl -I(XII <

CONVERGENCIA

DE SUCESIONES

271

Al considerar la sucesin -l)n), es evidente que el recproco de la proposicin anterior no es vlido. Sin embargo, lim Ixnl = O, s implica que lm Xn = O. TEOREMA 8.1 Toda sucesin convergente es acotada.

Demostracin
Sea (xn) una sucesin convergente y supngase que su lmite es igual a (X.Para e = l existe un nmero natural N tal que IXn -(XI < l si n ~ N. Tmese un n:mero real K mayor que todos los nmeros siguientes: 1 + I(XI,IxII, Ix21, ...,IxN-II. Se tiene, entonces, que Ixnl < K para todo nmero natural n. TEOREMA 8.2 Sean (xJ e (Yn)dos sucesiones que convergen a (Xy p, respectivamente, y c un nmero real. Entonces: 1) lm c(xn) = C(X. 2) lm (,xn+ Yn) = (X+ p. 3) lm (,xnYn) (Xp. = 4) Si adems, Yn + O para todo n e N y p+ O, entonces lm Xn/ = /p. Yn Demostracin 1) Si c = O, la afirmacin es obvia. Ahora supngase que c + o. Sea e> O. Tmese e' = e/lcl; por hiptesis, existe un nmero natural N tal que Ixn':'- l < e' Por tanto, IcXn -c(X1 < e si n ~ N si n ~ N

2) Sea e > O. Tmese e' = e/2. Por hiptesis, existen dos nmeros naturales N I Y N 2 tales que IXn -(XI < e' Y tambin, IYn-PI < e' si n ~ N2 Tmese N = NI + N1. Si n ~ N, entonces n ~ NI Y n ~ N2. Por consiguiente, IXn -\ < e' e IYn -PI < e' si n ~ N si n ~ NI

Pero
IXn + Yn -(X + P)I ~ Ixn -;,(XI + IYn-PI para todo nmero natural n

Por tanto,
IXn + Yn -(X + P)I < 2e' = e si n ~ N

3) Como {Yn} es sucesin convergente, se tiene que es acotada. Sea K un nmero positivo tal que IYnl < K si n ~ 1

272

SUCESIONES

y SERIES

Sea e > O.Tmese M = K + lal + 1. Es claro que M > K Y M > 1(XI; tmese e' = e/2M. Por hiptesis, existen N 1, N 2 nmeros naturales tales que IXn -(XI < e' si n ~ N 1 e IYn-PI < e' si n ~ N 2; tmese N = N 1 + N 2' Si n ~ N, entonces, IXn -(XI < e' Escrbase XnYn-:- (XP As, IxnYn-(XPI ~ Ixn -(XIIYnl + l:JIn -PI1(X1 < Ixn -(XIM para todo n ~ 1. + !Yn -PIM como (Xn -(X)Yn + (Yn -P)(X e IYn-PI < e'

Por tanto,
IxnYn-(XPI < 2e' M = e 4) Por 3) basta probar que lm l/Yn = l/p. si n ~ N

Demostracin
Sea e > OT ' .omese
.", " elPI2 p or h Ipotesls, eXIste N 1 ta 1 que e, = T'

IYn -PI

< !Pl

si

n ~ N 1;

2
de aqu que l/IYnl < 2/IPI si n ~ N l' Por otro lado, existe N 2 E N tar que IYn-PI <e' si n ~ N 2. Tmese N = N1 +N2. Si n ~ N, entonces n ~ N1 Y n ~ N2o Adems, [1 ---= Yn 1\ P [Yn -PI :.1 P1 Ynl1 para todo n ~ 1

As,
11

y: -p

11

2e' < fPj2 = e

o SI

n ~ N

::

PROPOSICION 8.4 Sean (xn) e (Yn) sucesiones <:onvergentes aa. Si (zn) es una sucesin tal que Xn ~ Zn ~ Yn para todo n E N, entonces (z~)converge a (X.

Demostracin
Sea e > O; por hiptesis existen N1, N 2 E N tales que Ixn -(XI < e si n ~ N 1 e IYn -(XI < e si n ~ N 2

CONVERGENCIA DE SUCESIONES

273

Puede encontrarse, procediendo igual que antes, N e N tal que n ~ N implica que Ixn -al <-e e IYn-al < e

En particular, n > N implica que a -e < Xn Por consiguiente, a -e es decir, Izn -al < e si n~ N < Zn< a + e si n ~ N; e Yn< a + e

El corolario siguiente se infiere de esta proPQsiciny de lA 8.2, COROLARIO 8.1 Sean (in) e (Yn)dos sucesiones convergentesa a y noe N. Si (zn) es una sucesin tal que Xn:::; Zn:::; Yn si n ~ no, entonces (Zn) converge a a. ':,' ,
" :' "

PROPOSICION 8.S El producto de una sucesinnu\a ,~r Jlna acotada es una sucesin nula. '
.,

Demostracin Supngaseque (xn)es nula e (Yn) una sucesinacotada. Eyjste K > O tal que es O ::::; IxnYnl KIXnl para todo ne N. :::; De la proposicin 8.4 y el teorema 8.2, se sigue que (ixnYnl) una sucesin es nula y, por consiguiente, (xnYn) es tambin. 10 PROPOSICION 8.6 Sean(Xn)una sucesine (yJ y (Zk)las subsucesiones de (xn) que constan de todos los elementos Xn con ndices par e impar, respectivamente.Entonces, lm Xn = a si, y slo si, lm Yk = lm Zk= a De esta proposicin se conluye de inmediato que -1)n) es divergente. La demostracin ~e la proposi9in se deja como ejercicio pa.ra el lector.
,

PROPOSICION 8,7 Sea (xn) una sucesin nula, lim ~x. = 1..'
, c, '.

,.0,

Demostracin Sea e > O.Tmesee' = 10g(1 + e). As, e' > O.'Como (xn)es una sucesinnula, existe un nmero natural N tal que n ~ N; entonces,
Ixnl < e'

274

SUCESIONES y SERIES

Por consiguiente, elx.1 -1 < 8 para n ;: N

Sea n;: N. Si (a) x,,;: O, entonces ex.;: 1. As, lex. -11 = elx.1 -1. < 8 (b) x" < O, entonces ex. < 1. As, ex. -11 = 1 --e-lx.1 = elx.1 -1

elx.1

< -

elx.1

pero
1

W<l e Por tanto,

leX"-11 < 8 Es decir, lex,-11 < 8 para n;: N

En esta proposicin, y en la 8.3, se tiene la situacin siguiente: A partir de una funcin f: 1 --+Ir!, donde 1 es un intervalo, y una sucesin (x,,) que converge a (X se define una nueva sucesin(y,,)mediante la frmula El, y" = f(x,,), y se prueba que sta es convergente y tiene por lmite a f((X). En el teorema enunciado a continuacin que incluye, como casosparticulares, las proposiciones 8.3 y 8,7, se dan condiciones sobre la funcin f, la sucesin (x,,) y su lmite (Xpara tener la situacin descrita, TEOREMA 8.3 Seaf: 1 --+Ir!, donde 1 es un intervalo, una funcin continua en XoEl. Si (x,,)es una sucesinde puntos en 1 que converge a xo, entonces lmf(x,,) = f(xo).

.
Demostracin Sea 8 > O; como f es continua en xo, existe fJ> O 1at que Ix -xol < fJ, x E1 implica que If(x) -f(xo)j < 8. Por otro lado, existe N E N tal que Ix" -xol < fJ si n ;: N,

de donde
If(x,,) -f(xo)1 < 8 si n ;: N

LIMITES IMPORTANTES

275

EJEMPLOS
1. Sea lm Xn = (X; entonces, (a) lm x; = (X2. (b) lm sen Xn = sen (X. (c) lm cos Xn = COS (X. (d) lm eX. = e~. Si (X y Xn, para n ~ 1, no son de la forma (2m + 1)n/2, entonces lm tan Xn = tan (x, lm sec Xn = sec (X 3. Si (X y Xn, para n ~ 1, no son de la forma lm cot Xn = cot (x, lm csc Xn = CSC (X 4. Si (Xy Xn, para n ~ 1, son positivos, entonces, lm log Xn = log (x, lm l/Fn = l/j; mn, entonces,

2.

LIMITES

IMPORTANTES

Las sucesiones siguientes son nulas: 1) (xn), donde Ixl < 1.

2) (~).
3) 4)

(-;;) con 1

r raciona

POSItivO.

..

(-. n ) log
n = 1.

5) (xn log xn), donde (Xn) es una sucesin nula de 'trminos positivos. Adems, 6) lm ifc = 1, con c > O. 7) lm~

Demostracin 1) Si x = O, la afirmacin es obvia. Supngase que x + O. Sea B > O. Existe un nmero natural N tal que

N>- log B
10glxI

276

SUCESIONES y SERIES

Puesto que Ixl < 1, se tiene log Ixl < O. Por tanto, si n ~ N, entonces n log Ixl < log B;

,ci~ .;,

o sea,
Ix"l = ,Ix)"< B n!
2) O~-= fi" n n n

para

n~ N

n n -1

n -2

21
~. nn

Pero
k
-~ n 1 para 2 ~ k ~ n

Por tanto,
nI O ~ --.:. -para ~ 1 n" n n"

todo nmero natural n.

Como (l/n) es nula, se tiene (Proposicin 8.4) lm ~ = O. 3) Sea q un nmero natural. Dado B > O, tmese B' = Bq Por ser (l/n) una sucesinnula, se tiene que existe un nmero natural tal que I~I < B' Por consiguiente, In-hl < B para n~ N para n~ N

Se ha demostrado as que (l/nl!q) es nula para cada nmero natural q. Por otra parte, sea r un nmero racional positivo. Existen dos nmeros naturales p y q tales que r = p/q. (l/nP!q)es una subsucesinde (l/nl!q) y, en consecuencia,es nula. 4) Como log n -= n 210gnl!2 n para n ~ 1,

basta demostrar que (log n1!2)es una sucesin nula. La en cada punto es creciente (1,00).] positivafuncin x -log x del intervalo en el intervalo [1,00). [Su derivada. es En particular, 1 ~ x -log x para todo x~ 1

SUCESIONES

QUE DIVERGEN

A (X) O -00

277

Como n1!2~ 1 para n ~ 1, se sigue que

O ~ log n1!2 ~ n1!2 -1 -c n n 1 = --n1!2 1 n

para n ~ 1. Y, dado que (1/n1!2)y (l/n) son sucesionesnulas, se tiene log nl'/2 " lm =O
.n

5) La funcin f(-~) = log x + 2/Jx es decreciente en el intervalo (0,1]. [Su derivada es negativa en cada punto de (O,1).] .En particular, , logx + 2/Jx > 2 As, O> xlogx > 2x -1fl si xE(O,l)

Ya que la sucesin(xn) es nula y de trminos positivos, se tiene que existe N > O tal que O < Xn< 1 si n ~ N. Por tanto, 2Xn-2Fn < Xnlog Xn< O si n~ T

] or el corolario 8.1, se concluye que (Xn Xn)es ma sucesin nula. log ( Para cada n ~ 1, sea Xn= log c1!n= l/n log c. Es evidente que (Xn) es una sucesin nula. Por la proposicin 8.7 se tiene que ..(eX~) ='(vrc) converge a 1. 7) Para cada n ~ 1, sea Xn = log n1!n= (l/n) log n. Se prob (en 4) que (Xn)es una sucesin nula; por tanto, (ex.)= (fn) converge a 1 (Proposicin 8.7).

.A:~GUNOS RESULTADOS
( UE DIVERGEN A 00 O

y EJEMPLOS
-00

SOBRE SUCESIONES

-"~

PROPOSICION 8.8 Sea (xn) una sucesin de trminos distintos de cero. (I-~nl) diverge a CX) y slo si, (1/-~n) una sucesin nula. si, es
-,-

Demostracin Se basa en que Ixn! > M para n ~ N si, y slo si, l/lxn! < e para n ~ N, donde M> O Y e = l/M.

278

SUCESIONES y SERIES

:;;'"

..

PROPOSICION 8.9 Si lm Xn= c+ O y lm Yn= 00, entonces, lm x .Yn=

"

00 -00

si . SI

c>O C< O

"
,: .!:"

Demostracin Supngase que c > O. Dado M>

M O, se toma 1:< c y M' =-.

c-e

Existe un nmero natural N tal que Xn> c -1: e Yn> M' para n~ N

Por tanto,
'XnYn M > para n~ N La segunda parte de la proposicin se demuestra en forma similar. EJEMPLOS DE SUCESIONES QUE DIVERGEN A 00

(b)

~) si Ixl > 1. (c) " ) n.

~
Ixln nn

(a) (Ixln) si Ixl > 1.

(d) (nr), donde r es un racional positivo. (e) logn Todos estos resultados se siguen de la proposicin 8.8 y lo demostrado en la seccin sobre [imites importantes. (Cuando x. -+ -:X) puede enunciarse un teorema anlogo.) ('
"

(~ ).

TEOREMA 8.4 Seaf: (a, 00) -+ R una funcin tal que lm f(x) = IX,
x-+oo

donde IX R. Si (xn) es una sucesin de puntos en (a, 00) que diverge a 00, E entonces lmf(xn) = IX.
" ,,'

"

Demostracin Sea 1:> O. Por hiptesis existe M > O tal que x > M Y x E (a, 00) implica que
If(x) -IXI < 1:.

Por otra parte, existe N natural tal que Xn> M si n ~ N. De donde If(xn) -IXI < 1: si n~ N

(Cuando Xn-+ -00 puede enunciarse un teorema anlogo.) A partir de este teorema y lo visto en el captulo 7, se tienen los resultados

siguientes:

CRITERIOS

SOBRE LA CONVERGENCIA

DE SUCESIONES

279

(a)

lm
n"'oo

(1 + ~)n = e'
n

para todo y E R.

(b) (c)

.1 11m-;;2 = O.
n"'oo e

lm ang tan xn = ~ si x > 1.

n"'", 2

ALGUNOS CRITERIOS SOBRE LA CONVERGENCIA DE SUCESIONES

1. Supngase que lm Yn = CX)y sea (.Xn)una sucesin. Entonces, 11mXn =.

CX) si -CX) SI

Xn ~ kYn Xn ~ -kYn

para n ~ no y algn k > O . para n ~ no y algun k > O

2.

La demostracin queda como ejercicio. Sean ('Xn) e (Yn) dos sucesiones definidas por .X. = apnP + ap_nP- + ...+ Yn = bqnq + bq_nq- + ...+ ao. bo.

donde p y q son enteros no negativos. ap f O, bq f O e Y. f O para n ~ 1. a ~ bq O lm- .X. = Yn { CX) -cX> . SI si si si P= q p<q a p> q y ~ > O
bq

p > q y ~ < O
bq

(a) ilSupngase que p = q.

x

-x nP = lm-

1 l

a P +-+...+n' = lm b +'b:'f

Q,-

ao
nP

lm~
Yn

nP -y

+ ..

+ bo
nP

Por tanto.
, 'Xn 1Im-=Yn

ap
bq

280

SUCESIONES

y SERIES

(b) Supngase que p < q. Sea x~ = nq + Xn para n ;;3: 1,

Xn -=--- Xn Yn Yn , n q

Yn

Por el inciso anterior,

11mx'n , -=
Yn

-1
bq

Por consiguiente,
11m-= , Xn
Yn

O As, r > O y

(c) Ahora, supngase que p > q. Sea r = p -q.

Xn a p + ap-l -"n" "*' .., ",..'
~

+ ao ~ riP

lm -= Yn

lm nr

b -," b bq + ..-!-}.. CoL + -2T ...

n nq

lmnr = 00, en tanto que el lmite del cociente es igual a apfbq. Las dos ltimas afirmaciones se siguen, entonces, de la proposicin 8.9.

EJEMPLOS
1. lm 2. lm
3. lm
.3n7 -n4 + 5n -1

2n7 + n9 -nS + 3n4 + 6

= -. 2

6On3+n2 -20n + 1 = O. n4 + 1
n4 + 1 3=
n -2

OO.

3. Sea (Xn)una sucesinde trminos positivos. Supngaseque lm ~

Xn

= (X.

(a) Si (X 1, entonces (Xn)es una sucesin nula. <

(b) Si (X> 1, entonces (Xn) diverge a oo.

(c) Si (X= 1, este criterio no da informacin sobre la convergenciade la sucesin (xn). Demostracin (a) Existe un nmero real b tal que O ~ (X b < 1. Sea <
, Xn+ B = b -(x. C omo 11m-= 1 ., (X,exIste un numero natura1 N ta1 que

Xn
Xn+l (X-b < --(X Xn

< b -(X

para

n ;;3: N

CRITERIOS

SOBRE LA CONVERGENCIA

DE SUCESIONES

281

En particular,
Xn+l

-< xn

para

n~ N

As,
0< 0< 0< XN+l < bXN XN+2 < bXN+l < b2XN

XN+3 < bXN+2 < b 3XN

En general, O < Xn < cbn para n ~ N,

donde

c=-XN bN
Por ser lb! < 1, se infiere que lm cbn= O y, por tanto, lm Xn = O (b) Sea Yn= l/xn para n ~ 1. , Yn+ 1 11m -=
Yn

1 -<
(X

El primer inciso muestra que lm Yn= O. De la proposicin 8.8 se sigue entonces nuestra afirmacin. (c) Sea (Xn)= (n) e (Yn)= (l/n).
1,

Xn+l lm-=
Xn

m~=

Yn+l
Yn

y (xn) diverge, en tanto que (Yn)conyerge. As, la condicin (X= 1 no implica la convergencia ni la divergencia de la sucesin (xn).

EJEMPLOS
1.

(1 + x)n

) es nula

si x > O.

2. (~) diverge oo. a

282

SUCESIONES y SERIES

4. Sea (Xn) una sucesin creciente. (Xn)converge si, y slo si, est acotada superiormente. Ms an, en este caso, lm Xn = sup {XnIn;;?; 1} Demostracin Supngase que (Xn)converge. Se tiene entonces que es una sucesin acotada (Teorema 8.1) y, en especial, acotada superiormente. A la inversa, supngaseque (xn) est acotada superiormente. En este caso, existe el supremo del conjunto S = {xn In;;?; 1}; que se denotar por a. Sea ; > O, a -; no es cota superior del conjunto S. (Recurdese:el supremo es la mnima cota superior del conjunto.) Por tanto, existe un trmino XN tal que a -; < XN Como la sucesin (Xn)es creciente, se tiene a -; < Xn ~ a De donde IXn-al = a -Xn < ; para n ;;?; N para n ;;?; N

Queda as demostrado que lm Xn = a El criterio siguiente puede probarse en forma anloga. 5. Una sucesin (xn)decrecienteconverge si, y slo si, est acotada inferiormente. En este caso, lm Xn = inf {XnIn;;?; 1} 6. Sea (Xn) una sucesin montona, 1, 1mXn =

{ -(X) (X)

si (xn) es creciente y no acotada superiormente. si (Xn) es decreciente y no acotada inferiormente.

Aunque los criterios 4 y 5 slo nos garantizan la existencia del lmite, en ocasioneses posible determinar ste como se ilustra en los ejemplos siguientes: 1. Sea Xl = 1 y Xn = J+~ si n ;;?; 2. Mediante induccin puede probarse con facilidad que (xn)es creciente y est acotada superiormente, por 2. As, el lmite de (Xn)y cualquiera de sus sucesiones existe y es el mismo real a. En particular, (xn):'=2 y (xn):'=l convergen a a y, dado que xn=(1+Xn-l)1/2 se tiene que a = (1 + a)1!2. si n;;?;2,

SUCESIONES

DE CAUCHY

283

.As

,
IX=

l+Js
2

IX=

l~Js
2

1-Js pero IX= -~

" ., " no puede ser e11 ImIte, pues 1 suceslon es de termmos a

positivos. De donde
IX=

l+Js
2

2. Sean Xl = 2 y X" = J2X"-l -1 si n ~ 2, De nuevo, por induccin, es fcil demostrar que (x,,)es decrecientey est acotada inferiormente por 1. Al proceder como antes, se concluye que el lmite IX debe satisfacer la ecuacin IX= j-;;;-::l. Por tanto, IX= 1, En la seccin siguiente se describe un criterio importante para la convergencia de sucesiones.

SUCESIONES DE CAUCBY
Supngaseque (x,,)es una sucesinque converge a un nmero real IX.Es decir, los elementos .x" se aproximan a Xo cuando n es grande, As, los trminos de la sucesin se encuentran prximos entre s cuando tienen ndices grandes. ~ Cuando los trminos de una sucesinse comportan como se describe en la parte segunda del prrafo anterior, se dice que la sucesin es de Cauchy. Formalmente se tiene la definicin siguiente:
-

DEFINICION 8.13 Sea (x,,) una sucesin.Se dice que (x,,) es de Cauchy si para cada ; > O existe un nmero natural N tal que Ix" -xml < ; si n, m ~ N

EJEMPLOS
Las sucesionessiguientes son de Cauchy:

1. (~).

2. (~). ) 3. (-.3~ .
n+ 1

284

SUCESIONES Y SERIES

En 4. 5. 6.

tanto que stas no lo son: (log n). -l)n). (tan n). Prueba de 1, 2 y 3. Sea 8 > o. Existe un nmero natural N tal que N> 2/8. Si n, m ~ N,

entonces:
1. I~ -~I 2
.n!
[

~ ~I + I~I ~ ~ < 8. +-~-<8. 2 11 1

~ --~ 1 1~1
m! n!

21n-,- mi 3. ---~~<-<8, n+ 1 m+ 1 I(n + l)(m +1)t n si n ~ m donde r = m si m ~ n.

2n 2m

m!

..

2r ! (n + 1)(m+1)

",2 N

Prueba de 4, 5 Y 6.

Sea 8 = 1 Y N un nmero natural. Entonces, 4. Ilog 3N -log NI = log 3 > 1. 5. 1(-1)2N -(-1)2N+II = 2 > 1. 6. Sea n ~ N Y tal que entre n y n + 1 no existe ningn nmero real de la forma (2p + 1)n/2 con p E7L. Itan n-tan (n + 1)1= Isecxl, por el teorema del valor medio, para algnXE(n,n + 1). As, Itann -tan (n + 1)1~ 1. , .PROPOSICION
Demostracin

8.10 Toda sucesin de Cauchy es acotada.

.."

, --"

Existe un nmero natural N tal que , IXn -xml < 1 En particular, IXn -xNI < 1 Por tanto, Ixnl < 1 + IXNI si n~ N si n~ N si n, m ~ N

Si K es un nmero mayor que IXII, ...,IxN-II y 1 + IxNI, entoncesIxnl ~ K para todo n. PROPOSICION 8.11 Sea (Xn)una sucesinde Cauchy. Si (Yk)es una subsucesinde (Xn)e (Yk)converge a (l, entonces (xn) converge a (l.

SUCESIONES

DE CAUCHY

285

Demostracin Sea e > o. Existen dos nmeros naturales N 1 Y K tales que IYk-(XI < e/2 Y tambin, Ix" -xml < e/2 si n,m ~ N 1 Sea N un nmero natural ms grande que N 1 Y K. Para todo n, se tiene que Ix" -(XI ~ Ix" -YNI + IYlIi: -(XI < Ix" -YNI + e/2, y como YN = Xn
N

si

k~ K

con

nN~ N,

concluimos que e e IXn-(XI < "2+ :2 = e si n~ N

Como resultado principal de esta seccin se tien~ el teorema siguiente: TEOREMA 8.5 Una sucesin converge si,y slo si. es deCauchy. Una de las afirmaciones contenidas en el teorema fue la elegida para introducir el concepto de sucesinde Cauchy y ser la que se probar primero. Supngaseque .la sucesin(Xn)converge al nmero real (X.Sea e > O. Existe un nmero natural N tal que IXn -(XI < e/2 si n ~ N. Si n,m ~ N, entonces Ixn -xml ~ Ix" -(XI + Ixm -(XI < e Por tanto, (xn) es de Cauchy. Para concluir la demostracin del teorema, bastar, de acuerdo a la proposicin 8.11, que se pruebe la proposicin siguiente: PROPOSICION 8.12 Si (x,J es de Cauchy, entonces (x,J tiene una subsucesinconvergente. Para ello se acepta, sin demostracin, que toda sucesintiene una subsucesin crecienteo una decreciente. partir de esta propiedad y los criterios 4 y 5 A enunciados en la seccin anterior, se infiere el teorema siguiente: TEOREMA 8.6 Toda sucesinacotada tiene una subsucesinconvergente. La proposicin 8.12 es consecuenciainmediata de la proposicin 8.10 y del teorema anterior.

286

SUCESIONES y SERIES

DEMOSTRACION DE DOS TEOREMAS SOBRE FUNCIONES CONTINUAS

En esta seccinse demostrarn el teorema del valor intermedio, estudiado en el captulo 3 sobre continuidad, y uno de los teoremas centrales referido a cmo dibujar grficas. Con este objeto se establecenlas proposiciones siguientes: PROPOSICION 8.13 Sea (Zn)una sucesin que converge al nmero real IX. Si Zn~ c para todo n ~ 1, entonces IX~ c.
Demostracin

Supngase que IX> c; entonces, ->c 2

IX+C

Sea 6 = (IX-c)/2. Como lm Zn= IX,se sigue que existe N natural tal que Izn -IXI < 6 si n ~ N. En particular, I(X -ZNI < 6. As, -6 < (X-ZN < 6 De donde c < -:-(X+c

= (X--:--

IX-C

< ZN;

lo cual contradice la hiptesis: Zn~ c para todo n~l.

.'

'

PROPOSICION 8.14 Sea [a, b] un intervalo cerrado. Si (Xn)es una sucesinde puntos en [a, b], entonces (xn)tiene una subsucesinque converge a un punto de [a, b].
c;.

Demostracin (xn)tiene una subsucesinmontona (Yk) acuerdo a lo sealado despusde d la proposicin 8.12. Como cada Ykpertenecea [a, b], la sucesin(yJ es acotada y tiene por cotas superior e inferior a a y a b, respectivamente.Por tanto, lmYk = (x, donde a ~ IX~ b. PROPOSICION 8.15 Si IXes el supremo o el nfimo de un subconjunto A de R, entoncesexiste una sucesin(xn)de puntos en A, que converge a IX. Demostracin Supngaseque (X= supA. Para cada n E N, (X-11n < IX.Por las propiedades caractersticasdel supremo, expresadasya en el captulo sobre nmeros reales, setiene que para cada n E N, existe XnE A tal que (X-11n < Xn~ IX.Por tanto, la sucesin (Xn)converge a (Xpor la proposicin 8.4.

TEOREMAS

SOBRE FUNCIONES

CONTINUAS

287

TEOREMA DEL VALOR INTERMEDIO Sea f: [a, b] -+ ~ continua. Si f(a) < c < f(b), entonces existe Xoe (a, b) tal que f(xo) = c. Demostracin Sean 61 = C -f(a) y 62 = f(b) -c. 152 O tales que > If(x) -f(a)1 < 61 y tambin, If(x) -f(b)1 < 62 De donde f(x) <f(a) + c -f(a) y f(b) -(f(b) Es decir, f(x) < c y tambin, f(xc si xe(b-152,b] Considrese el conjunto A = {x e [a, b] I f(x) < c}. Es obvio que a e A y A est acotado superiormente por b. Ms an, por lo anterior, a + 151/2 A y b -152/2 es una cota superior de A. Por consiguiente, e si Xo = sup A, entonces a < Xo < b. De la definicin de Xo, se sigue que si y e (x o, b), entonces f(y) ;;:!: c. En vista de la proposicin anterior existe una sucesin(XII)de puntos en A y otra (YII)de puntos en (x o, b) tales que lm XII= lm YII= xo. Por la continuidad de; se concluye que lmf(xII) = lmf(YII) = f(xo). Por otra parte, a partir de que f(XII) < c < f(YII) para todo n ;;:!: Y al aplicar la proposicin 8.13, se 1, obtiene f(xo) ~ c ~ f(xo) Es decir, f(xo) = c, donde a < Xo < b. En la seccin Cmo dibujar grficas,se enunci el teorema siguiente: Si f: [a, b] -+ ~ es continua, entonces f alcanza su valor mximo y su valor mnimo en este intervalo. Para su demostracin se utilizar el lema siguiente:
"

Por la continuidad de ; existen 151 O y > si si Ix -al < 151 xe[a,b] y Ix -bl < 152 xe[a,b] y

si si

Ix -al < 151 xe[a,b] y Ix -bl < 152 Xe [a, b] y

-c) < f(x)

si

x e [a, a + I5J

LEMA 8.1 Seaf:[a,bJ-+

~ continua:j([a,b])

es un conjunto acotado.

Demostracin Supngase que f([a, b]) no es acotado. Para cada n e N existe XIIe [a, b] tal que If(XII)1> n.

288

SUCESIONES

y SERIES

Por la proposicin 8.14, la sucesin (xn) tiene una subsucesin(xnJ que converge a un punto IXde [a, b]. As,
nk > k

para

kE N

y tambin,

lm I/(xn )1 = 1/((1)1 k-a)

Por. t-anto, 1/((1)1> k para todo nmero natural k, lo cual es imposible, pues [((1) E~. ..

Demostracindel teorema En vista del lema anterior, se tiene que f([a, b]) es acotado. Sea m = inf f([a, b]) y M = sup f([a, b]). Por la proposicin 8.15 existendos sucesiones(yJ y (x,,) de puntos en [a, b] tales que lmf(y,,) = m y lmf(x,,) = M

Por otra parte, por la proposicin 8.14, (y,,)Y (x,,)tienen subsucesiones (y".) y (x,,) que convergen a puntos del intervalo [a, b]. P = lm x"" Del teorema 8.3 se sigue que

f(IX) = lmf(y,,)

f(P) = lmf(x".)

Finalmente, como (f(y" )) y (f(x" )) son subsucesiones (f(y,,)) y (f(x,,)), de respectivamente,se concluye que f(IX) = m y f(P) = M

..

Mediante este teorema y el teorema del valor intermedio, es posible probar la proposicin siguiente: PROPOSICION 8.16 Si f: [a, b] -+ ~ es continua, entonces imf = = [m, M], donde 1'11 mn f y M = mx f, respectivamente. = Demostracin

Es claro que m ~f(x) ~ M

es decir, im fc: [m, M] Por otro lado, si m < x < M, entonces se infiere del teorema del valor intermedio que existe CE [a, b] tal que f(c) = x, oor lo que [m, M] c irnf para todo x en fa, b];

I!(xn.)l

SERIES. DEFINICIONES

Y NOTACIONES

289

SERIES, DEFINICIONES

Y NOTACIONES

Sea (Xm)una sucesin de nmeros reales. A la suma

Xl+X2+"'+X"
;..;

la denotamos por

" ~ x.m L..

m=l

'"

DEFINICION 8.14 Dada una sucesin(xm) de nmeros reales, se define una sucesin (s,,)de la manera siguiente: " s" = xm
m=l

La sucesin(s,,)as construida se denomina~eriegeneradapor la sucesin

(Xm) y se denota por
00

Xm, o bien
m=l

Xm

Los elementosXm se denominantrminos de, la serie y los elementos s"' sumas parciales de la serie. -

EJEMPLOS Por
1

i,

T --,

1.

2. m ~ log m
3. L.. m+1

se denota a las sucesionescuyos primeros cuatro trminos son, respectivamente:

3 11 1--- 2' < , 6' 50

24
'

1, 3, 6, 10
log 1 --+log 1 log 2 log 1 -+-+log 2 log 3 log 1 log 2 -+-+-+log 3 log 4

2'2

3'2

4'2

Es decir, las series son sucesionesobtenidas a partir de otras, a travs del procedimiento indicado antes. La nueva notacin L Xmpar ellas se introduce para recordar dicho procedimiento.

290

SUCESIONES

y SERIES

Dada una sucesin (Xn) es posible encontrar una serie Ym tal que su n-sima suma parcial coincida con el n-simo trmino de la sucesin.En efecto,
definase Yl = Xl En este caso,
n

Ym= Xm-Xm-l

para

m~ 2

Sn= Ym= Xl + (X2 -XJ

m=l

+ (X3 -X2) + ...+

(Xn-Xn-l)

= Xn

OPERACIONES

CON SERIES

Sean Xm y Ym dos series y c un nmero real. Con L Xm y Ym se representan las sucesionesde sumas parciales (Sn)y (tn), respectivamente.Al aplicar las reglas para sumar sucesiones multiplicarlas por un nmero real, se y obtiene: Xm + LYm = (Xm + Ym) CXm = CXm, o sea, Xm+ Ymes igual a la serie generada por la sucesin (Xl + Yl, X2 + Y2,X3 + Y3,...), en tanto que C Xmes igual a la serie generada por (CX1, CX3, CX2, ...) Para nuestros propsitos, bastar contar con estas dos operaciones.

SUBSERIES y REARREGLOS DE UNA SERIE Subseries

La definicin de subserieque aqu se da difiere de la que resultaria de aplicar la definicin de subsucesina la sucesinde sumas parciales de la serie que, en cierto modo, seralo ms natural. Sin embargo,la que sepresentaresulta ms til y recuerda el proceso indicado para obtener una subsu~in.

SUBSERIES

y REARREGLOS

DE UNA SERIE

291

DEFINICION 8.15 Sea (Y1) una subsucesin (x.); la serie L Y1 de generadapor (Y1) llama una subseriede L Xn'Es decir, una subseriese se obtieneal suprimir en la serie un nmerofinito o infinito de trminos,con la condicin de que el nmero de elementosno suprimidos sea infinito.
...

EJEMPLOS

a 1 a .. 1 1. L 2 es una subserie de L -, ya que 2 1=lk n=ln k

a 00

( ) es una subsucesinde (-.) 1

n

2.

L log (8 + k) es una subseriede L log n, ya que (log (k + 8 es una sub1=1 n=l

sucesinde (logn). En este ltimo ejemplo, donde la subseriese obtiene al suprimir los primeros ocho trminos de la serie, se ha convenido, igual que para las sucesiones, en denotar a la subserie por
00

L log m
m=9

En general, la serie generada por la subsucesin(xn):'=no denota por se

00

L
m=n o

Xm

Rearreglos
Sea (mn)una sucesin de nmeros naturales en la que cada nmero natural apareceUna y slo una vez. Se dice que (mn)es un rearreglo de la sucesin(n). Por ejemplo: (2, 1,4,3,6,5, ...) es un rearreglo de (n) A diferencia de las subsucesiones para obtener un rearreglo, s podemos cambiar el orden de los elementos en la sucesin,pero no podemos suprimir ninguno. Esta idea puede generalizarsepara cualquier sucesin. DEFINICION 8.16 Sea (Xn)una sucesiny (mn)un rearreglo de (n). Si (Yn)= (Xm)' se dice, entonces, (Yn) un rearreglo de (Xn). que es Por ejemplo, (X2,Xl' X., X3' X6'XS'...) es un rearreglo de (x.)
~

Ntese que si (Yn) un rearreglo de (Xn),entonces (Xn)es u,n rearreglo de es

(Yn)'

DEFINICION 8.17 Sea <Yn) rearreglo de (xn). La serie L Yn es un llamada un rearreglo de L x".
...

292

SUCESIONES y SERIES

Aqu tambin se observa que si Yn es un rearreglo de la serie Xn. entonces esta serie es un rearreglo de la primera.

CONVERGENCIA

DE SERIES

Series convergentes
Resulta natural decir que Xm converge a (X si la sucesin de sus sumas parciales tiene por lmite a (x. Es decir: " DEFINICION 8.18 Una seri~ xm (;onverge ~un' reall ri si para 'cada
.:'

8 > O existe un nmero natural N tal que Imtl Xm-~I<

"

8" para
,o,

n~ N

En este caso se escribexm = (x. Y se dice que Xmes una serie convergente que tiene por lmite a (x. o bien que la suma de la Xmes (x.

Series divergentes Toda serie que no es convergentese llama divergente. Entre stasse encuentran-. las que divergen a" CX) ""-00; ; DEFINICION 8.19 Xmdiverge a 00 si para cadanmeroreal M >0
natural
n

existe un nmero

N tal que

para

En,est., caso se escribe Xm= ~~ '. DEFINICION 8.20 Xm diverge a -00 si para cad( nmerr'l real M > O ex~ste nmero natural N tal que un
n

Xm< -M
c

para

n~ N

En este caso se

CONVERGENCIA

OE SERIES

293

EJEMPLOS
1. Xm-1 =~ 2.L..\:,(-11'+1
n

si O < x < 1.

t. es convergente y su 1, .. es pOSt Imite IVO.

3.L..x 1 m-1 =00 SI x, 1 \:' .~

4. - = oo. n Demostracin 1. Sea s" la n-sima suma parcial de la serie. As, s" = 1 +:.: ~~x 2 + ...+ x,,-1 xs" = x + X2 + ...+ x"
(1 -x)s" = 1 -x", es decir, 1 -x" s" = l-x

y tambin,
De donde,

Por tanto,
lms " = ~
1

1
, -x

ya que lmx" = O, por ser Ixl < 1. 2. Se probar ms adelante. 3. Sea s" la n-sima suma parcial de la serie. s" ;:;:n para n ;:;:1

Como (n) diverge a :XJ,se sigue, del primer criterio para la convergencia o divergencia de sucesiones,que xm-1 = 00 4. Sea s" la n-sima suma parcial de la serie. Para n ;:;:1 se tiene

1 a" <-, n donde a" es el rea de L\,,'(Fig. 8.6).

Por otra parte,

a" = log (n + 1) -log n

De donde
(log 2 -log 1) + (log 3 -log 2) + ...+ + (log(n + 1) -logn) <1 + 1/2 + ...+ 11n = s"'

o sea,
log (n + 1) < s" para n ;:;:1 Pero lm log (n + 1) = oo. Por consiguiente, 1 - = 00 n

294

SUCESIONES

y SERIES

"
Figura 8.6

"+1

ALGUNOS RESULTADOS RELATIVOS A LAS SERIES CONVERGENTES

La proposicin siguiente es consecuenciainmediata del teorema 8.1. PROPOSICION 8.17 Si una serie converge, entonces la sucesin de

sus sumasparcialeses acotada.

;,c',

TEOREMA 8.7 Si L Xmes convergente, entonces la sucesin de sus trminos es nula.

y;~(!:1;; .'.' """.

Demostracin

..

Para n ~ 1 sea snla n-sima suma parcial de L Xn Xn = Sn-Sn-1 Por tanto, lm Xn= lm Sn-lm Sn = O -1 para n~ 2

(ji".1 .!\(;l;.

El inverso del teorema no es vlido, como puede observarseen el ejemplo 4 de la seccin anterior.

RESULTADOS

RELATIVOS

A LOS T~RMINOS

NO NEGAtIVOS

295

TEOREMA 8.8 Si r,XIII = ~ r,YIII= P y c es nmero real, entonces, 1) r, XIII+ r, y" = IX+ p. 2) c r, XIII= CIX. ,. , La demostracin se sigue del teorema 8.2.
00

PROPOSICION 8.18
00

L XIIIconverge si, y slo si, para algn no ~ 1

111=1

la subserie r,
m = "

'Xm converge. Ms an, en cualquiera de los dos casos se tiene

o

IX= L X" + P
"=1
00 00

"0-1

Donde IXy P son los lmites de r, Xmy r,

111=1 111=" o

Xm,respectivamente.
\

Demostracin.,

(x), '"

." OO'"

Sean (s")y (t") las sucesiones sumas parciales de L XIIIY r, de mente. Es claro que s"+"o = L
"0-1
111=1

Xm, respectivao

m=1

111="

XIII+ t"+1

para

n~ 1

Por tanto, (s") converge si, y slo si, (t") converge.

ALGUNOS RESULTADOS RELATIVOS A LAS SERIES DE TERMINO S NO NEGATIVOS

En esta seccin,L Xmdenotar una serie de trminos no negativos. Sea (s")la sucesin de sumas parciales de r, XIII.Dicha sucesin es creciente, ya que s"+ 1 = s" + X"+ 1 y X" ~ O para n~ 1

A partir del criterio 4 para la convergencia de sucesiones se tiene la proposicin siguiente: PROPOSICION 8.19 L xm converge si, y slo si, la sucesin de sus sumas parciales est acotaoa superiormente. Y, en estecaso, el limite de la serie es igual a sup {III XIII n ~ 1} tI I

296

SUCESIONES y SERIES

En especial, si L Xm = IX, entonces PROPOSICION entonces L Ym = IX. 8.20

L
m;1

'Xm IX para n ~ 1. ~

Sea Ym un rearreglo de .Xn. Si L 'Xn= IX,

Demostracin Supngase L Xm = IX, Y sea n un nmero natural. Eljase un natural N tal que cada uno de los elementos YI, Y2, ..., Yn coincida con alguno de los elementos Xl' X2, ...,XN' Se tiene, entonces,
n N

m;1

Ym~ L
m;1

Xm~ IX,

por lo que la sucesin de sumas parciales de L Ymest acotada superiormente y IXes una de sus cotas superiores. Por tanto, L Ymconverge, y si p es su lmite, entonces p ~ IX. Pero, como L'Xm es tambin un rearreglo de L Ym,se sigue de la misma manera que IX ~ p; de donde IX = p.

TEOREMA

8.9

L Xmconverge si, y slo si, todas sus subseries convergen. se hace de manera semejante a la de la proposicin

La demostracin anterior.
"-

SERIES ALTERNANTES

DEFINICION

8.21

Una serie de la forma

00

XI-X2+x3-X4+".=

~
i..,

(-

1)

Xm,

m=1

donde cada Xm > O, se dice que es una serie alternante.

EJEMPLOS
1.

i..,(-l)n-

+11
n

1'-"'

.l,c1
-'+ 2

~ --+ 3 4

...

2.

~ L.. (-Ir

+ 1 2n 4 ~ = 2 --+
n2 4

8 16 ---+
9 10

...

SERIES ALTERNANTES

297

TEOREMA 8.10 (Criterio d Leibniz) Sea t(-l),,+lx,,'una serie alternante. Si (x,,) es una sucesin estrictamente decreciente que converge a cero, entonces L (-lr+ 1 es convergente y su lmite es positivo. x"

Demostracin

"-~c.

Sea (s,,)la sucesin de las sumas parciales de la serie. Por la proposicin 8.6, para demostrar que (s,,) converge, basta probar que las subsucesiones (S2n) convergen y tienen el mismo lmite. S2" = Xl -X2 +X3 -X4 + ...+ X2"-1 -X2" = y (S2,,-I)

= (XI -X2) + (X3 -X4) + ..: + (X2"-1 -X2") Dado que la sucesin es estrictamente decreciente, cada uno de ros nmeros en los parntesis es positivo. As, S2" > O Por otra parte, S2" = Xl -(X2 -X3) -"(X2"-2 -X~"-l) -X2" para n ;?;1

En este caso, cada uno de los nmero~ en los parnteis es positivo, al igual que X2". Se tiene, entonces, que S2n-< XI Adems, es claro que 52("+1')> S2n Es decir, (S2") es una sucesin creciente acotada superiormente; por tanto, es convergente. Y como los trminos de la 8ueeStflSOftocpositivos, se tiene lm S2" = a > O, pava n ;?;1

Por ltimo,
S2,,-I=S2,,-X2" Puesto que lm Xl"= O, se concluye que lm S2"-1 = a De donde L ( -l)m + 1Xm = a.
,iC', or,ff).

para

n;?;l

De este teorema resulta, como se haba anticipado, que la serie

" ~,(-:::-,1Y'+~" ,.;;'," ..~\3'.iv1'J

't:

es convergente y su lmite es positivo.

298

SUCESIONES

y SERIES

SERIES ABSOLUTAMENTE
t;.

CONVERGENTES
.,

DEFINICION 8.22 Una serie L Xn es absolutamenteconvergentesi L Ixnr es convergente. A partir de los resultados sobre las series de trminos no negativos, se tienen las proposiciones siguientes: PROPOSICION 8.21 Una serie es absolutamente convergente si, y slo si, cada rearreglo es absolutamente convergente. PROPOSICION 8.22 Una serie es absolutamente convergente si, y slo si, cada una de sus subserieses absolutamente convergente. . TEOREMA 8.11 Si una serie es absolutamente convergente,entonces es convergente. El inverso del teorema no es vlido, como puede versede los ejemplos 2 y 4 de la pgina 293. Demostracin Sea L x" una serie absolutamente convergente. Dentese por (s,,) y (t,,) las sucesionesde sumas parciales de L x" y L Ix"l, respectivamente.Para demostrar que converge, basta probar que (s,,)es de Cauchy. Sea E > O. La sucesin (t,,) es de Cauchy, pues es convergente, Por tanto, existe un nmero natural N tal que It" -tml < E si n, m ~ N

Sean n, m> N. Supngase que n> m, entonces Is" -sml = l=t+ 1 Xii ~ i=t+ 1 Ix;! = t" -tm Si m > n, entonces Is" -sml ~ tm-t" As, Is" -sml < E si n, m ~ N

CRITERIOS SOBRE LA CONVERGENCIA

DE LAS SERIES

1. Criterio de comparacin (a) De primera especie.

-1

CRITERIOS

SOBRE LA CONVERGENCIA

DE LAS SERIES

299

1) Si L Xm converge e IYml~ Xmpara m ~ no,entoncesL Ym absolues

tamenteconvergente.
2) Si L Xm diverge e Ym Ixml para m ~ no, entonces L Ymdiverge ~ a oo. (b) De la segunda especie. Sea L Xmuna serie de trminos positivos. 3) Si L Xmconverge e IYml/Xm M para m ~ no y alguna M > O, ~ entonces L Ymes absolutamente convergente. 4) Si L Xmdiverge e Ym/Xm M para m ~ no y alguna M > O,enton~ ces L Ymdiverge.
Demostracin 11

1) Existe K > O tal que L Xm~ K para n ~ no. Por tanto, m=n o 11 no -1 IYml~ r. IYml+ K para n ~ 1
m=1 m=1

La afirmacin se sigue entonces de la proposicin 8.19. 2) La demostracin se sigue de 1), la proposicin 8.19 y el criterio 6 para suceSIones. Las demostraciones de 3) y 4) se siguen de la parte (a). A partir de este criterio, se obtiene el siguiente: 2. SeaL Xmuna serie de trminospositivosy L Ymuna de trminos distintos de
cero:

1) Si Lxm converge y IYm+ll/IYml Xm+l/Xmpara m ~ no, entonces LYm ~

es absolutamente convergente.
2) Si LXm diverge e Ym+l/Ym Xm+l/Xmpara m ~ no, entonces Ym di~ verge a :t oo.
Demostracin

1) Por hiptesis se tiene:

~~~
ly.J

XII o

\Y.o+11 X.o+1 -~IY.-ll

~~~

Iy.!

x.
XII-l

con n~ no

Al multiplicar miembro a miembro, se obtiene:

~~~

IYIlO' Xno

300

SUCESIONES

y SERIES

Es decir, IYnl -~
xn
o o

para

n ;;!: no,

donde M = IYnI/Xn, y la afirmacin se sigue del criterio de comparacin de segunda especie. La afirmacin del inciso 2) se sigue del 1),la proposicin 8.19 y el criterio 6 para sucesiones.
3. Criterio de la razn o de D' Alembert:

Sea L Xm una serie de trminos distintos de cero. Supngase que lm Ixm+ 11/1xml (X. = 1) Si (X 1, entonces L Xmes absolutamente convergente. < 2) Si (X> 1, entonces L Xmes divergente.
Demostracin

1) Al seguir la demostracin del criterio 3 para la convergenciade sucesiones, se tiene que existe un real O < b < 1 tal que Ixnl ~ XN bn N b para n> N

Como O < b < 1, L bnconverge, por lo que el criterio de comparacin de la segunda especie dice que L Xn es absolutamente convergente. 2) En este caso, el criterio 3 para la convergenciade sucesiones dice que ,(Ixnl) diverge a XJ. Por tanto, la afirmacin se sigue del teorema 8.7. El criterio anterior no da informacin cuando (X= 1. Por ejemplo, para las 1 (-1)n+1 seriesL -'L~' se tiene (X= 1 y, mientras la primera diverge,la segunda
n'n

converge.
4. Criterio de la raz o de Cauchy

Sea L Xmuna serie y supngase que lm ij;::I = (x. 1) Si (X 1, entonces L Xmes absolutamente convergente. < 2) Si (X> 1, entonces L Xmdiverge. Demostracin 1) En forma similar a como seprocedi en el tercero de los criterios para sucesiones, puede probarse que existe un nmero real O ~ (X b < 1 y uno < natural N tales que ij;::I < b para para m ;;!:N m ;;!:N

Por tanto,
Ixml < bm Como L bm es convergente, se sigue del criterio de comparacin de primera especie que L Xmes absolutamente convergente.

CRITERIOS

SOBRE LA CONVERGENCIA

DE LAS SERIES

301

2) En forma anloga puede probarse que existen un nmero real a > 1 Y un natural N tales que a< ~ para para m~ N m~ N

Por tanto,
1 < Ixml Y la sucesin (Xm)no es nula. As, Xmdiverge. 5. Criterio de Raabe Sea L Xmuna serie de trminos distintos de cero. Supngaseque lm m 1 -~ Ix + 1t = (X
Ixml

1) Si (X> 1, entonces la serie Xmes absolutamente convergente. 2) Si (X< 1, entonces la serie Ixml es divergente., Demostracin 1) Sean a y b dos nmeros reales tales que 1 < a < (X< b. Existe un nmero natural. N tal que a < m 1- Ix",+11 < b ---'Ixml

para

m~ N

De donde
mlxm+ < mlxml -a[xml = (m -l)lxml 11 Como O < a -1, se tiene mlxm+ ~ (m -l)lxml 11 para m~ N ~(a -.1)lxml para m ~ N

Es decir, la sucesin m -l)l.xml);:!.~N+ es decreciente y, debido a que est i acotada inferiormente (sus trminos son positivos), es una sucesinconvergente. Y as tambin lo es m -l)lxml);:!. = 1 (Ejercicio 8.7). La sucesin(Zn)sedefine mediante la frmula Zn= (n -l)lxnl -nlxn+ 11

Sea sn la n-sima suma parcial de Zn Sn= -IX21 + IX21- 21x31 ...+ (n+ l)lxnl- n1Xn+11 -nIXn+11 =

Por tanto, como existe el lmite de (nIXn+11), existe el de la sucesin(Sn).Por otra parte,
Zm Ixml ~ --,.,a -1

para

m~ N

Del criterio de comparacin de segunda especie,se sigue que L Ixml converge.

302

SUCESIONES

y SERIES

2) Sean a y b nmeros reales tales que a < (X< b < 1. Existe un nmero natural N tal que mlxml -mlXm+ll < blxml o sea, (m -1)lxml < mlXm+ll para m;;;:N para m;;;:N,

As, la sucesin m -1)lxml)':.=N es creciente y, en particular, (m -1)lxml > (N -1)lxNI > IXNI para m;;;:N + 1 00 1 Como L -diverge, se tiene que L Ixml tambin diverge. m=2m-l

SERIES EN FORMA TELESCOPICA

La propiedad telescpica para las sumas estableceque n L (x" -X"+l) = Xl -Xn+l,
"=1

donde n E N Y Xl' ...,Xn+1 son nmeros reales. A partir de esta propiedad, si para una serie L y" es posible encontrar una sucesin(xJ tal que y" = X" -X" + 1 para todo k ;;;: entonces Sn= Xl -Xn + l' donde Sn la n-simasuma 1, es parcial de L y". Por otra parte, dada una serie L y" siempre es posible encon~ trar una de tales sucesiones(xJ (por ejemplo, O, -Sl, -S2, ...); de hecho,existe una infinidad de sucesiones con la propiedad descrita. En ocasiones,al elegir en forma adecuada una de ellas, puede llegarse a determinar la divergencia o convergenciade la serie L y", e inclusive, en el segundo de los casos su suma. Por ejemplo, considresela serie 1 L (2n -1)(2n + 1) Si se define x" = 1/2(2k -1) para cada k ;;;: entonces 1, = X" -X"+l

1 y" = (2k-=-i)(2k+i) Por tanto, n 1 1 "~1 y" = '2 -~-ij

1 L y" = '2

En general, puede establecersela proposicin siguiente:

EJERCICIOS

303

PROPOSICION 8.23 Sean (Xk) e (Yk) dos sucesiones tales que para algn nmero natural no se satisface Yk = Xk -Xk + 1 si k ;;::no. Entonces, la
00

serie L
k=n o

Yk converge si, y slo 8i, la sucesin (Xk) converge. En cualquiera de

los dos casos,

00

L
k=n
o

Yk = Xno-(X, ' ,.
" ; c

donde (X= lm Xl. La demostracin es inmediata a partir de la igualdad n L Yk = xno -Xn+ 1

k=n
o

si

n > no

EJEMPLOS
1, Sea Yn =

( nn+1

Al hacer Xn = 1/n, se tiene Yn = Xn -Xn+l' 00 1 As, L = 1. n=1 n(n + 1) 2, Sea Yn =

J~-Jn ~.
'\In2, +n . para todo n;;:: 1. As, L Yn = 1.
n=1 00 1

Si Xn = ~,

entonces Yn = Xn -Xn+1,

'\In

3.

1 Sea Yn = -z-n -1
Si se elige Xn = 2

si n ;;::2.

--+

(
n-1

-para n

to

do

n ;;:: 2,

se

tIene

'

que

Yn =

Xn -

00 3 -Xn+ 1 si n ;;::2 Y L Yn = -.
n=2 4

EJERCICIOS
8.1 Escrbanse los prmeros cuatro trminos de las sucesionessiguientes: a) (8n + 1) b)

(~ +2 ) 3n

c) (~

V;;

304

SUCESIONES

y SERIES

8.2 Efectunse operaciones las siguientes: 1) (2n2+ n+ 1)" a) -;; (n) b) (n2+ ij

c)

) + (3n + 2)

8.3 DeterIlnese los casossiguientes, (Yk)es una subsucesin (Xn). en si de a) (Yk) (k5),(Xn) (n) = = b) (Yk) (k4),(Xn) (n2) = = C) (Yk) (k2),(Xn) (2n) = = 8.4 Determnese cules las sucesiones de siguientes montonas si estnacotadas son y superioro inferiormente. a) (8n + 1) b) (3;;~) c), (~) l+dt) d) (sen n) e) (~) para

8.5 Demustrese n(lo~ l+~))-IO~ que

es menorqve IO~ 1+~)

n;;: [Sugerencia: 1. Usese interpretacin la geomtrica logaritmo.] de 8.6 Prubese que la sucesin + ~) nesestrictamente (a creciente.

8.7 Prubese que una sucesin converge IX si, y slo si, existe un nmero ('Xn) a natural no tal que (Xn):'=no converge a a. 8.8 Prubese la proposicin 8.20. 8.9 Prubeseque el lmite L de cada una de las sucesionessiguientes es el que se indica. 1 n(n+ 1) n n a) -, p > O; L = O b) 2COS- + sen-) ; L = 1

()
nP +

n
) ; L = 1 d) (J;;(;;~-

c) (- ~
\j;;m

n); L = ~ 2

e)

(bn

c")l/n),

b ~ c ~

O; L = b

f)

{ O si jxl < 1 (nlxln); L = 00 si Ixl ;;: 1

g)

(+

10 IXn )

,IX,{J>O; L=O

h)

(7,1X,{J>O;L=00 e") m )

8.10 Calclese limite, si existe,de cada una de las sucesiones el siguientes (puede
ser ::t 00):

".
--~.'~=+...+-j-~
n~+, 1 J;;~ J;;~ ) b) lm~-n n-",

a) l;'
n-",

.."2h5'!+'n"i;\:;'" c) 11m n-", n5 -n

~ .n-",

.n d) lm3n

+1

EJERCICIOS

305

e)

l 1(+ -1 )0 m 3/4 0-+00 n

f)

;\t l'" m+..~' m~ 0-+00 n y

g) h)

( 1324 h-1n+l , . lm(xo) SI (Xo)= -,-,-,-,...,-,-,...

0-+00 223 3 n n

lm 2n2+3n+5 4 , 0-+00 n

1) ltm P+~+$;: " n -+00 ~+T + .;;-n

8,11 A partir de la definicin, determnesesi las sucesiones siguientes son de Cauchy. a) senn

( )

n b) (xo) donde Xo = 1 + 1/2 + 1/3 + ...+ 11n [Sugerencia:Tmese en la condicin de Cauchy,n = 2m.] c) (~) ;p>O

8.12 Demustrense los teoremas 8.8 y 8.9 y la proposicin 8.17. 8.13 Demustrese que si (xo) es una sucesin de nmeros reales no negativos y a = lm x~/o,entonces se cumple: 0-+00 a) a < 1 implica que (xo) converge a cero. b) a > 1 implica que (xo) diverge a infinito. c) a = 1 no se tiene informacin. Este es el llamado criterio de la raz para sucesiones. [Sugerencia:Para probar a), demustreseque existen O < M < 1 y O < N tales que O ~ x~/o< M si n ~ N, Y aplquese el Corolario 8.1.] 8,14 Utilizando el ejercicio anterior, determnesela convergencia o divergencia de las sucesionessiguientes: a) (~) b) (~) (donde c > O) c) (~) (con p ~ O)

8.15 Demustreseque una serie de trminos no negativos converge o bien diverge a infinito. 8,16 Demustreseque: , ) ~ ~ 5 15 ~ yn"1;'1 ~, ;;; 1 a ~ --b) ~ yn0=2n2 -1 -4 0=1 4P~ - 00 20 + 30 3 00 1 1
c) L -,;-=1
00

= -d) 2
4n.-

L o-o(a +n)(a -

+"n + 1)"

= -(a a

> O)

e)

L =1 0=1 (n + 1)(n + 2)(n+ 3) 00 1 f) o~o(a + n)(a + n + l)(a +'n+ 00log [(1 + 1/nf(1 ~ 0~2 log nOlog(n + lf+ 1 =!

1 2) = 2aCa+'1)

g)

(~ )

h)

2 log 2

00 _2n + 1 = 1 0~1n~1i + 1)2

306

SUCESIONES y SERIES

8.17 Con referencia al apartado f) del ejercicio anterior (con cx= 1/3), prubese que
1 -+ 1.4.7 1 4.7,10, 1 ++...=1.10.,13 1 24

l 8.18 Demustrese que L -diverge

nP 8.19 Prubese que L 2 n

si p ~ l.

Y L - convergen. n

Usese el criterio

de Raabe.

Puede probarse

I que L -converge
nP

si p > I (vasecriterio de la integral en el Cap. siguiente.)

8.20 Determnese la convergencia o divergencia de las series siguientes: n r-:-;-;::: 1

a) Ln + 1 b) L(..n + 1..n) c) L~ .. IOn

d)

2n! (~+}~!

e)

(-lr+1 J;; , f)

, ~ n. .,.3

2ft
g) Ln h) L(Iog

1
n)ft i) L-

1
n

,NI,
,n + 1 ,

J) L 3~ vn+ 8 m) L -n) 2ft

n! n

.1

k) L

(-lr+1

n!
k!

1) L(-lr L

L -) 1
1

(-

)"'

n + 1

o) L-;;g-:;; 1 r) L(;+W;
u) L" (-lr+1

p) L~ k;:!: O s) L(ifn
v) L

q) "'2:" -Ir
1

~n

t) L
w) L-

2+(-1)" 6"
n"

(
x) L

',2
n

(1

n2+121I.+31
1

ni
1 '

"

2"+l

y) L n(n+ l)(n + 2}

z) L 11 100 +

8.21 Determnesepara qu valor de .x convergenlas series siguientes, que son ejemplos de las llamadas series de potencias. a) L =2" d) L-.x" nS" g) ~ n2(x -1)"
.,. 3n x" x" 2x"

b) L;:::
n+..n

c) L--;:n

e) ~"'Iogn h) ~ ~-~(x
.,. 3"(n2)

x"

f) ~ .,. log2n n + 4)"

(-lrx"

.(n-2).xft 1) ~ .,.

n2

.(-lr-1Iogn.2ft.x" J) ~ .,.., 3"2 n

EJERCICIOS

307

Puede demostrarse que una serie de potencias converge para todos los puntos de un cierto intervalo (a, b) y diverge en el complemento de [a, b]. Se conoce a (a, b) como el intervalode convergencia la serie;es decir, en los incisosanteriores setrata de de determinar dicho intervalo. 8.22 Con el criterio de la raz, prubese que si lm la.II/' = cx(cx+ O), entonces el intervalo (-l/cx, l/cx)es el intervalo de convergenci~de la serie La.x"; de hecho,los nicos puntos donde es posible que la serieconverja y no estn en eseintervalo son -l/cx y 1/cx. Si cx= O,entonces la serie converge en todo ~, y si cx= 00, entonces la serie slo converge en cero.
II~'"

[308]

Gottfried
(1646 a 1716)

Wilhelm

Leibniz

En su obra Hombres de matemticas, E. J:: Bell comienza diciendo: El proverbio popular "aprendiz de todo y oficial de nada" tiene, como cualquier otro, sus excepciones espectaculares, y Gottfried Wilhelm Leibniz (1646-1716) eS una de ellas. En efecto, el genio universal de Leibniz influy en campos tan diversos como los de la lgica, matemtica, mecnica, geologa, jurisprudencia, historia, lingstica y teologa. Nacido en Leipzig, Alemania, obtuvo por s mismo gran parte de su educacin estudiando en la biblioteca de su padre. A la edad de 20 aos escribi la tesis De Arte Combinatoria, trabajo sobre un mtodo universal de razonamiento con el que se gradu de doctor en la Universidad de Altdorf, Alemania, pudiendo as ocupar una plaza de profesor. Durante los aos 1670 y 1671 escribi sus primeros trabajos sobre mecnica, y en 1671 fabric una mquina calculadora. Siendo embajador del Elector de Mainz, en 1672, fue en misin poltica a Pars, donde conoci a matemticos y cient!ficos, Huygens entre ellos, aumentando su inters por .las matemticas. Aunque tena ya antecedentes de trabajo en esta disciplina, l afirmaba que en 1672 empez a conocerla. Mientras desarrollaba sus funciones de diplomtico, profundizaba en sus estudios de matemticas leyendo a Descartes y a Pascal. En 1676 fue nombrado bibliotecario y consejero del Elector de Hannover; 24 aos despusfue invitado por el Elector de Brandenburgo a trabajar en Berln. A pesar de estar inmiscuido en procesos polticos, desarroll un gran trabajo en actividades laterales. En 1684 public trabajos sobre el clculo diferencial e integral; la notacin utilizada hasta ahora en esta disciplina es suya. Sin embargo, gran parte de sus ideas y de sus resultados nunca fueron publicados y estn contenidos en cientos de pginas de notas escritas desde 1673. Algunas de sus ideas se originaron al leer las obras de Gregory de Sto Vincent, Fermat, Pascal, Descartes y Barrow. En su libro Historia et Origo Calculo DifTerentialis, expone su pensamiento sobre las ideas del clculo. Conviene observar que estos trabajos antecedieron a los de Newton sobre el mismo tema, pues stos aparecieron e: 1687. Junto con Newton, Leibniz es considerado el descubridor del clculo. Muri en el olvido, en 1716.

GOTTFRIED WILHELM LEIBNIZ

309

.En forma paralela a la vida de Leibniz, se destacan, en otras ramas de la actividad humana, los hechos siguientes:

LITERATURA
Brugere, La: Caracteres y retratos, 1688. Karamsin: Cartas de un viajero ruso, 1690. Rochefoucauld,La: Mximas, 1663. La Academia Francesa publica su diccionario.

MUSICA
Couperin: I.e{:onde Tenebres,1715. Scarlatti: Arminio, 1703.

PINTURA
Mena, Pedro de: San Francisco, 1663. Watteau: La serenata,1715.

ARQUITECTURA
llernini: Columnata del Vaticano, 1665. Fischer von Erlach: Palacio de Schwarzembergen Viena, 1697. Tessin: Palacio Real de Estocolmo, 1688. Wren: Catedral de San Pablo, Londres, 1675. Se construye la capilla del Rosario en Tunja, Colombia, 1689.

CULTURA EN GENERAL
Huygens: Tratado de la luz, 1691. Locke: Ensayo sobre la tolerancia, 1688

Gottfried

Wilhelm

leibniz