We investigate the existence of the periodic solutions of a nonlinear integro-differential system with piecewise alternately advanced and retarded argument of generalized type, in short DEPCAG; that is, the argument is a general step function. We consider the critical case, when associated linear homogeneous system admits nontrivial periodic solutions. Criteria of existence of periodic solutions of such equations are obtained. In the process we use Green’s function for periodic solutions and convert the given DEPCAG into an equivalent integral equation. Then we construct appropriate mappings and employ Krasnoselskii’s fixed point theorem to show the existence of a periodic solution of this type of nonlinear differential equations. We also use the contraction mapping principle to show the existence of a unique periodic solution. Appropriate examples are given to show the feasibility of our results.
1. Introduction
Among the functional differential equations, Myshkis [1] proposed to study differential equations with piecewise constant arguments: DEPCA. The theory of scalar DEPCA of the type
(1)dx(t)dt=f(t,x(t),x(γ(t))),γ(t)=[t]orγ(t)=2[t+12],
where [·] signifies the greatest integer function, was initiated in [2–4], in Wiener [5], the first book in DEPCA, and has been developed by many authors [6–21]. Applications of DEPCA are discussed in [5, 22–25]. They are hybrid equations; they combine the properties of both continuous systems and discrete equations. Over the years, great attention has been paid to the study of the existence of periodic solutions of several different types of differential equations. For specific references see [5–7, 13, 17, 18, 23, 24, 26–34].
Let ℤ, ℕ, ℝ, and ℂ be the set of all integers, natural, real, and complex numbers, respectively. Denote by |·| a norm in ℝn, n∈ℕ. Fix two real sequences ti,γi,i∈ℤ, such that ti<ti+1, and ti≤γi≤ti+1 for all i∈ℤ, and ti→±∞ as i→±∞.
Let γ:ℝ→ℝ be a step function given by γ(t)=γi for t∈Ii=[ti,ti+1) and consider the DEPCA (1) with this general γ. In this case we speak of DEPCA of general type, in short DEPCAG. Indeed, γ(t)=[t] corresponds to γi=ti=i∈ℤ, and γ(t)=2[(t+1)/2] corresponds to ti=2i-1,γi=2i, i∈ℤ. The particular case of DEPCAG, when γi=ti,i∈ℤ, an only delayed situation, is considered by first time in Akhmet [8]. The other extreme case is the only advanced situation γi=ti+1. Any other situation means an alternately advanced and delayed situation with Ii+=[ti,γi] the advanced intervals and Ii-=[γi,ti+1) the delayed intervals. In [15, 16], Pinto has cleared the importance of the advanced and delayed intervals. This decomposition will be present in all our results. See [12, 13, 15, 16, 23, 24, 35]. The integration or solution of a DEPCA, as proposed by its founders [2–4, 6], is based on the reduction of DEPCA to discrete equations. To study nonlinear DEPCAG, we will use the approach proposed by Akhmet in [9], based on the construction of an equivalent integral equation, but we also remark the clear influence of the discrete part and the corresponding difference equations will be fundamental.
In 2008, Akhmet et al. [10] obtained some sufficient conditions for the existence and uniqueness of periodic solutions for the following system:
(2)x′(t)=A(t)x(t)+h(t)+μg(t,x(t),x(γ(t)),μ),
where A:ℝ→ℝn×n, h:ℝ→ℝ, and g:ℝ×ℝn×ℝn×I→ℝn are continuous functions, γ(t)=ti if ti≤t<ti+1, and μ is a small parameter belonging to an interval I⊂ℝ with 0∈I.
Recently, Chiu and Pinto [23], using Poincaré operator, a new Gronwall type lemma and fixed point theory, obtained some sufficient conditions for the existence and uniqueness of periodic (or harmonic) and subharmonic solutions of quasilinear differential equation with a general piecewise constant argument of the form
(3)y′(t)=A(t)y(t)+f(t,y(t),y(γ(t))),
where t∈ℝ, y∈ℂp, A(t) is a p×p matrix for p∈ℕ, f(t,x,y) is a p dimensional vector and f is continuous in the first argument, and γ(t)=γi, if ti≤t<ti+1, i∈ℤ. In this paper, comparing the three DEPCAG inequalities of Gronwall type and remarked new Gronwall lemma not only requests a weaker condition than the other Gronwall lemmas but also has a better estimate.
It is well-known that there are many subjects in physics and technology using mathematical methods that depend on the linear and nonlinear integro-differential equations, and it became clear that the existence of the periodic solutions and its algorithm structure from more important problems in the present time. Where many of studies and researches [36–40] dedicates for treatment the autonomous and non-autonomous periodic systems and specially with the integral equations and differential equations and the linear and nonlinear differential and which is dealing in general shape with the problems about periodic solutions theory and the modern methods in its quality treatment for the periodic differential equations.
Samoilenko and Ronto [41] assume the numerical-analytic method to study the periodic solutions for ordinary differential equations and its algorithm structure and this method includes uniform sequences of periodic functions and the results of that study are using the periodic solutions on wide range in the difference of new processes industry and technology. For example, Samoilenko and Ronto [41] investigated the existence and approximation of periodic solution for nonlinear system of integro-differential equations which has the form
(4)x′(t)=f(t,x(t),∫tt+Tg(s,x(s))ds),
where x∈D⊂ℝn; D is a closed and bounded domain. The vectors functions f(t,x,y) and g(t,x) are continuous functions in t, x, y and periodic in t of period T.
Butris [42] investigated the periodic solution of nonlinear system of integro-differential equations depending on the gamma distribution, by using the numerical analytic method, which has the form
(5)x′(t)=f(t,β(t,α),x(t),∫tt+Tg(s,β(s,α),x(s))ds),hhhhhhhhhhhhhhhhhhhhhhhhhhhhihhhhht∈ℝ,
where x∈D⊂ℝn; D is a closed and bounded domain. The vector functions f(t,β(t,α),x) and g(t,β(t,α),x) are defined on the domain (t,β(t,α),x)∈ℝ×[0,T]×D×D1.
In the current paper, we study the existence of periodic solutions of a nonlinear integro-differential system with piecewise alternately advanced and retarded argument:
(6)z′(t)=A(t)z(t)+f(t,z(t),∫tt+ωC(t,s,z(γ(s)))ds)+g(t,z(t),z(γ(t))),t∈ℝ,
where A:ℝ→ℝn×n, f:ℝ×ℝn×ℝn→ℝn, and g:ℝ×ℝn×ℝn→ℝn are continuous in their respective arguments. In the analysis we use the idea of Green's function for periodic solutions and convert the nonlinear integro-differential systems with DEPCAG (6) into an equivalent integral equation. Then we employ Krasnoselskii's fixed point theorem and show the existence of a periodic solution of the nonlinear integro-differential systems with DEPCAG (6) in Theorem 12. We also obtain the existence of a unique periodic solution in Theorem 14 employing the contraction mapping principle as the basic mathematical tool. Furthermore, appropriate examples are given to show the feasibility of our results.
In our paper we assume that the solutions of the nonlinear integro-differential systems with DEPCAG (6) are continuous functions. But the deviating argument γ(t) is discontinuous. Thus, in general, the right-hand side of the DEPCAG system (6) has discontinuities at moments ti∈ℝ,i∈ℤ. As a result, we consider the solutions of the DEPCAG as functions, which are continuous and continuously differentiable within intervals [ti,ti+1),i∈ℤ. In other words, by a solution z(t) of the DEPCAG system (6) we mean a continuous function on ℝ such that the derivative z′(t) exists at each point t∈ℝ, with the possible exception of the points ti∈ℝ,i∈ℤ, where a one-sided derivative exists, and the nonlinear integro-differential systems with DEPCAG (6) are satisfied by z(t) on each interval (ti,ti+1),i∈ℤ as well.
The rest of the paper is organized as follows. In Section 2, some definitions and preliminary results are introduced. We show double ω-periodicity of Green's function. Section 3 is devoted to establishing some criteria for the existence and uniqueness of periodic solutions of the DEPCAG system (6). Green's function and Banach, Schauder, and Krasnoselskii's fixed point theorems below are fundamental to obtain the main results. Furthermore, appropriate examples are provided in Section 4 to show the feasibility of our results.
2. Green’s Function and Periodicity
In this section we state and define Green's function for periodic solutions of the nonlinear integro-differential system with piecewise alternately advanced and retarded argument (6).
Let I be the n×n identity matrix. Denote by Φ(t,s),Φ(s,s)=I,t,s∈ℝ, the fundamental matrix of solutions of the homogeneous system (7).
For every t∈ℝ, let i=i(t)∈ℤ be the unique integer such that t∈Ii=[ti,ti+1).
From now on the following assumption will be needed.
The homogenous equation
(7)y′(t)=A(t)y(t)
does not admit any nontrivial ω-periodic solution.
Remark 1.
For τ∈ℝ, the condition (Nω) equivalent to the matrix (I-Φ(τ+ω,τ)) is nonsingular.
Now, we solve the DEPCAG system (6) on Ii(τ)=[ti(τ),ti(τ)+1):
(8)z′(t)=A(t)z(t)+f(t,z(t),∫tt+ωC(t,s,z(γ(s)))ds)+g(t,z(t),z(γi(τ))),t∈[ti(τ),ti(τ)+1),
which has the solution given by
(9)z(t)=Φ(t,τ)z(τ)+∫τtΦ(t,s)[f(s,z(s),∫sti(τ)+1C(s,u,z(γi(τ)))duhhhhhhhhhhhhhhh+∑k=i(τ)+1i(s+ω)-1∫tktk+1C(s,u,z(γk))duhhhhhhhhhhhhhhh+∫ti(s+ω)s+ωC(s,u,z(γi(s+ω)))du)hhhhhhhhhhhhh+g(s,z(s),z(γi(τ)))∫sti(τ)+1C(s,u,z(γi(τ)))du]ds.
For t→ti(τ)+1 in (9), we have
(10)z(ti(τ)+1)=Φ(ti(τ)+1,τ)z(τ)+∫τti(τ)+1Φ(ti(τ)+1,s)hhhhhhh×[f(s,z(s),∫sti(τ)+1C(s,u,z(γi(τ)))duhhhhhhhhhhhhh+∑k=i(τ)+1i(s+ω)-1∫tktk+1C(s,u,z(γk))duhhhhhhhhhhhhh+∫ti(s+ω)s+ωC(s,u,z(γi(s+ω)))du)hhhhhhhhhhh+g(s,z(s),z(γi(τ)))∫sti(τ)+1C(s,u,z(γi(τ)))du]ds
and in general, by induction, for any i(t)≥i(τ),
(11)z(t)=Φ(t,τ)z(τ)+∫τti(τ)+1Φ(t,s)hhhhhhh×[f(s,z(s),∫sti(τ)+1C(s,u,z(γi(τ)))duhhhhhhhhhhhhh+∑k=i(τ)+1i(s+ω)-1∫tktk+1C(s,u,z(γk))duhhhhhhhhhhhhh+∫ti(s+ω)s+ωC(s,u,z(γi(s+ω)))du)hhhhhhhhhhh+g(s,z(s),z(γi(τ)))∫sti(τ)+1C(s,u,z(γi(τ)))du]ds+∑j=i(τ)+1i(t)-1∫tjtj+1Φ(t,s)hhhhhhhhhhhh×[f(s,z(s),∫stj+1C(s,u,z(γj))duhhhhhhhhhhhhhhhhhh+∑k=j+1i(s+ω)-1∫tktk+1C(s,u,z(γk))duhhhhhhhhhhhhhhhhhh+∫ti(s+ω)s+ωC(s,u,z(γi(s+ω)))du)hhhhhhhhhhhhhhhh+g(s,z(s),z(γj))∫stj+1C(s,u,z(γj))du]ds+∫ti(t)tΦ(t,s)[f(s,z(s),∫sti(t)+1C(s,u,z(γi(t)))duhhhhhhhhhhhhhhhhh+∑k=i(t)+1i(s+ω)-1∫tktk+1C(s,u,z(γk))duhhhhhhhhhhhhhhhhh+∫ti(s+ω)s+ωC(s,u,z(γi(s+ω)))du)hhhhhhhhhhhhhhh+g(s,z(s),z(γi(t)))∫sti(t)+1C(s,u,z(γi(t)))du]ds.
On the other hand, one can easily see that
(12)∫τtg(s,z(s),z(γ(s)))ds=∫τti(τ)+1g(s,z(s),z(γi(τ)))ds+∑j=i(τ)+1i(t)-1∫tjtj+1g(s,z(s),z(γj))ds+∫ti(t)tg(s,z(s),z(γi(t)))ds.
Then, any solution of the DEPCAG system (6) with the initial condition z(τ)=ξ can be written as
(13)z(t)=Φ(t,τ)ξ+∫τtΦ(t,s)hhhhhh×[f(s,z(s),∫ss+ωC(s,u,z(γ(u)))du)hhhhhhhhhh+g(s,z(s),z(γ(s)))∫ss+ωC(s,u,z(γ(u)))du]ds,τ∈ℝ.
Amongst these solutions, that one will be ω-periodic, for which z(τ)=ξ=z(τ+ω); by the condition (Nω) and using (13) we get
(14)ξ=(I-Φ(τ+ω,τ))-1×∫ττ+ωΦ(τ+ω,s)hhhhhhh×[f(s,z(s),∫ss+ωC(s,u,z(γ(u)))du)hhhhhhhhhhh+g(s,z(s),z(γ(s)))∫]ds.
A substitution of (14) into (13) yields
(15)z(t)=Φ(t,τ)(I-Φ(τ+ω,τ))-1×{∫ττ+ωΦ(τ+ω,s)hhhhhhhh×[f(s,z(s),∫ss+ωC(s,u,z(γ(u)))du)hhhhhhhhhhh+g(s,z(s),z(γ(s)))∫ss+ωC(s,u,z(γ(u)))du]ds}+∫τtΦ(t,s)[f(s,z(s),∫ss+ωC(s,u,z(γ(u)))du)hhhhhhhhhhhhh+g(s,z(s),z(γ(s)))∫ss+ω]ds.
It is easy to check the following identity using properties of the function Φ(t):
(16)Φ-1(τ)(I-Φ(τ+ω,τ))-1Φ(τ+ω)=(Φ-1(τ+ω)Φ(τ)-I)-1.
It follows that
(17)z(t)=∫τtΦ(t)(I+(Φ-1(τ+ω)Φ(τ)-I)-1)Φ(s)-1hhhh×[f(s,z(s),∫ss+ωC(s,u,z(γ(u)))du)hhhhhhhh+g(s,z(s),z(γ(s)))(s,z(s),∫ss+ωC(s,u,z(γ(u)))du)]ds+∫tτ+ωΦ(t)(Φ-1(τ+ω)Φ(τ)-I)-1Φ-1(s)hhhhhhh×[f(s,z(s),∫ss+ωC(s,u,z(γ(u)))du)hhhhhhhhhhh+g(s,z(s),z(γ(s)))∫]ds.
In such a case the DEPCAG system (6) has ω-periodic solution z(t) given by the integral equation (17). Before studying the existence of solutions of integral equation (17) in the next section, firstly, we define Green's function for periodic solutions of the DEPCAG system (6).
Definition 2.
Suppose that the condition (Nω) holds. For each t,s∈[τ,τ+ω], Green's function for (6) is given by
(18)G(t,s)={Φ(t)(I+D)Φ-1(s),τ≤s≤t≤τ+ω,Φ(t)DΦ-1(s),τ≤t<s≤τ+ω,
where Φ(t) is a fundamental solution of (7) and
(19)D=((Φ-1(τ)Φ(τ+ω))-1-I)-1.
We note that the condition (Nω) implies the existence of the matrix D.
To prove double ω-periodicity of Green's function G(t,s), we first give the following lemma.
Lemma 3.
Suppose that the condition (Nω) holds. Let the matrix D be defined by (19), and then one has the following identities:
(20)(I+D)=(Φ-1(τ)Φ(τ+ω))-1D=(I-Φ-1(τ)Φ(τ+ω))-1,Φ(t)DΦ-1(t+ω)-Φ(t)DΦ-1(t)=I,(I+D)Φ-1(τ-ω)Φ(τ)=D.
For Lemma 3 we can prove an important property, double ω-periodicity, of Green’s function G(t,s) to study after the existence of periodic solutions.
Lemma 4.
Suppose that the condition (Nω) holds. Then Green's function G(t,s) is double ω-periodic; that is, G(t+ω,s+ω)=G(t,s).
3. Existence of Periodic Solutions
In this section, we prove the main theorems of this paper, so we recall the nonlinear integro-differential systems with DEPCAG (6):
(21)z′(t)=A(t)z(t)+f(t,z(t),∫tt+ωC(t,s,z(γ(s)))ds)+g(t,z(t),z(γ(t))),t∈ℝ.
For this, a natural Banach space is
(22)ℙω={ϕ:ℝ⟶ℝn∣ϕisω-periodichhhhcontinuousfunction}
with the supremum norm
(23)∥z∥=supt∈ℝ|z(t)|=supt∈[τ,τ+ω]|z(t)|.
Consider f:ℝ×ℝn×ℝn→ℝn and g:ℝ×ℝn×ℝn→ℝn are continuous functions. Moreover, we will refer to the following specific conditions.
Continuous Condition
Let R>0, t,s∈ℝ and y1, y2∈ℝn,|yi|≤R,i=1,2. For any ϵ>0 there exist δ>0 and λ:ℝ2→[0,∞) a function such that |y1-y2|≤δ implies
(24)|C(t,s,y1)-C(t,s,y2)|≤ϵλ(t,s),t,s∈ℝ,
where supt∈ℝ∫tt+ωλ(t,s)ds=λ^.
Lipschitz Conditions
There exists a continuous function λ:ℝ2→[0,∞) such that t,s∈ℝ and for any y1, y2∈ℝn we have
(25)|C(t,s,y1)-C(t,s,y2)|≤λ(t,s)|y1-y2|.
Moreover, supt∈ℝ∫tt+ωλ(t,s)ds=λ^ and supt∈ℝ∫tt+ω|C(t,s,0)|ds=λ^0.
For t∈ℝ and x1, y1, x2, y2∈ℝn, there exist functions p1, p2:ℝ→[0,∞) such that
(26)|f(t,x1,y1)-f(t,x2,y2)|≤p1(t)|x1-x2|+p2(t)|y1-y2|.
For t∈ℝ and x1, y1, x2, y2∈ℝn, there exist functions υ1, υ2:ℝ→[0,∞) such that
(28)|g(t,x1,y1)-g(t,x2,y2)|≤υ1(t)|x1-x2|+υ2(t)|y1-y2|.
Moreover, β=maxt∈ℝ|g(t,0,0)| and
(29)∫ττ+ω[υ1(s)+υ2(s)]ds≤L2,ω∈ℝ+,τ∈ℝ.
Invariance Conditions
For every R>0, t,s∈ℝ, |y|≤R, there exist λ,h:ℝ2→[0,∞) functions and positive constants λ^, h^ for which
(30)|C(t,s,y)|≤λ(t,s)|y|+h(t,s),
where supt∈ℝ∫tt+ωλ(t,s)ds=λ^ and supt∈ℝ∫tt+ωh(t,s)ds=h^.
For every R>0, t∈ℝ, |x|,|y|≤R, there exist functions m1,m2:ℝ→[0,∞) and positive constants ρ1,C1,η2 for which
(31)|f(t,x,y)|≤m1(t)|x|+m2(t)|y|+ρ1,
where ∫ττ+ω[m1(s)+λ^m2(s)]ds≤C1 and η2=h^·maxt∈[τ,τ+ω]|m2(t)|,ω∈ℝ+,τ∈ℝ.
For every R>0, t∈ℝ, |x|,|y|≤R, there exist functions κ1,κ2:ℝ→[0,∞) and positive constants ρ2,C2 for which
(32)|g(t,x,y)|≤κ1(t)|x|+κ2(t)|y|+ρ2,
where ∫ττ+ω[κ1(s)+κ2(s)]ds≤C2,ω∈ℝ+,τ∈ℝ.
Periodic Conditions
There exists ω>0 such that
A(t), f(t,x1,y1), and g(t,x2,y2) are periodic functions in t with a period ω for all t≥τ;
C(t+ω,s+ω,x1)=C(t,s,x1) for all t≥τ;
there exists p∈ℤ+, for which the sequences {ti}i∈ℤ, {γi}i∈ℤ satisfy the (ω,p) condition; that is,
(33)ti+p=ti+ω,γi+p=γi+ω,fori∈ℤ.
Remark 5.
Note that (ω,p) condition is a discrete relation, which moves the interval Ii into Ii+p. Then we have the following consequences.
For any τ∈ℝ, the interval [τ,τ+ω] can be decomposed as follows:
(34)[τ,ti(τ)+1]∪⋃j=i(τ)+1i(τ)+p-1Ij∪[ti(τ)+p,τ+ω].
For t∈[ti,ti+1), we have
(35)(a)t+ω∈[ti+p,ti+p+1),(b)γ(t)+ω∈[ti+p,ti+p+1).
Then,
(36)γ(t+ω)=γi(t+ω)=γi(t)+p=γi(t)+ω=γ(t)+ω.
Using Definition 2, Remark 5, and double ω-periodicity of Green's function, similar formula is given by (17). So, we have obtained the following result.
Proposition 6.
Suppose that the conditions (Nω) and (P) hold. Let (τ,z(τ))∈ℝ×ℝn. Then, z(t)=z(t,τ,z(τ)) is ω-periodic solution on ℝ of the DEPCAG system (6) if and only if z(t) is ω-periodic solution of the integral equation
(37)z(t)=∫ττ+ωG(t,s)[f(s,z(s),∫ss+ωC(s,u,z(γ(u)))du)hhhhhhhhhhhhh+g(s,z(s),z(γ(s)))∫ττ+ωG(t,s)]ds,
where Green's function G(t,s) is defined by (18).
Consider the operator ℑ:ℙω→ℙω by
(38)(ℑz)(t)=∫ττ+ωG(t,s)hhhh×[f(s,z(s),∫ss+ωC(s,u,z(γ(u)))du)hhhhhhh+g(s,z(s),z(γ(s)))∫ττ+ωG(t,s)]ds.
It is easy to see that the DEPCAG system (6) has ω-periodic solution if and only if the operator ℑ has one fixed point in ℙω.
To prove some existence criteria for ω-periodic solutions of the DEPCAG system (6) we use the Banach, Schauder, and Krasnoselskii's fixed point theorems.
Next we state first Krasnoselskii's fixed point theorem which enables us to prove the existence of a periodic solution. For the proof of Krasnoselskii's fixed point theorem we refer the reader to [43].
Theorem A (Krasnoselskii’s fixed point theorem).
Let S be a closed convex nonempty subset of a Banach space (E,∥·∥). Suppose that 𝒜 and ℬ map S into E such that
x,y∈S, implies 𝒜x+ℬy∈S,
𝒜 is a contraction mapping,
ℬ is completely continuous.
Then there exists z∈S with z=𝒜z+ℬz.
Remark 7.
Krasnoselskii’s theorem may be combined with Banach and Schauder's fixed point theorems. In a certain sense, we can interpret this as follows: if a compact operator has the fixed point property, under a small perturbation, then this property can be inherited. The theorem is useful in establishing the existence results for perturbed operator equations. It also has a wide range of applications to nonlinear integral equations of mixed type for proving the existence of solutions. Thus the existence of fixed points for the sum of two operators has attracted tremendous interest, and their applications are frequent in nonlinear analysis. See [32, 33, 43–46].
We note that to apply Krasnoselskii's fixed point theorem we need to construct two mappings; one is contraction and the other is compact. Therefore, we express (38) as
(39)(ℑz)(t)=(𝒜z)(t)+(ℬz)(t),
where 𝒜,ℬ:ℙω→ℙω are given by
(40)(𝒜z)(t)=∫ττ+ωG(t,s)f(s,z(s),∫ss+ωC(s,u,z(γ(u)))du)ds,(41)(ℬz)(t)=∫ττ+ωG(t,s)g(s,z(s),z(γ(s)))ds.
To simplify notations, we introduce the following constant and sets:
(42)cG=maxt,s∈[τ,τ+ω]|G(t,s)|,𝕊={z∈ℙω:∥z∥≤R},𝒞ℛ={z∈ℝn:∥z∥≤R}.
Lemma 8.
If (Nω), (P), (Lf), and (LC) hold, 𝒜 is given by (40) with cGL1<1, and then 𝒜 is a contraction mapping.
Proof.
Let 𝒜 be defined by (40). First we want to show that (𝒜φ)(t+ω)=(𝒜φ)(t).
Let φ∈ℙω. Then using (40), the periodicity of Green's function, and (ω,p) condition, we arrive at
(43)(𝒜φ)(t+ω)=∫τ+ωτ+2ωG(t+ω,s)hhhhhhhh×f(s,φ(s),∫ss+ωC(s,u,φ(γ(u)))du)ds=∫ττ+ωG(t+ω,s+ω)hhhhhhh×f(∫ss+ωs+ω,φ(s+ω),hhhhhhhhhhhhh∫s+ωs+2ωC(s+ω,u,φ(γ(u)))du)ds=∫ττ+ωG(t+ω,s+ω)hhhhhhh×f(∫ss+ωs+ω,φ(s+ω),hhhhhhhhhhhhh∫ss+ωC(s+ω,u+ω,φ(γ(u+ω)))du)ds=∫ττ+ωG(t+ω,s+ω)hhhhhhh×f(∫ss+ωs+ω,φ(s+ω),hhhhhhhhhhhhh∫ss+ωC(s+ω,u+ω,φ(γ(u)+ω))du)ds=∫ττ+ωG(t,s)hhhhhhh×f(s,φ(s),∫ss+ωC(s,u,φ(γ(u)))du)ds=(𝒜φ)(t).
Secondly, we show that 𝒜 is a contraction mapping. Let φ,ζ∈ℙω; then we have
(44)∥𝒜φ-𝒜ζ∥=supt∈[τ,τ+ω]|𝒜φ(t)-𝒜ζ(t)|≤supt∈[τ,τ+ω]∫ττ+ω|G(t,s)|hhhhhhhhhh×|f(s,φ(s),∫ss+ωC(s,u,φ(γ(u)))du)hhhhhhhhhhhhh-f(s,ζ(s),∫ss+ωC(s,u,ζ(γ(u)))du)|ds≤cG∫ττ+ω[∫ss+ωp1(s)|φ(s)-ζ(s)|+p2(s)hhhhhhhhhhh×|∫ss+ωC(s,u,φ(γ(u)))duhhhhhhhhhhhhhh-∫ss+ωC(s,u,ζ(γ(u)))du|]ds≤cG∫ττ+ω[∫ss+ωp1(s)|φ(s)-ζ(s)|+p2(s)∫ss+ωλ(s,u)hhhhhhhhhhhhhhhhhhhh×|φ(γ(u))-ζ(γ(u))|du∫ss+ωλ(s,u)]ds≤(cG∫ττ+ω[p1(s)+p2(s)∫ss+ωλ(s,u)du]ds)×∥φ-ζ∥≤(cG∫ττ+ω[p1(s)+λ^p2(s)]ds)∥φ-ζ∥≤cGL1∥φ-ζ∥.
Hence 𝒜 defines a contraction mapping.
Similarly, ℬ is given by (41), which may be also a contraction operator.
Lemma 9.
If (Nω), (P), and (Lg) hold, ℬ is given by (41) with cGL2<1, and then ℬ is a contraction mapping.
Lemma 10.
If (Nω) holds, ℬ is defined by (41), and then ℬ is completely continuous; that is, ℬ is continuous and the image of ℬ is contained in a compact set.
Proof.
Step 1. First we prove that ℬ:ℙω→ℙω is continuous.
As the operator 𝒜, a change of variable in (41), we have (ℬφ)(t+ω)=(ℬφ)(t). Now, we want to show ℬ is continuous.
The function g(t,x,y) is uniformly continuous on [τ,τ+ω]×𝒞ℛ×𝒞ℛ and by the periodicity in t, the function g(t,x,y) is uniformly continuous on ℝ×𝒞ℛ×𝒞ℛ. Thus, for any ϵ′=(ϵ/cGω)>0, there exists δ=δ(ϵ)>0 such that z1,z2∈𝕊,∥z1-z2∥≤δ implies |g(t,z1(t),z1(γ(t)))-g(t,z2(t),z2(γ(t)))|≤ϵ′ for t∈[τ,τ+ω]. Then ∥ℬz1-ℬz2∥≤ϵ. In fact, by the continuity of g,
(45)|g(t,z1(t),z1(γ(t)))-g(t,z2(t),z2(γ(t)))|≤ϵ′hhhhhhhhhhhhhhhhhhhhhhhfort∈[τ,τ+ω]
and then
(46)∥ℬz1-ℬz2∥=supt∈[τ,τ+ω]|ℬz1(t)-ℬz2(t)|≤supt∈[τ,τ+ω]∫ττ+ω|G(t,s)||g(s,z1(s),z1(γ(s)))hhhhhhhhhhhhhhhhhhhhhh-g(s,z2(s),z2(γ(s)))|ds≤∫ττ+ωcGϵ′ds≤cGϵ′ω=ϵ,
and the continuity of ℬ is proved.
Step 2. We show that the image of ℬ is contained in a compact set.
Let x,y∈𝒞ℛ and s∈[τ,τ+ω]; for the continuity of the function g(s,x,y), there exists M>0 such that |g(s,x,y)|≤M. Let φn∈𝕊 where n is a positive integer; then we have
(47)∥ℬφn∥=supt∈[τ,τ+ω]|ℬφn(t)|≤supt∈[τ,τ+ω]∫ττ+ω|G(t,s)||g(s,φn(s),φn(γ(s)))|ds≤cG∫ττ+ω|g(s,φn(s),φn(γ(s)))|ds≤cGMω.
Moreover, a direct calculation (ℬφn(t))′ shows that
(48)(ℬφn(t))′=(∫ττ+ωG(t,s)g(s,φn(s),φn(γ(s)))ds)′=Φ′(t)∫τt(I+D)Φ-1(s)g(s,φn(s),φn(γ(s)))ds+Φ(t)(I+D)Φ-1(t)g(t,φn(t),φn(γ(t)))+Φ′(t)∫tτ+ω[DΦ-1(s)g(s,φn(s),φn(γ(s)))]ds-Φ(t)DΦ-1(t)g(t,φn(t),φn(γ(t)))=A(t)(∫ττ+ωG(t,s)g(s,φn(s),φn(γ(s)))ds)+g(t,φn(t),φn(γ(t)))=A(t)ℬφn(t)+g(t,φn(t),φn(γ(t))).
As A(t) is bounded on [τ,τ+ω] and ℬφn(t), g(t,φn(t),φn(γ(t)) are bounded on [τ,τ+ω]×𝕊×𝕊. Thus, the above expression yields ∥(ℬφn)′∥≤L, for some positive constant L. Hence the sequence (ℬφn) is uniformly bounded and equicontinuous. Ascoli-Arzela's theorem implies that a subsequence (ℬφnk) of (ℬφn) converges uniformly to a continuous ω-periodic function. Thus ℬ is continuous and ℬ(𝕊) is a compact set.
In a similar way, for 𝒜 we obtain the following.
Lemma 11.
If (Nω) and (C) hold, 𝒜 is defined by (40), and then 𝒜 is completely continuous.
Theorem 12.
Suppose the hypotheses (Nω), (P), (Lf), (LC), (Mg) hold. Let R be a positive constant satisfying the inequality
(49)cG(L1+C2)R+cG(α+η1+ρ2)ω≤R.
Then the DEPCAG system (6) has at least one ω-periodic solution in 𝕊.
Proof.
By Lemma 8, the mapping 𝒜 is a contraction and it is clear that 𝒜:ℙω→ℙω. Also, from Lemma 10, ℬ is completely continuous.
Next, we prove that if φ,ζ∈𝕊 with ∥φ∥≤R and ∥ζ∥≤R, then ∥𝒜ϕ+ℬζ∥≤R.
Let φ,ζ∈𝕊 with ∥φ∥≤R and ∥ζ∥≤R. Then
(50)∥𝒜φ+ℬζ∥=supt∈[τ,τ+ω]|∫ττ+ωG(t,s)hhhhhhhhhhhhh×[f(s,φ(s),∫ss+ωC(s,u,φ(γ(u)))du)hhhhhhhhhhhhhhhhhh-f(s,0,0)+f(s,0,0)∫ss+ω]dshhhhhhhhhhhh+∫ττ+ωG(t,s)g(s,ζ(s),ζ(γ(s)))ds|≤supt∈[τ,τ+ω]∫ττ+ω|G(t,s)|hhhhhhhhhhhhh×|f(s,φ(s),∫ss+ωC(s,u,φ(γ(u)))du)hhhhhhhhhhhhhhhh-f(s,0,0)∫|ds+supt∈[τ,τ+ω]∫ττ+ω|G(t,s)||f(s,0,0)|ds+supt∈[τ,τ+ω]∫ττ+ω|G(t,s)||g(s,ζ(s),ζ(γ(s)))|ds≤cG∫ττ+ωp1(s)|φ(s)|hhhhhhhhh+p2(s)|∫ss+ωC(s,u,φ(γ(u)))du|ds+αcGω+cG(∫ττ+ω[κ1(s)+κ1(s)]ds)∥ζ∥+ρ2cGω≤cG∫ττ+ωp1(s)|φ(s)|+p2(s)hhhhhhhhh×|∫ss+ω[C(s,u,φ(γ(u)))hhhhhhhhhhhhhhhhh-C(s,u,0)+C(s,u,0)(s,u,φ(γ(u)))]du∫|ds+αcGω+cG(∫ττ+ω[κ1(s)+κ1(s)]ds)∥ζ∥+ρ2cGω≤cG∫ττ+ωp1(s)|φ(s)|+p2(s)hhhhhhhhh×|∫ss+ω[λ(s,u)|φ(γ(u))|+|C(s,u,0)|]du|ds+αcGω+cG(∫ττ+ω[κ1(s)+κ1(s)]ds)∥ζ∥+ρ2cGω≤cG(∫ττ+ωp1(s)+λ^p2(s)ds)∥φ∥+cG(∫ττ+ω[κ1(s)+κ1(s)]ds)∥ζ∥+cGλ^0∫ττ+ωp2(s)ds+αcGω+ρ2cGω≤cG(L1+C2)R+cG(α+η1+ρ2)ω.
We now see that all the conditions of Krasnoselskii's theorem are satisfied. Thus there exists a fixed point z in 𝕊 such that z=𝒜z+ℬz. By Proposition 6, this fixed point is a solution of the DEPCAG system (6). Hence the DEPCAG system (6) has ω-periodic solution.
By the symmetry of the conditions, we will obtain as Theorem 12.
Theorem 13.
Suppose the hypothesis (Nω), (P), (Lg), (Mf), (MC), (C) hold. Let R be a positive constant satisfying the inequality
(51)cG(C1+L2)R+cG(β+η2+ρ1)ω≤R.
Then the DEPCAG system (6) has at least one ω-periodic solution in 𝕊.
By Lemma 9, the mapping ℬ is a contraction and it is clear that ℬ:ℙω→ℙω. Also, from Lemma 11, 𝒜 is completely continuous.
Next, we prove that if φ,ζ∈𝕊 with ∥φ∥≤R and ∥ζ∥≤R, then ∥𝒜ϕ+ℬζ∥≤R.
Let φ,ζ∈𝕊 with ∥φ∥≤R and ∥ζ∥≤R. Then
(52)∥𝒜φ+ℬζ∥=supt∈[τ,τ+ω]|∫ττ+ωG(t,s)hhhhhhhhhhh×f(s,φ(s),∫ss+ωC(s,u,φ(γ(u)))du)dshhhhhhhhhhh+∫ττ+ωG(t,s)[(g(s,ζ(s),ζ(γ(s)))hhhhhhhhhhhhhhhhhhhhhhh-g(s,0,0)+g(s,0,0)(g(s,ζ(s),ζ(γ(s))))]ds∫|≤supt∈[τ,τ+ω]∫ττ+ω|G(t,s)|hhhhhhhhhhhh×(|∫ss+ωC(s,u,φ(γ(u)))du|m1(t)|φ(s)|+m2(t)hhhhhhhhhhhhhhhh×|∫ss+ωC(s,u,φ(γ(u)))du|+ρ1)ds+supt∈[τ,τ+ω]∫ττ+ω|G(t,s)|hhhhhhhhhhhhh×(υ1(s)ζ(s)+υ2(s)ζ(γ(s)))ds+supt∈[τ,τ+ω]∫ττ+ω|G(t,s)||g(s,0,0)|ds≤cG∫ττ+ω(∫m1(t)|φ(s)|+m2(t)hhhhhhhhhh×|∫ss+ω[λ(s,u)|φ(γ(u))|+|h(s,u)|]du|hhhhhhhhhhh+ρ1∫)ds+cG(∫ττ+ω(υ1(s)+υ2(s))ds)∥ζ∥+βcGω≤cG(∫ττ+ω[m1(s)+λ^m2(s)]ds)∥φ∥+cGh^∫ττ+ωm2(s)ds+ρ1cGω+cG(∫ττ+ω(υ1(s)+υ2(s))ds)∥ζ∥+βcGω≤cG(C1+L2)R+cG(β+η2+ρ1)ω.
Applying Banach's fixed point theorem we have the following.
Theorem 14.
Suppose the hypotheses (Nω), (P), (Lf), (LC), (Lg) hold. If
(53)cG(L1+L2)<1,
then the DEPCAG system (6) has a unique ω-periodic solution.
Proof.
Let the mapping ℑ be given by (38). For φ,ζ∈ℙω, in view of (38), we have
(54)∥ℑφ-ℑζ∥≤supt∈[τ,τ+ω]∫ττ+ω|G(t,s)|hhhhhhhhhhh×|f(s,φ(s),∫ss+ωC(s,u,φ(γ(u)))du)hhhhhhhhhhhh-f(s,ζ(s),∫ss+ωC(s,u,ζ(γ(u)))du)|ds+supt∈[τ,τ+ω]∫ττ+ω|G(t,s)||g(s,φ(s),φ(γ(s)))hhhhhhhhhhhhhhhhhhhhh-g(s,ζ(s),ζ(γ(s)))|ds≤cG∫ττ+ω[∫p1(s)|φ(s)-ζ(s)|+p2(s)hhhhhhhhhh×|∫ss+ωC(s,u,φ(γ(u)))duhhhhhhhhhhhhhh-∫ss+ωC(s,u,ζ(γ(u)))du|]ds+cG∫ττ+ω|g(s,φ(s),φ(γ(s)))hhhhhhhhhh-g(s,ζ(s),ζ(γ(s)))|ds≤cG(∫ττ+ω[p1(s)+λ^p2(s)]dshhhhhh+∫ττ+ω[υ1(s)+υ2(s)]ds)∥φ-ζ∥≤cG(L1+L2)∥φ-ζ∥.
This completes the proof by invoking the contraction mapping principle.
As a direct consequence of the method, Schauder's theorem implies the following.
Theorem 15.
Suppose the hypotheses (Nω), (P), (Mf), (MC), (Mg), (C) hold. Let R be a positive constant satisfying the inequality
(55)cG(C1+C2)R+cG(ρ1+ρ2+η2)ω≤R.
Then the DEPCAG system (6) has at least one ω-periodic solution in 𝕊.
Remark 16.
Considering the DEPCAG system (6)
(56)x′(t)=A(t)x(t)+g(t,x(t),x(γ(t))).
Krasnoselskii (see [47]) proved that if A is a stable constant matrix, without piecewise alternately advanced and retarded argument and lim|x|+|y|→+∞(|g(t,x,y)|/(|x|+|y|))=0, then the system (56) has at least one periodic solution. In our case, applying Theorem 12, this result is also valid for the DEPCAG system (56), requiring the hypothesis: (Nω), (P3), (Mg), A(t) and g(t,x,y) are periodic functions in t with a period ω for all t≥τ and |g(t,x,y)|≤c1(|x|+|y|)+ρ2, with 2c1ω<C2 and ρ2 constants for |x|+|y|≤R, R>0.
Remark 17.
Considering the nonlinear system of differential equations with a general piecewise alternately advanced and retarded argument,
(57)x′(t)=A(t)x(t)+f(t,x(t),x(γ(t)))+g(t,x(t),x(γ(t))).
In this particular case, applying Theorem 13, this result is also valid for the DEPCAG system (57), requiring the hypothesis: (Nω), (P1), (P3), (Lg), (Mf), and cG(C1+L2)R+cG(β+ρ1)ω≤R with λ^=1.
Remark 18.
Suppose that (P1) is satisfied by ω=ω1, (P2) by ω=ω2, and (P3) by ω=ω3, if ωi/ωj is a rational number for all i, j=1,2,3; then (P1), (P2), and (P3) are simultaneously satisfied by ω=l.c.m.{ω1,ω2,ω3}, where l.c.m.{ω1,ω2,ω3} denotes the least common multiple between ω1, ω2 and ω3. In the general case it is possible that there exist five possible periods: ω1 for A, ω2 for f, ω3 for g, ω4 for C, and the sequences {ti}i∈ℤ, {γi}i∈ℤ satisfy the (ω5,p) condition. If ωi/ωj is a rational number for all i,j=1,2,3,4,5, so, in this situation our results insure the existence of ω-periodic solution with ω=l.c.m.{ω1,ω2,ω3,ω4,ω5}. Therefore the above results insure the existence of ω-periodic solutions of the DEPCAG system (6). These solutions are called subharmonic solutions. See Corollaries 19–22.
To determine criteria for the existence and uniqueness of subharmonic solutions of the DEPCAG system (6), from now on we make the following assumption.
There exists ω=l.c.m.{ω1,ω2,ω3,ω4,ω5}>0, ωi/ωj which is a rational number for all i,j=1,2,3,4,5 such that
A(t), f(t,x1,y1), and g(t,x2,y2) are periodic functions in t with a period ω1, ω2, and ω3, respectively, for all t≥τ;
C(t+ω4,s+ω4,x3)=C(t,s,x3), for all t≥τ;
There exists p∈ℤ+, for which the sequences {ti}i∈ℤ, {γi}i∈ℤ satisfy the (ω5,p) condition.
As immediate corollaries of Theorems 12–15 and Remark 18, the following results are true.
Corollary 19.
Suppose the hypotheses (Nω), (Pω), (Lf), (LC), (Mg) and (49) hold. Then the DEPCAG system (6) has at least one subharmonic solution in 𝕊.
Corollary 20.
Suppose the hypotheses (Nω), (Pω), (Lg), (Mf), (MC), (C) and (51) hold. Then the DEPCAG system (6) has at least one subharmonic solution in 𝕊.
Corollary 21.
Suppose the hypotheses (Nω), (Pω), (Lf), (LC), (Lg) and (53) hold. Then, the DEPCAG system (6) has a unique subharmonic solution.
Corollary 22.
Suppose the hypotheses (Nω), (Pω), (Mf), (MC), (Mg), (C) and (55) hold. Then the DEPCAG system (6) has at least one subharmonic solution in 𝕊.
4. Applications and Illustrative Examples
We will introduce appropriate examples in this section. These examples will show the feasibility of our theory.
Mathematical modelling of real-life problems usually results in functional equations, like ordinary or partial differential equations, integral and integro-differential equations, and stochastic equations. Many mathematical formulations of physical phenomena contain integro-differential equations; these equations arise in many fields like fluid dynamics, biological models, and chemical kinetics. So, we first consider nonlinear integro-differential equations with a general piecewise constant argument mentioned in the introduction and obtain some new sufficient conditions for the existence of the periodic solutions of these systems.
Example 1.
Let λ:ℝ2→[0,∞) and h:ℝ2→[0,∞) be two functions satisfying
(58)supt∈ℝ∫tt+2πλ(t,s)ds≤λ^,supt∈ℝ∫tt+2πh(t,s)ds≤h^.
Consider the following nonlinear integro-differential equations with piecewise alternately advanced and retarded argument of generalized type:
(59)z′(t)=a(t)z(t)+∫tt+2πln[1+|z(γ(s))|3λ(t,s)+h(t,s)]ds+(sint)z4(t)+(1+cos2t)z9(γ(t)),t∈ℝ,
where the sequences {ti}i∈ℤ and {γi}i∈ℤ satisfy the (2π,p) condition, λ and h are double 2π-periodic continuous functions, and a is a 2π-periodic continuous function satisfying (Nω).
The conditions of Theorem 15 are fulfilled. Indeed,
f(t,x,y)=y satisfies (Mf): |f(t,x,y)|≤|y|;
g(t,x,y)=(sint)x4+(1+cos2t)y9 satisfies (Mg): |g(t,x,y)|≤c1(R)(|x|+|y|)+ρ2 for every x,y such that |x|,|y|≤R, uniformly in t∈ℝ where 4πc1(R)≤C2;
C(t,s,y)=ln[1+|y3|λ(t,s)+h(t,s)] satisfies (MC): |C(t,s,y)|≤c2(R)λ(t,s)|y|+h(t,s) for |y|≤R, where 2πλ^≤C1;
g:ℝ×ℝn×ℝn→ℝn is continuous and C(t,s,y) satisfies (C).
Indeed, for any ɛ>0, there exists δ>0 such that |y1-y2|≤δ implies
(60)|C(t,s,y1)-C(t,s,y2)|≤ɛc2(R)λ(t,s)fort,s∈ℝ.
Furthermore, there exists R such that
(61)exp(2a*π)exp(2a*π)-1[(C1+C2)R+2π(ρ2+h^)]≤R,
where a*=supt∈ℝ|a(t)| and a*=inft∈ℝ|a(t)|.
Then, by Theorem 15, the DEPCAG system (59) has at least one 2π-periodic solution.
Example 2.
Thus many examples can be constructed where our results can be applied.
Let Λ:ℝ→ℝn×n and μ:ℝ→ℝn be two functions satisfying
(62)supt∈ℝ∫tt+ω|Λ(s)|ds=Λ^<∞,supt∈ℝ∫tt+ω|μ(t-s)|ds=μ^<∞.
Now, consider the integro-differential system with piecewise alternately advanced and retarded argument
(63)z′(t)=A(t)z(t)+B(t)g(z(t),z(γ(t)))+∫tt+ω[Λ(s)κ(z(γ(s)))+μ(t-s)]ds,
where the sequences {ti}i∈ℤ and {γi}i∈ℤ satisfy the (ω,p) condition, A, B, Λ, κ, and μ are ω-periodic continuous functions, and
z′(t)=A(t)z(t) satisfies (Nω);
B is ω-periodic matrix function: |B(t)|≤b, g:ℝn×ℝn→ℝn is a continuous function, and |g(x,y)|≤c1(R)|x|+c2(R)|y|+ϑ1 for |x|,|y|≤R, where (c1(R)+c1(R))ω≤C2;
|κ(x)-κ(y)|≤c3(R)|x-y|, where c3(R)Λ^ω≤L1.
The hypotheses of Theorem 12 are fulfilled. Then if there exists R such that
(64)CG(L1+bC2)R+CG(bϑ1+κ(0)Λ^+μ^)ω<R,
Theorem 12 implies that there exists at least a ω-periodic solution of the DEPCAG system (63).
Note that similar results can be obtained under (Lg) and (MC). On the other hand, the periodic situation of the DEPCAG system (56) and (57) can be treated in the same way.
Let us consider another example for second-order differential equations with a general piecewise constant argument. In this case, we can show the existence and uniqueness of periodic solutions of the following nonlinear DEPCAG system.
Example 3.
Consider the following nonlinear DEPCAG system:
(65)y′′(t)+(κ2y2(t)-2)y′(t)-8y(t)-κ1sin(ωt)y2(γ(t))-κ2cos(ωt)=0,
where κ1,κ2∈ℝ, γ(t)=γi if ti≤γi<ti+1, i∈ℤ, and the sequences {ti}i∈ℤ and {γi}i∈ℤ satisfy the (2π/ω,p) condition.
We write the DEPCAG system (65) in the system form
(66)z′(t)=(0182)z(t)+(0κ1sin(ωt)z12(γ(t)))+(0κ2cos(ωt)-κ2z12(t)z2(t)),
where
(67)A=(0182),f(t,z(t),z(γ(t)))=(0κ1sin(ωt)z12(γ(t))),g(t,z(t),z(γ(t)))=(0κ2cos(ωt)-κ2z12(t)z2(t)).
It is easy to see that the linear homogenous system z′(t)=Az(t) does not admit any nontrivial ω-periodic solution; that is, the condition (Nω) is satisfied. Let φ(t)=(φ1(t),φ2(t)),ψ(t)=(ψ1(t),ψ2(t)) and define 𝕊={z∈ℙω,∥z∥≤R}, where R∈ℝ+ satisfies the condition
(68)2cGR(κ1+κ2R)<1.
Then, for φ,ψ∈𝕊 we have
(69)∥g(·,φ(·),φ(γ(·)))-g(·,ψ(·),ψ(γ(·)))∥≤supt∈[τ,τ+ω]|(0κ2cos(ωt)-κ2φ12(t)φ2(t))hhhhhhhh-(0κ2cos(ωt)-κ2ψ12(t)ψ2(t))|≤supt∈[τ,τ+ω]|(κ2(ψ1(t)+φ1(t))φ2(t)κ2ψ12(t))(ψ1(t)-φ1(t)ψ2(t)-φ2(t))|≤2κ2R2supt∈[τ,τ+ω]|(ψ1(t)-φ1(t)ψ2(t)-φ2(t))|=2κ2R2∥φ-ψ∥.
In a similar way, for f we have
(70)∥f(·,φ(·),φ(γ(·)))-f(·,ψ(·),ψ(γ(·)))∥≤2κ1R∥φ-ψ∥.
By Theorem 14, the DEPCAG system (65) has a unique 2π/ω-periodic solution in 𝕊.
Conflict of Interests
The author declares that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
This research was in part supported by FIBE 01-12 DIUMCE.
MyshkisA. D.On certain problems in the theory of differential equations with deviating arguments197732173202CookeK. L.WienerJ.Retarded differential equations with piecewise constant delays19849912652972-s2.0-0008402812CookeK. L.WienerJ.An equation alternately of retarded and advanced type19879972673210.1090/S0002-9939-1987-0877047-8ShahS. M.WienerJ.Advanced differential equations with piecewise constant argument deviations19836467170310.1155/S0161171283000599WienerJ.1993SingaporeWorld ScientificAftabizadehA. R.WienerJ.Oscillatory and periodic solutions of an equation alternately of retarded and advanced types198623321923110.1080/00036818608839642AftabizadehA. R.WienerJ.XuJ. M.Oscillatory and periodic solutions of delay differential equations with piecewise constant argument19879967367910.1090/S0002-9939-1987-0877038-7AkhmetM. U.Integral manifolds of differential equations with piecewise constant argument of generalized type20076623673832-s2.0-3375100298510.1016/j.na.2005.11.032AkhmetM. U.2011Amsterdam, The NetherlandsAtlantis PressAkhmetM. U.BüyükadaliC.ErgençT.Periodic solutions of the hybrid system with small parameter2008225325432-s2.0-4094913041410.1016/j.nahs.2006.07.005CabadaA.FerreiroJ. B.NietoJ. J.Green's function and comparison principles for first order periodic differential equations with piecewise constant arguments200429126906972-s2.0-154240644210.1016/j.jmaa.2003.11.022ChiuK. S.PintoM.Variation of parameters formula and Gronwall inequality for differential equations with a general piecewise constant argument20112745615682-s2.0-8005244080510.1007/s10255-011-0107-5ChiuK. S.PintoM.Oscillatory and periodic solutions in alternately advanced and delayed differential equations2013292149158NietoJ. J.Rodríguez-LópezR.Green's function for second-order periodic boundary value problems with piecewise constant arguments2005304133572-s2.0-1464443184510.1016/j.jmaa.2004.09.023PintoM.Asymptotic equivalence of nonlinear and quasi linear differential equations with piecewise constant arguments2009499-10175017582-s2.0-6344911519210.1016/j.mcm.2008.10.001PintoM.Cauchy and Green matrices type and stability in alternately advanced and delayed differential systems20111722352542-s2.0-7995293194810.1080/10236198.2010.549003WangG. Q.Existence theorem of periodic solutions for a delay nonlinear differential equation with piecewise constant arguments200429812983072-s2.0-454429381210.1016/j.jmaa.2004.05.016WangG. Q.ChengS. S.Existence and uniqueness of periodic solutions for a second-order nonlinear differential equation with piecewise constant argument200920091495079710.1155/2009/950797XiaY. H.HuangZ.HanM.Existence of almost periodic solutions for forced perturbed systems with piecewise constant argument200733327988162-s2.0-3424853228810.1016/j.jmaa.2006.11.039YangP.LiuY.GeW.Green's function for second order differential equations with piecewise constant arguments2006648181218302-s2.0-3234444670710.1016/j.na.2005.07.019YuanR.The existence of almost periodic solutions of retarded differential equations with piecewise constant argument2002487101310322-s2.0-003649750910.1016/S0362-546X(00)00231-5AlonsoA. I.HongJ.ObayaR.Almost periodic type solutions of differential equations with piecewise constant argument via almost periodic type sequences20001321311372-s2.0-0008359440ChiuK. S.PintoM.Periodic solutions of differential equations with a general piecewise constant argument and applications2010461192-s2.0-77956946076ChiuK. S.PintoM.JengJ. C.Existence and global convergence of periodic solutions in recurrent neural network models with a general piecewise alternately advanced and retarded argument201310.1007/s10440-013-9863-yDaiL.2008SingaporeWorld ScientificBurtonT. A.1985New York, NY, USAAcademic PressBurtonT. A.FurumochiT.Periodic and asymptotically periodic solutions of neutral integral equations2000101192-s2.0-3042534758BurtonT. A.FurumochiT.Existence theorems and periodic solutions of neutral integral equations20014345275462-s2.0-003525427010.1016/S0362-546X(99)00217-5KarakocF.BereketogluH.SeyhanG.Oscillatory and periodic solutions of impulsive differential equations with piecewise constant argument201011014995102-s2.0-7795209738110.1007/s10440-009-9458-9LiuY.YangP.GeW.Periodic solutions of higher-order delay differential equations20056311361522-s2.0-2434450172110.1016/j.na.2005.04.038LiuX. L.LiW. T.Periodic solutions for dynamic equations on time scales2007675145714632-s2.0-3424739426010.1016/j.na.2006.07.030PintoM.Dichotomy and existence of periodic solutions of quasilinear functional differential equations2010723-4122712342-s2.0-7154915059810.1016/j.na.2009.08.007RaffoulY. N.Periodic solutions for neutral nonlinear differential equations with functional delay20032003102172-s2.0-3042702589WangG. Q.ChengS. S.Periodic solutions of discrete Rayleigh equations with deviating arguments2009136205120672-s2.0-74249091115ChiuK. S.Stability of oscillatory solutions of differential equations with a general piecewise constant argument2011881152-s2.0-83255192414ButrisR. N.AzizM. A.Some theorems in the existence and uniqueness for system of nonlinear integro-differential equations2006187689MitropolskyA. Y.MortynyukD. I.1979Kiev, UkraineGeneral SchoolTaiL. L.Numerical-analytic method for the investigation of autonomous systems of differential equations1978303309317ShlapakYu. D.Periodic solutions of ordinary differential equations of first order that are not solved with respect to the derivative1980325420425SamoilenkoA. M.Numerical-analytic method for the investigation of periodic systems of ordinary differential equations19651741623SamoilenkoA. M.RontoN. I.1979Moscow, RussiaMir PublishersButrisR. N.Periodic solution of nonlinear system of integro-differential equations depending on the gamma distribution20131515671SmartD. R.1980Cambridge, UKCambridge University PressBurtonT. A.Krasnoselskii's inversion principle and fixed points1997307397539862-s2.0-0042045315BurtonT. A.A fixed-point theorem of Krasnoselskii199811185882-s2.0-0008332593PintoM.SepúlvedaD.h-asymptotic stability by fixed point in neutral nonlinear differential equations with delay20117412392639332-s2.0-7995574839910.1016/j.na.2011.02.029KrasnoselskiiM. A.1966 (Russian)Moscow, RussiaNaukaEnglish translation American Mathematical Society, Providence, RI, USA, 1968