MATEMTICAS 2 FINANZAS. M.

Daz Gabela

Captulo 3
Lmite y continuidad en funciones
de varias variables.
3.1

Funcin real de varias variables reales.

Definicin 3.1.1 Una funcin real de n variables reales, es cualquier aplicacin f :

Rn R tal que a cada vector (x1, x2 , x3, , xn ) Rn , le hace corresponder un
nmero real y = f (x1, x2, x3 , , xn ) R.
Una funcin real de n variables reales tambin se denomina funcin vectorial de
variable real.

3.1.1

Dominio

El dominio campo de existencia de la funcin f , es el conjunto D Rn , constituido por los vectores (x1 , x2, x3 , , xn ) Rn para los que existe y R con
y = f (x1 , x2, x3 , , xn ) .

3.1.2

Recorrido

El recorrido de f es el subconjunto de R formado por los distintos valores que toma

f, esto es:
{y R/ (x1, x2 , x3, , xn ) Rn con y = f (x1, x2 , x3, , xn )}
7

MATEMTICAS 2 FINANZAS. M. Daz Gabela

8CAPTULO 3. LMITE Y CONTINUIDAD EN FUNCIONES DE VARIAS VARIABLES.

3.1.3

Grafo

Grafo grfica de f : D Rn R es el conjunto formado por los vectores

(x1 , x2, x3, , xn , y) Rn+1 tal que (x1, x2 , x3, , xn ) D, con y = f (x1, x2 , x3, , xn ) .

3.1.4

Grfica de una funcin de dos variables

La representacin geomtrica de una funcin de dos variables puede hacerse de dos

formas:
1.- En un sistema de coordenadas tridimensional R3, mediante la superficie constituida por los puntos (x, y, f (x, y)), donde (x, y) recorre el dominio D de la funcin
f . Esto es, la grfica de una funcin de dos variables es una superficie en R3 .

Z
z = f(x, y)
P'(x,y,f(x,y))

O
Df

Y
P(x,y)

fig.1-t18
La grfica de una funcin de n variables es una hipersuperficie en Rn+1 .
2.-En el plano mediante curvas de nivel, resultantes de la interseccin de la
superficie z = f (x, y) con los planos z = ki . Esta es la representacin llamada
topogrfica.

MATEMTICAS 2 FINANZAS. M. Daz Gabela

3.1. FUNCIN REAL DE VARIAS VARIABLES REALES.

Y
z = k6
z = k5
z = k4
z = k3
z = k2
z = k1

fig.2-t18

Mucho espacio entre las curvas de nivel expresa variacin lenta de z, pequeo
espacio, indica variacin rpida.
Una buena ilustracin exige que los planos de corte se distribuyan uniformemente
en altura.

Ejemplo 3.1.2 Determinar el dominio, recorrido y grfica de la funcin:

z = f (x, y) = 9 x2 y 2 con z 0.

El dominio ser el conjunto


D = {(x, y)/z 0} = (x, y)/9 x2 + y 2 0







= (x, y)/9 x2 + y 2 0 = (x, y)/x2 + y 2 9
que corresponde a un crculo centrado en el origen de coordenadas, de radio r = 3.
El recorrido es el intervalo [0, 9] .
La grfica en el espacio real tridimensional, es la superficie correspondiente al

MATEMTICAS 2 FINANZAS. M. Daz Gabela

10CAPTULO 3. LMITE Y CONTINUIDAD EN FUNCIONES DE VARIAS VARIABLES.

paraboloide de ecuacin : z = 9 (x2 + y 2) que se muestra en la figura.
Y

O
3

-3

fig.3-t18

fig.4-t18

En el plano real, la representacin grfica de la funcin viene dada por las curvas
de nivel que son crcunferencias de ecuacin: x2 + y 2 = r2 con 0 r 3

3.2

Lmite de una funcin de dos variables.

Definicin 3.2.1 Se define la norma de un vector (x, y) R2 , como:


(x, y) = x2 + y 2 ;(x, y) R2

Se puede comprobar que se verifican las tres propiedades para ser norma:
(x, y) > 0 si (x, y) = (0, 0); (0, 0) = 0
(x, y) = || (x, y) R y (x, y) R2
(x1, y1 ) + (x2 , y2) (x1, y1) + (x2, y2) ; (x1, y1) y (x2, y2) R2

Definicin 3.2.2 Dada la funcin z = f (x, y), se dice que

lim

(x,y)(a,b)

f (x, y) = l ,

si:
> 0, ()/(x, y) R2 con (x, y) (a, b) < |f (x, y) l| <
Geomtricamente significa que > 0, existe un > 0, tal que (x, y) perteneciente al crculo de centro (a, b) y radio , se verifica que f (x, y) est en un entorno
de l de radio .

MATEMTICAS 2 FINANZAS. M. Daz Gabela

3.2. LMITE DE UNA FUNCIN DE DOS VARIABLES.

11

l+

(a,b)
(x,y)

f(x,y)
l
l-

fig.5-t18
Para que exista

lim

(x,y)(a,b)

f (x, y), este no debe depender de la situacin en la

que est el punto (x, y) en el entorno circular de (a, b), lo que equivale a decir,
cualquiera que sea la relacin existente entre x e y , esto es, segn cualquiera que
sea la trayectoria que pase por (a, b).
Ejemplo 3.2.3 Estudiar el

lim

(x,y)(0,0)

yx3
, segn las trayectorias:
x6 + y 2

a) y = mx
b) y = x3

a) Segn la trayectoria y = mx:

lim

(x,y)(0,0)

yx3
mx4
mx2
=lim
=lim
=0
x6 + y 2 x0 x6 + m2 x2 x0 x4 + m2

b) Segn la trayectoria y = x3:

lim

(x,y)(0,0)

yx3
x6
1
=lim
=
x6 + y 2 x0 x6 + x6
2

La no coincidencia de los lmites segn estas dos trayectorias indica la no existencia de lmite.

MATEMTICAS 2 FINANZAS. M. Daz Gabela

12CAPTULO 3. LMITE Y CONTINUIDAD EN FUNCIONES DE VARIAS VARIABLES.

Ejemplo 3.2.4 Demostrar que no existe

lim

(x,y)(0,0)

x2 y 2
x2 + y 2

Para los puntos de la forma (x, 0) y (0, y), se tiene que f (x, 0) = 1 y f (0, y) = 1,
respectivamente, por lo que:
para la trayectoria eje OX :
lim

(x,y)(0,0)

x2 y 2
=1
x2 + y 2

para la trayectoria eje OY :

lim

(x,y)(0,0)

x2 y 2
= 1
x2 + y 2

Por ello no existe lmite, ya que este es distinto segn la trayectoria elegida.

3.2.1

Lmites reiterados.

Se definen de la forma:


lim lim f (x, y) = lim lim f (x, y)
yb xa
yb xa


lim lim f (x, y) = lim lim f (x, y)
xayb

Cuando

lim

(x,y)(a,b)

lim

xa

yb

f (x, y) = l y existen los lmites reiterados, se verifica:

(x,y)(a,b)

f (x, y) =lim lim f (x, y) = lim lim f (x, y)

xa yb

yb xa

Puede ocurrir:
Que existan los lmites reiterados, sean iguales y no exista lmite.
Que no exista alguno o ninguno de los lmites reiterados y exista lmite.
Que los lmites reiterados existan y sean distintos, con lo cual no existe lmite.
Ejemplo 3.2.5 Estudiar la existencia del

lim

(x,y)(0,0)

xy 3x + y
x + 2y

MATEMTICAS 2 FINANZAS. M. Daz Gabela

3.2. LMITE DE UNA FUNCIN DE DOS VARIABLES.

13

Planteamos los lmites reiterados:




xy 3x + y
3x
lim lim
= lim
= 3
x0 y0
x0
x + 2y
x




1
xy 3x + y
y
= lim
=
lim lim
y0 x0
x0 2y
x + 2y
2
Como estos lmites son distintos, se concluye que

3.2.2

lim

(x,y)(0,0)

xy 3x + y
x + 2y

Lmite radial.

Se denomina lmite radial de la funcin f (x, y) cuando (x, y) (a, b), al lmite
segn las trayectorias definidas por el haz de rectas: y b = m(x a), que pasa por
el punto (a, b).
Si este lmite depende de m, podemos garantizar que no existe lmite; si no
depende, nada se puede asegurar.
Ejemplo 3.2.6 Estudiar la existencia de

lim

(x,y)(1,2)

x + 2y 5
2x y

Estudiamos el lmite segn el haz de rectas que pasa por (1, 2): y = mx m + 2
lim

(x,y)(1,2)

x + 2y 5
x + 2 (mx m + 2) 5
(1 + 2m) x (1 + 2m)
= lim
= lim
x1
x1 (2 m) x (2 m)
2x y
2x (mx m + 2)
1 + 2m
=
L Hopital 2 m

por tanto el lmite depende de m y en definitiva

3.2.3

lim

(x,y)(1,2)

x + 2y 5
2x y

Lmite direccional.

Se refiere al lmite, cuando la funcin viene dada en coordenadas polares.

Si la tendencia es (x, y) (0, 0), la transformacin a polares permite escribir:
lim

(x,y)(0,0)

f (x, y) =lim f (r cos , r sen )

r0

MATEMTICAS 2 FINANZAS. M. Daz Gabela

14CAPTULO 3. LMITE Y CONTINUIDAD EN FUNCIONES DE VARIAS VARIABLES.

Si la tendencia es (x, y) (a, b), se hace un cambio de variable:
xa =X
yb =Y
para que respecto a las nuevas variables (X, Y ) la tendencia sea al punto (0, 0). A
continuacin, se hace la transformacin anterior, esto es:
lim

(x,y)(a,b)

f (x, y) =

lim

(X,Y )(0,0)

f (a + X, b + Y ) =lim f (a + r cos , b + r sen )

r0

Si el lmite direccional depende de , podemos garantizar que

Ejemplo 3.2.7 Estudiar la existencia de

lim

(x,y)(0,0)

lim

(x,y)(a,b)

f (x, y).

x2 y 2
x2 + y 2

Estudiamos el lmite direccional:

lim

(x,y)(0,0)

x2 y 2
r2 cos2 r2 sen2
r 2cos2 r 2sen2
=lim
=lim
= cos2 sen2
x2 + y 2 r0 r 2 cos2 + r 2sen2 r0
r2

que evidentemente depende de , por tanto

3.3

lim

(x,y)(0,0)

x2 y 2
x2 + y 2

Existencia de lmite. Criterio de la funcin

mayorante.

La condicin necesaria y suficiente para que la funcin f (x, y) admita lmite: l en el

punto (0, 0), es que la expresin |f (rcos, rsen) l| admita una funcin mayorante
F (r), en todo el campo de variacin de , tal que lim+ F (r) = 0.
r0

Debemos tener presente que la aplicacin de este criterio, es slamente para

la tendencia al (0, 0), por lo que si no es as, deber hacerse previamente el cambio
de variable propuesto arriba.
Ejemplo 3.3.1 Estudiar la existencia de

lim

(x,y)(0,0)

xy sen

xy

MATEMTICAS 2 FINANZAS. M. Daz Gabela

3.4. CONTINUIDAD DE UNA FUNCIN DE DOS VARIABLES.

15

Aplicamos el criterio de la funcin mayorante, para lo cul deberemos proponer

razonada o intuitivamente el valor del posible lmite: l.
En nuestro caso planteamos los lmites reiterados:



= lim (0) = 0
lim lim xy sen
x0 y0
x0
xy



lim lim xy sen

= lim (0) = 0
y0 x0
y0
xy
Por lo que si

lim

(x,y)(0,0)

xy sen

deber ser
xy

lim

(x,y)(0,0)

xy sen

= l = 0.
xy

Aplicamos el criterio:


|f (r cos , r sen ) 0| r 2sen cos sen

2
r sen cos

 

  2
 r sen cos  < r 2

Adems esta funcin mayorante: F (r) r 2 , verifica que lim+ r 2 = 0, luego

r0

podemos asegurar que

lim

(x,y)(0,0)

3.4

xy sen

=0
xy

Continuidad de una funcin de dos variables.

Una funcin z = f (x, y) se dice que es continua en un punto (a, b) de su dominio,

si existe
lim f (x, y) y este coincide con el valor de la funcin en el punto.
(x,y)(a,b)

Una funcin es continua en un subconjunto A de su dominio si lo es en cada uno

de sus puntos.
Ejemplo 3.4.1 Estudiar la continuidad de la funcin

3 2
xy
si (x, y) = (0, 0)
x4 + 3y 4
f (x, y) =

1 si (x, y) = (0, 0)

La funcin es continua en todo (x, y) = (0, 0)

MATEMTICAS 2 FINANZAS. M. Daz Gabela

16CAPTULO 3. LMITE Y CONTINUIDAD EN FUNCIONES DE VARIAS VARIABLES.

En el punto (0, 0), tenemos que segn la trayectoria x = y, se tiene que
lim

(x,y)(0,0)

x3 y 2
= 0
x4 + 3y 4 x=y

por lo que slo puede ocurrir que el lmite no exista o que exista y valga cero.
En cualquiera de los casos lo que no ocurre es que

lim

(x,y)(0,0)

f (x, y) = f (0, 0) = 1,

por tanto la funcin no es continua en (0, 0).

3.4.1

Resultados a cerca de la continuidad.

Una funcin polinomial es continua en R2.

Una funcin racional (cociente de dos polinomios), es continua salvo en los
puntos que anulan el denominador.
Si f y g son funciones de A R2 R continuas en A, entonces las funciones:
f g y f g son continuas en A.
La funcin

f
es continua salvo en los puntos que hacen g(x, y) = 0.
g

Si f es una funcin de A R2 R y g lo es de B R R , tal que el

recorrido de f est contenido en el dominio de g, se tiene que, si la funcin
f es continua en (x0 , y0 ) A y g es continua en z0 = f (x0, y0 ) , entonces la
funcin compuesta g f es continua en (x0, y0 ) A.
Esto es:
f

A R2 R B R


(x0 ,y0 )

z0 =f (x0 ,y0 )

g(z0 )

Ejemplo 3.4.2 Estudiar la continuidad de la funcin: h(x, y) = sen

x2 + y 2
5x4 + y 4 + 2

La funcin h es la composicin de las funciones g y f :

f (x, y) =

x2 + y 2
, continua en R2 y g(z) = sen z, continua en R
5x4 + y 4 + 2

por tanto
h(x, y) = sen

x2 + y 2
es continua en R2
5x4 + y 4 + 2