# Bertrand competition with asymmetric costs: a solution in pure strategies

## Abstract

We consider a Bertrand duopoly with homogeneous goods and we allow for asymmetric marginal costs. We derive the Myopic Stable Set in pure strategies as introduced by Demuynck et al. (Econometrica 87:111–138, 2019). In contrast to the set of Nash equilibria, the unique Myopic Stable Set can be easily characterized in closed form and it provides an intuitive set-valued prediction.

## Keywords

Bertrand competition Asymmetric costs Myopic stable set## 1 Introduction

The analysis of price competition is a fundamental part of oligopoly theory since Bertrand’s contribution (1883). The Bertrand duopoly with symmetric constant marginal costs, homogeneous goods, and continuous prices has a unique pure strategy Nash Equilibrium characterized by a strategy profile in which prices equal marginal costs.

If marginal costs are not symmetric across firms and the market is shared if firms set equal prices, no pure strategy Nash equilibrium exists. Blume (2003) shows that there exists a Nash equilibrium in mixed strategies where the more efficient firm sets price equal to the opponent’s marginal cost and serves the entire market with probability 1. The rival randomizes on an interval above his marginal cost. Kartik (2011) strengthens the result by showing that all undominated equilibria lead to the same market price and shares. The complete set of undominated Nash equilibria is not constructed in these papers.

In this paper, we analyze the same Bertrand game. We follow Blume (2003) and Kartik (2011) in that we focus on strategy profiles in which no firm chooses a predatory price, i.e., a price below marginal cost. Instead of Nash equilibrium, however, we employ a solution concept recently introduced by Demuynck et al. (2019), the Myopic Stable Set. A set of strategy profiles is myopically stable if it satisfies three conditions, *deterrence of external deviations*, *asymptotic external stability*, and *minimality*. Deterrence of external deviations requires that no player benefits by switching her strategy, such that the resulting strategy profile is outside the Myopic Stable Set. Asymptotic external stability makes sure that, from any strategy profile outside the set, it is possible to get arbitrarily close to a strategy profile inside the Myopic Stable Set by a sequence of better replies. Minimality requires that the Myopic Stable Set is minimal with respect to set inclusion.

In Demuynck et al. (2019), we defined the Myopic Stable Set for a very general class of *social environments* (Chwe 1994) that allows for infinite state spaces and includes normal-form games as a special case. We proved that if the state space is compact, then the Myopic Stable Set exists, and under some mild continuity assumptions, it is also unique. Moreover, we showed that the Myopic Stable Set coincides with the set of pure strategy Nash Equilibria for supermodular games, aggregative games, and potential games.

In light of these results, the Bertrand model with asymmetric costs is interesting for several reasons: it does not satisfy the compactness and continuity assumptions of Demuynck et al. (2019), it does not belong to any of the aforementioned classes of games, and the set of pure strategy Nash equilibria of this game is empty. Moreover, the set of mixed-strategy Nash equilibria is large.

We prove existence and uniqueness of the Myopic Stable Set for symmetric and asymmetric Bertrand competition. We characterize the set in closed form. The set is small and gives an intuitive prediction.

## 2 Model and solution concept

In this section, we define the Myopic Stable Set for normal-form games \(G:=(N, (S_i)_{i \in N}, (\pi _i)_{i \in N})\), where \(N=\{1,\ldots ,n\}\) is a finite set of players with typical element *i*, \(S_i\) is the set of pure strategies for each player \(i \in N\), and Open image in new window is the payoff function of player *i*. Denote the strategy space by Open image in new window . We use the standard notation \(s:=(s_i,s_{-i})\in S\) to denote the strategy profile where \(s_{-i}\) is the list of strategies of all players except *i*, i.e., \(s_{-i}:=(s_{j})_{j \in N\backslash \{i\}}\).

