Abstract

This paper is concerned with a predator-prey system with Beddington-DeAngelis functional response on time scales. By using the theory of exponential dichotomy on time scales and fixed point theory based on monotone operator, some simple conditions are obtained for the existence of at least one positive (almost) periodic solution of the above system. Further, by means of Lyapunov functional, the global attractivity of the almost periodic solution for the above continuous system is also investigated. The main results in this paper extend, complement, and improve the previously known result. And some examples are given to illustrate the feasibility and effectiveness of the main results.

1. Introduction

Let where is a continuous bounded function defined on and is a time scale.

The dynamic relationship between predators and their prey has long been and will continue to be one of the dominant themes in both ecology and mathematical ecology due to its universal existence and importance. One significant component of the predator-prey relationship is the functional responses. In general, the functional responses can be either prey dependent or predator dependent. However, the prey-dependent ones fail to model the interference among predators and have been facing challenges from the biology and physiology communities. The predator-dependent functional responses can provide better descriptions of predator feeding over a range of predator-prey abundances as is supported by much significant laboratory and field evidence. The Beddington-DeAngelis functional response, first proposed by Beddington [1] and DeAngelis et al. [2], performed even better. So, the dynamics of predator-prey systems with the Beddington-DeAngelis response have been studied extensively in the literature [310].

In [8], Cui and Takeuchi considered the following predator-prey system with Beddington-DeAngelis functional response: where all the coefficients of system (2) are positive -periodic functions. Cui and Takeuchi obtained the following.

Theorem 1 (see [8]). System (2) has at least one positive -periodic solution provided

In real world phenomenon, the environment varies due to the factors such as seasonal effects of weather, food supplies, mating habits, and harvesting. So it is usual to assume the periodicity of parameters in system (2). However, if the various constituent components of the temporally nonuniform environment are with incommensurable (nonintegral multiples) periods, then one has to consider the environment to be almost periodic since the assumption of almost periodicity is more realistic, more important, and more general when we consider the effects of the environmental factors. However, to the best of the author's knowledge, up to date, there are few works on the existence of positive almost periodic solution of system (2). Therefore, the aim of this paper is to use the fixed point theory based on monotone operator and Lyapunov functional to investigate the positive (almost) periodic solutions of system (2).

In fact, continuous and discrete systems are very important in implementing and applications. It is well known that the theory of time scales has received a lot of attention which was introduced by Hilger [11] in order to unify continuous and discrete analyses. Therefore, it is meaningful to study dynamic systems on time scales which can unify differential and difference systems. Recently, the topic on the dynamics of predator-prey system with Beddington-DeAngelis functional response on time scales has been investigated in some papers (see [9, 10]). Stimulated by the previous reasons, in this paper we will study the following predator-prey system with Beddington-DeAngelis functional response on time scales: where is a periodic time scale; all the coefficients of system (4) are nonnegative almost periodic functions. From the point of view of biology, we focus our discussion on the existence of positive almost periodic solution of system (4) by using the theory of exponential dichotomy on time scales and fixed point theory based on monotone operator. Further, with the help of Lyapunov functional, the global attractivity of a unique positive almost periodic solution of system (2) is considered.

The remainder of this paper is organized in the following ways. In Section 2, we will introduce some necessary notations, definitions, and lemmas which will be used in the paper. In Section 3, some easy conditions are derived ensuring the existence of at least one positive (almost) periodic solution of system (4) by using the theory of exponential dichotomy on time scales and fixed point theorem of monotone operator. In Section 4, we establish sufficient conditions for the global attractivity of a unique positive (almost) periodic solution of the corresponding continuous system (4) (i.e., system (2)) by means of Lyapunov functional. The main results are illustrated by giving some examples in Section 5.

2. Preliminaries

Now, let us state the following definitions and lemmas, which will be useful in proving our main result.

