ISRN Applied MathematicsVolume 2012 (2012), Article ID 769267, 29 pagesdoi:10.5402/2012/769267

Research Article

Multiple Periodic Solutions to a Kind of Lotka-Volterra Food-Chain System with Delays and Impulses on Time Scales

Kaihong Zhao, Liang Ding, and Fengzao Yang

Department of Applied Mathematics, Kunming University of Science and Technology, Yunnan, Kunming 650093, China

Received 10 October 2012; Accepted 10 November 2012

Academic Editors: I. K. Argyros and H. T. Yau

Copyright © 2012 Kaihong Zhao 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.

By using Mawhin’s continuation theorem of coincidence degree theory and some skills of inequalities, we establish the existence of at least periodic solutions for a kind of -species Lotka-Volterra food-chain system with delays and impulses on time scales. One example is given to illustrate the effectiveness of our results.

1. Introduction

The food-chain phenomenon is universal and interesting in ecosystem. It is one of important methods to investigate this phenomenon by establishing the model of differential equations. The importance of studying the dynamics of food chain was pointed by Rosenzweig. In his famous paper on the paradox of enrichment [1], he wrote “Man must be very careful in attempting to enrich an ecosystem in order to increase its food yield. There is a real chance that such activity may result in decimation of the food species that are wanted in greater abundance.” Hereafter, many scholars investigated various kinds of food-chain systems (see [2–9]).

In [10], Li and Zhao have studied the existence of multiple positive periodic solutions for the following Lotka-Volterra food-chain system: As we know, in population dynamics, many evolutionary processes experience short-time rapid chance after undergoing relatively long sooth variation. Examples include stocking of species and annual immigration. Incorporating these phenomena give us impulsive differential equations. For the theory of impulsive differential equations, we refer the reader to [11, 12]. In addition, there are few results on the existence of multiple periodic solutions for the delay food-chain system with impulsive effects in literatures. This motivates us to modify system (1.1) to the form where .   is a strictly increasing sequence with and .   is the th species population density. is the growth rate of the only producer. and stand for the th species intraspecific competition rate and harvesting rate, respectively. is the th species death rate. represents the th species predation rate on the th species. stands for the transformation rate from the th species to the th species. stands for the time-lag in the process of the th species predation rate on the th species. stands for the time-lag in the process of transformation from the th species to the th species. represents the time-lag in the process of intraspecific competition. In addition, the effects of a periodically varying environment are important for evolutionary theory as the selective forces on systems in a fluctuating environment differ from those in a stable environment. Therefore, the assumptions of periodicity of the parameters are a way of incorporating the periodicity of the environment (e.g., seasonal effects of weather, food supplies, mating habits, etc.), which leads us to assume that , , , , and are all continuous -periodic functions. For impulsive effects, we further assume that there exists a such that and .

However, dynamics in each equally spaced time interval may vary continuously. So, it may be more realistic to assume that the population dynamics involves the hybrid discrete-continuous processes. For example, Gamarra and Solé pointed out that such hybrid processes appear in the population dynamics of certain species that feature nonoverlapping generations: the change in population from one generation to the next is discrete and so is modeled by a difference equation, while within-generation dynamics vary continuously (due to mortality rates, resource consumption, predation, interaction, etc.) and thus are described by a differential equation [13]. The theory of calculus on time scales (see [14, 15] and references cited therein) was initiated by Hilger in his Ph.D. thesis in 1988 [16] in order to unify continuous and discrete analysis, and it has become an effective approach to the study of mathematical models involving the hybrid discrete-continuous processes. This motivates us to consider Lotka-Volterra food-chain system with delays and impulses on time scales of the following form: where is a -periodic time scale. is a constant. is a strictly increasing sequence with and .  , , , , , , , , are rd-continuous -periodic functions. For impulsive effects, we further assume that there exists a integer such that and . We denote by , . Without loss of generality, we also assume that .

Remark 1.1. In (1.3), let ,  . If (the set of all real numbers), then (1.3) reduces to (1.2).

To the best our knowledge, few papers have been published on the existence of multiple periodic solutions for this model. Our main purpose of this paper is by using Mawhin’s continuation theorem of coincidence degree theory [17], to establish the existence of at least periodic solutions for system (1.3). For the work concerning the multiple existence of periodic solutions of periodic population models which was done using coincidence degree theory, we refer to [18–25].

The organization of the rest of this paper is as follows. In the Section 2, we will introduce some basic notations and lemmas which are used in what follows. In Section 3, by employing the continuation theorem of coincidence degree theory and the skills of inequalities, we establish the existence of at least periodic solutions of system (1.3). In the final Section, one example is given to illustrate the effectiveness of our results.

2. Preliminaries on Time Scales

In this section, we briefly recall some basic definitions and lemmas on time scales which are used in what follows. For more details, one can see [14–16].

Let be a nonempty closed subset (time scale) of . The forward and backward jump operators , and the graininess are defined, respectively, by

A point is called left-dense if and , left-scattered if , right-dense if and , and right-scattered if . If has a left-scattered maximum , then ; otherwise . If has a right-scattered minimum , then ; otherwise .

Let . Throughout this paper, the time scale is assumed to be -periodic, that is, implies . In particular, the time scale under consideration is unbounded above and below.

Definition 2.1. A function is called regulated provided its right-side limits exist (finite) at all right-side points in and its left-side limits exist (finite) at all left-side points in .

Definition 2.2. A function is called rd-continuous provided it is continuous at right-dense point in and its left-side limits exist (finite) at left-dense points in . The set of rd-continuous functions will be denoted by .

Definition 2.3. Assume and . Then we define to be the number (if it exists) with the property that given any there exists a neighborhood of (i.e., for some ) such that for all . we call the delta (or Hilger) derivative of at . The set of functions that are differentiable and whose derivative is rd-continuous is denoted by .

If is continuous, then is rd-continuous. If is rd-continuous, the is regulated. If is delta differentiable at , then is continuous at .

Lemma 2.4. Let be regulated, then there exists a function which is delta differentiable with region of differentiation such that

Definition 2.5. Assume is a regulated function. Any function as in Lemma 2.4 is called a -antiderivative of . We define the indefinite integral of a regulated function by where is an arbitrary constant and is a -antiderivative of . We define the Cauchy integral by A function is called an antiderivative of provided

Lemma 2.6. If , and , then (i); (ii) if for all , then ; (iii) if on , then .

For convenience, we now introduce some notation to be used throughout this paper. Let where is an -periodic real function, that is, for all .

Lemma 2.7 (see [26]). Assume that is a function on such that (i) is uniformly bounded on , (ii) is uniformly bounded on . Then there is a subsequence of which converges uniformly on .

3. Existence of at Least Periodic Solutions

In this section, by using Mawhin’s continuation theorem and the skills of inequalities, we will show the existence of periodic solutions of (1.3). To do so, we need to make some preparations.

Let and be real normed vector spaces. Let be a linear mapping and be a continuous mapping. The mapping will be called a Fredholm mapping of index zero if dim and is closed in . If is a Fredholm mapping of index zero, then there exists continuous projectors and such that and , and , . It follows that is invertible and its inverse is denoted by . If is a bounded open subset of , the mapping is called -compact on , if is bounded and is compact. Because is isomorphic to , there exists an isomorphism .

The Mawhin’s continuous theorem [17, page 40] is given as follows.

Lemma 3.1 (see [17]). Let be a Fredholm mapping of index zero and let be -compact on . Assume (a) for each , every solution of is such that ; (b) for each ; (c). Then has at least one solution in .

For simplicity, we need to introduce some notations as follows: Throughout this paper, we need the following assumptions:, , . The following results will play an important role in the proof of our main result.

Lemma 3.2. Let be a -periodic time scale. is a strictly increasing sequence with and .  , , . Suppose be a -periodic function which is -continuous for , exists the right limit and left limit in the sense of time scales. Then

Proof. First, take such that . Next, take such that . Then we have Noticing that , similar to the above, we can get From (3.3) and (3.4), we get that is which implies that (3.2) holds. This completes the proof.

Lemma 3.3. Let , , and , for the functions and , the following assertions hold. (1) and are monotonically increasing and monotonically decreasing on the variable , respectively. (2) and are monotonically decreasing and monotonically increasing on the variable , respectively. (3) and are monotonically decreasing and monotonically increasing on the variable , respectively.

Proof. In fact, for all , , , we have By the relationship of the derivative and the monotonicity, the above assertions obviously hold. The proof of Lemma 3.3 is complete.

Lemma 3.4. Assume that , , and hold, then we have the following inequalities: (1); (2); (3).

Proof. (1) Since Applying Lemma 3.3, we have Thus, we have , . The proof of (1) of Lemma 3.4 is complete. For (2) of Lemma 3.4, we similarly have which imply that , ; that is, the inequality (2) of Lemma 3.4 holds. Let us now to prove the inequality (3) of Lemma 3.4. In fact, since we have If , then , and If , then , and So, we drive . From the above, we have completed the proof of Lemma 3.4.

Theorem 3.5. Assume that , , and hold. Then system (1.3) has at least   -periodic solutions.

