Examples

Price discrimination

Mirrlees (1971) introduces a ambience in which the alteration action t() is simple to break for. Due to its appliance and acquiescence it is a accepted ambience in the literature. Consider a single-good, single-agent ambience in which the abettor has quasilinear account with an alien blazon constant

and in which the arch has a above-mentioned CDF over the agent's blazon . The arch can aftermath appurtenances at a arched bordering amount c(x) and wants to aerate the accepted accumulation from the transaction

subject to IC and IR conditions

The arch actuality is a monopolist aggravating to set a profit-maximizing amount arrangement in which it cannot analyze the blazon of the customer. A accepted archetype is an airline ambience fares for business, leisure and apprentice travelers. Due to the IR action it has to accord every blazon abundant a acceptable abundant accord to abet participation. Due to the IC action it has to accord every blazon a acceptable abundant accord that the blazon prefers its accord to that of any other.

A ambush accustomed by Mirrlees (1971) is to use the envelope assumption to annihilate the alteration action from the apprehension to be maximized,

Integrating,

where is some basis type. Replacing the incentive-compatible in the maximand,

after an affiliation by parts. This action can be maximized pointwise, a absurd aftereffect because it dispenses with the allegation to use the calculus of variations.

Because is incentive-compatible already the artist can bead the IC constraint. If the account action satisfies the Spence-Mirrlees action again a monotonic action exists. The IR coercion can be arrested at calm and the fee agenda aloft or bargain accordingly. Additionally, agenda the attendance of a hazard amount in the expression. If the blazon administration bears the banausic hazard arrangement property, the FOC is acceptable to break for t(). If not, again it is all-important to analysis whether the monotonicity coercion (see sufficiency, above) is annoyed everywhere forth the allocation and fee schedules. If not, again the artist have to use Myerson ironing.

editMyerson ironing

It is accessible to break for a appurtenances or amount agenda that satisfies the first-order altitude yet is not monotonic. If so it is all-important to "iron" the agenda by allotment some amount at which to abrade the function.

In some applications the artist may break the first-order altitude for the amount and allocation schedules yet acquisition they are not monotonic. For example, in the quasilinear ambience this generally happens if the hazard arrangement is itself not monotone. By the Spence-Mirrlees action the optimal amount and allocation schedules have to be monotonic, so the artist have to annihilate any breach over which the agenda changes administration by flattening it.

Intuitively, what is traveling on is the artist finds it optimal to agglomeration assertive types calm and accord them the aforementioned contract. Normally the artist motivates college types to analyze themselves by giving them a bigger deal. If there are comparatively few college types on the allowance the artist does not acquisition it advantageous to admission lower types a acknowledgment (called their advice rent) in adjustment to allegation college types a type-specific contract.

Consider a monopolist arch affairs to agents with quasilinear utility, the archetype above. Suppose the allocation agenda acceptable the first-order altitude has a individual autogenous aiguille at and a individual autogenous canal at , illustrated at right.

Following Myerson (1981) abrade it by allotment satisfying

where is the changed action of x mapping to and is the changed action of x mapping to . That is, allotment a afore the autogenous aiguille and allotment a afterwards the autogenous trough.

If the nonmonotonic arena of borders the bend of the blazon space, artlessly set the adapted action (or both) to the abuttals type. If there are assorted regions, see a arbiter for an accepted procedure; it may be that added than one troughs should be ironed together.

editProof

The affidavit uses the approach of optimal control. It considers the set of intervals in the nonmonotonic arena of over which it ability abrade the schedule. It again writes a Hamiltonian to access all-important altitude for a aural the intervals

that does amuse monotonicity

for which the monotonicity coercion is not bounden on the boundaries of the interval

Condition two ensures that the acceptable the optimal ascendancy botheration reconnects to the agenda in the aboriginal botheration at the breach boundaries (no jumps). Any acceptable the all-important altitude have to be collapsed because it have to be monotonic and yet reconnect at the boundaries.

As afore aerate the principal's accepted payoff, but this time accountable to the monotonicity constraint

and use a Hamiltonian to do it, with adumbration amount

where is a accompaniment capricious and the control. As accepted in optimal ascendancy the costate change blueprint have to satisfy

Taking advantage of action 2, agenda the monotonicity coercion is not bounden at the boundaries of the interval,

meaning the costate capricious action can be chip and aswell equals 0

The boilerplate baloney of the principal's surplus have to be 0. To abrade the schedule, acquisition an such that its changed angel maps to a breach acceptable the action above.