Open Access

Stability analysis of a fractional-order two-species facultative mutualism model with harvesting

Advances in Difference Equations20172017:372

https://doi.org/10.1186/s13662-017-1430-9

Received: 10 August 2017

Accepted: 20 November 2017

Published: 28 November 2017

Abstract

We present a fractional-order model of two-species facultative mutualism with harvesting. We investigate the stability of the equilibrium points of the model by using the linearization method for noncoexistence of equilibrium points and the Lyapunov direct method for the positive coexistence of an equilibrium point. In addition, we obtain sufficient conditions to ensure the local asymptotic stability and global uniform asymptotic stability for the model. Finally, we provide illustrated numerical examples to verify the stability results obtained in this study.

Keywords

fractional differential equationsstability analysismutualism modelCaputo fractional derivativeLyapunov function

1 Introduction

A population model is a mathematical model used to describe population dynamics. Equations describing population models can take different forms such as difference equations [1, 2], differential equations [1, 2], or delay differential equations [3]. There are several types of population models such as interspecific competition models, predator-prey models, and facultative mutualism models [4].

Two-species facultative cooperative interaction or facultative mutualism is the interaction between two different biological species in which both species benefit [5], such as herbivorous crabs and coralline algae [6]. The famous two-species mutualism models are derived from modified Lotka-Volterra competition equations [7] and have been applied to a variety of ecological interactions [811]. In 2012, Legovic and Gecek [12] expanded the mutualism model by adding a harvesting effort specific to the population. The model is described by a system of first-order differential equations of the form
$$ \textstyle\begin{cases} \frac{d{{x}_{1}}}{dt}={\widehat{r}_{1}}{{x}_{1}} ( 1-\frac{{\widehat {e}_{1}}}{{\widehat{r}_{1}}} )-\frac{{\widehat {r}_{1}}x_{1}^{2}}{{\widehat{K}_{1}}+{\widehat{b}_{12}}{{x}_{2}}},\vphantom{\displaystyle\frac{d{{x}_{1}}}{dt}}\\ \frac{d{{x}_{2}}}{dt}={\widehat{r}_{2}}{{x}_{2}} ( 1-\frac{{\widehat {e}_{2}}}{{\widehat{r}_{2}}} )-\frac{{\widehat {r}_{2}}x_{2}^{2}}{{\widehat{K}_{2}}+{\widehat{b}_{21}}{{x}_{1}}}, \end{cases} $$
(1.1)
where all the parameters are positive constants, \(x_{i}\) denotes the population density of the ith species at time t, \(\widehat{r}_{i}\) is the intrinsic birth rate of the ith species, \(\widehat{K}_{i}\) is the carrying capacity of the environment, and \(\widehat{e}_{i}\) is the harvesting effort upon the same species \(x_{i}\) for \(i=1,2\). In addition, \(\widehat{b}_{12}\) and \(\widehat{b}_{21}\) represent the extent of cooperative relationships of \(x_{1}\) and \(x_{2}\), that is, the mutualistic support the species give each other.

This system is an illustration of the situation in which the effects of mutualism have the most impact when the recipient population is at high density (Wolin and Lawlor [13]). If one species is missing, then the dynamics of the other species is characterized by logistic growth [14].

In recent years, fractional calculus has become an intriguing field. There are several definitions of the fractional-order derivative. Among them, the definitions commonly used are the Riemann-Liouville definition, the Grünwald-Letnikov definition [15], and the Caputo definition [16]. The Caputo derivative is reformulated from the more classic Riemann-Liouville derivative, and the initial conditions for Caputo fractional differential equations are expressed in the same manner as for integer-order differential equations [15]. For this reason, in this paper, we use the Caputo derivative. This is likely to be a good choice to solve problems in the dynamics of complex systems because the order of derivatives can be any real or complex number. Especially, the results may more closely resemble realistic dynamics than integer-order systems [17]. The advantages of fractional calculus support its use in applied mathematics, physics, chemistry, engineering, and even finance and social sciences [18]. Some examples include data-fitting problems for blood alcohol level, video tape counter readings and models for world population growth [19], obesity epidemics [20], Ebola epidemics [21], and bovine babesiosis disease and tick populations [22].

Stability analysis is an important tool to understand system dynamics. Recently, there have been many studies concerning the stability and asymptotic behavior of models in the form of differential equations [2326], delay differential equations [2730], and fractional differential equations [3135].

In the case of fractional differential equations, linearization and Lyapunov methods have been a popular technique to analyze the stability of a system without visibly solving the equations [3638]. The linearization method is applied to approximate the nonlinear system by using the linearized model [36, 39]. On the other hand, the Lyapunov method is used to investigate the stability of an equilibrium point of a system based on a Lyapunov function. In recent years, many researchers proposed a Lyapunov direct method to analyze the stability of fractional differential equations [37, 4044]. Moreover, some Lyapunov functions have been constructed to study the stability of fractional differential equations [4548]. However, the construction of a Lyapunov function and calculation of the fractional derivatives is complicated [42, 44].

In this paper, we present a fractional model for two-species facultative mutualism. Moreover, we analyze the stability of the equilibrium points for this model to obtain sufficient conditions for the local asymptotic stability of the noncoexistence equilibrium points using the linearization method. Conversely, we obtain sufficient conditions for the global uniformly asymptotic stability of the coexistence equilibrium point using the Lyapunov method.

We organize the paper as follows. In Section 2, we give some necessary definitions and some known properties. In Section 3, we propose a fractional-order two-species facultative mutualism model. In Section 4, we investigate the local stability of the three noncoexistence equilibrium points and the global stability of the coexistence equilibrium point in the sense of Lyapunov for the proposed model. Some numerical simulations to validate the theoretical results are shown in Section 5. In the last section, we present the conclusions of this paper.

2 Preliminaries

In this section, we introduce some definitions of fractional calculus and several important theorems of stability analysis.

Definition 2.1

([15])

For a function \(f \in C^{n}\) given on the interval \([t_{0}, \infty]\), suppose that \(\alpha>0\) and \(t>t_{0}\), where \(\alpha,t_{0},t\in\mathbb {R}\), and \(n \in\mathbb{N}\). Then
$$ {}_{t_{0}}^{C}D_{t}^{\alpha}f(t)= \textstyle\begin{cases} \frac{1}{\Gamma(n-\alpha)} \int_{t_{0}}^{t}{\frac{{{f}^{(n)}}(\tau )}{{{(t-\tau)}^{\alpha+1-n}}}\,d\tau},&n-1< \alpha< n,\\ \frac{{{d}^{(n)}}}{d{{t}^{(n)}}}f(t),&\alpha=n,\end{cases} $$
(2.1)
is called the Caputo fractional derivative of order α, where Γ is the gamma function.

Remark 2.2

([15])

Under natural conditions on the function \(f(t)\), as \(\alpha \rightarrow n\), the Caputo derivative becomes the conventional nth derivative of the function \(f(t)\).

Remark 2.3

([45])

The Caputo fractional derivative of order \(0<\alpha<1\) for a smooth function \(f=f(t)\) is given by
$$ {}_{t_{0}}^{C}D_{t}^{\alpha}f(t)= \frac{1}{\Gamma(1-\alpha)} \int _{t_{0}}^{t}{\frac{1}{{{(t-\tau)}^{\alpha}}}\frac{df(\tau)}{d\tau }\,d \tau. } $$
(2.2)

Theorem 2.4

([49])

Let \(\alpha>0\), \(n-1 < \alpha<n \in\mathbb{N}\). Suppose that \(f(t), f'(t),\ldots, f^{(n-1)}(t)\) are continuous on \([t_{0}, \infty)\) and of exponential order and that \({}_{t_{0}}^{C}D_{t}^{\alpha}f(t)\) is piecewise continuous on \([t_{0},\infty)\). Then
$$\mathcal{L} \bigl\{ {}_{t_{0}}^{C}D_{t}^{\alpha}f(t) \bigr\} =s^{\alpha} F(s) - {\sum_{k=0}^{n-1}s^{\alpha-k-1}f^{(k)}(t_{0})}, $$
where \(F(s)= \mathcal{L} \{f(t)\}\).

Theorem 2.5

([50])

Let C be the complex plane. For any \(\alpha>0, \beta>0 \), and \(A \in\mathbb{C}^{n\times n}\), we have
$$\mathcal{L} \bigl\{ t^{\beta-1} E_{\alpha, \beta}\bigl(At^{\alpha}\bigr) \bigr\} =s^{\alpha -\beta}\bigl(s^{\alpha}-A\bigr)^{-1} $$
for \(\mathcal{R}s> \Vert A \Vert^{\frac{1}{\alpha}}\), where \(\mathcal {R}s\) represents the real part of the complex number s, and \(E_{\alpha , \beta}\) is the Mittag-Leffler function [15].

Theorem 2.6

([37])

Consider the fractional-order system
$$ {}_{t_{0}}^{C}D_{t}^{\alpha}x(t)=f(t,x) $$
(2.3)
with initial condition \(x(t_{0})\), where \(\alpha\in(0,1)\), \(f:[{{t}_{0}},\infty)\times\Omega\to{{\mathbb{R}}^{n}}\) is piecewise continuous in t and locally Lipschitz in x on \([{{t}_{0}},\infty)\times\Omega\), and \(\Omega\subseteq{{\mathbb {R}}^{n}}\) is a domain containing the origin \(x=0\). The constant \(x^{*}\) is an equilibrium point of the Caputo fractional-order system (2.3) if and only if \(f(t,x^{*})=0\).

Definition 2.7

([51])

For the system described by (2.3):
  1. (i)

    The trivial solution is said to be stable if for any \(t_{0} \in \mathbb{R}\) and any \(\varepsilon>0\), there exists \(\delta=\delta (t_{0},\varepsilon)>0\) such that \(\Vert x({{t}_{0}}) \Vert <\delta\) implies \(\Vert x(t) \Vert <\varepsilon\) for all \(t>t_{0}\).

     
  2. (ii)

    The trivial solution is said to be asymptotically stable if it is stable and for any \(t_{0} \in\mathbb{R}\) and any \(\varepsilon>0\), there exists \(\delta_{a}=\delta_{a}(t_{0},\varepsilon)>0\) such that \(\Vert x({{t}_{0}}) \Vert <\delta_{a} \) implies \(\lim_{t\to\infty }\Vert x(t) \Vert =0\).

     
  3. (iii)

    The trivial solution is said to be uniformly stable if it is stable and \(\delta=\delta(\varepsilon)>0\) can be chosen independently of \(t_{0}\).

     
  4. (iv)

    The trivial solution is uniformly asymptotically stable if it is uniformly stable and there exists \(\delta_{a}>0\), independent of \(t_{0}\), such that if \(\Vert x({{t}_{0}}) \Vert <\delta_{a} \), then \(\lim_{t\to\infty} \Vert x(t) \Vert =0\).

     
  5. (v)

    The trivial solution is globally (uniformly) asymptotically stable if it is (uniformly) asymptotically stable and \(\delta_{a}\) can be an arbitrary large finite number.

     

Theorem 2.8

([34])

The equilibrium points \(x^{*}\) of system (2.3) are locally asymptotically stable if all eigenvalues \(\lambda_{i}\) of the Jacobian matrix \(J=\frac{\partial f}{\partial x}\) evaluated at the equilibrium points satisfy \(\vert \arg({{\lambda}_{i}}) \vert >\frac{\alpha\pi}{2}\).

Theorem 2.9

(Uniform Asymptotic Stability Theorem [42])

Let \(x=0\) be an equilibrium point of system (2.3), and let \(\Omega\subset{{\mathbb{R}}^{n}}\) be a domain containing \(x=0\). Let \(V(t,x):[t_{0},\infty)\times\Omega\to\mathbb{R}\) be a continuously differentiable function such that
$$\begin{aligned} {{W}_{1}}(x)\le V(t,x)\le{{W}_{2}}(x) \end{aligned}$$
(2.4)
and
$$\begin{aligned} {}_{{{t}_{0}}}^{C}D_{t}^{\alpha}V(t,x) \le-{{W}_{3}}(x) \end{aligned}$$
(2.5)
for \(t\ge0\), \(x\in\Omega\), and \(0<\alpha<1\), where \(W_{1}(x)\), \(W_{2}(x)\), and \(W_{3}(x)\) are continuous positive definite functions on Ω. Then \(x=0\) is uniformly asymptotically stable.

Remark 2.10

([37])

If \(x=x^{*}\) is the equilibrium point of system (2.3) and satisfies the conditions of Theorem 2.9, then \(x=x^{*}\) is uniformly asymptotically stable.

Theorem 2.11

([45])

Let \(x(t)\in{{\mathbb{R}}^{+}}\) be a continuous and derivable function. Then, for any time instant \(t\ge{{t}_{0}}\) and all \(\alpha \in(0,1)\),
$$ {}_{{{t}_{0}}}^{C}D_{t}^{\alpha} \biggl( x(t)-{{x}^{*}}-{{x}^{*}}\ln \frac{x(t)}{{{x}^{*}}} \biggr)\le \biggl( 1-\frac{x(t)}{{{x}^{*}}} \biggr){}_{{{t}_{0}}}^{C}D_{t}^{\alpha}x(t), $$
(2.6)
where \({{x}^{*}}\in{{\mathbb{R}}^{+}}\).

3 Model description

We construct the proposed model for fractional-order two-species facultative mutualism by improving system (1.1). To do so, we replace the integer-order derivatives with fractional-order Caputo-type derivatives; the resulting equation is written as
$$ \textstyle\begin{cases} {}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{1}}={\widehat {r}_{1}}{{x}_{1}} ( 1-\frac{{\widehat{e}_{1}}}{{\widehat{r}_{1}}} )-\frac{{\widehat{r}_{1}}x_{1}^{2}}{{\widehat{K}_{1}}+{\widehat {b}_{12}}{{x}_{2}}},\vphantom{\displaystyle\frac{d{{x}_{1}}}{dt}}\\ {}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{2}}={\widehat {r}_{2}}{{x}_{2}} ( 1-\frac{{\widehat{e}_{2}}}{{\widehat{r}_{2}}} )-\frac{{\widehat{r}_{2}}x_{2}^{2}}{{\widehat{K}_{2}}+{\widehat {b}_{21}}{{x}_{1}}}.\end{cases} $$
(3.1)
System (3.1) has some flaws as regards the time dimension because the left-hand side has the dimension \((time)^{-\alpha}\), whereas the right-hand side has the dimension \((time)^{-1}\). The correct form of system (3.1) can be obtained as follows [52]:
$$ \textstyle\begin{cases} {}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{1}}={\widehat{r}^{\alpha }_{1}}{{x}_{1}} ( 1-\frac{{\widehat{e}^{\alpha}_{1}}}{{\widehat {r}^{\alpha}_{1}}} )-\frac{{\widehat{r}^{\alpha }_{1}}x_{1}^{2}}{{\widehat{K}_{1}}+{\widehat{b}_{12}}{{x}_{2}}},\vphantom{\displaystyle\frac{d{{x}_{1}}}{dt}}\\ {}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{2}}={\widehat{r}^{\alpha }_{2}}{{x}_{2}} ( 1-\frac{{\widehat{e}^{\alpha}_{2}}}{{\widehat {r}^{\alpha}_{2}}} )-\frac{{\widehat{r}^{\alpha }_{2}}x_{2}^{2}}{{\widehat{K}_{2}}+{\widehat{b}_{21}}{{x}_{1}}}.\end{cases} $$
(3.2)
For convenience, we define the parameters \(r_{i}=\widehat{r}^{\alpha }_{i}\), \(e_{i}=\widehat{e}^{\alpha}_{i}\), \(K_{i}=\widehat{K}_{i}\), \(b_{12}=\widehat{b}_{12}\), and \(b_{21}=\widehat{b}_{21}\), where \(i=1,2\). Then, we obtain the following modified system:
$$ \textstyle\begin{cases} {}_{{{t}_{0}}}^{C}D_{t}^{\alpha }{{x}_{1}}=f_{1}(x_{1},x_{2})={{r}_{1}}{{x}_{1}} ( 1-\frac {{{e}_{1}}}{{{r}_{1}}} )-\frac {{{r}_{1}}x_{1}^{2}}{{{K}_{1}}+{{b}_{12}}{{x}_{2}}},\vphantom{\displaystyle\frac{d{{x}_{1}}}{dt}}\\ {}_{{{t}_{0}}}^{C}D_{t}^{\alpha }{{x}_{2}}=f_{2}(x_{1},x_{2})={{r}_{2}}{{x}_{2}} ( 1-\frac {{{e}_{2}}}{{{r}_{2}}} )-\frac {{{r}_{2}}x_{2}^{2}}{{{K}_{2}}+{{b}_{21}}{{x}_{1}}},\end{cases} $$
(3.3)
with initial conditions \(x_{1}(t_{0})=x_{10}\) and \(x_{2}(t_{0})=x_{20}\), where all the model parameters are assumed to be positive.

