<p>A thing that bothers me here is the following: the Incentive Compatibility constraint is </p>

<p>$$IC: w'p(a') + w(1-p(a')) - 1 \geq w'p(a) + w(1-p(a))$$</p>

<p>$$\implies w'-w \geq \frac {1}{p(a')-p(a)}  \tag{1}$$</p>

<p>...since by assumption $p(a')-p(a) &gt;0$. We are told that we should find that at the optimum, 
$$x'-w' = x-w \implies x'-x = w'-w \tag{2}$$</p>

<p>Combining $(1)$ and $(2)$, if indeed this is the optimum under the given constraints, we must also have</p>

<p>$$x'-x \geq \frac {1}{p(a')-p(a)} \tag{3}$$</p>

<p>But this is an additional, <em>necessary</em> constraint on a priori magnitudes, that must hold if the postulated optimal solution is to be admissible. Even if indeed such a constraint is assumed, in any case, it visibly reduces the generality of the problem (which purports to show something general, i.e. how the risk-neutrality of the agent affects the solution). </p>

<p>Nevertheless, let's work this a bit more formally. I will assume that $w, w'$ can be zero, but not negative. This is a maximization problem in normal form with inequality constraints, non-negative decision variables and non-negative multipliers. The full Lagrangean of the problem therefore is (I will compact notation in an obvious way),</p>

<p>$$\Lambda =  u(x'-w')p' + u(x-w)(1-p') + \lambda\cdot [w'p' + w(1-p') - 1 ]\\ + \mu \cdot [ w'p' + w(1-p') - 1 - w'p - w(1-p)] + \xi w + \xi' w'$$</p>

<p>The essential first order conditions are</p>

<p>$$\frac {\partial \Lambda}{\partial w} \leq 0, \;\;\frac {\partial \Lambda}{\partial w} \cdot w = 0$$</p>

<p>and analogously for $w'$. These result in</p>

<p>$$\frac {\partial \Lambda}{\partial w} = -u'(x-w)(1-p') +\lambda (1-p') - \mu (p'-p) + \xi \leq 0$$</p>

<p>$$\implies u'(x-w)(1-p') \geq \lambda (1-p') - \mu (p'-p) + \xi $$</p>

<p>$$\implies u'(x-w) \geq \lambda - \mu \frac {p'-p}{1-p'} + \frac {\xi}{1-p'} \tag{4}$$</p>

<p>$$\frac {\partial \Lambda}{\partial w'} = -u'(x'-w')p' +\lambda p' + \mu (p'-p) + \xi' \leq 0$$</p>

<p>$$\implies u'(x'-w') \geq \lambda + \mu\frac {p'-p}{1-p'} + \frac {\xi'}{p'} \tag{5}$$</p>

<p>First note that not both wages can be zero, because the constraints would be violated. Given this, consider the possibility that the $IR$ is binding (so $\lambda &gt;0$). If it is binding, then with not both wages zero, the $IC$ constraint will necessarily be violated. So we conclude that</p>

<p>$$\lambda_* = 0$$</p>

<p>and the first-order conditions now become</p>

<p>$$u'(x-w) \geq  - \mu \frac {p'-p}{1-p'} + \frac {\xi}{1-p'} \tag {4a}$$</p>

<p>$$ u'(x'-w') \geq  \mu \frac{p'-p}{1-p'} + \frac {\xi'}{p'} \tag{5a}$$</p>

<p>Now note that if $\xi =0$ (i.e. $w &gt;0$) then $(4a)$ should hold as an equality and with the last term on the right equal to zero. But this would require negative marginal utility which is inadmissible. We also know that not both wages can be zero. So we conclude that we must have</p>

<p>$$\xi_* &gt; 0 , w_*=0,\;\;\; \xi'_* = 0,\; w'_* &gt;0$$</p>

<p>and the conditions now become</p>

<p>$$u'(x) \geq  - \mu \frac {p'-p}{1-p'} + \frac {\xi_*}{1-p'} \tag {4b}$$</p>

<p>$$ u'(x'-w') =  \mu \frac{p'-p}{1-p'}  \tag{5b}$$</p>

<p>Eq. $(5b)$ implies that $\mu_*&gt;0$ , under a usual utility function specification, which does not give zero marginal utility except at infinity. This in turn means that the $IC$ constraint should hold as an equality. Given that $w_*=0$ this gives</p>

<p>$$IC:  w'p'  - 1 - w'p =0 \implies = w'_* = \frac 1{p'-p} \tag{6}$$ </p>

<p>This should ring a bell, because the right-hand-side of $(6)$ is the same as the right-hand-sides of $(1)$ and $(3)$.</p>

<p>Namely, <em>if</em> we are assuming a priori that $x'-x = \frac 1{p'-p}$, <em>then</em> the solution we have arrived at validates the claim $x'-w'_* = x-w_*$</p>

<p>Under this additional assumption, we also obtain</p>

<p>$$u'(x) \geq  - \mu_* \frac {p'-p}{1-p'} + \frac {\xi_*}{1-p'} \tag {4c}$$</p>

<p>$$ u'(x) =  \mu_* \frac{p'-p}{1-p'}  \tag{5c}$$</p>

<p>Combining, we obtain</p>

<p>$$ \mu \frac{p'-p}{1-p'} \geq - \mu \frac {p'-p}{1-p'} + \frac {\xi_*}{1-p'}$$</p>

<p>$$\implies \mu_* \geq \frac {\xi_*}{2(p'-p)} \tag{7}$$</p>

<p>This is <em>admissible</em>. So under $x'-x = \frac 1{p'-p}$, we obtain the solution </p>

<p>$$\left \{w'_* = x'-x = 1/(p'-p), w_* =0, \lambda_*=0, \mu_* \geq \frac {\xi_*}{2(p'-p)}, \xi_* &gt;0, \xi'_* =0\right\}$$</p>

CC BY-SA 3.0
2016-01-12T20:42:04.980Z
2016-01-12T20:42:04.980Z
Alecos Papadopoulos
<p>This answer shows three things:</p>

<ol>
<li>We do not need the Lagrangian approach to solve your maximization problem.</li>
<li>We do not need the assumption that $x'-x=\frac{1}{p(a')-p(a)}$ either.</li>
<li>The condition $x'-w'=x-w$ is not necessarily satisfied for the optimal contract.</li>
</ol>

<p>Fix indeed the payment $w$. The problem can be written
\begin{equation*}
\max_{w'}{u(x'-w')p(a')}
\end{equation*}
given the constraints
\begin{align*}
&amp; w'p(a') \geq 1 - w[1-p(a')] \\
&amp; w'[p(a')-p(a)] \geq 1+w[p(a')-p(a)]
\end{align*}
It is clear that the principal has interest to set the lowest possible value for $w'$ given this set of constraint, since the objective function is decreasing in $w'$. Therefore he will set
\begin{equation}
w' = \max\{\frac{1-w[1-p(a')]}{p(a')},\frac{1+w[p(a')-p(a)]}{p(a')-p(a)}\}
\end{equation}</p>

<p>As @Alecos_Papadopoulos did, it makes sense to assume that the agent is protected by limited liability, i.e. that his payments are nonnegative. Otherwise the problem does not necessarily have a solution: the principal could always benefit from decreasing $w$ and increasing $w'$ so as to keep the individual rationality constraint satisfied. But the contract $(w=-\infty,w'=+\infty)$ is obviously not a satisfactory solution. Therefore I restrict attention to the case where $w \geq 0$ and $w' \geq 0$.</p>

<p>The condition $w \geq 0$ implies
\begin{equation*}
\dfrac{1+w[p(a')-p(a)]}{p(a')-p(a)} \geq \dfrac{1-w[1-p(a')]}{p(a')}
\end{equation*}
and therefore
\begin{equation*}
w' = \dfrac{1+w[p(a')-p(a)]}{p(a')-p(a)}
\end{equation*}</p>

<p>Plugging this equation into the objective function, the principal's problem becomes</p>

<p>\begin{equation*}
\max_{w \geq 0}{u(x'-\frac{1}{p(a')-p(a)}-w)p(a')+u(x-w)(1-p(a'))}
\end{equation*}
This objective function is decreasing in $w$. Therefore he simply sets $w=0$ and $w'=\dfrac{1}{p(a')-p(a)}$. As a conclusion, the equality $x'-w'=x-w$ has no reason to be satisfied unless one assumes that $x'-x=\dfrac{1}{p(a')-p(a)}$, i.e. that
\begin{equation*}
p(a') x' + (1-p(a'))x -1= p(a)x' + (1-p(a))x
\end{equation*}
This latter equation means that the social surplus resulting from $a'$ equals the surplus resulting from $a$: it is a very particular case where the cost of effort for the agent is exactly compensated by the increase in expected output for the principal. In all other cases, we have $x'-w' \ne x-w$.</p>

<p>I think the reason why the agent does not take on all the risk is because his actions are not observable, and therefore not contractible upon. This property would be true in a risk-sharing economy with unconstrained allocations. But the allocation is here distorted by the need to incentivize the agent to exert a high effort.</p>

CC BY-SA 3.0
2016-01-13T13:02:19.880Z
(+1) That's a good approach, I just like to be formal with simple problems. One final issue with the OP's set up: since $x'$ is arbitrary, nothing guarantees that $x' \geq 1/(p'-p)$.
Alecos Papadopoulos
CC BY-SA 3.0
2016-01-13T13:05:23.673Z
I don't think "the principal could always benefit from decreasing $w$ and increasing $w'$ so as to keep the individual rationality constraint satisfied." is true. I mean there are cases where you cannot both benefit and keep the participation constraint satisfied.
Giskard
CC BY-SA 3.0
2016-01-13T14:34:05.573Z
@denesp I think it is true.Take $w$ negative and small enough, and $w' = \frac{1-w(1-p(a'))}{p(a')}$ in order to satisfy both constraints. The principal's objective function is 
\begin{equation*}
u(x'-\frac{1}{p(a')}+w \frac{1-p(a')}{p(a')})p(a') + u(x-w)(1-p(a'))
\end{equation*}
and this function is strictly decreasing in $w$, when $w$ is small enough. Therefore the principal can always do better by lowering $w$ and setting $w'=\frac{1-w(1-p(a'))}{p(a')}$: no finite soution is optimal.
Oliv
CC BY-SA 3.0
2016-01-13T14:39:40.063Z
@Alecos Papadopoulos thank you. Why would you like to guarantee that $x' \geq \frac{1}{p'-p}$ ?
Oliv
CC BY-SA 3.0
2016-01-13T16:08:09.220Z
@Oliv If $x' < 1/(p'-p)$, then net revenue for the principal is negative if $x'$ occurs, while it is positive if $x$ occurs (with $w=0$). In fact even if $0< x' - 1/(p'-p) < x$,  we are in a situation where the principal wants to induce action $a'$ , even though conditional utility is lower if $x'$ occurs. This would require a more comprehensive treatment, to determine what is really optimal here. Certainly, we can accept the problem as is, with all its assumptions taken as ad hoc givens, but I prefer problems that counter intuition only if, at the end, they can explain illuminatingly why.
Alecos Papadopoulos
CC BY-SA 3.0
2016-01-14T12:53:27.830Z
@Alecos_Papadopoulous That's a good point, thank you.
Oliv
CC BY-SA 3.0
2016-01-13T10:54:16.883Z
2016-01-13T11:04:20.573Z
2016-01-13T11:04:20.573Z
Oliv
<p>We have a principal-agent model with hidden actions in which the principal is risk averse and the agent is risk neutral; Assume also there are two levels of output, $x$ and $x'$ (with $x'&gt;x$) and two actions $a,a'$. Define $p(a),p(a')$ the probabilities of $x'$ under actions $a,a'$ respectively. Also, the agent disutility from action $a'$ is $-1$. The wages associated to $x,x'$ are $w,w'$ respectively.  </p>

<p>My problem is that I am not sure how to show that the optimal contract requires $x'-w' =x-w$, i.e. that the agent, being risk neutral, takes on all the variability associated with the project. </p>

<p>I formalize the problem (assume the principal wants to induce $a'$, otherwise my question is trivial)</p>

<p>$\max\limits_{\{w,w'\}} u(x'-w')p(a') + u(x-w)(1-p(a'))$  </p>

<p>st </p>

<p>$w'p(a') + w(1-p(a')) - 1 \geq 0 $</p>

<p>$w'p(a') + w(1-p(a')) - 1 \geq w'p(a) + w(1-p(a))$</p>

<p>In particular, when I try to solve the problem by maximizing the principal expected payoff subject to the "standard" Individual rationality (with $\lambda$ multiplier) and incentive compatibility (with $\mu$ multiplier) constraints (I assume the principal is interested in the more costly action $a'$) I end up with two equations which are not consistent with the aforementioned result. In particular: </p>

<p>$ u'(x-w) = \lambda + \mu [1- \frac{(1-p(a))}{(1-p(a'))}]$</p>

<p>$ u'(x'-w') = \lambda + \mu [1- \frac{p(a)}{p(a')}]$</p>

<p>It is evident that $x-w = x'-w'$ holds iff $p(a) =p(a')$ which is not the case in this problem (here we have that $p(a') &gt;p(a)$). Another possibility would be to assume that the Incentive compatibility constraint is slack (hence $\mu = 0$); however I cannot understand why that should hold, when the principal wants to induce the most costly action $a'$ (help here)</p>

