Matemticas para Economistas II

LECCIN 4.- CONVEXIDAD

PROBLEMA 4

Realice un estudio completo de la concavidad o convexidad de la funcin:

f(x, y, z) = - x
2
- y
3
- z
2
- xz


Solucin:

Para estudiar la concavidad o convexidad de la funcin f(x, y, z), hemos de analizar
el signo de su matriz hessiana:

|
|
|
.
|

\
|



=
2 0 1
0 6 0
1 0 2
) , , ( y z y x Hf
Para ello, aplicando el mtodo de los menores principales, obtenemos:

y D y D D 18 , 12 , 0 2
3 2 1
= = < =
Al depender estos determinantes de la variable y, hemos de realizar el siguiente
estudio:
Si y > 0, entonces la matriz hessiana es
definida negativa y la funcin f es cncava.
, 0 18 , 0 12 , 0 2
3 2 1
< = > = < = y D y D D
Si y < 0, entonces la matriz hessiana es
indefinida y la funcin f es ni cncava ni convexa.
, 0 18 , 0 12 , 0 2
3 2 1
> = < = < = y D y D D
Si y = 0, entonces y, en principio la matriz puede ser
semidefinida negativa. Para poder asegurarlo, hemos de comprobar que se mantiene este
signo bajo todas las transformaciones fila-columna. Si hacemos la transformacin 1-3 nos
queda la misma matriz. Hagamos la transformacin 1-2 y calculemos sus menores
principales:
0 , 0 , 0 2
3 2 1
= = < = D D D

=
=
=

|
|
|
.
|

\
|

=
0
0
0
2 1 0
1 2 0
0 0 0
3
2
1
12
D
D
D
T


Por ltimo, si hacemos la transformacin 2-3 obtenemos:
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M M. Muoz, L. Rey, F. Ruiz

Matemticas para Economistas II

=
> =
< =

|
|
|
.
|

\
|


=
0
0 3
0 2
0 0 0
0 2 1
0 1 2
3
2
1
23
D
D
D
T

Por tanto, podemos asegurar que la matriz hessiana de la funcin es semidefinida
negativa para y = 0. No obstante, para poder asegurar que la funcin f(x, y, z) es cncava, se
debe mantener el signo en un entorno arbitrario del punto (x, 0, z). Pero, si consideramos un
punto de la forma (x, 0-, z), donde > 0, podemos comprobar que la matriz hessiana:

< =
< =

|
|
|
.
|

\
|


=
0 12
0 2
2 0 1
0 6 0
1 0 2
) , , (
2
1

D
D
z y x Hf

es indefinida y, en consecuencia, no se mantiene el signo en todo un entorno. Luego, la
funcin es ni cncava ni convexa en un entorno del punto (x, 0, z). Este hecho era previsible
a partir de que la matriz hessiana de f(x, y, z) resulte semidefinida en y = 0 y del anlisis
realizado anteriormente, dado que para y > 0 la funcin es cncava y para y < 0 es
indefinida.

En conclusin, podemos decir que la funcin es cncava en el conjunto:

{ } 0 / ) , , (
3
> y z y x
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M M. Muoz, L. Rey, F. Ruiz