Changes

Jump to navigation Jump to search
no edit summary
The first order conditions of (b) and (c) taken together imply:
:<math>c_J^*'\prime(x^*) = u_J^*'\prime(x^*)\quad</math>and therefore that the contribution schedules are locally truthful around <math>x^*</math>.
The contribution schedules are constructed as linear functions of the utility of the principals, specifically:
Using (d) we can note that if player <math>i</math> doesn't contribute then the agent choses:
:<math>x_j \in \arg \max u_e(x) + u_j(x)\quad</math>
Comparing this to the equilibrium where both players contribute and noting that for the agent <math>x* \succsim x_g\,</math> and <math>x* \succsim x_h\;</math> it must be the case that <math>x_g , x_h\,</math> are off the equilibrium path.
Anonymous user

Navigation menu