Previous Article in Journal
Procedural Information as a “Game Changer” in School Choice
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A General Model of Bertrand–Edgeworth Duopoly

by
Blake A. Allison
1 and
Jason J. Lepore
2,*
1
Department of Economics, Emory University, Atlanta, GA 30322, USA
2
Department of Economics, California Polytechnic State University, San Luis Obispo, CA 93407, USA
*
Author to whom correspondence should be addressed.
Games 2025, 16(3), 26; https://doi.org/10.3390/g16030026
Submission received: 25 February 2025 / Revised: 18 April 2025 / Accepted: 30 April 2025 / Published: 19 May 2025

Abstract

:
This paper studies a class of two-player all-pay contests with externalities that encompass a general version of duopoly price competition. This all-pay contest formulation puts little restriction on production technologies, demand, and demand rationing. There are two types of possible equilibria: In the first type of equilibrium, the lower bound to pricing is the same for each firm, and the probability of any pricing tie above this price is zero. Each firm’s equilibrium expected profit is their monopoly profit at the lower bound price. In the second type of equilibrium, one firm prices at the lower bound of the other firm’s average cost and other firm prices according to a non-degenerate mixed strategy. This type of equilibrium can only occur if production technologies are sufficiently different across firms. We derive necessary and sufficient conditions for the existence of pure strategy equilibrium and use these conditions to demonstrate the fragility of deterministic outcomes in pricing games.

1. Introduction

The determination of prices in markets with very few sellers has been a central subject of inquiry since the inception of mathematical economics. Edgeworth (1925) moved the understanding of this subject forward by appreciating the impact of consumer rationing and the prominence of price indeterminacy, or pricing cycles.1 While the conceptual origins of the Bertrand–Edgeworth (hereafter BE) model can be traced back to Edgeworth, his basic insights were first formalized into a game theoretic model by Shubik (1959).2 Shubik focused on understanding the range of pricing in mixed strategy equilibrium and the character of pure strategy equilibria when they exist.
These pricing games have been widely studied since Shubik’s formalization. The standard BE model in the literature has the following features: firms possess constant marginal costs up to capacity (an absolute limit on production), and consumers are rationed according to either the efficient or proportional rationing rule.3,4 This BE model has been used to understand fundamental issues in price determination, including duopoly pricing and capacity investment (Allen & Hellwig, 1993; Davidson & Deneckere, 1986; Deneckere & Kovenock, 1996; Kreps & Scheinkman, 1983; Lepore, 2009; Levitan & Shubik, 1972; Osborne & Pitchik, 1986), sequential pricing (Allen, 1993; Allen et al., 2000; Deneckere & Kovenock, 1992), large markets (Allen & Hellwig, 1986; Dixon, 1987, 1992; Vives, 1986), oligopoly (De Francesco & Salvadori, 2010; Hirata, 2009), and uncertainty (de Frutos & Fabra, 2011; Lepore, 2008, 2012; Reynolds & Wilson, 2000). Only a few papers have investigated BE models with cost structures outside the constant marginal cost case.5 Dixon (1987) considers a model of BE oligopoly with strictly convex costs, showing the non-existence of pure strategy equilibrium for the case of efficient and proportional rationing. Yoshida (2006) characterizes equilibrium pricing in symmetric duopoly with convex cost and efficient rationing.6 While the literature has produced interesting results, the models are restrictive in terms of production technologies and demand rationing of consumers and asymmetries across firms.
The purpose of this paper is to analyze the properties of equilibria in a BE model with a broad range of production technology, minimal restriction demand rationing, and asymmetries across firms. Our approach to the analysis is based on modeling price competition as a particular extension of an all-pay contest (Siegel, 2009, 2010, 2014). In order to contextualize our analysis, we identify some of the abstract properties of the BE model with those of a standard all-pay auction.7 In the BE model, firms place bids in the form of a price in an attempt to win the larger share of demand, which goes to the firm with the highest bid (lowest price). There are two fundamental distinctions between the BE model and the all-pay contest or traditional all-pay auction. First, the payoff of the losing player (the firm with the highest price) may depend on the price of the winner through the rationing of residual demand, while, traditionally, the losing player’s payoff depends only on her committed bid. Second, the payoff of both the winner and loser can be non-monotonic in her bid, as a reduction in price increases the quantity demanded, possibly raising profits, while an increased bid in traditional contests merely commits the winner or loser to a lower payoff.8
In Section 2, we present the general model and introduce key notation. The model is defined based on abstract properties of the front-side profit of the lower-priced winner firm and the residual profit of the higher-priced loser firm. The abstract contest formulation allows us to analyze a model with a broad range of underlying specifications: general production technology including the case of U-shaped average cost of production, minimal restriction on demand allowing for a wide swath of demand rationing (including rationing outcomes that are equilibria from consumer search), and asymmetries across firms.9 In order to establish the bounds on equilibrium prices and payoffs, we define the following preliminary objects. First, define the critical judo price as the highest price either firm can set to guarantee that the other firm would rather maximize its residual profit than undercut. This terminology is based on the sequential pricing model of judo economics by Gelman and Salop (1983).10 The second important price we define is the critical safe price, which is the infimum of all prices at which it earns at least its min–max profit if its rival undercuts.
The general results on the properties of all equilibria are presented in Section 3. After establishing generic equilibrium existence,11 we show that there are only two types of possible equilibria. The first type of equilibrium is such that both firms’ pricing distributions have the same lower bound, and ties at prices greater than the lower bound occur with probability zero. This type of equilibrium includes the possibility of pure strategy equilibrium in which firms play the lower bound price with certainty. The second type of equilibrium can only occur if the firms have sufficiently different production technology, and are such that one firm plays a pure strategy price while the other plays a nondegenerate mixed strategy. Since a model specification can have multiple non-payoff equivalent equilibria, we show that, in all equilibria, the expected profits of each firm are bounded between its monopoly profit at the critical safe price and the critical judo price. In the process of establishing the payoff bounds, we provide abstract bounds for the range of equilibrium pricing.
The results particular to pure strategy equilibrium are presented in Section 4. We provide necessary and sufficient conditions for the existence of pure strategy equilibrium. All pure strategy equilibria must be symmetric and only exist under two circumstances. The first case is a symmetric pricing profile at which each firm’s residual profit is maximized and equal to the monopoly profit at the same price. The second case is a symmetric pricing profile at which exactly one firm’s monopoly profit exceeds its residual profit (weakly exceeding its maximum residual profit), and the sharing rule is such that this firm receives its monopoly profit with certainty. In this second case, the price must maximize the other firm’s residual profit. The existence of a pure strategy equilibrium does not guarantee uniqueness, as there may be additional mixed strategy equilibria that exist concurrently. We show that a pure strategy equilibrium price x * is unique as the pure strategy equilibrium price x * is unique if, for each firm, this price is the unique maximizer of residual profit when the other firm prices at x * , and each firm’s residual profit is nonincreasing in the other firm’s price.
We present a special case model using a standard BE construction with all assumption made directly on each firm’s production technology and demand in Section 5. First, we explore additional properties of pure strategy equilibrium for this special case model, identifying the necessary and sufficient conditions on the underlying primitives of production technology and demand. Second, we examine the impacts of demand and supply shifts on the bounds of equilibrium prices and profits. These shifts can accommodate changes in rationing, production cost, or capacity. We demonstrate that an increase in residual demand will weakly increase the bounds on the lowest equilibrium price along with the bounds on profits; however, by example, we show that the upper bound on pricing may be reduced. An increase in a firm’s supply weakly decreases the bounds on the lowest equilibrium price along with the bounds on the other firm’s profits. A general prediction cannot be made for the bounds on the profit of the firm with the supply increase, as there are countervailing effects: a direct effect through which lower costs or higher capacities enhance profitability, and an indirect competitive effect through which those changes increase the level of competition, driving down prices and profits.12
Finally, all proofs of lemmas and propositions are located in Appendix A.

2. The Model

In this section, we lay out the general model and then provide a subsection of examples to illustrate the scope of the model. All assumptions stated in this section are maintained throughout the remainder of the paper. Consider a homogeneous product industry with two firms i = 1 , 2 . We will use j = 1 , 2 , to refer to the firm other than i. The firms simultaneously and independently announce prices. We denote by p i the price of firm i and by p the vector of both firms’ prices. Since p is the vector of prices ( p 1 , p 2 ) , we will use x to unambiguously denote a single price when it is not associated with a particular firm. The profit that each firm receives depends on whether it has a lower price than the other firm. The front-side profit of the firm i with a lower price than firm j is φ i ( p j ) , while the residual profit of the firm i with a higher price than firm j is ψ i ( p ) . The domain of residual profit ψ i is { ( p i , p j ) R + 2 : p i p j } , as it need not be defined for prices such that p i < p j since the residual profit cannot be obtained at such prices. We make the following assumptions on the profit functions φ i and ψ i .
Assumption 1. 
φ i ( x ) ψ i ( x , x ) 0 for all x x .
The assumption that the front-side profit is at least as large as the residual profit is consistent with the notion that customers prefer lower prices, and thus, the firm with the lowest price has weakly greater potential to sell. This assumption also implies that the lower-price firm is not required to sell units that decrease profit.
Assumption 2. 
For each firm i, there exists the largest a ̲ i such that φ i ( x ) = ψ i ( x , p j ) = 0 for all p j x a ̲ i . Further, ψ i ( p i , x ) = φ i ( p i ) for all p i x such that x < a ̲ j .
The price a ̲ i is the minimal price for which a firm is willing to produce, typically the infimum of the average cost of production when explicitly modeled. As such, when a firm i prices below a ̲ i , firm j’s residual profit is equal to its front-side profit because firm i produces nothing.
Assumption 3. 
φ i has a unique maximizer p ^ i > a ̲ i with φ i ( p ^ i ) > 0 . On the interval ( a ̲ i , p ^ i ) , φ i is positive valued, and strictly increasing. Further, ψ i ( p i , p j ) = 0 for all p i p j p ^ j , and p i > p ^ j .
This assumption on the front-side profit is weaker than assuming the strict quasiconcavity of φ i as it does not restrict behavior at prices p i > p ^ i . The third part of the assumption is that there is no residual profit for firm i if firm i prices above p ^ j . This assumption fits the two cases that demand is continuous at p ^ j , or that there is zero quantity demanded above the price p ^ j .
The following assumption is important for our characterization.
Assumption 4. 
For each firm i, there exists a price ρ ̲ i [ a ̲ i , min { p ^ i , p ^ j } ] such that
φ i ( x ) > ψ i x , x for all x ρ ̲ i , p ^ i , φ i ( x ) = ψ i x , x for all x x < ρ ̲ i .
Further, if a ̲ i > a ̲ j , then ρ ̲ i ρ ̲ j .
The maximum of the two firms’ prices ρ ̲ i is a primary object used in the analysis that follows; as such, we denote ρ ̲ = max { ρ ̲ 1 , ρ ̲ 2 } .
Remark 1. 
The existence of the prices ρ ̲ i is a natural consequence of traditional constructions of the BE model. It is common that ρ ̲ i corresponds to the price at which total industry supply is equal to market demand, as below such a price, the residual demand would exceed the supply of the high-priced firm. Alternatively, in that case that the marginal cost of i is less than the marginal cost of j, ρ ̲ i can correspond to the (constant) marginal cost of firm j, as below that price, firm j does not produce, leaving the market demand to the residual, while at or above that price, firm j produces up to its capacity, potentially limiting residual profit below the front side. Assumption 4 accommodates either of these scenarios and generally allows more variety of market structures. For example, it allows for situations in which unsatiated demand is not rationed to other firms, as may be the case with directed search models.
We make the following assumption to rule out the possibility that one firm has a sufficiently competitive advantage to act as a monopoly.
Assumption 5. 
For each i and j, p ^ i > a ̲ j .13
Each firm i’s profit is specified as follows:
u i ( p ) = φ i ( p i ) p i < p j α i ( p ) φ i ( p i ) + 1 α i ( p ) ψ i ( p ) p i = p j ψ i ( p ) p i > p j ,
where α i ( p ) [ 0 , 1 ] and α 1 ( p ) + α 2 ( p ) ( 0 , 2 ) . If we instead assume that α 1 + α 2 = 1 , then this restricts attention to sharing rules that assign one firm its front-side profit and the other its residual profit, with some randomization over the assignment. By permitting the sum of the shares to be greater (or less) than one, the model captures any share of demand at ties, which can naturally result in each firm receiving a (non-stochastic) profit strictly between its front-side and residual profits.
We denote the set of maximizers of ψ i at any p j by P ˜ i ( p j ) . Denote the maximized residual profit by ψ ˜ i ( p j ) , that is,
ψ ˜ i ( p j ) = max p i p j ψ i p i , p j .
Assumption 6. 
There exists the lowest price x ^ such that φ i ( x ^ ) > φ i ( x ) and ψ i ( x ^ , p j ) ψ i ( x , p j ) for all prices x and p j with x > x ^ p j .
Note that x ^ p ^ i for each firm i. Given Assumption 6, the price x ^ weakly dominates all prices x > x ^ .
Assumption 7. 
Both φ i and ψ i are continuous in p i on [ 0 , x ^ ) and left continuous at x ^ . ψ i is right upper semicontinuous in p j , that is, lim sup k ψ i ( p i , x k ) ψ i ( p i , x ) for any sequence { x k } such that p i x k > x and x k x .
These continuity assumptions are satisfied in most BE models previously studied. The right upper semicontinuity captures the notion that a firm does not drastically decrease its production when the other firm’s price increases. The potential for discontinuities at prices above x ^ allows the model to accommodate settings with box demand.
Define r ¯ i to be firm i’s judo price, which is the lower bound such that the front-side profit of firm i is greater than the maximal residual profit of firm i when firm j uses any price weakly greater. Formally,
r ¯ i = inf { x | φ i ( x ) > sup z x ψ ˜ i ( z ) } .
Define r ̲ i to be firm i’s safe price, which is the lower bound of price such that the front-side profit of firm i is greater than the highest profit that firm i can guarantee itself. Formally,
r ̲ i = inf { x | φ i ( x ) > u ̲ i } ,
where u ̲ i = inf p j sup p i u i ( p i , p j ) .
Define the larger of the two firms’ judo prices to be critical judo price, denoted by r ¯ = max r ¯ i . Similarly, define the larger of the two firms’ safe prices to be the critical safe price, denoted by r ̲ = max r ̲ i . Based on the fact that u ̲ i sup z x ψ ˜ i ( z ) and that φ i is strictly increasing when positive, the judo price is always weakly greater than the safe price, that is, r ¯ r ̲ . Note further that r ¯ x ^ .
Define firm i’s judo profit to be the front-side profit of firm i at the critical judo price, denoted by φ ¯ i φ i ( r ¯ ) . Similarly, define firm i’s safe profit to be the front-side profit of firm i at the critical safe price, φ ̲ i φ i ( r ̲ ) .
For equilibrium strategies μ = μ 1 , μ 2 , we use x ̲ i and x ¯ i to denote the infimum and supremum of the support of firm i’s strategy, respectively. We will use x ̲ to denote the minimum of x ̲ 1 and x ̲ 2 , and x ¯ to denote the maximum of x ¯ 1 and x ¯ 2 .14 Further, we define F i to be the distribution function (CDF) of firm i’s mixed strategies on x ̲ , x ¯ , with F = ( F 1 , F 2 ) . Additionally, let u i * denote firm i’s equilibrium expected profit.
Before proceeding with the analysis of the model, we discuss some underlying specifications that our model contains in the following subsection.

Examples Within Our Framework

To provide context for the abstract model, we present three examples nested within our framework. The framework of our model puts very little restriction on the underlying market demand except continuity on [ 0 , x ^ ) , even allowing for increasing demand. As such, the demand structure is easily understood. To help convey the generality of our model, we present the following examples to demonstrate the range of production technologies and demand rationing rules that can be accommodated in our model. With this purpose in mind, we use rectangular unit demand in these numerical examples. Formally, the market demand is
D ( x ) = 0 if x > 1 1 if x [ 0 , 1 ] .
The first two examples exhibit production technologies included in our specification. The third example exhibits a residual demand rationing scheme based on directed search.
In each example, we specify each firm’s cost of production as a function of quantity produced and use that to derive the supply correspondence of quantities that maximize the direct profit function π i ( x , q ) = x q c i ( q ) .15 We then use these to derive the corresponding front-side and residual profit functions as well as the prices x ^ , p ^ i , a ̲ i , and ρ ̲ i .
Example 1 
(Discontinuous supply). Firm 1’s cost of production is
c 1 ( q ) = 1 2 q 1 8 if q 1 / 2 1 4 q if q [ 0 , 1 / 2 ] ,
while firm 2’s cost of production is c 2 ( q ) = 1 3 q . Neither firm faces a capacity constraint. The supply correspondence of each firm is thus
ϑ 1 ( p 1 ) = if p 1 > 1 / 2 [ 1 2 , ] if p 1 = 1 / 2 1 2 if p 1 ( 1 / 4 , 1 / 2 ) [ 0 , 1 2 ] if p 1 = 1 / 4 0 if p 1 [ 0 , 1 / 4 ) ,
and
ϑ 2 ( p 2 ) = { } if p 2 1 / 3 [ 0 , ] if p 2 = 1 / 3 0 if p 2 [ 0 , 1 / 3 ) .
The front-side profits are
φ 1 ( p 1 ) = 0 if p 1 > 1 p 1 1 4 1 2 + p 1 1 2 1 2 if p 1 [ 1 / 2 , 1 ] p 1 1 4 1 2 if p 1 [ 1 / 4 , 1 / 2 ) 0 if p 1 [ 0 , 1 / 4 ) ,
and
φ 2 ( p 2 ) = 0 if p 2 > 1 p 2 1 3 if p 2 [ 1 / 3 , 1 ] 0 if p 2 [ 0 , 1 / 3 ) .
As the supply correspondence is not single-valued, the residual profits of the firms may depend on the particular quantity chosen. Rather than present all possibilities, we use the convention that the firms produce the largest quantity possible in their supply correspondence. With this convention, the residual profits of the firms are defined with demand rationed according to the efficient (or equivalently proportional) rule
ψ 1 ( p 1 , p 2 ) = 0 if p 2 1 / 3 φ 1 ( p 1 ) if p 2 < 1 / 3 ,
ψ 2 ( p 2 , p 1 ) = 0 if p 2 > 1 , or p 1 1 / 2 , or p 2 < 1 / 3 , or p 1 [ 1 / 4 , 1 / 2 ) p 2 1 3 1 2 if p 2 1 / 3 , p 1 [ 1 / 4 , 1 / 2 ) φ 2 ( p 2 ) if p 1 < 1 / 4 .
The key model parameters for this example are x ^ = p ^ i = 1 , a ̲ 1 = 1 / 4 , a ̲ 2 = 1 / 3 , and ρ ̲ i = ρ ̲ = 1 / 3 .
The next example includes firms with a U-shaped average and marginal costs.
Example 2 
(U-shaped average and marginal costs). Each firm i’s cost of production is
c i ( q ) = 2 3 q 3 1 4 q 2 + 1 16 q + 1 20 if q > 0 0 if q = 0 .
Neither firm faces a capacity constraint. The supply correspondence of each firm i can be expressed as the function
ϑ ( p i ) = 1 + 32 p i 1 8 if p i 0.194 0 if p i [ 0 , 0.194 ] .
Thus, the front-side profit of firm i is
φ i ( p i ) = 0 if p i > 1 p i ϑ ( p i ) + c i ( ϑ ( p i ) ) if p i [ 0.194 , 1 ] 0 if p i [ 0 , 0.194 ) ,
and the residual profit of firm i ( p i p j ) is (again using efficient rationing)16
ψ i ( p i , p j ) = 0 if p j 0.397 p i min { ϑ ( p i ) , 1 ϑ ( p j ) } + c i ( min { ϑ ( p i ) , 1 ϑ ( p j ) } ) if p j ( 0.194 , 0.397 ) φ i ( p i ) if p j < 0.194 .
The key model parameters for this example are x ^ = p ^ i = 1 , a ̲ i = 0.194 , and ρ ̲ i = ρ ̲ = 0.3125 .
The final example has demand rationing determined by a directed consumer search game.
Example 3 
(Search). Each firm has zero cost of production. Both firms have the same capacity k ( 1 / 2 , 1 ) , with each firm limited to producing a quantity of at most k. Demand rationing is determined by the equilibrium of a directed consumer search game. There is a unit mass of consumers, each of which demands a single unit of the good, which they value at 1. The consumers observe the prices of the firms, and then simultaneously choose a firm to visit. If a mass W i k of consumers visit firm i, each of those consumers receives a good at price p i . If a mass W i > k of consumers visits firm i, then each of those consumers receives a good at price p i with probability k / W i . Consumers that do not receive goods obtain a payoff of zero. In any pure strategy equilibrium of the consumer game, if p i < p j , then either all consumers shop at firm i, or the mass W i of consumers that shop at firm i satisfies
k W i 1 p i = 1 p j .
Therefore, we can write
W i = 0 if p i > 1 min 1 , k 1 p i 1 p j if p i [ 0 , 1 ] ,
and the mass of consumers who go to firm j are W j = 1 W i . Notice that W i k for all prices p i < p j . Thus, we can write the front-side and residual profit of firm i as follows:
φ i ( p i ) = 0 if p i > 1 p i k if p i [ 0 , 1 ] ,
and
ψ i ( p i , p j ) = 0 if p i 1 p i max 0 , 1 k 1 p j 1 p i if p i [ p j , 1 ) .
The key model parameters for this example are x ^ = p ^ i = 1 , a ̲ i = ρ ̲ i = ρ ̲ = 0 .

3. Mixed Strategy Equilibria

In this section, we establish some abstract properties of all equilibria. We begin the analysis by dealing with the problem of existence of equilibrium. As long as each firm’s residual profit is lower semicontinuous in the other firm’s price, we are able to show that an equilibrium exists if ρ ̲ 1 = ρ ̲ 2 . When there is firm i such that ρ ̲ i < ρ ̲ , our proof requires an additional condition that this firm i receives its front-side profit with certainty at ties below ρ ̲ .
Proposition 1. 
Assume that (1) α i ( x , x ) = 1 for any x such that φ i ( x ) > ψ i ( x , x ) and φ j ( x ) = ψ j ( x , x ) and (2) that ψ i is lower semicontinuous in p j . Then a mixed strategy equilibrium of the BE game exists.
If the residual profits ψ i are continuous, then the existence of equilibrium for the BE duopoly follows directly from Proposition 2 in Allen and Lepore (2014). A generalization of this proposition is presented in Appendix A.1, which applies to the case in which the residual profits are not continuous. The requirement that ψ i is lower semicontinuous is added not out of necessity for the existence of equilibrium, but out of necessity for the abstract verification of the existence of equilibrium without explicit calculation.17
We now turn to the analysis of the set of equilibria of the BE game. The following proposition partitions the set of equilibria into two possible types and provides a partial characterization of each type.
Proposition 2. 
There are two types of equilibria: symmetric lower bound and asymmetric lower bound.
Symmetric lower bound equilibria are such that
  • x ̲ 1 = x ̲ 2 = x ̲ ρ ̲ ;
  • The probability of an atom at any price x > ρ ̲ is zero;
  • The probability of a tie at x ̲ is positive only if φ i ( x ̲ ) = ψ i ( x ̲ , x ̲ ) for each firm i; and
  • At most one firm can price higher than x ^ .
Asymmetric lower bound equilibria are only possible for the case that a ̲ i > a ̲ j and are such that
  • x ̲ i < x ̲ j = a ̲ i = ρ ̲ ;
  • μ j ( { ρ ̲ } ) = 1 ;
  • μ i ( [ ρ ̲ , ρ ̲ + ε ) ) > 0 for any ε > 0 ; and
  • u i * = 0 , u j * > 0 .
Notice that every pure strategy equilibrium must be a symmetric lower bound equilibrium. Either type of equilibrium can be mixed, although the asymmetric lower bound allows only one player to use a nondegenerate mixed strategy.
The proof of Proposition 2 is extensive and based on the series of Lemmas 1–4. The first of these lemmas provides an upper bound for at least one firm’s prices.
Lemma 1. 
In any equilibrium, at most one firm can select prices above x ^ . That is, in any equilibrium μ, μ i ( [ 0 , x ^ ] ) = 1 for at least one firm i.
The following lemma is instrumental in many of the proofs of this paper. This lemma establishes that relevant ties ( p 1 = p 2 > ρ ̲ ) occur with probability zero in all equilibria of the BE game.18 It is worth noting that μ i may have an atom μ i ( { x } ) > 0 at a price x > ρ ̲ , although μ 1 ( { x } ) μ 2 ( { x } ) = 0 . That is, ties above the price such that the front-side profit equals residual profit occur with probability zero in equilibrium.
Lemma 2. 
In any equilibrium, if firm i’s strategy has mass at a price x such that φ i ( x ) > ψ i ( x , x ) , then either α i ( x , x ) = 1 or firm j’s strategy does not have mass at x. Consequently, in any equilibrium, both firms cannot simultaneously have an atom at a price p 1 = p 2 > ρ ̲ , and the equilibrium strategies and payoffs are unaffected by the choice of sharing rule α at any price x > ρ ̲ .
The next lemma constrains the possibilities for equilibria in which the infimum of each firm i’s strategy is not the same.
Lemma 3. 
In any equilibrium, if x ̲ i < x ̲ j , then firm j’s strategy is degenerate, with x ̲ j = ρ ̲ and μ j ( { ρ ̲ } ) = 1 . In any such equilibrium, a ̲ j < a ̲ i = ρ ̲ , u i * = 0 , u j * > 0 , and μ i ( [ ρ ̲ , ρ ̲ + ε ) ) > 0 for any ε > 0 .
We use the following example to help illustrate the type of equilibria characterized by Lemma 3. The types of equilibria exhibited in this example are not novel observations and were comprehensively treated in Deneckere and Kovenock (1996). The purpose of this example is simply to provide a concrete illustration of the statement of Lemma 3.
Example 4. 
Consider a market in which firm 1 has zero cost of production and firm 2 has a constant marginal cost of c > 0 . Demand is given by D ( x ) , a continuous and nonincreasing function with D ( 0 ) < and D ( c ) > 0 . Given such a market, the front-side profits are φ 1 ( x ) = D ( x ) x and φ 2 ( x ) = D ( x ) ( x c ) . Residual profits are
ψ 1 ( x , p 2 ) = D ( x ) x if p 2 < c 0 if p 2 c
and ψ 2 ( x , p 1 ) = 0 . Assume that D ( x ) x is maximized at some price p ^ 1 > c .
In this game, a ̲ 1 = 0 , a ̲ 2 = c , and ρ ̲ 1 = ρ ̲ 2 = ρ ̲ = c . There are infinitely many equilibria in which firm 1 sets a price p 1 * = c . An example of such equilibrium strategies for firm 2 is to set μ 2 ( [ c , c + ε ] ) 1 φ 1 ( c ) / φ 1 ( p ^ 1 ) for all ε > 0 , with the remaining mass placed at prices below c and possibly above p ^ 1 . To see that such strategy profiles are equilibria, note that u 2 ( c , p 2 ) = 0 for all p 2 , so firm 2 has no incentive to deviate. Firm 1 has no incentive to deviate to any price other than p ^ 1 . Such a deviation is not profitable since [ 1 φ 1 ( c ) / φ 1 ( p ^ 1 ) ] φ 1 ( p ^ 1 ) φ 1 ( c ) .
The next lemma characterizes equilibria in which the infimum of the support of each firm’s strategy is identical.
Lemma 4. 
The following conditions hold at any equilibrium in which both firms use nondegenerate mixed strategies: (i) x ̲ 1 = x ̲ 2 = x ̲ ρ ̲ , and (ii) if there is a firm i such that φ i ( x ̲ ) > ψ i ( x ̲ , x ̲ ) , then neither firm’s equilibrium strategy may have an atom at x ̲ .
An important implication of Lemma 4 is that, in such an equilibrium, each firm selects prices arbitrarily close to x ̲ with positive probability, receiving its front-side profit with probability arbitrarily close to one. Consequently, each firm i’s expected profit in equilibrium is u i * = φ i ( x ̲ ) .
Because of the general structure of each firm’s residual profit, there can be multiple non-payoff equivalent equilibria. The following example is a simple BE game with two non-payoff equivalent mixed strategy equilibria.
Example 5. 
Consider a market with a mass of 1 of consumers all with a maximum willingness to pay of 1 for the homogeneous product. The perceived value of the good to the consumers is based on the observed prices. When prices are low (high), consumers have a low (high) willingness to pay. The willingness to pay of any consumer is
v ( p ) = 1 if min { p 1 , p 2 } > 1 / 2 1 / 2 if min { p 1 , p 2 } 1 / 2 .
Thus, if both firms set prices weakly less than 1 / 2 , then willingness to pay is 1 / 2 . If both firms price above 1 / 2 , then willingness to pay is 1.
Each firm i has zero production cost but is limited to producing a quantity no greater than its capacity k i < 1 , where k 1 + k 2 1 . The demand system follows standard “efficient rationing”, although this is determined by Nash equilibrium play of the consumer search game.
The front-side profit of firm i is
φ i ( x ) = 0 if x > 1 x k i if x [ 0 , 1 ] ,
and the residual profit of firm i is
ψ i ( p i , p j ) = 0 if p i > 1 , or p i > 1 / 2 p j p i 1 k j if 1 p i p j > 1 / 2 or 1 / 2 p i p j .
Let k 1 = k 2 = 5 / 8 . There are two mixed strategy equilibria. Each equilibrium is symmetric, with both firms employing the CDF F ( x ) or both firms employing the CDF G ( x ) defined as follows:
F ( x ) = 0 if x < 3 / 10 10 x 3 4 x if x [ 3 / 10 , 1 / 2 ] 1 if x > 1 / 2 , G ( x ) = 0 if x < 3 / 5 5 x 3 2 x if x [ 3 / 5 , 1 ] 1 if x > 1 .
In the first equilibrium, each firm i has the expected payoff u i * = 3 / 16 , while in the second equilibrium, each firm i has the expected payoff u i * = 3 / 8 .
Note that, for this example, r ¯ = 3 / 5 and r ̲ = 3 / 10 . Consequently, φ ¯ i ( x ) = 3 / 8 and φ ̲ i ( x ) = 3 / 16 , which coincide with the two equilibrium expected payoffs.
In the following proposition, we show that the expected profits of all equilibria lie between the safe profit and the judo profit. The bounds on the equilibrium expected payoffs follow immediately from showing that the lower bound on pricing of any equilibrium must lie between the critical safe price and the critical judo price.
Proposition 3. 
All equilibria are such that u i * [ φ ̲ i , φ ¯ i ] .
These payoff bounds provide a solid foundation for understanding the properties of the equilibria of BE games in a general setting. While the literature on BE games has, in some cases, been able to provide precise payoff predictions, the bounds presented here apply to a much larger class of games than previously studied. The proposition gives precise predictions of the equilibrium profits when the judo price and safe price coincide ( r ̲ = r ¯ ). While it may seem restrictive to characterize only the bounds on the equilibrium profits along with the lowest equilibrium price, this result is inherently valuable as a precise computation of the equilibrium bounds and payoffs can only be obtained by first calculating the equilibrium strategies. Without very precise and often simplistic classes of functions, such a computation can be prohibitively difficult, and we are unaware of any method that would allow one to solve for the equilibrium strategies in general.
In order to bound the upper bound of equilibrium pricing, we need to formally define maximizers of the residual profit function conditional on the other firm’s mixed strategy. Given a distribution of prices F j , define the set of conditional residual maximizers  P ˜ i ( F j ) arg max x E F j [ ψ i ( x , p j ) | p j x ] . The following lemma demonstrates that the upper bound on pricing must lie between the smallest and largest of all firms’ conditional residual maximizers.
Lemma 5. 
For any equilibrium F = ( F 1 , F 2 ) , x ¯ P ˜ 1 ( F 2 ) P ˜ 2 ( F 1 ) .
Lemma 5 is useful for the technical analysis but has a limited predictive value for two reasons. First, this result requires knowledge of equilibrium pricing distributions, and second, it is not possible to infer payoffs from the upper bound on pricing because of the dependence of the residual profit on the lower price.
Remark 2. 
In contrast with the literature on BE duopoly, the generality of our specification introduces an additional level of pricing indeterminacy. The first level of indeterminacy, in the previous literature, is based on the equilibrium being in non-degenerate mixed strategies. The second level of indeterminacy present in our framework is driven by the fact that there can be multiple non-payoff equivalent equilibria.

4. Pure Strategy Equilibria

The objective of this section is to understand when price indeterminacy is resolved by equilibrium play. To that end, we present necessary and sufficient conditions for the existence of pure strategy equilibrium. Under additional restrictions, our conditions become necessary and sufficient for this to be the unique equilibrium. When these conditions fail to hold, all equilibria of the pricing game must be in mixed strategies.
We show that the only possible pure strategy equilibrium is both firms pricing at ρ ̲ . This allows us to derive necessary and sufficient conditions for pure strategy equilibrium. There are two different sets of conditions for the two cases: φ i ( ρ ̲ ) = ψ i ( ρ ̲ , ρ ̲ ) for all i, and for some i, φ i ( ρ ̲ ) > ψ i ( ρ ̲ , ρ ̲ ) . The only condition for the case that φ i ( ρ ̲ ) = ψ i ( ρ ̲ , ρ ̲ ) for all i is that ρ ̲ is a residual maximizer for both firms. For the case that there is a firm i with φ i ( ρ ̲ ) > ψ i ( ρ ̲ , ρ ̲ ) , firm i must obtain the front-side profit for sure at the tie and cannot have a residual maximizer that is better than this front-side profit, while for firm j, it must be that φ j ( ρ ̲ ) = ψ j ( ρ ̲ , ρ ̲ ) and ρ ̲ is a residual maximizer for firm j.
Proposition 4. 
Any pure strategy equilibrium ( x * , x * ) must be symmetric and x * = ρ ̲ . The following are two types of possible pure strategy equilibrium:
  • If φ i ( ρ ̲ ) = ψ i ( ρ ̲ , ρ ̲ ) for all i, then x * = ρ ̲ is a pure strategy equilibrium if and only if ρ ̲ P ˜ i ( ρ ̲ ) for all i;
  • If φ i ( ρ ̲ ) > ψ i ( ρ ̲ , ρ ̲ ) for some i, then x * = ρ ̲ is a pure strategy equilibrium if and only if φ j ( ρ ̲ ) = ψ j ( ρ ̲ , ρ ̲ ) , ρ ̲ P ˜ j ( ρ ̲ ) , α i ( ρ ̲ , ρ ̲ ) = 1 , and φ i ( ρ ̲ ) ψ ˜ i ( ρ ̲ ) .
Intuitively, it is easy to understand why both firms setting a price of ρ ̲ is the only possible pure strategy equilibrium. Each firm i must price at least at a ̲ i , as otherwise, firm j would act as a monopoly and then firm i would have a profitable deviation to undercut the monopoly price of firm j. Next, each firm must price at least at ρ ̲ i , as otherwise, the firm with the lowest price could increase its price and still receive a payoff equal to their front-side profit. This is a profitable deviation since the front-side profit is increasing. Similarly, both firms must set the same price, as otherwise, the firm with the low price could improve by increasing its price. Lastly, if both firms set a higher price than ρ ̲ , then each firm’s front-side profit is higher than their respective residual profit. Since both firms cannot receive their front-side profit with certainty, at least one firm has incentive to undercut.
We now proceed to the proof of Proposition 4.
Proposition 4 is important in that it specifies the exact circumstances that Edgeworth’s concerns about price indeterminacy can be alleviated. However, in this general setting, the existence of a pure strategy equilibrium does not guarantee the uniqueness of this equilibrium. Since ρ ̲ is uniquely defined, it is the only pure strategy equilibrium candidate; however, it may be that a mixed strategy equilibrium concurrently exists. The following example is a BE game with both a pure strategy equilibrium and a mixed strategy equilibrium.
Example 6. 
Consider an industry with a market with demand
D ( x ) = 0 if x > 10 10 if x [ 0 , 10 ]
Both firms have zero cost of production up to the capacity constraint k 1 = k 2 = 10 . The front-side profit of firm i is
φ i ( x ) = 0 if x > 10 10 x if x [ 0 , 10 ] ,
There is an additional mass of 8 consumers with no income for whom the government will fully subsidize the purchase of this good up to a price of 10 dollars, but only if the lowest posted price is at least 3. Based on this program, the residual profit of each firm i is
ψ i ( p i , p j ) = 8 p i if 10 p i p j 3 0 if p j < 3 or p i > 10 .
This game has the following two equilibria:
EQ 1 (pure strategy): Both firms set a price of zero, with corresponding equilibrium profits of zero.
EQ 2 (mixed strategy): Each firm i employs the CDF F ( x ) defined by
F ( x ) = 0 if x < 8 5 x 40 x if x [ 8 , 10 ] 1 if x > 10
and earns an equilibrium profit of u i * = 80 .
The following proposition demonstrates that no other equilibrium in pure or mixed strategies may exist as long as residual profit is nonincreasing in the other firm’s price and ρ ̲ is the only residual maximizer for each firm when the other firm sets a price of ρ ̲ .
Proposition 5. 
Suppose that there is a pure strategy equilibrium. If ρ ̲ is the unique maximizer of ψ i ( p i , ρ ̲ ) and ψ i is nonincreasing in p j for each firm i, then both firms pricing at ρ ̲ is the unique equilibrium of the BE game.
Remark 3. 
Based on Proposition 5, in the case that residual profits are nonincreasing in the rival’s price and have the unique residual maximizer of ρ ̲ to the price ρ ̲ , a non-degenerate mixed strategy and pure strategy equilibrium cannot coexist for the same parameters.19 Thus, in this environment, the necessary and sufficient condition for the existence of pure strategy equilibrium also guarantees its uniqueness. In getting back to the theme of price indeterminacy, Proposition 5 provides precise conditions for determinate pricing.
Propositions 4 and 5 provide the basic character of all pure strategy equilibria of the BE game. We turn now to a discussion of the nature of pure strategy equilibrium in our model and classifying all pure strategy equilibria of this game as one of two distinct types. The first type of pricing requires that price equals marginal cost, a la Bertrand pricing. The second type of equilibrium includes pricing above marginal cost with supply to equal demand, a la Cournot pricing. These types are defined formally as follows.
Type B: ρ ̲ = max a ̲ i
Type C: ρ ̲ > max a ̲ i
It is important to point out that our structure permits pure strategy equilibrium pricing not of classical Bertrand (price equals marginal cost) or classical Cournot (market clearing) character. For example, a model with underlying cost functions that have constant marginal cost c from 0 to q and then a jump in constant marginal cost to c > c for all quantities greater than q. Although a pure strategy equilibrium with each firm pricing at marginal cost c has more of the flavor of Bertrand pricing, it actually falls in the category of Type C. This is based on the fact that the model a ̲ i = c to satisfy our abstract assumptions. It is worth noting that the conditions of Proposition 5 can only apply to Type C pure strategy equilibrium based on the unique maximizer restriction. The reason for this is that, in any Type B equilibrium, at least one firm i has an equilibrium profit equal to zero, which means that firm i’s residual profit is maximized at any x ρ ̲ .
Additional characterization of the set of pure strategy equilibrium is provided in Section 5 to follow for a special case model where we use a traditional construction of the market based on primitive assumptions on demand and production technology.