<p>I have read online that another approach would be to assume that the principal "sells" the project to the agent and the agent, after having chosen which level of effort maximizes its expected utility, pays back a fixed amount to the principal (call it $\beta_{a}, \beta_{a'}$)</p>

<p>So we would have something like: </p>

<p>$w'p(a') + w(1-p(a')) - 1 -\beta_{a'} \geq 0 $
if the agent chose to undertake high effort and 
$w'p(a) + w(1-p(a)) -\beta_a \geq 0 $ otherwise.</p>

<p>But then how to go from there? How to insure that the agent is going to choose the action $a'$? How are the fixed amounts determined? Why are they optimal?</p>

CC BY-SA 3.0
2016-01-11T15:24:00.697Z
A hint: Given your setup, $a^\prime$ is not necessarily the efficient action, and therefore the principal doesn't necessarily want to induce it. Do you want people to assume that it is?
Shane
CC BY-SA 3.0
2016-01-12T15:03:44.423Z
@Shane This is stated in the question: "assume the principal wants to induce $a'$"
Giskard
CC BY-SA 3.0
2016-01-12T15:32:37.897Z
@denesp That's true, but it is still important to know whether or not $a^\prime$ is actually efficient, because, given the risk-neutral agent, selling the project to the agent will be optimal no matter what, but will only induce $a^\prime$ if it is efficient. If $a^\prime$ is not efficient but the principal wants to induce it regardless, then the whole notion of optimal contracts is blurred -- we would be finding the optimal contract from a set of contracts that induces a suboptimal choice.
Shane
CC BY-SA 3.0
2016-01-12T18:30:30.330Z
The principal can just make a payment to induce a', of an amount based on whatever utility the principal receives from this action.
D J Sims
CC BY-SA 3.0
2016-01-12T19:00:44.563Z
Can "wages" be negative or zero?
Alecos Papadopoulos
<decision-theory><principal-agent>
Moral Hazard with risk neutral agent
night_owl89
# Moral Hazard with risk neutral agent

(Asked by: username_0 on 2016-01-09)

We have a principal-agent model with hidden actions in which the principal is risk averse and the agent is risk neutral; Assume also there are two levels of output, $x$ and $x'$ (with $x'>x$) and two actions $a,a'$. Define $p(a),p(a')$ the probabilities of $x'$ under actions $a,a'$ respectively. Also, the agent disutility from action $a'$ is $-1$. The wages associated to $x,x'$ are $w,w'$ respectively.

My problem is that I am not sure how to show that the optimal contract requires $x'-w' =x-w$, i.e. that the agent, being risk neutral, takes on all the variability associated with the project.

I formalize the problem (assume the principal wants to induce $a'$, otherwise my question is trivial)

$\max\limits\_{\{w,w'\}} u(x'-w')p(a') + u(x-w)(1-p(a'))$

st

$w'p(a') + w(1-p(a')) - 1 \geq 0 $

$w'p(a') + w(1-p(a')) - 1 \geq w'p(a) + w(1-p(a))$

In particular, when I try to solve the problem by maximizing the principal expected payoff subject to the "standard" Individual rationality (with $\lambda$ multiplier) and incentive compatibility (with $\mu$ multiplier) constraints (I assume the principal is interested in the more costly action $a'$) I end up with two equations which are not consistent with the aforementioned result. In particular:

$ u'(x-w) = \lambda + \mu [1- \frac{(1-p(a))}{(1-p(a'))}]$

$ u'(x'-w') = \lambda + \mu [1- \frac{p(a)}{p(a')}]$

