where for every history st the real number μ > 0 is the Lagrange multiplier
associated with the Constraint (2). Taking the first-order conditions with
respect to every variable yields the following relationships for every history
st-1 and asset j
dPit-1 ■ βt 1 ∙ ui(cit-1 ) = μst-1 and (7)
∑ μit ∙ [djit + qjt] = μit-1 ∙qjt- 1 > (8)
st,→st-1
Rearranging terms gives
X dPsit ∙βti∙u0i(cst)∙ [djst + qsjt] = dPsit-1 ∙ βit-1 ∙ u0i(cst-1) ∙ qsjt-1, (9)
st,→st-1
and by (5) and some simplifications we obtain the desired relationship
X Psit ∙ βi ∙ u0i(cst) ∙ Rsjt = u0i(cst-1). (10)
st,→st-1
With the above relationship, we can prove our result. Fix ε > 0 and a
history st. It is easy to see that, for every δ > 0 such that Pi > δ for every
i, there exists an agent, denoted by δ(i), such that for the history st-1 such
that st → st-1 we have that cδ(-)1 ≥ w∣ 1 in equilibrium.
Since ui satisfies the Inada conditions for every i, this last remark implies
that the expression u0δ(i)(cδ(--)1 ) is bounded away from + ∞ for every δ > 0.
Also, since ci(i) ≤ wst and by the Inada conditions, a low enough value of
aggregate endowment wst in history st will increase the left-hand side of (10)
above to an arbitrary high level. Thus, as δ converges to 1 and wsst converges
to 0, for (10) to hold for agent δ(i) it must be true that Rsjst converges to
0 for every j such that djsst > 0. Thus, it is straightforward to find the two
20
More intriguing information
1. Naïve Bayes vs. Decision Trees vs. Neural Networks in the Classification of Training Web Pages2. The name is absent
3. Apprenticeships in the UK: from the industrial-relation via market-led and social inclusion models
4. Equity Markets and Economic Development: What Do We Know
5. The name is absent
6. Integrating the Structural Auction Approach and Traditional Measures of Market Power
7. The name is absent
8. Enterpreneurship and problems of specialists training in Ukraine
9. The name is absent
10. The effect of globalisation on industrial districts in Italy: evidence from the footwear sector