Editar: Los casos límite son un asco; véanse los comentarios. Véase también la sección C, D del capítulo 10 del MWG.
Supongamos que $(\vec x^*, \vec m^*)$ resuelve
$$\max \sum^I_{i=1} m_i + \phi_i(x_i)$$
pero no es el óptimo de Pareto.
$$\begin{align} \implies \exists \ (x_i', m_i') \quad \text{s.t.} \quad & u_i(x_i', m_i') \geq u_i(x_i^*, m_i^*) \quad \forall \ i = 1,\cdots,I \\ & u_i(x_i', m_i') > u_i(x_i^*, m_i^*) \quad \text{for some} \ i \end{align}$$
$$\implies \sum^I_{i=1} m'_i + \phi_i(x'_i) > \sum^I_{i=1} m^*_i + \phi_i(x^*_i)$$
que es una contradicción. Si tenemos una solución al problema de maximización de la utilidad, debe ser óptima de Pareto.
(Nótese que esto viene de las propiedades continuas y crecientes de $\phi(\cdot)$ )
Supongamos que $(\vec x^*, \vec m^*)$ es una asignación óptima de Pareto factible, pero no resuelve
$$\max \sum^I_{i=1} m_i + \phi_i(x_i)$$
Porque tratamos $m_i$ como numerario y $\phi_i(\cdot)$ es estrictamente creciente, sabemos que $u_i(\cdot)$ es localmente no saturado. La asignación de Pareto debe ser simplemente factible.
$$\exists \ (x_i', m_i') \quad \text{s.t.} \quad \sum^I_{i=1} m'_i + \phi_i(x'_i) > \sum^I_{i=1} m^*_i + \phi_i(x^*_i)\\ \implies \boxed{ \sum^I_{i=1} \phi_i(x'_i) > \sum^I_{i=1} \phi_i(x^*_i)}$$
Si esto es cierto porque esta asignación alternativa simplemente da a un individuo más de $x$ Si todo lo demás es igual, el reparto alternativo es inviable. Así que tendríamos una contradicción.
Si esto es cierto porque en la asignación alternativa se asigna a otra persona más $x$ y sólo a otra persona se le asigna menos, entonces la asignación original no sería óptima de Pareto. Supongamos que lo fuera. Si se toma la asignación original y se desplaza $x$ en el camino de la nueva asignación, entonces se necesitaría un comercio correspondiente en el bien numérico, $m$ , para mantener a quien está perdiendo $x$ al menos al mismo nivel de utilidad. Pero los intercambios de sólo el bien numérico nunca pueden cambiar la utilidad agregada sumada . A partir de la asignación original, si se puede comerciar $m$ para $x$ y hacer que alguien esté mejor sin perjudicar a nadie, no estabas en un óptimo de Pareto, y si no puedes comerciar $m$ para $x$ para que alguien esté mejor, no se puede aumentar la utilidad agregada sumada, lo que significa que la asignación original era una solución al problema de maximización.
Esta lógica se aplica sin importar cómo se reorganice $x$ entre varias personas.
$\square$
1 votos
¿Está seguro de que $m^i$ en $\hat x^i$ es lo mismo que $m^i$ en $x^i$ ? Parece que falta una restricción de presupuesto/recursos. Y con eso, deberías ser capaz de obtener lo que quieres sumando las desigualdades en (3) sobre $i$ .
0 votos
@HerrK. Es un punto excelente y un error bastante embarazoso por mi parte, lo cambiaré
1 votos
¿Existen propiedades para la función de X? Por ejemplo, si es estrictamente creciente pero cóncava, entonces la asignación de la OP en la que un agente se lleva la dotación total debería producir menos utilidad total que si se reparte esa asignación de forma equitativa entre dos agentes.
0 votos
@123 no hay otras suposiciones sobre $\phi^i(\frac{}{})$ que las enumeradas anteriormente, lamentablemente