Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2015 (2015), Article ID 473539, 15 pages
http://dx.doi.org/10.1155/2015/473539
Research Article

Global Analysis of a Delayed Impulsive Lotka-Volterra Model with Holling III Type Functional Response

School of Mathematics and Physics, University of Science and Technology Beijing, Beijing 100083, China

Received 9 July 2014; Revised 6 October 2014; Accepted 6 October 2014

Academic Editor: Shaofan Li

Copyright © 2015 Hui Wang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

A delayed impulsive Lotka-Volterra model with Holing III type functional response was established. With the help of Mawhin’s Continuation Theorem in coincidence degree theory, a sufficient condition is found for the existence of positive periodic solutions of the system under consideration. By applying the comparison theorem and constructing a suitable Lyapunov functional, the permanence and global attractivity of the model are proved. Two numerical simulations are also given to illustrate our main results.

1. Introduction

Recently, many complicated but realistic predator-prey systems based on classical Holling type functional responses have been analyzed by ecologists and mathematicians; see papers [16] and so forth. For example, a positive periodic solution to a Lotka-Volterra model with mutual interference and Holling III type functional response was proposed by Lv and Du in [2]; Zhang and his coworkers studied positive periodic solutions in a predator-prey model with Hassell-Varley type functional response, nonselective harvesting, and multiple delays in paper [6]. The theoretical values of these studies not only have great significance in biological economics but also provide strong support for the management and development of renewable energy.

Hassell [7] introduced the following predator-prey system with mutual interference :After that more scholars have further conducted research. For example, Du and Lv investigated a Lotka-Volterra model with mutual interference and time delays in [8]:Some criteria on the permanence and global attractivity of the above system are found. As far as we know, delay models have been studied and applied extensively in biology, physics, population dynamics, and other fields. However, the assumption of these models with constant environment is rarely the case in real life. A system must be nonautonomous if the environmental fluctuation is taken into account, such as seasonal effects of weather, food supplies, and harvesting. Therefore, it is rational to consider the ecosystem with periodic or almost periodic coefficients. On the other hand, there exist a few discontinuous and impulsive phenomena; for instance, many species are given birth seasonally. If we introduce these impulsive factors into the systems, it is more realistic to analyze the ecology models. For example, Wang and Zhu [4] considered a delayed impulsive prey-predator system with mutual interference:

But as far as we all know, there are few results on the existence and global attractivity of positive periodic solutions of model (1) with delays and impulses. Motivated by these facts, we formulate a delayed impulsive Lotka-Volterra model with Holing III type functional responsewith initial conditionswhere and represent the regular harvest or death from spraying pesticide of the predator and prey at time , . In this paper, , , and denote integers, positive integers, and real numbers, respectively, and ; , , and are continuously nonnegative periodic functions with period ; are nonnegative and continuously differentiable periodic functions with period on , and ; and are positive constants and ; and satisfy .

Furthermore, suppose that the following conditions hold.(H1)There exists an integer , such that , , and are fixed points with .(H2), are constants, and ,

This paper is organized as follows. In Section 2, we introduce some useful lemmas. In Section 3, we not only prove the existence of periodic solutions but also study the permanence and the global attractivity of system (4). In Section 4, two examples are given to illustrate the feasibility of our results by using simulation. The last section is a brief conclusion.

2. Preliminaries

Under the assumptions (H1) and (H2), we consider a new system as follows:with initial conditionswhere

Lemma 1. Suppose that (H1) and (H2) hold; then we have the following.(i)If is a solution of systems (6) and (7), then is a solution of systems (4) and (5), where(ii)If is a solution of systems (4) and (5), then is a solution of systems (6) and (7), where

Proof. (i) For any , , we haveSimilarly, we haveOn the other hand, for any , by definition, we obtain thatand , . Then we get , Hence, is a solution of systems (4) and (5).(ii) and are continuous on each interval . Since and , we haveAnd combiningwe know that and are continuous on interval .
Similarly,Therefore, is a solution of systems (6) and (7).

From Lemma 1, we notice that if we want to discuss the existence of an -periodic solution of systems (4) and (5), we only need to discuss the existence of an -periodic solution of systems (6) and (7).

Let and be two normed linear spaces, let be a linear map, and let be a continuous map. If and is closed in , then is called Fredholm operator. If is a Fredholm operator with index zero, there exist continuous projections and such that and Hence, has an inverse mapping . The mapping is called -compact on , if is an open bounded subset, and    is bounded, is compact. Since is isomorphic to , there exists an isomorphism .

Lemma 2 (see [9], (Continuation Theorem)). Let both and be Banach spaces; is a Fredholm operator with index zero; continuous projection is called -compact on , where is an open bounded subset on . If all the following conditions hold,(1)for any , each solution of satisfies ,(2)any , ,(3), where is an isomorphism, then the equation has at least one solution in .

Lemma 3 (see [10]). If , , and , where is a positive constant, then

Lemma 4 (see [11]). If with and for any , then function has a unique inverse satisfying with , for .

3. Main Results

In order to express the formulas conveniently, we introduce a few conceptswhere is a periodic function with period .

Let be an arbitrary positive solution of systems (6) and (7), for all . Set and . Consider the following model:

Apparently, if system (19) has an -periodic solution , then is an -periodic solution of systems (6) and (7). Hence, we only need to show that system (19) has an -periodic solution.

Setwhere and the norm , Then both and are Banach spaces.

Define operators , , and as follows, respectively:Define , satisfyingNote that , , and is closed in and and are continuous maps satisfying and Hence, is a Fredholm operator with index zero. It implies that has a unique inverse . So we haveBy a straightforward calculation, we getwhereBy the Lebesgue Convergence Theorem, it is not difficult to notice that and are continuous. By applying the Arzela-Ascoli Theorem, we know that the operator is bounded and is compact, for any open set . Therefore, is -compact on .

In order to use Lemma 2, we need to find an appropriate open and bounded set .

Theorem 5. Assume the following.
(i)  , where , .
(ii) The following algebraic equation sethas finite solutions , , and then systems (6) and (7) have at least one -periodic solution.

Proof. Considering the operator equation , , we haveIntegrating (27) on the interval , we haveyieldingIn view of Lemma 4, we obtain thatwhich together with (28) giveFrom (31), we havewhere .
Multiplying the first equation of system (27) by and the second one by and integrating them on , we getwhich imply thatIf , then and , which implies that there must be a constant such that From (33) and (37),then there exists a constant such that .
On the other hand, it follows from (35) and the Hölder inequality thatthat isSince and , then and .
From (32), , that is,If , then , , and .
From (31), we obtain thatthat is,Together with (33) and (41), we notice that there exists a constant such thatFurthermore, according to the condition and (32), we havethenthat isWe can find a constant such thatHence, (19), (44), and (48) combine together to make us know thatConsider the algebraic equation setFrom the assumption, there exist finite solutions , , of the above system. By simple computing, we can get its Jacobian matrixobviously .
Set and , , where is a large enough number satisfying . If , then satisfiesand , where is an isomorphism. Hence, is a bounded open set. System (19) has at least one -periodic solution in ; that is, system (6) has at least one -periodic solution .

Corollary 6. Suppose that Theorem 5 holds; system (4) also has at least one -periodic solution .

Now, we discuss the permanence of models (6) and (7). Before the main results, we give the definition of permanence.

Definition 7. System (6) is permanent, if there exist positive constants , and time such that any solution of system (6) with initial condition (7) satisfies for all .
Denote

Theorem 8. If , then system (6) is permanent.

Proof. From the first equation of model (6), we have , integrating it on interval ,then we getAccording to Lemma 3, we have , , and then there exists a sufficiently large time such that for all .
At the same time, we can find time such that for .
From the second equation of model (6), we havethat is,By solving equation, we obtain thatthen there must be such that for all , where is a constant.
Further, there exists time such that for all . In view of the first equation of model (6), we haveAssume that is local minimal value of system (59); then . Thus, we have thatthat is,Integrating (59) on and noticing thatwe can easily get thatThus, there must be a large enough time such that for .
In view of the second equation of system (6), we haveSimilarly, by solving the equation, we obtain thatFor the above constant , we can seek time such that, for ,In summary, and for Therefore, system (6) is permanent.

Theorem 9. If , then system (4) is permanent and enters eventually into the region , where

Corollary 10. If , then systems (6) and (7) have a positive -periodic solution.

Definition 11. System (6) is globally attractive, iffor any two positive solutions and of systems (6) and (7).

Theorem 12. If system (6) satisfies , , and , then system (6) is globally attractive, where

Proof. Assume and are two positive solutions of systems (6) and (7). According to Theorem 8, there exist two positive constants , and such that, for ,Define a functionBy calculating its upper right derivative along the solution of system (6), we get thatwhere