Document 10857392

advertisement
Hindawi Publishing Corporation
International Journal of Differential Equations
Volume 2013, Article ID 502963, 9 pages
http://dx.doi.org/10.1155/2013/502963
Research Article
Positive Periodic Solutions of Cooperative Systems with Delays
and Feedback Controls
Tursuneli Niyaz1 and Ahmadjan Muhammadhaji2
1
2
College of Applied Mathematics, Xinjiang University of Finance and Economics, Ürümqi 830012, China
College of Mathematical Sciences, Xinjiang Normal University, Urumqi 830054, China
Correspondence should be addressed to Ahmadjan Muhammadhaji; ahmadjanm@gmail.com
Received 23 April 2013; Accepted 13 May 2013
Academic Editor: Norio Yoshida
Copyright © 2013 T. Niyaz and A. Muhammadhaji. 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.
This paper studies a class of periodic n species cooperative Lotka-Volterra systems with continuous time delays and feedback
controls. Based on the continuation theorem of the coincidence degree theory developed by Gaines and Mawhin, some new
sufficient conditions on the existence of positive periodic solutions are established.
1. Introduction
Mathematical ecological system has become one of the
most important topics in the study of modern applied
mathematics. Its dynamical behavior includes persistence,
permanence and extinction of species, global stability of
systems, the existence of positive periodic solutions, positive
almost periodic solutions, and strictly positive solutions. The
existence of positive periodic solutions has already become
one of the most interesting subjects for scholars. In the recent
years, the application of fixed-point theorems to the existence
of positive periodic solutions in mathematical ecology has
been studied extensively, for example, Brouwer’s fixed point
theorem [1–4], Schauder’s fixed-point theorem [5–8], Krasnoselskii’s fixed-point theorem [9–14], Horn’s fixed-point
theorem [15, 16], and Mawhins continuation theorem [17–36],
and so forth. In particular, Mawhins continuation theorem
is a powerful tool for studying the existence of periodic
solutions of periodic high-dimensional time-delayed problems. When dealing with a time-delayed problem, it is very
convenient and the result is relatively simple [30]. Recently,
a considerable number of mathematical models with delays
have been proposed in the study of population dynamics. One
of the most celebrated models for population is the LotkaVolterra system. Subsequently, a lot of the literature related to
the study of the existence of positive periodic solutions for
various Lotka-Volterra-type population dynamical systems
with delays by using the method of continuation theorem
was published and extensive research results were obtained
[17–21, 24–34].
On the other hand, in some situations, people may wish
to change the position of the existing periodic solution but
to keep its stability. This is of significance in the control of
ecology balance. One of the methods for the realization of
it is to alter the system structurally by introducing some
feedback control variables so as to get a population stabilizing
at another periodic solution. The realization of the feedback
control mechanism might be implemented by means of some
biological control scheme or by harvesting procedure [21]. In
fact, during the last decade, the existence of positive periodic
solutions for the population dynamics with feedback control
has been studied extensively [8, 14, 17–21, 24, 29]. To the best
of our knowledge, studies on the existence of positive periodic
solutions for cooperative systems with delays and feedback
controls are fairly rare.
In [21], the authors studied the following neutral LotkaVolterra system with feedback controls:
𝑛
𝑦𝑖̇ (𝑑) = 𝑦𝑖 (𝑑) [π‘Ÿπ‘– (𝑑) − ∑ π‘Žπ‘–π‘— 𝑦𝑗 (𝑑)
𝑗=1
[
𝑛
𝑛
𝑗=1
𝑗=1
− ∑𝑏𝑖𝑗 𝑦𝑗 (𝑑 − πœπ‘–π‘— (𝑑)) − ∑ 𝑐𝑖𝑗 𝑦𝑗̇ (𝑑 − 𝛾𝑖𝑗 (𝑑))
2
International Journal of Differential Equations
2. Preliminaries
−𝑓𝑖 (𝑑) 𝑒𝑖 (𝑑) − 𝑒𝑖 (𝑑) 𝑒𝑖 (𝑑 − πœŽπ‘– (𝑑)) ]
]
𝑒̇𝑖 (𝑑) = − 𝛼𝑖 (𝑑) 𝑒𝑖 (𝑑) + 𝛽𝑖 (𝑑) 𝑦𝑖 (𝑑)
+ 𝛾𝑖 (𝑑) 𝑦𝑖 (𝑑) (𝑑 − 𝛿𝑖 (𝑑)) ,
𝑖 = 1, 2, . . . , 𝑛.
(1)
By using Mawhin’s continuation theorem, the sufficient conditions on the existence of positive periodic solutions are
established. In [24], the authors considered the following
delay differential system with feedback control:
𝑑π‘₯
= 𝐹 (𝑑, π‘₯ (𝑑 − 𝜏1 (𝑑)) , . . . , π‘₯ (𝑑 − πœπ‘› (𝑑)) , 𝑒 (𝑑 − 𝛿 (𝑑)))
𝑑𝑑
𝑑𝑒
= −πœ‚ (𝑑) + π‘Ž (𝑑) π‘₯ (𝑑 − 𝜎 (𝑑)) .
𝑑𝑑
(2)
A set of natural and easily verifiable sufficient conditions of
the existence of positive periodic solutions are established,
by using Mawhin’s continuation theorem. In [29], the authors
considered the following single-species periodic logistic systems with feedback regulation and infinite distributed delay:
𝑁̇ (𝑑) = π‘Ÿ (𝑑) 𝑁 (𝑑)
∞
1
× (1 −
∫ 𝐻 (𝑠) 𝑁 (𝑑 − 𝑠) 𝑑𝑠 − 𝑐 (𝑑) 𝑒 (𝑑))
𝐾 (𝑑) 0
∞
𝑒̇ (𝑑) = −π‘Ž (𝑑) 𝑒 (𝑑) + 𝑏 (𝑑) ∫ 𝐻 (𝑠) 𝑁2 (𝑑 − 𝑠) 𝑑𝑠.
0
(3)
The sufficient conditions for the existence of positive periodic
solutions are established, based on Mawhin’s continuation
theorem.
Motivated by the above works, in this paper, we investigate the following 𝑛 species periodic Lotka-Volterra-type
cooperative systems with continuous time delays and feedback controls:
π‘š
π‘₯𝑖̇ (𝑑) = π‘₯𝑖 (𝑑) [π‘Ÿπ‘– (𝑑) − ∑π‘Žπ‘–π‘–π‘™ (𝑑) π‘₯𝑖 (𝑑 − πœπ‘–π‘–π‘™ (𝑑))
𝑙=1
𝑛
π‘š
+ ∑ ∑π‘Žπ‘–π‘—π‘™ (𝑑) π‘₯𝑗 (𝑑 − πœπ‘–π‘—π‘™ (𝑑))]
𝑗 =ΜΈ 𝑖 𝑙=1
]
(4)
− 𝑑𝑖 (𝑑) 𝑒𝑖 (𝑑) − 𝑒𝑖 (𝑑) 𝑒𝑖 (𝑑 − πœ€π‘– (𝑑))
𝑒̇𝑖 (𝑑) = − 𝑏𝑖 (𝑑) 𝑒𝑖 (𝑑) + 𝛽𝑖 (𝑑) π‘₯𝑖 (𝑑)
+ 𝛾𝑖 (𝑑) π‘₯𝑖 (𝑑 − πœŽπ‘– (𝑑)) ,
𝑖 = 1, 2, . . . , 𝑛.
By using the technique of coincidence degree developed by
Gaines and Mawhin in [36], we will establish some new
sufficient conditions which guarantee that the system has at
least one positive periodic solution.
In system (4), we have that π‘₯𝑖 (𝑑) (𝑖 = 1, 2, . . . 𝑛) represent
the density of 𝑛 cooperative species π‘₯𝑖 (𝑖 = 1, 2, . . . 𝑛)
at time 𝑑, respectively; π‘Ÿπ‘– (𝑑) (𝑖 = 1, 2, . . . 𝑛) represent the
intrinsic growth rate of species π‘₯𝑖 (𝑖 = 1, 2, . . . 𝑛) at time 𝑑,
respectively; π‘Žπ‘–π‘–π‘™ (𝑑) (𝑖 = 1, 2, . . . , 𝑛, 𝑙 = 1, 2, . . . , π‘š) represent
the intrapatch restriction density of species π‘₯𝑖 (𝑖 = 1, 2, . . . 𝑛)
at time 𝑑, respectively; π‘Žπ‘–π‘—π‘™ (𝑑) (𝑙 = 1, 2, . . . , π‘š, 𝑖 =ΜΈ 𝑗, 𝑖, 𝑗 =
1, 2, . . . , 𝑛) represent the cooperative coefficients between 𝑛
species π‘₯𝑖 (𝑖 = 1, 2, . . . 𝑛) at time 𝑑, respectively. 𝑒𝑖 (𝑑) (𝑖 =
1, 2, . . . 𝑛) represent the indirect feedback control variables
[21] at time 𝑑, respectively. 𝛽𝑖 (𝑑), 𝑒𝑖 (𝑑), 𝑏𝑖 (𝑑), 𝑑𝑖 (𝑑), and 𝛾𝑖 (𝑑) (𝑖 =
1, 2, . . . 𝑛) represent the feedback control coefficients at time
𝑑, respectively. In this paper, we always assume that
(H1) πœπ‘–π‘—π‘™ (𝑑) (𝑙 = 1, 2, . . . , π‘š, 𝑖, 𝑗 = 1, 2, . . . , 𝑛), πœŽπ‘– (𝑑), πœ€π‘– (𝑑), π‘Ÿπ‘–
(𝑑) (𝑖 = 1, 2, . . . 𝑛) are continuous πœ”-periodic funcπœ”
σΈ€ 
(𝑑) < 1 and ∫0 π‘Ÿπ‘– (𝑑)𝑑𝑑 > 0. π‘Žπ‘–π‘—π‘™ (𝑑) (𝑖, 𝑗 =
tions with πœπ‘–π‘—π‘™
1, 2, 𝑙 = 1, 2, . . . , π‘š), 𝛽𝑖 (𝑑), 𝑒𝑖 (𝑑), 𝑏𝑖 (𝑑), 𝑑𝑖 (𝑑), and
𝛾𝑖 (𝑑) (𝑖 = 1, 2, . . . 𝑛) are continuous, positive πœ”periodic functions.
From the viewpoint of mathematical biology, in this
paper for system (4) we only consider the solution with the
following initial conditions:
π‘₯𝑖 (𝑑) = πœ™π‘– (𝑑) ,
∀𝑑 ∈ [−𝜎, 0] , 𝑖 = 1, 2, . . . 𝑛,
𝑒𝑖 (𝑑) = πœ“π‘– (𝑑) ,
∀𝑑 ∈ [−𝜎, 0] , 𝑖 = 1, 2, . . . 𝑛,
(5)
where πœ™π‘– (𝑑), πœ“π‘– (𝑑) (𝑖 = 1, 2, . . . 𝑛) are nonnegative continuous
functions defined on [−𝜎, 0] satisfying πœ™π‘– (0) > 0, πœ“π‘– (0) >
0 (𝑖 = 1, 2, . . . 𝑛) with 𝜎 = max𝑑∈[0,πœ”] {πœπ‘–π‘—π‘™ (𝑑), πœŽπ‘– (𝑑), πœ€π‘– (𝑑) (𝑖, 𝑗 =
1, 2, 𝑙 = 1, 2, . . . , π‘š)}.
In this paper, for any πœ”-periodic continuous function 𝑓(𝑑)
we denote
𝑓𝐿 = min 𝑓 (𝑑) ,
𝑑∈[0,πœ”]
𝑓=
𝑓𝑀 = max 𝑓 (𝑑) ,
𝑑∈[0,πœ”]
1 πœ”
∫ 𝑓 (𝑑) 𝑑𝑑.
πœ” 0
(6)
In order to obtain the existence of positive πœ”-periodic
solutions of system (4), we will use the continuation theorem
developed by Gaines and Mawhin in [36]. For the reader’s
convenience, we will introduce the continuation theorem in
the following.
Let 𝑋 and 𝑍 be two normed vector spaces. Let 𝐿 :
Dom 𝐿 ⊂ 𝑋 → 𝑍 be a linear operator and let 𝑁 : 𝑋 → 𝑍
be a continuous operator. The operator 𝐿 is called a Fredholm
operator of index zero, if dimKer 𝐿 = codimIm 𝐿 < ∞ and
Im 𝐿 is a closed set in 𝑍. If 𝐿 is a Fredholm operator of index
zero, then there exist continuous projectors 𝑃 : 𝑋 → 𝑋
and 𝑄 : 𝑍 → 𝑍 such that Im 𝑃 = Ker 𝐿 and Im 𝐿 =
Ker 𝑄 = Im (𝐼 − 𝑄). It follows that 𝐿 | Dom 𝐿 ∩ Ker 𝑃 :
Dom 𝐿 ∩ Ker 𝑃 → Im 𝐿 is invertible and its inverse is
denoted by 𝐾𝑃 ; denote by 𝐽 : Im 𝑄 → Ker 𝐿 an isomorphism
of Im 𝑄 onto Ker 𝐿. Let Ω be a bounded open subset of 𝑋; we
say that the operator 𝑁 is 𝐿-compact on Ω, where Ω denotes
International Journal of Differential Equations
3
the closure of Ω in 𝑋, if 𝑄𝑁(Ω) is bounded and 𝐾𝑃 (𝐼 − 𝑄)𝑁 :
Ω → 𝑋 is compact.
Lemma 1 (see [35]). Suppose 𝜏 ∈ 𝐢1 (𝑅, 𝑅) with 𝜏(𝑑+πœ”) ≡ 𝜏(𝑑)
and πœσΈ€  (𝑑) < 1, ∀𝑑 ∈ [0, πœ”]. Then the function 𝑑 − 𝜏(𝑑) has a
unique inverse function πœ‡(𝑑) satisfying πœ‡ ∈ 𝐢(𝑅, 𝑅), πœ‡(𝑒 + πœ”) =
πœ‡(𝑒) + πœ”, ∀𝑒 ∈ 𝑅.
From (9), we obtain
𝑒𝑖 (𝑑 + πœ”) = (∫
𝑑+πœ”
0
(𝛽𝑖 (𝑠) π‘₯𝑖∗ (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖∗ (𝑠 − πœŽπ‘– (𝑠)))
𝑠
× exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} 𝑑𝑠 + πœ“π‘– (0))
0
Lemma 2 (see [36]). Let 𝐿 be a Fredholm operator of index
zero and let 𝑁 be 𝐿-compact on Ω. If
× exp {− ∫
𝑑+πœ”
0
𝑏𝑖 (πœƒ) π‘‘πœƒ} ,
𝑖 = 1, 2, . . . , 𝑛,
𝑑
(a) for each πœ† ∈ (0, 1) and π‘₯ ∈ πœ•Ω ∩ Dom 𝐿, 𝐿π‘₯ =ΜΈ πœ†π‘π‘₯;
𝑒𝑖∗ (𝑑) = (∫ (𝛽𝑖 (𝑠) π‘₯𝑖∗ (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖∗ (𝑠 − πœŽπ‘– (𝑠)))
0
(b) for each π‘₯ ∈ πœ•Ω ∩ Ker 𝐿, 𝑄𝑁π‘₯ =ΜΈ 0;
𝑠
(c) deg {𝐽𝑄𝑁, Ω ∩ Ker 𝐿, 0} =ΜΈ 0,
× exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} 𝑑𝑠 + πœ“π‘– (0))
0
then the operator equation 𝐿π‘₯ = 𝑁π‘₯ has at least one solution
lying in Dom 𝐿 ∩ Ω.
𝑑
× exp {− ∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} ,
0
𝑖 = 1, 2, . . . , 𝑛.
(10)
3. Main Results
In order to obtain the existence of positive periodic solutions
of system (4), firstly, we introduce the following lemma.
Lemma 3. Suppose that (π‘₯1∗ (𝑑), π‘₯2∗ (𝑑), . . ., π‘₯𝑛∗ (𝑑), 𝑒1∗ (𝑑),
𝑒2∗ (𝑑), . . . , 𝑒𝑛∗ (𝑑)) is an πœ”-periodic solution of (4) and (5); then
(π‘₯1∗ (𝑑), π‘₯2∗ (𝑑), . . ., π‘₯𝑛∗ (𝑑), 𝑒1∗ (𝑑), 𝑒2∗ (𝑑), . . . , 𝑒𝑛∗ (𝑑)) satisfies the
system
Considering that (π‘₯1∗ (𝑑), π‘₯2∗ (𝑑), . . . , π‘₯𝑛∗ (𝑑), 𝑒1∗ (𝑑), 𝑒2∗ (𝑑),. . .,
𝑒𝑛∗ (𝑑)) is an πœ”-periodic solution of system (4) and (5), we
obtain
𝑑
(∫ (𝛽𝑖 (𝑠) π‘₯𝑖∗ (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖∗ (𝑠 − πœŽπ‘– (𝑠)))
0
π‘š
2
π‘₯𝑖̇ (𝑑) = π‘₯𝑖 (𝑑) (π‘Ÿπ‘– (𝑑) − ∑ (−1)𝑖+𝑗 ∑π‘Žπ‘–π‘—π‘™ (𝑑) π‘₯𝑗 (𝑑 − πœπ‘–π‘—π‘™ (𝑑)))
𝑗=1
𝑙=1
= (∫
𝑒𝑖 (𝑑) = ∫
𝑑
𝑑+πœ”
0
− 𝑑𝑖 (𝑑) 𝑒𝑖 (𝑑) − 𝑒𝑖 (𝑑) 𝑒𝑖 (𝑑 − πœ€π‘– (𝑑)) ,
𝑑+πœ”
𝑠
𝑑
0
0
× exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} 𝑑𝑠 + πœ“π‘– (0)) exp {− ∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ}
(𝛽𝑖 (𝑠) π‘₯𝑖∗ (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖∗ (𝑠 − πœŽπ‘– (𝑠)))
𝑠
× exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} 𝑑𝑠 + πœ“π‘– (0))
[𝛽𝑖 (𝑠) π‘₯𝑖 (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖 (𝑠 − πœŽπ‘– (𝑠))] 𝐺𝑖 (𝑑, 𝑠) 𝑑𝑠,
0
𝑑+πœ”
× exp {− ∫
𝑖 = 1, 2, . . . , 𝑛,
(7)
where
0
𝑏𝑖 (πœƒ) π‘‘πœƒ} ,
𝑖 = 1, 2, . . . , 𝑛.
(11)
Then
𝑠
𝐺𝑖 (𝑑, 𝑠) =
exp {∫𝑑 𝑏𝑖 (πœƒ) π‘‘πœƒ}
πœ”
exp {∫0 𝑏𝑖 (πœƒ) π‘‘πœƒ} − 1
,
𝑖 = 1, 2, . . . , 𝑛.
(8)
𝑑
(∫ (𝛽𝑖 (𝑠) π‘₯𝑖∗ (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖∗ (𝑠 − πœŽπ‘– (𝑠)))
0
The converse is also true.
𝑠
πœ”
0
0
× exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} 𝑑𝑠 + πœ“π‘– (0)) exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ}
Proof. By (4), (5), and the variation constants formula in
ordinary differential equations, we have
𝑑+πœ”
= (∫
0
𝑑
𝑠
𝑒𝑖 (𝑑) = (∫ (𝛽𝑖 (𝑠) π‘₯𝑖 (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖 (𝑠 − πœŽπ‘– (𝑠)))
× exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} 𝑑𝑠 + πœ“π‘– (0))
0
0
𝑠
× exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} 𝑑𝑠 + πœ“π‘– (0))
0
𝑑
× exp {− ∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} ,
0
(𝛽𝑖 (𝑠) π‘₯𝑖∗ (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖∗ (𝑠 − πœŽπ‘– (𝑠)))
(9)
𝑑
= ∫ (𝛽𝑖 (𝑠) π‘₯𝑖∗ (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖∗ (𝑠 − πœŽπ‘– (𝑠)))
0
𝑖 = 1, 2, . . . , 𝑛.
𝑠
× exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} 𝑑𝑠 + πœ“π‘– (0)
0
4
International Journal of Differential Equations
+∫
𝑑+πœ”
𝑑
By a direct calculation, we have
(𝛽𝑖 (𝑠) π‘₯𝑖∗ (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖∗ (𝑠 − πœŽπ‘– (𝑠)))
𝑠
× exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} 𝑑𝑠,
𝑑𝑒∗ (𝑑)
𝑑𝑑
𝑖 = 1, 2, . . . , 𝑛,
0
(12)
= −𝑏𝑖 (𝑑) ∫
𝑑+πœ”
𝑑
(𝛽𝑖 (𝑠) π‘₯𝑖∗ (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖∗ (𝑠 − πœŽπ‘– (𝑠)))
𝑠
which implies
×
𝑑
(∫ (𝛽𝑖 (𝑠) π‘₯𝑖∗ (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖∗ (𝑠 − πœŽπ‘– (𝑠)))
𝑠
0
𝑑
𝑑+πœ”
(13)
(𝛽𝑖 (𝑠) π‘₯𝑖∗ (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖∗ (𝑠 − πœŽπ‘– (𝑠)))
𝑠
× exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} 𝑑𝑠,
0
×
exp {∫𝑑
That is,
𝑏𝑖 (πœƒ) π‘‘πœƒ}
πœ”
exp {∫0 𝑏𝑖 (πœƒ) π‘‘πœƒ} − 1
1
πœ”
exp {∫0 𝑏𝑖 (πœƒ) π‘‘πœƒ} − 1
= −𝑏𝑖 (𝑑) 𝑒𝑖 (𝑑) + 𝛽𝑖 (𝑑) π‘₯𝑖∗ (𝑑) + 𝛾𝑖 (𝑑) π‘₯𝑖∗ (𝑑 − πœŽπ‘– (𝑑)) ,
𝑑
∫ (𝛽𝑖 (𝑠) π‘₯𝑖∗ (𝑠) + 𝛾𝑖 (𝑖) π‘₯𝑖∗ (𝑠 − πœŽπ‘– (𝑠)))
𝑖 = 1, 2, . . . , 𝑛.
0
𝑠
× exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} 𝑑𝑠 + πœ“π‘– (0)
This completes the proof.
0
It is easy to see that system (7) is equivalent to the following system:
𝑑
= 𝑒𝑖∗ (𝑑) exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ}
0
=
𝑑+πœ”
π‘’π‘πœ” − 1
∫
𝑑
(𝛽𝑖 (𝑠) π‘₯𝑖∗
(17)
− (𝛽𝑖 (𝑑) π‘₯𝑖∗ (𝑑) + 𝛾𝑖 (𝑑) π‘₯𝑖∗ (𝑑 − πœŽπ‘– (𝑑)))
𝑖 = 1, 2, . . . , 𝑛.
×
1
𝑑𝑠
+𝛾𝑖 (𝑑 + πœ”) π‘₯𝑖∗ (𝑑 + πœ” − πœŽπ‘– (𝑑 + πœ”)))
× exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} 𝑑𝑠 + πœ“π‘– (0)) (π‘’π‘πœ” − 1)
𝑑+πœ”
πœ”
exp {∫0 𝑏𝑖 (πœƒ) π‘‘πœƒ} − 1
+ (𝛽𝑖 (𝑑 + πœ”) π‘₯𝑖∗ (𝑑 + πœ”)
0
=∫
exp {∫𝑑 𝑏𝑖 (πœƒ) π‘‘πœƒ}
(𝑠) +
𝛾𝑖 (𝑠) π‘₯𝑖∗
𝑠
× exp {∫ 𝑏𝑖 (πœƒ) π‘‘πœƒ} 𝑑𝑠,
0
2
π‘š
𝑗=1
𝑙=1
π‘₯𝑖̇ (𝑑) = π‘₯𝑖 (𝑑) (π‘Ÿπ‘– (𝑑) − ∑(−1)𝑖+𝑗 ∑π‘Žπ‘–π‘—π‘™ (𝑑) π‘₯𝑗 (𝑑 − πœπ‘–π‘—π‘™ (𝑑)))
(𝑠 − πœŽπ‘– (𝑠)))
− 𝑑𝑖 (𝑑) 𝑒𝑖 (𝑑) − 𝑒𝑖 (𝑑) 𝑒𝑖 (𝑑 − πœ€π‘– (𝑑)) ,
𝑖 = 1, 2, . . . , 𝑛.
𝑒𝑖 (𝑑) = ∫
(14)
𝑑+πœ”
𝑑
𝐾 (π‘₯𝑖 ) 𝐺𝑖 (𝑑, 𝑠) 𝑑𝑠,
𝑖 = 1, 2, . . . , 𝑛,
(18)
Hence
𝑒𝑖∗
(𝑑) = ∫
𝑑+πœ”
𝑑
where
(𝛽𝑖 (𝑠) π‘₯𝑖∗
(𝑠) +
𝛾𝑖 (𝑠) π‘₯𝑖∗
𝑠
(𝑠 − πœŽπ‘– (𝑠)))
𝐺𝑖 (𝑑, 𝑠) =
𝑠
×
exp {∫𝑑 𝑏𝑖 (πœƒ) π‘‘πœƒ}
πœ”
exp {∫0 𝑏𝑖 (πœƒ) π‘‘πœƒ} − 1
𝑑𝑠,
𝑖 = 1, 2, . . . , 𝑛.
𝑑+πœ”
𝑑
(𝛽𝑖 (𝑠) π‘₯𝑖∗ (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖∗ (𝑠 − πœŽπ‘– (𝑠)))
×
exp {∫𝑑 𝑏𝑖 (πœƒ) π‘‘πœƒ}
πœ”
exp {∫0 𝑏𝑖 (πœƒ) π‘‘πœƒ} − 1
𝑑𝑠,
𝑖 = 1, 2, . . . , 𝑛.
(16)
,
𝐾 (π‘₯𝑖 ) = 𝛽𝑖 (𝑠) π‘₯𝑖 (𝑠) + 𝛾𝑖 (𝑠) π‘₯𝑖 (𝑠 − πœŽπ‘– (𝑠)) ,
(19)
𝑖 = 1, 2, . . . , 𝑛.
It is clear that in order to prove that systems (4) and (5) have
at least one πœ”-periodic solution, we only need to prove that
system (18) has at least one πœ”-periodic solution.
Now, for convenience of statements we denote the functions
π‘š
𝑠
πœ”
exp {∫0 𝑏𝑖 (πœƒ) π‘‘πœƒ} − 1
(15)
On the other hand, assume that (π‘₯1∗ (𝑑), π‘₯2∗ (𝑑), . . . , π‘₯𝑛∗ (𝑑), 𝑒1∗ (𝑑),
𝑒2∗ (𝑑),. . . , 𝑒𝑛∗ (𝑑)) is an πœ”-periodic solution of system (7), then
𝑒𝑖∗ (𝑑) = ∫
exp {∫𝑑 𝑏𝑖 (πœƒ) π‘‘πœƒ}
π‘Žπ‘–π‘— (𝑑) = ∑π‘Žπ‘–π‘—π‘™ (𝑑) ,
𝑖, 𝑗 = 1, 2, . . . , 𝑛.
(20)
𝑙=1
The following theorem is about the existence of positive
periodic solutions of system (4).
International Journal of Differential Equations
5
Theorem 4. Suppose that assumption (H1) holds and there
exists a constant πœƒπ‘– > 0, πœπ‘– > 0, 𝑖 = 1, 2, . . . , 𝑛, such that
𝐢(𝑅, 𝑅𝑛 ) denote the space of all continuous functions 𝑦(𝑑) =
(𝑦1 (𝑑), 𝑦2 (𝑑), . . . , 𝑦𝑛 (𝑑)) : 𝑅 → 𝑅𝑛 . We take
𝑋=𝑍
𝑛
}
{π‘š
min {∑ [𝛿𝑖𝑖𝑙 (𝑑) πœƒπ‘– − ∑ 𝛿𝑗𝑖𝑙 (𝑑) πœƒπ‘— ]} =: πœπ‘– > 0,
𝑑∈[0,πœ”]
𝑗 =ΜΈ 𝑖
]}
{𝑙=1 [
(21)
𝑖 = 1, 2, . . . , 𝑛,
= {𝑦 (𝑑) ∈ 𝐢 (𝑅, 𝑅𝑛 ) : 𝑦 (𝑑) is an πœ”-periodic function} ,
(28)
with norm
𝑛
σ΅„©σ΅„© σ΅„©σ΅„©
󡄨
󡄨
󡄩󡄩𝑦󡄩󡄩 = ∑ max 󡄨󡄨󡄨𝑦𝑖 (𝑑)󡄨󡄨󡄨 .
𝑑∈[0,πœ”]
where
𝛿𝑖𝑗𝑙 (𝑑) =
π‘Žπ‘–π‘—π‘™ (πœ‘π‘–π‘—π‘™ (𝑑))
σΈ€  (πœ‘
1 − πœπ‘–π‘—π‘™
𝑖𝑗𝑙 (𝑑))
,
(22)
𝑖, 𝑗 = 1, 2, . . . , 𝑛, 𝑙 = 1, 2, . . . , π‘š,
It is obvious that 𝑋 and 𝑍 are the Banach spaces. We define
a linear operator 𝐿 : Dom 𝐿 ⊂ 𝑋 → 𝑍 and a continuous
operator 𝑁 : 𝑋 → 𝑍 as follows:
𝐿𝑦 (𝑑) = 𝑦̇ (𝑑) ,
and the algebraic equation
𝑁𝑦 (𝑑) = (𝑁𝑦1 (𝑑) , 𝑁𝑦2 (𝑑) , . . . , 𝑁𝑦𝑛 (𝑑)) ,
𝑛
π‘Ÿπ‘– − 𝐻𝑖 − π‘Žπ‘–π‘– V𝑖 + ∑ π‘Žπ‘–π‘— V𝑗 = 0,
(29)
𝑖=1
𝑖 = 1, 2, . . . , 𝑛,
𝑗 =ΜΈ 𝑖
(30)
where
(23)
π‘š
𝑁𝑦𝑖 (𝑑) = π‘Ÿπ‘– (𝑑) − ∑π‘Žπ‘–π‘–π‘™ (𝑑) exp {𝑦𝑖 (𝑑 − πœπ‘–π‘–π‘™ (𝑑))}
𝑙=1
where
𝑛
+ ∑ ∑π‘Žπ‘–π‘—π‘™ (𝑑) exp {𝑦𝑗 (𝑑 − πœπ‘–π‘—π‘™ (𝑑))}
πœ”
𝐻𝑖 = ∫ (𝛽𝑖 (𝑠) + 𝛾𝑖 (𝑠))
𝑗 =ΜΈ 𝑖 𝑙=1
0
× π‘’π‘– (𝑑) 𝑒𝑖 (𝑑 − πœ€π‘– (𝑑)) .
𝑖 = 1, 2, . . . , 𝑛,
(24)
has a unique positive solution. Then system (4) has at least one
positive πœ”-periodic solution.
Proof. For system (18) we introduce new variables 𝑦𝑖 (𝑑) (𝑖 =
1, 2, . . . , 𝑛) such that
𝑖 = 1, 2, . . . , 𝑛.
(25)
π‘š
𝑗=1
𝑙=1
𝑦𝑖̇ (𝑑) = π‘Ÿπ‘– (𝑑) − ∑ (−1)𝑖+𝑗 ∑π‘Žπ‘–π‘—π‘™ (𝑑) exp {𝑦𝑗 (𝑑 − πœπ‘–π‘—π‘™ (𝑑))}
− exp {−𝑦𝑖 (𝑑)} 𝑑𝑖 (𝑑) π‘ˆπ‘– (𝑑) ,
(26)
− exp {−𝑦𝑖 (𝑑)} 𝑒𝑖 (𝑑) π‘ˆπ‘– (𝑑 − πœ€π‘– (𝑑))
π‘ˆπ‘– (𝑑) = ∫
𝑑+πœ”
𝑑
𝐾 (𝑒𝑦𝑖 ) 𝐺𝑖 (𝑑, 𝑠) 𝑑𝑠,
Further, we define continuous projectors 𝑃 : 𝑋 → 𝑋 and
𝑄 : 𝑍 → 𝑍 as follows:
𝑃𝑦 (𝑑) =
1 πœ”
∫ 𝑦 (𝑑) 𝑑𝑑,
πœ” 0
𝑄V (𝑑) =
1 πœ”
∫ V (𝑑) 𝑑𝑑.
πœ” 0
(32)
πœ”
We easily see Im 𝐿 = {V ∈ 𝑍 : ∫0 V(𝑑)𝑑𝑑 = 0} and Ker 𝐿 = 𝑅𝑛 .
It is obvious that Im 𝐿 is closed in 𝑍 and dimKer 𝐿 = 𝑛. Since
for any V ∈ 𝑍 there are unique V1 ∈ 𝑅𝑛 and V2 ∈ Im 𝐿 with
1 πœ”
(33)
V2 (𝑑) = V (𝑑) − V1 ,
∫ V (𝑑) 𝑑𝑑,
πœ” 0
such that V(𝑑) = V1 + V2 (𝑑), we have codimIm 𝐿 = 𝑛. Therefore,
𝐿 is a Fredholm mapping of index zero. Furthermore, the
generalized inverse (to 𝐿) 𝐾𝑝 : Im 𝐿 → Ker 𝑃 ∩ Dom 𝐿 is
given in the following form:
V1 =
Then system (18) is rewritten in the following form:
2
(31)
− exp {−𝑦𝑖 (𝑑)} 𝑑𝑖 (𝑑) 𝑒𝑖 (𝑑) − exp {−𝑦𝑖 (𝑑)}
× (𝑑𝑖 (𝑑) 𝐺𝑖 (𝑑, 𝑠) + 𝑒𝑖 (𝑑) 𝐺𝑖 (𝑑 − πœ€π‘– (𝑑) , 𝑠)) 𝑑𝑠,
π‘₯𝑖 (𝑑) = exp {𝑦𝑖 (𝑑)} ,
π‘š
𝑖 = 1, 2,
𝑑
1 πœ” 𝑑
(34)
∫ ∫ V (𝑠) 𝑑𝑠 𝑑𝑑.
πœ” 0 0
0
For convenience, we denote 𝐹(𝑑) = (𝐹1 (𝑑), 𝐹2 (𝑑), . . . , 𝐹𝑛 (𝑑)) as
follows:
𝐾𝑝 V (𝑑) = ∫ V (𝑠) 𝑑𝑠 −
π‘š
𝐹𝑖 (𝑑) = π‘Ÿπ‘– (𝑑) − ∑π‘Žπ‘–π‘–π‘™ (𝑑) exp {𝑦𝑖 (𝑑 − πœπ‘–π‘–π‘™ (𝑑))}
where
𝑙=1
𝐾 (𝑒𝑦𝑖 ) = 𝛽𝑖 (𝑠) exp {𝑦𝑖 (𝑠)} + 𝛾𝑖 (𝑠) exp {𝑦𝑖 (𝑠 − πœŽπ‘– (𝑠))} ,
𝑖 = 1, 2.
(27)
In order to apply Lemma 2 to system (26), we introduce the normed vector spaces 𝑋 and 𝑍 as follows. Let
𝑛
π‘š
+ ∑ ∑π‘Žπ‘–π‘—π‘™ (𝑑) exp {𝑦𝑗 (𝑑 − πœπ‘–π‘—π‘™ (𝑑))}
𝑗 =ΜΈ 𝑖 𝑙=1
− exp {−𝑦𝑖 (𝑑)} 𝑑𝑖 (𝑑) 𝑒𝑖 (𝑑) − exp {−𝑦𝑖 (𝑑)}
× π‘’π‘– (𝑑) 𝑒𝑖 (𝑑 − πœ€π‘– (𝑑)) .
(35)
6
International Journal of Differential Equations
Thus, we have
×∫
𝑑−πœ€π‘– (𝑑)
1 πœ”
∫ 𝐹 (𝑑) 𝑑𝑑,
πœ” 0
𝑄𝑁𝑦 (𝑑) =
𝑑−πœ€π‘– (𝑑)+πœ”
𝐾 (𝑒𝑦𝑖 ) 𝐺𝑖 (𝑑 − πœ€π‘– (𝑑) , 𝑠) 𝑑𝑠 𝑑𝑑
πœ”
𝑑+πœ”
0
𝑑
+ ∫ 𝑑𝑖 (𝑑) exp {−𝑦𝑖 (𝑑)} ∫
𝐾𝑝 (𝐼 − 𝑄) 𝑁𝑒 (𝑑) = 𝐾𝑝 𝐼𝑁𝑒 (𝑑) − 𝐾𝑝 𝑄𝑁𝑒 (𝑑)
(36)
1 πœ” 𝑑
= ∫ 𝐹 (𝑠) 𝑑𝑠 − ∫ ∫ 𝐹 (𝑠) 𝑑𝑠 𝑑𝑑
πœ” 0 0
0
𝐾 (𝑒𝑦𝑖 ) 𝐺𝑖 (𝑑, 𝑠) 𝑑𝑠 𝑑𝑑,
𝑖 = 1, 2, . . . , 𝑛.
(39)
𝑑
πœ”
1 𝑑
+ ( − ) ∫ 𝐹 (𝑠) 𝑑𝑠.
2 πœ” 0
From formulas (36), we easily see that 𝑄𝑁 and 𝐾𝑝 (𝐼 − 𝑄)𝑁
are continuous operators. Furthermore, it can be verified that
𝐾𝑝 (𝐼 − 𝑄)𝑁(Ω) is compact for any open bounded set Ω ⊂ 𝑋
by using the Arzela-Ascoli theorem and 𝑄𝑁(Ω) is bounded.
Therefore, 𝑁 is 𝐿-compact on Ω for any open bounded subset
Ω ⊂ 𝑋.
Now, we reach the position to search for an appropriate
open bounded subset Ω for the application of the continuation theorem (Lemma 2) to system (26).
Corresponding to the operator equation 𝐿𝑦(𝑑) = πœ†π‘π‘¦(𝑑)
with parameter πœ† ∈ (0, 1), we have
𝑦𝑖̇ (𝑑) = πœ†πΉπ‘– (𝑑) ,
𝑖 = 1, 2, . . . , 𝑛,
From the continuity of 𝑦(𝑑) = (𝑦1 (𝑑), 𝑦2 (𝑑), . . . , 𝑦𝑛 (𝑑)), there
exist constants πœ‰π‘– , πœ‚π‘– ∈ [0, πœ”] (𝑖 = 1, 2, . . . , 𝑛) such that
𝑦𝑖 (πœ‰π‘– ) = max 𝑦𝑖 (𝑑) ,
π‘š
0
𝑙=1
πœ”
π‘Ÿπ‘– πœ” ≤ ∫ π‘Žπ‘–π‘– (𝑑) exp {𝑦𝑖 (πœ‰π‘– )} 𝑑𝑑
0
+ ∫ 𝐴 𝑖 (𝑑) exp {𝑦𝑖 (πœ‰π‘– )} 𝑑𝑑,
where
𝐴 𝑖 (𝑑) = 𝑒𝑖 (𝑑) ∫
− 𝑒𝑖 (𝑑) exp {−𝑦𝑖 (𝑑)} ∫
𝑑−πœ€π‘– (𝑑)+πœ”
𝑑−πœ€π‘– (𝑑)
−𝑑𝑖 (𝑑) exp {−𝑦𝑖 (𝑑)} ∫
𝑑+πœ”
𝑑
𝐾 (𝑒𝑦𝑖 ) 𝐺𝑖 (𝑑 − πœ€π‘– (𝑑) , 𝑠) 𝑑𝑠
𝑑−πœ€π‘– (𝑑)
+ 𝑑𝑖 (𝑑) ∫
𝑑+πœ”
𝑑
𝐺𝑖 (𝑑 − πœ€π‘– (𝑑) , 𝑠) (𝛽𝑖 (𝑠) + 𝛾𝑖 (𝑠)) 𝑑𝑠
𝐺𝑖 (𝑑, 𝑠) (𝛽𝑖 (𝑠) + 𝛾𝑖 (𝑠)) 𝑑𝑠,
𝑖 = 1, 2, . . . , 𝑛.
(42)
π‘Ÿπ‘–
π‘Žπ‘–π‘– + 𝐴𝑖
),
πœ”
0
πœ”−πœπ‘–π‘—π‘™ (πœ”)
=∫
−πœπ‘–π‘—π‘™ (0)
σΈ€  (πœ‘
1 − πœπ‘–π‘—π‘™
𝑖𝑗𝑙 (𝑑))
0
𝑙=1
+ ∫ 𝑒𝑖 (𝑑) exp {−𝑦𝑖 (𝑑)}
exp {𝑦𝑖 (𝑑)} 𝑑𝑑.
One can see that
σΈ€  (πœ‘
1 − πœπ‘–π‘—π‘™
𝑖𝑗𝑙 (𝑑))
π‘š
= ∫ [∑π‘Žπ‘–π‘–π‘™ (𝑑) exp {𝑦𝑖 (𝑑 − πœπ‘–π‘–π‘™ (𝑑))}] 𝑑𝑑
(44)
π‘Žπ‘–π‘—π‘™ (πœ‘π‘–π‘—π‘™ (𝑑))
π‘Žπ‘–π‘—π‘™ (πœ‘π‘–π‘—π‘™ (𝑑))
π‘š
(43)
∫ π‘Žπ‘–π‘—π‘™ (𝑑) exp {𝑦𝑖 (𝑑 − πœπ‘–π‘—π‘™ (𝑑))} 𝑑𝑑
Consequently,
π‘Ÿπ‘– πœ” + ∫ [ ∑ ∑π‘Žπ‘–π‘—π‘™ (𝑑) exp {𝑦𝑗 (𝑑 − πœπ‘–π‘—π‘™ (𝑑))}] 𝑑𝑑
0
]
[𝑗 =ΜΈ 𝑖 𝑙=1
𝑖 = 1, 2, . . . , 𝑛.
Let 𝑠𝑖𝑗𝑙 (𝑑) = 𝑑 − πœπ‘–π‘—π‘™ (𝑑) (𝑖, 𝑗 = 1, 2, . . . , 𝑛, 𝑙 = 1, 2, . . . , π‘š);
then from Lemma 1 and (H1) we get that function 𝑠𝑖𝑗𝑙 (𝑑) has
a unique πœ” periodic inverse function πœ‘π‘–π‘—π‘™ (𝑑); then, for every
𝑖, 𝑗 = 1, 2, . . . , 𝑛, 𝑙 = 1, 2, . . . , π‘š, we have
𝐾 (𝑒𝑦𝑖 ) 𝐺𝑖 (𝑑, 𝑠) 𝑑𝑠] 𝑑𝑑 = 0,
𝑖 = 1, 2, . . . , 𝑛.
(38)
0
𝑑−πœ€π‘– (𝑑)+πœ”
𝑦𝑖 (πœ‰π‘– ) ≥ ln (
𝑗 =ΜΈ 𝑖 𝑙=1
πœ”
𝑖 = 1, 2, . . . , 𝑛,
0
Therefore, we further have
+ ∑ ∑π‘Žπ‘–π‘—π‘™ (𝑑) exp {𝑦𝑗 (𝑑 − πœπ‘–π‘—π‘™ (𝑑))}
πœ”
(41)
πœ”
(37)
𝑛 π‘š
𝑛
(40)
By (39) and (40) we obtain
∫ [π‘Ÿπ‘– (𝑑) − ∑π‘Žπ‘–π‘–π‘™ (𝑑) exp {𝑦𝑖 (𝑑 − πœπ‘–π‘–π‘™ (𝑑))}
πœ”
𝑑∈[0,πœ”]
𝑖 = 1, 2, . . . , 𝑛.
where 𝐹𝑖 (𝑑) (𝑖 = 1, 2, . . . , 𝑛) are given in (35).
Assume that 𝑦(𝑑) = (𝑦1 (𝑑), 𝑦2 (𝑑), . . . , 𝑦𝑛 (𝑑)) ∈ 𝑋 is a
solution of system (37) for some parameter πœ† ∈ (0, 1). By
integrating system (37) over the interval [0, πœ”], we obtain
πœ”
𝑦𝑖 (πœ‚π‘– ) = min 𝑦𝑖 (𝑑)
𝑑∈[0,πœ”]
=: 𝛿𝑖𝑗𝑙 (𝑑) ,
(45)
𝑖, 𝑗 = 1, 2, . . . , 𝑛, 𝑙 = 1, 2, . . . , π‘š,
are πœ” periodic functions. Then, for every 𝑖, 𝑗 = 1, 2, . . . , 𝑛, 𝑙 =
1, 2, . . . , π‘š, we have
πœ”
πœ”
0
0
∫ π‘Žπ‘–π‘—π‘™ (𝑑) exp {𝑦𝑖 (𝑑 − πœπ‘–π‘—π‘™ (𝑑))} 𝑑𝑑 = ∫ 𝛿𝑖𝑗𝑙 (𝑑) exp {𝑦𝑖 (𝑑)} 𝑑𝑑.
(46)
International Journal of Differential Equations
7
From (39) and (46) we further obtain
On the other hand, directly from system (26) we have
πœ”
𝑛
πœ”
π‘š
0
𝑙=1
󡄨
󡄨
∫ 󡄨󡄨󡄨𝑦𝑖̇ (𝑑)󡄨󡄨󡄨 𝑑𝑑
0
∑ (∫ (∑𝛿𝑖𝑖𝑙 (𝑑) exp {𝑦𝑖 (𝑑)}
𝑖=1
πœ”
+ 𝑑𝑖 (𝑑) exp {−𝑦𝑖 (𝑑)} ∫
𝑑+πœ”
𝑑
󡄨
󡄨
≤ ∫ σ΅„¨σ΅„¨σ΅„¨π‘Ÿπ‘– (𝑑)󡄨󡄨󡄨 𝑑𝑑
0
𝐾 (𝑒𝑦𝑖 ) 𝐺𝑖 (𝑑, 𝑠) 𝑑𝑠
+ 𝑒𝑖 (𝑑) exp {−𝑦𝑖 (𝑑)}
×∫
𝑑−πœ€π‘– (𝑑)+πœ”
𝑑−πœ€π‘– (𝑑)
πœ”
π‘š
0
𝑙=1
+ ∫ (∑π‘Žπ‘–π‘–π‘™ (𝑑) exp {𝑦𝑖 (𝑑 − πœπ‘–π‘–π‘™ (𝑑))}
𝑛
𝐾 (𝑒𝑦𝑖 ) 𝐺𝑖 (𝑑 − πœ€π‘– (𝑑) , 𝑠) 𝑑𝑠) 𝑑𝑑)
π‘š
+ ∑ ∑π‘Žπ‘–π‘—π‘™ (𝑑) exp {𝑦𝑗 (𝑑 − πœπ‘–π‘—π‘™ (𝑑))}) 𝑑𝑑
𝑗 =ΜΈ 𝑖 𝑙=1
𝑛
𝑛
πœ”
π‘š
πœ”
󡄨
󡄨
≤ ∫ σ΅„¨σ΅„¨σ΅„¨π‘Ÿπ‘– (𝑑)󡄨󡄨󡄨 𝑑𝑑
0
= ∑ (π‘Ÿπ‘– πœ” + ∫ [ ∑ ∑𝛿𝑖𝑗𝑙 (𝑑) exp {𝑦𝑗 (𝑑)}] 𝑑𝑑) .
0
𝑖=1
]
[𝑗 =ΜΈ 𝑖 𝑙=1
(47)
πœ” π‘š
𝑛
0 𝑙=1
𝑗 =ΜΈ 𝑖
+ ∫ ∑ (𝛿𝑖𝑖𝑙 (𝑑) + ∑ 𝛿𝑗𝑖𝑙 (𝑑)) exp {𝑦𝑖 (𝑑)} 𝑑𝑑
From the above equality we have
𝑛
π‘š
πœ”
𝑛
πœ”
πœ”
󡄨
󡄨
≤ ∫ σ΅„¨σ΅„¨σ΅„¨π‘Ÿπ‘– (𝑑)󡄨󡄨󡄨 𝑑𝑑 + 𝐷𝑖𝑀 ∫ exp {𝑦𝑖 (𝑑)} 𝑑𝑑
0
0
𝐷𝑀 ∑ 𝑛 π‘Ÿ πœ”
󡄨 󡄨
≤ σ΅„¨σ΅„¨σ΅„¨π‘Ÿπ‘– 󡄨󡄨󡄨 πœ” + 𝑖 𝑖=1 𝑖 ,
πœπ‘–
π‘š
∑ (∫ [∑𝛿𝑖𝑖𝑙 (𝑑) − ∑ ∑𝛿𝑗𝑖𝑙 (𝑑)] exp {𝑦𝑖 (𝑑)} 𝑑𝑑)
0
𝑖=1
𝑗 =ΜΈ 𝑖 𝑙=1
[𝑙=1
]
𝑖 = 1, 2, . . . , 𝑛,
(52)
𝑛
≤ ∑π‘Ÿπ‘– πœ”,
where
𝑖=1
π‘š
πœ”
(48)
𝑛
π‘š
∫ [∑𝛿𝑖𝑖𝑙 (𝑑) − ∑ ∑𝛿𝑗𝑖𝑙 (𝑑)] exp {𝑦𝑖 (𝑑)} 𝑑𝑑
0
𝑗 =ΜΈ 𝑖 𝑙=1
[𝑙=1
]
𝑛
≤ ∑π‘Ÿπ‘– πœ”,
π‘š
𝑛
𝑙=1
𝑗 =ΜΈ 𝑖
𝐷𝑖 (𝑑) = ∑ (𝛿𝑖𝑖𝑙 (𝑑) + ∑ 𝛿𝑗𝑖𝑙 (𝑑)) ,
𝑖 = 1, 2, . . . , 𝑛.
(53)
From (43), (51), and (52), we have for any 𝑑 ∈ [0, πœ”]
𝑖 = 1, 2, . . . , 𝑛.
𝑖=1
πœ”
From the assumptions of Theorem 4 and (48) we can obtain
πœ”
𝑛
πœπ‘– ∫ exp {𝑦𝑖 (𝑑)} 𝑑𝑑 ≤ ∑π‘Ÿπ‘– πœ”,
0
󡄨
󡄨
𝑦𝑖 (𝑑) ≤ 𝑦𝑖 (πœ‚π‘– ) + ∫ 󡄨󡄨󡄨𝑦𝑖̇ (𝑑)󡄨󡄨󡄨 𝑑𝑑
0
≤ ln (
𝑖 = 1, 2, . . . , 𝑛.
∑𝑛𝑖=1 π‘Ÿπ‘–
𝐷𝑀 ∑𝑛 π‘Ÿ πœ”
(54)
󡄨 󡄨
) + σ΅„¨σ΅„¨σ΅„¨π‘Ÿπ‘– 󡄨󡄨󡄨 πœ” + 𝑖 𝑖=1 𝑖 =: 𝑀𝑖 ,
πœπ‘–
πœπ‘–
(49)
𝑖 = 1, 2, . . . , 𝑛,
𝑖=1
πœ”
󡄨
󡄨
𝑦𝑖 (𝑑) ≥ 𝑦𝑖 (πœ‰π‘– ) − ∫ 󡄨󡄨󡄨𝑦𝑖̇ (𝑑)󡄨󡄨󡄨 𝑑𝑑
0
Consequently,
πœ”
∫ exp {𝑦𝑖 (𝑑)} 𝑑𝑑 ≤
0
∑𝑛𝑖=1 π‘Ÿπ‘– πœ”
,
πœπ‘–
≥ ln (
𝑖 = 1, 2, . . . , 𝑛.
(50)
𝑖 = 1, 2, . . . , 𝑛.
(55)
From (40) and (50), we further obtain
∑𝑛 π‘Ÿ
𝑦𝑖 (πœ‚π‘– ) ≤ ln ( 𝑖=1 𝑖 ) ,
πœπ‘–
𝐷𝑀 ∑𝑛 π‘Ÿ πœ”
󡄨 󡄨
) − σ΅„¨σ΅„¨σ΅„¨π‘Ÿπ‘– 󡄨󡄨󡄨 πœ” − 𝑖 𝑖=1 𝑖 =: 𝑁𝑖 ,
πœπ‘–
π‘Žπ‘–π‘– + 𝐴𝑖
π‘Ÿπ‘–
𝑖 = 1, 2, . . . , 𝑛.
Therefore, from (54) and (55), we have
(51)
󡄨 󡄨 󡄨 󡄨
󡄨
󡄨
max 󡄨󡄨󡄨𝑦𝑖 (𝑑)󡄨󡄨󡄨 ≤ max {󡄨󡄨󡄨𝑀𝑖 󡄨󡄨󡄨 , 󡄨󡄨󡄨𝑁𝑖 󡄨󡄨󡄨} =: 𝐡𝑖 ,
𝑑∈[0,πœ”]
𝑖 = 1, 2, . . . , 𝑛.
(56)
8
International Journal of Differential Equations
It can be seen that the constants 𝐡𝑖 (𝑖 = 1, 2, . . . , 𝑛) are
independent of parameter πœ† ∈ (0, 1). For any 𝑦 =
(𝑦1 , 𝑦2 , . . . , 𝑦𝑛 ) ∈ 𝑅𝑛 , from (31) we can obtain
𝑄𝑁𝑦 = (𝑄𝑁𝑦1 , 𝑄𝑁𝑦2 , . . . , 𝑄𝑁𝑦𝑛 )
𝑛
𝑄𝑁𝑦𝑖 = π‘Ÿπ‘– − 𝐻𝑖 − π‘Žπ‘–π‘– exp {𝑦𝑖 } + ∑ π‘Žπ‘–π‘— exp {𝑦𝑗 } ,
𝑗 =ΜΈ 𝑖
𝑖 = 1, 2, . . . , 𝑛,
𝐻𝑖 (𝑑) = ∫ (𝛽𝑖 (𝑠) + 𝛾𝑖 (𝑠)) (𝑑𝑖 (𝑑) 𝐺𝑖 (𝑑, 𝑠))
0
𝑖 = 1, 2, . . . , 𝑛.
We consider the following algebraic equation:
𝑛
π‘Ÿπ‘– − 𝐻𝑖 − π‘Žπ‘–π‘– V𝑖 + ∑ π‘Žπ‘–π‘— V𝑗 = 0,
𝑖 = 1, 2, . . . , 𝑛.
𝑗 =ΜΈ 𝑖
(58)
From the assumption of Theorem 4, the equation has
a unique positive solution V∗ = (V1∗ , V2∗ , . . . , V𝑛∗ ). Hence,
the equation 𝑄𝑁𝑦 = 0 has a unique solution 𝑦∗ =
(𝑦1∗ , 𝑦2∗ , . . . , 𝑦𝑛∗ ) = (ln V1∗ , ln V2∗ , . . . , ln V𝑛∗ ) ∈ 𝑅𝑛 .
Choosing constant 𝐡 > 0 large enough such that |𝑦1∗ | +
|𝑦2∗ | + ⋅ ⋅ ⋅ + |𝑦𝑛∗ | < 𝐡 and 𝐡 > 𝐡1 + 𝐡2 + ⋅ ⋅ ⋅ + 𝐡𝑛 , we define a
bounded open set Ω ⊂ 𝑋 as follows:
σ΅„© σ΅„©
Ω = {𝑦 ∈ 𝑋 : 󡄩󡄩󡄩𝑦󡄩󡄩󡄩 < 𝐡} .
(59)
It is clear that Ω satisfies conditions (π‘Ž) and (𝑏) of Lemma 2.
On the other hand, by directly calculating we can obtain
deg {𝐽𝑄𝑁, Ω ∩ Ker 𝐿, (0, 0, . . . , 0)}
󡄨󡄨𝑓1
󡄨󡄨 𝑦1
󡄨󡄨
󡄨󡄨 2
󡄨
= sgn 󡄨󡄨󡄨𝑓𝑦1
󡄨󡄨
󡄨󡄨 ⋅ ⋅ ⋅
󡄨󡄨 𝑛
󡄨󡄨𝑓𝑦1
𝑓𝑦12 ⋅ ⋅ ⋅ 𝑓𝑦1𝑛 󡄨󡄨󡄨󡄨
󡄨󡄨
󡄨
2
2 󡄨󡄨󡄨
𝑓𝑦2 ⋅ ⋅ ⋅ 𝑓𝑦𝑛 󡄨󡄨 ,
󡄨
⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 󡄨󡄨󡄨
𝑛
𝑛 󡄨󡄨
𝑓𝑦2 ⋅ ⋅ ⋅ 𝑓𝑦𝑛 󡄨󡄨
(60)
where
𝑓𝑦𝑖 𝑗 = −π‘Žπ‘–π‘— exp {𝑦𝑗∗ } ,
𝑓𝑦𝑖 𝑗 = π‘Žπ‘–π‘— exp {𝑦𝑗∗ } ,
𝑖=𝑗
𝑖 =ΜΈ 𝑗 𝑖, 𝑗 = 1, 2, . . . , 𝑛.
From the assumption of Theorem 4, we have
󡄨󡄨𝑓1 𝑓1 ⋅ ⋅ ⋅ 𝑓1 󡄨󡄨
󡄨󡄨 𝑦1 𝑦2
𝑦𝑛 󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨
󡄨󡄨 2
󡄨󡄨𝑓 𝑓2 ⋅ ⋅ ⋅ 𝑓2 󡄨󡄨󡄨
𝑦𝑛 󡄨󡄨 =ΜΈ 0.
󡄨󡄨󡄨 𝑦1 𝑦2
󡄨󡄨 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 󡄨󡄨󡄨
󡄨
󡄨󡄨 𝑛 𝑛
󡄨󡄨𝑓 𝑓 ⋅ ⋅ ⋅ 𝑓𝑛 󡄨󡄨󡄨
󡄨 𝑦1 𝑦2
𝑦𝑛 󡄨
(61)
(62)
From this, we finally have
deg {𝐽𝑄𝑁, Ω ∩ Ker 𝐿, (0, 0, . . . , 0)} =ΜΈ 0.
This work was supported by the Natural Science Foundation
of Xinjiang (Grants no. 2012223177, 200721104) and the
National Natural Science Foundation of China (Grants no.
10661010, 11261061).
References
(57)
πœ”
+ 𝑒𝑖 (𝑑) 𝐺𝑖 (𝑑 − πœ€π‘– (𝑑) , 𝑠) 𝑑𝑠,
Acknowledgments
(63)
This shows that Ω satisfies condition (𝑐) of Lemma 2.
Therefore, system (26) has an πœ”-periodic solution 𝑦∗ (𝑑) =
(𝑦1∗ (𝑑), 𝑦2∗ (𝑑), . . . , 𝑦𝑛∗ (𝑑)) ∈ Ω. Finally, we have system that
(4) has a positive πœ”-periodic solution. This completes the
proof.
[1] X. Song and L. Chen, “Persistence and global stability for
nonautonomous predator-prey system with diffusion and time
delay,” Computers and Mathematics with Applications, vol. 35,
no. 6, pp. 33–40, 1998.
[2] Y. Pinghua and X. Rui, “Global attractivity of the periodic
Lotka-Volterra system,” Journal of Mathematical Analysis and
Applications, vol. 233, no. 1, pp. 221–232, 1999.
[3] F. Wei, Y. Lin, L. Que, Y. Chen, Y. Wu, and Y. Xue, “Periodic
solution and global stability for a nonautonomous competitive
Lotka-Volterra diffusion system,” Applied Mathematics and
Computation, vol. 216, no. 10, pp. 3097–3104, 2010.
[4] R. Tan, Z. Liu, and R. A. Cheke, “Periodicity and stability
in a single-species model governed by impulsive differential
equation,” Applied Mathematical Modelling, vol. 36, no. 3, pp.
1085–1094, 2012.
[5] K. Deimling, Nonlinear Functional Analysis, Springer, Beijing,
China, 1988.
[6] Y. Xiao, W. Wang, and J. Chen, “Permanence and periodic solution of nonautonomous delay Lotka-Volterra diffusion system,”
Systems Science and Mathematical Sciences, vol. 12, no. 4, pp.
344–349, 1999.
[7] T. Zhidong, “The almost periodic Kolmogorov competitive
systems,” Nonlinear Analysis: Theory, Methods and Applications,
vol. 42, no. 7, pp. 1221–1230, 2000.
[8] F. Chen, “On the periodic solutions of periodic multi-species
Kolmogorov type competitive system with delays and feedback
controls,” Applied Mathematics and Computation, vol. 180, no. 1,
pp. 366–373, 2006.
[9] K. Deimling, Nonlinear Functional Analysis, Springer, New
York, NY, USA, 1985.
[10] M. A. Krasnoselskii, Positive Solutions of Operator Equations, P.
Noordhoff, Groningen, The Netherlands, 1964.
[11] D. J. Guo and V. Lakshmikantham, Nonlinear Problems in
Abstract Cones, vol. 5, Academic Press, New York, NY, USA,
1988.
[12] J. Yan, “Global positive periodic solutions of periodic 𝑛-species
competition systems,” Journal of Mathematical Analysis and
Applications, vol. 356, no. 1, pp. 288–294, 2009.
[13] W. Yan and J. Yan, “Periodicity and asymptotic stability of
a predator-prey system with infinite delays,” Computers and
Mathematics with Applications, vol. 60, no. 5, pp. 1465–1472,
2010.
[14] J. Yan and G. Liu, “Periodicity and stability for a LotkaVolterra type competition system with feedback controls and
deviating arguments,” Nonlinear Analysis: Theory, Methods and
Applications, vol. 74, no. 9, pp. 2916–2928, 2011.
[15] W. A. Horn, “Some fixed point theorems for compact maps
and flows in Banach spaces,” Transactions of the American
Mathematical Society, vol. 149, pp. 391–404, 1970.
[16] Z. D. Teng and L. S. Chen, “The positive periodic solutions
of periodic Kolmogorov type systems with delays,” Acta Mathematicae Applicatae Sinica, vol. 22, no. 3, pp. 446–456, 1999
(Chinese).
International Journal of Differential Equations
[17] H.-F. Huo and W.-T. Li, “Positive periodic solutions of a class
of delay differential system with feedback control,” Applied
Mathematics and Computation, vol. 148, no. 1, pp. 35–46, 2004.
[18] P. Weng, “Existence and global stability of positive periodic
solution of periodic integrodifferential systems with feedback
controls,” Computers and Mathematics with Applications, vol.
40, no. 6-7, pp. 747–759, 2000.
[19] F. Yang and D. Jiang, “Existence and global attractivity of
positive periodic solution of a logistic growth system with feedback control and deviating arguments,” Annals of Differential
Equations, vol. 17, no. 4, pp. 377–384, 2001.
[20] Y. Li, P. Liu, and L. Zhu, “Positive periodic solutions of a
class of functional differential systems with feedback controls,”
Nonlinear Analysis: Theory, Methods and Applications, vol. 57,
no. 5-6, pp. 655–666, 2004.
[21] F. Chen, “Positive periodic solutions of neutral Lotka-Volterra
system with feedback control,” Applied Mathematics and Computation, vol. 162, no. 3, pp. 1279–1302, 2005.
[22] 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.
[23] 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.
[24] H.-F. Huo and W.-T. Li, “Positive periodic solutions of a class
of delay differential system with feedback control,” Applied
Mathematics and Computation, vol. 148, no. 1, pp. 35–46, 2004.
[25] H. Fang and Y. Xiao, “Existence of multiple periodic solutions
for delay Lotka-Volterra competition patch systems with harvesting,” Applied Mathematical Modelling, vol. 33, no. 2, pp.
1086–1096, 2009.
[26] G. Lin and Y. Hong, “Periodic solutions to non autonomous
predator prey system with delays,” Nonlinear Analysis: Real
World Applications, vol. 10, no. 3, pp. 1589–1600, 2009.
[27] S. Lu, “On the existence of positive periodic solutions to a Lotka
Volterra cooperative population model with multiple delays,”
Nonlinear Analysis: Theory, Methods and Applications, vol. 68,
no. 6, pp. 1746–1753, 2008.
[28] J. Shen and J. Li, “Existence and global attractivity of positive
periodic solutions for impulsive predator-prey model with
dispersion and time delays,” Nonlinear Analysis: Real World
Applications, vol. 10, no. 1, pp. 227–243, 2009.
[29] F. Yin and Y. Li, “Positive periodic solutions of a single species
model with feedback regulation and distributed time delay,”
Applied Mathematics and Computation, vol. 153, no. 2, pp. 475–
484, 2004.
[30] A. Muhammadhaji and Z. Teng, “Positive periodic solutions
of n-species Lotka-Volterra cooperative systems with delays,”
Vietnam Journal of Mathematics, vol. 40, no. 4, pp. 453–467,
2012.
[31] A. Muhammadhaji and Z. Teng, “Global attractivity of a
periodic delayed N-species model of facultative mutualism,”
Discrete Dynamics in Nature and Society, vol. 2013, Article ID
580185, 11 pages, 2013.
[32] M. Kouche, N. Tatar, and S. Liu, “Permanence and existence of a
positive periodic solution to a periodic stage-structured system
with infinite delay,” Applied Mathematics and Computation, vol.
202, no. 2, pp. 620–638, 2008.
9
[33] L. Zhang, H.-X. Li, and X.-B. Zhang, “Periodic solutions of
competition Lotka-Volterra dynamic system on time scales,”
Computers and Mathematics with Applications, vol. 57, no. 7, pp.
1204–1211, 2009.
[34] S. Lu, “On the existence of positive periodic solutions for
neutral functional differential equation with multiple deviating
arguments,” Journal of Mathematical Analysis and Applications,
vol. 280, no. 2, pp. 321–333, 2003.
[35] Z. Zhang, J. Wu, and Z. Wang, “Periodic solutions of nonautonomous stage-structured cooperative system,” Computers and
Mathematics with Applications, vol. 47, no. 4-5, pp. 699–706,
2004.
[36] R. E. Gaines and J. L. Mawhin, Coincidence Degree, and
Nonlinear Differential Equations, vol. 568 of Lecture Notes in
Mathematics, Springer, Berlin, Germany, 1977.
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download