Universidad Tecnolgica Nacional

Facultad Regional San Rafael

SISTEMAS DINMICOS I
Comisiones 3, 4 y 5
2012
TEMA: LMITE FUNCIONAL

ENTORNOS
DEFINICIN DE ENTORNO
Un entorno es un conjunto de puntos alrededor de uno en particular. Es un intervalo o unin de
intervalos. Se los puede expresar como tales o como inecuaciones, usando valor absoluto. Los entornos son
intervalos abiertos, ya que deseamos que se puedan analizar con un radio que se reduce tanto como se
desee.
Se llama entorno de centro a y radio , y se denota por E(a,), al intervalo abierto (a-, a+).
E (a, ) = (a , a + )


Los entornos tambin se expresan con ayuda del valor absoluto. El entorno E (a, ) se puede
expresar:
|x a|< o a < x < a +
Entorno reducido
Se emplea cuando se quiere saber qu pasa en las proximidades del punto, sin que interese lo que
ocurre en dicho punto. Es un entorno que excluye el centro del mismo, a.
E

(a, )= (a , a ) (a, a + )


Expresado con ayuda del valor absoluto. El entorno E

(a, ) se puede expresar:

0<|x a|<
LMITE FUNCIONAL
Abordaje informal del concepto
Desde un abordaje informal, el hecho que una funcin f(x) tiene un lmite L en x= a, significa que el
valor de f puede ser tan cercano a L como se desee, tomando puntos suficientemente cercanos a a,
independientemente de lo que ocurra en x= a. Por ejemplo, sea la funcin
2
x 4
f(x)
x 2

, en x = 2





a a+ a
a+ a
a
f@x_D =
x
2
4
x 2
;
f@2D
Power::infy : Infinite expression
1
0
encountered.
Infinity::indet : Indeterminate expression 0 ComplexInfinity encountered.
Indeterminate
El valor de funcin en x = 2 est indeterminado, ya que es un 0/0. Sin embargo, en las tablas
siguientes veremos que los valores de funcin siguen una tendencia:

Los valores de funcin para valores de x mayores que 2, pero que se aproximan a l, tienden a 4.

Los valores de funcin para valores de x menores que 2, pero que se aproximan a l, tienden a 4.
Ambas sucesiones de nmeros se aproximan al mismo valor, 4. La grfica de la funcin (que es en
realidad una recta, con un valor indeterminado en x=2) muestra que a medida que x sea cercana a 2, la
funcin se aproxima a 4.

Decimos entonces que el lmite de f(x) cuando x tiende a 2 es 4.

Definicin formal de lmite
Para formalizar la definicin de lmite, es necesario establecer dos entornos, uno sobre el eje x y
otro sobre el eje y. El entorno sobre x es reducido, ya que no nos interesa lo que sucede en x = a. En
cambio sobre y puede incluir el valor L.
El entorno sobre x es E

(a, ), y sobre y es E(L,). La idea es que si x a, f(x) L.

Table@8x, f@xD<, 8x, 2.1, 2.01, 0.01<D TableForm
2.1 4.1
2.09 4.09
2.08 4.08
2.07 4.07
2.06 4.06
2.05 4.05
2.04 4.04
2.03 4.03
2.02 4.02
2.01 4.01
Table@8x, f@xD<, 8x, 1.9, 1.99, 0.01<D TableForm
1.9 3.9
1.91 3.91
1.92 3.92
1.93 3.93
1.94 3.94
1.95 3.95
1.96 3.96
1.97 3.97
1.98 3.98
1.99 3.99
Plot@f@xD, 8x, 3, 3<D
-3 -2 -1 1 2 3
-1
1
2
3
4
5
Limit@f@xD, x 2D
4
Se dice que la funcin f(x) tiene como lmite el nmero L, cuando x tiende a a, si fijado un nmero
real positivo , mayor que cero, existe un numero positivo dependiente de , tal que, para todos los
valores de x distintos de a que cumplen la condicin |x a| < , se cumple que |f(x) - L| <
Expresado a travs del concepto de entornos podramos decir que, si y slo si, para cualquier
entorno de L que tomemos, por pequeo que sea su radio, existe un entorno de a ,E

(a, ), cuyos
elementos (sin contar a), tienen sus imgenes dentro del entorno de L, E(L,). En el grfico siguiente vemos
reflejados estos conceptos.










La definicin formal es:
x a
limf(x) L 0 0 / 0 x a f(x) L

= > > < < <

Se podra decir que al elegir un >0, tan pequeo como se desee, debe existir un entorno reducido
alrededor de a, de un cierto radio , de forma tal que para cualquier valor de x elegido y que
pertenezca al entorno, se produzca una imagen que est incluida dentro del entorno alrededor de L (en
lnea de trazo y puntos en el grfico).
No existencia de lmite
La no existencia de lmite, a veces es ms sencilla de interpretar. No existe lmite cuando para
agenestablecida. En el grfico adjunto se ve que si elegimos a L como lmite, hay algn para el que un
valor del dominio perteneciente al E

(a, ) genera un
valor de funcin que est fuera del entorno E(L,)
(lnea de trazos gruesos).

x a
limf(x) L 0 0 / 0 x a f(x) L

> > < <

Lmites laterales
En el anlisis realizado para demostrar la no existencia de lmite qued sin embargo
planteada una cuestin importante, y es la posibilidad de analizar lmites laterales. O sea, ser posible
hallar semientornos, a derecha e izquierda del punto analizado, que cumplan con los requerimientos del
concepto de lmite?.
a a + a
L
L +
L
a a + a
L
L +
L
Esto quiere decir que dado un posible lmite L
D
(lmite derecho)
,
podamos definir un 1 > 0, para el
que se pueda hallar un semientorno (a, a + 1), de forma tal que un valor x perteneciente a l, genere una
imagen incluida en el entorno (L
D
, L
D
+ ). Lo mismo si nos proponemos un posible lmite L
I
(lmite
izquierdo).
En general, para un y un cualquiera, podemos
definir entonces los lmites laterales como sigue:

Lmite lateral derecho:

D
x a
lim f(x) L 0 0 / a x a f(x) L
+

= > > < < + <

Lmite lateral izquierdo:

I
x a
limf(x) L 0 0 / a x a f(x) L

= > > < < <

Por ejemplo, sea la funcin por partes:
2
x 1 x 1
f(x)
x x 1
+ <

>

Su grfica es:

Si construimos tablas de valores, para analizar lo que ocurre cuando x 1, por derecha y por izquierda:

Vemos que por derecha hay una tendencia a un valor de funcin igual a 1.

f@x_D = PiecewiseA98x + 1, x < 1<, 9x
2
, x > 1==E;
Plot@f@xD, 8x, 0, 3<, PlotRange 80, 4<, PlotStyle ThickD
0.0 0.5 1.0 1.5 2.0 2.5 3.0
1
2
3
4
Table@8x, f@xD<, 8x, 1.1, 1.01, 0.01<D TableForm
1.1 1.21
1.09 1.1881
1.08 1.1664
1.07 1.1449
1.06 1.1236
1.05 1.1025
1.04 1.0816
1.03 1.0609
1.02 1.0404
1.01 1.0201
a a +
1
a
2
L
D
L
D
+
1
L
I

2
L
I
Limit@f@xD, x 1, Direction 1D
1
Por izquierda:

Se advierte una tendencia a un valor de funcin igual a 2.

En Mathematica para indicar lmites laterales, se usa la opcin Direction1, para indicar lateral
izquierdo, o Direction 1 para indicar el lateral derecho.
Lmite nico
Decimos que hay lmite nico, o simplemente que existe el
x a
limf(x) L

= cuando existen ambos lmites

laterales y son iguales o sea L
D
= L
I
= L,

D I
x a x a x a
D I
lim f(x) L limf(x) L limf(x) L
L L L
+

