1 Introduction

A basic question of theoretical and practical importance in population biology concerns the long-term survival of each species. Permanence, addressing the long-term survival of each component of a system, has emerged as the most important notion for the systems in ecology. Ahmad [1] studied the permanence of the following traditional two-species nonautonomous Lotka–Volterra system

$$ \textstyle\begin{cases} x_{1}' ( t ) = x_{1} ( t ) [ a_{1} ( t ) - b_{11} ( t ) x_{1} ( t ) - b_{12} ( t ) x_{2} ( t ) ] , \\ x_{2}' ( t ) = x_{2} ( t ) [ a_{2} ( t ) - b_{21} ( t ) x_{1} ( t ) - b_{22} ( t ) x_{2} ( t ) ] . \end{cases} $$
(1.1)

The functions \(a_{k} ( t ) \) and \(b_{kj} ( t )\) (\(1 \le k,j \le 2 \)) defined on \(( - \infty , + \infty ) \) are positive continuous upper bounded and have positive lower bounds. Letting

$$ g_{L} ( g_{M} ) = \inf ( \sup ) \bigl\{ g ( t ) :t \in R \bigr\} $$

for each bounded function \(g: R \to R\), he showed that one of them will be driven to extinction whereas the other will stabilize at a certain solution to the corresponding logistic equations if the inequalities

$$ a_{1L} > b_{12M}\frac{a_{2M}}{b_{22L}}, \qquad a_{2M} \le b_{21L}\frac{a_{1L}}{b_{11M}} $$
(1.2)

hold, that is, there can be no coexistence of the two species.

Under the above conclusion, the permanence of the traditional two-species Lotka–Volterra system with finite delays is also extended and attracts more and more attention to mathematics and mathematical biology (Teng [2–4], Zhao and Jiang [5], Chen [6, 7], Lisena [8], and Muroya [9]).

Oca and Vivas [10] investigated the dynamic behavior of the two-species Lotka–Volterra system of integro-differential equations with infinite delay

$$ \textstyle\begin{cases} x_{1}' ( t ) = x_{1} ( t ) [ a_{1} ( t ) - b_{11} ( t ) x_{1} ( t ) - b_{12} ( t ) \int_{ - \infty }^{t} k_{1} ( t - s ) x_{2} ( s ) \,ds ] , \\ x_{2}' ( t ) = x_{2} ( t ) [ a_{2} ( t ) - b_{21} ( t ) \int_{ - \infty }^{t} k_{2} ( t - s ) x_{1} ( s ) \,ds - b_{22} ( t ) x_{2} ( t ) ]. \end{cases} $$
(1.3)

The parameters are the same as in model (1.1). Oca and Vivas showed that if (1.2) holds, then the results of [1] still hold for system (1.3) by applying the fluctuation theorem (Tieno [11] or Hirsch et al. [12]).

The feedback control method of population ecosystem is applied, and many scholars have studied the stability and persistent adaptation of the ecosystem with feedback control to accelerate the degraded ecosystem to the equilibrium state or to adjust the equilibrium state to a new position. Xiao et al. [13] had proposed the following two-species competitive system with feedback controls:

$$ \textstyle\begin{cases} x_{1}' ( t ) = x_{1} ( t ) [ a_{1} ( t ) - b_{11} ( t ) x_{1} ( t ) - b_{12} ( t ) x_{2} ( t ) - c_{1} ( t ) u_{1} ( t ) ] , \\ x_{2}' ( t ) = x_{2} ( t ) [ a_{2} ( t ) - b_{21} ( t ) x_{1} ( t ) - b_{22} ( t ) x_{2} ( t ) + c_{2} ( t ) u_{2} ( t ) ] , \\ u_{1}' ( t ) = - e_{1} ( t ) u_{1} ( t ) + d_{1} ( t ) x_{1} ( t ) , \\ u_{2}' ( t ) = f ( t ) - e_{2} ( t ) u _{2} ( t ) - d_{2} ( t ) x_{2} ( t ) . \end{cases} $$
(1.4)

The functions \(a_{i} ( t ) \), \(b_{ij} ( t ) \), \(e_{i} ( t ) \), \(d_{i} ( t ) \), \(f_{i} ( t ) \) (\(i,j = 1,2 \)) are positive continuous upper bounded and have positive lower bounds.

According [14], for any positive solution \(( x_{1} ( t ) ,x _{2} ( t ) ) \) of system (1.3), we have \(x_{2} ( t ) \to 0\) as \(t \to + \infty \) and \(x_{1} ( t ) - x ^{*} ( t ) \to 0\) as \(t \to + \infty \), where \(x^{*} ( t ) \) is the solution of some logistic equation. However, this result breaks the equilibrium state of the two-species competitive system, so it needs to be adjusted by feedback control to make the ecosystem rebalance.

It is well known that the role of feedback control is enabling the ecosystem to reach and maintain equilibrium or steady state, and the result of feedback is to suppress and attenuate the changes that occur to the originally changed component.

In [13], the authors searched for certain schemes (such as harvesting procedure) to ensure the system to coexist with condition (1.2), where \(c_{2} ( t ) u_{2} ( t ) \) indicates the size to be used to make the population \(x_{2} ( t ) \) not extinct, and \(c_{2} ( t ) \) is the proportional coefficient of input; meanwhile, \(c_{1} ( t ) u_{1} ( t ) \) is the size that reduces the number of \(x_{1} ( t ) \) by periodic capture, and \(c_{1} ( t ) \) is the proportional coefficient capture. Population \(u_{1} ( t ) \) has a negative growth rate of a proportional coefficient \(e_{1} ( t ) \); we adjust it by the proportional coefficient \(d_{1} ( t ) \) to avoid extinction; \(f ( t ) \) is the initial population size of \(u_{2} ( t ) \), \(e_{2} ( t ) \) acts in the same way as \(e_{1} ( t ) \), and \(d_{2} ( t ) \) has the same effect as \(d_{1} ( t ) \).

They showed that assuming, in addition to (1.2), that

$$\begin{aligned}& \begin{gathered} a_{1L} - \frac{a_{2M}b_{12M}}{b_{22L}} > \frac{c_{1M}a_{1M}d_{1M}}{e _{1L}b_{11L}} + \frac{b_{12M}c_{2M}f_{M}}{b_{22L}e_{2L}}, \\ \frac{c_{2L}}{e_{2M}} \biggl[ f_{L} - \frac{d_{2M}a_{2M}e_{2L} + d_{2M}c _{2M}f_{M}}{b_{22L}e_{2L}} \biggr] > \frac{a_{1M}b_{21M}}{b_{11L}} - a _{2L}, \end{gathered} \end{aligned}$$
(1.5)

system (1.4) is permanent. In other words, by selecting appropriate feedback control variables, the extinction of species can be kept. We easily find that the additional work associated with the ecosystem with feedback controls is improved and extended for the present paper; see [15–27].

In addition, the ecological system is usually affected by seasonal factors, so that the system parameters show the changing characteristics of the cycle. Therefore, it is of great theoretical and practical significance to consider the ecosystem with feedback control and infinite delay effect and to study its stability and durability. Chen [14] considers the following two-species competitive system with feedback controls and infinite delay:

$$ \textstyle\begin{cases} x_{1}' ( t ) = x_{1} ( t ) [ a_{1} ( t ) - b_{11} ( t ) x_{1} ( t ) - b_{12} ( t ) \int_{ - \infty }^{t} k_{1} ( t - s ) x_{2} ( s ) \,ds \\ \hphantom{x_{1}' ( t )}\quad {}-c_{1} ( t ) \int_{ - \infty }^{t} h_{1} ( t - s ) u _{1} ( s ) \,ds ] , \\ x_{2}' ( t ) = x_{2} ( t ) [ a_{2} ( t ) - b_{21} ( t ) \int_{ - \infty }^{t} k_{2} ( t - s ) x_{1} ( s ) \,ds - b_{22} ( t ) x_{2} ( t ) \\ \hphantom{x_{2}' ( t )}\quad {}+c_{2} ( t ) \int_{ - \infty }^{t} h_{2} ( t - s ) u _{2} ( s ) \,ds ] , \\ u_{1}' ( t ) = - e_{1} ( t ) u_{1} ( t ) + d_{1} ( t ) \int_{ - \infty }^{t} k_{3} ( t - s ) x _{1} ( s ) \,ds, \\ u_{2}' ( t ) = f ( t ) - e_{2} ( t ) u _{2} ( t ) - d_{2} ( t ) \int_{ - \infty }^{t} k _{4} ( t - s ) x_{2} ( s ) \,ds. \end{cases} $$
(1.6)

The parameters in this model are the same as in model (1.4). The delay kernels are nonnegative measurable, where

$$ \int_{0}^{ + \infty } k_{i} ( s ) \,ds = 1, \qquad \int_{0}^{ + \infty } h_{i} ( s ) \,ds = 1, $$
(1.7)

and

$$ k_{i}:[0, + \infty ) \to (0, + \infty ),\quad i = 1, \ldots ,4;\quad\quad h_{i}:[0, + \infty ) \to (0, + \infty ),\quad i = 1,2. $$

They showed that system (1.6) is permanent if there are positive constants α, β such that

$$\begin{aligned}& \begin{gathered} 0 < \alpha \le \lim \inf_{t \to + \infty } x_{i} ( t ) \le \lim \sup_{t \to + \infty } x_{i} ( t ) \le \beta < + \infty , \\ 0 < \alpha \le \lim \inf_{t \to + \infty } u_{i} ( t ) \le \lim \sup_{t \to + \infty } u_{i} ( t ) \le \beta < + \infty , \end{gathered} \end{aligned}$$
(1.8)

and (1.2) and (1.5) are satisfied.

On the other hand, Allee effects are phenomena in population biology that arise if per-capita growth rates increase initially with increasing population sizes or densities. The phenomena were first observed by Allee in the 1930s in [28–30] and have received considerable attention recently due to fragmentation of habitats, invasion of exotic species, biology control of pest, and so on. A corresponding result of a different Allee effect form is presented in [31–33]. Moreover, some scholars have been committed to studying the effect of Allee effect on the persistence of competition systems with infinite delay and feedback control.

In this paper, the most representative expression of Allee effect is \(( 1 - \frac{A + c}{x_{1} ( t ) + c} ) \) [31, 32], where A is the Allee threshold, \(A > 0\) means the strong Allee effect, and \(A < 0\) means the feeble Allee effect, c is an auxiliary parameter (\(c > 0\), \(c \ge - A\)); when \(A + c = 0\), the Allee effect expression value 1 indicates that the species has no Allee effect. The parameter c affects the growth curve of species, which flattens out as it increases. When \(x_{1} ( t ) < A\), that is, the population density of species is less than A, the Allee effect is less than zero, and the population grows negatively; conversely, when \(x_{1} ( t ) > A\), the population density of species is greater than A, the Allee effect is greater than zero, and the population shows a positive growth trend.

This analysis motivated us to propose the following two-species competitive system with infinite delay, feedback, and Allee effect:

$$ \textstyle\begin{cases} x_{1}' ( t ) = x_{1} ( t ) [ a_{1} ( t ) ( 1 - \frac{b_{11} ( t ) }{a_{1} ( t ) }x_{1} ( t ) ) ( 1 - \frac{A + c}{x_{1} ( t ) + c} ) - b_{12} ( t ) \int_{ - \infty }^{t} k_{1} ( t - s ) x_{2} ( s ) \,ds \\ \hphantom{x_{1}' ( t )}\quad{} - c_{1} ( t ) \int_{ - \infty }^{t} h_{1} ( t - s ) u_{1} ( s ) \,ds ] , \\ x_{2}' ( t ) = x_{2} ( t ) [ a_{2} ( t ) - b_{21} ( t ) \int_{ - \infty }^{t} k_{2} ( t - s ) x_{1} ( s ) \,ds - b_{22} ( t ) x_{2} ( t ) \\ \hphantom{x_{2}' ( t ) }\quad {} +c_{2} ( t ) \int_{ - \infty }^{t} h_{2} ( t - s ) u _{2} ( s ) \,ds ] , \\ u_{1}' ( t ) = - e_{1} ( t ) u_{1} ( t ) + d_{1} ( t ) \int_{ - \infty }^{t} k_{3} ( t - s ) x _{1} ( s ) \,ds, \\ u_{2}' ( t ) = f ( t ) - e_{2} ( t ) u _{2} ( t ) - d_{2} ( t ) \int_{ - \infty }^{t} k _{4} ( t - s ) x_{2} ( s ) \,ds. \end{cases} $$
(1.9)

The parameters are the same as in model (1.6). We consider (1.9) together with the initial conditions

$$\begin{aligned}& \begin{gathered} x_{i} ( s ) = \phi_{i} ( s ) , \quad s \in ( - \infty ,0 ] ,i = 1,2, \\ u_{i} ( s ) = \psi_{i} ( s ) ,\quad s \in ( - \infty ,0 ] ,i = 1,2,\end{gathered} \end{aligned}$$
(1.10)

where \(\phi_{i},\psi_{i} \in \mathit{BC}^{ +} \), and

$$ \mathit{BC}^{ +} = \bigl\{ \phi \in C \bigl( \bigl( - \infty ,0 ] , [ 0, + \infty \bigr) \bigr) :\phi ( 0 ) > 0 \text{ and } \phi \text{ is bounded} \bigr\} , \quad i = 1,2. $$

It is well known that system (1.9) has a unique solution \(( x _{1} ( t ) ,x_{2} ( t ) ,u_{1} ( t ) ,u _{2} ( t ) ) \) satisfying the initial condition (1.10) is said to be positive [34], and \(x_{i} ( t ) > 0\), \(u_{i} ( t ) > 0\) for all \(i = 1,2\).

Although feedback control can help avoid extinction, but the Allee effect of two species coexist according to it ecological significance. The aim of this paper is to explore the Allee effect to affect the permanence of the two-species competitive system with feedback controls and infinite delay by using the differential inequality theory and differential equation comparison principle.

2 Permanence

To investigate the persistence for system (1.9), we introduce the following lemmas. The following lemma is Lemma 3 of Oca and Vivas [10].

Lemma 2.1

Let \(x:R \to R\) be a bounded nonnegative continuous function, and let \(k: [ 0, + \infty ) \to ( 0, + \infty ) \) be a continuous kernel such that \(\int_{0}^{\infty } k ( s ) \,ds = 1\). Then

$$\begin{aligned} \lim_{t \to + \infty } \inf x ( t ) &\le \lim \inf_{t \to + \infty } \int_{ - \infty }^{t} k ( t - s ) x ( s ) \,ds \\ & \le \lim \sup_{t \to + \infty } \int_{ - \infty }^{t} k ( t - s ) x ( s ) \,ds \\ &\le \lim \sup_{t \to + \infty } x ( t ) . \end{aligned}$$

As a direct corollary of Lemma 1.4 of Chen [17], we have the following:

Lemma 2.2

If \(a > 0\), \(b > 0\), \(\dot{x} \ge b - ax\), and \(x ( 0 ) > 0\), then we have

$$ \lim \inf_{t \to + \infty } x ( t ) \ge \frac{b}{a}. $$

If \(a > 0\), \(b > 0\), \(\dot{x} \le b - ax\), and \(x ( 0 ) > 0\), then we have

$$ \lim \sup_{t \to + \infty } x ( t ) \le \frac{b}{a}. $$

As a direct corollary of Lemma 2.2 of Chen [35], we have the following:

Lemma 2.3

If \(a > 0\), \(b > 0\), \(\dot{x} \ge x ( b - ax ) \), and \(x ( 0 ) > 0\), then we have

$$ \lim \inf_{t \to + \infty } x ( t ) \ge \frac{b}{a}. $$

If \(a > 0\), \(b > 0\), \(\dot{x} \le x ( b - ax ) \), and \(x ( 0 ) > 0\), then we have

$$ \lim \sup_{t \to + \infty } x ( t ) \le \frac{b}{a}. $$

Now, we show that system (1.9) is permanent. From the view point of biology, this implies that the two species will always coexist at any time and any location of the inhabit domain, no matter what their Allee effect coefficients are.

Theorem 2.1

System (1.9) is permanent if there are positive constants δ, θ (\(\theta > \delta > 0 \)) such that

$$\begin{aligned}& 0 < \delta \le \lim \inf_{t \to + \infty } x_{i} ( t ) \le \lim \sup_{t \to + \infty } x_{i} ( t ) \le \theta < + \infty , \\& 0 < \delta \le \lim \inf_{t \to + \infty } u_{i} ( t ) \le \lim \sup_{t \to + \infty } u_{i} ( t ) \le \theta < + \infty \end{aligned}$$

for any solution \(( x_{1} ( t ) ,x_{2} ( t ) ,u_{1} ( t ) ,u_{2} ( t ) )\) of (1.9) with initial conditions (1.8) and inequalities (1.2), (1.5) are satisfied. Here the kernels \(k_{i} ( s ) \), \(i = 1,2,3,4\), and \(h_{i} ( s ) \), \(i = 1,2\), are positive functions and satisfy (1.7).

Proof

Let \(( x_{1} ( t ) ,x_{2} ( t ) ,u _{1} ( t ) ,u_{2} ( t ) ) \) be any positive solution of system (1.9) with initial conditions (1.10). The ecological background and definition of the Allee effect shows that \(1 - \frac{A + c}{x_{1} ( t ) + c} < 1\). Clearly, from the first and last equations of system (1.9) we get

$$\begin{aligned} \begin{gathered} x_{1}' ( t ) = x_{1} ( t ) \biggl[ \bigl( a_{1} ( t ) - b_{11} ( t ) x_{1} ( t ) \bigr) \biggl( 1 - \frac{A + c}{x_{1} ( t ) + c} \biggr) \\ \hphantom{x_{1}' ( t )}\quad {}- b_{12} ( t ) \int_{ - \infty }^{t} k_{1} ( t - s ) x_{2} ( s ) \,ds - c_{1} ( t ) \int_{ - \infty }^{t} h_{1} ( t - s ) u_{1} ( s ) \,ds \biggr] \\ \hphantom{x_{1}' ( t )}\le x_{1} ( t ) \biggl[ \bigl( a_{1} ( t ) - b_{11} ( t ) x_{1} ( t ) \bigr) \biggl( 1 - \frac{A + c}{x _{1} ( t ) + c} \biggr) \biggr] \\ \hphantom{x_{1}' ( t )}\le x_{1} ( t ) \bigl( a_{1} ( t ) - b_{11} ( t ) x_{1} ( t ) \bigr) \\ \hphantom{x_{1}' ( t )} \le x_{1} ( t ) \bigl( a_{1M} - b_{11L}x_{1} ( t ) \bigr) , \\ u_{2}' ( t ) \le f_{M} - e_{2L}u_{2} ( t ) . \end{gathered} \end{aligned}$$
(2.1)

Thus, from Lemmas 2.2 and 2.3 we have

$$\begin{aligned} \begin{gathered} \lim \sup_{t \to + \infty } x_{1} ( t ) \le \frac{a_{1M}}{b _{11L}}\overset{\mathit{def}}{=}\bar{x}_{1}, \\ \lim \sup_{t \to + \infty } u_{2} ( t ) \le \frac{f_{M}}{e _{2L}} \overset{\mathit{def}}{=}\bar{u}_{2}. \end{gathered} \end{aligned}$$
(2.2)

Evidently, from (2.1) and Lemma 2.1 we have

$$ \lim \sup_{t \to + \infty } \int_{ - \infty }^{t} k_{2} ( t - s ) x _{1} ( s ) \,ds \le \lim \sup_{t \to + \infty } x_{1} ( t ) \le \bar{x}_{1}, $$
(2.3)

and

$$\begin{aligned} \begin{gathered} \lim \sup_{t \to + \infty } \int_{ - \infty }^{t} h_{2} ( t - s ) u _{2} ( s ) \,ds \le \lim \sup_{t \to + \infty } u_{2} ( t ) \le \bar{u}_{2}, \\ \lim \sup_{t \to + \infty } \int_{ - \infty }^{t} k_{3} ( t - s ) x _{1} ( s ) \,ds \le \lim \sup_{t \to + \infty } x_{1} ( t ) \le \bar{x}_{1}. \end{gathered} \end{aligned}$$
(2.4)

For any small positive constant \(\varepsilon > 0\), from (2.4) it follows that there exists \(T_{1} > 0\) such that, for \(t > T_{1}\),

$$\begin{aligned} \begin{gathered} \int_{ - \infty }^{t} h_{2} ( t - s ) u_{2} ( s ) \,ds \le \bar{u}_{2} + \varepsilon , \\ \int_{ - \infty }^{t} k_{3} ( t - s ) x_{1} ( s ) \,ds \le \bar{x}_{1} + \varepsilon . \end{gathered} \end{aligned}$$
(2.5)

Inequality (2.5), together with the second and third equations of system (1.9), leads to

$$\begin{aligned} \begin{gathered} x_{2}' ( t ) \le x_{2} ( t ) \bigl[ a_{2M} + c_{2M} ( \bar{u}_{2} + \varepsilon ) - b_{22L}x_{2} ( t ) \bigr] , \\ u_{1}' ( t ) \le - e_{1L}u_{1} ( t ) + d_{1M} ( \bar{x}_{1} + \varepsilon ) . \end{gathered} \end{aligned}$$
(2.6)

Again, applying Lemmas 2.2 and 2.3 to (2.6), we obtain

$$\begin{aligned}& \lim \sup_{t \to + \infty } x_{2} ( t ) \le \frac{a_{2M} + c _{2M} ( \bar{u}_{2} + \varepsilon ) }{b_{22L}}, \\& \lim \sup_{t \to + \infty } u_{1} ( t ) \le \frac{d_{1M} ( \bar{x}_{1} + \varepsilon ) }{e_{1L}}. \end{aligned}$$

Setting \(\varepsilon \to 0\) in these inequalities, we get

$$\begin{aligned} \begin{gathered} \lim \sup_{t \to + \infty } x_{2} ( t ) \le \frac{a_{2M} + c _{2M}\bar{u}_{2}}{b_{22L}}\overset{\mathit{def}}{=}\bar{x}_{2}, \\ \lim \sup_{t \to + \infty } u_{1} ( t ) \le \frac{d_{1M} \bar{x}_{1}}{e_{1L}} \overset{\mathit{def}}{=}\bar{u}_{1}. \end{gathered} \end{aligned}$$
(2.7)

Thus, from (2.7) and Lemma 2.1 we easily have that

$$\begin{aligned}& \begin{gathered} \lim \sup_{t \to + \infty } \int_{ - \infty }^{t} k_{i} ( t - s ) x _{2} ( s ) \,ds \le \lim \sup_{t \to + \infty } x_{2} ( t ) \le \bar{x}_{2}, \quad i = 1,4, \\ \lim \sup_{t \to + \infty } \int_{ - \infty }^{t} h_{1} ( t - s ) u_{1} ( s ) \,ds \le \lim \sup_{t \to + \infty } u_{1} ( t ) \le \bar{u}_{1}. \end{gathered} \end{aligned}$$
(2.8)

For any small positive constant \(\varepsilon > 0\), from (2.8) it follows that there exists \(T_{2} > T_{1}\) such that, for \(t > T_{2}\),

$$\begin{aligned}& \begin{gathered} \int_{ - \infty }^{t} k_{i} ( t - s ) x_{2} ( s ) \,ds \le \bar{x}_{2} + \varepsilon , \quad i = 1,4, \\ \int_{ - \infty }^{t} h_{1} ( t - s ) u_{1} ( s ) \,ds \le \bar{u}_{1} + \varepsilon . \end{gathered} \end{aligned}$$
(2.9)

Hence, for \(t > T_{2}\), inequality (2.9), together with the first and last equations of system (1.9), leads to

$$\begin{aligned} x_{1}' ( t ) & = x_{1} ( t ) \biggl[ \bigl( a_{1} ( t ) - b_{11} ( t ) x_{1} ( t ) \bigr) \biggl( 1 - \frac{A + c}{x_{1} ( t ) + c} \biggr) \\ & \quad {} - b_{12} ( t ) \int_{ - \infty }^{t} k_{1} ( t - s ) x_{2} ( s ) \,ds - c_{1} ( t ) \int_{ - \infty }^{t} h_{1} ( t - s ) u_{1} ( s ) \,ds \biggr] \\ & \ge x_{1} ( t ) \biggl[ \bigl( a_{1} ( t ) - b_{11} ( t ) x_{1} ( t ) \bigr) - \bigl( a_{1} ( t ) - b_{11} ( t ) x_{1} ( t ) \bigr) \biggl( \frac{A + c}{x_{1} ( t ) + c} \biggr) \\ & \quad {} - b_{12M} ( \bar{x}_{2} + \varepsilon ) - c_{1M} ( \bar{u}_{1} + \varepsilon ) \biggr] \\ & = x_{1} ( t ) \biggl[ \bigl( a_{1} ( t ) - b_{11} ( t ) x_{1} ( t ) \bigr) - a_{1} ( t ) \biggl( \frac{A + c}{x_{1} ( t ) + c} \biggr) + b _{11} ( t ) x_{1} ( t ) \biggl( \frac{A + c}{x_{1} ( t ) + c} \biggr) \\ & \quad {} - b_{12M} ( \bar{x}_{2} + \varepsilon ) - c_{1M} ( \bar{u}_{1} + \varepsilon ) \biggr] \\ & = x_{1} ( t ) \biggl[ \bigl( a_{1} ( t ) - b_{11} ( t ) x_{1} ( t ) \bigr) - a_{1} ( t ) \biggl( A - A + \frac{A + c}{x_{1} ( t ) + c} \biggr) + b_{11} ( t ) x_{1} ( t ) \\ & \quad {} \cdot \biggl( \frac{A + c}{x_{1} ( t ) + c} \biggr) - b_{12M} ( \bar{x}_{2} + \varepsilon ) - c_{1M} ( \bar{u}_{1} + \varepsilon ) \biggr] \\ & = x_{1} ( t ) \biggl[ \bigl( a_{1} ( t ) - b_{11} ( t ) x_{1} ( t ) \bigr) - a_{1} ( t ) A + a_{1} ( t ) \biggl( A - \frac{A + c}{x_{1} ( t ) + c} \biggr) + b_{11} ( t ) x_{1} ( t ) \\ &\quad {} \cdot \biggl( \frac{A + c}{x_{1} ( t ) + c} \biggr) - b_{12M} ( \bar{x}_{2} + \varepsilon ) - c_{1M} ( \bar{u}_{1} + \varepsilon ) \biggr] \\ & = x_{1} ( t ) \biggl[ a_{1} ( t ) ( 1 - A ) - b_{11} ( t ) x_{1} ( t ) + a_{1} ( t ) \biggl( \frac{Ax_{1} ( t ) + Ac - A - c}{x_{1} ( t ) + c} \biggr) \\ &\quad{} + b_{11} ( t ) x_{1} ( t ) \biggl( \frac{A + c}{x_{1} ( t ) + c} \biggr) - b_{12M} ( \bar{x}_{2} + \varepsilon ) - c_{1M} ( \bar{u}_{1} + \varepsilon ) \biggr] \\ & = x_{1} ( t ) \biggl[ a_{1} ( t ) ( 1 - A ) + a_{1} ( t ) \biggl( \frac{Ac - A - c}{x_{1} ( t ) + c} \biggr) - b_{12M} ( \bar{x}_{2} + \varepsilon ) - c _{1M} ( \bar{u}_{1} + \varepsilon ) \\ &\quad{} - b_{11} ( t ) x_{1} ( t ) + \biggl( \frac{a_{1} ( t ) A}{x _{1} ( t ) + c} \biggr) x_{1} ( t ) + b_{11} ( t ) x_{1} ( t ) \biggl( \frac{A + c}{x_{1} ( t ) + c} \biggr) \biggr] \\ & \ge x_{1} ( t ) \biggl[ a_{1L} ( 1 - A ) + a_{1L} \biggl( \frac{Ac - A - c}{\bar{x}_{1} + c} \biggr) - b_{12M} ( \bar{x}_{2} + \varepsilon ) - c_{1M} ( \bar{u}_{1} + \varepsilon ) \\ &\quad{} - \biggl( b_{11M} - \biggl( \frac{a_{1L}A}{ \bar{x}_{1} + c} \biggr) - b_{11L} \biggl( \frac{A + c}{\bar{x}_{1} + c} \biggr) \biggr) x_{1} ( t ) \biggr] . \end{aligned}$$

Here, from (1.5), without loss of generality, we may choose ε small enough such that

$$ \frac{a_{1L} ( 1 - A ) + a_{1L}b_{11L} ( \frac{Ac - A - c}{a_{1M} + cb_{11L}} ) - b_{12M} ( \frac{e_{2L}a_{2M} + c _{2M}f_{M}}{e_{2L}b_{22L}} + \varepsilon ) - c_{1M} ( \frac{d _{1M}a_{1M}}{e_{1L}b_{11L}} + \varepsilon ) }{b_{11M} - ( \frac{b _{11L}a_{1L}A}{a_{1M} + cb_{11L}} ) - b_{11L}^{2} ( \frac{A + c}{a_{1M} + cb_{11L}} ) } > 0. $$

Integrating this inequality, we get

$$ \frac{a_{1L} ( 1 - A ) + a_{1L} ( \frac{Ac - A - c}{ \bar{x}_{1} + c} ) - b_{12M} ( \bar{x}_{2} + \varepsilon ) - c_{1M} ( \bar{u}_{1} + \varepsilon ) }{b _{11M} - ( \frac{a_{1L}A}{\bar{x}_{1} + c} ) - b_{11L} ( \frac{A + c}{\bar{x}_{1} + c} ) } > 0. $$

Also, because of

$$ u_{2}' ( t ) \ge f_{L} - d_{2M} ( \bar{x}_{2} + \varepsilon ) - e_{2M}u_{2} ( t ) , $$
(2.10)

as a conclusion, we have

$$ f_{L} - \frac{d_{2M}a_{2M}e_{2L} + d_{2M}c_{2M}f_{M}}{b_{22L}e_{2L}} - d_{2M}\varepsilon > 0, $$

Integrating the above inequality, we get

$$ f_{L} - d_{2M} ( \bar{x}_{2} + \varepsilon ) > 0. $$

Thus, applying Lemmas 2.2 and 2.3, we have

$$\begin{aligned}& \lim \inf_{t \to + \infty } x_{1} ( t ) \ge \frac{a_{1L} ( 1 - A ) + a_{1L} ( \frac{Ac - A - c}{\bar{x}_{1} + c} ) - b_{12M} ( \bar{x} _{2} + \varepsilon ) - c_{1M} ( \bar{u}_{1} + \varepsilon ) }{b _{11M} - ( \frac{a_{1L}A}{\bar{x}_{1} + c} ) - b_{11L} ( \frac{A + c}{\bar{x}_{1} + c} ) } > 0, \\& \lim \inf_{t \to + \infty } u_{2} ( t ) \ge \frac{f_{L} - d _{2M} ( \bar{x}_{2} + \varepsilon ) }{e_{2M}} > 0. \end{aligned}$$

Letting \(\varepsilon \to 0\) in this inequality leads to

$$\begin{aligned}& \begin{gathered} \lim \inf_{t \to + \infty } x_{1} ( t ) \ge \frac{a_{1L} ( 1 - A ) + a_{1L} ( \frac{Ac - A - c}{\bar{x}_{1} + c} ) - b_{12M}\bar{x}_{2} - c _{1M}\bar{u}_{1}}{b_{11M} - ( \frac{a_{1L}A}{\bar{x}_{1} + c} ) - b_{11L} ( \frac{A + c}{\bar{x}_{1} + c} ) } \overset{\mathit{def}}{=}\underline{x}_{1} > 0, \\ \lim \inf_{t \to + \infty } u_{2} ( t ) \ge \frac{f_{L} - d _{2M}\bar{x}_{2}}{e_{2M}} \overset{\mathit{def}}{=}\underline{u}_{2} > 0. \end{gathered} \end{aligned}$$
(2.11)

From (2.11) and Lemma 2.1 we obtain

$$\begin{aligned}& \begin{gathered} \lim \inf_{t \to + \infty } \int_{ - \infty }^{t} h_{2} ( t - s ) u _{2} ( s ) \,ds \ge \lim \inf_{t \to + \infty } u_{2} ( t ) \ge \underline{u}_{2}, \\ \lim \inf_{t \to + \infty } \int_{ - \infty }^{t} k_{3} ( t - s ) x_{1} ( s ) \,ds \ge \lim \inf_{t \to + \infty } x_{1} ( t ) \ge \underline{x}_{1}. \end{gathered} \end{aligned}$$
(2.12)

For any small positive constant \(\varepsilon > 0\), from the second inequality of (1.5) we may choose ε small enough such that

$$ \varepsilon < \frac{1}{2}\min \{ \underline{u}_{2}, \underline{x} _{1} \} $$

and

$$ a_{2L} - b_{21M} ( \bar{x}_{1} + \varepsilon ) + c_{2L} ( \underline{u}_{2} + \varepsilon ) > 0. $$

For such \(\varepsilon > 0\), from (2.3) and (2.12) it follows that there exists \(T_{3} > T_{2} > 0\) such that, for \(t > T_{3}\),

$$\begin{aligned}& \begin{gathered} \int_{ - \infty }^{t} k_{2} ( t - s ) x_{1} ( s ) \,ds \le \bar{x}_{1} + \varepsilon , \\ \int_{ - \infty }^{t} h_{2} ( t - s ) u_{2} ( s ) \,ds \ge \underline{u}_{2} - \varepsilon , \\ \int_{ - \infty }^{t} k_{3} ( t - s ) x_{1} ( s ) \,ds \ge \underline{x}_{1} - \varepsilon , \end{gathered} \end{aligned}$$
(2.13)

Inequality (2.13), together with the second and third equations of system (1.9), leads to

$$\begin{aligned}& \begin{gathered} x_{2}' ( t ) \ge x_{2} ( t ) \bigl[ a_{2L} - b_{21M} ( \bar{x}_{1} + \varepsilon ) + c_{2L} ( \underline{u} _{2} - \varepsilon ) - b_{22M}x_{2} ( t ) \bigr] , \\ u_{1}' ( t ) \ge - e_{1M}u_{1} ( t ) + d_{1L} ( \underline{x}_{1} - \varepsilon ) . \end{gathered} \end{aligned}$$
(2.14)

Again, applying Lemmas 2.2 and 2.3 to (2.6), we obtain

$$\begin{aligned}& \lim \inf_{t \to + \infty } x_{2} ( t ) \ge \frac{a_{2L} - b _{21M} ( \bar{x}_{1} + \varepsilon ) + c_{2L} ( \underline{u}_{2} - \varepsilon ) }{b_{22M}} > 0, \\& \lim \inf_{t \to + \infty } u_{1} ( t ) \ge \frac{d_{1L} ( \underline{x}_{1} - \varepsilon ) }{e_{1M}} > 0. \end{aligned}$$

There exists small \(\varepsilon \to 0\) such that

$$\begin{aligned}& \begin{gathered} \lim \inf_{t \to + \infty } x_{2} ( t ) \ge \frac{a_{2L} - b _{21M}\bar{x}_{1} + c_{2L}\underline{u}_{2}}{b_{22M}}\overset{\mathit{def}}{=}\underline{x}_{2} > 0, \\ \lim \inf_{t \to + \infty } u_{1} ( t ) \ge \frac{d_{1L} \underline{x}_{1}}{e_{1M}} \overset{\mathit{def}}{=}\underline{u}_{1} > 0. \end{gathered} \end{aligned}$$
(2.15)

Now, let \(\delta = \frac{1}{2}\min \{ \underline{x}_{i}, \underline{u}_{i}, i = 1,2 \} \) and \(\theta = 2\max \{ \bar{x}_{i},\bar{u}_{i}, i = 1,2 \} \). Then δ, θ are independent of any positive solution of system (1.9). Also, from (2.2), (2.7), (2.11), and (2.15) it immediately follows that

$$\begin{aligned}& 0 < \delta \le \lim \inf_{t \to + \infty } x_{i} ( t ) \le \lim \sup_{t \to + \infty } x_{i} ( t ) \le \theta < + \infty , \\& 0 < \delta \le \lim \inf_{t \to + \infty } u_{i} ( t ) \le \lim \sup_{t \to + \infty } u_{i} ( t ) \le \theta < + \infty . \end{aligned}$$

The above inequality shows that system (1.9) is permanent. □

3 Periodic solution

Theorem 3.1

([14])

Assume (2.2), (2.7), (2.11) hold. Then

$$ K = \bigl\{ \bigl( x_{1} ( t ) ,x_{2} ( t ) ,u_{1} ( t ) ,u_{2} ( t ) \bigr) :x_{iL} \le x_{i} ( t ) \le x_{iM},u_{iL} \le u_{i} ( t ) \le u_{iM},i = 1,2 \bigr\} $$

is an ultimately bounded region of system (1.9).

In this section, we suppose that system (1.9) is an ω-period system. For \(X = ( x_{1},x_{2},u_{1}, u_{2} ) \in R^{4}\), we define the norm as

$$ \Vert X \Vert = \vert x_{1} \vert + \vert x_{2} \vert + \vert u_{1} \vert + \vert u_{2} \vert . $$

We can define a Poincaré map on \(K \subset R^{4}\) (the Banach space with previously defined norm), and by the Brower fixed-point theorem and Theorem 3.1 we obtain the following:

Theorem 3.2

([14])

Assume that (2.2), (2.7), (2.11) hold. Then the ω-period system (1.9) has at least one ω-period solution.

Theorem 3.3

Assume that (2.2), (2.7), (2.11) hold and that there exists positive constants \(p_{i}\), \(q_{i}\), \(l_{i}\), \(m_{i}\) (\(i = 1,2 \)) such that

$$\begin{aligned}& q_{1}d_{1L}\underline{x}_{1} > p_{1} \biggl( - b_{11L} - \frac{b_{11L} ( A + c ) }{\underline{x} + c} \biggr) + p_{2}b_{21M} \bar{x}_{1}, \\& p_{2}b_{22L} > p_{1}b_{12M} \underline{x}_{2} + q_{2}d_{2M} \underline{x}_{2},\qquad q_{1}e_{1L} > p_{1}c_{1L}\underline{u}_{1}, \qquad q_{2}e_{2L} > p_{2}c_{2M} \bar{u}_{2}. \end{aligned}$$

Then system (1.9) has a periodic solution that is globally attractive.

Proof

Suppose \(W ( t ) = \{ x_{1} ( t ) ,x _{2} ( t ) ,u_{1} ( t ) ,u_{2} ( t ) \} \) is any solution of system (1.9) with positive initial value and \(W_{0} ( t ) = \{ x_{10} ( t ) ,x_{20} ( t ) ,u_{10} ( t ) ,u_{20} ( t ) \} \) is a strictly positive periodic solution of system (1.9).

Consider the Lyapunov function \(V ( t ) \) as follows:

$$ V ( t ) = \sum_{j = 1}^{2} \bigl[ p_{j} \bigl\vert \ln x_{j} ( t ) - \ln x_{j0} ( t ) \bigr\vert + q_{j} \bigl\vert u _{j} ( t ) - u_{j0} ( t ) \bigr\vert \bigr] . $$

Calculating the right derivative \(D^{ +} V\) of V along the solution of (1.9), we get

$$\begin{aligned} D^{ +} V ( t ) &= D^{ +} \Biggl\{ \sum _{j = 1}^{2} \bigl[ p _{j} \bigl\vert \ln x_{j} ( t ) - \ln x_{j0} ( t ) \bigr\vert + q_{j} \bigl\vert u_{j} ( t ) - u_{j0} ( t ) \bigr\vert \bigr] \Biggr\} \\ & = \biggl\{ p_{1} \biggl( - b_{11} ( t ) + \frac{ ( a_{1} ( t ) - b_{11} ( t ) ( A + c ) ) }{x _{1} ( t ) + c} \biggr) - p_{2}b_{21} ( t ) D^{ +} \biggl( \int_{ - \infty }^{t} k_{2} ( t - s ) x_{1} ( s ) \,ds \biggr) \\ & \quad {} + q_{1}d_{1} ( t ) D^{ +} \biggl( \int_{ - \infty }^{t} k _{3} ( t - s ) x_{1} ( s ) \,ds \biggr) \biggr\} \cdot \vert x_{1} - x_{10} \vert \\ & \quad {}+ \biggl\{ - p_{1}b_{12} ( t ) D ^{ +} \biggl( \int_{ - \infty }^{t} k_{1} ( t - s ) x_{2} ( s ) \,ds \biggr) \\ &\quad {} - p_{2}b_{22} ( t ) - q_{2}d_{2} ( t ) D ^{ +} \biggl( \int_{ - \infty }^{t} k_{4} ( t - s ) x_{2} ( s ) \,ds \biggr) \biggr\} \cdot \vert x_{2} - x_{20} \vert \\ & \quad {} + \biggl\{ - p_{1}c_{1} ( t ) D^{ +} \biggl( \int_{ - \infty }^{t} h_{1} ( t - s ) u _{1} ( s ) \,ds \biggr) - q_{1}e_{1} ( t ) \biggr\} \cdot \vert u_{1} - u_{10} \vert \\ & \quad {} + \biggl\{ p_{2}c_{2} ( t ) D ^{ +} \biggl( \int_{ - \infty }^{t} h_{2} ( t - s ) u_{2} ( s ) \,ds \biggr) - q_{2}e_{2} ( t ) \biggr\} \cdot \vert u_{2} - u_{20} \vert \\ & \le \biggl\{ p_{1} \biggl( - b_{11L} - \frac{b_{11L} ( A + c ) }{ \underline{x} + c} \biggr) - p_{2}b_{21L}D^{ +} \biggl( \int_{ - \infty }^{t} k_{2} ( t - s ) x_{1} ( s ) \,ds \biggr) + q_{1}d_{1M} \\ & \quad {} \cdot D^{ +} \biggl( \int_{ - \infty }^{t} k_{3} ( t - s ) x _{1} ( s ) \,ds \biggr) \biggr\} \cdot \vert x_{1} - x_{10} \vert \\ & \quad {}+ \biggl\{ - p_{1}b_{12L}D^{ +} \biggl( \int_{ - \infty }^{t} k _{1} ( t - s ) x_{2} ( s ) \,ds \biggr) - p_{2}b_{22L} \\ &\quad {} - q_{2}d_{2L}D^{ +} \biggl( \int_{ - \infty }^{t} k_{4} ( t - s ) x_{2} ( s ) \,ds \biggr) \biggr\} \cdot \vert x _{2} - x_{20} \vert \\ & \quad {}+ \biggl\{ - p_{1}c_{1L}D^{ +} \biggl( \int_{ - \infty }^{t} h_{1} ( t - s ) u_{1} ( s ) \,ds \biggr) - q_{1}e_{1L} \biggr\} \\ &\quad {} \cdot \vert u_{1} - u_{10} \vert + \biggl\{ p_{2}c_{2M}D^{ +} \biggl( \int_{ - \infty }^{t} h_{2} ( t - s ) u_{2} ( s ) \,ds \biggr) - q_{2}e_{2L} \biggr\} \cdot \vert u_{2} - u_{20} \vert \\ & \le \biggl\{ p_{1} \biggl( - b_{11L} - \frac{b_{11L} ( A + c ) }{ \underline{x} + c} \biggr) + p_{2}b_{21M} ( \bar{x}_{1} + \varepsilon ) - q_{1}d_{1L} ( \underline{x}_{1} - \varepsilon ) \biggr\} \cdot \vert x_{1} - x_{10} \vert \\ & \quad {} + \bigl\{ p_{1}b_{12M} ( \underline{x}_{2} - \varepsilon ) - p_{2}b_{22L} + q_{2}d_{2M} ( \underline{x}_{2} - \varepsilon ) \bigr\} \cdot \vert x_{2} - x_{20} \vert \\ & \quad {}+ \bigl\{ p_{1}c_{1L} ( \underline{u}_{1} - \varepsilon ) - q_{1}e_{1L} \bigr\} \\ & \quad {} \cdot \vert u_{1} - u_{10} \vert + \bigl\{ p_{2}c_{2M} ( \bar{u}_{2} + \varepsilon ) - q_{2}e_{2L} \bigr\} \cdot \vert u_{2} - u_{20} \vert \\ & = \biggl\{ p_{1} \biggl( - b_{11L} - \frac{b_{11L} ( A + c ) }{ \underline{x} + c} \biggr) + p_{2}b_{21M}\bar{x}_{1} - q_{1}d_{1L} \underline{x}_{1} \biggr\} \cdot \vert x_{1} - x_{10} \vert \\ &\quad {} + \{ p_{1}b_{12M}\underline{x}_{2} - p_{2}b_{22L} + q_{2}d_{2M} \underline{x}_{2} \} \cdot \vert x_{2} - x_{20} \vert + \{ p_{1}c_{1L}\underline{u}_{1} - q_{1}e_{1L} \} \\ & \quad {} \cdot \vert u_{1} - u_{10} \vert + \{ p_{2}c_{2M}\bar{u}_{2} - q_{2}e_{2L} \} \cdot \vert u_{2} - u_{20} \vert ( \varepsilon = 0 ) \\ & = - m_{1} \vert x_{1} - x_{10} \vert - m_{2} \vert x_{2} - x_{20} \vert - l_{1} \vert u_{1} - u_{10} \vert - l_{2} \vert u_{2} - u _{20} \vert \\ & \le - m\sum_{i = 1}^{2} \bigl[ \vert x_{i} - x_{i0} \vert + \vert u_{i} - u_{i0} \vert \bigr] \\ & \le - m \bigl\Vert W ( t ) - W_{0} ( t ) \bigr\Vert , \end{aligned}$$

where

$$\begin{aligned}& m = \min \{ m_{i},l_{i},i = 1,2 \} ,\qquad m_{1} = q_{1}d _{1L}\underline{x}_{1} - p_{1} \biggl( - b_{11L} - \frac{b_{11L} ( A + c ) }{\underline{x} + c} \biggr) - p_{2}b_{21M}\bar{x}_{1}, \\& m_{2} = \{ p_{2}b_{22L} - p_{1}b_{12M} \underline{x}_{2} - q_{2}d _{2M} \underline{x}_{2} \} ,\qquad l_{1} = \{ q_{1}e_{1L} - p _{1}c_{1L}\underline{u}_{1} \} , \\& l_{2} = \{ q_{2}e _{2L} - p_{2}c_{2M} \bar{u}_{2} \} . \end{aligned}$$

Then \(V ( t ) \) is decreasing on \([ 0,\infty ) \); thus \(0 \le V ( t ) \le V ( 0 ) \), and

$$ \lim_{t \to \infty } V ( t ) = V^{*} \ge 0,\qquad \vert \ln x_{i} \vert \le \vert \ln x_{i} - \ln x_{i0} \vert + \vert \ln x_{i0} \vert \le V ( t ) + \vert \ln x_{i0} \vert . $$

So \(x_{i}\) (\(i = 1,2 \)) is bounded. By the same reason, we have that \(u_{i}\) (\(i = 1,2 \)) is bounded. Hence, \(W ( t ) \) is bounded; by the usual mean value theorem there are positive constants \(\beta_{0}\), \(\beta_{1}\) such that

$$ \frac{1}{\beta_{0}} \vert x_{i} - x_{i0} \vert + \vert u_{i} - u _{i0} \vert \le \vert \ln x_{i} - \ln x_{i0} \vert + \vert u _{i} - u_{i0} \vert \le \frac{1}{\beta_{1}} \vert x_{i} - x_{i0} \vert + \vert u_{i} - u_{i0} \vert \quad ( i = 1,2 ) . $$

From this it follows that there are positive constants \(\beta_{2}\), \(\beta_{3}\) such that

$$ \frac{1}{\beta_{3}} \bigl\Vert W ( t ) - W_{0} ( t ) \bigr\Vert \le V ( t ) \le \frac{1}{\beta_{2}} \bigl\Vert W ( t ) - W_{0} ( t ) \bigr\Vert , $$

And thus \(D^{ +} V ( t ) \le - m\beta_{2}V ( t ) \). We claim that \(V^{*} = 0\). Otherwise, \(V^{*} > 0\), and we have \(V ( t ) \ge V^{*} > 0\), so \(D^{ +} V ( t ) \le - m\beta_{2}V^{*}\), and then

$$ V ( t ) \le V ( 0 ) - m\beta_{2}V^{*} \to - \infty \quad ( t \to \infty ) . $$

This contradicts with positivity of \(V ( t ) \), so \(V^{*} = 0\), and we have

$$ 0 \le \lim_{t \to \infty } \bigl\Vert W ( t ) - W_{0} ( t ) \bigr\Vert \le \lim_{t \to \infty } \beta_{3}V ( t ) = 0, $$

And thus the periodic solution \(W_{0} ( t ) \) is globally attractive. □

4 Discussion

In [14], it was shown that, for infinite delay ecosystem, feedback controls can avoid the extinction of the species without the Allee effect, and the upper bound of \(x_{1} ( t ) \) is \(\frac{a _{1M}}{b_{11L}}\), whereas the lower bound is \(\frac{a_{1L} - b_{12M} \bar{x}_{2} - c_{1M}\bar{u}_{1}}{b_{11M}}\). This paper introduces the Allee effect, and we easily prove that the upper bound of \(x_{1} ( t ) \) with Allee effect is invariant, and the lower bound is \(\frac{a _{1L} ( 1 - A ) + a_{1L} ( \frac{Ac - A - c}{\bar{x} _{1} + c} ) - b_{12M}\bar{x}_{2} - c_{1M}\bar{u}_{1}}{b_{11M} - ( \frac{a_{1L}A}{\bar{x}_{1} + c} ) - b_{11L} ( \frac{A + c}{\bar{x}_{1} + c} ) }\). If \(A = c = 0\), then we prove that the lower bound of \(x_{1} ( t ) \) with Allee effect is equal to the lower bound without Allee effect. By contrast, the lower bound of \(x_{1} ( t ) \) becomes greater, and then our analysis reveals that the Allee effect increases the risk of one population extinction and is unfavorable for two species to achieve persistence.

As well known, the periodic solution is an important topic in the study of dynamics for differential equations and population models. Weng [36] and Liu [37] studied the periodic solution to the two-species competitive system with feedback controls. Peng [38], Seifert [39], and Muhammadhaji [40] studied the periodic solution to the two-species competitive system with infinite delay and pure delays. Moreover, in this paper, we obtain the periodic solution of system (1.9), which overcomes some limitations and deficiency of the existing ones.