Universidad Tecnolgica Nacional Facultad Regional San Rafael

SISTEMAS DINMICOS I
Comisiones 3, 4 y 5 2013

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 + )

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 + )

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 f(x) =
f@x_D = f@2D
1 Power::infy : Infinite expression 0 Infinity::indet : Indeterminate expression 0 ComplexInfinity encountered. encountered.

x2 4 , en x = 2 x 2

x2 4 ; x2

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:
Table@8x, f@xD<, 8x, 2.1, 2.01, 0.01<D TableForm
2.1 2.09 2.08 2.07 2.06 2.05 2.04 2.03 2.02 2.01 4.1 4.09 4.08 4.07 4.06 4.05 4.04 4.03 4.02 4.01

Los valores de funcin para valores de x mayores que 2, pero que se aproximan a l, tienden a 4.
Table@8x, f@xD<, 8x, 1.9, 1.99, 0.01<D TableForm
1.9 1.91 1.92 1.93 1.94 1.95 1.96 1.97 1.98 1.99 3.9 3.91 3.92 3.93 3.94 3.95 3.96 3.97 3.98 3.99

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.

Plot@f@xD, 8x, 3, 3<D

5

-3

-2

-1 -1

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

Limit@f@xD, x 2D
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.

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.

L+ L L

a
La definicin formal es:

a+

lim f(x) = L > 0 ( ) > 0 / 0 < x a < f(x) L <

xa

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).

L+ L L
lim f(x) L > 0 > 0 / 0 < x a < f(x) L
xa

a+

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?. Esto quiere decir que dado un posible lmite LD (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 (LD, LD + ). Lo mismo si nos proponemos un posible lmite LI (lmite izquierdo). En general, para un y un cualquiera, podemos definir entonces los lmites laterales como sigue: LD +
1

Lmite lateral derecho:

x a+

LD LI LI
2

lim f(x) = LD > 0 > 0 / a < x < a + f(x) L <

Lmite lateral izquierdo:

x a

lim f(x) = L I > 0 > 0 / a < x < a f(x) L <

a
x + 1 f(x) = 2 x Su grfica es: x <1 x >1

a+

Por ejemplo, sea la funcin por partes:

f@x_D = PiecewiseA98x + 1, x < 1<, 9x 2 , x > 1==E; Plot@f@xD, 8x, 0, 3<, PlotRange 80, 4<, PlotStyle ThickD
4

0.0

0.5

1.0

1.5

2.0

2.5

3.0

Si construimos tablas de valores, para analizar lo que ocurre cuando x 1, por derecha y por izquierda:
Table@8x, f@xD<, 8x, 1.1, 1.01, 0.01<D TableForm
1.1 1.09 1.08 1.07 1.06 1.05 1.04 1.03 1.02 1.01 1.21 1.1881 1.1664 1.1449 1.1236 1.1025 1.0816 1.0609 1.0404 1.0201

Vemos que por derecha hay una tendencia a un valor de funcin igual a 1.
Limit@f@xD, x 1, Direction 1D
1

Por izquierda:
Table@8x, f@xD<, 8x, 0.9, 0.99, 0.01<D TableForm
0.9 0.91 0.92 0.93 0.94 0.95 0.96 0.97 0.98 0.99 1.9 1.91 1.92 1.93 1.94 1.95 1.96 1.97 1.98 1.99

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

Limit@f@xD, x 1, Direction 1D
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 limf(x) = L cuando existen ambos lmites
x a

laterales y son iguales o sea LD = LI= L,

x a+

lim f(x) = LD = lim f(x) = LI = limf(x) = L

x a x a

LD = LI = 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.

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 limf(x) = L
x a

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.
f(a) =L limf(x) x a f(a) L
6 5 4 3 2 1
-3 -2 -1

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

2. lim = 4
x 1 x 1

3. 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 g(x) = 4 si x 1 si x = 1

b) No existe la funcin pero s el lmite:

f(a) =L limf(x) x a por lo tanto f(a) L

Por ejemplo, sea la funcin: f(x) = x2 4 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

lim

( x 2)( x + 2) x2 4 = lim = lim ( x + 2 ) = 4 x 2 x 2 x 2 x 2 x 2

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.
x2 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. x 2 + 1 x < 0 f(x) = x + 1 x > 0 La funcin no est definida en x=0, sin embargo lim+ f(x) = lim f(x) = 1 , por lo que el lmite existe.
x 0 x0

Entonces podemos definir una funcin continua: x 2 + 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 f(x) = x x<0 x0

Su grfica es:
3.0 2.5 2.0 1.5 1.0 0.5
-3 -2 -1

3
x 0

En este caso, existe f(0), y es 0. Sin embargo no existe limf(x) , ya que los lmites laterales son distintos:
lim f(x) = 0 x 0+ lim f(x) = 1 x 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. En este caso, generalmente no existen ni la funcin ni su lmite. Por ejemplo:

f(x) =

x cuya grfica es: x +1

4

-3

-2

-1 -2

En este caso no existe la funcin ni el lmite (ya analizado antes). RESUMEN DE DISCONTINUIDAD EN UN PUNTO Evitable: o Existe el limf(x) y existe f(a) pero son distintos
x a

Existe el limf(x) y no existe f(a).

x a

No evitable: o No existe limf(x) (generalmente tampoco existe f(a)

x a

Salto finito: limites laterales finitos distintos. Salto infinito: limites laterales infinitos distintos (o iguales) CONTINUIDAD EN UN INTERVALO ABIERTO Una funcin es continua en un intervalo abierto (a,b) si lo es en todos los valores pertenecientes a (a,b). CONTINUIDAD EN UN INTERVALO CERRADO Una funcin es continua en un intervalo cerrado [a,b] si lo es en todos los valores pertenecientes a (a,b) y adems lim f (x) = f (a) y lim f (x) = f (b) +
x a x b

ANLISIS DE CONTINUIDAD EN UN PUNTO El anlisis de continuidad de una funcin debe hacerse detectando posibles valores que ocasionen discontinuidad. Las discontinuidades en funciones racionales se presentan en las asntotas verticales o en las indeterminaciones. Las asntotas verticales representan discontinuidades esenciales o no evitables. En las indeterminaciones se presentan discontinuidades evitables o removibles. Por esta razn al determinar ceros de numerador y denominador se determinan tambin las discontinuidades. Las discontinuidades en las funciones por partes deben analizarse sobre todo en los extremos de cada dominio explcito. En estas funciones habitualmente se presentan saltos finitos.