Skip to main content

# Asymptotic properties of a population model with Allee effects in random environments

## Abstract

In this research, we probe the influences of two common types of stochastic noises in the environment, namely, white noise and telephone noise, and put forward a stochastic differential equation population model with Allee effects. We analyze some asymptotic behaviors of the model, including extermination, persistence and invariant measure. Some vital functions of white noise and telephone noise on these asymptotic behaviors of the model are discovered and numerically expounded.

## Introduction

In the nature, species often forms various degrees of aggregations . Aggregation may enhance intraspecific competition, but this influence is often offset by the increased survival ability of the species, because aggregation could help the individual to protect itself, discover resources, or adapt to the environmental stresses . The degree of aggregation, which varies with species and circumstances, promotes optimum population growth and survival. A group often has an optimal population size at some intermediate level. Both undercrowding and overcrowding have limitations . This aggregation principle is the famous Allee principle .

To mathematically depict the Allee principle, several models have been put forward (see, e.g., [4, 5, 8]). Especially, Jacobs  has put forward the following deterministic differential equation model and probed its stability:

$$\frac{\mathrm{d} N(t)}{\mathrm{d}t}= N(t) \biggl[r+ \frac{\rho N^{a}(t)}{ N^{a}(t)+\theta }- \beta N^{b}(t) \biggr],$$
(1)

where $$N(t)$$ is the population abundance; $$r>0$$, $$\rho >0$$ and $$\beta >0$$ measure the growth rate, the positive influence of aggregation and the negative influence of overcrowding, respectively. $$a>0$$ and $$b>0$$ are flexible constants to fit the real data.

Nevertheless, environmental noises should be thought over owing to their universal existence . In fact, ignoring environmental noises may be one of the main causes for the vanishing of many species . As a result, one should concentrate on model (1) with environmental noises to exploit the Allee principle more accurately. However, no findings of model (1) with environmental noises have been reported.

The goal of this research is to put forward a stochastic form of model (1) and to probe its dynamical behaviors. We put forward the stochastic differential equation model in Sect. 2. Then we probe the extermination-persistence and invariant measure of the model in Sects. 3 and 4, respectively. Afterwards, we discuss and numerically expound the impacts of environmental noises on the properties of model (3) in Sect. 5. Finally, we summarize the research in Sect. 6.

## The stochastic model

Two common types of stochastic noises in the environment are white noise and telephone noise . White noise could influence one or more parameters in a population model ; and the growth rate might be the most sensitive parameter . There are several means to bring white noise to the growth rate. One widely adopted means (see, e.g., [6, 7, 13]) is to presume that

$$r\rightarrow r+\varpi \dot{\omega }(t),$$

where $$\dot{\omega }(t)$$ is white noise, namely, $$\{\omega (t)\}_{t\geq 0}$$ is a standard Brownian motion, $$\varpi ^{2}$$ represents the intensity. Therefore, model (1) turns into

$$\mathrm{d} N(t)= N(t) \biggl[r+\frac{\rho N^{a}(t)}{ N^{a}(t)+\theta }- \beta N^{b}(t) \biggr]\,\mathrm{d}t+ \varpi N(t)\,\mathrm{d}\omega (t).$$
(2)

Now we move to telephone noise which can cause the changes of parameters . Mathematically, one can recur to a right continuous irreducible Markov chain $$\kappa (t)$$ with a finite state space $$\Upsilon =\{1,\ldots,N^{\ast }\}$$ to describe telephone noise . Adhering to this means, model (2) turns into

$$\mathrm{d} N(t)= N(t) \biggl[r\bigl(\kappa (t)\bigr)+ \frac{\rho (\kappa (t)) N^{a}(t)}{ N^{a}(t)+\theta (\kappa (t))}- \beta \bigl(\kappa (t)\bigr) N^{b}(t) \biggr]\, \mathrm{d}t +\varpi \bigl(\kappa (t)\bigr) N(t) \,\mathrm{d}\omega (t),$$
(3)

where $$\min_{i\in \Upsilon }\{r(i),\rho (i),\theta (i)\}>0$$. Model (3) could depict the reality better than model (2). As a matter of fact, assume initially, $$\kappa (t)=i_{0}$$, then model (3) is as follows:

$$\mathrm{d} N(t)= N(t) \biggl[r(i_{0})+ \frac{\rho (i_{0}) N^{a}(t)}{ N^{a}(t)+\theta (i_{0})}-\beta (i_{0}) N^{b}(t) \biggr]\,\mathrm{d}t +\varpi (i_{0}) N(t)\,\mathrm{d}\omega (t)$$

for a random time, until $$\kappa (t)$$ jumps to a new state, $$i_{1}$$, then model (3) is as follows:

$$\mathrm{d} N(t)= N(t) \biggl[r(i_{1})+ \frac{\rho (i_{1}) N^{a}(t)}{ N^{a}(t)+\theta (i_{1})}-\beta (i_{1}) N^{b}(t) \biggr]\,\mathrm{d}t +\varpi (i_{1}) N(t)\,\mathrm{d}\omega (t)$$

until $$\kappa (t)$$ jumps again. Clearly, if $$\kappa (t)$$ does not jump, then model (3) reduces to model (2). As a result, model (3) could depict the random changes of the environment, which cannot be described by model (2).

## Extinction and persistence

Let $$\kappa (t)$$ be independent with $$\omega (t)$$, and let $$M=(m_{il})_{N^{\ast }\times N^{\ast }}$$ and $$\phi =(\phi _{1},\ldots,\phi _{N^{\ast }})$$ represent the generator and the invariant measure of $$\kappa (t)$$, respectively. Then, for $$i\neq l$$, $$m_{il}> 0$$, and, for $$i\in \Upsilon$$, $$\sum_{l\in \Upsilon } m_{il}=0$$. Define

$$\varsigma ^{u}= \max_{i\in \Upsilon }\bigl\{ \varsigma (i)\bigr\} ,\qquad \varsigma ^{l}=\min_{i\in \Upsilon }\bigl\{ \varsigma (i)\bigr\} .$$

For the scalar equation

$$\mathrm{d}z(t)=f_{1} \bigl(z(t),\kappa (t) \bigr)\, \mathrm{d}t+f_{2} \bigl(z(t), \kappa (t) \bigr)\,\mathrm{d}\omega (t),$$

define an operator $$\mathcal{L}$$ as follows:

$$\mathcal{L}\Psi (z,i)=\Psi _{z}(z,i)f_{1}(z,i)+f_{2}^{2}(z,i) \Psi _{zz}(z,i)/2+ \sum_{l\in \Upsilon }m_{il} \Psi (z,l),$$

where $$\Psi (z,i)$$ is a twice differentiable function of z.

### Lemma 1

(, Lemma 2.3)

Let $$\upsilon \in \mathbb{R}^{N^{\ast }}$$ be a vector, then $$\phi \upsilon =0$$ means that $$M x=\upsilon$$ possesses a solution.

### Lemma 2

For arbitrary $$( N(0),\kappa (0))\in (0,+\infty )\times \Upsilon$$, model (3) has a unique solution $$( N(t),\kappa (t))\in (0,+\infty )\times \Upsilon$$ for all $$t\geq 0$$ a.s.

### Proof

The proof is standard and therefore is omitted (see, e.g., ). □

Now, let us probe the extermination of (3).

### Theorem 1

If $$\bar{\Delta }+\bar{\rho }<0$$, then $$\lim_{t\rightarrow +\infty } N(t)=0$$, a.s., here

$$\bar{\Delta }=\sum_{i\in \Upsilon }\phi _{i} \Delta (i),\qquad \Delta (i)=r(i)- \varpi ^{2}(i)/2, \qquad\bar{\rho }=\sum _{i\in \Upsilon }\phi _{i} \rho (i).$$

### Proof

According to Itô’s formula ,

\begin{aligned} &\ln N(t)-\ln N(0)\\ &\quad = \int _{0}^{t} \biggl[\Delta \bigl(\kappa (s)\bigr)+ \rho \bigl(\kappa (s)\bigr)\frac{ N^{a}(s)}{ N^{a}(s)+\theta (\kappa (s))}- \beta \bigl(\kappa (s)\bigr) N^{b}(s) \biggr]\,\mathrm{d}s + \int _{0}^{t}\varpi \bigl( \kappa (s)\bigr)\, \mathrm{d}\omega (s) \\ &\quad \leq \int _{0}^{t} \bigl[\Delta \bigl(\kappa (s)\bigr)+ \rho \bigl( \kappa (s)\bigr) \bigr]\,\mathrm{d}s+ \int _{0}^{t}\varpi \bigl(\kappa (s)\bigr) \, \mathrm{d}\omega (s).\end{aligned}
(4)

Taking advantage of the ergodicity of ϕ leads to

$$\lim_{t\rightarrow +\infty }t^{-1} \int _{0}^{t} \bigl[\Delta \bigl( \kappa (s)\bigr)+ \rho \bigl(\kappa (s)\bigr) \bigr]\,\mathrm{d}s =\bar{\Delta }+\bar{ \rho }.$$
(5)

The strong number law of martingales  implies

$$\lim_{t\rightarrow +\infty }t^{-1} \int _{0}^{t}\varpi \bigl( \kappa (s)\bigr)\, \mathrm{d}\omega (s)=0,\quad\text{a.s.}$$
(6)

By (4), (5) and (6),

$$\limsup_{t\rightarrow +\infty }t^{-1}\ln N(t)\leq \bar{\Delta }+ \bar{ \rho }< 0,\quad\text{a.s.}$$

So $$\lim_{t\rightarrow +\infty } N(t)=0$$, a.s. □

### Theorem 2

If $$\bar{\Delta }>0$$, then the species represented by Eq. (3) is stochastically persistent, namely, for any $$\varepsilon \in (0,1)$$, one can seek a pair of constants $$\Lambda _{1}=\Lambda _{1}(\varepsilon )\in (0,+\infty )$$ and $$\Lambda _{2}=\Lambda _{2}(\varepsilon )\in (0,+\infty )$$ such that, for arbitrary $$(N(0),\kappa (0))\in (0,+\infty )\times \Upsilon$$,

$$\liminf_{t\rightarrow +\infty }\mathrm{P}\bigl\{ N(t)\leq \Lambda _{1} \bigr\} \geq 1-\varepsilon$$
(7)

and

$$\liminf_{t\rightarrow +\infty }\mathrm{P}\bigl\{ N(t)\geq \Lambda _{2} \bigr\} \geq 1-\varepsilon.$$
(8)

### Proof

We address (7) to begin with. For a given $$\nu \in (0,1)$$, define

$$\Psi _{1}( N)= N^{\nu },\quad N>0.$$

By Itô’s formula, we have

