J os Mara Martnez Mediano

1
MXIMOS Y MNIMOS DE FUNCIONES DE DOS VARIABLES

Dado un campo escalar f: D c R
2
R, D abierto y (x
0
, y
0
) e D.

- Se dice que (x
0
, y
0
) es un punto crtico o estacionario de f si ) , ( y x f es diferenciable y
) 0 , 0 ( ) , (
0 0
= y x df ) 0 , 0 ( ) , (
0 0
= V y x f 0 ) , (
0 0
= y x f
x
y 0 ) , (
0 0
= y x f
y
.
El punto (x
0
, y
0
, f (x
0
, y
0
)) 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 (x
0
, y
0
) si ) , ( ) , (
0 0
y x f y x f s , para todo (x, y)
perteneciente a un entorno de (x
0
, y
0
). El nmero ) , (
0 0
y x f es el mnimo de f en ese entorno.
- Una funcin f tiene un mximo local en (x
0
, y
0
) si ) , ( ) , (
0 0
y x f y x f > , para todo (x, y)
perteneciente a un entorno de (x
0
, y
0
). El nmero ) , (
0 0
y x f 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 (x
0
, y
0
) si todo entorno de (x
0
, y
0
) contiene puntos
(x, y) tales que ) , ( ) , (
0 0
y x f y x f > y otros para los que ) , ( ) , (
0 0
y x f y x f s .

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




J os Mara Martnez Mediano
2
Condiciones de optimalidad
1. Condicin necesaria de primer orden
Si f posee un ptimo local en el punto (x
0
, y
0
), entonces ) 0 , 0 ( ) , (
0 0
= V y x f . (Vase Nota 1.)
Los ptimos se encuentran entre las soluciones del sistema
( )
( )

=
=
0 ,
0 ,
y x f
y x f
y
x
puntos crticos.
No todos los puntos crticos son ptimos: entre ellos puede haber puntos de silla.

2. Condiciones de segundo orden
Si (x
0
, y
0
) es un punto crtico de f, se considera su matriz hessiana
( )
( ) ( )
( ) ( )
|
|
.
|

\
|
=
0 0 0 0
0 0 0 0
0 0
, ,
, ,
,
y x f y x f
y x f y x f
y x Hf
yy yx
xy xx
para simplificar: ( )
|
|
.
|

\
|
=
C B
B A
y x Hf
0 0
,
Con esto:
- Si (x
0
, y
0
) es un punto crtico de f , entonces si 0
2
> B AC y A <0 (x
0
, y
0
) es mximo.
- Si (x
0
, y
0
) es un punto crtico de f , entonces si 0
2
> B AC y A >0 (x
0
, y
0
) es mnimo.
- Si (x
0
, y
0
) es un punto crtico y 0
2
< B AC (x
0
, y
0
) es un punto de silla.
- Si (x
0
, y
0
) es un punto crtico y 0
2
= B AC , 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 y x xy x y x f 12 15 3 ) , (
2 3
+ = .
- Puntos crticos:

= =
= + =
0 12 6
0 15 3 3
2 2
xy f
y x f
y
x

=
= +
x y
x x
/ 2
0 15 ) / 2 ( 3 3
2 2
0 4 5
2 4
= + x x x =1; 2
Los puntos crticos son: (1, 2); (1, 2); (2, 1); (2, 1)
- Hessiana:

= =
= =
x f y f
y f x f
yy yx
xy xx
6 6
6 6

Punto (1, 2) ( )
|
|
.
|

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

\
|


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

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

\
|


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


J os Mara Martnez Mediano
3
b) Estudio de los extremos relativos de la funcin
2
1 ) , ( x y x f =
- Puntos crticos:

=
= =
0
0 2
y
x
f
x f

=
=
k y
x 0
Hay infinitos
puntos crticos: (0, k).
- Hessiana:

= =
= =
0 0
0 2
yy yx
xy xx
f f
f f
( )
|
|
.
|

\
|
=
0 0
0 2
, 0k Hf
Como su determinante es cero se trata de una caso
dudoso.
En este caso, la duda se sustancia al considerar que
la expresin 1 1
2
s x . Por tanto, como 1 ) , 0 ( = k f
para cualquier valor de k en los puntos (0, k)
hay mximos.

c) Estudio de los extremos relativos de la funcin
2 3
3 ) , ( xy x y x f = .
- Puntos crticos:

= =
= =
0 6
0 3 3
2 2
xy f
y x f
y
x
Punto crtico: (0, 0).
- Hessiana:

= =
= =
x f y f
y f x f
yy yx
xy xx
6 6
6 6

( )
|
|
.
|

\
|
=
0 0
0 0
0 , 0 Hf 0 = H Caso dudoso.
En cualquier entorno de (0, 0) existen puntos que
hacen que ) 0 , 0 ( ) , ( f y x f > y otros que hacen que
) 0 , 0 ( ) , ( f y x f < . En concreto, para puntos de la
forma (m, m), con m tan pequeo como se desee,
3
2 ) , ( m m m f = que toma valores mayores o
menores que 0 dependiendo del signo de m.

d) Estudio de los extremos relativos de la funcin
2 2
) , ( y x y x f =
- Puntos crticos:
2
2 ) , ( xy y x f
x
= =0; y x y x f
y
2
2 ) , ( = =0 .
Hay infinitos puntos crticos: (0, k) y (k, 0).
Como
2 2
) , ( y x y x f = siempre es > 0, en esos puntos hay
mnimos.
A partir de la hessiana no puede determinarse, pues:
2
2y f
xx
= ; xy f
xy
4 = ;
2
2x f
xx
=
|
|
.
|

\
|
=
0 0
0 2
) , 0 )( (
2
k
k f H .

J os Mara Martnez Mediano
4
Optimizacin: Algunas aclaraciones tericas
Nota 1:
Si f posee un ptimo local (mximo) en el punto (x
0
, y
0
), y por tanto ) , ( ) , (
0 0
y x f y x f > ,
entonces la derivada direccional en (x
0
, y
0
) segn la direccin de cualquier vector v

no puede
ser positiva:
( ) ( )
h
y x f v v h y x f
v y x f
h
) , ( )) , ( ) , ((
lim , ,
0 0 2 1 0 0
0
0 0
+
=

0
Como 0 ) , ( ) , (
0 0
s y x f y x f :
para h <0 ( ) ( ) 0
) (
) (
, ,
0 0
>
(

= v y x f

; y para h >0 ( ) ( ) 0
) (
) (
, ,
0 0
s
(

= v y x f


Por tanto, ( ) ( ) 0 , ,
0 0
= v y x f

.
En particular:
para v

=(1, 0) ( ) ( ) ( ) 0 , , ,
0 0 0 0
= = y x f v y x f
x

;
para v

=(0, 1) ( ) ( ) ( ) 0 , , ,
0 0 0 0
= = y x f v y x f
y

Luego, si f posee un ptimo local en el punto (x
0
, y
0
), entonces ) 0 , 0 ( ) , (
0 0
= V y x f .

Nota 2: Normalmente la clasificacin de los puntos crticos de una funcin de varias variables
se hace estudiando la forma cuadrtica ( )
|
|
.
|

\
|
=
C B
B A
y x Hf
0 0
, . Los criterios de clasificacin
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 ) 0 , 0 ( ) , (
0 0
= V y x f la expresin queda:
( ) ( ) ( )
( ) ( )
( ) ( )
) , (
, ,
, ,
,
2
1
, ,
0
0
0 0 0 0
0 0 0 0
0 0 0 0
y x R
y y
x x
y x f y x f
y x f y x f
y y x x y x f y x f
yy yx
xy xx
+
|
|
.
|

\
|

|
|
.
|

\
|
+ =
donde el resto ) , ( y x R 0 cuando ( )
0 0
, y y x x (0, 0).
Por tanto, que ) , ( ) , (
0 0
y x f y x f s caso de mnimo o que ) , ( ) , (
0 0
y x f y x f > caso de
mximo depende del trmino asociado a la hessiana; esto es, del carcter de la forma
cuadrtica ( )
0 0
, y x Hf .

Ampliacin de esta nota: Conviene observar que la matriz ( )
0 0
, y x Hf , 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
T
CDC H = .
En consecuencia, para cualquier matriz fila (para un vector) X se cumple que:

T T T
X XCDC XHX =
T T
XC D XC XHX ) ( ) ( =
Si ( ) y x X , = y
1
y
2
son los autovalores de matriz H, con autovectores asociados
|
|
.
|

\
|
2
1
u
u
y
|
|
.
|

\
|
2
1
v
v
, ortonormales, entonces
( ) ( )
|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|

|
|
.
|

\
|
=
|
|
.
|

\
|
y
x
v v
u u
v u
v u
y x
y
x
H y x
2 1
2 1
2
1
2 2
1 1
0
0
, , =

J os Mara Martnez Mediano
5
=( )
|
|
.
|

\
|
|
|
.
|

\
|

) , )( , (
) , )( , (
0
0
) , )( , ( ) , )( , (
2 1
2 1
2
1
2 1 2 1
v v y x
u u y x
v v y x u u y x =
=( ) =
|
|
.
|

\
|

) , )( , (
) , )( , (
) , )( , ( ) , )( , (
2 1
2 1
2 1 2 2 1 1
v v y x
u u y x
v v y x u u y x
= = + ) , )( , )( , )( , ( ) , )( , )( , )( , (
2 1 2 1 2 2 1 2 1 1
v v y x v v y x u u y x u u y x
= ( ) ( )
2 2
2
2 2
1
y x y x + + +
Esto indica que el signo de ( )
|
|
.
|

\
|
y
x
H y x, depende de
1
y
2
, pues ( ) 0
2 2
> + y x siempre.
(Recurdese que si C es ortogonal, entonces: 1 ) , )( , (
2 1 2 1
= u u u u y 1 ) , )( , (
2 1 2 1
= v v v v .)

En consecuencia:
- si ambos autovalores son positivos ( ) 0 , >
|
|
.
|

\
|
y
x
H y x ) , ( ) , (
0 0
y x f y x f s en (x
0
, y
0
)
se tiene un mnimo.
- si ambos autovalores son negativos ( ) 0 , <
|
|
.
|

\
|
y
x
H y x ) , ( ) , (
0 0
y x f y x f > en (x
0
, y
0
)
se tiene un mximo.
- si los autovalores tienen signos distintos ( )
|
|
.
|

\
|
y
x
H y x, toma signos distintos en (x
0
, y
0
)
se tiene un punto de silla.

Nota 4: El signo de los autovalores est ligado al determinante de H:
( )
2
0 0
, B AC
C B
B A
y x Hf = =
En efecto, la ecuacin caracterstica de ( )
|
|
.
|

\
|
=
C B
B A
y x Hf
0 0
, es
( ) ( ) 0
2 2
= + + =


B AC C A
C B
B A
.
Las soluciones de esta ecuacin de segundo grado, que son los autovalores
1
y
2
, cumplen:

1
+
2
=A +C, ( )
2
2 1
B AC =
Luego:
- Si 0
2
< B AC los autovalores tienen signos opuestos en (x
0
, y
0
) se tiene un punto de
silla.
- Si los autovalores tienen signos iguales 0
2
> B AC
2
B AC > , 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 0
2
> B AC y A >0,
1
y
2
son positivos en (x
0
, y
0
) se tiene un mnimo.
si 0
2
> B AC y A <0,
1
y
2
son negativos en (x
0
, y
0
) se tiene un mximo.