Lı́mites de varias variables

1
Genaro Luna Carreto

1 de Septiembre 2017, 1pm.

1 Profesor de la Benemérita Universidad Autónoma de Puebla, México.

FCE BUAP Cálculo vectorial

Recuerde que el conjunto

Dr (X) = {Y ∈ Rn : ||Y − X|| < r} (1)

es conocido como disco abierto con centro X y radio r. En general, será el
dominio básico de las funciones de varias varibles.

El conjunto de puntos Y ∈ Rn tales que ||Y − X|| = r, recibe el nombre

de frontera1 del disco:

Fr(Dr (X0 )) = {Y ∈ Rn : ||Y − X|| = r} (2)

Definición 0.0.1. Suponga que D es un disco abierto. Sea f : D ⊆ Rn → Rm

y x0 ∈ D ó x0 ∈ Fr(D).

Si existe b ∈ Rm tal que para cada  > 0 existe δ > 0 tal que si x ∈ D y
0 < ||x − x0 || < δ entonces

||f (x) − b|| <  (3)

En tal caso se escribe lı́m f (x) = b

x→x0

No se nota demasiado, pero la definición se da en términos de discos. Para

cada disco de radio  y centro b, existe otro disco con centro en x0 y radio δ,
tal que para cada x en D y x ∈ Dδ (x0 ) entonces f (x) ∈ D (b). La siguiente
demostración se basa en esta idea.

Teorema 0.0.1 (Unicidad del lı́mite). Si lı́m f (x) = b1 y lı́m f (x) = b2

x→x0 x→x0
entonces b1 = b2 .

Demostración. Suponga que b1 6= b2 . Sea  = ||b2 − b1 ||. Entonces D 2 (b1 ) y

D 2 (b2 ) son discos que no tienen puntos en común, pues si x es un punto en
ambos discos entonces ||x − b1 || < 2 y ||x − b2 || < 2 . Sin embargo
 
||b2 − b1 || = ||b2 − x + x − b1 || ≤ ||b2 − x|| + ||b1 − x|| < + =
2 2
1
En general, un punto X es punto frontera de un conjunto W , si cualquier disco abierto
con centro en X tiene puntos de W y puntos fuera de W . Trate de comprobar esto con
los discos abiertos en R2 .

Genaro Luna Carreto 1 Otoño 2017

FCE BUAP Cálculo vectorial

lo cual es una contradicción.


Para el 2
existen dos deltas, una para cada disco, tales que:

||x − x0 || < δ1 ⇒ ||f (x) − b1 || < (4)
2

||x − x0 || < δ2 ⇒ ||f (x) − b2 || < (5)
2
Si se toma δ = mı́n{δ1 , δ2 } y x tal que ||x − x0 || < δ entonces x también
satisface las ecuaciones (4) y (5), por lo tanto f (x) ∈ D 2 (b1 ) ∩ D 2 (b2 ), lo
cual es falso, pues al inicio de la demostración se mostró que estos discos no
tenı́an puntos en común. Esta contradicción viene de suponer que b1 6= b2 ,
por lo tanto son iguales.
La delta es un número que mide que tan cerca nos encontramos de x0 con
puntos x y la epsilon que tan cerca nos encontramos de b con valores f (x).
Si el lı́mite existe, no importa que tan cerca estemos de x0 , ni la dirección, la
función f (x) se encontrará cerca de un único valor: b. Precisamente en esta
observación, se basa el hecho de las desmotraciones de lı́mites que no existen:
acercarse al punto x0 por diversos caminos y lograr dos caminos donde los
valores de f (x) sean diferentes.

Aquı́ hay ejemplos de demostración epsilon-delta. Es posible que percibas

cierta complejidad y es normal. Este tipo de tareas es difı́cil hasta para los
alumnos de la Facultad de matemáticas, ası́ que no te preocupes. Intenta
leer y entender partes de la demostración, eso sı́ que es posible. Todos estos
ejercicios te ayudarán a madurar matemáticamente.

Ejemplo 1. Utiliza la definición de lı́mite en términos de epsilon-delta para

mostrar lo siguiente:
x4 − y 4
lı́m =0
(x,y)→(0,0) x2 + y 2

Demostración. Aunque parezca un asunto engorroso e innecesario, siempre

es adecuado escribir lo que se quiere mostrar: ∀ > 0, ∃ δ > 0 tal que
 4
 x − y4


si ||(x, y) − (0, 0)|| < δ entonces  2 − 0<
x + y2 

Genaro Luna Carreto 2 Otoño 2017

FCE BUAP Cálculo vectorial

p
donde ||(x, y) − (0, 0)|| = x2 + y 2 .
x4 − y 4 (x2 + y 2 )(x2 − y 2 )
Ahora bien, como 2 = = x2 − y 2 , la expresión a
x + y2 x2 + y 2
mostrar se transforma en:
 
p  2 
2 2 2
si x + y < δ entonces x − y  < 


Hay un relación interesante entre x2 + y 2 y x2 − y 2 . Veamos, como

−x2 ≤ x2 entonces y 2 − x2 < y 2 + x2 . En forma análoga, −y 2 ≤ y 2 implica
x − y 2 < x2 + y 2 . De manera que
2

x2 − y 2 < x2 + y 2 ∧ −(x2 − y 2 ) < x2 + y 2 ,

por ende
|x2 − y 2 | < x2 + y 2 (6)
Esto otorga un rayo de luz a nuestro camino, pues lo que indica es que para
acotar |x2 − y 2 |, es suficiente con 2 2
√ acotar a x + y .
Sea  > 0. Ahora tome δ =  tal que
p √
x2 + y 2 < 

Elevando al cuadrado ambos miembros se obtiene x2 +y 2 < . De acuerdo

a la ecuación (6)

|x2 − y 2 | < x2 + y 2 < ,

y por transitividad |x2 − y 2 | < , que es lo que se querı́a demostrar.
Ejemplo 2. (A) Muestra con la definición  − δ que

y3
lı́m =0
(x,y)→(0,0) x2 + y 2

x3 + y 2
(B) ¿Existe lı́m ?
(x,y)→(0,0) x2 + y 2

(A): En todas las demostraciones  − δ, casi siempre es necesario hacer

un estudio de las relaciones algebraicas de las funciones que intervienen, con

Genaro Luna Carreto 3 Otoño 2017

FCE BUAP Cálculo vectorial

la finalidad de identificar un valor de δ. Observe primero que

y 2 ≤ x2 + y 2

y2
de donde ≤ 1. Ahora, si multiplicamos ambos miembros por |y|, se
x2 + y 2
obtiene:

|y|y 2
≤ |y| (7)
x2 + y 2
Como x2 + y 2 > 0, y 2 ≥ 0 y |y|y 2 = |y||y 2 | = |y 3 | entonces

|y|y 2  y3 
 
=   (8)
x2 + y 2  x 2 + y 2 

por lo tanto la expresión (7) se escribe como

 y3 
 
 x2 + y 2  ≤ |y| (9)
 

Ésta
 últimarelación indica que si acotamos a |y|, en consecuencia acota-
 y3 
remos  2 .
x + y2 
Es el momento de escribir lo que se quiere mostrar. Recuerde que en este
caso, en algún momento se debe suponer que

y3
∀  > 0 ∃ δ > 0 tal que si 0 < ||(x, y) − (0, 0)|| < δ ⇒ | |<
x2 + y 2
p 3
En forma equivalente 0 < x2 + y 2 < δ implica que | x2y+y2 | < . Es
común obtener la siguiente relación
p p
|y| = y 2 ≤ x2 + y 2 < δ

De manera que, apartir de la ecuación (9), se tendrı́a:

 y3 
 
 x2 + y 2  ≤ |y| < δ
 

De todo esto se deduce que una buena elección serı́a δ = .

Todas las observaciones anteriores, moldean la forma de la demostración:

Genaro Luna Carreto 4 Otoño 2017

FCE BUAP Cálculo vectorial

Demostración. Sea  > 0. Tome δ = . Suponga que 0 < ||(x, y) − (0, 0)|| <
δ = . Entonces p p
|y| = y 2 ≤ x2 + y 2 < 
Por otro lado, de acuerdo a la ecuación mostrada en (9), se tiene
 y3 
 
 x2 + y 2  ≤ |y| < 
 

 y3 
 
por transitividad  2  < .
x + y2 
x3 + y 2
(B): ¿Existe lı́m ?
(x,y)→(0,0) x2 + y 2

Si nos acercamos a (0, 0), sobre el eje X, la segunda entrada serı́a cero,
es decir, serı́an puntos de la forma (x, 0)

x3 + y 2 x3
lı́m = lı́m (10)
(x,0)→(0,0) x2 + y 2 (x,0)→(0,0) x2

= lı́m x (11)
x→0
=0 (12)

En cambio, si nos acercamos al (0, 0), sobre el eje Y , la primera entrada serı́a
cero:
x3 + y 2 y2
lı́m = lı́m (13)
(0,y)→(0,0) x2 + y 2 (0,y)→(0,0) y 2

= lı́m 1 (14)
y→0

=1 (15)

Se obtienen lı́mites diferentes por trayectorias diferentes, por lo tanto el

lı́mite no existe.
Ejemplo 3. Muestra con la definición  − δ

sin(xy)
lı́m =0
(x,y)→(0,0) y

Genaro Luna Carreto 5 Otoño 2017

FCE BUAP Cálculo vectorial

Demostración. En primer lugar mostraremos que

sin(xy)
lı́m =1
(x,y)→(0,0) xy
Por mostrar:
∀ > 0, ∃ δ > 0 tal que si
 
 sin(xy) 
0 < ||(x, y) − (0, 0)|| < δ entonces   − 1 <  (16)
xy
sin t
Sea  > 0. Por el teorema bien conocido lı́m =1
t→0 t
∃ δ1 > 0 tal que si
 
 sin t 
0 < |t| < δ1 entonces  − 1 <  (17)
t
√
Sea δ = δ1 . De la expresión ||(x, y) − (0, 0)|| < δ en la ecuación (16), se
obtiene
p p p p
|x| ≤ x2 + y 2 < δ1 y |y| ≤ x2 + y 2 < δ1
√ √
y usando la transitividad |x| < δ1 y |y| < δ1 , donde x 6= 0
y 6= 0 (¿porqué?). En consecuencia
√ √
|x||y| < δ1 δ1
equivalentemente |xy| < δ1 . Asi que el número xy satisface el antecedente
de la implicación (17), por lo tanto
 
 sin(xy) 

 xy − 1<

lo cual prueba (16).
sin(xy)
Se ha probado que lı́m = 1. Además, debido a que es obvio
(x,y)→(0,0) xy
el siguiente lı́mite

lı́m x=0
(x,y)→(0,0)

entonces el lı́mite de la multiplicación, que constituye el lı́mite pedido en

este ejercicio, existe:

Genaro Luna Carreto 6 Otoño 2017

FCE BUAP Cálculo vectorial

sin(xy) sin(xy)
lı́m = lı́m x · =0·1=0
(x,y)→(0,0) y (x,y)→(0,0) xy
Ejemplo 4. Investiga si el lı́mite siguiente existe
x2 + sen2 y
lı́m (18)
(x,y)→(0,0) 2x2 + y 2

Tomaremos dos trayectorias. Primero, cuando x = y

x2 + sen2 y x2 + sen2 x
lı́m = lı́m (19)
(x,y)→(0,0) 2x2 + y 2 (x,x)→(0,0) 2x2 + x2

x2 + sen2 x
= lı́m 2
(20)
x→0
 3x 2 
1 sen x
= lı́m + (21)
x→0 3 3x2
 
1 1 sen x sen x
= lı́m + · (22)
x→0 3 3 x x
sen x
Se sabe que lı́m = 1, por lo tanto
x→0 x
1 1 2
= + = (23)
3 3 3
Ahora cuando y = 0

x2 + sen2 y x2 + sen2 0
lı́m = lı́m (24)
(x,y)→(0,0) 2x2 + y 2 (x,0)→(0,0) 2x2 + 02

x2
= lı́m 2 (25)
x→0 2x
1
= (26)
2
Por lo tanto el lı́mite propuesto no existe.
Ejemplo 5. Determina si existe el lı́mite
xy 2 cos y
lı́m
(x,y)→(0,0) x2 + y 2

Genaro Luna Carreto 7 Otoño 2017

FCE BUAP Cálculo vectorial

Se deja como ejercicio, acercarse por varias trayectorias y mostrar que to-
das dan cero. Esto genera la sospecha de que el lı́mite es cero. Sin embargo,
hace falta hacer una demotración de ello.
y2
Hay dos desigualdades sencillas que nos ayudarán: | cos y| ≤ 1 y x2 +y 2
≤ 1.
Si ||(x, y) − (0, 0)|| < δ, entonces
p
|x| = x2 + y 2 ≤ ||(x, y) − (0, 0)|| < δ
por lo tanto |x| < δ.
Por otro lado, como | cos y| ≤ 1, se tiene
 2   2
  xy cos y   xy 2   y2 
    
 xy cos y
 x2 + y 2 − 0 =  x2 + y 2  ≤  x2 + y 2  = |x| x2 + y 2  (27)
       

y2
Además, x2 +y 2
≤ 1, por ende

≤ |x| (28)

Es claro que si tomamos δ = , este lı́mite existe y es cero.

Genaro Luna Carreto 8 Otoño 2017