\begin{aligned} &\mathrm{d}\Psi _{1}( N)\\ &\quad=\nu N^{\nu -1}\,\mathrm{d} N+0.5\nu (\nu -1) N^{ \nu -2}(\mathrm{d} N)^{2} \\ & \quad=\nu N^{\nu } \biggl[r(\kappa )+0.5(\nu -1)\varpi ^{2}( \kappa ) +\rho (\kappa )\frac{ N^{a}(t)}{ N^{a}(t)+\theta (\kappa )}- \beta (\kappa ) N^{b}(t) \biggr]\,\mathrm{d}t\\ &\qquad{}+\nu \varpi (\kappa ) N^{\nu }\,\mathrm{d}\omega (t) \\ &\quad\leq \nu N^{\nu } \biggl[r(\kappa )+\rho (\kappa ) \frac{ N^{a}(t)}{ N^{a}(t)+\theta (\kappa )}- \beta (\kappa ) N^{b}(t) \biggr]\,\mathrm{d}t +\nu \varpi (\kappa ) N^{\nu }\,\mathrm{d} \omega (t). \end{aligned}

As a result,

\begin{aligned}& \mathrm{d}\bigl(e^{t} \Psi _{1}( N)\bigr)\\ &\quad =e^{t} \Psi _{1}( N) \,\mathrm{d}t+e^{t} \,\mathrm{d}\Psi _{1}( N) \\ &\quad \leq \nu e^{t} N^{\nu } \biggl[1/\nu +r(\kappa )+\rho ( \kappa )\frac{ N^{a}(t)}{ N^{a}(t)+\theta }-\beta (\kappa ) N^{b}(t) \biggr]\,\mathrm{d}t +e^{t} \nu \varpi (\kappa ) N^{\nu }\,\mathrm{d}\omega (t) \\ &\quad \leq \nu e^{t} N^{\nu } \bigl[1/\nu +r^{u}+\rho ^{u}- \beta ^{l} N^{b}(t) \bigr]\,\mathrm{d}t +e^{t} \nu \varpi (\kappa ) N^{\nu }\,\mathrm{d}\omega (t) \\ &\quad \leq \Gamma e^{t} \,\mathrm{d}t+e^{t} \nu \varpi ( \kappa ) N^{\nu }\,\mathrm{d}\omega (t), \end{aligned}

here $$\Gamma \in (0,+\infty )$$ is a constant. Thereby,

$$\limsup_{t\rightarrow +\infty }\mathbb{E}\bigl[ N^{\nu }(t)\bigr]\leq \Gamma.$$

Let $$\Lambda _{1}=(\Gamma /\varepsilon )^{1/\nu }$$, by Chebyshev’s inequality ,

$$\limsup_{t\rightarrow +\infty }\mathrm{P}\bigl\{ N(t)>\Lambda _{1} \bigr\} =\limsup_{t\rightarrow +\infty }\mathrm{P}\bigl\{ N^{\nu }(t)> \Lambda _{1}^{\nu }\bigr\} \leq \limsup_{t\rightarrow +\infty } \mathbb{E}\bigl[ N^{\nu }(t)\bigr]/\Lambda _{1}^{\nu }= \varepsilon.$$

Now we address (8). Let

$$\Psi _{2}( N)=1/ N^{2},\quad N>0.$$

Taking advantage of Itô’s formula yields

\begin{aligned} \mathrm{d}\Psi _{2}( N)={}&{-}2 N^{-3} \,\mathrm{d} N+3 N^{-4}(\mathrm{d} N)^{2} \\ ={}&2\Psi _{2}( N) \biggl[\beta (\kappa ) N^{b}(t)-\rho ( \kappa )\frac{ N^{a}(t)}{ N^{a}(t)+\theta (\kappa )}-r(\kappa ) \biggr] \,\mathrm{d}t \\ &{} +3\varpi ^{2}(\kappa )\Psi _{2}( N)\,\mathrm{d}t-2 \varpi (\kappa )\Psi _{2}( N)\,\mathrm{d}\omega (t).\end{aligned}

From Lemma 1 we know that $$M x=-2\Delta +\bar{\Delta }(2,\ldots,2)^{\mathrm{T}}$$ possesses a solution which is represented as $$(\xi _{1},\ldots,\xi _{N^{\ast }})^{\mathrm{T}}$$, here $$\Delta =(\Delta (1),\ldots,\Delta (N^{\ast }))^{\mathrm{T}}$$. Accordingly, for each $$i\in \Upsilon$$,

$$\frac{1}{2}\sum_{l\in \Upsilon }m_{il} \xi _{l}+\Delta (i)=\bar{\Delta }.$$
(9)

Fix a sufficiently small $$\mu \in (0,1)$$ such that, for all $$i\in \Upsilon$$,

$$1-\xi _{i}\mu >0, \qquad\bar{\Delta }-\mu \varpi ^{2}(i)+ \frac{\xi _{i}\mu }{2(1-\xi _{i}\mu )}\sum_{l\in \Upsilon }m_{il}\xi _{l}>0.$$

It then follows from (9) that

\begin{aligned}\Delta (i)-\frac{1}{2(1-\xi _{i}\mu )\mu }\sum_{l\in \Upsilon }m_{il}(1- \xi _{l}\mu ) &=\Delta (i)+\frac{1}{2(1-\xi _{i}\mu )}\sum _{l\in \Upsilon }m_{il}\xi _{l} \\ &=\bar{\Delta }+ \frac{\xi _{i}\mu }{2(1-\xi _{i}\mu )}\sum_{l\in \Upsilon }m_{il}\xi _{l}. \end{aligned}
(10)

Let

$$\Psi _{3}( N,i)=(1-\xi _{i}\mu ) \bigl(1+\Psi _{2}( N)\bigr)^{\mu }.$$

By Itô’s formula,