It is evident that $x-w = x'-w'$ holds iff $p(a) =p(a')$ which is not the case in this problem (here we have that $p(a') >p(a)$). Another possibility would be to assume that the Incentive compatibility constraint is slack (hence $\mu = 0$); however I cannot understand why that should hold, when the principal wants to induce the most costly action $a'$ (help here)

I have read online that another approach would be to assume that the principal "sells" the project to the agent and the agent, after having chosen which level of effort maximizes its expected utility, pays back a fixed amount to the principal (call it $\beta\_{a}, \beta\_{a'}$)

So we would have something like:

$w'p(a') + w(1-p(a')) - 1 -\beta\_{a'} \geq 0 $
if the agent chose to undertake high effort and
$w'p(a) + w(1-p(a)) -\beta\_a \geq 0 $ otherwise.

But then how to go from there? How to insure that the agent is going to choose the action $a'$? How are the fixed amounts determined? Why are they optimal?

**Tags:** decision-theory, principal-agent
> **Comments:**
> **username_1**: A hint: Given your setup, $a^\prime$ is not necessarily the efficient action, and therefore the principal doesn't necessarily want to induce it. Do you want people to assume that it is?  
> **username_2**: @Shane This is stated in the question: "assume the principal wants to induce $a'$"  
> **username_1**: @denesp That's true, but it is still important to know whether or not $a^\prime$ is actually efficient, because, given the risk-neutral agent, selling the project to the agent will be optimal no matter what, but will only induce $a^\prime$ if it is efficient. If $a^\prime$ is not efficient but the principal wants to induce it regardless, then the whole notion of optimal contracts is blurred -- we would be finding the optimal contract from a set of contracts that induces a suboptimal choice.  
> **username_3**: The principal can just make a payment to induce a', of an amount based on whatever utility the principal receives from this action.  
> **username_4**: Can "wages" be negative or zero?  

---

## 2 answers

### Answer by username_5 on 2016-01-13. Score: 3 | Accepted answer

This answer shows three things:

1. We do not need the Lagrangian approach to solve your maximization problem.
2. We do not need the assumption that $x'-x=\frac{1}{p(a')-p(a)}$ either.
3. The condition $x'-w'=x-w$ is not necessarily satisfied for the optimal contract.

