Вы находитесь на странице: 1из 11

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
( ) ( ) ( ) ( ) , , ! " , " lim L E x f a E x L x f
a x
> >

#or 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 " > , existe un
" > tal que si
< < a x "
, entonces
( ) < L x f
( ) ( ) < < < > >

L x f a x L x f
a x
" ! " , " lim
$i una funcin
( ) x f
cumple esta definicin, decimos que es conve!ente en
a
.
%ota: #ara 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.
C"lc#lo $n$ltico %e $l!#no& lmite&
'n las funciones elementales definidas por una sola frmula (funciones polinmicas,
racionales, irracionales, exponenciales, logartmicas ) trigonom&tricas* se tiene que:
( ) ( ) a f x f
a x

lim
siempre que
f Dom a
2. LMITES LATE'ALES
'xisten funciones en las cuales no es posible calcular directamente el lmite en algn
punto. 'sto es debido a que estas funciones est+n definidas de diferente manera a la i,quierda
) a la derecha de ese punto. #ara estudiar estos lmites, necesitamos recurrir a los lmites
laterales.
Una funcin
f
tiene por lmite L cuando
x
tiende a
a
(o l$ i)*#ie%$ si para todo
" > , existe un " > tal que si a x a < < , entonces
( ) < L x f
. $e escribe
( ) L x f
a x

lim
.
Una funcin
f
tiene por lmite L cuando
x
tiende a
a
(o l$ %eec+$ si para todo
" > , existe un " > tal que si + < < a x a , entonces
( ) < L x f
. $e escribe
( ) L x f
a x

+

lim
.

CONDICIN NECESA'IA , SUFICIENTE DE CON-E'.ENCIA
-a condicin necesaria ) suficiente para que una funcin
f
tenga lmite en un punto de
abscisa
a
es que tenga lmite lateral por la i,quierda, tenga lmite lateral por la derecha )
ambos sean iguales.
( ) ( ) ( ) L x f x f L x f
a x a x a x

+

lim lim lim
C"lc#lo $n$ltico %e $l!#no& lmite&
.uando necesitamos calcular el lmite de una funcin definida a tro,os en uno de los
puntos frontera debemos recurrir a la definicin de los lmites laterales ) comprobar que
existen ) coinciden.
/. P'OPIEDADES DE LAS FUNCIONES CON-E'.ENTES
Unici%$% %e lmite.
$i una funcin es convergente o tiene lmite en un punto, este es nico.
Acot$ci0n.
Una funcin que tiene lmite en un punto est+ acotada en un entorno de ese punto.
O(e$cione& con l$& 1#ncione& conve!ente&.
$i
f
)
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
1 1 lim

2. LMITES INFINITOS CUANDO 3 TIENDE A UN N4ME'O 'EAL


'n muchas funciones, cuando
x
tiende a algunos puntos por la i,quierda o por la
derecha, el valor de
( ) x f
no se aproxima a ningn nmero real si no que se hace cada ve,
m+s grande o cada ve, m+s peque2o. 'n estos casos decimos que el lmite correspondiente es
+ o , respectivamente.
Una funcin
f
tiene por lmite + cuando
x
tiende a
a
por la i,quierda si para todo
nmero real K , existe " > , tal que si a x a < < se verifica que
( ) K x f >
. $e escribe
( ) +

x f
a x
lim
.
An+logamente para
( ) +
+

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

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

x f
a x
lim
,
( )
+

x f
a x
lim
)
( ) x f
a x
lim
.uando existe alguno de los seis lmites mencionados decimos que la funcin
f
tiene
una $&ntot$ vetic$l 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 " > , existe un nmero real K , de modo que para cualquier valor de
x
ma)or que 4
se verifica que
( ) < L x f
. $e escribe
( ) L x f
x

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


lim
.uando una funcin
f
tiene alguno de los lmites anteriores, decimos que la funcin
tiene una $&ntot$ +oi)ont$l 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 4
existe un nmero real 5, de modo que para cualquier
x
ma)or que 5 se verifica que
( ) x f