5. Special Case Model

In this section, we construct a BE duopoly model from assumptions on cost, demand, and residual demand. The purpose of the section is two-fold: First, show a model with underlying production technology and demand assumptions sufficient for the abstract front-side and residual profit functions to follow Assumptions 1–8. Second, provide results for this model that cannot be shown in the abstract formulation. These results pertain to the conditions for pure strategy equilibrium and how changes in residual demand rationing and individual supply change the bounds on equilibrium prices and payoffs. We now turn to establishing the basic structure of the special case model.
Each firm i has a cost of production c i : R + R + satisfying the following properties.
Condition 1. 
Each c i is continuous and nondecreasing with c i ( 0 ) = 0 .
Define the profit function for firm i to be π i ( x , z ) = x z c i ( z ) . Firm i has a capacity denoted by k i > 0 that serves as the upper bound on the quantity that can be produced.20 The supply function of each firm i, denoted by s i ( x ) , is a quantity that would maximize π i ( x , z ) . The supply function s i ( x ) is any selection from the supply correspondence ϑ i ( x ) = arg max z [ 0 , k i ] x z c i ( z ) , which must exist due to the continuity of c i from Condition 1 and the compactness of [ 0 , k i ] .
Condition 2. 
π i ( x , z ) is quasiconcave in z.
The key parameter a ̲ i is the infimum of firm i’s average cost, defined formally as a ̲ i = inf z > 0 c i ( z ) / z . The following condition is that each firm’s lowest average cost is as the production quantity approaches zero.
Condition 3. 
inf z > 0 c i ( z ) z = lim inf z 0 c i ( z ) z .
The market demand is denoted by D : R + R + . We make the following assumptions about the properties of market demand.
Condition 4. 
D is continuous and nonincreasing. There is a choke price p ¯ c = inf { x : D ( x ) = 0 } < , with max { a ̲ 1 , a ̲ 2 } < p ¯ c .
The residual demand of firm i is the demand available to the firm i if p i p j and is denoted by d i : { ( p i , p j ) R + 2 : p i p j } R + . We make the following assumptions about the properties of each firm i’s residual demand.
Condition 5. 
d i ( p i , p j ) is continuous and nonincreasing p i , and right continuous and nonincreasing in p j .21 Furthermore, d i ( p i , p j ) D ( p i ) for all p i p j .
Given Conditions 1–5, at any price p i , the optimal production quantity for firm i with the lower price given D ( p i ) is Q i ( p i ) = min { s i ( p i ) , D ( p i ) } . Similarly, the optimal production quantity for the firm with the higher price given residual demand d i ( p i , p j ) is q i ( p i , p j ) = min { s i ( p i ) , d i ( p i , p j ) } . The following condition relates the quantity produced by the firm with the lower price to the residual demand.
Condition 6. 
If Q j ( x ) = D ( x ) , then d i ( x , x ) = 0 . If Q j ( x ) = 0 , then d i ( x , x ) = D ( x ) for all x x . For any price x, d i ( x , x ) = D ( x ) Q j ( x ) . If Q j ( x ) > 0 , then d i ( x , x ) < D ( x ) for all x < p ¯ c .
We define the front-side and residual profit functions of each firm i, respectively, by
φ i ( p i ) = p i Q i ( p i ) c i ( Q i ( p i ) ) ψ i ( p i , p j ) = p i q i ( p i , p j ) c i ( q i ( p i , p j ) )
It will be useful to denote the lower bound of all prices such that firm i’s supply is at least as big as the demand by τ i . Formally, τ i = inf { x : s i ( x ) D ( x ) } .
Condition 7. 
p i D ( p i ) c i ( D ( p i ) ) is strictly quasiconcave on [ τ i , p ¯ c ] .
The restriction of the strict quasiconcavity to only the interval [ τ i , p ¯ c ] allows some additional freedom for the demand function at prices below τ i . The properties of p i D ( p i ) c i ( D ( p i ) ) at prices p i < τ i are irrelevant, as the the profit of the firm does not correspond to this expression at such prices.
An immediate consequence of Condition 7 is that there is a unique maximizer p ^ i of the front-side profit for each firm i. The next condition is a restatement of Assumption 5, which we still need to guarantee that no single firm will monopolize the market.
Condition 8. 
p ^ i > a ̲ j for each firm i.
The following lemma shows that Conditions 1–8 imply Assumptions 1–7 of the general model.
Lemma 6. 
If Conditions 1–8 are satisfied, then Assumptions 1–7 are satisfied.
In this special case model, we can define the judo and safe price of each firm i in a slightly simplified way. The judo price of firm i is
r ¯ i = inf { x | φ i ( x ) > ψ ˜ i ( x ) } .
Note that, based on the assumptions of this section, either φ i ( r ¯ i ) = ψ ˜ i ( r ¯ i ) , or r ¯ i = a ̲ j . The safe price of firm i is
r ̲ i = min { x | φ i ( x ) u ̲ i } .

5.1. Special Results for Pure Strategy Equilibrium

As we described in the general model section on pure strategy equilibrium, there is an intuitive way to classify the pure strategy equilibrium into two types. Particularly, Type B with x * = max { a ̲ 1 , a ̲ 2 } and Type C with x * > max { a ̲ 1 , a ̲ 2 } . The structure added in this section allows us to say more about these types of equilibrium. Particularly, in the following proposition, we present the necessary and sufficient conditions on supply, demand, and residual demand for the existence of pure strategy equilibrium.
Proposition 6. 
The price x * = ρ ̲ is a pure strategy Nash equilibrium if and only if one of the following three conditions holds:
B.1 ρ ̲ = a ̲ 1 = a ̲ 2 and d i ( x , ρ ̲ ) = 0 for each firm i, and all x > ρ ̲ .
B.2 ρ ̲ = a ̲ i > a ̲ j , d i ( x , ρ ̲ ) = 0 for all x ρ ̲ , u j ( ρ ̲ , ρ ̲ ) = φ j ( ρ ̲ ) , and ψ j ( x , ρ ̲ ) φ j ( ρ ̲ ) for all x ρ ̲ .
C ρ ̲ ( max { a ̲ 1 , a ̲ 2 } , min { p ^ 1 , p ^ 2 } ] , ρ ̲ P ˜ i ( ρ ̲ ) for each firm i, and s ̲ i ( ρ ̲ ) + s j ( ρ ̲ ) D ( ρ ̲ ) for any firm i with α i ( ρ ̲ , ρ ̲ ) < 1 , where s ̲ i ( x ) = min ϑ i ( x ) .
The specificity of the model in this section allows us to break Type B equilibrium into two categories. Type B.1 requires that each firm’s infimum of average cost is the same, a ̲ 1 = a ̲ 2 . In all Type B.1 pure strategy equilibrium, both firms make zero profit. There are two different possibilities for B.1 pure strategy pricing. The first case, akin to Classical Bertrand marginal cost pricing, is the case in which min { s 1 ( ρ ̲ ) , s 2 ( ρ ̲ ) } D ( ρ ̲ ) , and thus by Condition 6, d i ( ρ ̲ , ρ ̲ ) = 0 for both i. The second case allows for a firm’s supply to not cover all of demand s i ( ρ ̲ ) < D ( ρ ̲ ) as long as there is no residual demand for the other firm d j ( x , ρ ̲ ) = 0 for all x > ρ ̲ . This case relies on no consumers going to the higher-priced firm j when firm i prices at ρ ̲ .
Type B.2 is pure strategy pricing that can only occur in the case that the two firms have different infima of their average costs. In such an equilibrium, both firms price at the higher of the two infimum average costs, and it must be that the firm with the lower infimum average cost obtains its full front-side profit. This means that the lower-cost firm must obtain a large-enough share of demand at this price to achieve its front-side profit, while the higher-cost firm makes zero profit. This type of pure strategy equilibrium was shown in Theorem 2 of Deneckere and Kovenock (1996) for a model of firms with asymmetric constant marginal costs.
In all Type C equilibria, both firms make positive profits. Like B.1, Type C pricing has two different possibilities. The first case is similar to Classical Cournot market clearing prices ( s 1 ( ρ ̲ ) + s 2 ( ρ ̲ ) = D ( ρ ̲ ) ) above the infimum of average cost. The second case is such that total supply is less than demand s 1 ( ρ ̲ ) + s 2 ( ρ ̲ ) < D ( ρ ̲ ) and residual demand rationing does not permit a profit increase by pricing higher than ρ ̲ . This case of Type C pricing requires that each firm’s residual demand is sufficiently low at prices greater than ρ ̲ .
Next, we establish a condition such that the only possible pure strategy equilibrium is Type C.
Proposition 7. 
Index the firms such that a ̲ 1 a ̲ 2 . If s 1 ( a ̲ 1 ) = 0 , then only Type C pure strategy pricing equilibria are possible.
From this proposition, in order to have a Type B equilibrium, we see that the minimum average cost of the higher-cost firm must be achieved by at least one positive production quantity (it could be equal to the infimum of the average cost at zero at well). This necessitates either a flat section of this firm’s marginal cost or a U-shaped marginal cost curve.
Now we make a remark regarding the character of Type C pricing in a differentiable model.
Remark 4. 
By adding standard differentiability assumptions, it becomes clear that the existence of a pure strategy equilibrium is remarkably fragile. If all key components of the model are differentiable (demand, residual demand, cost, and supply), then any Type C equilibrium must be such that s 1 ( ρ ̲ ) + s 2 ( ρ ̲ ) = D ( ρ ̲ ) . This basic insight on the non-existence of pure strategy equilibrium is first found by Shubik (1959).

5.2. Some Comparative Statics on Equilibrium Bounds

We examine the effects of changes in residual demand rationing and individual supply on the bounds of equilibrium prices and payoffs. It should be clear that, for small changes to these components, the actual equilibrium payoffs need not follow the bounds (though perhaps they are likely to). However, for sufficiently large changes, when the new range of prices or profits does not intersect the old, we are able to precisely conclude how the actual equilibrium profits are affected.
We begin by examining the role of changes in the demand side of the market. Specifically, we consider an increase in residual demand rationing of consumers, whereby at least one firm has an increase in their residual demand. We use residual demands d i and d i ; let φ = ( φ 1 , φ 2 ) and φ denote the corresponding front-side profits and ψ = ( ψ 1 , ψ 2 ) and ψ denote the corresponding residual profits. Our first result establishes that an increase in the residual demand of either firm weakly increases the bounds on equilibrium payoffs.
Proposition 8. 
If d i d i , then r ¯ r ¯ , r ̲ r ̲ , φ ¯ φ ¯ and φ ̲ φ ̲ .
Simply put, this proposition establishes that a shift to a more generous rationing scheme increases the bounds on the profits of each firm.
Now we turn our attention to understanding the impact of changes in production technology. The following proposition shows conditions such that an increase in a firm’s supply, which could result from an increase in capacity or reduction in costs, will weakly reduce its judo and safe price and weakly reduce the profit of the other firm. Given supply functions s = ( s 1 , s 2 ) and s , let φ = ( φ 1 , φ 2 ) and φ denote the corresponding front-side profits and ψ = ( ψ 1 , ψ 2 ) and ψ denote the corresponding residual profits.
Proposition 9. 
Consider a weak cost reduction for firm i that results in a weak supply increase so that s i s i . Suppose further that this results in a weak reduction in residual demand for firm j, d j ( x , y ) d j ( x , y ) for all x y . Lastly, suppose that c i ( q ) c i ( q ) is nondecreasing in q. Then r ¯ r ¯ , r ̲ r ̲ , φ ¯ j φ ¯ j , and φ ̲ j φ ̲ j .
Note that this proposition does not make any statements regarding the profits of the firm whose supply shifts. The reason is that the effect is ambiguous. That is, a technological increase for a firm does not necessarily imply an increase in equilibrium profits for that firm. The direction of the change in profits is instead determined by the nature of the shift and market conditions. Two extreme examples illustrate this point.
Consider a duopoly in which identical firms have constant marginal costs and capacities equal to half the monopoly quantity. In such a setting, pure strategy pricing can be sustained with each firm earning half the monopoly profit. Now consider a technology shock that increases the capacity of both firms so that their capacity is nonbinding at any price. This technological increase actually lowers each firm’s profit from something strictly positive to zero.
The previous example involved an industry-wide capacity shock; however, the same result may occur as a result of a cost reduction for a single firm. Consider a duopoly in which firm 1 has constant marginal cost c = 0 while firm 2 has a strictly convex cost of production with supply s 2 ( x ) > 0 for all x > 0 and s 2 ( 0 ) = 0 . Suppose that the firms are not capacity constrained. It follows that ρ ̲ = 0 . Note that by choosing a price x arbitrarily close to zero, the right continuity of s 2 guarantees that ψ 1 ( x , 0 ) > 0 . Thus, p 1 = p 2 = 0 cannot be an equilibrium, and any equilibrium must be in mixed strategies. Therefore, it must be that firm 2 receives its front-side profit in equilibrium with positive probability, in which case, it earns positive profits. Consider a technology increase of firm 2 that reduces its cost to zero. Then the game becomes the classic Bertrand duopoly with zero profits. Thus, a reduction in one firm’s cost may actually reduce its profits.
These examples highlight that there are countervailing effects associated with a change in technology. There is a primary cost effect or capacity effect that allows a firm to earn a higher profit margin or produce more at any given price, both of which increase the profits of that firm. Alternatively, there is a secondary competition effect, whereby the change in cost or capacity alters the strategic environment and incentivizes the other firm to price more competitively, driving the prices of both firms down and thereby reducing profits. Whether the net change in profits is positive or negative depends on the relative strength of these two effects.

6. Concluding Remarks

Reformulating price competition as an all-pay contest with externalities has allowed us to derive results on the nature of equilibrium for a class of BE pricing games far more general than using conventional methods. The broad range of underlying specifications includes many new specifications (as U-shaped average cost of production, minimal restriction on demand, demand rationing based on consumer search, and technology asymmetries across firms) that expand the possible policy applications of the BE model. Further, we have presented a methodology that can be extended to analyze BE oligopoly including the possibility of incomplete information.

Author Contributions

Conceptualization, B.A.A. and J.J.L.; Formal analysis, B.A.A. and J.J.L.; Writing—original draft, B.A.A. and J.J.L. Both authors have contributed to all phases of the manuscript. All authors have read and agreed to the published version of the manuscript.

Funding

There was no funding recieved for this project.

Data Availability Statement

No new data were created or analyzed in this study.

Conflicts of Interest

The authors declare no conflicts of interest.

Appendix A

Appendix A.1. Existence of Equilibrium (Proof of Proposition 1)

We prove the existence of equilibrium using the following result based on the works of Reny (1999) and Bagh and Jofre (2006).
Fact A1. 
If the mixed extension of a compact game is payoff secure and satisfies weak reciprocal upper semicontinuity (WRUSC), then the game has a mixed strategy Nash equilibrium.
Verifying payoff security and WRUSC in the mixed extension of a game is burdensome, and so we rely on the recent results of Allen and Lepore (2014) and Allison et al. (2018), which provide easily verifiable conditions for games that imply that these properties are satisfied in the mixed extension.
The following definition is from Allen and Lepore (2014). Let X i and u i denote player i’s strategy set and utility function, respectively. Define the discontinuity mapping D i : X i X i such that
D i ( x i ) = x i X i : u i ( x i , x i ) is discontinuous in x i at x i , x i .
Definition A1. 
A game satisfies disjoint payoff matching (DPM) if, for each player i and all x i X i , there exists a sequence { x i k } X i such that
(1) lim inf k u i ( x i k , x i ) u i ( x i , x i ) for all x i X i ; and
(2) lim sup k D i ( x i k ) = .22
Fact A2 
(Allen and Lepore (2014)). If a compact game satisfies DPM, then the mixed extension of the game is payoff secure.
The problem in using this definition of DPM to verify the existence of equilibrium in our model is that the payoff function u i can be discontinuous in p j through ψ j at some prices p regardless of the choice of p i .23 As such, it may be impossible to satisfy part 2 of the definition. A trivial modification is sufficient to generalize the existence result. Define the discontinuity map D i : X i X i such that
D i ( x i ) = x i D i ( x i ) : u i ( x i , x i ) is not lower semicontinuous in x i at x i , x i .
By replacing D i with D i in the definition of DPM, the proof of the main result of Allen and Lepore (2014) is unaffected. Since ψ i is assumed to be lower semicontinuous in the statement of Proposition 1, it follows that the discontinuity sets D i ( x i ) and D i ( x i ) coincide, and so we will be able to use this modified definition of DPM in our model.
Verifying that the BE game satisfies DPM is quite simple: for any price p i > 0 , the sequence of deviations p i k = p i 1 / k satisfies the definition, as these deviations result in either the same profit in the limit or a higher profit by guaranteeing the front-side profit if there would be a tie at p i . Further, the only points of discontinuity at which the payoffs are not lower semicontinuous are ties, and lim sup k D i ( x i k ) = since D i ( p i k ) = { p i k } , and thus, D i ( p i k ) D i ( p k ) = for all k k . If p i = 0 , then u i ( p i , p j ) = 0 for all p j and D i ( p i ) = , so p i k = 0 for all k trivially satisfies the definition. Thus, the mixed extension of the BE game is payoff secure.
We now verify that the mixed extension of the BE game satisfies WRUSC. It will be useful to define the object u ¯ i ( x ) = lim sup x x u i ( x ) and u ¯ to be the vector valued functions whose individual components are each u ¯ i .
Fact A3 
(Allison et al. (2018)). Let G = ( N , X , u ) be a compact game. Suppose that, (1) for each player i, there exists a sequence of Borel measurable functions T i k : X i X i such that, for all x X , lim inf k u i ( T i k ( x i ) , x i ) u ¯ i ( x ) , and (2) for any strategy profile x X , if there is some sequence { x k } with lim k u ( x k ) = u ¯ ( x ) , then u ( x ) = u ¯ ( x ) . Then the mixed extension of the game satisfies WRUSC.
These two conditions intuitively state that (1) each player can deviate from any strategy so that, given any strategy profile of the other players, the deviating player obtains the highest feasible payoff near that strategy profile, and (2) if it is feasible for all players to simultaneously obtain their highest feasible payoff near a strategy profile, then the payoffs specify that they all receive such a payoff at that strategy. In the context of our BE model, (1) is satisfied by the same deviations as with DPM: T i k ( p i ) = max { p i 1 / k , 0 } . This sequence of deviations maximizes the firm’s chances of obtaining the front-side payoff, which corresponds to u ¯ i . For (2), observe that since ψ i is lower semicontinuous in p j , then ψ ¯ i = ψ i , where ψ i is derived from ψ i as u ¯ i is derived from u i . Thus, u i ( p i , p j ) = ψ i ( p i , p j ) = u ¯ i ( p i , p j ) for any p i > p j . If p i < p j , then u i ( p i , p j ) = φ i ( p i ) = u ¯ i ( p i , p j ) . Any violation of condition (2) can thus only be at ties. Note that if φ i ( x ) > ψ i ( x , x ) for both firms i, it is not feasible that both firms i simultaneously obtain u ¯ i . If φ i ( x ) = ψ i ( x , x ) for both firms i, then u i ( x , x ) = u ¯ i ( x , x ) . Lastly, if φ i ( x ) > ψ i ( x , x ) and φ j ( x ) = ψ j ( x , x ) , then by the assumption in the statement of the proposition, α i ( x , x ) = 1 , and so u i ( x , x ) = φ i ( x ) = u ¯ i ( x , x ) and u j ( x , x ) = φ j ( x ) = u ¯ j ( x , x ) . Thus, condition (2) is satisfied. We conclude that the mixed extension of the BE game satisfies WRUSC.

Appendix A.2. Proof of Lemmas and Propositions

Lemma A1. 
sup p j [ x 0 , x ] ψ i ( x , p j ) is right upper semicontinuous in x at x = x 0 .
Proof of Lemma A1. 
Let x 0 0 and observe that sup p j [ x 0 , x ] ψ i ( x , p j ) = ψ i ( x 0 , x 0 ) at x = x 0 . Let ε > 0 and x n x 0 be such that x n > x for each n. For each n, let y n k be a sequence in k such that lim k ψ i ( x n , y n k ) = sup p j [ x 0 , x n ] ψ i ( x n , p j ) . For each n, let K ( n ) be such that ψ i ( x n , y n k ) sup p j [ x 0 , x n ] ψ i ( x n , p j ) < ε / 3 for all k > K ( n ) and choose y n = y n k for some k > K ( n ) . Then note that
sup p j [ x 0 , x n ] ψ i ( x n , p j ) ψ i ( x 0 , x 0 ) sup p j [ x 0 , x n ] ψ i ( x n , p j ) ψ i ( x n , y n ) + ψ i ( x n , y n ) ψ i ( x 0 , x 0 ) < ε 3 + ψ i ( x n , y n ) ψ i ( x n , x 0 ) + ψ i ( x n , x 0 ) ψ i ( x 0 , x 0 ) .
Since y n [ x 0 , x n ] , it follows that y n x 0 . Thus, by the right upper semicontinuity of ψ i in p j , there exists an N 1 such that ψ i ( x n , y n ) ψ i ( x n , x 0 ) < ε / 3 for all n > N 1 . Similarly, by the continuity of ψ i in p i , there exists an N 2 such that ψ i ( x n , x 0 ) ψ i ( x 0 , x 0 ) < ε / 3 for all n > N 2 . Thus, for all n > max { N 1 , N 2 } , it must be that
sup p j [ x 0 , x n ] ψ i ( x n , p j ) ψ i ( x 0 , x 0 ) < ε 3 + ψ i ( x n , y n ) ψ i ( x n , x 0 ) + ψ i ( x n , x 0 ) ψ i ( x 0 , x 0 ) < ε .
Therefore,
sup p j [ x 0 , x n ] ψ i ( x n , p j ) < ψ i ( x 0 , x 0 ) + ε ,
so by definition, sup p j [ x 0 , x ] ψ i ( x , p j ) is right upper semicontinuous in x at x = x 0 . □
Proof of Lemma 1. 
Suppose to the contrary that μ i ( [ 0 , x ^ ] ) < 1 for each firm i. Then for any firm i and any x > x ^ in support of μ i , Assumption 6 guarantees that φ i ( x ^ ) > φ i ( x ) and ψ i ( x ^ , p j ) ψ i ( x , p j ) for all p j x ^ . Observe that
u i ( x ^ , p j ) d μ j ( 1 F j ( x ^ ) ) φ i ( x ^ ) + [ 0 , x ^ ] ψ i ( x ^ , p j ) d F j ( 1 F j ( x ^ ) ) φ i ( x ^ ) + [ 0 , x ^ ] ψ i ( x , p j ) d F j
and ( 1 F j ( x ^ ) ) > 0 since μ j ( [ 0 , x ^ ] ) < 1 . Thus, we have
u i ( x ^ , p j ) d μ j ( 1 F j ( x ^ ) ) φ i ( x ^ ) + [ 0 , x ^ ] ψ i ( x , p j ) d F j > ( 1 F j ( x ^ ) ) φ i ( x ) + [ 0 , x ^ ] ψ i ( x , p j ) d F j ( 1 F j ( x ) + μ j ( { x } ) ) φ i ( x ) + [ 0 , x ) ψ i ( x , p j ) d F j = u i ( x , p j ) d μ j .
The last inequality follows from the fact that F j is a CDF and thus nondecreasing and from Assumption 1 guaranteeing that φ i ( x ) ψ i ( x , x ) for x x . This contradicts all x > x ^ as equilibrium strategies. □
Proof of Lemma 2. 
Let μ be an equilibrium and x be such that φ i ( x ) > ψ i ( x , x ) and μ i ( { x } ) > 0 . Suppose that μ j ( { x } ) > 0 and α i ( x , x ) < 1 . Consider a sequence of deviations by firm i to μ ˜ i n defined by
μ ˜ i n ( E ) = μ i ( E { x } ) if x δ n E μ i ( E { x } ) otherwise ,
where each δ n is chosen so that 0 < δ n < 1 / n and μ j ( { x δ n } ) = 0 . That is, μ ˜ i n is the measure created from μ i by shifting all mass from the price x to the price x δ n . Then note that
u i ( p ) d μ ˜ i n × μ j = u i ( p ) d μ + μ i ( { x } ) u i ( x δ n , p j ) u i ( x , p j ) d μ j .
We will show that lim n u i ( x δ n , p j ) u i ( x , p j ) d μ j > 0 for sufficiently large n, which will guarantee a profitable deviation for firm i, violating μ i as an equilibrium strategy. Note that
u i ( x δ n , p j ) u i ( x , p j ) = ψ i ( x δ n , p j ) ψ i ( x , p j ) if p j < x δ n φ i ( x δ n ) ψ i ( x , p j ) if x δ n p j < x φ i ( x δ n ) α i ( x , x ) φ i ( x ) ( 1 α i ( x , x ) ) ψ i ( x , x ) if p j = x φ i ( x δ n ) φ i ( x ) if p j > x .
It follows that the pointwise limit as n is
lim n u i ( x δ n , p j ) u i ( x , p j ) = 0 if p j < x ( 1 α i ( x , x ) ) φ i ( x ) ψ i ( x , x ) if p j = x 0 if p j > x .
Thus, since u i φ i ( p ^ i ) , then by the Lebesgue dominated convergence theorem,
lim n u i ( x δ n , p j ) u i ( x , p j ) d μ j = lim n u i ( x δ n , p j ) u i ( x , p j ) d μ j = μ j ( { x } ) ( 1 α i ( x , x ) ) φ i ( x ) ψ i ( x , x ) .
Since φ i ( x ) > ψ i ( x , x ) and α i ( x , x ) < 1 , μ i n is a profitable deviation for firm i for sufficiently large n, violating μ as an equilibrium. We conclude that either α i ( x , x ) = 1 or μ j ( { x } ) = 0 .
From Lemma 1, we know that μ i ( [ 0 , x ^ ] ) = 1 . Observe that if x ( ρ ̲ , x ^ ] , it must be that μ ( { ( x , x ) } ) = 0 since φ i ( x ) > ψ i ( x , x ) for each firm i at any price x ( ρ ̲ , x ^ ] and α i ( x , x ) < 1 for some firm i at any price x.
Next, we show that the equilibrium is invariant to the choice of α at prices x ( ρ ̲ , x ^ ] . Let μ be an equilibrium given the sharing rule α with expected profits v = ( v 1 , v 2 ) and consider another sharing rule α such that α ( x , x ) = α ( x , x ) for all x ρ ̲ . Let u i ( x , μ j ) denote firm i’s expected payoff when choosing a price x given α and u i ( x , μ j ) the corresponding payoff given α . To show that μ is an equilibrium for the game with sharing rule α , it will suffice to show that, for each player i, (i) u i ( x , μ j ) = v i μ i -almost everywhere and (ii) u i ( x , μ j ) v i for all prices x.
(i) Note that the sharing rule does not influence the payoffs at any price x such that μ j ( { x } ) = 0 , and so u i ( x , μ j ) = u i ( x , μ j ) at all such prices. Further, at all prices x ρ ̲ , u i ( x , μ j ) = u i ( x , μ j ) since α ( x , x ) = α ( x , x ) . The first part of this lemma demonstrates that μ i ( { x } ) = 0 for all x ( ρ ̲ , x ^ ] such that μ j ( { x } ) > 0 . Since μ j has at most countably many atoms, then μ i ( { x : μ j ( { x } ) > 0 } ) = 0 . It follows that u i ( x , μ j ) = v i μ i -almost everywhere.
(ii) As we have shown in part (i), u i ( x , μ j ) = u i ( x , μ j ) except possibly at prices x ( ρ ̲ , x ^ ] such that μ j ( { x } ) > 0 . Since price above x ^ is weakly dominated by x ^ , it is sufficient to examine prices in [ 0 , x ^ ] . Consider any such price x and let { x k } be a sequence such that x k x , x k < x for all k, and μ j ( { x k } ) = 0 for all k. Then note that the continuity of φ i and ψ i in p i on [ 0 , x ^ ] from Assumption 7 implies that lim k u i ( x k , μ j ) u i ( x , μ j ) . Since μ j ( { x k } ) = 0 for all k, then u i ( x k , μ j ) = u i ( x k , μ j ) for all k. If u i ( x , μ j ) > v i , then u i ( x k , μ j ) > v i for sufficiently large k, violating μ i as an equilibrium strategy with the sharing rule α . Therefore, u i ( x , μ j ) v i for all x.
We conclude that μ is an equilibrium given the sharing rule α . □
Proof of Lemma 3. 
We first argue that, in any equilibrium, x ̲ i a ̲ i for at least one firm i. Suppose to the contrary that x ̲ i < a ̲ i for each firm i. Then Assumption 2 implies that u i ( x , p j ) d μ j = φ i ( x ) = 0 and ψ j ( p j , x ) = φ j ( p j ) for all p j x and all x [ x ̲ i , a ̲ i ) . It follows that either player i could choose a price of p ^ i and receive a payoff of φ i ( p ^ i ) > 0 with positive probability since μ j ( [ x ̲ j , a ̲ j ) ) > 0 . This contradicts prices in [ x ̲ i , a ̲ i ) as equilibrium strategies. We conclude that x i a ̲ i for at least one firm i.
Let μ be an equilibrium with x ̲ i < x ̲ j . Note that u i ( x , p j ) d μ j = φ i ( x ) for all x [ x ̲ i , x ̲ j ) . If x ̲ j > a ̲ i , then Assumptions 2 and 3 imply that φ i , and thus u i ( x , p j ) d μ j is strictly increasing on [ a ̲ i , x ̲ j ) , violating prices in [ x ̲ i , x ̲ j ) as equilibrium strategies for firm i. Thus, x ̲ j a ̲ i and so x ̲ i < a ̲ i . Assumption 2 thus implies that φ i ( x ) = 0 for all x [ x ̲ i , x ̲ j ) , so firm i’s equilibrium profit must be zero. From the result proved immediately above, it must be that x ̲ j a ̲ j . Suppose that x ̲ j < a ̲ i . Then Assumption 2 implies that u j ( x , p i ) d μ i = φ j ( x ) for all x [ x ̲ j , a ̲ i ) . Therefore, since x ̲ j a ̲ j , Assumption 3 guarantees that φ j , and thus, u j is strictly increasing on [ x ̲ j , a ̲ i ) , violating these prices as equilibrium strategies for firm j. Thus, it must be that x ̲ j = a ̲ i . If μ j is nondegenerate, then there is some x > a ̲ i such that firm j prices strictly higher than x with positive probability. If firm i sets a price of this x, then with positive probability, firm i will receive φ i ( x ) , which is strictly positive by Assumption 3, contradicting zero as its equilibrium profit. Therefore, μ j is degenerate with μ j ( { a ̲ i } ) = 1 . Since there is a positive probability that firm i chooses a price x < a ̲ i , Assumption 2 implies that there is a positive probability that firm j will obtain a profit φ j ( p ^ j ) if it sets its price at p ^ j . Consequently, firm j’s equilibrium profit must be positive, and thus a ̲ j < a ̲ i .
Suppose that a ̲ i < ρ ̲ = ρ ̲ j , since a ̲ j < a ̲ i by Assumption 4. Assumptions 3 and 4 guarantee that u j ( x , p j ) d μ j = φ j ( x ) for all x ( a ̲ i , ρ ̲ ) and that φ j is strictly increasing on this interval. Thus, it must be that a ̲ i = ρ ̲ .
Finally, suppose that μ i ( [ ρ ̲ , ρ ̲ + ε ) ) = 0 for some ε > 0 . Then firm j could set any price x [ ρ ̲ , ρ ̲ + ε ) and still receive φ j ( x ) with certainty. Since φ j is strictly increasing, this would violate ρ ̲ as an equilibrium strategy for firm j. We conclude that μ i ( [ ρ ̲ , ρ ̲ + ε ) ) > 0 for any ε > 0 . □
Proof of Lemma 4. 
Lemma 3 implies that any nondegenerate mixed strategy equilibrium requires that x ̲ 1 = x ̲ 2 = x ̲ . Let μ be an equilibrium with x ̲ 1 = x ̲ 2 = x ̲ . Recall from the proof of Lemma 3 that at least one firm i must have x ̲ i a ̲ i .
First, we show that x ̲ max a ̲ i . Suppose to the contrary that x ̲ < a ̲ i for some firm i. Then it must be that x ̲ a ̲ j . By Assumption 2, firm j can set any price x [ x ̲ , a ̲ i ) and obtain a profit of φ j ( x ) with certainty. From Assumption 3, φ j is strictly increasing on this interval, contradicting these as equilibrium strategies. Therefore, it must be that x ̲ max a ̲ i .
Second, we show that x ̲ ρ ̲ . Suppose to the contrary that x ̲ < ρ ̲ . Then by Assumption 4, ψ i ( ρ ̲ , p j ) = φ i ( ρ ̲ ) for all p j < ρ ̲ . Consequently, either firm i could choose any price x ( x ̲ , ρ ̲ ) and earn u i ( x , p j ) d μ j = φ i ( x ) . Since x ̲ a ̲ i , Assumption 3 guarantees that φ i ( x ) is strictly increasing on this interval, violating these prices as equilibrium strategies. Therefore, it must be that x ̲ ρ ̲ .
Third, we show that neither firm i can have an atom at an x ̲ if φ i ( x ̲ ) > ψ i ( x ̲ , x ̲ ) . Suppose to the contrary that firm j has an atom at x ̲ , μ j ( { x ̲ } ) > 0 , noting that x ̲ x ^ since it is in support of each firm’s strategy. From Lemma 2, we know that μ i ( { x ̲ } ) = 0 ; however, as we have just shown, x ̲ i = x ̲ . Thus, μ i ( ( x ̲ , x ̲ + δ ) ) > 0 for all δ > 0 . We will show that there is some x < x ̲ and neighborhood ( x ̲ , x ̲ + δ ) such that u i ( x , p j ) d μ j > u i ( x , p j ) d μ j for all x ( x ̲ , x ̲ + δ ) .
Define β = μ j ( { x ̲ } ) > 0 and let ε > 0 be such that ε < β φ i ( x ̲ ) ψ i ( x ̲ , x ̲ ) . If firm i sets a price x < x ̲ , then its profit will be φ i ( x ) with certainty. Since x ̲ x ^ , Assumption 7 guarantees that φ i is left continuous, so there exists a δ 1 > 0 such that φ i ( x ) φ i ( x ̲ ) < ε / 2 for all x ( x ̲ δ 1 , x ̲ ) . Note that u i ( x , p j ) d μ j ( 1 β ) φ i ( x ) + β sup p j [ x ̲ , x ] ψ i ( x , p j ) at any price x > x ̲ and observe that sup p j [ x ̲ , x ] ψ i ( x , p j ) = ψ i ( x ̲ , x ̲ ) at x = x ̲ . Note that sup p j [ x ̲ , x ] ψ i ( x , p j ) is right upper semicontinuous by Lemma A1. If x ̲ = x ^ , then Assumption 6 guarantees that φ i ( x ) < φ i ( x ̲ ) for all x > x ̲ , and thus, φ i is right upper semicontinuous at x ̲ . Alternatively, if x ̲ < x ^ , then Assumption 7 guarantees that φ i is continuous and thus right upper semicontinuous. In either case, the function ( 1 β ) φ i ( x ) + β sup p j [ x ̲ , x ] ψ i ( x , p j ) is right upper semicontinuous in x at x ̲ , so there exists δ 2 > 0 such that
( 1 β ) φ i ( x ) + β sup p j [ x ̲ , x ] ψ i ( x , p j ) < ( 1 β ) φ i ( x ̲ ) + β ψ i ( x ̲ , x ̲ ) + ε 2
for all x ( x ̲ , x ̲ + δ 2 ) . Let x ( x ̲ δ 1 , x ̲ ) and note that φ i ( x ) > φ i ( x ̲ ) ε / 2 . Thus,
φ i ( x ) > ( 1 β ) φ i ( x ̲ ) + β φ i ( x ̲ ) ε 2 = ( 1 β ) φ i ( x ̲ ) + β ψ i ( x ̲ , x ̲ ) + β [ φ i ( x ̲ ) ψ i ( x ̲ , x ̲ ) ] ε 2 .
For all x ( x ̲ , x ̲ + δ 2 ) , we have
( 1 β ) φ i ( x ̲ ) + β ψ i ( x ̲ , x ̲ ) + β [ φ i ( x ̲ ) ψ i ( x ̲ , x ̲ ) ] ε 2 > ( 1 β ) φ i ( x ) + β sup p j [ x ̲ , x ] ψ i ( x , p j ) + β [ φ i ( x ̲ ) ψ i ( x ̲ , x ̲ ) ] ε
and therefore,
φ i ( x ) > ( 1 β ) φ i ( x ) + β sup p j [ x ̲ , x ] ψ i ( x , p j ) + β [ φ i ( x ̲ ) ψ i ( x ̲ , x ̲ ) ] ε .
Since ε < β ( φ i ( x ̲ ) ψ i ( x ̲ , x ̲ ) ) , this implies that u i ( x , p j ) d μ j > u i ( x , p j ) d μ j for all x ( x ̲ , x ̲ + δ 2 ) . This violates such prices as equilibrium strategies for firm i. We conclude that μ j ( { x ̲ } ) = 0 , so neither firm i can have an atom at x ̲ if φ i ( x ̲ ) > ψ i ( x ̲ , x ̲ ) . □
Proof of Proposition 3. 
We will prove the proposition for the two types of equilibria from Proposition 2 separately.
Case 1: Let μ be a symmetric lower bound equilibrium.
For this case, we first show that x ̲ [ r ̲ , r ¯ ] in two parts. First, we argue that x ̲ r ¯ . Suppose to the contrary that x ̲ > r ¯ . From Lemma 2, at most one firm can have an atom at x ¯ . Without loss of generality, let firm i be such that that x ¯ is in support of μ i and μ j ( { x ¯ } ) = 0 . Choose { x i k } in support of μ i such that x i k x ¯ ; then note that
lim k x ̲ x ¯ u i ( x i k , p j ) d μ j = x ̲ x ¯ ψ i ( x ¯ , p j ) d μ j
since ψ i is continuous in p i from Assumption 7. Next, since each x i k is in support of μ i , it must be that each x ̲ x ¯ u i ( x i k , p j ) d μ j = u i * . Note that
x ̲ x ¯ ψ i ( x ¯ , p j ) d μ j x ̲ x ¯ ψ ˜ i ( p j ) d μ j
by definition of ψ ˜ i . By definition of r ¯ i and the fact that x ̲ > r ¯ i , φ i ( r ¯ i ) > ψ ˜ i ( x ) for all x r ¯ i for each firm i. Further, Assumptions 2 and 3 imply that φ i is nondecreasing, so φ i ( x ̲ ) >   ψ ˜ i ( x ) for all x x ̲ . This implies that x ̲ x ¯ ψ ˜ i ( p j ) d μ j < φ i ( x ̲ ) , and thus u i * < φ i ( x ̲ ) . This violates μ i as an equilibrium strategy since firm i has a profitable deviation to x ̲ ε for sufficiently small ε that would guarantee a payoff of φ i ( x ̲ ) . We conclude that x ̲ r ¯ .
Second, we argue that x ̲ r ̲ . Suppose to the contrary that x ̲ < r ̲ . Let firm i be such that r ̲ i = r ̲ . By definition of r ̲ i and the continuity of φ i from Assumption 7, it must be that u ̲ i = φ i ( r ̲ ) . From Lemma 4, x ̲ ρ ̲ , and since ρ ̲ a ̲ i , Assumption 2 implies that φ i ( x ) > φ i ( x ̲ ) for all x > x ̲ . Thus, φ i ( x ̲ ) < φ i ( r ̲ ) = u ̲ i . The continuity of φ i and ψ i in p i thus guarantee that φ i ( x ) < u ̲ i and ψ i ( x , x ) < u ̲ i for all prices x [ x ̲ , r ̲ ) with x x , so u i ( x , p j ) d μ j < u ̲ i for all such x. This violates all x [ x ̲ , r ̲ ) as equilibrium strategies. We conclude that x ̲ r ̲ .
It follows from Lemma 4 that each firm i’s equilibrium expected profit is u i * = φ i ( x ̲ ) . The statement of the proposition thus follows from x ̲ [ r ̲ , r ¯ ] and the facts that φ i is strictly increasing on [ ρ ̲ , p ^ i ] and that ρ ̲ r ̲ .
Case 2: Let μ be an asymmetric lower bound equilibrium.
First, consider player i. The lower bound payoff u ̲ i = 0 , which implies that φ i ( r ̲ ) = 0 . Further, we know from Lemma 3 that u i * = 0 . By construction, φ i ( r ¯ ) 0 ; therefore, u i * [ φ ̲ i , φ ¯ i ] . Next, consider player j . From Lemma 3, u j * = φ j ( ρ ̲ ) = φ j ( a ̲ i ) . This payoff is possible for player j for any pricing by player i. Thus, u j * = u ̲ j = φ j ( r ̲ ) . By construction, φ j ( r ¯ ) 0 ; therefore, u j * [ φ ̲ j , φ ¯ j ] . □
Proof of Lemma 5. 
We use p ̲ i ( F j ) and p ¯ i ( F j ) to denote the smallest and largest conditional residual maximizer, respectively. That is, p ̲ i ( F j ) = min P ˜ i ( F j ) and p ¯ i ( F j ) = sup P ˜ i ( F j ) , where the right continuity of F j ensures that P ˜ i ( F j ) contains a minimal element, while it need not contain a maximal element.
Let μ be an equilibrium with the corresponding CDF’s F. If x ¯ = ρ ̲ , then from Lemmas 3 and 4, either the equilibrium is degenerate or x ̲ i < x ̲ j for some firm i. If the equilibrium is degenerate, then the statement of Proposition 4 (in Section 4) guarantees that ρ ̲ P ˜ i ( ρ ̲ ) for some firm i. It trivially follows that min { p ̲ 1 ( F 2 ) , p ̲ 2 ( F 1 ) } x ¯ max { p ¯ 1 ( F 2 ) , p ¯ 2 ( F 1 ) } . Alternatively, x ̲ i < x ̲ j for some firm i; then Lemma 3 guarantees that μ j ( { ρ ̲ } ) = 1 and u i * = 0 . In order for μ to be an equilibrium, firm i cannot have any profitable deviations, so it must be that ψ i ( x , ρ ̲ ) = 0 for all x ρ ̲ . Thus, by definition, P ˜ i ( ρ ̲ ) = [ ρ ̲ , ) , so min { p ̲ 1 ( F 2 ) , p ̲ 2 ( F 1 ) } x ¯ max { p ¯ 1 ( F 2 ) , p ¯ 2 ( F 1 ) } .
Finally, let x ¯ > ρ ̲ and suppose that either x ¯ < min { p ̲ 1 ( F 2 ) , p ̲ 2 ( F 1 ) } or x ¯ > max { p ¯ 1 ( F 2 ) , p ¯ 2 ( F 1 ) } . From Lemma 2, at most one firm may have an atom at x ¯ . Let firm i be such that x ¯ i = x ¯ and μ j ( { x ¯ } ) = 0 . Since x ¯ is in support of firm i’s strategy, we may choose { x i k } in support of μ i such that x i k x ¯ ; then note that
lim k x ̲ x ¯ u i ( x i k , p j ) d μ j = x ̲ x ¯ ψ i ( x ¯ , p j ) d μ j = E F j [ ψ i ( x ¯ , p j ) | p j x ¯ ] .
Since each x i k is a best response for firm i, this implies that x ¯ is also a best response for firm i. It follows from our supposition that x ¯ P ˜ i ( F j ) . Note that, for any price x,
u i ( x , F j ) ( 1 F j ( x ) ) φ i ( x ) + [ x ̲ , x ] ψ i ( x , p j ) d F j = ( 1 F j ( x ) ) φ i ( x ) + F j ( x ) E F j [ ψ i ( x , p j ) | p j x ] .
By definition of P ˜ i ( F j ) , E F j [ ψ i ( x , p j ) | p j x ] > E F j [ ψ i ( x ¯ , p j ) | p j x ¯ ] for all x P ˜ i ( F j ) . Thus, u i ( x , F j ) > u i ( x ¯ , F j ) for all x P ˜ i ( F j ) since φ i ( x ) ψ i ( x , p j ) for all p j . This contradicts x ¯ as a best response. We conclude that min { p ̲ 1 ( F 2 ) , p ̲ 2 ( F 1 ) } x ¯ max { p ¯ 1 ( F 2 ) , p ¯ 2 ( F 1 ) } . □
Proof of Proposition 4. 
First, observe that, in any equilibrium ( p 1 * , p 2 * ) with corresponding profits ( v 1 * , v 2 * ) , it must be that v i * φ i ( min { p j * , x ^ } ) . To see why, note that Assumption 7 guarantees that φ i is left continuous at min { p j * , x ^ } . Thus, firm i can guarantee itself a payoff of φ i ( min { p j * , x ^ } ε ) by deviating to p i = min { p j * , x ^ } ε , with the guarantee that φ i ( min { p j * , x ^ } ε ) φ i ( min { p j * , x ^ } ) .
We now argue that any pure strategy equilibrium must be symmetric. Suppose to the contrary that there is an asymmetric equilibrium with p i * < p j * . This means that firm i obtains φ i ( p i * ) with certainty. There are two cases to consider: (i) p i * < p ^ i and (ii) p i * = p ^ i . We may ignore the case in which p i * > p ^ i since firm i would trivially be better off with a price of p ^ i .
In case (i), if p i * a ̲ i , then Assumption 3 guarantees that some price p i ( p i * , p j * ) is strictly better for firm i since its front-side profit is strictly increasing on ( p i * , p ^ i ) . Alternatively, if p i * < a ̲ i , then Assumption 2 guarantees that φ i ( p i * ) = 0 and ψ j ( p j , p i * ) = φ j ( p j ) for any p j > p i * . It follows that p j * = p ^ j ; else firm j has a profitable deviation to p j = p ^ j . Thus, since p ^ j x ^ , firm i’s equilibrium profits must be such that v i * φ i ( p ^ j ) . It follows that φ i ( p ^ j ) = 0 , contradicting Assumption 5.
In case (ii), Assumption 3 guarantees that firm j has zero profit. Thus, since Assumption 5 guarantees that φ j ( p ^ i ) > 0 , firm j would be better off charging some price p j < p ^ i in order to obtain a positive profit. We conclude that any equilibrium must be symmetric.
Let ( x * , x * ) be an equilibrium. Now we show that the only possibility is x * = ρ ̲ . It follows immediately from Lemma 2 that x * ρ ̲ . Therefore, it remains to show that x * ρ ̲ . Suppose to the contrary that x * < ρ ̲ i for some firm i. Assumption 4 guarantees that φ i ( p i ) = ψ i ( p i , x * ) for all p i [ x * , ρ ̲ i ) . If x * a ̲ i , then Assumption 3 guarantees that φ i is strictly increasing, thus violating ( x * , x * ) as an equilibrium. Therefore, it must be that x * < a ̲ i , and thus, φ i ( x * ) = 0 . Assumption 2 then guarantees that ψ j ( p ^ j , x * ) = φ j ( p ^ j ) , so it must be that x * = p ^ j ; else firm j has a profitable deviation. However, Assumption 3 guarantees that φ i ( p ^ j ) > 0 , a contradiction. We conclude that x * ρ ̲ i for each firm i, so x * = ρ ̲ .
Now that we have established that the only possible pure strategy equilibrium is such that p 1 = p 2 = ρ ̲ , we show that the conditions of the proposition are necessary and sufficient for this to be a pure strategy equilibrium price. We begin with sufficiency by showing that the conditions rule out any profitable defections. For any defection x > ρ ̲ , the condition ρ ̲ P ˜ i ( ρ ̲ ) immediately rules out a profit increase for firm i. The other conditions α i ( ρ ̲ , ρ ̲ ) = 1 and φ i ( ρ ̲ ) ψ ˜ i ( ρ ̲ ) imply that u i ( ρ ̲ , ρ ̲ ) = φ i ( ρ ̲ ) ψ ˜ i ( ρ ̲ ) u i ( x , ρ ̲ ) for all x > ρ ̲ . Notice that the conditions make it such that u i ( ρ ̲ , ρ ̲ ) = φ i ( ρ ̲ ) for all firms i. Any defection to x < ρ ̲ results in u i ( x , ρ ̲ ) = φ i ( x ) φ i ( ρ ̲ ) based on the facts that, from Assumption 3, φ i is strictly increasing on the interval a ̲ i , p , and from Assumption 2, φ i ( x ) = 0 for all x a ̲ i .
Next, we prove that the conditions are necessary. Suppose to the contrary that p 1 = p 2 = ρ ̲ is an equilibrium and neither condition holds. First, we consider the case φ i ( ρ ̲ ) = ψ i ( ρ ̲ , ρ ̲ ) for all i. If there is a firm i such that ρ ̲ P ˜ i ( ρ ̲ ) , then for any x P ˜ i ( ρ ̲ ) , ψ i ( x , ρ ̲ ) > u i ( ρ ̲ , ρ ̲ ) , a contradiction. Second, consider the case that there is a firm i such that φ i ( ρ ̲ ) > ψ i ( ρ ̲ , ρ ̲ ) . We will go through a violation of each of four conditions in turn. If φ i ( ρ ̲ ) < ψ ˜ i ( ρ ̲ ) , then for any x P ˜ i ( ρ ̲ ) , ψ i ( x , ρ ̲ ) > u i ( ρ ̲ , ρ ̲ ) , a contradiction. If α i ( ρ ̲ , ρ ̲ ) < 1 , then u i ( ρ ̲ , ρ ̲ ) < φ i ( ρ ̲ ) , and based on the continuity of φ i for x < ρ ̲ sufficiently close to ρ ̲ , u i ( x , ρ ̲ ) = φ i ( x ) > u i ( ρ ̲ , ρ ̲ ) . If φ j ( ρ ̲ ) > ψ j ( ρ ̲ , ρ ̲ ) , then α j ( ρ ̲ , ρ ̲ ) < 1 because α i ( ρ ̲ , ρ ̲ ) = 1 and α 1 ( ρ ̲ , ρ ̲ ) + α 2 ( ρ ̲ , ρ ̲ ) < 2 . Then u j ( ρ ̲ , ρ ̲ ) < φ j ( ρ ̲ ) , and based on the continuity of φ j for x < ρ ̲ sufficiently close to ρ ̲ , u j ( x , ρ ̲ ) = φ j ( x ) > u j ( ρ ̲ , ρ ̲ ) . Finally, if ρ ̲ P ˜ j ( ρ ̲ ) and from the previous step, it must be that φ j ( ρ ̲ ) = ψ j ( ρ ̲ , ρ ̲ ) , then for any x P ˜ j ( ρ ̲ ) , ψ j ( x , ρ ̲ ) > u j ( ρ ̲ , ρ ̲ ) , a contradiction. □
Proof of Proposition 5. 
Given Proposition 4, we need only show that there is no equilibrium other than ( ρ ̲ , ρ ̲ ) . Let μ be a nondegenerate mixed strategy equilibrium. We consider two cases corresponding to whether x ̲ i < x ̲ j or x ̲ i = x ̲ j .
Suppose first that x ̲ 1 = x ̲ 2 = x ̲ . Lemmas 3 and 4 imply that x ̲ ρ ̲ . Using Lemma 2, we may, without loss of generality, assume that x ¯ i x ¯ j and that firm j’s strategy does not have an atom at x ¯ i . Then note that when choosing a price at or near x ¯ i , firm i earns a profit of approximately ψ i ( x ¯ i , p j ) d μ j ψ i ( x ¯ i , ρ ̲ ) d μ j = ψ i ( x ¯ i , ρ ̲ ) , where the inequality follows from the fact that ψ i is nonincreasing in p j . Since ρ ̲ is the unique maximizer of ψ i ( p i , ρ ̲ ) , it must be that ψ i ( x ¯ i , ρ ̲ ) < ψ i ( ρ ̲ , ρ ̲ ) . Further, since φ i ( ρ ̲ ) ψ i ( ρ ̲ , ρ ̲ ) , it must be that u i ( ρ ̲ , p j ) d μ j ψ i ( ρ ̲ , ρ ̲ ) > ψ i ( x ¯ i , p j ) d μ j . This contradicts prices at or near x ¯ i as equilibrium strategies.
Next suppose x ̲ i < x ̲ j . From Lemma 3, firm j’s strategy must be degenerate with p j = ρ ̲ . If a ̲ i < ρ ̲ , then Assumption 2 guarantees that φ i is strictly increasing on ( x ̲ i , ρ ̲ ) , and so this interval contains no best responses to p j = ρ ̲ . Thus, it must be that a ̲ i = ρ ̲ and therefore that φ i ( ρ ̲ ) = 0 . This further implies that ψ i ( ρ ̲ , ρ ̲ ) = 0 , so ψ i ( x , ρ ̲ ) ψ i ( ρ ̲ , ρ ̲ ) for all x > ρ ̲ . This contradicts ρ ̲ as the unique maximizer of ψ i ( p i , ρ ̲ ) . We conclude that ( ρ ̲ , ρ ̲ ) is the unique equilibrium. □
Proof of Lemma 6. 
We go through the verification of each assumption in turn.
Verification of Assumption 1:  φ i ( x ) ψ i ( x , x ) 0  for all  x x .
First, note that since each π i ( x , z ) is quasiconcave in z, it follows that π i ( x , z ) π i ( x , z ) for all z z s i ( x ) . Observe that d i ( x , x ) D ( x ) , so q i ( x , x ) Q ( x ) s i ( x ) . Thus, φ ( x ) = π i ( x , Q i ( x ) ) π i ( x , q i ( x , x ) ) = ψ i ( x , x ) .
Verification of Assumption 2: For each firm i, there exists an  a ̲ i  such that  φ i ( x ) = ψ i ( x , p j ) = 0  for all  p j x a ̲ i . Further,  ψ i ( p i , x ) = φ i ( p i )  for all  p i x  such that  x < a ̲ j .
As defined above, in the special case of the model each a ̲ i = inf x > 0 c i ( z ) z . Thus, for any price x a ̲ i and any quantity z > 0 , it follows that x z c i ( z ) 0 , and thus, x s i ( x ) c i ( s i ( x ) ) = 0 . It follows immediately that φ i ( x ) = 0 and ψ i ( x , p j ) = 0 for all p j x . This further this implies that s i ( x ) = 0 for all x < a ̲ i , so Q i ( x ) = 0 . As such, Condition 6 implies that d j ( p j , x ) = D ( p j ) for all x < a ̲ i . Consequently, q j ( p j , x ) = min { s j ( p j ) , d j ( p j , x ) } = min { s j ( p j ) , D ( p j ) } = Q j ( p j ) , and so it must be that ψ j ( p j , x ) = φ j ( x ) .
Verification of Assumption 3:  φ i  has a unique maximizer  p ^ i > a ̲ i  with  φ i ( p ^ i ) > 0 .  φ i  is strictly increasing at any price  p i ( a ̲ i , p ^ i ) . Further,  ψ i ( p i , p j ) = 0  for all  p i p j p ^ j .
From Condition 7, p i D ( p i ) c i ( D ( p i ) ) is strictly quasiconcave and thus has a unique maximizer p ^ i on [ τ i , p ¯ c ] . We will argue that p ^ i satisfies the statement of Assumption 3. To do so, we will argue that φ i ( p i ) = p i D ( p i ) c i ( D ( p i ) ) on [ τ i , p ¯ c ] . We begin by showing that the correspondence ϑ i ( x ) = arg max z [ 0 , k i ] x z c i ( z ) is nondecreasing.24 Let x < x and z = max ϑ i ( x ) , noting that z ϑ i ( x ) since c i is continuous by Condition 1. Define z = max ϑ i ( x ) and suppose to the contrary that z < z . Then it must be that x z c i ( z ) < x z c i ( z ) , and thus x ( z z ) < c i ( z ) c i ( z ) . By definition, x z c i ( z ) x z c i ( z ) , and thus c i ( z ) c i ( z ) x ( z z ) . Together with the previous inequality, this implies that x ( z z ) < x ( z z ) , requiring that x < x , a contradiction.
Next, observe that ϑ i ( x ) is convex valued due to the quasiconcavity of x z c i ( z ) in z guaranteed by Condition 2. Let p i [ τ i , p ¯ c ] . If s i ( p i ) D ( p i ) , then by definition, Q i ( p i ) = D ( p i ) , so φ i ( p i ) = p i D ( p i ) c i ( p i ) . Suppose that s i ( p i ) < D ( p i ) . Since ϑ i ( x ) is nondecreasing, D ( x ) is nonincreasing from Condition 4, and s i ( τ i ) D ( τ i ) , it follows that, for any price x [ τ i , p ¯ c ] , there is some quantity z ϑ i ( x ) such that z D ( x ) . Further, since ϑ i ( x ) is convex valued, it follows that D ( p i ) ϑ i ( p i ) , and so φ i ( p i ) = p i s i ( p i ) c i ( s i ( p i ) ) = p i D ( p i ) c i ( p i ) . Thus, φ i ( p i ) = p i D ( p i ) c i ( D ( p i ) ) and is thus strictly quasiconcave on [ τ i , p ¯ c ] , and so p ^ i is the unique maximizer of φ i on [ τ i , p ¯ c ] .
Next, we argue that φ i is strictly increasing on ( a ̲ i , τ i ) , which may be empty. Suppose that ( a ̲ i , τ i ) is nonempty. Let x ( a ̲ i , τ i ) . Since x > a ̲ i , the definition of a ̲ i implies that there is some quantity z > 0 such that c i ( z ) z < x , and so x z c i ( z ) > 0 . This implies that x s i ( x ) c i ( s i ( x ) ) > 0 , and so it must be that s i ( x ) > 0 . By definition of τ i , s i ( x ) < D ( x ) . Since D is continuous by Condition 4, it follows that s i ( x ) < D ( x ) for some x ( x , τ i ) . Thus, φ i ( x ) x s i ( x ) c i ( s i ( x ) ) > x s i ( x ) c i ( s i ( x ) ) = φ i ( x ) . We conclude that φ i is strictly increasing on ( a ̲ i , τ i ) . Since φ i is strictly quasiconcave on [ τ i , p ¯ c ] , it follows that φ i is strictly increasing on [ τ i , p ^ i ) , and therefore that φ i is strictly increasing on ( a ̲ i , p ^ i ) . We conclude that p ^ i is the unique maximizer of φ i .
It remains to demonstrate that p ^ i > a ̲ i . From Condition 4, there is some x > a ̲ i such that D ( x ) > 0 . For such a price x, Condition 3 implies that there is some quantity z < D ( x ) such that x > c i ( z ) z , implying that x z c i ( z ) > 0 . Thus, φ i ( x ) > 0 = φ i ( a ̲ i ) . It follows that p ^ i > a ̲ i .
Lastly, we must argue that ψ i ( p i , p j ) = 0 for all p i p j p ^ j . To do so, we will show that d i ( p i , p j ) = 0 for all p i p j p ^ j , as this will imply that q i ( p i , p j ) = 0 and thus ψ i ( p i , p j ) = 0 . From Condition 6, it is sufficient to show that Q j ( p j ) = D ( p j ) for all p j p ^ j . Suppose to the contrary that Q j ( p j ) = s j ( p j ) < D ( p j ) for some p j p ^ j . Since D is nondecreasing by Condition 4, it follows that s j ( p j ) < D ( p ^ j ) . Observe that
φ j ( p j ) = p j s j ( p j ) c j ( s j ( p j ) ) p j s j ( p ^ j ) c j ( s j ( p ^ j ) ) > p j s j ( p ^ j ) c j ( s j ( p ^ j ) ) = φ j ( p ^ j ) .
This contradicts p ^ j as the maximizer of φ j . We conclude that ψ i ( p i , p j ) = 0 for all p i p j p ^ j .
Verification of Assumption 4: For each firm i, there exists a price  ρ ̲ i [ a ̲ i , min { p ^ i , p ^ j } ]  such that
φ i ( x ) > ψ i x , x for all x ρ ̲ i , p ^ i , φ i ( x ) = ψ i x , x for all x x < ρ ̲ i .
Define the set A i = { x : φ i ( x ) > ψ i ( x , x ) } and ρ ̲ i = inf A i . We will first show that p ^ i , p ^ j A i , implying that ρ ̲ i min { p ^ i , p ^ j } . We will then show that if x A i and x ( x , p ^ i ) , then x A i . Lastly, we will show that if φ i ( x ) = ψ i ( x , x ) , then φ i ( x ) = ψ i ( x , x ) for all x < x .
First, we have already verified Assumption 3, which guarantees that ψ i ( x , x ) = 0 for all x p ^ j . By Condition 8, p ^ j > a ̲ i , so φ i ( p ^ j ) > 0 . Thus, [ p ^ j , p ¯ c ) A i .
We argue that for any quantity Q < D ( p ^ i ) , p ^ i Q c i ( Q ) < p ^ i D ( p ^ i ) c i ( D ( p ^ i ) ) . Suppose to the contrary that there exists a quantity z < D ( p ^ i ) such that φ i ( p ^ i ) = p ^ i z c i ( z ) . Since D is continuous by Condition 4, it follows that there exists a price x > p ^ i such that z < D ( x ) , and thus φ i ( x ) x z c i ( z ) > p ^ i z c i ( z ) = φ i ( p ^ i ) , contradicting p ^ i as the unique maximizer. Thus, D ( p ^ i ) min ϑ i ( p ^ i ) . It follows that, for any quantity Q < D ( p ^ i ) , p ^ i Q c i ( Q ) < p ^ i D ( p ^ i ) c i ( D ( p ^ i ) ) .
As we have argued that φ i ( p ^ j ) > 0 , it follows that φ j ( p ^ i ) > 0 , which requires that Q j ( p ^ i ) > 0 . Thus, from Condition 6, d i ( p ^ i , p ^ i ) < D ( p ^ i ) . It follows that q i ( p ^ i , p ^ i ) < D ( p ^ i ) , and thus ψ i ( p ^ i , p ^ i ) = p ^ i q i ( p ^ i , p ^ i ) c i ( q i ( p ^ i , p ^ i ) ) < p ^ i D ( p ^ i ) c i ( D ( p ^ i ) ) = φ i ( p ^ i ) . Thus, p ^ i A i .
Let x A i and x ( x , p ^ i ) . Suppose that x A i . Then by definition, ψ i ( x , x ) φ i ( x ) , and thus ψ i ( x , x ) = φ i ( x ) by Assumption 1. We first argue that q i ( x , x ) q i ( x , x ) . Suppose to the contrary that q i ( x , x ) > q i ( x , x ) . Then observe that
ψ i ( x , x ) = x q i ( x , x ) c i ( q i ( x , x ) ) x q i ( x , x ) c i ( q i ( x , x ) ) .
Thus,
c i ( q i ( x , x ) ) c i ( q i ( x , x ) ) x ( q i ( x , x ) q i ( x , x ) ) > x ( q i ( x , x ) q i ( x , x ) ) .
Further, note that
ψ i ( x , x ) = x q i ( x , x ) c i ( q i ( x , x ) ) x q i ( x , x ) c i ( q i ( x , x ) ) .
Thus,
x ( q i ( x , x ) q i ( x , x ) ) c i ( q i ( x , x ) ) c i ( q i ( x , x ) ) .
This is a contradiction, and so we conclude that q i ( x , x ) q i ( x , x ) .
Second, we show that q i ( x , x ) < D ( x ) . Suppose to the contrary that q i ( x , x ) = D ( x ) . Then from Condition 6, it must be that Q j ( x ) = 0 , so φ j ( x ) = π j ( x , 0 ) = 0 . Since Condition 3 implies that π j ( x , z ) > 0 for all x > a ̲ j for sufficiently small z, then it must be that x a ̲ j . This further implies that x < a ̲ j , and since we already verified Assumption 2, this implies that φ i ( x ) = ψ i ( x , x ) = 0 , so x A i . This is a contradiction, so we conclude that q i ( x , x ) < D ( x ) .
Observe that since ψ i ( x , x ) = φ i ( x ) , then ψ i ( x , x ) = π i ( x , q i ( x , x ) ) = π i ( x , Q i ( x ) ) = φ i ( x ) . This further implies that π i ( x , q i ( x , x ) ) π i ( x , z ) for any quantity z D ( x ) . The following are equivalent:
π i ( x , q i ( x , x ) ) π i ( x , z ) x q i ( x , x ) c i ( q i ( x , x ) ) x z c i ( z ) 0 x ( z q i ( x , x ) ) ( c i ( z ) c i ( q i ( x , x ) ) ) .
Let z ( q i ( x , x ) , D ( z ) ) and observe that
0 x ( z q i ( x , x ) ) ( c i ( z ) c i ( q i ( x , x ) ) ) > x ( z q i ( x , x ) ) ( c i ( z ) c i ( q i ( x , x ) ) ) .
This can be solved to find x z c i ( z ) < x q i ( x , x ) c i ( q i ( x , x ) ) . Thus, π i ( x , q i ( x , x ) ) > π i ( x , z ) . Since π i is quasiconcave by Condition 2, it follows that π i ( x , q i ( x , x ) ) > π i ( x , z ) for all z > q i ( x , x ) . Thus, it must be that s i ( x ) [ 0 , q i ( x , x ) ] . Since q i ( x , x ) d i ( x , x ) and d i is nonincreasing by Condition 5, it follows that q i ( x , x ) d i ( x , x ) . Therefore, s i ( x ) d i ( x , x ) , and so ψ i ( x , x ) = π i ( x , s i ( x ) ) π i ( x , Q i ( x ) ) = φ i ( x ) . Thus, x A i , a contradiction. We conclude that x A i .
Finally, we argue that if φ i ( x ) = ψ i ( x , x ) , then φ i ( x ) = ψ i ( x , x ) for all x < x . Let x < ρ ̲ i . Since x A i , it follows by definition of A i that φ i ( x ) ψ i ( x , x ) . Thus, since we already verified Assumption 1, we conclude that φ i ( x ) = ψ i ( x , x ) . Let q = min { Q i ( x ) , q i ( x , x ) } and observe that φ i ( x ) = ψ i ( x , x ) = x q c i ( q ) , where q d i ( x , x ) . By Condition 5, d i is nonincreasing in p j , so d i ( x , x ) d i ( x , x ) for all x < x . Thus, since q arg max z [ 0 , min { k i , d i ( x , x ) } ] x z c i ( x ) , it follows that ψ i ( x , x ) = max z [ 0 , min { k i , d i ( x , x ) } ] x z c i ( x ) ψ i ( x , x ) = φ i ( x ) . Further, since d i ( x , x ) D ( x ) by Condition 5, it follows that φ i ( x ) = max z [ 0 , min { k i , D ( x ) } ] x z c i ( x ) max z [ 0 , min { k i , d i ( x , x ) } ] x z c i ( x ) = ψ i ( x , x ) . Therefore, φ i ( x ) = ψ i ( x , x ) for all x x < ρ ̲ i .
Verification of Assumption 5:  p ^ i > a ̲ j  for each firm i.
This is identical to the statement of Condition 8.
Before proceeding with the verification of Assumptions 6 and 7, we will show that φ i ( p i ) and ψ i ( p i , p j ) are continuous in p i on [ 0 , p ¯ c ] .
We have already shown that φ i ( p i ) = ψ i ( p i , p j ) = 0 for all p i a ̲ i . Thus, we need only check continuity on [ a ̲ i , p ¯ c ] . We will first show that φ i is continuous in p i on [ a ̲ i , τ i ) and ( τ i , p ¯ c ] separately, and finally, that φ i is continuous at p i = τ i .
By the definition of τ i , s i ( x ) < D ( x ) for all x < τ i . It follows that φ i ( x ) = max z [ 0 , k i ] x z c i ( z ) . Since c i is continuous by Condition 1, the theorem of the maximum implies that max z [ 0 , k i ] x z c i ( z ) is continuous in x for all x, and thus, φ i is continuous on [ a ̲ i , τ i ) .
Define s ¯ i ( x ) = max ϑ i ( x ) , noting that s ¯ i exists since c i is continuous by Condition 1. Note further that s ¯ i is nondecreasing, as we showed in the verification of Assumption 3 that ϑ i ( x ) is a nondecreasing correspondence. Define Q ¯ i ( x ) = min { s ¯ i ( x ) , D ( x ) } and q ¯ i ( x , x ) = min { s ¯ i ( x ) , d i ( x , x ) } . From Condition 2, x z c i ( z ) is quasiconcave in z, and thus x z c i ( z ) x z c i ( z ) for any z z s ¯ i ( x ) . In particular, by choosing z = Q i ( x ) and z = Q ¯ i ( x ) , this implies that φ i ( x ) = x Q ¯ i ( x ) c i ( Q ¯ i ( x ) ) . Similarly, by choosing z = q i ( x , x ) and z = q ¯ i ( x , x ) , this implies that ψ i ( x , x ) = x q ¯ i ( x , x ) c i ( q ¯ i ( x , x ) ) . Note that, for all x τ i , s ¯ i ( x ) D ( x ) . Thus, since D is continuous by Condition 4, it follows immediately that x Q ¯ i ( x ) c i ( Q ¯ i ( x ) ) is continuous at all x > τ i , and thus, φ i is continuous on ( τ i , p ¯ c ] .
Next, let φ i ( τ i ) = lim x τ i φ i ( x ) . Since max z [ 0 , k i ] x z c i ( z ) is continuous in x as noted above, it follows that φ i ( τ i ) = max z [ 0 , k i ] τ i z c i ( z ) τ i Q ¯ i ( τ i ) c i ( Q ¯ i ( τ i ) ) = φ i ( τ i ) . We have already demonstrated above that φ i is strictly quasiconcave and that p ^ i τ i . Thus, φ i is strictly increasing up to the unique maximizer p ^ i . Therefore, it must be that φ i ( τ i ) = φ i ( τ i ) . We conclude that φ i is continuous at τ i and thus continuous on [ 0 , p ¯ c ] .
The proof that ψ i ( p i , p j ) is continuous in p i is similar to that of φ i ( p i ) . Define τ i = inf { p i : d i ( p i , p j ) s ¯ i ( p i ) } .25 For x > τ i , s ¯ i ( x ) d i ( p i , p j ) . Thus, ψ i ( x , p j ) = x d i ( x , p j ) c i ( d i ( x , p j ) ) . Condition 5 implies that d i is continuous in p i , so ψ i is continuous in p i at any p i ( τ i , p ¯ c ] given p j p i since c i is continuous by Condition 1. For any x < τ i , s ¯ i ( x ) < d i ( x , p j ) . As such, ψ i ( x , p j ) = max z [ 0 , k i ] x z c i ( z ) . Thus, the theorem of the maximum implies that max z [ 0 , k i ] x z c i ( z ) is continuous in x, and so ψ i ( p i , p j ) is continuous in p i at any price p i [ 0 , τ i ) such that p j p i .
Suppose that p j < τ i . As was the case for φ i , lim x τ i ψ i ( x , p j ) = max z [ 0 , k i ] τ i z c i ( z ) τ i q i ( τ i , p j ) c i ( q i ( τ i , p j ) ) = ψ i ( τ i , p j ) . Suppose that lim x τ i ψ i ( x , p j ) > ψ i ( τ i , p j ) and let { x k } be a sequence of prices such that x k < τ i for each k and x k τ i . Then from the continuity of ψ i in p i at prices p i < τ i , there exists a K N such that ψ i ( x k , p j ) > ψ i ( τ i , p j ) for all k > K 1 . Let k > K 1 . If q ¯ i ( x k , p j ) d i ( τ i , p j ) , then
ψ i ( x k , p j ) = x k q ¯ i ( x k , p j ) c i ( q ¯ i ( x k , p j ) ) < τ i q ¯ i ( x k , p j ) c i ( q ¯ i ( x k , p j ) ) τ i q i ( τ i , p j ) c i ( q i ( τ i , p j ) ) = ψ i ( τ i , p j ) ,
contradicting ψ i ( x k , p j ) > ψ i ( τ i , p j ) . Thus, it must be that q ¯ i ( x k , p j ) > d i ( τ i , p j ) . It follows from the continuity of d i in p i by Condition 5 that q ¯ i ( x k , p j ) d i ( τ i , p j ) . Observe that x z c i ( z ) is continuous in ( x , z ) since c i is continuous by Condition 1, and thus, ψ i ( x k , p j ) = x k q ¯ i ( x k , p j ) c i ( q ¯ i ( x k , p j ) ) τ i q i ( τ i , p j ) c i ( q i ( τ i , p j ) ) = ψ i ( τ i , p j ) . This contradicts the supposition that lim x τ i ψ i ( x , p j ) > ψ i ( τ i , p j ) . We conclude that ψ i ( p i , p j ) is continuous at p i = τ i given p j < τ i .
Lastly, suppose that p j = τ i . Observe that this means that s ¯ i ( p j ) d i ( p j , p j ) and thus, s ¯ i ( x ) d i ( x , p j ) for all x > p j since d i is nonincreasing in p i by Condition 5 and s ¯ i is nondecreasing. It follows that q ¯ i ( x , p j ) d i ( x , p j ) for all x p j . The continuity of ψ j is thus guaranteed by the fact that d i is continuous in p i by Condition 5, while x z c i ( z ) is continuous in ( x , z ) since c i is continuous by Condition 1.
Verification of Assumption 6: There exists a lowest price x ^ such that for some price x * x ^ , such that φ i ( x * ) > φ i ( x ) and ψ i ( x * , p j ) ψ i ( x , p j ) for all x > x ^ and p j x * .
Define the set E i = { p i : x * p i such that φ i ( x * ) > φ i ( x ) and ψ i ( x * , p j ) ψ i ( x , p j ) x > p i and p j x * } ; then define x ^ i = inf E i and x ^ = max { x ^ 1 , x ^ 2 } . It is sufficient to show that x ^ E i for each firm i. We first argue that each E i is nonempty, and thus, x ^ is finite. We will then show that x ^ i E i , and lastly that x ^ E i .
To demonstrate that each E i is nonempty, we will show that p ¯ c E i . Define x * = p ^ i and observe that φ i ( x * ) > 0 . By the definition of p ¯ c , D ( x ) = 0 for all x > p ¯ c . From Condition 5, d i ( x , p j ) D ( x ) = 0 for all p j x . As such, since Q i ( x ) = min { s i ( x ) , D ( x ) } and q i ( x , p j ) = min { s i ( x ) , d i ( x , p j ) } , it follows that Q i ( x ) = q i ( x , p j ) = 0 , and thus, φ i ( x ) = ψ i ( x , p j ) = 0 < φ i ( x * ) . Thus, each E i is nonempty and x ^ i is finite.
For each p i E i , let x * ( p i ) be as in the definition of E i and let x * = lim inf p i E i , p i x ^ i + x * ( p i ) and let { p i k } be a sequence of prices such that p i k E i for all k, p i k x ^ i , and x * ( p i k ) x * . Since x * ( p i ) p i , it follows that x * x ^ i . Observe that p ^ i x ^ i , and since φ i is strictly quasiconcave on [ τ i , p ¯ c ] , it follows that φ i is strictly decreasing on ( p ^ i , p ¯ c ) . Thus, it must be that φ i ( x * ) > φ i ( x ) for all x > x ^ i . By definition, ψ i ( x * ( p i ) , p j ) ψ i ( x , p j ) for all x > p i and all p j x * ( p i ) . It follows that lim inf k ψ i ( x * ( p i k ) , p j ) ψ i ( x , p j ) for all x > x ^ i and all p j x * . As shown above, ψ i ( p i , p j ) is continuous in p i , and so lim inf k ψ i ( x * ( p i k ) , p j ) = ψ i ( x * , p j ) . This implies that ψ i ( x * , p j ) ψ i ( x , p j ) for all p j x * . Therefore, x ^ E i .
Lastly, consider the price x ^ i and corresponding x * as in the definition of E i . By definition, φ i ( x * ) > φ i ( x ) and ψ i ( x * , p j ) ψ i ( x , p j ) for all x > x ^ i and p j x * . In particular, this holds for all x > max { x ^ 1 , x ^ 2 } , and thus, x ^ E i .
Verification of Assumption 7: Both φ i and ψ i are continuous in p i on [ 0 , x ^ ] . ψ i is right upper semicontinuous in p j , that is, lim sup k ψ i ( p i , x k ) ψ i ( p i , x ) for any sequence { x k } such that p i x k > x and x k x .
We have already shown that φ i and ψ i are continuous in p i on [ 0 , p ¯ c ] and thus are continuous on [ 0 , x ^ ] . It remains to show that ψ i is right upper semicontinuous in p j . By Condition 5, d i is right continuous in p j . Let { x k } be a sequence such that x k > p j for all k and x k p j , noting that d i ( p i , x k ) d i ( p i , p j ) . Observe that ψ i ( p i , x k ) = max z [ 0 , min { k i , d i ( p i , x k ) ] p i z c i ( z ) . Since d i is nonincreasing in p j by Condition 5, it follows that ψ i ( p i , x k ) ψ i ( p i , p j ) only if s i ( p i ) > d i ( p i , p j ) . In this case, q i ( p i , x k ) ( d i ( p i , p j ) , d i ( p i , x k ) ] . Note that
ψ i ( p i , x k ) ψ i ( p i , p j ) p i d i ( p i , p j ) c i ( d i ( p i , p j ) ) p i q i ( p i , x k ) + c i ( q i ( p i , x k ) ) p i d i ( p i , p j ) q i ( p i , x k ) + c i ( d i ( p i , p j ) ) c i ( q i ( p i , x k ) ) .
Since q i ( p i , x k ) d i ( p i , x k ) and d i ( p i , x k ) d i ( p i , p j ) , it follows that q i ( p i , x k ) d i ( p i , p j ) . Thus, since c i is continuous by Condition 1, we may conclude that ψ i ( p i , x k ) ψ i ( p i , p j ) 0 , so ψ i ( p i , p j ) is right continuous (and thus right upper semicontinuous) in p j . □
Proof of Proposition 6. 
We begin by showing that under each set of condition x * = ρ ̲ is a pure strategy equilibrium.
B.1 Consider any firm i. From Assumption 2, φ i ( x ) = ψ i ( x , x ) = 0 for all x x ρ ̲ . From the assumption of B.1, d i ( x , ρ ̲ ) = 0 for all x > ρ ̲ , and so q i ( x , ρ ̲ ) = 0 for all x > ρ ̲ . It follows that ψ i ( x , ρ ̲ ) = π i ( x , 0 ) = 0 for all x > ρ ̲ . Thus, neither firm possesses a profitable deviation, so each firm pricing at x * = ρ ̲ is an equilibrium.
B.2 Consider firm i with a ̲ i > a ̲ j . As noted in the (B.1) case, firm i has no profitable deviations. From the assumptions of B.2, observe that u j ( ρ ̲ , ρ ̲ ) = φ j ( ρ ̲ ) . From Assumptions 2 and 3, φ j is nondecreasing on [ 0 , p ^ j ] , and so φ j ( ρ ̲ ) φ j ( x ) for all x < ρ ̲ . Lastly, the assumption in B.2 that ψ j ( x , ρ ̲ ) φ j ( ρ ̲ ) for all x ρ ̲ guarantees that there are no profitable deviations for firm j to prices higher than ρ ̲ . Thus, neither firm possesses a profitable deviation, so each firm pricing at x * = ρ ̲ is an equilibrium.
C. From Condition 6, d i ( ρ ̲ , ρ ̲ ) = D ( ρ ̲ ) Q j ( ρ ̲ ) . Since Q j ( ρ ̲ ) s j ( ρ ̲ ) , it follows that d i ( ρ ̲ , ρ ̲ ) D ( ρ ̲ ) s j ( ρ ̲ ) . Observe that if α i ( ρ ̲ , ρ ̲ ) = 1 , then by definition u i ( ρ ̲ , ρ ̲ ) = φ i ( ρ ̲ , ρ ̲ ) . Suppose that α i ( ρ ̲ , ρ ̲ ) < 1 . Then from the assumption of C, s ̲ i ( ρ ̲ ) + s j ( ρ ̲ ) D ( ρ ̲ ) , so D ( ρ ̲ ) s j ( ρ ̲ ) s ̲ i ( ρ ̲ ) . It follows that π i ( ρ ̲ , Q i ( ρ ̲ ) ) = π i ( ρ ̲ , min { s ̲ i ( ρ ̲ ) , d i ( ρ ̲ , ρ ̲ ) ) for each firm i, and so u i ( ρ ̲ , ρ ̲ ) = φ i ( ρ ̲ ) . As noted above, φ i is nondecreasing on [ 0 , p ^ i ] , so there are no profitable deviations to prices x < ρ ̲ . Further, since ρ ̲ P ˜ i ( ρ ̲ ) , there are no profitable deviations to prices x > ρ ̲ . Thus, neither firm possesses a profitable deviation, so each firm pricing at x * = ρ ̲ is an equilibrium.
Next, we prove that any pure strategy equilibrium must satisfy either B.1, B.2, or C.
Proposition 4 implies that any pure strategy equilibrium must be symmetric with x * = ρ ̲ . Further, by definition, it must be that ρ ̲ a ̲ i and ρ ̲ < p ^ i for each firm i.
B.1 Suppose that x * = ρ ̲ = a ̲ 1 = a ̲ 2 and that d i ( x , ρ ̲ ) > 0 for some x > ρ ̲ for some firm i. Then since x > a ̲ i , from Condition 3, there is some quantity z ( 0 , ρ ̲ ) such that x > c i ( z ) z , so π i ( x , z ) > 0 . Since ψ i ( x , ρ ̲ ) π i ( x , z ) , it follows that ψ i ( x , ρ ̲ ) > 0 . This contradicts x * as an equilibrium since φ i ( x * ) = 0 .
B.2 Suppose that x * = ρ ̲ = a ̲ i > a ̲ j . If d i ( x , ρ ̲ ) > 0 for some x > ρ ̲ , then the preceding argument for the (B.1) case applies and rules out x * as an equilibrium. If u j ( ρ ̲ , ρ ̲ ) < φ j ( ρ ̲ ) , then by continuity of φ j by Assumption 7, there exists a price x < ρ ̲ such that u j ( x , ρ ̲ ) = φ j ( x ) > u j ( ρ ̲ , ρ ̲ ) . This contradicts x * as an equilibrium. Lastly, suppose that ψ j ( x , ρ ̲ ) > φ j ( ρ ̲ ) for some x ρ ̲ . Then since u i ( x , ρ ̲ ) ψ i ( x , ρ ̲ ) , then x is a profitable deviation from x * , violating x * as an equilibrium.
C. Suppose that ρ ̲ ( max { a ̲ 1 , a ̲ 2 } , min { p ^ 1 , p ^ 2 } ] . If ρ ̲ P ˜ i ( ρ ̲ ) for some firm i, then by definition, any price x P ˜ i ( ρ ̲ ) is a profitable deviation for firm i, violating x * as an equilibrium. Lastly, suppose that s ̲ i ( ρ ̲ ) + s j ( ρ ̲ ) > D ( ρ ̲ ) for some firm i with α i ( ρ ̲ , ρ ̲ ) < 1 . Then since d i ( ρ ̲ , ρ ̲ ) = D ( ρ ̲ ) s j ( ρ ̲ ) by Condition 6, it must be that d i ( ρ ̲ , ρ ̲ ) < s ̲ i ( ρ ̲ ) , so q i ( ρ ̲ , ρ ̲ ) arg max z π i ( ρ ̲ , z ) . Therefore, since ψ i ( ρ ̲ , ρ ̲ ) = π i ( ρ ̲ , q i ( ρ ̲ , ρ ̲ ) ) and α i ( ρ ̲ , ρ ̲ ) < 1 , it must be that u i ( ρ ̲ , ρ ̲ ) = α i ( ρ ̲ , ρ ̲ ) φ i ( ρ ̲ ) + ( 1 α i ( ρ ̲ , ρ ̲ ) ) ψ i ( ρ ̲ , ρ ̲ ) < φ i ( ρ ̲ ) . Then, since φ i is continuous by Assumption 7, there exists a price x < ρ ̲ such that u i ( x , ρ ̲ ) = φ i ( x ) > u i ( ρ ̲ , ρ ̲ ) . This violates x * as an equilibrium. □
Proof of Proposition 7. 
Without loss of generality, we assume a ̲ 1 a ̲ 2 . Suppose to the contrary that there is an equilibrium price x * = a ̲ 1 with s 1 ( x * ) = 0 . Then Q 1 ( x * ) = 0 , so Condition 6 guarantees that d 2 ( x , a ̲ 1 ) = D ( x ) for all x > a ̲ 1 . It follows immediately that ψ 2 ( x , a ̲ 1 ) = φ 2 ( x ) for all x a ̲ 1 . From Condition 8, p ^ 2 > a ̲ 1 . Therefore, by definition of p ^ 2 , we have ψ 2 ( p ^ 2 , a ̲ 1 ) = φ 2 ( p ^ 2 ) > φ 2 ( a ̲ 1 ) , contradicting x * = a ̲ 1 as an equilibrium price. □
Proof of Proposition 8. 
Since D and c i are unchanged, then φ i ( x ) = φ i ( x ) for all x. Note that
ψ i ( p i , p j ) = max z [ 0 , min { k i , d i ( p i , p j ) } ] x z c i ( z ) and ψ i ( p i , p j ) = max z [ 0 , min { k i , d i ( p i , p j ) } ] x z c i ( z ) .
It follows immediately that ψ i ψ i . The fact that r ¯ i r ¯ i and r ̲ i r ̲ i follows immediately from their definitions. □
Proof of Proposition 9. 
The fact that r ¯ j r ¯ j and r ̲ j r ̲ j follows directly from Proposition 8 since any change in firm i’s supply has no impact on the front-side profit of firm j, so φ j ( x ) = φ j ( x ) for all x. It remains to show that r ¯ i r ¯ i and r ¯ i r ¯ i . Observe that d i ( x , y ) = d i ( x , y ) for all prices x y .
Define s ¯ i ( x ) = sup ϑ i ( x ) , with s ¯ i defined analogously for π i . Let Q ¯ i ( x ) = min { s ¯ i ( x ) , D ( x ) } and q ¯ i ( x , y ) = min { s ¯ i ( x ) , d i ( x , y ) } , with Q ¯ i and q ¯ i defined analogously. Then note that φ i ( x ) = π i ( x , Q ¯ i ( x ) ) . Note that s ¯ i is nondecreasing.
Part 1:  r ¯ i r ¯ i
The proof that r ¯ i r ¯ i is conducted in four steps. In Step 1, we argue that π i ( p ^ i , z ) < π i ( p ^ i , D ( p ^ i ) ) for all z < D ( p ^ i ) and then use that fact to argue that we show that r ¯ i < p ^ i . In Step 2, we show that q ¯ i ( x , y ) Q i ( y ) for all x y > r ¯ i . In Step 3, we argue that q ¯ i ( x , y ) q i ( x , y ) for all x y > r ¯ i , implying that q i ( x , y ) Q i ( r ¯ i ) for all x y > r ¯ i . Finally, in Step 4, we show that if r ¯ i > r ¯ i , we can find prices x y > r ¯ i such that c i ( Q i ( x ) ) c i ( Q i ( x ) ) < c i ( q i ( x ˜ , x ) ) c i ( q i ( x ˜ , x ) ) , contradicting the assumption that c i ( q ) c i ( q ) is nondecreasing in q.
Step 1: We first show that π i ( p ^ i , z ) < π i ( p ^ i , D ( p ^ i ) ) for all z < D ( p ^ i ) . Suppose to the contrary that π i ( p ^ i , z ) π i ( p ^ i , D ( p ^ i ) ) for some z < D ( p ^ i ) . As noted in the proof of Proposition 6, Q i ( p ^ i ) = D ( p ^ i ) . Thus, π i ( p ^ i , z ) = φ i ( p ^ i ) . Since φ i is continuous by Assumption 7, there exists a price x > p ^ i such that z < D ( x ) . Observe that φ i ( x ) π i ( x , z ) = x z c i ( z ) > p ^ i z c i ( z ) = φ i ( p ^ i ) . This contradicts p ^ i as the maximizer of φ i . We conclude that π i ( p ^ i , z ) < π i ( p ^ i , D ( p ^ i ) ) .
We next argue that r ¯ i < p ^ i . Suppose to the contrary that r ¯ i p ^ i . Since a ̲ j < p ^ i by Assumption 5, we may choose a strictly increasing sequence { y k } such that y 0 > a ̲ j and y k p ^ i . By definition of r ¯ i , φ i ( x ) ψ ˜ i ( x ) for all x < r ¯ i . Thus, since ψ ˜ i ( x ) is nonincreasing as noted earlier, this implies that ψ ˜ i ( y 0 ) φ i ( y k ) for all k. By continuity of φ i by Assumption 7, lim k φ i ( y k ) = φ i ( p ^ i ) , and so ψ ˜ i ( y 0 ) φ i ( p ^ i ) . Let x ˜ P ˜ i ( y 0 ) and note that ψ i ( x ˜ , y 0 ) φ i ( x ˜ ) by Assumption 1. Observe that φ i ( p ^ i ) φ i ( x ˜ ) ψ ˜ i ( y 0 ) φ i ( p ^ i ) . Since p ^ i is the unique maximizer of φ i , it follows that x ˜ = p ^ i . As demonstrated in the proof of Proposition 6, Q i ( p ^ i ) = D ( p ^ i ) and s j ( p ^ i ) > 0 since p ^ i > a ̲ j . By Condition 6, this implies that d i ( p ^ i , y 0 ) < D ( p ^ i ) , so q i ( p ^ i , y 0 ) < D ( p ^ i ) . From the first paragraph of this step, this implies that π i ( p ^ i , q i ( p ^ i , y 0 ) ) < π i ( p ^ i , D ( p ^ i ) ) and thus that ψ i ( p ^ i , y 0 ) < φ i ( p ^ i ) . A contradicts to ψ ˜ i ( y 0 ) φ i ( p ^ i ) . We conclude that r ¯ i < p ^ i .
Step 2: We show that q ¯ i ( x , y ) Q i ( y ) for all x y > r ¯ i . Suppose to the contrary that q ¯ i ( x , y ) > Q i ( y ) for some x y > r ¯ i . Note that
ψ i ( x , y ) = max z [ 0 , min { k i , d i ( x , y ) } ] π i ( x , z ) .
Since Q i ( r ¯ i ) < q ¯ i ( x , y ) d i ( x , y ) , it follows that
ψ i ( x , y ) x Q i ( y ) c i ( Q i ( y ) ) y Q i ( y ) c i ( Q i ( y ) ) = φ i ( y ) .
This contradicts the definition of r ¯ i as r ¯ i = sup { x | φ i ( x ) ψ ˜ i ( x ) } . We conclude that q ¯ i ( x , y ) Q i ( r ¯ i ) for all x y > r ¯ i .
Step 3: We argue that q ¯ i ( x , y ) q i ( x , y ) for all x y > r ¯ i . Let x y > r ¯ i and suppose to the contrary that q ¯ i ( x , y ) < q i ( x , y ) . Then since q i ( x , y ) d i ( x , y ) , it must be that q ¯ i ( x , y ) < d i ( x , y ) . It follows that q ¯ i ( x , y ) = s ¯ i ( x ) , and so ψ i ( x , y ) = π i ( x , s ¯ i ( x ) ) = φ i ( x ) . Since s ¯ i is nondecreasing and d i is nonincreasing by Condition 5, it follows that s ¯ i ( p i ) < d i ( p i , p j ) for all p i < x such that p i p j > r ¯ i . Thus, ψ i ( p i , p j ) = π i ( p i , s ¯ i ( p i ) ) = φ i ( p i ) for all p i and p j such that x > p i p j > r ¯ i . Thus, ψ ˜ i ( p j ) ψ i ( p j , p j ) = φ i ( p j ) for all p j ( r ¯ i , x ) , contradicting the definition of r ¯ i . We conclude that q ¯ i ( x , y ) q i ( x , y ) for all x y > r ¯ i .
In summary we have now established that, since s ¯ i is nondecreasing, then for any x y > r ¯ i , it follows that q i ( x , y ) q ¯ i ( x , y ) Q i ( y ) .
Step 4: We argue that r ¯ i r ¯ i . Suppose to the contrary that r ¯ i > r ¯ i . Then for any price x ( r ¯ i , r ¯ i ) , it must be that φ i ( x ) ψ ˜ i ( x ) . Let x ( r ¯ i , r ¯ i ) and x ˜ P ˜ i ( x ) and note that from above, q i ( x ˜ , x ) Q i ( x ) . Note that ψ ˜ i ( x ) is nonincreasing in x since
ψ ˜ i ( x ) = max p i max z [ 0 , min { k i , d i ( p i , x ) } ] π i ( p i , z )
and d i ( p i , x ) is nonincreasing in x by Condition 5. From above, we may choose the price x ( r ¯ i , r ¯ i ) such that x < p ^ i . Since φ i is strictly increasing on ( a ̲ i , p ^ i ) by Assumption 3 and from continuity of D from Condition 4, we may choose x so that φ i ( x ) ψ ˜ i ( x ) and φ i ( x ) > ψ ˜ i ( x ) . Thus, we have
φ i ( x ) φ i ( x ) < ψ ˜ i ( x ) ψ ˜ i ( x ) .
Note that φ i ( x ) = x Q i ( x ) c i ( Q i ( x ) ) and φ i ( x ) x Q i ( x ) c i ( Q i ( x ) ) . Putting these together, we have
φ i ( x ) φ i ( x ) c i ( Q i ( x ) ) c i ( Q i ( x ) ) .
Next, note that ψ ˜ i ( x ) = x ˜ q i ( x ˜ , x ) c i ( q i ( x ˜ , x ) ) and ψ ˜ i ( x ) x ˜ q i ( x ˜ , x ) c i ( q i ( x ˜ , x ) ) . Putting these together yields
ψ ˜ i ( x ) ψ ˜ i ( x ) c i ( q i ( x ˜ , x ) ) c i ( q i ( x ˜ , x ) ) .
The inequalities (A1), (A2), and (A3) together imply that
c i ( Q i ( x ) ) c i ( Q i ( x ) ) < c i ( q i ( x ˜ , x ) ) c i ( q i ( x ˜ , x ) ) ,
which contradicts the assumption that c i ( z ) c i ( z ) is nondecreasing in z 0 . We conclude that r ¯ i r ¯ i .
Part 2:  r ̲ i r ̲ i
The proof that r ̲ i r ̲ i is also done by contradiction. Suppose to the contrary that r ̲ i > r ̲ i . Recall that u ̲ i = sup p i inf p j u i ( p i , p j ) . As noted above, ψ i is nonincreasing in p j . Further, by Assumption 1, we can conclude that inf p j u i ( p i , p j ) = ψ i ( p i , p i ) , and thus u ̲ i = sup p i ψ i ( p i , p i ) . Additionally, since φ i is continuous by Assumption 7, it follows that φ i ( r ̲ i ) = u ̲ i .
Let { x k } be a sequence such that ψ i ( x k , x k ) u ̲ i . We may without loss of generality choose this sequence such that x k x * for some price x * . It follows that u ̲ i = π i ( x * , q * ) , where q * = lim k q ( x k , x k ) . By definition of u ̲ i , it must be that u ̲ i ψ i ( x k , x k ) for all k. Further ψ i ( x k , x k ) = π i ( x k , q i ( x k , x k ) ) π i ( x k , q i ( x k , x k ) ) , and so u ̲ i π i ( x * , q * ) . Therefore,
u ̲ i u ̲ i π i ( x * , q * ) π i ( x * , q * ) = c i ( q * ) c i ( q * ) .
We briefly argue that x * r ̲ i . To see this, suppose to the contrary that x * < r ̲ i . Then note that φ i ( r ̲ i ) = u ̲ i = π i ( x * , q * ) φ i ( x * ) . By definition of a ̲ i , it must be that a ̲ i a ̲ i , and since a ̲ i r ̲ i < r ̲ i , it follows that r ̲ i > a ̲ i . Thus, Assumption 3 implies that φ i is strictly increasing on ( max { a ̲ i , x * } , r ̲ i ) . Since φ i ( x ) = 0 for x < a ̲ i by Assumption 2, it follows that φ i ( x * ) < φ i ( r ̲ i ) , a contradiction. We conclude that x * r ̲ i .
We will now argue that q * Q ¯ i ( x ) for all x in some neighborhood ( r ̲ i , r ̲ i + δ ) .
We begin by arguing that Q ¯ i ( y ) d i ( x , x ) for all prices x > y > r ̲ i . Suppose to the contrary that Q ¯ i ( y ) < d i ( x , x ) for some x > y > r ̲ i . Recall that φ i ( r ̲ i ) = π i ( r ̲ i , Q ¯ i ( r ̲ i ) ) . Next, since π i ( x , z ) is quasiconcave in z by Condition 2, it follows that ψ i ( x , x ) = x q ¯ i ( x , x ) c i ( q ¯ i ( x , x ) ) , where q ¯ i ( x , x ) = min { s ¯ i ( x ) , d i ( x , x ) } . Note that by definition of u ̲ i and s ¯ i ,
u ̲ i ψ i ( x , x ) = x q ¯ i ( x , x ) c i ( q ¯ i ( x , x ) ) x Q ¯ i ( y ) c i ( Q ¯ i ( y ) ) .
Since y > r ̲ i and r ̲ i a ̲ i , it follows that φ i ( y ) > 0 , and so Q ¯ i ( y ) > 0 . Thus, x Q ¯ i ( y ) > y Q ¯ i ( y ) . Therefore,
u ̲ i x Q ¯ i ( y ) c i ( Q ¯ i ( y ) ) > y Q ¯ i ( y ) c i ( Q ¯ i ( y ) ) = φ i ( y ) φ i ( r ̲ i ) = u ̲ i .
This is a contradiction. We conclude Q ¯ i ( y ) d i ( x , x ) for all prices x > y > r ̲ i .
Now, suppose to the contrary that there exists a sequence { y n } with y n r ̲ i and y n > r ̲ i such that q * > Q ¯ i ( y n ) for all n. Since x * r ̲ i > r ̲ i , we may without loss of generality assume that y n < min { x k , x * } for all k and n. Thus, from above, Q ¯ i ( y n ) d i ( x k , x k ) for all k and n. Since q i ( x k , x k ) d i ( x k , x k ) , this implies that Q ¯ i ( y n ) q * , a contradiction. We conclude that q * Q ¯ i ( x ) for all x in some neighborhood ( r ̲ i , r ̲ i + δ ) . Choose such a δ .
Now observe that by definition of r ̲ i , φ i ( r ̲ i ) u ̲ i for any price x ( r ̲ i , r ̲ i ) . Thus, for any price x ( r ̲ i , p ^ i ) , it must be that φ i ( x ) > u ̲ i since φ i is strictly increasing by Assumption 3. Recall that r ̲ i r ¯ i , and as shown above, r ¯ i < p ^ i , so ( r ̲ i , p ^ i ) is nonempty. Let x ( r ̲ i , min { r ̲ i , p ^ i , r ̲ i + δ } ) with δ > 0 picked such that q * Q ¯ i ( x ) for all x in some neighborhood ( r ̲ i , r ̲ i + δ ) . Note that
φ i ( x ) φ i ( x ) < u ̲ i u ̲ i .
Observe that
φ i ( x ) = x Q i ( x ) c i ( Q i ( x ) ) ,
and
φ i ( x ) = x Q i ( x ) c i ( Q i ( x ) ) x Q i ( x ) c i ( Q i ( x ) ) .
Putting these together, we have
φ i ( x ) φ i ( x ) c i ( Q i ( x ) ) c i ( Q i ( x ) ) ,
and thus
c i ( Q i ( x ) ) c i ( Q i ( x ) ) < u ̲ i u ̲ i .
Recall that from (A4)
u ̲ i u ̲ i c i ( q * ) c i ( q * ) .
It follows that
c i ( Q ¯ i ( x ) ) c i ( Q ¯ i ( x ) ) < c i ( q * ) c i ( q * ) ,
which contradictions the assumption that c i ( z ) c i ( z ) is nondecreasing in z 0 since Q ¯ i ( x ) q * . We conclude that r ¯ i r ¯ i . □

Notes

1
Vives (1986, 1993) both provide excellent context for Edgeworth’s contribution to oligopoly.
2
Before Shubik (1959), Shapley (1957) published an abstract with a description of results derived from a game theoretic model of pricing. Other early contributions to BE competition were made by Beckmann and Hochstadter (1965), Shapley and Shubik (1969), and Levitan and Shubik (1972).
3
To contextualize the different rationing schemes, imagine that demand is composed of a continuum of consumers with different levels of willingness to pay for a single unit of the good. The efficient rationing rule specifies that the low price firm serves the consumers with the highest willingness to pay. That is, all rationed consumers have a weakly lower willingness to pay than all consumers that purchase from the low price firm. The proportional rule specifies that all consumers willing to pay the low price are equally likely to be served by the low price firm, resulting in a proportion of high willingness to pay being rationed and thus a larger residual demand than the efficient rule.
4
Almost all of the BE literature also assumes that the firms have a symmetric, constant marginal cost up to capacity. Deneckere and Kovenock (1996) and Allen et al. (2000) are the notable exceptions. These papers focus on the interesting case in which firms have constant marginal costs that are asymmetric. Additionally, the bulk of this literature further restricts demand to be such that a firm’s monopoly profit is concave in its price. Our analysis is based on the considerably weaker assumption that a firm’s monopoly profit is strictly increasing in its own price up to its unique profit-maximizing monopoly price.
5
Hoernig (2007) provides a treatment of classical Bertrand price competition with general cost structure and sharing rules. In the classical Bertrand specification, any firm that does not have the lowest price receives no residual demand.
6
Yoshida (2002) provides a similar treatment to Yoshida (2006) for a model with linear demand and quadratic cost.
7
The relationship between BE games and all-pay auctions is discussed in Baye et al. (1996), the first comprehensive treatment of all-pay auctions. More recently, Chowdhury (2017) rely on techniques from the analysis of BE duopoly by Osborne and Pitchik (1986) and Deneckere and Kovenock (1996) to examine all-pay auctions with non-monotonic payoffs.
8
The two distinctions between a traditional all-pay auction and our BE game have been each treated individually in the all-pay auction literature. In Baye et al. (2012), the issue of externalities of bids (contingent on being a winner or a loser) has been addressed in the context of all-pay auctions. Chowdhury (2017) provides a treatment of all-pay auctions in which the winning payoff is nonmonotonic in a player’s own bid.
9
In terms of market demand restrictions, we require only that the monopoly profit be strictly increasing at prices above minimum average total cost up to its unique maximizer.
10
Gelman and Salop (1983) show that, in a two-period sequential game, a single potential entrant can use judo capacity restriction and pricing to induce an unconstrained monopolist to allow entry. The mathematical object that we have denoted as the critical judo price has played a critical role in the analysis of BE price competition since it was first used to characterize the Edgeworth range of price fluctuation in (Shubik, 1959, p. 96).
11
Progress with the analysis of models with more general costs and demand rationing has been hindered by theoretical problems with the existence of equilibrium (pure or mixed) in this setting. However, we utilize advances in the literature on the existence of equilibrium in discontinuous games by Bagh (2010) and Allen and Lepore (2014) that allow for the straightforward verification of the existence of equilibrium in vast generalizations of BE oligopoly.
12
This countervailing effect of a supply increase is immediate in the existing BE literature with regard to an increase in a firm’s capacity. This is also related to the impact of an import trade quota in a duopoly with an international and domestic firm, for example Krishna (1989).
13
When this assumption fails to hold, the equilibrium is trivial: one firm charges its monopoly price, and the other firm charges any price and does not produce. While it would be easy to conduct the analysis in this paper without this assumption, it would take away from the clarity of the results and would not meaningfully contribute to the study of duopoly.
14
Here, the bounds x ̲ i and x ¯ i are inherently dependent on the equilibrium strategies, though we suppress notation indicating this for clarity as there is no ambiguity as to which strategies they correspond to.
15
The supply correspondence is taken to be a subset of the extended real line.
16
Observe that the residual profit may be zero despite the presence of residual demand as the cost of engaging in low levels of production may exceed the associated revenues, thus inducing the firms to not produce.
17
For readers familiar with Simon and Zame (1990), their result can be used to guarantee that an equilibrium exists for some sharing rule of the game. The complication in this setting is that the sharing rule in the Simon and Zame framework does not correspond only to the division α i between φ i and ψ i at pricing ties. The sharing rule in this setting also reflects specifications of payoffs at points of discontinuity of ψ i in p j . The results of Simon and Zame (1990) do not give any way of identifying the sharing rule for which an equilibrium exists. If the sharing rule with an equilibrium fits the specifications of Proposition 1 and the corresponding equilibrium happens to place mass at price ties as in Proposition 1 or at a point of discontinuity of ψ i , then this strategy profile would not be an equilibrium of a sharing rule that violated the conditions of Proposition 1 at those prices. However, if the sharing rule with an equilibrium violates the conditions of Proposition 1, then the corresponding equilibrium will also be an equilibrium for a sharing rule that satisfies the conditions of Proposition 1. Other applicable results that guarantee the existence of equilibrium typically necessitate the same conditions. We have found more general results to be infeasible for application to our model.
18
Ties at a price x < ρ ̲ are irrelevant since each firm’s front-side profit is identical to its residual profit. Ties at prices x = ρ ̲ may be relevant by this notion and are covered by the lemma.
19
The efficient and proportional rationing rules that have typically been used in studying price competition both lead to residual profit functions being nonincreasing in the rival firm’s price.
20
In this formulation of the model, demand is finite at all prices, so a firm that is not capacity-constrained can be accommodated via an arbitrarily large capacity.
21
With any continuous rationing rule, such as efficient or proportional rationing, firm i’s residual demand will be lower semicontinuous in p j so long as s j is upper semicontinuous.
22
Here, the limit superior of the sequence of sets A k refers to the set n = 1 k = n A k .
23
This occurs at prices p j such that firm j’s cost of production is constant and equal to p j for some levels of production. As such, it is possible that firm j’s quantity jumps up at such a price, causing a discrete drop in the residual profit for firm i.
24
A correspondence ϑ is nondecreasing if, for any x x and any y ϑ ( x ) , there exists a y ϑ ( x ) such that y y .
25
Note that τ i is inherently a function of p j . We choose not to introduce notation to express this as p j is fixed for the duration of the proof that utilizes τ i , and thus, there is no possibility for ambiguity.

References

  1. Allen, B. (1993). Capacity precommitment as an entry barrier for price-setting firms. International Journal of Industrial Organization, 11(1), 63–72. [Google Scholar] [CrossRef]
  2. Allen, B., Deneckere, R., Faith, T., & Kovenock, D. (2000). Capacity precommitment as a barrier to entry: A bertrand-edgeworth approach. Economic Theory, 15(3), 501–530. [Google Scholar] [CrossRef]
  3. Allen, B., & Hellwig, M. (1986). Bertrand-edgeworth oligopoly in large markets. Review of Economic Studies, 54(2), 175–204. [Google Scholar] [CrossRef]
  4. Allen, B., & Hellwig, M. (1993). Bertrand-edgeworth duopoly with proportional residual demand. International Economic Review, 34(1), 39–60. [Google Scholar] [CrossRef]
  5. Allison, B. A., Bagh, A., & Lepore, J. J. (2018). Sufficient conditions for weak reciprocal upper semi-continuity in mixed extensions of games. Journal of Mathematical Economics, 74, 99–107. [Google Scholar] [CrossRef]
  6. Allison, B. A., & Lepore, J. J. (2014). Verifying payoff security in the mixed extension of discontinuous games. Journal of Economic Theory, 152, 291–303. [Google Scholar] [CrossRef]
  7. Bagh, A. (2010). Variational convergence of games, existence and approximation of equilibria in discontinuous games. Journal of Economic Theory, 145(3), 1244–1268. [Google Scholar] [CrossRef]
  8. Bagh, A., & Jofre, A. (2006). Reciprocal upper semicontinuity and better reply secure games: A comment. Econometrica, 76, 1715–1721. [Google Scholar] [CrossRef]
  9. Baye, M. R., Kovenock, D., & de-Vries, C. G. (1996). The all-pay auction with complete information. Economic Theory, 8, 1–25. [Google Scholar] [CrossRef]
  10. Baye, M. R., Kovenock, D., & de-Vries, C. G. (2012). Contests with rank order spillovers. Economic Theory, 51, 315–350. [Google Scholar] [CrossRef]
  11. Beckmann, J. M., & Hochstadter, D. (1965). Edgeworth-bertrand duopoly revisited. In R. Henn (Ed.), Operations research verfahren (Vol. III, pp. 55–68). Hain. [Google Scholar]
  12. Chowdhury, S. M. (2017). The all-pay auction with nonmonotonic payoff. Southern Economic Journal, 24(2), 375–390. [Google Scholar] [CrossRef]
  13. Davidson, C., & Deneckere, R. (1986). Long-run competition in capacity, short-run competition in price, & the cournot model. RAND Journal of Economics, 17(3), 404–415. [Google Scholar]
  14. De Francesco, M., & Salvadori, N. (2010). Bertrand-Edgeworth competition in an almost symmetric oligopoly. MPRA Paper No. 24228. Munich Personal RePEc Archive. [Google Scholar]
  15. de Frutos, M. A., & Fabra, N. (2011). Endogenous capacities and price competition: The role of demand uncertainty. International Journal of Industrial Organization, 29, 399–411. [Google Scholar] [CrossRef]
  16. Deneckere, R., & Kovenock, D. (1992). Price leadership. Review of Economic Studies, 59(1), 143–162. [Google Scholar] [CrossRef]
  17. Deneckere, R., & Kovenock, D. (1996). Bertrand-Edgeworth duopoly with unit cost asymmetry. Economic Theory, 8(1), 1–25. [Google Scholar] [CrossRef]
  18. Dixon, H. D. (1987). Approximate bertrand equilibria in a replicated industry. Review of Economic Studies, 54(1), 47–62. [Google Scholar] [CrossRef]
  19. Dixon, H. D. (1992). The competitive outcome as the equilibrium in an Edgeworthian price-quantity model. The Economic Journal, 102(411), 301–309. [Google Scholar] [CrossRef]
  20. Edgeworth, F. (1925). The pure theory of monopoly. Papers Relating to Political Economy, 1, 111–142. [Google Scholar]
  21. Gelman, J., & Salop, S. (1983). Judo economics: Capacity limitation and coupon competition. Bell Journal of Economics, 14(2), 315–325. [Google Scholar] [CrossRef]
  22. Hirata, D. (2009). Asymmetric Bertrand-Edgeworth oligopoly and mergers. The B.E. Journal of Theoretical Economics, 9(1), 25. [Google Scholar] [CrossRef]
  23. Hoernig, S. H. (2007). Bertrand games and sharing rules. Economic Theory, 31(3), 573–585. [Google Scholar] [CrossRef]
  24. Kreps, D., & Scheinkman, J. (1983). Quantity precommitment and bertrand competition yield cournot outcomes. Bell Journal of Economics, 14(2), 326–337. [Google Scholar] [CrossRef]
  25. Krishna, K. (1989). Trade restrictions as facilitating practices. Journal of International Economics, 26(3–4), 251–270. [Google Scholar] [CrossRef]
  26. Lepore, J. J. (2008). Cournot and Bertrand-Edgeworth competition when Rivals’ costs are unknown. Economic Letters, 101(3), 237–240. [Google Scholar] [CrossRef]
  27. Lepore, J. J. (2009). Consumer Rationing and the Cournot Outcome. The B.E. Journal of Theoretical Economics, 9(1). [Google Scholar] [CrossRef]
  28. Lepore, J. J. (2012). Cournot outcomes under Bertrand-Edgeworth competition with demand uncertainty. Journal of Mathematical Economics, 48(3), 177–186. [Google Scholar] [CrossRef]
  29. Levitan, R., & Shubik, M. (1972). Price duopoly and capacity constraints. International Economic Review, 13, 111–122. [Google Scholar] [CrossRef]
  30. Osborne, M., & Pitchik, C. (1986). Price competition in a capacity-constrained duopoly. Journal of Economic Theory, 38(2), 238–260. [Google Scholar] [CrossRef]
  31. Reny, P. J. (1999). On the existence of pure and mixed strategy Nash equilibria in discontinuous games. Econometrica, 67, 1029–1056. [Google Scholar] [CrossRef]
  32. Reynolds, S., & Wilson, B. (2000). Bertrand-Edgeworth competition, demand uncertainty, & asymmetric outcomes. Journal of Economic Theory, 92(1), 122–141. [Google Scholar]
  33. Shapley, L. S. (1957). A duopoly model with price competition, (abstract). Econometrica, 25, 354–355. [Google Scholar]
  34. Shapley, L. S., & Shubik, M. (1969). Price strategy oligopoly with product variation. Kyklos, 1, 30–43. [Google Scholar] [CrossRef]
  35. Shubik, M. (1959). Strategy and market structure; competition, oligopoly, & the theory of games. Wiley. [Google Scholar]
  36. Siegel, R. (2009). All-pay contests. Econometrica, 77, 71–92. [Google Scholar]
  37. Siegel, R. (2010). Asymmetric contests with conditional investments. American Economic Review, 100, 2230–2260. [Google Scholar] [CrossRef]
  38. Siegel, R. (2014). Asymmetric all-pay auctions with interdependent valuations. Journal of Economic Theory, 153, 684–702. [Google Scholar] [CrossRef]
  39. Simon, L. K., & Zame, W. R. (1990). Discontinuous games and endogenous sharing rules. Econometrica, 58, 861–872. [Google Scholar] [CrossRef]
  40. Vives, X. (1986). Rationing rules and Bertrand-Edgeworth equilibria in large markets. Economics Letters, 21, 113–116. [Google Scholar] [CrossRef]
  41. Vives, X. (1993). Edgeworth and modern oligopoly theory. European Economic Review, 37, 463–476. [Google Scholar] [CrossRef]
  42. Yoshida, Y. (2002). Bertrand-Edgeworth duopoly with quadratic cost function. Mimeo Seikei University. [Google Scholar]
  43. Yoshida, Y. (2006). Bertrand-Edgeworth price competition with strictly convex cost functions. Mimeo Seikei University. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Allison, B.A.; Lepore, J.J. A General Model of Bertrand–Edgeworth Duopoly. Games 2025, 16, 26. https://doi.org/10.3390/g16030026

AMA Style

Allison BA, Lepore JJ. A General Model of Bertrand–Edgeworth Duopoly. Games. 2025; 16(3):26. https://doi.org/10.3390/g16030026

Chicago/Turabian Style

Allison, Blake A., and Jason J. Lepore. 2025. "A General Model of Bertrand–Edgeworth Duopoly" Games 16, no. 3: 26. https://doi.org/10.3390/g16030026

APA Style

Allison, B. A., & Lepore, J. J. (2025). A General Model of Bertrand–Edgeworth Duopoly. Games, 16(3), 26. https://doi.org/10.3390/g16030026

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop