Next Article in Journal
Electric Vehicle Penetration in Distribution Network: A Swedish Case Study
Next Article in Special Issue
Productivity Equation and the m Distributions of Information Processing in Workflows
Previous Article in Journal
Ant Lion Optimized Fractional Order Fuzzy Pre-Compensated Intelligent Pid Controller for Frequency Stabilization of Interconnected Multi-Area Power Systems
Previous Article in Special Issue
Chaos Synchronization in Visible Light Communications with Variable Delays Induced by Multipath Fading
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence of Fractional Impulsive Functional Integro-Differential Equations in Banach Spaces

1
Department of Applied Mathematics, Virginia Military Institute (VMI), 431, Mallory Hall, Lexington, VA 24450, USA
2
PG and Research Department of Mathematics, Kongunadu Arts and Science College (Autonomous), Coimbatore 641029, Tamil Nadu, India
3
Department of Mathematics, Kongunadu Arts and Science College (Autonomous), Coimbatore 641029, Tamil Nadu, India
4
Department of Mathematics, SRMV College of Arts and Science, Coimbatore 641020, Tamilnadu, India
*
Author to whom correspondence should be addressed.
Appl. Syst. Innov. 2019, 2(2), 18; https://doi.org/10.3390/asi2020018
Submission received: 24 October 2018 / Revised: 24 May 2019 / Accepted: 27 May 2019 / Published: 14 June 2019
(This article belongs to the Special Issue Non-linear Devices, Systems, Networks and Their Applications)

Abstract

:
In this paper, we establish the existence of piece wise (PC)-mild solutions (defined in Section 2) for non local fractional impulsive functional integro-differential equations with finite delay. The proofs are obtained using techniques of fixed point theorems, semi-group theory and generalized Bellman inequality. In this paper, we used the distributed characteristic operators to define a mild solution of the system. We also discussed the controversy related to the solution operator for the fractional order system using weak and strong Caputo derivatives. Examples are given to illustrate the theory.

1. Introduction

Fractional calculus has gained considerable popularity and importance during the past four decades because fractional derivatives provide an excellent tool for the description of the memory and hereditary properties of various processes. Fractional differential equations produce many applications in many physical phenomena such as seepage flow in porous media and in fluid dynamic traffic models. The most important advantage of using fractional differential equations in these and other applications is their non local property. Also, the study of fractional differential equations has gained considerable importance due to their application in various fields including bio-engineering, mechanics, electrical networks, control theory of dynamical systems, viscoelasticity and so on. Viscoelasticity and related phenomena are of great importance in the study of the mechanical properties of material, especially biological materials. Certain materials show some complex effects in mechanical tests, which cannot be described by a standard linear equation (SLE) mostly owing to shape memory effect during deformation. Recently, researchers have been applying fractional calculus in order to probe the viscoelasticity of such materials with high precision. Fractional calculus is a powerful tool for modeling complex phenomenon. More specifically, modeling of the shape memory phenomena with this powerful tool is studied from different perspectives, as well as presenting physical interpretations. There are different models to evaluate and predict the constitutive equation in the viscoelastic system, these models are commonly composed of a different combination of springs and dampers elements. For example, two well-known models are the Maxwell and Kelvin models. The method of distributed characteristic operators is more efficient for defining a mild solution of such systems.
Fractional Calculus is a new powerful tool which has been recently employed to model complex biological systems with non-linear behavior and long-term memory. In recent years, there has been a significant development in fractional differential equations involving fractional derivatives, see the monographs of [1,2,3,4,5] and [6,7,8]. In Refs. [9,10,11], authors have studied existence of mild solutions of some semi-linear neutral fractional functional evolution equations with infinite delay with nonlocal conditions. Vijayakumar et al. [12,13] discussed the approximate and exact controllability of fractional neutral integro-differential inclusions with state dependent delay.
The study of impulsive differential equations is linked to their utility in simulating processes and phenomena subject to short time perturbations during their evolution. The perturbations are performed discretely and their duration is negligible in comparison with the total duration of the processes and phenomena. Integro-differential equations play an important role in many branches of linear and non linear functional analysis and their applications in the theory of engineering, mechanics, physics, chemistry, biology, economics, and electrostatics. In recent years, impulsive integro-differential equations have become an important object of investigation stimulated by their numerous applications to problems in mechanics, electrical engineering, medicine, biology, ecology and so forth [14,15,16,17,18,19]. Gürbüz studied the estimation and behavior of a class of fractional type rough higher order commutators, sublinear operators, and multi-sublinear operators on generalized weighted Morrey spaces [20,21,22,23,24,25].
The dynamics of many evolutionary processes from various fields such as population dynamics, control theory, physics, biology and medicine undergo abrupt changes at certain moments of time like earth quack, harvesting, shock and so forth. These perturbations can be well approximated as an instantaneous change of states or impulses. These processes are modeled by impulsive differential equations.
The advantage of using non local conditions is that they are measurable at more places and these can be incorporated to get better models. The non local Cauchy problem for the abstract evolution differential equation was first studied by Byszewski [26]. For the importance of non local conditions in different fields, we refer the reader to Refs. [11,27,28].
Recently, in Ref. [29], the authors studied the existence of mild solutions for impulsive fractional semi-linear integro-differential equations using the Banach contraction principle and Schaefer’s fixed point theorem. They have considered the system without delay and without non local condition. Our work generalizes the work done in Ref. [29] with abstract formulation. According to our knowledge this is an untreated article in the literature.
Motivated by the above mentioned paper, we study the existence of mild solutions for non local impulsive fractional semi-linear integro-differential equations of the form
C D 0 , t q x ( t ) = C D t q x ( t ) = D t q x ( t ) = A x ( t ) + f t , x t , 0 t h ( t , s , x s ) d s , 0 b k ( t , s , x s ) d s ,
x ( 0 ) = x 0 + g ( x ) X ,
Δ x | t = t k = I k ( x ( t k ) ) , k = 1 , 2 , , m ; t J = [ 0 , b ] , t t k ,
where C D t q is the Caputo fractional derivative of order q, 0 < q < 1 , with lower limit zero, the histories x t : ( r , 0 ] X are defined by x t ( θ ) = x ( t + θ ) belongs to a Banach space X. A : D ( A ) X X is the infinitesimal generator of a strongly continuous semi-group ( T ( t ) ) t 0 of a uniformly bounded operator on X, and A is a bounded linear operator. f : J × X × X × X X is jointly continuous, h , k : J × J × X X are continuous, I k : X X are impulsive functions, 0 = t 0 < t 1 < < t m < t m + 1 = b , Δ x | t = t k = x ( t k + ) x ( t k ) , x ( t k + ) = lim h 0 + x ( t k + h ) and x ( t k ) = lim h 0 x ( t k + h ) represent the right and left limits of x ( t ) at t = t k , respectively. Our method avoids the compactness conditions on the semi-group { T ( t ) } t 0 , and some other hypotheses are more general compared with the previous research papers.
System {(1),(2),(3)} described above fits to the mechanical system with impact, the biological phenomenon involving thresholds, the bursting rhythm models and industrial robotics, and many more. In particular, the above mentioned system {(1),(2),(3)} and its piecewise (PC)-mild solution (in Section 2) is helpful to generate the tuning and auto-tuning of fractional order controllers for industry applications. Monje et al. [30] design the fractional order P I λ D μ controllers to ensuring a robust performance of the controlled system with respect to gain variations and noise, without using the delay part but can be generalized in a more specific way using the delay for a closed loop and the open loop systems. System {(1),(2),(3)} can also be analyzed for a finite time stability test procedure for robotic system where it appears a time delay in fractional control system (refer [31]) but with impulses.
In Section 2, we give some preliminary definitions and lemmas that are to be used later to prove our main results. In Section 3, the existence of P C -mild solutions for system {(1),(2),(3)} with non-local conditions is discussed. The results are obtained by using the Banach contraction principle and Schaefer’s fixed point theorem. An example is given in Section 4 to illustrate the application of our main results.

2. Preliminaries

Symbols:
  • X: Banach Space;
  • P C [ J , X ] : piece-wise continuous function from [ J , X ] ;
  • A ( t ) : infinitesimal generator of a strongly continuous semigroup T ( t ) ;
  • I α f ( t ) : fractional integral of order α for a function f;
  • ( R L ) D α : Riemann-Liouville (R-L) fractional derivative of order α > 0 , n 1 < α < n , n N ;
  • C D t q : Caputo fractional derivative of order q , 0 < q < 1 ;
  • C D s α f ( t ) : strong Caputo derivative of order α > 0 .
Let us consider the set of functions P C [ J , X ] = { x : J X | x C [ ( t k , t k + 1 ) , X ] and there exists x ( t k + ) and x ( t k ) , k = 0 , 1 , 2 , , m and x ( t k ) = x ( t k ) } , endowed with the norm | | x | | P C = sup t J | | x ( t ) | | . It is easy to know that ( P C [ J , X ] , | | . | | P C ) is a Banach space. Throughout this paper, let A be the infinitesimal generator of a C 0 semi-group ( T ( t ) ) t 0 of a uniformly bounded operators on X and let L B ( X ) be the Banach space of all linear and bounded operators on X. For a C 0 semi-group ( T ( t ) ) t 0 , we set M 1 = sup t J | | T ( t ) | | L B ( X ) .
For each positive constant r, set B r = { x P C [ J , X ] : | | x | | r } .
Let us recall the following known definitions. For more details, see Ref. [32].
Definition 1.
The fractional integral of order α with the lower limit zero for a function f is defined as
I α f ( t ) = 1 Γ ( α ) 0 t f ( s ) ( t s ) 1 α d s , t > 0 , α > 0 ,
provided the right hand-side is point-wise defined on [ 0 , ) , where Γ ( · ) is the gamma function, which is defined by Γ ( α ) = 0 t α 1 e t d t .
Definition 2.
The Riemann-Liouville (R-L) fractional derivative of order α > 0 , n 1 < α < n , n N , is defined as
( R L ) D 0 + α f ( t ) = 1 Γ ( n α ) d d t n 0 t ( t s ) n α 1 f ( s ) d s ,
where the function f ( t ) has absolutely continuous derivative up to order ( n 1 ) .
Definition 3.
The (strong or classical) Caputo derivative of order α for a function f L 1 ( [ 0 , ) , R ) given on the interval [ 0 , ) is defined by (if it exists)
C D s α f ( t ) = 1 Γ ( n α ) 0 t f ( n ) ( s ) ( t s ) α + 1 n d s , t > 0 , n 1 < α n , n N .
Remark 1.
1.
R-L and Caputo are just two different operators that are related to each other in a quite simple way. Quite a few details about this are given in the book by Diethelm [2]. There we can also see the exact description of when they are equivalent. The most important difference between them is, of course, the structure of their kernels (i.e., the set of functions that is mapped to zero). Depending on what we want from our operator, one of them or the other one may be the right choice for us. We are using here Caputo because the derivative of a constant is zero for Caputo but not for R-L.
2.
If a derivative of Caputo type is used instead of R-L type then initial conditions for the corresponding Caputo fractional differential equations can be formulated as for classical ordinary equations, namely x ( 0 ) = x 0 .
3.
One has to make sure to use a constant function and the Heaviside unit step. They must be considered different so they must have different fractional derivatives. The Heaviside unit step is expected to have a non zero fractional derivative. If one given derivative gives zero it is useless due to the importance it enjoys in practice and its relation with the Dirac delta.
Definition 4.
The (weak or generalization of classical) Caputo derivative of order α for a function f L 1 ( [ 0 , ) , R ) given on the interval [ 0 , ) is defined by (if it exists)
C D w α f ( t ) = C D α f ( t ) = D α f ( t ) k = 0 n 1 t k k ! f ( k ) ( 0 ) , t > 0 , n 1 < α n , n N .
Remark 2.
1.
If f ( t ) C n [ 0 , ) , then
C D w α f ( t ) = 1 Γ ( n α ) 0 t f ( n ) ( s ) ( t s ) α + 1 n d s = I n α f ( n ) ( t ) = C D s α f ( t ) , t > 0 , n 1 < α n .
Note that for strong Caputo derivative in Definition 3, f C n ( [ 0 , ) , R ) is not necessarily required. In fact, f ( n ) L 1 ( [ 0 , ) , R ) , for example, f ( n 1 ) be of bounded variation, can guarantee the existence of D s α f ( t ) on [ 0 , ) .
2.
The Caputo derivative of a constant is equal to zero.
3.
If f is an abstract function with values in X, then integrals which appear in Definitions 1 and 2 are taken in Bochner’s sense.
Definition 5
([33]). By a P C -mild solution of the Equations {(1),(2),(3)} we mean that a function x P C [ J , X ] which satisfies the following integral equation:
x ( t ) = T ( t ) ( x 0 + g ( x ) ) + 0 t ( t s ) q 1 S ( t s )       ( × ) f ( s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ ) d s , t [ 0 , t 1 ] , T ( t ) ( x 0 + g ( x ) ) + T ( t t 1 ) I 1 ( x ( t 1 ) ) + 0 t ( t s ) q 1 S ( t s )       ( × ) f ( s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ ) d s , t ( t 1 , t 2 ] , T ( t ) ( x 0 + g ( x ) ) + k = 1 m T ( t t k ) I k ( x ( t k ) ) + 0 t ( t s ) q 1 S ( t s )       ( × ) f ( s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ ) d s , t ( t m , b ] ,
where T ( . ) and S ( . ) are called characteristic solution operators and given by
T ( t ) = 0 ξ q ( θ ) T ( t q θ ) d θ , S ( t ) = q 0 θ ξ q ( θ ) T ( t q θ ) d θ ,
and for θ ( 0 , ) ,
ξ q ( θ ) = 1 q θ 1 1 q ϖ q ( θ 1 q ) 0 , ϖ q ( θ ) = 1 π n = 1 ( 1 ) n 1 θ q n 1 Γ ( n q + 1 ) n ! s i n ( n π q ) ,
where ξ q is a probability density function defined on ( 0 , ) , that is
ξ q ( θ ) 0 , θ ( 0 , ) a n d 0 ξ q ( θ ) d θ = 1 .
Remark 3.
Controversy on the solution operator, Definition 5, based on Definitions 3 and 4:
1.
In this paper, we emphasize that we use the generalized Caputo derivative with the lower bound at zero for Equation (1). However, we have not chosen the classical Caputo derivative and have not changed it in each sub-interval for the Equation (1), where the impulses start at the lower bound t k . Obviously, we mean keeping a different one, in each of the impulses the lower bound is at zero. Moreover, Definition 5 is more reasonable since the generalized Caputo derivative in Equation (1) should be fixed at the lower bound at zero once we set the initial time at zero. So we do not expect to change the lower bound again and again in the definition of Caputo derivative for the same equation.
2.
We use Definition 4 (generalized Caputo derivative), where the integrable function f can be discontinuous. Definition 4 is more general with respect to Remark 2 (1) (relationship between strong and weak Caputo derivatives). So the result would be wrong if we have used a strong Caputo derivative.
3.
Finally, we would like to mention the recently published paper written by Liu and Ahmed [34], where the formula of solutions for semi-linear impulsive fractional Cauchy problems (see (20) in Ref. [34]) coincided with ours (see Definition 5), if one imposes that the semi-linear term and the impulsive term have the same expression in the given interval.
Remark 4.
Problems associated with impulsive effects and hereditary properties are modeled by impulsive delay differential equations. So we use impulsive finite delay system {(1),(2),(3)} and the solution is a piecewise continuous with discontinuities at impulses time. So, here the mild solution is called PC-mild solution. (As we know a function x is continuous is said to be a mild solution. A function x which is differential almost everywhere on [ 0 , T ] is called a strong solution. Clearly, every strong solution is a mild solution, since differentiability implies continuity).
Definition 6
([35]). Let X be a Banach space, a one parameter family T ( t ) , 0 t < + , of bounded linear operators from X to X is a semi-group of bounded linear operators on X if
1.
T ( 0 ) = I , (here I is the identity operator on X);
2.
T ( t + s ) = T ( t ) T ( s ) for every t , s 0 , (the semi-group property).
A semi-group of bounded linear operator, T ( t ) , is uniformly continuous if lim t 0 | | T ( t ) I | | = 0 .
Lemma 1
([35]). Linear operator A is the infinitesimal generator of a uniformly continuous semi-group if and only if A is the bounded linear operator.
Lemma 2
([36]). (Schaefer’s fixed point theorem) Let X be a Banach space and F : X X be a completely continuous operator. If the set
E ( F ) = x X : x = λ F x f o r s o m e 0 λ 1 .
is bounded, then F has at least a fixed point.
Lemma 3
([33]). The operator T ( t ) and S ( t ) have the following properties:
1.
For any fixed t 0 , T ( t ) and S ( t ) linear and bounded operator, i.e., for any x X ,
| | T ( t ) x | | M 1 | | x | | , | | S ( t ) x | | q M 1 Γ ( 1 + q ) | | x | | .
2.
T ( t ) , t 0 and S ( t ) , t 0 are strongly continuous.
3.
T ( t ) , t 0 and S ( t ) , t 0 are uniformly continuous, that is, for each fixed t > 0 , and ϵ > 0 , there exists h > 0 such that
| | T ( t + ϵ ) T ( t ) | | ϵ , f o r t + ϵ 0 a n d | ϵ | < h ,
| | S ( t + ϵ ) S ( t ) | | ϵ , f o r t + ϵ 0 a n d | ϵ | < h .

