Next Article in Journal
Synthesis of Fuel Grade Molecules from Hydroprocessing of Biomass-Derived Compounds Catalyzed by Magnetic Fe(NiFe)O4-SiO2 Nanoparticles
Next Article in Special Issue
An Investigation of the Third Hankel Determinant Problem for Certain Subfamilies of Univalent Functions Involving the Exponential Function
Previous Article in Journal
Stagnation Point Flow and Heat Transfer over an Exponentially Stretching/Shrinking Sheet in CNT with Homogeneous–Heterogeneous Reaction: Stability Analysis
Previous Article in Special Issue
Collaborative Content Downloading in VANETs with Fuzzy Comprehensive Evaluation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Periodic Solutions of Delay Differential Equations with Impulses

Department of Mathematics, College of Sciences, King Saud University, Riyadh 11451, Saudi Arabia
Symmetry 2019, 11(4), 523; https://doi.org/10.3390/sym11040523
Submission received: 18 February 2019 / Revised: 4 April 2019 / Accepted: 8 April 2019 / Published: 11 April 2019
(This article belongs to the Special Issue Integral Transformations, Operational Calculus and Their Applications)

Abstract

:
The purpose of this paper is to study the nonlinear distributed delay differential equations with impulses effects in the vectorial regulated Banach spaces R ( [ r , 0 ] , R n ) . The existence of the periodic solution of impulsive delay differential equations is obtained by using the Schäffer fixed point theorem in regulated space R ( [ r , 0 ] , R n ) .
MSC:
primary 06F30; 46B20; 47E10; 34K13; 34K05

1. Introduction

In this paper, we will investigate the existence of periodic solutions for vectorial distributed delay differential equations with impulses in regulated Banach spaces. More precisely, the prototype of this delay differential equations with impulses, is of the form
d x ( t ) d t = λ x ( t ) + f ( t , x t ) , a . e . t [ 0 , ω + τ ] , λ > 0 , ω > 0 ,
x ( t j ) = x ( t j ) , and x ( t j + ) x ( t j ) = h j ( x ( t j ) ) , j = 1 , , l ,
x 0 ( θ ) = φ ( θ ) , θ [ τ , 0 ] ,
with x t ( θ ) = x ( t + θ ) , θ [ τ , 0 ] , τ > 0 and where x and φ are R n -valued functions on [ τ , ω ] , and [ τ , 0 ] , respectively. The Equation (1) is a nonlinear delay differential equation. More details about this type of equations can be found in [1]. Moreover, we assume that
(i)
h j C ( R n , R n ) , j = 1 , , l ,
(ii)
{ t 1 , t 2 , , t l } is an increasing family of strictly positive real numbers,
(iii)
there exist δ > 0 and T < , such that for any j = 1 , , l 1 , we have
0 < δ t j + 1 t j T < .
We call (2) the impulses equation where, x ( t j ) (resp. x ( t j + ) ) denotes the limit from the left (resp. from the right) of x ( t ) , as t tends to t j . This type of differential equations without delay was initiated in 1960’s by Milman and Myshkis [2,3]. This problem started to be popular mostly in Eastern Europe in the years 1960–1970, with special attention during the seventies of the last century. Later on, several investigations and important monographs appeared with more details, which show the importance of studying such systems, see for example [4,5,6,7,8,9,10,11]. In recent years, many investigations have arisen with applications to life sciences, such that the periodic treatment of some biomedical applications, where the impulses correspond to administration of a drug treatment at certain given times [12,13,14,15]. However, comparatively speaking, not much has been done in the study of impulsive functional differential equations in regulated vectorial space, taking into account the general theory of functional analysis and having an acceptable hypothesis that can be used in real life applications, see [12] for more details.
Let us first introduce for each τ > 0 , the regulated Banach space R = R ( [ τ , 0 ] , R n ) , given by:
R = φ : [ τ , 0 ] R n : φ has left and right limits at every points of [ τ , 0 ] ,
endowed with the following norm
φ R = sup θ [ τ , 0 ] φ ( θ ) .
We will make the following assumptions
(I)
The map f : [ 0 , ω + τ ] × R n R n , ω > 0 , satisfies
  • f ( t , φ ) f ( t , ψ ) R K φ ψ R , t [ 0 , ω + τ ] , φ , ψ R ,
  • M > 0 , f ( t , 0 ) R M , t [ 0 , ω + τ ] .
