Extremos de las funciones de varias variables.

En esta sección estudiaremos algunos problemas de optimización para campos escalares, es decir,
analizaremos la existencia, clasificación y obtención de extremos (máximos y mínimos) relativos y
absolutos de una función escalar f : (x, y) U  R 2  f (x, y)  de dos variables (respectiva-
R,

mente, tres variables f : (x, y, z) U  R 3  f (x, y, z)  R ). La función f de la que se desean

co-
nocer sus extremos se llama función objetivo. Los resultados que estudiaremos en esta sección guar-
dan una gran analogía con el estudio de los máximos y mínimos de una función de una única varia-
ble.

Extremos de funciones de dos variables. Comenzamos enunciando la versión para dos variables del
teorema de Weierstrass, que nos garantiza la existencia de extremos absolutos para funciones
continuas definidas en conjuntos cerrados y acotados. Previamente fijaremos algunos conceptos.

DEFINICIÓN. Sea f : (x, y) U  R 2  f (x, y)  R un campo escalar. Se dice que f alcanza

el máximo absoluto en un punto (x0 , y0 ) U si f (x0 , y0 )  f (x, y) para todo (x, y) U . En este caso
diremos que M : f (x0 , y0 ) es el máximo absoluto de f en U . Se dice que f alcanza el mínimo absoluto
en un punto (x0 , y0 ) U si f (x0 , y0 )  f (x, y) para todo (x, y) U . En este caso diremos que m : f
(x0 , y0 ) es el mínimo absoluto de f en U .

EJEMPLO. Consideremos las funciones f (x, y)  x2  y2 y f (x, y)  x2  y2 definidas en R 2 .

1 2
Es
claro que f (0, 0)  0  x2  y2  f (x, y) y que f (0, 0)  0  (x  y )  f (x, y) para cualquier
2 2

1 1 2 2

punto (x, y)  R . Es decir, la

2
f1(x, y) tiene un mínimo absoluto en el origen de coordena-
función
das y la función f2 (x, y) tiene un máximo absoluto en el origen de coordenadas. Sin embargo, la

función f1(x, y) no tiene máximo absoluto ya que no está acotada superiormente y, de forma análo-

ga, la función f2 (x, y) no tiene mínimo absoluto ya que no está acotada inferiormente.

Como muestra el anterior ejemplo no toda función continua tiene máximo o mínimo absoluto. El
siguiente resultado nos proporciona una condición sobre el dominio bajo la que sí existen los ex-
tremos absolutos. Antes de enunciarlo precisaremos el concepto de conjunto cerrado y conjunto

DEFINICIÓN. Un conjunto U  R2 es un conjunto cerrado si contiene a los puntos de su frontera.

Se dice que un conjunto U  R2 es acotado si existe un disco D (centrado en el origen de
coordena- das) tal que U  D.
acotado.
OBSERVACIÓN. En general, y sin precisar demasiado, los conjuntos de r 2 formados por aquellos
puntos que pertenecen al interior de una curva cerrada junto con los propios puntos de la curva son
conjuntos cerrados. La frontera de estos conjuntos la constituye la mencionada curva. Por ejemplo,
el círculo (x, y)  R 2 : x 2  y 2  1 es un conjunto cerrado porque contiene a su frontera que es la
circunferencia de ecuación x 2  y 2  1. Sin embargo, el conjunto (x, y)  R 2 : x 2  y 2  1 no es un

TEOREMA (WEIERSTRASS). Si U  R 2 es un conjunto cerrado y acotado y si la función objetivo

f : (x, y) U  R 2  f (x, y)  R es continua, entonces f alcanza en U sus valores mínimo
y máximo absolutos, es decir, existen dos puntos (x1, y1) y (x2 , y2 ) pertenecientes a U tales que
f (x1, y1)  f (x, y)  f (x2 , y2 ) para todo (x, y) U .

A continuación estudiaremos (en esta sección y en la siguiente) el procedimiento general para obte-
ner los extremos absolutos de una función f en un conjunto.
OBSERVACIÓN. Los puntos (x1, y1) y (x2 , y2 ) donde la función objetivo f alcanza los extremos

absolutos pueden pertenecer a la frontera del conjunto U , o bien, al interior del conjunto U . El pri-
mer caso será analizado en la siguiente sección. En esta sección nos ocuparemos del segundo. Es
decir, cómo encontrar puntos del interior del conjunto U donde la función puede alcanzar extremos
absolutos. Entre los puntos candidatos a buscar se encuentran los extremos relativos de f que defi-
nimos a continuación.

D . Sea f : (x, y) U   f (x, y)  un campo escalar. Se dice que f

alcanza un
máximo relativo en un punto (x0 , y0 ) U si existe un disco D centrado en (x0 , y0 ) contenido en U
tal
punto )  f (x,siy)existe
que f(x(x0 , ,yy0 ) U para todo
un (x, y)  D.
disco D Secentrado
dice que en
f alcanza
(x0 , y0un
) mínimo relativo
contenido en U en untal que
f (x0 , y0 )  f (x, y) para todo (x, y)  D. Los máximos y mínimos relativos de f se llaman genéri-
camente extremos relativos o extremos locales de f .
EJEMPLO. Consideremos la función f (x, y)  (x2  y2 1)2. Vamos a analizar sus extremos. Obser-

vemos que f (x, y)  (x2  y2 1)2  0 para todo (x, y)  Por tanto, en todos los puntos donde
R 2.

se anule la función tendremos un mínimo absoluto. Puesto que la función se anula si, y sólo si,
x2  y2  1, en todos los puntos de la circunferencia x2  y2  1 la función alcanza un mínimo abso-

luto. Por otro lado, esta función no tiene máximo absoluto ya que no está acotada superiormente.
Sin embargo, sí alcanza un máximo relativo en el punto (0, 0). Para comprobar esto observemos
que f (0, 0)  1 y que si (x, y) pertenece al disco centrado en el punto (0, 0) y de radio 1, entonces

f (x, y)  (x2  y2 1)2  1.

Con lo que llevamos estudiado hasta estos momentos no es fácil comprobar que en este ejemplo no
hay más extremos relativos. Sin embargo, esto será consecuencia directa del siguiente resultado que
proporciona una condición necesaria para que un punto sea un extremo relativo.

PROPOSICIÓN (CONDICIÓN NECESARIA DE EXTREMO RELATIVO). Si la función objetivo f tiene un

extremo relativo en un punto (x0 , y0 ) y es diferenciable en dicho punto, entonces Df (x0 , y0 )  0, es
decir, se verifica que fx (x0 , y0 )  f y (x0 , y0 )  0.

DEM. Si f alcanza un extremo relativo en (x0 , y0 ), entonces la función h(x)  f (x, y0 ) de una va-

riable también alcanza un extremo relativo en el punto x0 . Por tanto, h( x0 )  0. Teniendo en cuenta

que f x (x0 , y0 )  h( x0 ), obtenemos que fx (x0 , y0 )  0. De forma análoga se obtiene f y (x0 , y0 )  0.

DEFINICIÓN. Se dice que un punto (x0 , y0 )  D es un punto estacionario o punto crítico de la fun-
ción objetivo f si Df (x0 , y0 )  0.

fx (x, y)  0,
OBSERVACIÓN. La igualdad Df (x0 , y0 )  0 nos proporciona el sistema de ecuaciones 
f y (x, y)  0,

que nos permite obtener un conjunto de puntos candidatos a que en ellos la función objetivo alcance
un extremo relativo.
EJEMPLO. Volviendo al ejemplo de la función f (x, y)  (x2  y2 1)2 , vamos a usar la condición ne-

cesaria de extremo relativo para ver que ya habíamos encontrado todos los extremos relativos. Para
ello calculamos los puntos críticos de la función, es decir, resolvemos el sistema
 f x (x, y)  4x  x 2  y 2 1  0,

f y (x, y)  4 y  x 2  y 2 1  0.

Por un lado tenemos que los puntos de la circunferencia x2  y2  1 son todos puntos críticos. Ya

sabemos que en ellos la función alcanza el mínimo absoluto. La otra solución del sistema es
x  y  0, es decir, (0, 0) es un punto crítico. Ya sabemos que la función alcanza en este punto un
máximo relativo.
Volviendo al caso general, tenemos que decir que no todos estos puntos críticos, es decir, solucio-
fx (x, y)  0,
nes del sistema  serán extremos relativos de la función f . Esto queda de manifiesto
f y (x, y)  0,

en el siguiente ejemplo.
EJEMPLO. Como ocurre en el caso de una variable, no todos estos puntos críticos, es decir, solucio-
fx (x, y)  0,
nes del sistema  son extremos relativos de la función f . La función definida por
f y (x, y)  0,

f (x, y)  x2  y2 tiene un punto estacionario en (0, 0), sin embargo dicho punto no es un extremo

relativo de f , puesto que en cualquier entorno del origen hay puntos en los que la función es posi-
tiva y puntos en los que la función es negativa.

Los puntos estacionarios de una función que no son extremos relativos de la misma se llaman pun-
tos de silla o puntos de ensilladura. El origen de coordenadas es un punto de silla para la función f
(x, y)  x2  y2 .
¿Cómo podemos saber si un punto crítico es un máximo relativo, un mínimo relativo o un punto de
silla? Como sabemos, en el caso de una variable se hace analizando el signo de la derivada segunda
de la función objetivo. En el caso de varias variables la clave está en la matriz diferencial segunda de
la función objetivo. A continuación veremos una condición necesaria y otra suficiente en térmi- nos
de las derivadas parciales segundas.

PROPOSICIÓN. Supongamos que la función objetivo f es suficientemente regular y alcanza un

máximo (respectivamente mínimo) relativo en el punto (x0 , y0 ). Entonces la matriz diferencial se-
gunda D2 f (x ,0 y )0 es semidefinida negativa (respectivamente positiva).

DEM. Supongamos que la función objetivo f alcanza un máximo relativo en el punto (x0 , y0 ). Sea
u  (u1, u2 )t  R 2 un vector no nulo. Tenemos que probar que u t D 2 f (x0 , 0y )u  0. Para ello, consi-
deremos la función de una variable h(t)  f (x0  tu1, y0  tu2 ), que es la restricción de f (x, y) a un

segmento centrado en el punto (x0 , y0 ) en la dirección del vector u. Calculemos sus derivadas:
En particular, h(0)  fxx (x , y )u2  2 f (x0 , y0 )u1u2  f yy (x , y )u2  ut D2 f (x , y )u. Por otro lado,
0 0 1 xy 0 0 2 0 0

si f (x, y) tiene un máximo relativo en el punto (x0 , y0 ), entonces h(t) tiene también un máximo

relativo en cero. Por tanto, h(0)  0 y h (0)  0. Entonces u t D 2 f (x , 0y )u

0  0.

EJEMPLO. En general no es cierto que si la matriz diferencial segunda D2 f (x , y ) en un punto

0 0

crítico de la función objetivo f es semidefinida negativa (respectivamente positiva), la función

objetivo alcanza un máximo (respectivamente mínimo) relativo en el punto (x0 , y0 ). Consideremos,
por ejemplo, la función f (x, y)  x2  y4. El punto (0, 0) es un punto crítico porque

2 0 
Df (0, 0)  (0, 0) y la matriz diferencial segunda es D f (0, 0)    que es semidefinida positi-
2

 
0 0

va. Pero la función f no alcanza en (0, 0) un mínimo relativo. De hecho, (0, 0) es un punto de silla
para la función.

PROPOSICIÓN. Supongamos que la función objetivo f es suficientemente regular y que (x0 , y0 ) es

un punto estacionario de f , esto es, que Df (x0 , y0 )  0. Entonces, se verifica que:

1) Si D2 f (x ,0 y )0 es definida positiva, la función f tiene un mínimo relativo en (x , y ).0 0

2) Si D2 f (x ,0 y )0 es definida negativa, la función f tiene un máximo relativo en (x , y ).0 0

3) Si D2 f (x ,0 y )0 es indefinida, la función f tiene un punto de silla en (x , y ).0 0



















 
 
 
 
 
 

3) Si D2 f (x , y ) es indefinida, entonces por la condición necesaria para la segunda derivada, la
0 0

función f no puede alcanzar en (x0 , y0 ) ni un máximo ni un mínimo relativo, luego f tiene un

punto de silla en (x0 , y0 ).

Puesto que podemos obtener el carácter de la diferencial segunda en términos del signo de su de-
terminante y de la traza de dicha matriz, enunciamos ahora un criterio en estos términos.

COROLARIO. Supongamos que la función objetivo es suficientemente regular y que (x0 , y0 ) es un

punto estacionario de f . Sea   det D f (x , y0 ).0Entonces se verifica que:
Si   0 y fxx (x0 , y0 )  0, la función f tiene un mínimo relativo en el punto (x0 , y0 );
Si   0 y fxx (x0 , y0 )  0, la función f tiene un máximo relativo en el punto (x0 , y0 );

Si   0, la función f tiene un punto de silla en (x0 , y0 ).

OBSERVACIÓN. A la vista de los dos últimos resultados, queda una situación en la que la teoría ge-
neral no da información: cuando (x0 , y0 ) es un punto crítico y D2 f (x , y ) es semidefinida positiva
0 0
(respectivamente negativa) pero no definida positiva (respectivamente negativa) puede ocurrir que
la función tenga un mínimo (respectivamente máximo) o que no lo tenga. Por ejemplo, considere-
mos las función g(x, y)  x2  y4. Es claro que (0, 0) es un mínimo relativo de f y la diferencial

2 0 
segunda D g(0, 0)    es semidefinida positiva. Por otra parte, sabemos que la función
2

 0 0 

f (x, y)  x2  y4 tiene un punto crítico en (0, 0), que de hecho es un punto de silla, y la diferencial

segunda D2 f (0, 0) es también semidefinida positiva.

EJEMPLO. Vamos a calcular y clasificar los puntos críticos de f (x, y)  sen(x  y)  cos(x  y). Co-
menzamos calculando sus derivadas parciales:

f x (x, y)  cos(x  y)  sen(x  y) y f y (x, y)  cos(x  y)  sen(x  y).

cos(x  y)  sen(x  y)  0, 
Los puntos críticos son las soluciones de las ecuaciones  que es equiva-
 cos(x  y)  sen(x  y)  0,
 cos(x  y)  0, Puesto que el seno se anula en los múltiplos de  y el coseno lo hace en los
lente a 
sen(x  y)  0.
1) Si uno de los dos números k o m es impar y el otro par, entonces det D2 f (P )0 y P es un
k ,m k ,m

punto de silla.
2) Si k y m son números pares, entonces det D2 f (P )  0 y f (P )  2. El punto P es un
k ,m xx k ,m k ,m

máximo relativo. Observemos que en este caso, f (Pk ,m )  2 y puesto que f (x, y)  2 para todo
(x, y)  R 2 , obtenemos que la función alcanza un máximo absoluto en el punto P .
k ,m

3) Si k y m son números impares, entonces det D2 f (P )  0 y f (P )  2. El punto P es un

k ,m xx k ,m k ,m

mínimo relativo. Observemos que en este caso, f (Pk ,m )  2 y puesto que f (x, y)  2 para todo
(x, y)  R 2 , obtenemos que la función alcanza un mínimo absoluto en el punto P .
k ,m

EJEMPLO. Los resultados que acabamos de estudiar también se pueden aplicar a funciones definidas
implícitamente, como veremos en este ejemplo. En primer lugar vamos a comprobar que la ecua-
ción z cos z  xy  0 define implícitamente z como función de x e y en un entorno del punto

(0, 0, 0). Para ello, consideremos la función F (x, y, z)  z cos z  xy, que tiene derivadas parciales

continuas en R 3 y, además, F (0, 0, 0)  0. Como tenemos

que Fz (x, y, z)  y, en par-
cos z  z sen z

ticular Fz (0, 0, 0)  1  0, el teorema de la función implícita, asegura que existe un disco D centra-
do (0, 0) y una única función z : (x, y)  D  R 2  z(x, y)  R con derivadas parciales
continuas
en D tal que z(0, 0)  0 y z  z(x, y) es solución de la ecuación F (x, y, z)  0, o sea,

z(x, y) cos(z(x, y))  xy  0, (x, y)  D.

Ahora vamos a comprobar que el origen es un punto crítico de z(x, y) y vamos a clasificarlo. Pues-
to que la función F tiene derivadas parciales de orden superior continuas, la función z  z(x, y)

también las tendrá. De hecho, si derivamos en la ecuación anterior dos veces con respecto a la va-
riable x y otras dos veces con respecto a la variable y, obtenemos
zx cos z  z sen(z)zx  y  0,
z xx cos z  2 sen(z)z 2x  z cos(z)z 2x  z sen(z)z xx  0,
zy cos z  z sen(z)zy  x  0,
z yycos z  2 sen(z)z  z cos(z)z 2y z sen(z)z
2
y yy  0.
Derivando ahora en la primera de estas cuatro ecuaciones con respecto a la variable y, obtenemos:
zxy cos z  2zx sen(z)zy  z cos(z)zy zx  z sen(z)zxy 1  0. Para simplificar la notación hemos supri-

mido en las igualdades anteriores las variables de la función z  z(x, y) y de sus derivadas. Toman-

do ahora x  y  0 en la primera y tercera de estas ecuaciones y teniendo en cuenta que z(0, 0)  0,

obtenemos que zx (0, 0)  zy (0, 0)  0. Luego (0, 0) es un punto crítico de la función. De la segunda

ecuación tenemos que zxx (0, 0)  0, de la cuarta que zyy (0, 0)  0 y de la quinta que zxy (0, 0)  1.
0 1
La matriz diferencial segunda es D2 z(0, 0)    y su determinante es 1. Por tanto, la fun-

1 0
  
ción z(x, y) tiene un punto de silla en el origen.
EJEMPLO. Vamos a determinar los extremos absolutos de la función f (x, y)  3x2 y2  2x3  2 y3 en

el rectángulo U : [2,1][5,1]. Observemos que esta función continua alcanza el máximo y el

mínimo porque U es un conjunto cerrado y acotado y podemos aplicar el teorema de Weierstrass. Los
extremos absolutos deben estar en la frontera del dominio o en el interior y, por tanto, en este último
caso deben ser puntos críticos. Comenzamos estudiando los puntos críticos que hay en el in-
terior del rectángulo. Para ello calculamos las derivadas parciales de la función f (x, y) y obtene-

f (x, y)  6x2 y  6 y2. Así que los puntos críticos serán las soluciones
y
mos f x(x, y)  6xy2  6x2 y

S
i

( y 2  x)  0,
 (x 2  y) y  0.
del sistema x  0, de la
segunda
ecuación y  0. Por
deducimos tanto,
que

P1 (0, 0) es un punto crítico. Por otro lado, si x  0, entonces y2  x  0 (en particular, y  0 ) y

x2  y  0 . Por tanto, x   y2 e y  x2   y4. De aquí se deduce que y  1 (tengamos en cuenta

que y  0 ) y x  1. Es decir, P2 (1, 1) es un punto crítico. Tenemos así que P1 y P2 son los

puntos críticos del interior del rectángulo. Además f (P1 )  0 y f (P2 )  1. Vamos a estudiar ahora

los valores que toma la función f (x, y) en la frontera del rectángulo. Analizamos por separado ca-

da uno de los cuatro segmentos que componen dicha frontera.

Caso 1: x  2. Restringimos la función a este segmento con lo que obtenemos una función de una

única variable h( y)  f (2, y)  12 y2 16  2 y3 en el intervalo [5,1]. Puesto que la derivada

h( y)  24 y  6 y 2  0 se anula en y  0 e y  4 , esta función alcanza su máximo y mínimo en el

intervalo [5,1] en uno de los siguientes puntos: y y y  0 o y  1. Por consiguiente,

5, 4,

la función f (x, y) puede alcanzar los extremos en P3 (2, 5) , P4 (2, 4) , P5  (2, 0) o

P6  (2,1). Observa que f (P3 )  34, f (P4 )  48, f (P5 )  16 y f (P6 )  2.

Caso 2: x  1. En este caso tenemos que h( y)  f (1, y)  3y 2  2  2 y3. Puesto que su derivada

h( y)  6 y  6 y 2  0 se anula en y  0 e y  1, esta función alcanza su máximo y mínimo en el

intervalo [5,1] en uno de los siguientes puntos: y  5, y  1, y  0 o y  1. Por consiguiente,

la función f (x, y) puede alcanzar sus extremos absolutos en P7 (1, 5) , P8 (1, 1) , P9  (1, 0) o

P10 (1,1). Observa que f (P7 )  173, f (P8 )  3, f (P9 )  2, y f (P10 )  7.

Caso 3: y  5. En este caso tenemos que g(x)  f (x, 5)  75x2  2x3  250, cuya derivada es

g( x)  150x  6x 2  0 y se anula en x  0 y x  25. Esta función alcanza su máximo y mínimo

en el intervalo [2,1] cuando x  2, x  0 o x  1. Puesto que en los extremos del intervalo ya

hemos estudiado el valor de la función, sólo tenemos que considerar el punto P11 (0, 5). Observa

que f (P11 )  250.

Caso 4: y  1. Ahora tenemos que g(x)  f (x,1)  3x2  2x3  2 cuya derivada g( x)  6x  6x 2  0

se anula en x  0 y x  1. Esta función alcanza su máximo y mínimo en el intervalo [2,1] cuan-

do x  2, x  1, x  0 o x  1. Puesto que en los extremos del intervalo ya hemos estudiado el

valor de la función, sólo tenemos que considerar los puntos P12  (1,1) y P13  (0,1). Observa que

f (P12 )  3 y f (P13 )  2.
 P11  (0, 5) y el máximo lo alcanza en el
Concluimos que la función alcanza su mínimo en el punto

punto P4  (2, 4), donde vale 250 y 48 respectivamente.

Extremos de funciones de tres variables. El estudio de los máximos y mínimos de campos escala-
res de tres variables es análogo al que acabamos de realizar para los de dos variables. A continua-
ción enunciamos las correspondientes definiciones y resultados.

DEFINICIÓN. Sea f : (x, y, z) U  R3  f0 (x,0 y, 0z)  R un campo escalar. Se dice que f alcanza
el máximo absoluto en (x0 , y0 , z0 ) U si f (x0 , y0 , z0 )  f (x, y, z) para todo (x, y, z) U . Se dice
que f alcanza el mínimo absoluto en (x0 , y0 , z0 ) U si f (x0 , y0 , z0 )  f (x, y, z) para todo (x, y, z) U
. Los valores máximo y mínimo de f se llaman extremos absolutos de f en D.

Una bola B en R3 , centrada en el punto (x , y , con radio r  0, es el conjunto

z )

B  (x, y, z)  R 3 : (x 0 x ) 2  ( y 0 y ) 2  ( y 0y ) 2  r 2  .

TEOREMA (WEIERSTRASS). Sea f : (x, y, z) U  R 3  f (x, y, z)  R una función continua y U

un conjunto cerrado y acotado (está contenido en una bola centrada en el origen). Entonces f
alcanza en U los valores mínimo y máximo absolutos, es decir, existen dos puntos (x1, y1, z1) y (x2
, y2 , z2 )
pertenecientes a U tales que f (x1, y1, z1)  f (x, y, z)  f (x2 , y2 , z2 ) para todo (x, y, z) U.
DEFINICIÓN. Sea f : (x, y, z) U  R3  f (x, y, z)  R un campo escalar. Se dice que f
alcanza un máximo relativo en (x0 , y0 , z0 ) U si existe una bola B centrada en (x0 , y0 , z0 ) contenida
en U tal que f (x0 , y0 , z0 )  f (x, y, z) para todo (x, y, z)  B. Se dice que f alcanza un mínimo
relativo en (x0 , y0 , z0 ) U si existe una bola B centrada en (x0 , y0 , z0 ) contenida en U
tal que f (x0 , y0 , z0 )  f (x, y, z) para todo (x, y, z)  B. Los máximos y mínimos relativos de f se
llaman genéricamente extremos relativos o extremos locales de f .

PROPOSICIÓN. Si la función objetivo f alcanza un extremo relativo en un punto (x0 , y0 , z0 ) y es

diferenciable en dicho punto, entonces Df (x0 , y0 , z0 )  0, o sea, que verifica
fx (x0 , y0 , z0 )  f y (x0 , y0 , z0 )  fz (x0 , y0 , z0 )  0.

es un punto estacionario o punto crítico de la

PROPOSICIÓN. Supongamos que la función objetivo f es suficientemente regular y alcanza un
máximo (respectivamente, mínimo) relativo en el punto (x0 , y0 , z0 ). Entonces la matriz diferencial
segunda D2 f (x ,0 y ,0z )0es semidefinida negativa (respectivamente positiva).

PROPOSICIÓN. Supongamos que la función objetivo es suficientemente regular y que (x0 , y0 , z0 ) es

un punto estacionario de f . Entonces, se verifica que
1) Si D2 f (x ,0 y ,0z )0es definida positiva, la función f alcanza en (x , y , 0z ) 0un 0mínimo relativo.

2) Si D2 f (x ,0 y ,0z )0es definida negativa, la función f alcanza en (x , y , 0z ) 0un 0máximo relativo.

DEFINICIÓN. En las condiciones del resultado anterior, si D2 f (x , 0y , 0z ) 0es indefinida, diremos que
f tiene en (x0 , y0 , z0 ) un punto de silla.

Fuente:
http://www.matematicaaplicada2.es/data/pdf/1328695720_1392213230.pdf