Optimal harvesting strategies of a stochastic competitive model with S-type distributed time delays and Lévy jumps

Abstract

The aim of this paper is to investigate the optimal harvesting strategies of a stochastic competitive Lotka–Volterra model with S-type distributed time delays and Lévy jumps by using ergodic method. Firstly, the sufficient conditions for extinction and stable in the time average of each species are established under some suitable assumptions. Secondly, under a technical assumption, the stability in distribution of this model is proved. Then the sufficient and necessary criteria for the existence of optimal harvesting policy are established under the condition that all species are persistent. Moreover, the explicit expression of the optimal harvesting effort and the maximum of sustainable yield are given.

1 Introduction

As is well known, over-harvesting and unreasonable harvesting policies could cause a number of adverse effects, such as ecological destruction, species extinction, and desertification. Therefore, the optimal harvesting problem is a meaningful and significant topic in biology and mathematics (Zou and Wang [1]). In addition, several scholars have paid attention to investigating competitive systems and obtained a lot of successful results (see, e.g., [2–4]) in recent years. Wang et al. [5] have studied stability for the distribution of a stochastic competitive Lotka–Volterra system with S-type distributed time delays. Hence, it is very interesting to study the optimal harvesting of a competitive model. The typical competitive model with harvesting can be described as follows:

$$ \textstyle\begin{cases} \mathrm{d}x_{1}(t)=x_{1}(t) [r_{1}-h_{1}-c_{11}x_{1}(t)-c_{12}x_{2}(t) ]\,\mathrm{d}t, \\ \mathrm{d}x_{2}(t)=x_{2}(t) [r_{2}-h_{2}-c_{21}x_{1}(t)-c_{22}x_{2}(t) ]\,\mathrm{d}t, \end{cases} $$

with initial data

$$ x_{i}(0)=\phi _{i}(0),\quad i=1,2, $$

where $x_{1}$ and $x_{2}$ stand for the population size of two species, respectively, $r_{i}>0$ is the growth rate of $x_{i}$, $i=1,2$. $h_{i}>0$ represents the harvesting effort of $x_{i}$, $i=1,2$. $c_{ii}>0$ is for the intraspecific competition coefficients of $x_{i}$, $i=1,2$; $c_{ij}$ ($i\neq j$; $i,j=1,2$) denotes the interspecific competition rate.

In fact, the dynamics and optimal harvesting of population are inevitably affected by some environmental perturbations in virtually all ecosystems, which mainly include two types: white noise and jumping noise. White noise describes the continuous noise, such as light, drought, cold wave and so on (see, e.g., [6–9]). Jumping noise describes sudden environment shocks, such as earthquakes, floods, and epidemics (see, e.g., [10, 11]). In recent years, several authors have studied some systems both with white noise and jumping noise and published a number of successful articles (see, e.g., [12–17]).

On the other hand, Gopalsamy [18] have pointed out that “the current growth of a population should also be influenced by the past history of the species”. So it is necessary to take time delay into consideration. To the best of our knowledge to date, “systems with discrete time delays and those with continuously distributed time delays do not contain each other. However, systems with S-type distributed time delays contain both.”(see Wang, Wang and Wei [19, 20]). And stochastic systems with distributed delays were considered in several publications (see e.g. [21–23]). Qiu and Deng [24] have discussed the optimal harvesting problem of a stochastic delay competitive model with Lévy jumps, which is about discrete time delays, and obtained the result that discrete time delays have no impact on the optimal harvesting policy in some cases. Therefore, an interesting and significant problem arises: how does the S-type distributed time delays affect the population dynamics and the optimal harvesting policy? It is more natural and practical for us to consider. In this paper, we consider the following model:

$$ \textstyle\begin{cases} \mathrm{d}x_{1}(t)=x_{1}(t^{-}) [r_{1}-h_{1}-c_{11}x_{1}(t^{-})- \int ^{0}_{-\tau _{12}}x_{2}(t+\theta )\,\mathrm{d}F_{12}( \theta ) ]\,\mathrm{d}t \\ \phantom{\mathrm{d}x_{1}(t)=}{} +\alpha _{1}x_{1}(t^{-})\,\mathrm{d}B_{1}(t)+x_{1}(t^{-}) \int _{\mathbb {Z}}\gamma _{1}(v)\widetilde{N}(\mathrm{d}t,\mathrm{d}v), \\ \mathrm{d}x_{2}(t)=x_{2}(t^{-}) [r_{2}-h_{2}- \int ^{0}_{-\tau _{21}}x_{1}(t+\theta )\,\mathrm{d}F_{21}(\theta )-c_{22}x_{2}(t^{-}) ]\,\mathrm{d}t \\ \phantom{\mathrm{d}x_{2}(t)=}{} +\alpha _{2}x_{2}(t^{-})\,\mathrm{d}B_{2}(t)+x_{2}(t^{-}) \int _{\mathbb {Z}}\gamma _{2}(v)\widetilde{N}(\mathrm{d}t,\mathrm{d}v), \end{cases} $$

(1)

with initial data

$$ x_{i}(\theta )=\phi _{i}(\theta ),\qquad \theta \in [-\tau,0],\qquad \tau =\max \{\tau _{12},\tau _{21}\},\quad i=1,2, $$

$x_{i}(t^{-})$ is the left limit of $x_{i}(t)$, $i=1,2$. $\tau _{i}\geqslant 0$, $i=1,2$ are time delays. $\phi _{i}(\theta )>0$, $i=1,2$ are continuous functions defined on $[-\tau,0]$. $\int ^{0}_{-\tau _{12}}x_{2}(t+\theta )\,\mathrm{d} { F_{12}( \theta )}$ and $\int ^{0}_{-\tau _{21}}x_{1}(t+\theta )\,\mathrm{d} {F_{21}( \theta )}$ are Lebesgue–Stieltjes integrals. ${F_{12}(\theta )}$ and ${F_{21}(\theta )}$ are nondecreasing bounded variation functions defined on $[-\tau,0]$. $\widetilde{N}(\mathrm{d}t, \mathrm{d}v)=N(\mathrm{d}t, \mathrm{d}v)- \mu (\mathrm{d}v)\mathrm{d}t$, N is a Poisson counting measure, μ is the characteristic measure of N on a measurable subset $\mathbb {Z}$ of $(0,+\infty )$ with $\mu (\mathbb {Z})<+\infty$. $\gamma _{i}$ is the effect of Lévy noises on species i, if $\gamma _{i}(v)>0$, the jumps represent the increasing of the species; if $\gamma _{i}(v)<0$, the jumps represent the decreasing of the species; Therefore, it is reasonable to assume that $1+\gamma _{i}(v)>0$, $v\in \mathbb {Z}$, $i=1,2$.

We wish to solve the problem above and get the optimal harvesting effort (OHE) $H^{*}=(h_{1}^{*},h_{2}^{*})$ such that the expectation of sustainable yield (ESY) $Y(H)=\lim_{t\rightarrow +\infty }\sum_{i=1}^{2} \mathbb{E}(h_{i}x_{i}(t))$ is maximum (all species are persistent). Firstly, we establish the sufficient criteria for the extinction and persistence of each species in Sect. 2. Then in Sect. 3, we prove the stability in distribution of this model. Finally, we establish the sufficient and necessary conditions for the existence of the optimal harvesting policy and obtain the explicit expression of OHE and the maximum of ESY (MESY) in Sect. 4.

2 Extinction and persistence

At first, we define some notations for the sake of convenience,

$$\begin{aligned} &\beta _{i}=h_{i}+\frac{\alpha _{i}^{2}}{2}+ \int _{\mathbb {Z}} \bigl[\gamma _{i}(v)-\ln \bigl(1+\gamma _{i}(v)\bigr) \bigr]\mu (\mathrm{d}v),\qquad b_{i}=r_{i}- \beta _{i},\quad i=1,2; \\ &R_{+}^{2}=\bigl\{ a=(a_{1},a_{2})\in R^{2}|a_{i}>0,i=1,2\bigr\} ; \\ &\bigl\langle f(t)\bigr\rangle =t^{-1} \int _{0}^{t}f(s)\,\mathrm{d}s,\qquad \langle f\rangle ^{*}=\limsup_{t\rightarrow +\infty }t^{-1} \int _{0}^{t}f(s) \,\mathrm{d}s; \\ &\langle f\rangle _{*}=\liminf_{t\rightarrow +\infty }t^{-1} \int _{0}^{t}f(s) \,\mathrm{d}s. \end{aligned}$$