(II)
For each regulated map x : [ a , b ] R n , with b a > τ , we assume that the map t f ( t , x t ) is measurable over [ a + τ , b ] .
(III)
For each j = 1 , , l , h j : R n R n is a continuous map.
We set the initial value problem as follows
Problem 1.
Let φ be an element of R . We want to find a function x defined on [ τ , ω + τ ] such that x satisfies (1)–(3).
We consider the nonlinear impulsive delay differential equation in R as
d x ( t ) d t = λ x ( t ) + f ( t , x t ) , a . e . t [ 0 , ω + τ ] , λ > 0 , ω > 0 , x ( t j ) = x ( t j ) , and x ( t j + ) x ( t j ) = h j ( x ( t j ) ) , j = 1 , , l , x 0 ( θ ) = φ ( θ ) , θ [ τ , 0 ] and x ( 0 + ) = ξ R n .
The aim of this paper is to extend the main results related to the existence of the ω -periodic solutions for ordinary differential equations with impulses presented by Li et al. [16] and Nieto [17]. These papers contain references which provide additional reading on this topic, i.e., differential equations with impulses by using the fixed point theory.

2. Existence and Uniqueness of Solution

Let us start first by introducing some related definitions and lemmas.
Definition 1.
A function x : [ τ , ω + τ ] R n is called a solution of (1)–(3) if:
1.
x is absolutely continuous with respect to the Lebesgue measure;
2.
x is differentiable on the complement of a countable subset of [ 0 , ω + τ ] , and satisfies Equation (1) whenever d x ( t ) d t and the right hand side of (1) are defined on [ 0 , ω + τ ] ;
3.
x satisfies (2) at each point t j , t j 0 , j = 1 , , l , and the initial value function satisfies (3).
Lemma 1.
Let f : [ 0 , ω + τ ] × R R n be a map satisfying (I) and (II) and t 1 [ 0 , ω + τ ] . Then, for each ( φ , ξ ) R × R n , the problem
d x ( t ) d t = λ x ( t ) + f ( t , x t ) , a . e . t [ 0 , t 1 ]
( x 0 , x ( 0 + ) ) = ( φ , ξ ) R × R n ,
has a unique solution.
Proof. 
We set S = { y C ( [ 0 , t 1 ] , R n ) , y ( 0 ) = x ( 0 + ) = ξ } . Let us define the operator T by
T ( x ) ( t ) = ξ + 0 t f ( s , x s ) λ x ( s ) d s , 0 t t 1 .
For each y S , we consider the Nemytski operator F, defined by
F ( y ) ( t ) = f ( t , z t ) ,
where
z t ( θ ) = y ( t + θ ) , i f   t + θ 0 , φ ( t + θ ) , i f   t + θ 0 .
Then, we get
T ( y ) ( t ) = ξ + 0 t F ( y ) ( s ) λ y ( s ) d s .
Define, the norm of any function y in S by
y S = sup 0 t t 1 y ( t ) e ρ t ,
where ρ is a fixed positive constant greater than K + λ . We have for each y 1 ( t ) and y 2 ( t ) in S,
T ( y 1 ) ( t ) T ( y 2 ) ( t ) ( K + λ ) 0 t y 1 ( s ) y 2 ( s ) d s , ( K + λ ) 0 t e ρ s ρ s y 1 ( s ) y 2 ( s ) d s , ( K + λ ) y 1 y 2 S 0 t e ρ s d s , ( K + λ ) ρ y 1 y 2 S e ρ t ,
and hence
T ( y 1 ) T ( y 2 ) S ( K + λ ) ρ y 1 y 2 S .
Since K + λ ρ < 1 , then, T is a contraction on S, and the result follows immediately. □
Lemma 2.
[18] Let f : [ 0 , ω + τ ] × R R n be a map satisfying (I) and (II) and h j , for j = 1 , , l , satisfy the condition (III). Then the problem (1)–(3) has a unique solution.
Proof. 
The proof follows by using the last lemma. □
Lemma 3.
[18] Under the assumptions (I) and (II), if x ( φ ) ( t ) is the unique solution of (4) and (5), then one has:
x ( φ ) ( t ) e K t φ + 0 ω f ( s , 0 ) d s .
The next Lemma, gives a similar, key representation formula for the solutions of the delay differential equations with impulses (1)–(3) in regulated Banach space R , see [4] for more details.
Lemma 4.
The problem (1)–(3) can be written as
x t = φ t 0 + H t 0 ( ( ξ e λ max ( 0 , ) ) t φ ( 0 ) ) + 0 max ( 0 , ) f ( s , x s ) e λ ( s ) d s + 0 t j < e λ ( t j ) u j t ,
where
φ 0 ( θ ) = φ ( θ ) , i f   θ 0 , φ ( 0 ) , i f   θ > 0 ,
H 0 is the Heaviside function
H 0 ( θ ) = 0 , i f   θ 0 , 1 , i f   θ > 0 ,
and the sequence
u k = x ( t k + ) x ( t k ) , k 1
is determined by the following non-autonomous recurrence equation
u k = h k ξ e λ t k + 0 t k f ( s , x s ) e λ ( t k s ) d s + 0 t j < t k e λ ( t k t j ) u j , k 1 ,
starting from
u 1 = h 1 ξ e λ t 1 + 0 t 1 f ( s , x s ) e λ ( t 1 s ) d s .
Proof. 
Let us consider z ( t ) = e λ t x ( t ) , t [ 0 , ω + τ ] , then the problem (1)–(3) becomes
d z ( t ) d t = f ( t , e λ ( t + θ ) z t ) e λ t , a . e . t [ 0 , ω + τ ] , λ > 0 , ω > 0 ,
z ( t j ) = z ( t j ) , and z ( t j + ) z ( t j ) = e λ t j h j ( e λ t j z ( t j ) ) , j = 1 , , l ,
z 0 ( θ ) = e λ θ φ ( θ ) = φ ˜ ( θ ) , θ [ τ , 0 ] , and z ( 0 + ) = ξ R n .
Let us consider t [ t j , t j + 1 ) , j = 1 , , l 1 , with t 0 = 0 , then we get
z ( t ) = z ( t j + ) + t j t f ( s , e λ ( s + θ ) z s ) e λ s d s .
By passing to the limit as t goes to t j , and by solving the delay differential Equation (14) on the interval [ t j 1 , t j ) , we have
z ( t j ) = z ( t j 1 + ) + t j 1 t j f ( s , e λ ( s + θ ) z s ) e λ s d s .
Then, by taking into account the impulses condition (15), we have
z ( t ) = z ( t j 1 + ) + t j 1 t f ( s , e λ ( s + θ ) z s ) e λ s d s + e λ t j h j ( e λ t j z ( t j ) ) ,
for all t [ t j , t j + 1 ) , for j = 1 , , l 1 . Consequently, we can rewrite the last equations in more general form for all t > 0
z ( t ) = ξ + 0 t f ( s , e λ ( s + θ ) z s ) e λ s d s + 0 t j < t e λ t j u j , t { t k } k 1 ,
where z ( 0 + ) = x ( 0 + ) = ξ , and
u k = z ( t k + ) z ( t k ) = h k ( e λ t k z ( t k ) ) , k 1 .
Now, we will try to involve the u k s . To this end, we will take the limit from the left of the Formula (17) as t tends to t k > 0 , we obtain
z ( t k ) = ξ + 0 t k f ( s , e λ ( s + θ ) z s ) e λ s d s + 0 t j < t k e λ t j u j .
Substituting the last expression into (18), we have
u k = h k e λ t k ξ + 0 t k f ( s , e λ ( s + θ ) z s ) e λ ( s t k ) d s + 0 t j < t k e λ ( t j t k ) u j .
In particular, we have { j : 0 t j < t 1 } = , and therefore
u 1 = h 1 e λ t 1 ξ + 0 t 1 f ( s , e λ ( s + θ ) z s ) e λ s d s .
By using, the Equation (16), we can rewrite the Equation (17) as
z t ( θ ) = ξ + 0 t + θ f ( s , e λ ( s + θ ) z s ) e λ s d s + 0 t j < t + θ e λ t j u j , t + θ { t k } k 0 , and   t + θ 0 ,
and by using x ( t ) = e λ t z ( t ) , we have for t + θ { t k } k 1 , and t + θ 0
x t ( φ ( θ ) ) = ξ e λ ( t + θ ) + 0 t + θ f ( s , x s ) e λ ( t + θ s ) d s + 0 t j < t + θ e λ ( t + θ t j ) u j .
Using (12) and (13), we get
x t ( φ ) = φ t 0 + H t 0 ( ( ξ e λ max ( 0 , ) ) t φ ( 0 ) ) + 0 max ( 0 , ) f ( s , x s ) e λ ( s ) d s + 0 t j < e λ ( t j ) u j t ,
where
u k = h k ξ e λ t k + 0 t k f ( s , x s ) e λ ( t k s ) d s + 0 t j < t k e λ ( t k t j ) u j , k 1 .
starting from
u 1 = h 1 ξ e λ t 1 + 0 t 1 f ( s , x s ) e λ ( t 1 s ) d s .
Remark 1.
Taking into account the conditions (II)–(III), we have u t R , t [ 0 , ω + τ ] , and t x t is a regulated function, because the functions t φ t 0 , and t H t 0 are regulated.
In the next section, we will investigate the existence of the periodic solution(s) for the delay differential equation with impulses (1)–(3) using Schäffer’s fixed point theorem [19].

