Sobre hessianos

Maximiliano A. Christener*

Resumen
El presente documento representa un vistazo rápido a los hessia-
nos y hessianos orlados para clasificar resultados en problemas de op-
timización. En el mismo se supone que se cumplen las condiciones
necesarias de primer orden.

1. Hessiano para problemas sin restricciones

A la hora de clasificar los resultados obtenidos por las condiciones nece-
sarias de primer orden (CNPO a partir de ahora) para un problema de op-
timización sin restricciones se debe usar el determinante funcional hessiano
tradicional.
Dada una función z = f (x, y), su hessiano está dado por
00 00
fxx (x, y) fxy (x, y)
|H| = 00 00 (1)
fyx (x, y) fyy (x, y)
Por resolución de determinantes de clase 2x2 y el teorema de Schwarz1 ,
00 00 00
(1) es igual a fxx (x, y) · fyy (x, y) − [fxy (x, y)]2

Clasificación
Dados dos óptimos de z obtenidos por la CNPO, x0 e y0 respectivamente,
pueden presentarse tres situaciones:

Que H(x0 , y0 ) > 0. Ello implica que [x0 ; y0 ; f (x0 , y0 )] es un máximo o

un mı́nimo relativo. A saber:

ˆ fxx
00
(x0 , y0 ) < 0 ⇒ Es máximo relativo.
*
This work is licensed under CC BY 4.0. To view a copy of this license, visit http:
//creativecommons.org/licenses/by/4.0/
1
El teorema afirma que las segundas derivadas cruzadas son iguales, esto es, fxy = fyx .

1
 ˆ fxx
00
(x0 , y0 ) > 0 ⇒ Es mı́nimo relativo.

Es decir, que a la hora de clasificar es relevante mirar |H1 |.

Que H(x0 , y0 ) < 0 implica que [x0 ; y0 ; f (x0 , y0 )] es un punto de ensi-
lladura.
Que H(x0 , y0 ) = 0 implica que el hessiano no asegura nada.
Hecha la clasificación, es posible afirmar que la condición suficiente de
segundo orden fue alcanzada.

2. Hessiano orlado para problemas con res-

tricciones
Dado un problema de optimización para una función z = f (x1 , x2 , · · · , xn )
sujeto a g(x1 , x2 , · · · , xn ) = c, su lagrangiano será
L = f (x1 , x2 , · · · , xn ) + λ[c − g(x1 , x2 , · · · , xn )]
Con lo que su hessiano orlado,

0 g1 g2 ... gn
g1 z11 z12 ... z1n
|H̄| = g2 z21 z22 ... z2n (2)
... ... ... ... ...
gn zn1 zn2 ... znn
Y, respectivamente,

0 g1 g2 g3
0 g1 g2
g z z z
|H̄2 | = g1 z11 z12 |H̄3 | = 1 11 12 13 etc...
g2 z21 z22 z23
g2 z21 z22
g3 z31 z32 z33
Finalmente, para clasificar, se deberá seguir el siguiente criterio2

Máximo Mı́nimo
(−1)i · |H̄i | > 0 |H̄i | < 0

Luego de clasificar, es posible afirmar que la condición suficiente de se-

gundo orden fue cumplida.
2
Con i variando desde 1 hasta n.