Abstract

This paper tackles the issue of local and global analyses of a duopoly game with price competition and market share delegation. The dynamics of the economy is characterised by a differentiable two-dimensional discrete time system. The paper stresses the importance of complementarity between products as a source of synchronisation in the long term, in contrast to the case of their substitutability. This means that when products are complements, players may coordinate their behaviour even if initial conditions are different. In addition, there exist multiple attractors so that even starting with similar conditions may end up generating very different dynamic patterns.

1. Introduction

Strategic delegation is a relevant topic in both oligopoly theory and industrial organisation, and several papers have contributed to clarify questions related to the differences between the behaviour of profit-maximising firms and managerial firms (e.g., [14]). In the former kind of firms, ownership and management coincide, and consequently the main aim they pursue is profit maximisation. In the latter, ownership and management are separate and managers may be driven by incentive schemes that only partially take into account profit and the other objectives of the firms, such as output, revenues, relative performance evaluation, and market share [3, 510]. In addition to the above-mentioned theoretical papers, there also exist some empirical works that stress the importance of market share delegation contracts in actual economies [11, 12].

The present paper studies a nonlinear duopoly game with price competition and market share delegation and extends the study carried out by Fanti et al. [13] to the case of complementary or independent products. To this end, by following an established literature led by Bischi et al. [14], we assume that players have limited information and analyse how a managerial incentive scheme based on market share affects the local and global dynamics of a two-dimensional discrete time system. The paper stresses the differences with the analysis carried out by Fanti et al. [13] on the substitutability between products in the case with managerial firms and market share contracts and compares the results achieved.

The rest of the paper is organised as follows. Section 2 describes the model. Section 3 shows some preliminary global properties of the two-dimensional dynamic system (feasible set). Section 4 studies the fixed points of the system, the invariant sets, and local stability. Section 5 is concerned with multistability and shows that synchronisation may arise when managers receive the same bonus. It also stresses the differences with Fanti et al. [13] and takes into account the asymmetric case in which bonuses are not equally weighted in the managers’ objective function. Section 6 outlines the conclusions.

2. The Model

Consider a duopoly game with price competition, horizontal differentiation, and market share delegation contracts (see [13] for details). Market demands of goods and are, respectively, given bywhere is the degree of differentiation of (complementary) products, while and are quantity and price per unit of good of firm ().

Both the firms have the same marginal cost and hire a manager, who receives a bonus based on market share (, ), where is total supply. The objective function of manager iswhere are profits and is the (constant) delegation variable of player . Hence, by using (1), (2) becomesfrom which we get the following marginal bonus:

We now assume a discrete time () dynamic setting, where each player has limited information, as in Bischi et al. [14], and uses the following behavioural rule to set the price for the subsequent period:where . We want to describe the qualitative and quantitative long-term price dynamics when products are complementary or independent, that is, , and underline the similarities and differences with the case of substitutability investigated in Fanti et al. [13].

Assume , , , and . By using (4) and (5), the two-dimensional discrete time dynamic system is as follows:

3. The Feasible Set

It is of importance to observe that system (6) is economically meaningful only whether, at any time , the two state variables and are not negative; that is, they belong to , where is the convex polygon with vertices , , , and .

Let , , denote the th iterate of system for a given initial condition . Then, the sequence is called trajectory. A trajectory is said to be feasible for if for all ; otherwise, it is unfeasible. The set whose points generate feasible trajectories is called feasible set. A point belonging to the feasible set is called feasible point.

The feasible set of system is depicted in white in Figures 1(a) and 1(b) for two different parameter constellations, while the unfeasible points belonging to are depicted in grey. The following evidence can be immediately observed: similarly to the substitutability case, (i) set is nonempty such that and (ii) set may have a simple structure (as in Figure 1(a)) or a complex structure (as in Figure 1(b)). The first evidence can be easily demonstrated by considering that the origin is a feasible point and that there exists a small enough such that is not a feasible point.