es ma)or que 4. $imblicamente:
( ) ( ) K x f M x M K x f
x
> > +
+
! , lim
An+logamente se definen
( )
+
x f
x
lim
,
( ) +

x f
x
lim
)
( )

x f
x
lim
6. C7LCULO DE LMITES
6.1. C7LCULO DE LMITES EN LAS FUNCIONES ELEMENTALES.
F#ncione& (olin0mic$&
-as funciones polinmicas son convergentes cuando
x
tiende a
a
, siendo
a
un
nmero real, ) su lmite coincide con el valor num&rico del polinomio en
a
:
( ) ( ) a P x P
a x

lim
-as funciones polinmicas, cuando
x
tiende a t , se comportan del mismo modo
que su t&rmino de ma)or grado, siendo su lmite t .
( )
n
n
x x
x a x P
t t
lim lim
F#ncione& $cion$le&
-as 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
#ara los valores de
a
que no pertenecen al dominio de la funcin ) que se
corresponden con las races del denominador aparecen las indeterminaciones de tipo
"
K
)
"
"
que se resuelven estudiando los lmites laterales ) simplificando los factores comunes del
numerador ) denominador, respectivamente.
Al calcular los lmites en el infinito de este tipo de funciones aparece la
indeterminacin

que se resuelve dividiendo numerador ) denominador por la m+xima


potencia o utili,ando la siguiente expresin:
( )
( )
m
m
n
n
x x
x b
x a
x Q
x P
t t
lim lim
'l resultado depende de los grados de los polinomios numerador ) denominador )
denominador, de forma que:
/ $i
m n >
, el lmite es infinito.
/ $i
m n
, el lmite es
m
n
b
a
.
/ $i
m n <
, el lmite es cero.
Ot$& 1#ncione& element$le&
#ara calcular lmites en las funciones irracionales, exponenciales ) logartmicas ha)
que tener mu) presente el dominio de definicin de estas funciones
6.2. OPE'ACIONES CON LMITES DE FUNCIONES
.onociendo como se calculan los lmites de las funciones elementales ) aplicando las
operaciones con lmites de funciones podemos calcular todos los dem+s. -a siguiente tabla
muestra todos los casos posibles de c+lculo de lmites funcionales, cuando la variable
x

tiende a un nmero real, + o . -os recuadros sombreados corresponden a los casos en
los cuales no es posible hallar directamente el lmite. #or esta ra,n, se llaman
in%etemin$cione& ) ha) que resolverlas de manera particular.
#ara interpretar la tabla debes recordar las propiedades vistas en el apartado 6 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 1 lim 1 lim
( )
( )
( )
( ) x g
x f
x g
x f
lim
lim
lim
1
]
1

F#ncione& (otenci$l8 e9(onenci$le&


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


-as expresiones
"
" ,
"

)
t
7 son indeterminaciones. 'n este tema slo
aprenderemos a resolver la ltima de ellas pues las dem+s se resuelven utili,ando la regla de
-8 9:pital.
Lmite %e l$ com(o&ici0n %e 1#ncione&
$ea la funcin compuesta
f g
, donde
g
es una funcin potencial (de exponente
entero o fraccionario*, logartmica o trigonom&trica (seno, coseno ) tangente* )
( ) L x f lim
. 'ntonces:
( )( ) ( ) ( ) ( ) ( ) ( ) L g x f g x f g x f g lim lim lim
6./. 'ESOLUCIN DE INDETE'MINACIONES
;odas las indeterminaciones vistas en el apartado anterior se pueden agrupar en los
siguientes tipos:
In%etemin$cione& %el ti(o

Aparecen al calcular lmites de cocientes de funciones polinmicas. $u resolucin se


ha explicado en el apartado de las funciones racionales.
In%etemin$cione& %el ti(o
"
"
-as indeterminaciones de cocientes de funciones polinmicas se resuelven
factori,ando los polinomios numerador ) denominador mediante la regla de <uffini.
-as indeterminaciones de cocientes de funciones irracionales se resuelven
multiplicando numerador ) denominador por la expresin con=ugada de la funcin que lleve
ra,.
In%etemin$cione& %el ti(o
"
K
'stas indeterminaciones se resuelven estudiando los lmites laterales de los cocientes
de funciones que los generan.
In%etemin$cione& %el ti(o
1 "
'stas indeterminaciones se resuelven transform+ndolas en las del tipo

, o en las
des del tipo
"
"
.
In%etemin$cione& %el ti(o
-as indeterminaciones con funciones racionales se resuelven operando
convenientemente.
-as indeterminaciones con funciones irracionales se resuelven multiplicando el
numerador ) el denominador por la expresin con=ugada de la funcin que lleve ra,.
In%etemin$cione& %el ti(o

7
'ste tipo de indeterminaciones se resuelven aplicando la siguiente propiedad, que es
v+lida para
"
x
real, + o .
( )
( )
( ) [ ]
( )
( ) ( ) [ ] 7 1 lim
"
"
"
"
lim
lim
7 lim

x f x g
x g
x x
x x
x x
x x
e x f
x g
x f
6.2. C7LCULO DE LMITES UTILI:ANDO INFINIT;SIMOS
E<UI-ALENTES
-lamamos infinit&simos a las funciones
( ) x f
que tienden a cero cuando
x
tiende a
un nmero real, + o
( ) x f
es un infinit&simo
( ) " lim x f
3os infinit&simos son equivalentes si el lmite de su cociente es 7.
( ) ( )
( )
( )
7 lim
"
"

x g
x f
x en x g x f
x x
.uando
( ) x f
tiende a cero, los infinit&simos equivalentes m+s importantes son:
( ) ( ) ( ) x f x f sen ( ) ( ) ( ) x f x f tg
( ) ( )
( ) [ ]
>
cos 7
>
x f
x f
( ) ( ) ( ) x f x f + 7 ln
( )
( ) a x f a
x f
ln 7
'n el c+lculo de lmites podemos sustituir un infinit&simo por su equivalente siempre
que apare,ca multiplicando o dividiendo.
=. ASNTOTAS , 'AMAS INFINITAS DE UNA FUNCIN
=.1 ASNTOTAS -E'TICALES
$i alguno de los lmites de una funcin en un punto es infinito, decimos que la funcin
tiene $m$& in1init$& vetic$le&. 'stas ramas se aproximan a una recta vertical que se llama
$&ntot$ vetic$l.
-a recta
a x
es una $&ntot$ vetic$l %e l$ 1#nci0n
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
=.2 ASNTOTAS >O'I:ONTALES
$i alguno de los lmites en el infinito de una funcin es un nmero real, decimos que la
funcin tiene $m$& in1init$& +oi)ont$le&. 'stas ramas se aproximan a una recta hori,ontal
que se llama $&ntot$ +oi)ont$l.
-a recta
L y
es una $&ntot$ +oi)ont$l %e l$ 1#nci0n
f
cuando existe al menos
uno de los siguientes lmites:
( ) L x f
x

+
lim ( ) L x f
x


lim
=./ ASNTOTAS O?LICUAS
$i una funcin se aproxima infinitamente a una recta oblicua cuando la variable
independiente tiende a infinito, decimos que la funcin tiene $m$& in1init$& o@lic#$&
+i(e@0lic$&. 'stas ramas se aproximan a una recta que se llama $&ntot$ o@lic#$.
-a recta
n mx y +
es una asntota oblicua de la funcin f cuando la pendiente
m
)
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
=.2. 'AMAS PA'A?LICAS
$i 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 $m$&
in1init$& o@lic#$& ($$@0lic$&. -as funciones con ramas infinitas parablicas carecen de
asntotas oblicuas.
-a funcin
f
tiene una rama parablica cuando existe al menos uno de los siguientes
lmites ) no existen asntotas oblicuas:
( )

x f
x
lim ( ) +

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