LÍMITES DE FUNCIONES EN 2 VARIABLES.

PEDRO H. ZAMBRANO R.

1. Definición formal.
Primero que todo, recordemos cómo se define la distancia entre dos pun-
tos en el plano cartesiano: Si P (a, b) y Q(c, d) son dos puntos en el plano
cartesiano, en virtud del Teorema de Pitágorasptenemos que la distancia en-
tre dichos dos puntos es d(P (a, b), Q(c, d)) := (a − c)2 + (b − d)2 .

Recordemos ahora la definición de lı́mite en el caso de funciones de una

sola variable: Decimos que lı́mx→a f (x) = L si dado ε > 0 existe δ > 0
tal que si 0 < |x − a| < δ entonces |f (x) − L| < ε. En palabras un poco
coloquiales, esto quiere decir que valores cercanos a a toman valores cercanos
a L por medio de f . En R, recordemos que la distancia entre dos reales a y
b está dada por d(a, b) = |a − b|, entonces la definión de lı́mite está dada por
la siguiente expresión: Decimos que lı́mx→a f (x) = L si dado ε > 0 existe
δ > 0 tal que si 0 < d(x, a) < δ entonces |f (x) − L| < ε.

Date: Mayo 7 - 2007.

1
2 PEDRO H. ZAMBRANO R.

Consideremos ahora una función z = f (x, y) en dos variables reales y val-

or real y (a, b) ∈ R2 . Reemplazando en la anterior expresión x por (x, y),
a por (a, b) y d(x, a) por d((x, y), (a, b)), tenemos lo siguiente: Decimos
que lı́m(x,y)→(a,b) f (x, y) = L si dado ε > 0 existe δ > 0 tal que si 0 <
d((x, y), (a, b)) < δ entonces |f (x, y) − L| < ε. Esto simplemente lo que
está diciendo en términos coloquiales es que valores cercanos al punto (a, b)
(según esta nueva noción de cercanı́a definida en el plano cartesiano) toman
valores cercanos al valor L por medio de la función f (x, y). Como en el caso
de una variable, es posible que la función f (x, y) no esté definida en el punto
(a, b), lo que nos interesa es que lo esté definida en puntos vecinos de (a, b).

sin(x2 +y 2 )
Ejemplo 1.1. lı́m(x,y)→(0,0) x2 +y 2
= 1. Aquı́ vamos a utilizar fuerte-
sin(x)
mente el hecho de que lı́mx→0 x = 1. Veamos:
Tomando ε > 0, vemos que existe δ′
  > 0 tal que si 0 < |z| < δ entonces
 sin(z)
− 1 < ε. Tomando z := x + y , tenemos que si 0 < |x2 + y 2 | < δ′
2 2

 z
 COVERS COMO CEAS 3
 2 +y 2 )

entonces  sin(x − 1 < ε. Pero vemos que 0 < |x2 + y 2 | < δ′ es equiv-
 
2
x +y 2
p √ ′ √
alente al hecho de que 0 < x2 + y 2 < δ , luego  tomando δ := δ′ ten-
 sin(x2 +y2 )
emos que si 0 < d((x, y), (0, 0)) < δ entonces  x2 +y2 − 1 < ε, es decir,

2 2)
lim(x,y)→(0,0) sin(x +y
x2 +y 2 = 1.
En este contexto, no podemos hablar de lı́mites laterales, ya que nos
podemos acercar a un punto (a, b) por cualquier curva que pase por dicho
punto.

Por esta razón, no podemos demostrar que el lı́mite lı́m(x,y)→(a,b) f (x, y)

existe y toma determinado valor simplemente calculando unos pocos lı́mites
al acercarnos al punto (a, b) por algunos caminos, ya que hay inifinitos
caminos por medio de los cuales nos podemos acercar a (a, b) y es posi-
ble que aunque hayamos verificado el lı́mite para unos caminos de pronto en
algún otro nos da un valor diferente. De hecho, si se presenta esta situación,
el lı́mite no va a existir.
Hecho 1.2. Sea f (x, y) una función definida en los puntos cercanos a
(a, b). Si existen dos caminos diferentes C1 y C2 por medio de los cuales
nos podemos acercar a (a, b) tales que f (x, y) → L1 acercándonos vı́a C1
y f (x, y) → L2 acercándonos vı́a C2 donde L1 6= L2 , entonces el lı́mite
lı́m(x,y)→(a,b) f (x, y) no existe.
xy
Ejemplo 1.3. Veamos que lı́m(x,y)→(0,0) x2 +y 2
no existe. Si nos acercamos a
x2
(0, 0) vı́a la recta y = x, tenemos que lı́mx→0 2x2 = 12 (es decir, f (x, y) → 12 ),
3
y si nos acercamos a (0, 0) vı́a la parábola y = x2 tenemos que lı́mx→0 x2x+x4 =
x3 x
lı́mx→0 x2 (1+x 2 ) = lı́mx→0 1+x2 = 0 (es decir, f (x, y) → 0), por lo tanto

lı́m(x,y)→(0,0) x2xy+y 2
no existe.

Departamento de Matemáticas, Universidad Nacional de Colombia, Bogotá (Colom-

bia)
E-mail address: phzambranor@unal.edu.co