1

MXIMOS Y MNIMOS DE FUNCIONES DE DOS VARIABLES

Dado un campo escalar f: D R2

R, D abierto y (x0, y0) D.

Se dice que (x0, y0) es un punto crtico o estacionario de f si f ( x, y ) es diferenciable y

df ( x0 , y 0 ) (0, 0) f ( x0 , y0 ) (0, 0) f x ( x0 , y 0 ) 0 y f y ( x0 , y 0 ) 0 .
El punto (x0, y0, f (x0, y0)) se llama punto crtico o estacionario de la superficie. El plano
tangente en un punto crtico es horizontal.
Generalmente los puntos estacionarios de una superficie se clasifican en mximos, mnimos y
puntos de silla.
Una funcin f tiene un mnimo local en (x0, y0) si f ( x0 , y 0 ) f ( x, y ) , para todo (x, y)
perteneciente a un entorno de (x0, y0). El nmero f ( x0 , y 0 ) es el mnimo de f en ese entorno.
Una funcin f tiene un mximo local en (x0, y0) si f ( x0 , y0 ) f ( x, y ) , para todo (x, y)
perteneciente a un entorno de (x0, y0). El nmero f ( x0 , y 0 ) es el mximo de f en ese entorno.
Los mximos y los mnimos se llaman ptimos locales o relativos.
Una funcin f tiene un punto de silla en (x0, y0) si todo entorno de (x0, y0) contiene puntos
(x, y) tales que f ( x0 , y0 ) f ( x, y ) y otros para los que f ( x0 , y 0 ) f ( x, y ) .

Ejemplos:
a) La funcin f ( x, y ) x 2 y 2 tiene un mnimo en el punto (0, 0). El valor de f ( x, y ) 0
para todo punto de un entorno de (0, 0).
Como puede verse, el punto (0, 0) es estacionario: f x ( x, y ) 2 x y f y ( x, y ) 2 y se anulan a
la vez en el punto (0, 0). El plano z = 0 es tangente a ella en el punto (0, 0, 0).
b) La funcin f ( x, y ) 2 x 2 y 2 tiene un mximo en el punto (0, 0). El valor de
f ( x, y ) 2 para todo punto de un entorno de (0, 0).
Como puede verse, el punto (0, 0) es estacionario: f x ( x, y ) 2 x y f y ( x, y ) 2 y se anulan
a la vez en el punto (0, 0). El plano z = 2 es tangente a ella en el punto (0, 0, 2).
c) La funcin f ( x, y ) x 2 y 2 tiene un punto de silla en (0, 0). Existen puntos de cualquier
entorno de (0, 0) que hacen que f ( x, y ) 0 ; y otros que hacen que f ( x, y ) 0 .
El punto (0, 0) tambin es estacionario: f x ( x, y ) 2 x y f y ( x, y ) 2 y se anulan a la vez en
el punto (0, 0).
El plano z = 0, tangente a f ( x, y ) x 2 y 2 en el punto (0, 0, 0) atraviesa esa superficie.

Jos Mara Martnez Mediano

Condiciones de optimalidad
1. Condicin necesaria de primer orden
Si f posee un ptimo local en el punto (x0, y0), entonces f ( x0 , y0 ) (0, 0) . (Vase Nota 1.)
f x x, y 0
Los ptimos se encuentran entre las soluciones del sistema
puntos crticos.
f y x, y 0
No todos los puntos crticos son ptimos: entre ellos puede haber puntos de silla.

2. Condiciones de segundo orden

Si (x0, y0) es un punto crtico de f, se considera su matriz hessiana
f xx x0 , y0 f xy x0 , y0
A B
para simplificar: Hf x0 , y0

Hf x0 , y 0

x
,
y

x
,
y

B
C
yx
0
0
yy
0
0

Con esto:
2
Si (x0, y0) es un punto crtico de f , entonces si AC B 0 y A < 0 (x0, y0) es mximo.
2
Si (x0, y0) es un punto crtico de f , entonces si AC B 0 y A > 0 (x0, y0) es mnimo.
2
Si (x0, y0) es un punto crtico y AC B 0 (x0, y0) es un punto de silla.
2
Si (x0, y0) es un punto crtico y AC B 0 , el caso es dudoso: puede tratarse de un
mximo, de un mnimo o de un punto de silla.
(Vase Sydsaeter pp. 488 y ss. Vanse tambin las notas 2, 3, 4.)
Ejemplos:
a) Estudio de los extremos relativos de la funcin f ( x, y ) x 3 3 xy 2 15 x 12 y .
Puntos crticos:
f x 3x 2 3 y 2 15 0
3 x 2 3(2 / x) 2 15 0

x 4 5 x 2 4 0 x = 1; 2

y 2/ x
f y 6 xy 12 0

Los puntos crticos son: (1, 2); (1, 2); (2, 1); (2, 1)
Hessiana:
f xx 6 x f xy 6 y

f yx 6 y f yy 6 x
6 12

Punto (1, 2) Hf 1, 2
12 6
H 36 144 0 (1, 2) es punto de silla.
6 12

Punto (1, 2) Hf 1, 2
12 6
H 36 144 0 (1, 2) es punto de silla.
12 6

Punto (2, 1) Hf 2, 1
6 12
H 144 36 0 ; A > 0 (2, 1) es un mnimo
local. Su valor es f (2,1) 28 .
12 6
H 144 36 0 ; A < 0 (2, 1) es un
Punto (2, 1) Hf 2, 1
6 12
mximo local. Su valor es f (2,1) 28 .

Jos Mara Martnez Mediano

b) Estudio de los extremos relativos de la funcin f ( x, y ) 1 x 2

Puntos crticos:
f x 2 x 0
x 0

Hay infinitos

y k
fy 0
puntos crticos: (0, k).
Hessiana:
f xx 2 f xy 0
2 0

Hf 0, k

0 0
f yx 0 f yy 0
Como su determinante es cero se trata de una caso
dudoso.
En este caso, la duda se sustancia al considerar que
la expresin 1 x 2 1 . Por tanto, como f (0, k ) 1
para cualquier valor de k en los puntos (0, k)
hay mximos.
c) Estudio de los extremos relativos de la funcin f ( x, y ) x 3 3xy 2 .
Puntos crticos:
2
2
f x 3x 3 y 0
Punto crtico: (0, 0).

f y 6 xy 0

Hessiana:
f xx 6 x

f yx 6 y

f xy 6 y
f yy 6 x

0 0
H 0 Caso dudoso.
Hf 0,0
0 0
En cualquier entorno de (0, 0) existen puntos que
hacen que f ( x, y ) f (0,0) y otros que hacen que
f ( x, y ) f (0,0) . En concreto, para puntos de la
forma (m, m), con m tan pequeo como se desee,
f (m, m) 2m 3 que toma valores mayores o
menores que 0 dependiendo del signo de m.
d) Estudio de los extremos relativos de la funcin f ( x, y ) x 2 y 2
Puntos crticos:
f x ( x, y ) 2 xy 2 = 0; f y ( x, y ) 2 x 2 y = 0 .
Hay infinitos puntos crticos: (0, k) y (k, 0).
Como f ( x, y ) x 2 y 2 siempre es 0, en esos puntos hay
mnimos.
A partir de la hessiana no puede determinarse, pues:
2k 2 0
.
f xx 2 y 2 ; f xy 4 xy ; f xx 2x 2 H ( f )(0, k )

0 0

Jos Mara Martnez Mediano

Optimizacin: Algunas aclaraciones tericas

Nota 1:
Si f posee un ptimo local (mximo) en el punto (x0, y0), y por tanto f ( x0 , y0 ) f ( x, y ) ,

entonces la derivada direccional en (x0, y0) segn la direccin de cualquier vector v no puede
ser positiva:

f (( x0 , y 0 ) h(v1 , v 2 )) f ( x 0 , y0 )
f x 0 , y0 , v lim
0
h 0
h
Como f ( x, y ) f ( x0 , y 0 ) 0 :
( )
( )
para h < 0 f x0 , y0 , v 0 ; y para h > 0 f x0 , y0 , v 0
( )
()

Por tanto, f x0 , y0 , v 0 .
En particular:

para v = (1, 0) f x0 , y0 , v f x x0 , y 0 0 ;

para v = (0, 1) f x0 , y0 , v f y x0 , y0 0

Luego, si f posee un ptimo local en el punto (x0, y0), entonces f ( x0 , y0 ) (0, 0) .

