 Research
 Open Access
 Published:
Asymptotic behavior of a NicholsonBailey model
Advances in Difference Equations volume 2014, Article number: 62 (2014)
Abstract
In this paper, we study the qualitative behavior of a NicholsonBailey hostparasitoid model given by
where R, a and initial conditions ${x}_{0}$, ${y}_{0}$ are positive real numbers. More precisely, we investigate the local asymptotic stability of the unique positive equilibrium point of this system. Some numerical examples are given to verify our theoretical results.
MSC:39A10, 40A05.
1 Introduction
In this paper, we study the dynamics of a NicholsonBailey hostparasitoid model which was proposed by Hassel and Varley. In this model the interaction between parasitoids is taken in such a way that the search area per parasitoid is inversely proportional to $\sqrt{{y}_{n}}$, where ${y}_{n}$ is the density of parasitoid at year n. The model is given by
where ${x}_{n}$ and ${y}_{n}$ represent the densities of the host and parasitoid populations at year n, respectively, R is the number of offspring of an unparasitized host surviving to the next year. Assuming random encounter between hosts and parasitoids, the probability that a host escapes parasitism can be approximated by ${e}^{a\sqrt{{y}_{n}}}$, where a is a proportionality constant. The probability to become infected is then given by $1{e}^{a\sqrt{{y}_{n}}}$.
For basic theory of difference equations, we refer to [1–4], and for applications of difference equations, we refer to [5, 6]. In literature there are many papers on qualitative behavior of biological models [7–18].
Our aim is to investigate the necessary and sufficient condition for local asymptotic stability of unique positive equilibrium point of (1).
2 Linearized stability
Let us consider a twodimensional discrete dynamical system of the form
where $f:I\times J\to I$ and $g:I\times J\to J$ are continuously differentiable functions and I, J are some intervals of real numbers. Furthermore, a solution ${\{({x}_{n},{y}_{n})\}}_{n=0}^{\mathrm{\infty}}$ of system (2) is uniquely determined by initial conditions $({x}_{0},{y}_{0})\in I\times J$. An equilibrium point of (2) is a point $(\overline{x},\overline{y})$ that satisfies
Definition 1 Let $(\overline{x},\overline{y})$ be an equilibrium point of system (2).

(i)
An equilibrium point $(\overline{x},\overline{y})$ is said to be stable if for every $\epsilon >0$ there exists $\delta >0$ such that for every initial condition $({x}_{0},{y}_{0})$, $\parallel ({x}_{0},{y}_{0})(\overline{x},\overline{y})\parallel <\delta $ implies $\parallel ({x}_{n},{y}_{n})(\overline{x},\overline{y})\parallel <\epsilon $ for all $n>0$, where $\parallel \cdot \parallel $ is the usual Euclidian norm in ${\mathbb{R}}^{2}$.

(ii)
An equilibrium point $(\overline{x},\overline{y})$ is said to be unstable if it is not stable.

(iii)
An equilibrium point $(\overline{x},\overline{y})$ is said to be asymptotically stable if there exists $\eta >0$ such that $\parallel ({x}_{0},{y}_{0})(\overline{x},\overline{y})\parallel <\eta $ and $({x}_{n},{y}_{n})\to (\overline{x},\overline{y})$ as $n\to \mathrm{\infty}$.
Definition 2 Let $(\overline{x},\overline{y})$ be an equilibrium point of a vector map $F(x,y)=(f(x,y),g(x,y))$, where f and g are continuously differentiable functions at $(\overline{x},\overline{y})$. The linearized system of (2) about the equilibrium point $(\overline{x},\overline{y})$ is given by
where ${X}_{n}=\left(\begin{array}{c}{x}_{n}\\ {y}_{n}\end{array}\right)$ and ${F}_{J}$ is the Jacobian matrix of system (2) about the equilibrium point $(\overline{x},\overline{y})$.
Let $(\overline{x},\overline{y})$ be an equilibrium point of system (1), then one has
Then it follows that
is a unique nontrivial equilibrium point of system (1). Obviously,
is a unique positive equilibrium point of system (1) if and only if $R>1$.
The Jacobian matrix of the linearized system of (1) about the fixed point $(\overline{x},\overline{y})$ is given by
Lemma 1 [6]
Assume that ${X}_{n+1}=F({X}_{n})$, $n=0,1,\dots $ , is a system of difference equations and $\overline{X}$ is the fixed point of F. If all eigenvalues of the Jacobian matrix ${J}_{F}$ about $\overline{X}$ lie inside the open unit disk $\lambda <1$, then $\overline{X}$ is locally asymptotically stable. If at least one of them has modulus greater than one, then $\overline{X}$ is unstable.
Consider the seconddegree polynomial equation
where p and q are real numbers.

(i)
A necessary and sufficient condition for both roots of Equation (3) to lie inside the open disk $\lambda <1$ is
$$p<1+q<2.$$
In this case the locally asymptotically stable equilibrium $(\overline{x},\overline{y})$ is also called a sink.

(ii)
A necessary and sufficient condition for both roots of Equation (3) to have absolute value greater than one is
$$q>1,\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}p<1+q.$$
In this case $(\overline{x},\overline{y})$ is a repeller.

(iii)
A necessary and sufficient condition for one root of Equation (3) to have absolute value greater than one and for the other to have absolute value less than one is
$${p}^{2}4q>0,\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}p>1+q.$$
In this case the unstable equilibrium $(\overline{x},\overline{y})$ is called a saddle point.

(iv)
A necessary and sufficient condition for a root of Equation (3) to have absolute value equal to one is
$$p=1+q.$$
In this case the equilibrium $(\overline{x},\overline{y})$ is called a nonhyperbolic point.
3 Main results
The following theorem shows the necessary and sufficient condition for local asymptotic stability of the unique positive equilibrium point of (1).
Theorem 1 Assume that $R>1$, then the unique positive equilibrium point
of system (1) is locally asymptotically stable if and only if
where ${R}_{0}>1$ is the root of the function $F(R):=Rln(R)2R+2$.
Proof The Jacobian matrix of the linearized system of (1) about the fixed point
is given by
The characteristic polynomial of ${F}_{J}(\overline{x},\overline{y})$ about the unique positive equilibrium point
is given by
Set
and
Then (5) can be written as
It follows from Lemma 1 that the unique positive equilibrium point of (1) is locally asymptotically stable if and only if ${\lambda}_{1}<1$ and ${\lambda}_{2}<1$, where
and
are roots of (5). Moreover, $p=1+\frac{ln(R)}{2(R1)}$ and $1+q=1+\frac{Rln(R)}{2(R1)}$. It is easy to see that $p<1+q$ for all $R>1$. Take
It is enough to show that $\mathrm{\Psi}(R)=1+\frac{Rln(R)}{2(R1)}<2$, and this holds true if and only if
By simple computations one can show that the function $F(R)$ has a unique root in $(1,\mathrm{\infty})$. Furthermore, it follows from Figure 1 and Figure 2 that $F(R)<0$, and equivalently $\mathrm{\Phi}(R)<\mathrm{\Psi}(R)<2$, if and only if $1<R<{R}_{0}$, where ${R}_{0}$ is the unique root of $F(R)$ in $(1,\mathrm{\infty})$, and with mathematica the unique root of function $F(R)$ can be approximated as ${R}_{0}\approx 4.921553634567504$. Hence, it follows from (i) of Lemma 2 that the unique positive equilibrium point
of system (1) is locally asymptotically stable if and only if $1<R<{R}_{0}$. □
Theorem 2 Assume that $R>1$, then the following statements are true.

(i)
The unique positive equilibrium point of (1) is a repeller if and only if $R>{R}_{0}$, where ${R}_{0}>1$ is the root of the function $F(R)=Rln(R)2R+2$.

(ii)
The unique positive equilibrium point of (1) cannot be a saddle point for all $R>1$.

(iii)
The unique positive equilibrium point of (1) cannot be nonhyperbolic for all $R>1$.
Proof (i) Assume that $R>1$, then $q=\frac{Rln(R)}{2(R1)}>1$ if and only if
It follows from Theorem 1 that $F(R)>0$ if and only if ${R}_{0}<R<\mathrm{\infty}$, where ${R}_{0}\approx 4.921553634567504$ is the unique root of $F(R)$ in $(1,\mathrm{\infty})$. Moreover,
for all $R>1$. Hence, from (ii) of Lemma 2 the unique positive equilibrium point of (1) is a repeller if and only if $R>{R}_{0}$.
(ii) It follows from the fact that
for all $R>1$. Therefore, the proof of (ii) follows from (iii) of Lemma 2.
(iii) Obviously, one can prove (iii). □
4 Examples
In order to verify our theoretical results, we consider some interesting numerical examples in this section. These examples represent different types of qualitative behavior of system (1). First four examples show that the unique positive equilibrium point of system (1) is locally asymptotically stable. Meanwhile, the last two examples show that the positive equilibrium point of system (1) is unstable.
Example 1 Consider system (1) with initial conditions ${x}_{0}=3.2$, ${y}_{0}=2.8$. Moreover, choose the parameters $R=3.99$, $a=1.5$. Then system (1) can be written as
with initial conditions ${x}_{0}=3.2$, ${y}_{0}=2.8$.
Moreover, in Figure 3 the plot of ${x}_{n}$ is shown in Figure 3(a), the plot of ${y}_{n}$ is shown in Figure 3(b) and the phase portrait of system (7) is shown in Figure 3(c).
Example 2 Consider system (1) with initial conditions ${x}_{0}=1.7$, ${y}_{0}=1.5$. Moreover, choose the parameters $R=4.8$, $a=1.3$. Then system (1) can be written as
with initial conditions ${x}_{0}=1.7$, ${y}_{0}=1.5$.
Moreover, in Figure 4 the plot of ${x}_{n}$ is shown in Figure 4(a), the plot of ${y}_{n}$ is shown in Figure 4(b) and the phase portrait of system (8) is shown in Figure 4(c).
Example 3 Consider system (1) with initial conditions ${x}_{0}=1.9$, ${y}_{0}=1.7$. Moreover, choose the parameters $R=4.7$, $a=1.7$. Then system (1) can be written as
with initial conditions ${x}_{0}=1.9$, ${y}_{0}=1.7$.
Moreover, in Figure 5 the plot of ${x}_{n}$ is shown in Figure 5(a), the plot of ${y}_{n}$ is shown in Figure 5(b) and the phase portrait of system (9) is shown in Figure 5(c).
Example 4 Consider system (1) with initial conditions ${x}_{0}=4.9$, ${y}_{0}=2.9$. Moreover, choose the parameters $R=4.2$, $a=0.8$. Then system (1) can be written as
with initial conditions ${x}_{0}=4.9$, ${y}_{0}=2.9$.
Moreover, in Figure 6 the plot of ${x}_{n}$ is shown in Figure 6(a), the plot of ${y}_{n}$ is shown in Figure 6(b) and the phase portrait of system (10) is shown in Figure 6(c).
Example 5 Consider system (1) with initial conditions ${x}_{0}=2.9$, ${y}_{0}=4.5$. Moreover, choose the parameters $R=4.99$, $a=0.5$. Then system (1) can be written as
with initial conditions ${x}_{0}=2.9$, ${y}_{0}=4.5$.
Moreover, in Figure 7 the plot of ${x}_{n}$ is shown in Figure 7(a), the plot of ${y}_{n}$ is shown in Figure 7(b) and the phase portrait of system (11) is shown in Figure 7(c).
Example 6 Consider system (1) with initial conditions ${x}_{0}=5.8$, ${y}_{0}=6.5$. Moreover, choose the parameters $R=5.2$, $a=0.7$. Then system (1) can be written as
with initial conditions ${x}_{0}=5.8$, ${y}_{0}=6.5$.
Moreover, in Figure 8 the plot of ${x}_{n}$ is shown in Figure 8(a), the plot of ${y}_{n}$ is shown in Figure 8(b) and the phase portrait of system (12) is shown in Figure 8(c).
5 Conclusion and future work
This work is related to the qualitative behavior of a discretetime NicholsonBailey model. We proved that system (1) has a unique positive equilibrium point which is locally asymptotically stable. The method of linearization is used to prove the local asymptotic stability of the unique equilibrium point. Linear stability analysis shows that the steady states of system (1) are stable under the condition (4) of Theorem 1, i.e., $1<R<{R}_{0}$, where ${R}_{0}\approx 4.921553634567504$ is the root of the function $F(R)=Rln(R)2R+2$. Particularly, the condition for local asymptotic stability in population biology is a very interesting mathematical problem. Usually the biologists believe that a unique, positive, locally asymptotically stable equilibrium point in an ecological system is very important in biological point of view. Therefore, it is very important to find conditions which may guarantee the local asymptotic stability of the unique positive equilibrium point of the given system. In the paper, we prove the necessary and sufficient condition for the local asymptotic stability of the unique positive equilibrium point of system (1). Some numerical examples are provided to support our theoretical results. These examples are experimental verifications of theoretical discussions. The NeimarkSacker bifurcation of system (1) is our next aim to study.
References
 1.