We say that a strategy profile \(s' \in S\) dominates another strategy profile \(s \in S\) if there is a player who can unilaterally deviate to \(s'\) and strictly prefers \(s'\) over *s*, i.e., from *s*, the player has a better reply, such that the resulting strategy profile is \(s'\).

### Definition 1

(*Dominance*) Let \(s,s'\in S\) be two strategy profiles. The strategy profile \(s'\)*dominates**s* if there exists a player \(i \in N\), such that \(\pi _i(s')>\pi _i(s)\) and \(s'_{-i}=s_{-i}\).

*s*together with

*s*itself is denoted by

*f*(

*s*):

*f*by:

*k*-fold composition \(f^k(s)\) by \(s^{k} \in f^k(s)\) if there is \( s^{k-1} \in f^{k-1}(s) \), such that \( s^{k} \in f(s^{k-1})\). Observe that, for all \(k, \ell \in \mathbb {N}\), such that \(k \le \ell \), it holds that \(f^k(s) \subseteq f^\ell (s)\). We define the set of all strategy profiles that can be reached from

*s*by a finite number of dominations by \(f^{\mathbb {N}}(s)\), where

*s*if, starting from

*s*, it is possible to get arbitrarily close to \(s'\) in a finite number of dominations. Let \(d(s,s')\) denote the Euclidean distance between

