Una prueba que utilizó una calculadora:
Sea $y = (\frac{3}{4},\frac{1}{4}), z = (\frac{1}{4},\frac{3}{4}), x = (e,1)$
Tenemos que
$U(x) = (\log(e))^2 + (\log(1))^2 = 1^2 + 0^2 = 1 + 0 = 1$,
$U(y) = (\log{\frac{3}{4}})^2 + (\log{\frac{1}{4}})^2 = (\log(3) - \log(4))^2 + (-\log(4))^2 = (\log(4) - \log(3))^2 + (\log(4))^2 = (\log(4))^2 - 2 \log(3)\log(4) + (\log(4))^2 = 2 (\log(4))^2 - 2 \log(3) \log(4)$
$= 2 (2 \log(2))^2 -4 \log(3) \log(2) = 8 \log(2) - 4 \log(3) \log(2) = (8-4\log(3)) \log(2) \approx 2$
Nota que $U(x_1,x_2)$ es simétrico en $x_1, x_2$.
Por simetría, $U(z) = (8-4\log(3)) \log(2) \approx 2$.
Esto implica que $y \geq x$ y $z \geq x$.
Pero para $\lambda = \frac{1}{2} \in [0,1]$,
$\lambda y + (1-\lambda)z = \frac{1}{2} y + \frac{1}{2} z = (\frac{1}{2},\frac{1}{2})$,
y
$U(\frac{1}{2},\frac{1}{2}) = (\log(\frac{1}{2}))^2 + (\log(\frac{1}{2}))^2 = 2 (\log(\frac{1}{2}))^2 = 2 (-\log(2))^2 = 2 (\log(2))^2 \approx 0.96 < 1 = U(x)$
Por lo tanto, $\lambda y + (1-\lambda)z < x$.
A partir de esto, podemos concluir que la relación de preferencia representada por la función de utilidad no es convexa.
0 votos
¿Insistes en demostrarlo con la definición [0,1], o considerarías usar derivadas?
0 votos
@Giskard ¿Usando la definición de derivada? Si tengo que usar la definición de Hessiano, ¿debería ser positivo semi-definido? Pero, ¿no sé qué significa positivo semi-definido? Además, ¿hay alguna diferencia al probar que la preferencia es convexa frente a que la función sea convexa?
0 votos
¿Es $\ln[(x_1)^2]$ o $[\ln(x_1)]^2$?
0 votos
Creo que es lo suficientemente claro que es $ln [(x_1)^2]$ La fórmula en la pregunta es correcta, tal vez hay corchetes superfluos, pero con corchetes tal vez es mejor: sin corchetes, un cuadrado, ya que hay un subíndice cerca de la $x_i$, podría confundirse con un superíndice.
0 votos
@reindeer Solo para aclarar, ¿estás preguntando si esta función de utilidad es convexa? (A diferencia de si representa preferencias convexas, o genera curvas de indiferencia convexas.)
0 votos
Creo que significa determinar si representa preferencias convexas, es decir, si la utilidad en el paquete convexo me proporcionaría una utilidad mayor que la combinación convexa.
0 votos
@reindeer Entiendo; debo enfatizar que esta no es la misma pregunta que si la función de utilidad en sí es convexa (lo cual se podría verificar usando la definición [0, 1], o examinando la matriz Hessiana asociada).