You are on page 1of 16

FACULTAD DE CIENCIAS ECONÓMICAS Y

EMPRESARIALES
GRADO DE ECONOMÍA
PROGRAMACIÓN MATEMÁTICA
RELACIÓN DE PROBLEMAS resueltos. LECCIÓN 1. Epígrafe 2

PROBLEMA 1

¿Podemos afirmar que el conjunto X es un conjunto convexo? ¿Por qué?

X  { ( x, y, z )   3 / x 2  6 y 2  xy  yz  z 2  2 xz  7;
 x 2  y 2  5 z 2  4;
x  3y  4z  8 }

Solución:

El conjunto X se puede considerar como intersección de tres conjuntos X1, X2, y X3 definidos
de la siguiente forma:


X 1  { ( x, y, z )   3 / x 2  6 y 2  xy  yz  z 2  2 xz  7

X 2  ( x, y , z )   3 /  x 2  y 2  5 z 2  4 
X3  ( x, y, z )   3
/ x  3 y  4z  8 }

Teniendo en cuenta que la intersección arbitraria de conjuntos convexos es un conjunto


convexo, veamos si los conjuntos X1, X2, y X3 lo son, ya que, en caso afirmativo, X también lo será.

Para estudiar la convexidad del conjunto X1, hemos de determinar el signo de la matriz
hessiana de la función f ( x, y, z )  x 2  6 y 2  xy  yz  z 2  2 xz :

 2 1 2
 
Hf ( x, y, z )   1 12 1 
 2 1 2
 
Clasifiquemos dicha matriz por el método de los menores principales:
D1  2  0, D2  23  0, D3  0

En principio, puede ser semidefinida positiva. Para poder asegurarlo, ha de comprobarse que
este signo se mantiene bajo todas las transformaciones fila-columna. Si hacemos la transformación
1-3, la matriz que resulta es la misma que Hf(x, y, z). Hacemos la transformación 1-2 y calculamos
los menores principales:
12 1 1   D1  12  0
  
T12   1 2 2    D2  23  0
 1 2 2 D  0
   3
Nos queda la transformación 2-3 y sus menores principales:
2 2 1   D1  2  0
  
T23   2 2 1    D2  0
 1 1 12  D  0
   3
Por tanto, podemos asegurar que la matriz hessiana de la función es semidefinida positiva en
todos sus puntos y que la función f es convexa en todo su dominio, por lo que al ser la inecuación
que define el conjunto X1 de menor o igual, podemos concluir que este conjunto es convexo.

Respecto a X2, si llamamos g ( x, y, z )   x 2  y 2  5 z 2 , hemos de realizar de nuevo el


estudio de la convexidad o concavidad de dicha función a través del signo de su hessiana:

 2 0 0 
 
Hg ( x, y, z )   0  2 0 
 0 0  10 

Se trata de una matriz diagonal y, como ya sabemos, los elementos de la diagonal principal
son sus valores propios, y al ser éstos menores que cero, la matriz es definida negativa y la función
g(x, y, z) es, por tanto, cóncava. Puesto que la inecuación que define al conjunto X2 es de mayor o
igual, podemos concluir que X2 es un conjunto convexo.

Por último, el conjunto X3 es un conjunto convexo ya que se trata de un semiespacio.

En consecuencia, dado que X1, X2, y X3 son conjuntos convexos, su intersección, el conjunto
X, también lo será.

PROBLEMA 2
¿Se puede asegurar que el siguiente conjunto es convexo?


X  ( x, y, z )  R 3 / x  2 y  z  3, x 4  y 4  4, 3 x 5  2 y 5  3 . 
Solución:

Para realizar este problema aplicamos el siguiente teorema.

Si el conjunto X definido como:


  
Concavas

X  {x  D  R n / f i ( x )   i g j ( x )   j i  1,..., p. j  1,..., k}

Convexas
es decir, funciones con signo asociado de menor o igual o mayor o igual, verifica que las asociadas
a signo de menor o igual son convexas y las de mayor o igual cóncavas entonces podemos asegurar
que el conjunto X es convexo. Si en algún momento alguna de las funciones no cumple lo pedido,
paramos y no podemos asegurar la convexidad del conjunto, dado que el teorema sólo nos da
condiciones suficientes.

Si en el conjunto además aparecen restricciones lineales con igualdades o desigualdades, se


corresponden con hiperplanos y semiespacios, respectivamente, que siempre son conjuntos
convexos. Esto es lo que ocurre con la primera restricción que corresponde con un hiperplano al ser
una igualdad lineal por lo que es un conjunto convexo.
La segunda de las restricciones es una función con signo de menor o igual, por lo que
tendríamos que ver si es convexa, para ello calculamos su hessiana:

f ( x, y , z )  x 4  y 4

12 x 2 0 0
 
Hf ( x, y, z )   0 12 y 2 0
 0
 0 0 
y ahora pasamos a clasificarla como la matriz asociada a una forma cuadrática. Para ello, al ver que
es una matriz diagonal vamos a utilizar el método de clasificación por los valores propios puesto
que sabemos que coinciden con los elementos de su diagonal principal. En este caso vemos que
serán siempre positivos o cero, luego será semidefinida positiva y, por consiguiente, la función es
convexa.

La segunda función es:

g ( x, y , z )  3 x 5  2 y 5

como el signo asociado es de mayor o igual tendremos que asegurar que es cóncava, para ello
volvemos a calcular la hessiana.

 60 x 3 0 0
 
Hg ( x, y, z )   0 40 y 3
0
 0
 0 0 

la cual vuelve a ser una matriz diagonal. Si observamos los valores propios vemos que pueden
tomar cualquier signo dependiendo de los valores que le demos a las variables x e y por lo que la
función no es cóncava en todo su dominio.

En consecuencia, no podemos asegurar nada sobre la convexidad del conjunto.

PROBLEMA 3

¿Podemos afirmar que el conjunto X es un conjunto convexo? ¿Por qué?

X  { ( x, y , z )   3 / x 2  8 y 2  2 xy  2 yz  5 z 2  4 xz  58;
 2 x 2  4 y 2  3 z 2  15;
x  3 y  4z  8 }

Solución:

Sabemos que si tenemos un conjunto de puntos dado por desigualdades, es decir,

X  { x   n / f ( x)   , g ( x)   }
si demostramos que la función f(x) es convexa y la función g(x) es cóncava, el conjunto X será
convexo. Pero recordemos que es una condición suficiente y no necesaria, luego si no se cumple no
podemos decir nada sobre la convexidad del conjunto X.

Así, puesto que nuestro conjunto está formado por tres desigualdades, dos de  y una de  ,
para afirmar que es convexo debemos comprobar que las funciones que se encuentran en las
restricciones de  son convexas y la que conforma la restricción de  es cóncava.

Así, si llamamos
f1 ( x, y, z )  x 2  8 y 2  2 xy  2 yz  5 z 2  4 xz
g ( x, y, z )  2 x 2  4 y 2  3z 2
f 2 ( x, y , z )  x  3 y  4 z

si comprobamos que las funciones f1 y f2 son convexas y la función g es cóncava, podemos concluir
que el conjunto es convexo, pero si no es así, no podemos decir nada sobre la convexidad del
conjunto.

Pasamos a calcular las hessianas de las funciones así como el signo de la forma cuadrática
que representan:

2 2 4  D1  2  0
 
Hf1 ( x, y, z )   2 16 2  D2  28  0  D 
 4 2 10  D3  48  0
 

 4 0 0  1  4
 
Hg ( x, y, z )   0  8 0   2  8  D 
 0 0  6  3  6

Vemos que la primera función es convexa, la segunda (que al ser su hessiana una matriz
diagonal la hemos clasificado por el método de los valores propios), es una función cóncava,
mientras que la tercera función al ser lineal puede ser tanto cóncava como convexa. Por lo tanto,
podemos afirmar que el conjunto X es convexo.

