UNIVERSIDAD FA C U LTA D

Prof. Ing.
TECNOLGICA REGIONAL A N L IS I S MATE M TI CO I I 20 10 Tericos M.A.Ramadn
NACIONAL CRDOBA
Tema Lmites mramadan@cbasicas.frc.utn.edu.ar
Apuntes de clases
Por favor, si se encuentra algn error (smbolos, letras, nmeros, etc.)
avisar mediante e-mail a la direccin del encabezado. Gracias.-

Definicin de Lmite
Ampliando el concepto de lmites que vimos en Anam 1 para el caso de
funciones monovariables, diremos:
El lmite de una funcin multivariable z f ( x; y ) es el valor real L , cuando el

punto ( x; y ) de un cierto entorno de su dominio D f tiende al centro de dicho entorno,

dado por el punto de acumulacin ( x0 ; y0 ) , si para un nmero real , positivo y

arbitrariamente pequeo, existe otro nmero real , radioentorno del punto ( x0 ; y0 ) ,

dependiente de , y tambin positivo y arbitrario, de modo que en un entorno reducido

del punto ( x0 ; y0 ) , se verifique que el valor absoluto de la diferencia entre el valor de

la funcin en el punto de partida, y su lmite, sea menor que el valor del nmero .
En smbolos (figura 1):

Lm [ f ( x; y )] L si 0 ( ) 0 : [0 ( x x0 ) 2 ( y y0 ) 2 ] f(x; y) - L
( x ; y ) ( x0 ; y 0 )

O sea, que una funcin tendr un lmite numrico ( L) en un punto P ( x0 ; y0 ) , si

es posible que los valores de la funcin, en puntos Q ( x; y ) , se acerquen al valor L al

tomarse puntos Q cada vez ms cerca del
punto P, interesando el comportamiento de
la funcin dentro del entorno reducido del
punto de acumulacin ( P).
Como el entorno es reducido,
significa que no interesa, a los fines de la

determinacin del lmite al que tiende el

valor de la funcin, el valor de la misma en
el punto de acumulacin, pero s se
requiere el punto de acumulacin a los
efectos de asegurar que al menos un punto
del dominio, dentro del entorno reducido,
implique existencia de la funcin (que tenga

1
imagen). Por lo tanto, la funcin puede, o no, estar definida en el punto de
acumulacin.
Si el entorno del punto P ( x0 ; y0 ) , no fuera reducido, se tendra que

( x x0 ) 2 ( y y0 ) 2 y ello implica que

sera posible que ( x x0 ) 2 ( y y0 ) 2 0 ,

con lo que se obliga a la definicin de

lmite a considerar que la funcin est definida en el punto de acumulacin.
Para que esto no suceda, es
necesario que

( x x0 ) 2 ( y y0 ) 2 0 .

Al verificarse que f(x; y) - L para

que exista el lmite, significa que
f(x; y) - L , como sabemos por las
propiedades del valor absoluto de un
nmero; por lo tanto, resulta que
( L ) f(x; y) ( L ) , lo que significa que
los valores de la funcin, ubicables sobre la grfica espacial de la funcin, estn
comprendidos entre un plano inferior L y otro plano superior L ; figura 2.
En consecuencia, la definicin tambin implica que cuando la funcin tiene
lmite, en el marco de lo dicho hasta aqu, debe verificarse, simultneamente, que
( ) x x0 ( ) y y0 , en el entorno reducido. O, lo que es lo mismo:

x 0 x x0 y0 y y0 .

Por esta razn, el lmite as definido se denomina lmite simultneo, debido a

que las variables independientes de la funcin tienden (al mismo tiempo) a su lmite
(las coordenadas del punto de acumulacin) cuando la funcin tiende al suyo.
En el caso de las funciones multivariables de dos variables independientes, el
lmite simultneo tambin es llamado lmite doble.
Si las variables independientes fueran tres, el lmite ser simultneo, o tambin,
triple.
Observemos que mientras que en las funciones monovariables el lmite tiene
slo dos trayectorias posibles, por izquierda y por derecha (al ser lineal el entorno
reducido, figura 3), en las bivariables, como el entorno es circular, existen infinitas
trayectorias para ir desde un punto del entorno reducido hasta el punto de
acumulacin (en la figura 4 se indican algunas trayectorias utilizando distintos
colores).
Tambin podemos decir lo mismo considerando distintos puntos del entorno

2
reducido desde los cuales las variables independientes tienden al punto de
acumulacin siguiendo trayectorias rectilneas, figura
5.
Como por un punto pasan infinitas rectas,
tendremos como posibilidad una cantidad infinita de
trayectorias rectilneas, cada una con una pendiente
correspondiente (distintos colores de las rectas).
En el caso de lmites monovariables, si los
valores de lmite por izquierda y por derecha son
iguales, para cada uno de los puntos pertenecientes al entorno reducido del punto de
acumulacin, figura 3, decimos que el lmite de la funcin es el obtenido para estas
dos trayectorias.
Pero si los valores de lmites de ambas trayectorias son distintos, vimos que se
convena en decir que la funcin no tiene lmite.
Y esto es categrico en ambas situaciones.
Pero en el caso de las multivariables, al existir la posibilidad de infinitas
trayectorias, es fcil deducir que:
1) categricamente no existe el lmite de la funcin cuando, al menos, una trayectoria
presenta un valor distinto a las de las dems;
2) en el caso de que un convenido nmero de trayectorias presenten el mismo valor de
lmite, es probable que exista alguna otra trayectoria, de las restantes infinitas no
valoradas, que determine un valor distinto de lmite, por lo que, en este caso, diremos
que el valor de lmite obtenido en el nmero convenido de trayectorias analizadas es
probable que sea el lmite de la funcin; y probable significa que no aseguramos
categricamente que ese sea el lmite (como s ocurre en las monovariables);
3) para certificar que el lmite obtenido en el nmero convenido de trayectorias es
verdaderamente el lmite de la funcin, ser necesario verificarlo mediante la
aplicacin de la definicin de lmite.
Clculo del lmite
Dado que la definicin de lmite slo sirve para verificar que cierto valor real es
el lmite de una funcin, y por lo tanto no es viable el uso de la definicin para calcular
el valor del lmite, se utilizan procedimientos
prcticos que permiten determinar la existencia
probable , o negarla, del lmite de la funcin
monovariable.
Estos procedimientos se denominan: lmite
simultneo, lmites reiterados (o sucesivos), y
lmites radiales (o por haz de rectas, o por haz
de tangentes).

3
Lmite simultneo: consiste en considerar que las variables independientes tienden,
simultneamente, a los valores del punto de acumulacin, o sea, a sus lmites.
Una vez alcanzados estos lmites de las variables, se evala la funcin para
tales valores.
Esto se interpreta, geomtricamente, como una tendencia simultnea de las
variables independientes hacia el punto de acumulacin, a travs de una rampa, figura
6.
Como vimos en Anam 1, esto exige que la funcin sea continua en el punto de
acumulacin, si bien la definicin de lmite no requiere que la funcin est definida en
dicho punto, pero s en algn punto del entorno reducido del mismo.
Si la funcin no est definida en el punto de acumulacin (la funcin es
discontinua), el valor de la funcin es indeterminado, y lo propio se dice del lmite (que
en realidad, no es determinable).

L Lm (z) Lm ( f (x; y) f (x; y)P f (xo; yo) z(P)

En smbolos:
x xo x xo
y yo y yo
si z es continua en P.

L Lm (z) Lm ( f (x; y) Indeterminado

O bien
x x o x xo
y yo y yo
si z no es continua en P.
Si la funcin z f ( x; y ) es una expresin funcional fraccionaria, y no es continua
en el punto bajo anlisis, se procede a factorear numerador y denominador (mediante
Ruffini, por ejemplo) y simplificar los factores comunes.
Si la expresin obtenida es continua para el punto, se la vala y se obtiene el
lmite. Si no lo es, el lmite es indeterminable.
Si no fuera del todo suficiente, o la consigna de trabajo lo requiere, se aplicarn
los restantes caminos de determinacin de lmites (sucesivos, radial).
Lmite reiterado: consiste en calcular lmites en forma secuencial, primero para una
variable y despus para la otra. Esto implica que hay dos posibilidades, empezar
primero por una variable y luego por la otra, o bien, comenzar por sta y luego por la
restante. En smbolos:

4
 L1 Lm (z) Lm ( f (x; y) Lm [ Lm ( f (x; y)] Lm [ f (xo; y)] Lm [F( y)] R
xxo xxo y yo xxo y yo y yo
y yo y y o
donde R es un valor determinado, real, finito, medible.
Para que esto sea posible:
1) la funcin debe ser continua en x xo ; si no lo fuera se aplica LHopital hasta
lograrlo;
2) f ( xo ; y ) F ( y ) debe ser continua en y yo .
La figura 7 da la interpretacin geomtrica de la trayectoria seguida en el
clculo de este lmite.
Si en cambio, se sigue la trayectoria sugerida por la figura 8, se calcula as:

L2 Lm (z) Lm ( f (x; y) Lm [ Lm ( f (x; y)] Lm [ f (x; yo)] Lm [G(x)] R

xxo xxo xxo y yo xxo xxo
y yo y y o

5
 Si ambos clculos coinciden en el valor R , se dir que es probable que el lmite
sea R.
Si no coinciden, categricamente se dice que la funcin no tiene lmite para el
punto considerado (en realidad tiene un lmite para cada trayectoria, pero no son
iguales).
Es probable que estos pasos sean suficientes para la determinacin del lmite de
la funcin.
Si no fuera del todo suficiente, o la consigna de trabajo lo requiere, se aplicarn
los restantes caminos de determinacin de lmites (simultneo, radial).
Lmite radial: consiste en tomar como trayectorias posibles, las pertenecientes al haz
de rectas que pasa por el punto de acumulacin (figura 5), cuyo algoritmo es:
y yo m ( x xo ) , donde m es la pendiente de cada recta considerada; x0 e y0 son
las coordenadas del punto de acumulacin, y x e y son las coordenadas del punto

(genrico) perteneciente al entorno reducido de P ( x0 ; y0 ) .

Se sustituye el haz de rectas en la expresin de la funcin, obtenindose una
nueva expresin en funcin de la variable x y del parmetro m.
Se analiza si la expresin as obtenida es continua en x0 y, en caso de serlo, se

la evala y se obtiene el lmite buscado, el que ser un nmero real R h(m) .

Si no es continua, se obtendr una expresin alfanumrica con m como
variable, es decir z h(m) , lo que se interpreta que se obtendr un valor real para
cada pendiente m que se considere; esto es, habr tantos valores de lmite como
valores de pendiente; evidentemente, bastar con ver que dos valores son distintos
para decir, categricamente, que el lmite no existe.
Antes de cerrar el anlisis, se procurar ver si es posible levantar esta
indeterminacin mediante la aplicacin reiterada de LHopital.
Si no fuera del todo suficiente, o la consigna de trabajo lo requiere, se aplicarn
los restantes caminos de determinacin de lmites (sucesivos, simultneo).
Verificacin: en el caso de que el valor de lmite obtenido por aplicacin de algunos de
los procedimientos mencionados lo requiera, se puede aplicar la definicin de lmite, al
lmite hallado, para verificar su validez; en este caso, diremos categricamente que
se es el lmite de la funcin (dej de ser probable).

6
 Como se ver en los prcticos, no es fcil la aplicacin de la definicin de lmite
para la verificacin; requiere experiencia en la tarea y una base algebraica
interesante; por ello, se analizan en los prcticos algunos casos didcticos.
En general, si bien la determinacin del lmite no es categrica mediante los
procedimientos indicados, es suficientemente satisfactorio, y suficiente en la mayora
de los casos, sin necesidad de llegar a la verificacin.
Ejemplo 1: ver el ejercicio 7 del Ejemplario.
Ejemplo 2: ver el ejercicio 6 del Ejemplario.
Conclusiones complementarias:
si al aplicar todos los procedimientos prcticos descriptos, el valor de lmite
obtenido es el mismo, se dice que es probable que el lmite hallado es el lmite de la

funcin: L L1 L2 LR ; entonces, es probable que el lmite de la funcin sea L .

Si alguno de los lmites es distinto: L L1 LR L2 entonces la funcin no tiene

lmite .
Puede determinarse el lmite por otras trayectorias (cuadrticas, cbicas,
exponenciales, etc.), pero basta que una sola d un valor distinto para decir que no
exista el lmite.
Si la funcin tiene lmite en un punto, ese lmite es nico, y cualquiera fuera la
trayectoria utilizada debe obtenerse el mismo valor de lmite. Por ejemplo, puede
obtenerse un valor de lmite doble, pero los reiterados son distintos; la funcin no
tiene lmite. O los lmites reiterados son iguales, pero el radial es distinto; no existe el
lmite.
Qu procedimiento utilizar primero?. Ello depende de la consigna del problema,
en primer lugar; cada procedimiento implica una trayectoria, al menos, por lo que se
suele tomar dos o tres caminos para verificar si los valores coinciden o no; luego, si es
necesario, verificar mediante la definicin.
Propiedades de los lmites: son las mismas vistas en funciones monovariables, por
lo que se solicita, como consigna, el repasarlas comprensivamente.

* * * * * * *
Consignas:
a) contemplar el instructivo general para cada actividad de aprendizaje; b)
analizar el terico, antes, durante, y a posteriori de las actividades prcticas; c)
si hay, no olvidar analizar el Ejemplario; d) complementar con la bsqueda
bibliogrfica del tema en tres textos base ; e) complementar el terico,
enriquecido con los textos base, con las actividades prcticas realizadas, y
complementar stas con el terico enriquecido.

7
 * * * * * * *
Recreo:
Pap, pap!,me hacs el problema de matemticas?, clam Pedrito.
-No hijo, no estara bien, contest el padre.
-Bueno.intntalo lo mismo

* * * * * * *