Theocharis Problem Reconsidered in Differentiated Oligopoly

Oligopolies with product differentiation are examined with both quantity-adjusting and price-adjusting firms. Conditions are given for the positivity of the equilibrium outputs as well as for that of the equilibrium prices.The stability of the positive equilibria is then investigated; the positivity and stability conditions are also compared.The dependence of these conditions on the number of firms, their qualifications and the degree of relation between the goods is discussed. The analysis is given by assuming both discreteand continuous-time scales.


Introduction
In his seminal paper, Theocharis [1] constructs the -firm Cournot oligopoly model with a linear demand function and constant marginal costs and studies the asymptotic stability of the steady state under discrete-time quantity adjustment.It is then found that stability depends only on the number of firms; the steady state is globally stable in the duopoly, marginally stable in the triopoly, and destabilized if the number of firms becomes more than three.It is also pointed out that this provocative result (sometimes called the Theocharis problem) might be obtained under the limited environment in which the firms have full and instantaneous information on the demand function, their own cost, and the competitors' costs, the goods are perfectly substitutes (i.e., homogenous), and expectations are naively formed.As a natural consequence, the Theocharis model has been extended in various directions to weaken these restrictions.Focusing on the type of the adjustment process, McManus and Quandt [2] and Hahn [3] prove that the steady state is asymptotically stable in the continuous-time adjustment process with demand and cost functions having the appropriate slopes.It is also confirmed in Fisher [4] that the steady state can be stabilized when the adjustment coefficient is small and/or the marginal cost is increasing in the discrete-time adjustment process.Further, models with product differentiation are discussed in Hadar [5], Krelle [6], Okuguchi [7], Sridhar Moorthy [8], and Friedman [9] among others.Models with product differentiations can be considered special cases of multiproduct oligopolies, which were first formulated by Selten [10] for quantity strategies and by Eichhorn [11,12] for price strategies.Szidarovszky et al. [13] examine the stability of equilibria in linear multiproduct oligopolies with adaptive adjustments and derive sufficient and necessary stability conditions.A comprehensive summary of the main results on the existence, uniqueness, and stability of equilibria in multiproduct oligopolies is given in Okuguchi and Szidarovszky [14] which can be easily applied to oligopolies with product differentiation as special cases.Goldberg [15] presents an application to the US Automobile Industry.Comparison of Bertrand and Cournot oligopolies is discussed in Okuguchi [16], Vives [17], and Cheng [18] among others.More recently, taking into account of the nonnegativity constraints on the variables, Cánovas et al. [19] consider the global dynamics to show that the -firm model has simple dynamics (i.e., it converges either to a monopoly or a duopoly or to a two-periodic oscillation), whose results are further extended in Cánovas [20].
Our purpose of this study is to reconsider the Theocharis problem in differentiated oligopoly, following the spirit of

Consumers
It is assumed that there is a continuum of consumers of the same type and the utility function of the representative consumer is given as where q = (  ) is the quantity vector,  = ∑  =1     with   being the price of good ,   measures the quality of good , and  ∈ [−1, 1] measures the degree of relation between the goods:  > 0,  < 0, or  = 0 imply that the goods are substitutes, complements, or independent.Moreover, the goods are perfect substitutes if  = 1 and perfect complements if  = −1.In this study, we confine our analysis to the case in which the goods are imperfect substitutes or complements and are not independent, by assuming that || < 1 and  ̸ = 0.The linear inverse demand function (or the price function) of good  is obtained from the first-order condition of the interior optimal consumption of good  and is given by where  ≥ 2 is assumed.More compactly, (2) can be written in the vector form; the price vector is a linear function of the output vector: where p = (  ),  = (  ), and B = (  ) with   = 1 and   =  for  ̸ = .Since B is invertible 1 , solving (3) for q yields the direct demand where the diagonal and the off-diagonal elements of B −1 are, respectively, Hence the direct demand of good , the th-component of q, is linear in the prices and is given as For the sake of the later analysis, let us define the admissible region of (, ) by  (+) or  (−) according to whether the goods are substitutes or complements:

