Theory and Modern Applications

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

## 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.

## 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 . There are several types of population models such as interspecific competition models, predator-prey models, and facultative mutualism models .

Two-species facultative cooperative interaction or facultative mutualism is the interaction between two different biological species in which both species benefit , such as herbivorous crabs and coralline algae . The famous two-species mutualism models are derived from modified Lotka-Volterra competition equations  and have been applied to a variety of ecological interactions . In 2012, Legovic and Gecek  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 ). If one species is missing, then the dynamics of the other species is characterized by logistic growth .

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 , and the Caputo definition . 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 . 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 . The advantages of fractional calculus support its use in applied mathematics, physics, chemistry, engineering, and even finance and social sciences . Some examples include data-fitting problems for blood alcohol level, video tape counter readings and models for world population growth , obesity epidemics , Ebola epidemics , and bovine babesiosis disease and tick populations .

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 , delay differential equations , and fractional differential equations .

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 . 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 . 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.

## Preliminaries

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

### Definition 2.1

()

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

()

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

()

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

()

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

()

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 .

### Theorem 2.6

()

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

()

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

()

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 )

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

()

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

()

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}}^{+}}$$.

## 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 :

$$\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.

### 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 , 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 , system (3.3) has a unique solution in $$\mathbb {R}_{+}^{2}$$.

### 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}$$. □

## 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 , which is the proof that there exists a unique coexisting equilibrium point for integer-order system (1.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. □

### 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  and different from the functions presented in .

### 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.

## 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 , the predictor corrector method , the Adomian decomposition method , the extrapolation method , and the variational iteration method . However, among these methods, the Adams method is useful for studying the long-term behavior of the solutions of nonlinear fractional differential equations . 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.

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.

## 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.

## References

1. Brauer, F, Castillo-Chavez, C: Mathematical Models in Population Biology and Epidemiology, vol. 40. Springer, Berlin (2001)

2. Fulford, G, Forrester, P, Jones, A: Modelling with Differential and Difference Equations, vol. 10. Cambridge University Press, Cambridge (1997)

3. Kuang, Y: Delay Differential Equations: With Applications in Population Dynamics, vol. 191. Academic Press, San Diego (1993)

4. Salisbury, A: Mathematical models in population dynamics. Dissertation. New College of Florida (2011)

5. Vanmeter, KC, Hubert, RJ: Microbiology for the Healthcare Professional, 2nd edn. Mosby Elsevier, Amsterdam (2015)

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)

7. Rockwood, LL: Introduction to Population Ecology. Blackwell, Oxford (2006)

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)

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)

10. Batra, LR: Insect-fungus symbiosis: nutrition, mutualism, and commensalism. In: International Mycological Congress (2nd: 27 Aug.-3 Set. 1977), Florida (1979)

11. Roughgarden, J: Evolution of marine symbiosis - a simple cost-benefit model. Ecology 56(5), 1201-1208 (1975)

12. Legovic, T, Gecek, S: Impact of maximum sustainable yield on mutualistic communities. Ecol. Model. 230, 63-72 (2012)

13. Wolin, C, Lawlor, L: Models of facultative mutualism: density effects. Am. Nat. 124, 843-862 (1984)

14. Georgescu, P, Zhang, H: Lyapunov functional for two-species mutualisms. Appl. Math. Comput. 229, 754-764 (2014)

15. Igor, P: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, New York (1999)

16. Caputo, M: Linear models of dissipation whose Q almost frequency independent: II (reprint). Fract. Calc. Appl. Anal. 11(1), 3-14 (2008)

17. Luo, Y, Chen, YQ: Fractional Order Motion Controls. Wiley, Chichester (2012)

18. Machado, JT, Kiryakova, V, Mainardi, F: Recent history of fractional calculus. Commun. Nonlinear Sci. Numer. Simul. 16(3), 1140-1153 (2011)

19. Almeida, R, Bastos, NRO, Monteiro, MT: Modeling some real phenomena by fractional differential equations. Math. Methods Appl. Sci. 39(16), 4846-4855 (2016)

20. Demirci, E: A fractional order model for obesity epidemic in a non-constant population. Adv. Differ. Equ. 2017, 79 (2017)

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)

22. Zafar, ZUA, Rehan, K, Mushtaq, M: Fractional-order scheme for bovine babesiosis disease and tick populations. Adv. Differ. Equ. 2017(1), 86 (2017)

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)

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)

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)

26. Guo, L, Chen, YQ: System stability analysis via a perturbation technique. Commun. Nonlinear Sci. Numer. Simul. 57, 111-124 (2017)

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)

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)

29. Caetano, D, Faria, T: Stability and attractivity for Nicholson systems with time-dependent delays. Electron. J. Qual. Theory Differ. Equ. 2017, 63 (2017)

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)

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)

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)

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)

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)

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)

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)

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)

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)

39. Li, C, Ma, Y: Fractional dynamical system and its linearization theorem. Nonlinear Dyn. 71(4), 621-633 (2013)

40. Li, Y, Chen, YQ, Igor, P: Mittag-Leffler stability of fractional order nonlinear dynamic systems. Automatica 45(8), 1965-1969 (2009)

41. Zhang, F, Li, C, Chen, YQ: Asymptotical stability of nonlinear fractional differential system with Caputo derivative. Int. J. Differ. Equ. 2011, 12 (2011)

42. Delavari, H, Baleanu, D, Sadati, J: Stability analysis of Caputo fractional-order nonlinear systems revisited. Nonlinear Dyn. 67(4), 2433-2439 (2012)

43. Gallegos, JA, Duarte-Mermoud, MA: On the Lyapunov theory for fractional order systems. Appl. Math. Comput. 287, 161-170 (2016)

44. Liu, S, Jiang, W, Li, X, Zhou, XF: Lyapunov stability analysis of fractional nonlinear systems. Appl. Math. Lett. 51, 13-19 (2016)

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)

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)

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)

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)

49. Liang, S, Wu, R, Chen, L: Laplace transform of fractional order differential equations. Electron. J. Differ. Equ. 2015(139), 1 (2015)

50. Kexue, L, Jigen, P: Laplace transform and fractional differential equations. Appl. Math. Lett. 24(12), 2019-2023 (2011)

51. Abdeljawad, T, Gejji, V: Lyapunov-Krasovskii stability theorem for fractional systems with delay. Rom. J. Phys. 56(5-6), 636-643 (2011)

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)

53. Walter, W: Ordinary Differential Equations. Springer Graduate Texts in Mathematics, vol. 182 (1991)

54. Vargas-De-León, C: Lyapunov functions for two-species cooperative systems. Appl. Math. Comput. 219(5), 2493-2497 (2012)

55. Diethelm, K, Ford, NJ, Freed, AD: Detailed error analysis for a fractional Adams method. Numer. Algorithms 36(1), 31-52 (2004)

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)

57. Adomian, G: Solving Frontier Problems of Physics: The Decomposition Method, vol. 60. Springer, Berlin (2013)

58. Diethelm, K, Walz, G: Numerical solution of fractional order differential equations by extrapolation. Numer. Algorithms 16(3), 231-253 (1997)

59. Wu, G, Lee, EWM: Fractional variational iteration method and its application. Phys. Lett. A 374(25), 2506-2509 (2010)

60. Deshpande, AS, Daftardar-Gejji, V, Sukale, YV: On Hopf bifurcation in fractional dynamical systems. Chaos Solitons Fractals 98, 189-198 (2017)

## 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.

## Author information

Authors

### Contributions

Both authors read and approved the final manuscript.

### Corresponding author

Correspondence to Sompop Moonchai.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests. 