3. Existence Results

In this section, we give the existence of mild solutions of the system {(1),(2),(3)}. To establish our results, we introduce the following hypotheses:
(H1)
f : J × X × X × X X is continuous, and there exist functions μ 1 , μ 2 , μ 3 L [ J , R + ] such that
| | f ( t , x 1 , x 2 , x 3 ) f ( t , y 1 , y 2 , y 3 ) | | μ 1 ( t ) | | x 1 y 1 | | + μ 2 ( t ) | | x 2 y 2 | | + μ 3 ( t ) | | x 3 y 3 | | , x i , y i X , i = 1 , 2 , 3 .
(H2)
h , k : J × J × X X is continuous and there exist M h , M k > 0 such that
| | h ( t , s , x 1 ) h ( t , s , y 1 ) | | M h | | x 1 y 1 | | , | | k ( t , s , x 1 ) k ( t , s , y 1 ) | | M k | | x 1 y 1 | | , x 1 , y 1 X .
(H3)
g : P C ( [ 0 , b ] , X ) is continuous and there exists a constant G > 0 such that
| | g ( x ) g ( y ) | | G | | x y | | , x , y P C ( [ 0 , b ] , X ) | | g ( 0 ) | | k 1 .
(H4)
The function I k : X X are continuous and there exists ρ k > 0 such that
| | I k ( x ) I k ( y ) | | ρ k | | x y | | , x , y X , k = 1 , 2 , , m .
(H5)
The function Ω m ( t ) : J R + is defined by
Ω m ( t ) = M 1 ( G + m ρ m ) + M 1 b q Γ ( 1 + q ) μ 1 ( t ) + μ 2 ( t ) M h b + μ 3 ( t ) M k b ,
where 0 < Ω m ( t ) < 1 , t J .
(H6)
The constants Ω u and Ω m ( t ) : J R + are defined by
Ω u = M 1 K ( G + m ρ m ) + M 1 b q K Γ ( 1 + q ) μ 1 ( t ) + μ 2 ( t ) M h b + μ 3 ( t ) M k b Ω m ( t ) = M 1 ( G + m ρ m ) + M 1 b q Γ ( 1 + q ) μ 1 ( t ) + μ 2 ( t ) M h b + μ 3 ( t ) M k b + M 1 b q Ω u Γ ( 1 + q )
and 0 < Ω m ( t ) < 1 , t J .
Theorem 1.
If the hypotheses (H1)–(H5) are satisfied, then the nonlocal fractional impulsive integro-differential Equations {(1),(2),(3)} has a unique mild solution x P C [ J , X ] .
Proof. 
Define an operator N on P C [ J , X ] by
( N x ) ( t ) = T ( t ) ( x 0 + g ( x ) ) + 0 t ( t s ) q 1 S ( t s )       f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ d s , t [ 0 , t 1 ] , T ( t ) ( x 0 + g ( x ) ) + T ( t t 1 ) I 1 ( x ( t 1 ) ) + 0 t ( t s ) q 1 S ( t s )       f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ d s , , t ( t 1 , t 2 ] , T ( t ) ( x 0 + g ( x ) ) + k = 1 m T ( t t k ) I k ( x ( t k ) ) + 0 t ( t s ) q 1 S ( t s )       f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ d s , t ( t m , b ] .
We shall show that N is well defined on P C [ J , X ] . For 0 τ < t t 1 , applying (17), we obtain
| | ( N x ) ( t ) ( N x ) ( τ ) | | | | T ( t ) T ( τ ) | | | | x 0 + g ( x ) | | | | 0 t ( t s ) q 1 S ( t s ) f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ d s | | | | T ( t ) T ( τ ) | | | | x 0 | | + G | | x | | + k 1 + τ t ( t s ) q 1 S ( t s ) f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ d s + 0 τ ( t s ) q 1 S ( t s ) S ( τ s )            ( × ) f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ d s + 0 τ ( t s ) q 1 ( τ s ) q 1 S ( τ s )            ( × ) f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ d s .
We know that the inequality | t σ τ σ | ( t τ ) σ for σ ( 0 , 1 ] and 0 < τ t and Lemma 3, it is obviously that | | ( N x ) ( t ) ( N x ) ( τ ) | | 0 as t τ . Thus, N x [ ( 0 , t 1 ] , X ] .
For t 1 < τ < t t 2 , we have
| | ( N x ) ( t ) ( N x ) ( τ ) | | | | T ( t ) T ( τ ) | | | | x 0 | | + G | | x | | + k + | | T ( t t 1 ) T ( τ t 1 ) | | | | I 1 ( x ( t 1 ) ) | | + τ t ( t s ) q 1 S ( t s )         ( × ) f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ d s
+ 0 τ ( t s ) q 1 S ( t s ) S ( τ s )         ( × ) f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ d s + 0 τ ( t s ) q 1 ( τ s ) q 1 S ( τ s )         ( × ) f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ d s
It is easy to get, as t τ , the right hand side of the above inequality tends to zero. Thus, we can deduce that N x C [ ( t 1 , t 2 ] , X ] . By repeating the same procedure, we can also obtain that N x C [ ( t 2 , t 3 ] , X ] , , N x C [ ( t m , b ] , X ] . That is, N x P C [ J , X ] . Take t ( 0 , t 1 ] , then
| | ( N x ) ( t ) ( N y ) ( t ) | | M 1 G | | x y | | P C + q M 1 Γ ( 1 + q ) 0 t ( t s ) q 1 μ 1 ( s ) | | x s y s | | + μ 2 ( s ) M h b | | x s y s | | + μ 3 ( s ) M k b | | x s y s | | d s .
So we deduce that
| | ( N x ) ( t ) ( N y ) ( t ) | | P C M 1 G + M 1 b q Γ ( 1 + q ) μ 1 ( t ) + μ 2 ( t ) M h b + μ 3 ( t ) M k b | | x y | | P C
For each t ( t 1 , t 2 ] , using hypotheses, and (18), we have
| | ( N x ) ( t ) ( N y ) ( t ) | | P C M 1 ( G + ρ 1 ) + M 1 b q Γ ( 1 + q ) μ 1 ( t ) + μ 2 ( t ) M h b + μ 3 ( t ) M k b | | x y | | P C
In general, for each t ( t i , t i + 1 ] , using (H5)
| | ( N x ) ( t ) ( N y ) ( t ) | | P C M 1 ( G + m ρ m ) + M 1 b q Γ ( 1 + q ) μ 1 ( t ) + μ 2 ( t ) M h b + μ 3 ( t ) M k b | | x y | | P C Ω m ( t ) | | x y | | P C .
From the assumption (H5) and in the view of the contraction mapping principle, N has a unique fixed point x P C [ J , X ] , that is
x ( t ) = T ( t ) ( x 0 + g ( x ) ) + 0 t ( t s ) q 1 S ( t s )       ( × ) f ( s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ ) d s , t [ 0 , t 1 ] , T ( t ) ( x 0 + g ( x ) ) + T ( t t 1 ) I 1 ( x ( t 1 ) ) + 0 t ( t s ) q 1 S ( t s )       ( × ) f ( s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ ) d s , , t ( t 1 , t 2 ] , T ( t ) ( x 0 + g ( x ) ) + k = 1 m T ( t t k ) I k ( x ( t k ) ) + 0 t ( t s ) q 1 S ( t s )       ( × ) f ( s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ ) d s , t ( t m , b ] ,
is a P C -mild solution of Equations (1)–(3). □
Next theorem is based on Schaefer’s fixed point theorem, let us list the following hypotheses:
(H7)
f : J × X × X × X X is continuous and there exist functions c 1 , c 2 , c 3 , c 4 L ( J , R + ) , such that
| | f ( t , x , y , z ) | | c 1 ( t ) + c 2 ( t ) | | x | | + c 3 ( t ) | | y | | + c 4 ( t ) | | z | | , t J , x , y , z X .
(H8)
h , k : J × J × X X is continuous and there exist functions d 1 , d 2 , d 3 , d 4 C ( I , R + ) , such that
| | h ( t , s , x ) | | d 1 ( s ) + d 2 ( s ) | | x | | | | k ( t , s , y ) | | d 3 ( s ) + d 4 ( s ) | | y | | , x , y X .
(H9)
There exist Φ k C [ J , R + ] , such that
| | I k ( x ) | | Φ k ( t ) | | x | | , x X .
(H10)
For all bounded subsets B r , the set
Π h , δ ( t ) = T δ ( t ) ( x 0 + g ( x ) ) + 0 t h ( t s ) q 1 S δ ( t s ) F ( s ) d s + k = 1 m T δ ( t t k ) I k ( x ( t k ) ) : x B r
is relatively compact in X for arbitrary h ( 0 , t ) and δ > 0 , where
T δ ( t ) = δ ξ q ( θ ) T ( t q θ ) d θ , S δ ( t ) = q δ θ ξ q ( θ ) T ( t q θ ) d θ .
(H11)
For all bounded subsets B r , the set
Π h , δ ( t ) = T δ ( t ) ( x 0 + g ( x ) ) + 0 t h ( t s ) q 1 S δ ( t s ) F ( s ) d s + k = 1 m T δ ( t t k ) I k ( x ( t k ) ) : x B r
is relatively compact in X for arbitrary h ( 0 , t ) and δ > 0 .
Theorem 2.
If the hypotheses (H6)–(H10) are satisfied, then the non local fractional impulsive integro-differential Equations (1)–(3) has at least one mild solution x P C [ J , X ] .
Proof. 
From Theorem 1, the operator N is defined as follows:
( N x ) ( t ) = T ( t ) ( x 0 + g ( x ) ) + 0 t ( t s ) q 1 S ( t s )       ( × ) f ( s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ ) d s , t [ 0 , t 1 ] , T ( t ) ( x 0 + g ( x ) ) + T ( t t 1 ) I 1 ( x ( t 1 ) ) + 0 t ( t s ) q 1 S ( t s )       ( × ) f ( s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ ) d s , t ( t 1 , t 2 ] , T ( t ) ( x 0 + g ( x ) ) + k = 1 m T ( t t k ) I k ( x ( t k ) ) + 0 t ( t s ) q 1 S ( t s )       f ( s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ ) d s , t ( t m , b ] .
We shall prove the result in following steps:
Step 1: Continuity of N on ( t i , t i + 1 ] ( i = 0 , 1 , 2 , , m )
Let x n , x P C [ J , X ] such that | | x n x * | | P C 0 ( n + ) , t h e n r = s u p n | | x n | | P C < and | | x * | | P C < r , for every t ( t i , t i + 1 ] ( i = 0 , 1 , 2 , , m ) , we have from (19)
| | ( N x n ) ( t ) ( N x ) ( t ) | | M 1 G | | x n x | | + k = 1 m T ( t t k ) I k ( x n ( t k ) ) k = 1 m T ( t t k ) I k ( x ( t k ) ) + q M 1 Γ ( 1 + q ) 0 t ( t s ) q 1 f s , x n s , 0 s h ( s , τ , x n τ ) d τ , 0 b k ( s , τ , x n τ ) d τ f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ d s .
Since the functions f , I k and g are continuous,
f s , x n s , 0 s h ( s , τ , x n τ ) d τ , 0 b k ( s , τ , x n τ ) d τ            f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ , n .
By conditions (H7)–(H8) we know that
f s , x n s , 0 s h ( s , τ , x n τ ) d τ , 0 b k ( s , τ , x n τ ) d τ f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ c 1 ( s ) + c 2 ( s ) | | x n s | | + c 3 ( s ) 0 s h ( s , τ , x n τ ) d τ + c 4 ( s ) 0 b k ( s , τ , x n τ ) d s + c 1 ( s ) + c 2 ( s ) | | x s | | + c 3 ( s ) 0 s h ( s , τ , x τ ) d τ + c 4 ( s ) 0 b k ( s , τ , x τ ) d s 2 c 1 ( s ) + c 2 ( s ) | | x n | | + | | x | | + 2 c 3 ( s ) 0 s d 1 ( s ) + c 3 ( s ) 0 s d 2 ( s ) | | x n | | + | | x | | d s + 2 c 4 ( s ) 0 b d 3 ( s ) d s + c 4 ( s ) 0 b d 4 ( s ) | | x n | | + | | x | | d s 2 c 1 ( s ) + 2 c 3 ( s ) 0 s d 1 ( s ) d s + 2 c 4 ( s ) 0 b d 3 ( s ) d s + c 2 ( s ) + c 3 ( s ) 0 s d 2 ( s ) d s + c 4 ( s ) 0 b d 4 ( s ) d s | | x n | | + | | x | |
2 c 1 ( s ) + 2 c 3 ( s ) 0 s d 1 ( s ) d s + 2 c 4 ( s ) 0 b d 3 ( s ) d s            + 2 c 2 ( s ) + 2 c 3 ( s ) 0 s d 2 ( s ) d s + 2 c 4 ( s ) 0 b d 4 ( s ) d s r .
Hence,
( t s ) q 1 f s , x n s , 0 s h ( s , τ , x n τ ) d τ , 0 b k ( s , τ , x n τ ) d τ            f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ L 1 [ J , R + ] .
By the Lebesgue dominated convergence theorem, we get
0 t ( t s ) q 1 f s , x n s , 0 s h ( s , τ , x n τ ) d τ , 0 b k ( s , τ , x n τ ) d τ            f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ d s 0 .
It is easy to get
lim n | | ( N x n ) ( t ) ( N x ) ( t ) | | P C = 0 .
Thus N is continuous on ( t i , t i + 1 ] , ( i = 0 , 1 , 2 , , m ) .
Step 2:N maps bounded sets into bounded sets in P C [ J , X ] .
From (20) we get
( N x ) ( t ) | | T ( t ) | | | | x 0 + g ( x ) | | + q M 1 Γ ( 1 + q ) 0 t ( t s ) q 1 f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ d s + m | | T ( t t k ) I k ( x ( t k ) ) | | .
and we know that
f s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ c 1 ( s ) + c 3 ( s ) 0 s d 1 ( τ ) d τ + c 4 ( s ) 0 b d 3 ( τ ) d τ + c 2 ( s ) + c 3 ( s ) 0 s d 2 ( τ ) d τ + c 4 ( s ) 0 b d 4 ( τ ) d τ | | x | | Ψ 1 ( s ) + Ψ 2 ( s ) | | x | | .
From the above we get,
| | ( N x ) ( t ) | | M 1 | | x 0 | | + G | | x | | + k 1 + m M 1 Φ k | | x | | + b q M 1 Γ ( 1 + q ) 0 t ( Ψ 1 ( s ) + Ψ 2 ( s ) | | x | | ) d s .
Thus for any x B r = x P C [ J , X ] : | | x | | P C r ,
| | ( N x ) ( t ) | | M 1 | | x 0 | | + k 1 + b q M 1 Γ ( 1 + q ) 0 b Ψ 1 ( s ) d s + G + m M 1 Φ k + b q M 1 Γ ( 1 + q ) 0 t Ψ 2 ( s ) d s r = γ 1 .
Hence | | ( N x ) ( t ) | | γ 1 , (i.e.,) N maps bounded sets to bounded sets in P C [ J , X ] .
Step 3: N ( B r ) is equicontinuous with B r on ( t i , t i + 1 ] ( i = 0 , 1 , 2 , , m ) .
For any x B r , t , t ( t i , t i + 1 ] ( i = 0 , 1 , 2 , , m ) , we obtain
| | ( N x ) ( t ) ( N x ) ( t ) | | | | T ( t ) T ( t ) | | | | x 0 + g ( x ) | | + 0 t ( t s ) q 1 S ( t s ) F ( s ) d s 0 t ( t s ) q 1 S ( t s ) F ( s ) d s + k = 1 m T ( t t k ) I k ( x ( t k ) ) k = 1 m T ( t t k ) I k ( x ( t k ) ) ,
after some calculation, we have
| | T ( t ) T ( t ) | | | | x 0 + g ( x ) | | + m | | T ( t t ) | | | | I k ( x ( t k ) ) | | + t t ( t s ) q 1 S ( t s ) F ( s ) d s + 0 t ( t s ) q 1 ( t s ) q 1 S ( t s ) F ( s ) d s + 0 t ( t s ) q 1 S ( t s ) S ( t s ) F ( s ) d s .
Using T ( t ) and S ( t ) is uniformly continuous and the well known inequality | t σ t σ | ( t t ) σ for σ ( 0 , 1 ] and 0 < t t
lim t t ( N x ) ( t ) ( N x ) ( t ) = 0 .
Thus N ( B r ) is equi-continuous with B r on ( t i , t i + 1 ] ( i = 0 , 1 , 2 , , m )
Step 4:N maps B r into a precompact set in X.
Define Π = N B r and Π ( t ) = ( N x ) ( t ) : x B r for t J . Set Π h , δ ( t ) = ( N h , δ x ) ( t ) : x B r ; where
Π h , δ ( t ) = T δ ( t ) ( x 0 + g ( x ) ) + 0 t h ( t s ) q 1 S δ ( t s ) F ( s ) d s + k = 1 m T δ ( t t k ) I k ( x ( t k ) ) : x B r .
From Lemma 3 (2), (3) and (H10), we can verify that the set Π ( t ) can be arbitrary approximated by the relatively compact set Π h , δ ( t ) . Thus, N ( B r ) ( t ) is relatively compact in X.
Step 5: The set E = x P C [ J , X ] : x = λ N x f o r 0 < λ < 1 is bounded.
Let x E , then
x ( t ) = λ T ( t ) ( x 0 + g ( x ) ) + λ 0 t ( t s ) q 1 S ( t s )       ( × ) f ( s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ ) d s , t [ 0 , t 1 ] , λ T ( t ) ( x 0 + g ( x ) ) + λ T ( t t 1 ) I 1 ( x ( t 1 ) ) + λ 0 t ( t s ) q 1 S ( t s )       ( × ) f ( s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ ) d s , , t ( t 1 , t 2 ] , λ T ( t ) ( x 0 + g ( x ) ) + λ k = 1 m T ( t t k ) I k ( x ( t k ) ) + λ 0 t ( t s ) q 1 S ( t s )       ( × ) f ( s , x s , 0 s h ( s , τ , x τ ) d τ , 0 b k ( s , τ , x τ ) d τ ) d s , t ( t m , b ] .
From (30) we know
| | x ( t ) | | λ M 1 | | x 0 | | + k 1 + b q M 1 Γ ( 1 + q ) 0 b Ψ 1 ( s ) d s + λ G + m M 1 Φ k + b q M 1 Γ ( 1 + q ) 0 t Ψ 2 ( s ) d s | | x ( t ) | | .
Obviously there exists λ sufficiently small such that ρ = 1 M 1 k 1 λ λ G λ m M 1 Φ k > 0 and then we get
| | x ( t ) | | λ M 1 ρ | | x 0 | | + λ b q M 1 ρ Γ ( 1 + q ) 0 b Ψ 1 ( s ) d s
+ λ b q M 1 ρ Γ ( 1 + q ) 0 t Ψ 2 ( s ) | | x ( s ) | | d s .
Let
Q = λ M 1 ρ | | x 0 | | + λ b q M 1 ρ Γ ( 1 + q ) 0 b Ψ 1 ( s ) d s , f ( t ) = λ b q M 1 ρ Γ ( 1 + q ) 0 t Ψ 2 ( s ) d s .
It is clear that f ( t ) is non negative continuous function on [ 0 , + ) , generalized Bellman inequality implies that
| | x ( t ) | | Q e 0 t f ( s ) d s Q e 0 b f ( s ) d s = C 0 ;
where C 0 is a constant. Obviously, the set E is bounded on ( t i , t i + 1 ] , ( i = 0 , 1 , 2 , , m ) . Since N is continuous and compact. From the Schaefer’s fixed point theorem, N has a fixed point which is a P C -mild solution of {(1),(2),(3)}. This completes the proof. □

