Límites de funciones de varias variables.

En este apartado se estudia el concepto de límite de una función de varias variables y

algunas de las técnicas utilizadas en su cálculo. Después, basándose en este concepto, se establece
la definición de función continua y cómo estudiar la continuidad de una función de varias variables.
En principio se comienza con campos escalares y después se extiende la definición a los campos
vectoriales.
Límite de un campo escalar.

Antes de comenzar con los campos escalares conviene recordar la definición de límite en un
punto de una función real de variable real y = f (x) de la forma:

f :D  →
donde D=(a,b) es un intervalo abierto.

En este contexto se dice que dado x0 D  {a,b} el límite de la función y = f (x) , cuando x
tiende a x0 , es L si   0 existe   0 tal que x D con x  x0 y tal que | x − x0 |  se tenga
que | f (x) − L |  .
NOTAS: 1ª. Se destaca que esta definición de límite está basada en la idea “topológica” de
proximidad, entre los valores de la variable x con x0 y los de la función f (x) con L.
2ª. También es valioso darse cuenta de que esta definición no proporciona ningún método
para calcular el límite de una función en un punto. La definición sirve, no obstante, para verificar si
dicho límite tiene un valor de terminado.
3ª. También se debe destacar que en el límite de una función en un punto x0 no influye el
valor f (x0 ) de la función en dicho punto.
Para extender este concepto a un campo escalar es necesario ampliar la idea de proximidad
n n
en el conjunto al espacio . Para ello se introduce la definición de bola abierta en (que
equivale al concepto de entrono de un punto en ).
.
Definición: Se deno min a bola abierta de centro x0 y radio r  0 al conjunto de todos los
. .
puntos x  n tales que || x − x0 ||  r . Esto es:
. n . .
B( x0 ,r) = { x  / || x − x0 ||  r }
n
NOTAS: 1ª. Obsérvese que en este caso los elementos de son vectores y por eso se
representan como tales (esto es con una flechita encima).
2 .
2ª. En el caso de la bola abierta B( x 0 ,r) corresponde a los puntos interiores al círculo
. 3
(esto es sin contar la circunferencia) de centro x0 y radio r. En el caso de se trataría de los
puntos interiores a una esfera.
Una vez introducido el concepto de bola abierta aparece, de forma natural, el de conjunto
abierto como aquel subconjunto de n que se ajusta a la siguiente definición.
n .
Definición: Se di ce que el conjunto D  n es un c onjunto abierto en si x0 D existe
.
r  0 tal que la bola B( x0 ,r)  D.
.
NOTA: También se puede decir que D es abierto si para todo x0 D es posible encontrar
.
una bola abierta de centro x0 que esté totalmente contenida en D.
 n
Asimismo es necesario introducir el concepto de frontera de un conjunto D  . La
definición en este caso es:
. n n
Definición: Se d ice que un punto x 0 es un punto frontera de D  si para
. . .
cualquier bola abierta B( x0 ,r) se tiene que B( x0 ,r)  D   y B( x0 ,r)  ( n
-D)   .
n
NOTA. La frontera de un conjunto D  , simbolizada por  D, es el conjunto de todos
sus puntos frontera.
En este momento, con todas las definiciones anteriores establecidas, se puede introducir el
concepto de límite de un campo escalar en un punto.
Definición: Sea el campo escalar de n variables, n  0 de la forma:
f :D  n →
.
siendo D abierto, y sea un punto x0  (D   D). Se dice que L es el límite de f (x) cuando
. . . . . .
x → x0 si   0 existe   0 tal que x D con x  x0 y || x − x0 ||  se cumple que
|| f (x) − L ||  . Este hecho se simboliza por la expresión:
.
lim . .
x → x0 f (x) = L
NOTAS: 1ª. Una definición análoga a esta puede ser la siguiente:
En las condiciones anteriores se dice que .
lim . .
x → x0 f (x) = L .
. .
si   0 existe   0 tal que x  x0 con x  B( x. 0 ,  )  D se tiene que f (x)  B( x0 ,  ).
2ª.- Se conservan todas las propiedades sobre la suma, producto y cociente de límites que
tenían los límites de las funciones reales de variable real.
3ª. - En condiciones normales el cálculo de límites de campos escalares se hace sustituyendo
.
el valor x0 en la función f (x) . Cuando se producen indeterminaciones es necesario estudiar el
límite con más detalle para determinar su naturaleza.
4ª.- En un campo escalar de dos variables, cuando (x,y) tiende a ( x0 , y0 ) se definen los
límites iterados como:
lim x → x0 (lim y → y0 f (x, y)) y lim y → y0 (lim x → x0 f (x, y))
Entonces, si la función f (x, y) tiene límite L, cuando (x,y) tiende a ( x0 , y0 ), ambos límites
iterados existen y también toman el valor L. Sin embargo, la existencia e igualdad de límites
iterados no conduce a la existencia de límite. Este hecho es útil para determinar cual puede ser el
límite en casos conflictivos.

5x2 y
EJEMPLO: Calcular el límite de la función z = en los puntos (1,2) y (0,0).
x2 + y 2

En primer lugar, el cálculo del límite cuando (x, y) tiende a (1,2) se efectúa, de forma
sencilla, como:

5x2 y 5 1 2
lim( x, y)→(1,2) = =2
x2 − y2 1 + 4

En cambio, al calcular el límite en el origen de coordenadas, de la misma forma, se

obtiene una indeterminación:
5x2 y
lim(x, y)→(0,0) 2 = 0  0  0 (indeterminación).
2
x +y 0+0

Utilizando los límites iterados se puede ver que, en el caso de existir, el límite debería
ser L=0:
5x2 y 0 5x2 y
lim x→0 (lim y →0 2 ) = lim x→0 2 = 0, e igualmente, lim y →0 (lim x→0 2 )=0
x + y2 x +0 x + y2
Para poder demostrar que 0 es el valor del límite cuando (x, y) → (0,0) hay que poder
encontrar un valor  0 de tal forma que cuando se tenga la acotación || (x, y) − (0,0) ||  se
esté seguro de que también se satisface la acotación f (x, y) − 0   , siendo   0 un valor
cualquiera (en general el valor  dependerá del valor  , esto es  =  ( ) ).

En este caso || (x, y) − (0,0) ||  se considera como x2 + y 2   y f (x, y) − 0  

5x2 y
como   . En este contexto, el proceso de demostración se basa en establecer una
x2 + y2
5x2 y
cadena de desigualdades que acoten el valor de por alguna expresión que dependa de
x2 + y2

2 2 2 2 5x2 y
x + y , con ello, la acotación de x +y también supondrá una acotación de .
x2 + y 2

Encontrar esta sucesión de acotaciones no siempre es posible ni fácil. Tampoco existen

reglas fijas para hallarla. En muchas ocasiones depende de la “pericia” del usuario
En este caso una posibilidad es:

5x2 y x2
= 5y 2  5y  5 x2 + y 2
x2 + y 2 x + y2

5x2 y
Esto es, se ha encontrado la acotación  5 x2 + y 2 .
2 2
x +y

Entonces dado cualquier valor de   0 se toma un valor 0     / 5 (hay infinitos).

Con este valor   0 se tiene asegurado que cuando || (x, y) − (0,0) ||= x2 + y2   el valor
5x2 y
de f (x, y) − 0 = está acotado por 5 x2 + y2 que a su vez esta acotado por 5 y por
2 2
x +y
5x2 y 
tanto:  5 = 5 =.
x2 + y2 5

5x2 y
Todo lo anterior confirma que lim(x, y)→(0,0) =0
x2 + y2
 NOTA: La demostración de que el límite de una función en un punto existe y, además,
