Abstract
In this paper, we present sufficient criteria ensuring the existence and uniqueness of solutions for nonlinear impulsive multi-order Caputo-type generalized fractional differential equations supplemented with nonlocal integro-initial value conditions involving generalized fractional integrals. Extremal solutions for the given problem are also discussed. The main tools of our study include Krasnoselskii’s fixed point theorem, Banach contraction mapping principle and monotone iterative technique. Examples are constructed for illustrating the obtained results.
Similar content being viewed by others
1 Introduction
Impulsive dynamical systems involve some continuous variable dynamic characteristics, together with certain reset maps generating impulsive switching among them. The dynamical behavior of impulsive systems is much more complex than that associated to non-impulsive dynamical systems. Such systems appear in real-time software verification [1], transportation systems [2, 3], automotive control [4, 5], etc. In consequence, the topic of impulsive differential equations has emerged as an important area of investigation as it accounts for several phenomena which are not addressed by the non-impulsive equations.
Arbitrary (non-integer) order differential and integral operators serve as better modeling tools than their corresponding integer-order counterparts, as these operators are capable to retrieve the historical effects of the systems and processes involved in the phenomena. Fractional-order initial and boundary value problems have been investigated by many authors in recent years; for instance, see [6,7,8,9,10,11,12,13,14,15,16,17].
Factional differential equations with impulse effects also received considerable attention in view of their applications in modeling the physical problems experiencing instantaneous changes. For some recent works on impulsive fractional differential equations, we refer the reader to the papers [18,19,20,21,22,23,24,25,26,27,28,29] and the references cited therein. In a recent work [26], the authors discussed the existence of extremal solutions for a nonlinear impulsive differential equations with multi-order fractional derivatives and integral boundary conditions.
In this paper, we introduce a new class of nonlinear nonlocal impulsive multi-order problems involving Caputo-type generalized fractional derivatives and generalized fractional integrals (in the sense of Katugampola). In precise terms, we investigate the following problem:
where \({}^{\rho }_{c}D_{t^{+}_{k}}^{\alpha _{k}}\) is the Caputo-type generalized fractional derivative of order \(\alpha _{k}, \rho >0\), \({}^{\rho }I_{t^{+}_{k}}^{\beta _{k}}\) is the generalized fractional integral of order \(\beta _{k}>0,\rho >0\) (defined in the next section), \(f\in C(J\times \mathbb{R},\mathbb{R}), S_{k}, S^{*}_{k} \in C( \mathbb{R},\mathbb{R})\); \(\lambda _{k}, \xi _{k}\) are positive constants; \(J=[0,T]\ (T>0), \eta \in \mathbb{R} , 0=t_{0}< t_{1}<\cdots <t _{k}<\cdots <t_{p}<t_{p+1}=T, J'=J\setminus \{t_{1},t_{2},\dots ,t _{m}\}, \bigtriangleup y(t_{k})= y(t^{+}_{k})-y(t_{k}^{-})\), where \(y(t^{+}_{k})\) and \(y(t_{k}^{-})\) denote the right and the left limits of \(y(t)\) at \(t=t_{k} (k=1,2,\dots ,p)\), respectively; \(\bigtriangleup \delta y(t_{k})\) have a similar meaning for \(\delta y(t)\), where \(\delta =t^{1-\rho }\frac{d}{dt}\).
In Sect. 2, we present the background material related to our work and prove an important lemma which plays a key role in the sequel. Section 3 contains the existence and uniqueness results for problem (1.1). In Sect. 4, we prove a new comparison result and use it to obtain the extremal solutions for problem (1.1).
2 Preliminaries
Let us fix \(J_{0}=[0,t_{1}], J_{k}=(t_{k},t_{k+1}], k=1,2,\dots ,p\) with \(t_{p+1}=T\), and define \(PC(J,\mathbb{R} )=\{y: J \to \mathbb{R}: y\in C(J_{k},\mathbb{R}), k=0,1,\dots ,p\text{ and }y(t_{k}^{+})\text{ and }y(t_{k}^{-})\text{ exist with }y(t_{k}^{-})=y(t_{k}), k=1,2,\dots ,p\}\), where \(C(J,\mathbb{R})\) denotes the space of all continuous real-valued functions on J and \(PC^{1}_{\delta }(J,\mathbb{R})=\{y: J \to \mathbb{R}: \delta y\in PC(J,\mathbb{R}); \delta y(t_{k}^{+}), \delta y(t_{k}^{-})\text{ exist and }\delta y\text{ is left continuous at } t_{k}\text{ for} k=1,2,\dots ,p, \delta =t^{1-\rho }\frac{d}{dt}\}\) with the norm \(\|y\|=\sup_{t\in J} \{ \|y(t)\|_{PC},\|\delta y(t)\|_{PC _{\delta }^{1}}\}\). We further recall that \(AC^{n}(J,\mathbb{R})=\{h:J \to \mathbb{R}: h,h',\dots ,h^{(n-1)}\in C(J,\mathbb{R})\text{ and }h^{(n-1)} \text{ is absolutely} \text{continuous}\}\). For \(0\leq \epsilon <1\), we define \(C_{\epsilon ,\rho }(J,\mathbb{R})=\{ f:J\to \mathbb{R}:(t^{ \rho }-a^{\rho })^{\epsilon }f(t)\in C(J,\mathbb{R})\}\) endowed with the norm \(\|f\|_{C_{\epsilon ,\rho }}=\|(t^{\rho }-a^{\rho })^{\epsilon }f(t)\|_{C}\). Moreover, we define the class of functions f that have absolutely continuous \(\delta ^{n-1}\)-derivative, denoted by \(AC^{n}_{\delta }(J,\mathbb{R})\), as follows: \(AC^{n}_{\delta }(J, \mathbb{R})= \{f:J\to \mathbb{R}:\delta ^{n-1}f\in AC(J,\mathbb{R}), \delta =t^{1-\rho }\frac{d}{dt} \}\), which is equipped with the norm \(\|f\|_{C^{n}_{\delta }}=\sum_{k=0}^{n-1}\|\delta ^{k}f\|_{C}\). More generally, let \(C^{n}_{\delta ,\epsilon }(J,\mathbb{R})= \{f:J \to \mathbb{R}:\delta ^{n-1}f\in C(J,\mathbb{R}),\delta ^{n}f\in C_{ \epsilon ,\rho }(J,\mathbb{R}),\delta =t^{1-\rho }\frac{d}{dt} \}\) be the space of functions endowed with the norm \(\|f\|_{C^{n}_{\delta ,\epsilon }}=\sum_{k=0}^{n-1}\|\delta ^{k}f\|_{C}+\|\delta ^{n}f\|_{C _{\epsilon ,\rho }}\). Here we use the convention \(C^{n}_{\delta ,0}=C ^{n}_{\delta }\).
For \(c\in {\mathbb{R}}, 1\le q\le \infty \), let \(X_{c}^{q}(a,b)\) denote the space of all Lebesgue measurable functions ϕ on \((a,b)\) equipped with the norm
Definition 2.1
([30])
The generalized fractional integral of order \(\alpha >0\) and \(\rho >0\) of \(f \in X_{c}^{q}(a,b)\), for \(-\infty < a < t < b < \infty \), is defined by
Note that the integral in (2.1) is called the left-sided fractional integral. Similarly, we can define the right-sided fractional integral \({}^{\rho }I^{\alpha }_{b-}f\) as
Definition 2.2
([31])
The generalized fractional derivatives of \(f\in X_{c}^{q}(a,b)\) of order \(\alpha \in (n-1,n], n\in \mathbb{N}\), associated with the generalized fractional integrals (2.1) and (2.2), are defined for \(0 \le a < x < b < \infty \) by
and
Definition 2.3
([32])
For \(\alpha \geq 0\) and \(f \in AC^{n}_{\delta }[a,b]\), the Caputo-type generalized fractional derivatives \({}^{\rho }_{c}D_{a^{+}}^{\alpha }\) and \({}^{\rho }_{c}D_{b^{-}}^{\alpha }\) are defined in terms of (2.3) and (2.4) as follows:
Lemma 2.4
([32])
Let \(\alpha \geq 0, n=[\alpha ]+1\), where \([\alpha ]\) denotes the integer part of α, and \(f \in AC^{n}_{\delta }[a,b]\) with \(0< a< b<\infty \).
1. If \(\alpha \notin \mathbb{N}\), then
2. If \(\alpha \in \mathbb{N}\), then
Lemma 2.5
([32])
If \(f \in AC_{\delta }^{n}[a,b]\) or \(C_{\delta }^{n}[a,b]\) and \(\alpha \in \mathbb{R}\), then
In particular, for \(0<\alpha \leq 1\), we have
Definition 2.6
A function \(y \in PC^{1}_{\delta }(J,\mathbb{R})\cap AC_{\delta }^{2}(J _{k})\) with its Caputo generalized derivative of order \(\alpha _{k}\), \(k=0,1,\dots ,p\), is a solution of (1.1) if it satisfies (1.1).
Lemma 2.7
For any \(h\in C([0,T],\mathbb{R}), y\in PC_{\delta }^{1} (J, \mathbb{R})\cap AC_{\delta }^{2}(J_{k}) \), the constants \(S_{k}, S ^{*}_{k}\ (k=1,2,\dots ,p)\) and
the integral representation of the solution for the following impulsive nonlocal integro-initial value problem
is given by
where
Proof
Applying the operator \({}^{\rho }I_{t_{k}^{+}}^{\alpha _{k}}\) to the fractional differential equation in (2.11) and using Lemma 2.5, we obtain
where \(c_{1,k},c_{2,k}\in \mathbb{R}, k=0,1,\dots ,p\). Taking δ-derivative of (2.14), we get
For \(t\in J_{0}\), we have
and
Using the condition \(\delta y(0)=0\) in (2.17), we get \(c_{2,0}=0\). In consequence, (2.16) and (2.17) take the form
and
Next, for \(t\in J_{1}\), we have
which imply that
Using the impulse conditions \(\bigtriangleup y(t_{1})=y(t_{1}^{+})-y(t _{1}^{-})= S_{1},\bigtriangleup \delta y(t_{k})=\delta y(t_{1}^{+})- \delta y(t_{1}^{-})=S^{*}_{1}\) in (2.22) and (2.23), we find that
Substituting the values of \(c_{1,1}\) and \(c_{2,1}\) in (2.20), we obtain
By a similar process, for \(t\in J_{k}\), we get
For \(t\in J_{k}, k=0,1,2,\dots ,p \), we have
The condition \(y(0)= \sum_{k=0}^{p}\lambda _{k} I_{t^{+}_{k}}^{\beta _{k}}y(\xi _{k})+\eta \), together with (2.18) and (2.25), implies that
which, on inserting in (2.18) and (2.24), yields the solution (2.12). The converse follows by direct computation. This completes the proof. □
3 Existence and uniqueness results
In this section, we present the existence and uniqueness results for problem (1.1). Let \(\mathcal{G}=PC_{\delta }^{1} (J,\mathbb{R}) \cap AC_{\delta }^{2}(J_{k})\). By Lemma 2.7, we transform problem (1.1) into a fixed point problem by defining an operator \(F:\mathcal{G}\to \mathcal{G}\) as
where A is defined by (2.13).
For convenience, for \(p\geq 1\), we set
and
Our first existence result for problem (1.1) relies on Krasnoselskii’s fixed point theorem [33], which is stated below.
Lemma 3.1
(Krasnoselskii’s fixed point theorem)
Suppose \(\mathcal{S}\) is a closed convex and nonempty subset of a Banach space X. Let \(A, B\) be the operators such that (i) \(Ax+By \in \mathcal{S}\) whenever \(x, y \in \mathcal{S}\); (ii) A is compact and continuous; and (iii) B is a contraction mapping. Then there exists \(w \in \mathcal{S}\) such that \(w=Aw+Bw\).
Theorem 3.2
Let \(f : [0,T]\times {\mathbb{R}} \to {\mathbb{R}}\) be a continuous function, and \(S_{k},S^{*}_{k} \in C(\mathbb{R} ,\mathbb{R})\). Assume there exist positive constants \(L_{2}, L_{3}, M_{2}, M_{3}\) such that the following conditions hold:
- \({(H_{1})}\) :
-
\(| S_{k}(x)-S_{k}(y)| \leq L_{2} | x-y| , | S^{*} _{k}(x)-S^{*}_{k}(y)| \leq L_{3} | x-y|\) with \(\|S_{k}(x)\|\leq M_{2}, \|S^{*}_{k}(x)\|\leq M_{3}, \forall x,y\in {\mathbb{R}}, k=1,2, \dots ,p\);
- \({(H_{2})}\) :
-
\(| f(t,y)| \leq \phi (t),\forall (t,y)\in [0,T] \times {\mathbb{R}}\), and \(\phi \in C([0,T], {\mathbb{R}}^{+})\).
Then problem (1.1) has at least one solution on J, provided that
Proof
Consider \(B_{r}=\{ y\in \mathcal{G}:\|y\|\leq r\}\) with \(r>\|\phi \| (\varLambda _{1}+\varLambda _{2})+M_{2}\varLambda _{3}+M_{3} \varLambda _{4}+\frac{|\eta |}{|\varOmega |}, \|\phi \|=\sup_{t\in [0,T]}| \phi (t)|\) and define operators \(\mathcal{P}\) and \(\mathcal{Q}\) on \(B_{r}\) as follows:
and
Observe that \(\mathcal{P}+\mathcal{Q}=F\), where the operator \(F:\mathcal{G}\to \mathcal{G}\) is defined by (3.1). For \(x,y\in B_{r}\) and \(t\in J_{0}\), we have
Next, for \(x,y\in B_{r}\) and \(t\in J_{k}, k=1,2,\dots ,p\), we obtain
Thus, \(\mathcal{P}x+\mathcal{Q}y\in B_{r}\). It follows from the assumptions \((H_{1})\) and (3.6) that \(\mathcal{Q}\) is a contraction, that is, for \(x,y\in B_{r}\) and \(t\in J_{0}\), we have
Similarly, for \(x,y\in B_{r}\) and \(t\in J_{k}\), one can obtain
Continuity of f implies that operator \(\mathcal{P}\) is continuous. Also, \(\mathcal{P}\) is uniformly bounded on \(B_{r}\) as
In order to prove the compactness of operator \(\mathcal{P}\), let \(\sup_{(t,y)\in J\times B_{r}}|f(t,y)|=\bar{f}<\infty \). Then, for \(\tau _{1},\tau _{2} \in J_{0}\) with \(\tau _{1}<\tau _{2}\), we have
Also, for \(\tau _{1},\tau _{2} \in J_{k}, k=1,2,\dots ,p\ (\tau _{1}< \tau _{2})\), we get
From the above inequalities, it follows that \(|(\mathcal{P}y)(\tau _{2})-(\mathcal{P}y)(\tau _{1})| \to 0\) as \(\tau _{2} - \tau _{1}\to 0, \forall \tau _{1},\tau _{2} \in J_{k}, k=0,1,\dots ,p\), independent of y. Thus, \(\mathcal{P}\) is equicontinuous. So \(\mathcal{P}\) is relatively compact on \(B_{r}\). Hence, by the Arzelá–Ascoli theorem, \(\mathcal{P}\) is compact on \(B_{r}\). Thus all the assumptions of Lemma 3.1 are satisfied. Hence the conclusion of Lemma 3.1 applies, and so the boundary value problem (1.1) has at least one solution on J. □
In the following result, we establish the uniqueness of solutions for problem (1.1) with the aid of the contraction mapping principle.
Theorem 3.3
Suppose \(f\in C(J\times \mathbb{R} ,\mathbb{R})\), assumption \((H_{1})\) holds, and the following condition is satisfied:
- \((H_{3})\) :
-
there exists a positive constant \(L_{1}\) such that
$$ \bigl\vert f(t,x)-f(t,y) \bigr\vert \le L_{1} \vert x-y \vert , \quad\textit{for } t\in J \textit{ and every } x, y \in {\mathbb{R}}. $$
Then there exists a unique solution for problem (1.1) on J if
where \(\varLambda _{1}, \varLambda _{2}, \varLambda _{3}\), and \(\varLambda _{4}\) are given by (3.2), (3.3), (3.4), and (3.5), respectively.
Proof
Setting \(\sup_{t\in J}|f(t,0)|=M_{1}\), we consider the set \(B_{r}=\{y\in \mathcal{G}: \|y\|\leq r \}\) with
and show that \(FB_{r}\subset B_{r}\). For \(y\in B_{r}\) and \(t\in J_{0}\), we have
which, upon taking norm for \(t\in J_{0}\), implies that \(\|(Fy)\|< r\). For \(y\in B_{r}\) and \(t\in J_{k}\), we have
Consequently, we get \(\|Fy\|< r\) for \(t\in J_{k}, k=0,1,\dots ,p\). Thus \(FB_{r} \subset B_{r}\).
Now, for \(y,z\in \mathcal{G}\) and \(t\in J_{0}\), we have
In a similar way for \(t \in J_{k}\), we obtain
Consequently, we obtain
which, in view of (3.7), implies that F is a contraction. Thus the conclusion of the theorem follows by the contraction mapping principle. □
Example 3.4
With \(\rho =1/2, \alpha _{0}=5/4, \alpha _{1}=7/4, \beta _{0}=1/2, \beta _{1}=3/2, \lambda _{0}=1/3, \lambda _{1}=1/4, \xi _{0}=1/2, \xi _{1}=3/2, t_{1}=3/4\), we consider the problem
Using the given data, we find that \(|\varOmega |\approx 0.438425\), \(\varLambda _{1}\approx 12.512411\), \(\varLambda _{2}\approx 1.442181\), \(\varLambda _{3}\approx 1.260667\), \(\varLambda _{4}\approx 2.903232\), where \(\varOmega , \varLambda _{1}, \varLambda _{2}, \varLambda _{3}\) and \(\varLambda _{4}\) are given by (2.10), (3.2), (3.3), (3.4), and (3.5), respectively. Clearly, all the assumptions of Theorem 3.2 hold with \(L_{2}=1/12, L_{3}=1/9, M_{2}=M_{3}=1, \phi (t)=\frac{2+ \cos t}{(t+9)^{2}}\), and \(p=1\). Also \(L_{2} \varLambda _{3}+L_{3} \varLambda _{4}\approx 0.4276369325<1\). Therefore, by Theorem 3.2, we deduce that the impulsive integro-initial value problem (3.8) has at least one solution on \([0,2]\). Furthermore, the hypothesis of Theorem 3.3 is satisfied with \(L_{1}=1/81, L_{2}=1/12, L_{3}=1/9, M_{2}=M_{3}=1\). Moreover, \(L_{1}(\varLambda _{1}+\varLambda _{2})+L_{2} \varLambda _{3}+L_{3} \varLambda _{4} \approx 0.599915849<1\). So, Theorem 3.3 implies that the impulsive integro-initial value problem (3.8) has a unique solution on \([0,2]\).
4 Extremal solutions
Here we discuss the existence of extremal solutions for problem (1.1). Before presenting the main result, we define lower and upper solutions for the problem at hand and prove a new comparison result.
Definition 4.1
Function \(y(t)\) is said to be a lower solution of problem (1.1) if
By reversing the inequalities in the above definition, we obtain the corresponding definition of an upper solution of (1.1).
Lemma 4.2
(Comparison result)
If \(\sum_{k=0}^{p} \frac{\lambda _{k}(\xi _{k}^{\rho }-t_{k}^{\rho })^{ \beta _{k}}}{\rho ^{\beta _{k}}\varGamma (\beta _{k}+1)}<1\) and \(y \in \mathcal{E}=PC_{\delta }^{1}(J,\mathbb{R})\cap AC_{\delta }^{2}(J_{k}, \mathbb{R})\) satisfies
then \(y(t)\geq 0, \forall t\in J\).
Proof
Consider a modified form of problem (2.11) given by
where \(g(t)\in C(J,\mathbb{R}^{+})\) and \(S_{k}, S_{k}^{*}\ (k=1,2, \dots , p), \eta \) are nonnegative constants.
Then the solution of problem (4.3) is
where
In view of the nonnegative nature of the function \(g(t)\) and constants \(S_{k}, S_{k}^{*}, \eta \), the conclusion of Lemma 4.2 follows from (4.4). □
Our next result, dealing with the extremal solutions of (1.1), relies on the following fixed point theorem [34].
Lemma 4.3
Let \([a,b]\) be a nonempty order interval of a subset Y of an ordered Banach space X and let \(P:[a,b] \to [a,b]\) be a nondecreasing mapping. If each sequence \(\{Py_{n}\}\subset P([a,b])\) converges whenever \(\{y_{n}\}\) is a monotone sequence in \([a,b]\), then the sequence of P-iterates of a converges to the least fixed point \(y_{*}\) of P and the sequence of P-iterates of b converges to the greatest fixed point \(y^{*}\) of P. Moreover,
Theorem 4.4
Assume that
- \({(A_{1})}\) :
-
the functions \(f(t,y)\), \(S_{k}(y)\), \(S_{k}^{*}(y), k=1,\dots ,p\), are continuous and nondecreasing in y;
- \({(A_{2})}\) :
-
there exist lower and upper solutions \(y_{0}\) and \(z_{0} \in \mathcal{E}\) for problem (1.1), respectively, such that \(y_{0}\leq z_{0}\);
- \({(A_{3})}\) :
-
\(\sum_{k=0}^{p} \frac{\lambda _{k}(\xi _{k}^{\rho }-t _{k}^{\rho })^{\beta _{k}}}{\rho ^{\beta _{k}}\varGamma (\beta _{k}+1)}<1\).
Then problem (1.1) has extremal solutions in the sector \([y_{0},z_{0}]\).
Proof
Consider problem (2.11) with \(h(t)=f(t,v(t)), S_{k}=S_{k}(v(t_{k}))\) and \(S^{*}_{k}=S^{*}_{k}(v(t_{k})), k=1,2, \dots ,p\). Let us consider the operator F defined by (3.1) from \([y_{0},z_{0}]\) to \(\mathcal{E}\) such that \(y(t)=F v(t)\). First, it will be shown that F maps \([y_{0},z_{0}]\) into \([y_{0},z_{0}]\).
Let \(y_{1}=F y_{0}, z_{1}=F z_{0}\). Then \(y_{1}, z_{1}\) are well defined and respectively satisfy the problems
and
Setting \(u=y_{1}-y_{0}\) and using the definition of a lower solution, we get
which, by Lemma 4.2, implies that \(u(t)\geq 0, \forall t\in J\). Thus \(Fy_{0}\geq y_{0}\). Similarly, using the definition of an upper solution, one can show that \(Fz_{0}\leq z_{0}\).
Now, we define \(\omega =z_{1}-y_{1}\) and use (4.6) and (4.7) together with assumption \(A_{1}\) to obtain
Applying Lemma 4.2, we deduce that \(\omega (t)\geq 0\), that is, \(Fz_{0}\geq Fy_{0}\). Thus F is nondecreasing and \(y_{0}\leq Fy \leq z_{0}\) for any \(y\in [y_{0},z_{0}]\). In consequence, \(F[y_{0},z _{0}]\subset [y_{0},z_{0}]\) and \(\|Fy\|\leq \max \{\|y_{0}\|,\|z_{0} \|\}:=\Delta \).
Let \(\{ y_{n}\}\) be a monotone sequence in \([y_{0},z_{0}]\). Then \(y_{0}\leq Fy_{n} \leq z_{0}\) and \(\|Fy_{n}\|\leq \Delta \). Next we show that the sequence \(\{ Fy_{n}\}\) is equicontinuous. For any \((t,y) \in J\times [-\Delta ,\Delta ]\), there exist positive constants \(K_{1}, K_{2}\) such that \(|f(t,y)|\leq K_{1}, |S_{k}^{*}(y)|\leq K _{2}\). Then, for any \(\tau _{1},\tau _{2}\in J_{k}\) with \(\tau _{1} \leq \tau _{2}, k=1,2,\dots ,p\), we obtain
which tends to zero as \(\tau _{2}-\tau _{1}\to 0\) independent of y. A similar conclusion follows for \(\tau _{1},\tau _{2}\in J_{0}\). Thus, \(\{Fy_{n}\}\) is equicontinuous on all \(J_{k}, 0\leq k\leq p\). So F is relatively compact on \([y_{0},z_{0}]\). Hence, by the Arzelá–Ascoli theorem, F is compact on \([y_{0},z_{0}]\), and consequently \(\{Fy_{n}\}\) converges in \(F([y_{0},z_{0}])\). Thus all the hypotheses of Lemma 4.3 hold, and the conclusion of Lemma 4.3 implies that F has the least and greatest fixed points in \([y_{0},z_{0}]\). This shows that problem (1.1) has extremal solutions on \([y_{0},z_{0}]\). □
Example 4.5
Consider the problem
where \(\rho =1/3, \alpha _{0}=5/4, \alpha _{1}=3/2, \beta _{0}=1/2, \beta _{1}=3/2, \lambda _{0}=1/10, \lambda _{1}=1/7, \xi _{0}=1/4, \xi _{1}=3/4, t_{1}=1/2\), \(f(t,y)=\frac{t(t^{1/3}-(1/2)^{1/3})^{2} }{1100}(1+ y^{3})\), \(S_{1}(y)=\frac{1}{4}\tan ^{-1}y\), and \(S_{1}^{*}(y)=\frac{y}{5}\).
We take \(y_{0}(t)=0\) as the lower solution and
as the upper solution of problem (4.10). With the given data, it is found that
Also, assumption \((A_{1})\) is clearly satisfied. Thus, by Theorem 4.4, problem (4.10) has extremal solutions on \([y_{0},z _{0}]\).
5 Conclusions
We have developed an existence theory for impulsive multi-order nonlinear Caputo-type generalized fractional differential equations equipped with nonlocal conditions involving Katugampola type generalized fractional integrals. The work presented in this paper is new and significantly contributes to the existing literature on the topic. By fixing the parameters involved in the problem, we can obtain some new results as special cases of those derived in this paper. For instance, our results correspond to those for nonlinear single order Caputo-type generalized fractional differential equations with generalized fractional integro-initial conditions if we set \(\alpha _{k}=\alpha \). The results obtained in [26] appear as a special case of those established in Sect. 4 for \(\rho =1\).
References
Alur, R., Courcoubetis, C., Dill, D.: Model checking for real-time systems. In: Proc. 5th Ann. IEEE Symp. on Logic in Computer Science, Philadelphia, PA, pp. 414–425 (1990)
Lygeros, J., Godbole, D.N., Sastry, S.: A verified hybrid controller for automated vehicles. IEEE Trans. Autom. Control 43, 522–539 (1998)
Varaiya, P.: Smart cars on smart roads: problems of control. IEEE Trans. Autom. Control 38, 195–207 (1993)
Altafini, C., Speranzon, A., Johansson, K.H.: Hybrid control of a truck and trailer vehicle. In: Tomlin, C.J., Greenstreet, M.R. (eds.) Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 2289. Springer, New York (2002)
Balluchi, A., Benvenutti, L., Di Benedetto, M., Pinello, C., Sangiovanni-Vincentelli, A.: Automotive engine control and hybrid systems: challenges and opportunities. Proc. IEEE 7, 888–912 (2000)
Wang, J.R., Zhou, Y., Feckan, M.: On recent developments in the theory of boundary value problems for impulsive fractional differential equations. Comput. Math. Appl. 64, 3008–3020 (2012)
Graef, J.R., Kong, L.: Existence of positive solutions to a higher order singular boundary value problem with fractional q-derivatives. Fract. Calc. Appl. Anal. 16, 695–708 (2013)
O’Regan, D., Stanek, S.: Fractional boundary value problems with singularities in space variables. Nonlinear Dyn. 71, 641–652 (2013)
Henderson, J., Luca, R.: Nonexistence of positive solutions for a system of coupled fractional boundary value problems. Bound. Value Probl. 2015, 138 (2015)
Zhang, L., Ahmad, B., Wang, G.: Successive iterations for positive extremal solutions of nonlinear fractional differential equations on a half line. Bull. Aust. Math. Soc. 91, 116–128 (2015)
Ahmad, B., Alsaedi, A., Aljoudi, S., Ntouyas, S.K.: On a coupled system of sequential fractional differential equations with variable coefficients and coupled integral boundary conditions. Bull. Math. Soc. Sci. Math. Roum. 60(108), 3–18 (2017)
Wang, G., Pei, K., Agarwal, R.P., Zhang, L., Ahmad, B.: Nonlocal Hadamard fractional boundary value problem with Hadamard integral and discrete boundary conditions on a half-line. J. Comput. Appl. Math. 343, 230–239 (2018)
Ahmad, B., Luca, R.: Existence of solutions for a system of fractional differential equations with coupled nonlocal boundary conditions. Fract. Calc. Appl. Anal. 21, 423–441 (2018)
Henderson, J., Luca, R.: Positive solutions for a system of coupled fractional boundary value problems. Lith. Math. J. 58, 15–32 (2018)
Ding, X., Nieto, J.J.: Analytical solutions for multi-term time-space fractional partial differential equations with nonlocal damping terms. Fract. Calc. Appl. Anal. 21, 312–335 (2018)
Agarwal, R.P., Ahmad, B., Alsaedi, A.: Fractional-order differential equations with anti-periodic boundary conditions: a survey. Bound. Value Probl. 2015, 138 (2017)
Ahmad, B., Alghanmi, M., Ntouyas, S.K., Alsaedi, A.: Fractional differential equations involving generalized derivative with Stieltjes and fractional integral boundary conditions. Appl. Math. Lett. 84, 111–117 (2018)
Nieto, J.J.: An abstract monotone iterative technique. Nonlinear Anal. 28, 1923–1933 (1997)
Ahmad, B., Sivasundaram, S.: Existence results for nonlinear impulsive hybrid boundary value problems involving fractional differential equations. Nonlinear Anal. Hybrid Syst. 3, 251–258 (2009)
Abbas, S., Benchohra, M.: Upper and lower solutions method for impulsive partial hyperbolic differential equations with fractional order. Nonlinear Anal. Hybrid Syst. 4, 406–413 (2010)
Wang, G., Ahmad, B., Zhang, L.: Impulsive anti-periodic boundary value problem for nonlinear differential equations of fractional order. Nonlinear Anal. 74, 792–804 (2011)
Wang, J., Feckan, M., Zhou, Y.: A survey on impulsive fractional differential equations. Fract. Calc. Appl. Anal. 19, 806–831 (2016)
Yukunthorn, W., Ahmad, B., Ntouyas, S.K., Tariboon, J.: On Caputo–Hadamard type fractional impulsive hybrid systems with nonlinear fractional integral conditions. Nonlinear Anal. Hybrid Syst. 19, 77–92 (2016)
Wang, G., Ahmad, B., Zhang, L., Nieto, J.J.: Comments on the concept of existence of solution for impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 19, 401–403 (2014)
Liu, S., Wang, J., Zhou, Y.: Optimal control of noninstantaneous impulsive differential equations. J. Franklin Inst. 354, 7668–7698 (2017)
Zhang, L., Nieto, J.J., Wang, G.: Extremal solutions for a nonlinear impulsive differential equations with multi-orders fractional derivatives. J. Appl. Anal. Comput. 7, 814–823 (2017)
Harrat, A., Nieto, J.J., Debbouche, A.: Solvability and optimal controls of impulsive Hilfer fractional delay evolution inclusions with Clarke sub-differential. J. Comput. Appl. Math. 344, 725–737 (2018)
Benchohra, M., Nieto, J.J., Ouahab, A.: Impulsive differential inclusions via variational method. Georgian Math. J. 24, 313–323 (2017)
Agarwal, R.P., Hristova, S., O’Regan, D.: Iterative techniques for the initial value problem for Caputo fractional differential equations with non-instantaneous impulses. Appl. Math. Comput. 334, 407–421 (2018)
Katugampola, U.N.: New approach to a generalized fractional integral. Appl. Math. Comput. 218, 860–865 (2015)
Katugampola, U.N.: A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl. 6, 1–15 (2014)
Jarad, F., Abdeljawad, T., Baleanu, D.: On the generalized fractional derivatives and their Caputo modification. J. Nonlinear Sci. Appl. 10, 2607–2619 (2017)
Krasnoselskii, M.A.: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123–127 (1955)
Heikkila, S., Lakshmikantham, V.: Monotone Iterative Techniques for Discontinuous Nonlinear Differential Equations. Marcel Dekker, New York (1994)
Acknowledgements
This project was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, Saudi Arabia, under grant no. (RG-1-130-39). The author, therefore, acknowledge with thanks DSR technical and financial support.
Availability of data and materials
Not applicable.
Funding
This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia under grant no. (RG-1-130-39).
Author information
Authors and Affiliations
Contributions
Each of the authors, BA, MA, JJN, and AA contributed equally to each part of this work. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Ahmad, B., Alghanmi, M., Nieto, J.J. et al. On impulsive nonlocal integro-initial value problems involving multi-order Caputo-type generalized fractional derivatives and generalized fractional integrals. Adv Differ Equ 2019, 247 (2019). https://doi.org/10.1186/s13662-019-2183-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2183-4