You are on page 1of 15

w

w
w
.
.c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I
INTRODUCCIN ___________________

No siempre es posible expresar una magnitud como funcin matemtica de una sola variable. Al
contrario, las funciones de inters en ingeniera dependern en general- de un gran nmero de
variables. Este Math-block est dedicado a extender a funciones de ms de una variable los
conceptos de lmite, continuidad y derivabilidad que ya hemos visto en una dimensin en bloques
anteriores.

Empezaremos proporcionando ejemplos de magnitudes que se describen mediante funciones de
varias variables y representaremos en tres dimensiones las funciones de dos variables.

Despus introduciremos las nociones topolgicas necesarias para definir el concepto de
distancia, que nos permite definir bolas, entornos, conjuntos abiertos, conjuntos cerrados,
conjuntos compactos y puntos de acumulacin.

Ms tarde presentaremos el concepto de continuidad basndonos en la definicin de lmite, e
ilustraremos el clculo de lmites de funciones de ms de una variable.


OBJETIVOS ________________________


1. Aproximarnos al concepto de funciones de varias variables.

2. Saber relacionar las curvas de nivel de una funcin con su grfico.

3. Entender la extensin de los conceptos de continuidad y lmites para funciones de varias
variables.

4. Clasificar, topolgicamente, un conjunto 2D.

5. Saber calcular lmites direccionales y generales.

6. Representar grficamente, con la ayuda del Mathcad, funciones de 2 variables y sus
curvas de nivel.



CONOCIMIENTOS PREVIOS ___________________________________

Para poder seguir con xito esta unidad es recomendable haberse ledo los siguientes Math-
blocks: Uso bsico del Mathcad, Funciones de una variable, Lmites de funciones,
Continuidad, Derivacin y Estudio local y representacin grfica en 2D.


CONCEPTOS FUNDAMENTALES ______________________________


Definicin de funcin de varias variables: Grfica y curvas de nivel.

Una funcin con n variables reales es una regla f que asocia a cada punto
(x
1
, x
2
,.., x
n
) D R
n
un nico nmero real z = f(x
1
, x
2
,.., x
n
). Representaremos esta funcin
como f: D R. D se llama dominio de definicin de f .


Ejemplos:
Proyecto e-Math 2
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I

1.- Un sistema de fiabilidad con estructura en serie, formado por cuatro componentes(o bien
en circuitos elctricos) funciona (la corriente pasa) si los cuatro componentes lo hacen. La
funcin de varias variables que describe el sistema sera f(x
1
,x
2
, x
3
, x
4
) = x
1
x
2
x
3
x
4
donde el
componente i funciona si x
i
= 1, y no lo hace si x
i
= 0. Luego el sistema funciona si
x
1
= x
2
= x
3
= x
4
=1.

2.- Veamos el dominio de las siguientes funciones:
2 2
) , ( y x y x f + = . f(x,y) est definida para cualquier par de valores reales (x,y). Por tanto,
D = R
2
.
y x
y x g

=
2
) , (
y x
. g(x,y) est definida para cualquier par de valores reales (x,y) tal que
(para que no se anule el denominador). Luego el dominio es todo los puntos del xy-
plano excepto los que estn sobre la recta y=x.
2 2
1 ) , ( y x y x h = . Como 1 . Luego el dominio es todo
los puntos del xy-plano excepto los que estn en el crculo de radio 1 y centro el origen de
coordenadas, es decir,
1 0
2 2 2 2
+ y x y x
) 0 , 0 (
1
B
2
R D = . Donde ) 0 , 0 (
1
B es la bola cerrada de centro (0,0)
y radio 1.
) ln( ) , ( y x y x i + = . El dominio de la funcin son aquellos pares (x,y) tales que x+y>0, el
logaritmo no puede tener un argumento negativo o cero. Grficamente, el conjunto dominio
est constituido por uno de los semiplanos limitados por la recta x+y = 0 (y = -x).


La grfica de una funcin de dos variables z = f(x,y), es la representacin 3D (a partir de
unos ejes cartesianos X,Y,Z) de todas las combinaciones posibles de valores (x,y,z). Es decir,
para cada par de valores (x,y) encontraremos la imagen z a travs de la funcin f . Los tres
valores definen un punto en el espacio de tres dimensiones. El conjunto de todos estos puntos
nos da la grfica de la funcin.


Dada una funcin f de n variables z = f(x
1
, x
2
,.., x
n
) y un nmero real cualquiera c, se define la
curva de nivel de la funcin f asociada a un determinado valor c de z (z = c) como el conjunto
de puntos x = (x
1
,x
2
,...,x
n
) tales que verifican la siguiente condicin: f(x) = c.

En particular, para una funcin de dos variables z = f(x,y), la curva de nivel para z = a, es el
conjunto de todos los pares de valores (x,y) tales que su imagen sea a. Si denotamos esta
curva de nivel como C
z = a
, podemos decir que:

{ } a y x f y x C
a z
= =
=
) , ( que tal ) , (

Podemos representar las curvas de nivel en dos dimensiones (usando los ejes X,Y). La
representacin coincidir con el perfil que resulta de seccionar horizontalmente la grfica de la
funcin a un nivel (o altura) de valor z = a. El conjunto de curvas de nivel se llama mapa de
curvas de nivel.

Ejemplo: Supongamos que tenemos un ordenador con una placa metlica de grandes
dimensiones. La temperatura de la placa (lo que nos dar una idea de como tiene que ser el
ventilador para que no se caliente en exceso) es funcin de las coordenadas de cada uno de
sus puntos y viene dada por : T . Veamos la grfica y el mapa
de curvas de nivel, en [-30,30]x[-20,20].
2 2
5 . 1 6 . 0 500 ) , ( y x y x =

Proyecto e-Math 3
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I
Grfica 3D
surf
Mapa de curvas de nivel
M





Definicin de Entornos: Conjuntos abiertos y cerrados. Compactos.


Un rectngulo A en R
n
es aquel conjunto de puntos cuyas coordenadas estn limitadas por
intervalos.


- Rectngulo abierto: no contiene ninguno de los extremos:

A = { x = (x
1
,x
2
,...,x
n
) R
n
: a
1
< x
1
< b
1
, a
2
< x
2
< b
2
, ... , a
n
< x
n
< b
n
}


- Rectngulo semi-abierto: contiene alguno de los extremos de los intervalos.


- Rectngulo cerrado: contiene todos los extremos de los intervalos:

A = { x = (x
1
,x
2
,...,x
n
) R
n
: a
1
x
1
b
1
, a
2
x
2
b
2
, ... , a
n
x
n
b
n
}




CE A












Un conjunto O de R
n
es abierto si para cualquier punto x del conjunto existe algn rectngulo
A que contiene el punto y que est totalmente contenido en el conjunto. La unin y la
interseccin de dos conjuntos abiertos es otro abierto.

Proyecto e-Math 4
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I

Un conjunto T de R
n
es cerrado si su complementario, R
n
\T, es abierto. La unin y la
interseccin de dos conjuntos cerrados es un cerrado.




Un entorno de un punto x de R
n
es cualquier conjunto dentro del cual haya un abierto que
contenga al punto.
Un conjunto C de R
n
est acotado si lo podemos incluir dentro de un rectngulo cerrado.



Se dice que un conjunto es compacto cuando es cerrado y acotado.


Definicin de lmite: continuidad.

En caso de que exista, el lmite cuando x = (x
1
,x
2
,...,x
n
) tiende a a = (a
1
,a
2
,...,a
n
) R
n
de una
funcin f(x) se representa por:



) ,..., , ( ) (
2 1
) ,..., , ( ) ,..., , (
2 1 2 1
n
a a a x x x a x
x x x f lim x f lim l
n n

= =


Ejemplos:

1) Veamos que
( )
1 cos lim
2 2
2
) 0 , 0 ( ,
=
|
|
.
|

\
|
+

y x
y x
y x
.



Proyecto e-Math 5
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I
Solucin:

Dado que el lmite de existir siempre que pertenezca a , tenemos que calcular el
lmite de la funcin
) cos(z z
2
2
y
y x
+
2
x
z =
z
cuando ( . Para resolver este lmite basta
con fijarse que la funcin puede expresarse como el producto de dos funciones:
) 0 , 0 ( , y x )

2 2
2
y x
x
+

|
|
.
|

\
|

+
1 0
2 2
2
y x
x

e

y

Como el valor absoluto de la primera est acotado y la segunda tiende a 0, entonces, el lmite
( ) ( ) ( ) ( )
0 lim lim
2 2
2
0 , 0 , 0 , 0 ) ,
=
+
=

y x
y x
z
y x y x
y el lmite de su coseno, 1.
2) Veamos que no existe el lmite:
( )
( )
2
2
) 0 , 0 ( ,
sin
lim
y x
y x
y x

. Para demostrar la no existencia de


lmite, basta con probar que para una posible aproximacin el lmite no existe. ) 0 , 0 ( ) , ( y x
Supongamos que intentamos efectuar el clculo de este lmite aproximando (
siguiendo la curva dada por la dependencia funcional con . Siguiendo esta
curva, el clculo del lmite
( )
) 0 , 0 ( ) , y x
k
x y = 0 > k
( )
|
|
.
|

\
|

2
2
0 , 0 ,
sin lim
y x
y x
y x
resultara en un lmite unidimensional:

k
x
k
k
x
x
x
x

+
+

=
|
|
.
|

\
|
1
0
2 1
2
0
lim sin lim

Cuando este lmite unidimensional no existe puesto que la funcin tiende a
infinito. Por lo tanto, el lmite bidimensional no existe.
1 > k
k
x
1


El clculo de lmites direccionales se utiliza a menudo para estudiar aquellos lmites en los
cuales tengamos algn problema. Consideremos un determinado punto a = (a
1
,a
2
,...,a
n
) y un
vector director v = (v
1
,v
2
,...,v
n
). El lmite de una funcin f(x) en el punto a y en la direccin v se
calcula de la siguiente manera:

) ,..., , ( lim
2 2 1 1
0
n n
t
v t a v t a v t a f + + +



Es importante recordar las siguientes propiedades:

Si el lmite en una determinada direccin v no existe, entonces el lmite general tampoco.

Si todos los lmites direccionales existen pero no son todos iguales, entonces el lmite general
tampoco existe.


Una funcin f(x) es continua en un punto x = a si se cumplen las siguientes condiciones:

(1) El punto x = a es un punto del dominio de la funcin, es decir, existe f(a).
Proyecto e-Math 6
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I
(2) Existe el lmite de la funcin cuando x tiende al punto a .
(3) El lmite y el valor de la funcin en el punto coinciden, es decir:

) ( ) ( a f x f lim
a x
=



Una funcin es continua en un conjunto si es continua en cada uno de los puntos del
conjunto.

Ejemplo: Veamos si es continua la funcin
|
|
.
|

\
|
+
2 2
2
cos
y x
y x
en todo x.
Solucin:

Para que la funcin sea continua en , basta con que la imagen del argumento del
coseno sea real porqu el coseno es una funcin continua en . El argumento,
) , ( y x
2 2
2
y x
y x
+

) 0 , 0 (
,
es real en todo ( x salvo en donde la funcin no est definida. No obstante,
hemos visto anteriormente que el lmite del argumento existe y vale 1, entonces en
tenemos una discontinuidad evitable. Entonces, podemos construir una extensin continua de
la funcin de la siguiente manera:
) , y x ) 0 , 0 (

|
|
.
|

\
|
+
=
1
cos
) (
2 2
2
y x
y x
x f
C

cuando ( y cuando ,
respectivamente.
( 0 , 0 ) , y x ) ( ) 0 , 0 ) , ( = y x


Teorema de Weierstrass: toda funcin continua en un conjunto compacto tiene siempre un
mximo y un mnimo absolutos.



















Proyecto e-Math 7
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I
CASOS PRCTICOS CON SOFTWARE___________________________________


Ejemplo de clculo de dominio y representacin grfica:

Dada la funcin z = f(x,y) = 3x + 4y, se pide:

Cul es el dominio de esta funcin?.
Cmo es la grfica de la funcin?. Dibjala con el Mathcad.
Cul es la curva de nivel para el valor z = 12?. Deducirla matemticamente.
Dibujar el mapa de curvas de nivel de la funcin. Interpretarla.


La funcin est definida para cualquier par (x,y) de R
2
. Por tanto, D = R
2
.
La grfica de la funcin es un plano. De hecho, las funciones f(x,y) = ax + by son llamadas
funciones lineales en dos variables.






Introducimos la funcin a
representar.


Definamos el rea (subconjunto de
x) donde vamos a representar
la funcin F(x,y).


Tambin tenemos que
proporcionar el nmero de puntos
por direccin donde la funcin ser
evaluada.

Definamos la funcin surf como la
red de puntos generados con
F(x,y)


F x y , ( ) 3x 4y + :=


xlow 4 := xhigh 4 :=
ylow 4 := yhigh 4 :=


xn 100 :=
yn 100 :=


surf CreateMesh F xlow , xhigh , ylow , yhigh , ( :=


Proyecto e-Math 8
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I








Utilizamos Surface Plot de Graph
para representar esta funcin.

















Efectuando una rotacin en el
espacio, podemos obtener la
imagen de la funcin desde
perspectivas diferentes. Basta con
pinchar con el botn izquierdo del
cursor en la figura desplazndolo.
Alternativamente podemos pinchar
la figura con el botn derecho y
seguir el men que se abre al
escoger format.


surf

surf







c) La curva de nivel de valor z = 12 est formada por todos los pares (x,y) tal que f(x,y) = 3x +
4y = 12 o, dicho de otro modo, tal que y = 3 - 3/4 x.

)
`

=
=
x y y x C
z
4
3
3 que tal ) , (
12

Por tanto, la curva de nivel es una recta.

d) Todas las curvas de nivel son rectas con la misma pendiente, aunque desplazadas de
forma paralela.

Proyecto e-Math 9
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I

Introducimos la funcin a
representar.


Definamos el rea (subconjunto de
x) donde vamos a representar
las curvas de nivel.







Tambin tenemos que
proporcionar el nmero de puntos
por direccin donde la funcin ser
evaluada.










Obtenemos el mapa de las curvas
de nivel de la funcin.


F x y , ( ) 3x 4y + :=


xlow 4 := xhigh 4 :=
ylow 4 := yhigh 4 :=


xn 100 :=
yn 100 :=


i 0 xn 1 .. := xind
i
xlow i
xhigh xlow
xn 1
+ :=
j 0 yn 1 .. :=
yind
j
ylow j
yhigh ylow
yn 1
+ :=
M
i j ,
f xind
i
yind
j
, ( ) :=


Level curves:
M




Las curvas que estn situadas ms a la derecha tienen asociado un valor de la funcin mayor.
Por tanto, la funcin crece cuando nos desplazamos hacia esta zona, y decrece conforme nos
desplazamos hacia la izquierda.

Ejemplo de clasificacin topolgica de un conjunto en 2D:

Considerar el siguiente conjunto C = {(x,y) : y > x
2
, x > 0 , y > 0}.

(a) Representadlo grficamente.

(b) Decir si es un conjunto abierto o cerrado. Es un conjunto compacto?

(c) Y si tenemos el conjunto D = {(x,y) : y x
2
, 0 x 2 , 0 y 1}? es compacto?



(a) Observar que C no es ms que la interseccin de dos conjuntos:
Proyecto e-Math 10
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I

C
1
= {(x,y) : y > x
2
} y C
2
= {(x,y) : x > 0 , y > 0}

Conjunto C
1
:

Para ver qu puntos del plano (x,y) son aquellos que verifican la condicin y > x
2
, hemos de
representar la grfica de la funcin y = x
2
. Despus, hemos de decidir cul de las dos zonas
en las que nos quedar dividido el plano es la que contiene los puntos que verifican la
desigualdad.



Para decidir que la zona de color gris es la que verifica la desigualdad, slo se ha de elegir un
punto cualquiera de su interior (por ejemplo el (0,7)) y comprobar que satisface la desigualdad
(efectivamente, 7 > 0
2
).

Observar que, como tenemos una desigualdad estricta, los puntos que estn sobre la grfica
no pertenecen al conjunto (por tal motivo hay una lnea discontinua).


- Conjunto C
2
:

Este conjunto est formado por aquellos puntos situados en el primer cuadrante (la x y la y
son siempre positivas). Observar que como las desigualdades son estrictas, los puntos que
estn sobre los ejes no pertenecen al conjunto:








Haciendo la interseccin de los conjuntos anteriores, obtendremos la representacin de C:
Proyecto e-Math 11
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I



(b) C es abierto, ya que para cualquier punto del conjunto podemos encontrar una bola que
est completamente incluida en C. Observar que todas las desigualdades que aparecen
son desigualdades estrictas. Adems, no es cerrado, ya que su complementario no es
abierto. Por tanto, como no es un cerrado, no es un conjunto compacto. Observar que, de
hecho, el conjunto C no es acotado.



(c) Observar que podemos considerar este conjunto como la interseccin de dos conjuntos:

D
1
= {(x,y) : y x
2
} y D
2
= {(x,y) : 0 x 2, 0 y 1}


El primer conjunto es exactamente el mismo que C
1
pero incluyendo tambin a los puntos que
pertenecen a la grfica. El segundo conjunto no es nada ms que un rectngulo cerrado de
2x1. La representacin del conjunto D es la zona de color gris:




Por la forma que tiene el conjunto D podemos decir que es un conjunto acotado (es muy fcil
encontrar una bola que contenga al conjunto). Adems, est claro que el conjunto es cerrado
(si consideris el conjunto complementario a D veris que es un conjunto abierto). Por tanto,
como es un conjunto acotado y cerrado, es un conjunto compacto.






Proyecto e-Math 12
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I
Ejemplo de clculo de lmites en dos dimensiones:

Calculad los lmites de las funciones siguientes y determinad si las funciones son
continuas en los puntos donde calculis los lmites:

a) ( )
2 2
1
2
) 0 , 0 ( ) , (
) sin( 1 lim
y x
y x
y x
+

+ b)
2
3
) 0 , 0 ( ) , (
lim
y
x
y x

c)
x
xy
y x
) sin(
lim
) 2 , 0 ( ) , (
d)
2
) 1 , 1 ( ) , (
+

y x
y x
y x
lim


Para el clculo de lmites seguimos la siguiente estrategia. Si intuimos que el lmite existe,
intentamos simplificar la funcin asociada utilizando la tcnica de los infinitsimos
equivalentes y/o buscamos como expresar dicha funcin como una funcin acotada por una
funcin que tiende a cero. Tenemos que asegurarnos que los clculos que realizamos
corresponden a lmites realizados desde todos los posibles entornos alrededor del punto al
que hacemos tender las variables (x,y).

Por el contrario, cuando suponemos que el lmite no existe, basta con demostrar que
siguiendo dos caminos diferentes que conducen al punto al cual hacemos tender las variables
(x,y), obtenemos valores diferentes.

a) Apliquemos, en primer lugar, el logaritmo a toda la expresin.

|
|
.
|

\
|
+
+

2 2
1
2
) 0 , 0 ( ) , (
)) sin( 1 ( lim ln
y x
y x
y x

Si el lmite de la funcin existe, la expresin anterior equivaldr al logaritmo neperiano del
lmite y ser igual al lmite del logaritmo neperiano. Lo que nos permitir escribir:

( )
=
+
+
=
|
|
.
|

\
|
+

+

2 2
2
) 0 , 0 ( ) , (
1
2
) 0 , 0 ( ) , (
) sin( 1 ln
lim )) sin( 1 ( ln lim
2 2
y x
y x
y x
y x
y x
y x

La expresin puede ser multiplicada por equivalencias basadas en infinitsimos equivalentes:

=
+ +
+

) sin( )) sin( 1 ln(


) sin( )) sin( 1 ln(
lim
2
2
2
2
2 2
2
) 0 , 0 ( ) , (
y x
y x
y x
y x
y x
y x
y x
=

siempre que los denominadores de las fracciones unidad (iguales a 1) no sean cero.
Separamos pues la resolucin del lmite en tres partes: A) tanto x como y son diferentes de
cero, B) x es diferente de cero e y = 0 y C) y es diferente de cero y x = 0.
Proyecto e-Math 13
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I

A) en este caso podemos simplificar puesto que los denominadores son diferentes de cero y
obtener:

0 lim lim
2 2
2
) 0 , 0 ( ) , (
2 2
2
) 0 , 0 ( ) , (
=
+
=
+
=

y
y x
x
y x
y x
y x y x


En la segunda igualdad hemos utilizado el hecho que el lmite de una funcin acotada por una
funcin que tiende a cero, es cero. Notad que la primera funcin 1
2 2
2

+ y x
x
1
0
= e
cuando ambas
x e y son distintas de cero. Entonces el lmite que buscamos ser: si coincide con el
resultado en B) y en C).

B) cuando x es distinto de 0, pero y es idnticamente igual a 0, podemos simplificar la
expresin de partida obteniendo:
( ) 1 0 1 lim
2
1
0
= +

x
x


al ser el interior de la potencia un 1 exacto.

C) de la misma forma encontramos que tambin en el tercer caso (x = 0 e y0) el limite vale
1:
( ) 1 0 1 lim
2
1
0
= +

y
y


Por lo tanto, el lmite de la funcin cuando (x,y)(0,0) es 1.

Entonces, la funcin presenta una discontinuidad evitable en el punto (0,0). Basta con definir
la funcin en dicho punto de forma que sea igual al valor del lmite: 1.
b) Es relativamente sencillo demostrar que el
2
3
) 0 , 0 ( ) , (
lim
y
x
y x
no existe. Basta con calcular un
lmite de dicha funcin que diverja. Efectuemos el clculo del lmite suponiendo que (x,y) se
aproxima a (0,0) siguiendo la parbola y = x
2
:

= = =

x x
x
y
x
x x y x
1
lim lim lim
0
4
3
0
2
3
) 0 , 0 ( ) , (


Proyecto e-Math 14
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I


Por lo tanto, la funcin presenta una discontinuidad no evitable en el punto (0,0).

c) Efectuemos el clculo del lmite intentando utilizar infinitsimos equivalentes. Dado que en
un entorno de (x,y)=(0,2) la variable y nunca ser 0, podemos escribir la siguiente expresin
con toda generalidad:

2 2 1
) sin(
lim
) sin(
lim
) 2 , 0 ( ) , ( ) 2 , 0 ( ) , (
= = =

y
xy
xy
x
xy
y x y x


Podemos conseguir que la funcin sea continua en este punto, si definimos que el valor en l
sea igual al lmite: 2. Se trata pues de una discontinuidad evitable.

d) Demostraremos que el lmite
2
lim
) 1 , 1 ( ) , (
+

y x
y x
y x
no existe calculando dos lmites
direccionales y obteniendo valores diferentes.

Sabemos que el lmite de una funcin f(x) en el punto a = (a
1
,a
2
,...,a
n
) y en la direccin del
vector v = (v
1
,v
2
,...,v
n
) se calcula de la siguiente manera:

) ,..., , ( lim ) ( lim
2 2 1 1
0 0
n n
t t
v t a v t a v t a f tv a f + + + = +



En el primer caso aproximaremos (x,y) a (1,1) siguiendo la direccin del vector v = (0,1):
1 1 lim lim
2 1 1
) 1 ( 1
lim ) 1 , 1 ( lim ) 1 1 , 0 1 ( lim
0 0 0 0 0
= =

=
+ +
+
= + = + +
t t t t t t
t
t
t
t f t t f
Proyecto e-Math 15
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Funciones de varias variables I

En el segundo caso aproximaremos (x,y) a (1,1) siguiendo la direccin del vector v = (1,0):
1 1 lim lim
2 1 1
1 1
lim ) 1 , 1 ( lim ) 0 1 , 1 1 ( lim
0 0 0 0 0
= = =
+ +
+
= + = + +
t t t t t t
t
t
t
t f t t f

Por lo tanto, no existe el lmite de esta funcin en (1,1) y, por tanto, la funcin presenta una
discontinuidad no evitable en este punto.

Con Mathcad se podra calcular, tambin, los lmites direccionales:























Proyecto e-Math 16
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)