Definition 2 (see [12]). A time scale is an arbitrary nonempty closed subset of the real set with the topology and ordering inherited from . The forward and backward jump operators and the graininess are defined, respectively, by The point is called left-dense, left-scattered, right-dense, or right-scattered if ,  ,  , or , respectively. Points that are right-dense and left-dense at the same time are called dense. If has a left-scattered maximum , define ; otherwise, set . If has a right-scattered minimum , define ; otherwise, set .

Definition 3 (see [12]). A function is said to be regressive provided for all , where is the graininess function. The set of all regressive rd-continuous functions is denoted by while the set is given by for all . Let . The exponential function is defined by where is the so-called cylinder transformation.

Lemma 4 (see [12]). Let . Then (i) and ;(ii), where ;(iii);(iv).

Definition 5 (see [12]). For and , the delta derivative of at , denoted by , is the number (provided it exists) with the property that, given any , there is a neighborhood of such that

Lemma 6 (see [12]). Assume that for . Then .

Lemma 7 (see [12]). Suppose that . Then (i) for all ;(ii)if for all ,  , then for all .

Lemma 8 (see [12]). Suppose that and ; then

Definition 9 (see [13]). A time scale is called a periodic time scale if

Definition 10 (see [14]). Let be a periodic time scale. A function is called almost periodic on , if, for any , the set is relatively dense in ; that is, there exists a constant , for any interval with length ; there exists a number in this interval such that The set is called the -translation set of ; is called the -translation number of , and is called the inclusion of .

Definition 11 (see [15]). Let and let be continuous matrix defined on . The linear system is said to be an exponential dichotomy on if there exist constants , projection , and the fundamental matrix satisfying

Lemma 12 (see [16]). If the linear system has an exponential dichotomy, then almost periodic system has a unique almost periodic solution which can be expressed as follows:

Lemma 13 (see [15]). If is a uniformly bounded rd-continuous matrix-valued function on and there is a such that then admits an exponential dichotomy on .

Lemma 14 (see [12]). Suppose that is regressive. Let and . The unique solution of the initial value problem is given by

Similar to the proof as that in [14, 16], we can easily obtain from Lemmas 1214 the following.

Lemma 15. Assume that - hold; then system (4) has a unique almost periodic solution which can be expressed as follows:

In order to obtain the existence of positive almost periodic solution of system (4), we first make the following preparations.

Let be a Banach space and let be a cone in . The semiorder induced by the cone is denoted by “”. That is, if and only if . if and . if , where is the interior of the cone . A cone is called minihedral if, for any pair , , bounded above in order that there exists the least upper bound . A cone is called normal if there exists a constant such that ,   implies .

Definition 16 (see [17]). is said to be monotone increasing, if, for ,  , one has .

The following two lemmas cited from [18] are useful for the proof of our main results in this section.

Lemma 17 (see [18]). Let be a real Banach space with an order cone satisfying the following: (a) has a nonempty interior,(b) is normal and minihedral.Assume that there are two points in ,  , and a monotone increasing complete continuous operator . If then has a fixed point . Here denotes the order interval .

Consider the Banach space with the norm Define the cone in by It is not difficult to verify that is normal and minihedral and has a nonempty interior.

Let the map be defined by where where ,  .

By -, one could choose some positive constants and satisfying

Lemma 18. is monotone increasing, where ,  , and .

Proof. Let and  ,  . Then
Notice that which implies that is monotone increasing. This completes the proof.

Lemma 19. is complete continuous.

Proof. First, we show that maps bounded set into bounded sets. For , we have That is, is uniformly bounded. In addition, for and , notice that Similarly, one could easily obtain that So is equicontinuous for any . Using Arzela-Ascoli theorem on time scales [19], we obtain that is relatively compact. In view of Lebesgue's dominated convergence theorem on time scales [20], it is easy to prove that is continuous. Hence, is complete continuous. The proof of this lemma is complete.

3. Almost Periodic Solution

In this section, we will utilize Lemma 17 which is given in the previous section to establish some sufficient criteria for the existence of positive (almost) periodic solutions of system (4).

Theorem 20. Assume that the following conditions hold: ,,  , and .Then system (4) has at least one positive almost periodic solution.

