Lecture 3 Screening Application
Lecture 3 Screening Application
ECON 813
Shota Ichihashi
Applications of Screening
n ≥ 1 bidders.
subject to
(ICθi ) θi Qi (θi ) − Ti (θi ) ≥ θi Qi (θi0 ) − Ti (θi0 ), ∀θi , θi0
(IRθi ) θi Qi (θi ) − Ti (θi ) ≥ 0, ∀θi
X
(feasibility) qi (θ) ≤ 1.
i
Solution
Therefore, Z θi
Ti (θi ) = θi Qi (θi ) − Qi (x)dx, (3)
θi
θi
XZ 1 − Fi (θi )
max θi − Qi (θi )fi (θi )dθi
q(θ) θi fi (θi )
i
R
or equivalently (recall Qi (θi ) = θ qi (θi , θ−i )f−i (θ−i )dθ−i )
−i
Z X
1 − Fi (θi )
max θi − qi (θ) f (θ)dθ
q(θ) Θ fi (θi )
i
Z X
1 − Fi (θi )
max θi − qi (θ)f (θ)dθ
q(θ) Θ fi (θi )
i
If no bidder has positive virtual value, optimal for seller to keep good
(reserve price)
As in last lecture, solution only applies in regular case, i.e., every bidder
has non-decreasing virtual values
Computing Optimal Auctions
is Z θi
ti (θ) = θi qi (θ) − qi (x, θ−i )dx, ∀θ. (6)
θi
That is, have equality (5) hold for each type profile θ−i of other bidders, not
just in expectation over θ−i
∗
Winning bidder ( ⇐⇒ bidder i with θi > max(1/2, θ−i ) ) pays
Z θi
1 ∗
ti (θ) = θi · 1 − 1dx = max , θ−i ,
max{ 12 ,θ−i
∗
} 2
∗
where θ−i is the second-highest value
That is, optimal auction is 2nd price auction with reserve price of 12 .
Revenue Equivalence Theorem
We’ve essentially prove the following:
Proof.
Expected revenue in any such auction is
Z X
1 − Fi (θi ) ∗
θi − qi (θ) f (θ)dθ
Θ fi (θi )
i
Revenue/Payoff Equivalence Theorem: Remarks
1. More general result: any two auction formats with same allocation rule
q(θ) and same values of Ui (θi ) are equivalent in terms of seller’s expected
revenue and expected payoff of each bidder type (payoff equivalence
theorem)
subject to
IRθ : (1 − θ)u(c1 ) + θu(c2 ) ≥ (1 − θ)u(W) + θu(W − L).
Complete Information
Can rewrite objective as
Problem is
subject to
ICθH : (1 − θH )u(cH H L L
1 ) + θH u(c2 ) ≥ (1 − θH )u(c1 ) + θH u(c2 )
IRθH : (1 − θH )u(cH H
1 ) + θH u(c2 ) ≥ (1 − θH )u(W) + θH u(W − L)
Low risk type θL gets more consumption than high risk type θH
Type θL (low risk) is not tempted to take contract intended for type θH
subject to
ICθH : (1 − θH )u(cH H L L
1 ) + θH u(c2 ) ≥ (1 − θH )u(c1 ) + θH u(c2 )
cH H
1 , c2 do not appear in IRθL , so be chosen to minimize objective subject
to ICθH
subject to
ICθH : u(cH ) ≥ (1 − θH )u(cL1 ) + θH u(cL2 )
IRθL : (1 − θL )u(cL1 ) + θL u(cL2 ) ≥ U(θL ).
U(θL ) − (1 − θL )u(cL1 )
−1
Binding IRθL : =u cL2
θL
H −1 θH θH − θL L
Binding ICθH : c = u U(θL ) − u(c1 ) .
θL θL
Solution
U(θL ) − (1 − θL )u(cL1 )
−1
minβ (1 − θL )cL1
+ θL u
cL1 θL
−1 θH θ H − θL L
+(1 − β)u U(θL ) − u(c1 ) .
θL θL
θH θ H − θL L
u(cH ) = U(θL ) − u(c1 ). (10)
θL θL
For given utility level of low-risk type, high-risk type’s information rent is
decreasing in cL1 (increasing in level of low-type’s insurance).
1−β
More underinsurance when high-risk types more prevalent ( β larger),
risk difference between types greater (θH − θL larger), welfare gains from
insuring low-risk type smaller θL close to 0 or 1.
Optimal Taxation (Mirrlees 1971)
subject to (12)
θL
(ICH) θH eH − tH − c(eH ) ≥ θL eL − tL − c eL (13)
θH
θH
(ICL) θL eL − tL − c(eL ) ≥ θH eH − tH − c eH (14)
θL
(Budget) βtL + (1 − β)tH ≥ 0. (15)
c0 (eH ) = θH
u0L − u0H
0 0 θ L 0 θL
c (eL ) = θL − (1 − β) c (eL ) − c eL
βu0L + (1 − β)u0H θH θH
< θL .
Interpreting Solution
u0L − u0H
θL 0 θL
c0 (eL ) = θL − (1 − β) c0 (eL ) − c eL .
βuL + (1 − β)u0H
0 θH θH
Again, distort low type’s allocation to reduce high type’s information rent.
High type’s information rent (in consumption) is c(eL ) − c θθL eL .
H
Intuition:
Benefit high type gets from mimicking low type is that only costs
θL
c θH eL to produce θL , rather than c(eL ).
Convexity of c implies that a marginal
decrease
in eL reduces high type’s
information rent by c0 (eL ) − θθL c0 θL
θH e L >0
H
u0L −u0H
βu0L +(1−β)u0H
term measures benefit of this reduction in inequality for
utilitarian social welfare.
Real-World Implications
Model implies that marginal income taxes should be zero for highest
income, positive for lower incomes
There is still redistribution: entire purpose of marginal tax on low types is
to make redistribution possible by getting high types to reveal themselves.
Recall with continuum of types, zero marginal tax at top only holds for very
highest income, marginal taxes just below the top depend on inverse
1−F(θ)
hazard rate f (θ)
Diamond (1998), Saez (2001) argue that with realistic skill distribution,
Mirrlees model is consistent with high marginal taxes on the rich.
Summary
3 applications of screening.
Auctions: Optimal auction allocates good to bidder with highest
non-negative virtual value.
Explains use of reserve price in auctions. Revenue/payoff equivalence
holds for auctions with the same allocation rule.
Insurance: Optimal to underinsure low-risk types to get high-risk types
to pay high price for full insurance.
Taxation: Optimal to impose positive marginal labor tax on low-ability
types to get high-ability types to work harder.
With contiuum of types, model consistent with positive marginal taxes on
high-ability types.