En cuanto a la tercera función del problema, en vez de comentar que es lineal y por tanto es
cóncava y convexa, podríamos haber indicado que la tercera restricción del conjunto,
x  3 y  4 z  8 , es un semiespacio y los semiespacios son conjuntos convexos. Esto, unido al
hecho de que la intersección de conjuntos convexos es otro convexo, nos hubiera permitido llegar a
la misma conclusión.

PROBLEMA 4
Realice un estudio completo de la concavidad o convexidad de la función:

f(x, y, z) = - x2 - y3 - z2 - xz

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

 2 0 1
 
Hf ( x, y, z )   0  6 y 0 
 1 0  2 

Para ello, aplicando el método de los menores principales, obtenemos:

D1  2  0, D2  12 y, D3  18 y
Al depender estos determinantes de la variable y, hemos de realizar el siguiente estudio:
Si y > 0, entonces D1  2  0, D2  12 y  0, D3  18 y  0, la matriz hessiana es
definida negativa y la función f es cóncava.
Si y < 0, entonces D1  2  0, D2  12 y  0, D3  18 y  0, la matriz hessiana es
indefinida y la función f es ni cóncava ni convexa.
Si y = 0, entonces D1  2  0, D2  0, D3  0 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 transformación 1-3 nos queda la misma
matriz. Hagamos la transformación 1-2 y calculemos sus menores principales:

0 0 0   D1  0
  
T12   0  2  1    D2  0
 0 1  2 D  0
   3

Por último, si hacemos la transformación 2-3 obtenemos:

  2 1 0  D1  2  0
  
T23    1  2 0    D2  3  0
 0 0 0  D  0
  3

Por tanto, podemos asegurar que la matriz hessiana de la función es semidefinida negativa
para y = 0. No obstante, para poder asegurar que la función f(x, y, z) es cóncava, 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:

 2 0 1
   D1  2  0
Hf ( x, y, z )   0 6 0 
D  12  0
 1 0
  2   2

es indefinida y, en consecuencia, no se mantiene el signo en todo un entorno. Luego, la función es


ni cóncava 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 análisis realizado anteriormente,
dado que para y > 0 la función es cóncava y para y < 0 es indefinida.

En conclusión, podemos decir que la función es cóncava en el conjunto:

( x, y, z )   3
/ y  0
PROBLEMA 5

Estudie la concavidad o convexidad de la función f ( x, y )  x 2 e x  y en un entorno del punto (1, 1).

Solución:

Para estudiar la convexidad en un entorno, lo primero que tenemos que hacer es calcular la
hessiana de la función, sustituirla en el punto y después clasificamos.

f ( x, y )  x 2 e x  y

 e x  y ( 2  4 x  x 2 ) e x  y ( 2 x  x 2 )   7  3  D1  7
Hf ( x, y )   x  y    
 (1,1)   3 1   
 e ( 2 x  x ) e x y x 2  D2  2
2
  

Puesto que el menor de orden par resulta negativo la forma cuadrática asociada a la hessiana
es indefinida y, por tanto, la función es ni cóncava ni convexa.

PROBLEMA 6
Una empresa produce un bien en cantidad q. En su proceso productivo, utiliza capital, mano de obra
y materia prima en cantidades K, L y M respectivamente. La función de producción viene dada por
la siguiente expresión:
q  q ( K , L, M )  ln K  L M   .
Determine para qué valores de los parámetros ,  y  es cóncava dicha función.
Solución:

Para que la función de producción sea cóncava es necesario y suficiente con que la hessiana
de la función represente a una forma cuadrática al menos semidefinida negativa. Así, si calculamos
la hessiana de dicha función tenemos:

  
 2
0 0 
 K 

Hq( K , L, M )   0  0 
 L2 
  
 0 0  2
 M 

matriz que resulta diagonal, luego si clasificamos la forma cuadrática que representa por el método
de los valores propios concluimos que si , , y  toman valores mayores o iguales a cero los tres
valores propios serían negativos o cero, independientemente del valor que tomen las variables, K, L
y M luego, tendríamos una forma cuadrática definida negativa o semidefinida negativa con lo cual
la función sería cóncava.
PROBLEMA 7