With regard to the study of the structure of the feasible set, a numerical procedure based on the study of the properties of the critical curves can be used (see, e.g., [1517]). By taking into account the results proved in Fanti et al. [13], it is easy to verify that is of type since can be subdivided into regions whose points have , , or preimages, and the boundaries of such regions are characterised by the existence of at least two coincident preimages.

We denote the critical curve of rank- by (it represents the locus of points that have two or more coincident preimages) and the curve of merging preimages by ; that is, the set of points such that , whereis the Jacobian matrix of system (see Figures 1(c) and 1(d)).

The study of the structure of set is of interest from both economic and mathematical perspectives, since the long-term evolution of the economic system becomes path-dependent, and a thorough knowledge of the properties of becomes crucial in order to predict the system’s feasibility.

We now fix all parameter values but . Then, as is shown in Figures 2(a) and 2(b), if , set has a simple structure (connected set), while when , set consists of infinitely many nonconnected sets. This is due to the fact that the curve moves upwards as parameter decreases and consequently a threshold value does exist such that a contact between a critical curve and the boundary of the feasible set occurs. This contact bifurcation causes the change of from a connected set to a nonconnected set. In fact, a portion of the unfeasible set enters in a region characterised by a high number of preimages so that new components of the unfeasible set suddenly appear after the contact (in Figure 2(c), the feasible set is depicted immediately after the contact bifurcation creating grey holes inside the white region). The complexity of the structure of the feasible set increases if decreases and the grey area increases too (i.e., the set of initial conditions generating unfeasible trajectories); however, it can be also observed that if decreases further, a final bifurcation occurs. In fact, as crosses a value , almost all trajectories become unfeasible (see Figure 2(d)).

Notice that in the simulations presented in Figure 2 we have assumed . However, a similar behaviour holds also when : in this case, the contact bifurcation between the critical set and the boundary of the feasible set occurs at two points that are symmetric with respect to the main diagonal, so that the resulting feasible set is symmetric too (see Figures 1(a) and 1(b)). The previous arguments show that the bifurcations concerning the structure of the feasible set is strictly related to the value of the two key parameters and , which represent the degree of horizontal product differentiation and the level of market share bonuses. The following results can be proved.

Proposition 1. Let be the dynamic system given by (6).(i)If , then .(ii)If , , then .

Proof. (i) If , then . Observe first that it must be for being well defined and that , and hence we consider initial conditions such that and at least one component of is strictly positive. Taking into account system (6), it can be observed that and that and ; if , then diverges; that is, produces an unfeasible trajectory.
(ii) This statement can be proved simply considering the limits and for any given initial point , .

According to Proposition 1, if is high enough or products tend to be complements ( is low enough), the feasible set is consists of only the origin. This result confirms the one obtained in Fanti et al. [13] for the substitutability case; that is, economic meaningful dynamics are produced only when the degree of complementarity or substitutability between products is not too high. More precisely, in the case under investigation, economically meaningful long-term dynamics can be produced only for and   , thus confirming the numerical experiments previously presented.

By taking into account the above-mentioned arguments, in what follows we will focus on the study of the dynamics produced by by assuming that is sufficiently small and is sufficiently high.

4. Fixed Points, Invariant Sets, and Local Stability

Let be the dynamic system given by (6) and consider a feasible initial condition. We now recall the results proved in Fanti et al. [13] concerning fixed points and other invariant sets of for . It can be verified that they still hold also when . We here present a sketch of the proof and we refer to Fanti et al. [13] for a further discussion.

Remark 2. Let be given by (6). Then, one has the following.(i) and are invariant sets. The dynamics of on such sets are governed by and and they can be complex; in any case, and are repellor.(ii)If , then also is an invariant set. The dynamics of on such a set are governed by / and they can be complex; furthermore, can be an attracting set.(iii)The origin is a fixed point for all parameter values; it can be a stable node, an unstable node, or a saddle point. Up to two more fixed points on and may be owned. They are given by and and can be unstable nodes or saddle points.(iv)If , then admits a unique interior fixed point for all , where . can be a stable node, an unstable node, or a saddle point.

Proof. Consider the system given by (6). (i) and ; that is, and are invariant, and consequently the dynamics of on such lines are governed by the two one-dimensional maps and . As both and are unimodal for suitable parameter values (as proved in [13]), complex dynamics can be produced. and are repellor as the eigenvalue of and associated with the direction orthogonal to each semiaxis is greater than one for all parameter values.(ii)Assume ; then, , and hence is invariant and the dynamics of system on are governed by . Given the properties of studied in Fanti et al. [13], nonmonotonicity can occur for suitable parameter values and complex dynamics may emerge. Finally, can be an attracting set as the eigenvalue of associated with the eigenvector orthogonal to the diagonal may be less than one in modulus (see again Fanti et al. [13]).(iii)Since , is a fixed point; furthermore, while considering , it can be observed that can be a stable node, an unstable node, or a saddle point. By solving and and following Fanti et al. [13], it can be easily verified that up to two positive solutions exist, namely, and ; such fixed points cannot be stable nodes as and are repellor.(iv)Assume ; then, by solving equation it can be verified that it admits a unique positive feasible solution iff (see Fanti et al. [13] for more details); as each eigenvalue of can be greater or less than one in modulus, then can be a stable node, an unstable node, or a saddle point.

The question of the existence of an interior fixed point in the general case (i.e., with different market share bonuses) cannot be addressed analytically. However, it will be discussed later in the paper by using numerical techniques. By taking into account parts (i) and (iii) in Remark 2, in what follows we will focus on the study of the dynamics produced by for a feasible initial condition belonging to the interior of , thus focusing on economically meaningful initial states.

5. Synchronisation and Multistability

In order to study the evolution of system when products are independent or complementary and compare this case with that of substitutable goods, we concentrate on the particular case of identical market share bonuses; that is, . As a consequence, system in (6) takes the symmetric form given by

Since map is symmetric, that is, it remains the same when the players are exchanged, then either an invariant set of the map is symmetric with respect to or its symmetric set is invariant. By considering part (iv) in Remark 2, the local stability analysis of the unique interior fixed point can be carried out by considering the Jacobian matrix associated with system given by

LetThen, the Jacobian matrix evaluated at a point on the diagonal is of the kind so that the eigenvalues of are both real and given bywhile the corresponding eigenvectors are, respectively, given by and .

The eigenvalues evaluated at the fixed point are, respectively, Thus, can be attracting for suitable values of parameters such that both and belong to the set .

Different from the case in which products are substitutes, the following Proposition can easily be verified.

Proposition 3. If , then ; if , then .

Proof. If , then   , and consequently ; if , then , and hence .

From Proposition 3 it follows that if , then the interior fixed point is a stable or an unstable node. Furthermore, conditions or are sufficient for to be an unstable node.

The following condition for the local stability of (which holds if products are substitutes) applies also to the case and it can be recalled below (see Fanti et al. [13] for the proof).

Proposition 4. Let system be given by (9). Then a does exist such that is locally asymptotically stable , given the other parameter values.

By taking into account Propositions 3 and 4, a sufficient condition for to be locally stable for is . In this case, given the geometric properties of map described in Fanti et al. [13], the initial conditions belonging to converge to with independent products. In addition, the trajectories starting from initial conditions close to it, that is, , with , also converge to . This behaviour occurs as long as , while, as decreases, the fixed point loses its stability firstly along the diagonal, thus giving rise to a different scenario compared to that presented in Fanti et al. [13] for the substitutability case.

Definition 5. A feasible trajectory , , is called synchronised trajectory. A feasible trajectory starting from , that is, with , is synchronised if as .

With regards to the dynamics of synchronised trajectories, we first recall the result proved in Proposition 1.

