Skip to main content

Permanence and existence of positive periodic solution for a multi-species cooperation system with continuous time delays, feedback control, and periodic external source

Abstract

In this paper, sufficient conditions which guarantee the existence of positive periodic solutions for a multi-species cooperation system are obtained. The permanence of solutions is studied. The proof is based on Schauder’s fixed-point theorem. Also, we give a illustrative example in order to indicate the validity of the assumptions.

MSC:54H99.

1 Introduction

May suggested the following system equations [1] as the mathematical modeling of the pair of mutualist:

x ˙ = ρ 1 x [ 1 x a 1 + b 1 y c 1 x ] , y ˙ = ρ 2 y [ 1 y a 2 + b 2 x c 2 y ] ,

where x(t), y(t) are densities of the species X, Y at time t, ρ i , a i , b i , c i , i=1,2 are positive constants. Subsequently, the nonautonomous version was argued by Cui and Chen [2]. Cui in [3] proposed the following generalization for the N-species cooperation system with continuous time delays:

d x i d t = ρ i ( t ) x i ( t ) [ 1 x i ( t ) a i ( t ) + j = 1 , j i n b j ( t ) τ 0 V j ( θ ) x j ( t + θ ) d θ c i ( t ) x i ( t ) ] , x i ( t ) = φ i ( t ) ,  for  τ t < 0 ,
(1.1)

where τ 0 V j (θ)dθ=1, j=1,2,,N.

On the other hand, in the more realistic situation, the cooperation systems or ecosystems are continuously perturbed via unpredictable forces. These perturbations are generally results of the change in the system’s parameters. In the language of the control theory, these perturbation functions may be regarded as control variables, and consequently, one should ask the question that whether or not an ecosystem can withstand those unpredictable perturbations which persist for a finite periodic time. During the last decade, many scholars did works on the feedback control ecosystems. Some results can be found in [37] and the references therein. Chen, Lio, and Huang [6] studied the dynamical behavior of the following non-autonomous N-species cooperation system with continuous time delay and feedback control:

(1.2)
(1.3)

where x i and u i are the density of i th cooperation species and control variable, respectively. a i , b i j , c i , d i , ρ i , α i , β i , and γ i , are all continuous real-valued functions which are bounded above and below by positive constants. Also,

τ i j 0 V i (θ)dθ= τ i 0 W i (θ)dθ= η i 0 U i (θ)dθ=1,i,j=1,2,,N.

Very recently, Chen and Xie [7] obtained a set of sufficient conditions for permanence of the system above. The study was based on a new integral inequality and the results showed that the feedback control variables have no influence on the permanence of the system. In the present paper, we study the sufficient condition for existence and permanence of the positive periodic solutions of generalized version of the N-species cooperation system (1.2), (1.3) while for each i, time variation of the i th species is affected by external periodic source S i (t), i.e.,

(1.4)
(1.5)

Our key tool is the following fixed-point theorem for a proper compact integral operator on the convex subset of infinite dimension Banach space which is originally due to Schauder [8].

Theorem 1.1 (Schauder)

Let X be a Banach space and Λ be a closed, bounded, and convex subset of X. If Γ:ΛΛ is a compact operator, then Γ has at least one fixed point on Λ.

Besides, we also invoke the following weak version of Arzela-Ascoli theorem [9].

Theorem 1.2 (Arzela-Ascoli)

Let { ξ n (t)} be a sequence of real functions on [0,T] which is uniformly bounded and equicontinuous. Then { ξ n (t)} has a uniformly convergent subsequence.

Also, we set,

C T ={ξ|ξ  is a continuous  T -periodic function on  R },

and for ξ C T we define ξ= sup t [ 0 , T ] |ξ(t)|,

B= C T N = { Ψ = ( ξ 1 , ξ 2 , , ξ N ) : ξ i C T , i = 1 , 2 , , N } ,

and for ΨB we define |Ψ(t)|= i = 1 N | ξ i (t)| and Ψ B = i = 1 N ξ i .

Clearly, ( C T ,) and (B, B ) are Banach spaces.

λ i = exp ( 0 T ρ i ( t ) d t ) , κ i = exp ( 0 T α i ( t ) d t ) , A i = 0 T { β i ( t ) + γ i ( t ) } d t , B i = 0 T { d i ( t ) + e i ( t ) } d t , J i ( Q ) = 0 T ρ i ( s ) [ 1 a i ( s ) + Q j = 1 , j i n b i j ( s ) + c i ( s ) ] d s , Q R , I i ( Q ) = 1 inf t [ 0 , T ] [ a i ( t ) + Q j = 1 , j i n b i j ( t ) ] + c i .

Throughout this paper, we assume that

( H 1 ) a i , b i j , c i , d i , e i , ρ i , α i , β i , and γ i , i,j=1,2,,N are all positive continuous real-valued functions.

( H 2 ) τ i j 0 V i (θ)dθ= τ i 0 W i (θ)dθ= η i 0 U i (θ)dθ=1, i,j=1,2,,N.

The following section is arranged based on two main steps: In step 1, we obtain sufficient conditions with guarantee the existence of periodic solutions of each equation of system (1.4)-(1.5) for each 1iN. In the proof of existence, we will use the method of Green’s functions according to Mokhtarzadeh et al. [10]. In step 2, we follow Chen [11] to construct a bounded, closed, and convex set in a product space and apply Schauder’s fixed-point theorem.

2 Main results

In this section, we shall study the existence of periodic solutions of the multi-species system (1.4)-(1.5). To do this, we transform this system of couple equations into one integral equation. For each 1iN, we introduce the following integral operator Γ i on the Banach space ( C T ,),

(2.1)

The kernel of the integral operator (2.1) is in fact the Green’s function of Eq. (1.2) and is given by

G i (t,s)={ exp ( 0 T α i ( θ ) d θ ) exp ( 0 T α i ( θ ) d θ ) 1 exp ( t s α i ( θ ) d θ ) , 0 s t T , 1 exp ( 0 T α i ( θ ) d θ ) 1 exp ( t s α i ( θ ) d θ ) , 0 t s T ,

where 0 T α i 0; see [12].

Lemma 2.1 Let 1iN and α i , β i , γ i , and U i are belong to C T as well as 0 T α i 0. Suppose that u i is a continuous real function such that for some x i C T , Γ i x i = u i . Then u i is a T-periodic solution of Eq. (1.5).

The proof of Lemma 2.1 is similar to the proof of Lemma 3.1 of [10].

According to Lemma 2.1, it may be deduced that the existence problem of T-periodic solution of system (1.4), (1.5) is equivalent to that of the T-periodic solution of the following equation:

d x i d t = ρ i ( t ) x i ( t ) [ 1 x i ( t ) a i ( t ) + j = 1 , j i n b i j ( t ) τ i j 0 V i j ( θ ) x j ( t + θ ) d θ c i ( t ) x i ( t ) ] d i ( t ) ( Γ i x i ) ( t ) x i ( t ) e i ( t ) x i ( t ) τ i 0 W i ( θ ) ( Γ i x i ) ( t + θ ) d θ S i ( t ) .
(2.2)

For any Ψ=( ξ 1 , ξ 2 ,, ξ N ) belong to B, and 1iN, we define the following integral operator:

(2.3)

Wherein,

( Ξ i Ψ x i ) ( t ) = 0 T H i ( t , s ) ρ i ( s ) x i 2 ( s ) [ 1 a i ( s ) + j = 1 , j i n b i j ( s ) τ i j 0 V i j ( θ ) ξ j ( s + θ ) d θ + c i ( s ) ] d s , ( Ξ i Γ x i ) ( t ) = 0 T H i ( t , s ) x i ( s ) { d i ( s ) ( Γ i x i ) ( s ) + e i ( s ) τ i 0 W i ( θ ) ( Γ i x i ) ( s + θ ) d θ } d s ,

and,

Ξ i S (t)= 0 T H i (t,s) S i (s)ds.

Kernel is given by

H i (t,s)={ 1 exp ( 0 T ρ i ( θ ) d θ ) 1 exp ( t s ρ i ( θ ) d θ ) , 0 s t T , 0 T ρ i ( θ ) d θ ) exp ( 0 T ρ i ( θ ) d θ ) 1 exp ( t s ρ i ( θ ) d θ ) , 0 t s T .

Lemma 2.2 Let ( H 1 ) and ( H 2 ) hold and a i , b i j , c i , d i , ρ i , α i , β i , γ i , i,j=1,2,,N as well as x are all belong to C T as well as 0 T ρ0. Then F i Ψ x is T-periodic function and satisfies the following differential equation:

( F i Ψ x ) ( t ) = ρ i ( t ) [ ( F i Ψ x ) ( t ) x 2 ( t ) a i ( t ) + j = 1 , j i n b i j ( t ) τ i j 0 V i j ( θ ) ξ j ( t + θ ) d θ x 2 ( t ) c i ( t ) ] x ( t ) { d i ( t ) ( Γ i x ) ( s ) + e i ( t ) τ i 0 W i ( θ ) ( Γ i x ) ( t + θ ) d θ } S i ( t ) .
(2.4)

Proof Appealing to presses of the proof of Lemma 2.1 for operators ( Ξ i Ψ x i )(t), ( Ξ i Γ x i )(t) and Ξ i S (t) one obtains

and,

( Ξ i S ) (t)= ρ i (t) ( Ξ i S ) (t) S i (s).

The sum of terms above and taking the equality (2.3) into account leads to (2.4). □

Corollary 2.3 Let a i , b i j , c i , d i , ρ i , α i , β i , γ i , i,j=1,2,,n and x all belong to C T as well as 0 T ρ0. Let that x i C T be a fixed point of the operator F i Ψ , i.e., F i Ψ x i = x i , then x i is a solution of Eq. (2.2).

Theorem 2.4 Let

Λ i = { ξ C T : ξ Ξ i S Q Ξ i S } , Q i = inf t [ 0 , T ] | Ξ i S ( t ) | 1 + sup t [ 0 , T ] | Ξ i S ( t ) | , Q = min { Q 1 , Q 2 , , Q N } .

Assume ( H 1 ) and ( H 2 ) hold, assume further that ( H 3 ) for i=1,2,,N

J i (Q)+ A i B i ( 1 1 λ i ) ( 1 1 κ i ) Q ( Q + 1 ) 2 Ξ i S .

Then the integral operator F i Ψ maps Λ i into Λ i and has at least one fixed point.

Proof Let ξ i Λ i , then

| ξ i ( t ) Ξ i S ( t ) | Q Ξ i S ,

thus

| ξ i ( t ) | (Q+1) Ξ i S .

On the other hand,

| ξ i ( t ) | | Ξ i S ( t ) | Q Ξ i S inf t [ 0 , T ] | Ξ i S ( t ) | Q sup t [ 0 , T ] | Ξ i S ( t ) | inf t [ 0 , T ] | Ξ i S ( t ) | Q i sup t [ 0 , T ] | Ξ i S ( t ) | = inf t [ 0 , T ] | Ξ i S ( t ) | inf t [ 0 , T ] | Ξ i S ( t ) | sup t [ 0 , T ] | Ξ i S ( t ) | 1 + sup t [ 0 , T ] | Ξ i S ( t ) | = Q i Q .

Consequently,

Q ξ i (t)(Q+1) Ξ i S ,for any t[0,T].
(2.5)

In addition, since ρ i and α i (i=1,2,,N) are positive functions, we have

1 λ i 1 H i (t,s) λ i λ i 1 ,s,t[0,T],

and

1 κ i 1 G i (t,s) κ i κ i 1 ,s,t[0,T].

Therefore, for x i Λ i , Ψ=( ξ 1 , ξ 2 ,, ξ N ) belong to i = 1 N Λ i and any t[0,T], we obtain

| ( Ξ i Ψ x i ) ( t ) | λ i λ i 1 x i 2 × 0 T ρ i ( s ) [ 1 a i ( s ) + j = 1 , j i n b i j ( s ) τ i j 0 V i j ( θ ) ξ j ( s + θ ) d θ + c i ( s ) ] d s λ i λ i 1 ( Q + 1 ) 2 Ξ i S 2 0 T ρ i ( s ) [ 1 a i ( s ) + Q j = 1 , j i n b i j ( s ) + c i ( s ) ] d s λ i λ i 1 ( Q + 1 ) 2 Ξ i S 2 J i ( Q ) .
(2.6)

Also, we have

| ( Γ i ξ ) ( t ) | κ i κ i 1 x i 0 T { β i ( s ) + γ i ( s ) τ i 0 U i ( θ ) d θ } d s κ i κ i 1 x i A i .
(2.7)

Thus,

| ( Ξ i Γ x i ) ( t ) | λ i λ i 1 x i 0 T { d i ( s ) ( Γ i x i ) ( s ) + e i ( s ) τ i 0 W i ( θ ) ( Γ i x i ) ( s + θ ) d θ } d s λ i λ i 1 κ i κ i 1 x i 2 A i 0 T { d i ( s ) + e i ( s ) τ i 0 W i ( θ ) d θ } d s λ i κ i ( λ i 1 ) ( κ i 1 ) ( Q + 1 ) 2 Ξ i S 2 A i B i .
(2.8)

In these regards, based on (2.6) and (2.8) one obtains

| ( F i Ψ x i ) ( t ) Ξ i S ( t ) | = | ( Ξ i Ψ x i ) ( t ) ( Ξ i Γ x i ) ( t ) | | ( Ξ i Ψ x i ) ( t ) | + | ( Ξ i Γ x i ) ( t ) | λ i λ i 1 ( Q + 1 ) 2 Ξ i S 2 ( J i ( Q ) + κ i κ i 1 A i B i ) λ i κ i ( λ i 1 ) ( κ i 1 ) ( Q + 1 ) 2 Ξ i S 2 ( J i ( Q ) + A i B i ) Q Ξ i S .
(2.9)

This shows that F i Ψ x i is belong to Λ i (i=1,2,,N) and, therefore, the integral operator F i Ψ maps Λ i into Λ i .

In addition, based on inequality (2.9), we have

| ( F i Ψ x i ) ( t ) | (Q+1) Ξ i S .

Thus,

| ( F i Ψ x ) ( t ) | ρ i ( Q + 1 ) Ξ i S + ( Q + 1 ) 2 Ξ i S 2 × { I i ( Q ) + κ i κ i 1 A i { d i + e i } } + S i ,
(2.10)

which shows that | ( F i Ψ x ) (t)| is bounded by

M i = ρ i ( Q + 1 ) Ξ i S + ( Q + 1 ) 2 Ξ i S 2 { I i ( Q ) + κ i κ i 1 A i { d i + e i } } + S i .

Let M=max{ M 1 , M 2 ,, M N }. For any t,s[0,T], one obtains

| ( F i Ψ x ) ( t ) ( F i Ψ x ) ( s ) | M|ts|.

This implies that ( F i Ψ x)(t) is Lipschitzan with Lipschit constance M. In this way, for given ε>0, if we consider δ(ε)= ε M , then

sup x Λ i | ( F i Ψ x ) ( t ) ( F i Ψ x ) ( s ) | ε,whenever t,s[0,T] and |ts|δ(ε).

Consequently, for any 1iN the family { F i Ψ x } x Λ i is equicontinuous on [0,T].

Suppose { x i , m } is a sequence on Λ i , 1iN. Thus, {( F i Ψ x i , m )(t)} as a sequence of functions on [0,T] is equicontinuous. Appealing to the Arzela-Ascoli theorem, there exist a subsequent denoted by {( F i Ψ x i , m k )(t)}, which is uniformly convergence on [0,T]. This means that { F i Ψ x i , m k } is convergent on Λ i and consequently, F i Ψ : Λ i Λ i is compact. Appealing to Schauder’s fixed-point theorem, F i Ψ has at least a fixed point on Λ i . □

We emphasize that according to Corollary 2.3, for any 1iN, and Ψ=( ξ 1 , ξ 2 ,, x i ,, ξ N ) belong to i = 1 N Λ i fixed point of F i Ψ is the positive T-periodic solutions of Eq. (2.2) or equivalently, T-periodic solution of the nonlinear population system (1.3) and (1.4).

Let Ψ=( ξ 1 , ξ 2 ,, ξ N ) i = 1 N Λ i and ( H 1 ), ( H 2 ), and ( H 3 ) hold. Based on Theorem 2.4 for i=1,2,,N, operator F i Ψ has at least a fixed point in Λ i . Let Fix( F i Ψ ) Λ i denote the set of fixed points of F i Ψ . Applying the Axiom of Choice, we chose a representative point, say x i Ψ , in Fix( F i Ψ ) i.e.,

( F i Ψ x i Ψ ) (t)= x i Ψ (t),t[0,T],i=1,2,,N.

We introduce the following operator on i = 1 N Λ i :

(2.11)

Theorem 2.5 Let ( H 1 ), ( H 2 ), and ( H 3 ) hold. Then operator T: i = 1 N Λ i i = 1 N Λ i defined by (2.11) has at least a fixed point on i = 1 N Λ i .

Proof It is obvious that T is bounded on B. Also, according to inequality (2.10), we have

| x i Ψ ( t ) | M,t[0,T],i=1,2,,N.

Thus,

| x i Ψ ( t ) x i Ψ ( s ) | M|ts|,t,s[0,T],i=1,2,,N.

For given ε>0, if we consider δ(ε)= ε M N , then

sup Ψ i = 1 N Λ i | ( T Ψ ) ( t ) ( T Ψ ) ( s ) | ε,whenever t,s[0,T] and |ts|δ(ε),

which shows that T( i = 1 N Λ i ) is equicontinuous on [0,T]. In this regard, any sequence, say { X k } in i = 1 N Λ i satisfies all the conditions of the Arzela-Ascoli theorem on [0,T]. Hence, { X k } has a subsequence { X k m } such that is uniformly convergent on [0,T]. This shows that T( i = 1 N Λ i ) is relatively compact in B.

In the sequel, we show that T is continuous. We define the following map on i = 1 N Λ i ×[0,T],

Z i ( Ψ , t ) = ρ i ( t ) [ 1 ξ i ( t ) a i ( t ) + j = 1 , j i n b i j ( t ) τ i j 0 V i j ( θ ) ξ j ( t + θ ) d θ c i ( t ) ξ i ( t ) ] d i ( t ) ( Γ i ξ i ) ( t ) e i ( t ) τ i 0 W i ( θ ) ( Γ i ξ i ) ( t + θ ) d θ .
(2.12)

Wherein, Ψ=( ξ 1 , ξ 2 ,, ξ N ). For each 1i,jN, the partial derivative Z i (Ψ,t)/ ξ j exist and straightforward calculation shows

| Z i ( Ψ , t ) ξ i | | ρ i ( t ) | { | 1 a i ( t ) + j = 1 , j i n b i j ( t ) τ i j 0 V i j ( θ ) ξ j ( t + θ ) d θ | + | c i ( t ) | } + | d i ( t ) 0 T G i ( t , s ) { β i ( s ) + γ i ( s ) } d s | + | e i ( t ) τ i 0 W i ( θ ) { 0 T G i ( t , s ) { β i ( s ) + γ i ( s ) } d s } d θ | ρ i I i ( Q ) + κ i κ i 1 A i { d i + e i } .
(2.13)

Also, in the case ki,

| Z i ( Ψ , t ) ξ k | ρ i ( t ) ξ k ( t ) b i k ( t ) ( a i ( t ) + j = 1 , j i n b i j ( t ) τ i j 0 V i j ( θ ) ξ j ( t + θ ) d θ ) 2 ( Q + 1 ) ρ i b i k Ξ i S ( I i ( Q ) c i ) 2 .
(2.14)

We set σ=max{ g i , h i j :i,j=1,2,,N}, wherein,

g i = ρ i I i (Q)+ κ i κ i 1 A i { d i + e i } ,

and,

h i j =(Q+1) ρ i b i k Ξ i S ( I i ( Q ) c i ) 2 .

Therefore,

| Z i ( Ψ , t ) ξ j | σ,whenever t[0,T] and i,j=1,2,,N.
(2.15)

Based on property (2.15) and by induction, one can obtain

| Z i ( ξ 1 , ξ 2 , , ξ N , t ) Z i ( ϕ 1 , ϕ 2 , , ϕ N , t ) | P(σ) i = 1 N | ξ i ( t ) ϕ i ( t ) | ,
(2.16)

where P(σ) is a specific polynomial in terms of σ.

Let{ Ψ k } be a sequence belong to i = 1 N Λ i and Ψ k =( ξ 1 k , ξ 2 k ,, ξ N k )Φ=( ϕ 1 , ϕ 2 ,, ϕ N ) as k. Let T Ψ k = X Ψ k =( x 1 Ψ k , x 2 Ψ k ,, x N Ψ k )T( i = 1 N Λ i ). According to relative compactness of i = 1 N Λ i in B, there exist a subsequence { X Ψ q } of { X Ψ k } and Y=( y 1 , y 2 ,, y N )B such that X Ψ q Y, uniformly, in B as q. It is obvious that for any q, we have

d x i Ψ q d t = x i Ψ q ( t ) ρ i ( t ) [ 1 x i Ψ q ( t ) a i ( t ) + j = 1 , j i n b i j ( t ) τ i j 0 V i j ( θ ) ξ j q ( t + θ ) d θ c i ( t ) x i Ψ q ( t ) ] d i ( t ) ( Γ i x i Ψ q ) ( t ) x i Ψ q ( t ) e i ( t ) x i Ψ q ( t ) τ i 0 W i ( θ ) ( Γ i x i Ψ q ) ( t + θ ) d θ S i ( t ) = x i Ψ q ( t ) Z i ( ξ 1 q ( t ) , , ξ i 1 q ( t ) , x i Ψ q ( t ) , ξ i + 1 q ( t ) , , ξ N q ( t ) , t ) .
(2.17)

Or equivalently,

( F i Ψ q x i Ψ q ) (t)= x i Ψ q (t),t[0,T],i=1,2,,N.

Based on property (2.16), we have

(2.18)

Therefore,

x i Ψ q (t) Z i ( ξ 1 q ( t ) , ξ 2 q ( t ) , , ξ i 1 q ( t ) , x i Ψ q ( t ) , ξ i + 1 q ( t ) , , ξ N q ( t ) , t )

converges to

y i (t) Z i ( ϕ 1 ( t ) , ϕ 2 ( t ) , , ϕ i 1 ( t ) , y i ( t ) , ϕ i + 1 ( t ) , ϕ N ( t ) , t )

uniformly, as q for all t[0,T] and i=1,2,,N.

Thus, derivative d y i /dt exist on [0,T] and

d x i Ψ q d t d y i d t ,as q.

Or equivalently,

d y i /dt= y i (t) Z i ( ϕ 1 ( t ) , ϕ 2 ( t ) , , ϕ i 1 ( t ) , y i ( t ) , ϕ i + 1 ( t ) , ϕ N ( t ) , t )

for all t[0,T] and i=1,2,,N.

Consequently, based on definition of map T we have TΦ=Y. Also, Ψ q Φ. Thus, we obtain

lim q T Ψ q =Y=TΦ=T lim q Φ q .

Hence, lim k T Ψ k =Y, which it shows that T is continuous on i = 1 N Λ i .

Therefore, applying Schauder’s fixed-point theorem, map T has a fixed point Φ=( ϕ 1 (t),, ϕ N (t)) i = 1 N Λ i , i.e.,

TΦ=Φ.

Or equivalently,

( F i Φ ϕ i ) (t)= ϕ i (t),t[0,T],i=1,2,,N.

Finally, this indicate that ( ϕ 1 (t),, ϕ N (t)) is a positive periodic solution of system of Eq. (2.2) or equivalently, T-periodic solution of the multi-species cooperation system (1.3) and (1.4). This completes the proof of the theorem. □

2.1 Permanence of system

Let τ={ τ i j , τ i , η i ,i,j=1,2,,N}. We consider the system (1.4), (1.5) together with the following initial conditions:

(2.19)

Lemma 2.6 (see [6])

If a>0, b>0 and u ˙ bau, when t t 0 and u( t 0 )>0, we have

u(t) b a [ 1 + ( a u ( t 0 ) b 1 ) exp ( a ( t t 0 ) ) ] 1 .

Theorem 2.7 Let ( H 1 ), ( H 2 ), ( H 3 ) hold and ( x 1 , x 2 ,, x N ) i = 1 N Λ i be any solution differential equation (2.2) and ( u 1 , u 2 ,, u N ) with

u i (t)= 0 T G i (t,s) { β i ( s ) ξ ( s ) + γ i ( s ) τ i 0 U i ( θ ) ξ ( s + θ ) d θ } ds,
(2.20)

be the solution of system (1.5) with initial condition (2.19). Then solution ( x 1 , x 2 ,, x N , u 1 , u 2 ,, u N ) of system (1.4), (1.5) is permanent, i.e., there exist τ ˜ >0 and m i >0, M i , m ˜ i >0, and M ˜ i (i=1,2,,N) such that

m i x i (t) M i , m ˜ i u i (t) M ˜ i .

Proof Since S i 0 for any 0iN, appealing to the proof of the Lemma 2.3 given in [6] we can immediately demonstrate that there exist a τ ˜ >0 such that

x i M i ε , u i N i ε ,for t τ ˜ ,
(2.21)

where

(2.22)

while f u = sup t f(t) and f l = inf t f(t).

On the other hand, from Lemma 2.1 and inequality (2.5), we have

d u i d t = α i ( t ) u i ( t ) + β i ( t ) x i ( t ) + γ i ( t ) η i 0 U i ( θ ) x i ( t + θ ) d θ α i u + ( β i l + γ i l ) Q ,

then by Lemma 2.6, for arbitrary ϵ>0, there exist τ > τ ˜ such that

u i (t) ( β i l + γ i l ) Q α i u ϵfor  τ > τ ˜ .

Since ϵ is arbitrary small, one may assume that

ϵ ( β i l + γ i l ) Q α i u .

Thus,

u i (t) 1 2 ( β i l + γ i l ) Q α i u m ˜ i for  τ > τ ˜ .

 □

Remark 2.8 For the system without the external source, the sets Λ i must be replaced by

B R = { ξ C T : ξ R } .

Similar calculation shows that condition ( H 3 ) is reduced to the following one:

( λ i λ i 1 ) [ J i ( 0 ) + ( κ i κ i 1 ) A i B i ] 1 R .

3 Illustrative example

Consider the following 2-species cooperation system with delay, feedback control, and external source

d N 1 d t = ρ 1 ( t ) N 1 ( t ) [ 1 N 1 ( t ) a 1 ( t ) + b 12 ( t ) τ 12 0 V 12 ( θ ) N 2 ( t + θ ) d θ c 1 ( t ) N 1 ( t ) ] d 1 ( t ) u 1 ( t ) N 1 ( t ) e 1 ( t ) N 1 ( t ) τ 1 0 W 1 ( θ ) u 1 ( t + θ ) d θ S 1 ( t ) ,
(3.1)
d u 1 d t = α 1 (t) u 1 (t)+ β 1 (t) N 1 (t)+ γ 1 (t) τ 1 0 U 1 (θ) N 1 (t+θ)dθ,
(3.2)
d N 2 d t = ρ 2 ( t ) N 2 ( t ) [ 1 N 2 ( t ) a 2 ( t ) + b 21 ( t ) τ 21 0 V 21 ( θ ) N 1 ( t + θ ) d θ c 2 ( t ) N 2 ( t ) ] d 2 ( t ) u 2 ( t ) N 2 ( t ) e 2 ( t ) N 2 ( t ) τ 2 0 W 2 ( θ ) u 2 ( t + θ ) d θ S 2 ( t ) ,
(3.3)
d u 2 d t = α 2 (t) u 2 (t)+ β 2 (t) N 2 (t)+ γ 2 (t) τ 2 0 U 2 (θ) N 2 (t+θ)dθ.
(3.4)

Wherein,

ρ 1 ( t ) = 5 sin ( 2 π t ) cos ( 4 π t ) 5 sin ( 2 π t ) + cos ( 2 π t ) , ρ 2 ( t ) = 7 sin ( 2 π t ) cos ( 4 π t ) 6 3 sin ( 2 π t ) + cos ( 2 π t ) , S 1 ( t ) = 2 sin ( 2 π t ) 2 + sin ( 2 π t ) , S 2 ( t ) = 2 sin ( 2 π t ) 2 + cos ( 2 π t ) , H 1 ( t , s ) = { 0.5270 exp ( s t ρ 1 ( θ ) d θ ) , 0 s t T , 1.5270 exp ( s t ρ 1 ( θ ) d θ ) , 0 t s T , H 2 ( t , s ) = { 0.3110 exp ( s t ρ 2 ( θ ) d θ ) , 0 s t T , 1.3110 exp ( s t ρ 2 ( θ ) d θ ) , 0 t s T , α 1 ( t ) = 15 + sin ( 2 π t ) + cos ( 2 π t ) 10 sin ( 2 π t ) cos ( 2 π t ) , α 2 ( t ) = 12 + sin ( 2 π t ) cos ( 2 π t ) 5 sin ( 2 π t ) cos ( 2 π t ) , G 1 ( t , s ) = { 1.2813 exp ( t s α 1 ( θ ) d θ ) , 0 s t T , 0.2813 exp ( t s α 1 ( θ ) d θ ) , 0 t s T , G 2 ( t , s ) = { 1.0893 exp ( t s α 2 ( θ ) d θ ) , 0 s t T , 0.0893 exp ( t s α 2 ( θ ) d θ ) , 0 t s T , sup t [ 0 , T ] | Ξ 1 S ( t ) | = 1.9994 , sup t [ 0 , T ] | Ξ 2 S ( t ) | = 1.5138 , inf t [ 0 , T ] | Ξ 1 S ( t ) | = 0.69 , inf t [ 0 , T ] | Ξ 2 S ( t ) | = 0.3591 , λ 1 = 2.8975 , λ 2 = 4.2146 , κ 1 = 4.5540 , κ 2 = 12.2089 , Q 1 = 0.23 , Q 2 = 0.1428 , Q = 0.23 , a 1 ( t ) = 100 + sin ( 2 π t ) , a 2 ( t ) = 220 cos ( 2 π t ) , c 1 ( t ) = 2 + sin ( 2 π t ) 200 + cos ( 2 π t ) , c 2 ( t ) = 2 cos ( 2 π t ) 200 sin ( 2 π t ) , b 12 ( t ) = 30 + sin ( 2 π t ) , b 21 ( t ) = 100 cos ( 2 π t ) , J 1 ( Q ) = 0.02167 , J 2 ( Q ) = 0.02171 , β 1 ( t ) = 3 sin ( 2 π t ) cos ( 4 π t ) 10 + sin ( 4 π t ) + cos ( 4 π t ) , β 2 ( t ) = 3 cos ( 4 π t ) 32 + 2 sin ( 2 π t ) + cos ( 2 π t ) , γ 1 ( t ) = 7 sin ( 2 π t ) + cos ( 4 π t ) 30 + 2 sin ( 4 π t ) + cos ( 4 π t ) , γ 2 ( t ) = 2 + sin ( 4 π t ) 29 2 sin ( 2 π t ) + 3 cos ( 2 π t ) , d 1 ( t ) = 2 sin ( 4 π t ) 21 + sin ( 4 π t ) + cos ( 8 π t ) , d 2 ( t ) = 3 + sin ( 4 π t ) 40 + sin ( 2 π t ) 2 cos ( 2 π t ) , e 1 ( t ) = 4 + sin ( 2 π t ) 20 sin ( 2 π t ) + cos ( 4 π t ) , e 2 ( t ) = 2 cos ( 4 π t ) 72 + sin ( 2 π t ) + 4 cos ( 2 π t ) , A 1 = 0.5411 , B 1 = 0.2970 , A 2 = 0.1633 , B 1 = 0.1029 .

With due attention to the data above, we have

J 1 (Q)+ A 1 B 1 =0.1823 ( 1 1 λ 1 ) ( 1 1 κ 1 ) Q ( Q + 1 ) 2 Ξ 1 S =0.5123,

and

J 2 (Q)+ A 2 B 2 =0.0385 ( 1 1 λ 2 ) ( 1 1 κ 2 ) Q ( Q + 1 ) 2 Ξ 2 S =0.0531.

Therefore, the condition ( H 3 ) in Theorem 2.4 is valid for our examples.

4 Conclusion

In this paper, we investigate the existence and permanence of periodic solutions for a multi-species cooperation system with continuous time delays, feedback control and periodic external source. Suppose that

( H 1 ) a i , b i j , c i , d i , e i , ρ i , α i , β i , and γ i , are all positive continuous real-valued functions,

( H 2 ) τ i j 0 V i (θ)dθ= τ i 0 W i (θ)dθ= η i 0 U i (θ)dθ=1,

( H 3 ) J i (Q)+ A i B i (1 1 λ i )(1 1 κ i ) Q ( Q + 1 ) 2 Ξ i S

for i=1,2,,N, where

λ i = exp ( 0 T ρ i ( t ) d t ) , κ i = exp ( 0 T α i ( t ) d t ) , A i = 0 T { β i ( t ) + γ i ( t ) } d t , B i = 0 T { d i ( t ) + e i ( t ) } d t , J i ( Q ) = 0 T ρ i ( s ) [ 1 a i ( s ) + Q j = 1 , j i n b i j ( s ) + c i ( s ) ] d s , Q R , I i ( Q ) = 1 inf t [ 0 , T ] [ a i ( t ) + Q j = 1 , j i n b i j ( t ) ] + c i , Q i = inf t [ 0 , T ] | Ξ i S ( t ) | 1 + sup t [ 0 , T ] | Ξ i S ( t ) | , Q = min { Q 1 , Q 2 , , Q N } , Ξ i S ( t ) = 0 T H i ( t , s ) S i ( s ) d s .

Then the following multi-species cooperation system:

admits at least one T-periodic solution. In order to indicate the validity of the assumptions made in our results, we also treat a illustrative example.

References

  1. 1.

    May RM: Theoretical Ecology, Principles and Applications. Sounders, Philadelphia; 1976.

    Google Scholar 

  2. 2.

    Cui JA, Chen LS: Global asymptotic stability in a nonautonomous cooperative system. Syst. Sci. Math. Sci. 1993, 6(1):44–51.

    MathSciNet  MATH  Google Scholar 

  3. 3.

    Cui JA: Global asymptotic stability in n -species cooperative system with time delays. Syst. Sci. Math. Sci. 1994, 7(1):45–48.

    MathSciNet  MATH  Google Scholar 

  4. 4.

    Zhang T, Li Y, Ye Y: Persistence and almost periodic solutions for a discrete fishing model with feedback control. Commun. Nonlinear Sci. Numer. Simul. 2011, 16(3):1564–1573. 10.1016/j.cnsns.2010.06.033

    MathSciNet  Article  MATH  Google Scholar 

  5. 5.

    Yan J, Liu G: Periodicity and stability of a Lotka-Volterra competition system with feedback controls and deviating arguments. Nolinear Anal. 2011, 74: 2916–2928. 10.1016/j.na.2010.12.023

    MathSciNet  Article  MATH  Google Scholar 

  6. 6.

    Chen F, Lio X, Huang X: The dynamic behavior of N -species cooperation system with continuous time delays and feedback controls. Appl. Math. Comput. 2006, 181: 803–815. 10.1016/j.amc.2006.02.007

    MathSciNet  Article  MATH  Google Scholar 

  7. 7.

    Chen L, Xie X: Permanence of an N -species cooperation system with continuous time delays and feedback. Nonlinear Anal., Real World Appl. 2011, 12: 34–38. 10.1016/j.nonrwa.2010.05.033

    MathSciNet  Article  MATH  Google Scholar 

  8. 8.

    Cauty R: Solution du problème de point fixe de Schauder. Fundam. Math. 2001, 170: 231–246. 10.4064/fm170-3-2

    MathSciNet  Article  MATH  Google Scholar 

  9. 9.

    Dieudonné J: Foundations of Modern Analysis. Academic Press, San Diego; 1988.

    MATH  Google Scholar 

  10. 10.

    Mokhtarzadeh MR, Pournaki MR, Razani A: A note on periodic solutions of Riccati equations. Nonlinear Dyn. 2010, 62: 119–125. 10.1007/s11071-010-9703-9

    MathSciNet  Article  MATH  Google Scholar 

  11. 11.

    Chen F: On the periodic solutions of periodic multi-species Kolmogorov type competitive system with delays and feedback control. Appl. Math. Comput. 2006, 180: 366–373. 10.1016/j.amc.2005.12.014

    MathSciNet  Article  MATH  Google Scholar 

  12. 12.

    Melnikov YA Topics in Engineering 27. In Green’s Functions in Applied Mechanics. Computational Mechanics, Southampton; 1995.

    Google Scholar 

Download references

Author information

Affiliations

Authors

Corresponding author

Correspondence to Payam Nasertayoob.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Cite this article

Nasertayoob, P., Vaezpour, S.M. Permanence and existence of positive periodic solution for a multi-species cooperation system with continuous time delays, feedback control, and periodic external source. Adv Differ Equ 2012, 156 (2012). https://doi.org/10.1186/1687-1847-2012-156

Download citation

Keywords

  • Schauder’s fixed-point theorem
  • periodic solution
  • multi-species system
  • feedback control