C xictio ur Aiotxos Lmrrrs

1. Demostrar usando s olo la denici on que lm

x3
x
2
= 9
Para cada > 0 debemos encontrar un > 0 que unicamente dependa del dado de modo
que
0 < |x 3| < = |x
2
9| <
Se trata de determinar a qu e distancia debe estar x de 3 para poder asegurar que x
2
va a estar a
una distancia menor que el dado del n umero 9.
Gr acamente, esto lo podramos resolver as
3
9
x
2
( )
a b

9
9+
Es claro que todos los x que est an entre a y b al elevarlos al cuadrado van a estar entre 9
y 9 + . Entonces, si tomamos un m as chico que 3 a y tambi en m as chico que b 3
resultar a que (3 , 3 + ) (a, b). En consecuencia, todos los x (3 , 3 + ) satisfar an
x
2
(9 , 9 + ). Esto lo podemos expresar as
|x 3| < = |x
2
9| <
De esta forma hemos hallado al menos gr acamente la relaci on que debe haber entre y
. Pero no siempre la funci on es tan simple como en este caso y probablemente sea muy
complicado gracarla.
Una forma de lograr esto analticamente es reescribir la expresi on |x
2
9| como un producto
donde uno de los factores sea |x 3|, que es precisamente lo que necesitamos saber cu an chico
debe ser para lograr que |x
2
9| sea menor que .
Si factorizamos x
2
9 = (x 3)(x + 3) logramos nuestro objetivo: |x
2
9| = |x 3||x + 3|.
Ahora bien, como el que buscamos no puede depender m as que de , nuestro pr oximo paso
ser a encontrar un n umero independiente de x que pueda reemplazar a |x + 3|.
Para lograr esto recordemos que nuestro prop osito es ver que |x
2
9| es menor que , entonces
si consegui eramos una expresi on un poco m as grande que |x
2
9| a la que pudi eramos hacer
2 MARIA DEL CARMEN CALVO
menor que nuestro objetivo estara logrado. Lo que se necesita entonces es encontrar un
n umero, llam emoslo M, tal que
|x + 3| < M
Si no le imponemos ninguna restricci on a x, esto no va a ser posible ya que |x + 3| puede tomar
valores arbitrariamente grandes. Para resolver este inconveniente pensamos lo siguiente: como
nos interesa estar cerca de 3, una restricci on razonable sobre x sera
2 < x < 4
que es lo mismo que decir:
|x 3| < 1
(cualquier restricci on de la forma |x 3| < d con d > 0 ser a razonable cuando x 3)
Con esta restricci on, podemos armar que 2 + 3 < x + 3 < 4 + 3, es decir
5 < x + 3 < 7
Por lo tanto,
|x + 3| =

x+3>5>0
x + 3 < 7
De esta forma, gracias a la restricci on impuesta a x: |x3| < 1, logramos el M que busc abamos.
1
Entonces, podemos decir
|x
2
9| = |x 3||x + 3| <

si |x3|<1
7|x 3|
Y a partir de aqu es clara la vinculaci on entre y : para que
|x
2
9| <
bastara tomar
|x 3| <

7
Resumiendo, para poder llegar a que |x
2
9| < impusimos las siguientes condiciones:
|x 3| < 1 y |x 3| <

7
Esto nos dice que si tomamos
= mnimo entre 1 y

7
podremos armar que
|x 3| < = |x
2
9| <
y por lo tanto tambi en que
0 < |x 3| < = |x
2
9| <
que era justamente lo que pretendamos en un principio.
Comentario: desde luego que no se pretende que hagan una exposici on tan detallada al de-
mostrar un lmite por denici on. Alcanza con lo siguiente:
1
a este proceso de encontrar M lo solemos llamar acotar la expresi on |x + 3|
FACULTAD DE CIENCIAS FISICOMATEMATICAS E INGENIERIA UCA MATEMATICA III 2004 3
|x
2
9| = |x 3||x + 3|
Ahora bien, como x 3 una restricci on admisible puede ser
|x 3| < 1
En ese caso,
2 < x < 4 con lo cual 5 < x + 3 < 7
En particular, podemos asegurar que x + 3 > 0 y en consecuencia
|x + 3| = x + 3 < 7
Entonces,
|x
2
9| = |x 3||x + 3| <

si |x3|<1
7|x 3|
Entonces, si agregamos la condici on
7|x 3| <
es decir,
|x 3| <

7
logramos lo que queramos: |x
2
9| < . Esto nos dice que alcanza con tomar
= mn{1,

7
}
para garantizar que
0 < |x 3| < = |x
2
9| <
2. Demostrar usando s olo la denici on que lm
(x,y)(1,9)
xy = 9
Dado > 0 debemos encontrar un > 0 tal que
0 < |x + 1| < , 0 < |y 9| < = |xy + 9| <
Razonando como en el ejercicio anterior, la idea ser a reescribir |xy +9| de modo tal que aparez-
can las dos expresiones que podemos achicar cuando (x, y) (1, 9); es decir,
|x + 1| y |y 9|
Una forma de lograrlo es restar y sumar para que no altere por ejemplo: 9x
2
2
se puede trabajar de igual forma si sumamos y restamos: (1)y
4 MARIA DEL CARMEN CALVO
Entonces,
|xy + 9| = |xy 9x + 9x + 9| = |x(y 9) + 9(x + 1)| |x||y 9| + 9|x + 1| (1)
En el primer sumando se presenta una situaci on similar a la que tuvimos con |x + 3| en el
ejercicio anterior. Luego, recordando que ahora x 1, una restricci on razonable es:
|x + 1| < 1
Considerando esta condici on podemos asegurar que
1 < x + 1 < 1
o, equivalentemente,
2 < x < 0
Luego,
|x| =

x<0
x <

2<x
2
Volviendo a (1),
|xy + 9| |x||y 9| + 9|x + 1| <

si |x+1|<1
2|y 9| + 9|x + 1|
A partir de aqu queda claro que bastara que se cumpliera
2|y 9| <

2
y 9|x + 1| <

2
es decir,
|y 9| <

4
y |x + 1| <

18
(dos condiciones razonables dado que y 9 y x 1)
para asegurar que
|xy + 9| <

2
+

2
=
Resumiendo, para poder llegar a |xy + 9| < impusimos las siguientes condiciones
|x + 1| < 1 , |y 9| <

4
, |x + 1| <

18
De modo que si tomamos
= mn{1,

4
,

18
} = mn{1,

18
}
podemos armar que
0 < |x + 1| < , 0 < |y 9| < = |xy + 9| <
como queramos.
Comentario: nuevamente, no se pretende que hagan una exposici on tan detallada al de-
mostrar un lmite por denici on. Es suciente poner lo siguiente:
FACULTAD DE CIENCIAS FISICOMATEMATICAS E INGENIERIA UCA MATEMATICA III 2004 5
|xy + 9| = |xy 9x + 9x + 9| = |x(y 9) + 9(x + 1)| |x||y 9| + 9|x + 1|
Como x 1 una restricci on admisible puede ser
|x + 1| < 1
En tal caso,
1 < x + 1 < 1 con lo cual 2 < x < 0
y en consecuencia
|x| =

x<0
x <

2<x
2
Entonces,
|xy + 9| = |x||y 9| + 9|x + 1| <

si |x+1|<1
2|y 9| + 9|x + 1|
Si agregamos las condiciones
2|y 9| <

2
y 9|x + 1| <

2
que es lo mismo que decir,
|y 9| <

4
y |x + 1| <

18
logramos que: |xy + 9| < . Esto nos dice que alcanza con tomar
= mn{1,

4
,

18
} = mn{1,

18
}
para garantizar que
0 < |x + 1| <
0 < |y 9| <

= |xy + 9| <
6 MARIA DEL CARMEN CALVO
Importante
Cuando se resuelve este tipo de ejercicios hay que tener mucho cuidado con las desigual-
dades.
Un error muy com un es olvidar la siguiente propiedad
a < b y c < 0 = ac > bc
Y entonces aparecen conclusiones err oneas, como sera el caso de armar que
0 < x < y < z
a < b < c

= ax < by < cz
sin preocuparse del signo de a , b y c.
Por ejemplo,
1 < 3 < 7 y 6 < 4 < 2
pero
1(6) < 3(4) < 7(2)
es claramente FALSO.
Lo correcto, si se tienen las desigualdades
0 < x < y < z y a < b < c < 0
y uno quiere multiplicarlas miembro a miembroes multiplicar por 1 la segunda cadena
de desigualdades, con lo cual se tiene ahora
0 < x < y < z y 0 < c < b < a
de donde s se concluye por ser todos los n umeros (de la segunda cadena) positivos que
x(c) < y(b) < z(a)
y nalmente multiplicando por 1 llegamos a
az < by < cx
Otro error muy com un es decir que si dos n umeros satisfacen determinada desigualdad,
entonces sus respectivos m odulos tambi en. Eso, en general, es FALSO. Consideremos, por
ejemplo
3 < 1 es cierto, pero | 3| < | 1| es FALSO
La funci on m odulo es decreciente en R
<0
y creciente en R
>0
; es decir, no es mon otona en R.
FACULTAD DE CIENCIAS FISICOMATEMATICAS E INGENIERIA UCA MATEMATICA III 2004 7
3. Probar que lm
(x,y)(1,5)
(x
2
y
2
+
1
x
) = 23
C omo se lleg o a la conclusi on? Seguramente se tuvo en cuenta que
x
2

x1
1 , y
2

y5
25 ,
1
x

x1
1 (2)
Esto sugiere agrupar de la siguiente manera
|x
2
y
2
+
1
x
(23)| = |x
2
y
2
+
1
x
(1 25 + 1)| = |(x
2
1) (y
2
25) + (
1
x
1)|

cada par entisis se achica

cuando (x,y)(1,5)
|x
2
1| + |y
2
25| + |
1
x
1|
= |x 1|

0
|x + 1|

2
+ |y 5|

0
|y + 5|

10
+ |x 1|

0
1
|x|

(x,y)(1,5)
0
Norx: tambi en se considera probado si se usan las propiedades del lmite de una suma y de un
producto y los resultados conocidos (2). Es decir,
lm
(x,y)(1,5)
(x
2
y
2
+
1
x
) = lm
(x,y)(1,5)
x
2
lm
(x,y)(1,5)
y
2
+ lm
(x,y)(1,5)
1
x
= lm
x1
x
2
lm
y5
y
2
+ lm
x1
1
x
= 1 25 + 1 = 23
4. Analizar la existencia de lm
(x,y)(0,0)
1
x
+
1
y
Notemos que la funci on f (x, y) =
1
x
+
1
y
no est a denida sobre los ejes (luego, no nos vamos a
poder acercar al origen por esas direcciones).
Adem as sabemos que
lm
(x,y)(0,0)
1
x
= lm
x0
1
x
=
lm
(x,y)(0,0)
1
y
= lm
x0
1
y
=
Pero como tanto x como y pueden ser positivos o negativos cerca del origen, no podemos con
esta unica informaci on decidir qu e pasa con la suma.
Aunque s sera razonable sospechar que podra no existir este lmite. Analicemos un poco m as
detalladamente la situaci on
8 MARIA DEL CARMEN CALVO
si x e y tienen el mismo signo (i.e., (x, y) est a en el primer o tercer cuadrante) es claro que
| f (x, y)|
(x,y)(0,0)

pero las cosas no est an tan claras si tienen signos distintos. Es m as, si tomamos y = x
f (x, x) =
1
x

1
x
= 0
x0
0
Parece claro entonces que este lmite no existe. Una vez descubierto este hecho, una manera
simple de justicar que no existe es la siguiente
Sea f (x, y) =
1
x
+
1
y
. Consideremos las curvas
(t) = (t, t) y (t) = (t, t)
Es claro que ambas tienden a (0, 0) cuando t 0 y
f ((t)) = f (t, t) = 2
1
t

t0
, f ((t)) = f (t, t) =
1
t

1
t
= 0
t0
0
Siendo estos lmites distintos, podemos asegurar que lm
(x,y)(0,0)
1
x
+
1
y
no existe.
Norx: si alguien hubiera preferido usar coordenadas polares (no recomendable en este caso
pues no facilita el an alisis) un posible tratamiento sera
x = r cos , y = r sen con: 0 < 2 y 0,

2
, , 3

2
pues esos angulos excluidos corresponden a los ejes sobre los que la funci on no est a denida.
Llamemos
g(r, ) = f (r cos , r sen ) =
1
r cos
+
1
r sen
=
sen + cos
r sen cos
=
1
r
sen + cos
sen cos
el hecho que la expresi on quede dependiendo del angulo nos sugiere que puede no haber
lmite. Para comprobarlo debemos encontrar dos curvas que se acerquen al origen cuando
r 0 que produzcan lmites distintos al componerlas con g.
Notemos que si tomamos un valor jo de que no anule el numerador (el denominador no se
puede anular por las restricciones sobre ) el cociente se va a ir a pero si el valor de anula
el numerador, claramente el cociente es nulo y por lo tanto tiende a cero.
Esto nos sugiere considerar estas curvas (dadas en coordenadas polares)
a(r) = (r,

4
)
r0
(0, 0) y b(r) = (r, 3

4
)
r0
(0, 0)
FACULTAD DE CIENCIAS FISICOMATEMATICAS E INGENIERIA UCA MATEMATICA III 2004 9
Resulta
g(a(r)) =
1
r

2
(

2/2)
2
= 2

2
1
r

r0

g(b(r)) =
1
r

2
2

2
2
(

2/2)
2
= 0
r0
0
Ahora s podemos armar que el lmite no existe.
5. Analizar la existencia de lm
(x,y)(0,0)
sen(x
2
y)
x
2
+ y
2
Sea f (x, y) =
sen(x
2
y)
x
2
+ y
2
. Como sabemos que cuando (x, y) 0 :
sen((x, y))
(x, y)
1 se nos
podra ocurrir hacer lo siguiente
f (x, y) =
sen(x
2
y)
x
2
y
x
2
y
x
2
+ y
2
con lo cual tendramos resuelto el c alculo. Pero ... el dominio del segundo miembro no es el
mismo que el de f . El unico punto donde no est a denida f es el origen, mientras que la otra
funci on no est a denida sobre los ejes.
Si bien este inconveniente se podra eludir considerando la funci on
g(x, y) =

f (x, y) si xy 0
0 si xy = 0
=

sen(x
2
y)
x
2
y
x
2
y
x
2
+y
2
si xy 0
0 si xy = 0
y comprobando que lm
(x,y)(0,0)
g(x, y) = lm
(x,y)(0,0)
f (x, y), es mucho m as simple hacer lo siguiente

sen(x
2
y)
x
2
+ y
2

=
| sen(x
2
y)|
x
2
+ y
2

| sen t||t|
|x
2
y|
x
2
+ y
2
= |y|
x
2
x
2
+ y
2

(x,y)(0,0)
0
debido a que el primer factor |y| tiende a cero y el segundo
x
2
x
2
+y
2
est a
acotado (entre 0 y 1).
6. Probar que lm
(x,y)(0,

2
)
sen( y) + cos x
x
2
+ y
2
=
8

2
Teniendo en cuenta que
sen( y)
y

2
sen(

2
) = 1 , cos x
x0
1 y x
2
+ y
2

(x,y)(0,

2
)

2
4
0
10 MARIA DEL CARMEN CALVO
resulta, a partir de las propiedades del lmite,
sen( y) + cos x
x
2
+ y
2

(x,y)(0,

2
)
1 + 1

2
4
=
8

2
Importante
Si no se pide probar un lmite por denici on, se pueden usar los resultados proba-
dos en clase.
Los lmites de funciones de una variable se pueden calcular usando los resultados
conocidos (por ejemplo: la regla de LHospital si correspondiera).
Los lmites especiales, tales como
lm
x0
sen x
x
= 1 y lm
x+
ln x
x
= 0
por citar dos ejemplos, tampoco necesitan ser probados nuevamente ya que es un
tema dado en Matem atica I.