Fix indeed the payment $w$. The problem can be written
\begin{equation\*}
\max\_{w'}{u(x'-w')p(a')}
\end{equation\*}
given the constraints
\begin{align\*}
& w'p(a') \geq 1 - w[1-p(a')] \\
& w'[p(a')-p(a)] \geq 1+w[p(a')-p(a)]
\end{align\*}
It is clear that the principal has interest to set the lowest possible value for $w'$ given this set of constraint, since the objective function is decreasing in $w'$. Therefore he will set
\begin{equation}
w' = \max\{\frac{1-w[1-p(a')]}{p(a')},\frac{1+w[p(a')-p(a)]}{p(a')-p(a)}\}
\end{equation}

As @Alecos\_Papadopoulos did, it makes sense to assume that the agent is protected by limited liability, i.e. that his payments are nonnegative. Otherwise the problem does not necessarily have a solution: the principal could always benefit from decreasing $w$ and increasing $w'$ so as to keep the individual rationality constraint satisfied. But the contract $(w=-\infty,w'=+\infty)$ is obviously not a satisfactory solution. Therefore I restrict attention to the case where $w \geq 0$ and $w' \geq 0$.

The condition $w \geq 0$ implies
\begin{equation\*}
\dfrac{1+w[p(a')-p(a)]}{p(a')-p(a)} \geq \dfrac{1-w[1-p(a')]}{p(a')}
\end{equation\*}
and therefore
\begin{equation\*}
w' = \dfrac{1+w[p(a')-p(a)]}{p(a')-p(a)}
\end{equation\*}

Plugging this equation into the objective function, the principal's problem becomes

\begin{equation\*}
\max\_{w \geq 0}{u(x'-\frac{1}{p(a')-p(a)}-w)p(a')+u(x-w)(1-p(a'))}
\end{equation\*}
This objective function is decreasing in $w$. Therefore he simply sets $w=0$ and $w'=\dfrac{1}{p(a')-p(a)}$. As a conclusion, the equality $x'-w'=x-w$ has no reason to be satisfied unless one assumes that $x'-x=\dfrac{1}{p(a')-p(a)}$, i.e. that
\begin{equation\*}
p(a') x' + (1-p(a'))x -1= p(a)x' + (1-p(a))x
\end{equation\*}
This latter equation means that the social surplus resulting from $a'$ equals the surplus resulting from $a$: it is a very particular case where the cost of effort for the agent is exactly compensated by the increase in expected output for the principal. In all other cases, we have $x'-w' \ne x-w$.

I think the reason why the agent does not take on all the risk is because his actions are not observable, and therefore not contractible upon. This property would be true in a risk-sharing economy with unconstrained allocations. But the allocation is here distorted by the need to incentivize the agent to exert a high effort.

> **Comments:**
> **username_4**: (+1) That's a good approach, I just like to be formal with simple problems. One final issue with the OP's set up: since $x'$ is arbitrary, nothing guarantees that $x' \geq 1/(p'-p)$.  
> **username_2**: I don't think "the principal could always benefit from decreasing $w$ and increasing $w'$ so as to keep the individual rationality constraint satisfied." is true. I mean there are cases where you cannot both benefit and keep the participation constraint satisfied.  
> **username_5**: @denesp I think it is true.Take $w$ negative and small enough, and $w' = \frac{1-w(1-p(a'))}{p(a')}$ in order to satisfy both constraints. The principal's objective function is  \begin{equation*} u(x'-\frac{1}{p(a')}+w \frac{1-p(a')}{p(a')})p(a') + u(x-w)(1-p(a')) \end{equation*} and this function is strictly decreasing in $w$, when $w$ is small enough. Therefore the principal can always do better by lowering $w$ and setting $w'=\frac{1-w(1-p(a'))}{p(a')}$: no finite soution is optimal.  
> **username_5**: @Alecos Papadopoulos thank you. Why would you like to guarantee that $x' \geq \frac{1}{p'-p}$ ?  
> **username_4**: @Oliv If $x' < 1/(p'-p)$, then net revenue for the principal is negative if $x'$ occurs, while it is positive if $x$ occurs (with $w=0$). In fact even if $0< x' - 1/(p'-p) < x$,  we are in a situation where the principal wants to induce action $a'$ , even though conditional utility is lower if $x'$ occurs. This would require a more comprehensive treatment, to determine what is really optimal here. Certainly, we can accept the problem as is, with all its assumptions taken as ad hoc givens, but I prefer problems that counter intuition only if, at the end, they can explain illuminatingly why.  
> **username_5**: @Alecos_Papadopoulous That's a good point, thank you.  

---

### Answer by username_4 on 2016-01-12. Score: 4

A thing that bothers me here is the following: the Incentive Compatibility constraint is

$$IC: w'p(a') + w(1-p(a')) - 1 \geq w'p(a) + w(1-p(a))$$

$$\implies w'-w \geq \frac {1}{p(a')-p(a)} \tag{1}$$

...since by assumption $p(a')-p(a) >0$. We are told that we should find that at the optimum,
$$x'-w' = x-w \implies x'-x = w'-w \tag{2}$$

Combining $(1)$ and $(2)$, if indeed this is the optimum under the given constraints, we must also have

$$x'-x \geq \frac {1}{p(a')-p(a)} \tag{3}$$

But this is an additional, *necessary* constraint on a priori magnitudes, that must hold if the postulated optimal solution is to be admissible. Even if indeed such a constraint is assumed, in any case, it visibly reduces the generality of the problem (which purports to show something general, i.e. how the risk-neutrality of the agent affects the solution).

Nevertheless, let's work this a bit more formally. I will assume that $w, w'$ can be zero, but not negative. This is a maximization problem in normal form with inequality constraints, non-negative decision variables and non-negative multipliers. The full Lagrangean of the problem therefore is (I will compact notation in an obvious way),

$$\Lambda = u(x'-w')p' + u(x-w)(1-p') + \lambda\cdot [w'p' + w(1-p') - 1 ]\\ + \mu \cdot [ w'p' + w(1-p') - 1 - w'p - w(1-p)] + \xi w + \xi' w'$$

The essential first order conditions are

$$\frac {\partial \Lambda}{\partial w} \leq 0, \;\;\frac {\partial \Lambda}{\partial w} \cdot w = 0$$

and analogously for $w'$. These result in

$$\frac {\partial \Lambda}{\partial w} = -u'(x-w)(1-p') +\lambda (1-p') - \mu (p'-p) + \xi \leq 0$$

$$\implies u'(x-w)(1-p') \geq \lambda (1-p') - \mu (p'-p) + \xi $$

$$\implies u'(x-w) \geq \lambda - \mu \frac {p'-p}{1-p'} + \frac {\xi}{1-p'} \tag{4}$$

$$\frac {\partial \Lambda}{\partial w'} = -u'(x'-w')p' +\lambda p' + \mu (p'-p) + \xi' \leq 0$$

$$\implies u'(x'-w') \geq \lambda + \mu\frac {p'-p}{1-p'} + \frac {\xi'}{p'} \tag{5}$$

First note that not both wages can be zero, because the constraints would be violated. Given this, consider the possibility that the $IR$ is binding (so $\lambda >0$). If it is binding, then with not both wages zero, the $IC$ constraint will necessarily be violated. So we conclude that

$$\lambda\_\* = 0$$

and the first-order conditions now become

$$u'(x-w) \geq - \mu \frac {p'-p}{1-p'} + \frac {\xi}{1-p'} \tag {4a}$$

$$ u'(x'-w') \geq \mu \frac{p'-p}{1-p'} + \frac {\xi'}{p'} \tag{5a}$$

Now note that if $\xi =0$ (i.e. $w >0$) then $(4a)$ should hold as an equality and with the last term on the right equal to zero. But this would require negative marginal utility which is inadmissible. We also know that not both wages can be zero. So we conclude that we must have

$$\xi\_\* > 0 , w\_\*=0,\;\;\; \xi'\_\* = 0,\; w'\_\* >0$$

and the conditions now become

$$u'(x) \geq - \mu \frac {p'-p}{1-p'} + \frac {\xi\_\*}{1-p'} \tag {4b}$$

$$ u'(x'-w') = \mu \frac{p'-p}{1-p'} \tag{5b}$$

Eq. $(5b)$ implies that $\mu\_\*>0$ , under a usual utility function specification, which does not give zero marginal utility except at infinity. This in turn means that the $IC$ constraint should hold as an equality. Given that $w\_\*=0$ this gives

$$IC: w'p' - 1 - w'p =0 \implies = w'\_\* = \frac 1{p'-p} \tag{6}$$

This should ring a bell, because the right-hand-side of $(6)$ is the same as the right-hand-sides of $(1)$ and $(3)$.

Namely, *if* we are assuming a priori that $x'-x = \frac 1{p'-p}$, *then* the solution we have arrived at validates the claim $x'-w'\_\* = x-w\_\*$

Under this additional assumption, we also obtain

$$u'(x) \geq - \mu\_\* \frac {p'-p}{1-p'} + \frac {\xi\_\*}{1-p'} \tag {4c}$$

$$ u'(x) = \mu\_\* \frac{p'-p}{1-p'} \tag{5c}$$

Combining, we obtain

$$ \mu \frac{p'-p}{1-p'} \geq - \mu \frac {p'-p}{1-p'} + \frac {\xi\_\*}{1-p'}$$

$$\implies \mu\_\* \geq \frac {\xi\_\*}{2(p'-p)} \tag{7}$$

This is *admissible*. So under $x'-x = \frac 1{p'-p}$, we obtain the solution

$$\left \{w'\_\* = x'-x = 1/(p'-p), w\_\* =0, \lambda\_\*=0, \mu\_\* \geq \frac {\xi\_\*}{2(p'-p)}, \xi\_\* >0, \xi'\_\* =0\right\}$$


---