*s*and \(s'.\) The asymptotic dominance criterion is formally defined as follows:

### Definition 2

(*Asymptotic dominance*) A strategy profile \( s^{\infty } \in S\)*asymptotically dominates*\(s \in S\) if, for all \(\varepsilon >0\), there exists \( s' \in f^\mathbb {N}(s)\), such that \(d(s^{\infty },s^{\prime })< \varepsilon \).

*S*that asymptotically dominate

*s*by \(f^\infty (s)\). Formally

### Definition 3

*Myopic stable set (MSS)*) Let \(G:=(N, (S_i)_{i \in N}, (\pi _i)_{i \in N})\) be a normal-form game. The set \(M \subseteq S\) is a

*Myopic Stable Set (MSS)*if it is closed and satisfies the following three conditions:

- 1.
Deterrence of external deviations: For all \(s \in M\), \(f(s) \subseteq M\).

- 2.
Asymptotic external stability: For all \(s \notin M, f^\infty (s) \cap M \ne \emptyset \).

- 3.
Minimality: There is no closed set \(M' \subsetneq M\) that satisfies Conditions 1 and 2.

Let *M* be a MSS. Deterrence of external deviations requires that no player can profitably deviate to a strategy profile outside *M*. Asymptotic external stability requires that any strategy profile outside *M* is asymptotically dominated by a strategy profile in *M*. Hence, from any strategy profile outside of *M*, it is possible to get arbitrary close to a strategy profile in *M* by a finite number of dominations. Observe that an empty set would necessarily violate asymptotic external stability, so it follows that *M* is non-empty.

While we focus on pure strategies, the MSS can be defined analogously on the set of mixed strategies; for details, see Online Supplement A.6 of Demuynck et al. (2019). In any (mixed) Nash equilibrium, we have \(f(s)=f^{\infty }(s)=s\). Thus, by asymptotic external stability, all mixed-strategy Nash equilibria are part of the MSS in mixed strategies.

## 3 Bertrand duopoly

Consider a model with two firms, \( N = \{1,2\},\) having constant marginal costs \( 0 \le c_1 \le c_2\) and no fixed costs. In many countries, pricing below marginal or average cost is considered to be predatory pricing and is, thus, forbidden by law. Thus, we require the strategy space \(P_i\) of a firm \( i \in N \) to consist of all non-predatory prices, i.e., \( P_i=[c_i, \infty )\), and we define \( P := P_1 \times P_2 \) with typical element *p*.

The absence of predatory pricing is similar to the focus on undominated equilibrium strategies in Kartik (2011). However, pricing at marginal costs is allowed in our setting, while it is ruled out in equilibria considered by Kartik (2011). This difference does not influence the set of undominated Nash equilibria in the asymmetric case \(c_1<c_2\), as, by a standard argument in this literature, no equilibrium in which Firm 2 places mass at \(c_2\) can exist. However, restricting attention to equilibria with price strictly larger than marginal cost leads to non-existence in the symmetric case which is not particularly appealing.

The continuous market demand function \( D:[0,\infty )\longrightarrow \mathbb {R_+}\) expresses the demand for the good as a function of the lowest price \( p_{\mathrm{m}} \) available in the market. There exists a “choke” price \({\overline{p}}_{\mathrm{m}} \in (c_{2},\infty ) \), such that \( D(p_{\mathrm{m}})=0\) for all \( p_{\mathrm{m}} \ge {\overline{p}}_{\mathrm{m}}\). The demand is strictly decreasing on \( [0,{\overline{p}}_{\mathrm{m}}]\) and zero on \([{\overline{p}}_{\mathrm{m}},\infty )\). We assume that there is an \( \varepsilon > 0 \), such that the profits \( (p_{\mathrm{m}} - c_{1})D(p_{\mathrm{m}}) \) of a monopolist with marginal costs \( c_{1} \) are strictly increasing in \( p_{\mathrm{m}} \) on the domain \( [c_{1}, c_{2}+\varepsilon ]. \) This assumption ensures an element of competition between the firms. If the profit of a monopolist with marginal cost \( c_{1} \) has a maximum for \(p_1 \in [c_1,c_2)\), then the strategy profiles in which Firm 1 chooses \(p_1\) and Firm 2 chooses a strictly higher price are Nash equilibria and part of the MSS.

For \(c_1<c_2\), let \( {\underline{p}}_{1} \in (c_{1},c_{2}) \) be the price, such that \( \pi _{1}({\underline{p}}_{1},c_{2}) = \pi _{1}(c_{2},c_{2})\). To see that this price is uniquely determined, note that \(\pi _1(c_1,c_2)=0\), \(\pi _1(c_2,c_2)>0\), and \(\pi _1(p_1,c_2)\) is strictly increasing and continuous for \(p_1 \in [c_1,c_2)\) and has a downward jump at \(c_2\). By the intermediate value theorem, \({\underline{p}}_1\) exists. Since \(\pi _1(p_1,c_2)\) is strictly increasing for \(p_1 \in [c_1,c_2)\), we obtain that \({\underline{p}}_1\) is uniquely determined. This allows us to characterize the MSS as follows.

### Proposition 4

- (i)
If \(c_1=c_2=c\), the unique MSS of \( \Gamma \) is given by \(P^{*}=\{p_1=p_2=c\}\).

- (ii)If \(c_1<c_2\), the unique MSS of \( \Gamma \) is given by$$\begin{aligned} P^{*} = \left\{ (p_1,p_2) \in P | \pi _{1}(p_{1},c_{2}) \ge \pi _{1}(c_{2},c_{2}),~p_{2} = c_{2} \right\} = {[}{\underline{p}}_{1},c_{2}] \times \{c_{2}\}. \end{aligned}$$

### Proof

We first prove Part (i). Deterrence of external deviations is satisfied as \(\pi _1(c,c)=\pi _2(c,c)=0\) and \(\pi _1(p_1,c) \le 0, \pi _2(c,p_2) \le 0\). As \(f^{\infty }(c,c)=\{(c,c)\}\), the profile (*c*, *c*) is part of every MSS. Hence, by minimality, if \(P^*\) is a MSS, then it is also unique.

It remains to verify asymptotic external stability. Without loss of generality, let \(p_1\le p_2\). Let some \((p_{1},p_{2}) \ne (c,c) \in P \) be given. If \(c< p_1 < p_2\), then Firm 2 can profitably deviate to \(p_2' = (c + \min \{p_{1}, {\overline{p}}_{\mathrm{m}}\})/2 \) and Firm 1 can profitably deviate in the next step to \(p_1' = (c + p^{\prime }_{2})/2\) and so forth. It follows that \((c, c) \in f^\infty (p_1,p_2) \cap P^{*}.\) If \( p_1= c < p_{2}, \) then Firm 1 can profitably deviate to \( (p^{\prime }_{1},p_{2}), \) where \( p^{\prime }_{1} \in (c,p_{2}) \) is chosen. such that \( p^{\prime }_{1} < c + \varepsilon \) with \( \varepsilon > 0 \). such that the profits \( (p_{\mathrm{m}} - c)D(p_{\mathrm{m}}) \) of a monopolist with marginal costs *c* are strictly increasing in \( p_{\mathrm{m}} \) on the domain \( [c, c+\varepsilon ]. \) We can then continue as in the previous case. If \(p_1 = p_2 > c\), then there is \( p^{\prime }_{1} \in (c,p_{2}) \), such that \( \pi _{1}(p^{\prime }_{1},p_{2}) > \pi _{1}(p_{1},p_{2}). \) Either \( p_{2} \le {\overline{p}}_{\mathrm{m}} \) or \( p^{\prime }_{1} \) is obtained by slightly undercutting \( p_{2}, \) or \( p_{2} > {\overline{p}}_{m} \) and any \( p^{\prime }_{1} \in (c,{\overline{p}}_\mathrm{m}) \) will do. Now, we can continue as before. Because of the legal restrictions on predatory pricing, we have covered all strategy profiles in \(P \setminus P^{*}\) and thereby shown that \( P^{*}\) satisfies asymptotic external stability which completes the proof of (i).

- Step 1.
We show that \( P^{*}\) satisfies deterrence of external deviations and asymptotic external stability. We start with deterrence of external deviations. For \((p_1,c_2) \in P^{*}\), profits of Firm 1 are greater than or equal to \( \pi _{1}(c_{2},c_{2}). \) For \(p_1 \notin [{\underline{p}}_{1},c_{2}]\), profits are \( \pi _{1}(p_{1},c_{2}) < \pi _{1}(c_{2},c_{2}) \). Thus, for any state in \( P^{*}\), player 1 will not deviate to a state in \(P \setminus P^{*}\). Firm 2 makes zero profits for any point in \( P^{*}\) and non-positive profits for any \(p_2 \in P_{2} \) if \(p_1 \le c_2\). Thus, Firm 2 has no profitable deviation. This shows deterrence of external deviations for \( P^{*}\).

It remains to verify asymptotic external stability. Let some \((p_{1},p_{2}) \in P \setminus P^{*}\) be given. If \(c_2< p_1 < p_2\), then Firm 2 can profitably deviate to \(p_2' = (c_2 + \min \{p_{1}, p_{\mathrm{m}}\})/2 \) and Firm 1 can profitably deviate in the next step to \(p_1' = (c_2 + p^{\prime }_{2})/2\) and so forth. It follows that \((c_2, c_2) \in f^\infty (p_1,p_2) \cap P^{*}. \) If \( p_{1} \le c_{2} < p_{2}, \) then Firm 1 can profitably deviate to \( (p^{\prime }_{1},p_{2}), \) where \( p^{\prime }_{1} \in (c_{2},p_{2}) \) is chosen, such that \( p^{\prime }_{1} < c_{2} + \varepsilon \) with \( \varepsilon > 0 \), such that the profits \( (p_{\mathrm{m}} - c_{1})D(p_{\mathrm{m}}) \) of a monopolist with marginal costs \( c_{1} \) are strictly increasing in \( p_{\mathrm{m}} \) on the domain \( [c_{1}, c_{2}+\varepsilon ]. \) We can then continue as in the previous case. If \(c_2 < p_2 \le p_1\), then there is \( p^{\prime }_{1} \in (c_{2},p_{2}) \), such that \( \pi _{1}(p^{\prime }_{1},p_{2}) > \pi _{1}(p_{1},p_{2}). \) Either \( p_{2} \le {\overline{p}}_{\mathrm{m}} \) or \( p^{\prime }_{1} \) is obtained by slightly undercutting \( p_{2}, \) or \( p_{2} > {\overline{p}}_{m} \) and any \( p^{\prime }_{1} \in (c_{2},{\overline{p}}_{\mathrm{m}}) \) will do. Now, we can continue as before. If \(p_{1} \notin [{\underline{p}}_{1}, c_2]\) and \(p_{2} = c_{2}\), then Firm 1 can profitably deviate to \( c_{2} \) to reach a strategy profile in \( P^{*}\). Because of the legal restrictions on predatory pricing, we have covered all strategy profiles in \(P \setminus P^{*}\) and thereby shown that \( P^{*}\) satisfies asymptotic external stability.

- Step 2.
Let \( M \subseteq P^* \) be a set satisfying deterrence of external deviations and asymptotic external stability. Let us show that, for every \( p_1 \in [{\underline{p}}_{1},c_{2}) \), it holds that \( (p_1,c_2) \in M \) implies \( (c_2,c_2) \in M. \) Suppose that \( (p_{1},c_{2}) \in M \) and \((c_2, c_2) \notin M\). By closedness of

*M*, there is \( \varepsilon ^{\prime } > 0 \), such that, for every \(\varepsilon \in (0,\varepsilon ^{\prime })\), \((c_2-\varepsilon , c_2) \notin M\). Take \(p_1' = \max \{(p_1 + c_2)/2, c_2 - \varepsilon ^{\prime }/2\}\), then \((p_1', c_2) \in f(p_1,c_2), \) and so, \((p_1', c_2) \in M\). Given that \(p_1' > c_2 - \varepsilon ^{\prime }\), we obtain a contradiction. - Step 3.
Let \(M \subseteq P^{*} \) be a set satisfying deterrence of external deviations and asymptotic external stability. Let us show that if \((c_2,c_2) \in M\), then, for every \( p_{1} \in [{\underline{p}}_{1}, c_{2}), \) we have \((p_1, c_2) \in M\). This follows from the fact that, for every \( p_{1} \in ({\underline{p}}_{1},c_{2}), \)\( \pi _{1}(p_{1},c_{2}) > \pi _{1}(c_{2},c_{2}) \) and the fact that

*M*is closed. - Step 4.
We are now ready to show that \( P^{*}\) is an MSS. First of all, by Step 1, it satisfies deterrence of external deviations and asymptotic external stability. Therefore, if \(P^{*}\) is not an MSS, it should violate minimality. This means that there is a proper subset

*M*of \(P^{*}\) that also satisfies deterrence of external deviations and asymptotic external stability. The set*M*either contains \((c_2, c_2)\) or it is a subset of \( [{\underline{p}}_{1}, c_{2}) \times \{c_{2}\}. \) If*M*contains \((c_2,c_2)\) then, by Step 3, it should contain \( [{\underline{p}}_{1}, c_{2}) \times \{c_{2}\} \) and, therefore, be equal to \( P^{*}, \) a contradiction with*M*being a proper subset of \( P^{*}. \) If*M*is a subset of \( P^{*} \setminus \{(c_{2},c_{2})\}\), then, by Step 2, it should contain \((c_2,c_2)\), a contradiction. - Step 5.
Finally, we show that \( P^{*}\) is the unique MSS. Let

*M*be an MSS. We show that \( P^{*} \cap M \ne \emptyset \). Towards a contradiction, suppose that \( P^{*} \cap M = \emptyset \). Then, for all \(p' \in P^*\), there is \(p'' \in M\), such that \(p'' \in f^\infty (p')\). Given that \( P^*\) is closed and \(p'' \notin P^*\), there is \( \varepsilon > 0 \), such that \(B_\varepsilon (p'') \cap P^* = \emptyset , \) where \( B_{\varepsilon }(p^{\prime \prime }) = \{p \in P \mid d(p,p^{\prime \prime }) < \varepsilon \}. \) By definition of \( f^{\infty }, \) there is \( k \in \mathbb {N} \) and \( p \in P \), such that \(p \in f^k(p')\) and \(p \in B_\varepsilon (p'')\). By a*k*-fold application of deterrence of external deviations, it holds that \( p \in P^{*}, \) so \( p \in B_\varepsilon (p'') \cap P^* \) and we have obtained a contradiction. Consequently, it holds that \( P^{*} \cap M \ne \emptyset \). - Step 6.
If

*M*contains \((c_2,c_2)\), then, by Step 3,*M*should also contain \(P^{*} \setminus \{(c_{2},c_{2})\}\), so \(P^{*} \subseteq M\) and by minimality \(P^{*} = M\). If*M*contains an element of \(P^{*} \setminus \{(c_{2},c_{2})\}\), then, by Step 2, it should also contain \((c_2,c_2)\) and, by Step 3, also \(P^{*} \setminus \{(c_{2},c_{2})\}\). Again, we obtain \(P^{*} \subseteq M\) and by minimality \(P^{*} = M\). \(\square \)

For the case \(c_1=c_2=c\), the MSS yields a unique prediction which coincides with the well-known reasoning that prices are equal to marginal cost. This is also the pure strategy Nash equilibrium of the game.

For \(c_1<c_2\), the Myopic Stable Set is illustrated in Fig. 1. The set is relatively small. In any element of the set, firm 2 chooses price equal to its marginal cost. Firm 1 can choose any price between \({\underline{p}}_1\) and \(c_2\). To provide an intuition, we start with the point \((c_2,c_2)\). From this point, \(p_1 \in ({\underline{p}}_1,c_2)\) are all better responses (with \(\underline{p_1}\) included by closedness). From these points, increasing \(p_1\) to a value below \(c_2\) is again all better responses. Finally, \((c_2,c_2)\) is included by closedness. The proof shows that, from any point outside the set, there is a sequence of myopic improvements that approaches the set.

In contrast to the unique MSS, the complete set of Nash equilibria has not been characterized. However, as Kartik (2011) shows, there are infinitely many Nash equilibria in mixed strategies which share the property that Firm 1 chooses \(p_1=c_2\) and Firm 2 chooses a mixed strategy with support starting at \(c_2\). Thus, for the Bertrand game without predatory pricing, the MSS provides intuitive predictions which are less ambiguous than the Nash equilibrium predictions.

## 4 Discussion

We have provided a complete characterization of the Myopic Stable Set for the Bertrand duopoly with asymmetric marginal costs. Despite the popularity of Bertrand competition, the set of Nash equilibria has not been fully characterized, but, infinitely, many equilibria exist.

The Myopic Stable Set yields a unique set-valued prediction. The market price is predicted to be weakly lower than in any Nash equilibria in undominated strategies. A clean solution to a game with such a complex set of Nash equilibria boosts the appeal of the Myopic Stable Set as a solution concept.

## Notes

## References

- Bertrand, J. (1883). Review of ‘Théorie Mathématique de la Richesse Sociale’ and ‘Recherches sur les Principes Mathématiques de la Théorie des Richesses.
*Journal des Savants*,*67*, 499–508.Google Scholar - Chwe, M. S.-Y. (1994). Farsighted coalitional stability.
*Journal of Economic Theory*,*63*, 299–325.CrossRefGoogle Scholar - Demuynck, T., Herings, P. J. J., Saulle, R. D., & Seel, C. (2019). The myopic stable set for social environments.
*Econometrica*,*87*, 111–138.CrossRefGoogle Scholar - Kartik, N. (2011). A note on undominated bertrand equilibria.
*Economics Letters*,*111*, 125–126.CrossRefGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.