An attractor located on the invariant set exists for if products are not too complementary ( is not too low) and the market share bonus is not too large (see Figures 3(a) and 3(c)). This fact can also be confirmed by considering the following properties of map : , , , . As a consequence, there exists a unique such that and a unique maximum point such that is the maximum value of in . This implies that is unimodal in . By considering that increases when decreases and if , then a does exist such that if (see Figure 3(b)). On the other hand, by considering the role of parameter , a cascade of period doubling bifurcations is observed when decreases (see Figure 3(c)).

By taking into account the previous results and looking at the one-dimensional bifurcation diagrams in Figures 3(a) and 3(c), it can be observed that synchronised trajectories converge to the unique interior fixed point if is close to (the manager bonus is close to its upper limit). In addition, similar to what occurs with the logistic map, cycles can emerge due to period doubling bifurcation of when decreases (i.e., the degree of complementarity between products increases). This evidence is also confirmed when products are substitutes, thus proving that complexity in synchronised trajectories arises when moving away from the hypothesis of independent products.

Let us consider now a duopoly with identical players that start from different feasible initial conditions and let be an attracting set of . If for , then by considering (13) and Proposition 3 the following proposition holds.

Proposition 6. Let be an attracting fixed point of for . Then, is an attracting fixed point of   and such that is an attracting fixed point of  . At , the fixed point loses stability along the diagonal.

Proof. Let and assume that is an attracting fixed point of ; that is, . Since , then is an attracting fixed point of . As both and are continuous with respect to and , then such that and , and is an attracting fixed point of  . Finally, since and they are both increasing with respect to , then as crosses the eigenvalue must cross ; that is, loses its stability along the diagonal.

According to Proposition 6, if synchronised trajectories converge to for , then trajectories starting from feasible initial conditions close to it, with , are synchronised in the long term as long as . If decreases further, the fixed point loses stability firstly along the diagonal. This contrasts with the result obtained in Fanti et al. [13] where products are substitutes. In fact, if passes from zero to positive values, the fixed point first loses transverse stability and consequently the trajectories are not synchronised. Therefore, synchronisation in this model is strictly related to the assumption of complementarity between products.

If consists of a -cycle, then, similarly to what happens for the fixed point, several numerical computations show that if is a -cycle for , then the -cycle loses stability firstly along the diagonal when decreases, so that synchronisation may occur. Different from the case of substitutability, this evidence confirms that when products are complements, players may coordinate their behaviour towards a situation in which prices are equal (and the market is equally shared). In our analysis it is also stressed that the emergence of synchronisation with negative values of also confirms the result obtained in Fanti et al. [18] with profit-maximising firms.

Consider now a more complex situation; that is, is a chaotic attractor on . In order to study its transverse stability, it is possible to use the procedure proposed in Bischi et al. [14], Bischi and Gardini [19], and Bignami and Agliari [20]. Recall that the transverse Lyapunov exponent is defined as follows:where and is a generic trajectory generated by .

If belongs to a generic aperiodic trajectory embedded within the chaotic set , then is the natural transverse Lyapunov exponent , where natural indicates that the exponent is computed for a typical trajectory taken in the chaotic attractor . Since infinitely many cycles (all unstable along the diagonal) are embedded inside the chaotic attractor , a spectrum of transverse Lyapunov exponents can be defined and the natural transverse Lyapunov exponent represents a sort of weighted balance between the transversely repelling and transversely attracting cycles. If all cycles embedded in are transversely stable, that is , then is asymptotically stable in the Lyapunov sense for the two-dimensional map . Nevertheless, it may occur that some cycles embedded in the chaotic set become transversely unstable; that is, , while . In such a case, is not stable in the Lyapunov sense but it is a stable attractor in the Milnor sense. If a Milnor attractor of exists, then some transversely repelling trajectories can be embedded in a chaotic set which is attracting only on average. In addition, such transversely repelling trajectories can be reinjected toward so that their behaviour is characterised by some bursts far from the diagonal, before synchronization or convergence towards a different attractor. This situation is called on-off intermittency.