Before we state our results, we make some assumptions.

Assumption 1

$c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{- \tau _{21}}\,\mathrm{d}F_{21}(\theta )>0$. This is a standard weak competitive assumption which allows the system not to blow up.

Assumption 2

There exists a constant $K_{1}$ such that $\int _{\mathbb {Z}}[\ln (1+\gamma _{i}(v))]^{2}\mu (\mathrm{d}v)< K_{1}$, $i=1,2$, which means that the jump noise is not too strong.

Lemma 2.1

For any given initial data $(\phi _{1}(\theta ), \phi _{2}(\theta ))\in C([-\tau,0], R_{+}^{2})$, model (1) has a unique global solution $x(t)=(x_{1}(t), x_{2}(t))^{T}\in R_{+}^{2}$ almost surely (a.s.). In particular,

$$ \limsup_{t\rightarrow +\infty }\frac{\ln x_{i}(t)}{\ln t} \leqslant 1,\quad \textit{a.s.}, i=1,2. $$

(2)

Remark 2.1

The proof of Lemma 2.1 is a special case of Theorem 5.1 and Theorem 5.2 in Liu and Wang [25] and hence is omitted.

Lemma 2.2

(Liu, Wang and Wu [26])

Let $z(t)\in C[\Omega \times [0,+\infty ),R_{+}]$.

$\mathrm{(\mathfrak{A})}$ If there exist some constants $T>0$, $\lambda _{0}>0$, λ, $\sigma _{i}$ and $\lambda _{i}$ such that, for all $t\geqslant T$,

$$ \ln z(t)\leqslant \lambda t-\lambda _{0} \int _{0}^{t}z(s)\,\mathrm{d}s+ \sum _{i=1}^{n}\sigma _{i} B_{i}(t)+ \sum_{i=1}^{n}\lambda _{i} \int _{0}^{t} \int _{\mathbb {Z}}\ln \bigl(1+\gamma _{i}(v)\bigr) \widetilde{N}(\mathrm{d}s, \mathrm{d}v),\quad \textit{a.s.}, $$

then

$$ \textstyle\begin{cases} \langle z\rangle ^{*}=\limsup_{t\rightarrow +\infty }t^{-1} \int _{0}^{t}z(s)\,\mathrm{d}s\leqslant \lambda /\lambda _{0} & \textit{a.s.}, \textit{ if }\lambda \geqslant 0, \\ \lim_{t\rightarrow +\infty }z(t)=0& \textit{a.s.}, \textit{ if }\lambda < 0. \end{cases} $$

$\mathrm{(\mathfrak{B})}$ If there exist some constants $T>0$, $\lambda _{0}>0$, $\lambda >0$, $\sigma _{i}$ and $\lambda _{i}$ such that, for all $t\geqslant T$,

$$ \ln z(t)\geqslant \lambda t-\lambda _{0} \int _{0}^{t}z(s)\,\mathrm{d}s+ \sum _{i=1}^{n}\sigma _{i} B_{i}(t)+ \sum_{i=1}^{n}\lambda _{i} \int _{0}^{t} \int _{\mathbb {Z}}\ln \bigl(1+\gamma _{i}(v)\bigr) \widetilde{N}(\mathrm{d}s, \mathrm{d}v),\quad \textit{a.s.}, $$

then

$$ \langle z\rangle _{*}=\liminf_{t\rightarrow +\infty }t^{-1} \int _{0}^{t}z(s) \,\mathrm{d}s\geqslant \lambda / \lambda _{0},\quad \textit{a.s.} $$

Lemma 2.3

Suppose that Assumption 1and Assumption 2hold, for model (1),

• (I) if $b_{1}<0$ and $b_{2}<0$, then both $x_{1}$ and $x_{2}$ tend to extinction a.s., i.e., $\lim_{t\rightarrow +\infty }x_{i}(t)=0$, a.s., $i=1,2$;

• (II) if $b_{1}>0$ and $b_{2}<0$, then $x_{2}$ tends to extinction a.s., and

  $$ \lim_{t\rightarrow +\infty }\bigl\langle x_{1}(t)\bigr\rangle = \frac{b_{1}}{c_{11}},\quad \textit{a.s.} $$

• (III) if $b_{1}<0$ and $b_{2}>0$, then $x_{1}$ tends to extinction a.s., and

  $$ \lim_{t\rightarrow +\infty }\bigl\langle x_{2}(t)\bigr\rangle = \frac{b_{2}}{c_{22}},\quad \textit{a.s.}; $$

• (IV) if $b_{1}>0$ and $b_{2}>0$, then

  • (i) if $b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )>0$ and $b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )<0$, then $x_{2}$ tends to extinction a.s., and

    $$ \lim_{t\rightarrow +\infty }\bigl\langle x_{1}(t)\bigr\rangle = \frac{b_{1}}{c_{11}},\quad \textit{a.s.}; $$

  • (ii) if $b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )<0$ and $b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )>0$, then $x_{1}$ tends to extinction a.s., and

    $$ \lim_{t\rightarrow +\infty }\bigl\langle x_{2}(t)\bigr\rangle = \frac{b_{2}}{c_{22}},\quad \textit{a.s.}; $$

  • (iii) if $b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )>0$ and $b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )>0$, then both $x_{1}$ and $x_{2}$ are stable in time average a.s.:

    $$ \begin{aligned} &\lim_{t\rightarrow +\infty }\bigl\langle x_{1}(t)\bigr\rangle = \frac{b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}} \,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}, \quad\textit{a.s.}; \\ &\lim_{t\rightarrow +\infty }\bigl\langle x_{2}(t)\bigr\rangle = \frac{b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta ) \int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}, \quad\textit{a.s.} \end{aligned} $$

    (3)

Remark 2.2

It is necessary to point out that if $b_{1}>0$, $b_{2}>0$ and $c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\times \int ^{0}_{- \tau _{21}}\,\mathrm{d}F_{21}(\theta )>0$, then $b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )<0$ and $b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )<0$ cannot hold simultaneously.

Proof of Lemma 2.3

Applying the generalized Itô formula to model (1) yields

$$\begin{aligned} & \ln x_{1}(t)-\ln x_{1}(0) \\ &\quad= r_{1}t-h_{1}t-0.5\alpha _{1}^{2}t-c_{11} \int _{0}^{t}x_{1}(s) \,\mathrm{d}s- \int _{0}^{t} \int _{-\tau _{12}}^{0}x_{2}(s+\theta ) \, \mathrm{d}F_{12}(\theta )\,\mathrm{d}s+\alpha _{1}B_{1}(t) \\ &\qquad{}+ \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(x_{1} \bigl(s^{-}\bigr)+x_{1}\bigl(s^{-}\bigr) \gamma _{1}(v)\bigr)-\ln \bigl(x_{1}\bigl(s^{-}\bigr) \bigr)-\gamma _{1}(v) \bigr]\mu (\mathrm{d}v) \,\mathrm{d}s \\ &\qquad{}+ \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(x_{1} \bigl(s^{-}\bigr)+x_{1}\bigl(s^{-}\bigr) \gamma _{1}(v)\bigr)-\ln \bigl(x_{1}\bigl(s^{-}\bigr) \bigr) \bigr]\widetilde{N}(\mathrm{d}s, \mathrm{d}v) \\ &\quad= r_{1}t-h_{1}t-0.5\alpha _{1}^{2}t+t \int _{\mathbb {Z}} \bigl[ \ln \bigl(1+\gamma _{1}(v)\bigr)- \gamma _{1}(v) \bigr]\mu (\mathrm{d}v) \\ & \qquad{}- c_{11} \int _{0}^{t}x_{1}(s)\,\mathrm{d}s- \int _{-\tau _{12}}^{0} \,\mathrm{d}F_{12}(\theta ) \int _{0}^{t}x_{2}(s)\,\mathrm{d}s- \int _{- \tau _{12}}^{0} \int _{\theta }^{0}x_{2}(s)\,\mathrm{d}s \, \mathrm{d}F_{12}( \theta ) \\ & \qquad{}+ \int _{-\tau _{12}}^{0} \int _{t+\theta }^{t}x_{2}(s) \,\mathrm{d}s\, \mathrm{d}F_{12}(\theta )+ \alpha _{1}B_{1}(t)+ \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(1+\gamma _{1}(v)\bigr) \bigr] \widetilde{N}(\mathrm{d}s,\mathrm{d}v) \\ &\quad= b_{1}t-c_{11} \int _{0}^{t}x_{1}(s)\,\mathrm{d}s- \int _{-\tau _{12}}^{0}\,\mathrm{d}F_{12}(\theta ) \int _{0}^{t}x_{2}(s) \,\mathrm{d}s \\ & \qquad{} - \int _{-\tau _{12}}^{0} \int _{\theta }^{0}x_{2}(s) \,\mathrm{d}s\, \mathrm{d}F_{12}(\theta )+ \int _{-\tau _{12}}^{0} \int _{t+ \theta }^{t}x_{2}(s)\,\mathrm{d}s\, \mathrm{d}F_{12}(\theta ) \\ &\qquad{}+ \alpha _{1}B_{1}(t)+ \int _{0}^{t} \int _{ \mathbb {Z}} \bigl[\ln \bigl(1+\gamma _{1}(v)\bigr) \bigr]\widetilde{N}(\mathrm{d}s, \mathrm{d}v). \end{aligned}$$

This implies that

$$ \begin{aligned}& t^{-1}\ln \frac{x_{1}(t)}{x_{1}(0)}\\ &\quad= b_{1}-c_{11} \bigl\langle x_{1}(t)\bigr\rangle -\frac{1}{t} \int _{0}^{t} \int _{-\tau _{12}}^{0}x_{2}(s+ \theta )\, \mathrm{d}F_{12}(\theta )\,\mathrm{d}s+ \frac{\alpha _{1}B_{1}(t)}{t} \\ &\qquad{} +\frac{1}{t} \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(1+ \gamma _{1}(v)\bigr) \bigr]\widetilde{N}(\mathrm{d}s,\mathrm{d}v) \\ &\quad= b_{1}-c_{11}\bigl\langle x_{1}(t)\bigr\rangle - \int _{-\tau _{12}}^{0} \,\mathrm{d}F_{12}(\theta ) \bigl\langle x_{2}(t)\bigr\rangle + \frac{\alpha _{1}B_{1}(t)}{t} \\ &\qquad{} +\frac{1}{t} \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(1+ \gamma _{1}(v)\bigr) \bigr]\widetilde{N}(\mathrm{d}s,\mathrm{d}v) \\ & \qquad{} - \int _{-\tau _{12}}^{0} \int _{\theta }^{0}x_{2}(s) \,\mathrm{d}s\, \mathrm{d}F_{12}(\theta )+ \int _{-\tau _{12}}^{0} \int _{t+ \theta }^{t}x_{2}(s)\,\mathrm{d}s\, \mathrm{d}F_{12}(\theta ). \end{aligned} $$

(4)

Similarly, one can also derive that

$$\begin{aligned} &t^{-1}\ln \frac{x_{2}(t)}{x_{2}(0)} \\ &\quad= b_{2}- \frac{1}{t} \int _{0}^{t} \int _{-\tau _{21}}^{0}x_{1}(s+\theta ) \, \mathrm{d}F_{21}(\theta )\,\mathrm{d}s-c_{22}\bigl\langle x_{2}(t)\bigr\rangle + \frac{\alpha _{2}B_{2}(t)}{t} \\ \begin{aligned} &\qquad{} +\frac{1}{t} \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(1+ \gamma _{2}(v)\bigr) \bigr]\widetilde{N}(\mathrm{d}s,\mathrm{d}v) \\ &\quad= b_{2}-c_{22}\bigl\langle x_{2}(t)\bigr\rangle - \int _{-\tau _{21}}^{0} \,\mathrm{d}F_{21}(\theta ) \bigl\langle x_{1}(t)\bigr\rangle + \frac{\alpha _{2}B_{2}(t)}{t} \end{aligned} \\ &\qquad{} +\frac{1}{t} \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(1+ \gamma _{2}(v)\bigr) \bigr]\widetilde{N}(\mathrm{d}s,\mathrm{d}v) \\ &\qquad{}- \int _{-\tau _{21}}^{0} \int _{\theta }^{0}x_{1}(s) \,\mathrm{d}s\, \mathrm{d}F_{21}(\theta )+ \int _{-\tau _{21}}^{0} \int _{t+ \theta }^{t}x_{1}(s)\,\mathrm{d}s\, \mathrm{d}F_{21}(\theta ). \end{aligned}$$

(5)

First, we prove $\mathrm{(I)}$. From the first equality in (4), we can get

$$ t^{-1}\ln \frac{x_{1}(t)}{x_{1}(0)} \leqslant b_{1}-c_{11} \bigl\langle x_{1}(t) \bigr\rangle +\frac{\alpha _{1}B_{1}(t)}{t}+t^{-1} \int _{0}^{t} \int _{ \mathbb {Z}} \bigl[\ln \bigl(1+\gamma _{1}(v)\bigr) \bigr] \widetilde{N}(\mathrm{d}s,\mathrm{d}v). $$

Since $b_{1}<0$, according to $(\mathrm{\mathfrak{A})}$ of Lemma 2.2, we have

$$ \lim_{t\rightarrow +\infty }x_{1}(t)=0,\quad \text{a.s.} $$

In the same way, we can derive that if $b_{2}<0$, then $\lim_{t\rightarrow +\infty }x_{2}(t)=0$, a.s. by (5).

Second, we prove $\mathrm{(II)}$. Since $b_{2}<0$, from $\mathrm{(I)}$, we can note that $\lim_{t\rightarrow +\infty }x_{2}(t)=0$, a.s. Thus, for arbitrary $\varepsilon >0$, there is a random time $T_{1}>0$ such that, for $t\geqslant T_{1}$,

$$ -\varepsilon \leqslant \frac{1}{t} \int _{0}^{t} \int _{-\tau _{12}}^{0}x_{2}(s+ \theta )\, \mathrm{d}F_{12}(\theta )\,\mathrm{d}s\leqslant \varepsilon. $$

The above inequality can be applied to the first equality in (4), we can get

$$\begin{aligned} \begin{aligned} t^{-1}\ln \frac{x_{1}(t)}{x_{1}(0)} \leqslant{}& b_{1}+ \varepsilon -c_{11}\bigl\langle x_{1}(t)\bigr\rangle +t^{-1}\alpha _{1}B_{1}(t) \\ &{}+t^{-1} \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(1+ \gamma _{1}(v)\bigr) \bigr]\widetilde{N}(\mathrm{d}s,\mathrm{d}v), \end{aligned} \end{aligned}$$

(6)

$$\begin{aligned} \begin{aligned} t^{-1}\ln \frac{x_{1}(t)}{x_{1}(0)} \geqslant{}& b_{1}- \varepsilon -c_{11}\bigl\langle x_{1}(t)\bigr\rangle +t^{-1}\alpha _{1}B_{1}(t) \\ &{}+t^{-1} \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(1+ \gamma _{1}(v)\bigr) \bigr]\widetilde{N}(\mathrm{d}s, \mathrm{d}v), \end{aligned} \end{aligned}$$

(7)

Because of the arbitrariness of ε, we can choose ε sufficiently small such that $b_{1}-\varepsilon >0$ ($b_{1}>0$). Applying Lemma 2.2 to (6) and (7), respectively, we can obtain

$$ \frac{b_{1}-\varepsilon }{c_{11}}\leqslant \langle x_{1}\rangle _{*} \leqslant \langle x_{1}\rangle ^{*}\leqslant \frac{b_{1}+\varepsilon }{c_{11}}. $$

Letting $\varepsilon \rightarrow 0$, we get $\lim_{t\rightarrow +\infty }\langle x_{1}(t)\rangle =b_{1}/c_{11}$, a.s.

Third, we prove $(\mathrm{III)}$. The proof of $(\mathrm{III)}$ is similar to that of $(\mathrm{II)}$ by symmetry and hence is omitted.

