- Research
- Open Access
- Published:
Impulsive functional delay differential inclusions of fractional order at variable times
Advances in Difference Equations volume 2016, Article number: 37 (2016)
Abstract
We are concerned with some sufficient conditions for the existence of solutions of a class of initial value problems for impulsive fractional differential inclusions with functional delay at variable moments.
1 Introduction
This work considers the existence of solutions to the following initial value problem (IVP) for a class of impulsive retarded fractional differential inclusions at variable times:
where \({}^{\mathrm{C}}D^{\alpha}\) and \({}^{\mathrm{C}}D^{\beta}\) are Caputo fractional derivatives, \(0<\alpha,\beta\leq1\), \(1<\alpha+\beta<2\), \(J=[0,T]\), \(0< r<\infty\), \(\mathcal{D}\) = {\(\psi: [ -r,0 ] \rightarrow R\) is continuous everywhere except for a finite number of points s at which \(\psi(s^{-})\) and \(\psi(s^{+})\) exist and \(\psi(s^{-})=\psi(s)\)}, and \(\phi\in\mathcal{D}\), \(F:J\times\mathcal{D}\rightarrow\mathcal {P}(R)\) is compact convex valued multivalued map (\(\mathcal{P}(R)\) is the family of all nonempty subsets of R), \(g:J\times\mathcal{D}\rightarrow R\), \(I_{k},I_{k}^{\ast}:R\rightarrow R\), \(\tau_{k}:R\rightarrow R\), \(k=1,2,\ldots,p\) are given functions satisfying some conditions to be specified later. For any function x defined on \([-r,T]\) and any \(t\in J\) we denote by \(x_{t}\) the element of \(\mathcal{D}\) defined by \(x_{t}=x(t+\theta )\), \(\theta\in[ -r,0]\). Here \(x_{t}(\cdot)\) represents the history of the state from time \(t-r\) up to the present time t.
The subject of impulsive fractional differential equations and inclusions has generated a good deal of interest among a good many researchers due to fact that fractional calculus and impulsive theory arise in mathematical modeling of some certain problems in science and engineering [1–7]. We refer the interested reader to [8–18] and [19–24] for some recent works on fractional differential equations and inclusions and for those on impulsive ones, respectively.
Furthermore, several authors investigate the existence of solutions of functional (neutral or retarded) differential equations and inclusions of fractional order [25–27] and impulsive functional fractional differential inclusions with fixed moments [28–30]. However, to the best of our knowledge, impulsive retarded fractional differential inclusions with variable moments have not been considered yet.
Therefore, inspired by mentioned works above as well as the study [31] including the following problem:
we deal with the existence of an initial value problem for impulsive retarded functional fractional differential inclusions with variable times (1)-(5) in view of fixed point theorem for multivalued maps.
The present paper is organized as follows: We will briefly give some fundamentals and preliminary results on fractional calculus and multivalued maps in Section 2. We will establish some existence results of the IVP (1)-(5) by making use of the nonlinear alternative of Leray-Schauder type for multivalued maps in Section 3.
2 Preliminaries
In this section, let us introduce some notations, definitions, and preliminary facts to be used throughout this study.
By \(C(J,R)\), \(C([-r,0],R)\), and \(C([-r,T],R)\) we denote the Banach space of all continuous functions from J into R with the norm
the Banach space of all continuous functions from \([-r,0]\) into R with the norm
and the Banach space of all continuous functions from \([-r,T]\) into R with the norm
respectively. Let us denote the Banach space of all continuous β-differentiable functions from \([-r,T]\) into R by \(C^{\beta}([-r,T],R)\) with the norm
where \(C^{\beta}([-r,T],R)=\{x\in C([-r,T],R): {}^{\mathrm{C}}D^{\beta }x(t) \mbox{ exists and }{}^{\mathrm{C}}D^{\beta}x(t)\in C([-r,T],R)\}\).
In addition, in order to define the solutions of the problem (1)-(5) we will consider the piecewise continuous spaces:
-
Ω = {\(x:[-r,T]\rightarrow R\ \): there exists \(0=t_{0}< t_{1}< t_{2}<\cdots<t_{p}<t_{p+1}=T\) such that \(t_{k}=\tau _{k}(x(t_{k})) \) and \(x_{k+1}\in C((t_{k},t_{k+1}],R)\), \(k=0,1,2,\ldots,p\); also, there exist \(x(t_{k}^{+})\) and \(x(t_{k}^{-})\) with \(x(t_{k}^{-})=x(t_{k})\) for \(k=1,2,\ldots,p\), and \(x(t)=\phi(t)\), \(t\leq t_{0}\)}
and
-
\(\Omega^{\beta}\) = {\(x\in\Omega\), \({}^{\mathrm{C}}D^{\beta}x(t)\in C((t_{k},t_{k+1}],R)\ \): there exist \({}^{\mathrm{C}}D^{\beta}x(t_{k}^{+}) \) and \({}^{\mathrm{C}}D^{\beta}x(t_{k}^{-})\) with \({}^{\mathrm{C}}D^{\beta }x(t_{k}^{-})= {}^{\mathrm{C}}D^{\beta}x(t_{k})\), \(1\leq k\leq p\), \(0<\beta\leq1\)}, where \(x_{k+1}\) is the restriction of x over \((t_{k},t_{k+1}]\) and denoted by \(x_{k+1}:=x|_{(t_{k},t_{k+1}]}\), \(k=0,1,2,\ldots,p\).
The spaces Ω and \(\Omega^{\beta}\) form Banach spaces with the norms
and
respectively.
Let \(L^{1} ( J,R ) \) denote the Banach space of measurable functions \(x:J\rightarrow R\) which are Lebesgue integrable with the norm
Definition 1
The fractional (arbitrary) order integral of the function \(h\in L^{1} ( J,R ) \) of order \(q\in R_{+}\) is defined by
where \(\Gamma(\cdot)\) is the Euler gamma function.
Definition 2
For a function h given on the interval J, the Caputo fractional derivative of order \(q>0\) is defined by
where the function \(h(t)\) has absolutely continuous derivatives up to order \((n-1)\).
Now, we focus on some fundamental facts of multivalued maps. See Gorniewicz [32], Aubin and Frankowska [33], Deimling [34], and Hu and Papageorgiou [35].
For a Banach space \(( X,\Vert \cdot \Vert ) \), let us denote:
-
\(\mathcal{P}(X)= \{ Y\subseteq X:Y\neq\emptyset \} \),
-
\(\mathcal{P}_{cl}(X)= \{ Y\in\mathcal{P}(X):Y\text{ is closed} \} \),
-
\(\mathcal{P}_{b}(X)= \{ Y\in\mathcal{P}(X):Y\text{ is bounded} \} \),
-
\(\mathcal{P}_{cv}(X)= \{ Y\in\mathcal{P}(X):Y\text{ is convex} \} \),
-
\(\mathcal{P}_{cp}(X)= \{ Y\in\mathcal{P}(X):Y\text{ is compact} \} \),
-
\(\mathcal{P}_{cv,cp}(X)=\mathcal{P}_{cv}(X)\cap\mathcal{P}_{cp}(X)\).
A multivalued map \(G:X\rightarrow\mathcal{P}(X)\) has convex (closed) values if \(G(x)\) is convex (closed) for all \(x\in X\). G is bounded on bounded sets if \(G(B)=\bigcup_{x\in B}G(x)\) is bounded in X for all \(B\in\mathcal {P}_{b}(X)\) (i.e. \(\sup_{x\in B} \{ \sup \{ \Vert y\Vert :y\in G(x) \} \} <\infty\)).
A multivalued map \(G:[0,1]\rightarrow\mathcal{P}_{cl}(X)\) is said to be measurable if for every \(x\in X\), the function \(Y:[0,1]\rightarrow X\) defined by \(Y(t)\): \(\operatorname{dist}(x,G(t))=\inf \{ \Vert x-z\Vert :z\in G(t) \} \) is Lebesgue measurable.
A multivalued map \(F:J\times\mathcal{D}\rightarrow\mathcal{P}(R)\) is said to be \(L^{1}\)-Caratheodory if
-
(i)
\(t\rightarrow F(t,u)\) is measurable for each \(u\in\mathcal{D}\),
-
(ii)
\(u\rightarrow F(t,u)\) is upper semi-continuous for almost all \(t\in J\),
-
(iii)
for each \(q>0\), there exists \(\phi_{q}\in L^{1} ( J,R_{+} ) \) such that
$$ \bigl\Vert F(t,u)\bigr\Vert =\sup \bigl\{ \vert v\vert :v\in F(t,u) \bigr\} \leq\phi_{q}(t) $$for all \(\Vert u\Vert _{\mathcal{D}}\leq q\) and for almost all \(t\in J\).
For a function \(u\in\Omega^{\beta}\), we define the set
which is known as the set of selection functions of F.
The next lemmas and proposition play a pivotal role in the subsequent results.
Lemma 1
([36])
Let \(F:J\times\mathcal{D}\rightarrow \mathcal{P}_{cv,cp}(R)\) be \(L^{1}\)-Caratheodory multivalued map with \(S_{F,x}\neq \emptyset\) and let \(\mathcal{L}\) be a linear continuous mapping from \(L^{1} ( J,R_{+} ) \) to \(C(J,R)\), then the operator
is a closed graph operator in \(C(J,R)\times C(J,R)\).
Proposition 1
([32])
Assume \(\varphi:X\rightarrow Y\) is a multivalued map such that \(\varphi(X)\subset K\) and the graph \(\Gamma_{\varphi}\) of φ is closed, where K is a compact set. Then φ is upper semi-continuous.
Lemma 2
([37])
Let X be a Banach space with \(C\subset X\) convex. Assume that U is a nonempty open subset of C with \(0\in U\) and let \(G:\overline{U}\rightarrow\mathcal{P}_{cp,cv}(C)\) be an upper semi-continuous and compact map. Then either,
-
(a)
G has a fixed point in U, or
-
(b)
there exist \(u\in\partial U\) and \(\lambda\in(0,1)\) with \(u\in \lambda G(u)\).
3 Existence of solutions
Definition 3
A function \(x\in \Omega^{\beta}\) is said to be a solution of (1)-(5) if there exists a function \(v(t)\in S_{F,x}\) for which the equation \({}^{\mathrm{C}}D^{\alpha } [ {}^{\mathrm{C}}D^{\beta}x(t)-g(t,x_{t}) ] =v(t)\) holds for a.e. \(t\in J\), \(t\neq\tau_{k}(x(t))\), \(k=1,2,\ldots,p\), where the conditions \(x(t^{+})=I_{k}(x(t))\), \({}^{\mathrm{C}}D^{\beta}x(t^{+})=I_{k}^{\ast }(x(t))\), \(t=\tau_{k}(x(t))\), \(k=1,2,\ldots,p\), and \(x(t)=\phi(t)\), \({}^{\mathrm{C}}D^{\beta}x(0)=\mu\in R\), \(t\in [ -r,0 ] \), \(0< r<\infty\) are satisfied for x.
Lemma 3
The function \(x(t)\in C^{\beta}([-r,T],R)\) is a solution of the problem
if and only if \(x(t)\) satisfies the following integral equation:
where α, β, J are stated as above.
From now on, for the sake of convenience, we assume that
and
where \(k=1,2,\ldots,p\).
Theorem 1
Suppose that the following conditions are satisfied:
-
(A1)
There exist a continuous non-decreasing function \(\psi: [ 0,\infty ) \rightarrow ( 0,\infty ) \) and a function \(m(t)\geq0\), \(\forall t\in J\) with \(m^{0}=\sup \{ \vert m(t)\vert :t\in J \} \) such that \(\vert F(t,u)\vert \leq m(t)\psi (\Vert u\Vert _{\mathcal{D}})\) for \(\forall t\in J\), \(\forall u\in\mathcal{D}\), where the function \(F:J\times\mathcal {D}\rightarrow \mathcal{P}_{cv,cp}(R)\) is \(L^{1}\)-Caratheodory.
-
(A2)
The function \(g:J\times\mathcal{D}\rightarrow R\) is continuous such that \(\vert g(t,u)\vert \leq c_{1}\Vert u \Vert _{\mathcal{D}}+c_{2}\) for \(\forall t\in J\), \(\forall u\in\mathcal{D}\) and constants \(c_{1},c_{2}\geq0\).
-
(A3)
The functions \(I_{k},I_{k}^{\ast}: R\rightarrow R\), \(k=1,2,\ldots,p\) are continuous.
-
(A4)
There exists a number \(\kappa>0\) such that
$$\begin{aligned}& \min \biggl\{ \frac{ ( 1-\frac{2c_{1}T^{\beta}}{\Gamma(\beta +1)} ) \kappa}{ \vert \phi(0)\vert + ( \vert \mu \vert +2c_{2} ) \frac{T^{\beta}}{\Gamma(\beta +1)}+\frac{m^{0}T^{\alpha+\beta}}{\Gamma(\alpha+\beta+1)}\psi(\kappa )}, \\& \quad \frac{ ( 1-\frac{2c_{1}T^{\beta}}{\Gamma(\beta+1)} ) \kappa}{ \vert I_{k}(\kappa)\vert + ( \vert I_{k}^{\ast }(\kappa )\vert +2c_{2} ) \frac{T^{\beta}}{\Gamma(\beta +1)}+\frac{m^{0}T^{\alpha+\beta}}{\Gamma(\alpha+\beta+1)}\psi(\kappa )} \biggr\} >1. \end{aligned}$$ -
(A5)
There exist functions \(\tau_{k}\in C^{1}(R,R)\) for \(k=1,2,\ldots ,p \) such that \(0<\tau_{1}(x)<\tau_{2}(x)<\cdots<\tau_{p}(x)<T\) for \(\forall x\in R\).
-
(A6)
For all \(\forall x\in R\), \(\tau_{k}(I_{k}(x))\leq\tau _{k}(x)<\tau _{k+1}(I_{k}(x))\), \(k=1,2,\ldots,p\).
-
(A7)
Let \(x\in \Omega\), then for \(\forall t\in J\), for every constant \(\zeta\in J\), and for all \(x_{t}\in\mathcal{D}\) we have
$$ \biggl\langle \tau_{k}^{\prime}\bigl(x(t)\bigr), \frac{d}{dt}P_{\zeta }^{(k)}(t)+I_{\zeta}^{\alpha+\beta-1}v(t) \biggr\rangle \neq1 $$for \(k=1,2,\ldots,p\) and for all \(v(t)\in S_{F,x}\).
Then the IVP (1)-(5) has at least one solution on J.
Proof
The proof will be given in several steps for convenience.
Step 1: Consider the following problem:
where \(0<\alpha,\beta\leq1\), \(1<\alpha+\beta<2\), \(J=[0,T]\), \(0< r<\infty\).
Let us transform the problem (6)-(8) into a fixed point problem. By using Lemma 3 we consider the operator \(\mathcal {N}:C^{\beta}([-r,T],R)\rightarrow\mathcal{P} ( C^{\beta }([-r,T],R) ) \) defined by \(\mathcal{N}(x)= \{ h\in C^{\beta }([-r,T],R) \} \) where, for \(v(t)\in S_{F,x}\),
It is obvious that the set of fixed points of the operator \(\mathcal {N}\) is solution to the problem (6)-(8). In this position, we shall use the nonlinear alternative of Leray-Schauder type in order to show that the operator \(\mathcal{N}\) has fixed points. Then let us try to satisfy the conditions of the nonlinear alternative of Leray-Schauder type (Lemma 2).
First, we show that \(\mathcal{N}(x)\) is convex for each \(x\in C^{\beta }([-r,T],R)\). To do this, let \(h_{1}\) and \(h_{2}\) belong to \(\mathcal{N}(x)\) with \(v_{1},v_{2}\in S_{F,x}\) such that
then, for each \(t\in J\), we have
where \(0\leq d\leq1\).
Since \(S_{F,x}\) is convex (i.e. \(dv_{1}(s)+(1-d)v_{2}(s)\in S_{F,x}\) for \(v_{1},v_{2}\in S_{F,x}\) and \(0\leq d\leq1\)) then \(dh_{1}(t)+(1-d)h_{2}(t)\in\mathcal{N}(x)\).
Next, we need to show that \(\mathcal{N}\) is a compact multivalued map.
(i) (\(\mathcal{N}\) maps bounded sets into bounded sets in \(C^{\beta}([-r,T],R)\).)
Actually, it is enough to show that there exists a constant \(l>0\) such that we have \(\Vert \mathcal{N}x\Vert \leq l\) for each \(x\in B_{r}=\{x(t)\in C^{\beta}([-r,T],R):\Vert x\Vert _{\beta }\leq r\}\) for any \(r>0\). Let \(x\in B_{r}\) and \(h\in\mathcal{N}(x)\) with \(v\in S_{F, x}\), then for each \(t\in J\) we obtain
which implies that the operator \(\mathcal{N}\) is uniformly bounded.
(ii) (\(\mathcal{N}\) maps bounded sets into equicontinuous sets of \(C^{\beta}([-r,T],R)\).)
Assume that \(\theta_{1},\theta_{2}\in J\), \(\theta_{1}<\theta_{2}\), and \(B_{r}\) is a bounded set as in (i). Let \(x\in B_{r}\) and \(h\in \mathcal{N}(x)\) with \(v\in S_{F,x}\), then for each \(t\in J\) we have
implying that \(\mathcal{N}\) is equicontinuous on J since the right-hand side of the inequality tends to zero as \(\theta_{1}\rightarrow\theta _{2}\). Thus, as a consequence of (i) and (ii) together with the Arzela-Ascoli theorem, the operator \(\mathcal{N}:C^{\beta}([-r,T],R)\rightarrow \mathcal{P} ( C^{\beta}([-r,T],R) ) \) is a compact multivalued map.
Now, let us show that \(\mathcal{N}\) has a closed graph. Let \(x_{n}\rightarrow x_{\ast}\), \(h_{n}\rightarrow h_{\ast}\), and \(h_{n}\in \mathcal{N}(x_{n})\) with \(v_{n}\in S_{F, x_{n}}\) such that, for each \(t\in J\),
Then we have to show that there exists \(v_{\ast}\in S_{F, x_{\ast}}\) in order to prove that \(h_{\ast}\in\mathcal{N}(x_{\ast})\) such that, for each \(t\in J\),
Let us consider the continuous linear operator \(\mathcal{L}:L^{1} ( J,R_{+} ) \rightarrow C(J,R)\),
Obviously, by the continuity of g, we have
as \(n\rightarrow\infty\).
It results from Lemma 1 that \(\mathcal{L}\circ S_{F}\) is a closed graph operator. What is more, since \(( h_{n}(t)-P_{n}(t) ) \in \mathcal{L}(S_{F,x_{n}})\) and \(x_{n}\rightarrow x_{\ast}\), Lemma 1 implies that equation (9) holds for some \(v_{\ast}\in S_{F, x_{\ast}}\).
Thus, by Proposition 1, \(\mathcal{N}\) is an upper semi-continuous compact map with convex closed values.
Finally, it remains to discuss a priori bounds on solutions. Let x be a possible solution of the problem (1)-(5). Then there exists \(v\in L^{1} ( J,R_{+} ) \) with \(v\in S_{F, x}\) such that, for each \(t\in J\), we have
Thus we get
In view of (A4), there exists κ such that \(\Vert x \Vert _{\beta}\neq\kappa\). Then let us set
We note that the operator \(\mathcal{N}:\overline{U}\rightarrow \mathcal{P} ( C^{\beta}([-r,T],R) ) \) is also an upper semi-continuous and compact multivalued map. Accordingly, the choice of U shows that there is no \(x\in\partial U\) such that \(x\in\lambda\mathcal{N}(x)\) for some \(\lambda\in(0,1)\). Consequently, thanks to the nonlinear alternative of Leray-Schauder type (Lemma 2), we conclude that \(\mathcal {N}\) has a fixed point \(x\in\overline{U}\) which is a solution of the problem (1)-(5). Denote this solution by \(x_{1}\).
Now, we shall discuss at which discontinuity moment the solution \(x(t)\) beats. Let us define the following function which is able to make the discussion easier:
From (A5) we have
If \(r_{k,1}(t)\neq0\), that is, \(\tau_{k}(x_{1}(t))\neq t\) on J for \(k=1,2,\ldots,p\), then \(x_{1}(t)\) is a solution of both (6)-(8) and (1)-(5).
Now, we consider the case when
Since \(r_{1,1}\) is continuous and \(r_{1,1}(0)\neq0\) by (A5), there exists \(t_{1}>0\) such that
Thus by (A5) we have
Hence, we have established the discontinuity point \(t_{1}\) where the solution \(x(t)\) beats.
Step 2: Consider the following problem:
Let us transform the problem (12)-(15) into a fixed point problem by considering the operator \(\mathcal{N}_{1}:C^{\beta }([t_{1}-r,T],R)\rightarrow\mathcal{P} ( C^{\beta }([t_{1}-r,T],R) ) \) defined by \(\mathcal{N}_{1}(x)= \{ h\in C^{\beta}([t_{1}-r,T],R) \} \) where, for \(v(t)\in S_{F,x}\),
In the sense of Step 1, \(\mathcal{N}_{1}\) is an upper semi-continuous compact map with convex closed values. Then, for the discussion of a priori bounds on solutions as in (10) and (11), taking into account (16) and assumptions (A1)-(A4) we have
As a consequence of Lemma 2 as in Step 1, the choice of
results in the operator \(\mathcal{N}_{1}:\overline{U}\rightarrow \mathcal{P} ( C^{\beta}([t_{1}-r,T],R) ) \) to have a fixed point \(x\in\overline{U}\), which is a solution of the problem (12)-(15) on \([t_{1},T]\). Denote this solution by \(x_{2}\).
Now, we shall discuss at which discontinuity moment after \(t_{1}\) the solution \(x(t)\) beats. Let us define the following function:
If \(r_{k,2}(t)\neq0\), that is, \(\tau_{k}(x_{2}(t))\neq t\) on \((t_{1},T]\) for \(k=1,2,\ldots,p\), then \(x_{2}(t)\) is a solution of (12)-(15). That is,
Now, we consider the case when
From (A6) we have
Since \(r_{2,2}\) is continuous, there exists \(t_{2}>t_{1}\) such that
Thus by (A5) we have
Also, let us show that there does not exist any \(\xi\in(t_{1},t_{2})\) such that \(r_{1,2}(\xi)=0\). Suppose now that there exists \(\xi\in(t_{1},t_{2})\) such that \(r_{1,2}(\xi)=0\). By (A6) it follows that
And from (A5) we have
Since \(r_{1,2}(t_{1}^{+})\leq0\), \(r_{1,2}(t_{2})<0\), and \(r_{1,2}(\xi)=0\) for some \(\xi\in(t_{1},t_{2})\), the function \(r_{1,2}\) gets a nonnegative maximum at some point \(\eta\in(t_{1},t_{2})\). On the other hand, in view of equation (12), since the function \(x_{2}(t)\) holds for
subject to conditions (13)-(15), there exists \(v(\cdot)\in L^{1}( ( t_{1},T ) )\) with \(v(t)\in F(t,x_{2t})\), a.e. \(t\in ( t_{1},T ) \) such that
Subsequently, from (18) and Lemma 3 the equalities
and
are derived. Thus, in view of (17) and (19), and for some point \(\eta\in(t_{1},t_{2}]\), we obtain
that is,
But this contradicts (A7).
Hence, we have established a second discontinuity point \(t_{2}>t_{1}\) where the solution \(x(t)\) beats in such a way that \(r_{2,2}(t_{2})=0\) and \(r_{k,2}(t)\neq0\) for all \(t\in(t_{1},t_{2})\) and \(k=1,2,3,\ldots,p\).
Step 3: Let us continue the process as in Steps 1 and 2 by taking into account that \(x_{p}:=x|_{(t_{p-1},T]}\) is a solution of the following problem:
by considering the operator \(\mathcal{N}_{p-1}:C^{\beta }([t_{p-1}-r,T],R)\rightarrow\mathcal{P} ( C^{\beta }([t_{p-1}-r,T],R) ) \) defined by \(\mathcal{N}_{p-1}(x)= \{ h\in C^{\beta}([t_{p-1}-r,T],R) \} \) where, for \(v(t)\in S_{F,x}\),
At the end, as in the previous steps, we establish a pth discontinuity point \(t_{p}>t_{p-1}>\cdots>t_{2}>t_{1}\) where the solution \(x(t)\) beats in such a way that \(r_{p,p}(t_{p})=0\) and \(r_{p,p}(t)\neq0\) for all \(t\in (t_{p-1},t_{p})\). Then the solution x of the problem (1)-(5) is defined by
□
References
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Hilfer, R: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Samoilenko, AM, Perestyuk, NA: Impulsive Differential Equations with Actions. Vischha Shkola, Kiev (1987) (in Russian)
Samoilenko, AM, Perestyuk, NA: Impulsive Differential Equations. World Scientific, Singapore (1995)
Akhmet, M: Principles of Discontinuous Dynamical Systems. Springer, New York (2010)
Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)
Agarwal, RP, Benchohra, M, Hamani, S: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 109(3), 973-1033 (2010)
Ergören, H: On the Lidstone boundary value problems for fractional differential equations. Int. J. Math. Comput. 22(1), 66-74 (2014)
Ashyralyev, A, Sharifov, YA: Existence and uniqueness of solutions for the system of nonlinear fractional differential equations with nonlocal and integral boundary conditions. Abstr. Appl. Anal. 2012, Article ID 594802 (2012). doi:10.1155/2012/594802
Ahmad, B, Nieto, JJ, Pimentel, J: Some boundary value problems of fractional differential equations and inclusions. Comput. Math. Appl. 62, 1238-1250 (2011)
Cernea, A: On the solution set of a fractional differential inclusion. Math. Rep. 15(65)(1), 37-47 (2013)
Ouahab, A: Some results for fractional boundary value problem of differential inclusions. Nonlinear Anal. 69, 3877-3896 (2008)
Chang, YK, Nieto, JJ: Some new existence results for fractional differential inclusions with boundary conditions. Math. Comput. Model. 49, 605-609 (2009)
Ahmad, B, Ntouyas, SK, Alsaedi, A: An existence result for fractional differential inclusions with nonlinear integral boundary conditions. J. Inequal. Appl. 2013, 296 (2013)
Hamani, S, Benchohra, M, Graef, JR: Existence results for boundary-value problems with nonlinear fractional differential inclusions and integral conditions. Electron. J. Differ. Equ. 2010, 20 (2010)
Ahmad, B, Otero-Espinar, V: Existence of solutions for fractional differential inclusions with antiperiodic boundary conditions. Bound. Value Probl. 2009, Article ID 625347 (2009). doi:10.1155/2009/625347
Agarwal, RP, Zhou, Y, He, Y: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 59, 1095-1100 (2010)
Ergören, H, Kilicman, A: Some existence results for impulsive nonlinear fractional differential equations with closed boundary conditions. Abstr. Appl. Anal. 2012, Article ID 387629 (2012). doi:10.1155/2012/387629
Ergören, H, Kilicman, A: Non-local boundary value problems for impulsive fractional integro-differential equations in Banach spaces. Bound. Value Probl. 2012, 145 (2012)
Ergören, H, Sakar, MG: Boundary value problems for impulsive fractional differential equations with nonlocal conditions. In: Advances in Applied Mathematics and Approximation Theory. Springer Proc. Math. Stat., vol. 41, pp. 283-297. Springer, New York (2013)
Henderson, J, Ouahab, A: Impulsive differential inclusions with fractional order. Comput. Math. Appl. 59, 1191-1226 (2010)
Benchohra, M, Berhoun, F, Nieto, JJ: Fractional differential inclusions with impulses at variable times. Adv. Dyn. Syst. Appl. 7(1), 1-15 (2012)
Cao, J, Chen, H: Some results on impulsive boundary value problem for fractional differential inclusions. Electron. J. Differ. Equ. 2011, 11 (2011)
Li, F, Xiao, TJ, Xu, HK: On nonlinear neutral fractional integrodifferential inclusions with infinite delay. J. Appl. Math. 2012, Article ID 916543 (2012). doi:10.1155/2012/916543
Henderson, J, Ouahab, A: Fractional functional differential inclusions with finite delay. Nonlinear Anal. 70, 2091-2105 (2009)
Benchohra, M, Henderson, J, Ntouyas, SK, Ouahab, A: Existence results for fractional order functional differential equations with infinite delay. J. Math. Anal. Appl. 338, 1340-1350 (2008)
Song, C, Zhu, T, Cao, J: Existence of solutions for fractional-order neutral differential inclusions with impulsive and nonlocal conditions. Discrete Dyn. Nat. Soc. 2012, Article ID 363562 (2012). doi:10.1155/2012/363562
Yan, Z, Zhang, H: Existence of solutions to impulsive fractional partial neutral stochastic integro-differential inclusions with state-dependent delay. Electron. J. Differ. Equ. 2013, 81 (2013)
Yan, Z, Jia, X: Impulsive problems for fractional partial neutral functional integro-differential inclusions with infinite delay and analytic resolvent operators. Mediterr. J. Math. 11, 393-428 (2014)
Benchohra, M, Ouahab, A: Impulsive neutral functional differential inclusions with variable times. Electron. J. Differ. Equ. 2003, 67 (2003)
Gorniewicz, L: Topological Fixed Point Theory of Multivalued Mappings. Springer, Dordrecht (2006)
Aubin, JP, Frankowska, H: Set-Valued Analysis. Birkhäuser, Boston (1990)
Deimling, K: Multivalued Differential Equations. de Gruyter, Berlin (1992)
Hu, S, Papageorgiou, N: Handbook of Multivalued Analysis: Theory, vol. I. Kluwer Academic, Dordrecht (1997)
Lasoto, A, Opial, Z: An application of the Kakutani-Ky Fan theorem in the theory of ordinary differential equations. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 13, 781-786 (1965)
Dugundji, J, Granas, A: Fixed Point Theory. Springer, New York (2003)
Acknowledgements
The author is very grateful to the reviewers and editors for their valuable suggestions and useful comments on this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that there are no competing interests.
Author’s contributions
The author read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ergören, H. Impulsive functional delay differential inclusions of fractional order at variable times. Adv Differ Equ 2016, 37 (2016). https://doi.org/10.1186/s13662-016-0770-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0770-1
MSC
- 26A33
- 34A08
- 34A37
- 34A60
- 34K37
Keywords
- Caputo fractional derivative
- existence and uniqueness
- functional differential inclusions
- impulsive differential inclusions
- variable times