$$\mathbb{E}\Psi _{3}\bigl( N(t),\kappa (t)\bigr)=\Psi _{3} \bigl( N(0),\kappa (0)\bigr)+ \mathbb{E} \int _{0}^{t}\mathcal{L}\Psi _{3}\bigl( N(s),\kappa (s)\bigr) \,\mathrm{d}s,$$

here

\begin{aligned} &\mathcal{L}\Psi _{3}( N,i) \\ &\quad =2(1-\xi _{i}\mu )\mu \bigl(1+\Psi _{2}( N) \bigr)^{\mu -2} \biggl\{ \bigl(1+\Psi _{2}( N)\bigr)\\ &\qquad{}\times \biggl[\Psi _{2}( N) \biggl(\beta (i) N^{b}- \rho (i) \frac{ N^{a}}{ N^{a}+\theta (i)}-r(i)+1.5\varpi ^{2}(i) \biggr) \biggr] \\ &\qquad{} +(\mu -1)\varpi ^{2}(i)\Psi _{2}^{2}( N) \biggr\} +\bigl(1+ \Psi _{2}( N)\bigr)^{\mu }\sum _{l\in \Upsilon }m_{il}(1-\xi _{l}\mu ) \\ &\quad=2(1-\xi _{i}\mu )\mu \bigl(1+\Psi _{2}( N) \bigr)^{\mu -2} \biggl\{ - \bigl[ \Delta (i)-\mu \varpi ^{2}(i) \bigr]\Psi _{2}^{2}( N) \\ &\qquad{} + \bigl(1.5\varpi ^{2}(i)-r(i) \bigr)\Psi _{2}( N)+\beta (i) N^{b} \Psi _{2}( N) \bigl(1+\Psi _{2}( N) \bigr) \\ &\qquad{} -\rho (i)\frac{ N^{a}}{ N^{a}+\theta (i)}\Psi _{2}( N) \bigl(1+\Psi _{2}( N) \bigr) \biggr\} +\bigl(1+\Psi _{2}( N) \bigr)^{ \mu }\sum_{l\in \Upsilon }m_{il}(1-\xi _{l}\mu ) \\ &\quad =2(1-\xi _{i}\mu )\mu \bigl(1+\Psi _{2}( N) \bigr)^{\mu -2}\\ &\qquad{}\times \biggl\{ - \biggl[ \Delta (i)-\mu \varpi ^{2}(i)- \frac{1}{2(1-\xi _{i}\mu )\mu }\sum_{l\in \Upsilon }m_{il}(1-\xi _{l} \mu ) \biggr]\Psi _{2}^{2}( N) \\ &\qquad{} +\beta (i)\Psi _{2}^{2-b/2}( N)+ \biggl[1.5\varpi ^{2}(i)-r(i)+ \frac{1}{(1-\xi _{i}\mu )\mu }\sum_{l\in \Upsilon }m_{il}(1- \xi _{l} \mu ) \biggr]\Psi _{2}( N) \\ &\qquad{} +\beta (i)\Psi _{2}^{1-b/2}( N)+ \frac{1}{2(1-\xi _{i}\mu )\mu }\sum _{l\in \Upsilon }m_{il}(1-\xi _{l} \mu )\\ &\qquad{}-\rho (i)\frac{ N^{a}}{ N^{a}+\theta (i)}\Psi _{2}( N) \bigl(1+ \Psi _{2}( N) \bigr) \biggr\} \\ &\quad =2(1-\xi _{i}\mu )\mu \bigl(1+\Psi _{2}( N) \bigr)^{\mu -2} \biggl\{ - \biggl[ \bar{\Delta }-\mu \varpi ^{2}(i)+ \frac{\xi _{i}\mu }{2(1-\xi _{i}\mu )}\sum_{l\in \Upsilon }m_{il} \xi _{l} \biggr]\Psi _{2}^{2}( N) \\ &\qquad{} +\beta (i)\Psi _{2}^{2-b/2}( N)+ \biggl[1.5\varpi ^{2}(i)-r(i)+ \frac{1}{(1-\xi _{i}\mu )\mu }\sum_{l\in \Upsilon }m_{il}(1- \xi _{l} \mu ) \biggr]\Psi _{2}( N) \\ &\qquad{} +\beta (i)\Psi _{2}^{1-b/2}( N)+ \frac{1}{2(1-\xi _{i}\mu )\mu }\sum _{l\in \Upsilon }m_{il}(1-\xi _{l} \mu )\\ &\qquad{}-\rho (i)\frac{ N^{a}}{ N^{a}+\theta (i)}\Psi _{2}( N) \bigl(1+ \Psi _{2}( N) \bigr) \biggr\} . \end{aligned}

One can verify that

\begin{aligned} &\bigl(1+\Psi _{2}( N)\bigr)^{\mu } \sum_{l\in \Upsilon }m_{il}(1- \xi _{l}\mu ) \\ &\quad = \bigl[2(1-\xi _{i}\mu )\mu \bigl(1+\Psi _{2}( N) \bigr)^{\mu -2} \bigr] \biggl[\bigl(1+\Psi _{2}( N) \bigr)^{2} \frac{\sum_{l\in \Upsilon }m_{il}(1-\xi _{l}\mu )}{2(1-\xi _{i}\mu )\mu } \biggr] \\ &\quad= \bigl[2(1-\xi _{i}\mu )\mu \bigl(1+\Psi _{2}( N) \bigr)^{\mu -2} \bigr] \biggl[ \frac{\sum_{l\in \Upsilon }m_{il}(1-\xi _{l}\mu )}{2(1-\xi _{i}\mu )\mu } \Psi _{2}^{2}( N) \\ &\qquad{} + \frac{\sum_{l\in \Upsilon }m_{il}(1-\xi _{l}\mu )}{(1-\xi _{i}\mu )\mu } \Psi _{2}( N) + \frac{\sum_{l\in \Upsilon }m_{il}(1-\xi _{l}\mu )}{2(1-\xi _{i}\mu )\mu } \biggr]. \end{aligned}