Nota 2: Normalmente la clasificacin de los puntos crticos de una funcin de varias variables
A B
. Los criterios de clasificacin
se hace estudiando la forma cuadrtica Hf x0 , y0
B C
pueden verse en Sydsaeter pp. 420 y ss.
Nota 3: Lo dicho en la nota 2 cobra sentido si se tiene en cuenta el desarrollo de Taylor de
grado dos, pues cuando f ( x0 , y0 ) (0, 0) la expresin queda:
f xy x0 , y 0 x x0

R ( x, y )
f yy x0 , y 0 y y 0
donde el resto R( x, y ) 0 cuando x x0 , y y0 (0, 0).
f x, y f x0 , y0

f x , y
1
x x0 , y y0 xx 0 0
2
f yx x0 , y0

Por tanto, que f ( x0 , y 0 ) f ( x, y ) caso de mnimo o que f ( x0 , y0 ) f ( x, y ) caso de

mximo depende del trmino asociado a la hessiana; esto es, del carcter de la forma
cuadrtica Hf x0 , y 0 .
Ampliacin de esta nota: Conviene observar que la matriz Hf x0 , y 0 , en adelante H, es
simtrica. Por tanto es diagonalizable mediante congruencias; esto es, existe una matriz
diagonal D y una matriz ortogonal C tales que H CDC T .
En consecuencia, para cualquier matriz fila (para un vector) X se cumple que:
XHX T XCDC T X T XHX T ( XC ) D( XC )T
u
Si X x, y y 1 y 2 son los autovalores de matriz H, con autovectores asociados 1 y
u2
v1
, ortonormales, entonces
v2
x
u v
x, y H x, y 1 1 1
y
u 2 v2 0

0 u1 u 2 x

=
2 v1 v2 y

Jos Mara Martnez Mediano

= ( x, y )(u1 , u 2 ) ( x, y )(v1 , v2 ) 1
0

0 ( x, y )(u1 , u 2 )

=
2 ( x, y )(v1 , v2 )

( x, y )(u1 , u 2 )

= 1 ( x, y )(u1 , u 2 ) 2 ( x, y )(v1 , v2 )
( x, y )(v1 , v2 )
= 1 ( x, y )(u1 , u 2 )( x, y )(u1 , u 2 ) 2 ( x, y )(v1 , v2 )( x, y )(v1 , v 2 )
= 1 x 2 y 2 2 x 2 y 2
x
Esto indica que el signo de x, y H depende de 1 y 2, pues x 2 y 2 0 siempre.
y
(Recurdese que si C es ortogonal, entonces: (u1 , u 2 )(u1 , u 2 ) 1 y (v1 , v2 )(v1 , v 2 ) 1 .)

En consecuencia:
x
si ambos autovalores son positivos x, y H 0 f ( x0 , y0 ) f ( x, y ) en (x0, y0)
y
se tiene un mnimo.
x
si ambos autovalores son negativos x, y H 0 f ( x0 , y0 ) f ( x, y ) en (x0, y0)
y

se tiene un mximo.
x
si los autovalores tienen signos distintos x, y H toma signos distintos en (x0, y0)
y

se tiene un punto de silla.

Nota 4: El signo de los autovalores est ligado al determinante de H:

A B
Hf x0 , y 0
AC B 2
B C
A B
es
En efecto, la ecuacin caracterstica de Hf x0 , y0
B C
A
B
2 A C AC B 2 0 .
B
C
Las soluciones de esta ecuacin de segundo grado, que son los autovalores 1 y 2, cumplen:
1 + 2 = A + C,
1 2 AC B 2
Luego:
2
Si AC B 0 los autovalores tienen signos opuestos en (x0, y0) se tiene un punto de
silla.
2
2
Si los autovalores tienen signos iguales AC B 0 AC B , que slo puede darse
si A y C tienen el mismo signo, que adems coincide con el signo de 1 y 2, ya que A + C =
1 + 2.
Luego:
si AC B 2 0 y A > 0, 1 y 2 son positivos en (x0, y0) se tiene un mnimo.
si AC B 2 0 y A < 0, 1 y 2 son negativos en (x0, y0) se tiene un mximo.

Jos Mara Martnez Mediano