Agarwal RP: Difference Equations and Inequalities: Revised and Expanded. 2nd edition. Dekker, New York; 2000.
 2.
Camouzis E, Ladas G: Dynamics of ThirdOrder Rational Difference Equations with Open Problems and Conjectures. Chapman & Hall/CRC Press, Boca Raton; 2007.
 3.
Elaydi S: An Introduction to Difference Equations. 3rd edition. Springer, New York; 2005.
 4.
Grove EA, Ladas G: Periodicities in Nonlinear Difference Equations. Chapman & Hall/CRC Press, Boca Raton; 2004.
 5.
EdelsteinKeshet L: Mathematical Models in Biology. McGrawHill, New York; 1988.
 6.
Sedaghat H: Nonlinear Difference Equations: Theory with Applications to Social Science Models. Kluwer Academic, Dordrecht; 2003.
 7.
Ahmad S: On the nonautonomous LotkaVolterra competition equation. Proc. Am. Math. Soc. 1993, 117: 199204. 10.1090/S00029939199311430133
 8.
Tang X, Zou X: On positive periodic solutions of LotkaVolterra competition systems with deviating arguments. Proc. Am. Math. Soc. 2006, 134: 29672974. 10.1090/S0002993906083201
 9.
Zhou Z, Zou X: Stable periodic solutions in a discrete periodic logistic equation. Appl. Math. Lett. 2003, 16(2):165171. 10.1016/S08939659(03)800277
 10.
Liu X: A note on the existence of periodic solution in discrete predatorprey models. Appl. Math. Model. 2010, 34: 24772483. 10.1016/j.apm.2009.11.012
 11.
Ufuktepe, U, Kapçak, S: Stability analysis of a host parasite model. Adv. Differ. Equ. doi:10.1186/16871847201379
 12.
Din, Q: Dynamics of a discrete LotkaVolterra model. Adv. Differ. Equ. doi:10.1186/16871847201395
 13.
Din Q, Donchev T: Global character of a hostparasite model. Chaos Solitons Fractals 2013, 54: 17.
 14.
Din, Q, Khan, AQ, Qureshi, MN: Qualitative behavior of a hostpathogen model. Adv. Differ. Equ. doi:10.1186/168718472013263
 15.
Din Q: Global stability of a population model. Chaos Solitons Fractals 2014, 59: 119128.
 16.
Allen LJS, Hannigan MK, Strauss MJ: Mathematical analysis of a model for a plantherbivore system. Bull. Math. Biol. 1993, 55(4):847864. 10.1007/BF02460676
 17.
Allen LJS, Hannigan MK, Strauss MJ: Development and analysis of mathematical model for a plantherbivore system. 4. Proc. WCNA 92 1995, 37233732.
 18.
Allen LJS, Strauss MJ, Tnorvilson HG, Lipe WN: A preliminary mathematical model of the apple twig borer (Coleoptera: Bostricidae) and grapes on the Texas High Planes. Ecol. Model. 1991, 58: 369382. 10.1016/03043800(91)900464
 19.
Kulenović MRS, Ladas G: Dynamics of Second Order Rational Difference Equations. Chapman & Hall/CRC Press, Boca Raton; 2002.
Acknowledgements
This work was supported by the Higher Education Commission of Pakistan.
Author information
Additional information
Competing interests
The authors have no competing interests.
Authors’ contributions
All authors contributed equally in drafting this manuscript and giving the main proofs.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
About this article
Received
Accepted
Published
DOI
Keywords
 NicholsonBailey model
 steadystates
 local stability