Lmites y continuidad de funciones de varias variables

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 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 lmite de la funcin 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 definicin de lmite est basada en la idea topolgica de
proximidad, entre los valores de la variable x con x0 y los de la funcin f (x) 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 x0 no influye el
valor f ( x0 ) de la funcin 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 definicin de bola abierta en
(que
equivale al concepto de entrono de un punto en ).


Definicin: Se denomina bola abierta de centro x0 y radio r > 0 al conjunto de todos los






puntos x n tales que || x x0 || < r . Esto es:







B( x0 ,r) = { x n / || x x0 || < r }
n
NOTAS: 1. Obsrvese 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( x0 ,r) corresponde a los puntos interiores al crculo


3
(esto es sin contar la circunferencia) de centro x0 y radio r. En el caso de
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 x0 D existe


r > 0 tal que la bola B( x0 ,r) D.


NOTA: Tambin 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.
1

Lmites y continuidad de funciones de varias variables

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 x0 n es un punto frontera de D n 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

sus puntos frontera.

, simbolizada por D, es el conjunto de todos

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, n > 0 de la forma:
f :D n




siendo D abierto, y sea un punto x0 (D D). Se dice que L es el lmite 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 expresin:


lim x
x
0 f ( x ) = L

NOTAS: 1. Una definicin anloga a esta puede ser la siguiente:

En las condiciones anteriores se dice que


lim x
x
0 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 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 x0 en la funcin f ( x ) . 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 ( x0 , y0 ) se definen los
lmites iterados como:

lim x x 0 (lim y y 0 f ( x, y )) y lim y y 0 (lim x x 0 f ( x, y ))

Entonces, si la funcin f ( x, y ) tiene lmite L, cuando (x,y) tiende a ( x0 , y0 ), 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 z =

5x2 y
x2 + y2

en los puntos (1,2) y (0,0).

En primer lugar, el clculo del lmite cuando ( x, y ) tiende a (1,2) se efecta, de forma
sencilla, como:
lim ( x, y ) (1,2)

5x2 y
2

x y

5 1 2
=2
1+ 4

En cambio, al calcular el lmite en el origen de coordenadas, de la misma forma, se

2

Lmites y continuidad de funciones de varias variables

obtiene una indeterminacin:
lim ( x, y ) (0,0)

5x2 y
2

x +y

000
(indeterminacin).
0+0

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

5x2 y

x2 + y 2

) = lim x 0

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

Para poder demostrar que 0 es el valor del lmite cuando ( x, y ) (0,0) hay que poder
encontrar un valor > 0 de tal forma que cuando se tenga la acotacin || ( x, y ) (0,0) ||< se
est seguro de que tambin se satisface la acotacin 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
como

5x 2 y
x2 + y2

x 2 + y 2 < y f ( x, y ) 0 <

< . En este contexto, el proceso de demostracin se basa en establecer una

5x 2 y

cadena de desigualdades que acoten el valor de

x 2 + y 2 , con ello, la acotacin de

x2 + y2

por alguna expresin que dependa de

x 2 + y 2 tambin supondr una acotacin de

5x 2 y
x2 + y 2

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:
5x 2 y
2

x +y

x2

= 5y

x +y

Esto es, se ha encontrado la acotacin

5 y 5 x2 + y2

5x 2 y
2

x +y

5 x2 + y 2 .

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) ||= x 2 + y 2 < el valor
de f ( x, y ) 0 =

tanto:

5x 2 y
2

x +y

5x2 y
2

x +y

est acotado por 5 x 2 + y 2 que a su vez esta acotado por 5 y por

< 5 = 5

=.

5x 2 y
Todo lo anterior confirma que lim ( x, y ) (0,0)
=0
x2 + y2

Lmites y continuidad de funciones de varias variables

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: lim ( x, y ) (0,0)

xy
2

x + y2

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

xy
2

x +y

) = lim x 0

0
2

x +0

= 0 ; lim y 0 (lim x 0

xy
2

x + y2

)=0

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 y = x .
Esto es, por puntos de la forma ( x, x) con x 0 . En este caso el lmite se calcula as:
lim ( x, y ) (0,0)

xy
2

x +y

= lim( x, x ) (0,0)

xx
2

x +x

1
2

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 ( x, y ) (0,0) ,
mediante el cambio a coordenadas polares. En ese caso se hace la sustitucin:
x = r cos( ) , y = r sen ( ) y la tendencia ( x, y ) (0,0) por r 0 .

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:

lim ( x, y ) (0,0)

5x2 y
x2 + y2

se puede aplicar la tcnica del paso a polares para determinar el lmite:

Lmites y continuidad de funciones de varias variables

En este caso se obtiene:

lim ( x, y ) (0,0)

5x2 y
2

x +y

= lim r 0

5r 3 cos 2 ( ) sen ( )
2