7.- a) Dada la función f ( x, y, z )  2 x 2  6 y 3  8 y  2 x  5 z 2 estudie su convexidad o concavidad


en un entorno del punto (0, 0, 0).
b) Indique si son verdaderas o falsas las siguientes afirmaciones, justificando brevemente la
respuesta:
- Dado el conjunto X  {x  R n / f ( x)   , g ( x)   }, si se verifica que la función f(x) es
cóncava y g(x) convexa, el conjunto es convexo.
- Si la hessiana de una función en un punto es semidefinida positiva entonces la función es
convexa en el entorno del punto.
- Una función cuya hessiana en un punto sea indefinida es una función ni cóncava ni convexa.
- La unión de conjuntos convexos es otro conjunto convexo.
Solución:

a) Para estudiar la convexidad o concavidad de la función f en un entorno, lo primero que tenemos


que hacer es calcular la hessiana de la función; después, sustituimos en el punto y clasificamos
4 0 0 4 0 0 
   
Hf ( x, y, z )   0 36 y 0   0 0 0 
 0 0 10   
  ( 0, 0, 0)  0 0 10 
Se trata de una matriz diagonal y, como ya sabemos, los elementos de la diagonal principal
son sus valores propios, y al ser éstos positivos y nulo, la matriz es semidefinida positiva. No
obstante, para poder asegurar que la función es convexa, se debe mantener el signo en un entorno
arbitrario del punto (0, 0, 0). Pero, si consideramos un punto de la forma (0, 0-, 0), con  > 0,
podemos comprobar que la matriz hesssiana:
4 0 0
 
Hf ( 0 , 0   , 0)   0  36 0 
0 0 10 

tiene en su diagonal elementos positivos y negativos, por tanto es indefinida y, en consecuencia, no
se mantiene el signo en todo un entorno. Luego, la función es ni cóncava ni convexa en un entorno
del punto (0, 0, 0).
b) Indique si son verdaderas o falsas las siguientes afirmaciones, justificando brevemente la
respuesta:

b1) Dado el conjunto X  {x  R n / f ( x)   , g ( x)   }, si se verifica que la función f(x) es


cóncava y g(x) convexa, el conjunto es convexo.
Falso.- Sabemos que si tenemos un conjunto de puntos dado por desigualdades, es decir,

X  { x  R n / f ( x)   , g ( x)   }

si la función f(x), asociada a una desigualdad de menor o igual, es convexa y la función g(x),
asociada a una desigualdad de mayor o igual, es cóncava, podemos afirmar que el conjunto X es un
conjunto convexo. Pero recordemos que es una condición suficiente y no necesaria, luego si no se
cumple no podemos decir nada sobre la convexidad del conjunto X.
b2) Si la hessiana de una función en un punto es semidefinida positiva entonces la función es
convexa en el entorno del punto.
Falso.- Para poder asegurar que la función es convexa en el entorno del punto, se debe mantener el
signo de la hessiana en un entorno arbitrario del punto.

b3) Una función cuya hessiana en un punto sea indefinida es una función ni cóncava ni convexa.
Verdadero.- Ya que no es al menos semidefinida positiva para ser convexa, ni semidefinida
negativa para ser cóncava.

b4) La unión de conjuntos convexos es otro conjunto convexo.


Falso.- Esto es cierto para la intersección, para la unión no se da en general.

PROBLEMA 8

a) Dada la función f ( x, y, z )  6 x 3  5 y 2  2 z  6 x  2 z 2 estudie su convexidad o concavidad en


un entorno del punto (0, 0, 0).
b) Demuestre que todo hiperplano es un conjunto convexo.
Solución:

a) Para estudiar la convexidad o concavidad de la función f en un entorno, lo primero que tenemos


que hacer es calcular la hessiana de la función; después, sustituimos en el punto y clasificamos
 36 x 0 0  0 0 0
   
Hf ( x, y, z )   0 10 0    0 10 0 
 0 0 4  ( 0, 0, 0 )  0 0 4 