Fourth, we prove $(\mathrm{IV)}$. Firstly, we consider the following equation:

$$ \textstyle\begin{cases} \mathrm{d}y_{1}(t)=y_{1}(t^{-}) [r_{1}-h_{1}-c_{11}y_{1}(t^{-}) ]\,\mathrm{d}t+\alpha _{1}y_{1}(t^{-})\,\mathrm{d}B_{1}(t) \\ \phantom{\mathrm{d}y_{1}(t)=}{} +y_{1}(t^{-})\int _{\mathbb {Z}}\gamma _{1}(v) \widetilde{N}(\mathrm{d}t,\mathrm{d}v), \\ \mathrm{d}y_{2}(t)=y_{2}(t^{-}) [r_{2}-h_{2}-c_{22}y_{2}(t^{-}) ]\,\mathrm{d}t+\alpha _{2}y_{2}(t^{-})\,\mathrm{d}B_{2}(t) \\ \phantom{\mathrm{d}y_{2}(t)=}{} +y_{2}(t^{-})\int _{\mathbb {Z}}\gamma _{2}(v) \widetilde{N}(\mathrm{d}t,\mathrm{d}v), \end{cases} $$

where $y_{i}(\theta )=x_{i}(\theta )$, $\theta \in [-\tau,0]$. On the basis of the stochastic comparison theorem in Huang [27], one can obtain

$$ x_{1}(t)\leqslant y_{1}(t),\qquad x_{2}(t)\leqslant y_{2}(t). $$

(8)

Note that $b_{1}>0$ and $b_{2}>0$, using a proof like $(\mathrm{II)}$, we can get

$$ \lim_{t\rightarrow +\infty }\bigl\langle y_{i}(t)\bigr\rangle = \frac{b_{i}}{c_{ii}},\quad \text{a.s.}, i=1,2. $$

Hence, for arbitrary $\widetilde{\tau }\geqslant 0$, we have

$$ \lim_{t\rightarrow +\infty }t^{-1} \int _{t-\widetilde{\tau }}^{t}y_{i}(s) \,\mathrm{d}s=\lim _{t\rightarrow +\infty } t^{-1} \biggl[ \int _{0}^{t}y_{i}(s) \,\mathrm{d}s- \int _{0}^{t-\widetilde{\tau }}y_{i}(s)\,\mathrm{d}s \biggr]=0,\quad \text{a.s.}, $$

according to (8), so we can see that

$$ \lim_{t\rightarrow +\infty }t^{-1} \int _{t-\widetilde{\tau }}^{t}x_{i}(s) \,\mathrm{d}s=0,\quad \text{a.s.}, i=1,2, \widetilde{\tau }\geqslant 0. $$

(9)

Computing $(\text{5})\times c_{11}-(\text{4})\times \int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta )$, we have

$$ \begin{aligned} & \frac{c_{11}}{t}\ln \frac{x_{2}(t)}{x_{2}(0)} \\ &\quad= \frac{1}{t} \int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta ) \ln \frac{x_{1}(t)}{x_{1}(0)}+b_{2}c_{11}-b_{1} \int ^{0}_{-\tau _{21}} \,\mathrm{d}F_{21}(\theta ) \\ &\qquad{} - \biggl(c_{11}c_{22}- \int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}( \theta ) \int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta ) \biggr)\bigl\langle x_{2}(t) \bigr\rangle \\ &\qquad{} + \int _{0}^{t} \int _{\mathbb {Z}} \biggl[\frac{c_{11}}{t} \ln \bigl(1+\gamma _{2}(v)\bigr)-\frac{1}{t} \int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}( \theta ) \ln \bigl(1+\gamma _{1}(v)\bigr) \biggr]\widetilde{N}(\mathrm{d}s, \mathrm{d}v) \\ &\qquad{} +\frac{1}{t} \biggl(c_{11}\alpha _{2}B_{2}(t)- \int _{- \tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta ) \alpha _{1}B_{1}(t) \biggr)+ \Delta (t), \end{aligned} $$

(10)

where

$$ \begin{aligned} \Delta (t)= {}&\frac{1}{t} \biggl(c_{11} \int _{-\tau _{21}}^{0} \int _{t+\theta }^{t}x_{1}(s)\,\mathrm{d}s\, \mathrm{d}F_{21}(\theta )-c_{11} \int _{-\tau _{21}}^{0} \int _{\theta }^{0}x_{1}(s)\,\mathrm{d}s\, \mathrm{d}F_{21}( \theta ) \\ &{} + \int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta ) \int _{- \tau _{12}}^{0} \int _{\theta }^{0}x_{2}(s)\,\mathrm{d}s\, \mathrm{d}F_{12}( \theta ) \\ &{} - \int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta ) \int _{- \tau _{12}}^{0} \int _{t+\theta }^{t}x_{2}(s)\,\mathrm{d}s\, \mathrm{d}F_{12}( \theta ) \biggr). \end{aligned} $$

Thanks to (2) and (9), for arbitrary $\varepsilon >0$, there is a random time $T_{2}>0$ such that, for $t\geqslant T_{2}$,

$$\begin{aligned} &\frac{1}{t} \int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta ) \ln \frac{x_{1}(t)}{x_{1}(0)}< \frac{\varepsilon }{2}, \\ \begin{aligned}& \bigl\vert \Delta (t) \bigr\vert \\ &\quad\leqslant \frac{1}{t} \biggl(c_{11} \int _{- \tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta ) \int _{t-\tau _{21}}^{t}x_{1}(s) \, \mathrm{d}s-c_{11} \int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta ) \int _{-\tau _{21}}^{0}x_{1}(s)\,\mathrm{d}s \\ &\qquad{} + \int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta ) \int _{- \tau _{12}}^{0}\,\mathrm{d}F_{12}(\theta ) \int _{-\tau _{12}}^{0}x_{2}(s) \,\mathrm{d}s \\ & \qquad{}- \int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta ) \int _{- \tau _{12}}^{0}\,\mathrm{d}F_{12}(\theta ) \int _{t-\tau _{12}}^{t}x_{2}(s) \,\mathrm{d}s \biggr)< \frac{\varepsilon }{2}. \end{aligned} \end{aligned}$$

Applying the above inequalities to (10), we have

$$ \begin{aligned} & \frac{c_{11}}{t}\ln \frac{x_{2}(t)}{x_{2}(0)} \\ &\quad\leqslant b_{2}c_{11}-b_{1} \int ^{0}_{-\tau _{21}} \,\mathrm{d}F_{21}(\theta )+ \varepsilon \\ &\qquad{} - \biggl(c_{11}c_{22}- \int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}( \theta ) \int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta ) \biggr)\bigl\langle x_{2}(t) \bigr\rangle \\ &\qquad{} +\frac{1}{t} \biggl(c_{11}\alpha _{2}B_{2}(t)- \int _{- \tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta ) \alpha _{1}B_{1}(t) \biggr) \\ &\qquad{} +\frac{c_{11}}{t} \int _{0}^{t} \int _{\mathbb {Z}} \bigl[ \ln \bigl(1+\gamma _{2}(v)\bigr) \bigr]\widetilde{N}(\mathrm{d}s,\mathrm{d}v) \\ &\qquad{} -\frac{1}{t} \int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}( \theta ) \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(1+\gamma _{1}(v)\bigr) \bigr]\widetilde{N}(\mathrm{d}s,\mathrm{d}v). \end{aligned} $$

(11)

Similarly, computing $(\text{4})\times c_{22} - (\text{5})\times \int _{-\tau _{12}}^{0} \,\mathrm{d}F_{12}(\theta )$ and by (2) and (9), we can show that

$$ \begin{aligned} & \frac{c_{22}}{t}\ln \frac{x_{1}(t)}{x_{1}(0)} \\ &\quad\leqslant b_{1}c_{22}-b_{2} \int ^{0}_{-\tau _{12}} \,\mathrm{d}F_{12}(\theta )+ \varepsilon \\ &\qquad{} - \biggl(c_{11}c_{22}- \int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}( \theta ) \int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta ) \biggr)\bigl\langle x_{1}(t) \bigr\rangle \\ &\qquad{} +\frac{1}{t} \biggl(c_{22}\alpha _{1}B_{1}(t)- \int _{- \tau _{12}}^{0}\,\mathrm{d}F_{12}(\theta ) \alpha _{2}B_{2}(t) \biggr) \\ & \qquad{} +\frac{c_{22}}{t} \int _{0}^{t} \int _{\mathbb {Z}} \bigl[ \ln \bigl(1+\gamma _{1}(v)\bigr) \bigr]\widetilde{N}(\mathrm{d}s,\mathrm{d}v) \\ & \qquad{} -\frac{1}{t} \int _{-\tau _{12}}^{0}\,\mathrm{d}F_{12}( \theta ) \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(1+\gamma _{2}(v)\bigr) \bigr]\widetilde{N}(\mathrm{d}s,\mathrm{d}v), \end{aligned} $$

(12)

for $t>T$ and arbitrary $\varepsilon >0$.

(i): Note that $b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )<0$, and then let $\varepsilon \rightarrow 0$ such that $b_{2}c_{11}-b_{1}\times \int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )+ \varepsilon <0$. Applying $(\mathrm{\mathfrak{A})}$ in Lemma 2.2 to (11), one can get $\lim_{t\rightarrow +\infty }x_{2}(t)=0$, a.s. The proof of $\lim_{t\rightarrow +\infty }\langle x_{1}(t)\rangle =b_{1}/c_{11}$, a.s. is similar to that of $(\mathrm{II)}$ and hence is omitted.

(ii): The proof of $(\mathrm{ii)}$ is similar to that of $(\mathrm{i)}$ by symmetry and hence is omitted.

(iii): Since $b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )>0$, by (11), $(\mathrm{\mathfrak{A})}$ in Lemma 2.2 we note that

$$ \langle x_{2}\rangle ^{*}\leqslant \frac{b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )+\varepsilon }{c_{11}c_{22}- \int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}, \quad \text{a.s.} $$

We let $\varepsilon \rightarrow 0$ so that

$$ \langle x_{2}\rangle ^{*}\leqslant \frac{b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta ) \int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )},\quad \text{a.s.} $$

(13)

In the same way, using (12), $(\mathrm{\mathfrak{A})}$ in Lemma 2.2 and the arbitrariness of ε we see that

$$ \langle x_{1}\rangle ^{*}\leqslant \frac{b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta ) \int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )},\quad \text{a.s.} $$

(14)

Let ε be sufficiently small such that $c_{11} \frac{b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}- \varepsilon >0$. Equations (9) and (13) can be applied to (4), we get

$$ \begin{aligned} t^{-1}\ln \frac{x_{1}(t)}{x_{1}(0)} \geqslant {}& b_{1}- \varepsilon -c_{11}\bigl\langle x_{1}(t) \bigr\rangle - \int _{-\tau _{12}}^{0} \,\mathrm{d}F_{12}(\theta ) \langle x_{2}\rangle ^{*}+ \frac{\alpha _{1}B_{1}(t)}{t} \\ & {} +\frac{1}{t} \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(1+ \gamma _{1}(v)\bigr) \bigr]\widetilde{N}(\mathrm{d}s,\mathrm{d}v) \\ \geqslant {}& b_{1}-\varepsilon -c_{11}\bigl\langle x_{1}(t)\bigr\rangle \\ & {} - \int _{-\tau _{12}}^{0}\,\mathrm{d}F_{12}(\theta ) \frac{b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )} \\ & {} + \frac{\alpha _{1}B_{1}(t)}{t}+\frac{1}{t} \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(1+\gamma _{1}(v)\bigr) \bigr]\widetilde{N}( \mathrm{d}s,\mathrm{d}v) \\ ={}& c_{11} \frac{b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}- \varepsilon -c_{11}\bigl\langle x_{1}(t)\bigr\rangle \\ & {} + \frac{\alpha _{1}B_{1}(t)}{t}+\frac{1}{t} \int _{0}^{t} \int _{\mathbb {Z}} \bigl[\ln \bigl(1+\gamma _{1}(v)\bigr) \bigr]\widetilde{N}( \mathrm{d}s,\mathrm{d}v), \end{aligned} $$

for sufficiently large t. Due to $(\mathrm{\mathfrak{B})}$ in Lemma 2.2 and the arbitrariness of ε we see that

$$ \langle x_{1}\rangle _{*}\geqslant \frac{b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )}{c_{11}c_{22}- \int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )},\quad \text{a.s.} $$

(15)

Similarly, when (9) and (14) are used in (5), we get

$$ \langle x_{2}\rangle _{*}\geqslant \frac{b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}{c_{11}c_{22}- \int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}, \quad\text{a.s.} $$

This, together with (13)–(15), means that $\lim_{t\rightarrow +\infty }\langle x_{1}(t)\rangle = \frac{b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}$, a.s. and $\lim_{t\rightarrow +\infty }\langle x_{2}(t)\rangle = \frac{b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}$, a.s.

The proof is complete. □

3 Stability in distribution

In this section, we study the stability in distribution of model (1). Firstly, we state an assumption and a lemma.

Assumption 3

$c_{11}>\int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta )$ and $c_{22}>\int _{-\tau _{12}}^{0}\,\mathrm{d}F_{12}(\theta )$.

Lemma 3.1

There exists a positive $K_{2}$ such that

$$ \limsup_{t\rightarrow \infty }E\bigl(x_{i}(t)\bigr)\leqslant K_{2}, \quad i=1,2. $$

Remark 3.1

We omit the proof for Lemma 3.1. For details, please refer to Bao and Yuan [28].

Lemma 3.2

If Assumption 3holds, then model (1) is said to be stable in distribution, i.e., there is a unique probability measure $\varphi (\cdot )$ such that, for every initial data $x(\theta )\in C([-\tau,0], R_{+}^{2})$, the transition probability $p(t,x(\theta ),\cdot )$ of $x(t)$ converges weakly to $\varphi (\cdot )$ as $t\rightarrow +\infty$.

Proof of Lemma 3.2

Suppose that $x(t; x(\theta ))$ and $x(t; \widetilde{x}(\theta ))$ are two solutions of model (1) with initial data $x(\theta )\in C([-\tau,0];R_{+}^{2})$ and $\widetilde{x}(\theta )\in C([-\tau,0];R_{+}^{2})$, respectively. Set

$$ V_{1}(t)= \bigl\vert \ln x_{1}\bigl(t;x( \theta )\bigr)-\ln x_{1}\bigl(t; \widetilde{x}(\theta )\bigr) \bigr\vert + \bigl\vert \ln x_{2}\bigl(t;x(\theta )\bigr)-\ln x_{2}\bigl(t; \widetilde{x}(\theta )\bigr) \bigr\vert . $$

In view of the above equality, by Itô’s formula, one can deduce that

$$ \begin{aligned} & \mathrm{d}^{+}V_{1}(t) \\ &\quad= \mathop{\operatorname{sgn}}\bigl(x_{1}\bigl(t;x(\theta )\bigr)-x_{1}\bigl(t; \widetilde{x}( \theta )\bigr) \bigr) \biggl[-c_{11} \bigl(x_{1}\bigl(t;x(\theta )\bigr)-x_{1}\bigl(t; \widetilde{x}(\theta )\bigr) \bigr) \\ & \qquad{} - \int _{-\tau _{12}}^{0} \bigl[x_{2}\bigl(t+\theta;x( \theta )\bigr)-x_{2}\bigl(t+\theta;\widetilde{x}(\theta )\bigr) \bigr] \,\mathrm{d}F_{12}( \theta ) \biggr]\,\mathrm{d}t \\ &\qquad{}+ \mathop{\operatorname{sgn}}\bigl(x_{2}\bigl(t;x(\theta )\bigr)-x_{2}\bigl(t; \widetilde{x}( \theta )\bigr) \bigr) \biggl[-c_{22} \bigl(x_{2}\bigl(t;x(\theta )\bigr)-x_{2}\bigl(t; \widetilde{x}(\theta )\bigr) \bigr) \\ & \qquad{} - \int _{-\tau _{21}}^{0} \bigl[x_{1}\bigl(t+ \theta;x( \theta )\bigr)-x_{1}\bigl(t+\theta;\widetilde{x}(\theta ) \bigr) \bigr]\,\mathrm{d}F_{21}( \theta ) \biggr]\,\mathrm{d}t \\ &\quad\leqslant -\sum_{i=1}^{2}c_{ii} \bigl\vert x_{i}\bigl(t;x(\theta )\bigr)-x_{i}\bigl(t; \widetilde{x}(\theta )\bigr) \bigr\vert \,\mathrm{d}t \\ &\qquad{}+ \int _{-\tau _{12}}^{0} \bigl\vert x_{2}\bigl(t+ \theta;x( \theta )\bigr)-x_{2}\bigl(t+\theta;\widetilde{x}(\theta ) \bigr) \bigr\vert \,\mathrm{d}F_{12}( \theta )\,\mathrm{d}t \\ &\qquad{}+ \int _{-\tau _{21}}^{0} \bigl\vert x_{1}\bigl(t+ \theta;x( \theta )\bigr)-x_{1}\bigl(t+\theta;\widetilde{x}(\theta ) \bigr) \bigr\vert \,\mathrm{d}F_{21}( \theta )\,\mathrm{d}t. \end{aligned} $$

Define

$$ V(t)=V_{1}(t)+V_{2}(t), $$

where

$$ \begin{aligned} V_{2}(t)={}& \int _{-\tau _{12}}^{0} \int ^{t}_{t+\theta } \bigl\vert x_{2}\bigl(s;x( \theta )\bigr)-x_{2}\bigl(s;\widetilde{x}(\theta )\bigr) \bigr\vert \, \mathrm{d}s\,\mathrm{d}F_{12}(\theta ) \\ &{}+ \int _{-\tau _{21}}^{0} \int ^{t}_{t+\theta } \bigl\vert x_{1} \bigl(s;x( \theta )\bigr)-x_{1}\bigl(s;\widetilde{x}(\theta )\bigr) \bigr\vert \,\mathrm{d}s\,\mathrm{d}F_{21}( \theta ). \end{aligned} $$

From Itô’s formula, we have

$$ \begin{aligned} \mathrm{d}^{+}V(t)={}& \mathrm{d}^{+}V_{1}(t)+ \mathrm{d}^{+}V_{2}(t) \\ \leqslant {}&{ -}\sum_{i=1}^{2}c_{ii} \bigl\vert x_{i}\bigl(t;x(\theta )\bigr)-x_{i}\bigl(t; \widetilde{x}(\theta )\bigr) \bigr\vert dt \\ & {}+ \int _{-\tau _{12}}^{0} \bigl\vert x_{2}\bigl(t;x( \theta )\bigr)-x_{2}\bigl(t; \widetilde{x}(\theta )\bigr) \bigr\vert \,\mathrm{d}F_{12}(\theta )\,\mathrm{d}t \\ & {}+ \int _{-\tau _{21}}^{0} \bigl\vert x_{1} \bigl(t;x(\theta )\bigr)-x_{1}\bigl(t; \widetilde{x}(\theta )\bigr) \bigr\vert \,\mathrm{d}F_{21}(\theta )\,\mathrm{d}t \\ ={}& {-} \biggl(c_{11}- \int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}( \theta ) \biggr) \bigl\vert x_{1}\bigl(t;x(\theta )\bigr)-x_{1} \bigl(t;\widetilde{x}(\theta )\bigr) \bigr\vert \,\mathrm{d}t \\ & {} - \biggl(c_{22}- \int _{-\tau _{12}}^{0}\,\mathrm{d}F_{12}( \theta ) \biggr) \bigl\vert x_{2}\bigl(t;x(\theta )\bigr)-x_{2} \bigl(t;\widetilde{x}(\theta )\bigr) \bigr\vert \,\mathrm{d}t. \end{aligned} $$

Consequently,

$$ \begin{aligned} 0\leqslant \mathbb{E}\bigl(V(t)\bigr)\leqslant {}& V(0)- \biggl(c_{11}- \int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta ) \biggr) \int _{0}^{t} \mathbb{E} \bigl\vert x_{1}\bigl(s;x(\theta )\bigr)-x_{1}\bigl(s;\widetilde{x}( \theta )\bigr) \bigr\vert \,\mathrm{d}s \\ & {}-\biggl(c_{22}- \int _{-\tau _{12}}^{0}\,\mathrm{d}F_{12}( \theta ) \biggr) \int _{0}^{t}\mathbb{E} \bigl\vert x_{2} \bigl(s;x(\theta )\bigr)-x_{2}\bigl(s; \widetilde{x}(\theta )\bigr) \bigr\vert \,\mathrm{d}s, \end{aligned} $$

which implies that

$$ \begin{aligned}& \biggl(c_{11}- \int _{-\tau _{21}}^{0}\,\mathrm{d}F_{21}(\theta ) \biggr) \int _{0}^{t}\mathbb{E} \bigl\vert x_{1} \bigl(s;x(\theta )\bigr)-x_{1}\bigl(s;\widetilde{x}( \theta )\bigr) \bigr\vert \,\mathrm{d}s\leqslant V(0)< +\infty, \\ &\biggl(c_{22}- \int _{-\tau _{12}}^{0}\,\mathrm{d}F_{12}(\theta ) \biggr) \int _{0}^{t}\mathbb{E} \bigl\vert x_{2} \bigl(s;x(\theta )\bigr)-x_{2}\bigl(s;\widetilde{x}( \theta )\bigr) \bigr\vert \,\mathrm{d}s\leqslant V(0)< +\infty. \end{aligned} $$

Therefore,

$$ \mathbb{E} \bigl\vert x_{i}\bigl(t;x(\theta ) \bigr)-x_{i}\bigl(t;\widetilde{x}(\theta )\bigr) \bigr\vert \in L^{1}[0,+\infty ),\quad i=1,2. $$

(16)

From model (1), we note that

$$\begin{aligned} \mathbb{E}\bigl(x_{1}(t)\bigr)={}& x_{1}(0)+ \int _{0}^{t} \biggl[(r_{1}-h_{1}) \mathbb{E}\bigl(x_{1}(s)\bigr)-c_{11}\mathbb{E} \bigl(x_{1}(s)\bigr)^{2} \\ & {} - \int _{-\tau _{12}}^{0}\mathbb{E}\bigl(x_{1}(s)x_{2}(s+ \theta )\bigr)\,\mathrm{d}F_{12}(\theta ) \biggr]\,\mathrm{d}s. \end{aligned}$$

This implies the differentiability of $\mathbb{E}(x_{1}(t))$. According to Lemma 3.1,

$$ \begin{aligned} \frac{\mathrm{d}\mathbb{E}(x_{1}(t))}{\mathrm{d}t}&= (r_{1}-h_{1}) \mathbb{E}\bigl(x_{1}(t)\bigr)-c_{11}\mathbb{E} \bigl(x_{1}(t)\bigr)^{2}- \int _{-\tau _{12}}^{0} \mathbb{E}\bigl(x_{1}(s)x_{2}(s+ \theta )\bigr)\,\mathrm{d}F_{12}(\theta ) \\ &\leqslant r_{1}\mathbb{E}\bigl(x_{1}(t)\bigr) \\ &\leqslant r_{1}D_{1}, \end{aligned} $$

where $D_{1}>0$ is a constant. Thus $\mathbb{E}(x_{1}(t))$ is uniformly continuous. Similarly, $\mathbb{E}(x_{2}(t))$ is also uniformly continuous. According to Barbalat’s lemma (Barbalat [29]) and (16), we can get

$$ \lim_{t\rightarrow +\infty }\mathbb{E} \bigl\vert x_{i}(t)-\widetilde{x}_{i}(t) \bigr\vert =0,\quad i=1,2. $$

(17)

Let $P(t, x(\theta ), Q)$ denotes the probability of $x(t; x(\theta ))\in Q$. From Lemma 3.1 and the Chebyshev inequality, we note that $\{p(t,x(\theta ),dy):t\geqslant 0\}$ is tight. $\mathscr{P}(R_{+}^{2})$ denotes all probability measures defined on $R_{+}^{2}$. For any $P_{1}, P_{2}\in \mathscr{P}$, we define the metric

$$ d_{U}(P_{1}, P_{2})=\sup_{g\in U} \biggl\vert \int _{R_{+}^{2}}g(x)P_{1}( \mathrm{d}x)- \int _{R_{+}^{2}}g(x)P_{2}(\mathrm{d}x) \biggr\vert , $$

where

$$ U= \bigl\{ g:R^{2}\rightarrow R| \bigl\vert g(x)-g(y) \bigr\vert \leqslant \Vert x-y \Vert , \bigl\vert g(\cdot ) \bigr\vert \leqslant 1 \bigr\} . $$

For any $g\in U$ and $t, s>0$, we have

$$ \begin{aligned} & \bigl|\mathbb{E}(g\bigl(x\bigl(t+s;x(\theta )\bigr)\bigr)-\mathbb{E}\bigl(g\bigl(x\bigl(t;x( \theta )\bigr)\bigr)\bigr)\bigr| \\ &\quad= \bigl\vert \mathbb{E} \bigl[\mathbb{E} \bigl(g\bigl(x\bigl(t+s;x(\theta ) \bigr)\bigr) |\mathcal{F}_{s} \bigr) \bigr]-\mathbb{E}g\bigl(x \bigl(t;x(\theta )\bigr)\bigr) \bigr\vert \\ &\quad= \biggl\vert \int _{R_{+}^{2}}\mathbb{E}g\bigl(x\bigl(t;\widetilde{x}(\theta ) \bigr)\bigr)p\bigl(s,x( \theta ),\mathrm{d}\widetilde{x}(\theta )\bigr)- \mathbb{E}g\bigl(x\bigl(t;x(\theta )\bigr)\bigr) \biggr\vert \\ &\quad\leqslant \int _{R_{+}^{2}} \bigl\vert \mathbb{E}g\bigl(x\bigl(t; \widetilde{x}(\theta )\bigr)\bigr)-\mathbb{E}g\bigl(x\bigl(t;x(\theta )\bigr) \bigr) \bigr\vert p\bigl(s,x( \theta ),\mathrm{d}\widetilde{x}(\theta )\bigr) \\ &\quad\leqslant \int _{\bar{G}_{K}} \bigl\vert \mathbb{E}g\bigl(x\bigl(t; \widetilde{x}(\theta )\bigr)\bigr)-\mathbb{E}g\bigl(x\bigl(t;x(\theta )\bigr) \bigr) \bigr\vert p\bigl(s,x( \theta ),\mathrm{d}\widetilde{x}(\theta )\bigr) \\ &\qquad{} +2p\bigl(s,x(\theta ),G^{c}_{K}\bigr), \end{aligned} $$

(18)

where $\bar{G}_{K}=\{x\in R_{+}^{2}:|x|\leqslant K\}$ and $G^{c}_{K}=R_{+}^{2}-\bar{G}_{K}$. Note that $\{p(t,x(\theta ),\mathrm{d}y)\}$ is tight, thus there exists a sufficiently large K such that $p(s,x(\theta ),G^{c}_{K})<\varepsilon$, $\forall s\geqslant 0$. According to (17), for arbitrarily $\varepsilon >0$, there exists a $T>0$ such that

$$ \sup_{g\in U}|\mathbb{E}(g\bigl(x\bigl(t;\widetilde{x}(\theta ) \bigr)\bigr)- \mathbb{E}\bigl(g\bigl(x\bigl(t;x(\theta )\bigr)\bigr)\bigr)| \leqslant \varepsilon, \quad t \geqslant T. $$

This inequality can be applied to (18), we can get

$$ |\mathbb{E}(g\bigl(x\bigl(t+s;x(\theta )\bigr)\bigr)-\mathbb{E}\bigl(g\bigl(x \bigl(t;x(\theta )\bigr)\bigr)\bigr) |\leqslant 3\varepsilon,\quad t\geqslant T. $$

By the arbitrariness of g, we obtain

$$ \sup_{g\in U}\bigl|\mathbb{E}(g\bigl(x\bigl(t+s;x(\theta )\bigr) \bigr)-\mathbb{E}\bigl(g\bigl(x\bigl(t;x( \theta )\bigr)\bigr)\bigr)\bigr|\leqslant 3 \varepsilon,\quad t\geqslant T. $$

That is to say, for arbitrarily $t\geqslant T$, $s>0$,

$$ d_{U}\bigl(p\bigl(t+s,x(\theta ),\cdot \bigr),p\bigl(t,x(\theta ), \cdot \bigr)\bigr)\leqslant 3 \varepsilon. $$

This implies that ${p(t, x(\theta ),\cdot )}$ is Cauchy in $\mathscr{P}(R_{+}^{2})$ for any initial data $x(\theta )\in C([-\tau,0];R_{+}^{2})$. Therefore, there is a unique $\varphi \in \mathscr{P}(R_{+}^{2})$ such that

$$ \lim_{t\rightarrow +\infty }d_{U}\bigl(p\bigl(t,\psi ( \theta ),\cdot \bigr),\varphi ( \cdot )\bigr)=0, $$

(19)

where $\psi (\theta )=(\psi _{1}(\theta ),\psi _{2}(\theta ))^{T}$, $\psi _{i}(\theta )\equiv 0.1$, $\theta \in [-\tau,0]$. From (17), we have

$$ \lim_{t\rightarrow +\infty }d_{U}\bigl(p\bigl(t,x(\theta ),\cdot \bigr),p\bigl(t,\psi ( \theta ),\cdot \bigr)\bigr)=0, $$

combining with (19) this implies

$$ \begin{aligned} & \lim_{t\rightarrow +\infty }d_{U}\bigl(p \bigl(t,x(\theta ),\cdot \bigr), \varphi (\cdot )\bigr) \\ &\quad\leqslant \lim_{t\rightarrow +\infty }d_{U}\bigl(p\bigl(t,x(\theta ), \cdot \bigr),p\bigl(t,\psi (\theta ),\cdot \bigr)\bigr) +\lim _{t\rightarrow + \infty }d_{U}\bigl(p\bigl(t,\psi (\theta ),\cdot \bigr),\varphi (\cdot )\bigr) \\ &\quad=0. \end{aligned} $$

The proof is completed. □

4 Optimal harvesting

In this section, we will state and prove our main results. For the sake of making the proof work, we introduce the following technical assumption.

Assumption 4

$4c_{11}c_{22}- (c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}( \theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta ) )^{2}<0$.

Theorem 4.1

For model (1), suppose that Assumptions 1–4hold. Define

$$ \textstyle\begin{cases} h_{1}^{*}= \frac{2c_{11}\aleph _{1}}{4c_{11}c_{22}- (\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )+\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta ) )^{2}} \\ \phantom{h_{1}^{*}=}{}+ \frac{ (\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )+\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta ) )\aleph _{2}}{4c_{11}c_{22}- (\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )+\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta ) )^{2}}, \\ h_{2}^{*}= \frac{2c_{22}\aleph _{2}}{4c_{11}c_{22}- (\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )+\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta ) )^{2}} \\ \phantom{h_{2}^{*}=}{} + \frac{ (\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )+\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta ) )\aleph _{1}}{4c_{11}c_{22}- (\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )+\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta ) ) ^{2}}, \end{cases} $$

where $\aleph _{1}=(r_{1}-\frac{\alpha _{1}^{2}}{2}-\kappa _{1})-(r_{2}- \frac{\alpha _{2}^{2}}{2}-\kappa _{2})\int ^{0}_{-\tau _{12}} \,\mathrm{d}F_{12}(\theta )$, $\aleph _{2}=(r_{2}-\frac{\alpha _{2}^{2}}{2}-\kappa _{2})-(r_{1}- \frac{\alpha _{1}^{2}}{2}-\kappa _{1})\int ^{0}_{-\tau _{21}} \,\mathrm{d}F_{21}(\theta )$, $\kappa _{i}=\int _{\mathbb {Z}} [\gamma _{i}(v)-\ln (1+\gamma _{i}(v)) ]\mu (\mathrm{d}v)$, $i=1,2$.

$(\mathcal{A})$ If $b_{1}|_{h_{1}=h_{1}^{*},h_{2}=h_{2}^{*}}>0$, $b_{2}|_{h_{1}=h_{1}^{*},h_{2}=h_{2}^{*}}>0$, $b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )|_{h_{1}=h_{1}^{*},h_{2}=h_{2}^{*}}>0$ and $b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )|_{h_{1}=h_{1}^{*},h_{2}=h_{2}^{*}}>0$, then OHE is $H^{*}=(h_{1}^{*},h_{2}^{*})$ and MESY is

$$ \begin{aligned} Y^{*}={}&h_{1}^{*} \frac{b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )} \\ &{}+h_{2}^{*} \frac{b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta ) \int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}. \end{aligned} $$

$(\mathcal{B})$ If the conditions $(\mathcal{A})$ do not hold, then the optimal harvesting policy does not exist.

Proof of Theorem 4.1

Let $G=\{H=(h_{1},h_{2})^{T} \in R^{2}|b_{i}>0, \Phi _{i}>0,h_{i}\geqslant 0,i=1,2\}$, where $\Phi _{1}=b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}( \theta )|_{h_{1}=h_{1}^{*},h_{2}=h_{2}^{*}}$, $\Phi _{2}=b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}( \theta )|_{h_{1}=h_{1}^{*},h_{2}=h_{2}^{*}}$. By Lemma 2.3, we can note that if $H\in G$, then (3) holds; if $H^{*}$ exists, then $H^{*}\in G$.

Firstly, we prove $(\mathcal{A})$. Clearly, $A=(h_{1}^{*},h_{2}^{*}) \in G$, hence G is not empty. For any $H\in G$,

$$ \lim_{t\rightarrow +\infty }t^{-1} \int ^{t}_{0}H^{T}x(s) \,\mathrm{d}s= \sum ^{2}_{i=1}h_{i}\lim _{t\rightarrow +\infty }t^{-1} \int ^{t}_{0}x_{i}(s)\,\mathrm{d}s,\quad \text{a.s.} $$

(20)

From Lemma 3.2, model (1) has a unique invariant measure $\varphi (\cdot )$. It is according to Corollary 3.4.3 in Prato and Zabczyk [30] that $\varphi (\cdot )$ is strong mixing. Then, as follows from Theorem 3.2.6 in [30], $\varphi (\cdot )$ is ergodic. By (3.3.2) in [30], we have

$$ \lim_{t\rightarrow +\infty }t^{-1} \int ^{t}_{0}H^{T}x(s)\,\mathrm{d}s= \int _{R_{+}^{2}}H^{T}x\varphi (\mathrm{d}x). $$

(21)

Let $\rho (x)$ express- the stationary probability density of (1). Therefore,

$$ Y(H)=\lim_{t\rightarrow +\infty }\sum ^{2}_{i=1}\mathbb{E}\bigl(h_{i}x_{i}(t) \bigr)= \lim_{t\rightarrow +\infty }\mathbb{E}\bigl(H^{T}x(t)\bigr)= \int _{R_{+}^{2}}H^{T}x \rho (x)\,\mathrm{d}x. $$

(22)

Due to the invariant measure of model (1) is unique, it then follows from the one-to-one correspondence between $\rho (x)$ and its invariant measure (see e.g. [30], p.105) that

$$ \int _{R_{+}^{2}}H^{T}x\rho (x)\,\mathrm{d}x= \int _{R_{+}^{2}}H^{T}x \varphi (\mathrm{d}x). $$

(23)

From (20)–(23) and (3), we obtain

$$ \begin{aligned} Y(H)={}&h_{1} \frac{b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )} \\ &{}+h_{2} \frac{b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}. \end{aligned} $$

(24)

A direct calculation yields

$$ \textstyle\begin{cases} \frac{\partial Y(H)}{\partial h_{1}}= \frac{-2c_{22}h_{1}+ (\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )+\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta ) )h_{2}+\aleph _{1}}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )} \\ \frac{\partial Y(H)}{\partial h_{2}}= \frac{-2c_{11}h_{2}+ (\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )+\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta ) )h_{1}+\aleph _{2}}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )} \\ \frac{\partial Y^{2}(H)}{\partial h_{1}^{2}}= \frac{-2c_{22}}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}, \\ \frac{\partial Y^{2}(H)}{\partial h_{1}\,\partial h_{2}}= \frac{\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )+\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}, \\ \frac{\partial Y^{2}(H)}{\partial h_{2}\,\partial h_{1}}= \frac{\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )+\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}, \\ \frac{\partial Y^{2}(H)}{\partial h_{2}^{2}}= \frac{-2c_{11}}{c_{11}c_{22}-\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )}. \end{cases} $$

(25)

Let $\frac{\partial Y(H)}{\partial h_{1}}=0$ and $\frac{\partial Y(H)}{\partial h_{2}}=0$. By (25), we have $h_{1}=h_{1}^{*}$, $h_{2}=h_{2}^{*}$. From Assumption 3, we observe that

$$ \begin{pmatrix} \frac{\partial Y^{2}(H)}{\partial h_{1}^{2}} \frac{\partial Y^{2}(H)}{\partial h_{1}\,\partial h_{2}} \\ \frac{\partial Y^{2}(H)}{\partial h_{2}\,\partial h_{1}} \frac{\partial Y^{2}(H)}{\partial h_{2}^{2}} \end{pmatrix} $$

is negative definite. Therefore, $(h_{1}^{*},h_{2}^{*})$ is the unique maximum point of $Y(H)$, and the MESY is $Y(H^{*})$.

Now we prove $(\mathcal{B})$. Suppose that OHE $\widetilde{H}^{*}=(\widetilde{h}_{1}^{*},\widetilde{h}_{2}^{*})^{T}$ exists, then $\widetilde{H}^{*}\in G$, i.e.,

$$ \begin{aligned}& b_{1}|_{h_{k}=\widetilde{h}^{*}_{k}}>0,\qquad b_{1}c_{22}-b_{2} \int ^{0}_{- \tau _{12}}\,\mathrm{d}F_{12}(\theta )|_{h_{k}=\widetilde{h}^{*}_{k}}>0, \\ & b_{2}|_{h_{k}=\widetilde{h}^{*}_{k}}>0,\qquad b_{2}c_{11}-b_{1} \int ^{0}_{- \tau _{21}}\,\mathrm{d}F_{21}(\theta )|_{h_{k}=\widetilde{h}^{*}_{k}}>0,\quad k=1,2. \end{aligned} $$

On the other hand, thanks to $\widetilde{H}^{*}$ being OHE, then $\widetilde{H}^{*}$ is the solution of (24). Note that the solution of (24) is unique and $H^{*}$ is also the solution of (24). Hence, $\widetilde{H}^{*}=H^{*}$, i.e., $b_{1}|_{h_{1}=h_{1}^{*},h_{2}=h_{2}^{*}}>0$, $b_{2}|_{h_{1}=h_{1}^{*},h_{2}=h_{2}^{*}}>0$, $b_{1}c_{22}-b_{2}\int ^{0}_{-\tau _{12}}\,\mathrm{d}F_{12}(\theta )|_{h_{1}=h_{1}^{*},h_{2}=h_{2}^{*}}>0$ and $b_{2}c_{11}-b_{1}\int ^{0}_{-\tau _{21}}\,\mathrm{d}F_{21}(\theta )|_{h_{1}=h_{1}^{*},h_{2}=h_{2}^{*}}>0$. The contradiction arises.

The proof is completed. □

Remark 4.1

From Theorem 4.1 we can note that the existence of an optimal harvesting policy has a close relationship with S-type distributed time delays, white noises and Lévy jumps.

5 Conclusions

In this paper, we considered the optimal harvesting of a stochastic competitive Lotka–Volterra model with S-type distributed time delays and Lévy jumps. We established the sufficient and necessary conditions for the existence of optimal harvesting policy, and we also obtained the explicit expression of the optimal harvesting effort and maximum yield by using the ergodic method. Theorem 4.1 indicates that the existence of an optimal harvesting policy has a close relationship with S-type distributed time delays, white noises and Lévy jumps.

Some interesting problems can be further investigated, such as the optimal harvesting problem for N-dimensional stochastic competitive Lotka–Volterra model with S-type distributed time delays and Lévy jumps. We can also study the optimal harvesting problem for some stochastic model with infinite time delays and Lévy jumps. It is necessary for us to work hard on these investigations.