#### Abstract

In view of the logical consistence, the model of a two-prey one-predator system with Beddington-DeAngelis functional response and impulsive control strategies is formulated and studied systematically. By using the Floquet theory of impulsive equation, small amplitude perturbation method, and comparison technique, we obtain the conditions which guarantee the global asymptotic stability of the two-prey eradication periodic solution. We also proved that the system is permanent under some conditions. Numerical simulations find that the system appears the phenomenon of competition exclusion.

#### 1. Introduction

In an ecological system, understanding the dynamical relationships between predator and prey is one of the central goals. One important component of the predator-prey relationships is the predator's functional response. Functional response refers to the change in the density of prey attached per unit time per predator as the prey density changes. In 1965, Holling [1] gave three different kinds of functional response for different kinds of species to model the phenomena of predation, which made the standard Lotka-Volterra system more realistic. The Beddington-DeAngelis functional response was introduced by Beddington [2] and DeAngelis et al. [3] in 1975. It is similar to the Holling type functional response but contains an extra term describing mutual interference by predators. Thus, a predator-prey model with Beddington-DeAngelis functional response is as the following form [2, 3]: where and represent the population density of the prey and the predator at time , respectively. Usually, is called the carrying capacity of the prey. The constant is called intrinsic growth rate of the prey. is the conversion rate and is the death rate of the predator. The term measures the mutual interference between predators. In 2004, Fan and Kuang [4] explored the dynamics of the nonautonomous, spatially homogeneous, and continuous time predator-prey system with the Beddington-DeAngelis functional response. The explorations involved the permanence, extinction, and global asymptotic stability (general nonautonomous case); the existence, uniqueness, and stability of a positive (almost) periodic solution; and a boundary (almost) periodic solution for the periodic (almost periodic) case.

It is straightforward to generalize the above two-species model to the situation when two prey species competing for the same resource but the two prey species are predated by one predator species. This results in the following three-species model:

If and are identical species, then , , , , and . Let ; then, the model that is consistent with (2) should take the form

If model (2) is logically sound one, it should reduce itself to (3) in this situation. However, the result is not the case; instead, it becomes

According to the logical consistence proposed by Arditi and Michalski in 1996 [5], a logically consistent model of the two-prey one-predator interaction should take the form

There are a number of factors in the environment to be considered in predator-prey models. One of the important factors is an impulsive perturbation such as fire and flood; these are not suitable to be considered continuously. The impulsive perturbations bring sudden changes to the system. Let us think of prey as a pest and predator as a natural enemy of prey. There are many ways to beat agricultural pests, for example, biological control such as harvesting on prey and releasing natural enemies [6–11] and chemical control such as spreading pesticides. However, integrated pest management (IPM) is a more effective approach to control pests in farm, which has been proved by experiments (see [12–14]). Such tactics are discontinuous and periodical. With the idea of periodic forcing and impulsive perturbations, Baek [15] has investigated the predator-prey model with periodic constant impulsive immigration of the predator and periodic variation in the intrinsic growth rate of the prey. And an ecological model consisting of two preys and one predator with impulsive release of the predator is studied in [16]. In this paper, we will consider an ecological model consisting of two preys and one predator with impulsive control strategy. We give some assumptions as follows.(H1)Two prey species compete the same resource.(H2)Functional response is effected for mutual interference by predators.

Thus, the model can be described by the following impulsive differential equations:

where , , and are the densities of the two preys and a predator at time , respectively. is the total carrying capacity of two prey species; are the intrinsic growth rate; are the catching rate; scale the impact of predators mutual interference; are saturation constants; denote the efficiency with which resources are converted to new consumers; is the mortality rate of the predator. is the period of the impulsive effect; is the set of all nonnegative integers; represent the fractions of prey and predator which die due to pesticides; is the release amount of the predator at .

The paper is arranged as follows. In Section 2, we give some notations and lemmas. In Section 3, we consider the local stability and global asymptotic stability of the two-prey eradication periodic solution by using Floquet theory of the impulsive equation, small amplitude perturbation, and techniques of comparison, and in Section 4 we show that the system is permanent. The paper ends with some interesting numerical simulations and conclusions.

#### 2. Preliminaries

Firstly, we give some notations, definitions, and lemmas which will be useful for our main results.

Let , . Denoted by the map defined by the right hand of the former three equations in system (6) and denoted by the set of all nonnegative integers. Let ; then, is said to belong to class if(1) is continuous in and, for each , exists;(2) is locally Lipschitzian in ;

*Definition 1. *Let ; then, for , the upper right derivative of with respect to the impulsive differential system (6) is defined as

The solution of system (6) is a piecewise continuous function , is continuous on , , and exists. The smoothness properties of guarantee the global existence and uniqueness of solution of system (6) (see [17] for the details).

*Definition 2. *System (6) is said to be permanent if there exists a compact such that every solution of system (6) will eventually enter and remain in the region .

The following lemma is obvious.

Lemma 3. *Let be a solution of system (6) with ; then, for all . And, furthermore, if .*

We will use an important comparison theorem on impulsive differential equation.

Lemma 4 (comparison theorem [17]). *Suppose . Assume that
**
where is continuous in and, for , , exists and is nondecreasing. Let be the maximal solution of the scalar impulsive differential equation
**
existing on . Then, implies that for all , where is any solution of system (6).*

To research the stability of the prey-free periodic solution of (6), we present the Floquet theory for the linear -periodic impulsive equations: Then, we introduce the following conditions. (H2.1) and , , where is the set of all piecewise continuous matrix functions which is left continuous at and is the set of all matrices. (H2.2), , and . (H2.3)There exists a such that , and .

Let be a fundamental matrix of (10); then, there exists a unique nonsingular matrix such that

For this equality, we call the constant matrix is the monodromy matrix of (10) (corresponding to the fundamental matrix )

All monodromy matrices of (10) are similar and have the same eigenvalues. The eigenvalues of the monodromy matrices are called the Floquet multipliers of (10).

Lemma 5 (Floquet theory [18]). *Let conditions (H2.1)–(H2.3) hold. Then, the linear -periodic impulsive equation (10) is*(1)*stable if and only if all multipliers of (10) satisfy the inequality , and, moreover, to those , for which , correspond simple elementary divisors;*(2)*asymptotically stable if and only if all multipliers of (10) satisfy the inequality ;*(3)*unstable if for some .**Now, one gives some basic properties about the following subsystem of system (6):
*

Then we can easily obtain the following results.

Lemma 6. *(1) , , and is a positive periodic solution of (12).**(2) is the solution of (12) with , , and .**(3) All solutions of (12) with tend to . That is, as .*

Therefore, we obtain the complete expression for the two-prey eradication periodic solution of system (6). We will study the stability of the two-prey eradication periodic solution of system (6) in the next section.

#### 3. Prey Eradication Periodic Solution

Firstly, we show that all solutions of (6) are uniformly ultimately bounded.

Theorem 7. *There exists a constant , such that , , for all large enough, where is a solution of system (6).*

*Proof. *Define such that
then, . We calculate the upper right derivative of along a solution of system (6) and get the following impulsive differential inequality:

Let ; then, is bounded. Select and such that
where and are two positive constants.

According to Lemma 4, we have
where . Therefore, is ultimately bounded by a constant and there exists a constant , such that , , for all large enough. The proof is completed.

Now, we study the stability of the two-prey eradication periodic solution of system (6).

Theorem 8. *Let be any solution of system (6); then, is said to be locally asymptotically stable if
*

*Proof. *The local stability of periodic solution may be determined by considering the behavior of small amplitude perturbation of the solution. Define

Putting (18) into (6), the linearization of the system becomes

Therefore, we have
where satisfies

, the identity matrix, and

The stability of the periodic solution is determined by the eigenvalues of

If absolute values of all eigenvalues are less than one, then the periodic solution is locally asymptotically stable. All eigenvalues of are as follows:

According to the Floquet theory of impulsive differential equation, is locally asymptotically stable if and ; that is to say,
This completes the proof.

Theorem 9. *Let be any solution of system (6); then, is said to be globally asymptotically stable if the conditions of Theorem 8 hold and
*

*Proof. *By Theorem 8, we know that is locally asymptotically stable. In the following, we will prove its global attraction. Let ; then, we get
By Theorem 7, there exists a constant , such that , , and for each solution of system (6) with all large enough.

Thus,

On the other hand, we have
By Lemmas 4 and 5, we know that there exists a , and small enough, such that ; for all , we have
Then,
if and ; that is to say,
Then, for , we have
where , so and as . Notice that the limit system of the system (6) is exactly as system (10); together with Lemma 5, we know that the two-prey eradication periodic solution is a global attractor. The proof is completed.

#### 4. Permanence

In this section, we investigate the permanence of the system (6).

Theorem 10. *The system (6) is permanent if
*

*Proof. *Let be any solution of the system (6) with . From Theorem 7, we assume that , , , and . Let . From Lemma 5, clearly, we have for all large enough. Now, we will find and such that and for large enough. We will do this in the following two steps.*Step 1.* We will prove that there exists a such that . Otherwise, for all .

We can choose to be small enough such that
From system (6), we can obtain that
By Lemma 4, we have and as , where is the solution of
and , , and . Therefore, there exists a ; when , we have and
Let and ; integrating (38) on , , we can obtain

Then, as , which is a contradiction to the boundedness of . Hence, there exists a such that .*Step 2.* If , for all , then our aim is obtained. Hence, we only need to consider those solutions which leave the region and reenter it again. Letting , we have for ; by the continuity of , we have . In this step, we have only to consider two possible cases.*Case 1.* for some ; then, . Select such that
where . Let . In this case, we will show that there exists such that ; otherwise, for . Considering (37) with , we have
for and ; then,
for , which implies that (38) holds for . As in Step 1, we have
Since , we have
for . Integrating (44) on , we have

Thus, , which bring on a contradiction. Now, let . Then, for and . For , suppose that , , and ; from (44), we obtain
*Case 2*. , . Then, for and . Suppose that , . There are two possible cases for .

(a) for all . In this case, we will show that there exists such that . Otherwise, for all . Then, for all ; considering (37) with , we have
for and . So we get
for , which implies that (38) holds for . As in Step 1, we have

Integrate (44) on , which yields

Thus, , which is a contradiction. Let . Then, for and . For , suppose that , , and ; we have . Since , so for all .

(b) There exists such that . Let ; then, for all and . Also, (44) holds for . Integrating the equation on , we can get that . Thus, in both cases, we conclude for all .

Similarly, we can prove for all .

Set . Obviously, we know that the set is a global attractor; every solution of system (6) will eventually enter and remain in region . Therefore, system (6) is permanent. The proof is completed.

#### 5. Numerical Simulations and Conclusions

To study the dynamics of an ecological model consisting of two preys and one predator with impulsive control strategy, the solution of the system (6) with initial date in the positive cone is obtained numerically for biologically feasible range of parametric value. In order to verify our theoretical results, let , , , , , , , , , , , , , , and . On the other hand, it follows from Theorem 7 that we can select a positive number . Thus, by a straightforward computation, we can obtain the two critical values and . When , it satisfies the condition of Theorem 9, so the prey eradication periodic solution is globally asymptotically stable, A type prey eradication periodic solution of the system (6) is shown in Figure 1, where we may observe how the variable oscillates in a stable cycle. In contrast, the prey and the prey rapidly decrease to zero. When , it satisfies the condition of Theorem 10, so the system (6) is permanent. That is to say, the preys and the predator can coexist (see Figure 2). Furthermore, we can give the other two critical values and . When , it does not satisfy the conditions of Theorems 9 and 10, but numerical simulations illustrate that the system (6) appears to be the principle of competition exclusion. That is to say, the competition between two prey populations give rise to the result that one prey becomes extinct and the other prey population is persisted. For example, letting , the result is as in Figure 3; letting , the result is in as Figure 4.

**(a)**

**(b)**

**(c)**

**(a)**

**(b)**

**(c)**

**(a)**

**(b)**

**(c)**

**(a)**

**(b)**

**(c)**

In this paper, we have investigated effects of impulsive perturbations on a predator-prey model consisting of two preys and one predator with Beddington-DeAngelis functional response. By using the Floquet theorem and small amplitude perturbation skills, we have proved that the periodic solution is globally asymptotically stable when the values of impulsive perturbation are greater than the critical value . In addition, it has been shown that model (6) is permanent when the values of impulsive perturbation are less than the critical value . By numerical simulations, we have found that the system (6) appears to be the principle of competition exclusion, when . However, our model with the logical consistence is different from the model in [16]; that is, dynamic complexities in [16] does not appear in our model. Thus, our results suggest a new control approach which is more suitable than the classical one in the pest control.

#### Acknowledgments

This work is supported by the National Natural Science Foundation of China (no. 10771179) and the Natural Science Foundation of Shanxi Province (no. 2013011002-2).