Proof. Let is a piecewise continuous map with first-class discontinuity points in , and at each discontinuity point, it is continuous on the left}. Take and define Then both and are Banach spaces. Let where Obviously, Since is closed in , , , and , we know that is a Fredholm mapping of index zero. Furthermore, the generalized inverse (to ) is given by Then where By the Lebesgue convergence theorem, and are continuous. Next, we show that maps bounded sets into relatively compact sets. Let be an arbitrary bounded set in , then there exists a number such that for any . We prove that is relatively compact. In fact, for any and , we have Since , it follows from the periodicity that there exists a constant such that . For any and , , we have Similarly, there has a constant such that It follows from the definition of that the right limit of exists at each for . . Without loss of generality, here, we can assume that and , for if or , we only need to add intervals or into the consideration. Consider the following functions: where . Then on each interval , , and are uniformly bounded on , . By Lemma 2.7, there exists a subsequence of converges uniformly on . Similarly, there is a subsequence of converges uniformly on . Repeating such a process, we can obtain that there is a subsequence of converges uniformly on . Obviously, is a subsequence of that converges uniformly on . Therefore, is a subsequence of that converges uniformly on , namely, is relatively compact. Moreover, is bounded. Thus, is -compact on for any open bounded set .In order to use Lemma 3.1, we have to find at least appropriate open bounded subsets of . Considering the operator equation , , we have Assume that is an -periodic solution of system (3.27) for some . Integrating (3.27) from to , we have Then Furthermore, Note that , and there exists , , , such that , .On the one hand, according to the first equation of (3.27) and (3.29), we have In the light of the first of equation of (3.29), (3.30), and Lemma 3.2, we get namely, which implies that Applying Lemma 3.2, we drive According to (3.29) and (3.30), we get By (3.29) and (3.35), we have that is which implies that Applying Lemma 3.2, we drive By deducing for , we obtain namely, which implies that Applying Lemma 3.2, we drive On the other hand, in the light of the first equation of (3.29) and (3.30), we have namely, which implies that that is, which implies that By (3.29) and (3.35), we have namely, which implies that that is, which implies that By deducing for , we obtain namely, which implies that that is, which implies that By the final equation of (3.29), we get namely, which implies that namely, which implies that In view of (3.34)–(3.63) and Lemma 3.3, we have or which imply that, for all , For convenience, we denote Clearly,   , , and    are independent of . For each , we choose an interval between two intervals and and denote it as , then define the set Obviously, the number of the above sets is . We denote these sets as , .  , are bounded open subsets of , , . Thus    satisfies the requirement (a) in Lemma 3.1.Now we show that (b) of Lemma 3.1 holds; that is, we prove when , , . If it is not true, then when , , constant vector with , , satisfies that is, Similar to the process of (3.29)–(3.66), we obtain Then belongs to one of , . This contradicts the fact that , . This proves that (b) in Lemma 3.1 holds.Finally, in order to show that (c) in Lemma 3.1 holds, we only prove that for , , then it holds that . To this end, we define the mapping by here is a parameter and is defined by where . We show that for , , , then it holds that . Otherwise, parameter and constant vector satisfy , that is, where , that is, where . Following the argument of (3.29)–(3.66), we obtain Equation (3.76) gives that belongs to one of , . This contradicts the fact that , . This proves holds. Note that the system of algebraic equations has distinct solutions since , , and hold, , where , ,   or , . Similar to the proof of Lemma 3.3, it is easy to verify that Therefore, uniquely belongs to the corresponding . Since , we can take . A direct computation gives, for , Since ,  , then So far, we have proved that    satisfies all the assumptions in Lemma 3.1. Hence, system (1.3) has at least different -periodic solutions. This completes the proof of Theorem 3.5.

If , then (1.3) is changed into the predator-prey system (3.81). The following Corollary 3.6 gives the existence of multiple periodic solutions for system (3.81).

Corollary 3.6. For the following predator-prey system on -periodic time scales , if the inequalities and hold, then system (3.81) at least exist four -periodic solutions.

4. Illustrative Examples

Consider the following time-delay predator-prey system with impulses on time scales: where , , , , , , , , , , .

If , then (4.1) reduces to the following system: Let   , then (4.2) can be changed into the following system: Since Take , such that , then Therefore, all conditions of Corollary 3.6 are satisfied. By Corollary 3.6, system (4.1) has at least four -periodic solutions.

Acknowledgments

This work are supported by the National Natural Sciences Foundation of People’s Republic of China under Grant (no. 11161025), Yunnan Province Natural Scientific Research Fund Project (no. 2011FZ058), and Yunnan Province Education Department Scientific Research Fund Project (no. 2011Z001).

References

M. L. Rosenzweig, “Paradox of enrichment: destabilization of exploitation ecosystems in ecological time,” Science, vol. 171, no. 3969, pp. 385–387, 1971.

A. Hastings and T. Powell, “Chaos in a three-species food chain,” Ecology, vol. 72, no. 3, pp. 896–903, 1991.

K. McCann and P. Yodzis, “Biological conditions for chaos in a three-species food chain,” Ecology, vol. 75, no. 2, pp. 561–564, 1994.

P. A. Abrams and J. D. Roth, “The effects of enrichment of three-species food chains with nonlinear functional responses,” Ecology, vol. 75, no. 4, pp. 1118–1130, 1994.

Yu. A. Kuznetsov and S. Rinaldi, “Remarks on food chain dynamics,” Mathematical Biosciences, vol. 134, no. 1, pp. 1–33, 1996.

A. Gragnani, O. De Feo, and S. Rinaldi, “Food chains in the chemostat: relationships between mean yield and complex dynamics,” Interim Report IR-97-042, International Institute for Applied Systems Analysis, Laxenburg, Austria, 1997.

C.-H. Chiu and S.-B. Hsu, “Extinction of top-predator in a three-level food-chain model,” Journal of Mathematical Biology, vol. 37, no. 4, pp. 372–380, 1998.

Z. Wen and C. Zhong, “Non-constant positive steady states for the HP food chain system with cross-diffusions,” Mathematical and Computer Modelling, vol. 51, no. 9-10, pp. 1026–1036, 2010.

G.-H. Cui and X.-P. Yan, “Stability and bifurcation analysis on a three-species food chain system with two delays,” Communications in Nonlinear Science and Numerical Simulation, vol. 16, no. 9, pp. 3704–3720, 2011.

Y. Li and K. Zhao, “Existence of 2n positive periodic solutions to n-species nonautonomous food chains with Harvesting terms,” Advances in Difference Equations, vol. 2010, Article ID 262461, 17 pages, 2010.

D. Baĭnov and P. Simeonov, Impulsive Differential Equations: Periodic Solutions and Applications, Pitman Monographs and Surveys in Pure and Applied Mathematics, Longman Scientific & Technical, Harlow, UK, 1993.

V. Lakshmikantham, D. D. Baĭnov, and P. S. Simeonov, Theory of Impulsive Differential Equations, vol. 6, World Scientific Publishing, Teaneck, NJ, USA, 1989.

J. G. P. Gamarra and R. V. Solé, “Complex discrete dynamics from simple continuous population models,” Bulletin of Mathematical Biology, vol. 64, no. 3, pp. 611–620, 2002.

M. Bohner and A. Peterson, Dynamic Equations on Time Scales: An Introduction with Applications, Birkhäauser, Boston, Mass, USA, 2001.

M. Bohner and A. Peterson, Advances in Dynamic Equations on Time Scales, Birkhäauser, Boston, Mass, USA, 2003.

S. Hilger, “Analysis on measure chains-a unified approach to continuous and discrete calculus,” Results in Mathematics. Resultate der Mathematik, vol. 18, no. 1-2, pp. 18–56, 1990.

R. Gaines and J. Mawhin, Coincidence Degree and Nonlinear Differetial Equitions, Springer, Berlin, Germany, 1977.

Y. Chen, “Multiple periodic solutions of delayed predator-prey systems with type IV functional responses,” Nonlinear Analysis: Real World Applications, vol. 5, no. 1, pp. 45–53, 2004.

Q. Wang, B. Dai, and Y. Chen, “Multiple periodic solutions of an impulsive predator-prey model with Holling-type IV functional response,” Mathematical and Computer Modelling, vol. 49, no. 9-10, pp. 1829–1836, 2009.

D. Hu and Z. Zhang, “Four positive periodic solutions to a Lotka-Volterra cooperative system with harvesting terms,” Nonlinear Analysis: Real World Applications, vol. 11, no. 2, pp. 1115–1121, 2010.

Z. Zhang and T. Tian, “Multiple positive periodic solutions for a generalized predator-prey system with exploited terms,” Nonlinear Analysis: Real World Applications, vol. 9, no. 1, pp. 26–39, 2008.

K. Zhao and Y. Ye, “Four positive periodic solutions to a periodic Lotka-Volterra predatory-prey system with harvesting terms,” Nonlinear Analysis: Real World Applications, vol. 11, no. 4, pp. 2448–2455, 2010.

K. Zhao and Y. Li, “Four positive periodic solutions to two species parasitical system with harvesting terms,” Computers & Mathematics with Applications, vol. 59, no. 8, pp. 2703–2710, 2010.

Y. Li, K. Zhao, and Y. Ye, “Multiple positive periodic solutions of species delay competition systems with harvesting terms,” Nonlinear Analysis: Real World Applications, vol. 12, no. 2, pp. 1013–1022, 2011.

H. Fang, “Existence of at least two periodic solutions for a competition system of plankton allelopathy on time scales,” Journal of Applied Mathematics, vol. 2012, Article ID 602679, 14 pages, 2012.

Y. Xing, M. Han, and G. Zheng, “Initial value problem for first-order integro-differential equation of Volterra type on time scales,” Nonlinear Analysis: Theory, Methods & Applications, vol. 60, no. 3, pp. 429–442, 2005.