Table of Contents Author Guidelines Submit a Manuscript
Discrete Dynamics in Nature and Society
Volume 2015, Article ID 818506, 11 pages
http://dx.doi.org/10.1155/2015/818506
Research Article

Positive Periodic Solutions of a Neutral Impulsive Predator-Prey Model

School of Mathematical Sciences, Shanxi University, Taiyuan, Shanxi 030006, China

Received 24 September 2014; Revised 23 January 2015; Accepted 24 January 2015

Academic Editor: Bai-Lian Larry Li

Copyright © 2015 Guirong Liu and Xiaojuan Song. 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

We investigate a ratio-dependent predator-prey model with Holling type III functional response based on system of neutral impulsive differential equations. Sufficient conditions for existence of positive periodic solutions are obtained by applying continuation theorem. Our main results demonstrate that under the suitable periodic impulse perturbations, the neutral impulsive system preserves the periodicity of the corresponding neutral system without impulse. In addition, our results can be applied to the corresponding system without impulsive effect, and thus, extend previous results.

1. Introduction

During the recent three decades, impulsive differential equations were intensively investigated. Some researchers devote themselves to the research on the theory of impulsive differential equations. The detailed introductions of impulsive differential equations were given in [1].

In the real world, there are many man-made and natural factors that always lead to sudden changes of population number at certain moments of time. For example, the births of many species are not continuous but happen at some regular time. These changes can often be characterized mathematically in the form of impulses. If these impulsive factors are incorporated into population dynamical models, the corresponding models should be governed by impulsive differential equations. With the development of impulsive differential equations, many models of impulsive differential equations have been considered extensively. For example, many authors have studied some qualitative properties of the solutions for impulsive differential equations such as periodicity [26], stability [710], and permanence and extinction [2, 11].

Recently, Du and Feng [12] studied the existence of periodic solutions for the following neutral impulsive predator-prey model with Beddington-DeAngelis functional response:

In 2011, Liu and Yan [13] studied the existence of periodic solutions for the following neutral ratio-dependent predator-prey model with Holling type III functional response:

Now, we will consider the following neutral impulsive ratio-dependent predator-prey system with Holling type III functional response: where and represent the prey and predator densities; is the intrinsic growth rate of the prey; is the density-dependent coefficient of the prey; is the death rate of the predator; are the regular pulses at time of the prey and predator, respectively. In addition, represent the right and left limits of at ; represent the right and left limits of at .

Throughout the paper, we give the hypothesis as follows:), , , are -periodic functions; , ; are fixed points and ;(), ; ; is -periodic function for .

The rest of this paper is organized as follows. We first introduce a lemma and the continuation theorem. Then, in Section 3, we obtain the existence of periodic solutions for system (3). In Section 4, a conclusion is given.

2. Preliminaries

In view of the actual applications of (3), we will only consider the solutions of system (3) with the initial condition: where .

Definition 1. Assume that satisfies the initial condition (4). Moreover, (i) and are absolutely continuous on each interval and ;(ii)for and exist and ;(iii)for , satisfies (3) for almost everywhere in .Then is a positive solution of the initial value problem (3) and (4) on .

Consider the following system:whereBy and , the above functions are all positive -periodic functions.

Lemma 2. Assume that and hold. If is a positive solution of system (5), then is a positive solution of system (3), where

Proof. It is easy to see that and are positive and absolutely continuous on each interval . For , ,Hence, the first equation of system (3) holds. SimilarlyThat is, the second equation of system (3) holds. For , ,Hence, for , ,So is a positive solution of system (3).

Next, we recall some concepts and results on coincidence degree.

Let be normed vector spaces; let be a linear mapping. Assume that and is closed in ; then the mapping is said to be a Fredholm mapping of index zero.

If is a Fredholm mapping of index zero, then there exist continuous projectors and satisfying . It is obvious that the restriction of to has an inverse function. Denote by .

Let be a continuous mapping. is -compact on ; if is an open bounded subset of , is bounded and is relatively compact.

Lemma 3 (see [14]). Let be an open bounded set; a Fredholm mapping of index zero; and -compact on . If the following conditions hold: (i), for any , ;(ii), for any ;(iii), where is an isomorphism;then has at least one solution in .

3. Main Results

Let be a continuous -periodic function. Denote

In the following, we will present our main results.

Theorem 4. Suppose that , , and the following conditions hold. ()For , , ; let be the inverse function of and , where and .()Consider that , where + .() Consider that and .Then system (3) has at least one positive -periodic solution.

Proof. Construct the systemApparently, if there exists one -periodic solution for system (13), then is a positive -periodic solution of system (5). By and Lemma 2, Theorem 4 holds if we can show that there exists one -periodic solution of system (13).
Let be the real Banach space with the normLet be the real Banach space , , with the norm
Define and byTherefore, system (13) can be written asEvidently, , is closed in , and . Hence is a Fredholm mapping of index zero.
Let and be The generalized inverse (to ) is Clearly, and are continuous projectors satisfying So and areObviously, it is easy to check that and are continuous. Furthermore, is bounded; are relatively compact for any open bounded set . Thus is -compact on .
For any , consider ; that is, Let be a solution of (22). Thus By ,By (23),By (24),Set be the inverse function of . Clearly, , are all -periodic functions. In addition, . By ,ThusBy (22), (29), and ,Note that , are all -periodic functions. By (29) and ,which yields So there exists satisfying By ,By (30) and , for ,As ,By (22) and (36),By ,In addition, there exist satisfying By (29) and ,By and (40),By (38),By (36) and (42),By (27), there exists satisfying Set , where is an integer, . So Denote Clearly, the function is increasing with respect to , where , . By (39), (43), (45), and (46),By ,By (22) and (27),HenceSo By (22),By (38), (43), (51), and (52),Consider the algebraic system If is a solution of (54), then there exist such that which yields where . Further, In addition, it is not difficult to see that the algebraic system has a unique solution . Let be a constant satisfying Set . Obviously, is independent of . Set Clearly, the condition in Lemma 3 holds. If , then is a constant vector in with . Thus So the condition in Lemma 3 holds.
Define the homology by