Fix a sufficiently small $$\gamma >0$$ such that, for all $$i\in \Upsilon$$,

$$\bar{\Delta }-\mu \varpi ^{2}(i)+\frac{\xi _{i}\mu }{2(1-\xi _{i}\mu )} \sum_{l\in \Upsilon }m_{il}\xi _{l}- \frac{\gamma }{2\mu }>0.$$
(11)

Let

$$\Psi _{4}( N,i)= e^{\gamma t}\Psi _{3}( N,i).$$

By Itô’s formula,

$$\mathbb{E}\Psi _{4}\bigl( N(t),\mu (t)\bigr)=\Psi _{3} \bigl( N(0),\mu (0)\bigr)+ \mathbb{E} \int _{0}^{t}\mathcal{L} \bigl[e^{\gamma s}\Psi _{3}\bigl( N(s), \mu (s)\bigr) \bigr]\,\mathrm{d}s,$$

here

\begin{aligned} &\mathcal{L}\bigl[\Psi _{4}( N,i)\bigr] \\ &\quad=e^{\gamma t}\mathcal{L} \Psi _{3}( N,i)+\gamma e^{\gamma t} \Psi _{3}( N,i) \\ & \quad= e^{\gamma t}2(1-\xi _{i}\mu )\mu \bigl(1+\Psi _{2}( N)\bigr)^{ \mu -2}\\ &\qquad{}\times \biggl\{ - \biggl[ \bar{\Delta }-\mu \varpi ^{2}(i)- \frac{\gamma }{2\mu }+\frac{\xi _{i}\mu }{2(1-\xi _{i}\mu )}\sum _{l\in \Upsilon }m_{il}\xi _{l} \biggr]\Psi _{2}^{2}(N) \\ &\qquad{} +\beta (i)\Psi _{2}^{2-b/2}(N)+ \biggl[1.5\varpi ^{2}(i)-r(i)+ \frac{1}{(1-\xi _{i}\mu )\mu }\sum_{l\in \Upsilon }m_{il}(1- \xi _{l} \mu )+\frac{\gamma }{\mu } \biggr]\Psi _{2}(N) \\ &\qquad{} +\beta (i)\Psi _{2}^{1-b/2}(N)+ \frac{1}{2(1-\xi _{i}\mu )\mu }\sum _{l\in \Upsilon }m_{il}(1-\xi _{l} \mu )+ \frac{\gamma }{2\mu }\\ &\qquad{}-\rho (i)\frac{N^{a}}{N^{a}+\theta (i)}\Psi _{2}(N) \bigl(1+\Psi _{2}(N) \bigr) \biggr\} \\ &\quad \leq e^{\gamma t}2(1-\xi _{i}\mu )\mu \bigl(1+\Psi _{2}( N)\bigr)^{ \mu -2}\\ &\qquad{}\times \biggl\{ - \biggl[ \bar{\Delta }-\mu \beta _{1}^{2}(i)- \frac{\gamma }{2\mu }+\frac{\xi _{i}\mu }{2(1-\xi _{i}\mu )}\sum _{l\in \Upsilon }m_{il}\xi _{l} \biggr]\Psi _{2}^{2}(N) \\ &\qquad{} +\beta (i)\Psi _{2}^{2-b/2}(N)+ \biggl[1.5\varpi ^{2}(i)-r(i)+ \frac{1}{(1-\xi _{i}\mu )\mu }\sum_{l\in \Upsilon }m_{il}(1- \xi _{l} \mu )+\frac{\gamma }{\mu } \biggr]\Psi _{2}(N) \\ &\qquad{} +\beta (i)\Psi _{2}^{1-b/2}( N)+ \frac{1}{2(1-\xi _{i}\mu )\mu }\sum _{l\in \Upsilon }m_{il}(1-\xi _{l} \mu ) + \frac{\gamma }{2\mu } \biggr\} \\ &\quad=:e^{\gamma t}(1-\xi _{i}\mu ) \Gamma (N,i) \end{aligned}

and

\begin{aligned} & \Gamma ( N,i)\\ &\quad= 2\mu \bigl(1+\Psi _{2}( N) \bigr)^{\mu -2} \biggl\{ - \biggl[ \bar{\Delta }-\mu \beta _{1}^{2}(i)-\frac{\gamma }{2\mu }+ \frac{\xi _{i}\mu }{2(1-\xi _{i}\mu )}\sum _{l\in \Upsilon }m_{il}\xi _{l} \biggr]\Psi _{2}^{2}(N) \\ &\qquad{} +\beta (i)\Psi _{2}^{2-b/2}(N)+ \biggl[1.5\varpi ^{2}(i)-r(i)+ \frac{1}{(1-\xi _{i}\mu )\mu }\sum_{l\in \Upsilon }m_{il}(1- \xi _{l} \mu )+\frac{\gamma }{\mu } \biggr]\Psi _{2}(N) \\ &\qquad{} +\beta (i)\Psi _{2}^{1-b/2}( N)+ \frac{1}{2(1-\xi _{i}\mu )\mu }\sum _{l\in \Upsilon }m_{il}(1-\xi _{l} \mu ) + \frac{\gamma }{2\mu } \biggr\} . \end{aligned}

By (11),

$$\tilde{\Gamma }_{1}:=\sup_{ N>0,i\in \Upsilon }\Gamma ( N,i)< + \infty.$$

Hence

$$(1-\xi _{i}\mu )\mathbb{E}\bigl[e^{\gamma t}\bigl(1+\Psi _{2}\bigl( N(t)\bigr)\bigr)^{\mu }\bigr] \leq (1-\xi _{i}\mu ) \bigl(1+\Psi _{2}\bigl( N(0)\bigr) \bigr)^{\mu }+(1-\xi _{i}\mu )\tilde{ \Gamma }_{1} \bigl(e^{\gamma t}-1\bigr)/\gamma.$$

Therefore,

$$\limsup_{t\rightarrow +\infty }\mathbb{E}\bigl[\Psi _{2}^{\mu } \bigl( N(t)\bigr)\bigr] \leq \limsup_{t\rightarrow +\infty }\mathbb{E}\bigl[ \bigl(1+\Psi _{2}\bigl( N(t)\bigr)\bigr)^{\mu }\bigr]\leq \tilde{\Gamma }_{1}/\theta =:\tilde{\Gamma }_{2}.$$

That is to say

$$\limsup_{t\rightarrow +\infty }\mathbb{E}\bigl[ N^{-2\mu }(t)\bigr]\leq \tilde{\Gamma }_{2}.$$

Let $$\Lambda _{2}=(\varepsilon /\tilde{\Gamma }_{2})^{0.5/\mu }$$. Using the Chebyshev inequality,

$$\mathrm{P}\bigl\{ N(t)< \Lambda _{2}\bigr\} =\mathrm{P}\bigl\{ N^{-2\mu }(t)>\Lambda _{2}^{-2 \mu }\bigr\} \leq \mathbb{E} \bigl[ N^{-2\mu }(t)\bigr]/\Lambda _{2}^{-2\mu }=\Lambda _{2}^{2 \mu } \mathbb{E}\bigl[ N^{-2\mu }(t)\bigr].$$

Hence,

$$\limsup_{t\rightarrow +\infty }\mathrm{P}\bigl\{ N(t)< \Lambda _{2} \bigr\} \leq \Lambda _{2}^{2\mu }\tilde{\Gamma }_{2}= \varepsilon.$$

So

$$\liminf_{t\rightarrow +\infty }\mathrm{P}\bigl\{ N(t)\geq \Lambda _{2} \bigr\} \geq 1-\varepsilon.$$

□

## Stability

In the investigation of stochastic population models, the existence and uniqueness of an invariant measure are key topics . Now let us give a sufficient condition for the existence and uniqueness of an invariant measure of model (3).

### Theorem 3

If $$\bar{\Delta }>0$$, then model (3) has a unique invariant measure which is concentrated on $$(0,+\infty )\times \Upsilon$$.

### Proof

Fix a sufficiently small $$\sigma >0$$ such that

$$1- \frac{\sigma }{2}\xi ^{u}>0,\qquad \bar{\Delta }- \frac{\sigma }{2}\bigl(\varpi ^{2}\bigr)^{u} + \frac{\sigma }{2}\min_{i\in \Upsilon } \biggl\{ \frac{\xi _{i}(\bar{\Delta }-\Delta (i))}{1-\sigma \xi _{i}/2} \biggr\} >0,$$
(12)

where $$\xi _{i}$$ satisfies (9). Let

$$\Psi _{5}( N,i)= \biggl(1-\frac{\sigma \xi _{i}}{2} \biggr) N^{-\sigma }+ N,\quad N>0.$$

Then

\begin{aligned} &\mathcal{L}\Psi _{5}( N,i) \\ &\quad =-\sigma \biggl(1-\frac{\sigma \xi _{i}}{2} \biggr) N^{- \sigma } \biggl(r(i)+\rho (i)\frac{ N^{a}}{N^{a}+\theta (i)}-\beta (i) N^{b} \biggr)\\ &\qquad{}+\frac{\varpi ^{2}(i)}{2}\sigma (\sigma +1) \biggl(1- \frac{\sigma \xi _{i}}{2} \biggr) N^{-\sigma } \\ &\qquad{} -\sigma N^{-\sigma }\sum_{l\in \Upsilon } m_{il} \frac{\xi _{l}}{2}+ N \biggl(r(i)+\rho (i) \frac{ N^{a}}{ N^{a}+\theta (i)}- \beta (i) N^{b} \biggr) \\ &\quad =-\sigma \biggl(1-\frac{\sigma \xi _{i}}{2} \biggr) N^{- \sigma } \biggl(r(i)- \frac{1}{2}\varpi ^{2}(i)-\frac{\sigma }{2}\varpi ^{2}(i) \biggr)\\ &\qquad{}- \sigma \biggl(1-\frac{\sigma \xi _{i}}{2} \biggr) N^{-\sigma } \biggl(1+\frac{\sigma \xi _{i}/2}{1-\sigma \xi _{i}/2} \biggr)\sum _{l \in \Upsilon } m_{il}\frac{\xi _{l}}{2} \\ &\qquad{} -\sigma \biggl(1-\frac{\sigma \xi _{i}}{2} \biggr) N^{- \sigma } \biggl(\rho (i) \frac{ N^{a}}{ N^{a}+\theta (i)}-\beta (i) N^{b} \biggr) \\ &\qquad{}+ N \biggl(r(i)+\rho (i) \frac{ N^{a}}{ N^{a}+\theta (i)}-\beta (i) N^{b}\biggr) ) \\ &\quad =-\sigma \biggl(1-\frac{\sigma \xi _{i}}{2} \biggr) N^{- \sigma } \biggl(\Delta (i)+\frac{1}{2}\sum_{l\in \Upsilon } m_{il}\xi _{l}- \frac{\sigma }{2}\varpi ^{2}(i)+ \frac{\sigma \xi _{i}/2}{1-\sigma \xi _{i}/2} \sum_{l\in \Upsilon } m_{il} \frac{\xi _{l}}{2} \biggr) \\ &\qquad{} -\sigma \biggl(1-\frac{\sigma \xi _{i}}{2} \biggr) N^{- \sigma } \biggl(\rho (i) \frac{ N^{a}}{ N^{a}+\theta (i)}-\beta (i) N^{b} \biggr) \\ &\qquad{}+ N \biggl(r(i)+\rho (i) \frac{ N^{a}}{ N^{a}+\theta (i)}-\beta (i) N^{b}\biggr) ) \\ &\quad =-\sigma \biggl(1-\frac{\sigma \xi _{i}}{2} \biggr) N^{- \sigma } \biggl(\bar{ \Delta }-\frac{\sigma }{2}\varpi ^{2}(i)+ \frac{\sigma \xi _{i}/2}{1-\sigma \xi _{i}/2}\bigl(\bar{ \Delta }-\Delta (i)\bigr) \biggr) \\ &\qquad{} -\sigma \biggl(1-\frac{\sigma \xi _{i}}{2} \biggr) N^{- \sigma } \biggl(\rho (i) \frac{ N^{a}}{ N^{a}+\theta (i)}-\beta (i) N^{b} \biggr)\\ &\qquad{} + N \biggl(r(i)+\rho (i) \frac{ N^{a}}{ N^{a}+\theta (i)}-\beta (i) N^{b}\biggr) ). \end{aligned}

