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 ( ) c , L E
existe un entorno ( ) o , a E , de modo que para todo x perteneciente al entorno reducido
( ) o ,
*
a E se cumple que ( ) x f pertenece al entorno ( ) c , L E

( ) ( ) ( ) ( ) c o o c , , / 0 , 0 lim L E x f a E x L x f
a x
e e > - > =

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 > c , existe un
0 > o tal que si o < < a x 0 , entonces ( ) c < L x f

( ) ( ) c o o c < < < > - > =

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 ae

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 > c , existe un 0 > o tal que si a x a < < o , entonces ( ) c < 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 > c , existe un 0 > o tal que si o + < < a x a , entonces ( ) c < 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
=

lim - ( ) 0 ; lim = =
|
|
.
|

\
|

M si
M
L
x
g
f
a x

- ( )( ) 9 e =

o o o 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 > o , tal que si a x a < < o 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 > o , tal que si o < < 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 > c , existe un nmero real K , de modo que para cualquier valor de x mayor que K
se verifica que ( ) c < 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 > c , existe un nmero real M , de modo que para cualquier valor de x menor que
M se verifica que ( ) c < 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
> > 9 e - 9 e + =
+
/ , 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 , se comportan del mismo modo
que su trmino de mayor grado, siendo su lmite .

( )
n
n
x x
x a x P

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

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

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

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

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
= lim ( ) | | mx x f n
x
=

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