1 NJJ

LMITES Y CONTINUIDAD DE FUNCIONES DE 2 VARIABLES

Bola Abierta o entorno de un punto
Sea P
o
(x
o
,y
o
) un punto del plano R
2
. Se denomina bola abierta o entorno de centro P
o
y
radio o (o>0), al conjunto de puntos P(x,y) del plano R
2
cuya distancia al punto P
o
es
menor que o. Se designa por, B(P
o
, o). Es decir:
| ) ' ' | ) | ) | )
' '
2 2
0
( , ) , ,
o o o
B p P tal que d P P x y tal que x x y y = e < = e + <
2 2
R R
Geomtricamente, B(P
o
, o) es el conjunto de puntos interiores al crculo de centro P
o
y
radio o.
Y
X
Bola Cerrada o entorno de un punto
Al conjunto:
B(P
o
,o)= | ) ' ' | ) | ) | ) ' ' s + e = s e
2 2
, ,
o o o
y y x x que tal y x P P d que tal P
2 2
R R ,
que representa geomtricamente al conjunto de todos los puntos del crculo de centro P
o
y radioo, incluida la circunferencia exterior, se le denomina bola cerrada o entorno
cerrado de centro P
o
y radio o. Se denota por, B(P
o
,o).
Punto de Acumulacin.
Diremos que el punto P
o
(x
o
,y
o
) del plano R
2
es un punto de acumulacin de un conjunto
DcR
2
si y solo si todo entorno del punto P
o
contiene puntos del conjunto D distintos de
P
o
.

2 NJJ
Concepto de Lmite
Sean: z=f(x,y) una funcin real de dos variables reales cuyo dominio es un subconjunto
DcR
2
, L un nmero real y P
o
(x
o
,y
o
) un punto de acumulacin del dominio D.
Diremos que el lmite de la funcin z=f(x,y) cuando (x,y) tiende a (x
o
,y
o
) es el nmero L
y escribiremos
| )
L ) y , x ( f lm
o o
y , x ) y , x (
=

si y solo si:
Para cualquier nmero c>0, existe un nmero o>0 tal que para todos los puntos (x,y)eD,
siendo (x,y) = (x
o
,y
o
), que verifiquen que d((x,y),(x
o
,y
o
))< o entonces sus imgenes
verifican que d(f(x,y),L)< c. Es decir:
| )
L ) y , x ( f lm
o o
y , x ) y , x (
=

| )
o o
y , x y) (x, que, tal 0, , 0 = > - > con
| ) | ) c < o < + L ) y , x ( f y y x x
2
o
2
o
.
Continuidad en un punto
Una funcin z=f(x,y) es continua en un punto (x
o
,y
o
) si y solo si verifica las tres
condiciones siguientes:
1. Existe f(x
o
,y
o
), es decir (x
o
,y
o
) es un punto del dominio de la funcin.
2. Existe
| )
L ) y , x ( f lm
o o
y , x ) y , x (
=

, siendo L un nmero real finito.

3.
| )
=

) , (
, ) , (
y x f lm
o o
y x y x
f(x
o
,y
o
)
.
Teorema
Sean f(x,y) y g(x,y) dos funciones reales de dos variables reales tales
que
| )
1
y , x ) y , x (
L ) y , x ( f lm
o o
=

y
| )
2
y , x ) y , x (
L ) y , x ( g lm
o o
=

(existen y son finitos), entonces

se verifica:
1.
| )
|
2 1
, ) , (
) , ( ) , ( L L y x g y x f lm
o o
y x y x
= .( Existe y es finito )
2.
| )
|
2 1
, ) , (
. ) , ( ). , ( L L y x g y x f lm
o o
y x y x
= . ( Existe y es finito )
3.
| )
| )
| )
1
y , x ) y , x ( y , x ) y , x (
kL ) y , x ( f lm k ) y , x ( f k lm
o o o o
= =

. (Existe y es finito)
4. Si L
2
=0, entonces Existe y es finito
| )
2
1
y , x ) y , x ( L
L
) y , x ( g
) y , x ( f
lm
o o
=

. (Existe y es
finito)
Proposicin
Los subconjuntos S de puntos del plano R
2
de la forma S=' ' g(x) y que tal ) , ( = e
2
R y x
se denominan caminos o lneas del plano R
2
, o en el plano R
2
.
Si el punto (x
o
,y
o
)eS entonces se verifica que:
3 NJJ
1. Si existe
| )
=

L ) y , x ( f lm
o o
y , x ) y , x (
| )
L y x f lm
S y x
y x y x
o o
=
e

) , (
) , (
, ) , (
.
2. Si existen
| )
1
) , (
, ) , (
) , (
1
L y x f lm
S y x
y x y x
o o
=
e

y
| )
2
) , (
, ) , (
) , (
2
L y x f lm
S y x
y x y x
o o
=
e

; siendo S
1
y S
2
dos
caminos del plano R
2
y:
i) L
1
=L
2
, entonces podemos afirmar que no existe
| )
) y , x ( f lm
o o
y , x ) y , x (
ii) L
1
=L
2
=L, entonces no podemos afirmar que exista
| )
L ) y , x ( f lm
o o
y , x ) y , x (
=

, solo
podemos afirmar que si dicho lmite existiera su valor sera L
Luego el estudio de lmites por caminos nos sirve para especular sobre su valor o negar
su existencia, pero no es concluyente sobre su existencia.
Clculo de lmites mediante coordenadas polares
Consiste en calcular
| )
) y , x ( f lm
o o
y , x ) y , x (
aplicando el cambio a coordenadas polares.
Para simplificar el proceso se acostumbra previamente a efectuar la traslacin

+ =
+ =
0
0
y ' y y
x ' x x
,
Luego
| )
=

) y , x ( f lm
o o
y , x ) y , x (
) ' y , ' x ( g lm
) 0 , 0 ( ) ' y , ' x (
y aplicando el cambio

=
=

rsen y'
rcos x'
quedara
| )
=

) y , x ( f lm
o o
y , x ) y , x (
) ' y , ' x ( g lm
) 0 , 0 ( ) ' y , ' x (
= ) , cos (
0
rsen r g lm
r
.
Si existe, sin depender de , el ) , cos (
0
rsen r g lm
r
=L, entonces existe
| )
) y , x ( f lm
o o
y , x ) y , x (
=L
Puede demostrarse tambin que, si
| )
| )
( , ) 0,0
( , )
x y
lm f x y

= | )
0
lim ( )
r
G r h L

= , siendo
0 = ) r ( g lim
0 r
y | ) h una funcin acotada, entonces
( )
L = ) y , x ( f lm
0 , 0 ) y , x (
.
Criterio de la mayorante
Si (x
o
,y
o
) es un punto de acumulacin del dominio de la funcin z = f(x,y) y
| )
=

) y , x ( f lm
o o
y , x ) y , x (
) , (
0
r g lm
r
=L, entonces
| )
=

) y , x ( f lm
o o
y , x ) y , x (
L ) ( ) , ( r G L r g < con tal que G 0 r si 0 ) ( r
4 NJJ
Clculo de lmites
1. Si ) , (
0
r g lm
r
=L sea cual sea e R , entonces podemos afirmar que
| )
=

) y , x ( f lm
o o
y , x ) y , x (
L.
2. Si utilizando ciertos caminos en R
2
(ya sea lmites reiterados, lmites radiales,
parbolas, etc) obtenemos que un posible valor de
| )
) y , x ( f lm
o o
y , x ) y , x (
puede ser L,
debemos comprobar si esa hiptesis es correcta confirmndolo, o bien verificando
que efectivamente el lmite en polares es L sea cual sea e R, o bien aplicando el
criterio de la mayorante.
Ejemplo de clculo del lmite en un punto de una funcin de dos variables
Calcular el lmite de la funcin f(x,y)=
xy
x y
2
2 4
+
, en el punto (0,0).
Resolucin: Usaremos varios mtodos para analizar su eficacia en este ejercicio
concreto.
1. Como la variable y solo aparece con potencias pares, probamos a evaluar el valor del
lmite por parbolas y
2
=mx S. Entonces si existe el lmite se verifica que:
| ) | ) | ) | )
| )
| ) | )
| )
| ) | )
lim
xy
x y
lim
xmx
x mx
lim
mx
x m
lim
m
m
m
m
x y x y x y x y , , , , , , , ,
+
=
+
=
+
=
+
=
+
0 0
2
2 4
0 0
2
2
0 0
2
2 2
0 0
2 2
1 1 1
Luego el lmite de la funcin en el punto (0,0) depende de la parbola elegida y por
tanto podemos afirmar con rotundidad que:
| ) | )
existe No
y x
xy
lim
4 2
2
0,0 y x,
+

2. Si probamos a evaluar el lmite mediante lmites reiterados se obtiene:

| ) lim lim
xy
x y
lim
x
lim
x y x y
+

]
]
]
]
=

]
]
]
= =
0 0
2
2 4
0
2
0
0
0 0
| ) lim lim
xy
x y
lim
y
lim
y x y y
+

]
]
]
]
=

]
]
]
]
= =
0 0
2
2 4
0
4
0
0
0 0.
Con este mtodo hubiramos afirmado que el lmite valdra 0 en caso de existir.
Para corroborar esta hiptesis (que ya sabemos falsa por 1) podramos utilizar el
mtodo de la mayorante o el clculo del lmite en coordenadas polares:
3. Clculo del lmite en coordenadas polares:
5 NJJ
| ) | )




2 4 2 2
2
0
4 4 2 2
2 2
0
4 2
2
0 , 0 ,
cos
0
cos
) ( cos
lim
cos
) ( cos
lim lim =
+
=
+
=
+ sen r
sen r
sen r r
sen r r
y x
xy
r r y x
. Esta
expresin es indeterminada si u =
t t
2
3
2
, , . Luego el clculo del lmite mediante
polares, en este caso, no nos sirve para decidir la existencia o no del lmite propuesto.
4. Criterio de la mayorante
5.




4 2 2
2
4 4 2 2
2 2
cos
) ( cos
0 -
cos
) ( cos
0 ) , (
sen r
sen r
sen r r
sen r r
y x f
+
=
+
= . Ahora bien, cuando

0
0 cos
entonces , 0 adems si y ,
1
0 cos
2
2

rsen
r
sen
.
Luego para el camino de valores de r tales que

2
cos
sen
r = cuando
2

es
2
1
cos cos
cos
cos
) ( cos
2 2
2
4 2 2
2
=
+
=
+



sen r
sen r
. Por tanto:
| ) | )
4 2
2
0,0 y x,
y x
xy
lim existe No
+

.
En todo caso vemos que en este ejemplo es complicado hacer el estudio en polares
Ejemplo: estudiar el limite de la funcin f(x,y)=
2 2
2
y x
xy

, en el punto (0,0).
Si probamos a evaluar el lmite mediante lmites reiterados se obtiene
| ) 0 0 lim
y
0
lim
y x
xy
lim lim
0 y
2
0 y
2 2
2
0 x 0 y
= =
]
]
]
]

=
]
]
]
]

.
Con este mtodo solo podemos afirmar que el lmite caso de existir valdra 0.
Para poder corroborar o no esta hiptesis vamos a utilizar el mtodo de la mayorante.
1. Criterio de la mayorante
o o
o o
=
o o
o o
=
2 2
2
2 2 2 2
2 2
sen cos
sen cos r
0
sen r cos r
sen r cos r
0 ) y , x ( f =
o o
o o
2 2
2
sen cos
sen cos
r .
Ahora bien t +
t
o
o o
o o
k
4
si
sen cos
sen cos
2 2
2
. Es decir, 0 ) y , x ( f no est
acotada en las direcciones t +
t
= o k
4
, por tanto el lmite no es cero, luego:
| ) | )
2 2
2
0,0 y x,
y x
xy
lim existe No

.
6 NJJ
Derivadas parciales
Sea z = f(x, y) una funcin de dos variables con dominio D. Si mantenemos la variable
y fija: y = b, siendo b una constante, y suponemos que solo la x vara, la funcin f se
convierte entonces en funcin de solo la variable x: g(x) = f(x, b). Si g tiene derivada en
a, entonces esta se llama derivada parcial de f respecto de x en (a, b), que denotamos
por f
x
(a, b). Luego por definicin se tiene:
f
x
(a, b) = g(a) =
0
g(a+h)-g(a)
lim
h
h
, por tanto
f
x
(a, b) =
0
f(a+h, b)-f(a, b)
lim
h
h
Anlogamente se define la derivada parcial de f respecto de y en (a, b), y que denotamos
por f
y
(a, b), que se obtiene fijando x = a, y obteniendo la derivada en b de la funcin
h(y) = f(a, y)
0
y
f(a, b+h)-f(a, b)
f (a, b) lim
h
h
=
Interpretacin geomtrica de la derivada parcial
Si consideramos la superficie que tiene por ecuacin z = f(x, y), el plano y = b, corta a
la superficie en la curva z = f(x, b), que tiene por pendiente en el punto x = a, el valor de
su derivada en dicho punto, que es precisamente:
f
x
(a, b) =
0
f(a+h, b)-f(a, b)
lim
h
h
y=b
z=f(x, y)
y
x
z
z=f(x, b)
P(a, b, f(a, b))
Corte de z = f(x, y) con y = b
7 NJJ
Anlogamente, si cortamos la superficie por el plano x = a, se obtiene la curva
z = f(a,y), que tiene por pendiente en el punto y = b, el valor de su derivada en dicho
punto:
0
y
f(a, b+h)-f(a, b)
f (a, b) lim
h
h
= .
P Pl la an no o t ta an ng ge en nt te e
Suponiendo que el plano tangente a la superficie z = f(x, y) en el punto P(a,b,f(a, b))
existe obtengamos su ecuacin. Dicho plano debe contener a las rectas tangentes a la
curvas contenidas en la superficie y que pasan por P(a, b, f(a, b)); en particular
contendr a las rectas tangentes a las curvas que resultan de cortar a la superficie por los
planos x = a, y = b.
Al cortar por x = a, se obtiene la curva z = f(a, y) en el plano ZY, y cuya recta tangente
en el punto P(a ,b, f(a, b)) tiene por pendiente f
y
(a, b), luego un vector direccional de
esta recta ser de la forma (0, u, v) , siendo
y
f (a, b)
v
=
u 1
, se obtiene: v = f
y
(a, b)
es decir, un vector en la direccin de la recta tangente es (0, 1, f
y
(a, b)).
Anlogamente, al cortar por y = b, se obtiene la curva z = f(x, b) en el plano ZX, y cuya
recta tangente en el punto P(a ,b, f(a, b)) tiene por pendiente f
x
(a, b), luego un vector
direccional de esta recta ser de la forma (u, 0, v), siendo
x
f (a, b) v
=
u 1
, se obtiene:
v = f
x
(a, b), es decir, un vector en la direccin de la recta tangente es (1, 0, f
x
(a, b)).
x = a
y = b
z = f ( a , y )
z = f ( x , y )
z
x
y
P ( a , b , f ( a , b ) )
C o r t e d e z = f ( x , y ) c o n x = a
8 NJJ
Plano tangente y recta normal
En consecuencia dos vectores directores del plano tangente en el punto :
P(a ,b, f(a, b)) son a

= (0, 1, f
y
(a, b)) y b

= (1, 0, f
x
(a, b)), luego un vector perpendicular
al plano se obtendr multiplicndolos vectorialmente
ab

= 0 1
1 0
y
x
f (a, b)
f (a, b)
i j k

=
x y
f (a, b)i+f (a, b)j-k

Por lo tanto el plano tangente queda definido por el punto P(a ,b, f(a, b)) y tiene por
vector normal
x y
(f (a, b),f (a, b),-1) , por lo que su ecuacin ser:
f
x
(a, b)(x - a) + f
y
(a, b)(y - b) (z f(a, b)) = 0.
La recta perpendicular al plano tangente en el punto P(a ,b, f(a, b)) se llama recta
normal a la superficie en dicho punto, por lo que su ecuacin, en forma paramtrica,
ser
( , )
( , )
( , )
x
y
x a t f a b
y b t f a b
z f a b t
= +

= +

Ejemplo
Obtener la ecuacin del plano tangente a la superficie z = 3x
2
-y
2
, en el punto
P(1, 1, 2),as como la ecuacin de la recta normal en dicho punto.
En este caso:
f
x
(x, y) = 6x, f
y
(x, y) = -2y, (a, b) = (1, 1) f
x
(1, 1) = 6, f
y
(1, 1) = -2, f(1, 1) = 2.
Luego la ecuacin del plano tangente es:
Plano tangente
en P(a, b, f(a, b))
x=a
y=b
Recta normal
P(a, b, f(a, b))
9 NJJ
6(x-1)-2(y-1)-(z-2) = 0 6x-2y z = 2.
La recta normal tiene por ecuacin:
x=1+6t
y=1-2t
z=2-t

Funcin derivada parcial

Si (a, b), es un punto variable lo representaremos por (x, y) y obtendremos el concepto
de funciones derivadas parciales:
La derivada parcial de f con respecto a x, la denotamos por f
x
, y se define as
0
x
f(x+h, y)-f(x, y)
f (x, y) lim
h
h
=
Para todos los puntos (x, y) donde este lmite exista.
La derivada parcial de f con respecto a y, la denotamos por f
y
, y se define as
0
y
f(x, y+h)-f(x, y)
f (x, y) lim
h
h
=
Para todos los puntos (x, y) donde este lmite exista.
Si z = f(x, y), otras notaciones usuales para las derivadas parciales son
f
x
(x, y) = z
x
=
f z
(x, y)=
x x
c c
c c
f
y
(x, y) = z
y
=
f z
(x, y)=
y y
c c
c c
Como en el clculo de derivadas parciales una de las variables se mantiene constante, se
podrn aplicar las reglas de derivacin para funciones de una variable, siempre que est
clara la existencia de esta derivada.
Ejemplo
1) Siendo f(x, y) = (x
2
+ y)e
xy
, calcular sus derivadas parciales y evaluarlas en el punto
(1,1):
f
x
(x, y) = 2xe
xy
+ (x
2
+ y)ye
xy
f
x
(1, 1) = 2e + 2e = 4e
f
y
(x, y) = e
xy
+ (x
2
+ y)xe
xy
f
y
(1, 1) = e + 2e = 3e
Se han aplicado directamente las reglas de derivacin de funciones de una variable, ya
que al fijar una variable la funcin se convierte en una funcin derivable por ser el
resultado de operar funciones derivables. Esta funcin admite derivadas parciales en
todo punto de R
2
.
2) Estudiar la existencia de derivadas parciales, para cualquier punto, de la funcin
f(x, y) = |x+y|=
x+y si x+y > 0
-x-y si x+y 0

calculndolas en su caso
Si x+y = 0, existen ambas derivadas parciales, ya que al fijar una variable se obtiene un
polinomio que siempre es derivable, siendo
f
x
(x, y) = 1, f
y
(x, y) = 1, si x+y > 0
f
x
(x, y) = -1, f
y
(x, y) = -1, si x+y< 0
Queda por estudiar cuando el punto P(a, b) si x+y = 0, es decir, b = -a P(a, -a)
0 0
x
f(a+h, -a)-f(a, -a) |h|
f (a, -a) lim lim
h h
h h
= = , que no existe, ya que vale 1 o -1
segn que h tienda acero por la derecha o por la izquierda.
10 NJJ
0 0
y
f(a, -a+h)-f(a, -a) |h|
f (a, -a) lim lim
h h
h h
= = , que no existe, ya que vale 1 o -1
segn que h tienda acero por la derecha o por la izquierda.
Luego la funcin admite derivadas parciales en todos los puntos, salvo en la recta
x + y = 0.
3) Estudiar la existencia de derivadas parciales, para cualquier punto, de la funcin:
2 2
xy
;si (x, y) (0, 0)
( , ) x +y
0 ;si (x, y)=(0, 0)
f x y

Al calcular las derivadas parciales de una funcin de dos variables se obtienen tambin
funciones de dos variables, a las que se les puede calcular sus derivadas parciales, a las
que llamamos derivadas parciales segundas. Este proceso puede seguir obtenindose las
derivadas sucesivas (o de orden superior). Las notaciones ms usuales son:
Derivadas parciales segundas:
1) derivando dos veces respecto de x
2
xx 2
f f
( )= =f
x x x
c c c
c c c
2) derivando dos veces respecto de y
2
yy 2
f f
( )= =f
y y y
c c c
c c c
3) derivando primero respecto de x y luego respecto de y
2
xy
f f
( )= =f
y x y x
c c c
c c c c
4) derivando primero respecto de y y luego respecto de x
2
yx
f f
( )= =f
x y x y
c c c
c c c c
En las dos notaciones utilizadas se deriva primero respecto a la variable ms cercana a f.
Ejemplo
Calcular las derivadas parciales segundas de:
f(x, y) =
2 x
x
y e +cos(xy)+
y
-
2 x
x
1
f (x, y)=y e -ysen(xy)+
y
-
x
y 2
x
f (x, y)=2ye -xsen(xy)-
y
-
x
xy 2
1
f (x, y)=2ye -sen(xy)-yxcos(xy)-
y
-
x
yx 2
1
f (x, y)=2ye -sen(xy)-xycos(xy)-
y
-
2 x 2
xx
f (x, y)=y e -y cos(xy)
-
x 2
yy 3
2x
f (x, y)=2e -x cos(xy)+
y
2) Calcular las derivadas parciales segundas de:
11 NJJ
3 2 2 2 2
y
f(x, y)=x y - x + x tg( ) + x +y
x
.
En el ltimo ejemplo se verificaba que
x y y x
f =f , igualdad que en general no es cierta,
aunque si lo ser para la mayora de funciones que manejemos.
Una condicin suficiente para que
xy yx
f =f , la da el:
Teorema (de Schwarz, sobre la permutabilidad de orden de derivacin)
Si f est definida en un entorno U de (a, b), y si existen las derivadas parciales f
x
, f
y
, f
xy
en el mismo U, siendo tambin f
xy
continua en (a, b) , entonces existe f
yx
(a, b) y se
cumple
xy yx
f (a, b)=f (a, b) .
Para ms de dos variables el concepto de derivada parcial es anlogo. Veamos un
ejemplo para tres variables
Ejemplo
Calcular la derivadas parciales primeras de
f(x, y, z) = x
2
+y
2
+z
2
+e
xyz
xyz
x
xyz
y
xyz
z
f (x,y,z)=2x+yze
f (x,y,z)=2y+xze
f (x,y,z)=2z+xye
Diferenciabilidad
Estudiemos ahora la diferenciabilidad para una funcin de dos variables.
Sea z = f(x, y) definida en un cierto entorno del punto P(a,b); si incrementamos la
abscisa en x , y la ordenada en y , se obtiene el punto Q(a + x , b + y ), a la
diferencia entre el valor de la funcin en Q y el valor de la funcin en P le llamamos
incremento de la funcin al pasar del punto P al Q, que puede ser positivo o negativo y
que representamos por A A A ( , ) - ( , ) z f a x b y f a b = + + .
Se quiere establecer una relacin entre los incrementos de las variables x,y en los
valores a y b, con el incremento de la funcin.
Si P y Q pertenecen al dominio de f, la funcin se dice diferenciable en P(a, b), si
existen dos nmeros M ( , )
f
a b
x
c
=
c
y N ( , )
f
a b
y
c
=
c
, tales que
1 2
A A A A A A A A A ( , ) ( , ) ( , ) ( , ) ,
f f
z a b x a b N y x y x x y y
x y
c c
= + + +
c c
Siendo
1 2
y , dos funciones de las variables x e y , e infinitsimos cuando
( x , y ) (0, 0) , es decir se cumple
1
0 0 (
x, y) ( , )
lim ( , ) x y

A A =
2
0 0 (
x, y) ( , )
lim ( , ) x y

A A = 0
En el caso en que f sea diferenciable en (a, b), se llama diferencial de f en el punto (a, b)
a la funcin lineal respecto de las variables x e y : A A ( , ) ( , )
f f
a b x a b y
x y
c c
+
c c
, que se
denota as: A A ( , ) ( , )
f f
dz a b x a b y
x y
c c
= +
c c
.
dz =
x y
f (a, b)dx+f (a, b)dy
Ejemplo
Dada la funcin z = f(x, y) = x
2
-xy+y, y el punto (a, b), calculemos su incremento, para
incrementos x e y de a y b:
12 NJJ
z=f(a+ x, b+ y)-f(a, b) =
2 2
(a+
x) -(a+ x)(b+ y)+b+ y-a +ab-b
=
=
2 2 2
a +
x +2a x-ab-a y-b x- x y+b+ y-a +ab-b
=
=(-b+2a)
x+(-a+1) y+ x x- x y
.
Como
x y x y
f (x, y)=2x-y, f (x, y)=-x+1 f (a, b)=2a-b, f (a, b)=-a+1 ,
Luego z =
x y 1 2
f (a, b)
x+f (a, b) y+ x+ y
, siendo
1
= x, y
2
=- x ,
Cumplindose que:
1
0 0 (
x, y) ( , )
lim ( , ) x y

A A =
2
0 0 (
x, y) ( , )
lim ( , ) x y

A A =0.
Como consecuencia se cumple la definicin de diferenciabilidad en el punto (a, b),
poniendo M = f
x
(a, b) y N = f
y
(a, b).
Ejercicio
Obtener la diferencial de la funcin z = f(x, y) = x
2
y
2
+xy-3y en el punto (a, b), por dos
procedimientos:
1) Aplicando la frmula anterior.
2) Calculando el incremento de la funcin
Como en el caso de una variable: diferenciabilidad implica continuidad.
Teorema
Si f es diferenciable en (a, b) entonces es continua en (a, b).
Para funciones una variable los conceptos de derivabilidad y diferenciabilidad son
equivalentes. Para funciones de ms de una variable esto, en general no es cierto.
Ejemplo
La funcin
2 2
2 2
2 2
xy
si x +y 0
x +y f(x, y)=
0 si x +y =0

Estudiemos sus derivadas parciales en (0, 0)

2
x
h 0 h 0 h 0
h0
-0
f(h, 0)-f(0, 0) 0
h
f (0, 0)=lim =lim =lim =0
h h h

2
y
h 0 h 0 h 0
h0
-0
f(0, )-f(0, 0) 0
h
f (0, 0)=lim =lim =lim =0
h h h
h

Luego las dos derivadas parciales existen y valen 0. Que ocurre para el resto de los
puntos?
Estudiemos la continuidad en (0, 0):
0 0 0 0
2
2 2 2 2 2
( , ) ( , )
y=mx
mx m m
lim f(x, y) lim lim =
x +m x 1+m 1+m
x y x x
= =
Como los lmites calculados dependen de m, se deduce que no existe el lmite en el
origen, luego la funcin no es continua en (0, 0).
Ejemplo
La funcin
2 2
xy
si (x,y) (0,0)
f(x, y)= x +y
0 si (x,y)=(0,0)

13 NJJ
Es continua en R
2
(por qu?)
Estudiemos la diferenciabilidad en (0, 0).
Calculamos las derivadas parciales
0 0 0
x
h h h
0
-0
f(h, 0)-f(0, 0) 0 |h|
f (0, 0) lim lim lim =0
h h h

= = =
0 0 0
y
h h h
0
-0
f(0, h)-f(0, 0) 0 |h|
f (0, 0) lim lim lim =0
h h h

= = =
Si fuese diferenciable se tendra
2 2
f(0+
x, 0+ y)-f(0, 0)=0 x+0 y+ x + y

2 2
f(
x, y)
=
x + y
=
Comprobemos si ( , ) x y A A es un infinitsimo
2 2
2 2
2 2 (
x, y) (0,0) ( x, y) (0,0)
x y
x + y x y
lim = lim
x + y
x + y

, este lmite no existe (ya visto en un ejemplo
anterior, poniendo x ,y en lugar de x, y ).
Luego ( x, y) no es un infinitsimo y, por lo tanto la funcin no es diferenciable
Con estos ejemplos se ha comprobado que la continuidad o la existencia de derivadas
parciales no son condiciones suficientes para la diferenciabilidad (aunque los resultados
tericos confirman que si son condiciones necesarias).
Ejemplo
Estudiar la continuidad y diferenciabilidad en el origen de la funcin
2 2
xylog(x +y ) si (x, y) (0, 0)
f(x, y)
0 si (x, y)=(0, 0)
=
=

Estudiemos la existencia de derivadas parciales

0 0 0
2
x
h h h
f(h, 0)-f(0,0) h0log(h )-0 0
f (0, 0) lim lim lim =0
h h h

= = =
0 0 0
2
y
h h h
f(0, )-f(0,0) h0log(h )-0 0
f (0, 0) lim lim lim =0
h h h
h

= = =
Por existir las derivadas parciales es posible que sea diferenciable. Intentamos
demostrarlo aplicando la definicin. Despejando de la condicin de diferenciabilidad
2 2
f(
x, y)-f(0,0)=0 x+0 y x + y
+
0 0 (
x, y) ( , )
lim

=
0 0 0 0
2 2
2 2 2 2 (
x, y) ( , ) ( x, y) ( , )
f(
x, y)-f(0,0)-0 x-0 y x ylog( x + y )
lim lim
x + y x + y

= , para
ver si existe este lmite calculemos los lmites segn las direcciones y=m x
0 0
2 2 2 2 2 2 2
2 2 2 2 x x
m
x log( x +m x ) m x log( x (1+m ))
lim lim
x +m x | x| 1+m

=
0 0 0
2 2 2 2
2 2 x x x
m m
lim|
x|(log x +log(1+m )) [ lim | x|log x lim |
x|log(1+m )]
1+m 1+m

= = +
Se tiene evidentemente
0
2
x
lim|
x|log(1+m )=0

.
14 NJJ
El otro lmite es una indeterminacin de la forma 0 , para calcularlo, y como
interviene un valor absoluto, se debe estudiar, por separado, a la izquierda y a la derecha
de 0.
+ + + +
2
2
2 2
x 0 x 0 x 0 x 0
2
2
x
log
x
x
lim |
x|log x lim lim lim -2 x =0
1 -1
x x

= = = , anlogamente se
obtendra el mismo resultado para
-
x 0 , luego los lmites direccionales existen y
valen todos 0, por tanto es posible que el lmite que estudiamos valga 0.
Intentemos probarlo aplicando el criterio de la funcin mayorante, para lo cual pasamos
a polares
2 2 2 2 2
2 2
2 2
x ylog( x + y ) cos sen log( (cos +sen ))
| -0|=| =

x + y
cos sen log( )
| |
2|log

s
Llamando F( ) = 2|log | , queda por probar que
+
0
lim F(
)=0

+ + +
0 0 0
2
1
log

2 lim
|log | 0( ) -2 lim =-2 lim =-2.0=0
1 -1


= = .
Se ha probado que es un infinitsimo, por tanto la funcin estudiada es diferenciable
en el origen y, como consecuencia continua en el mismo punto
Ejercicio
Estudiar la diferenciabilidad en el origen de la funcin:
2 2
1
2 2
2 2
0
0 0
( , )
x y
e s i x y
f x y
s i x y

+ =
=

+ =

Condicin suficiente de diferenciabilidad

El comprobar la diferenciabilidad de una funcin a partir de la definicin es, en general,
complicado, sin embargo existen condiciones suficientes que garantizan la
diferenciabilidad y pueden simplificar el trabajo. La ms usual la da el siguiente
Teorema
Sea z = f(x, y) definida en un cierto entorno del punto (a, b) y, al menos una de sus
derivadas parciales: z
x
o z
y
es continua en (a, b), entonces la funcin es diferenciable en
(a,b)
Teorema
La superficie z = f(x, y) admite plano tangente en el punto P(a, b, f(a, b)) si y solo si la
funcin f es diferenciable en el punto (a, b), y en este caso su ecuacin es
f
x
(a, b)(x - a) + f
y
(a, b)(y - b) (z f(a, b)) = 0
Ejemplo.
Estudiar la continuidad y diferenciabilidad en cualquier punto de la funcin
15 NJJ
2 2
xylog(x +y ) si (x, y) (0, 0)
f(x, y)
0 si (x, y)=(0, 0)
=
=

En el ejemplo anterior se comprob que esta funcin es diferenciable en (0, 0).

Para los puntos (x, y) distintos del (0, 0), se pueden calcular las derivadas parciales
utilizando las formulas de derivacin para una variable, pues al fijar una variable resulta
una funcin de una variable que es derivable por estar compuesta de funciones
derivables.
2
2 2 2 2
x 2 2 2 2
2x 2x y
f (x,y)=ylog(x +y )+xy =ylog(x +y )+
x +y x +y
2
2 2 2 2
y 2 2 2 2
2y 2xy
f (x,y)=xlog(x +y )+xy =xlog(x +y )+
x +y x +y
Estas derivadas parciales son continuas para cualquier (x, y) = (0, 0), por estar
compuestas de funciones continuas.
Concluimos que la funcin estudiada es diferenciable en todo punto de R
2
y, por lo
tanto continua en R
2
.
REGLA DE LA CADENA
Estudiemos ahora la regla de la cadena o la derivada de la funcin compuesta para
funciones de dos variables.
Regla de la cadena para el caso: z = f(x, y), x = g(t), y = h(t).
Teorema
Sea z = f(x, y) diferenciable en (x, y). Si x = g(t), y = h(t), siendo g y h funciones
derivables en t, entonces f es derivable en t, y su derivada es
z(t) = z
x
x(t) + z
y
y(t).
Ejemplo
Siendo z = xy
2
x
2
, con x = cos t, y = sen t verificamos el resultado anterior calculando
z(t) de dos formas distintas: directamente sustituyendo x, y en funcin de t y, aplicando
el teorema anterior:
z = cos t sen
2
t cos
2
t z

= -sen t sen
2
t + 2cos t cos t sen t + 2sen t cos t =
= -sen
3
t + 2cos
2
t sen t + 2sen t cos t
z(t) = z
x
x(t) + z
y
y(t) = (y
2
2x)(- sen t) + 2xy cos t = (sen
2
t 2 cos t)(- sen t) +
+ 2 cos
2
t sen t, que coincide con el resultado anterior.
z = f(x, y), x = g(t), y = h(t).
z(t) = z
x
x(t) + z
y
y(t)
z
z
x
z
y
x y
t
t
x(t)
y(t)
16 NJJ
Regla de la cadena para el caso: z = f(x, y), x = g(u, v), y = h(u, v)):
Teorema
Si f es diferenciable en (x, y), existen las derivadas parciales x
u
, x
v
, y
u
, y
v
en (u, v),
entonces existen z
u
, z
v
en (u, v) y se verifica:
z
u
= z
x
x
u
+ z
y
y
u
z
v =
z
x
x
v
+z
y
y
v
Para funciones de ms de dos variables se obtienen resultados anlogos.
Ejercicio
Siendo
2 2
x y
z=
2
, x = u + v, y = u-v, calcular z
u
, z
v
de dos formas distintas:
a) Sustituyendo x e y en funcin de u y v.
b) Aplicando el teorema anterior.
Regla de la cadena
z = f(x, y), x = g(u, v), y = h(u, v))
Derivacin en forma implcita
El modo de escribir la funcin de dos variables, hasta ahora, ha sido z = f(x, y), y
decimos que z est dada en forma explicita, es decir, despejada en funcin de x, y.
Otra forma, mas general, de definir z como funcin de x, y es F(x, y, z) = 0, que se
llama forma implcita de definir z como funcin de x, y (la z no est despejada).
El pasar de la forma explicita a la implcita es inmediato:
z = f(x, y) z f(x, y) = 0, llamando F(x, y, z) = z f(x, y) F(x, y, z) = 0
El pasar de la forma implcita a la explicita, en general, es mas complicado, y a veces,
es imposible como se ve con el ejemplo z
5
x
2
+ z
3
y sen xy = 0.
Supongamos que z est definida implcitamente como funcin de x e y:
F(x, y, z) = 0, considerando F como una funcin de tres variables: x, y, z, si aplicamos
la regla de la cadena a la igualdad F(x, y, z) = 0 , se obtiene:
Derivando respecto de x :
x
y
z
z
x
z
y
u v
u
v
x
u
x
v
y
u
y
v
z
u
= z
x
x
u
+ z
y
y
u
z
v =
z
x
x
v
+ z
y
y
v
17 NJJ
F
x
x
x
+F
y
y
x
+F
z
z
x
= 0, siendo x
x
=1, y
x
=0 ,
x
x
z
-F
z =
F
Derivando respecto de y :
F
x
x
y
+F
y
y
y
+F
z
z
y
= 0, siendo y
y
=1, x
y
=0,
y
y
z
-F
z =
F
Ejemplo
Siendo z
3
sen x + ze
xy
xy = 0, obtener z
x
, z
y
aplicando el resultado anterior.
En este caso F(x, y, z) = z
3
sen x + ze
xy
xy, luego
F
x
= z
3
cos x + zye
xy
y, F
y
= zxe
xy
x, F
z
= 3z
2
sen x + e
xy
.
Por lo que sustituyendo queda:
3 xy
x 2 xy
-z cosx-zye +y
z =
3z sen x+e
,
xy
y 2 xy
-xze +x
z =
3z sen x+e
Ejercicio
Con el mismo dato del ejemplo anterior, obtener z
x
, z
y
derivando directamente la
igualdad z
3
sen x + ze
xy
xy = 0 , y considerando que z es funcin de x e y. Comprobar
que el resultado obtenido coincide con el anterior.
Como otra aplicacin de la derivacin implcita, obtengamos la ecuacin de plano
tangente a al superficie z = f(x, y) en el punto P(a, b, c) cuando esta viene dada en forma
implcita F(x, y, z) = 0.
Se obtuvo que esta es:
z
x
(a, b)(x-a)+z
y
(a, b)(y-b)-(z-c) = 0
y siendo
x
x
z
-F
z =
F
,
y
y
z
-F
z =
F
sustituyendo queda:
y
x
z z
x y z
F (a,b,c)
-F (a,b,c)
(x-a)- (y-b)-(z-c)=0
F (a,b,c) F (a,b,c)
F (a,b,c)(x-a)+F (a,b,c)(y-b)+F (a,b,c)(z-c)=0

Luego la recta normal en el punto P(a, b, c) tiene como vector director

(F
x
(a, b, c), F
y
(a, b, c), F
z
(a, b, c)), por lo que su ecuacin en forma paramtrica es
x
y
z
x=a+tF (a,b,c)
y=b+tF (a,b,c)
z=c+tF (a,b,c)

Ejemplo
Obtener la ecuacin del plano tangente y de la normal a la superficie
x y
z z
2 +2 =8 , en el
punto P(2, 2, 1).
En este caso es F(x, y, z) =
x y
z z
2 +2 - 8 , calculamos las derivadas parciales:
x y x y
z z z z
x y z 2 2
1 1 x y
F =log2 2 , F =log2 2 , F =-log2 2 -log2 2
z z z z
.
Tomando valores en P:
x y z
F (2,2,1)=4log2, F (2,2,1)=4log2, F (2,2,1)=-8log2-8log2=-16log2 .
Como consecuencia la ecuacin del plano tangente en P es
4log2(x-2)+4log2(y-2)-16log2(z-1) = 0 x-2+y-2-4z+4 = 0 x+y-4z = 0.
18 NJJ
La ecuacin de la recta normal es
x=2+t
y=2+t
z=1-4t

Ejercicio
Obtener las ecuaciones del plano tangente y de la recta normal a la superficie:
z
2
+4z+x
2
= 0, en los puntos de interseccin con el eje OZ.
Derivada segn un vector
Estudiemos ahora un concepto ms general que el de derivada parcial: la derivada segn
un vector.
Al definir la derivada parcial en un punto una coordenada permanece fija y la otra vara
siguiendo la direccin de uno de los ejes coordenados, con el nuevo concepto podrn
variar las dos coordenadas siguiendo una direccin arbitraria.
Consideremos la funcin z = f(x, y), cuyo dominio es una regin abierta y P(a, b) un
punto de su dominio.
Sea u

1 2
(u ,u ) = , un vector arbitrario no nulo, se define la derivada segn el vector u

,
en el punto (a, b), de la funcin f, como el siguiente lmite, si existe y es finito
0 0
1 2 1 2
u
h h
f((a,b)+h(u ,u ))-f(a,b) f(a+hu ,b+hu )-f(a,b)
D f(a,b) lim lim
h h

= =

Ntese que Q(a+hu

1,
b+hu
2
) es un punto de la recta que pasa por el punto P, y tiene
como direccin el vector u

.
Ejemplo
Obtener la derivada de z = f(x, y) = x+2xy-3y
2
en el punto (1, 2) segn el vector (-1,
1).
0 0
(-1,1)
h h
f((1,2)+h(-1,1))-f(1,2) f(1-h,2+h)-f(1,2)
D f(1,2) lim lim
h h

= =
2 2
f(1-h,2+h)=1-h+2(1-h)(2+h)-3(2+h) =...=-5h -15h-7
f(1,2)=1+4-12=-7
Sustituyendo queda
0 0
2
(-1,1)
h h
-5h -15h-7+7
D f(1,2)=lim lim(-5h-15)=-15
h

=
Derivada direccional
En el caso en que u

sea unitario, | u

|=1, la derivada se llama direccional, y tiene

particular inters terico.
Las derivadas parciales son casos particulares de derivadas direccionales:
f
x
se obtiene tomando u

= (1, 0).
f
y
se obtiene tomando u

= (0, 1).
Para dar un significado geomtrico a la derivada direccional, definimos primero el
concepto de pendiente en un punto de una superficie segn la direccin definida por un
vector unitario u

.
19 NJJ
Interpretacin geomtrica de la derivada direccional
Consideremos la superficie z = f(x, y), P(a, b) un punto del dominio de f y u

un vector
unitario; tomemos un plano vertical t que pase por P y sea paralelo a u

, que cortar a la
superficie en una curva C, que contendr al punto M(a, b, f(a, b)) cuya proyeccin sobre
el plano OXY es P; entonces definimos la pendiente en el punto M, segn la direccin
u

, como la pendiente de la curva C en M, es decir como la pendiente de la tangente a la

curva en M segn la direccin u

.
El plano t corta al plano OXY segn una recta r cuyas ecuaciones paramtricas son:
1
2
x=a+tu
y=b+tu

Si Q es un punto arbitrario de la recta r tendr la forma Q(a+tu

1,
b+tu
2
), que es la
proyeccin del punto N(a+tu
1,
b+tu
2
, f(a+tu
1,
b+tu
2
)) de la superficie sobre el plano
OXY. La recta MN es una secante a la curva C, cuya pendiente segn la direccin u

es:
1 2 1 2 1 2
2 2 2 2 2
1 2 1 2
1 2
f(a+tu ,b+tu )-f(a,b) f(a+tu ,b+tu )-f(a,b) f(a+tu ,b+tu )-f(a,b)
= =
PQ (a+tu -a) +(b+tu -b) t (u +u )
f(a+tu ,b+tu )-f(a,b)
t
=
=
Cuando t tiende a 0, el punto N tiende al punto M, por lo que la secante tiende a la recta
tangente en M, que tiene por pendiente, segn la direccin u

:
1 2 1 2 1 2
2 2 2 2 2
1 2 1 2
1 2
f(a+tu ,b+tu )-f(a,b) f(a+tu ,b+tu )-f(a,b) f(a+tu ,b+tu )-f(a,b)
= =
PQ
(a+tu -a) +(b+tu -b) t (u +u )
f(a+tu ,b+tu )-f(a,b)
t
AN
tg
AM
= = =
=
P
Q
M
N
u

A
Plano
0
u
tg=Df(a,b)=lim
t
tg

z=f(x, y)
20 NJJ
0
1 2
t
f(a+tu ,b+tu )-f(a,b)
lim
t

, que es precisamente la derivada direccional de la funcin f,

en el punto P(a, b), segn el vector u

.
La expresin
1 2
f(a+tu ,b+tu )-f(a,b)
t
se puede interpretar como el cociente entre el
incremento de la funcin f al pasar del punto P al punto Q, y la distancia entre dichos
puntos; que tambin se suele expresar como la razn del cambio de la funcin respecto
a la distancia entre los puntos; por este motivo a la derivada direccional se le llama
tambin razn o ritmo instantneo del cambio.
Si f es diferenciable en (a, b) existe una forma alternativa para calcular la derivada
direccional, pues se verifica el:
Teorema
Si f es diferenciable en (a,b) y u

=
1 2
(u ,u ) un vector unitario cualquiera, entonces
existe la derivada direccional en el punto (a, b) segn el vector u

y se verifica
u x 1 y 2
D f(a,b)=f (a,b)u +f (a,b)u
El anterior teorema permite, si f es diferenciable, el clculo de la derivada direccional a
partir de las derivadas parciales.
Comprobemos el resultado anterior con un:
Ejemplo
Obtener la derivada direccional de
2 2
f(x,y)=log x +y en el punto (1, 0) segn la
direccin (1, 1), aplicando la definicin. Estudiar si es posible la aplicacin del teorema
anterior, aplicndolo en su caso.
Como el vector (1, 1) no es unitario, hay que convertirlo en unitario conservando el
sentido y la direccin, es decir, hay que dividirlo por su mdulo: |(1, 1)| =
2 2
1 +1 2 = ,obtenindose u

=
1 1
( , )
2, 2
.
Apliquemos la definicin
0 0
0 0
2
0
2 2
1 2
2 2
u
h h
2
2
h h 2
h
h h h h
log (1+ ) +( ) -log1 f(1+ , )-f(1,0)
2 2 2 2
D f(1,0) lim lim
h h
log 1+h + 2h 1 2h+ 2
... lim lim : 1+h + 2h
h 2
1+h + 2h
1 1 1
lim 2=
2 2
2
h
h h

= = =
= = = =
+
= =
+ +

Las derivadas parciales de

2 2
f(x,y)=log x +y son:
2 2 x y 2 2
x y
f (x,y)= , f (x,y)=
x x y y + +
21 NJJ
Que son continuas en (1, 0), por ser cociente de funciones continuas y no anularse el
denominador en el punto; luego f es diferenciable en (1, 0).
Se puede aplicar, por tanto, el teorema anterior:
u x y
1 1 1 1 1
D f(1,0)=f (1,0) +f (1,0) =1 +0 =
2 2 2 2 2
.
Ejercicio
Estudiar la existencia de derivadas direccionales en el punto (0, 0), en los casos:
a)
2 2
xy
si (x,y) (0,0)
f(x,y)= x +y
0 si (x,y)=(0,0)

b)
2
2 2
x y
si (x,y) (0,0)
g(x,y)= x +y
0 si (x,y)=(0,0)

Vector gradiente
Segn el teorema anterior, si f es diferenciable en (a, b), tiene infinitas derivadas
direccionales en (a, b), es decir, una derivada direccional para cada vector unitario
u

= (u
1,
u
2
), y su valor es
u x 1 y 2
D =f (a,b)u +f (a,b)u , que se puede escribir como un
producto escalar de dos vectores:
u x y 1 2
D f(a,b)=(f (a,b),f (a,b)).(u ,u ) .
Al vector cuyas componentes son las derivadas parciales de f en el punto (a, b) se le
llama vector gradiente de f en (a, b) y se simboliza por f(a,b) V

=
x y
(f (a,b),f (a,b)) .
Por lo tanto se verifica el siguiente:
Teorema
Si f es diferenciable en (x, y), y u

= (u
1,
u
2
) es un vector unitario cualquiera, entonces
u
D f(x,y) f(x,y).u = V

Fijando un punto (x, y), y haciendo variar el vector unitario u

, se obtienen valores
distintos para la derivada direccional, verificndose el siguiente
Teorema
Si f es una funcin, diferenciable en (a,b), entonces:
1) La derivada direccional (tambin llamada velocidad o ritmo de cambio) de f en
(a, b), toma el valor mximo en la direccin del gradiente, siendo su valor
| f(a,b)| V

, y el vector u=
f(a,b)
| f(a,b)|
V
V

.
2) La derivada direccional (tambin llamada velocidad o ritmo de cambio) de f en
(a, b), toma el valor mnimo en la direccin opuesta a la del gradiente, siendo su
valor -| f(a,b)| V

, y el vector u=
f(a,b)
| f(a,b)|
V
V

.
La demostracin se basa en la expresin del producto escalar de dos vectores como
el producto de sus mdulos por el coseno del ngulo que forman, y se propone como
ejercicio.
Ejemplo
Obtener las direcciones de mximo ritmo de crecimiento y de decrecimiento, y sus
valores respectivos, para la funcin f(x, y) = x
2
+y
2
-3, en el punto P(1, 2).
Calculemos el gradiente en el punto P:
22 NJJ
f
x
= 2x, f
y
= 2y
x y
f(1,2)=(f (1,2),f (1,2))=(2,4) V

Lo que se pide son las direcciones donde la derivada direccional toma los valores
mximos o mnimos.
Luego para el valor mximo se tiene
u=
f(1,2) (2,4) (2,4) 2 4 1 2
= =( , )=( , )
|(2,4)| | f(1,2)| 20 2 5 2 5 5 5
V
=
V

, siendo el valor mximo en

esta direccin | f(1,2)| V

|(2,4)|=2 5 = .
La direccin de mayor ritmo de decrecimiento ser la opuesta, es decir
-1 -2
( , )
5 5
,
siendo su valor - 2 5 .
23 NJJ
VALORES EXTREMOS RELATIVOS DE UNA FUNCIN REAL DE DOS
VARIABLES REALES.
Definicin
Sea D una regin del plano. Sea R R D f c : .
1) Se dice que f alcanza su valor mximo absoluto M en un punto D y x e ) , (
0 0
cuando
D y x f y x f M e > = y) (x, ) , ( ) , (
0 0
.
2) Se dice que f tiene un mximo relativo en un punto D y x e ) , (
0 0
cuando
f x y f x y ( , ) ( , )
0 0
> (x, y)
perteneciente a un entorno de
( , ) x y
0 0
.
3) Se dice que f alcanza su valor mnimo absoluto m en un punto
D y x e ) , (
0 0
cuando
D y x f y x f m e s = y) (x, ) , ( ) , (
0 0
.
4) Se dice que f tiene un mnimo relativo en un punto D y x e ) , (
0 0
cuando
y) (x, ) , ( ) , (
0 0
s y x f y x f perteneciente a un entorno de ) , (
0 0
y x .
Geomtricamente: Los mximos y mnimos de una funcin de dos variables miden
altitudes mximas y mnimas sobre la superficie que constituye la grfica de la funcin
(son como las cotas del punto ms elevado de una colina del punto ms profundo de
una hondonada). No tienen porqu existir, sin embargo, con los mismos teoremas que
nos garantizan la existencia de mximo y mnimo absolutos de una funcin y = f(x)
continua en | R b a c , , puede demostrarse que z = f(x,y) continua alcanza su valor
mximo y su valor mnimo absolutos en una regin D cerrada (incluye el borde) y
acotada del plano.
Teorema 1. Condiciones necesarias para la existencia de extremos relativos
Supongamos que z = f(x,y) tiene un valor extremo (mximo mnimo) relativo en un
punto ) , (
0 0
y x en el entorno del cual f est definida y que existen
y
f y
x
f en dicho
punto, entonces
0 0 0 0
( , ) 0 ; ( , ) 0
x y
f x y f x y = = .
Sea P = ) , , (
0 0 0
z y x el punto de la superficie cuya proyeccin sobre el plano xy es
) , (
0 0
y x .
Supongamos que f tiene un mximo relativo en ) , (
0 0
y x , entonces, P es el punto ms
alto sobre la superficie en un entorno suyo.
24 NJJ
Si buscamos los extremos relativos de una funcin hay que analizar los puntos donde
las derivadas parciales valen cero no existen. Dichos puntos se llaman puntos crticos
estacionarios de f.
El teorema anterior no es suficiente para estudiar el problema de la existencia de los
valores extremos relativos de la funcin. Sin embargo, si estamos seguros de que
existen, este teorema nos permite hallar sus valores. En caso contrario es preciso hacer
un estudio ms detallado: Analizando los valores de la funcin en un entorno del punto
crtico bien recurriendo a las derivadas parciales de orden superior al primero en el
punto en cuestin.
Para funciones de una variable, y = f(x), si 0 ) (
0
= ' x f y 0 ) (
0
> '' x f , entonces f(x) tiene
un mnimo relativo en
0
x . Vamos a tratar de buscar un criterio anlogo para funciones
de dos variables. Es preciso decir que si 0 ) , ( ) , (
0 0 0 0
= = y x f y x f
y x
, aunque
yy
f y
xx
f
sean positivas en ) , (
0 0
y x , no podemos garantizar que f tenga un mnimo relativo en
) , (
0 0
y x
(Contraejemplo:
2 2
) , ( y xy x y x f + + = en ) , (
0 0
y x =(0,0)).
Teorema 2. Condiciones suficientes para la existencia de extremos relativos. Criterio
de la derivada segunda
Sea z=f(x,y) una funcin definida en D
c
R
2
y P(x
o
,y
o
)
e
D. Supongamos que f tiene
derivadas parciales de primer y segundo orden continuas en D y que P(x
o
,y
o
) es un
punto crtico de f, es decir
0 0 0 0
( , ) 0 ; ( , ) 0
x y
f x y f x y = = , entonces se verifica que:
1) f tiene un mximo relativo en P(x
o
,y
o
) si:
0
) , ( ) , (
) , ( ) , (
>
o o yy o o xy
o o xy o o xx
y x f y x f
y x f y x f
y | )
0 0 0
( , ) 0 ; ( , 0)
xx o yy
f x y f x y < <
2) f tiene un mnimo relativo en P(x
o
,y
o
) si:
0
) , ( ) , (
) , ( ) , (
>
o o yy o o xy
o o xy o o xx
y x f y x f
y x f y x f
y | ) ) 0 , ( ; 0 ) , (
0 0 0
> > y x f y x f
yy o xx
3) f no tiene ni mximo ni mnimo relativo en P(x
o
,y
o
) pues crece en unas direcciones y
decrece en otras, diremos que f presenta un punto de silla, si:
0
) , ( ) , (
) , ( ) , (
<
o o yy o o xy
o o xy o o xx
y x f y x f
y x f y x f
4) Si 0
) , ( ) , (
) , ( ) , (
=
o o yy o o xy
o o xy o o xx
y x f y x f
y x f y x f
, entonces no podemos asegurar que exista o no
extremo relativo en f. Ser preciso realizar un estudio ms detallado.
25 NJJ
Observacin
En el teorema anterior
xy
f =
yx
f en D y
yy xy
xy xx
f f
f f
=
yy yx
xy xx
f f
f f
. ste ltimo determinante
recibe el nombre de Hessiano de f.
El nmero | )
2
xy yy xx
f f f se denomina, a veces, discriminante de f.
Clculo de mximos y mnimos absolutos de una funcin
Si z=f(x,y) es una funcin continua en una regin D cerrada y acotada, ya hemos dicho
que f alcanza sus valores mximo y mnimo absolutos.
Segn lo que acabamos de ver, estos valores se alcanzarn en:
1) Puntos frontera de D
2) Puntos crticos de f (puntos interiores de D en los que
x
f =
y
f =0, o alguna de ellas
no exista).
Calculando f en todos ellos y eligiendo los valores mayor y menor tendremos los
valores mximo y mnimo absoluto respectivamente.
MXIMOS Y MNIMOS CONDICIONADOS DE UNA FUNCIN
DE DOS VARIABLES.
Proposicin
Sea z = f(x,y) una funcin continuamente diferenciable en un abierto U de
2
R .
Sea y(t)) ((x(t), ) ( r =

t la ecuacin de una curva plana C enteramente contenida en U

que posee en cada punto vector tangente )) ( ), ( ( ) ( t y t x t r ' ' = '

.
Si el punto ) , (
0 0
y x e r hace mxima mnima f(x,y) sobre C, entonces
) , ( 0 0
0 0
) , ( ) , (
y x y x
f f y x f ' ' = V

es perpendicular a dicha curva en ) , (

0 0
y x .
Demostracin:
x
y
y
0
x
0
( ' ( ), ' ( )) x t y t
0 0
( , ) ( , ) f f x y
x y 0 0
c
Sea R t e
0
tal que ) , ( ) (
0 0 0
y x t r =

.
La funcin compuesta:
26 NJJ
(t) y
) (
(t)) (
y
t x x
r f z
=
=
=

, que tiene como grfica la curva sobre la superficie, posee
un mximo ( mnimo) en
0
t . Por tanto, 0 ))] ( ( [ =

t r f
dt
d
en t =
0
t .Aplicando la regla
de la cadena:
0 ) ( )) ( ( = ' V = + =

t r t r f
dt
dy
f
dt
dx
f
dt
df
y x
en t =
0
t .Luego ) ( ) , (
0 0 0
t r y x f

' V .
Como ) (
0
t r

' es tangente a C en ) , (
0 0
y x , se tiene que ) , (
0 0
y x f

V es perpendicular a la
curva en ) , (
0 0
y x .
Mtodo de los multiplicadores de Lagrange
Sea g una funcin de dos variables continuamente diferenciable en un subconjunto del
dominio de f.
Si ) , (
0 0
y x hace mxima ( mnima) a f(x,y), sujeta a la condicin extra g(x,y) = 0,
entonces ) , (
0 0
y x f

V y ) , (
0 0
y x g

V son colineales, es decir, de igual direccin. En

consecuencia, existe un escalar tal que ) , (
0 0
y x f

V = ) , (
0 0
y x g

V .
Demostracin geomtrica
La ecuacin g(x,y) = 0 define una curva c que vamos a suponer que posee en cada punto
un vector tangente no nulo.
Como ) , (
0 0
y x hace mxima ( mnima) a f(x,y) sobre c, sabemos que ) , (
0 0
y x f

V es
perpendicular a c en ) , (
0 0
y x .
Puesto que ) , (
0 0
y x g

V es tambin perpendicular a c en ) , (
0 0
y x (ya que en todo punto
el gradiente es perpendicular a la curva de nivel que pasa por dicho punto), los dos
gradientes han de ser colineales.
Nota
El recproco no es cierto. Hay que estudiar lo que ocurre en un entorno del punto.
Forma prctica de clculo en el mtodo de los multiplicadores de Lagrange
Para maximizar minimizar una funcin f(x,y) sujeta a la restriccin g(x,y) = 0, se
construye la funcin auxiliar H(x,y, ) = f(x,y) - g(x,y).
Luego se hallan los valores x, y, para los cuales son nulas las derivadas parciales de
H :
H
x
= = = 0 0 0 , H H
y
,

.
Estos requisitos son equivalentes a los formulados anteriormente ya que :
0 f
x
= =
x x
g H bien
x
g =
x
f
0 f
y
= =
y y
g H bien
y
g =
y
f
0 ) , ( = = y x g H

bien 0 = y) g(x,
Las primeras dos ecuaciones dan

V = V g f , y la ltima g(x,y) = 0.
27 NJJ
Nota
Toda la teora anterior puede extenderse (sin ms que aadir una coordenada) a
funciones de tres variables f(x,y,z).
En este caso, tiene sentido plantearse el problema de hallar mximos mnimos de f
condicionados por dos restricciones g(x,y,z) = 0 y h(x,y,z) = 0.
Se localizan los puntos P(x,y,z) que satisfagan simultneamente las ecuaciones :
V = V + V

f g h u
g(x,y,z) = 0
h(x,y,z) = 0
Se requiere que las funciones f, g y h tengan derivadas parciales primeras continuas.
La interpretacin geomtrica de las ecuaciones anteriores es sencilla :
Superficie h=0
Superficie g=0
90
Vh
Vg
90
Sea C la curva diferenciable interseccin de las dos superficies g = 0 y h = 0.
A lo largo de esta curva buscamos los puntos donde f alcanza mximos mnimos
relativos respecto a sus otros valores sobre la curva.
Estos son los puntos donde

Vf es perpendicular a C, como vimos anteriormente. Pero

tambin

Vg y

Vh son perpendiculares a C en estos puntos, ya que C est en las

superficies g = 0 y h = 0. Por tanto,

Vf est en el plano determinado por

Vg y

Vh ,
es decir,

V + V = V h g f para ciertos y .
Como los puntos que buscamos estn adems en ambas superficies, sus coordenadas
han de satisfacer las ecuaciones g(x,y,z) = 0 y h(x,y,z) = 0 , que son los dos ltimos
requisitos que habamos escrito.
PROBLEMAS
1.-Dada la funcin
| )| ) 1
2
y 1
2
x
4xy
y) f(x,
+ +
= , se pide:
a) Hallar los puntos crticos y estudiar si en ellos hay extremos relativos.
b) Calcular los extremos absolutos en el recinto R= {(x,y)eR
2
10 s x s 1, 0 s y s 1}
2.- Una empresa fabrica 2 productos A y B. Los ingresos totales por la venta de x
unidades de A e y unidades de B vienen dados por la funcin:
I(x,y) = -5x
2
-8y
2
-2xy+42x+102y
Hallar x e y para que los ingresos por los productos A y B sean mximos.
28 NJJ
3.-Sea k una constante real y sea la superficie de ecuacin f(x,y) = x
2
+ kxy + y
2
. Se
pide:
Probar que, para cualquier valor de k, el origen (0,0) es un punto crtico de f.
Hallar los valores de k para los que f presenta un mnimo relativo en (0,0).
4.- Encontrar los puntos donde la funcin f(x,y)= x
2
+ y
2
- xy x - y alcanza sus valores
mximo y mnimo absolutos en el recinto
A= | ) ' ' 3 y x 0, y 0, x que tales
2
R y x, s + > > e .
5.- Hallar los puntos de la parbola y=(x-2)
2
que estn a menor distancia del punto (2,1).
6.- Aplicar el mtodo de los multiplicadores de Lagrange para hallar las distancias
mxima y mnima de un punto de la elipse x
2
+4y
2
=4 a la recta x+y=4
7.- Usar multiplicadores de Lagrange para calcular las dimensiones de un depsito
cilndrico circular recto de volumen 8t m
3
y rea mnima.
8.- Una placa circular plana tiene de ecuacin 1
2
y
2
x s + . La placa, incluyendo la
frontera, se calienta de manera que la temperatura en cada punto (x,y) viene dada por
T(x,y)= x
2
+2y
2
-x.
Dibujar la isoterma T(x,y)= 10.
Hallar la temperatura mxima y mnima en la frontera.
Hallar la temperatura mxima y mnima absoluta en toda la placa.
Ejercicios propuestos
Hallar los mximos y mnimos relativos y absolutos de las funciones:
1) xy y x z 2
2 2
+ + =
2) sen z x y y = +
3) cos
x
z e y =
4) z xseny =
5) Hallar los valores de k para los que la funcin
2 2
3 ) , ( ky xy x y x f + + = posee un
mnimo relativo en (0, 0).
6) Hallar el mximo y mnimo absolutos de 1 ) , (
2 2
+ + = y xy x y x f en la placa
triangular cerrada acotada por las rectas x = 0, y = 4, y = x.
7) El discriminante
2
xy yy xx
f f f de cada una de las siguientes funciones es cero en el
origen. Determinar si la funcin tiene, no, un mximo un mnimo en el origen
imaginando, en cada caso, el aspecto de la superficie z = f(x, y) :
a) f(x,y)=x
2
y
2
b) f(x,y)=1-x
2
y
2
c) f(x,y)=xy
2
d) f(x,y)=x
3
y
3
8) Hallar los puntos sobre la elipse 1 2
2 2
= + y x donde xy y x f = ) , ( tiene sus valores
extremos.
9) La temperatura en un punto (x, y) de una placa de metal es T(x,y)=4x
2
-4xy + y
2
.
Una hormiga camina sobre la placa alrededor del crculo de radio 5 con centro en el
Origen. Cules son las temperaturas mayor y menor que encuentra la hormiga?
10) Hallar los mximos y mnimos de la funcin f(x,y) = x y en la circunferencia
unidad.
29 NJJ
Soluciones a los ejercicios propuestos
1.- El valor mnimo absoluto: 0.
Se alcanza en cada punto de la recta y=-x.
2.- No existen valores extremos.
3.- No existen valores extremos.
4.- No existen valores extremos. Solo hay puntos de silla: (0,kt), keZ. f(0,kt)=0.
5.-
4
9
> k
6.- Valor mnimo de f: 1, lo alcanza en (0,0).
7.- a) Mnimo, b) Mximo, c) Punto de silla, d) Punto de silla.
8.- Valor mximo:
2 2
1
, lo alcanza en |
.
|

\
|

2
1
,
2
1
.
Valor mnimo: -
2 2
1
, lo alcanza en |
.
|

\
|

2
1
,
2
1
.
9.- Temperatura mnima: 0 en | ) 5 2 , 5 .
Temperatura mxima: 125 en | ) 5 , 5 2 .
10.- Valor mximo:
2
1
, lo alcanza en |
.
|

\
|

2
1
,
2
1
.
Valor mnimo: -
2
1
, lo alcanza en |
.
|

\
|

2
1
,
2
1
.