It then follows from (12) that

$$\lim_{ N\rightarrow 0} \frac{\mathcal{L}\Psi _{5}( N,i)}{-\sigma (1-\sigma \xi _{i}/2) N^{-\sigma } (\bar{\Delta }-\frac{\sigma }{2}\varpi ^{2}(i)+\frac{\sigma \xi _{i}/2}{1-\sigma \xi _{i}/2}(\bar{\Delta }-\Delta (i)) )}=1$$
(13)

and

$$\lim_{ N\rightarrow +\infty } \frac{\mathcal{L}\Psi _{5}( N,i)}{-\beta (i) N^{1+b}}=1.$$
(14)

By (13) and (14), there is a $$a_{1}\in (0,1)$$ such that, for $$N\leq a_{1}$$ or $$N\geq 1/a_{1}$$,

$$\mathcal{L}\Psi _{5}( N,i)\leq -1.$$

Let $$U=(a_{1}, 1/a_{1})$$, we have, for any $$(N,i)\in \{(0,+\infty )\backslash {U}\}\times \Upsilon$$,

$$\mathcal{L}\Psi _{5}( N,i)\leq -1.$$

Then the desired assertion follows from Theorem 3.13 and Theorem 4.3 in . □

## Discussions and simulations

In this section, let us see the impacts of environmental noises on the extermination, persistence and invariant measure of model (3).

Based on Theorems 13, if ϕ, the distribution of $$\kappa (t)$$, makes $$\bar{\Delta }>0$$, then the hybrid system (3) is persistent, and it has a unique invariant measure on $$(0,+\infty )\times \Upsilon$$; if ϕ makes $$\bar{\Delta }+\bar{\rho }<0$$, then the species represented by (3) vanishes. To see these functions more directly, let $$N^{\ast }=2$$, then (3) has the two subsystems

$$\mathrm{d} N(t)= N(t) \biggl[r(1)+ \frac{\rho (1)N^{a}(t)}{N^{a}(t)+\theta (1)}-\beta (1)N^{b}(t) \biggr] \,\mathrm{d}t +\varpi (1) N(t)\,\mathrm{d}\omega (t)$$
(15)

and

$$\mathrm{d} N(t)= N(t) \biggl[r(2)+ \frac{\rho (2)N^{a}(t)}{N^{a}(t)+\theta (2)}-\beta (2) N^{b}(t) \biggr] \,\mathrm{d}t +\varpi (2) N(t)\,\mathrm{d}\omega (t).$$
(16)

Suppose that in state 1 and state 2, $$r(1)-\varpi ^{2}(1)/2+\rho (1)<0$$ and $$r(2)-\varpi ^{2}(2)/2>0$$, respectively. Then the species represented by subsystem (15) vanishes (see Fig. 1); subsystem (16) is persistent, and it owns a unique invariant measure on $$(0,+\infty )$$ (see Fig. 2). If ϕ makes $$\sum_{i=1}^{2}\phi _{i} [r(i)-\varpi ^{2}(i)/2+ \rho (i) ]<0$$, then the species represented by (3) vanishes (see Fig. 3); If ϕ makes $$\sum_{i=1}^{2}\phi _{i} [r(i)-\varpi ^{2}(i)/2 ]>0$$, then (3) is persistent, and it owns a unique invariant measure on $$(0,+\infty )\times \{1,2\}$$ (see Fig. 4). Figure 1 Figure 2 Figure 3 Figure 4

Now we probe the functions of white noise. According to Theorem 1, if $$\bar{\Delta }+\bar{\rho }=\sum_{i\in \Upsilon }\phi _{i} [r(i)+\rho (i)- \varpi ^{2}(i)/2]<0$$, then the species vanishes. Hence, sufficiently large white noise on the growth rate could lead to the extermination of the species, which is in accord with the classical results . To observe this more clearly, let see Fig. 5 where the parameter values are the same as those in Fig. 4 except $$\varpi ^{2}(2)=0.8$$. Figure 4 shows that the species represented by (3) is persistent when $$\varpi ^{2}(2)=0.2$$. However, when the value of $$\varpi ^{2}(2)$$ changes to 0.8, Fig. 5 shows that the species represented by (3) vanishes. Figure 5