= = = = =
= =

Qu sucede si uno de los lmites no existe, o no existen ambos, o existen pero son distintos?.
Entonces diremos que no existe el lmite nico o simplemente que no existe el lmite.

LMITES EN LOS QUE INTERVIENE
El concepto de INFINITO interviene en tres tipos de lmites.
a)
x a
limf(x)

=
b)
x
limf(x)

=
c)
x
limf(x) k

=
En el primer caso aparece un lmite no acotado para una tendencia de la variable a un valor finito.
En el segundo caso es la variable y el lmite que tienden a infinito, y en el tercer caso el lmite es finito
cuando la variable tiende a infinito.
A) LMITE INFINITO CUANDO LA VARI ABLE TIENDE A UN VALOR FINITO.
Analicemos la funcin:
x
f(x)
x 1
=

Table@8x, f@xD<, 8x, 0.9, 0.99, 0.01<D TableForm
0.9 1.9
0.91 1.91
0.92 1.92
0.93 1.93
0.94 1.94
0.95 1.95
0.96 1.96
0.97 1.97
0.98 1.98
0.99 1.99
Limit@f@xD, x 1, Direction 1D
2
f@x_D =
x
x 1
;
f@1D
Power::infy : Infinite expression
1
0
encountered.
ComplexInfinity
Esta funcin, no est definida en x = 1, ya que se produce la divisin por 0. Vamos a estudiar su
comportamiento en las cercanas de ese valor. Como se puede apreciar fcilmente presenta un cero en su
denominador para x= 1. Por lo tanto analizaremos su comportamiento en las cercanas de ese valor. En
primer lugar hacemos una tabla que toma valores de variable entre 0,9 y 1, en intervalos de 0,01. O sea
hacemos una aproximacin por izquierda, con valores menores que 1.


Como vemos no se acepta el valor x=1. Indica que ha encontrado una expresin de divisin por 0.
Da un resultado, que para Mathematica es ComplexInfinity, y que no es un nmero. Sin embargo, si
evitamos que tome ese valor, la tabla se configura sin problemas.

Hay un crecimiento en el valor absoluto de la funcin, aunque con signo negativo.
Si nos aproximamos con nmeros por la derecha, con valores mayores que 1, vemos que hay una
aproximacin a valores de funcin cada vez mayores, positivos.

Por lo tanto podemos asegurar tres cosas:
En x=1 la funcin no est definida.
La aproximacin por izquierda nos da valores de funcin cada vez mayores en valor absoluto,
pero negativos.
t1 = TableA8x, f@xD<, 9x, 0.9, 1, 10
2
=E;
Power::infy : Infinite expression
1
0.
encountered.
TableForm@t1D
0.9 9.
0.91 10.1111
0.92 11.5
0.93 13.2857
0.94 15.6667
0.95 19.
0.96 24.
0.97 32.3333
0.98 49.
0.99 99.
1. ComplexInfinity
t2 = TableA8x, f@xD<, 9x, 0.9, 0.99, 10
2
=E;
TableForm@t2D
0.9 9.
0.91 10.1111
0.92 11.5
0.93 13.2857
0.94 15.6667
0.95 19.
0.96 24.
0.97 32.3333
0.98 49.
0.99 99.
TableForm@t3D
1.1 11.
1.09 12.1111
1.08 13.5
1.07 15.2857
1.06 17.6667
1.05 21.
1.04 26.
1.03 34.3333
1.02 51.
1.01 101.
La aproximacin por derecha nos da valores de funcin cada vez mayores en valor absoluto, y
positivos.

Veamos la grfica:


Si en la grfica hacemos un zoom, alrededor de x=1 (tomando valores de x de 0,999 a 1,001):


Refleja lo que ya hemos sealado con respecto al comportamiento cerca de x=1, o sea el
crecimiento de los valores de la funcin en valor absoluto, y con signos opuestos, a izquierda y a derecha.
Para expresar coloquialmente esta idea, podemos decir que si nos aproximamos con el valor de
x lo suficiente a x=1 por derecha, el valor de funcin tiende a +, si nos aproximamos por izquierda, tiende
a . O sea
Si x tiende a 1 por derecha, f(x) tiende a +
Si x tiende a 1 por izquierda, f(x) tiende a
Usando nomenclatura de lmite podemos escribir:
1 1
1 1
+

= = +

x x
x x
lim ; lim
x x

El signo indica que se trata de valores que crecen en valor absoluto al aproximarnos en distintos
sentidos, pero con signos opuestos. Debemos entender que infinito no es un nmero al que se pueda
acceder. Adems se ve que los lmites laterales son distintos. Por esta situacin el lmite cuando x 1 en
realidad no existe.
Plot@f@xD, 8x, 1, 3<, PlotRange 810, 10<, Exclusions 8x = 1<D
-1 1 2 3
-10
-5
5
10
Plot@f@xD, 8x, 0.999, 1.001<, Exclusions 8x = 1<D
0.9995 1.0000 1.0005 1.0010
-10000
-5000
5000
10000

x 1
x 1
x 1
x
lim
x 1
Noexistelimf(x)
x
lim
x 1

= +

Sin embargo es habitual simbolizar esta expresin diciendo:
1
1
x
x
lim
x

Lmite lateral izquierdo calculado con Mathematica

Lmite lateral derecho calculado con Mathematica

Lmite calculado con Mathematica

Asntota vertical
En el caso de lmites infinitos de este tipo, aparece un concepto importante, que s el de asntota
vertical.
En general se le llama asntota a una lnea recta que se aproxima continuamente a otra funcin
o curva; es decir que la distancia entre las dos tiende a cero, a medida que se extienden indefinidamente.
En este caso es una recta vertical, y su ecuacin es :
x = a
Sintetizando:
Si
x a
limf(x) x a es la ecuacin de la asntota vertical

= =
B)LMITE INFINITO CUANDO LA VARIABLE TIENDE A UN VALOR INFINITO.
Esta situacin es comn en funciones en las que crecen simultneamente con la variable. Por
ejemplo una funcin polinmica, se observa que si la variable crece tanto como se desee, la funcin
tambin lo hace ya que el trmino principal es una potencia, y un nmero grande elevado a una potencia
es un nmero ms grande.
Por ejemplo:
( )
( )
4 3
x
4 3
x
lim x 3 x 2x
lim x 3 x 2x

+ = +=
+ = +=

( )
( )
5 2
x
5 2
x
lim x 3 x 2x
lim x 3 x 2x

=
=

Se ve que el signo del trmino principal define el signo del lmite.
Tambin se observa un comportamiento similar en aquellas funciones racionales en las que el
numerador y denominador crecen simultneamente, pero el denominador lo hace ms rpidamente por
ser de mayor grado.
Limit@f@xD, x 1, Direction 1D

Limit@f@xD, x 1, Direction 1D

Limit@f@xD, x 1D

3 2
2
x 3x x
f(x)
x 3
+
=
+




O sea el cociente es un nmero cada vez mayor, al crecer la variable. Se advierte que el numerador
es el que contiene al trmino principal est en el numerador, y por lo tanto arrastra el valor de la funcin.
C)LIMITE FINITO CUANDO LA VARIABLE TIENDE A INFINITO
Esta situacin se presenta en funciones racionales. Ocurre cuando el grado del denominador es
mayor o igual que el grado del denominador. En este caso, y haciendo un anlisis similar al que hiciramos
antes, el trmino principal del denominador es el que ms rpidamente crece, por lo que el cociente,
para valores crecientes de la variable, tiende a 0.
Por ejemplo analicemos la siguiente funcin racional, cociente de los polinomios p(x) y q(x), en la
que el grado del denominador es mayor.


Veamos el comportamiento de los polinomios para valores relativamente grandes de la variable:

Ambos crecen, pero est claro que q(x), el denominador lo hace en forma ms pronunciada.
Veamos entonces el valor del cociente:

Es un nmero que tiende a 0. Esto lo corrobora el clculo del lmite.

Qu sucede si los grados de denominador y numerador son iguales? Analicemos el siguiente caso:

f@x_D :=
x
3
3 x
2
+ x
x
2
+ 3
p@x_D = Numerator@f@xDD
x 3 x
2
+ x
3
q@x_D = Denominator@f@xDD
3 + x
2
9pA10
6
E, qA10
6
E=
8999997000001000000, 1000000000003<
pA10
6
E qA10
6
E N
999997.
p@x_D = x
2
+ 3 x;
q@x_D = x
4
3 x
3
+ 2 x
2
;
f@x_D =
p@xD
q@xD
3 x + x
2
2 x
2
3 x
3
+ x
4
9pA10
5
E, qA10
5
E=
810000300000, 99997000020000000000<
fA10
5
E N
1.0000610
10
Limit@f@xD, x D
0
p@x_D = x
3
+ x
2
;
q@x_D = 2 x
3
+ x
2
;

Vemos que para la variable relativamente grande, ambos polinomios poseen valores de orden
parecido (nmeros de 16 cifras ambos)

Esto hace prever que el cociente pueda ser un valor finito:

El resultado es un nmero:

Ahora bien, qu relacin hay entre este resultado y la funcin original?. Teniendo en cuenta que
hasta ahora hemos analizado el resultado de los lmites estudiando el comportamiento de los trminos
principales, vemos que pasa en este caso. El coeficiente principal del numerador es 1, del denominador es
2. Entonces podemos pensar que el lmite es el cociente de los trminos principales. En general si
n n 1
n n 1 0
n n 1
n n 1 0
a x a x a x a
f(x)
b x b x b x b

+ + + +
=
+ + + +

n n 1
n n 1 0 n
n n 1
x
n n 1 0 n
a x a x a x a a
lim
b x b x b x b b

+ + + +
=
+ + + +

entonces
n
n
a
x
b
= es la ecuacin de la asntota horizontal
RESUMEN
Sean p(x) y q(x) polinomios con coeficientes reales, su lmite cuando x puede ser:
Infinito, si el grado del numerador es mayor que el grado del denominador.
Cero si el grado del denominador es mayor que el grado del numerador.
Un nmero si el grado de ambos es el mismo. Ese nmero es el cociente entre los trminos
principales.
CONCEPTO Y DEFINICIN DE CONTINUIDAD EN UN PUNTO
Ya hemos hablado en repetidas oportunidades del concepto intuitivo de continuidad en un punto.
Decamos que si era necesario levantar el lpiz para representar una grfica, esta era discontinua. Caso
contrario decamos que era continua.
Es necesario dar precisin analtica a este concepto. Para ello se recurre al anlisis de lo que sucede
en un punto, aquel en el que se desea analizar la continuidad. Se analiza y compara el valor de funcin y el
lmite de la misma.
CONTINUIDAD EN UN PUNTO
Se dice que una funcin f(x) es continua en x = a si se cumplen las siguientes condiciones:
1. La funcin est definida en el punto: f(a)
2. Existe el lmite cuando x , o sea
x a
limf(x) L

=
f@x_D =
p@xD
q@xD
x
2
+ x
3
x
2
2 x
3
9pA10
5
E, qA10
5
E=
81000010000000000 , 1999990000000000<
fA10
5
E N
0.500008
Limit@f@xD, x D

1
2
3. Ambos valores son iguales, o sea f(a) L =
Si una o ms de una de las condiciones establecidas no se cumplen, decimos que la funcin no es
continua en x=a o que es discontinua en x= a.

CLASIFICACIN DE LAS DISCONTINUIDADES
Una funcin es discontinua en un punto cuando no se cumple alguna de las condiciones establecidas.
Segn que condicin no se cumpla, ser el tipo de discontinuidad que se produce.
DISCONTINUIDAD EVITABLE, SALVABLE, O REMOVIBLE
Se presentan dos situaciones.
a) Existe la funcin y el lmite, pero no son iguales.
x a
f(a)
limf(x) L
f(a) L