4. Example

  • Consider the following fractional partial functional mixed differential equations with impulsive conditions of the form
D t q ( z ( t , η ) ) = η z ( t , η ) + Φ t , z ( t , η r ) , 0 t h 1 ( t , v ( x , η r ) ) d s , 0 b k 1 ( t , v ( x , η r ) ) d s , for ( t , η r ) [ 0 , T 0 ] × ( 0 , π ) , t T 0 2
z ( t , 0 ) = z ( t , π ) = 0 , 0 t T 0
z ( 0 , η ) = z 0 ( η ) + g ( z ( t , η ) ) , 0 < η < π
Δ z | t = T 0 2 = I 1 T 0 2
where T 0 > 0 , 0 < q < 1 , D t q is a Caputo fractional partial derivative of order q ( 0 , 1 ) . To write the system (35)–(38) to the form {(1),(2),(3)}, we take
(i)
Let X = L 2 ( [ 0 , π ] ) as the state space and z ( t , · ) = z ( t , η ) : 0 η π as the state;
(ii)
A : D ( A ) X X is defined as A f = f with domain
D ( A ) = f X : f , f X are absolutely continuous , f ( 0 ) = f ( π ) = 0 .
Then A is the infinitesimal generator of a strongly continuous semi-group T ( t ) : t 0 in L 2 [ 0 , π ] . Moreover T ( · ) is also strongly continuous such that | | T ( t ) | | M 1 for each t 0 . A can be written as A x = n = 1 n 2 ( x , e n ) e n , x D ( A ) , where e n ( x ) = 2 π s i n ( n x ) , n N is an orthonormal set of eigen functions of A.
Furthermore, for x X , we get T ( t ) x = n = 1 e x p n 2 t ( x , e n ) e n . We define the operators f : J × X × X × X X , g : J 2 × X X , and k : J 2 × X X by
x t = z ( t , n r ) , h ( t , s , x s ) = h 1 ( t , v ( x , n r ) ) , k ( t , s , x s ) = k 1 ( t , v ( x , n r ) ) .
Obviously, h 1 , k 1 satisfy Lipschitz condition (H2), g satisfies Lipschitz condition (H3), and I 1 satisfies Lipschitz condition (H4). All together satisfy (H1). Also it is easy to verify conditions (H5) and (H6).
Thus functions Φ , h 1 , k 1 , g and I 1 of the system (35)–(38) satisfies the hypotheses of the Theorems 1 and 2. Thus all the conditions of Theorems 1 and 2 are satisfied. Therefore the system (35)–(38) can be written to the abstract form {(1),(2),(3)}. That phenomenon models Equations (35)–(38). Hence, we conclude that the system (35)–(38) has a mild solution.
2.
Consider the following numerical fractional partial functional differential equations with impulsive conditions of the form
C D 3 2 x ( t ) = 1 ( t + 63 ) | x ( t ) | 1 + | x ( t ) | + e t ( 62 + e t ) | x ( t / 2 ) | 1 + | x ( t / 2 ) | + 1 63 0 t e s 7 | x ( s 2 ) | 1 + | x ( s 2 ) | d s , t [ 0 , 1 ] ,
Δ x | t = t k = I k ( x ( t k ) ) , k = 1 , 2 , ; x ( 0 ) = x 0 + g ( x ) .
Above system can be written as an abstract formulation of system {(1),(2),(3)}.

5. Conclusions

Here, we have established the existence of PC-mild solutions for non local fractional impulsive functional integro-differential equations with finite delay. The proofs are obtained using the Banach contraction principle and a fixed point theorem due to Schaefer with generalized Bellman inequality. We have used the distributed characteristic operators to define the mild solution of the system. We took care of all the controversy related to the solution operator (refer to Remark 3), which has not been discussed in the literature. Distributed characteristics for fractional systems are a powerful tool for modeling complex phenomena. More specifically, modeling of the shape memory phenomena with this powerful tool is studied from different perspectives, as well as presenting some physical interpretation. Using the proposed method, we can evaluate different models and predict the constitutive equation in the viscoelastic system; these models are commonly composed of a different combination of springs and dampers elements.
We have also considered a bounded linear operator which gave the standard semi-group in the exponential form, but one can consider an unbounded operator and prove the results in future work. For this we refer to the techniques given in Refs. [37,38]. The same problem can also be extended for the Trajectory controllability problem, which is a new direction to the field of fractional order differential and partial differential equations with its numerical approach, refer to Ref. [39]. It is always interesting to verify analytical and numerical results.
System (1) can be extended to couple systems of nonlinear fractional equations with slit-strips-type integral boundary condition (we refer to Ref. [40] and references cited therein), which may enhance a new direction in the field of fractional order systems.