3.1 Existence and uniqueness

The possible region of model (3.3) is defined as the nonnegative quadrant
$$\mathbb{R}_{+}^{2}= \bigl\{ x=({{x}_{1}},{{x}_{2}}) \in{{\mathbb {R}}^{2}}:{{x}_{1}}\ge0, {{x}_{2}}\ge0 \bigr\} . $$
From system (3.3) it is clear that \(f_{i}\) and \(\frac {\partial f_{i}}{\partial x_{j}}\) for \(i=1,2\) and \(j=1,2\) are continuous in \(\mathbb{R}_{+}^{2}\). Following the lemma in [53], we can conclude that \(f=(f_{1},f_{2})\) satisfies the local Lipschitz condition with respect to \(x=(x_{1}(t),x_{2}(t))\) in \(\mathbb{R}_{+}^{2}\). Therefore, by Remark 3.8 in [15], system (3.3) has a unique solution in \(\mathbb {R}_{+}^{2}\).

3.2 Nonnegative solution

Theorem 3.1

If \(x_{1}(t_{0}) \geq0\) and \(x_{2}(t_{0}) \geq0\), then there is a unique solution \(x(t)\) to the Caputo fractional-order model (3.3) on \(t\geq t_{0}\), and the solution remains in \(\mathbb{R}_{+}^{2}\).

Proof

In Section 3.1, the uniqueness of a solution of \(x(t)\) to system (3.3) is obtained. Thus, we only need to prove that the solution \(x(t)=(x_{1}(t),x_{2}(t))\) remains in \(\mathbb{R}_{+}^{2}\).

Let \(x(t_{0})=(x_{1}(t_{0}),x_{2}(t_{0}))\) in \(\mathbb{R}_{+}^{2}\) be the initial solution of system (3.3). By contradiction, suppose that there exists a solution \(x(t)\) that lies outside of \(\mathbb {R}_{+}^{2}\). The consequence is that \(x(t)\) crosses the \(x_{1}\) axis or \(x_{2}\) axis. Now we have to consider two cases.

Case 1: If the solution \(x(t)\) passes through the \(x_{2}\) axis, then there exists \(t^{*}\) such that \(t^{*} \geq t_{0}\) and \(x_{1}(t^{*})=0\), and there exists \(t_{1}\) sufficiently close to \(t^{*}\) such that \(t_{1}> t^{*}\) and \(x_{1}(t)<0\) for all \(t \in(t^{*},t_{1}]\). By the previous conclusion there are two possibilities.

(1i) If \({}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{1}}\geq0\) for all \(t \in[t^{*},t_{1}]\), based on the first equation of system (3.3), we obtain \({}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{1}}\geq rx_{1}\). Using the Laplace transform in this inequality, the solution satisfies
$$x_{1}(t)\geq x_{1}(t_{0})E_{\alpha} \bigl(r(t-t_{0})^{\alpha}\bigr), \quad t \in\bigl[t^{*},t_{1} \bigr]. $$

Since \(x_{1}(t_{0}) \geq0\), we have \(x_{1}(t)\geq0\), which contradicts the assumption. So \(x_{1}(t)\geq0\) for any \(t\geq t_{0}\).

(1ii) If \({}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{1}} < 0\) for all \(t \in[t^{*},t_{1}]\), then
$$\begin{aligned} {}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{1}}&={{r}_{1}} {{x}_{1}} \biggl( 1-\frac{{{e}_{1}}}{{{r}_{1}}} \biggr)-\frac {{{r}_{1}}x_{1}^{2}}{{{K}_{1}}+{{b}_{12}}{{x}_{2}}} \\ &=(r_{1}-e_{1})x_{1}-\frac {{{r}_{1}}x_{1}^{2}}{{{K}_{1}}+{{b}_{12}}{{x}_{2}}} \\ &\geq(r_{1}-e_{1})x_{1}-Nx_{1}^{2},\quad \text{where } N=\frac {r_{1}}{K_{1}}. \end{aligned}$$
Since \(t_{1}\) can be chosen to be arbitrarily close to \(t^{*}\), then \(x_{1}(t)\leq-x_{1}^{2}(t)\) for all \(t \in[t^{*},t_{1}]\). So, we obtain that
$${}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{1}} \geq(r_{1}-e_{1}+N)x_{1}. $$
Using the Laplace transform in this inequality, we get that
$$x_{1}(t)\geq x_{1}(t_{0})E_{\alpha} \bigl((r_{1}-e_{1}+N) (t-t_{0})^{\alpha} \bigr), \quad t \in\bigl[t^{*},t_{1}\bigr]. $$
Thus, \(x_{1}(t)\geq0\) for any \(t\geq t_{0}\), which contradicts the assumption.

Case 2: Suppose that the solution \(x(t)\) passes through the \(x_{1}\) axis. Because the second equation of system (3.3) has the same form as the first one, the proof for case 2 is similar to the proof in the previous case.

Therefore, we can conclude that the solution \(x(t)\) of system (3.3) lies within \(\mathbb{R}_{+}^{2}\). □

4 Stability analysis of equilibrium points

In this section, we investigate the stability of the equilibrium points by using the linearization method and the Lyapunov direct method. The equilibrium points of the model are obtained by solving the system of equations
$$ \textstyle\begin{cases} {{r}_{1}}{{x}_{1}} ( 1-\frac{{{e}_{1}}}{{{r}_{1}}} )-\frac {{{r}_{1}}x_{1}^{2}}{{{K}_{1}}+{{b}_{12}}{{x}_{2}}}=0,\vphantom{\displaystyle\frac{d{{x}_{1}}}{dt}}\\ {{r}_{2}}{{x}_{2}} ( 1-\frac{{{e}_{2}}}{{{r}_{2}}} )-\frac {{{r}_{2}}x_{2}^{2}}{{{K}_{2}}+{{b}_{21}}{{x}_{1}}}=0.\end{cases} $$
(4.1)
We obtain four equilibrium points as follows:
  1. 1.

    The origin \(E_{0}(0,0)\), which represents extinction of both species.

     
  2. 2.

    \(E_{1}({K_{1}}{A_{1}},0)\), where \(A_{1}=1-\frac{e_{1}}{r_{1}}\), which represents extinction of the second species. The existence condition of \(E_{1}\) is \(0\le e_{1}< r_{1}\).

     
  3. 3.

    \(E_{2}(0,{K_{2}}{A_{2}})\), where \(A_{2}=1-\frac{e_{2}}{r_{2}}\), which represents extinction of the first species. The existence condition of \(E_{2}\) is \(0\le e_{2}< r_{2}\).

     
  4. 4.

    \(E_{3}(x^{*}_{1},x^{*}_{2})\), which is called the coexistence equilibrium point.

     

As for the equilibrium points \(E_{0}, E_{1}\), and \(E_{2}\), they are called the noncoexistence equilibrium points. The existence condition of \(E_{3}\) is presented in the next proposition.

Proposition 4.1

If
$$ {A_{1}} {A_{2}} {b_{12}} {b_{21}}< 1,\qquad 0 \le e_{1}< r_{1} \quad \textit{and} \quad 0 \le e_{2}< r_{2}, $$
(4.2)
then there exists a unique coexisting equilibrium \((x^{*}_{1},x^{*}_{2})\) of fractional-order system (3.3), where
$$x_{1}^{*}=\frac{{{A}_{1}} ( {{K}_{1}}+{{b}_{12}}{{A}_{2}}{{K}_{2}} )}{1-{{A}_{1}}{{A}_{2}}{{b}_{12}}{{b}_{21}}},\qquad x_{2}^{*}= \frac {{{A}_{2}} ( {{K}_{2}}+{{b}_{21}}{{A}_{1}}{{K}_{1}} )}{1-{{A}_{1}}{{A}_{2}}{{b}_{12}}{{b}_{21}}}. $$

Proof

The proof for this proposition is the same as that for Proposition 1 of [54], which is the proof that there exists a unique coexisting equilibrium point for integer-order system (1.1). □

4.1 Local stability of equilibrium points

In this subsection, we determine the local stability of the first three equilibrium points of system (3.3). The Jacobian matrix of the system is
$$ J(x_{1},x_{2})=\left ( \begin{matrix} {{r}_{1}}-{{e}_{1}}-\frac {2{{r}_{1}}{{x}_{1}}}{{{K}_{1}}+{{b}_{12}}{{x}_{2}}} & \frac {{{b}_{12}}{{r}_{1}}x_{1}^{2}}{{{ ( {{K}_{1}}+{{b}_{12}}{{x}_{2}} )}^{2}}} \\ \frac{{{b}_{21}}{{r}_{2}}x_{2}^{2}}{{{ ( {{K}_{2}}+{{b}_{21}}{{x}_{1}} )}^{2}}} & {{r}_{2}}-{{e}_{2}}-\frac {2{{r}_{2}}{{x}_{2}}}{{{K}_{2}}+{{b}_{21}}{{x}_{1}}} \end{matrix} \right ). $$
(4.3)

Theorem 4.2

If \(r_{1}< e_{1}\) and \(r_{2}< e_{2}\), then the trivial solution \(E_{0}\) of the fractional-order system (3.3) is locally asymptotically stable.

Proof

By (4.3) the Jacobian matrix \(J(E_{0})\) is as follows:
$$ J(E_{0})=\left ( \begin{matrix} {{r}_{1}}-{{e}_{1}} & 0 \\ 0 & {{r}_{2}}-{{e}_{2}} \end{matrix} \right ). $$
(4.4)
The eigenvalues of \(J(E_{0})\) are \(\lambda_{1}=r_{1}-e_{1}\) and \(\lambda _{2}=r_{2}-e_{2}\). By the assumptions of the theorem, \(\lambda_{1}<0\) and \(\lambda_{2}<0\). Thus \(\vert \arg{{\lambda}_{1}} \vert = \vert \arg {{\lambda}_{2}} \vert =\pi\). Therefore, according to Theorem 2.8, the equilibrium point \(E_{0}\) is locally asymptotically stable. □

Theorem 4.3

If \(e_{1}< r_{1}\) and \(r_{2}< e_{2}\), then the second species extinction equilibrium point \(E_{1}({K_{1}}{A_{1}},0)\) of the fractional-order system (3.3) is locally asymptotically stable.

Proof

By (4.3) the Jacobian matrix \(J(E_{1})\) can be obtained as follows:
$$ J(E_{1})=\left ( \begin{matrix} {{r}_{1}} ( 1-2{{A}_{1}} )-{{e}_{1}} & {{b}_{12}}{{r}_{1}}A_{1}^{2} \\ 0 & {{r}_{2}}-{{e}_{2}} \end{matrix} \right ). $$
(4.5)
Solving the characteristic equation \(\operatorname{det}({\lambda}{I}-J(E_{1}))=0\) for λ to find the eigenvalues of \(J(E_{1})\), we get
$$\begin{aligned} \bigl(\lambda-{r_{1}}({1-2A_{1}})+e_{1}\bigr) ( \lambda-r_{2}+e_{2})=0. \end{aligned}$$
So, the eigenvalues of \(J(E_{1})\) are \(\lambda_{3}={r_{1}}{(1-2A_{1})}-e_{1}\) and \(\lambda_{4}=r_{2}-e_{2}\). Since we assumed that \(A_{1}=1-\frac{e_{1}}{r_{1}}\), \(\lambda_{3}=e_{1}-r_{1}\), and \(\lambda_{4}=r_{2}-e_{2}\). By the assumption it is clear that \(\lambda_{3}<0\) and \(\lambda_{4}<0\). According to Theorem 2.8, the equilibrium point \(E_{1}\) is locally asymptotically stable. This completes the proof. □

Theorem 4.4

If \(r_{1}< e_{1}\) and \(e_{2}< r_{2}\), then the first species extinction equilibrium point \(E_{2}(0,{K_{2}}{A_{2}})\) of the fractional order system (3.3) is locally asymptotically stable.

Proof

The idea of the proof is similar to that of Theorem 4.3. □

4.2 Global stability of positive coexistence equilibrium

In this subsection, we investigate sufficient conditions for global uniform asymptotic stability of the positive coexisting equilibrium for the corresponding fractional-order system using the Lyapunov function.

Theorem 4.5

If \({A_{1}}{b_{12}}<2, {A_{2}}{b_{21}}<2, {A_{1}}{A_{2}}{b_{12}}{b_{21}}<1, 0\le e_{1}<r_{1}\), and \(0 \le e_{2}< r_{2}\), then the unique interior positive equilibrium \((x^{*}_{1},x^{*}_{2})\) of the fractional-order system (3.3) is globally uniformly asymptotically stable on \(\mathbb {R}_{+}^{2}\).

Proof

We define the function \({{V}_{1}}: \{ ({{x}_{1}},{{x}_{2}})\in \mathbb{R}_{+}^{2}:{{x}_{1}}>0, {{x}_{2}}>0 \}\to\mathbb{R}\) by
$$ {{V}_{1}}({{x}_{1}},{{x}_{2}})={{c}_{1}} \int _{x_{1}^{*}}^{{{x}_{1}}}{\frac{\theta -x_{1}^{*}}{{{K}_{2}}+{{b}_{21}}\theta}\,d \theta}+{{c}_{2}} \int _{x_{2}^{*}}^{{{x}_{2}}}{\frac{\theta -x_{2}^{*}}{{{K}_{1}}+{{b}_{12}}\theta}\,d\theta, } $$
(4.6)
so that (4.6) can be written in the form
$$\begin{aligned} {{V}_{1}}({{x}_{1}},{{x}_{2}}) ={}& \frac{{{c}_{1}}}{{{b}_{21}}} \biggl( {{x}_{1}}-x_{1}^{*}- \biggl( \frac {{{K}_{2}}+{{b}_{21}}x_{1}^{*}}{{{b}_{21}}} \biggr)\ln \biggl( \frac {{{K}_{2}}+{{b}_{21}}{{x}_{1}}}{{{K}_{2}}+{{b}_{21}}x_{1}^{*}} \biggr) \biggr) \\ &{} +\frac{{{c}_{2}}}{{{b}_{12}}} \biggl( {{x}_{2}}-x_{2}^{*}- \biggl( \frac {{{K}_{1}}+{{b}_{12}}x_{2}^{*}}{{{b}_{12}}} \biggr)\ln \biggl( \frac {{{K}_{1}}+{{b}_{12}}{{x}_{2}}}{{{K}_{1}}+{{b}_{12}}x_{2}^{*}} \biggr) \biggr), \end{aligned}$$
where \(c_{1}>0\) and \({{c}_{2}}=\frac {{{r}_{1}}{{b}_{12}}{{A}_{1}}}{{{r}_{2}}{{b}_{21}}{{A}_{2}}}{{c}_{1}}\). The function \({{V}_{1}}({{x}_{1}},{{x}_{2}})\) is continuous on the domain \(\mathbb{R}_{+}^{2}\), and \({{V}_{1}}({{x}_{1}},{{x}_{2}})>0\) for all \((x_{1},x_{2}) \in{\mathbb{R}_{+}^{2}\backslash{(x^{*}_{1},x^{*}_{2})}}\), whereas \({{V}_{1}}({{x}_{1}},{{x}_{2}})=0\) if \(x_{1}=x^{*}_{1}\) and \(x_{2}=x^{*}_{2}\). Hence, we can see that \(V_{1}(x_{1},x_{2})\) is a Lyapunov function. Also, \(V_{1}(x_{1},x_{2})\) tends to +∞ as either \(x_{1}\) or \(x_{2}\) tends to 0 or to +∞. These properties mean that \(V_{1}(x_{1},x_{2})\) is radially unbounded.
Applying the linearity property of the Caputo fractional derivative and using Theorem 2.6, we obtain
$$\begin{aligned} {}_{{{t}_{0}}}^{C}D_{t}^{\alpha }{{V}_{1}}(x_{1},x_{2})={}&{}_{{{t}_{0}}}^{C}D_{t}^{\alpha} \biggl( \frac {{{c}_{1}}}{{{b}_{21}}} \biggl( {{x}_{1}}-x_{1}^{*}- \biggl( \frac {{{K}_{2}}+{{b}_{21}}x_{1}^{*}}{{{b}_{21}}} \biggr)\ln \biggl( \frac {{{K}_{2}}+{{b}_{21}}{{x}_{1}}}{{{K}_{2}}+{{b}_{21}}x_{1}^{*}} \biggr) \biggr) \biggr) \\ & {}+{}_{{{t}_{0}}}^{C}D_{t}^{\alpha} \biggl( \frac {{{c}_{2}}}{{{b}_{12}}} \biggl( {{x}_{2}}-x_{2}^{*}- \biggl( \frac {{{K}_{1}}+{{b}_{12}}x_{2}^{*}}{{{b}_{12}}} \biggr)\ln \biggl( \frac {{{K}_{1}}+{{b}_{12}}{{x}_{2}}}{{{K}_{1}}+{{b}_{12}}x_{2}^{*}} \biggr) \biggr) \biggr) \\ \le{}&\frac{{{c}_{1}}}{{{b}_{21}}} \biggl( {}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{1}}- \biggl( \frac {{{K}_{2}}+{{b}_{21}}x_{1}^{*}}{{{K}_{2}}+{{b}_{21}}{{x}_{1}}} \biggr){}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{1}} \biggr)\\ &{}+\frac {{{c}_{2}}}{{{b}_{12}}} \biggl( {}_{{{t}_{0}}}^{C}D_{t}^{\alpha }{{x}_{2}}- \biggl( \frac {{{K}_{1}}+{{b}_{12}}x_{2}^{*}}{{{K}_{1}}+{{b}_{12}}{{x}_{2}}} \biggr){}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{2}} \biggr) \\ ={}&\frac{{{c}_{1}}}{{{b}_{21}}} \biggl( 1-\frac {{{K}_{2}}+{{b}_{21}}x_{1}^{*}}{{{K}_{2}}+{{b}_{21}}{{x}_{1}}} \biggr){}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{1}}\\ &{}+ \frac {{{c}_{2}}}{{{b}_{12}}} \biggl( 1-\frac {{{K}_{1}}+{{b}_{12}}x_{2}^{*}}{{{K}_{1}}+{{b}_{12}}{{x}_{2}}} \biggr){}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{2}} \\ ={}&\frac{{{c}_{1}}}{{{K}_{2}}+{{b}_{21}}{{x}_{1}}} \bigl( {{x}_{1}}-x_{1}^{*} \bigr){}_{{{t}_{0}}}^{C}D_{t}^{\alpha }{{x}_{1}}+ \frac{{{c}_{2}}}{{{K}_{1}}+{{b}_{12}}{{x}_{2}}} \bigl( {{x}_{2}}-x_{2}^{*} \bigr){}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{x}_{2}} \\ ={}&\frac{{{c}_{1}}}{{{K}_{2}}+{{b}_{21}}{{x}_{1}}} \bigl( {{x}_{1}}-x_{1}^{*} \bigr) \biggl( {{r}_{1}} {{x}_{1}} \biggl( 1- \frac {{{e}_{1}}}{{{r}_{1}}} \biggr)-\frac {{{r}_{1}}x_{1}^{2}}{{{K}_{1}}+{{b}_{12}}{{x}_{2}}} \biggr) \\ &{} +\frac{{{c}_{2}}}{{{K}_{1}}+{{b}_{12}}{{x}_{2}}} \bigl( {{x}_{2}}-x_{2}^{*} \bigr) \biggl( {{r}_{2}} {{x}_{2}} \biggl( 1- \frac {{{e}_{2}}}{{{r}_{2}}} \biggr)-\frac {{{r}_{2}}x_{2}^{2}}{{{K}_{2}}+{{b}_{21}}{{x}_{1}}} \biggr) \\ ={}&\frac{{{c}_{1}}{{r}_{1}}{{x}_{1}}}{ ( {{K}_{1}}+{{b}_{12}}{{x}_{2}} ) ( {{K}_{2}}+{{b}_{21}}{{x}_{1}} )} \bigl( {{x}_{1}}-x_{1}^{*} \bigr) ( {{A}_{1}} {{K}_{1}}+{{A}_{1}} {{b}_{12}} {{x}_{2}}-{{x}_{1}} ) \\ & {}+\frac{{{c}_{2}}{{r}_{2}}{{x}_{2}}}{ ( {{K}_{1}}+{{b}_{12}}{{x}_{2}} ) ( {{K}_{2}}+{{b}_{21}}{{x}_{1}} )} \bigl( {{x}_{2}}-x_{2}^{*} \bigr) ( {{A}_{2}} {{K}_{2}}+{{A}_{2}} {{b}_{21}} {{x}_{1}}-{{x}_{2}} ). \end{aligned}$$
By Proposition 4.1 the positive equilibrium point \((x^{*}_{1},x^{*}_{2})\) of system (3.3) satisfies the equalities
$${{A}_{1}} {{K}_{1}}=x_{1}^{*}-{{A}_{1}} {{b}_{12}}x_{2}^{*} \quad\text{and}\quad {{A}_{2}} {{K}_{2}}=x_{2}^{*}-{{A}_{2}} {{b}_{21}}x_{1}^{*}. $$
We see that
$$\begin{aligned} &{}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{V}_{1}}(x_{1},x_{2})\\ &\quad \le\frac {{{c}_{1}}{{r}_{1}}{{x}_{1}}}{ ( {{K}_{1}}+{{b}_{12}}{{x}_{2}} ) ( {{K}_{2}}+{{b}_{21}}{{x}_{1}} )} \bigl( {{x}_{1}}-x_{1}^{*} \bigr) \bigl( - \bigl( {{x}_{1}}-x_{1}^{*} \bigr)+{{A}_{1}} {{b}_{12}} \bigl( {{x}_{2}}-x_{2}^{*} \bigr) \bigr) \\ & \qquad{}+\frac{{{c}_{2}}{{r}_{2}}{{x}_{2}}}{ ( {{K}_{1}}+{{b}_{12}}{{x}_{2}} ) ( {{K}_{2}}+{{b}_{21}}{{x}_{1}} )} \bigl( {{x}_{2}}-x_{2}^{*} \bigr) \bigl( - \bigl( {{x}_{2}}-x_{2}^{*} \bigr)+{{A}_{2}} {{b}_{21}} \bigl( {{x}_{1}}-x_{1}^{*} \bigr) \bigr). \end{aligned}$$
Since \({{c}_{2}}=\frac {{{r}_{1}}{{b}_{12}}{{A}_{1}}}{{{r}_{2}}{{b}_{21}}{{A}_{2}}}{{c}_{1}}\), we have
$$\begin{aligned} &{}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{V}_{1}}(x_{1},x_{2})\\ &\quad\le\frac{{{c}_{1}}{{r}_{1}}}{ ( {{K}_{1}}+{{b}_{12}}{{x}_{2}} ) ( {{K}_{2}}+{{b}_{21}}{{x}_{1}} )}{ \biggl( {-{{x}_{1}} {{ \bigl( {{x}_{1}}-x_{1}^{*} \bigr)}^{2}}-{{x}_{2}} \frac {{{A}_{1}}{{b}_{12}}}{{{A}_{2}}{{b}_{21}}}{{ \bigl( {{x}_{2}}-x_{2}^{*} \bigr)}^{2}}} } \\ &\qquad{} + {{A}_{1}} {{b}_{12}} ( {{x}_{1}}+{{x}_{2}} ) \bigl( {{x}_{1}}-x_{1}^{*} \bigr) \bigl( {{x}_{2}}-x_{2}^{*} \bigr) \biggr) \\ &\quad\le\frac{{{c}_{1}}{{r}_{1}}}{ ( {{K}_{1}}+{{b}_{12}}{{x}_{2}} ) ( {{K}_{2}}+{{b}_{21}}{{x}_{1}} )}{ \biggl( {-{{x}_{1}} {{ \bigl( {{x}_{1}}-x_{1}^{*} \bigr)}^{2}}-{{x}_{2}} \frac {{{A}_{1}}{{b}_{12}}}{{{A}_{2}}{{b}_{21}}}{{ \bigl( {{x}_{2}}-x_{2}^{*} \bigr)}^{2}}} } \\ & \qquad{}+\frac{1}{2}{{A}_{1}} {{b}_{12}} ( {{x}_{1}}+{{x}_{2}} ){{ \bigl( {{x}_{1}}-x_{1}^{*} \bigr)}^{2}} {+\frac{1}{2}{{A}_{1}} {{b}_{12}} ( {{x}_{1}}+{{x}_{2}} ){{ \bigl( {{x}_{2}}-x_{2}^{*} \bigr)}^{2}}} \biggr) \\ &\quad=\frac{-{{c}_{1}}{{r}_{1}}}{ ( {{K}_{1}}+{{b}_{12}}{{x}_{2}} ) ( {{K}_{2}}+{{b}_{21}}{{x}_{1}} )}{ \biggl( { \biggl( {{x}_{1}}- \frac{1}{2}{{A}_{1}} {{b}_{12}} ( {{x}_{1}}+{{x}_{2}} ) \biggr){{ \bigl( {{x}_{1}}-x_{1}^{*} \bigr)}^{2}}} } \\ &\qquad {}+ \biggl( {{x}_{2}}\frac {{{A}_{1}}{{b}_{12}}}{{{A}_{2}}{{b}_{21}}}-\frac {1}{2}{{A}_{1}} {{b}_{12}} ( {{x}_{1}}+{{x}_{2}} ) \biggr){{ \bigl( {{x}_{2}}-x_{2}^{*} \bigr)}^{2}} \biggr). \end{aligned}$$
Let
$$\begin{aligned} W_{1}(x)={}&\frac{{{c}_{1}}{{r}_{1}}}{ ( {{K}_{1}}+{{b}_{12}}{{x}_{2}} ) ( {{K}_{2}}+{{b}_{21}}{{x}_{1}} )} { \biggl( { \biggl( {{x}_{1}}- \frac{1}{2}{{A}_{1}} {{b}_{12}} ( {{x}_{1}}+{{x}_{2}} ) \biggr){{ \bigl( {{x}_{1}}-x_{1}^{*} \bigr)}^{2}}}} \\ &{} + \biggl( {{x}_{2}}\frac {{{A}_{1}}{{b}_{12}}}{{{A}_{2}}{{b}_{21}}}-\frac {1}{2}{{A}_{1}} {{b}_{12}} ( {{x}_{1}}+{{x}_{2}} ) \biggr){{ \bigl( {{x}_{2}}-x_{2}^{*} \bigr)}^{2}} \biggr). \end{aligned}$$
We can verify that \(W_{1}(x)\) is continuous on the domain \(\mathbb {R}_{+}^{2}\) and \(W_{1}(x)>0\) for all \(x=(x_{1},x_{2}) \in{\mathbb {R}_{+}^{2}\backslash{(x^{*}_{1},x^{*}_{2})}}\), whereas \(W_{1}(x)=0\) if \(x_{1}=x^{*}_{1}\) and \(x_{2}=x^{*}_{2}\). So, \(W_{1}(x)\) is a positive definite function. Thus, \({}_{{{t}_{0}}}^{C}D_{t}^{\alpha}{{V}_{1}}(t,x)\le -{{W}_{1}}(x)\). By Theorem 2.9 the equilibrium point \((x^{*}_{1},x^{*}_{2})\) of system (3.3) is globally uniformly asymptotically stable in \(\operatorname{int}(\mathbb{R}_{2}^{+})\). □

Remark 4.6

The Lyapunov function in Theorem 4.5 is modified from the function of integer-order differential systems presented in [14] and different from the functions presented in [4548].

Remark 4.7

Theorem 4.5 can be applied to study a facultative mutualism of two species. In particular, the interaction between two species is assumed to be described by model (3.3) with parameters satisfying the conditions of the theorem. Subsequently, any solutions starting at a positive initial point eventually tend to the positive coexistence equilibrium of the model. This means biologically that the two species always coexist in the same habitat.

5 Numerical simulations

In this section, we present numerical examples to verify the theoretical results in Theorem 4.5.

We carried out numerical simulations on the fractional-order two-species facultative mutualism system (3.3) to show the stability of the positive equilibrium result. The parameters \(r_{1}=0.6\), \(r_{2}=0.4\), \(e_{1}=0.4\), \(e_{2}=0.3\), \(K_{1}=250\), \(K_{2}=250\), \(b_{12}=0.2\), and \(b_{21}=0.25\) satisfy the assumptions of Theorem 4.5. Calculating the solution, we obtain the positive coexistence equilibrium point \(x^{*}_{1}=87.8661\) and \(x^{*}_{2}=67.9916\).

Many numerical methods have been applied to solve nonlinear fractional differential equations such as the Adams method [55], the predictor corrector method [56], the Adomian decomposition method [57], the extrapolation method [58], and the variational iteration method [59]. However, among these methods, the Adams method is useful for studying the long-term behavior of the solutions of nonlinear fractional differential equations [60]. Thus, in this study, we use the Adams method for solving the model with the Matlab software.

The numerical solution of system (3.3) is presented in Figures 1 and 2. In Figure 1, we fix \(\alpha=0.5\) and choose three different initial conditions as follows: \((x_{1}(0),x_{2}(0))=(70,110), (90,90), (110,70)\). In Figure 2, we fix the initial condition \((x_{1}(0),x_{2}(0))=(110,70)\) and choose various values of \(\alpha=0.3, 0.5\), and 0.7. Figure 1(1a) and Figure 2(2a) show the relationship between the values of the species \(x_{1}\), \(x_{2}\) with respect to times t. Figure 1(1b) and Figure 2(2b) present descriptions of the dynamic behavior of two interacting species.
Figure 1

(1a) The relationship between the numbers of individuals of species \(\pmb{x_{1}}\) , \(\pmb{x_{2}}\) with respect to time t . (1b) The relationship between the values of \(\pmb{x_{1}}\) and \(\pmb{x_{2}}\) with \(\pmb{\alpha=0.5}\) for \(\pmb{(x_{1}(0),x_{2}(0))=(70,110), (90,90), \text{ and } (110,70)}\) .

Figure 2

(2a) The relationship between the numbers of individuals of species \(\pmb{x_{1}}\) , \(\pmb{x_{2}}\) with respect to times t . (2b) The relationship between the values of \(\pmb{x_{1}}\) and \(\pmb{x_{2}}\) with \(\pmb{(x_{1}(0),x_{2}(0))=(110,70)}\) for \(\pmb{\alpha=0.3, 0.5}\) , and 0.7.

The parameters in the model satisfy all the conditions of Theorem 4.5. Hence, the equilibrium point \((x^{*}_{1},x^{*}_{2})=(87.8661,67.9916)\) is globally uniformly asymptotically stable on \(\mathbb{R}_{2}^{+}\). From Figures 1 and 2 we can see that all the solutions of the system converge uniformly to this point.

6 Conclusion

In this study, we presented a Caputo fractional-order model of two-species facultative mutualism and analyzed the stability of the model. We investigated the local asymptotic stability of the three noncoexistence equilibrium points using the linearization method. For the coexistence equilibrium point, we analyzed the global uniform asymptotic stability via the Lyapunov method. These results provide sufficient conditions to ensure the local asymptotic stability and global uniform asymptotic stability of the model. Finally, we used some numerical simulations of the model to illustrate the stability results.

Declarations

Acknowledgements

This research is supported by Department of Mathematics, Faculty of Science, Chiang Mai University. Appreciation is extended toward the Centre of Excellence in Mathematics, CHE, for their financial support.

Authors’ contributions

Both authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

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.

Authors’ Affiliations

(1)
Department of Mathematics, Faculty of Science, Chiang Mai University, Chiang Mai, Thailand
(2)
Center of Excellence in Mathematics and Applied Mathematics, Department of Mathematics, Faculty of Science, Chiang Mai University, Chiang Mai, Thailand
(3)
Centre of Excellence in Mathematics, CHE, Bangkok, Thailand

References

  1. Brauer, F, Castillo-Chavez, C: Mathematical Models in Population Biology and Epidemiology, vol. 40. Springer, Berlin (2001) MATHGoogle Scholar
  2. Fulford, G, Forrester, P, Jones, A: Modelling with Differential and Difference Equations, vol. 10. Cambridge University Press, Cambridge (1997) View ArticleMATHGoogle Scholar
  3. Kuang, Y: Delay Differential Equations: With Applications in Population Dynamics, vol. 191. Academic Press, San Diego (1993) MATHGoogle Scholar
  4. Salisbury, A: Mathematical models in population dynamics. Dissertation. New College of Florida (2011) Google Scholar
  5. Vanmeter, KC, Hubert, RJ: Microbiology for the Healthcare Professional, 2nd edn. Mosby Elsevier, Amsterdam (2015) Google Scholar
  6. Stachowicz, JJ, Hay, ME: Facultative mutualism between an herbivorous crab and a coralline alga: advantages of eating noxious seaweeds. Oecologia 105(3), 377-387 (1996) View ArticleGoogle Scholar
  7. Rockwood, LL: Introduction to Population Ecology. Blackwell, Oxford (2006) Google Scholar
  8. Gilbert, LE: Ecological consequences of a coevolved mutualism between butterflies and plants. In: Coevolution of Animals and Plants, pp. 210-240. University of Texas Press, Austin (1980) Google Scholar
  9. Handel, SN: The competitive relationship of three woodland sedges and its bearing on the evolution of ant-dispersal of Carex pedunculata. Evolution 32(1), 151-163 (1978) MathSciNetView ArticleGoogle Scholar
  10. Batra, LR: Insect-fungus symbiosis: nutrition, mutualism, and commensalism. In: International Mycological Congress (2nd: 27 Aug.-3 Set. 1977), Florida (1979) Google Scholar
  11. Roughgarden, J: Evolution of marine symbiosis - a simple cost-benefit model. Ecology 56(5), 1201-1208 (1975) View ArticleGoogle Scholar
  12. Legovic, T, Gecek, S: Impact of maximum sustainable yield on mutualistic communities. Ecol. Model. 230, 63-72 (2012) View ArticleMATHGoogle Scholar
  13. Wolin, C, Lawlor, L: Models of facultative mutualism: density effects. Am. Nat. 124, 843-862 (1984) View ArticleGoogle Scholar
  14. Georgescu, P, Zhang, H: Lyapunov functional for two-species mutualisms. Appl. Math. Comput. 229, 754-764 (2014) MathSciNetMATHGoogle Scholar
  15. Igor, P: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, New York (1999) MATHGoogle Scholar
  16. Caputo, M: Linear models of dissipation whose Q almost frequency independent: II (reprint). Fract. Calc. Appl. Anal. 11(1), 3-14 (2008) MATHGoogle Scholar
  17. Luo, Y, Chen, YQ: Fractional Order Motion Controls. Wiley, Chichester (2012) View ArticleGoogle Scholar
  18. Machado, JT, Kiryakova, V, Mainardi, F: Recent history of fractional calculus. Commun. Nonlinear Sci. Numer. Simul. 16(3), 1140-1153 (2011) MathSciNetView ArticleMATHGoogle Scholar
  19. Almeida, R, Bastos, NRO, Monteiro, MT: Modeling some real phenomena by fractional differential equations. Math. Methods Appl. Sci. 39(16), 4846-4855 (2016) MathSciNetView ArticleMATHGoogle Scholar
  20. Demirci, E: A fractional order model for obesity epidemic in a non-constant population. Adv. Differ. Equ. 2017, 79 (2017) MathSciNetView ArticleGoogle Scholar
  21. Area, I, Batarfi, H, Losada, J, Nieto, JJ, Shammakh, W, Torres, Á: On a fractional order Ebola epidemic model. Adv. Differ. Equ. 2015(1), 278 (2015) MathSciNetView ArticleMATHGoogle Scholar
  22. Zafar, ZUA, Rehan, K, Mushtaq, M: Fractional-order scheme for bovine babesiosis disease and tick populations. Adv. Differ. Equ. 2017(1), 86 (2017) MathSciNetView ArticleGoogle Scholar
  23. Mairet, F, Ramírez, H, Rojas-Palma, A: Modelling and stability analysis of a microalgal pond with nitrification. Anual Sociedad de Matemática de Chile 51, 448-468 (2015) Google Scholar
  24. Menouer, MA, Moussaoui, A, Dads, EA: Existence and global asymptotic stability of positive almost periodic solution for a predator-prey system in an artificial lake. Chaos Solitons Fractals 103, 271-278 (2017) MathSciNetView ArticleMATHGoogle Scholar
  25. Lu, G, Lu, Z: Geometric approach to global asymptotic stability for the SEIRS models in epidemiology. Nonlinear Anal., Real World Appl. 36, 20-43 (2017) MathSciNetView ArticleMATHGoogle Scholar
  26. Guo, L, Chen, YQ: System stability analysis via a perturbation technique. Commun. Nonlinear Sci. Numer. Simul. 57, 111-124 (2017) MathSciNetView ArticleGoogle Scholar
  27. Berezansky, L, Braverman, E: A note on stability of Mackey-Glass equations with two delays. J. Math. Anal. Appl. 450(2), 1208-1228 (2017) MathSciNetView ArticleMATHGoogle Scholar
  28. Hou, Q, Wang, T: Global stability and a comparison of SVEIP and delayed SVIP epidemic models with indirect transmission. Commun. Nonlinear Sci. Numer. Simul. 43, 271-281 (2017) MathSciNetView ArticleGoogle Scholar
  29. Caetano, D, Faria, T: Stability and attractivity for Nicholson systems with time-dependent delays. Electron. J. Qual. Theory Differ. Equ. 2017, 63 (2017) MathSciNetView ArticleGoogle Scholar
  30. Liu, B: Asymptotic behavior of solutions to a class of non-autonomous delay differential equations. J. Math. Anal. Appl. 446(1), 580-590 (2017) MathSciNetView ArticleMATHGoogle Scholar
  31. Baleanu, D, Wu, GC, Zeng, SD: Chaos analysis and asymptotic stability of generalized Caputo fractional differential equations. Chaos Solitons Fractals 102, 99-105 (2017) MathSciNetView ArticleMATHGoogle Scholar
  32. Čermák, J, Došlá, Z, Kisela, T: Fractional differential equations with a constant delay: stability and asymptotics of solutions. Appl. Math. Comput. 298, 336-350 (2017) MathSciNetGoogle Scholar
  33. Yadav, VK, Das, S, Bhadauria, BS, Singh, AK, Srivastava, M: Stability analysis, chaos control of a fractional order chaotic chemical reactor system and its function projective synchronization with parametric uncertainties. Chin. J. Phys. 55(3), 594-605 (2017) View ArticleGoogle Scholar
  34. Ji, G, Ge, Q, Xu, J: Dynamic behavior of a fractional order two-species cooperative systems with harvesting. Chaos Solitons Fractals 92, 51-55 (2016) MathSciNetView ArticleMATHGoogle Scholar
  35. Huo, J, Zhao, H: Dynamical analysis of a fractional SIR model with birth and death on heterogeneous complex networks. Phys. A, Stat. Mech. Appl. 448, 41-56 (2016) MathSciNetView ArticleGoogle Scholar
  36. Ghaziani, RK, Alidousti, J, Eshkaftaki, AB: Stability and dynamics of a fractional order Leslie-Gower prey-predator model. Appl. Math. Model. 40(3), 2075-2086 (2016) MathSciNetView ArticleGoogle Scholar
  37. Li, Y, Chen, YQ, Igor, P: Stability of fractional-order nonlinear dynamic systems: Lyapunov direct method and generalized Mittag-Leffler stability. Comput. Math. Appl. 59(5), 1810-1821 (2010) MathSciNetView ArticleMATHGoogle Scholar
  38. Baranowski, J, Zagorowska, M, Bauer, W, Dziwinski, T, Piatek, P: Applications of direct Lyapunov method in Caputo non-integer order systems. Elektron. Elektrotech. 21(2), 10-13 (2015) Google Scholar
  39. Li, C, Ma, Y: Fractional dynamical system and its linearization theorem. Nonlinear Dyn. 71(4), 621-633 (2013) MathSciNetView ArticleMATHGoogle Scholar
  40. Li, Y, Chen, YQ, Igor, P: Mittag-Leffler stability of fractional order nonlinear dynamic systems. Automatica 45(8), 1965-1969 (2009) MathSciNetView ArticleMATHGoogle Scholar
  41. Zhang, F, Li, C, Chen, YQ: Asymptotical stability of nonlinear fractional differential system with Caputo derivative. Int. J. Differ. Equ. 2011, 12 (2011) MathSciNetView ArticleMATHGoogle Scholar
  42. Delavari, H, Baleanu, D, Sadati, J: Stability analysis of Caputo fractional-order nonlinear systems revisited. Nonlinear Dyn. 67(4), 2433-2439 (2012) MathSciNetView ArticleMATHGoogle Scholar
  43. Gallegos, JA, Duarte-Mermoud, MA: On the Lyapunov theory for fractional order systems. Appl. Math. Comput. 287, 161-170 (2016) MathSciNetMATHGoogle Scholar
  44. Liu, S, Jiang, W, Li, X, Zhou, XF: Lyapunov stability analysis of fractional nonlinear systems. Appl. Math. Lett. 51, 13-19 (2016) MathSciNetView ArticleMATHGoogle Scholar
  45. Vargas-De-León, C: Volterra-type Lyapunov functions for fractional-order epidemic systems. Commun. Nonlinear Sci. Numer. Simul. 24(1-3), 75-85 (2015) MathSciNetView ArticleGoogle Scholar
  46. Duarte-Mermoud, MA, Aguila-Camacho, N, Gallegos, JA, Castro-Linares, R: Using general quadratic Lyapunov functions to prove Lyapunov uniform stability for fractional order systems. Commun. Nonlinear Sci. Numer. Simul. 22(1), 650-659 (2015) MathSciNetView ArticleMATHGoogle Scholar
  47. Aguila-Camacho, N, Duarte-Mermoud, MA, Gallegos, JA: Lyapunov functions for fractional order systems. Commun. Nonlinear Sci. Numer. Simul. 19(9), 2951-2957 (2014) MathSciNetView ArticleGoogle Scholar
  48. Zhou, XF, Hu, LG, Liu, S, Jiang, W: Stability criterion for a class of nonlinear fractional differential systems. Appl. Math. Lett. 28, 25-29 (2014) MathSciNetView ArticleMATHGoogle Scholar
  49. Liang, S, Wu, R, Chen, L: Laplace transform of fractional order differential equations. Electron. J. Differ. Equ. 2015(139), 1 (2015) MathSciNetMATHGoogle Scholar
  50. Kexue, L, Jigen, P: Laplace transform and fractional differential equations. Appl. Math. Lett. 24(12), 2019-2023 (2011) MathSciNetView ArticleMATHGoogle Scholar
  51. Abdeljawad, T, Gejji, V: Lyapunov-Krasovskii stability theorem for fractional systems with delay. Rom. J. Phys. 56(5-6), 636-643 (2011) MathSciNetMATHGoogle Scholar
  52. Ahmed, E, El-Sayed, AMA, El-Saka, HAA: On some Routh-Hurwitz conditions for fractional order differential equations and their applications in Lorenz, Rössler, Chua and Chen systems. Phys. Lett. A 358(1), 1-4 (2006) MathSciNetView ArticleMATHGoogle Scholar
  53. Walter, W: Ordinary Differential Equations. Springer Graduate Texts in Mathematics, vol. 182 (1991) Google Scholar
  54. Vargas-De-León, C: Lyapunov functions for two-species cooperative systems. Appl. Math. Comput. 219(5), 2493-2497 (2012) MathSciNetMATHGoogle Scholar
  55. Diethelm, K, Ford, NJ, Freed, AD: Detailed error analysis for a fractional Adams method. Numer. Algorithms 36(1), 31-52 (2004) MathSciNetView ArticleMATHGoogle Scholar
  56. Diethelm, K, Ford, NJ, Freed, AD: A predictor-corrector approach for the numerical solution of fractional differential equations. Nonlinear Dyn. 29(1), 3-22 (2002) MathSciNetView ArticleMATHGoogle Scholar
  57. Adomian, G: Solving Frontier Problems of Physics: The Decomposition Method, vol. 60. Springer, Berlin (2013) MATHGoogle Scholar
  58. Diethelm, K, Walz, G: Numerical solution of fractional order differential equations by extrapolation. Numer. Algorithms 16(3), 231-253 (1997) MathSciNetView ArticleMATHGoogle Scholar
  59. Wu, G, Lee, EWM: Fractional variational iteration method and its application. Phys. Lett. A 374(25), 2506-2509 (2010) MathSciNetView ArticleMATHGoogle Scholar
  60. Deshpande, AS, Daftardar-Gejji, V, Sukale, YV: On Hopf bifurcation in fractional dynamical systems. Chaos Solitons Fractals 98, 189-198 (2017) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2017