En la grfica vemos un ejemplo.
Corresponde a la funcin:
x 3 si x 1
f(x)
3 si x 1
+
=

El anlisis en x= 1 nos conduce a:
1. f(1)= 3
2.
x 1
lim 4

=
3.
x 1
lim 4 3

=
La discontinuidad se llama evitable debido a que se puede definir otra funcin (en algunos textos
redefinir la funcin), en la que el valor que no est definida se reemplaza por el lmite:
x 3 si x 1
g(x)
4 si x 1
+
=

b) No existe la funcin pero s el lmite:
x a
f(a)
limf(x) L
por lo tanto f(a) L

Por ejemplo, sea la funcin:
2
x 4
f(x)
x 2

f(2) es 0/0, por lo tanto no existe; x = 2 no pertenece al dominio de f(x) y la funcin es
discontinua en x=2

( )( )
( )
2
x 2 x 2 x 2
x 2 x 2 x 4
lim lim lim x 2 4
x 2 x 2

+
= = + =


-3 -2 -1 1 2 3
1
2
3
4
5
6
Este resultado muestra que si bien la funcin en x = 2 no est definida, tiende a y = 4 cunado x tiende a
2. Por lo tanto se llama removible o evitable porque es posible redefinir la funcin o sustituirla por otra de
forma tal que sea continua.
2
x 4
si x 2
g(x)
x 2
4 si x =2


=

Obviamente la nueva funcin no es igual que la anterior. Es una funcin asociada, con iguales
valores de funcin para todos los reales, excepto en x= 2.
Igual situacin tendramos si, por ejemplo en una funcin por partes el valor de funcin para un
cierto valor de x no estuviera definida.
2
x 1 x 0
f(x)
x 1 x 0
+ <

+ >

La funcin no est definida en x=0, sin embargo
x 0 x 0
lim f(x) lim f(x) 1
+

= = , por lo que el lmite existe.
Entonces podemos definir una funcin continua:
2
x 1 x 0
g(x) x 1 x 0
1 x 0
+ <

= + >

DISCONTINUIDAD NO EVITABLE O ESENCIAL
Esta discontinuidad se caracteriza por la no existencia de lmite independientemente de la
existencia o no de la funcin. La funcin presenta un salto. Este puede ser finito o infinito, y as se llama la
discontinuidad, finita o infinita. La discontinuidad finita es frecuente en funciones definidas por partes; la
infinita es caracterstica de funciones racionales.
La discontinuidad de salto finito se presenta generalmente en funciones definidas por partes. Por
ejemplo:
1 x 0
f(x)
x x 0
<
=

Su grfica es:

En este caso, existe f(0), y es 0. Sin embargo no existe
x 0
limf(x)

, ya que los lmites laterales son

distintos:
x 0
x 0
lim f(x) 0
lim f(x) 1
+

-3 -2 -1 1 2 3
0.5
1.0
1.5
2.0
2.5
3.0
En este caso no es posible redefinir la funcin. Tampoco sera posible en el caso de no existir la
funcin.
La discontinuidad de salto infinito se presenta asociada con la existencia de asntotas verticales
antes analizadas. En este caso, generalmente no existen ni la funcin ni su lmite. Por ejemplo:
x
f(x)
x 1
=
+
cuya grfica es:

En este caso no existe la funcin ni el lmite (ya analizado antes).
RESUMEN DE DISCONTINUIDAD
Evitable:
o Existe el
x a
limf(x)

y existe f(a) pero son distintos

o Existe el
x a
limf(x)

y no existe f(a).
No evitable:
o No existe
x a
limf(x)

(generalmente tampoco existe f(a)

Salto finito: limites laterales finitos distintos.
Salto infinito: limites laterales infinitos distintos (o iguales)

-3 -2 -1 1 2 3
-2
2
4