Ejercicios complementarios (IX)
(II) Cálculo en varias variables
Modelación Estática (2016021)
1. Estudiar la convexidad de los siguientes conjuntos:
(a) C0 = {(−6, 2), (7, 5), (3, 0)} (d) C3 = {(x, y, z) ∈ R3 : x + 2y = 3, z − x < 5}
(b) C1 = {(x, y) ∈ R2 : y = 3} (e) C4 = {(x, y) ∈ R2 : x2 + y 2 < r2 } con r > 0.
x2 y2
(c) C2 = {(x, y) ∈ R2 : xy ⩾ 1} (f) C4 = {(x, y) ∈ R2 : a2 + b2 ⩽ 1}
2. ¿La unión de conjuntos convexos es de nuevo un conjunto convexo? Justifique su respuesta.
3. Considere la función cuadrática de variable real y valor real f (x) = ax2 + bx + c. Demuestre que f es
estrictamente convexa si y sólo si a > 0 y es estrictamente cóncava si y sólo si a < 0.
4. Encuentre los valores del parámetro α ∈ R para que la función f (x, y) = −6x2 + (2α + 4)xy − y 2 + 4αy
sea una función cóncava, convexa o ninguna de las dos.
5. Estudiar si las siguientes funciones son cóncavas o convexas en los dominios dados (no olvidar probar que
los dominios dados son conjuntos convexos):
(a) j(x) = |x| en C = R.
1
(b) f (x, y) = en C = {(x, y) ∈ R2 : x > 0, y > 0}.
xy
(c) g(x, y) = xey en C = R2 .
(d) h(x, y) = xy − x3 − y 3 en C = {(x, y) ∈ R2 : x > 1, y > 1}.
2
−xy+y 2
(e) k(x, y) = e5x − ln((3x + 2y − 7)3 ) en C = {(x, y) ∈ R2 : 3x + 2y − 7 > 0}.
(f) m(x, y, z) = x3 z + y 3 z − 5z en C = {(x, y, z) ∈ R3 : x > 0, y > 0, z > 0}.
(g) m(x, y, z) = x3 z + y 3 z − 5z en C = {(x, y, z) ∈ R3 : x < 0, y < 0, z > 0}.
6. (a) Encontrar condiciones sobre ρ para que la función h(x) = x−ρ sea convexa o cóncava en el dominio
x > 0.
(b) Utilizar el apartado anterior para encontrar condiciones sobre ρ para que la función g(x1 , x2 , . . . , xn ) =
α1 x−ρ −ρ −ρ
1 + α2 x2 + · · · + αn xn sea convexa o cóncava para xk > 0, αk ⩾ 0.
(c) Encontrar condiciones sobre ρ y σ para que la función f (t) = t−σ/ρ sea una función convexa o cóncava
y creciente o decreciente en el dominio t > 0.
(d) Mediante el uso de los apartados anteriores, encontrar bajo qué condiciones la función de tipo CES
−σ/ρ
F (x1 , x2 , . . . , xn ) = α1 x−ρ −ρ −ρ
1 + α2 x2 + · · · + αn xn
es cóncava o convexa para xk > 0, αk ⩾ 0.