## Conclusions

In the field of mathematical biology, it is meaningful to probe the functions of the environmental noises on the features of population models . In the present research, we have developed a stochastic differential equation population model with Allee effects. We have analyzed the extermination, persistence and invariant measure of the model.

The findings uncover that the features of the model are closely related to the environmental noises. First, if the Markov chain $$\kappa (t)$$ spends more time on the desired states (the states where $$r(\cdot )-\varpi ^{2}(\cdot )/2>0$$), then the species is persistent (see Fig. 4); conversely, if the Markov chain $$\kappa (t)$$ spends more time on the undesired states (the states where $$r(\cdot )+\rho (\cdot )-\varpi ^{2}(\cdot )/2<0$$), then the species vanishes (see Fig. 3). Second, sufficiently large white noise on the growth rate could lead to the extermination of the species (compare Fig. 4 with Fig. 5).

Some issues are not analyzed in this research. First, the case that $${}{\bar{\Delta }}+\bar{\rho }>0>{}{\bar{\Delta }}$$ is not settled yet. Second, model (3) presumes that white noise only affects r; the case that other parameters are also affected by white noise is not settled yet. Finally, there are some sudden environmental noises which can be described by Lévy jumps (see, e.g., ). It is interesting to consider model (3) with Lévy jumps.

## Availability of data and materials

All data generated or analysed during this study are included in this published article.

## References

1. 1.

Bao, J., Mao, X., Yin, G., Yuan, C.: Competitive Lotka–Volterra population dynamics with jumps. Nonlinear Anal. 74, 6601–6616 (2011)

2. 2.

Braumann, C.: Variable effort harvesting models in random environments: generalization to density-dependent noise intensities. Math. Biosci. 177/178, 229–245 (2002)

3. 3.

Chesson, P.L.: The stabilizing effect of a random environment. J. Math. Biol. 15, 1–36 (1982)

4. 4.

Gopalsamy, K., Ladas, G.: On the oscillation and asymptotic behavior of $$\dot{N}(t)=N(t)[a+bN(t-\tau )-cN^{2}(t-\tau )]$$. Q. Appl. Math. 48, 433–440 (1990)

5. 5.

Jacobs, J.: Cooperation, optimal density and low density thresholds: yet another modification of the logistic model. Oecologia 64, 389–395 (1984)

6. 6.

Ji, W., Zhang, Y., Liu, M.: Dynamical bifurcation and explicit stationary density of a stochastic population model with Allee effects. Appl. Math. Lett. 111, 106662 (2021)

7. 7.

Jovanović, M., Krstić, M.: The influence of time-dependent delay on behavior of stochastic population model with the Allee effect. Appl. Math. Model. 39, 733–746 (2015)

8. 8.

Kang, Y., Udiani, O.: Dynamics of a single species evolutionary model with Allee effects. J. Math. Anal. Appl. 418, 492–515 (2014)

9. 9.

Khasminskii, R., Zhu, C., Yin, G.: Stability of regime-switching diffusions. Stoch. Process. Appl. 117, 1037–1051 (2007)

10. 10.

Lande, R., Engen, S., Saether, B.: Stochastic Population Dynamics in Ecology and Conservation. Oxford University Press, Demand (2003)

11. 11.

Liu, M., Bai, C.: Analysis of a stochastic tri-trophic food-chain model with harvesting. J. Math. Biol. 73, 597–625 (2016)

12. 12.

Liu, M., Deng, M.: Analysis of a stochastic hybrid population model with Allee effect. Appl. Math. Comput. 364, 124582 (2020)

13. 13.

Liu, M., Wang, K.: Stochastic Lotka–Volterra systems with Lévy noise. J. Math. Anal. Appl. 410, 750–763 (2014)

14. 14.

Mao, X., Yuan, C.: Stochastic Differential Equations with Markovian Switching. Imperial College Press, London (2006)

15. 15.

May, R.: Stability and Complexity in Model Ecosystems. Princeton Univ. Press, New York (1973)

16. 16.

Molles, J., Manuel, C.: Ecology: Concepts and Applications, 4th edn. McGraw-Hill, New York (2008)

17. 17.

Odum, E., Barrett, G.: Fundamentals of Ecology, 5th edn. Cengage Learning, Singapore (1980)

18. 18.

Wang, K.: Stochastic Mathematical Biology Models. Science Press, Beijing (2010)

19. 19.

Wu, R., Zou, X., Wang, K.: Asymptotic properties of stochastic hybrid Gilpin–Ayala system with jumps. Appl. Math. Comput. 249, 53–66 (2014)

20. 20.

Yu, X., Yuan, S., Zhang, T.: Persistence and ergodicity of a stochastic single species model with Allee effect under regime switching. Commun. Nonlinear Sci. Numer. Simul. 59, 359–374 (2018)

21. 21.

Zhu, C., Yin, G.: Asymptotic properties of hybrid diffusion systems. SIAM J. Control Optim. 46, 1155–1179 (2007)

Download references

## Acknowledgements

The authors thank the editor and the referees for their careful reading and valuable comments.

## Funding

Guixin Hu is supported by the Fundamental Research Funds for the Universities of Henan Province (NSFRF200321).

## Author information

Authors

### Contributions

FMZ finished the establishment of model and development, GXH mainly finished the writing of the whole content of the paper. Both authors read and approved the final manuscript.

### Corresponding author

Correspondence to Guixin Hu.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions 