- Research
- Open Access

# On the structure and the qualitative behavior of an economic model

- Hamdy A El-Metwally
^{1, 2}Email author

**2013**:169

https://doi.org/10.1186/1687-1847-2013-169

© El-Metwally; licensee Springer 2013

**Received:**5 January 2013**Accepted:**23 May 2013**Published:**17 June 2013

## Abstract

In this paper, we build an economic model of a non-linear system of difference equations and present a qualitative study for the obtained model, where a mathematical model of a bounded rationality multiple game with an exponential demand function will be introduced, and then we obtain the equilibrium points of the model and classify if they are locally stable or not. Also, we investigate the boundedness and global convergence of solutions for the obtained system.

## Keywords

- difference equations
- economic model
- boundedness
- global stability

## 1 Introduction

In the recent years, the study of the bounded rationality duopoly game has attracted a very high attention. In 1998 Bischi and Naimzada [1] introduced the bounded rationality duopoly game as a modification of the original model work of Cournot [2], where they proposed the duopoly game which describes a market with two players producing homogeneous goods, updating their production strategies in order to maximize their profits. Each player thinks with bounded rationality, adjusts his output according to the expected marginal profit, therefore the decision of each player depends on local information about his output. Also, they have studied the bounded rationality duopoly game with a simple case when the demand function and the cost function are linear [1]. Recently, many works of bounded rationality duopoly game have been studied [1, 3–11]. Agiza *et al.* [5] studied the complex dynamics in a bounded rationality duopoly game with a nonlinear demand function and a linear cost function. The asymptotic behavior of the economic model was investigated by El-Metwally [12].

The main aim for this paper is to analyze the dynamics of a nonlinear discrete-time map generated by a bounded rationality duopoly game with an exponential demand function. In Section 2 we present and describe a bounded rationality duopoly game with an exponential demand function. The existence of the equilibrium points of the obtained model and the studying of their local stability are given in Section 3. The boundedness of the solutions is studied in Section 4. Finally, Section 5 is concerned with the global attractivity of the solutions for the obtained system.

where *f* and *g* are continuous functions on a subset $S\subset {R}^{2}$.

**Definition** System (∗) is competitive if $f(x;y)$ is non-decreasing in *x* and non-increasing in *y*, and $g(x;y)$ is non-increasing in *x* and non-decreasing in *y*. If both *f* and *g* are nondecreasing in *x* and *y*, System (∗) is *cooperative*. *Competitive* and *cooperative* maps are defined similarly. *Strongly competitive* systems of difference equations or *strongly competitive* maps are those for which the functions *f* and *g* are coordinate-wise strictly monotone.

**Theorem A** [13]

*Let* $T=(f,g)$ *be a monotone map on a closed and bounded rectangular region* $S\subset {R}^{2}$. *Suppose that* *T* *has a unique fixed point* $E=(\overline{x},\overline{y})$ *in* *S*. *Then* *E* *is a global attractor of* *T* *on* *S*.

## 2 The model

*i*, the profit resulting from the above Cournot game is given by

*i*has the form

where ${\nu}_{i}$ is a positive parameter which represents the relative speed of adjustment. Bischi and Naimazada studied the dynamical behavior of the bounded duopoly game with a linear demand function [14].

*a*is a parameter of maximum price in the market. The exponential demand function has the good properties of non-zero or non-negative prices and finite prices when the total quantity in the market

*Q*tends to zero. So, we think that the exponential demand function is a good alternative to the linear demand function and makes the game more realistic. Also, we consider the cost function is linear and is given by

*i*th firm. Thus the profit of the

*i*th firm is given by

*i*th firm is

where ${x}_{n}={q}_{1}(t)$, ${y}_{n}={q}_{2}(t)$, ${\alpha}_{i}={\nu}_{i}{c}_{i}\in (0,\mathrm{\infty})$, and ${\beta}_{i}={\nu}_{i}a\in (0,\mathrm{\infty})$, $i=1,2$.

## 3 Local stability of the equilibrium points

In this section, we examine the existence of non-negative equilibrium points of System (9) and then give a powerful criterion for the asymptotic stability of the obtained points.

**Proposition 1** (1) *When* ${\alpha}_{1}\ge {\beta}_{1}$ *and* ${\alpha}_{2}\ge {\beta}_{2}$, *System* (9) *has a unique equilibrium point* ${E}_{0}=(0,0)$.

(2) *When* ${\alpha}_{1}<{\beta}_{1}$ *and* ${\alpha}_{2}<{\beta}_{2}$, *System* (9) *has two equilibrium points* ${E}_{1}=({x}^{\ast},0)$*and* ${E}_{2}=(0,{y}^{\ast})$, *where* ${x}^{\ast}$ *and* ${y}^{\ast}$ *satisfy* ${\alpha}_{1}={\beta}_{1}(1-{x}^{\ast}){e}^{-{x}^{\ast}}$ *and* ${\alpha}_{2}={\beta}_{2}(1-{y}^{\ast}){e}^{-{y}^{\ast}}$, *respectively*.

(3) *When* ${\alpha}_{1}<{\beta}_{1}{e}^{\frac{{\alpha}_{2}{\beta}_{1}}{{\alpha}_{1}{\beta}_{2}}-1}$, *System* (9) *has a unique positive equilibrium point* ${E}_{3}=({u}^{\ast},{v}^{\ast})$, *where* ${u}^{\ast}$ *satisfies* ${\alpha}_{1}={\rho}_{1}(1-{u}^{\ast}){e}^{-{\gamma}_{1}{u}^{\ast}}$, ${v}^{\ast}=\frac{{\alpha}_{2}{\beta}_{1}}{{\alpha}_{1}{\beta}_{2}}{u}^{\ast}-\frac{{\alpha}_{2}{\beta}_{1}}{{\alpha}_{1}{\beta}_{2}}+1$, ${\gamma}_{1}=1+\frac{{\alpha}_{2}{\beta}_{1}}{{\alpha}_{1}{\beta}_{2}}$ *and* ${\rho}_{1}={\beta}_{1}{e}^{{\gamma}_{1}-2}$.

*Proof*Observe that the equilibrium points of System (9) are given by the relations

Therefore $z=2$ is the unique critical point of *g* and $g(2)$ is the absolute maximum of *g* on $(0,\mathrm{\infty})$. Now we consider the following two cases.

(1) If ${\alpha}_{1}\ge {\beta}_{1}$, then $g(z)\ge 0$ for all $z>0$ and so $g(z)$ has no positive roots. Similarly, it is easy to show that the function $w(z)={\alpha}_{2}-{\beta}_{2}(1-z){e}^{-z}$ has no positive roots provided that ${\alpha}_{2}\ge {\beta}_{2}$. Thus System (9) has the unique equilibrium point $(0,0)$.

(2) If ${\alpha}_{1}<{\beta}_{1}$, then $g(0)<0$ and since ${g}^{\prime}(z)>0$ for all $z\in (0,2)$, $g(z)$ has a unique positive root. Since $g(1)={\alpha}_{1}>0$, the positive root of $g(z)$ lies in $(0,1)$. So, the equation ${\alpha}_{1}={\beta}_{1}(1-{x}^{\ast}){e}^{-{x}^{\ast}}$ has a unique solution ${x}^{\ast}\in (0,1)$. Similarly, it is easy to show that the equation ${\alpha}_{2}={\beta}_{2}(1-{y}^{\ast}){e}^{-{y}^{\ast}}$ has a unique solution ${y}^{\ast}\in (0,1)$ provided that ${\alpha}_{2}<{\beta}_{2}$. Therefore System (9) has the equilibrium points $({x}^{\ast},0)$ and $(0,{y}^{\ast})$ where ${x}^{\ast}$ and ${y}^{\ast}$ satisfy ${\alpha}_{1}={\beta}_{1}(1-{x}^{\ast}){e}^{-{x}^{\ast}}$ and ${\alpha}_{2}={\beta}_{2}(1-{y}^{\ast}){e}^{-{y}^{\ast}}$, respectively.

