¿Es posible mostrar la cuasicavidad a partir de su definición, es decir, $u(ax_1+(1-a)y_1,ax_2+(1-a)y_2)\geq \textrm{min}\{u(x_1,x_2),u(y_1,y_2)\}$ ?
Respuesta: Sí.
Un truco útil que puede ahorrarte algunos problemas es realizar una transformación monótona. En términos de relación de preferencia se trata de mostrar
$$ \left( ax_1+(1-a)y_1,ax_2+(1-a)y_2 \right) \succeq \left[ (x_1,x_2) \text{ OR } (y_1,y_2) \right]. $$
Si esto se cumple para la representación de la utilidad $(x_1x_2)^{\alpha}$ También se mantendrá para las transformaciones monótonas de esta función (la ordenación de las cestas no cambia).
Es evidente que existe una función más elegante para representar la relación, lo que facilita los cálculos matemáticos.
Alternativamente, usted puede hacer uso de la energía y hacer algunas suposiciones, como $u(x_1,x_2) \leq u(y_1,y_2)$ . La función es claramente monótona, por lo que se ahorra el examen de los casos en los que $x_1 \leq y_1$ Y $x_2 \leq y_2$ . Sólo queda por comprobar (w.o.l.) el caso en que $x_1 < y_1$ , $x_2 > y_2$ .