Se trata de una matriz diagonal y, como ya sabemos, los elementos de la diagonal principal
son sus valores propios, y al ser éstos positivos y nulo, la matriz es semidefinida positiva. No
obstante, para poder asegurar que la función es convexa, se debe mantener el signo en un entorno
arbitrario del punto (0, 0, 0). Pero, si consideramos un punto de la forma (0-, 0, 0), con  > 0,
podemos comprobar que la matriz hesssiana:
  36 0 0 
 
Hf ( , 0, 0)   0 10 0 
 0 0 4 

tiene en su diagonal elementos positivos y negativos, por tanto es indefinida y, en consecuencia, no
se mantiene el signo en todo un entorno. Luego, la función es ni cóncava ni convexa en un entorno
del punto (0, 0, 0).
 
b) Sea   x  R n / c t x   un hiperplano de Rn y sean x1 y x2 dos puntos de , con lo cual se
verifica:
 c t x1  
 t
c x 2  
Para demostrar que  es convexo bastará justificar que para cualquier [0, 1] se cumple
que x1  (1   ) x 2   , o lo que es equivalente c t (x1  (1   ) x 2 )  
Como
c t x1    c t x1   

c t x 2    c t (1   ) x 2  (1   ) 
sumando tenemos:
c t (x1  (1   ) x 2 )    (1   )  
como queríamos demostrar.

PROBLEMA 9

x5 y5
Dada la función f ( x, y )   x2 y2  , estudie su convexidad en un entorno del punto (0, 0).
10 10

Solución:

Para estudiar la convexidad o concavidad de la función f en un entorno, lo primero que


tenemos que hacer es calcular la hessiana de la función; después, sustituimos en el punto y
clasificamos
 2x3  2 y 2 4 xy  0 0
Hf ( x, y )      
 4 xy 2 x  2 y  ( 0, 0)  0 0 
2 3

Se trata de la matriz nula y, por tanto, para estudiar la convexidad de la función debemos
estudiar qué pasa en un entorno arbitrario del punto (0, 0). Así si consideramos un punto donde la
coordenada x tome un valor negativo, como es el punto (0-, 0), con  > 0, podemos comprobar que
la matriz hesssiana:
  2 3 0 
Hf ( , 0)   
 0 2 2 
tiene en su diagonal elementos positivos y negativos, por tanto es indefinida y, en consecuencia, no
se mantiene el signo en todo un entorno. Luego, la función es ni cóncava ni convexa en un entorno
del punto (0, 0).

PROBLEMA 10
Analice la concavidad y convexidad de la función f(x, y) en un entorno del punto (0,0):

f ( x, y )  y 4  ( x  y 2 ) 2

Solución:

Para estudiar la convexidad o concavidad de la función f en un entorno, lo primero que tenemos


que hacer es calcular la hessiana de la función; después, sustituimos en el punto y clasificamos:
 2  4y   2 0
Hf ( x, y )     Hf (0, 0)   
  4 y 24 y  4 x 
2
 0 0

Se trata de una matriz diagonal y, como ya sabemos, los elementos de la diagonal principal son sus
valores propios. Como uno es positivo y otro nulo, la matriz es semidefinida positiva. No obstante,
para poder asegurar que la función es convexa, se debe mantener el signo en un entorno arbitrario
del punto (0, 0). Pero, en cualquier punto del entorno de la forma (, 0), con  > 0, podemos
comprobar que la matriz hesssiana:

2 0 
Hf ( , 0)   
 0  4 
tiene en su diagonal elementos positivos y negativos, por tanto, es indefinida y, en consecuencia, no
se mantiene el signo en todo un entorno. Luego, la función es ni cóncava ni convexa en un entorno
del punto (0, 0).

PROBLEMA 11
¿Se puede asegurar que el siguiente conjunto es convexo?

 
X  ( x, y, z )  R 3 / 3 x  2 y  5 z  4, 4 x 4  2 y 2  z 2  3x  2 y  5, 4 x 3  2 y 2  3z  4

Solución:

El conjunto X se puede considerar como intersección de tres conjuntos X1, X2, y X3 definidos de la
siguiente forma:

