L IMITES DE FUNCIONES EN 2 VARIABLES.

PEDRO H. ZAMBRANO R.

1.

Definicion formal.

Primero que todo, recordemos cmo se dene la distancia entre dos puno 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 Pitgoras tenemos que la distancia ena tre dichos dos puntos es d(P (a, b), Q(c, d)) := (a c)2 + (b d)2 .

Recordemos ahora la denicin de l o mite en el caso de funciones de una sola variable: Decimos que l xa f (x) = L si dado > 0 existe > 0 m 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 denin de l a o mite est dada por a la siguiente expresin: Decimos que l xa f (x) = L si dado > 0 existe o m > 0 tal que si 0 < d(x, a) < entonces |f (x) L| < .

Date: Mayo 7 - 2007.

1

PEDRO H. ZAMBRANO R.

Consideremos ahora una funcin z = f (x, y) en dos variables reales y valo or real y (a, b) R2 . Reemplazando en la anterior expresin x por (x, y), o a por (a, b) y d(x, a) por d((x, y), (a, b)), tenemos lo siguiente: Decimos que l (x,y)(a,b) f (x, y) = L si dado > 0 existe > 0 tal que si 0 < m d((x, y), (a, b)) < entonces |f (x, y) L| < . Esto simplemente lo que est diciendo en trminos coloquiales es que valores cercanos al punto (a, b) a e (segn esta nueva nocin de cercan denida en el plano cartesiano) toman u o a valores cercanos al valor L por medio de la funcin f (x, y). Como en el caso o de una variable, es posible que la funcin f (x, y) no est denida en el punto o e (a, b), lo que nos interesa es que lo est denida en puntos vecinos de (a, b). e

sin(x2 +y 2 ) x2 +y 2 sin(x) mente el hecho de que l x0 x = m Tomando > 0, vemos que existe

Ejemplo 1.1. l (x,y)(0,0) m

= 1. Aqu vamos a utilizar fuerte

sin(z) z

1. Veamos: > 0 tal que si 0 < |z| < entonces 2 + y 2 , tenemos que si 0 < |x2 + y 2 | < 1 < . Tomando z := x

COVERS COMO CEAS

entonces

1 < . Pero vemos que 0 < |x2 + y 2 | < es equiv alente al hecho de que 0 < x2 + y 2 < , luego tomando := tensin(x2 +y 2 ) x2 +y 2

sin(x2 +y 2 ) x2 +y 2

emos que si 0 < d((x, y), (0, 0)) < entonces

2 +y 2 lim(x,y)(0,0) sin(x+y2 ) x2

1 < , es decir,

= 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 razn, no podemos demostrar que el l o mite l (x,y)(a,b) f (x, y) m existe y toma determinado valor simplemente calculando unos pocos l mites al acercarnos al punto (a, b) por algunos caminos, ya que hay ininitos caminos por medio de los cuales nos podemos acercar a (a, b) y es posible que aunque hayamos vericado el l mite para unos caminos de pronto en algn otro nos da un valor diferente. De hecho, si se presenta esta situacin, u o el l mite no va a existir. Hecho 1.2. Sea f (x, y) una funcin denida en los puntos cercanos a o (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 acercndonos va C1 a y f (x, y) L2 acercndonos va C2 donde L1 = L2 , entonces el lmite a l (x,y)(a,b) f (x, y) no existe. m
xy no existe. Si nos acercamos a x2 +y 2 x2 (0, 0) v la recta y = x, tenemos que l x0 2x2 = 1 (es decir, f (x, y) 1 ), a m 2 2 3 y si nos acercamos a (0, 0) v la parbola y = x2 tenemos que l x0 x2x 4 = a a m +x x3 x l x0 x2 (1+x2 ) = l x0 1+x2 = 0 (es decir, f (x, y) 0), por lo tanto m m l (x,y)(0,0) x2xy 2 no existe. m +y

Ejemplo 1.3. Veamos que l (x,y)(0,0) m

Departamento de Matematicas, Universidad Nacional de Colombia, Bogota (Colombia) E-mail address: phzambranor@unal.edu.co