Professional Documents
Culture Documents
A. Nicolò
(University of Padova)
May 2020
ũi (si (·) , s−i (·)) ≥ ũi si0 (·) , s−i (·)
Proof.
Immediate.
max (a − (q1∗ + q2 )) q2 − cH q2
q2H
FOC
a − q1∗ − cH
q2H ∗ =
2
Similarly,
a − q1∗ − cL
q2L∗ =
2
FOC
a − µq2H ∗ − (1 − µ)q2:L∗
q1∗ =
2
A Bayesian Nash equilibrium simultaneously solve the three equations:
a−q2H −cH a − q L − cL
2
a−µ( )−(1−µ)( ) a−(1−µ)cL +µcH
q1∗ = 2
2
2
⇒ q1∗ = 3
a−(1−µ)cL +µcH
a− −cH
q2H ∗ = 3
2 ⇒ q2H ∗ = 31 a − 12 cH − 61 µcH + 16 cL (1 − µ)
a−(1−µ)cL +µcH
a − − c
q2L∗ = 3
2
L
⇒ q2L∗ = 31 a − 12 cL − 16 µcH + 16 cL (1 − µ)
db −1
−b −1 (bi∗ (vi )) + (vi − bi∗ (vi )) = 0
dbi |bi =bi∗ (vi )
1
−b −1 (bi∗ (vi )) + (vi − bi∗ (vi )) 0 = 0
b (vi )|bi =bi∗ (vi )
db −1
−b −1 (bi∗ (vi )) + (vi − bi∗ (vi )) = 0
dbi |bi =bi∗ (vi )
1
−b −1 (bi∗ (vi )) + (vi − bi∗ (vi )) 0 = 0
b (vi )|bi =bi∗ (vi )
Then
1
−vi + (vi − b ∗ (vi )) = 0,
b ∗0 (vi )
b ∗0 (vi )vi + b ∗ (vi ) = vi
vi2
b ∗ ( vi ) vi = + const.
2
However the equality holds for all vi ≥ 0 and therefore also for vi = 0.
Therefore const = 0 and we can conclude
vi
b ∗ (vi ) = .
2