Existence of Positive Periodic Solutions for a Nonautonomous Generalized Predator-Prey System with Time Delay in Two-Patch Environment
Abstract
By using continuation theorem of coincidence degree theory, sufficient conditions of the existence of positive periodic solutions are obtained for a generalized predator-prey system with diffusion and delays. In this paper, we construct a V-function to make the prior estimation for periodic solutions, which makes the discussion more concise. Moreover, to compute the mapping′s topological degree, a polynomial function matrix is constructed straightforwardly as a homotopic mapping for the generalized one, which improves the methods of computation on topological degree for a generalized mapping.
1. Introduction
In the study of dynamic population models, which are represented by differential equations, to elaborate the realistic factors into models, sometimes one needs to consider the effects caused by various of factors such as delays, diffusion, and others. The global characteristics (including persistent, stable or attractive, oscillatory, and chaotic behavior) of such differential system have been an intensive subject in biomathematics (see e.g., [1–6]). One important aspect is the existence of positive periodic solutions ([7–17]), which imply the system is periodic.
In the literature available, the methods of studying the existence of periodic solutions of a periodic system often fall into one of the following three categories: (1) combining the results of persistence of system with Horn fixed point theorem (usually for a system with delay) or Brower fixed point theorem (usually for a system without delay), the existence results of periodic solutions are obtained ([7, 8]); (2) employing other kinds of fixed point theorems (usually for one dimension system), the differential model is investigated by transforming it into equivalent integral one ([9–11]); (3) by virtue of the theory of topological degree, especially by using Mawhin’s Continuation theorem of coincidence degree (usually for high dimension system), much significant work has been done ([12–17]). However, for a generalized high-dimension system, no matter by fixed point theorems or by Mawhin’s continuation theorem of coincidence degree, it is very difficult to accomplish the work. The relevant literature is seldom to find. Zhang considered a generalized prey-predator system with delay ([16]), where the generalized mapping’s degree is computed step by step and a new technique of computation on topological degree is presented.
Our purpose is to obtain sufficient conditions for the existence of positive periodic solutions associated with system (1.1) and to consider whether delays and diffusion have effect on the results. What is more important is to present some new techniques in prior estimation of solutions and computation on topological degree. In this paper, we construct a V-function to make the prior estimation, which makes the proof more concise. Furthermore, we select a polynomial function matrix as a homotopic mapping to the generalized one, which plays a key role in the computation of topological degree.
- (H1)
for t ≥ 0, ∂fi(t, xi, x3)/∂xi < 0, ∂fi(t, xi, x3)/∂x3 < 0, i = 1,2, and (∂g(t, x3))/∂x3 > 0;
- (H2)
pi(x) is continuous and .
In the following sections, we derived the sufficient conditions for the existence of positive periodic solutions and show that the delays and diffusion have no effect on the result.
2. Main Result and Proof
We first introduce some notion of the continuation theorem of coincidence degree theory and the lemma formulated in [18].
Let X, Z be Banach spaces, let L : Dom L ⊂ X → Z be a linear mapping, and let N : X → Z be a continuous mapping. The mapping L will be called a Fredholm mapping of index zero if dimkerL = codimimL < +∞ and Im L is closed in Z. Let P : X → X and Q : Z → Z be two projectors such that Im P = Ker L and Im L = Ker Q = Im (I − Q). It follows that L/(Dom L∩Ker P):(I − P)X → ImL is invertible. We denote the inverse of that map by KP. For an open bounded subset Ω of X, the mapping N will be called L-compact on if is bounded and is compact. Since Im Q is isomorphic to Ker L, there exists an isomorphism J : Im Q → Ker L.
Lemma 2.1. Let L be a Fredholm mapping of index zero and N be L-compact on . Suppose
- (a)
for each λ ∈ (0,1) and x ∈ ∂Ω, Lx ≠ λNx;
- (b)
for each x ∈ Ker L ⋂ ∂Ω, QNx ≠ 0;
- (c)
Brower degree deg B(JQN, Ω∩Ker L, 0) ≠ 0.
Theorem 2.2. Assume that there exist four positive constants M, N, m, n such that
- (1)
for t ∈ R, fi(t, M, 0) ≤ 0 and −g(t, N) + c1(t)p1(M) + c2(t)p2(M) < 0, i = 1,2;
- (2)
for t ∈ R, fi(t, m, N) ≥ 0 and −g(t, n) + c1(t)p1(m) + c2(t)p2(m) > 0, i = 1,2.
Proof. Denote xi(t) = exp [ui(t)] (i = 1,2, 3); then system (1.1) can be rewritten as
Let
When u ∈ ∂Ω∩Ker L = ∂Ω∩R3, u is a constant vector in R3 with If system (2.25) has one or a number of solutions, then
Finally, we will prove that condition (c) of Lemma 2.1 is satisfied. To this end, we define a mapping ψ : Dom L × [0,1] → X by
We consider three possible cases: (1) either of satisfies , (2) either of satisfies , and (3) both of satisfy .
Case 1. Either of satisfies since there exists a constant t1 such that
Case 2. Either of satisfies we consider two subcases as follows.
Subcase 1 .. . There exists a constant t2 and ui (i = 1 or 2) such that
Subcase 2. . Because the other uj (j = 2 or 1) must satisfy either or . The later one is discussed in Case 1. Then we only consider the subcase when and . Under these conditions, there exists a constant t3 such that
Case 3. Both of satisfy : we also consider the following two subcases.
Subcase 3. . There exists a constant t4 such that
Subcase 4. . If , then , which is a contradiction to . Hence, . When and , there exists a t5 such that
Remark 2.3. Theorem 2.2 implies that the delays and the diffusion have no effect on the result provided (H1)-(H2) holds.
3. Application
Example 3.1. Consider the system: