This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Approximately Optimal Auctions With a Strong Bidder

(
August 2025)
Abstract

We consider auctions with N+1N+1 bidders. Of these, NN are symmetric and N+1N+1 is “sufficiently strong” relative to the others. The auction is a “tournament” in which the first NN players bid to win the right to compete with N+1N+1. The bids of the first NN players are binding and the highest bidder proceeds to a second-price competition with N+1N+1.

When N+1N+1’s values converge in distribution to an atom above the upper end of the distribution of the NN bidders and the rest of the distribution is drained away from low values sufficiently slowly, the auction’s expected revenue is arbitrarily close to the one obtained in a Myerson (1981) optimal auction.

The tournament design is “detail free” in the sense that no specific knowledge of the distributions is needed in addition to the fact that bidder N+1N+1 is stronger than the others as required. In particular, no additional information about the value of the atom is needed. This is important since mis-calibrating by a small amount an attempt to implement the optimal auction can lead to large losses in revenue.

We provide an interpretation of these results as possibly providing guidelines to a seller on how to strategically “populate” auctions with a single bidder even when only weaker bidders are available. Both authors are grateful to EIEF in Rome for hospitality and support.

1 Introduction

Since Vickrey (1961) two benchmark auction formats have dominated a vast literature on auctions111We return to a limited attempt to situate our contribution in this landscape in Section 4 below., the second price and the first price auction (henceforth SA and FA respectively). This is so despite the fact that since Myerson (1981) we know that neither format is optimal except in very special circumstances.222See also Bulow and Roberts (1989).

We consider a “tournament” auction (henceforth TA) in which NN \geq 22 bidders bid for the right to compete with bidder N+1N+1. The highest of the NN bidders competes in a second-price contest with N+1N+1 for a single indivisible good. All bids are sealed, and the first-stage bids of the NN bidders are binding in the second-stage competition with N+1N+1.

We focus on the case of a bidder N+1N+1 that is sufficiently stronger than the first NN, just as we did in Anderlini and Kim (2024a). There, among other things, we studied the effects of a large NN. Here we work with a fixed NN, but with a distribution of N+1N+1’s values that approaches an atom above the upper bound of the distribution of values of the first NN bidders. It turns out that our TA is able to approximate the Myerson (1981) optimal auction (henceforth OA) in a surprisingly informationally parsimonious (or “detail free”) way.

We argue that our results can be interpreted as a way to give advice to a seller facing a single buyer. This will consist of guidelines on how to “populate” the auction with competing sellers even if they are all evidently weaker than the original single buyer.

2 A Shot in the Dark

Many of the desirable properties of our TA when the distribution of N+1N+1’s values becomes more and more concentrated on an atom above the distribution of values of the first NN bidders can be captured by looking at an extreme case. This lacks the “smoothness” required for general comparisons in which we will be interested below but is intuitively instructive.

The first NN bidders are symmetric and have independent private values viiidFv_{i}\overset{\mathrm{iid}}{\sim}F with support [0,v¯][0,\bar{v}]. The distribution FF is absolutely continuous with continuous density f(v)f(v) >> 0 v[0,v¯]\forall v\in[0,\bar{v}].333Absolute continuity is not needed for our example in this section. We include it here simply because these are our maintained assumptions on the distribution of the viv_{i}s in the general case we consider below.

The value ww of N+1N+1 is drawn independently from the viv_{i}s and has a discrete distribution given by

w={kwithprobabilityp0withprobability 1p\displaystyle w=\begin{cases}k{\mathrm{\;}with\;probability\;}p\\ 0{\mathrm{\;}with\;probability\;}1-p\end{cases} (1)

with k>v¯k>\bar{v} and p(0,1)p\in(0,1).

Ties naturally arise with positive probability in this example because of the discrete distribution of ww. We assume that ties in the first stage are resolved randomly with a positive probability of winning for each tied bidder. A tie in the second stage instead is always resolved in favor of N+1N+1.444This is obviously special and greatly simplifies the analysis of this example. No such assumption of asymmetric resolution of ties will be needed in the general case.

Denote by bi()b_{i}(\cdot) the bidding function of bidder i=1,,N+1i=1,\ldots,N+1. The following constitutes an equilibrium for the TA in the example at hand. The proof can be found in the Appendix.

Proposition 1 (Discrete Distribution)

Suppose that pkpk >> v¯\bar{v}. Then the following is an equilibrium555The equilibrium is essentially unique. For the first NN bidders, the value of bi(0)b_{i}(0) could be set at any level in [0,k][0,k], but any non-zero bid would involve playing a weakly dominated strategy. It also would not change the outcome of the TA, and hence it would not change the revenue. for the TA in the example at hand.

Bidder N+1N+1 bids his value, so that he sets bN+1b_{N+1} == ww for every ww \in {0,k}\{0,k\}. For every ii == 1,,N1,\ldots,N we have

bi(vi)={kifvi(0,v¯]0ifvi=0\displaystyle b_{i}(v_{i})=\begin{cases}k{\mathrm{\quad}if\quad}v_{i}\in(0,\bar{v}]\\ 0{\mathrm{\quad}if\quad}v_{i}=0\end{cases} (2)

The expected revenue generated by this equilibrium is pkpk. It follows that as pp approaches 11, the TA is approximately optimal in terms of expected revenue.

A key property of the equilibrium in Proposition 1 is the revenue it generates, approximating that of the OA as pp approaches 11. The fact that N+1N+1 bids kk when his value is kk is a straightforward consequence of the fact that the second stage is a second price contest and hence bidding one’s value is a weakly dominant strategy. This would be true in a standard second price auction as well of course.

If, with the same values, we opted for a standard SA instead of the TA, with probability pp the value of kk would be revealed ex-post via N+1N+1’s bid. However the expected revenue would equal the expected value of first order statistic of the first NN values and hence would be bounded above by v¯\bar{v}. The value of kk would be revealed, but “too late” to be captured by the auctioneer’s revenue.

Of course, if the auction design could incorporate information about the actual value of kk, then capturing the expected revenue as in the TA would be straightforward. The auctioneer could set a reserve price of rr for N+1N+1 “close” to (below) kk, and thus obtain an expected revenue bounded below by prpr.

The difference between the TA we described and the SA with a reserve price lies in the information that is required in the auction design. The TA we described does not require any information about the value of kk to generate revenue pkpk. While it clearly requires the knowledge of the identity of the strong bidder (namely N+1N+1), it is detail free in this crucial dimension.

Setting the reserve price in the standard second price auction in the absence of precise information about kk instead is very much a “shot in the dark.” Any distance between rr and kk “from below” is correspondingly costly in terms of expected revenue. Setting an rr above kk decreases expected revenue discontinuously to a level bounded above by v¯\bar{v}. In addition, in this case the outcome also fails to be ex-post efficient since N+1N+1 will not win when his value is kk. Overall surplus (the sum of payoffs) also drops discontinuously once rr exceeds kk.

The purpose of this paper is to show that the ability of the TA format to approximate the OA expected revenue generalizes considerably while retaining the informational parsimony showcased in the example, which the OA in general does not posses.

3 Outline

The material in the rest of the paper is organized as follows. In Section 4 we attempt to place our contribution in the context of the enormous extant literature. In Section 5 we present the model in full detail. Section 6 presents some preliminary results, guaranteeing existence and presenting a general “overbidding” feature of the TA that underlies our results.

In Section 7 we begin by discussing the trade-off between optimality and ex-post efficiency for a SA in our strong bidder set-up and then we present our main result. In a nutshell, the TA approximates the OA in our set-up. Crucially, the TA does not use any information about kk other than the fact that it is greater than v¯\bar{v}.

In Section 8 we examine how attempting to use a SA with a reserve price to approximate the OA is an enterprise fraught with difficulties. Miscalibrating the reserve price relative to the atom the in the limit distribution of N+1N+1’s values can backfire in several ways. Two are the equivalent of what we highlighted in the discrete distribution example of Section 2. An additional one arises because the way the reserve price approaches kk is “mismatched” with the way the distribution of values for N+1N+1 converges to an atom on kk.

Section 9 examines a modification of our basic TA design that may be appealing in its own right and that sheds light on a key assumption of the model.

In Section 10, we turn the interpretation of our main result, so to speak, on its head and we conclude the paper. We argue at some length that our results can be interpreted as providing some compelling “advice” to a seller facing a single buyer and thus an extreme version of the shot in the dark problem we mentioned above.

To streamline, all proofs have been gathered in an Appendix. Any item (equations and so on) with a numbering that is prefaced by an “A” is to be found in the Appendix.

4 Relation to the Literature

The work-horses of a truly vast literature on auctions that has developed since Vickrey (1961) are the first- and second-price auctions (FA and SA respectively).666The enormous edited collection presented in Klemperer (2000) is a good way to get a sense of the sheer size of the extant literature. McAfee and McMillan (1987) systematically lay out the state of the literature in the late 80s.

A classic paper by Myerson (1981) presents an elegant solution to the problem of finding the optimal auction (OA) for selling an indivisible object to a given set of potential buyers. In general optimal auctions need to take into account many details of the distributions of values and do not fall neatly under either of the two main formats. The information on the distribution of values may need to be incorporated in “personalized” reservation prices and “priority levels” and this makes the OA difficult to implement and not suited to many practical applications.777See Bulow and Roberts (1989). This has guided a vast literature to examine variations of the two basic formats and their effects on bidders and revenue.

Our TA displays desirable properties in the case of asymmetric bidders, with one bidder (N+1N+1) being stronger than the first NN \geq 22. Maskin and Riley (2000) studied asymmetric auctions. They focus on the comparison of SA and FA from both the bidders’ and the seller’s point of view. Their insights are difficult to compare with our set up because they study a a two-bidder environment. Instead our set up only makes sense if there are three or more bidders (N2N\geq 2).

A vigorous empirical and theoretical literature on procurement auctions going back to at least Hendricks and Porter (1988) and extending all the way to the more recent Athey, Levin, and Seria (2011) (among others) is concerned with the effects of asymmetric information across bidders. In a procurement set-up it seems natural to conjecture that incumbents have a substantial informational advantage over newcomers. The strong N+1N+1 bidder assumption seems to broadly fit a procurement environment with a known strong insider.

In Anderlini and Kim (2024a)888See also the working paper that it replaced, Anderlini and Kim (2024b). we show that with a strong N+1N+1 overbidding999Bidding above one’s value. on the part of the first NN bidders arises naturally in the TA, giving it an advantage in terms of expected revenue over the SA. Surprisingly, this remains true even in the limit as NN becomes large.

Here NN is given and we are concerned with a strong N+1N+1 bidder with a distribution of values that converges to an atom. We are able to compare the TA with the OA in the limit and show that expected revenue in the TA converges to the OA revenue. Unlike the OA our TA design is parsimonious in terms of the bidders’ distributions of values. What is needed is the knowledge that N+1N+1 is the stronger bidder, that he is indeed sufficiently stronger and that his distribution of values is concentrated in the sense of being to an atom.101010If we pursue further the idea that the stronger bidder is an insider in a procurement set-up, it seems natural to conjecture that past experience would make his distribution of values correspondingly concentrated. This observation is related to our discussion in section 10. The actual value that the atom assigns to the object for sale is not an input of the design of the TA. In this sense the TA is informationally parsimonious or “detail free.”111111Bergemann and Morris (2013) investigate the robustness of the equilibrium outcomes of Bayesian games to their information structure. Their set up is extremely different from the one we analyze here, but our informal notion of informational parsimony (“detail free”) is of course related to the notion of robustness in their work.

5 Model

5.1 Baseline Model

A single indivisible object is for sale and there are N+13N+1\geq 3 bidders. The first NN compete for the right to enter a second-price contest with N+1N+1. The highest of the first NN bids ii^{*} wins and proceeds to the second stage. The highest of bib_{i^{*}} and bN+1b_{N+1} wins the object and pays a price equal to the bid of the other.

All bids are sealed and binding, and any ties (in the first or second stage) are resolved by a random draw that gives positive probability of winning to all tied bids.

The values of the first NN bidders are exactly as in the discrete distribution example of Section 2. The second-stage bidder N+1N+1 has value wGw\sim G with support [0,w¯][0,\bar{w}]. The distribution GG is absolutely continuous with density g(w)g(w) >> 0 w[0,w¯]\forall w\in[0,\bar{w}] that is continuously differentiable on [0,w¯][0,\bar{w}]. The value ww is drawn independently of the values viv_{i} of the first stage bidders. The second-stage bidder is “stronger” in the sense that E[w]v¯E[w]\geq\bar{v}.

These assumptions will be maintained throughout.

5.2 Convergence

Our main focus is the behavior of the baseline model when the distribution GG of N+1N+1’s values converges to an atom above v¯\bar{v}. To do this, we define a sequence of random variables {wl}l=1\{w_{l}\}_{l=1}^{\infty} with distributions GlG_{l} each satisfying the maintained assumptions of the baseline model. Moreover, we will assume that

wl𝑑k>v¯\displaystyle w_{l}\xrightarrow{d}k\;>\;\bar{v} (3)

and121212In the proof of Proposition 6 it will be apparent that (4) is equivalent to stipulating that liml\lim_{l\to\infty} E[wl|wlc]E[w_{l}\,|\,w_{l}\leq c] == 0 \forall cc \in (0,k)(0,k).

limlGl(c2)Gl(c1)Gl(c2)=0whenever 0<c1<c2<k\displaystyle\lim_{l\to\infty}\frac{G_{l}(c_{2})-G_{l}(c_{1})}{G_{l}(c_{2})}=0\quad{\mathrm{w}henever}\;0<c_{1}<c_{2}<k (4)

Condition (3) is a standard one that stipulates that the sequence {wl}l=1\{w_{l}\}_{l=1}^{\infty} converges in distribution to a degenerate random variable that assigns probability 11 to the value kk. Condition (4) is less familiar. Intuitively, we require that along the sequence the probability mass is drained away from low values sufficiently slowly. We return to the intuitive role of this condition in Sections 7 and 8. Section 9 discusses a modification of our TA design that would allow (4) to be dispensed with entirely. For the time being, we notice that an appropriately “smoothed out” version of the discrete distribution we used in Section 2 will fit the bill.

6 Preliminary Results

Since the second stage of the TA is a second price contest, it follows from standard arguments that it is a weakly dominant strategy for N+1N+1 to set bN+1b_{N+1} == ww.131313For future reference, note that weak dominance remains true when the auction is modified so that a reserve price is set for N+1N+1. Throughout, we will assume that in equilibrium this is indeed the case. In the description of any equilibrium, we will actually omit to specify bN+1()b_{N+1}(\cdot), it being understood that it is truthful as above.

We will also restrict attention throughout to equilibria that are symmetric in the sense that bi()b_{i}(\cdot) is the same for every ii == 1,,N1,\ldots,N, and when this does not cause ambiguity, we will just denote this common bidding function by b()b(\cdot). Moreover, we will restrict attention to the case in which b()b(\cdot) is strictly increasing. Both these restrictions are without loss of generality. However, due to the novel format of the TA, the existence of such a b()b(\cdot) requires proof.

Proposition 2 (Existence)

Under our maintained assumptions, there exists a b()b(\cdot) that constitutes a symmetric equilibrium of the TA. Moreover, any such b()b(\cdot) must be strictly increasing.

The fact that the first NN bidders in equilibrium bid above their respective values is a key feature of the TA. It underlies the results in Anderlini and Kim (2024a), and the approximate optimality one we present below in Section 7. It appears with its proof as a Lemma (the only one) in the online appendix to Anderlini and Kim (2024a). We reproduce it here purely for the sake of completeness.

Proposition 3 (Overbidding)

Let b()b(\cdot) be a strictly increasing function that constitutes an equilibrium for the TA under our maintained assumptions. Then

b(v)>vv(0,v¯]\displaystyle b(v)\;>\;v\qquad\forall\,v\in(0,\bar{v}] (5)

Intuitively, the equilibrium overbidding of Proposition 3, is the result of the interplay between the two-stage structure of the TA and the second-price nature of the second-stage contest.

The only way for one of the first NN bidders with value viv_{i} to achieve a positive payoff is to win the first stage. This generates acute competition among the NN weaker bidders. The potential downside of bidding above value in order to win the first stage is mitigated by the nature of the second stage. Since this is a second price contest, with some probability the price paid will still be below viv_{i}. The balance of these two forces yields the optimal bid bi(vi)b_{i}(v_{i}), which under the maintained assumptions of Subsection 5.1 will be above viv_{i}.

7 Approximate Optimality of the Tournament Auction

Our results in this and the next section concern auctions with a sequence of distributions of values. Throughout this and the next subsection we work with our maintained assumptions of Subsection 5.1 and with a sequence of {wl}l=1\{w_{l}\}_{l=1}^{\infty} satisfying the convergence conditions (3) and (4).

Some new notation is needed. We let RlTAR_{l}^{TA}, RlOAR_{l}^{OA} and RlSAR_{l}^{SA} be the expected revenue of the Tournament, Optimal and Second Price auctions respectively along the sequence {wl}l=1\{w_{l}\}_{l=1}^{\infty}. Similarly SlTAS_{l}^{TA}, SlOAS_{l}^{OA} and SlSAS_{l}^{SA} will be the expected total surplus (expected sum of payoffs) generated by the three auction formats along the sequence. Finally, vq:Nv_{q:N} is the qq-th order statistic of the random variables v1,,vNv_{1},\ldots,v_{N}.

An OA need not be efficient.141414Efficient here means maximizing the expected total sum of payoffs. Ex-post efficient has the usual meaning of selling to the highest valuer with probability one. It may well be that that to maximize expected revenue it may be optimal to set a reserve price that induces the good not to be sold in some cases, thus creating an inefficiency. This is a pervasive phenomenon, but as Myerson (1981) points out it is especially apparent and intuitive in the case of a single bidder.151515We will return to single bidders below in Section 10.

The trade-off between revenue and efficiency in our context is well exemplified by the SA. Clearly, the expected revenue of the SA is bounded above by v¯\bar{v} << kk. On the other hand the SA is ex-post efficient, and hence overall efficient. Given that {Gl}l=1\{G_{l}\}_{l=1}^{\infty} converges in distribution to to kk as in (3), this easily implies that SlSAS_{l}^{SA} converges to kk.

It is interesting to notice that while the trade off between revenue and efficiency is present before we reach the limit, our set up implies that there the trade off vanishes the limit. Intuitively if the limit expected revenue is kk, then it must be that the N+1N+1 bidder is the one that obtains the object with probability closer and closer to 11. This is simply because kk >> v¯\bar{v}, and N+1N+1 is the only bidder who can possibly end up paying a price near kk in any equilibrium.

The intuition we just proposed concerning the vanishingly small trade off between optimality and efficiency turns out to be correct, as our next proposition shows.

Proposition 4 (No Limit Inefficiency)

Consider a sequence of auction mechanisms that generate a sequence of equilibrium expected revenues R~l\tilde{R}_{l} such that limlR~l\lim_{l\rightarrow\infty}\tilde{R}_{l} == kk, and let S~l\tilde{S}_{l} be the corresponding sequence of expected surpluses. Then

limlS~l=k\displaystyle\lim_{l\rightarrow\infty}\tilde{S}_{l}\;=\;k (6)

Somewhat unsurprisingly, the OA yields revenue kk in the limit.

Proposition 5 (Optimal Auction Revenue)
limlRlOA=k\displaystyle\lim_{l\rightarrow\infty}R^{OA}_{l}\;=\;k (7)

Combining Propositions 4 and 5 we immediately know that the OA is in fact efficient in the limit. Formally

limlSlOA=k\displaystyle\lim_{l\rightarrow\infty}{S}^{OA}_{l}\;=\;k (8)

The next proposition embodies our main result. It relies on the systematic overbidding of the first NN bidders identified in Proposition 3 above, and it generalizes what we saw in the discrete distribution example of Proposition 1.

Proposition 6 (Tournament Auction Revenue)
limlRlTA=k\displaystyle\lim_{l\rightarrow\infty}R^{TA}_{l}\;=\;k (9)

The TA also exhibits a lack of limit trade off between revenue and efficiency since it approximates the OA. Proposition 6 generalizes Proposition 1 to the smooth case that allows a proper comparison with the OA of Myerson (1981).

The discrete example of Section 2 helps to understand intuitively the role that (4) plays in the argument behind Proposition 6. Condition (4) ensures that “enough” probability is left on “low values” of ww as we approach the limit atom on kk in a way that parallels the probability mass 1p1-p left on w=0w=0 in the discrete example of Section 2. This in turn constitutes enough of an incentive (the likelihood of a low second stage sale price) for the first NN players to bid sufficiently near kk as we approach the limit (to bid kk in the discrete example) to reach the conclusion in of Proposition 6.

As we emphasized before, in our view the key feature of the TA is that it’s design does not utilize any information about the value of kk. The “shot in the dark” problem that we found in Section 2 is solved by the TA in the general case.

8 Miscalibration

Myerson (1981) shows that the OA for a seller facing a single buyer is without loss of generality characterized by a single reserve price rr. The seller announces rr, and then the buyer either buys the object at rr or the object remains unsold. The reserve price depends on the entire distribution of values for the single buyer.

Our set up is in some sense close to the single buyer case, especially when we are close to the limit as ll becomes large and N+1N+1’s value approaches the atom on kk. A natural question to ask is then the following. Can the OA be approximated by picking an appropriate sequence of reserve prices in a second price auction setting? This can in fact be done, but it is subject to a “shot in the dark” miscalibration problem that is even more pervasive than the one that we identified in the discrete distribution example of Section 2.

We are interested in the general version of the miscalibration question we examined in Section 2. To do this we consider the sequence of distributions GlG_{l} as in Subsection 5.2 satisfying the convergence properties set out in (3) and (4), together with an sequence of reserve prices {rl}l=1\{r_{l}\}_{l=1}^{\infty}. The objective is to examine the expected revenue and surplus of the sequence of second price auctions with values GlG_{l} and reserve prices rlr_{l} that apply to bidder N+1N+1. These will be denoted by RlSA(rl)R^{SA}_{l}(r_{l}) and SlSA(rl)S^{SA}_{l}(r_{l}) respectively.

Our first result says that when GlG_{l} is close to the limit it is always possible to chose rlr_{l} so that the TA is almost optimal in terms of revenue.

Proposition 7 (Approximating Sequence)

There exists a sequence {rl}l=1\{r_{l}\}_{l=1}^{\infty} such that

limlRlSA(rl)=k\displaystyle\lim_{l\to\infty}R_{l}^{SA}(r_{l})=k (10)

Any such sequence must satisfy limlrl=k\lim_{l\to\infty}r_{l}=k.

The perils of undershooting kk or overshooting it are the exact analogues of what the discrete example of Section 2 suggests. Undershooting is costly in terms of expected revenue, and the magnitude of the cost is continuously related to the amount of undershooting. Efficiency is guaranteed in the limit.

Proposition 8 (Undershooting)

Suppose that limlrl=r¯\lim_{l\to\infty}r_{l}=\bar{r} \in (v¯,k)(\bar{v},k). Then

limlRlSA(rl)=r¯<kandlimlSlSA(rl)=k\displaystyle\lim_{l\to\infty}R_{l}^{SA}(r_{l})=\bar{r}<k\qquad{\mathrm{a}nd}\quad\lim_{l\to\infty}S_{l}^{SA}(r_{l})=k (11)

On the other hand, overshooting is much more perilous than undershooting. Any amount of overshooting yields a discontinuously lower expected revenue and surplus. Bidder N+1N+1 is just not willing to buy at the reserve price.

Proposition 9 (Overshooting)

Suppose that limlrl=r¯\lim_{l\to\infty}r_{l}=\bar{r} >k>k. Then

limlRlSA(rl)=E[v2:N]<E[v1:N]=limlRlSA<v¯<k\displaystyle\lim_{l\to\infty}R_{l}^{SA}(r_{l})=E[v_{2:N}]<E[v_{1:N}]=\lim_{l\to\infty}R_{l}^{SA}<\bar{v}<k (12)

and

limlSlSA(rl)=E[v1:N]<v¯<k\displaystyle\lim_{l\to\infty}S_{l}^{SA}(r_{l})=E[v_{1:N}]<\bar{v}<k (13)

From Proposition 7 we see that while (10) implies that limlrl=k\lim_{l\to\infty}r_{l}=k, the reverse may not be true. This is in fact the case. Not all sequences {rl}\{r_{l}\} that converge to kk suffice to approximate the OA expected revenue as in Proposition 7. Convergence of {rl}\{r_{l}\} to kk is necessary but not sufficient.

Given Propositions 8 and 9, this is particularly surprising when the sequence {rl}\{r_{l}\} approaches kk from below since a limit reserve price below kk is not discontinuously costly. This is the focus of our next proposition.

Proposition 10 (Convergence From Below)

Fix a pp [0,1]\in[0,1]. For any such pp there exists a sequence {Gl}\{G_{l}\} converging to kk as in (3) and (4) and a sequence of reservation prices {rl}l=1\{r_{l}\}_{l=1}^{\infty} with rlkr_{l}\rightarrow k and rlr_{l} << kk \forall ll such that

limlRlSA(rl)=pE[v2:N]+(1p)k\displaystyle\lim_{l\to\infty}R_{l}^{SA}(r_{l})=pE[v_{2:N}]+(1-p)k (14)
limlSlSA(rl)=pE[v1:N]+(1p)k\displaystyle\lim_{l\to\infty}S_{l}^{SA}(r_{l})=pE[v_{1:N}]+(1-p)k (15)

Intuitively condition (4) plays a key role in the argument. As GlG_{l} approaches the atom kk, it could be that enough probability is left “near zero” and that rlr_{l} approaches kk fast enough so that the combined effect of this speed mismatch is almost the same as a reserve price set above kk.

There is a sense in which Proposition 10 indicates that “a lot” of information about the value of kk and GlG_{l} may need to be taken into account for the SA with a reserve price auction design to be failsafe. This is not the case for the TA.

9 Detail Free “Auctioneer Intervention”

As we anticipated, we return to the role and interpretation of our assumption that as wlw_{l} converges to an atom kk, the rest of the distribution should be drained away from low values sufficiently slowly — namely condition (4) in Subsection 5.2. We do this informally since the argument that substantiates our claim is a minor modification of the proof of Proposition 6, our main result. Our discrete example of Section 2 provides a strong intuition as well.

Suppose that we have a sequence of auctions with a strong bidder satisfying our baseline assumptions of Subsection 5.1 and with {wl}l=1\{w_{l}\}_{l=1}^{\infty} converging to an atom kk, satisfying (3) (convergence in distribution) but not necessarily (4) (slow drain from low values).

We now let the auctioneer “intervene” in the TA design in an essentially detail free way. By this we mean in a way that only uses “low grade information” about kk. In particular, if the auctioneer knows that kk >> v¯\bar{v} then he will be able to pick a pp \in (0,1)(0,1) such that pkpk >> v¯\bar{v}.161616It is interesting to notice that, trivially, the “tightness” of the condition pkpk >> v¯\bar{v} goes down when kk is larger and/or v¯\bar{v} is smaller. It is easier to satisfy as N+1N+1 becomes more and more stronger than the first NN bidders. Then the auctioneer can modify the TA design by announcing in advance that after the sealed bids have been submitted he will use a randomization device that will change N+1N+1’s bid to be equal to zero with probability 1p1-p. After the draw has been executed the rules of the TA are exactly as in our analysis so far — the winner of the first NN bidders enters a second price context with the (modified if appropriate) bid of N+1N+1.

The limit (as ll \rightarrow \infty) expected revenue of this modified TA can be easily seen to be equal to pkpk. Thus, as the distribution of values of N+1N+1 becomes more concentrated on kk, the auctioneer can capture a sizable fraction of the surplus kk. Condition (4) can be dispensed with by modifying the TA design with the randomized auctioneer intervention we have described.

10 Populating Auctions with a Strong Bidder

We conclude the paper describing a further possible extension of the model that we believe also delivers a key insight into what drives our results at a basic “information structure” level.

A key observation in Myerson (1981) characterizes the OA in the case of a single bidder. In this case the seller should offer to sell at a given price and keep the object if the buyer is not willing to buy at that price. The computation that yields the reserve price of the optimal single buyer uses a lot of information about the distribution of the buyer’s value. It is intuitively not unlike the computation that a monopolist carries out, except that the marginal revenue is a probabilistic object in the auction case.

For the reasons we discussed intuitively in Section 8 if the distribution of values is very concentrated (nearing an atom kk) the possibility of miscalibrating the reserve price yields potentially discontinuously large revenue losses for the seller. Information about kk is very valuable to the seller.

Of course, there is a potential pitfall in our reasoning above. If the seller does not have good information about kk, then why is the distribution of his values concentrated around kk? Without going into any formal details (they are standard), one can resolve the issue using a device familiar from the literature on auctions with affiliated values. We can imagine Nature first drawing kk and then (independently) the actual value of the buyer from a distribution narrowly concentrated around kk.

The two stage draw we have described is of course without consequence if the auction remains one with one buyer and the seller remains uninformed about kk. However, we think our main result above (Proposition 6) suggests a way in which the seller may attempt to ameliorate his position in this case. Suppose that the seller who does not know kk, knows instead that there are potential bidders that, while being weaker than the original one, have accurate information about it — they know kk in the sense that they observe the outcome of the first draw that determines kk.171717The discrete example of Section 2 tells us that the potential weak bidders need not know kk with certainty. They could just receive a sufficiently precise signal (binary) about the draw that determines kk. If the second stage draw is degenerate this reproduces that exact information structure of Section 2, but a moderately more general statement holds. We mentioned procurement with a strong insider in Section 4 discussing related literature. This set up seems to fit well the scenario we are informally describing here.

The potential bidders may simply not be aware of the opportunity to bid, or may be not sufficiently incentivized to participate because they know themselves to be much weaker than the insider. Proposition 6 says that somewhat surprisingly the seller may stand to gain very substantially by somehow attracting the weaker bidders to participate. In fact Proposition 6 says that in the limit the seller will be able to extract the entire surplus kk from the original single buyer.181818In a very different context Milgrom and Weber (1982) find that the equilibrium features of the auction they analyze may provide support for the fact that the seller may want attempt to change the informational structure of the game by providing “expert advice” to buyers.

We believe this observation about enticing weaker but well informed participants to be interesting in its own right. However, this also sheds a further light on a key insight provided by Proposition 6. What drives the near optimality of the TA is that, under the right conditions, it allows the seller to leverage to his advantage the information of the weaker bidders even if he does not have the information himself. In a nutshell, this is what drives the informationally parsimonious nature of the approximately optimal TA format that we have investigated in this paper.

References

  • (1)
  • Anderlini and Kim (2024a) Anderlini, L., and G. Kim (2024a): “Procurement with a strong insider,” Economics Letters, 241, 111785.
  • Anderlini and Kim (2024b)    (2024b): “Tournament Auctions,” ArXiv Theoretical Economics https://doi.org/10.48550/arXiv.2403.08102, Georgetown University and Einaudi Institute for Economics and Finance.
  • Athey, Levin, and Seria (2011) Athey, S., J. Levin, and E. Seria (2011): “An Empirical Study of an Auction with Asymmetric Information,” The Quarterly Journal of Economics, 78, 865–883.
  • Bergemann and Morris (2013) Bergemann, D., and S. Morris (2013): “Robust Predistions In Games With Incomplete Information,” Econometrica, 81, 1251–1308.
  • Bulow and Roberts (1989) Bulow, J., and J. Roberts (1989): “The Simple Economics of Optimal Auctions,” Journal of Political Economy, 97, 1060–1090.
  • Hendricks and Porter (1988) Hendricks, K., and R. H. Porter (1988): “An Empirical Study of an Auction with Asymmetric Information,” The American Economc Review, 78, 865–883.
  • Klemperer (2000) Klemperer, P. (ed.) (2000): The Economic Theory of Auctions, The International Library of Critical Writings in Economics. Cheltenham: Edward Elgar Publishing.
  • Maskin and Riley (2000) Maskin, E. S., and J. Riley (2000): “Asymmetric Auctions,” Review of Economic Studies, 67, 413–438.
  • McAfee and McMillan (1987) McAfee, R. P., and J. McMillan (1987): “Auctions and Bidding,” Journal of Economic Literature, 25, 699–738.
  • Milgrom and Weber (1982) Milgrom, P. R., and R. J. Weber (1982): “A Theory of Auctions and Competitive Bidding,” Econometrica, 50, 1089–1122.
  • Myerson (1981) Myerson, R. (1981): “Optimal Auction Design,” Mathematics of Operations Research, 6, 58–63.
  • Vickrey (1961) Vickrey, W. (1961): “Counterspeculation, Auctions, and Competitive Sealed Tenders,” The Journal of Finance, 16, 8–37.

Appendix

A.1 The Proof of Proposition 1

Assume that bidders i-i bid according to (1) and consider bidder ii == 1,,N1,\ldots,N with value viv_{i} == 0. If he bids 0 as the proposed equilibrium requires, his expected payoff is 0. If he bids bib_{i} >> 0 and he wins clearly his payoff cannot be greater than zero since the price cannot be negative. If he bids bib_{i} >> 0 and he does not win, then his payoff is zero. Hence he has no incentive to deviate from the proposed equilibrium when viv_{i} == 0.

Now consider bidder ii with value viv_{i} >> 0. If he bids kk as the proposed equilibrium requires, he wins the first stage with positive probability as the tie with the other first stage bidders is resolved in his favor with positive probability, say mm \in (0,1)(0,1). He then wins the object in the second stage if and only if the bid of N+1N+1 is 0. In this case he gets the object and pays a price of 0. So, by bidding kk as required ii has an expected payoff of (1p)mvi(1-p)mv_{i}. If instead ii bids bib_{i} << kk, he loses the first stage contest to the other i-i bidders. Hence his expected payoff in this case is 0. If he bids bb >> kk, he wins the first and second stage for sure and pays a price equal to the bid of N+1N+1. Therefore in this case his expected payoff is vpkv-pk \leq v¯pk\bar{v}-pk << 0. This is clearly enough to prove the proposition.  

A.2 The Proof of Proposition 2

The following are standard, but we repeat the statements here for the sake of completeness since they are used in the argument that follows.

Lemma A.1 (Schauder’s Fixed Point Theorem)

Suppose CC is a closed convex nonempty subset of a normed linear space and DD is a relatively compact subset of CC. Let F:CDF:C\rightarrow D be continuous. Then, FF contains a fixed point.

Lemma A.2 (Arzelà-Ascoli Theorem)

A family of continuous real-valued functions on [a,b][a,b] with <a<b<-\infty<a<b<\infty is relatively compact under the sup-norm if and only if it is uniformly bounded and uniformly equicontinuous.

The actual proof of Proposition 2 is divided in 6 steps. Steps 1-5 establish existence, and Step 6 proves that any b()b(\cdot) inducing an equilibrium must be strictly increasing.

Step 1

We define the function Φ\Phi and establish some of its key properties for use in future steps.

Define the function Φ:[0,w¯][0,E(w)]\Phi:[0,\bar{w}]\rightarrow[0,E(w)] as below:

Φ(b)=E[w|wb].\displaystyle\Phi(b)=E[w|w\leq b]. (A.1)

It is immediately clear that Φ\Phi is differentiable on (0,w¯](0,\bar{w}] with

Φ(b)=g(b)G(b)[bΦ(b)]>0b(0,w¯].\displaystyle\Phi^{\prime}(b)=\frac{g(b)}{G(b)}[b-\Phi(b)]>0\quad\forall b\in(0,\bar{w}]. (A.2)

Furthermore, we can show that differentiability also holds at 0 with

Φ(0)=limb0E[w|wb]b=limb00bξg(ξ)𝑑ξbG(b)=limb0bg(b)bg(b)+G(b)=11+limb0G(b)bg(b)=12\displaystyle\begin{split}\Phi^{\prime}(0)&=\lim_{b\downarrow 0}\frac{E[w|w\leq b]}{b}=\lim_{b\downarrow 0}\frac{\int_{0}^{b}\xi g(\xi)\,d\xi}{bG(b)}\\ &=\lim_{b\downarrow 0}\frac{bg(b)}{bg(b)+G(b)}=\frac{1}{1+\lim_{b\downarrow 0}\frac{G(b)}{bg(b)}}=\frac{1}{2}\end{split} (A.3)

by applying L’Hopital’s rule twice along the way.

We can then also check that Φ\Phi^{\prime} is continuous on [0,w¯][0,\bar{w}]. This is immediate on (0,w¯](0,\bar{w}]. Then, also at 0, we can see that

limb0Φ(b)=limb0g(b)bG(b)[\n@space1Φ(b)b]\n@space=1Φ(0)=Φ(0).\displaystyle\lim_{b\downarrow 0}\Phi^{\prime}(b)=\lim_{b\downarrow 0}\frac{g(b)b}{G(b)}{\hbox{$\left[\vbox to0.0pt{}\right.\n@space$}}1-\frac{\Phi(b)}{b}{\hbox{$\left]\vbox to0.0pt{}\right.\n@space$}}=1-\Phi^{\prime}(0)=\Phi^{\prime}(0). (A.4)

Hence we may conclude that Φ\Phi is continuously differentiable wit ha strictly positive derivative on [0,w¯][0,\bar{w}]. It then immediately follows that Φ\Phi is invertible with Φ1:[0,E(w)][0,w¯]\Phi^{-1}:[0,E(w)]\rightarrow[0,\bar{w}]. Also, it follows that Φ1\Phi^{-1} is continuously differentiable with a strictly positive derivative on [0,E(w)][0,E(w)]. In particular, we note for future reference that (Φ1)(0)=1/Φ(0)=2(\Phi^{-1})^{\prime}(0)=1/\Phi^{\prime}(0)=2.

Finally, we note that

Φ(b)<bb(0,w¯]\displaystyle\Phi(b)<b\quad\forall b\in(0,\bar{w}] (A.5)
Φ1(ξ)>ξξ(0,E(w)].\displaystyle\Phi^{-1}(\xi)>\xi\quad\forall\xi\in(0,E(w)]. (A.6)
Step 2

We now define an ODE and some related functions that will be useful for future purposes.

The ODE is defined as below:

b(v)=H(b(v),v)H(b,v)(N1)1bvf(v)F(v)G(b)g(b){vΦ(b)}v(0,v¯],b(v,Φ1(v)).\displaystyle\begin{array}[]{c}b^{\prime}(v)=H(b(v),v)\\ H(b,v)\equiv(N-1)\frac{1}{b-v}\frac{f(v)}{F(v)}\frac{G(b)}{g(b)}\{v-\Phi(b)\}\quad\forall\;v\in(0,\bar{v}],\;b\in(v,\Phi^{-1}(v)).\end{array} (A.9)

Notice that any b:(0,v¯]+b:(0,\bar{v}]\rightarrow\mathbb{R}_{+} satisfying the above ODE would immediately have limv0b(v)=0\lim_{v\downarrow 0}b(v)=0. Hence we refer to b:[0,v¯]+b:[0,\bar{v}]\rightarrow\mathbb{R}_{+} as a solution to the ODE above if it satisfies (A.9) on (0,v¯](0,\bar{v}] and b(0)=0b(0)=0. Notice that any solution to the ODE above must be strictly increasing on [0,v¯][0,\bar{v}] since H(b,v)>0H(b,v)>0 on the defined region.

In order to establish our fixed point argument, it is convenient to work on the space (b/v,v)(b/v,v) rather than (b,v)(b,v). Hence we define the function

K(β,v)=H(βv,v)v(0,v¯],β(1,Φ1(v)/v).\displaystyle K(\beta,v)=H(\beta v,v)\quad\forall\;v\in(0,\bar{v}],\;\beta\in(1,\Phi^{-1}(v)/v). (A.10)

Notice then that KK is partially differentiable with respect to β\beta and that

K(β,v)β=(N1)f(v)vF(v)[\n@space1[G(βv)1v0βvξg(ξ)𝑑ξ][g(βv)v+(β1)g(βv)](β1)2g(βv)2]\n@space\displaystyle\frac{\partial K(\beta,v)}{\partial\beta}=(N-1)f(v)\frac{v}{F(v)}{\hbox{$\left[\vbox to0.0pt{}\right.\n@space$}}-1-\frac{[G(\beta v)-\frac{1}{v}\int_{0}^{\beta v}\xi g(\xi)\,d\xi][\frac{g(\beta v)}{v}+(\beta-1)g^{\prime}(\beta v)]}{(\beta-1)^{2}g(\beta v)^{2}}{\hbox{$\left]\vbox to0.0pt{}\right.\n@space$}} (A.11)

for all v(0,v¯],β(1,Φ1(v)/v)v\in(0,\bar{v}],\beta\in(1,\Phi^{-1}(v)/v).

Step 3

There exists δ^(0,v¯]\hat{\delta}\in(0,\bar{v}] and b:[0,δ^]+b:[0,\hat{\delta}]\rightarrow\mathbb{R}_{+} such that bb satisfies (A.9) on (0,δ^](0,\hat{\delta}] and b(0)=0b(0)=0.

This step is proved in 9 sub-steps, labelled from 3-a to 3-i.

Step 3-a: There exists δ1(0,v¯]\delta_{1}\in(0,\bar{v}] such that for every v(0,δ1]v\in(0,\delta_{1}], the function K(β,v)K(\beta,v) is strictly decreasing in β\beta on (1,Φ1(v)/v)(1,\Phi^{-1}(v)/v).

Consider (A.11). For all v(0,v¯],β(1,Φ1(v)/v)v\in(0,\bar{v}],\beta\in(1,\Phi^{-1}(v)/v) we have that

G(βv)1v0βvξg(ξ)𝑑ξ=[vΦ(βv)]G(βv)v>[vΦ(Φ1(v))]G(βv)v=0.\displaystyle G(\beta v)-\frac{1}{v}\int_{0}^{\beta v}\xi g(\xi)\,d\xi=[v-\Phi(\beta v)]\frac{G(\beta v)}{v}>[v-\Phi(\Phi^{-1}(v))]\frac{G(\beta v)}{v}=0. (A.12)

Furthermore, let us then define the region Rδ{(β,v):v(0,δ],β(1,Φ1(v)/v)}R_{\delta}\equiv\{(\beta,v):v\in(0,\delta],\beta\in(1,\Phi^{-1}(v)/v)\} for any δ(0,v¯]\delta\in(0,\bar{v}]. Then, since gg^{\prime} is continuous and limv0Φ1(v)/v=2\lim_{v\downarrow 0}\Phi^{-1}(v)/v=2 (see step 1), we have that

limδ0inf(β,v)Rδ(β1)g(βv)|g(0)|.\displaystyle\lim_{\delta\downarrow 0}\inf_{(\beta,v)\in R_{\delta}}(\beta-1)g^{\prime}(\beta v)\geq-|g^{\prime}(0)|. (A.13)

Also, we can see from the continuity of gg that

limδ0inf(β,v)Rδg(βv)v=+.\displaystyle\lim_{\delta\downarrow 0}\inf_{(\beta,v)\in R_{\delta}}\frac{g(\beta v)}{v}=+\infty. (A.14)

Thus, we can find δ1(0,v¯]\delta_{1}\in(0,\bar{v}] such that

g(βv)v+(β1)g(βv)0\displaystyle\frac{g(\beta v)}{v}+(\beta-1)g^{\prime}(\beta v)\geq 0 (A.15)

for all (β,v)Rδ1(\beta,v)\in R_{\delta_{1}}. Then, examining (A.11), it is clear that we have

K(β,v)β<0\displaystyle\frac{\partial K(\beta,v)}{\partial\beta}<0 (A.16)

for all (β,v)Rδ1(\beta,v)\in R_{\delta_{1}}, which clearly establishes the claim of this sub-step.

Step 3-b: We now construct the bounded space of functions on which we will later establish our fixed point existence argument.

Firstly, observe that for every v(0,δ1]v\in(0,\delta_{1}],

limβ1K(β,v)=+\displaystyle\lim_{\beta\downarrow 1}K(\beta,v)=+\infty (A.17)
limβΦ1(v)/vK(β,v)=0.\displaystyle\lim_{\beta\uparrow\Phi^{-1}(v)/v}K(\beta,v)=0. (A.18)

Then, by step 3-a above, it is clear that for every v(0,δ1]v\in(0,\delta_{1}], there exists a unique β(v)(1,Φ1(v)/v)\beta^{*}(v)\in(1,\Phi^{-1}(v)/v) such that K(β(v),v)=2N/(N+1)K(\beta^{*}(v),v)=2N/(N+1). Furthermore, we define β(0)=2N/(N+1)\beta^{*}(0)=2N/(N+1) so that β[0,δ1]\beta^{*}[0,\delta_{1}]\rightarrow\mathbb{R} is a well-defined function.

We then prove β\beta^{*} is continuous. Continuity at (0,δ1](0,\delta_{1}] is obvious, so we focus on continuity at 0. Suppose, without loss of generality, that there is some ϵ>0\epsilon>0 and {vn}n=1(0,δ1]\{v_{n}\}_{n=1}^{\infty}\subseteq(0,\delta_{1}] such that vn0v_{n}\downarrow 0 and β(vn)>β(0)+ϵ\beta^{*}(v_{n})>\beta^{*}(0)+\epsilon for all nn. Then, due to Step 3-a, we have that

K(β(0)+ϵ,vn)>K(β(vn),vn)=2NN+1\displaystyle K(\beta^{*}(0)+\epsilon,v_{n})>K(\beta^{*}(v_{n}),v_{n})=\frac{2N}{N+1} (A.19)

and so

limnK(\n@space2NN+1+ϵ,vn)\n@space2NN+1.\displaystyle\lim_{n\to\infty}K{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{2N}{N+1}+\epsilon,v_{n}{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}\geq\frac{2N}{N+1}. (A.20)

However, notice that for all β(1,2)\beta\in(1,2), we have

limv0K(β,v)=(N1)ββ1limv0[\n@spacef(v)vF(v)G(βv)βvg(βv)(\n@space1Φ(βv)v)\n@space]\n@space=(N1)ββ1(1Φ(0)β)=(N1)ββ1(112β),\displaystyle\begin{array}[]{c}\lim_{v\downarrow 0}K(\beta,v)=(N-1)\frac{\beta}{\beta-1}\lim_{v\downarrow 0}{\hbox{$\left[\vbox to0.0pt{}\right.\n@space$}}\frac{f(v)v}{F(v)}\frac{G(\beta v)}{\beta vg(\beta v)}{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}1-\frac{\Phi(\beta v)}{v}{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}{\hbox{$\left]\vbox to0.0pt{}\right.\n@space$}}\\ =(N-1)\frac{\beta}{\beta-1}(1-\Phi^{\prime}(0)\beta)\\ =(N-1)\frac{\beta}{\beta-1}(1-\frac{1}{2}\beta),\end{array} (A.24)

where the limit was computed based on results from step 1. Notice then that we can show

limv0K(\n@space2NN+1+ϵ,v)\n@space<2NN+1,\displaystyle\lim_{v\downarrow 0}K{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{2N}{N+1}+\epsilon,v{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}<\frac{2N}{N+1}, (A.25)

which is clearly a contradiction. Hence we have established the continuity of β\beta^{*}.

Given that 1<β(0)=2N/(N+1)<2=limv0Φ1(v)/v1<\beta^{*}(0)=2N/(N+1)<2=\lim_{v\downarrow 0}\Phi^{-1}(v)/v, we can then choose δ^(0,v¯]\hat{\delta}\in(0,\bar{v}] small enough such that

1<minv[0,δ^]β(v)maxv[0,δ^]β(v)<infv(0,δ^]Φ1(v)v.\displaystyle 1<\min_{v\in[0,\hat{\delta}]}\beta^{*}(v)\leq\max_{v\in[0,\hat{\delta}]}\beta^{*}(v)<\inf_{v\in(0,\hat{\delta}]}\frac{\Phi^{-1}(v)}{v}. (A.26)

We now define the functions

β¯(v)(\n@spacemaxξ[0,v]β(ξ))\n@space(1+ϵ+v)v[0,δ^]\displaystyle\overline{\beta}(v)\equiv{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\max_{\xi\in[0,v]}\beta^{*}(\xi){\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}(1+\epsilon^{+}v)\quad\forall\;v\in[0,\hat{\delta}] (A.27)
β¯(v)(\n@spaceminξ[0,v]β(ξ))\n@space(1ϵv)v[0,δ^]\displaystyle\underline{\beta}(v)\equiv{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\min_{\xi\in[0,v]}\beta^{*}(\xi){\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}(1-\epsilon^{-}v)\quad\forall\;v\in[0,\hat{\delta}] (A.28)

where ϵ+>0\epsilon^{+}>0 and ϵ>0\epsilon^{-}>0 are chosen to be small enough such that

1<β¯(δ^)<β¯(δ^)<infv(0,δ^]Φ1(v)v.\displaystyle 1<\underline{\beta}(\hat{\delta})<\overline{\beta}(\hat{\delta})<\inf_{v\in(0,\hat{\delta}]}\frac{\Phi^{-1}(v)}{v}. (A.29)

Notice then that β¯,β¯\overline{\beta},\underline{\beta} are both continuous. Also, β¯\overline{\beta} is stirctly increasing and β¯\underline{\beta} is strictly decreasing on [0,δ^][0,\hat{\delta}]. Finally, notice that

β¯(0)=β(0)=2NN+1=β¯(0)\displaystyle\underline{\beta}(0)=\beta^{*}(0)=\frac{2N}{N+1}=\overline{\beta}(0) (A.30)
β¯(v)<β(v),2NN+1<β¯(v)v(0,δ^].\displaystyle\underline{\beta}(v)<\beta^{*}(v),\frac{2N}{N+1}<\overline{\beta}(v)\quad\forall\;v\in(0,\hat{\delta}]. (A.31)

We then define the space ([0,δ^])\mathcal{M}([0,\hat{\delta}]) of all continuous functions γ:[0,δ^]\gamma:[0,\hat{\delta}]\rightarrow\mathbb{R} such that γ(v)[β¯(v),β¯(v)]\gamma(v)\in[\underline{\beta}(v),\overline{\beta}(v)] for all v[0,δ^]v\in[0,\hat{\delta}].

It is also useful to define the larger space 𝒩([0,δ^])\mathcal{N}([0,\hat{\delta}]) of all continuous functions γ:[0,δ^]\gamma:[0,\hat{\delta}]\rightarrow\mathbb{R} such that γ(0)=2N/(N+1)\gamma(0)=2N/(N+1). It is clear that ([0,δ^])𝒩([0,δ^])\mathcal{M}([0,\hat{\delta}])\subseteq\mathcal{N}([0,\hat{\delta}]).

Step 3-c: Consider the set 𝒮{(β,v):v(0,δ^],β[β¯(v),β¯(v)]}\mathcal{S}\equiv\{(\beta,v):v\in(0,\hat{\delta}],\beta\in[\underline{\beta}(v),\overline{\beta}(v)]\}. Then, there exists a constant K¯β\bar{K}_{\beta} such that |Kβ(β,v)|K¯β<|K_{\beta}(\beta,v)|\leq\bar{K}_{\beta}<\infty for all (β,v)𝒮(\beta,v)\in\mathcal{S}.

To prove this, we will establish the boundedness of each component of (A.11). Firstly, f(v)v/F(v)f(v)v/F(v) is continuous on (0,v¯](0,\bar{v}] with limv0f(v)v/F(v)=1\lim_{v\downarrow 0}f(v)v/F(v)=1, so it is clearly bounded on 𝒮\mathcal{S}.

Secondly, notice that β1β¯(δ^)1>0\beta-1\geq\underline{\beta}(\hat{\delta})-1>0 for all (β,v)𝒮(\beta,v)\in\mathcal{S}. Also, from the assumptions on gg, we can find constants g¯,g¯>0\underline{g},\overline{g}>0 such that g(w)[g¯,g¯]g(w)\in[\underline{g},\overline{g}] for all w[0,w¯]w\in[0,\bar{w}]. Hence it is clear that we may bound (β1)g(βv)(\beta-1)g(\beta v) away from 0 on (β,v)𝒮(\beta,v)\in\mathcal{S}.

Thirdly, G(βv)g(βv)/vg¯βvg¯vg¯2β¯(δ^)G(\beta v)g(\beta v)/v\leq\overline{g}\beta v\frac{\overline{g}}{v}\leq\overline{g}^{2}\overline{\beta}(\hat{\delta}) for all (β,v)𝒮(\beta,v)\in\mathcal{S}.

Fourthly, notice that

(\n@space1v0βvξg(ξ)𝑑ξ)\n@spaceg(βv)v(\n@space1vg¯0βvξ𝑑ξ)\n@spaceg¯v(\n@spaceg¯v)\n@space212(βv)212g¯2β¯(δ^)2\displaystyle{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{1}{v}\int_{0}^{\beta v}\xi g(\xi)\,d\xi{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}\frac{g(\beta v)}{v}\leq{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{1}{v}\overline{g}\int_{0}^{\beta v}\xi\,d\xi{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}\frac{\overline{g}}{v}\leq{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{\overline{g}}{v}{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}^{2}\frac{1}{2}(\beta v)^{2}\leq\frac{1}{2}\overline{g}^{2}\overline{\beta}(\hat{\delta})^{2} (A.32)

for all (β,v)𝒮(\beta,v)\in\mathcal{S}.

Fifthly, from the continuity of gg^{\prime}, it follows that gg^{\prime} is bounded on [0,w¯][0,\bar{w}].

Combining the above, we can clearly see the boundedness of Kβ(β,v)K_{\beta}(\beta,v) on 𝒮.\mathcal{S}.

Step 3-d: We now define mappings for which we will establish our fixed point arguments.

We first define 𝓣:([0,δ^])𝒩([0,δ^])\boldsymbol{\mathcal{T}}:\mathcal{M}([0,\hat{\delta}])\rightarrow\mathcal{N}([0,\hat{\delta}]) as below. Given γ([0,δ^])\gamma\in\mathcal{M}([0,\hat{\delta}]), define 𝓣γ:[0,δ^]\boldsymbol{\mathcal{T}}\gamma:[0,\hat{\delta}]\rightarrow\mathbb{R} as below:

𝓣γ(v)=1v0vK(γ(ξ),ξ)𝑑ξv(0,δ^]\displaystyle\boldsymbol{\mathcal{T}}\gamma(v)=\frac{1}{v}\int_{0}^{v}K(\gamma(\xi),\xi)\,d\xi\quad\forall\;v\in(0,\hat{\delta}] (A.33)
𝓣γ(0)=2NN+1.\displaystyle\boldsymbol{\mathcal{T}}\gamma(0)=\frac{2N}{N+1}. (A.34)

It remains to be established that 𝓣γ\boldsymbol{\mathcal{T}}\gamma defined as above belongs to 𝒩([0,δ^])\mathcal{N}([0,\hat{\delta}]). In particular, we must establish the continuity of 𝓣γ\boldsymbol{\mathcal{T}}\gamma at 0. This is done below. Firstly, by an application of L’Hopital’s rule,

limv01v0vK(γ(ξ),ξ)𝑑ξ=limv0K(γ(v),v).\displaystyle\lim_{v\downarrow 0}\frac{1}{v}\int_{0}^{v}K(\gamma(\xi),\xi)\,d\xi=\lim_{v\downarrow 0}K(\gamma(v),v). (A.35)

Then, we have that the above is equal to

limv0[K(γ(0),v)+{K(γ(v),v)K(γ(0),v)}].\displaystyle\lim_{v\downarrow 0}[K(\gamma(0),v)+\{K(\gamma(v),v)-K(\gamma(0),v)\}]. (A.36)

Since γ([0,δ^])\gamma\in\mathcal{M}([0,\hat{\delta}]), we have γ(0)=2N/(N+1)\gamma(0)=2N/(N+1). Then, by Step 3-b, we know that limv0K(γ(0),v)=2N/(N+1)\lim_{v\downarrow 0}K(\gamma(0),v)=2N/(N+1). Furthermore, by Step 3-c, we know that

|K(γ(v),v)K(γ(0),v)|K¯β|γ(v)γ(0)|,\displaystyle|K(\gamma(v),v)-K(\gamma(0),v)|\leq\bar{K}_{\beta}|\gamma(v)-\gamma(0)|, (A.37)

which converges to 0 as v0v\downarrow 0 due to the continuity of γ\gamma. Therefore, it follows that

limv0𝓣γ(v)=𝓣γ(0)=2NN+1,\displaystyle\lim_{v\downarrow 0}\boldsymbol{\mathcal{T}}\gamma(v)=\boldsymbol{\mathcal{T}}\gamma(0)=\frac{2N}{N+1}, (A.38)

which establishes our desired claim of continuity at 0. Thus, we have a well-defined mapping 𝓣:([0,δ^])𝒩([0,δ^])\boldsymbol{\mathcal{T}}:\mathcal{M}([0,\hat{\delta}])\rightarrow\mathcal{N}([0,\hat{\delta}]).

We then define the mapping 𝓤:([0,δ^])([0,δ^])\boldsymbol{\mathcal{U}}:\mathcal{M}([0,\hat{\delta}])\rightarrow\mathcal{M}([0,\hat{\delta}]) as below. Given γ([0,δ^])\gamma\in\mathcal{M}([0,\hat{\delta}]), define the function 𝓤γ:[0,δ^]\boldsymbol{\mathcal{U}}\gamma:[0,\hat{\delta}]\rightarrow\mathbb{R} as below:

𝓤γ(v)={β¯(v)if𝓣γ(v)<β¯(v)𝓣γ(v)ifβ¯(v)𝓣γ(v)β¯(v)β¯(v)if𝓣γ(v)>β¯(v)\displaystyle\boldsymbol{\mathcal{U}}\gamma(v)=\begin{cases}\underline{\beta}(v)\quad{\mathrm{i}f}\;\boldsymbol{\mathcal{T}}\gamma(v)<\underline{\beta}(v)\\ \boldsymbol{\mathcal{T}}\gamma(v)\quad{\mathrm{i}f}\;\underline{\beta}(v)\leq\boldsymbol{\mathcal{T}}\gamma(v)\leq\overline{\beta}(v)\\ \overline{\beta}(v)\quad{\mathrm{i}f}\;\boldsymbol{\mathcal{T}}\gamma(v)>\overline{\beta}(v)\end{cases} (A.39)

By construction it is clear that 𝓤γ([0,δ^])\boldsymbol{\mathcal{U}}\gamma\in\mathcal{M}([0,\hat{\delta}]).

Step 3-e: Under the sup-norm, 𝓤\boldsymbol{\mathcal{U}} is a continuous mapping.

Let γ1,γ2([0,δ^])\gamma_{1},\gamma_{2}\in\mathcal{M}([0,\hat{\delta}]). Then,

𝓤γ1𝓤γ2=maxv[0,δ^]|𝓤γ1(v)𝓤γ2(v)|maxv[0,δ^]|𝓣γ1(v)𝓣γ2(v)|=supv(0,δ^]|\n@space1v0v[K(γ1(ξ),ξ)K(γ2(ξ),ξ)]𝑑ξ|\n@spacesupv(0,δ^]1v0v|K(γ1(ξ),ξ)K(γ2(ξ),ξ)|𝑑ξ.\displaystyle\begin{split}||\boldsymbol{\mathcal{U}}\gamma_{1}-\boldsymbol{\mathcal{U}}\gamma_{2}||&=\max_{v\in[0,\hat{\delta}]}|\boldsymbol{\mathcal{U}}\gamma_{1}(v)-\boldsymbol{\mathcal{U}}\gamma_{2}(v)|\leq\max_{v\in[0,\hat{\delta}]}|\boldsymbol{\mathcal{T}}\gamma_{1}(v)-\boldsymbol{\mathcal{T}}\gamma_{2}(v)|\\ &=\sup_{v\in(0,\hat{\delta}]}{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}\frac{1}{v}\int_{0}^{v}[K(\gamma_{1}(\xi),\xi)-K(\gamma_{2}(\xi),\xi)]\,d\xi{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}\\ &\leq\sup_{v\in(0,\hat{\delta}]}\frac{1}{v}\int_{0}^{v}|K(\gamma_{1}(\xi),\xi)-K(\gamma_{2}(\xi),\xi)|\,d\xi.\end{split} (A.40)

We may then use step 3-c to obtain

𝓤γ1𝓤γ2supv(0,δ^]1v0vK¯β|γ1(ξ)γ2(ξ)|𝑑ξK¯βγ1γ2,\displaystyle\begin{split}||\boldsymbol{\mathcal{U}}\gamma_{1}-\boldsymbol{\mathcal{U}}\gamma_{2}||&\leq\sup_{v\in(0,\hat{\delta}]}\frac{1}{v}\int_{0}^{v}\bar{K}_{\beta}|\gamma_{1}(\xi)-\gamma_{2}(\xi)|\,d\xi\\ &\leq\bar{K}_{\beta}||\gamma_{1}-\gamma_{2}||,\end{split} (A.41)

from which continuity of 𝓤\boldsymbol{\mathcal{U}} follows.

Step 3-f: The image 𝓤(([0,δ^]))\boldsymbol{\mathcal{U}}(\mathcal{M}([0,\hat{\delta}])) of 𝓤\boldsymbol{\mathcal{U}} is a uniformly equicontinuous family of functions.

First, we show that there is a constant K¯<\bar{K}<\infty such that for all (β,v)𝒮(\beta,v)\in\mathcal{S}, we have

|K(β,v)|K¯.\displaystyle|K(\beta,v)|\leq\bar{K}. (A.42)

To see this, first note that limv0K(2N/(N+1),v)\lim_{v\downarrow 0}K(2N/(N+1),v) is a finite quantity and hence that {K(2N/(N+1),v):v(0,δ^]}\{K(2N/(N+1),v):v\in(0,\hat{\delta}]\} is a bounded set. Then, using Step 3-c, we can show that

|K(β,v)||\n@spaceK(\n@space2NN+1,v)\n@space|\n@space+|\n@spaceK(β,v)K(\n@space2NN+1,v)\n@space|\n@space|\n@spaceK(\n@space2NN+1,v)\n@space|\n@space+K¯β|β2NN+1||\n@spaceK(\n@space2NN+1,v)\n@space|\n@space+K¯β|β¯(δ^)β¯(δ^)|\displaystyle\begin{split}|K(\beta,v)|&\leq{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}K{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{2N}{N+1},v{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}+{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}K(\beta,v)-K{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{2N}{N+1},v{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}\\ &\leq{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}K{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{2N}{N+1},v{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}+\bar{K}_{\beta}|\beta-\frac{2N}{N+1}|\\ &\leq{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}K{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{2N}{N+1},v{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}+\bar{K}_{\beta}|\overline{\beta}(\hat{\delta})-\underline{\beta}(\hat{\delta})|\end{split} (A.43)

for all (β,v)𝒮(\beta,v)\in\mathcal{S}, which clearly establishes our claim.

Now we proceed to establish uniform equicontinuity. Let us fix an arbitrary η>0\eta>0.

Firstly, since limv0[β¯(v)β¯(v)]=0\lim_{v\downarrow 0}[\overline{\beta}(v)-\underline{\beta}(v)]=0, we can find some ξ1(0,δ^]\xi_{1}\in(0,\hat{\delta}] such that β¯(ξ1)β¯(ξ1)<η/2\overline{\beta}(\xi_{1})-\underline{\beta}(\xi_{1})<\eta/2.

Secondly, by the Heine-Cantor theorem, both β¯\overline{\beta} and β¯\underline{\beta} are uniformly continuous on [ξ1,δ^][\xi_{1},\hat{\delta}]. Thus, we can find some ξ2>0\xi_{2}>0 such that for every v1,v2[ξ1,δ^]v_{1},v_{2}\in[\xi_{1},\hat{\delta}] with |v1v2|<ξ2|v_{1}-v_{2}|<\xi_{2},

|β¯(v1)β¯(v2)|<η2\displaystyle|\overline{\beta}(v_{1})-\overline{\beta}(v_{2})|<\frac{\eta}{2} (A.44)
|β¯(v1)β¯(v2)|<η2.\displaystyle|\underline{\beta}(v_{1})-\underline{\beta}(v_{2})|<\frac{\eta}{2}. (A.45)

Thirdly, given v1,v2[ξ1,δ^]v_{1},v_{2}\in[\xi_{1},\hat{\delta}], notice that for any γ([0,δ^])\gamma\in\mathcal{M}([0,\hat{\delta}])

|𝓣γ(v1)𝓣γ(v2)|=|\n@space0v1K(γ(v),v)𝑑vv10v2K(γ(v),v)𝑑vv2|\n@space=|\n@space0v1K(γ(v),v)𝑑vv10v2K(γ(v),v)𝑑vv1+0v2K(γ(v),v)𝑑vv10v2K(γ(v),v)𝑑vv2|\n@space.\displaystyle\begin{array}[]{c}|\boldsymbol{\mathcal{T}}\gamma(v_{1})-\boldsymbol{\mathcal{T}}\gamma(v_{2})|={\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}\frac{\int_{0}^{v_{1}}K(\gamma(v),v)\,dv}{v_{1}}-\frac{\int_{0}^{v_{2}}K(\gamma(v),v)\,dv}{v_{2}}{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}\\ ={\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}\frac{\int_{0}^{v_{1}}K(\gamma(v),v)\,dv}{v_{1}}-\frac{\int_{0}^{v_{2}}K(\gamma(v),v)\,dv}{v_{1}}+\frac{\int_{0}^{v_{2}}K(\gamma(v),v)\,dv}{v_{1}}-\frac{\int_{0}^{v_{2}}K(\gamma(v),v)\,dv}{v_{2}}{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}.\end{array} (A.48)

Then, using (A.42), we can establish that

|𝓣γ(v1)𝓣γ(v2)|1ξ1K¯|v1v2|+K¯v2|\n@spacev1v2v1v2|\n@space2ξ2K¯|v1v2|.\displaystyle\begin{split}|\boldsymbol{\mathcal{T}}\gamma(v_{1})-\boldsymbol{\mathcal{T}}\gamma(v_{2})|&\leq\frac{1}{\xi_{1}}\bar{K}|v_{1}-v_{2}|+\bar{K}v_{2}{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}\frac{v_{1}-v_{2}}{v_{1}v_{2}}{\hbox{$\left|\vbox to0.0pt{}\right.\n@space$}}\\ &\leq\frac{2}{\xi_{2}}\bar{K}|v_{1}-v_{2}|.\end{split} (A.49)

From this it is clear that we can set ξ3>0\xi_{3}>0 such that for every v1,v2[ξ1,δ^]v_{1},v_{2}\in[\xi_{1},\hat{\delta}] with |v1v2|<ξ3|v_{1}-v_{2}|<\xi_{3}, we have for every γ([0,δ^])\gamma\in\mathcal{M}([0,\hat{\delta}]) that

|𝓣γ(v1)𝓣γ(v2)|<η2.\displaystyle|\boldsymbol{\mathcal{T}}\gamma(v_{1})-\boldsymbol{\mathcal{T}}\gamma(v_{2})|<\frac{\eta}{2}. (A.50)

Let us now define ξmin{ξ2,ξ3}\xi^{*}\equiv\min\{\xi_{2},\xi_{3}\}. Then, fix any γ([0,δ^])\gamma\in\mathcal{M}([0,\hat{\delta}]) and v1,v2[0,δ^]v_{1},v_{2}\in[0,\hat{\delta}] with |v1v2|<ξ|v_{1}-v_{2}|<\xi^{*}. To establish uniform equicontinuity, it suffices to show that |𝓤γ(v1)𝓤γ(v2)|<η|\boldsymbol{\mathcal{U}}\gamma(v_{1})-\boldsymbol{\mathcal{U}}\gamma(v_{2})|<\eta. We do this by considering three separate cases.

Case 1: v1,v2[0,ξ1]v_{1},v_{2}\in[0,\xi_{1}].

Then, it is immediately clear from the construction of β¯,β¯\overline{\beta},\underline{\beta} that

|𝓤γ(v1)𝓤γ(v2)|β¯(ξ1)β¯(ξ1)<η2.\displaystyle|\boldsymbol{\mathcal{U}}\gamma(v_{1})-\boldsymbol{\mathcal{U}}\gamma(v_{2})|\leq\overline{\beta}(\xi_{1})-\underline{\beta}(\xi_{1})<\frac{\eta}{2}. (A.51)

Case 2: v1,v2[ξ1,δ^]v_{1},v_{2}\in[\xi_{1},\hat{\delta}].

Without loss of generality, let v1<v2v_{1}<v_{2}. Then, we can analyze the four sub-cases below:

Case 2(a): 𝓣γ(v1)[β¯(v1),β¯(v1)]\boldsymbol{\mathcal{T}}\gamma(v_{1})\in[\underline{\beta}(v_{1}),\overline{\beta}(v_{1})].

By construction of the functions β¯,β¯\overline{\beta},\underline{\beta} it is then clear that

|𝓤γ(v1)𝓤γ(v2)||𝓣γ(v1)𝓣γ(v2)|<η2.\displaystyle|\boldsymbol{\mathcal{U}}\gamma(v_{1})-\boldsymbol{\mathcal{U}}\gamma(v_{2})|\leq|\boldsymbol{\mathcal{T}}\gamma(v_{1})-\boldsymbol{\mathcal{T}}\gamma(v_{2})|<\frac{\eta}{2}. (A.52)

Case 2(b): Either (1) 𝓣γ(v1)<β¯(v1)\boldsymbol{\mathcal{T}}\gamma(v_{1})<\underline{\beta}(v_{1}) and 𝓣γ(v2)<β¯(v2)\boldsymbol{\mathcal{T}}\gamma(v_{2})<\underline{\beta}(v_{2}); or (2) 𝓣γ(v1)>β¯(v1)\boldsymbol{\mathcal{T}}\gamma(v_{1})>\overline{\beta}(v_{1}) and 𝓣γ(v2)>β¯(v2)\boldsymbol{\mathcal{T}}\gamma(v_{2})>\overline{\beta}(v_{2}).

Under the first case, it is clear that

|𝓤γ(v1)𝓤γ(v2)|=|β¯(v1)β¯(v2)|<η2.\displaystyle|\boldsymbol{\mathcal{U}}\gamma(v_{1})-\boldsymbol{\mathcal{U}}\gamma(v_{2})|=|\underline{\beta}(v_{1})-\underline{\beta}(v_{2})|<\frac{\eta}{2}. (A.53)

An analogous inequality holds for the second case as well.

Case 2(c): Either (1) 𝓣γ(v1)<β¯(v1)\boldsymbol{\mathcal{T}}\gamma(v_{1})<\underline{\beta}(v_{1}) and 𝓣γ(v2)>β¯(v2)\boldsymbol{\mathcal{T}}\gamma(v_{2})>\overline{\beta}(v_{2}); or (2) 𝓣γ(v1)>β¯(v1)\boldsymbol{\mathcal{T}}\gamma(v_{1})>\overline{\beta}(v_{1}) and 𝓣γ(v2)<β¯(v2)\boldsymbol{\mathcal{T}}\gamma(v_{2})<\underline{\beta}(v_{2}).

Under both cases, it is clear that by construction the inequality (A.52) must hold.

Case 2(d): Either (1) 𝓣γ(v1)<β¯(v1)\boldsymbol{\mathcal{T}}\gamma(v_{1})<\underline{\beta}(v_{1}) and 𝓣γ(v2)[β¯(v2),β¯(v2)]\boldsymbol{\mathcal{T}}\gamma(v_{2})\in[\underline{\beta}(v_{2}),\overline{\beta}(v_{2})]; or (2) 𝓣γ(v1)>β¯(v1)\boldsymbol{\mathcal{T}}\gamma(v_{1})>\overline{\beta}(v_{1}) and 𝓣γ(v2)[β¯(v2),β¯(v2)]\boldsymbol{\mathcal{T}}\gamma(v_{2})\in[\underline{\beta}(v_{2}),\overline{\beta}(v_{2})].

Consider the first case. Due to (A.50), we have that

𝓣γ(v2)<𝓣γ(v1)+η2<β¯(v1)+η2.\displaystyle\boldsymbol{\mathcal{T}}\gamma(v_{2})<\boldsymbol{\mathcal{T}}\gamma(v_{1})+\frac{\eta}{2}<\underline{\beta}(v_{1})+\frac{\eta}{2}. (A.54)

Then, notice that

𝓤γ(v2)𝓤γ(v1)=𝓣γ(v2)β¯(v1)<η2.\displaystyle\boldsymbol{\mathcal{U}}\gamma(v_{2})-\boldsymbol{\mathcal{U}}\gamma(v_{1})=\boldsymbol{\mathcal{T}}\gamma(v_{2})-\underline{\beta}(v_{1})<\frac{\eta}{2}. (A.55)

Also, we have that

𝓤γ(v2)𝓤γ(v1)β¯(v2)β¯(v1)>η2.\displaystyle\boldsymbol{\mathcal{U}}\gamma(v_{2})-\boldsymbol{\mathcal{U}}\gamma(v_{1})\geq\underline{\beta}(v_{2})-\underline{\beta}(v_{1})>-\frac{\eta}{2}. (A.56)

Therefore, it is clear that |𝓤γ(v2)𝓤γ(v1)|<η/2|\boldsymbol{\mathcal{U}}\gamma(v_{2})-\boldsymbol{\mathcal{U}}\gamma(v_{1})|<\eta/2. An analogous argument can be established under the second case as well.

Case 3: v1[0,ξ1]v_{1}\in[0,\xi_{1}] and v2[ξ1,δ^]v_{2}\in[\xi_{1},\hat{\delta}].

We then have by combining Cases 1 and 2 above that

|𝓤γ(v1)𝓤γ(v2)||𝓤γ(v1)𝓤γ(ξ1)|+|𝓤γ(ξ1)𝓤γ(v2)|<η2+η2=η.\displaystyle|\boldsymbol{\mathcal{U}}\gamma(v_{1})-\boldsymbol{\mathcal{U}}\gamma(v_{2})|\leq|\boldsymbol{\mathcal{U}}\gamma(v_{1})-\boldsymbol{\mathcal{U}}\gamma(\xi_{1})|+|\boldsymbol{\mathcal{U}}\gamma(\xi_{1})-\boldsymbol{\mathcal{U}}\gamma(v_{2})|<\frac{\eta}{2}+\frac{\eta}{2}=\eta. (A.57)

Step 3-g: The mapping 𝓤\boldsymbol{\mathcal{U}} has a fixed point γ\gamma^{*}.

Consider the space of continuous functions mapping [0,δ^][0,\hat{\delta}] to \mathbb{R}, which is a normed linear space under the sup-norm. Then, notice ([0,δ^])\mathcal{M}([0,\hat{\delta}]) is a nonempty closed convex subset of this normed linear space.

Furthermore, we know that the image 𝓤(([0,δ^]))\boldsymbol{\mathcal{U}}(\mathcal{M}([0,\hat{\delta}])) of 𝓤\boldsymbol{\mathcal{U}} is uniformly equicontinuous by step 3-f. Also, it is clear by construction that 𝓤(([0,δ^]))\boldsymbol{\mathcal{U}}(\mathcal{M}([0,\hat{\delta}])) is uniformly bounded. Hence it follows from the Arzelà-Ascoli theorem that 𝓤(([0,δ^]))\boldsymbol{\mathcal{U}}(\mathcal{M}([0,\hat{\delta}])) is relatively compact.

Finally, recall that 𝓤\boldsymbol{\mathcal{U}} is continuous by step 3-e. Therefore, by Schauder’s theorem, 𝓤\boldsymbol{\mathcal{U}} must have a fixed point γ\gamma^{*}.

Step 3-h: γ\gamma^{*} is also a fixed point of 𝓣\boldsymbol{\mathcal{T}}.

It suffices to prove that β¯(v)𝓣γ(v)β¯(v)\underline{\beta}(v)\leq\boldsymbol{\mathcal{T}}\gamma^{*}(v)\leq\overline{\beta}(v) for all v[0,δ^]v\in[0,\hat{\delta}]. We will prove below that 𝓣γ(v)β¯(v)\boldsymbol{\mathcal{T}}\gamma^{*}(v)\leq\overline{\beta}(v) for all v[0,δ^]v\in[0,\hat{\delta}]. The proof for the other inequality follows a symmetric argument.

Suppose for contradiction that 𝓣γ(v^)>β¯(v^)\boldsymbol{\mathcal{T}}\gamma^{*}(\hat{v})>\overline{\beta}(\hat{v}) for some v^(0,δ^]\hat{v}\in(0,\hat{\delta}]. We can then show that there exists some v~(0,v^)\tilde{v}\in(0,\hat{v}) such that 𝓣γ(v~)<β¯(v~)\boldsymbol{\mathcal{T}}\gamma^{*}(\tilde{v})<\overline{\beta}(\tilde{v}). To see this, suppose that 𝓣γ(v)β¯(v)\boldsymbol{\mathcal{T}}\gamma^{*}(v)\geq\overline{\beta}(v) for all v(0,v^)v\in(0,\hat{v}). Then, we would have that

γ(v)=𝓤γ(v)=β¯(v)v(0,v^],\displaystyle\gamma^{*}(v)=\boldsymbol{\mathcal{U}}\gamma^{*}(v)=\overline{\beta}(v)\quad\forall\;v\in(0,\hat{v}], (A.58)

which in turn implies

K(γ(v),v)<2NN+1v(0,v^]\displaystyle K(\gamma^{*}(v),v)<\frac{2N}{N+1}\quad\forall\;v\in(0,\hat{v}] (A.59)

and hence

𝓣γ(v^)=1v^0v^K(γ(v),v)𝑑v2NN+1<β¯(v^),\displaystyle\boldsymbol{\mathcal{T}}\gamma^{*}(\hat{v})=\frac{1}{\hat{v}}\int_{0}^{\hat{v}}K(\gamma^{*}(v),v)\,dv\leq\frac{2N}{N+1}<\overline{\beta}(\hat{v}), (A.60)

which is clearly a contradiction.

Let us then define E{v[v~,v^]:𝓣γ(v)>β¯(v)}E\equiv\{v\in[\tilde{v},\hat{v}]:\boldsymbol{\mathcal{T}}\gamma^{*}(v)>\overline{\beta}(v)\}, which must clearly be non-empty. Hence define vinfEv^{*}\equiv\inf E, which clearly lies in the interval (v~,v^)(\tilde{v},\hat{v}). Furthermore, by continuity, it must be that 𝓣γ(v)=β¯(v)\boldsymbol{\mathcal{T}}\gamma^{*}(v^{*})=\overline{\beta}(v^{*}). However, notice that

K(γ(v),v)=K(β¯(v),v)<2NN+1\displaystyle K(\gamma^{*}(v^{*}),v^{*})=K(\overline{\beta}(v^{*}),v^{*})<\frac{2N}{N+1} (A.61)

while γ(v)=β¯(v)>2N/(N+1)\gamma^{*}(v^{*})=\overline{\beta}(v^{*})>2N/(N+1). It is then clear that γ\gamma^{*} is strictly decreasing in some right-neighborhood of vv^{*}. However, since β¯\overline{\beta} is strictly increasing, we reach a contradiction of vv^{*} as the infimum of EE. Consequently, we establish step 3-h.

Step 3-i: We now complete the proof of Step 3.

Let us define

b(v)=γ(v)vv[0,δ^]\displaystyle b(v)=\gamma^{*}(v)v\quad\forall\;v\in[0,\hat{\delta}] (A.62)

Then, we have by step 3-h that for all v(0,δ^]v\in(0,\hat{\delta}],

b(v)=𝓣γ(v)v=0vK(γ(ξ),ξ)𝑑ξ=0vH(b(ξ),ξ)𝑑ξ.\displaystyle b(v)=\boldsymbol{\mathcal{T}}\gamma^{*}(v)v=\int_{0}^{v}K(\gamma^{*}(\xi),\xi)\,d\xi=\int_{0}^{v}H(b(\xi),\xi)\,d\xi. (A.63)

The claim of Step 3 is then clear.

Step 4

The local solution b:[0,δ^]+b:[0,\hat{\delta}]\rightarrow\mathbb{R}_{+} constructed in Step 3 can be extended to a global solution b^:[0,v¯]+\hat{b}:[0,\bar{v}]\rightarrow\mathbb{R}_{+} of the ODE (A.9).

It suffices to show the existence of a function b¯:[δ^,v¯]+\bar{b}:[\hat{\delta},\bar{v}]\rightarrow\mathbb{R}_{+} such that (1) b¯(δ^)=b(δ^)\bar{b}(\hat{\delta})=b(\hat{\delta}), and (2) b¯\bar{b} satisfies the ODE (A.9) on [δ^,v¯][\hat{\delta},\bar{v}]. Notice that this corresponds to a standard Cauchy problem.

Consider the space A{(v,b):v[δ^,v¯),b(v,Φ1(v))}A\equiv\{(v,b):v\in[\hat{\delta},\bar{v}),b\in(v,\Phi^{-1}(v))\}, and notice that the function HH from (A.9) is well-defined on this restricted space AA. Furthermore, it is clear that HH is continuous on AA. Also, notice that H(b,v)/b\partial H(b,v)/\partial b exists and is continuous on AA. Consequently, it follows from the Cauchy-Lipschitz theorem that (1) given any point (δ^,b)A(\hat{\delta},b)\in A, there is a unique local right solution for the ODE (A.9), and (2) given any point (v,b)A(v,b)\in A with v(δ^,v¯)v\in(\hat{\delta},\bar{v}), there is a unique local solution for the ODE (A.9).

Let us then define the set ϕ\phi as the collection of all v(δ^,v¯)v\in(\hat{\delta},\bar{v}) for which there exists b~:[δ^,v)+\tilde{b}:[\hat{\delta},v)\rightarrow\mathbb{R}_{+} such that b~(δ^)=b(δ^)\tilde{b}(\hat{\delta})=b(\hat{\delta}) and b~\tilde{b} satisfies (A.9) on its domain [δ^,v)[\hat{\delta},v). Then, we know that ϕ\phi is nonempty with supϕ(δ^,v¯]\sup\phi\in(\hat{\delta},\bar{v}] due to the local existence property established above. Furthermore, we know that if v[δ^,supϕ)v\in[\hat{\delta},\sup\phi), every possible function b~:[δ^,v+)+\tilde{b}:[\hat{\delta},v^{+})\rightarrow\mathbb{R}_{+} with v+(v,supϕ]v^{+}\in(v,\sup\phi] and b~(δ^)=b(δ^)\tilde{b}(\hat{\delta})=b(\hat{\delta}) and b~\tilde{b} satisfying (A.9) on [δ^,v+)[\hat{\delta},v^{+}) must agree on the value of b~(v)\tilde{b}(v). Thus, we may construct a uniquely well-defined function b~:[δ^,supϕ)+\tilde{b}:[\hat{\delta},\sup\phi)\rightarrow\mathbb{R}_{+}. It is immediately clear that b~(δ^)=b(δ^)\tilde{b}(\hat{\delta})=b(\hat{\delta}) and b~\tilde{b} satisfies (A.9) on [δ^,supϕ)[\hat{\delta},\sup\phi).

Since H(b,v)>0H(b,v)>0 for all (b,v)A(b,v)\in A, we must have that b~\tilde{b} defined above is strictly increasing on [δ^,supϕ)[\hat{\delta},\sup\phi). Hence limvsupϕb~(v)\lim_{v\uparrow\sup\phi}\tilde{b}(v) exists. We will now prove that

limvsupϕb~(v)(supϕ,Φ1(supϕ))\displaystyle\lim_{v\uparrow\sup\phi}\tilde{b}(v)\in(\sup\phi,\Phi^{-1}(\sup\phi)) (A.64)

by ruling out the two cases shown below:

Case 1: Suppose limvsupϕb~(v)=supϕ\lim_{v\uparrow\sup\phi}\tilde{b}(v)=\sup\phi.

Then, we clearly have

limvsupϕH(b~(v),v)=+,\displaystyle\lim_{v\uparrow\sup\phi}H(\tilde{b}(v),v)=+\infty, (A.65)

which in turn implies that there is some v~<supϕ\tilde{v}<\sup\phi such that b~(v~)<v~\tilde{b}(\tilde{v})<\tilde{v}. This constitutes a contradiction.

Case 2: Suppose limvsupϕb~(v)=Φ1(supϕ)\lim_{v\uparrow\sup\phi}\tilde{b}(v)=\Phi^{-1}(\sup\phi).

Then, we have

limvsupϕH(b~(v),v)=0<dΦ1(supϕ)dv\displaystyle\lim_{v\uparrow\sup\phi}H(\tilde{b}(v),v)=0<\frac{d\Phi^{-1}(\sup\phi)}{dv} (A.66)

where the inequality follows from step 1. However, it is then clear that there is some v~<supϕ\tilde{v}<\sup\phi such that b~(v~)>Φ1(v~),\tilde{b}(\tilde{v})>\Phi^{-1}(\tilde{v}), which is once again a contradiction.

We will now proceed to prove that supϕ=v¯\sup\phi=\bar{v}. Suppose for contradiction that supϕ<v¯\sup\phi<\bar{v}. Then, due to (A.64), we can extend the solution b~\tilde{b} to a neighborhood of supϕ\sup\phi. However, this contradicts the definition of supϕ\sup\phi.

We therefore have a function b~:[δ^,v¯)+\tilde{b}:[\hat{\delta},\bar{v})\rightarrow\mathbb{R}_{+} with b~(δ^)=b(δ^)\tilde{b}(\hat{\delta})=b(\hat{\delta}) and b~\tilde{b} satisfying (A.9) on [δ^,v¯)[\hat{\delta},\bar{v}). We also know that limvv¯b~(v)(v¯,Φ1(v¯))\lim_{v\uparrow\bar{v}}\tilde{b}(v)\in(\bar{v},\Phi^{-1}(\bar{v})). Let us then define

b¯(v)={b~(v)ifv[δ^,v¯)limvv¯b~(v)ifv=v¯\displaystyle\bar{b}(v)=\begin{cases}\tilde{b}(v)\quad{\mathrm{i}f}\;v\in[\hat{\delta},\bar{v})\\ \lim_{v\uparrow\bar{v}}\tilde{b}(v)\quad{\mathrm{i}f}\;v=\bar{v}\end{cases} (A.67)

Then, to complete the proof of step 4 it suffices to show that

b¯(v¯)v=H(b¯(v¯),v¯).\displaystyle\frac{\partial\bar{b}(\bar{v})}{\partial v}=H(\bar{b}(\bar{v}),\bar{v}). (A.68)

Notice that for any v[δ^,v¯)v\in[\hat{\delta},\bar{v}), we must have

b¯(v¯)b¯(v)v¯v=b¯(v)=H(b~(v),v)\displaystyle\frac{\bar{b}(\bar{v})-\bar{b}(v)}{\bar{v}-v}=\bar{b}^{\prime}(v^{*})=H(\tilde{b}(v^{*}),v^{*}) (A.69)

for some v(v,v¯)v^{*}\in(v,\bar{v}) due to the Mean Value Theorem. Then, since

limvv¯H(b~(v),v)=H(b¯(v¯),v¯),\displaystyle\lim_{v\uparrow\bar{v}}H(\tilde{b}(v),v)=H(\bar{b}(\bar{v}),\bar{v}), (A.70)

it is clear that (A.68) must hold.

Step 5

We conclude the proof of existence by establishing that the b^\hat{b} constructed in step 4 induces an equilibrium in the tournament auction.

Consider a first-stage bidder with value v[0,v¯]v\in[0,\bar{v}]. Given that (1) all other first-stage bidders bid according to b^\hat{b}, and (2) the second-stage bidder bids his value, we must show that the optimal bid is b^(v)\hat{b}(v).

Firstly, if v=0v=0, then the optimality of b^(0)=0\hat{b}(0)=0 is obvious.

Let v(0,v¯]v\in(0,\bar{v}]. We first show that it is suboptimal to bid b>b^(v¯)b>\hat{b}(\bar{v}). In particular, it is strictly better to submit the bid b^(v¯)\hat{b}(\bar{v}). To see this, note that the payoff under bid bb is 0b(vξ)g(ξ)𝑑ξ\int_{0}^{b}(v-\xi)g(\xi)\,d\xi, whereas the payoff under bid b^(v¯)\hat{b}(\bar{v}) is 0b^(v¯)(vξ)g(ξ)𝑑ξ\int_{0}^{\hat{b}(\bar{v})}(v-\xi)g(\xi)\,d\xi. Since b^(v¯)>v¯v\hat{b}(\bar{v})>\bar{v}\geq v, it is immediately clear that bidding b^(v¯)\hat{b}(\bar{v}) is strictly better than bidding bb.

Hence we have reduced the bidder’s problem to choosing a bid from [0,b^(v¯)][0,\hat{b}(\bar{v})]. This is equivalent to the set {b^(v~):v~[0,v¯]}\{\hat{b}(\tilde{v}):\tilde{v}\in[0,\bar{v}]\}. Hence we can reformulate the bidder’s problem as choosing a reported value v~\tilde{v} as below:

maxv~[0,v¯]{\n@spaceπ(v~|v)F(v~)N10b^(v~)(vξ)g(ξ)𝑑ξ}\n@space\displaystyle\max_{\tilde{v}\in[0,\bar{v}]}{\hbox{$\left\{\vbox to0.0pt{}\right.\n@space$}}\pi(\tilde{v}|v)\equiv F(\tilde{v})^{N-1}\int_{0}^{\hat{b}(\tilde{v})}(v-\xi)g(\xi)\,d\xi{\hbox{$\left\}\vbox to0.0pt{}\right.\n@space$}} (A.71)

We may then compute the derivative

π(v~|v)v~=(N1)F(v~)N2f(v~)0b^(v~)(vξ)g(ξ)𝑑ξ+F(v~)N1(vb^(v~))g(b^(v~))b^(v~)v~.\displaystyle\frac{\partial\pi(\tilde{v}|v)}{\partial\tilde{v}}=(N-1)F(\tilde{v})^{N-2}f(\tilde{v})\int_{0}^{\hat{b}(\tilde{v})}(v-\xi)g(\xi)\,d\xi+F(\tilde{v})^{N-1}(v-\hat{b}(\tilde{v}))g(\hat{b}(\tilde{v}))\frac{\partial\hat{b}(\tilde{v})}{\partial\tilde{v}}. (A.72)

Notice first that

π(v~|v)v~>0forv~(0,b^1(v)].\displaystyle\frac{\partial\pi(\tilde{v}|v)}{\partial\tilde{v}}>0\quad{\mathrm{f}or}\;\tilde{v}\in(0,\hat{b}^{-1}(v)]. (A.73)

Then, for v~(b^1(v),v¯]\tilde{v}\in(\hat{b}^{-1}(v),\bar{v}], notice that we have

π(v~|v)v~=F(v~)N1(b^(v~)v)g(b^(v~))[\n@space(N1)f(v~)F(v~)1b^(v~)vG(b^(v~))g(b^(v~))(\n@spacevΦ(b^(v~)))\n@spaceb^(v~)v~]\n@space,\displaystyle\begin{split}\frac{\partial\pi(\tilde{v}|v)}{\partial\tilde{v}}=&F(\tilde{v})^{N-1}(\hat{b}(\tilde{v})-v)g(\hat{b}(\tilde{v}))\cdot\\ &\cdot{\hbox{$\left[\vbox to0.0pt{}\right.\n@space$}}(N-1)\frac{f(\tilde{v})}{F(\tilde{v})}\frac{1}{\hat{b}(\tilde{v})-v}\frac{G(\hat{b}(\tilde{v}))}{g(\hat{b}(\tilde{v}))}{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}v-\Phi(\hat{b}(\tilde{v})){\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}-\frac{\partial\hat{b}(\tilde{v})}{\partial\tilde{v}}{\hbox{$\left]\vbox to0.0pt{}\right.\n@space$}},\end{split} (A.74)

from which it follows that

sign(\n@spaceπ(v~|v)v~)\n@space=sign(\n@space(N1)f(v~)F(v~)1b^(v~)vG(b^(v~))g(b^(v~))(\n@spacevΦ(b^(v~)))\n@spaceb^(v~)v~)\n@space.\displaystyle{\mathrm{s}ign}{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{\partial\pi(\tilde{v}|v)}{\partial\tilde{v}}{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}={\mathrm{s}ign}{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}(N-1)\frac{f(\tilde{v})}{F(\tilde{v})}\frac{1}{\hat{b}(\tilde{v})-v}\frac{G(\hat{b}(\tilde{v}))}{g(\hat{b}(\tilde{v}))}{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}v-\Phi(\hat{b}(\tilde{v})){\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}-\frac{\partial\hat{b}(\tilde{v})}{\partial\tilde{v}}{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}. (A.75)

Then, we can substitute (A.9) and simplify to obtain

sign(\n@spaceπ(v~|v)v~)\n@space=sign(\n@spacevΦ(b^(v~))b^(v~)vv~Φ(b^(v~))b^(v~)v~)\n@space.\displaystyle{\mathrm{s}ign}{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{\partial\pi(\tilde{v}|v)}{\partial\tilde{v}}{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}={\mathrm{s}ign}{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{v-\Phi(\hat{b}(\tilde{v}))}{\hat{b}(\tilde{v})-v}-\frac{\tilde{v}-\Phi(\hat{b}(\tilde{v}))}{\hat{b}(\tilde{v})-\tilde{v}}{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}. (A.76)

We can then see that

π(v~|v)v~{>0ifv~(b^1(v),v)=0ifv~=v<0ifv~(v,v¯]\displaystyle\frac{\partial\pi(\tilde{v}|v)}{\partial\tilde{v}}\begin{cases}>0\quad{\mathrm{i}f}\;\tilde{v}\in(\hat{b}^{-1}(v),v)\\ =0\quad{\mathrm{i}f}\;\tilde{v}=v\\ <0\quad{\mathrm{i}f}\;\tilde{v}\in(v,\bar{v}]\end{cases} (A.77)

Thus, from (A.73) and (A.77), it is clear that the bid b^(v)\hat{b}(v) is optimal. This then establishes that b^\hat{b} induces an equilibrium in the tournament auction as required.

Step 6

We now establish that any b()b(\cdot) inducing an equilibrium must be strictly increasing.

We begin by first establishing that any such b()b(\cdot) must be weakly increasing. Suppose by way of contradiction that we can find v1,v2[0,v¯]v_{1},v_{2}\in[0,\bar{v}] such that v1<v2v_{1}<v_{2} and b(v1)>b(v2)b(v_{1})>b(v_{2}). Fix any first-stage bidder ii. Let us denote as Pi(bi;b())P_{i}(b_{i};b(\cdot)) the probability of ii winning the first stage given bid bib_{i} and that all others bid according to the equilibrium bidding function b()b(\cdot).191919Notice that we allow Pi(bi;b())P_{i}(b_{i};b(\cdot)) to be bidder-specific due to potentially unequal tie-breaking rules. However, once we prove this proposition, it will be clear that ties arise with zero probability in equilibrium and tie-breaking rules do not matter. Then, from optimality of the equilibrium bids, we must have

Pi(b(v1);b())0b(v1)(v1ξ)g(ξ)𝑑ξPi(b(v2);b())0b(v2)(v1ξ)g(ξ)𝑑ξ.\displaystyle P_{i}(b(v_{1});b(\cdot))\int_{0}^{b(v_{1})}(v_{1}-\xi)g(\xi)\,d\xi\geq P_{i}(b(v_{2});b(\cdot))\int_{0}^{b(v_{2})}(v_{1}-\xi)g(\xi)\,d\xi. (A.78)

Then, it is clear that

Pi(b(v1);b())0b(v1)(v2ξ)g(ξ)𝑑ξPi(b(v2);b())0b(v2)(v1ξ)g(ξ)𝑑ξ+Pi(b(v1);b())0b(v1)(v2v1)g(ξ)𝑑ξ.\displaystyle\begin{split}&P_{i}(b(v_{1});b(\cdot))\int_{0}^{b(v_{1})}(v_{2}-\xi)g(\xi)\,d\xi\\ &\geq P_{i}(b(v_{2});b(\cdot))\int_{0}^{b(v_{2})}(v_{1}-\xi)g(\xi)\,d\xi+P_{i}(b(v_{1});b(\cdot))\int_{0}^{b(v_{1})}(v_{2}-v_{1})g(\xi)\,d\xi.\end{split} (A.79)

Then, since b(v1)>b(v2)b(v_{1})>b(v_{2}) by assumption, we have

Pi(b(v1);b())0b(v1)(v2ξ)g(ξ)𝑑ξ>Pi(b(v2);b())0b(v2)(v1ξ)g(ξ)𝑑ξ+Pi(b(v2);b())0b(v2)(v2v1)g(ξ)𝑑ξ=Pi(b(v2);b())0b(v2)(v2ξ)g(ξ)𝑑ξ.\displaystyle\begin{split}&P_{i}(b(v_{1});b(\cdot))\int_{0}^{b(v_{1})}(v_{2}-\xi)g(\xi)\,d\xi\\ &>P_{i}(b(v_{2});b(\cdot))\int_{0}^{b(v_{2})}(v_{1}-\xi)g(\xi)\,d\xi+P_{i}(b(v_{2});b(\cdot))\int_{0}^{b(v_{2})}(v_{2}-v_{1})g(\xi)\,d\xi\\ &=P_{i}(b(v_{2});b(\cdot))\int_{0}^{b(v_{2})}(v_{2}-\xi)g(\xi)\,d\xi.\end{split} (A.80)

However, this contradicts the optimality of bid b(v2)b(v_{2}) given value v2v_{2}.

The argument above has established that b()b(\cdot) is weakly increasing. In Step 2 of the (only) Lemma in the Online Appendix of Anderlini and Kim (2024a) we prove that if b()b(\cdot) is weakly increasing, it must be strictly increasing as well. This is sufficient to conclude the proof.   

A.3 The Proof of Proposition 3

See the (only) Lemma in the online Appendix to Anderlini and Kim (2024a).

A.4 The Proof of Proposition 4

Since S~lSlSA\tilde{S}_{l}\leq S_{l}^{SA} must hold, it suffices to show that lim inflS~lk\liminf_{l\to\infty}\tilde{S}_{l}\geq k. Notice that the total expected payoff among all bidders (excluding the seller) is S~lR~l\tilde{S}_{l}-\tilde{R}_{l}. Then, observe that

lim infl(S~lR~l)=lim inflS~lk.\displaystyle\liminf_{l\to\infty}(\tilde{S}_{l}-\tilde{R}_{l})=\liminf_{l\to\infty}\tilde{S}_{l}-k. (A.81)

Since the expected payoff of each bidder must be nonnegative, we must have lim inflS~lk\liminf_{l\to\infty}\tilde{S}_{l}\geq k, which completes the proof.  

A.5 The Proof of Proposition 5

We begin by establishing that lim suplRlOAk\limsup_{l\to\infty}R_{l}^{OA}\leq k. Recall Myerson’s (1981) formula for the expected revenue based on virtual utility.202020This is equation (4.12) in Myerson (1981) Also recall that virtual utility is always bounded above by the true value. Hence for any fixed ϵ>0\epsilon>0 we may write

RlOAProb[|wlk|<ϵ](k+ϵ)+(1Prob[|wlk|<ϵ])w¯.\displaystyle R_{l}^{OA}\leq{\mathrm{P}rob}[|w_{l}-k|<\epsilon](k+\epsilon)+(1-{\mathrm{P}rob}[|w_{l}-k|<\epsilon])\bar{w}. (A.82)

Then, since w𝑑kw\xrightarrow{d}k and kk is a constant, we also have that limlProb[|wlk|<ϵ]=1\lim_{l\to\infty}{\mathrm{P}rob}[|w_{l}-k|<\epsilon]=1. Thus, we may then write

lim suplRlOAk+ϵ.\displaystyle\limsup_{l\to\infty}R_{l}^{OA}\leq k+\epsilon. (A.83)

Since ϵ>0\epsilon>0 was arbitrary, we have established lim suplRlOAk\limsup_{l\to\infty}R_{l}^{OA}\leq k.

Then, to conclude the proof Proposition 5 it suffices to establish the existence of a sequence of auction mechanisms that induces expected revenue sequence {Rl}l=1\{R_{l}\}_{l=1}^{\infty} such that limlRl=k\lim_{l\to\infty}R_{l}=k. This is established by Proposition 7.  

A.6 The Proof of Proposition 6

Fix any c(0,k)c\in(0,k), and consider the conditional expectation

E[wl|wlc]=0c(\n@space1Gl(ξ)Gl(c))\n@spacedξ.\displaystyle E[w_{l}|w_{l}\leq c]=\int_{0}^{c}{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}1-\frac{G_{l}(\xi)}{G_{l}(c)}{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}\,d\xi. (A.84)

From the monotonicity of 1Gl(ξ)/Gl(c)1-G_{l}(\xi)/G_{l}(c) with respect to ξ\xi, it is clear that limlE[wl|wlc]=0\lim_{l\to\infty}E[w_{l}|w_{l}\leq c]=0 is equivalent to limlGl(ξ)/Gl(c)=1\lim_{l\to\infty}G_{l}(\xi)/G_{l}(c)=1 for all ξ(0,c)\xi\in(0,c). It then follows that (4) is equivalent to the condition limlE[wl|wlc]=0c(0,k)\lim_{l\to\infty}E[w_{l}|w_{l}\leq c]=0\;\forall c\in(0,k). We will work with the latter condition throughout this proof.

The remainder of the proof proceeds in four steps.

Step 1

lim suplbl(v)k\limsup_{l\to\infty}b_{l}(v)\leq k for all v(0,v¯]v\in(0,\bar{v}].

By way of contradiction suppose that lim suplbl(v)>k\limsup_{l\to\infty}b_{l}(v)>k for some v(0,v¯]v\in(0,\bar{v}]. Then, choose a subsequence {blm(v)}m=1\{b_{l_{m}}(v)\}_{m=1}^{\infty} that converges to some b¯>k\bar{b}>k. Along this subsequence, the equilibrium payoff of a first-stage bidder with value vv converges to

F(v)N1[vk]<0\displaystyle F(v)^{N-1}[v-k]<0 (A.85)

which is a contradiction of optimality.

Step 2

Suppose that there is some v1(0,v¯]v_{1}\in(0,\bar{v}] such that limlbl(v1)=k\lim_{l\to\infty}b_{l}(v_{1})=k does not hold (either because the limit does not exist, or because the limit does not equal kk). Then, we must have limlbl(v)=k\lim_{l\to\infty}b_{l}(v)=k for all v(v1,v¯]v\in(v_{1},\bar{v}].

To prove this claim, first notice that for any v(0,v¯]v\in(0,\bar{v}], limlbl(v)=k\lim_{l\to\infty}b_{l}(v)=k does not hold if and only if

lim inflbl(v)<k.\displaystyle\liminf_{l\to\infty}b_{l}(v)<k. (A.86)

This is a direct consequence of Step 1.

Hence we begin with the hypothesis that lim inflbl(v1)<k\liminf_{l\to\infty}b_{l}(v_{1})<k for some v1(0,v¯]v_{1}\in(0,\bar{v}]. Fix any v2(v1,v¯]v_{2}\in(v_{1},\bar{v}]. Our goal is to establish limlbl(v2)=k\lim_{l\to\infty}b_{l}(v_{2})=k.

By our hypothesis there is some subsequence {blm(v1)}m=1\{b_{l_{m}}(v_{1})\}_{m=1}^{\infty} such that limmblm(v1)=b1<k\lim_{m\to\infty}b_{l_{m}}(v_{1})=b_{1}<k. We will first show that for any such subsequence, we must have lim infmblm(v2)k\liminf_{m\to\infty}b_{l_{m}}(v_{2})\geq k. Suppose that this is not the case. Then, we can find a finer subsequence {blmn(v2)}n=1\{b_{l_{m_{n}}}(v_{2})\}_{n=1}^{\infty} such that limnblmn(v2)=b2<k.\lim_{n\to\infty}b_{l_{m_{n}}}(v_{2})=b_{2}<k. Along this sub-subsequence, consider the corresponding sub-subsequence of equilibrium payoffs for a first-stage bidder with value v1v_{1}:

UlmnF(v1)N1Glmn(blmn(v1))[\n@spacev1E[wlmn|wlmnblmn(v1)]]\n@space.\displaystyle U_{l_{m_{n}}}\equiv F(v_{1})^{N-1}G_{l_{m_{n}}}(b_{l_{m_{n}}}(v_{1})){\hbox{$\left[\vbox to0.0pt{}\right.\n@space$}}v_{1}-E[w_{l_{m_{n}}}|w_{l_{m_{n}}}\leq b_{l_{m_{n}}}(v_{1})]{\hbox{$\left]\vbox to0.0pt{}\right.\n@space$}}. (A.87)

Then, consider also the payoff of a first-stage bidder with true value v1v_{1} but bidding according to blmn(v2)b_{l_{m_{n}}}(v_{2}). We would then have

U^lmn=F(v2)N1Glmn(blmn(v2))[\n@spacev1E[wlmn|wlmnblmn(v2)]]\n@spaceF(v2)N1Glmn(blmn(v1))[\n@spacev1E[wlmn|wlmnblmn(v2)]]\n@space.\displaystyle\begin{split}\hat{U}_{l_{m_{n}}}&=F(v_{2})^{N-1}G_{l_{m_{n}}}(b_{l_{m_{n}}}(v_{2})){\hbox{$\left[\vbox to0.0pt{}\right.\n@space$}}v_{1}-E[w_{l_{m_{n}}}|w_{l_{m_{n}}}\leq b_{l_{m_{n}}}(v_{2})]{\hbox{$\left]\vbox to0.0pt{}\right.\n@space$}}\\ &\geq F(v_{2})^{N-1}G_{l_{m_{n}}}(b_{l_{m_{n}}}(v_{1})){\hbox{$\left[\vbox to0.0pt{}\right.\n@space$}}v_{1}-E[w_{l_{m_{n}}}|w_{l_{m_{n}}}\leq b_{l_{m_{n}}}(v_{2})]{\hbox{$\left]\vbox to0.0pt{}\right.\n@space$}}.\end{split} (A.88)

Then, observe that

U^lmnUlmn(\n@spaceF(v2)F(v1))\n@spaceN1v1E[wlmn|wlmnblmn(v2)]v1E[wlmn|wlmnblmn(v1)](\n@spaceF(v2)F(v1))\n@spaceN1>1\displaystyle\begin{split}\frac{\hat{U}_{l_{m_{n}}}}{U_{l_{m_{n}}}}&\geq{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{F(v_{2})}{F(v_{1})}{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}^{N-1}\frac{v_{1}-E[w_{l_{m_{n}}}|w_{l_{m_{n}}}\leq b_{l_{m_{n}}}(v_{2})]}{v_{1}-E[w_{l_{m_{n}}}|w_{l_{m_{n}}}\leq b_{l_{m_{n}}}(v_{1})]}\\ &\rightarrow{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}\frac{F(v_{2})}{F(v_{1})}{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}^{N-1}>1\end{split} (A.89)

as nn\to\infty. However, this clearly contradicts the optimality of the equilibrium bid given v1v_{1}. Therefore, we have established our claim that limmblm(v1)<k\lim_{m\to\infty}b_{l_{m}}(v_{1})<k implies lim infmblm(v2)k\liminf_{m\to\infty}b_{l_{m}}(v_{2})\geq k.

We now establish the main claim of Step 2. Suppose for contradiction that lim inflbl(v2)<k\liminf_{l\to\infty}b_{l}(v_{2})<k so that there exists some subsequence {blm(v2)}m=1\{b_{l_{m}}(v_{2})\}_{m=1}^{\infty} such that limmblm(v2)<k\lim_{m\to\infty}b_{l_{m}}(v_{2})<k. Then, it is clear from the monotonicity of the bidding function that there is a finer subsequence {blmn(v1)}n=1\{b_{l_{m_{n}}}(v_{1})\}_{n=1}^{\infty} given v1v_{1} such that the sub-subsequence converges to a bid strictly below kk. However, we then know from the claim established above that lim infnblmn(v2)k,\liminf_{n\to\infty}b_{l_{m_{n}}}(v_{2})\geq k, which is clearly a contradiction.

Step 3

limlbl(v)=k\lim_{l\to\infty}b_{l}(v)=k for all v(0,v¯]v\in(0,\bar{v}].

From Step 2, it is clear that there is at most one v(0,v¯]v^{*}\in(0,\bar{v}] for which limlbl(v)=k\lim_{l\to\infty}b_{l}(v^{*})=k does not hold. However, we can always choose any v~(0,v)\tilde{v}\in(0,v^{*}), for which we are sure that the convergence condition limlbl(v~)=k\lim_{l\to\infty}b_{l}(\tilde{v})=k holds. Then, from the monotonicity of the bidding function and the result of Step 1, it is clear that limlbl(v)=k\lim_{l\to\infty}b_{l}(v^{*})=k must actually hold. Thus, Step 3 is established.

Step 4

We now establish Proposition 6.

For any v(0,v¯]v\in(0,\bar{v}], we clearly have

RlTA{1F(v)N}E[min{bl(v),wl}].\displaystyle R_{l}^{TA}\geq\{1-F(v)^{N}\}E[\min\{b_{l}(v),w_{l}\}]. (A.90)

Then, observe that for any fixed ϵ>0\epsilon>0,

limlProb[min{bl(v),wl}kϵ]=liml[1Gl(kϵ)]=1\displaystyle\lim_{l\to\infty}{\mathrm{P}rob}[\min\{b_{l}(v),w_{l}\}\geq k-\epsilon]=\lim_{l\to\infty}[1-G_{l}(k-\epsilon)]=1 (A.91)

due to Step 3.

Hence for any ϵ>0\epsilon>0 and v(0,v¯]v\in(0,\bar{v}] we have

RlTA{1F(v)N}(kϵ)Prob[min{bl(v),wl}kϵ]\displaystyle R_{l}^{TA}\geq\{1-F(v)^{N}\}(k-\epsilon)\cdot{\mathrm{P}rob}[\min\{b_{l}(v),w_{l}\}\geq k-\epsilon] (A.92)
lim inflRlTA{1F(v)N}(kϵ).\displaystyle\liminf_{l\to\infty}R_{l}^{TA}\geq\{1-F(v)^{N}\}(k-\epsilon). (A.93)

Hence it is clear that

lim inflRlTAk.\displaystyle\liminf_{l\to\infty}R_{l}^{TA}\geq k. (A.94)

Then, from Proposition 5, it is clear that

limlRlTA=k.\displaystyle\lim_{l\to\infty}R_{l}^{TA}=k. (A.95)

  

A.7 The Proof of Proposition 7

We prove the first claim of existence by direct construction. Fix any ϵ>0\epsilon>0 such that kϵ>0k-\epsilon>0. We can then construct a sequence {Ln}n=1\{L_{n}\}_{n=1}^{\infty}\subseteq\mathbb{N} that is strictly increasing based on the following procedure. First define L00L_{0}\equiv 0. Then, for each nn\in\mathbb{N}, we know that since limlGl(kϵ/n)=0\lim_{l\to\infty}G_{l}(k-\epsilon/n)=0, there is some LnL_{n}\in\mathbb{N} with Ln>Ln1L_{n}>L_{n-1} such that Gl(kϵ/n)1/nG_{l}(k-\epsilon/n)\leq 1/n for all lLnl\geq L_{n}.

Now we define {rl}l=1\{r_{l}\}_{l=1}^{\infty} as below:

rl=kϵnforl=Ln,Ln+1,,Ln+11,n=1,2,\displaystyle r_{l}=k-\frac{\epsilon}{n}\quad{\mathrm{f}or}\;l=L_{n},L_{n}+1,...,L_{n+1}-1,\;n=1,2,... (A.96)

Then, by construction we must have that for each nn\in\mathbb{N}

RlSA(rl)(1Gl(rl))rl(\n@space11n)\n@space(\n@spacekϵn)\n@spacelLn.\displaystyle R_{l}^{SA}(r_{l})\geq(1-G_{l}(r_{l}))r_{l}\geq{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}1-\frac{1}{n}{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}{\hbox{$\left(\vbox to0.0pt{}\right.\n@space$}}k-\frac{\epsilon}{n}{\hbox{$\left)\vbox to0.0pt{}\right.\n@space$}}\quad\forall\;l\geq L_{n}. (A.97)

Therefore, we must then have that

lim inflRlSA(rl)k.\displaystyle\liminf_{l\to\infty}R_{l}^{SA}(r_{l})\geq k. (A.98)

In light of the inequality lim suplRlOAk\limsup_{l\to\infty}R_{l}^{OA}\leq k established in the proof of Proposition 5, the first claim of existence is then proven.

We now establish the second claim of Proposition 7. First observe that given a reserve price rl<kr_{l}<k, the revenue is certainly bounded above by max{rl,v¯}\max\{r_{l},\bar{v}\}. From this it is clear that if RlSA(rl)kR_{l}^{SA}(r_{l})\rightarrow k, then lim inflrlk\liminf_{l\to\infty}r_{l}\geq k. Furthermore, in light of Proposition 9, it is clear that if RlSA(rl)kR_{l}^{SA}(r_{l})\rightarrow k, then lim suplrlk\limsup_{l\to\infty}r_{l}\leq k. This then establishes our second claim.  

A.8 The Proof of Proposition 8

We begin by noting that for rlv¯r_{l}\geq\bar{v}

RlSA(rl)=Gl(rl)E[v2:N]+(1Gl(rl))rl\displaystyle R_{l}^{SA}(r_{l})=G_{l}(r_{l})E[v_{2:N}]+(1-G_{l}(r_{l}))r_{l} (A.99)

and

SlSA(rl)=Gl(rl)E[v1:N]+(1Gl(rl))E[wl|wlrl]\displaystyle S_{l}^{SA}(r_{l})=G_{l}(r_{l})E[v_{1:N}]+(1-G_{l}(r_{l}))E[w_{l}|w_{l}\geq r_{l}] (A.100)

Clearly limlGl(rl)=0\lim_{l\to\infty}G_{l}(r_{l})=0 and limlE[wl|wlrl]=k\lim_{l\to\infty}E[w_{l}|w_{l}\geq r_{l}]=k. Then, taking the limit as ll\to\infty of (A.99) and (A.100), we obtain the desired results.  

A.9 The Proof of Proposition 9

Notice that limlGl(rl)=1\lim_{l\to\infty}G_{l}(r_{l})=1. Then, taking the limit as ll\to\infty of (A.99) and (A.100), we obtain the desired results.  

A.10 The Proof of Proposition 10

Convergence in distribution as in (3) implies that Gl(w)0G_{l}(w)\rightarrow 0 if w<kw<k and Gl(w)1G_{l}(w)\rightarrow 1 if w>kw>k. However, when w=kw=k, the asymptotic behavior of Gl(k)G_{l}(k) is indeterminate. We can have Gl(w)pG_{l}(w)\rightarrow p for any p[0,1]p\in[0,1]. Let us begin by fixing any such p[0,1]p\in[0,1].

Let us first define r00r_{0}\equiv 0. Then, for each l=1,2,,l=1,2,..., we have from the continuity of GlG_{l} that there exists rl(rl1,k)r_{l}\in(r_{l-1},k) such that

Gl(k)1l<Gl(rl)<Gl(k).\displaystyle G_{l}(k)-\frac{1}{l}<G_{l}(r_{l})<G_{l}(k). (A.101)

It is immediately clear from this construction that we must then that rlkr_{l}\uparrow k with rl<kr_{l}<k for each ll. Furthermore, we must have

limlGl(rl)=limlGl(k)=p.\displaystyle\lim_{l\rightarrow\infty}G_{l}(r_{l})=\lim_{l\to\infty}G_{l}(k)=p. (A.102)

Let us then recall (A.99) and (A.100) as formulas for the expected revenue and surplus for the second price auction with reserve price rlr_{l}. Firstly, in light of (A.102) and rlkr_{l}\uparrow k, it follows from equation (A.99) that we must have

limlRlSA(rl)=pE[v2:N]+(1p)k.\displaystyle\lim_{l\to\infty}R_{l}^{SA}(r_{l})=pE[v_{2:N}]+(1-p)k. (A.103)

Let us then consider the limit of the expected surplus as in (A.100). We will consider two separate cases:

Case 1: p=1p=1.

Notice that E[wl|wlrl]E[w_{l}|w_{l}\geq r_{l}] is bounded in [0,w¯][0,\bar{w}] across all ll. Thus, it follows that

liml(1Gl(rl))E[wl|wlrl]=0\displaystyle\lim_{l\to\infty}(1-G_{l}(r_{l}))E[w_{l}|w_{l}\geq r_{l}]=0 (A.104)

under the case of p=1p=1. We then have from taking the limit of (A.100) that

limlSlSA(rl)=E[v1:N],\displaystyle\lim_{l\to\infty}S_{l}^{SA}(r_{l})=E[v_{1:N}], (A.105)

which is our desired conclusion.

Case 2: p[0,1)p\in[0,1).

Let us consider the conditional distribution of wlw_{l} given wlrlw_{l}\geq r_{l}. The support is [rl,w¯][r_{l},\bar{w}], and the conditional distribution is given by

Prob[wlξ|wlrl]=Gl(ξ)Gl(rl)1Gl(rl)\displaystyle{\mathrm{P}rob}[w_{l}\leq\xi|w_{l}\geq r_{l}]=\frac{G_{l}(\xi)-G_{l}(r_{l})}{1-G_{l}(r_{l})} (A.106)

for all ξ[rl,w¯]\xi\in[r_{l},\bar{w}]. Then, we may write the conditional expectation as

E[wl|wlrl]=rl+rlw¯1Gl(ξ)Gl(rl)1Gl(rl)dξ.\displaystyle E[w_{l}|w_{l}\geq r_{l}]=r_{l}+\int_{r_{l}}^{\bar{w}}1-\frac{G_{l}(\xi)-G_{l}(r_{l})}{1-G_{l}(r_{l})}\,d\xi. (A.107)

Then, using the dominated convergence theorem and rlkr_{l}\uparrow k, we have that

limlE[wl|wlrl]=k+kw¯11p1pdξ=k.\displaystyle\lim_{l\to\infty}E[w_{l}|w_{l}\geq r_{l}]=k+\int_{k}^{\bar{w}}1-\frac{1-p}{1-p}\,d\xi=k. (A.108)

Therefore, taking the limit of (A.100), we obtain

limlSlSA(rl)=pE[v1:N]+(1p)k,\displaystyle\lim_{l\to\infty}S_{l}^{SA}(r_{l})=pE[v_{1:N}]+(1-p)k, (A.109)

which completes the proof.