Proof. Now, we should use Lemma 17 to prove the existence of positive almost periodic solutions of system (4). By Lemmas 18 and 19, we know that is a monotone increasing complete continuous operator on . It remains to prove that
On the one hand, by the definition of , it follows that which implies that
On the other hand, one has from the definition of that which implies that Applying Lemma 17, we see that has at least one positive fixed point in . Therefore, system (4) has at least one positive almost periodic solution. This completes the proof.

From Theorem 20, we can easily obtain the following.

Theorem 21. Assume that - hold. Suppose further that all the coefficients of system (4) are nonnegative -periodic functions; then system (4) has at least one positive -periodic solution.

If in system (4), then Theorem 21 is changed to the following theorem.

Theorem 22. Assume that - hold. Suppose further that all the coefficients of system (2) are nonnegative -periodic functions; then system (2) has at least one positive -periodic solution.

Remark 23. Clearly, the validity of condition in Theorem 1 depends on coefficients , , , , , and of system (2). But condition in Theorem 22 only depends on coefficients , , and . Therefore, compared with Theorem 1, Theorem 22 is easy to verify and then has an extensive application. Sometimes one cannot judge the existence of the periodic solution for some system in the form of (2) by Theorem 1. However, it can be done by the result in the present theorem. The following example is given to illustrate this point in detail.

Example 24. Let , , , , , , , and ; then system (2) becomes We have , which implies from Theorem 22 that system (36) has at least one positive -periodic solution.
However, the assumption of Theorem 1 does not hold for system (36) because and Therefore one cannot judge the existence of positive periodic solution of system (36) by Theorem 1.

4. Global Attractivity

In this section, we will construct a suitable Lyapunov functional to establish some sufficient criteria for the global attractivity of a unique positive (almost) periodic solution of system (2).

Theorem 25. Assume that - hold; suppose further that there exists a constant such that where , , , and are defined as those in Theorem 20. Then system (2) has a unique positive almost periodic solution, which is globally attractive.

Proof. By Theorem 20, system (2) has a unique positive almost periodic solution satisfying Suppose that is another positive solution of system (2). Define
Calculating the upper right derivatives of along the solution of system (2), it follows that Therefore, is nonincreasing. Integrating (41) from to leads to So which implies that Thus, the almost periodic solution of system (2) is globally attractive. The global attractivity implies that the almost periodic solution is unique. This completes the proof.

From Theorem 25, we can easily obtain the following.

Theorem 26. Assume that all the conditions of Theorem 25 hold. Suppose further that all the coefficients of system (2) are nonnegative -periodic functions; then system (2) has a unique positive -periodic solution, which is globally attractive.

5. Two Examples

Example 27. Consider the following almost periodic predator-prey system with Beddington-DeAngelis functional response on time scales: Similar to the argument as that in Example 24, system (45) has at least one positive almost periodic solution by Theorem 20.

Example 28. Consider the following almost periodic predator-prey system with Beddington-DeAngelis functional response: Then system (46) has a unique positive almost periodic solution, which is globally attractive.

Proof. Corresponding to system (2), we have ,  ,  ,  ,  ,  ,  ,  ,  ,   and  . Obviously, . By Theorem 20, system (46) has at least one positive almost periodic solution. Further, we choose ,  , and ; then which implies that (25) hold. And Then all conditions of Theorem 25 are satisfied. By Theorem 25, system (46) has a unique positive almost periodic solution, which is globally attractive. This completes the proof.

6. Conclusion

In this paper, some sufficient conditions are established for the existence of positive almost periodic solution for a predator-prey system with Beddington-DeAngelis functional response on time scales by using the theory of exponential dichotomy on time scales and fixed point theory based on monotone operator. Further, the global attractivity of the almost periodic solution for the above continuous system is also investigated. The main results obtained in this paper are completely new even in case of the time scale or . Besides, the method used in this paper may be used to study the positive almost periodic solution of many other biological models.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.