X 1  { ( x, y, z )  R 3 / 3x  2 y  5 z  4

X 2  ( x, y , z )  R 3 / 4 x 4  2 y 2  z 2  3 x  2 y  5 
X3  ( x, y, z )  R 3
/ 4 x 3  2 y 2  3z  4 }

Teniendo en cuenta que la intersección arbitraria de conjuntos convexos es un conjunto


convexo, veamos si los conjuntos X1, X2, y X3 lo son, ya que, en caso afirmativo, X también lo será.

El conjunto X1 es convexo dado que se trata de un hiperplano. Por otra parte, una condición
suficiente para que el conjunto X2 sea convexo es que la función que define la inecuación sea
convexa, puesto que la desigualdad es del tipo . Denotemos dicha función por f(x, y, z), es decir,

f ( x, y , z )  4 x 4  2 y 2  z 2  3 x  2 y

y calculemos su matriz hessiana:


 54 x 2 0 0
 
Hf ( x, y, z )   0 4 0
 0 0 2 

la cual es diagonal y los elementos de la diagonal principal son sus valores propios. Tales valores
propios son todos mayores o iguales que cero (si x = 0) y, en consecuencia, la matriz hessiana es, al
menos, semidefinida positiva en cualquier punto del dominio de f y, por tanto, esta función es
convexa y el conjunto X2 es convexo.

Por último, una condición suficiente para que el conjunto X3 sea convexo es que la función
que define la inecuación sea cóncava, puesto que la desigualdad es del tipo . Denotemos dicha
función por g(x, y, z), es decir,
g ( x, y , z )  4 x 3  2 y 2  3 z
y analicemos su matriz hessiana:

 24 x 0 0 
 
Hg ( x, y, z )   0  4 0 
 0 0 0 

la cual vuelve a ser una matriz diagonal. Si observamos los valores propios vemos que hay uno
nulo, otro negativo y un tercero cuyo signo depende del valor de x, con lo cual la función no es
cóncava en todo su dominio. En consecuencia, no podemos decir nada acerca del conjunto X3 y, por
tanto, tampoco del conjunto X. No podemos afirmar si dicho conjunto es convexo o no lo es.

PROBLEMA 12
a) Realice un estudio completo de la concavidad o convexidad de la siguiente función:

f ( x, y, z )  10 x 3  5 y 2  2 z 2  3 x  2 y  8 z
b) ¿Si consideramos el conjunto de puntos:

 
X  ( x, y , z )  R 3 / f ( x, y , z )  8
siendo f(x, y, z) la función del apartado anterior, ¿podríamos asegurar que es un conjunto convexo?

Solución:

a) Para estudiar la convexidad o concavidad de la función f lo primero que tenemos que hacer es
calcular su hessiana y después clasificamos
 60 x 0 0
 
Hf ( x, y, z )   0 10 0
 0 0 4 

Se trata de una matriz diagonal y, como ya sabemos, los elementos de la diagonal principal son sus
valores propios. En este caso, uno de los valores propios depende del valor de la variable x,
mientras que los otros dos son positivos. Por tanto, podemos decir que:
Si x>0, entonces la matriz hessiana de f es definida positiva ya que todos los valores propios son
positivos y la función es convexa.
Si x<0, entonces la matriz hessiana de f es indefinida ya que el primer valor propio es negativo y los
otros dos son positivos, y la función f es ni cóncava ni convexa.
Si x = 0, entonces
0 0 0
 
Hf (0, y, z )   0 10 0 
0 0 4
 
y es semidefinida positiva. No obstante, para poder asegurar que la función es convexa, se debe
mantener el signo en un entorno arbitrario del punto (0, y, z). Pero, si consideramos un punto de la
forma (0-, y, z), con  > 0, podemos comprobar que la matriz hesssiana:

  60 0 0 
 
Hf ( , 0, 0)   0 10 0 
 0 0 4 

tiene en su diagonal elementos positivos y negativos, por tanto es indefinida y, en consecuencia, no
se mantiene el signo en todo un entorno.
En consecuencia, la función es ni cóncava ni convexa para x =0.
b) Para que podamos afirmar que el conjunto X es convexo tendría que verificarse que la función f
fuera convexa, dado que la desigualdad que define al conjunto es del tipo . Como hemos analizado
en el apartado anterior, la función no es convexa en todo su dominio y, por tanto, no podemos
asegurar nada acerca de la convexidad o no del conjunto X.
Ahora bien, sí que podríamos decir que si restringimos el dominio de la función f,
considerando sólo los puntos en los que la componente x es positiva, en tal caso sí que podríamos
decir que el conjunto X es convexo en dicho dominio restringido.

PROBLEMA 13

Dada la función f  x, y, z    x  2   y 2  yz 2 estudie su convexidad o concavidad en un entorno


3

del punto (2,0,0).

Solución:

Para estudiar la convexidad o concavidad de la función f en un entorno, lo primero que tenemos


que hacer es calcular la hessiana de la función; después, sustituimos en el punto y clasificamos
 6 x  12 0 0   0 0 0
   
Hf ( x, y, z )   0 2 2z    0 2 0
 0 2 z 2 y  ( 2, 0, 0)  0 0 0 

Se trata de una matriz diagonal y, como ya sabemos, los elementos de la diagonal principal
son sus valores propios, y al ser éstos positivos y nulos, la matriz es semidefinida positiva. No
obstante, para poder asegurar que la función es convexa, se debe mantener el signo en un entorno
arbitrario del punto (2, 0, 0). Pero, si consideramos un punto de la forma (2, 0-, 0), con  > 0,
podemos comprobar que la matriz hesssiana:
0 0 0 
 
Hf (2, , 0)   0 2 0 
 0 0  2 
 
tiene en su diagonal elementos positivos y negativos, por tanto es indefinida y, en consecuencia, no
se mantiene el signo en todo un entorno. Luego, la función es ni cóncava ni convexa en un entorno
del punto (2, 0, 0).

PROBLEMA 14

a) Dado el siguiente conjunto



X   x, y   R 2 / x  ay  5, x 4  a y 2  5 
hallar el valor del parámetro a para el cual podemos afirmar que X es un conjunto convexo.
b) Estudie la concavidad o convexidad de la función:
f ( x, y )  yLn( x)
Solución:

a) El conjunto X se puede considerar como intersección de dos conjuntos X1 y X2 definidos de la


siguiente forma:
X 1  { ( x, y )  R 2 / x  ay  5

X 2  ( x, y )  R 2 / x 4  ay 2  5 
Teniendo en cuenta que la intersección arbitraria de conjuntos convexos es un conjunto
convexo, veamos si los conjuntos X1 y X2 lo son, ya que, en caso afirmativo, X también lo será.
El conjunto X1 es convexo dado que se trata de un semiespacio.
Por otra parte, una condición suficiente para que el conjunto X2 sea convexo es que la
función que define la inecuación sea convexa, puesto que la desigualdad es del tipo .. Denotemos
dicha función por f(x, y), es decir,
f ( x, y )  x 4  ay 2
y calculemos su matriz hessiana:
12 x 2 0 
Hf ( x, y )   
 0  2a 

la cual es diagonal y los elementos de la diagonal principal son sus valores propios.
Si observamos los valores propios vemos que hay uno que siempre será positivo o cero, y el otro va
a depender del parámetro a.
Como debemos indicar para qué valores de “a” el conjunto X es convexo, debe cumplirse que esta
función sea convexa, y esto ocurrirá cuando la matriz sea al menos semidefinida positiva; para ello
este valor propio debe ser mayor o igual a 0:
 2a  0  a  0
Es decir, el parámetro “a” debe ser menor o igual que cero.

b) Para estudiar la concavidad o convexidad de la función f lo primero que tenemos que hacer es
calcular su hessiana y después clasificarla:

 y 1
 2 
Hf ( x, y )   x x
 1 0 

 x 

Para estudiar el signo de la matriz aplicamos el método de los menores principales:


2
y 1
D1  2 , D2   
x  x

Al depender estos determinantes de las variables x e y, hemos de realizar el siguiente estudio,


