Supongamos que tengo dos agentes con funciones de utilidad $U_i$ y $U_j$ y los presupuestos $p_x x + p_g g = m_i$ y $p_y y + p_g g = m_j$ .
Si resuelvo una UMP de planificador social, obtendré para mi g FOC (después de enchufar los otros FOC)
$$ p_x MRS_i + p_y MRS_j = p_g$$
Si asumo $p_x = p_y$ entonces tengo después del reordenamiento
$$MRS_i + MRS_j = MRTS =\frac{p_g}{p_x} $$
Pero supongamos que $p_x \neq p_y$ . ¿Se cumple la condición de Samuelson?
Mientras escribía la pregunta, me di cuenta de lo siguiente:
Puedo ver que uno escribiría para $n$ agentes
$$\sum_{i} p_{x_i}\frac{MU^i_g}{MU^i_{x_j}} = p_g$$
Ahora podemos escribirlo como
$$\frac{MU^i_g}{MU^i_{x_i}} + \sum_{j\neq i} \frac{p_{x_j}}{p_{x_i}} \frac{MU^j_g}{MU^j_{x_j}} = \frac{p_g}{p_{x_i}} $$