|28| CAPTULO 1.

LMITES Y CONTINUIDAD

S ESIN 7

1.6. Clculo de lmite. Infinitsimos

A la hora de calcular lmites nos podemos encontrar con indeterminacio-
nes, stas se podrn resolver utilizando:
1. Operaciones algebraicas.
2. Infinitsimos equivalentes.
3. Regla de LHopital.
Proposicin 1.6.1 (Criterio del emparedado) Sean f, g, h : A R " R,
cumpliendo las desigualdades f (x) g(x) h(x).
Si lm f (x) = l = lm h(x) lm g(x) = l.
xa xa xa

Ejemplo 1.6.2 Vamos aplicar el criterio del emparedado a la funcin

! 2
x si x Q
g(x) =
x4 si x I
para calcular su lmite cuando x 0. Sea f (x) = x4 y sea h(x) = x2 estas
funciones cumplen f (x) g(x) h(x) y adems lmx0 f (x) = lmx0 h(x) = 0
por el teorema del emparedado lmx0 g(x) = 0.
Proposicin 1.6.3 (Operaciones aritmticas con lmites) Sean f, g : A
R " R y supongamos que lm f (x) = l y lm g(x) = m . Entonces:
xa xa

i) lm (f (x) + g(x)) = l +m
xa

ii) lm (f (x)g(x)) = l m
xa

f (x) l
iii) lm = m (= 0
xa g(x) m
vi) lm lnf (x) = ln l. l > 0
xa

v) lm f (x)g(x) = lm
xa

Definicin 1.6.4 (Infinitsimos) Se dice que la funcin f (x) es un infinitsimo

cuando x tiende a "a"si lm f (x) = 0 y escribimos como < f (x), a > .
xa
f (x)
Diremos que f (x) y g(x) son infinitsimos equivalentes si lm = 1 en
xa g(x)
dicho caso escribiremos < f (x), a >< g(x), a >
1.6. Clculo de lmite. Infinitsimos |29|

Cualquier infinitsimo que aparezca como factor o divisor en la expresin

de un lmite puede sustituirse por otro infinitsimo equivalente. Para que
esta tcnica sea til se debe conocer una lista de infinitsimos, ver la tabla
1.2.

Cuadro 1.2: Tabla de infinitsimos

< x, 0 >< sen(x), 0 >< asen(x), 0 >< tan(x), 0 >< atan(x), 0 >
< ln(1 + x), 0 >
< ln(a)x, 0 >< ax 1, 0 >
x2
< 1 cos(x, 0) >< 2 ,0 >

Ejemplo 1.6.5 (Clculo de infinitsimos) Vamos a calcular empleando infi-

tsimos varios lmites
1. Supongamos que el siguiente lmite es positivo y lo expresamos:
1
! = lm (x + e2x ) x = e
x0

tomando lmites
1 1 " #
ln(!) = = lm ln (x + e2x ) = lm ln 1 + (x + e2x 1)
x0 x x0 x

Aplicando el infinitsimo < ln(1+y), 0 >< y, 0 > para y = (x + e2x 1) 0,

obtenemos
" 2x #
1" # e 1
lm x + e 1 = 1 + lm
2x
x0 x x0 x
Aplicando el infinitsimo < y, 0 >< ey 1, 0 > para y = 2x 0,
obtenemos
(2x)
= 1 + lm =3
x0 x

por tanto el lmite pedido es ! = e3 .

2. Vamos aplicar infinitsimos al siguiente lmite:
e5x e3x
lm
x0 sen(5x) sen(3x)

Se tiene que observar que los sumandos que aparecen no se puede

sustituir por sus infinitsimos equivalentes1 . Consideramos la siguiente
relacin trigonomtrica:
$ % $ %
a+b ab
sen(a) + sen(b) = 2sen cos
2 2
1 En este caso el valor del lmite sera el mismo, pero estara mal aplicada la tcnica de

infinitsimos.
|30| CAPTULO 1. LMITES Y CONTINUIDAD

Como la funcin y = sen (x) es una funcin impar y = sen(x) = sen(x)

y por tanto
$ % $ %
5x 3x 5x (3x)
sen(5x) sen(3x) = sen(5x) + sen(3x) = 2sen cos
2 2

Sustituyendo en el anterior lmite:

e3x (e2x 1)
lm
x0 2sen(x)cos(4x)

Ahora si podemos aplicar los infinitsimos < x, 0 >< sen(x), 0 > y

< 2x, 0 >< e2x 1, 0 >

e3x 2x
lm = 1.1 = 1
x0 cos(4x) 2x

x2
3. Justificar que < 1 cos(x), 0 >< 2 ,0 >.
"x#
Aplicando la relacin trigonomtrica 1 cos(x) = 2sen2 2
" #
1 cos(x) 2sen2 x2
lm x2
= lm x2
x0 x0
2 2

y el infinitsimo < sen(y), 0 >< y, 0 > con y = x/2 0, obtenemos:

" x #2
2
lm 2
x2
=1
x0
2

Ejercicios de la seccin 1.6

1. Calcular los siguientes lmites:
x2 2x + 1 xm 1
a) lm ; b) lm ;
x1 x3 1 x1 xn 1
$ %x
sin(5x) 2+x 1 ax
c) lm ; d) lm ; e) lm
x0 x x0 3 x x0 2x ln a
$ 2 %x2
" # 2 x +2 x+3 x+1
f) lm x + x + x x ; g) lm
2 ; h) lm ;
x x 2x2 + 1 x x + 2 x+4
3
x3 27 sin x cos x
i) lm ; j) lm ; k) lm x2 (1 cos(1/x));
x3 x2 + 6x 27
3
x 4 1 tan x x