Interpretación 1 : Dados los datos del problema, creo que te interesa una economía de intercambio puro con externalidades, es decir,
- $u_1(x_1,y_2) = x_1^\beta y_2^{1-\beta}$ , $u_2(x_2,y_2) = \min(x_2,y_2)$ donde $\beta\in (0,1)$
- $\omega_1=(0,1)$ y $\omega_2=(1,0)$
El conjunto de asignaciones factibles viene dado por $\mathcal{F} = \{((x_1,y_1),(x_2,y_2))\in\mathbb{R}^2_+\times\mathbb{R}^2_+|x_1+x_2=1 \ \wedge \ y_1+y_2=1\}$
Proposición 0: El conjunto de asignaciones eficientes de Pareto no es vacío.
Prueba: Consideremos $((x_1,y_1),(x_2,y_2)) = ((0,0),(1,1))$ . Esta asignación es eficiente desde el punto de vista de Pareto, ya que si pasamos a cualquier otra asignación factible, eso hará necesariamente que los individuos $2$ peor.
Proposición 1: El conjunto de asignaciones eficientes de Pareto viene dado por el conjunto $\{((x_1,y_1),(x_2,y_2))\in\mathcal{F}|y_2=1\}$
Prueba: Consideremos una asignación factible $((x_1,y_1),(x_2,y_2))$ y supongamos $y_2 < 1$ retenciones. Claramente, $((x_1,0),(x_2,1))$ es factible y es una mejora de Pareto sobre $((x_1,y_1),(x_2,y_2))$ como $1$ mejorará sin hacer $2$ peor. Por lo tanto, $y_2=1$ es una condición necesaria para la eficiencia. Si consideramos el conjunto $\{((x_1,y_1),(x_2,y_2))\in\mathcal{F}|y_2=1\}$ se obtienen las siguientes posibilidades de utilidad $u_1^{1/\beta}+u_2=1$ donde $0 \leq u_1 \leq 1$ que es una curva estrictamente decreciente en el $(u_1,u_2)-$ espacio estableciendo que $y_2=1$ junto con la viabilidad da como resultado el conjunto de asignaciones eficientes.
Interpretación 2 (Si cometió un error tipográfico al escribir utilidades): Dada una economía de intercambio puro,
- $u_1(x_1,y_1) = x_1^\beta y_1^{1-\beta}$ , $u_2(x_2,y_2) = \min(x_2,y_2)$ donde $\beta\in (0,1)$
- $\omega_1=(0,1)$ y $\omega_2=(1,0)$
El conjunto de asignaciones factibles viene dado por $\mathcal{F} = \{((x_1,y_1),(x_2,y_2))\in\mathbb{R}^2_+\times\mathbb{R}^2_+|x_1+x_2=1 \ \wedge \ y_1+y_2=1\}$
Proposición 0: El conjunto de asignaciones eficientes de Pareto no es vacío.
Prueba: Consideremos $((x_1,y_1),(x_2,y_2)) = ((1,1),(0,0))$ . Esta asignación es eficiente desde el punto de vista de Pareto, ya que si pasamos a cualquier otra asignación factible, eso hará necesariamente que los individuos $1$ peor.
Proposición 1: Si una asignación factible $((x_1,y_1),(x_2,y_2))$ satisfacer $x_2\neq y_2$ entonces no es Pareto eficiente.
Prueba: Consideremos una asignación factible $((x_1,y_1),(x_2,y_2))$ y supongamos $x_2 < y_2 \leq 1$ retenciones. Por lo tanto, $x_1 = 1-x_2 > 0$ . Claramente, $((x_1,y_1+y_2-x_2),(x_2,x_2))$ es factible y Pareto Superior a $((x_1,y_1),(x_2,y_2))$ . Por lo tanto, $((x_1,y_1),(x_2,y_2))$ no es Pareto eficiente. Del mismo modo, por un argumento simétrico, una asignación factible $((x_1,y_1),(x_2,y_2))$ satisfaciendo $y_2 < x_2 \leq 1$ tampoco es Pareto eficiente.
Equivalentemente, en la proposición 1, hemos demostrado que si una asignación es Pareto eficiente entonces satisface la condición $x_2 =y_2$ . Ahora demostraremos que lo contrario también es cierto.
Proposición 2: Cualquier asignación factible $((x_1,y_1),(x_2,y_2))$ satisfaciendo $x_2 = y_2$ es Pareto eficiente.
Prueba: Obsérvese que la suma de las utilidades de los dos individuos en todas las asignaciones factibles que satisfacen $x_2= y_2$ es igual a $u_1+u_2=x_1^\beta y_1^{1-\beta} + \min(x_2,y_2) = x_1^\beta x_1^{1-\beta} + x_2 = 1$ y es máxima entre todas las asignaciones factibles (utilizando el argumento de la proposición 1), por lo que se deduce que todas las asignaciones que satisfacen $x_2 = y_2$ son eficientes en Pareto.