calcularlo no siempre es una tarea fácil. Por otro lado, utilizar la definición para determinar la
validez de un límite puede ser, muchas veces, difícil y engorroso.
A veces es posible encontrar algún método alternativo que permita calcular el límite de
forma directa. En cualquier caso, el problema más importante que se encuentra en este cálculo es la
necesidad de asegurar la existencia de límite en un punto sea cual sea la forma de aproximarse al
mismo.
Muchas veces se utiliza este hecho para verificar la “no existencia” de límite en un punto.
Esto se suele hacer viendo que el valor del límite depende de la forma de acercamiento al mismo.
Este particular se ilustra en el siguiente ejemplo.

xy
EJEMPLO: Estudiar: lim(x, y)→(0,0)
x + y2
2

En esta ocasión, no es posible obtener el valor del límite sustituyendo directamente los
valores x = 0 e y = 0 en la expresión de la función, pues se obtiene una indeterminación.
El estudio de los límites iterados conduce a
xy 0 xy
lim x→0 (lim y →0 ) = lim x→0 = 0 ; lim y →0 (lim x→0 )=0
2 2 2
x +y x +0 x + y2
2

Pero en este caso, en vez de recurrir a la definición, es conveniente estudiar el límite

cuando el acercamiento a (0,0) se hace de otra forma, por ejemplo a través de la recta y = x .
Esto es, por puntos de la forma (x, x) con x → 0 . En este caso el límite se calcula así:
xy xx 1
lim(x, y)→(0,0) = lim ( x, x)→(0,0) 2 2
=
2 2
x +y x +x 2

Es decir, se obtiene un valor del límite que no coincide con los límites iterados. Por
tanto el límite anterior no existe.

A veces es posible calcular el límite de una función de dos variables, cuando (x, y) → (0,0) ,
mediante el cambio a coordenadas polares. En ese caso se hace la sustitución:
x = r cos( ) , y = r sen( ) y la tendencia (x, y) → (0,0) por r → 0 .
Entonces, en algunas ocasiones, cuando el límite es independiente del valor de  se puede
obtener su valor. Cuando el límite depende de  resulta obvio que no existe.

EJEMPLO: En el límite anterior:

5x2 y
lim(x, y)→(0,0)
x2 + y2

se puede aplicar la técnica del paso a polares para determinar el límite:

 En este caso se obtiene:

5x2 y 5r3 cos2 ( ) sen( ) 2

lim(x, y)→(0,0) = limr →0 2 = limr →0 5r cos ( ) sen( )
2
x +y 2
r (cos ( ) + sen ( ))
2 2

Teniendo en cuenta que cos2 ( ) sen( ) está acotado se desprende que este límite es 0.

5x2 y 2
lim(x, y)→(0,0)
2
= limr →0 5r cos ( ) sen( ) =0
x + y2

Si se estudia el otro ejemplo por este método se obtiene:

xy
EJEMPLO: Estudiar el límite lim (x, y)→(0,0) mediante su cambio a polares.
x + y2
2

xy r 2 cos( ) sen( )
lim(x, y)→(0,0) = lim r →0 2 = limr →0 cos( ) sen( )
x2 + y 2 r (cos 2 ( ) + sen 2 ( ))
En este caso, al haber desaparecido la variable r, el valor del límite depende
únicamente del valor de  (esto es, de la dirección de aproximación) y, por lo tanto, este
límite no existe.

Límite de un campo vectorial.

En el caso de un campo vectorial de la forma

f :D  n → m
. . . . . .
Existirá el límite de f (x) = ( f1(x), f2 (x),..., fm (x)) cuando x → x0 si existe el límite de
cada una de sus componentes (cada componente es un campo escalar).
. . . .
Esto es, si f (x) = ( f1(x), f2 (x),..., fm (x)) entonces:
.
lim . . . . . . .
x → x0 f (x) = (L1, L2 ,..., Lm )  lim x → x0 f1(x) = L1, lim x → x0 f2 (x) = L2 ,..., lim x → x0 fm1(x) = Lm

NOTA: Se conservan todas las propiedades de la suma, producto y cociente de límites de los
límites de los campos escalares