.
Step 1: with the penalty scheme is incentive compatible.
Let and is given. Consider an arbitrary bidder . When the bidder has a true type of and reports , there are two possibilities of the reported demand: or .
Consider the case where . Then, the bidder does not have to consider the activation of the penalty scheme, thus the expected utility can be written as
|
|
|
|
|
|
|
|
|
|
|
|
If ,
|
|
|
|
|
|
|
|
|
The last inequality holds since is non-decreasing with respect to . Similarly, if ,
|
|
|
|
|
|
|
|
|
Since , every bidder has no reason to misreport the marginal value . Furthermore, since is non-decreasing with respect to , the bidderβs expected utility is maximized when .
Then, consider the case where . Then, the bidder has to consider the activation of the penalty scheme if the goods are over-allocated. Then, the bidderβs expected utility satisfies the following.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The second inequality holds since , and the last inequality holds since for every . Then, the bidder has no reason to overbid the demand regardless of the reported value , which completes the proof of incentive compatibility.
Step 2: with the penalty scheme is individually rational.
For any given state , consider an arbitrary bidder . Then, for , . It follows that . Also, . Therefore,
|
|
|
Step 3: with the penalty scheme maximizes the sellerβs expected revenue.
Consider the case where . Then, by the revelation principle, any mechanism can be replicated by an incentive compatible, feasible direct mechanism. So, consider a direct mechanism . Since it is incentive compatible, individually rational, and feasible, the expected revenue of the seller who determines to sell units in the first period is
|
|
|
|
|
|
|
|
Then, for given state and for any , we have
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Therefore, we can conclude that when .
Then, suppose that the statement holds in the case of . That is, is a revenue-maximizing mechanism when the study period is . Claim that is also a revenue-maximizing mechanism when the study period is . For this purpose, consider an arbitrary incentive compatible mechanism . For , define sub-mechanism and . That is, each sub-mechanism starts at with units of the goods. By the assumption, we have . So, when the seller determines to sell units at state ,
|
|
|
|
|
|
|
|
|
|
|
|
Therefore, we can conclude that when , which completes the proof.
β