r (cos ( ) + sen ( ))

= lim r 0 5r cos 2 ( ) sen ( )

Teniendo en cuenta que cos 2 ( ) sen ( ) est acotado se desprende que este lmite es 0.
lim ( x, y ) (0,0)

5x2 y
2

x +y

= lim r 0 5r cos 2 ( ) sen ( ) =0

Si se estudia el otro ejemplo por este mtodo se obtiene:

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

xy
x2 + y2

= lim r 0

r 2 cos( ) sen ( )
r 2 (cos 2 ( ) + sen 2 ( ))

= lim r 0 cos( ) sen ( )

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 f (x ) = ( f1 ( x ), f 2 ( x ),..., f m ( x )) cuando x x0 si existe el lmite de
cada una de sus componentes (cada componente es un campo escalar).









Esto es, si f (x ) = ( f1 ( x ), f 2 ( x ),..., f m ( x )) entonces:









lim x
x0 f ( x ) = ( L1 , L2 ,..., Lm ) lim x
x0 f1 ( x ) = L1 , lim x
x0 f 2 ( x ) = L2 ,..., lim x
x0 f m1 ( x ) = Lm
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

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, n > 0 de la forma:
f :D n






siendo D abierto, y sea un punto x0 D. Se dice que f (x ) es continua en x0 si:




lim x
x
0 f ( x ) = f ( x0 )

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 f (x ) en el punto x0 son necesarias tres cosas:


a) La existencia de lim x
x
0 f ( x ) =L.




b) Que la funcin f (x ) est definida en x0 D.
c) Que ambos valores sean iguales.




Si alguna de las tres condiciones no se cumple la funcin f (x ) es discontinua en x0 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
en cada uno de los puntos de D.

EJEMPLO: La funcin f ( x, y ) =

5x 2 y

es continua en todo punto ( x, y )

si es continuo

tal que
x +y
( x, y ) (0,0) . En el punto (0,0) la funcin no est definida pues la expresin anterior no tiene
sentido cuando ( x, y ) = (0,0) . Sin embargo, la funcin s tiene lmite cuando ( x, y ) (0,0) .
Esto es:
2

Lmites y continuidad de funciones de varias variables

lim ( x, y ) (0,0)

5x 2 y
x2 + y2

=0

Se trata, por tanto, de una discontinuidad evitable. Esta circunstancia permite hacer
que la funcin sea continua aadiendo a su definicin el valor f (0,0) =0. De esta manera
tambin ser continua en ( x, y ) = (0,0) .
La funcin redefinida tendr por expresin:
5x 2 y

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

EJEMPLO: La funcin: f ( x, y ) =

xy
2

x + y2

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

tambin es continua en todos los puntos

( x, y ) 2 tales que ( x, y ) (0,0) . Sin embargo, en el punto ( x, y ) = (0,0) no slo no est

definida, sino que no existe su lmite cuando ( x, y ) (0,0) .

En este caso se trata de una discontinuidad esencial y n0 es posible, de ninguna

manera, redefinir la funcin y encontrar un valor para f (0,0) 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 f (x ) = ( f1 ( x ), f 2 ( x ),..., f m ( x )) ser continua en x0 D si lo es cada una de sus








componentes. Esto, es si todas las funciones f1 ( x ), f 2 ( x ),..., f m ( x ) son continuas en x0 .
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 f  g :I
definida por la expresin ( f  g )(x) = f (g (x)). En el caso de las
funciones reales de variable real, la funcin compuesta es continua en un punto x0 I si la funcin
g(x) es continua en x0 I y, adems, f(y) es continua en el punto y0 = g ( x0 ) J.

Lmites y continuidad de funciones de varias variables

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.


g :H

As, dada la funcin f :D 2

podr componerse con otra funcin de la forma


n
2 y tal que g ( H) D . Entonces, se podr construir la funcin compuesta:




f  g : H n siendo ( f  g ) ( x1, x2 ,..., xn ) = f ( g1 ( x1 , x2 ,..., xn ), g 2 ( x1 , x2 ,..., xn ))

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


en este caso la funcin compuesta es f  g : 3
que tiene por expresin


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


( f  g ) (u , v, w) = g12 (u , v, w) g 2 (u , v, w) +sen ( g1 (u , v, w) + g 2 (u , v, w)) =

(u 2 + w2 ) 2 + (2uv + 3w) + sen(u 2 + w2 + 2uv + 3w)

NOTA: Tambin es posible establecer la composicin de dos campos vectoriales de la

forma:


f :D

y g :H

con g (H) D

La continuidad de las funciones compuestas se asienta

de las funciones


en la continuidad
n
p
que las componen. As, en este mismo caso, la funcin f
 g : H

ser continua en









x0 H, si la funcin g es continua en x0 H y la funcin f es continua en g ( x0 ) D.