In order to investigate the existence of a Milnor attractor , we numerically estimate the natural transverse Lyapunov exponent , represented with respect to in Figure 4(a) for a fixed negative value of . It is possible to observe that it can take negative values. As an example, we consider at which while and the one-dimensional map exhibits a -piece chaotic attractor. is an attractor of system belonging to the diagonal (see Figure 4(b)), but a trajectory starting from an initial condition that does not belong to the diagonal has a long transient before converging to (see Figure 4(c)). In fact, by considering the difference for any we can observe that the transient part of the trajectory is characterised by several bursts away from . The typical on-off intermittency phenomenon occurs. The whole trajectory starting from and is shown in Figure 4(d).

The study of the geometrical properties of the critical lines may be used to estimate the maximum amplitude of the bursts by obtaining the boundary of a compact trapping region of the phase plane in which the on-off intermittency phenomena are confined. Following Mira et al. [21], we obtain the boundary of the absorbing area in Figure 4(e) for the case presented in Figure 4(d). Observe that such a region contains the whole trajectory presented in Figure 4(d). However, not all trajectories are synchronised as also admits a coexisting attractor, that is, a -period cycle whose basin is depicted in orange in Figure 4(f).

If admits an attractor and there exist feasible trajectories starting from interior points that are not synchronised, then the question of multistability has to be considered. In fact, several attractors may coexist (each of which with its own basin of attraction) so that the selected long-term state becomes path dependent, as in the situation shown in Figure 4(f). In this case, the structure of the basins of different attractors becomes crucial to predict the long-term outcome of the economic system. In Figure 5(a), the unique Nash equilibrium is locally stable, as the market share bonus is close to its upper limit. It is also globally stable, in the sense that it attracts all feasible trajectories taken into the interior of the feasible set (that represents economic meaningful initial conditions).

If we compute , then it is possible to observe that increases as decreases, and as . As a consequence, in order to obtain the convergence to the unique Nash equilibrium, must be set at higher levels as the degree of horizontal product differentiation decreases (i.e., products tend to be more complementary). Furthermore, if products are complements, then crosses as decreases and a flip bifurcation occurs along the invariant set ; that is, a 2-period cycle appears close to the fixed point and it is stable along the diagonal. By taking into account the result proved in Proposition 3, when this bifurcation occurs, is still smaller than in modulus and consequently (immediately after the first flip bifurcation) the -period cycle attracts all interior feasible trajectories. However, if is still decreased, a period doubling bifurcation cascade occurs along the diagonal, so that more complex bounded attractors (such as periodic cycles) may exist on around the unstable Nash equilibrium. As a consequence, the long-term synchronised dynamics may be characterised by bounded periodic (or even aperiodic) oscillations around the Nash equilibrium. If the attractor is transversely unstable, the situation may become very complicated, as it is shown in Figure 5(b) where a -period cycle attracts all synchronised trajectories, while two attractors coexist out of the diagonal: a -period cycle whose basin is depicted in orange and a -period cycle whose basin is depicted in yellow; note that the periodic points are in symmetric position with respect to the diagonal. As the parameter decreases, a further flip bifurcation occurs and a -period cycle is created on the diagonal (see Figure 5(c)); furthermore, the -period cycle existing out of the diagonal becomes a stable focus and then undergoes a Neimark-Sacker bifurcation at which it becomes a -cyclic attractor formed by a -piece quasi-periodic attractor (green basin) coexisting with a -period cycle (orange basin), while synchronisation is avoided. This is how the situation presented in Figure 4(f) is approached: a final bifurcation that causes the transition to more complex basin boundaries occurs. Consequently to the final state sensitivity it is impossible to predict the long-term outcomes of the economy.

Finally, we consider the case in which products are independent from each other and each manager behaves as a monopolist (). When a flip bifurcation along the diagonal creates a -period cycle, it can be observed that a -period cycle is simultaneously created out of the diagonal as the eigenvalues of cycles embedded into the diagonal are identical. As a consequence, any period doubling bifurcation along is associated with a period doubling bifurcation orthogonal to . A similar phenomenon of multistability is presented in Bischi and Kopel [22]. This case is shown in Figure 5(d): the green points represent initial conditions converging to a -period cycle on the diagonal while the yellow points represent initial conditions converging to a -period cycle out of the diagonal. This scenario occurs when the -period cycle along the diagonal undergoes the second period doubling bifurcation: two stable -period cycles are created, one along the diagonal (red points) and one with periodic points symmetric to it (black points); these two stable cycles coexist with the -period cycle previously created out of the diagonal (white points). Observe that an economy starting far away from the diagonal may become synchronised, as the basin of attraction on the diagonal is comprised of several nonconnected sets. This result is relevant from an economic point of view. In fact, it implies coordination even though the manager hired in each firm behaves as a monopolist in his own market.

5.1. The Asymmetric Case

We now consider the case in which managers’ bonuses are evaluated differently; that is, . Obviously, in this case is no longer invariant (i.e., if the firms start from the same initial feasible condition , they will behave differently in the long term), so that synchronisation cannot occur. However, similar to the case in which products are substitutes, multistability still emerges. Assume and , where .

With regard to the existence of the Nash equilibrium, we recall that Proposition 1 states a necessary condition; that is, parameter should not be too close to its extreme value and, in addition, and should not be too high. A Nash equilibrium, if it exists, is given by a point such that . As a consequence, an interior fixed point can be obtained by considering the intersection points of the two curves and in the phase plane. Of course, if these curves intersect in a point , then it is a Nash equilibrium for .

By considering the analytical properties of and , numerical simulations allow us to conclude that the main results of Fanti et al. [13] are confirmed also when products are complements or independent. These results are collected in the following list.(i)If the Nash equilibrium exists, then it is unique such that the equilibrium price is higher for the variety associated with a lower market share bonus (see Figure 6(a)).(ii)If the Nash equilibrium is locally stable in the symmetric case, then it is also locally stable in the asymmetric case if and only if the perturbation on is small enough (i.e., is close to zero).(iii)In the case of heterogeneity, the Nash equilibrium loses stability via a flip bifurcation at which it becomes a saddle point and a stable -period cycle appears close to (see Figure 6(b)).(iv)Synchronised trajectories do not emerge and synchronisation cannot occur, while multistability still emerges (compare Figures 6(c) to 4(f)).

To better describe point (iv) above, we recall that a situation in which synchronisation may occur is depicted in Figure 4(f): the symmetric system admits a complex attractor on the diagonal that coexists with a -period cycle out of the diagonal. If we consider a slight difference between weights attached to market share bonuses, that is, is small enough, we obtain the situation depicted in Figure 6(c): the attractor on the diagonal disappears while a complex attractor coexists with the -period cycle previously found.

Similarly, observe that, with independent products and homogeneous managers, three coexisting attractors are owned (see Figure 5(d)). This situation drastically changes if . In fact, as shown in Figure 6(d), a small perturbation on causes the disappearance of the attracting -period cycle symmetric to the diagonal, while a -period cycle close to the diagonal persists together with the -period cycle existing out of the diagonal. Obviously, due to the heterogeneity between the weights , the shape of the boundaries of the coexisting attractors is no longer symmetric with respect to the diagonal.

Although the managers’ behaviours are no longer coordinated, it is interesting to stress that, different from the case of substitutability between products, the structure of the basin of attraction seems to become simpler than under homogeneous delegation contracts.

6. Conclusions

This paper has studied the mathematical properties of a nonlinear duopoly game with price competition and market share delegation contracts. The main aim was to extend the analysis carried out by Fanti et al. [13] to the case in which products are complementary or independent. The most important result is that the interaction between the degree of complementarity and the delegation variable (which affects managerial bonuses) may produce synchronisation in the long term. This result does not emerge when products are substitutes.

From an economic point of view, synchronisation is relevant because it implies coordination between players. Then, in a model with managerial firms and market share delegation contracts, coordination can (resp., cannot) hold when products are complements (resp., substitutes). In addition, we have also shown that multiple attractors may exist so that initial conditions matter.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.