teniendo en cuenta el dominio de la función, sabemos que x  0 .

D1  0
 La matriz hessiana es definida positiva y la función convexa si 
D2  0
2
1
D1  0 : y  0 ; D2  0 :Es imposible, ya que   es siempre positivo.
 x
D1  0
 La matriz hessiana es definida negativa y la función cóncava si 
D2  0

Ya hemos visto que D2  0 es imposible.


 La matriz hessiana es semidefinida positiva o negativa si  D2  0
Es imposible puesto que x  0 .

 Luego la matriz es indefinida en cualquier caso y la función ni cóncava ni convexa.

PROBLEMA 15

Dada la función
f  x, y   x 2  9 y 2  2 Lnx  2 Lny
a) ¿Cuál es su dominio de definición? ¿Es f  x, y  convexa en su dominio?
b) ¿Es el siguiente conjunto un conjunto convexo?
( x, y) R 2 / x  0, y  0, f ( x, y)  33 
Solución:

a) La función estará definida para x  0, y  0 .


Para estudiar la convexidad o concavidad de la función f lo primero que tenemos que hacer es
calcular su hessiana y después clasificamos:
 2 
2  2 0 
Hf ( x, y )   x 
2 
 0 18  2 

 y 
Se trata de una matriz diagonal y, como ya sabemos, los elementos de la diagonal principal son sus
valores propios. En este caso, los valores propios dependen del valor de las variables x e y. Éstos
serán siempre positivos ya que además de que el dominio de definición es x  0, y  0 , x e y están
elevadas al cuadrado. Por tanto la matriz hessiana será definida positiva y la función estrictamente
convexa.

b) Este conjunto se puede considerar como intersección de tres conjuntos X1, X2 y X3, teniendo en
cuenta que la intersección arbitraria de conjuntos convexos es un conjunto convexo, veamos si los
conjuntos X1, X2 y X3 lo son, ya que, en caso afirmativo, el conjunto de ellos también lo será.
El conjunto X1 y X2 son convexos dado que se trata de dos semiespacios.
Por último, para que podamos afirmar que el conjunto X es convexo tendría que verificarse
que la función f fuera convexa, dado que la desigualdad que define al conjunto es del tipo . Como
hemos analizado en el apartado anterior, la función es convexa en todo su dominio y, por tanto
podemos asegurar la convexidad del conjunto X.

PROBLEMA 16

Dada la función
f  x, y , z   2 x 2  e y  3 z 2
a) Analice su convexidad en todo su dominio
b) Justifique si el siguiente conjunto es un conjunto convexo:

( x, y, z ) R 3 / x  y  z  1, x  y  0, f ( x, y, z )  4 
Solución:

a) Para estudiar la convexidad o concavidad de la función f lo primero que tenemos que hacer es
calcular su hessiana y después clasificamos
4 0 0
 
Hf ( x, y, z )   0 e y 0
0 0 6 

Se trata de una matriz diagonal y, como ya sabemos, los elementos de la diagonal principal son sus
valores propios. En este caso, uno de los valores propios depende del valor de la variable y,
mientras que los otros dos son positivos. Por tanto si analizamos e y , podemos observar que siempre
va a ser positivo sea cual sea el valor de y, y por tanto la matriz hessiana será definida positiva en
todo su dominio, y la función será estrictamente convexa.

b) Este conjunto se puede considerar como intersección de tres conjuntos X1, X2 y X3, teniendo en
cuenta que la intersección arbitraria de conjuntos convexos es un conjunto convexo, veamos si los
conjuntos X1, X2 y X3 lo son, ya que, en caso afirmativo, el conjunto de ellos también lo será.
El conjunto X1 es convexo dado que se trata de un hiperplano.
El conjunto X2 es convexo dado que se trata de un semiespacio.
Por último, para que podamos afirmar que el conjunto X es convexo tendría que verificarse
que la función f fuera convexa, dado que la desigualdad que define al conjunto es del tipo . Como
hemos analizado en el apartado anterior, la función es convexa en todo su dominio y, por tanto
podemos asegurar la convexidad del conjunto X.