Quantity-Adjusting Firms
In Cournot competition, firm  chooses a quantity   to maximize its profit   = (  −   )  subject to its price function (2), taking the other firms' quantities given.We assume a linear cost function for each firm, so that the marginal cost   is constant and nonnegative.To avoid negative optimal production, we also assume that   −   is positive.
Assumption 1 (  ≥ 0 and   −   > 0 for all ).Assuming interior maximum and solving its first-order condition yield the best reply of firm , It can be easily checked that the second-order condition is certainly satisfied.The Cournot equilibrium output and price for firm  are obtained by solving the following simultaneous equations: or in vector form where A  = ((  −   )/2) and B  = (   ) with    = 1 and    = /2 for  ̸ = .B  is invertible if 2 + ( − 1) ̸ = 0 and, in this case, the Cournot output vector is given by where the diagonal and off-diagonal elements of (B  ) −1 are, respectively, Hence the Cournot equilibrium output of firm  is and the Cournot equilibrium price of firm  is Subtracting ( 13) from (14)  We start with the case of  > 0 in which 2 + ( − 1) > 0 always.Equation ( 13) can be written as where   is defined as The constant term   of the price function is the maximum price of the product   and thought to be a proxy of the product quality (i.e., the high-price product is usually highly qualified) and thus   −   could measure the net quality.  is the ratio of the average net quality over the individual net quality of firm .When   < 1, firm  is called higherqualified as its individual net quality is larger than the average net quality.On the other hand, when   > 1, firm  is called lower-qualified as the individual net quality is less than the average net quality.Equation (16) implies that    > 0 if   ≤ 1.A different form of ( 16) is and leads to    > 0 if   > 1 and We call the locus of (, ) satisfying relation (19) with equality the zero-output curve.We now turn to the case of  < 0 in which the sign of 2 + ( − 1) is ambiguous.Equation (13) indicates    > 0 if 2 + ( − 1) > 0. Positivity of the output does not depend on whether the firm is higher-or lower-qualified if We now suppose the opposite situation where 2 + ( − 1) < 0. Then (16) and   ≥ 1 together imply    < 0. The lowerqualified firms temporarily choose zero-production and will exit the market if nothing is changed.Decreasing the number of firms could reverse the inequality of the condition: 2 + ( − 1) < 0, and, in consequence, the remaining firms produce positive output.On the other hand, (18) Solving 2 + ( − 1) = 0 for  and subtracting the resultant expression from the right hand side of (21) present This inequality implies that the zero-output curve with  < 0 is in the region of 2 + ( − 1) < 0. Hence the nonnegativity conditions for Cournot output are summarized as follows.

Stability.
We now turn attention to the stability of the Cournot output.Best response dynamics is assumed with naive expectations, when each firm believes that the other firms remain unchanged with their outputs from the previous period.By assuming discrete-time scales, the best response (8) gives rise to the time invariant linear dynamic system Equations ( 27) and (28) imply that the price dynamics is essentially the same as the quantity dynamics.In other words, the Cournot price is stable (resp., unstable) if the Cournot output is stable (resp., unstable).Therefore it is enough for our purpose to draw attention only to the stability of the Cournot output.
The coefficient matrix of system (27) is The corresponding characteristic equation reads as follows: which indicates that there are  − 1 identical eigenvalues and one different eigenvalue.Without loss of generality, the first  − 1 eigenvalues are assumed to be identical: Since || < 1 is assumed, the first −1 eigenvalues are less than unity in absolute value.It depends on the absolute value of    whether the Cournot output is stable or not.It is clear that |   | < 1 for  = 2 and 3. Solving |   | < 1 for  > 3 presents the stability conditions of the Cournot output 2 : We can now summarize these stability results as follows.
Lemma 3. In Cournot competition with discrete-time scales, the Cournot output is stable, marginally stable, or unstable according to whether the number of the firms is less than, equal to, or greater than 1 + 2/||.
Lemma 2 is concerned with the nonnegativity condition for the Cournot output and so is Lemma 3 with the stability condition.Combining these lemmas provides the condition for which the Cournot output is positive and stable.We now investigate the following effects on stability of the positive Cournot output: the differentiation effect caused by a change in , the heterogeneity effect caused by a change in   , and the time scale effect caused by changing the time scale to continuous from discrete.

Differentiation Effect.
To see the differentiation effect on stability, we assume away the heterogeneity of the firms for a while only for analytical simplicity by assuming that   =  and   =  for all .This simplification leads to   = 1 for all .Due to (16),    > 0 for all  if  > 0 or if  < 0 and 2 + ( − 1) > 0. The positive-sloping black curve in Figure 1(a) and the negative-sloping black curve in For example, when  increases to 6 from 4 with an increment of unity, the threshold value decreases to 2/ 3.4.Heterogeneity Effect.Since   = 1 for all  is a special case, we examine the heterogeneity effect of   ̸ = 1 on stability.For  > 0, Cournot output is always positive if   < 1.The stability condition of the positive Cournot output produced by the higher-qualified firm is the same as the one with   = 1: Graphically the Cournot output is positive and stable in the yellow region of Figure 1(b) and unstable in the white region.
The heterogeneity among the higher-qualified firms does not affect stability.When firm  is lower-qualified (i.e.,   > 1), the stability region is accordingly modified.The zero-output curve and the marginal-stability curve yield where the first factor on the right hand side is positive for   > 1 and the second factor is negative if   > 2 and positive if 4/3 <   < 2. We distinguish three cases, Case I where   > 2, Case II where   < 4/3, and Case III where 4/3 <   < 2. In Case I, the nonnegativity condition is stronger than the stability condition.Stability of the Cournot output can be examined with the consideration of the nonnegativity condition.The negative-sloping blue curve in Figure 1(b) is the zero-output curve with   = 2.The Cournot output is positive and stable in the yellow region under the zerooutput curve.It is still stable in the yellow region between the zero-output curve and the marginal-stability curve but it is negative there.Notice that, as   becomes larger than 2, the blue curve shifts downward making the nonnegativity region smaller.The heterogeneity   > 2 can be a destabilizer.
Lemma 5. Supposing that   > 2, the Cournot output is positive and stable if Next we draw attention to Case II.The zero-output curve with   = 4/3 is in red and located above the marginalstability (black) curve in Figure 1(b).It can be verified that the zero-output curve shifts upward as   decreases.Thus, for 1 <   < 4/3, (37) implies that the stability condition is stronger than the nonnegativity condition.In Figure 1(b), the Cournot output is positive and stable in the yellow region below the black curve.The stability conditions of the higher-qualified firm (i.e.,   < 1) and the lower-qualified firms (i.e.,   > 1) are the same.However the optimal behavior is different when the stability condition is violated.The Cournot output of the lower-qualified firm is negative in the white region above the red curve so that the firm chooses to produce nothing and may exit the market.Further, it is positive and unstable in the white region between the red curve and the black curve.As is seen above, the higher-qualified firm produces positive output which is unstable, implying that the firm may stay in the market even if the stability condition is violated.Notice that changing   does not affect the stability condition and thus has no heterogeneity effect.Lemma 6. Supposing that 1 <   < 4/3, the Cournot output is positive and stable if In Case III, the zero-output curve intersects the marginalstability curve at the threshold value   determined as where   → 1 as   → 4/3 and   → 0 as   → 2. For  >   , the Cournot output satisfying  < 1 + 2/ is positive and stable and, for  <   , the Cournot output satisfying  < (2−)/[(  −1)] is positive and stable.In Figure 1(b), the negative-sloping green curve is the zero-output curve with   = 3/2, intersects the black curve at the point of   = 2/3 and  = 4, and passes through the point of  = 1 and  = 2.
The alternative expression of the zero-output curve is where, given Thereby the Cournot output is always positive and stable for any  ∈ (0, 1) in the duopoly market (i.e.,  = 2).It is positive and stable for  <  0 3 in the triopoly market (i.e.,  = 3).For  >  0 3 it is stable but negative.So firm  chooses to produce nothing.For  = 4, notice that  4 =  0 4 .Cournot output is positive and stable for  <  0 4 and chosen to be zero for  >  0 4 , leading to the firm's exit from the market.For  = 5, Cournot output is positive and stable for  <  5 , positive and unstable for  5 <  <  0 5 , and negative and unstable for  >  0 5 .We then have the hybrid result that the Cournot output is positive and stable for  < min(  ,  0  ) and is zero for  >  0  .
Lemma 7. Supposing that 4/3 <   < 2, the Cournot output is positive and stable if In the case of  0, the situation is much simpler since the nonnegativity condition is identical with the stability condition.In Figure 1(a), the positive sloping black curve is not only the zero-output curve but also the marginal-stability curve.The positive Cournot output is stable in the yellow region below the black curve.The heterogeneity effect among the firms (i.e.,   ̸ = 1) provides a sharp contrast in whether the goods are substitutes or complements.In summary, the heterogeneity affects stability of positive Cournot output by shifting the zero-output curve when  > 0 and has no effect on stability when  < 0. Therefore we can say that heterogeneity partially settles the Theocharis problem only when the goods are substitutes.Lemmas 2-7 lead to the main result obtained under the Cournot competition.Theorem 8.In the case of  > 0, the Cournot output is positive and stable one of the following exclusive conditions holds: Notice that the steady state of the continuous system is the same as that of the discrete system.Its Jacobian matrix is ) . (47) The corresponding characteristic equation has the form −1 implying that the eigenvalues are If  > 0, then both are negative and, if  < 0, then they are negative if which is the same stability condition as in the discrete case.
We then summarize these results as follows.
Theorem 9.In Cournot competition with continuous-time scales, the Cournot output is stable for any  ≥ 2 if the goods are substitutes and it is stable for  < 1 − 2/ if the goods are complements.
Comparing Theorem 8 with Theorem 9 reveals that the time scale effect solves the Theocharis problem since a change of the time scales completely stabilizes the Cournot point in the  (+) plane.On the other hand the scale change does not change the stability condition at all if  < 0. The time scale effect exhibits a sharp difference, depending on whether the goods are substitutes or complements.

Price-Adjusting Firms
In Bertrand competition, firm  chooses the price of good  to maximize the profit   = (  −   )  subject to its direct demand (6), taking the other firms' prices given.Solving the first-order condition yields the best reply of firm : for  = 1, 2, . . ., . (51) The second-order condition for an interior optimum solution is where the direction of inequality depends on the parameter configuration. 3 For (, ) ∈  (+) , we see that ( 52) is always satisfied.On the other hand, for (, ) ∈  (−) , we need an additional condition to fulfill the second-order condition.Since for  < 0, the required condition is either 0 < 1 + ( − 1) or 1 + ( − 2) < 0. Since the first inequality is the stability condition as well as the nonnegativity condition under the Cournot competition, we take it even under the Bertrand competition.
Assumption 10 (1 + ( − 1) > 0 for  < 0).The Bertrand equilibrium prices are obtained by solving the simultaneous equations for  = 1, 2, . . .,  with unknowns   .In vector form, with where the diagonal and off-diagonal elements of (B  ) −1 are, respectively, Hence, the Bertrand equilibrium price and output of firm  are given by with Due to (59), the Bertrand profit of firm  becomes where   is defined by (17) and Since it can be confirmed that   (, ) > 1 for 0 <  < 1 and 2 ≤  < ∞, 4 the Bertrand price is positive if firm  is higher-qualified or if the firms are homogeneous.For   > 1, it is positive if  ≤  + , where is a positive solution of   (, ) =   .In short, we have the following.
Lemma 11.In the case of  > 0, the Bertrand price is positive if (either the firm is higher-qualified or the firms are all homogenous) or the firm is lower-qualified and  ≤  + , while in the case of  < 0, the Bertrand price is always positive under Assumption 10.
In examining stability of the Bertrand price with discretetime scales, we assume best response dynamics with naive expectations on price formation and obtain the following system of time-invariant difference equations: for  = 1, 2, . . ., .

(65)
Similarly to the Cournot competition, we can also obtain the output difference equations under Bertrand competition by substituting   ( + 1) into the direct demand function (6): It is clear from (65) and (66) that the output dynamics is synchronized with the price dynamics.We focus on price dynamics henceforth.The coefficient matrix of the priceadjusting system (65) is This matrix has the same structure as J  .So replacing  of    by −/2[1 + ( − 2)] yields the eigenvalues of J  : When  > 0 and  ≥ 2, we have |   | < 1 for  = 1, 2, . . ., .That is, the Bertrand price is globally asymptotically stable in  (+) . 5Neither product differentiation nor homogeneity affects the stability of the Bertrand price if the goods are substitute.When  < 0 and Assumption 10 is given, 0 <    < 1 holds for  = 1, 2, . . ., −1.The value of    is clearly negative and the stability condition    > −1 can be rewritten as Under Assumption 10, the Bertrand price is stable if the following condition holds: 6 The stability of the Bertrand price is summarized as follows.
Lemma 12.In Bertrand competition with discrete-time scales, (i) the Bertrand price of a firm is stable for any  ≥ 2 if the goods are substitutes whereas it is stable if the goods are complements, Assumption 10 holds, and Lemma 11 is concerned with the nonnegativity condition of the Bertrand price and Lemma 12 is concerned with the stability condition.Thus combining these lemmas gives the following result.Theorem 13.In the case of  > 0, the Bertrand price of a firm is positive and stable if either the firm is higher-qualified or homogenous or the firm is lower-qualified and  ≤  + , while, in the case of  < 0, it is positive and stable if Assumption 10 holds and We graphically confirm Theorem 13.In Figure 2(a) in which  < 0, the positive-sloping red and blue curves correspond, respectively, to the marginal-stability curve and the SOC (i.e., the second-order condition) curve under which Assumption 10 holds.Thus the Bertrand price is positive and stable in the yellow region.It is checked that the two curves intersect for  = −1/2 and  = 3.Thus the Bertrand price is always stable in the duopoly and stable if  > −1/2 in the triopoly.For  ≥ 4, it is stable if  >    , where the threshold value    is determined by It is also checked that the Bertrand price is unstable but satisfies Assumption 10 if 1/(1 − ) <  <    while it is unstable and violates Assumption 10 if  < 1/(1 − ).
In the case of  > 0, the Bertrand price is stable but its positivity is sensitive to the value of   .Indeed, it is positive and stable if the firm is higher-qualified or the firms are all homogenous.On the other hand, if the firm is lowerqualified, then zero-output curve on which  =  + divides the  + plane, and the Bertrand price is positive and stable only in the region below the curve.In Figure 2(b), three curves with   = 3/2,   = 5/2, and   = 7/2 are illustrated as three negative-sloping curves.Increasing the value of   shifts the zero-output curve leftward.Thus these colored regions give the stability region of the positive Bertrand price when   = 3/2.The union of the blue and dark-orange regions is the stability region when   = 5/2 and increasing   to 7/2 takes away the blue region, limiting the stability region to the dark-orange region.The stronger heterogeneity makes the stability region smaller through shifting the zerooutput curve leftward.In the -firm model, the Bertrand price is positive and stable for  <    , where    solves   (, ) =   .As seen in Figure 2 It is also seen that larger number of firms is a destabilizing factor as    is decreasing in .
If continuous-time scales are considered, then the best response dynamics has the Jacobian J  − I with eigenvalues If  > 0, then these eigenvalues are negative.If  < 0, then they are negative if However this inequality always holds under Assumption 10 and thus is ineffective.In summary, a change of the time scales does not affect the stability conditions regardless of whether the goods are substitutes or complements.
This inequality implies that the marginal stability curve under the Cournot competition is located above the partition curve under the Bertrand competition.In other words, the Cournot output is more stable than the Bertrand price in the sense that the stability region for the positive Cournot output is larger than the stability region for the positive Bertrand price.On the other hand, in the case of  > 0, the crucial factor is whether the firm is higher-or lower-qualified.For the higher-qualified firm, the Bertrand price is always positive and stable while the Cournot output is positive and stable if  < 1 + 2/.Changing the strategy to price adjustment from quantity adjustment works for stabilization.When the firm is lower-qualified, its zero-output curve is obtained from inequality (19) as under the Cournot competition and  =  + under the Bertrand competition.We abbreviate the former to the curve and the latter to the -curve.Then solving (,   ) =  + for  presents the following; the -curve is above and, respectively, below is the -curve according to The case 2 >   (> 1) is divided into two subcases according to the relative location of the -curve with respect to the marginal-stability curve, 1 <   < 4/3, and 4/3 <   < 2. The first subcase is depicted by Figure 3 In both figures, the red curve is described by  = (,   ), the green curve by  =  + , and the black curve by the marginalstability condition,  = 1+2/.As shown in Figure 2(b), the -curve is above the black curve implying that the Cournot output is stable in the union of the yellow and blue regions.
The -curve crosses the marginal-stability curve from below, adding the red region to the yellow region and subtracting the blue region from it to construct the stability region of the Bertrand price.In the second subcase, the -curve as well as the -curve shifts down by increasing the value of   .As a result, as already shown in Figure 2(b), the stability region of the Cournot output is the union of the yellow, blue, and meshed-yellow regions.The stability region of the Bertrand price is the union of the yellow and red regions.Since it may not be determined which is larger, the red region and the blue region, the strategy effect caused by changing the quantity adjustment to the price adjustment on stability is ambiguous when   < 2.
For   ≥ 2, the solution of the simultaneous equations  = (,   ) and  =  + is  = 2/  and  = 2.As far as  ≥ 2 is assumed, the -curve is always located above the curve, implying that the Cournot output is more stable than the Bertrand price in the sense that the stability region under the Cournot competition is larger than the stability region under the Bertrand competition.Summarizing the results, we have the following.Theorem 15.In the discrete time framework, when the goods are substitutes, the Bertrand competition is more stable for   < 1, the Cournot competition is more stable for   > 2, and it is ambiguous which is stronger for 1 <   < 2.  The Cournot output and Bertrand price are always stable in the continuous-time scale if the goods are substitutes.On the other hand, if the goods are complements, the changing of time scales does not affect the stability conditions in both Cournot and Bertrand competitions.So we have the following.
Theorem 16.In the continuous time framework, both of the Cournot and Bertrand competitions are stable if the goods are substitutes and Cournot competition is more stable than Bertrand competition if the goods are complements.

Concluding Remarks
Discrete and continuous linear oligopolies are examined with differentiated products.Conditions are derived for the positivity of the equilibrium quantities as well as for that of the equilibrium prices.Then conditions are given for the stability of the positive equilibria.These conditions are analyzed in detail when their dependence on the number of firms (), on the degree of differentiation of the products (), on the heterogeneity of the firms (  ), and on the selection of the time scales is examined.In the case of Cournot competition our findings can be summarized as follows.With discrete-time scales the positive equilibrium output of a firm is stable if the number of firms is less than a threshold that depends on both  and   .If the time scale is continuous, then the positive equilibrium is always stable if the products are substitutes and it is stable if the products are complements and the number of firms is below a certain threshold.In the case of price-adjusting firms and discrete-time scales, we have the following facts.If the products are substitutes, then the positive equilibrium price is stable if the firm is higher qualified (  < 1).If the products are complements, then the positive equilibrium price is stable if the number of firms is below a given threshold.With continuous-time scales the positive equilibrium price is stable for any number of firms if the products are substitutes and with a bounded number of firms if the products are complements.In comparing the stability conditions we can conclude what follows.In the discrete time, framework when the goods are substitutes, the Bertrand competition is more stable for   < 1 and the Cournot competition is more stable for   > 2; however, for 1 <   < 2, no clear comparison is possible.In the continuous time framework both the Cournot and Bertrand equilibria are stable if the goods are substitutes and Cournot competition is more stable than Bertrand competition if the goods are complements.
Since all models resulted in linear dynamics, stability of the equilibria means global asymptotical stability.Our next research project will be to analyze nonlinear oligopolies and investigate their local and global stability.Further the nonnegativity of the outputs of the firms as well as taking capacity limits into account can be done similarly to Cánovas [20] and Bischi et al. [21].The resulting model becomes nonlinear making asymptotic analysis a bit more complicated, which will be worked out in our future research.
(a) in which   = 1.3 is taken and the second case by Figure 3(b) with   = 3/2.

Figure 3 :
Figure 3: Stability regions under Cournot and Bertrand competition.
is always positive if  < 0 and Assumption 10 holds or it is nonnegative if  > 0 and   (, ) ≥   ,