Lmites y continuidad de funciones de varias variables

1
Lmites de funciones de varias variables.
En este apartado se estudia el concepto de lmite de una funcin de varias variables y
algunas de las tcnicas utilizadas en su clculo. Despus, basndose en este concepto, se establece
la definicin de funcin continua y cmo estudiar la continuidad de una funcin de varias variables.
En principio se comienza con campos escalares y despus se extiende la definicin a los campos
vectoriales.
Lmite de un campo escalar.
Antes de comenzar con los campos escalares conviene recordar la definicin de lmite en un
punto de una funcin real de variable real ) (x f y = de la forma:
f :D
donde D=(a,b) es un intervalo abierto.
En este contexto se dice que dado
0
x D{a,b} el lmite de la funcin ) (x f y = , cuando x
tiende a
0
x , es L si 0 > existe 0 > tal que x D con
0
x x y tal que < | |
0
x x se tenga
que < | ) ( | L x f .
NOTAS: 1. Se destaca que esta definicin de lmite est basada en la idea topolgica de
proximidad, entre los valores de la variable x con
0
x y los de la funcin ) (x f con L.
2. Tambin es valioso darse cuenta de que esta definicin no proporciona ningn mtodo
para calcular el lmite de una funcin en un punto. La definicin sirve, no obstante, para verificar si
dicho lmite tiene un valor de terminado.
3. Tambin se debe destacar que en el lmite de una funcin en un punto
0
x no influye el
valor ) (
0
x f de la funcin en dicho punto.
Para extender este concepto a un campo escalar es necesario ampliar la idea de proximidad
en el conjunto al espacio
n
. Para ello se introduce la definicin de bola abierta en
n
(que
equivale al concepto de entrono de un punto en ).
Definicin: Se denomina bola abierta de centro
0
x

y radio 0 > r al conjunto de todos los

puntos x

n
tales que || ||
0
x x

r < . Esto es:
B(
0
x

,r) = { x

n
/ || ||
0
x x

r < }
NOTAS: 1. Obsrvese que en este caso los elementos de
n
son vectores y por eso se
representan como tales (esto es con una flechita encima).
2. En el caso de
2
la bola abierta B(
0
x

,r) corresponde a los puntos interiores al crculo

(esto es sin contar la circunferencia) de centro
0
x

y radio r. En el caso de
3
se tratara 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 definicin.
Definicin: Se dice que el conjunto D
n
es un conjunto abierto en
n
si
0
x

D existe
0 > r tal que la bola B(
0
x

,r) D.
NOTA: Tambin se puede decir que D es abierto si para todo
0
x

D es posible encontrar
una bola abierta de centro
0
x

que est totalmente contenida en D.

Lmites y continuidad de funciones de varias variables
2
Asimismo es necesario introducir el concepto de frontera de un conjunto D
n
. La
definicin en este caso es:
Definicin: Se dice que un punto
0
x

n
es un punto frontera de D
n
si para
cualquier bola abierta B(
0
x

,r) se tiene que B(

0
x

,r) D y B(
0
x

,r) (
n
-D) .
NOTA. La frontera de un conjunto D
n
, 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 lmite de un campo escalar en un punto.
Definicin: Sea el campo escalar de n variables, 0 > n de la forma:
f :D
n

siendo D abierto, y sea un punto
0
x

(D D). Se dice que L es el lmite de ) (x f

cuando
0
x x

si 0 > existe 0 > tal que x

D con
0
x x

y < || ||
0
x x

se cumple que
< || ) ( || L x f

. Este hecho se simboliza por la expresin:
L x f
x x
=

) ( lim
0

NOTAS: 1. Una definicin anloga a esta puede ser la siguiente:
En las condiciones anteriores se dice que
L x f
x x
=

) ( lim
0

si 0 > existe 0 > tal que
0
x x

con x

B(
0
x

, ) D se tiene que ) (x f

B(
0
x

, ).
2.- Se conservan todas las propiedades sobre la suma, producto y cociente de lmites que
tenan los lmites de las funciones reales de variable real.
3.- En condiciones normales el clculo de lmites de campos escalares se hace sustituyendo
el valor
0
x

en la funcin ) (x f

. Cuando se producen indeterminaciones es necesario estudiar el
lmite con ms detalle para determinar su naturaleza.
4.- En un campo escalar de dos variables, cuando (x,y) tiende a (
0 0
, y x ) se definen los
lmites iterados como:
)) , ( (lim lim
0 0
y x f
y y x x
y )) , ( (lim lim
0 0
y x f
x x y y

Entonces, si la funcin ) , ( y x f tiene lmite L, cuando (x,y) tiende a (
0 0
, y x ), ambos lmites
iterados existen y tambin toman el valor L. Sin embargo, la existencia e igualdad de lmites
iterados no conduce a la existencia de lmite. Este hecho es til para determinar cual puede ser el
lmite en casos conflictivos.
EJEMPLO: Calcular el lmite de la funcin
2 2
2
5
y x
y x
z
+
= en los puntos (1,2) y (0,0).
En primer lugar, el clculo del lmite cuando ) , ( y x tiende a (1,2) se efecta, de forma
sencilla, como:
) 2 , 1 ( ) , (
lim
y x
2 2
2
5
y x
y x

=
4 1
2 1 5
+

=2
En cambio, al calcular el lmite en el origen de coordenadas, de la misma forma, se
Lmites y continuidad de funciones de varias variables
3
obtiene una indeterminacin:
) 0 , 0 ( ) , (
lim
y x
2 2
2
5
y x
y x
+
=
0 0
0 0 0
+

(indeterminacin).
Utilizando los lmites iterados se puede ver que, en el caso de existir, el lmite debera
ser L=0:
)
5
(lim lim
2 2
2
0 0
y x
y x
y x
+

=
0
0
lim
2
0
+

x
x
= 0, e igualmente, 0 )
5
(lim lim
2 2
2
0 0
=
+

y x
y x
x y

Para poder demostrar que 0 es el valor del lmite cuando ) 0 , 0 ( ) , ( y x hay que poder
encontrar un valor 0 > de tal forma que cuando se tenga la acotacin < || ) 0 , 0 ( ) , ( || y x se
est seguro de que tambin se satisface la acotacin < 0 ) , ( y x f , siendo 0 > un valor
cualquiera (en general el valor depender del valor , esto es ) ( = ).
En este caso < || ) 0 , 0 ( ) , ( || y x se considera como < +
2 2
y x y < 0 ) , ( y x f
como <
+
2 2
2
5
y x
y x
. En este contexto, el proceso de demostracin se basa en establecer una
cadena de desigualdades que acoten el valor de
2 2
2
5
y x
y x
+
por alguna expresin que dependa de
2 2
y x + , con ello, la acotacin de
2 2
y x + tambin supondr una acotacin de
2 2
2
5
y x
y x
+
.
Encontrar esta sucesin de acotaciones no siempre es posible ni fcil. Tampoco existen
reglas fijas para hallarla. En muchas ocasiones depende de la pericia del usuario
En este caso una posibilidad es:
2 2
2
5
y x
y x
+
=
2 2
2
5
y x
x
y
+
y 5 5
2 2
y x +
Esto es, se ha encontrado la acotacin
2 2
2
5
y x
y x
+
5
2 2
y x + .
Entonces dado cualquier valor de 0 > se toma un valor 5 / 0 < < (hay infinitos).
Con este valor 0 > se tiene asegurado que cuando < + =
2 2
|| ) 0 , 0 ( ) , ( || y x y x el valor
de 0 ) , ( y x f =
2 2
2
5
y x
y x
+
est acotado por 5
2 2
y x + que a su vez esta acotado por 5 y por
tanto:

= = <
+
5
5 5
5
2 2
2
y x
y x
.
Todo lo anterior confirma que
) 0 , 0 ( ) , (
lim
y x
2 2
2
5
y x
y x
+
= 0
Lmites y continuidad de funciones de varias variables
4

NOTA: La demostracin de que el lmite de una funcin en un punto existe y, adems,
calcularlo no siempre es una tarea fcil. Por otro lado, utilizar la definicin para determinar la
validez de un lmite puede ser, muchas veces, difcil y engorroso.
A veces es posible encontrar algn mtodo alternativo que permita calcular el lmite de
forma directa. En cualquier caso, el problema ms importante que se encuentra en este clculo es la
necesidad de asegurar la existencia de lmite en un punto sea cual sea la forma de aproximarse al
mismo.
Muchas veces se utiliza este hecho para verificar la no existencia de lmite en un punto.
Esto se suele hacer viendo que el valor del lmite depende de la forma de acercamiento al mismo.
Este particular se ilustra en el siguiente ejemplo.
EJEMPLO: Estudiar:
) 0 , 0 ( ) , (
lim
y x
2 2
y x
xy
+

En esta ocasin, no es posible obtener el valor del lmite sustituyendo directamente los
valores 0 = x e 0 = y en la expresin de la funcin, pues se obtiene una indeterminacin.
El estudio de los lmites iterados conduce a
) (lim lim
2 2
0 0
y x
xy
y x
+

=
0
0
lim
2
0
+

x
x
= 0 ; 0 ) (lim lim
2 2
0 0
=
+

y x
xy
x y

Pero en este caso, en vez de recurrir a la definicin, es conveniente estudiar el lmite
cuando el acercamiento a (0,0) se hace de otra forma, por ejemplo a travs de la recta x y = .
Esto es, por puntos de la forma ) , ( x x con 0 x . En este caso el lmite se calcula as:
) 0 , 0 ( ) , (
lim
y x
2 2
y x
xy
+
=
) 0 , 0 ( ) , (
lim
x x
2 2
xx
x x +
=
2
1

Es decir, se obtiene un valor del lmite que no coincide con los lmites iterados. Por
tanto el lmite anterior no existe.
A veces es posible calcular el lmite de una funcin de dos variables, cuando ) 0 , 0 ( ) , ( y x ,
mediante el cambio a coordenadas polares. En ese caso se hace la sustitucin:
) ( cos r x = , ) ( sen r y = y la tendencia ) 0 , 0 ( ) , ( y x por 0 r .
Entonces, en algunas ocasiones, cuando el lmite es independiente del valor de se puede
obtener su valor. Cuando el lmite depende de resulta obvio que no existe.
EJEMPLO: En el lmite anterior:
) 0 , 0 ( ) , (
lim
y x
2 2
2
5
y x
y x
+

se puede aplicar la tcnica del paso a polares para determinar el lmite:
Lmites y continuidad de funciones de varias variables
5
En este caso se obtiene:
) 0 , 0 ( ) , (
lim
y x
2 2
2
5
y x
y x
+
=
0
lim
r
)) ( sen ) ( (cos
) ( sen ) ( cos 5
2 2 2
2 3


+ r
r
=
0
lim
r
) ( sen ) ( cos 5
2
r
Teniendo en cuenta que ) ( sen ) ( cos
2
est acotado se desprende que este lmite es 0.
) 0 , 0 ( ) , (
lim
y x
2 2
2
5
y x
y x
+
=
0
lim
r
) ( sen ) ( cos 5
2
r =0
Si se estudia el otro ejemplo por este mtodo se obtiene:
EJEMPLO: Estudiar el lmite
) 0 , 0 ( ) , (
lim
y x
2 2
y x
xy
+
mediante su cambio a polares.
) 0 , 0 ( ) , (
lim
y x
2 2
y x
xy
+
=
0
lim
r
)) ( sen ) ( (cos
) ( sen ) cos(
2 2 2
2


+ r
r
=
0
lim
r
) ( sen ) cos(
En este caso, al haber desaparecido la variable r, el valor del lmite depende
nicamente del valor de (esto es, de la direccin de aproximacin) y, por lo tanto, este
lmite no existe.

Lmite de un campo vectorial.
En el caso de un campo vectorial de la forma
f

:D
n

m

Existir el lmite de ) (x f

= ( )) ( ),..., ( ), (
2 1
x f x f x f
m

cuando
0
x x

si existe el lmite de
cada una de sus componentes (cada componente es un campo escalar).
Esto es, si ) (x f

= ( )) ( ),..., ( ), (
2 1
x f x f x f
m

entonces:
m m x x x x x x m x x
L x f L x f L x f L L L x f = = = =

) ( lim ,..., ) ( lim , ) ( lim ) ,..., , ( ) ( lim
1 2 2 1 1 2 1
0 0 0 0

NOTA: Se conservan todas las propiedades de la suma, producto y cociente de lmites de los
lmites de los campos escalares.
Lmites y continuidad de funciones de varias variables
6
Continuidad de funciones de varias variables.
En este apartado se introduce la definicin de funcin de varias variables continua en un
punto. La forma de definir la continuidad en este contexto es anloga a la utilizada para funciones
reales de variable real. Se comienza con la continuidad de campos escalares y se extiende, de forma
natural, para campos vectoriales.
Continuidad de campos escalares.
La definicin de campo escalar continuo en un punto es la siguiente.
Definicin: Sea el campo escalar de n variables, 0 > n de la forma:
f :D
n

siendo D abierto, y sea un punto
0
x

D. Se dice que ) (x f

es continua en
0
x

si:
) ( ) ( lim
0
0
x f x f
x x


=

Si la funcin no es continua se denomina discontinua.
NOTAS: 1. Tipos de discontinuidad: En esta definicin se determina que para establecer
la continuidad de ) (x f

en el punto
0
x

son necesarias tres cosas:

a) La existencia de ) ( lim
0
x f
x x

=L.
b) Que la funcin ) (x f

est definida en
0
x

D.
c) Que ambos valores sean iguales.
Si alguna de las tres condiciones no se cumple la funcin ) (x f

es discontinua en
0
x

D.
De todas estas condiciones la ms importante es la existencia del lmite. Si el lmite no
existe no hay nada que hacer, pero si la continuidad falla por alguna de las otras razones es posible
hacer un apao para que la funcin sea continua. Este apao consiste en redefinir la funcin en
ese punto.
Por esta razn la discontinuidad de una funcin en un punto puede ser de dos tipos:
1.- Discontinuidad esencial. Cuando no existe el lmite y no hay nada que hacer.
2.- Discontinuidad evitable. Cuando existiendo el lmite la funcin no est definida o su
valor no coincide con dicho lmite (Hombre!... Pero se puede arreglar).
2. Se conservan todas las propiedades de continuidad de la suma, producto y cociente de
funciones continuas que tenan las funciones reales de variable real continuas.
3. Se dice que un campo escalar en continuo en un conjunto abierto D
n
si es continuo
en cada uno de los puntos de D.
EJEMPLO: La funcin
2 2
2
5
) , (
y x
y x
y x f
+
= es continua en todo punto ) , ( y x
2
tal que
) 0 , 0 ( ) , ( y x . En el punto (0,0) la funcin no est definida pues la expresin anterior no tiene
sentido cuando ) 0 , 0 ( ) , ( = y x . Sin embargo, la funcin s tiene lmite cuando ) 0 , 0 ( ) , ( y x .
Esto es:
Lmites y continuidad de funciones de varias variables
7
) 0 , 0 ( ) , (
lim
y x
2 2
2
5
y x
y x
+
= 0
Se trata, por tanto, de una discontinuidad evitable. Esta circunstancia permite hacer
que la funcin sea continua aadiendo a su definicin el valor ) 0 , 0 ( f =0. De esta manera
tambin ser continua en ) 0 , 0 ( ) , ( = y x .
La funcin redefinida tendr por expresin:

+
=
) 0 , 0 ( ) , ( si 0
) 0 , 0 ( ) , ( si
5
) , ( 2 2
2
y x
y x
y x
y x
y x f

EJEMPLO: La funcin:
2 2
) , (
y x
xy
y x f
+
= tambin es continua en todos los puntos
) , ( y x
2
tales que ) 0 , 0 ( ) , ( y x . Sin embargo, en el punto ) 0 , 0 ( ) , ( = y x no slo no est
definida, sino que no existe su lmite cuando ) 0 , 0 ( ) , ( y x .
En este caso se trata de una discontinuidad esencial y n0 es posible, de ninguna
manera, redefinir la funcin y encontrar un valor para ) 0 , 0 ( f que remedie esta situacin de
discontinuidad.

Continuidad de campos vectoriales.
En el caso de un campo vectorial de la forma
f

:D
n

m

La funcin ) (x f

= ( )) ( ),..., ( ), (
2 1
x f x f x f
m

ser continua en
0
x

D si lo es cada una de sus

componentes. Esto, es si todas las funciones ) ( ),..., ( ), (
2 1
x f x f x f
m

son continuas en
0
x

.
NOTA: Se conservan todas las propiedades de la suma, producto y cociente de funciones
continuas en campos escalares.
Composicin de funciones.
La composicin de funciones es una operacin entre funciones que permite obtener una
funcin nueva, a partir de otras dos o ms funciones, cuando se cumplen unas determinadas
condiciones.
En el caso de funciones reales de variable real se realizaba de la siguiente forma:
Dadas dos funciones: g :I y f :J y tales que g (I) J, se poda construir
la funcin g f :I definida por la expresin ( g f )(x) = f (g (x)). En el caso de las
funciones reales de variable real, la funcin compuesta es continua en un punto
0
x I si la funcin
g(x) es continua en
0
x I y, adems, f(y) es continua en el punto = ) (
0 0
x g y J.
Lmites y continuidad de funciones de varias variables
8
Las funciones de varias variables tambin se pueden componer entre si. En este caso, es
necesario tener en cuenta las dimensiones de los espacios inicial y final de las funciones ya que
deben coincidir adecuadamente.
As, dada la funcin f :D
2
podr componerse con otra funcin de la forma
g

:H
n

2
y tal que D ) H ( g

. Entonces, se podr construir la funcin compuesta:

H : g f

n
siendo ( g f

) ) ,..., , (
2 1 n
x x x = )) ,..., , ( ), ,..., , ( (
2 1 2 2 1 1 n n
x x x g x x x g f
EJEMPLO: Sean las funciones ) ( sen ) , (
2
y x y x y x f + + = , ) 3 2 , ( ) , , (
2 2
w uv w u w v u g + + =

en este caso la funcin compuesta es : g f

3
que tiene por expresin
( g f

) ) , , ( w v u = )) , , ( ), , , ( (
2 1
w v u g w v u g f , esto es:
( g f

) ) , , ( w v u = ) , , ( ) , , (
2
2
1
w v u g w v u g +sen )) , , ( ) , , ( (
2 1
w v u g w v u g + =
) 3 2 ( sen ) 3 2 ( ) (
2 2 2 2 2
w uv w u w uv w u + + + + + + +
NOTA: Tambin es posible establecer la composicin de dos campos vectoriales de la
forma:
f

:D
m

p
y g

:H
n

m
con g

(H) D
La continuidad de las funciones compuestas se asienta en la continuidad de las funciones
que las componen. As, en este mismo caso, la funcin : g f

H
n

p
ser continua en

0
x

H, si la funcin g

es continua en
0
x

H y la funcin f

es continua en ) (
0
x g

D.