Author Contributions

All authors have made the same contribution. All authors read and approved the final manuscript.

Funding

This research received no external funding.

Acknowledgments

The authors wish to thank the anonymous reviewers for their valuable comments and suggestions.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Abbas, S.; Benchohra, M.; N’Guérékata, G.M. Topics in Fractional Differential Equations; Springer: New York, NY, USA, 2012. [Google Scholar]
  2. Diethelm, K. The Analysis of Fractional Differential Equations; Springer: Berlin, Germany, 2010. [Google Scholar]
  3. Podlubny, I. Fractional Differential Equations; Academic Press: New York, NY, USA, 1999. [Google Scholar]
  4. Tarasov, V.E. Fractional Dynamics, Application of Fractional Calculus to Dynamics of Particles; Fields and Media; Springer: Berlin, Germany, 2010. [Google Scholar]
  5. Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; Wiley: New York, NY, USA, 1993. [Google Scholar]
  6. Chen, F.; Chen, A.; Wang, X. On solutions for impulsive fractional functional differential equations. Differ. Equ. Dyn. Syst. 2009, 17, 379–391. [Google Scholar] [CrossRef]
  7. Darwish, M.A.; Henderson, J.; Ntouyas, S.K. Fractional order semi-linear mixed type functional differential equations and inclusions. Nonlinear Stud. 2009, 16, 197–219. [Google Scholar]
  8. Machado, J.A.; Ravichandran, C.; Rivero, M.; Trujillo, J.J. Controllability results for impulsive mixed type functional integro-differential evolution equations with non-local conditions. Fixed Point Theory Appl. 2013, 66, 1–16. [Google Scholar]
  9. Mophou, G.M.; N’Guérékata, G.M. Mild solutions for semi-linear fractional differential equations. Electron. J. Differ. Equ. 2009, 2009, 1–9. [Google Scholar]
  10. Mophou, G.M.; N’Guérékata, G.M. Existence of mild solutions of some semi-linear neutral fractional functional evolution equations with infinite delay. Appl. Math. Comput. 2010, 216, 61–69. [Google Scholar]
  11. Mophou, G.M.; N’Guérékata, G.M. Existence of mild solution for some fractional differential equations with nonlocal conditions. Semigroup Forum 2009, 79, 315–322. [Google Scholar] [CrossRef]
  12. Vijayakumar, V.; Ravichandran, C.; Murugesu, R. Existence of mild solutions for nonlocal Cauchy problem for fractional neutral evolution equations with infinite infinite delay. Surv. Math. Appl. 2014, 9, 117–129. [Google Scholar]
  13. Vijayakumar, V.; Ravichandran, C.; Murugesu, R. Approximate controllability for a class of fractional neutral integro-differential inclusions with state dependent delay. Nonlinear Stud. 2013, 20, 511–530. [Google Scholar]
  14. Aissani, K.; Benchohra, M. Fractional integro-differential equations with state dependent delay. Adv. Dyn. Syst. Appl. 2014, 9, 17–30. [Google Scholar]
  15. Chalishajar, D.N.; Karthikeyan, K.; Anguraj, A. Existence results for impulsive perturbed partial neutral functional differential equations in Frechet spaces. Dyn. Contin. Discret. Impuls. Syst. Ser. A Math. Anal. 2015, 22, 25–45. [Google Scholar]
  16. Chalishajar, D.N.; Karthikeyan, K.; Trujillo, J.J. Existence of Mild Solutions for Fractional Impulsive Semi-linear Integro-differential Equations in Banach Spaces. Commun. Appl. Nonlinear Anal. 2012, 19, 45–56. [Google Scholar]
  17. Debbouche, A.; Baleanu, D. Controllability of fractional evolution non-local impulsive quasilinear delay integro-differential systems. Comput. Math. Appl. 2011, 62, 1442–1450. [Google Scholar] [CrossRef]
  18. Herna´ndez, E.; Rabello, M.; Henriquez, H. Existence of solutions for impulsive partial neutral functional differential equations. J. Math. Anal. Appl. 2007, 331, 1135–1158. [Google Scholar] [CrossRef]
  19. Shu, X.B.; Lai, Y.; Chen, Y. The existence of mild solutions for impulsive fractional partial differential equations. Nonlinear Anal. 2011, 74, 2003–2011. [Google Scholar] [CrossRef]
  20. Pandey, D.N.; Ujlayan, A.; Bahuguna, D. On solution to fractional order integro-differential equations with analytic semi-groups. Nonlinear Anal. 2009, 71, 3690–3698. [Google Scholar] [CrossRef]
  21. Gürbüz, F. On the behavior of a class of fractional type rough higher order commutators on generalized weighted Morrey spaces. J. Coupled Syst. Multiscale Dyn. 2018, 6, 191–198. [Google Scholar] [CrossRef]
  22. Gürbüz, F. Sublinear operators with rough kernel generated by fractional integrals and their commutators on generalized Morrey spaces. J. Sci. Eng. Res. 2017, 4, 144–163. [Google Scholar]
  23. Gürbüz, F. Some estimates for generalized commutators of rough fractional maximal and integral operators on generalized weighted Morrey spaces. Can. Math. Bull. 2017, 60, 131–145. [Google Scholar] [CrossRef]
  24. Gürbüz, F. Sublinear operators with a rough kernel generated by fractional integrals and local Campanato space estimates for commutators with rough kernel on generalized local Morrey spaces. Int. J. Appl. Math. Stat. 2017, 56, 52–62. [Google Scholar]
  25. Gürbüz, F. Multi-sublinear operators generated by multilinear fractional integral operators and local Campanato space estimates for commutators on the product generalized local Morrey spaces. Adv. Math. 2018, 47, 855–880. [Google Scholar]
  26. Byszewski, L. Theorems about the existence and uniqueness of solutions of semi-linear evolution nonlocal Cauchy problem. J. Math. Anal. Appl. 1991, 162, 494–505. [Google Scholar] [CrossRef]
  27. Byszewski, L. Existence of solutions of semi-linear functional differential evolution non-local problem. Nonlinear Anal. 1998, 34, 65–72. [Google Scholar] [CrossRef]
  28. Zhang, X.; Huang, X.; Liu, Z. The existence and uniqueness of mild solutions for impulsive fractional equations with nonlocal conditions and infinite delay. Nonlinear Anal. Hybrid Syst. 2010, 4, 775–781. [Google Scholar] [CrossRef]
  29. Qin, H.; Zuo, X.; Liu, J. Existence and Controllability results for fractional impulsive integrodifferential systems in Banach Spaces. Abstr. Appl. Anal. 2013, 2013, 295837. [Google Scholar] [CrossRef]
  30. Monje, C.A.; Vinagre, B.M.; Feliu, V.; Chen, Y. Tuning and auto-tuning of fractional order controllers for industry applications. Control Eng. Pract. 2008, 16, 798–812. [Google Scholar] [CrossRef] [Green Version]
  31. Lazarevic, M.P. Finite time stability analysis of PD fractional control of robotic time-delay systems. Mech. Res. Commun. 2006, 33, 269–279. [Google Scholar] [CrossRef]
  32. Baleanu, D.; Diethelm, K.; Scalas, J.E.; Trujillo, J. Fractional Calculus Models and Numerical Methods; Series on Complexity, Nonlinearity and Chaos; World Scientific: Singapore, 2012. [Google Scholar]
  33. Wang, J.R.; Feckan, M.; Zhou, Y. On the new concept of solutions and existence results for impulsive fractional evolution equations. Dyn. Part. Differ. Equ. 2011, 8, 345–361. [Google Scholar] [Green Version]
  34. Liu, Y.; Ahmad, B. A study of impulsive multiterm fractional differential equations with single and multiple base points and applications. Sci. World J. 2014, 2014, 194346. [Google Scholar] [CrossRef]
  35. Pazy, A. Semi-Groups of Linear Operators and Applications to Partial Differential Equations; Applied Mathematical Sciences; Springer: New York, NY, USA, 1983; Volume 44. [Google Scholar]
  36. Schaefer, H. Uber die methode der a priori schranken. Math. Ann. 1955, 129, 415–416. [Google Scholar]
  37. Chalishajar, D.N.; Acharya, F.S. Controllability of Neutral Impulsive Differential Inclusions with Non-Local Conditions. Appl. Math. 2011, 2, 1486–1496. [Google Scholar] [CrossRef] [Green Version]
  38. Chalishajar, D.N.; Heena Chalishajar, F.S. Acharya, Controllability of Second Order Neutral Impulsive Differential Inclusions with non-local conditions. Dyn. Contin. Discret. Impuls. Syst. Ser. A Math. Anal. 2012, 19, 107–134. [Google Scholar]
  39. Chalishajar, D.N.; Heena Chalishajar, F.S. Trajectory Controllability of Second Order Nonlinear Integro-Differential System: An Analytical and a Numerical Estimation. In Differential Equations and Dynamical System; Springer: Berlin, Germany, 2014. [Google Scholar]
  40. Mahmudov, N.I.; Al Khateeb, A. Stability, existence and uniqueness of a coupled system of fractional differential equations with integral boundary condditions. Mathematics 2019, 7, 354. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Chalishajar, D.; Ravichandran, C.; Dhanalakshmi, S.; Murugesu, R. Existence of Fractional Impulsive Functional Integro-Differential Equations in Banach Spaces. Appl. Syst. Innov. 2019, 2, 18. https://doi.org/10.3390/asi2020018

AMA Style

Chalishajar D, Ravichandran C, Dhanalakshmi S, Murugesu R. Existence of Fractional Impulsive Functional Integro-Differential Equations in Banach Spaces. Applied System Innovation. 2019; 2(2):18. https://doi.org/10.3390/asi2020018

Chicago/Turabian Style

Chalishajar, Dimplekumar, Chokkalingam Ravichandran, Shanmugam Dhanalakshmi, and Rangasamy Murugesu. 2019. "Existence of Fractional Impulsive Functional Integro-Differential Equations in Banach Spaces" Applied System Innovation 2, no. 2: 18. https://doi.org/10.3390/asi2020018

Article Metrics

Back to TopTop