Determinacy of equilibria in dynamic models with finitely many consumers

We consider a production economy with a finite number of heterogeneous, infinitely lived consumers. We show that, if the economy is smooth enough, equilibria are locally unique for almost all endowments. We do so by converting the infinite-dimensional fixed point problem stated in terms of prices and commodities into a finite-dimensional Negishi problem involving individual weights in a social value function. By adding artificial fixed factors to utility and production functions, we can write the equilibrium conditions equating spending and income for each consumer entirely in terms of time-zero factor endowments and derivatives of the social value function.