TEMA 2: LMITES DE FUNCIONES

1. LMITE DE UNA FUNCIN EN UN PUNTO

Intuitivamente la idea que tenemos de lmite de una funcin en un
punto es el nmero hacia el que se aproximan los valores que toma la
funcin cuando la variable independiente se aproxima a ese punto.
Analticamente podemos definir el lmite de una funcin en un punto de
la siguiente manera:
Una funcin
f
tiene por lmite L cuando
x
tiende a
a
si para todo
entorno
( ) , L E
existe un entorno
( ) , a E
, de modo que para todo
x

perteneciente al entorno reducido ( ) ,
*
a E se cumple que
( ) x f
pertenece
al entorno
( ) , L E
( ) ( ) ( ) ( ) , , / 0 , 0 lim L E x f a E x L x f
a x
> >

Por la definicin de entorno podemos expresar la definicin de lmite

de la siguiente manera:
Una funcin
f
tiene por lmite L cuando
x
tiende a
a
si para todo
0 > , existe un 0 > tal que si
< < a x 0
, entonces
( ) < L x f
( ) ( ) < < < > >

L x f a x L x f
a x
0 / 0 , 0 lim
Si una funcin
( ) x f
cumple esta definicin, decimos que es
convergente en
a
.
Nota: Para que una funcin tenga lmite en un punto de abscisa
a
, o
sea convergente en ese punto, no es necesario que la funcin est
definida en ese punto.
Clculo analtico de algunos lmites
En las funciones elementales definidas por una sola frmula (funciones
polinmicas, racionales, irracionales, exponenciales, logartmicas y
trigonomtricas) se tiene que:
( ) ( ) a f x f
a x

lim
siempre que
f Dom a
2. LMITES LATERALES
Existen funciones en las cuales no es posible calcular directamente el
lmite en algn punto. Esto es debido a que estas funciones estn
definidas de diferente manera a la izquierda y a la derecha de ese punto.
Para estudiar estos lmites, necesitamos recurrir a los lmites laterales.
Una funcin
f
tiene por lmite L cuando
x
tiende a
a
por la
izquierda si para todo 0 > , existe un 0 > tal que si a x a < < , entonces
( ) < L x f
. Se escribe
( ) L x f
a x

lim
.
Una funcin
f
tiene por lmite L cuando
x
tiende a
a
por la
derecha si para todo 0 > , existe un 0 > tal que si + < < a x a , entonces
( ) < L x f
. Se escribe
( ) L x f
a x

+

lim
.

CONDICIN NECESARIA Y SUFICIENTE DE CONVERGENCIA
La condicin necesaria y suficiente para que una funcin
f
tenga
lmite en un punto de abscisa
a
es que tenga lmite lateral por la
izquierda, tenga lmite lateral por la derecha y ambos sean iguales.
( ) ( ) ( ) L x f x f L x f
a x a x a x

+

lim lim lim
Clculo analtico de algunos lmites
Cuando necesitamos calcular el lmite de una funcin definida a trozos
en uno de los puntos frontera debemos recurrir a la definicin de los
lmites laterales y comprobar que existen y coinciden.
3. PROPIEDADES DE LAS FUNCIONES CONVERGENTES
Unicidad de lmite.
Si una funcin es convergente o tiene lmite en un punto, este es nico.
Acotacin.
Una funcin que tiene lmite en un punto est acotada en un entorno
de ese punto.
Operaciones con las funciones convergentes.
Si
f
y
g
son dos funciones convergentes en
a
:
( ) L x f
a x

lim ( ) M x g
a x

lim
se verifican las siguientes propiedades:
-
( ) ( ) M L x g f
a x
t t

lim
-
( ) 0 ; lim

,
_

M si
M
L
x
g
f
a x
-
( ) ( )

L x f
a x
lim
-
( ) [ ]
( )
0 ; lim >

L L x f
M x g
a x
-
( )( ) M L x g f
a x
lim

4. LMITES INFINITOS CUANDO X TIENDE A UN NMERO REAL

En muchas funciones, cuando
x
tiende a algunos puntos por la
izquierda o por la derecha, el valor de
( ) x f
no se aproxima a ningn
nmero real si no que se hace cada vez ms grande o cada vez ms
pequeo. En estos casos decimos que el lmite correspondiente es + o
, respectivamente.
Una funcin
f
tiene por lmite + cuando
x
tiende a
a
por la
izquierda si para todo nmero real K , existe 0 > , tal que si a x a < < se
verifica que
( ) K x f >
. Se escribe
( ) +

x f
a x
lim
.
Anlogamente para
( ) +
+

x f
a x
lim
Una funcin
f
tiene por lmite + cuando
x
tiende a
a
si para todo
nmero real K , existe 0 > , tal que si
< < a x 0
se verifica que
( ) K x f >
.
Se escribe
( ) +

x f
a x
lim
.
De forma similar se pueden definir
( )

x f
a x
lim
,
( )
+

x f
a x
lim
y
( ) x f
a x
lim
Cuando existe alguno de los seis lmites mencionados decimos que la
funcin
f
tiene una asntota vertical en
a x
.
5. LMITES EN EL INFINITO
5.1 LMITES FINITOS EN EL INFINITO
Una funcin
f
tiene por lmite un nmero real L cuando
x
tiende
a + si para todo 0 > , existe un nmero real K , de modo que para
cualquier valor de
x
mayor que K se verifica que
( ) < L x f
. Se escribe
( ) L x f
x

+
lim
Una funcin
f
tiene por lmite un nmero real L cuando
x
tiende
a si para todo 0 > , existe un nmero real M , de modo que para
cualquier valor de
x
menor que M se verifica que
( ) < L x f
. Se escribe
( ) L x f
x


lim
Cuando una funcin
f
tiene alguno de los lmites anteriores,
decimos que la funcin tiene una asntota horizontal de ecuacin
L y
.
5.2 LMITES INFINITOS EN EL INFINITO
Una funcin
f
tiende a + cuando
x
tiende a + si para todo
nmero real K existe un nmero real M, de modo que para cualquier
x

mayor que M se verifica que
( ) x f
es mayor que K. Simblicamente:
( ) ( ) K x f M x M K x f
x
> > +
+
/ , lim
Anlogamente se definen
( )
+
x f
x
lim
,
( ) +

x f
x
lim
y
( )

x f
x
lim
6. CLCULO DE LMITES
6.1. CLCULO DE LMITES EN LAS FUNCIONES ELEMENTALES.
Funciones polinmicas
Las funciones polinmicas son convergentes cuando
x
tiende a
a
,
siendo
a
un nmero real, y su lmite coincide con el valor numrico del
polinomio en
a
:
( ) ( ) a P x P
a x

lim
Las funciones polinmicas, cuando
x
tiende a t , se comportan
del mismo modo que su trmino de mayor grado, siendo su lmite t .
( )
n
n
x x
x a x P
t t
lim lim
Funciones racionales
Las funciones racionales son convergentes cuando
x
tiende a
a
,
para todo valor de
a
perteneciente al dominio de la funcin:
( )
( )
( )
( )
f Dom a
a Q
a P
x Q
x P
a x

lim
Para los valores de
a
que no pertenecen al dominio de la funcin y
que se corresponden con las races del denominador aparecen las
indeterminaciones de tipo
0
K
y
0
0
que se resuelven estudiando los lmites
laterales y simplificando los factores comunes del numerador y
denominador, respectivamente.
Al calcular los lmites en el infinito de este tipo de funciones aparece
la indeterminacin

que se resuelve dividiendo numerador y

denominador por la mxima potencia o utilizando la siguiente expresin:
( )
( )
m
m
n
n
x x
x b
x a
x Q
x P
t t
lim lim
El resultado depende de los grados de los polinomios numerador y
denominador y denominador, de forma que:
- Si
m n >
, el lmite es infinito.
- Si
m n
, el lmite es
m
n
b
a
.
- Si
m n <
, el lmite es cero.
Otras funciones elementales
Para calcular lmites en las funciones irracionales, exponenciales y
logartmicas hay que tener muy presente el dominio de definicin de estas
funciones
6.2. OPERACIONES CON LMITES DE FUNCIONES
Conociendo como se calculan los lmites de las funciones
elementales y aplicando las operaciones con lmites de funciones podemos
calcular todos los dems. La siguiente tabla muestra todos los casos
posibles de clculo de lmites funcionales, cuando la variable
x
tiende a
un nmero real, + o . Los recuadros sombreados corresponden a los
casos en los cuales no es posible hallar directamente el lmite. Por esta
razn, se llaman indeterminaciones y hay que resolverlas de manera
particular.
Para interpretar la tabla debes recordar las propiedades vistas en el
apartado 3 del tema sobre operaciones con lmites:
( ) ( ) [ ] ( ) ( ) x g x f x g x f lim lim lim + +
( ) ( ) [ ] ( ) ( ) x g x f x g x f lim lim lim
( ) ( ) [ ] ( ) ( ) x g x f x g x f lim lim lim
( )
( )
( )
( ) x g
x f
x g
x f
lim
lim
lim
1
]
1

Funciones potencial- exponenciales

Los lmites de este tipo de funciones se resuelven aplicando la
propiedad:
( )
( )
[ ] ( ) [ ]
( ) x g x g
x f x f
lim
lim lim
Los posibles resultados se recogen en la siguiente tabla:


Las expresiones
0
0 ,
0

y
t
1 son indeterminaciones. En este tema
slo aprenderemos a resolver la ltima de ellas pues las dems se
resuelven utilizando la regla de L Hpital.
Lmite de la composicin de funciones
Sea la funcin compuesta
f g
, donde
g
es una funcin potencial
(de exponente entero o fraccionario), logartmica o trigonomtrica (seno,
coseno y tangente) y
( ) L x f lim
. Entonces:
( )( ) ( ) ( ) ( ) ( ) ( ) L g x f g x f g x f g lim lim lim
6.3. RESOLUCIN DE INDETERMINACIONES
Todas las indeterminaciones vistas en el apartado anterior se
pueden agrupar en los siguientes tipos:
Indeterminaciones del tipo

Aparecen al calcular lmites de cocientes de funciones polinmicas.

Su resolucin se ha explicado en el apartado de las funciones racionales.
Indeterminaciones del tipo
0
0
Las indeterminaciones de cocientes de funciones polinmicas se
resuelven factorizando los polinomios numerador y denominador mediante
la regla de Ruffini.
Las indeterminaciones de cocientes de funciones irracionales se
resuelven multiplicando numerador y denominador por la expresin
conjugada de la funcin que lleve raz.
Indeterminaciones del tipo
0
K
Estas indeterminaciones se resuelven estudiando los lmites
laterales de los cocientes de funciones que los generan.
Indeterminaciones del tipo
0
Estas indeterminaciones se resuelven transformndolas en las del
tipo

, o en las des del tipo

0
0
.
Indeterminaciones del tipo
Las indeterminaciones con funciones racionales se resuelven
operando convenientemente.
Las indeterminaciones con funciones irracionales se resuelven
multiplicando el numerador y el denominador por la expresin conjugada
de la funcin que lleve raz.
Indeterminaciones del tipo

1
Este tipo de indeterminaciones se resuelven aplicando la siguiente
propiedad, que es vlida para
0
x
real, + o .
( )
( )
( ) [ ]
( )
( ) ( ) [ ] 1 lim
0
0
0
0
lim
lim
1 lim

x f x g
x g
x x
x x
x x
x x
e x f
x g
x f
6.4. CLCULO DE LMITES UTILIZANDO INFINITSIMOS
EQUIVALENTES
Llamamos infinitsimos a las funciones
( ) x f
que tienden a cero
cuando
x
tiende a un nmero real, + o
( ) x f
es un infinitsimo
( ) 0 lim x f
Dos infinitsimos son equivalentes si el lmite de su cociente es 1.
( ) ( )
( )
( )
1 lim
0
0

x g
x f
x en x g x f
x x
Cuando
( ) x f
tiende a cero, los infinitsimos equivalentes ms
importantes son:
( ) ( ) ( ) x f x f sen ( ) ( ) ( ) x f x f tg
( ) ( )
( ) [ ]
2
cos 1
2
x f
x f
( ) ( ) ( ) x f x f + 1 ln
( )
( ) a x f a
x f
ln 1
En el clculo de lmites podemos sustituir un infinitsimo por su
equivalente siempre que aparezca multiplicando o dividiendo.
7. ASNTOTAS Y RAMAS INFINITAS DE UNA FUNCIN
7.1 ASNTOTAS VERTICALES
Si alguno de los lmites de una funcin en un punto es infinito,
decimos que la funcin tiene ramas infinitas verticales. Estas ramas se
aproximan a una recta vertical que se llama asntota vertical.
La recta
a x
es una asntota vertical de la funcin
f
cuando
existe al menos uno de los seis lmites siguientes:
( ) +

x f
a x
lim ( ) +
+

x f
a x
lim ( ) +

x f
a x
lim
( )

x f
a x
lim ( )
+

x f
a x
lim ( )

x f
a x
lim
7.2 ASNTOTAS HORIZONTALES
Si alguno de los lmites en el infinito de una funcin es un nmero
real, decimos que la funcin tiene ramas infinitas horizontales. Estas
ramas se aproximan a una recta horizontal que se llama asntota
horizontal.
La recta
L y
es una asntota horizontal de la funcin
f

cuando existe al menos uno de los siguientes lmites:
( ) L x f
x

+
lim ( ) L x f
x


lim
7.3 ASNTOTAS OBLICUAS
Si una funcin se aproxima infinitamente a una recta oblicua cuando
la variable independiente tiende a infinito, decimos que la funcin tiene
ramas infinitas oblicuas hiperblicas. Estas ramas se aproximan a una
recta que se llama asntota oblicua.
La recta
n mx y +
es una asntota oblicua de la funcin f cuando la
pendiente
m
y la ordenada en el origen
n
pueden obtenerse mediante
los siguientes lmites:
( )
x
x f
m
x t
lim
( ) [ ] mx x f n
x

t
lim
7.4. RAMAS PARABLICAS
Si los valores de una funcin crecen indefinidamente cuando la
variable independiente tiende a infinito pero sin aproximarse a una recta
oblicua, decimos que la funcin tiene ramas infinitas oblicuas
parablicas. Las funciones con ramas infinitas parablicas carecen de
asntotas oblicuas.
La funcin
f
tiene una rama parablica cuando existe al menos uno
de los siguientes lmites y no existen asntotas oblicuas:
( )

x f
x
lim ( ) +

x f
x
lim
( )
+
x f
x
lim ( ) +
+
x f
x
lim