which gives that ${v}^{\ast}=\sigma {u}^{\ast}-\sigma +1$, where $\sigma =\frac{{\alpha}_{2}{\beta}_{1}}{{\alpha}_{1}{\beta}_{2}}$. Now set $h(\mu )={\alpha}_{1}-{\rho}_{1}(1-\mu ){e}^{-{\gamma}_{1}\mu}$, where ${\sigma}_{1}=1+\frac{{\alpha}_{2}{\beta}_{1}}{{\alpha}_{1}{\beta}_{2}}$ and ${\rho}_{1}={\beta}_{1}{e}^{{\sigma}_{1}-2}$. Similarly to above, one can easily see that *h* has no positive roots if ${\alpha}_{1}\ge {\rho}_{1}$ and it has a unique positive root which lies in $(0,1)$ whenever ${\alpha}_{1}<{\rho}_{1}$. Therefore System (9) has the unique positive equilibrium point $({u}^{\ast},{v}^{\ast})$ where ${u}^{\ast}$ satisfies ${\alpha}_{1}={\rho}_{1}(1-{u}^{\ast}){e}^{-{\sigma}_{1}u\ast}$ and ${v}^{\ast}=\frac{{\alpha}_{2}{\beta}_{1}}{{\alpha}_{1}{\beta}_{2}}{u}^{\ast}-\frac{{\alpha}_{2}{\beta}_{1}}{{\alpha}_{1}{\beta}_{2}}+1$. □

Recall that ${E}_{0}$, ${E}_{1}$ and ${E}_{2}$ are called boundary equilibrium points of System (9) and ${E}_{3}$ is called a Nash equilibrium point of System (9). See [3].

**Proposition 2** *The equilibrium point* ${E}_{0}$ *of System* (9) *is locally asymptotically stable if* ${\beta}_{i}<{\alpha}_{i}<2+{\beta}_{i}$ *for* $i=1,2$ *and it is unstable elsewhere*.

*Proof*The Jacobian matrix of System (9) about the equilibrium point ${E}_{0}(0,0)$ has the form

It is well known that the equilibrium point ${E}_{0}$ of System (9) is locally asymptotically stable if both $|{\lambda}_{1}|<1$ and $|{\lambda}_{2}|<1$ are satisfied if ${\beta}_{1}<{\alpha}_{1}<2+{\beta}_{1}$ and ${\beta}_{2}<{\alpha}_{2}<2+{\beta}_{2}$. The proof is completed. □

**Proposition 3** *The equilibrium points* ${E}_{1}$ *and* ${E}_{2}$ *of System* (9) *are saddle points*.

*Proof*The Jacobian matrix of System (9) about the equilibrium point ${E}_{1}({x}^{\ast},0)$ has the form

Thus it follows that the equilibrium point ${E}_{1}({x}^{\ast},0)$ of System (9) is a saddle point. Similarly, one can easily prove that the equilibrium point ${E}_{2}(0,{y}^{\ast})$ of System (9) is also a saddle point. □

**Proposition 4** *The Nash equilibrium point* ${E}_{3}$ *of System* (9) *is asymptotically stable if* $2<\frac{{\alpha}_{1}{u}^{\ast}(2-{u}^{\ast})}{1-{u}^{\ast}}+\frac{{\alpha}_{2}{v}^{\ast}(2-{v}^{\ast})}{1-{v}^{\ast}}$ $<1+\frac{{\alpha}_{1}{\alpha}_{2}{u}^{\ast}{v}^{\ast}(3-u-v)}{(1-{u}^{\ast})(1-{v}^{\ast})}$ *and it is unstable elsewhere*.

*Proof*The Jacobian matrix of System (9) about the equilibrium point ${E}_{3}({u}^{\ast},{v}^{\ast})$ is

*i.e.*, the following condition is satisfied:

This completes the proof. □

## 4 Boundedness and invariant

In this section we concern ourselves with the boundedness character of the solutions for System (9). Under appropriate conditions, we give some bounded results related to System (9).

**Theorem 5** *Assume that* ${\alpha}_{i}+\frac{{\beta}_{i}}{{e}^{2}}<1$, $i=1,2$. *Then every solution* ${\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}$ *of System* (9), *with* ${x}_{0}>0$ *and* ${y}_{0}>0$, *satisfies that* ${x}_{n}>0$ *and* ${y}_{n}>0$ *for all* $n>0$.

*Proof*Let ${H}_{i}(x,y)$, $i=1,2$, be continuous functions defined by

*a*and

*b*be arbitrary positive numbers and consider the domain

Using elementary differential calculus, we obtain that the absolute minimum of each one of the above functions is $1-{\alpha}_{i}-\frac{{\beta}_{i}}{{e}^{2}}$. Therefore ${H}_{i}(x,y)\ge 1-{\alpha}_{i}-\frac{{\beta}_{i}}{{e}^{2}}>0$ for all $(x,y)\in D$. Since *a* and *b* are arbitrary positive numbers, we can conclude that ${H}_{i}(x,y)>0$ for $i=1,2$ and for all $(x,y)\in {(0,\mathrm{\infty})}^{2}$. □

**Theorem 6** *Let* ${\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}$ *be a solution of System* (9) *with* $({x}_{{n}_{0}},{y}_{{n}_{0}})\in {(0,1]}^{2}$ *for some* ${n}_{0}\ge 0$ *and assume*, *for* $i=1,2$, *that one of the following statements is true*:

(i) ${\beta}_{i}\le e(1-{\alpha}_{i})$.

(ii) $e(1-{\alpha}_{i})<{\beta}_{i}\le e$.

(iii) ${(\sqrt{{\beta}_{i}}-1)}^{2}\le {\alpha}_{i}$.

*Then* $({x}_{n},{y}_{n})\in {(0,1]}^{2}$ *for all* $n\ge {n}_{0}$.

*Proof*Let ${n}_{0}\ge 0$ be such that ${x}_{{n}_{0}}\in (0,1]$. It follows from System (9) that

Then ${w}^{\prime}(x)\ge {w}^{\prime}(1)=1-{\alpha}_{1}-\frac{{\beta}_{1}}{e}$. If (i) holds, then ${w}^{\prime}(1)\ge 0$ and hence $w(x)$ is increasing on $(0,1]$. Therefore ${x}_{{n}_{0}+1}\le w(1)<1$. If (ii) holds, then (14) yields ${x}_{{n}_{0}+1}\le \frac{{\beta}_{1}}{e}<1$.

Now suppose that (iii) holds. In this case, it follows from (15) that ${x}_{{n}_{0}+1}\le p({x}_{{n}_{0}})$, where $p(x)=(1-{\alpha}_{1})x+{\beta}_{1}x(1-x)$ for all $x\in (0,1]$. It is not difficult to see that $p({x}_{\ast})$ is the absolute maximum of $p(x)$ on $(0,1]$ where ${x}_{\ast}=\frac{1-{\alpha}_{1}+{\beta}_{1}}{2{\beta}_{1}}$. According to (iii) and since $p({x}_{\ast})=\frac{{(1-{\alpha}_{1}+{\beta}_{1})}^{2}}{4{\beta}_{1}}\le 1$, ${x}_{{n}_{0}+1}\le p({x}_{\ast})\le 1$. That is, in all cases we obtain that whenever ${x}_{{n}_{0}}\le 1$ yields ${x}_{{n}_{0}+1}\le 1$. So it is easy to prove by induction that ${x}_{n}\in (0,1]$ for all $n\ge 1$. The proof of ${y}_{n}$ is similar and so will be omitted. This completes the proof. □

**Theorem 7** *For every solution* ${\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}$ *of System* (9), *the following statements hold*:

(i) ${x}_{n}\le {x}_{{n}_{0}}{(1-{\alpha}_{1})}^{n-{n}_{0}}+\frac{{\beta}_{1}}{e{\alpha}_{1}}(1-{(1-{\alpha}_{1})}^{n-{n}_{0}})$, $n\ge {n}_{0}\ge 0$.

(ii) ${y}_{n}\le {y}_{{n}_{0}}{(1-{\alpha}_{2})}^{n-{n}_{0}}+\frac{{\beta}_{2}}{e{\alpha}_{2}}(1-{(1-{\alpha}_{2})}^{n-{n}_{0}})$, $n\ge {n}_{0}\ge 0$.

*Proof*We obtain, for ${n}_{0}\ge 0$, from System (9) that

Then it follows by Theorem 5 and Theorem 6 that Case (i) is true. The proof of Case (ii) is similar and will be omitted. □

The following corollaries are coming immediately from Theorem 7.

**Corollary 8** *Assume that* ${\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}$ *is a positive solution of System* (9) *with* $({x}_{{n}_{0}},{y}_{{n}_{0}})\in (0,\frac{{\beta}_{1}}{{\alpha}_{1}e}]\times (0,\frac{{\beta}_{2}}{{\alpha}_{2}e}]$ *for some* ${n}_{0}\ge 0$. *Then* $({x}_{n},{y}_{n})\in (0,\frac{{\beta}_{1}}{{\alpha}_{1}e}]\times (0,\frac{{\beta}_{2}}{{\alpha}_{2}e}]$ *for all* $n\ge {n}_{0}$.

**Corollary 9**

*Every positive solution*${\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}$

*of System*(9)

*is bounded*.

*Moreover*,

*and*

**Theorem 10** *Assume that* ${\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}$ *is a positive solution of System* (9) *and assume*, *for* $i=1,2$, *that one of the following conditions is true*:

(i) ${\beta}_{i}<{\alpha}_{i}e$.

(ii) $2+{\nu}_{i}^{2}+2{e}^{{\nu}_{i}}-4{\nu}_{i}-{\nu}_{i}{e}^{{\nu}_{i}}>0$, $1-{\alpha}_{i}+{\beta}_{i}{e}^{-{\nu}_{i}}[1-{\nu}_{i}(2{e}^{-{\nu}_{i}}+1)+{\nu}_{i}^{2}{e}^{-{\nu}_{i}}]$ *and* $(1-\alpha ){\nu}_{i}+{\beta}_{i}{\nu}_{i}{e}^{-{\nu}_{i}}-\beta {\nu}_{i}^{2}{e}^{-2{\nu}_{i}}<1$, *where* ${\nu}_{i}=\frac{{\beta}_{i}}{{\alpha}_{i}e}$.

*Then there exists* ${n}_{0}\ge 0$ *such that* $({x}_{n},{y}_{n})\in {(0,1]}^{2}$ *for all* $n\ge {n}_{0}$.

*Proof*The proof of the theorem, when (i) holds, follows by Corollary 9. Now consider that (ii) is true. Then it follows from Corollary 9 that for every constant ${\epsilon}_{1}>0$, there exists ${n}_{0}\ge 0$ such that ${x}_{n}\le \frac{{\beta}_{1}}{{\alpha}_{1}e}+{\epsilon}_{1}={\gamma}_{1}$, $n\ge {n}_{0}$. Set ${\delta}_{1}={e}^{-{\gamma}_{1}}$. Since ${\delta}_{1}\to {e}^{-{\nu}_{1}}$ when ${\epsilon}_{1}\to 0$ and the inequalities in (ii) hold, depending on the continuity in ${\nu}_{1}$ of the left-hand side of each inequality in (ii), one can choose ${\epsilon}_{1}$ so small that

Similarly, one can easily prove that ${y}_{n}\in (0,1]$. This completes the proof. □

**Theorem 11**

*Assume that*${\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}$

*is a positive solution of System*(9).

*If either*

*or*

*where* ${\nu}_{i}=\frac{{\beta}_{i}}{{\alpha}_{i}e}$ *for* $i=1,2$, *then there exists* ${n}_{0}\ge 0$ *such that* $({x}_{n},{y}_{n})\in {(0,1]}^{2}$ *for all* $n\ge {n}_{0}$.

*Proof*Assume that ${\gamma}_{1}$, ${\delta}_{1}$ and the function $K({x}_{n})$ are defined as in the previous proof. Then

which is our desired conclusion for ${x}_{n}$. Similarly, one can accomplish the same conclusion for ${y}_{n}$. So, the proof is complete. □

## 5 Global stability analysis

In this section we are interested in driving conditions under which the equilibrium points of System (9) are attractors of the solutions for System (9).

In the following theorem, we investigate the global attractivity of the equilibrium point $(0,0)$ of System (9).

**Theorem 12** *Assume that* ${\alpha}_{i}\ge {\beta}_{i}$, $i=1,2$. *Then* $(0,0)$ *is a global attractor of all positive solutions of System* (9).

*Proof*Let ${\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}$ be a solution of System (1). It follows from System (1) that

Then there exist $x\ge 0$ and $y\ge 0$such that ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$ and ${lim}_{n\to \mathrm{\infty}}{y}_{n}=y$. Since the only possible values of $(x,y)$ in the present case are $(0,0)$, ${lim}_{n\to \mathrm{\infty}}{x}_{n}=0$ and ${lim}_{n\to \mathrm{\infty}}{y}_{n}=0$. This completes the proof. □

In the following theorems, we investigate the global attractivity of the positive equilibrium point $(\overline{x};\overline{y})$ of System (9), where $\overline{x}$ and $\overline{y}$ are given by ${\alpha}_{1}={\beta}_{1}(1-\overline{x}){e}^{-(\overline{x}+\overline{y})}$ and ${\alpha}_{2}={\beta}_{2}(1-\overline{y}){e}^{-(\overline{x}+\overline{y})}$, respectively.

**Theorem 13** *Assume that* ${\alpha}_{i}+{\beta}_{i}{e}^{-2}<1$, $i=1,2$. *Then the unique positive equilibrium point* $(\overline{x};\overline{y})$ *of System* (9) *is a global attractor of all positive solutions of System* (9).

*Proof*Let ${\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}$ be a solution of System (9) and let ${x}_{n}\le \overline{x}$ (the case whenever ${x}_{n}\ge \overline{x}$ is similar and it will be left to the reader). Since ${x}_{n}\le \overline{x}$, then $h({x}_{n})\le 0$, where $h({x}_{n})={\alpha}_{1}-{\beta}_{1}(1-{x}_{n}){e}^{-({x}_{n}+{y}_{n})}$. Thus ${\alpha}_{1}\le {\beta}_{1}(1-{x}_{n}){e}^{-({x}_{n}+{y}_{n})}$. Therefore we obtain from System (9) that

Then, again, the sequence ${\{{y}_{n}\}}_{n=0}^{\mathrm{\infty}}$ is increasing, and since it was shown that it is bounded above, then it converges to the unique positive equilibrium point $\overline{y}$. Thus ${\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}$ converges to $(\overline{x};\overline{y})$. □

**Theorem 14** *Consider* ${\alpha}_{1}={\alpha}_{2}=\alpha $ *and* ${\beta}_{1}={\beta}_{2}=\beta $ *and assume that* $\beta (\alpha e-\beta )\ge {\alpha}^{2}{e}^{3}$. *Then the unique positive equilibrium point* $(\overline{x};\overline{y})$ *of System* (9) *is a global attractor of all positive solutions of System* (9).

*Proof*Let ${\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}$ be a solution of System (9). It follows from System (9) that

Then the sequence ${\{{x}_{n}\}}_{n=0}^{\mathrm{\infty}}$ is increasing and since it is bounded, then it converges to the unique positive equilibrium point $\overline{x}$. Similarly, it is easy to show that the sequence ${\{{y}_{n}\}}_{n=0}^{\mathrm{\infty}}$ is also convergent to the unique positive equilibrium point $\overline{y}=\overline{x}$: Therefore ${\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}$ converges to $(\overline{x},\overline{y})$ and then the proof is complete. □

**Theorem 15** *Consider* ${\alpha}_{1}={\alpha}_{2}=\alpha $ *and* ${\beta}_{1}={\beta}_{2}=\beta $ *and assume that one of the following conditions holds*:

(I) $5\beta \le 4{e}^{2}(1-\alpha )$.

(II) $\alpha +\beta <1$.

*Then the unique positive equilibrium point* $(\overline{x},\overline{x})$ *of System* (9) *is a global attractor of all positive solutions of System* (9).

*Proof*Rewrite System (9) as follows:

We claim that ${M}_{1}={m}_{1}$; otherwise, for the sake of contradiction, assume that ${M}_{1}>{m}_{1}$ (the case where ${M}_{1}\le {m}_{1}$ is similar and it will be left to the reader). Then $log(1-{M}_{1})-log(1-{m}_{1})>0\Rightarrow log(1-{M}_{1})>log(1-{m}_{1})\Rightarrow {M}_{1}<{m}_{1}$, which is a contradiction.

Now, there are two cases to consider:

Case 1: Suppose that $5\beta \le 4{e}^{2}(1-\alpha )$. Therefore the function $w(x)=\beta {e}^{-2}{x}^{2}-3\beta {e}^{-2}x+\beta {e}^{-2}+1-\alpha $ has no real roots. Thus $\frac{\partial F(x,y)}{\partial x}\ge 0$. Similarly, it is easy to prove that $\frac{\partial G(x,y)}{\partial x}\ge 0$. Then it follows by Theorem A that the equilibrium point $(\overline{x},\overline{y})=(\overline{x},\overline{x})$ of System (9) is a global attractor of all positive solutions of System (9).

Case 2: Suppose that $\alpha +2\beta <1$. Since $0\le x\le 1$, $3\ge 3-x\ge x(3-x)=3x-{x}^{2}$, or $2\ge 3x-{x}^{2}-1$, and since $\alpha +2\beta <1$, then $1-\alpha >2\beta >2\beta {e}^{-2}\ge 2\beta {e}^{-(x+y)}\ge \beta (3x-{x}^{2}-1){e}^{-(x+y)}$. Thus $\frac{\partial F(x,y)}{\partial x}\ge 0$. Similarly, it is easy to prove that $\frac{\partial G(x,y)}{\partial x}\ge 0$. Then it follows again by Theorem A that the equilibrium point $(\overline{x},\overline{y})=(\overline{x},\overline{x})$ of System (9) is a global attractor of all positive solutions of System (9). Thus the proof is now completed. □

## Declarations

### Acknowledgements

This paper was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia under grant No. (662-009-D1433). The author, therefore, acknowledge with thanks DSR technical and financial support. Last, but not least, sincere appreciations are dedicated to all our colleagues in the Faculty of Science, Rabigh branch for their nice wishes.

## Authors’ Affiliations

## References

- Bischi GI, Naimzada A:
**Global analysis of a dynamic duopoly game with bounded rationality.5.**In*Advances in Dynamic Games and Application*. Birkhäuser, Boston; 1999. chapter 20Google Scholar - Cournot A
**Irwin Paper Back Classics in Economics.***Researches Into the Mathematical Principles of the Theory of Wealth*1963. Engl. trans., chapter VIIGoogle Scholar - Agiza HN, Elsadany AA:
**Nonlinear dynamics in the Cournot duopoly game with heterogeneous players.***Physica A*2003, 320: 512-524.MathSciNetView ArticleMATHGoogle Scholar - Agiza HN, Hegazi AS, Elsadany AA:
**The dynamics of Bowley’s model with bounded rationality.***Chaos Solitons Fractals*2001, 9: 1705-1717.MathSciNetView ArticleMATHGoogle Scholar - Agiza HN, Hegazi AS, Elsadany AA:
**Complex dynamics and synchronization of a duopoly game with bounded rationality.***Math. Comput. Simul.*2002, 58: 133-146. 10.1016/S0378-4754(01)00347-0MathSciNetView ArticleMATHGoogle Scholar - Ahmed E, Agiza HN, Hassan SZ:
**On modifications of Puu’s dynamical duopoly.***Chaos Solitons Fractals*2000, 7: 1025-1028.MathSciNetView ArticleMATHGoogle Scholar - Bischi GI, Stefanini L, Gardini L:
**Synchronization intermittency and critical curves in a duopoly game.***Math. Comput. Simul.*1998, 44: 559-585. 10.1016/S0378-4754(97)00100-6MathSciNetView ArticleMATHGoogle Scholar - Du J, Huang T:
**New results on stable region of Nash equilibrium point of output game model.***Appl. Math. Comput.*2007, 192: 12-19. 10.1016/j.amc.2007.02.155MathSciNetView ArticleMATHGoogle Scholar - Kopel M:
**Simple and complex adjustment dynamics in Cournot duopoly models.***Chaos Solitons Fractals*1996, 12: 2031-2048.MathSciNetView ArticleMATHGoogle Scholar - Yao HN, Xu F:
**Complex dynamics analysis for a duopoly advertising model with nonlinear cost.***Appl. Math. Comput.*2006, 180: 134-145. 10.1016/j.amc.2005.11.170MathSciNetView ArticleMATHGoogle Scholar - Puu T:
*Attractors, Bifurcations and Chaos: Nonlinear Phenomena in Economics*. Springer, Berlin; 2000.View ArticleMATHGoogle Scholar - El-Metwally H:
**Global behavior of an economic model.***Chaos Solitons Fractals*2007, 33: 994-1005. 10.1016/j.chaos.2006.01.060MathSciNetView ArticleMATHGoogle Scholar - Kulenovic MRS, Nurkanovic M:
**Global behavior of a two-dimensional competitive system of difference equations with stocking.***Math. Comput. Model.*2012, 55: 1998-2011. 10.1016/j.mcm.2011.11.059MathSciNetView ArticleMATHGoogle Scholar - Zhang J, Da Q, Wang Y:
**Analysis of nonlinear duopoly game with heterogeneous players.***Econ. Model.*2007, 24: 138-148. 10.1016/j.econmod.2006.06.007View ArticleGoogle Scholar - Puu T:
**Dynamics of Stackelberg duopoly.**In*Advances in Nonlinear Economic Dynamics*. Edited by: Puu T, Panchuk A. Nova Science Publishers, New York; 2010.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.