CLCULO

SEMANA 5
LMITE DE FUNCIONES

INTRODUCCIN

Conocer el concepto de lmite de funciones de variable real permite entender y resolver

problemas que involucran los conceptos de continuidad y diferenciabilidad de funciones de
variable real.

Es importante mencionar que el concepto de lmite no aparece explcitamente en el clculo

desarrollado por Newton y Leibniz. Este concepto adquiri importancia recin en el siglo XIX.
La conceptualizacin actual del concepto de lmite fue formalizada por Karl Weierstrass. Esta
formalizacin se conoce como la frmula .

LMITE DE FUNCIONES

Al estudiar el comportamiento de funciones de variable real se requiere, en algunos casos,

analizar la existencia del lmite de la funcin en un punto del dominio. Este estudio permitir
analizar la continuidad y la diferenciabilidad de una funcin. La definicin de lmite que se
presenta a continuacin es la formalizada por Weierstrass:

Definicin. Sea f una funcin de variable real. Dado a , se dir que f admite lmite L
en el punto a , si y solo si:

( > 0)( > 0)(0 < x a < f ( x ) L < )

Lo cual se denota por:

lim ( f ( x ) ) = L .
xa

Observaciones. Antes de continuar es importante mencionar algunos aspectos de la

definicin anterior.

1
 f ( x ) tiene sentido si y solo si x pertenece al dominio de f .

La condicin x a > 0 nos indica que estamos analizando el comportamiento de la

funcin en puntos cercanos al punto a . Eventualmente la funcin podra no estar

definida en x = a .

Si lim f ( x ) L es equivalente a: existe > 0 de modo que existe al menos un

xa

x Dom ( f ) tal que x a < pero f ( x ) L .

Observacin. A continuacin se analizarn algunos ejemplos de lmites, los cuales pueden

ser calculados por simple inspeccin. Sin embargo, la demostracin quedar pendiente, ya
que an no se cuenta con las herramientas para calcular lmites de funciones.

Ejemplo. Considere f :]c, d [ R una funcin constante, es decir, f ( x ) = , para todo

x ]c, d [ . Si se considera a (c, d ) entonces:

lim f ( x) =
xa

En efecto, dado > 0 basta considerar = min {a c, d a } . Por lo tanto, si x a < se

tiene que:

f (x ) c = c c = 0 < .

De lo anterior se deduce que una funcin de variable real constante, siempre admite lmite en
su dominio y este lmite es constante.

Ejemplo. Considere la funcin parte entera f ( x ) = [x ] definida sobre el conjunto de los

nmeros reales. Entonces se puede observar que:

2
 Si a (n, n + 1) , para algn n N , entonces

lim f ( x ) = n
xa

Si a N entonces lim f ( x ) no existe.

xa

x2 1
Ejemplo. Considere la funcin racional f ( x ) = . Recuerde que el dominio de la funcin
x 1
racional est dado por:
Dom( f ) = {x R : x 1 0}
Dom( f ) = R {1}

De lo anterior se deduce que x = 1 no pertenece al dominio de la funcin, sin embargo,

podemos preguntarnos si existe lim f ( x ) . Si consideramos las siguientes tablas:
x 1

x f ( x) x f ( x)

0,7 1,700 1,1 2,100

0,8 1,800 1,05 2,050
0,9 1,900 1,04 2,040
0,95 1,950 1,03 2,030
0,96 1,960 1,02 2,020
0,97 1,970 1,01 2,010
0,98 1,980 1,09 2,090
0,999 1,999 1,001 2,001

Se puede observar que cuando x est prximo a 1 , entonces f ( x ) est prximo a 2. De

hecho ms adelante se muestra que lim f ( x ) = 2 .

x 1

3
Observacin. Al igual que en el caso de las sucesiones, si el lmite de una funcin en un
punto existe, entonces este lmite es nico. Lo cual queda de manifiesto en el siguiente
teorema.

Teorema 1. Si el lmite de una funcin en un punto existe, el es nico.

Observacin. El siguiente teorema es equivalente al teorema de lmites de sucesiones. El

teorema enuncia algunas propiedades que se denominan en su conjunto como lgebra de
lmites.

Teorema 2. Considere f y g funciones de variable real tales que lim f ( x ) = L y

xa

lim g ( x ) = L1 , donde L, L1 R , entonces:

xa

a. El lim ( f ( x ) g ( x ) ) existe, adems se tiene que:

xa

lim ( f ( x ) g ( x ) ) =
lim f ( x ) lim g ( x ) =
L L1
xa xa x a

b. El lim ( f ( x ) g ( x ) ) existe, adems se tiene que:

xa

lim ( f ( x ) g ( x ) ) =
lim f ( x ) lim g ( x ) =
L L1
xa xa x a

f ( x)
c. Si g ( x ) 0 para x prximo a a y lim g ( x ) 0 entonces lim existe, adems se
xa xa g ( x )

tiene que:

f ( x ) lim f ( x) L
lim= =
xa
xa g ( x ) g ( x ) L1
lim
xa

4
 d. Para todo a R se tiene que:

=
lim
xa
( g ( x ) ) =
lim ( g ( x ) ) L1
xa

Ejemplo. Considere una funcin de variable real f tal que lim f ( x ) = 2 . Determinemos si
x 1

( f ( x ) ) + 3 f ( x ) 10
2

existe lim = .
( f ( x )) 4
x 1 2

Solucin. Observe que:

( f ( x ) ) + 3 f ( x ) 10 ( f ( x ) 2 ) ( f ( x ) + 5) ( f ( x ) + 5)
2

=
lim = lim
lim
x 1
( f ( x )) 4
2
(
x 1 f ( x ) 2
) ( f ( x ) + 2 ) x1 ( f ( x ) + 2 )

Del teorema 2 se establece que:

f ( x ) lim f ( x)
lim = xa
xa g ( x ) g ( x)
lim
xa

Por lo tanto:

= lim
( f ( x ) + 5) lim ( f ( x ) + 5)
= x 1
(
x 1 f ( x ) + 2
) lim ( f ( x ) + 2 ) x 1

lim f ( x ) + lim ( 5 )
= xa x a
ya que lim ( f ( x ) g ( x )=
) lim f ( x ) lim g ( x )
lim f ( x ) + lim ( 2 ) xa xa x a
xa x a

2+5 7
= =
2+2 2

5
 (=
f ( x ) ) + 3 f ( x ) 10
2
7
=
As de lo anterior se puede deducir que lim .
( f ( x )) 4
x 1 2
2

Observaciones

Antes de aplicar el Teorema 2 se debe verificar previamente el cumplimiento de las

hiptesis, caso contrario, las conclusiones obtenidas pueden ser falsas.

Hasta ahora no tenemos herramientas que nos permitan calcular directamente el lmite
de una funcin. Por lo tanto, de manera anloga al clculo de lmites de sucesiones el
siguiente teorema entregar un set de lmites denominados especiales que permitirn
calcular lmites de funciones.

Teorema 3. Cada una de las siguientes igualdades es vlida.

sen x
a. lim = 1.
x 0 x
1
b. lim (1 + x ) x =
e.
x 0

1 cos x
c. lim = 0.
x 0 x
ax 1
d. lim = ln ( a ) , si a > 0 .
x 0 x

Ejemplo. Utilicemos los teoremas 2 y 3 para calcular los siguientes lmites.

x x2
a. lim .
x 1 x x 4

Solucin. Para calcular el lmite en cuestin observemos que:

6
 x x2 x (1 x )
lim = lim
x 1 x x 4
( )
x 1 x 1 x 3

x ( x 1)
= lim
x 1 x (1 x ) (1 + x + x 2 )

1
= lim
x 1 1 + x + x 2

1
=
lim (1 + x + x 2 )
x 1

1
=
3

x x2 1
As de lo anterior se puede deducir que lim =
x 1 xx 4
3

xx
b. lim .
x 1
x x2

Solucin. Observe que el lmite en cuestin no es trivial, ya que en este caso no podemos
factorizar por simple inspeccin el numerador y el denominador. Sin embargo, si se
considera el cambio de variable x = u 2 , obtenemos:

xx u u2
lim = lim
x 1 x x2 u 1 u u 4

ya quesi x 1entonces u =
x 1

Observe que con el cambio de variable realizado se ha transformado el lmite en uno que
involucra una funcin racional. Adems:

7
 xx u u2
lim = lim
x x 2 u 1 u u
x 1 4

u (1 u )
= lim
u 1 u (1 u 3 )

u (1 u )
= lim
u 1 u (1 u ) (1 + u + u 2 )

1
= lim
u 1 1 + u + u 2

1
=
3

xx 1
Por lo tanto, de lo anterior se puede deducir que lim =
x 1 x x2 3

3
xx
c. lim
x 1 1+ 5 x

Solucin. Observe que el lmite a determinar es similar al lmite anterior, ya que involucra
races, sin embargo, las races tienen radicales distintos. Para calcular el lmite en cuestin
usaremos el cambio de variable x = u15 . Donde 15 = mcm ( 3,5 ) , es decir, 15 es el mnimo

comn mltiplo de 3 y 5. Al realizar el cambio de variable indicado se obtiene:

3
xx u 5 u15
lim = lim
x 1 1 + 5 x u 1 1 + u 3

u 5 (1 u10 )
= lim
u 1 1 + u3

8
 Por otro lado:

u 5 (1 u10 ) u 5 (1 + u 5 )(1 u 5 )
lim = lim
u 1 1 + u3 u 1
(1 + u ) ( u 2 u + 1)

u 5 (1 + u ) (1 u + u 2 u 3 + u 4 )(1 u 5 )
= lim
u 1
(1 + u ) ( u 2 u + 1)

u 5 (1 u + u 2 u 3 + u 4 )(1 u 5 ) 10
= lim =
u 1
(u 2
u + 1) 3

3
xx 10
As, de lo anterior se puede deducir que lim =
x 1 1+ x
5
3

sen( x) cos( x)
d. lim

x 1 tg( x)
4

Solucin. Primero se observa que:

sen( x) cos( x) sen( x) cos( x)
lim = lim

x 1 tg( x) x

1
sen( x)
4 4
cos ( x )

sen( x) cos( x)
= lim
x cos ( x ) sen( x )

4

cos ( x )

sen( x) cos( x)
= lim cos( x)

x [ sen( x ) cos( x ) ]

4

= lim cos ( x )

x
4

9
De lo anterior se puede deducir que:

sen( x) cos( x) 2
lim =
lim cos( x) =
cos =

x 1 tg( x) x

4 2
4 4

sen( x) cos( x) 2
Por lo tanto, lim =

x 1 tg( x) 2
4

e ax ebx
e. lim .
x 0 x

Solucin. Primero recordemos el lmite especial

ax 1
lim = ln ( a ) , si a > 0 .
x 0 x

Por otro lado, se tiene que:

e ax ebx e ax 1 + 1 ebx
lim = lim
x 0 x x 0 x

e ax 1 1 ebx
= lim +
x 0
x x

= lim
(e )
a x
1
lim
(e )
b x
1
x 0 x x 0 x

ln ( e a ) ln ( eb ) =
= a b

e ax ebx
Por lo tanto, lim = a b
x 0 x

tg ( x )
f. lim .
x2 x2

10
Solucin. Para determinar el lmite realicemos el cambio de variable u= x 2 , obteniendo:

tg ( x ) tg ( ( u + 2 ) )
lim = lim
x2 x 2 u 0 u

tg ( u + 2 )
= lim
u 0 u

tg ( u )
= lim
u 0 u

sen ( u )
= lim
u 0 cos ( u ) u

sen ( u )
= lim
u 0 cos ( u )( u )

sen ( u ) 1
= lim
( u ) cos ( u )
u 0

sen ( u ) 1
= =
lim lim
( u )
u 0 u 0 cos ( u )

tg ( x )
Por lo tanto, lim =
x2 x 2

g. lim (1 + 3 tg 2 ( x ) )
cot 2 ( x )

x 0

11
Solucin. Observe que:

1
lim (1 + 3 tg 2 ( x ) ) lim (1 + 3 tg 2 ( x ) ) tg2 ( x )
cot 2 ( x )
=
x 0 x 0

1 3
= lim (1 + 3 tg 2 ( x ) ) tg2 ( x ) 3

x 0

3
1

= lim (1 + 3 tg ( x ) ) 2 ( x )
2 3tg
x 0

Si se considera el cambio de variable y = 3 tg 2 ( x ) , se puede observar que x 0 entonces

y 0 . Por lo tanto:

3

lim (1 + 3 tg 2 ( x ) )
cot 2 ( x ) 1
= lim (1 + y ) y = e3
x 0
y 0

De lo anterior se puede deducir que lim (1 + 3 tg 2 ( x ) )

cot 2 ( x )
=
e3
x 0

Teorema. Si lim f ( x ) y lim g ( x ) existen, entonces:

xa xa

a. Si f ( x ) g ( x ) lim f ( x ) lim g ( x ) .
xa xa

b. Si la funcin h es tal que f ( x ) h( x ) g ( x ) y adems si lim f ( x ) = lim g ( x ) entonces

xa x a

=
lim f ( x ) lim
= h ( x ) lim g ( x ) .
xa x a x a

Teorema. Si lim f ( x ) = L , lim g ( x ) = c y f ( x ) L para todo x a en algn intervalo abierto

xa xL

que contiene al punto a , entonces lim g ( f ( x ) ) = c .

xa

12
Observacin. Es importante mencionar que hasta el momento se han calculado lmites de
funciones que no estn definidas por tramos. Sin embargo, la definicin de lmite no
establece diferencia entre funciones definidas por tramos y funciones que no estn definidas
por tramos. El siguiente ejemplo ilustra la necesidad de contar con nuevas herramientas para
determinar el lmite de una funcin de variable real definida por tramos.

Problema. Considere la funcin de variable real definida por:

2
x + 3 x + 3 si x 1

f (x ) =
x 1
x2 1 si x > 1

Determine la existencia de lim f ( x ) .

x 1

Observe que en este caso no se puede determinar el lmite directamente, ya que la funcin
cambia su definicin dependiendo de cmo se aproxima x al punto a . Considerando lo
anterior, se introducir el concepto nuevo denominado lmite lateral, el cual permitir
determinar la existencia del lmite de una funcin definida por tramos.

Definicin. Dada una funcin de variable real f : (a, b) R y c (a, b ) definimos.

a. lim+ f ( x ) = lim f ( x ) por el lmite lateral a la derecha de c .

x c x c
x >c

b. lim f ( x ) = lim f ( x ) por el lmite lateral a la izquierda de c .

x c x c
x<c

Teorema. lim f ( x ) = L si y solo si lim

= +
f ( x ) lim
=
f ( x) L .
x c x c x c

13
As, volviendo al ejemplo anterior vemos que:

2
x + 3 x + 3 si x 1

f (x ) =
x 1
x2 1 si x > 1

Entonces, si se calculan los lmites laterales obtenemos:

Al calcular el lmite lateral por la derecha:

x 1
lim+ f ( x ) = lim+
x 1 x 1 x2 1

1
= lim+ . (1)
x 1 x +1

1
=
2

Al calcular el lmite lateral por la derecha:

x ) lim+ ( x 2 + 3 x +=
lim f (= 3) 7 (2)
x 1 x 1

Observe que de (1) y (2) se tiene que los lmites laterales en cuestin son distintos, por lo
tanto, al aplicar el teorema anterior se puede deducir que lim f ( x ) no existe.
x 1

Ejemplo. Utilicemos el concepto de lmite lateral para determinar la existencia de los

siguientes lmites.

sen ( x 2 1)
a. lim
x 1 x 1

14
Solucin. Para determinar la existencia del lmite usaremos lmites laterales.

Primero, observe que al calcular el lmite lateral por la izquierda obtenemos:

sen ( x 2 1) sen ( x 2 1)
lim = lim
x 1 x 1 x 1 ( x 1)

ya que x <1 x 1< 0 x 1 =( x 1)

sen ( x 2 1) x + 1
= lim
x 1 ( x 1) x + 1

sen ( x 2 1) x + 1
= lim
x 1
( x 2 1) 1

sen ( x 2 1) x +1

= lim lim


x 1
( x 1) 1
2 x 1

sen ( u )
( )

= lim lim ( x 1) =2

u 0 ( u ) x1
sen ( x 2 1)
Por lo tanto, lim = 2 (1)
x 1 x 1

Por otro lado, si se calcula el lmite lateral por la derecha se obtiene:

15
 sen ( x 2 1) sen ( x 2 1)
lim = lim
x 1+ x 1 x 1
x 1
ya que x >1 x 1> 0 x 1 = x 1

sen ( x 2 1) x + 1
= lim
x 1 x 1 x +1

sen ( x 2 1) x + 1
= lim
x 1
( x 2 1) 1

sen ( x 2 1)

= lim lim ( x + 1)
x 1 ( x 2 1) x 1 ( )

sen ( u )
( )

= lim = lim ( x + 1) 2

u 0 ( u ) x1

sen ( x 2 1)
Por lo tanto, lim =2 (2)
x 1 x 1

sen ( x 2 1)
As, de (1) y (2) se puede deducir que lim no existe.
x 1 x 1

b. Determine para qu valores de a, b R la funcin de variable real definida por:

=
x2 + 2x
x 2 + 3x + 2 x < 2

) ax + b
f ( x= 2 x 0 .
e3 x e 4 x
0< x
x

Admite lmite en x0 = 2 y x1 = 0 .

16
Solucin. Primero analicemos la existencia de lmite en x0 = 2 . Observe que al aplicar
lmites laterales obtenemos:

lim f ( x ) =lim ax + b =2a + b

x 2+ x 2

x ( x + 2)
=lim f ( x ) lim
= 2
x 2 x 2 ( x + 1)( x + 2 )

Por lo tanto, lim f ( x ) existe si y solamente si

x 2

2a + b =2 (1)

Analicemos la existencia de lmite en x1 = 0 . Observe que al aplicar lmites laterales

obtenemos:

lim f (=
x ) lim ax +=
b b
x 0 x 0

e3 x e 4 x
lim+ f ( x ) = lim = 1
x 0 x 0 x

Por lo tanto, lim f ( x ) existe si y solamente si

x 0

b = 1 (2)

3
As de (1) y (2) se puede deducir que lim f ( x ) y lim f ( x ) existen si y solamente si a = y
x 2 x 0 2
b = 1

17
BIBLIOGRAFA

Prado et al (2006). Clculo Diferencial para Ingeniera. Mxico: Pearson Prentice Hall.

18