3. Existence of Periodic Solutions

Let us consider the Poincaré operator, given by:
J : R R φ x ω ( φ ) ,
where x ω ( φ ) is the solution of the delay differential equation with impulses (1)–(3). It is clear that if the Poincaré operator J admit a fixed point, then (1)–(3) has a ω -periodic solution. The following lemma is useful to prove the main theorem.
Lemma 5.
The problem (1)–(3) has a ω-periodic solution in R if and only if the integral equation
x t ( φ ) ( θ ) = e λ θ t + θ t + ω + θ G ( t , s ) f ( s , x s ) d s + e λ θ t + θ t j < t + ω + θ G ( t , t j ) u j , i f   0 t + θ ω , φ ( t + θ ) , i f   τ t + θ 0 ,
has a solution t [ 0 , ω + τ ] and ω τ , where
G ( t , s ) = e λ ( t s ) e λ ω 1 ,
and the sequence
u k = x ( t k + ) x ( t k ) , k 1
is determined by the following non-autonomous recurrence equation
u k = h k t k t k + ω G ( t , s ) f ( s , x s ) d s + t k t j < t k + ω G ( t , t j ) u j , k 1 ,
starting from
u 1 = h 1 ξ e λ t 1 + 0 t 1 f ( s , x s ) e λ ( t 1 s ) d s .
Proof. 
Using the expression (19) for t + ω + θ , where t 0 , and ω τ , we have for all t + θ 0
z t + ω ( θ ) = ξ + 0 t + ω + θ f ( s , e λ ( s + θ ) z s ) e λ s d s + 0 t j < t + ω + θ e λ t j u j , = ξ + 0 t + θ f ( s , e λ ( s + θ ) z s ) e λ s d s + 0 t j < t + θ e λ t j u j + t + θ t + ω + θ f ( s , e λ ( s + θ ) z s ) e λ s d s + t + θ t j < t + ω + θ e λ t j u j , = z t ( θ ) + t + θ t + ω + θ f ( s , e λ ( s + θ ) z s ) e λ s d s + t + θ t j < t + ω + θ e λ t j u j ,
and, by using the ω -periodic condition z t + ω ( θ ) = e λ ω z t ( θ ) , we get
z t ( θ ) = 1 e λ ω 1 t + θ t + ω + θ f ( s , e λ ( s + θ ) z s ) e λ s d s + 1 e λ ω 1 t + θ t j < t + ω + θ e λ t j u j .
Therefore, using z t ( θ ) = e λ ( t + θ ) x t ( θ ) , we have
x t ( θ ) = e λ θ t + θ t + ω + θ G ( t , s ) f ( s , x s ) d s + e λ θ t + θ t j < t + ω + θ G ( t , t j ) u j ,
where
G ( t , s ) = e λ ( t s ) e λ ω 1 .
Then
u k = h k t k t k + ω G ( t , s ) f ( s , x s ) d s + t k t j < t k + ω G ( t , t j ) u j , k 1 ,
starting from
u 1 = h 1 ξ e λ t 1 + 0 t 1 f ( s , x s ) e λ ( t 1 s ) d s .
Example 1.
Let us consider the scalar delay differential equation with impulses:
d x ( t ) d t = λ x ( t ) + f ( t , x ( t τ ) ) , a . e . t [ 0 , 2 τ ] ,
x ( τ ) = x ( τ ) , a n d x ( τ + ) x ( τ ) = c x ( τ ) ,
x ( θ ) = φ ( θ ) , θ [ τ , 0 ] ,
where f : [ 0 , 2 τ ] × R R n is a map satisfying (II). Let us investigate the existence of the τ-periodic solution of (22)–(24) such that x t + τ ( τ ) = x t ( τ ) , τ t 2 τ . The solution of the delay differential Equations (22)–(24), can be written as
x ( t ) = φ ( θ ) , i f   τ t 0 , φ ( 0 ) e λ t + 0 t e λ ( t s ) f ( s , x ( s τ ) ) d s , i f   0 t τ , x ( τ + ) e λ ( t τ ) + τ t e λ ( t s ) f ( s , x ( s τ ) ) d s , i f   τ < t 2 τ .
Using (23), we get
x ( τ + ) = x ( τ ) + c x ( τ ) , = ( c + 1 ) x ( 0 ) e λ τ + ( c + 1 ) 0 τ e λ ( τ s ) f ( s , x ( s τ ) ) d s .
Therefore, if τ t < 2 τ , we have
x ( t ) = ( c + 1 ) φ ( 0 ) e λ τ + ( c + 1 ) 0 τ e λ ( τ s ) f ( s , x ( s τ ) ) d s e λ ( t τ ) + τ t e λ ( t s ) f ( s , x ( s τ ) ) d s , = ( c + 1 ) φ ( 0 ) e λ τ e λ ( t τ ) + ( c + 1 ) e λ τ 0 t τ e λ ( t τ s ) f ( s , x ( s τ ) ) d s + ( c + 1 ) e λ τ t τ τ e λ ( t τ s ) f ( s , x ( s τ ) ) d s + τ t e λ ( t s ) f ( s , x ( s τ ) ) d s , = ( c + 1 ) e λ τ x ( t τ ) + t τ τ e λ ( t τ s ) f ( s , x ( s τ ) ) d s + τ t e λ ( t s ) f ( s , x ( s τ ) ) d s ,
which implies
x t + τ ( τ ) = ( c + 1 ) e λ τ x t ( τ ) + t τ τ e λ ( t τ s ) f ( s , x ( s τ ) ) d s + τ t e λ ( t s ) f ( s , x ( s τ ) ) d s .
Then, we have three cases.
(1) 
If 1 ( c + 1 ) e λ τ 0 , then, we have the existence and uniqueness of a τ-periodic solution.
(2) 
If 1 ( c + 1 ) e λ τ = 0 , and
t τ τ e λ ( t τ s ) f ( s , x ( s τ ) ) d s + τ t e λ ( t s ) f ( s , x ( s τ ) ) d s = 0 ,
then, we have the existence of infinitely many τ-periodic solutions.
(3) 
If 1 ( c + 1 ) e λ τ = 0 , and
t τ τ e λ ( t τ s ) f ( s , x ( s τ ) ) d s + τ t e λ ( t s ) f ( s , x ( s τ ) ) d s 0 ,
then, there exists no τ-periodic solution.
Now, we can consider for each t τ and ω τ , the Poincaré operator J : R R defined by
J φ = e λ ( t ) + ω G ( t , s ) f ( s , φ ) d s + e λ ( t ) t j < + ω G ( t , t j ) u j t ,
where
u k = h k t k t k + ω G ( t , s ) f ( s , x s ) d s + t k t j < t k + ω G ( t , t j ) u j , k 2 ,
and, starting from
u 1 = h 1 ξ e λ t 1 + 0 t 1 f ( s , x s ) e λ ( t 1 s ) d s .
It is clear, that, the ω -periodic solutions in R of (1)–(3) are exactly the fixed points of the Poincaré operator J, i.e., J φ = φ .
The following theorem, is known as the Schäffer’s fixed point theorem [19], which can be found for example in Deimling’s book [20].
Theorem 1.
[19,20,21,22] Let X be a normed space, F a continuous mapping of X into X, such that the closure of F ( B ) is compact for any bounded subset B of X. Then either:
(i) 
the equation x = λ F x has a solution for λ = 1 , or
(ii) 
the set of all such solutions x, for 0 < λ < 1 , is unbounded.
Before, we state the main theorem of our work, we will need the following lemma.
Lemma 6.
Let f : [ 0 , ω + τ ] × R R n be a map satisfying (I) and (II), where ω τ , and h j , j = 1 , , l are bounded and satisfy the condition (III). Then, the Poincaré operator J : R R is completely continuous.
Proof. 
Let B R be a bounded set and φ B . Then by using the condition (I), we have
f ( t , φ ) R f ( t , 0 ) R + f ( t , φ ) f ( t , 0 ) R M + K φ R < .
Therefore, there exist two constants M ˜ and M ¯ such that
J φ ( θ ) = e λ θ t + θ t + θ + ω f ( s , φ ) G ( t , s ) d s + e λ θ t + θ t j < t + θ + ω G ( t , t j ) u j , e λ θ t + θ t + θ + ω f ( s , φ ) G ( t , s ) d s + e λ r t + θ t j < t + θ + ω G ( t , t j ) u j , e λ τ ω M ˜ + e λ r t + θ t j < t + θ + ω M ¯ ,
where
u k = h k t k t k + ω G ( t , s ) f ( s , x s ) d s + t k t j < t k + ω G ( t , t j ) u j < , k 2 ,
and starting from
u 1 = h 1 ξ e λ t 1 + 0 t 1 f ( s , x s ) e λ ( t 1 s ) d s < ,
and, we have
J φ R e λ τ ω M ˜ + e λ r M ¯ t + θ t j < t + θ + ω 1 ,
which imply that J ( B ) is uniformly bounded. For each t 0 , there exists n N * such that t [ t n , t n + 1 ) , and for any θ , θ ˜ [ r , 0 ] , one can obtain for any φ B
J φ ( θ ) J φ ( θ ˜ ) e λ θ t + θ t + θ + ω f ( s , φ ) G ( t , s ) d s e λ θ t + θ ˜ t + θ ˜ + ω f ( s , φ ) G ( t , s ) d s + e λ θ t + θ t j < t + θ + ω G ( t , t j ) u j e λ θ t + θ ˜ t j < t + θ ˜ + ω G ( t , t j ) u j , e λ ( r + ω ) M + K φ 1 e λ ω t + θ t + θ + ω e λ ( t s ) d s t + θ ˜ t + θ ˜ + ω e λ ( t s ) d s + e λ ( r + ω ) 1 e λ ω t + θ t j < t + θ + ω u j t + θ ˜ t j < t + θ ˜ + ω u j .
Therefore, for each t [ t n , t n + 1 ) , we will have as θ θ ˜ goes to 0, J φ ( θ ) J φ ( θ ˜ ) goes to 0, which imply that the Poincaré operator J ( B ) is equicontinuous. Using Arzelà-Ascoli’s theorem, we conclude that the Poincaré operator J is completely continuous. □
Now, we are ready to state the main result of our work, related to the existence of ω -periodic solution(s) of (1)–(3).
Theorem 2.
Let f : [ 0 , ω + τ ] × R R n be a map satisfying (I) and (II), where ω τ , and h j , j = 1 , , l are bounded and satisfy the condition (III). Then, the nonlinear impulsive problem (1)–(3), has at least one ω-periodic solution in R .
Proof. 
Let us define H ( φ , μ ) : R × [ 0 , 1 ] R by
H ( φ , μ ) = μ J φ .
Then, by using (26), we have
H ( φ , μ ) R μ e λ τ ω M ˜ + e λ r t + θ t j < t + θ + ω M ¯ .
Then, for each μ ( 0 , 1 ) the set S = { φ : φ = H ( φ , μ ) } is bounded. Since J is completely continuous, then by using Schäffer’s fixed point theorem, the Poincaré operator J admits a fixed point. □
Next, we give the conditions of the existence and uniqueness of a ω -periodic solution of (1)–(3).
Theorem 3.
Let f : [ 0 , ω + τ ] × R R n be a map satisfying (I) and (II), where ω τ , and h j , j = 1 , , l are bounded and satisfy the condition (III), and there exist constants H ¯ j , j = 1 , , l , such that
h j ( φ ( 0 ) ) h j ( ψ ( 0 ) ) H ¯ j φ ψ R .
If, there exists a constant C < 1 , such that
K ω e λ r 1 e λ ω + e λ r 1 e λ ω t r + ω t j < t + ω H ¯ j C ,
then, the nonlinear impulsive problem (1)–(3), has a unique ω-periodic solution in R .
Proof. 
Let φ , ψ R be two solutions of (1)–(3), i.e., J φ = φ and J ψ = ψ . Assume ϕ ψ . We have
φ ( θ ) ψ ( θ ) = J φ ( θ ) J ψ ( θ ) , e λ r t + θ t + θ + ω G ( t , s ) f ( s , φ ) f ( s , ψ ) R d s + e λ r t r + ω t j < t + ω G ( t , t j ) h j ( φ ( 0 ) h j ( ψ ( 0 ) ) , K ω e λ r 1 e λ ω + e λ r 1 e λ ω t r + ω t j < t + ω H ¯ j φ ψ R , C φ ψ R .
Hence
φ ψ R C φ ψ R , < φ ψ R .
This contradiction implies, the uniqueness of the ω -periodic solution of (1)–(3). □

4. Conclusions

The method described in this work presents new challenges for more investigation on more realistic models; such as the extension of the ascorbic acid model [12] and H I V model [13,14]. Taking into account the delay effect on respective compartments [23,24,25]. This kind of work, will need more investigation on modeling validation effort, keeping a close eye on the real life data in order to have a more realistic model. The explicit solutions presented in the technical Lemma 4 and methods of proving the existence of periodic solutions are very useful for further future investigations.

Funding

This research was funded by Deanship of Scientific Research at King Saud University, Grant No. RG-1435-079.

Acknowledgments

The authors would like to express their deep appreciation to the Deanship of Scientific Research at King Saud University for supporting this Research group No. (RG-1435-079). The authors profusely thank the referees for their valuable comments.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Hale, J. Theory of Functional Differential Equations; Springer: New York, NY, USA, 1977. [Google Scholar]
  2. Milman, V.D.; Myshkis, A.D. On the stability of motion in the presence of impulses. Sib. Math. J. 1960, 1, 233–237. (In Russian) [Google Scholar]
  3. Mil’man, V.D.; Myshkis, A.D. Random impulses in linear dynamical systems. In Approximate Methods of Solution of Differential Equations; Publishing House of the Academy of Sciences: Kiev, Ukraim, 1963; pp. 64–81. (In Russian) [Google Scholar]
  4. Bachar, M.; Arino, O. Stability of a general linear delay-differential equation with impulses. Dyn. Contin. Discret. Impuls. Syst. Ser. A Math. Anal. 2003, 10, 973–990. [Google Scholar]
  5. Bainov, D.D.; Barbanti, L.; Hristova, S.G. Method of quasilinearization for the periodic boundary value problem for impulsive differential-difference equations. Commun. Appl. Anal. 2003, 7, 153–170. [Google Scholar]
  6. Bainov, D.D.; Hristova, S.G.; Hu, S.C.; Lakshmikantham, V. Periodic boundary value problems for systems of first order impulsive differential equations. Differ. Integr. Equ. 1989, 2, 37–43. [Google Scholar]
  7. Bainov, D.D.; Simeonov, P.S. Systems with Impulse Effect. Stability, Theory and Applications; Ellis Horwood Limited: Hemel Hempstead, UK; John Wiley & Sons: Chichester, UK, 1989. [Google Scholar]
  8. Bajo, I.; Liz, E. Periodic boundary value problem for first order differential equations with impulses at variable times. J. Math. Anal. Appl. 1996, 204, 65–73. [Google Scholar] [CrossRef]
  9. Berezansky, L.; Braverman, E. Impulsive equations: Overview and open problems. Funct. Differ. Equ. 2008, 15, 39–56. [Google Scholar]
  10. Pandit, S.G.; Deo, S.G. Differential Systems Involving Impulses; Springer: New York, NY, USA; Berlin, Germany, 1982. [Google Scholar]
  11. Zhao, K. Global exponential stability of positive periodic solution of the n-species impulsive Gilpin-Ayala competition model with discrete and distributed time delays. J. Biol. Dyn. 2018, 12, 433–454. [Google Scholar] [CrossRef] [PubMed]
  12. Bachar, M.; Raimann, J.G.; Kotanko, P. Impulsive mathematical modeling of ascorbic acid metabolism in healthy subjects. J. Theor. Biol. 2016, 392, 35–47. [Google Scholar] [CrossRef] [PubMed]
  13. Miron, R.E.; Smith, R.J. Resistance to protease inhibitors in a model of HIV-1 infection with impulsive drug effects. Bull. Math. Biol. 2014, 76, 59–97. [Google Scholar] [CrossRef] [PubMed]
  14. Miron, R.E. Impulsive Differential Equations with Applications to Infectious Diseases. Ph.D. Thesis, Department of Mathematics and Statistics, Faculty of Science, University of Ottawa, Ottawa, ON, Canada, 2014. [Google Scholar]
  15. Pan, T.; Jiang, D.; Hayat, T.; Alsaedi, A. Extinction and periodic solutions for an impulsive SIR model with incidence rate stochastically perturbed. Phys. A 2018, 505, 385–397. [Google Scholar] [CrossRef]
  16. Li, J.; Nieto, J.J.; Shena, J. Impulsive periodic boundary value problems of first-order differential equations. J. Math. Anal. Appl. 2007, 325, 226–236. [Google Scholar] [CrossRef] [Green Version]
  17. Nieto, J.J. Basic theory for nonresonance impulsive periodic problems of first order. J. Math. Anal. Appl. 1997, 205, 423–433. [Google Scholar] [CrossRef]
  18. Bachar, M.; Magal, P. Existence of Periodic Solution for a Class of Delay Differential Equations with Impulses; Topics in Functional Differential and Difference Equations (Lisbon, 1999); Fields Inst. Commun. Amer. Math. Soc.: Providence, RI, USA, 2001; Volume 29, pp. 37–49. [Google Scholar]
  19. Schäffer, H. Über die Methode der a priori-Schranken. Mathematische Annalen 1955, 129, 415–416. [Google Scholar] [CrossRef]
  20. Deimling, K. Nonlinear Functional Analysis; Springer: New York, NY, USA, 1985. [Google Scholar]
  21. Evans, L.C. Partial Differential Equations, Graduate Studies in Mathematics; American Mathematical Society: Providence, RI, USA, 2010. [Google Scholar]
  22. Smart, D.R. Fixed Point Theorems; Cambridge Tracts in Mathematics, No. 66; Cambridge University Press: London, UK; New York, NY, USA, 1974. [Google Scholar]
  23. Morse, S.S. Factors in the emergence of infectious diseases. Emerg. Infect. Dis. 1995, 1, 7–15. [Google Scholar] [CrossRef] [PubMed]
  24. Wang, G.; Yin, T.; Wang, Y. In vitro and in vivo assessment of high-dose vitamin C against murine tumors. Exp. Ther. Med. 2016, 12, 3058–3062. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  25. Yung, S.; Mayersohn, M.; Robinson, J.B. Ascorbic acid absorption in humans: A comparison among several dosage forms. J. Pharm. Sci. 1982, 71, 282–285. [Google Scholar] [CrossRef] [PubMed]

Share and Cite

MDPI and ACS Style

Bachar, M. On Periodic Solutions of Delay Differential Equations with Impulses. Symmetry 2019, 11, 523. https://doi.org/10.3390/sym11040523

AMA Style

Bachar M. On Periodic Solutions of Delay Differential Equations with Impulses. Symmetry. 2019; 11(4):523. https://doi.org/10.3390/sym11040523

Chicago/Turabian Style

Bachar, Mostafa. 2019. "On Periodic Solutions of Delay Differential Equations with Impulses" Symmetry 11, no. 4: 523. https://doi.org/10.3390/sym11040523

APA Style

Bachar, M. (2019). On Periodic Solutions of Delay Differential Equations with Impulses. Symmetry, 11(4), 523. https://doi.org/10.3390/sym11040523

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop