Abstract
In this paper, we investigate the existence of solutions for two nonlinear fractional multi-term integro-differential inclusions in two hybrid and non-hybrid versions. The boundary value conditions are in the form of three-point integral hybrid conditions. In this way, we define a new operator based on the integral solution of the given boundary value inclusion problem and then we use assumptions of a Dhage’s fixed point result for this fractional operator in the hybrid case. Also, the approximate endpoint property is applied for the corresponding set-valued maps in the non-hybrid case. Finally, we provide two examples to illustrate our main results.
Similar content being viewed by others
1 Introduction
To design powerful computing software, we need strong mathematical tools. In other words, if one can make exact patterns for natural phenomena and processes by using new mathematical formulas and operators, then more flexible algorithms can be written in the software programming based on such relations and formulas. This results in accurate computer calculations with the least error in the shortest time. In this way, many researchers are currently studying various types of advanced mathematical models using fractional differential equations and related inclusion versions with more general boundary value conditions [1–8]. Indeed, they try to model the processes such that they cover many general cases and in this situation; mathematicians would like to solve a wide range of these boundary value problems with advanced and complicated boundary conditions. Recently, many papers have been published on the existence of solutions for different fractional boundary value problems (see, for example, [9–34]). In the last few decades, fractional hybrid differential equations and inclusions with hybrid or non-hybrid boundary value conditions have received a great deal of interest and attention of many researchers (see, for example, [35–42]).
The starting point for this field is related to a joint work of Dhage and Lakshmikantham in 2010. They introduced a new category of nonlinear differential equations, called ordinary hybrid differential equations, and studied the existence of extremal solutions for this boundary value problem by establishing some fundamental differential inequalities [43]. In 2012, Zhao et al. provided an extension for the Dhage’s work to fractional order and considered a boundary value problem of fractional hybrid differential equations [44]. Later, many papers have been published by researchers, in which authors studied different properties of solutions for fractional hybrid boundary value problems. In 2016, Ahmad et al. studied the existence of solutions for the nonlocal boundary value problem of fractional hybrid integro-differential inclusion
where \({}^{c}\mathcal{D}_{0}^{\alpha }\) denotes the Caputo fractional derivative of order \(\alpha \in (1,2]\) and \(\mathcal{I}_{0}^{\phi }\) is the Riemann–Liouville fractional integral of order \(\phi > 0\) with \(\phi \in \{ \beta _{1} , \beta _{2} , \dots , \beta _{m} \}\) [45]. Next, Baleanu et al. derived some existence results and a theorem on the dimension of the solution set for the fractional hybrid inclusion problem
for \(t \in [0,1]\), supplemented with boundary value conditions \(k(0)=k_{0}^{*}\) and \(k(1)=k_{1}^{*}\), where \(\nu \in (1,2]\), \({}^{c}\mathcal{D}^{\nu } \) and \(\mathcal{I}^{\gamma }\) denote the Caputo derivative operators of fractional order ν and the Riemann–Liouville integral operator of fractional order \(\gamma \in \{ \alpha _{i} , \beta _{j} \} \subset (0, \infty )\) for \(i=1,\ldots , n\) and \(j=1,\ldots ,m\), respectively [46]. In 2019, Samei et al. discussed the existence of solutions for the fractional hybrid Caputo–Hadamard differential inclusion
for \(t \in [1,e]\), where \(\alpha \in (1,2]\), \(n,m \in \mathbb{N}\), \(\beta _{i} >0\) for \(i=1,2,\dots , n\), \(\gamma _{i} >0\) for \(i=1,2,\dots , m\), the functions \(g: J \times \mathbb{R}^{m+1} \to \mathbb{R} \setminus \{ 0\}\), \(f: J \times \mathbb{R}^{n+1} \to \mathbb{R}\) and \(h_{i}: J \times \mathbb{R} \to \mathbb{R}\) are continuous, \(\mu , \eta \in C( J , \mathbb{R})\), \(K : J \times \mathbb{R} \to \mathcal{P}(\mathbb{R})\) is a set-valued map with certain conditions, and the operators \({}^{\mathrm{CH}}\mathcal{D}_{1^{+}}^{(\cdot )}\) and \(\mathcal{I}^{ (\cdot )}\) denote the fractional Caputo–Hadamard derivative and the fractional Hadamard integral of order \((\cdot )\), respectively [40].
By mixing ideas of the above works, we investigate the fractional hybrid multi-term Caputo integro-differential inclusion
with three-point integral hybrid boundary value conditions
where \(t \in J=[0,1]\), \(\omega \in (1,2]\), \(\beta \in (0,1]\), \(\eta \in (0,1)\), \(\lambda _{1}\), \(\lambda _{2}\), \(\lambda _{3}\), \(\lambda _{4}\), \(a, b \in \mathbb{R}^{+} \) and \({}^{c}\mathcal{D}_{0}^{ \gamma }\) denotes the fractional Caputo derivative of order \(\gamma \in \{ \omega , \beta \}\). Also \(\xi : [0,1]\times \mathbb{R}^{n+1} \to \mathbb{R} \setminus \{ 0\} \) is a continuous function and \(\mathcal{K}: [0,1] \times \mathbb{R}^{m+1} \to \mathcal{P}( \mathbb{R}) \) is a set-valued map via some certain properties. For \(i = 1,2,\dots , m\), let
and, for \(i = 1,2,\dots , n\), let
with \(\varpi _{i} , \varrho _{i} > 0\) and \(m,n \in \mathbb{N}\). If we put \(\xi ( t , k(t), \varphi _{1} (k(t)) , \dots , \varphi _{n} (k(t)) ) = 1 \) and \(\mathcal{K} (t, k(t) , \phi _{1} (k(t)), \dots , \phi _{m} (k(t)) ) = \mathcal{S} (t, k(t) )\), then the fractional hybrid multi-term integro-differential inclusion (1)–(2) reduces to the fractional non-hybrid inclusion problem
We review the existence of solutions for two given fractional hybrid and non-hybrid inclusion problems. It is noted that the fractional hybrid multi-term integro-differential inclusion presented in this paper is new in the sense that the boundary value conditions are stated as three-point mixed Caputo integro-derivative hybrid conditions. Also, this hybrid boundary value problem is general and it involves many fractional dynamical systems as special cases. In this way, we use the Dhage fixed point theorem for the hybrid case and the approximate endpoint property for the non-hybrid case.
The paper is organized as follows: In the next Sect. 2, some basic definitions and applied results are presented. In Sect. 3, we state our main existence results and used techniques in this direction. Finally, two illustrative examples about the corresponding existence results are given in the last Sect. 4.
2 Preliminaries
In this section, we recall some definitions and theorems needed in the sequel. Let \(\omega >0\). The fractional Riemann–Liouville integral of a function \(k : [a,b] \to \mathbb{R}\) is defined by
provided that the right-hand side integral exists [47, 48]. Now, let \(n-1< \omega <n\) and \(n = [ \omega ] +1\). The fractional Caputo derivative of a function \(k \in C^{(n)}([a,b], \mathbb{R})\) is defined by
provided that the right-hand side integral exists [47, 48]. It has been proved that the general solution for the homogeneous fractional differential equation \({}^{c}\mathcal{D}_{0}^{ \omega } k(t )=0\) is in the form \(k ( t )= m_{0}^{*} + m_{1}^{*}t + m_{2}^{*} t^{2}+\cdots +m_{n-1}^{*} t^{n-1}\) and we have
where \(m_{0}^{*},\ldots ,m_{n-1}^{*}\) are some real constants and \(n=[ \omega ]+1\) [49].
Assume that \((\mathcal{X},\Vert \cdot \Vert _{\mathcal{X} })\) is a normed space. The set of all subsets of \(\mathcal{X} \), the set of all closed subsets of \(\mathcal{X} \), the set of all bounded subsets of \(\mathcal{X} \), the set of all compact subsets of \(\mathcal{X} \), and the set of all convex subsets of \(\mathcal{X} \) are represented by \({\mathcal{P}}( \mathcal{X} )\), \({\mathcal{P}}_{cl}( \mathcal{X} )\), \({\mathcal{P}}_{b}( \mathcal{X} )\), \({\mathcal{P}}_{cp}( \mathcal{X} )\), and \({\mathcal{P}}_{cv}( \mathcal{X} )\), respectively. We say that \(k^{*}\in \mathcal{X}\) is a fixed point for the set-valued map \(\mathcal{K} : \mathcal{X} \to \mathcal{P}(\mathcal{X})\) if \(k^{*}\in \mathcal{K}(k^{*})\) [50]. The set of all fixed points of the set-valued map \(\mathcal{K} \) is denoted by \({\mathcal{FIX}} (\mathcal{K})\) [50]. The Pompeiu–Hausdorff metric \(\mathrm{PH}_{d} : {\mathcal{P}}(\mathcal{X}) \times {\mathcal{P}}( \mathcal{X}) \to \mathbb{R} \cup \{\infty \}\) is defined by
where \(d_{\mathcal{X}}(A_{1}, a_{2}) = \inf_{a_{1}\in A_{1}}d_{\mathcal{X}}(a_{1},a_{2})\) and \(d_{\mathcal{X}}(a_{1},A_{2}) = \inf_{a_{2}\in A_{2}}d_{\mathcal{X}}(a_{1},a_{2})\) [50]. A set-valued map \(\mathcal{K} : \mathcal{X} \to {\mathcal{P}}_{cl}(\mathcal{X})\) is said to be Lipschitz with a Lipschitz constant \(\lambda ^{*} >0\) whenever we have \(\mathrm{PH}_{d_{\mathcal{X}}}(\mathcal{K}( k_{1}),\mathcal{K} (k_{2})) \leq \lambda ^{*} d_{\mathcal{X}}(k_{1},k_{2}) \) for all \(k_{1}, k_{2} \in \mathcal{X} \). A Lipschitz map \(\mathcal{K} \) is called a contraction whenever \(\lambda ^{*}\in (0,1)\) [50]. We say that the set-valued map \(\mathcal{K}\) is completely continuous whenever the set \(\mathcal{K} (W)\) is relatively compact for every \(W\in \mathcal{P}_{b} (\mathcal{X})\). A set-valued map \(\mathcal{K} : [0,1] \to {\mathcal{P}}_{cl}(\mathbb{R})\) is said to be measurable if the function \(t \mapsto d_{\mathcal{X}}( \upsilon ,\mathcal{K}(t ))\) is measurable for all \(\upsilon \in \mathbb{R}\) [50, 51]. We say that the set-valued map \(\mathcal{K}\) is an upper semi-continuous (u.s.c.) whenever for each \(k^{*} \in \mathcal{X} \), the set \(\mathcal{K}(k^{*})\) belongs to \(\mathcal{P}_{cl}(\mathcal{X})\) and for every open set \(\mathcal{V}\) containing \(\mathcal{K}(k^{*})\), there exists an open neighborhood \(\mathcal{U}_{0}^{*}\) of \(k^{*}\) such that \(\mathcal{K}(\mathcal{U}_{0}^{*}) \subseteq \mathcal{V}\) [50]. A real-valued function \(k: \mathbb{R} \to \mathbb{R}\) is called upper semi-continuous whenever \(\limsup_{n\to \infty }k(a_{n})\leq k(a )\) for all sequences \(\{ a_{n} \}_{n\geq 1}\) with \(a_{n} \to a \) [50].
The graph of the set-valued map \(\mathcal{K}: \mathcal{X} \to \mathcal{P}_{cl}( \mathcal{Y} )\) is defined by
We say that the graph of \(\mathcal{K}\) is a closed set if for each sequence \(\{ k_{n}\}_{n \geq 1}\) in \(\mathcal{X}\) and \(\{s_{n}\}_{n \geq 1} \) in \(\mathcal{Y}\), \(k_{n} \to k_{0}\), \(s_{n} \to s_{0}\) and \(s_{n} \in \mathcal{K}( k_{n})\), we have \(s_{0} \in \mathcal{K}( k_{0})\) [50, 51]. Suppose that the set-valued map \(\mathcal{K} : \mathcal{X} \to \mathcal{P}_{cl}(\mathcal{Y})\) is upper semi-continuous. Then \(\mathrm{Graph}(\mathcal{K})\) is a subset of the product space \(\mathcal{X} \times \mathcal{Y}\) which is a closed set. Conversely, if the set-valued map \(\mathcal{K}\) is completely continuous and has a closed graph, then \(\mathcal{K}\) is upper semi-continuous [50, Proposition 2.1]. A set-valued map \(\mathcal{K} \) is convex-valued if \(\mathcal{K}(k)\) is a convex set for each element \(k \in \mathcal{X} \). A set of selections of a set-valued map \(\mathcal{K} \) at point \(k \in C([0,1],\mathbb{R})\) is defined by
for almost all \(t \in [0,1] \) [50, 51]. If \(\mathcal{K}\) is an arbitrary set-valued map, then for each function \(k \in C([0,1],\mathcal{X} )\), we have \(( \mathcal{SEL})_{\mathcal{K},k}\neq \emptyset \) whenever \(\dim \mathcal{X} < \infty \) [50]. A set-valued map \(\mathcal{K}: [0,1]\times \mathbb{R} \rightarrow {\mathcal{P}}( \mathbb{R})\) is called Carathéodory whenever \(t \mapsto \mathcal{K}(t ,k)\) is a measurable mapping for each function \(k \in \mathbb{R}\) and \(k \mapsto \mathcal{K}(t ,k) \) is an upper semi-continuous mapping for almost all \(t \in [0,1]\) [50, 51]. Moreover, a Carathéodory set-valued map \(\mathcal{K}: [0,1]\times \mathbb{R} \rightarrow {\mathcal{P}}( \mathbb{R})\) is said to be \(\mathcal{L}^{1}\)-Carathéodory whenever for each constant \(\mu >0\) there exists function \(\phi _{\mu }\in \mathcal{L}^{1}([0,1],\mathbb{R}^{+})\) such that
for all \(| k |\leq \mu \) and for almost all \(t \in [0,1]\) [50, 51]. We say that \(u\in \mathcal{X}\) is an endpoint of the set-valued map \(\mathcal{K}:\mathcal{X}\to \mathcal{P}(\mathcal{X})\) whenever we have \(\mathcal{K}(k)=\{ k\}\) [52]. Also, the set-valued map \(\mathcal{K}\) has an approximate endpoint property whenever \(\inf_{k\in \mathcal{X}}\sup_{k^{*}\in \mathcal{K}(k)}d_{\mathcal{X}}(k,k^{*})=0\) [52]. We need the following results.
Theorem 1
([53])
Suppose that\(\mathcal{X}\)is a separable Banach space, \(\mathcal{K} : [0, 1] \times \mathcal{X} \to {\mathcal{P}}_{cp,cv}( \mathcal{X})\)is an\(\mathcal{L}^{1}\)-Carathéodory set-valued map and\(\varXi : \mathcal{L}^{1}([0,1],\mathcal{X}) \to C([0,1],\mathcal{X})\)is a linear continuous mapping. Then the composition\(\varXi \circ ( \mathcal{SEL})_{\mathcal{K} } : C([0,1],\mathcal{X}) \to {\mathcal{P}}_{cp,cv} (C([0,1],\mathcal{X}))\)is an operator in the product space\(C([0,1],\mathcal{X}) \times C([0,1],\mathcal{X}) \)with action\(k \mapsto (\varXi \circ ( \mathcal{SEL})_{\mathcal{K} }) (k) = \varXi ( ( \mathcal{SEL})_{\mathcal{K} ,k})\)having the closed graph property.
Theorem 2
([54])
Let\(\mathcal{X}\)be a Banach algebra. Assume that there exist a single-valued map\(\varPhi : \mathcal{X} \to \mathcal{X}\)and a set-valued map\(\varUpsilon : \mathcal{X} \to \mathcal{P}_{cp,cv}(\mathcal{X})\)such that
- (i)
Φis a Lipschitz operator with a Lipschitz constant\(\delta ^{*}\),
- (ii)
ϒis an upper semi-continuous operator with the compactness property,
- (iii)
\(2\delta ^{*} \hat{\Delta } <1\)is such that\(\hat{\Delta } =\Vert \varUpsilon (\mathcal{X})\Vert \).
Then either there is a solution in\(\mathcal{X}\)for the operator inclusion\(k \in (\varPhi k)( \varUpsilon k) \)or the set\(\mathcal{O}^{*} =\{ v^{*}\in \mathcal{X} \vert \lambda _{*} v^{*} \in (\varPhi v^{*})(\varUpsilon v^{*}), \lambda _{*} > 1 \} \)is unbounded.
Theorem 3
([52])
Let\((\mathcal{X},d_{\mathcal{X}})\)be a complete metric space and\(\psi : [0, \infty ) \to [0, \infty )\)be an upper semi-continuous function such that\(\psi (t)< t\)and\(\liminf_{t\to \infty }(t-\psi (t))>0\)for all\(t>0\). Suppose that\(\mathcal{K} : \mathcal{X}\to \mathcal{P}_{cl,b}(\mathcal{X})\)is a set-valued map so that\(\mathrm{PH}_{d_{\mathcal{X}}}(\mathcal{K} k_{1},\mathcal{K}k_{2})\leq \psi (d_{\mathcal{X}}(k_{1},k_{2}))\)for all\(k_{1},k_{2} \in \mathcal{X}\). Then\(\mathcal{K}\)has a unique endpoint if and only if\(\mathcal{K}\)has the approximate endpoint property.
3 Main results
Now, we investigate the existence of solutions for the fractional hybrid and non-hybrid multi-term integro-differential inclusion problems (1)–(2) and (3). Consider the Banach space
with the norm \(\Vert k \Vert _{\mathcal{X} } = \sup_{ t\in [0,1] } \vert k(t) \vert \).
Lemma 4
Let\(z \in \mathcal{X}\). A function\(k_{0}^{*}\)is a solution for the fractional hybrid equation
with four-point integral hybrid boundary value conditions
if and only if\(k_{0}^{*}\)is a solution for the fractional integral equation
where\(\Delta _{1}\)and\(\Delta _{2}\)are positive real constants defined as follows:
Proof
Assume that \(k_{0}^{*}\) is a solution for the hybrid differential equation (4). Then, there exist constants \(m_{0}^{*}, m_{1}^{*} \in \mathbb{R}\) such that
Then,
and so, for each \(\beta \in (0,1]\), we get
By using three-point integral hybrid boundary value conditions, we obtain
and
By substituting the values of \(m_{0}^{*}\) and \(m_{1}^{*}\) into (8), we get
This shows that the function \(k_{0}^{*}\) is a solution for the fractional integral equation (6). Conversely, one can easily prove that \(k_{0}^{*}\) is a solution for the boundary value problem (4)–(5) whenever \(k_{0}^{*}\) is a solution function for the fractional integral equation (6). □
Definition 5
An absolutely continuous function \(k :[0,1]\to \mathbb{R}\) is a solution for the fractional hybrid multi-term inclusion problem (1)–(2) whenever there exists an integrable function \(\vartheta \in \mathcal{L}^{1}([0,1],\mathbb{R})\) with \(\vartheta (t )\in \mathcal{K} (t, k(t) , \phi _{1} (k(t)) , \dots , \phi _{m} (k(t)) )\) for almost all \(t \in [0,1]\) satisfying three-point integral hybrid boundary value conditions
and
for all \(t \in [0,1]\).
Now, we prove our first result about the inclusion problem (1)–(2).
Theorem 6
Suppose that\(\mathcal{K} : [0,1]\times \mathbb{R}^{m+1} \to \mathcal{P}_{cp, cv}( \mathbb{R})\)is a set-valued mapping and\(\xi :[0,1]\times \mathbb{R}^{n+1} \to \mathbb{R} \setminus \{ 0 \} \)is a continuous function. Assume that
- (\(\mathcal{C}1\)):
there is a bounded mapping\(A :[0,1]\to \mathbb{R}^{+}\)so that for each\(k_{1}, \dots , k_{n+1}\), \(k'_{1}, \dots , k'_{n+1}\in \mathbb{R} \)and for all\(t \in [0,1]\), we have
$$ \bigl\vert \xi \bigl(t ,k_{1}(t ), \dots , k_{n+1}(t) \bigr)- \xi \bigl(t ,k'_{1}(t ), \dots , k'_{n+1}(t) \bigr) \bigr\vert \leq A (t ) \sum _{i=1}^{n+1} \bigl\vert k_{i}(t )-k'_{i}(t ) \bigr\vert , $$- (\(\mathcal{C}2\)):
the set-valued map\(\mathcal{K} : [0,1]\times \mathbb{R}^{m+1} \to \mathcal{P}_{cp,cv}( \mathbb{R})\)has the\(\mathcal{L}^{1}\)-Carathéodory property,
- (\(\mathcal{C}3\)):
there is a positive mapping\(\varTheta (t) \in \mathcal{L}^{1}([0,1], \mathbb{R}^{+})\)such that
$$\begin{aligned} \bigl\Vert \mathcal{K} (t ,k_{1}, k_{2}, \dots ,k_{m+1} ) \bigr\Vert & =\sup \bigl\{ \vert \vartheta \vert : \vartheta \in \mathcal{K} \bigl(t ,k_{1}(t), k_{2}(t), \dots ,k_{m+1}(t) \bigr) \bigr\} \\ & \leq \varTheta (t), \end{aligned}$$for all\(k_{1} , \dots , k_{m+1} \in \mathbb{R}\)and for almost all\(t \in [0,1]\),
- (\(\mathcal{C}4\)):
there is a positive real number\(\tilde{ r } \in \mathbb{R} \)such that
$$ \tilde{ r } > \frac{ \xi ^{*} \varLambda ^{*} \Vert \varTheta \Vert _{\mathcal{L}^{1}}}{1-A^{*} [ 1+ \frac{1}{ \varGamma ( \varrho _{1} +1) } + \frac{1}{ \varGamma ( \varrho _{2} +1) } + \cdots + \frac{1}{ \varGamma ( \varrho _{n} +1) } ] \varLambda ^{*} \Vert \varTheta \Vert _{\mathcal{L}^{1}}} , $$(9)where\(\Vert \varTheta \Vert _{\mathcal{L}^{1}} =\int _{0}^{1} \vert \varTheta (s)\vert \,\mathrm{d}s \),
$$ \xi ^{*} = \sup_{t \in [0,1]} \bigl\vert \xi \bigl(t , \overbrace{0 , 0, \dots , 0}^{(n+1)} \bigr) \bigr\vert , $$\(A^{*} =\sup_{t \in [0,1]}\vert A(t ) \vert \), \(\varrho _{i} > 0\)for\(i=1,2,\dots , n\)and
$$\begin{aligned} \varLambda ^{*} &= \frac{1}{ \varGamma ( \omega +1)} + \frac{ \vert \lambda _{2} \vert }{ ( \vert \lambda _{1} \vert + \vert \lambda _{2} \vert ) \varGamma ( \omega +1 )} \\ & \quad{}+ \frac{ \vert \lambda _{3} \vert \vert \Delta _{2} \vert [ \vert \lambda _{1} \vert + 2 \vert \lambda _{2} \vert ] \eta ^{\omega - \beta } }{ ( \vert \lambda _{1} \vert + \vert \lambda _{2} \vert ) \vert \Delta _{1} \vert \varGamma ( \omega - \beta +1 )} \\ &\quad{}+ \frac{ \vert \lambda _{4} \vert \vert \Delta _{2} \vert [ \vert \lambda _{1} \vert + 2 \vert \lambda _{2} \vert ] }{ ( \vert \lambda _{1} \vert + \vert \lambda _{2} \vert ) \vert \Delta _{1} \vert \varGamma ( \omega - \beta + 2 )} \\ & \quad{}+ \frac{ ( \vert a \vert \vert \Delta _{1} \vert + \vert b \vert \vert \Delta _{2} \vert ) [ \vert \lambda _{1} \vert + 2 \vert \lambda _{2} \vert ] }{( \vert \lambda _{1} \vert + \vert \lambda _{2} \vert ) \vert \Delta _{1} \vert } . \end{aligned}$$(10)
If
then the hybrid multi-term inclusion problem (1)–(2) has a solution.
Proof
For every \(k \in \mathcal{X}\), define the set of selections of the operator \(\mathcal{K}\) by
for almost all \(t\in [0,1]\). Consider the set-valued map \(\mathcal{H}:\mathcal{X}\to \mathcal{P}(\mathcal{X})\) defined by
for all \(t \in [0,1]\). It is obvious that the function \(h_{0}\) is a solution for the hybrid multi-term inclusion problem (1)–(2) if and only if \(h_{0}\) is a fixed point of the operator \(\mathcal{H}\). Now, define the single-valued mapping \(\varPhi :\mathcal{X} \to \mathcal{X}\) by
and the set-valued map \(\varUpsilon : \mathcal{X} \to \mathcal{P}(\mathcal{X})\) by
for all \(t \in [0,1]\). Then, we obtain \(\mathcal{H}(k )=(\varPhi k)( \varUpsilon k) \). We show that both operators Φ and ϒ satisfy assumptions of Theorem 2. We first prove that the operator Φ is Lipschitz. Let \(k_{1},k_{2}\in \mathcal{X}\). Since for \(i = 1,2,\dots , n\), we have \(\varphi _{i} (k(t)) = \int _{0}^{t} \frac{(t-s)^{ \varrho _{i}-1} }{ \varGamma ( \varrho _{i})} k(s) \,\mathrm{d}s \), thus assumption (\(\mathcal{C}1\)) implies that
for all \(t\in [0,1]\). Hence, we get
for all \(k_{1},k_{2}\in \mathcal{X}\). This shows that operator Φ is Lipschitz with a Lipschitz constant
In this step, we prove that the set-valued map ϒ has convex values. Let \(k_{1},k_{2}\in \varUpsilon k\). Choose \(\vartheta _{1}, \vartheta _{2}\in ( \mathcal{SEL})_{\mathcal{K}, k}\) such that
for \(j=1,2\) and for almost all \(t \in [0,1]\). Let \(\mu \in (0,1)\). Then, we have
for almost all \(t \in [0,1]\). Since \(\mathcal{K}\) has convex values, \((\mathcal{SEL})_{\mathcal{K},k}\) is convex-valued. This follows that \(\mu \vartheta _{1}( t )+(1-\mu )\vartheta _{2}(t ) \in ( \mathcal{SEL})_{\mathcal{K},k}\) for all \(t \in [0,1]\) and so ϒk is a convex set for all \(k \in \mathcal{X}\). Now, we prove that the operator ϒ is completely continuous. In order to do this, we have to prove two equicontinuity and uniform boundedness properties for the set \(\varUpsilon (\mathcal{X})\). First, we show that ϒ maps all bounded sets into bounded subsets of \(\mathcal{X}\). For a positive number \(\varepsilon ^{*} \in \mathbb{R}\), consider the bounded ball \(\mathcal{V}_{\varepsilon ^{*}} = \{ k \in \mathcal{X}: \Vert k\Vert _{ \mathcal{X}} \leq \varepsilon ^{*} \} \). For every \(k \in \mathcal{V}_{\varepsilon ^{*}}\) and \(\zeta \in \varUpsilon k\), there exists a function \(\vartheta \in (\mathcal{SEL})_{ \mathcal{K},k}\) such that
for all \(t \in [0,1]\). Then, we have
where \(\varLambda ^{*} \) is given in (10). Thus, \(\Vert \zeta \Vert \leq \varLambda ^{*} \Vert \varTheta \Vert _{\mathcal{L}^{1}}\) and this means that the set \(\varUpsilon (\mathcal{X})\) is uniformly bounded. Now, we prove that the operator ϒ maps bounded sets into equicontinuous sets. Let \(k\in V_{\varepsilon ^{*}}\) and \(\zeta \in \varUpsilon k \). Choose \(\vartheta \in (\mathcal{SEL})_{\mathcal{K},k}\) such that
for all \(t \in [0,1]\). Assume that \(t_{1},t_{2} \in [0,1]\) with \(t_{1}< t_{2}\). Then, we have
Notice that the right-hand side tends to zero independently of \(k \in \mathcal{V}_{ \varepsilon ^{*}}\) as \(t_{2}\to t_{1}\). By using the Arzelà–Ascoli theorem, the complete continuity of \(\varUpsilon :C([0,1], \mathbb{R}) \to \mathcal{P}(C([0,1],\mathbb{R}))\) is deduced. In the following, we prove that ϒ has a closed graph and this implies the upper semi-continuity of the operator ϒ. Assume that \(k_{n} \in \mathcal{V}_{\varepsilon ^{*}}\) and \(\zeta _{n} \in (\varUpsilon k_{n})\) with \(k_{n} \to k^{*}\) and \(\zeta _{n} \to \zeta ^{*}\). We claim that \(\zeta ^{*}\in (\varUpsilon k^{*})\). For every \(n\geq 1\) and \(\zeta _{n} \in (\varUpsilon k_{n})\), choose \(\vartheta _{n} \in ( \mathcal{SEL})_{\mathcal{K} ,k_{n}}\) such that
for all \(t \in [0,1]\). It is sufficient to show that there exists a function \(\vartheta ^{*} \in (\mathcal{SEL})_{ \mathcal{K},k^{*}}\) such that
for all \(t \in [0,1]\). Define the continuous linear operator \(\varXi : \mathcal{L}^{1}([0,1], \mathbb{R})\to \mathcal{X}=C([0,1], \mathbb{R})\) by
for all \(t \in [0,1]\). Hence,
Thus, by using Theorem 1, it is deduced that the operator \(\varXi \circ ( \mathcal{SEL})_{\mathcal{S} } \) has a closed graph. Also, since \(\zeta _{n} \in \varXi ( ( \mathcal{SEL})_{\mathcal{K} ,k_{n}})\) and \(k_{n} \to k^{*}\), so there exists \(\vartheta ^{*}\in ( \mathcal{SEL})_{\mathcal{K} ,k^{*}}\) such that
for all \(t \in [0,1]\). Hence, \(\zeta ^{*}\in (\varUpsilon k^{*}) \) and so ϒ has a closed graph. This means that the operator ϒ is upper semi-continuous. On the other hand, since the operator ϒ has compact values, so ϒ is a compact and upper semi-continuous operator. By using assumption (\(\mathcal{C}3\)), we have
Put
Then, \(\hat{\Delta } \delta ^{*} < \frac{1}{2}\). Now by using Theorem 2 for ϒ, we get that one of the conditions, (a) or (b), holds. We first investigate condition (b). By considering Theorem 2 and assumption (\(\mathcal{C}4\)), assume that k is an arbitrary member of \(\mathcal{O}^{*}\) with \(\Vert k \Vert = \tilde{ r }\). Then, \(\lambda _{*} k(t ) \in (\varPhi k)(t )(\varUpsilon k)(t )\) for all \(\lambda _{*} > 1\). Choose the related function \(\vartheta \in ( \mathcal{SEL})_{\mathcal{K},k}\). Then for each \(\lambda _{*} >1\), we have
for all \(t \in [0,1]\). Thus, one can write
for all \(t \in [0,1]\). Hence, we get
According to condition (9), we see that condition (b) of Theorem 2 is impossible. Thus, \(k\in (\varPhi k)( \varUpsilon k) \). Hence, the operator \(\mathcal{H}\) has a fixed point and so the hybrid multi-term inclusion problem (1)–(2) has a solution. □
Here, we investigate the existence of solutions for the non-hybrid inclusion problem (3).
Definition 7
An absolutely continuous function \(k :[0,1]\to \mathbb{R}\) is a solution for the fractional inclusion problem (3) whenever there exists an integrable function \(\vartheta \in \mathcal{L}^{1}([0,1],\mathbb{R})\) with \(\vartheta (t )\in \mathcal{S} (t, k(t) )\) for almost all \(t \in [0,1]\) satisfying three-point integral boundary value conditions
and
for all \(t \in [0,1]\).
For \(k \in \mathcal{X}\), the set of selections of \(\mathcal{S}\) is defined by
for almost all \(t \in [0,1]\). Define the operator \(\mathcal{N} : \mathcal{X}\to {\mathcal{P}}( \mathcal{X} )\) by
Now, we prove next result by using the approximate endpoint property for the set-valued map \(\mathcal{N}\) which is defined in (11).
Theorem 8
Let\(\mathcal{S}: [0,1] \times \mathbb{R} \to \mathcal{P}_{cp}(\mathbb{R})\)be a set-valued map. Assume that
- \((\mathcal{C}5)\):
The nondecreasing function\(\psi : [0,\infty )\to [0,\infty )\)is upper semi-continuous such that\(\lim \inf_{t\to \infty }(t-\psi (t))>0\)and\(\psi (t)< t\)for all\(t>0\).
- \((\mathcal{C}6)\):
The operator\(\mathcal{S}: [0,1]\times \mathbb{R} \to {\mathcal{P}}_{cp}(\mathbb{R})\)is an integrable bounded set-valued map so that\(\mathcal{S}( \cdot , k) : [0,1] \to {\mathcal{P}}_{cp}(\mathbb{R})\)is measurable for all\(k \in \mathbb{R}\).
- \((\mathcal{C}7)\):
There exists a non-negative function\(\sigma \in C([0,1], [0,\infty ))\)such that
$$ \mathrm{PH}_{d_{\mathcal{X}}} \bigl(\mathcal{S}\bigl(t, k_{1}(t) \bigr), \mathcal{S} \bigl(t,k'_{1}(t)\bigr) \bigr) \leq \sigma (t) \psi \bigl( \bigl\vert k_{1}(t)-k'_{1}(t) \bigr\vert \bigr) \frac{1}{ \varLambda ^{**} }, $$for all\(t\in [0,1]\)and\(k_{1}, k'_{1} \in \mathbb{R}\), where\(\sup_{t\in [0,1]}\vert \sigma (t)\vert = \Vert \sigma \Vert \)and
$$\begin{aligned} \varLambda ^{**} &= \Vert \sigma \Vert \biggl[ \frac{1}{ \varGamma ( \omega +1)} + \frac{ \vert \lambda _{2} \vert }{ ( \vert \lambda _{1} \vert + \vert \lambda _{2} \vert ) \varGamma ( \omega +1 )} \\ & \quad{}+ \frac{ \vert \lambda _{3} \vert \vert \Delta _{2} \vert [ \vert \lambda _{1} \vert + 2 \vert \lambda _{2} \vert ] \eta ^{\omega - \beta } }{ ( \vert \lambda _{1} \vert + \vert \lambda _{2} \vert ) \vert \Delta _{1} \vert \varGamma ( \omega - \beta +1 )} \\ &\quad{}+ \frac{ \vert \lambda _{4} \vert \vert \Delta _{2} \vert [ \vert \lambda _{1} \vert + 2 \vert \lambda _{2} \vert ] }{ ( \vert \lambda _{1} \vert + \vert \lambda _{2} \vert ) \vert \Delta _{1} \vert \varGamma ( \omega - \beta + 2 )} \biggr]. \end{aligned}$$(12)- \((\mathcal{C}8)\):
The operator\(\mathcal{N}\)has the approximate endpoint property, where\(\mathcal{N}\)is given in (11).
Then the fractional non-hybrid inclusion problem (3) has a solution.
Proof
We show that the set-valued map \(\mathcal{N} : \mathcal{X}\to {\mathcal{P}}( \mathcal{X} )\) has an endpoint. In this way, we first prove that \(\mathcal{N}(k)\) is a closed set for all \(k\in \mathcal{X}\). First of all, by using assumption \((\mathcal{C}6)\), the set-valued map \(t\mapsto \mathcal{S} (t , k(t) ) \) is measurable and it has closed values for all \(k\in \mathcal{X}\). Thus, \(\mathcal{S}\) has measurable selection and the set \((\mathcal{SEL})_{\mathcal{S},k}\) is nonempty. Now, we show that \(\mathcal{N}(k)\) is a closed subset of \(\mathcal{X}\) for all \(k\in \mathcal{X}\). Let \(\{ k_{n} \}_{n\geq 1}\) be a sequence in \(\mathcal{N}(k)\) with \(k_{n} \to u\). For each n, there exists \(\vartheta _{n} \in (\mathcal{SEL})_{ \mathcal{S},k}\) such that
for almost all \(t\in [0,1]\). Since \(\mathcal{S}\) is compact set-valued map, we pass into a subsequence (if necessary) to obtain that a subsequence \(\{ \vartheta _{n} \}_{n\geq 1}\) converges to some \(\vartheta \in \mathcal{L}^{1}([0,1] )\). Hence, we have \(\vartheta \in (\mathcal{SEL})_{ \mathcal{S},k}\) and
for all \(t\in [0,1]\). This implies that \(k\in \mathcal{N}(k)\), and so operator \(\mathcal{N}\) is closed-valued. Also, \(\mathcal{N}(k)\) is a bounded set for all \(k\in \mathcal{X}\) because \(\mathcal{S}\) is a compact set-valued map. Finally, we are going to prove that \(\mathrm{PH}_{d_{\mathcal{X}}} (\mathcal{N}(k), \mathcal{N}(k'))\leq \psi (\Vert k-k'\Vert )\) holds. Let \(k,k'\in \mathcal{X}\) and \(z_{1} \in \mathcal{N}(k')\). Choose \(\vartheta _{1} \in (\mathcal{SEL})_{\mathcal{S}, k'}\) such that
for almost all \(t\in [0,1]\). Since
for all \(t\in [0,1]\), there exists \(h^{*} \in \mathcal{S} (t , k(t) )\) such that
for all \(t\in [0,1]\). Consider a set-valued map \(\mathcal{B} : [0,1]\to {\mathcal{P}}(\mathcal{X})\) which is given by
Since \(\vartheta _{1}\) and \(\varrho = \sigma \psi ( \vert k-k'\vert ) \frac{1}{ \varLambda ^{**} } \) are measurable, one can easily check that the set-valued map \(\mathcal{B}( \cdot )\cap \mathcal{S} ( \cdot , k( \cdot ) ) \) is measurable. Now, choose \(\vartheta _{2}(t)\in \mathcal{K} (t , k(t) ) \) such that
for all \(t\in [0,1]\). We select \(z_{2} \in \mathcal{N}(k)\) such that
for all \(t\in [0,1]\). Hence, one can get
Thus, we obtain \(\Vert z_{1}-z_{2} \Vert \leq \psi ( \Vert k-k'\Vert )\). It follows that \(\mathrm{PH}_{d_{\mathcal{X}}} (\mathcal{N}(k), \mathcal{N}(k'))\leq \psi (\Vert k-k'\Vert )\) holds for all \(k,k'\in \mathcal{X}\). Since the set-valued map \(\mathcal{N}\) has approximate endpoint property \((\mathcal{C}8)\), Theorem 3 implies that operator \(\mathcal{N}\) has a unique endpoint, that is, there exists \(k^{*}\in \mathcal{X}\) such that \(\mathcal{N}(k^{*})=\{ k^{*} \}\). Thus, \(k^{*}\) is a solution for the fractional inclusion problem (3). □
4 Examples
Here, we provide two examples to illustrate our main results.
Example 1
Consider the fractional hybrid multi-term inclusion problem
with the integral hybrid boundary value conditions
for \(t \in [0,1]\) where
Put \(\omega = 1.64\), \(\beta = 0.27\), \(\eta = 0.59\), \(a = 0.23\), \(b= 0.19\), \(\lambda _{1} = 0.11\), \(\lambda _{2} = 0.17\), \(\lambda _{3} = 0.82\), and \(\lambda _{4} = 0.54\). For \(n=3\), consider a continuous map \(\xi : [0,1]\times \mathbb{R}^{3+1} \to \mathbb{R} \setminus \{ 0 \} \) defined by
where for \(i = 1,2,3\), we put \(\varphi _{i} (k(t)) = \mathcal{I}^{\varrho _{i}} k(t) \) with \(\varrho _{1} = 0.71\), \(\varrho _{2} = 0.65\), and \(\varrho _{3} = 0.32\). Note that \(\xi ^{*} = \sup_{t\in [0,1]} \vert \xi (t, 0 , 0,0,0)\vert = 0.002\). Since the single-valued map ξ is Lipschitz, for each \(k, k' \in \mathbb{R,}\) we have
Note that
For \(m =3\), consider a set-valued map \(\mathcal{K}: [0,1]\times \mathbb{R}^{3+1} \to \mathcal{P}(\mathbb{R})\) by
where, for \(i = 1,2,3\), we put \(\phi _{i} (k(t)) = \mathcal{I}^{\varpi _{i}} k(t) \) with \(\varpi _{1} = 0.15\), \(\varpi _{2} = 0.26\), and \(\varpi _{3} = 0.31\). Since
for all \(\zeta \in \mathcal{K} (t, k(t), \mathcal{I}^{ \varpi _{1}}k(t), \mathcal{I}^{\varpi _{2}}k(t), \mathcal{I}^{\varpi _{3}}k(t) )\), we find
Put \(\varTheta (t ) =t^{3} + 10.8 \) for all \(t\in [0,1]\). Then, \(\Vert \varTheta \Vert _{\mathcal{L}^{1}}= \int _{0}^{1} \vert \varTheta (s) \vert \,\mathrm{d}s \simeq 11.05 \). Hence, we get \(\varLambda ^{*} \simeq 2.86 \). Now, choose \(\tilde{ r } >0\) with \(\tilde{ r} > 0.0676074 \). Then, we have
Now by using Theorem 6, the hybrid multi-term inclusion problem (13)–(14) has a solution.
Example 2
Consider the fractional non-hybrid differential inclusion
for \(t\in [0,1]\), with three-point integral boundary value conditions
where \({}^{c}\mathcal{D}_{0}^{1.37}\) denotes the fractional Caputo derivative of order \(\omega = 1.37\). Put \(\beta = 0.54\), \(\eta = 0.81\), \(a= 0.21\), \(b= 0.18\), \(\lambda _{1} = 0.8 \), \(\lambda _{2} = 0.08\), \(\lambda _{3} = 0.76\), and \(\lambda _{4} = 0.26\). Consider the Banach space \(\mathcal{X}=\{ k(t) : k(t) \in C([0,1], \mathbb{R})\} \) with the norm \(\Vert k\Vert _{\mathcal{X}} =\sup_{t\in [0,1]}\vert k(t)\vert \). Also, define a set-valued map \(\mathcal{S}: [0,1] \times \mathcal{X} \to \mathcal{P}(\mathcal{X})\) by
for all \(t \in [0,1]\). Consider a function \(\sigma \in C([0,1], [0,\infty ))\) defined by \(\sigma (t)= \frac{0.0007}{0.8 + t}\) for all t with \(\Vert \sigma \Vert = \frac{0.0007}{0.8} = 0.000875\). Also, consider a non-negative and nondecreasing upper semi-continuous function \(\psi : [0,\infty )\to [0,\infty )\) defined by \(\psi (t) = \frac{t}{2}\) for all \(t >0\). It is clear that \(\lim \inf_{t\to \infty }(t-\psi (t))>0\) and \(\psi (t)< t\) for all \(t>0\). Now, for each \(k_{1}, k'_{1} \in \mathcal{X}\), we have
where \(\varLambda ^{**} \simeq 0.00145\). Finally, consider an operator \(\mathcal{N}: \mathcal{X}\to \mathcal{P}(\mathcal{X})\) defined by
where
Now by using Theorem 8, the fractional non-hybrid inclusion problem (15) with three-point integral boundary value conditions (16) has a solution.
5 Conclusion
It is known that a lot of natural phenomena and processes in the world are modeled by different types of fractional differential equations and inclusions. This diversity factor in studying complicate fractional differential equations and inclusions increases our ability for exact modeling of more phenomena. This is useful in making modern software which allow for more cost-free testing and less material consumption. In this work, we investigate the existence of solutions for two fractional hybrid and non-hybrid multi-term integro-differential inclusions with integral hybrid boundary value conditions. In this work, we investigate the existence of solutions for two fractional hybrid and non-hybrid multi-term integro-differential inclusions with integral hybrid boundary value conditions. It is noted that the fractional hybrid multi-term integro-differential inclusion presented in this paper is new in the sense that the boundary value conditions are stated as three-point mixed Caputo integro-derivative hybrid conditions. Also, this hybrid boundary value problem is general and it involves many fractional dynamical systems as special cases. In this way, we use the Dhage’s fixed point result and approximate endpoint property for a set-valued map in our proofs. Finally, we give two examples to illustrate our main results. This topic can be used in mathematical modeling of applied problems in science, engineering, and the real-world phenomena [4, 28].
References
Baleanu, D., Jajarmi, A., Sajjadi, S.S., Mozyrska, D.: A new fractional model and optimal control of a tumor-immune surveillance with non-singular derivative operator. Chaos, Interdiscip. J. Nonlinear Sci. 29(8), 083127 (2019). https://doi.org/10.1063/1.5096159
Baleanu, D., Jajarmi, A., Sajjadi, S.S., Mozyrska, D.: A new fractional modelling and control strategy for the outbreak of dengue fever. Phys. A, Stat. Mech. Appl. 535, 122524 (2019). https://doi.org/10.1016/j.physa.2019.122524
Jajarmi, A., Ghanbari, B., Baleanu, D.: A new and efficient numerical method for the fractional modelling and optimal control of diabetes and tuberculosis co-existence. Chaos, Interdiscip. J. Nonlinear Sci. 29, 093111 (2019). https://doi.org/10.1063/1.5112177
Baleanu, D., Asad, J.H., Jajarmi, A.: The fractional model of spring pendulum: new features within different kernels. Proc. Rom. Acad., Ser. A: Math. Phys. Tech. Sci. Inf. Sci. 19(3), 447–454 (2018)
Aydogan, M.S., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Bound. Value Probl. 2018(1), 90 (2018). https://doi.org/10.1186/s13661-018-1008-9
Aydogan, S.M., Baleanu, D., Mousalou, A., Rezapour, S.: On approximate solutions for two higher-order Caputo–Fabrizio fractional integro-differential equations. Adv. Differ. Equ. 2017(1), 221 (2017). https://doi.org/10.1186/s13662-017-1258-3
Baleanu, D., Ghafarnezhad, K., Rezapour, S., Shabibi, M.: On the existence of solutions of a three steps crisis integro-differential equation. Adv. Differ. Equ. 2018(1), 135 (2018). https://doi.org/10.1186/s13662-018-1583-1
Bhatter, S., Mathur, A., Kumar, D., Singh, J.: A new analysis of fractional Drinfeld–Sokolov–Wilson model with exponential memory. Phys. A, Stat. Mech. Appl. 537, 122578 (2020). https://doi.org/10.1016/j.physa.2019.122578
Ahmad, B., Etemad, S., Ettefagh, M., Rezapour, S.: On the existence of solutions for fractional q-difference inclusions with q-antiperiodic boundary conditions. Bull. Math. Soc. Sci. Math. Roum. 59(107) No. 2, 119–134 (2016)
Akbari Kojabad, E., Rezapour, S.: Approximate solutions of a sum-type fractional integro-differential equation by using Chebyshev and Legendre polynomials. Adv. Differ. Equ. 2017, 351 (2017)
Mohammadi, A., Aghazadeh, N., Rezapour, S.: Haar wavelet collocation method for solving singular and nonlinear fractional time-dependent Emden–Fowler equations with initial and boundary conditions. Math. Sci. 13, 255–265 (2019)
Baleanu, D., Ghafarnezhad, K., Rezapour, S.: On a three steps crisis integro-differential equation. Adv. Differ. Equ. 2019, 153 (2019)
Baleanu, D., Mohammadi, H., Rezapour, S.: On a nonlinear fractional differential equation on partially ordered metric spaces. Adv. Differ. Equ. 2013, 83 (2013). https://doi.org/10.1186/1687-1847-2013-83
Baleanu, D., Rezapour, S., Mohammadi, H.: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. A, Math. Phys. Eng. Sci. 371, 20120144, 7 (2013). https://doi.org/10.1098/rsta.2012.0144
Baleanu, D., Mohammadi, H., Rezapour, S.: The existence of solutions for a nonlinear mixed problem of singular fractional differential equations. Adv. Differ. Equ. 2013, 359 (2013). https://doi.org/10.1186/1687-1847-2013-359
Baleanu, D., Mousalou, A., Rezapour, S.: A new method for investigating approximate solutions of some fractional integro-differential equations involving the Caputo–Fabrizio derivative. Adv. Differ. Equ. 2017(1), 51 (2017). https://doi.org/10.1186/s13662-017-1088-3
Baleanu, D., Mousalou, A., Rezapour, S.: The extended fractional Caputo–Fabrizio derivative of order \(0 \leq \sigma <1\) on \(C_{\mathbb{R}}[0,1]\) and the existence of solutions for two higher-order series-type differential equations. Adv. Differ. Equ. 2018(1), 255 (2018). https://doi.org/10.1186/s13662-018-1696-6
Baleanu, D., Mousalou, A., Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo–Fabrizio fractional integro-differential equations. Bound. Value Probl. 2017(1), 145 (2017). https://doi.org/10.1186/s13661-017-0867-9
Baleanu, D., Rezapour, S., Etemad, S., Alsaedi, A.: On a time-fractional integro-differential equation via three-point boundary value conditions. Math. Probl. Eng. 2015, 12 (2015)
Baleanu, D., Rezapour, S., Saberpour, Z.: On fractional integro-differential inclusions via the extended fractional Caputo–Fabrizio derivation. Bound. Value Probl. 2019, 79 (2019). https://doi.org/10.1186/s13661-019-1194-0
Balkani, N., Rezapour, S., Haghi, R.H.: Approximate solutions for a fractional q-integro-difference equation. J. Math. Ext. 13(3), 201–214 (2019)
De La Sena, M., Hedayati, V., Gholizade Atani, Y., Rezapour, S.: The existence and numerical solution for a k-dimensional system of multi-term fractional integro-differential equations. Nonlinear Anal., Model. Control 22(2), 188–209 (2017)
Etemad, S., Ntouyas, S.K., Ahmad, B.: Existence theory for a fractional q-integro-difference equation with q-integral boundary conditions of different orders. Mathematics 71, 659 (2019)
Talaee, M., Shabibi, M., Gilani, A., Rezapour, S.: On the existence of solutions for a pointwise defined multi-singular integro-differential equation with integral boundary condition. Adv. Differ. Equ. 2020, 41 (2020)
Yildiz, T.A., Jajarmi, A., Yildiz, B., Baleanu, D.: New aspects of time fractional optimal control problems within operators with nonsingular kernel. Discrete Contin. Dyn. Syst., Ser. S 13(3), 407–428 (2020). https://doi.org/10.3934/dcdss.2020023
Jajarmi, A., Baleanu, D., Sajjadi, S.S., Asad, J.H.: A new feature of the fractional Euler–Lagrange equations for a coupled oscillator using a nonsingular operator approach. Front. Phys. 7, 196 (2019). https://doi.org/10.3389/fphy.2019.00196
Mohammadi, F., Moradi, L., Baleanu, D.: A hybrid functions numerical scheme for fractional optimal control problems: application to non-analytic dynamical systems. J. Vib. Control 24(21), 5030–5043 (2018). https://doi.org/10.1177/1077546317741769
Baleanu, D., Asad, J.H., Jajarmi, A.: New aspects of the motion of a particle in a circular cavity. Proc. Rom. Acad., Ser. A: Math. Phys. Tech. Sci. Inf. Sci. 19(2), 361–367 (2018)
Bhatter, S., Mathur, A., Kumar, D., Nisar, K.S., Singh, J.: Fractional modified Kawahara equation with Mittag-Leffler law. Chaos Solitons Fractals 131, 109508 (2019). https://doi.org/10.1016/j.chaos.2019.109508
Singh, J., Kumar, D., Baleanu, D., Rathore, S.: On the local fractional wave equation in fractal strings. Math. Methods Appl. Sci. 42(5), 1588–1595 (2019). https://doi.org/10.1002/mma.5458
Goswarmi, A., Singh, J., Kumar, D., Gupta, S., Sushila: An efficient analytical technique for fractional partial differential equations occurring in ion acoustic waves in plasma. J. Ocean Eng. Sci. 4(2), 85–99 (2019). https://doi.org/10.1016/j.joes.2019.01.003
Singh, J., Swroop, R., Kumar, D.: A computational approach for fractional convection–diffusion equation via integral transforms. Ain Shams Eng. J. 9(4), 1019–1028 (2018). https://doi.org/10.1016/j.asej.2016.04.014
Alizadeh, S., Baleanu, D., Rezapour, S.: Analyzing transient response of the parallel RCL circuit by using the Caputo–Fabrizio fractional derivative. Adv. Differ. Equ. 2020, 55 (2020)
Baleanu, D., Mohammadi, H., Rezapour, S.: Analysis of the model of HIV-1 infection of \(cd4^{+}\) T-cell with a new approach of fractional derivative. Adv. Differ. Equ. 2020, 71 (2020)
Baleanu, D., Alsaedi, A., Pourrazi, S., Rezapour, S.: On the new fractional hybrid boundary value problems with three-point integral hybrid conditions. Adv. Differ. Equ. 2019, 473 (2019)
Baleanu, D., Khan, H., Jafari, H., Khan, R.A., Alipour, M.: On existence results for solutions of a coupled system of hybrid boundary value problems with hybrid conditions. Adv. Differ. Equ. 2015, 318 (2015)
Derbazi, C.H., Hammouche, H., Benchohra, M., Zhou, Y.: Fractional hybrid differential equations with three-point boundary hybrid conditions. Adv. Differ. Equ. 2019, 125 (2019)
Hilal, K., Kajouni, A.: Boundary value problems for hybrid differential equations with fractional order. Adv. Differ. Equ. 2015, 183 (2015)
Mansoori, A., Rahimi, H., Rezapour, S.: A k-dimensional system of Langevin Hadamard-type fractional differential inclusions with 2k different fractional orders. Novi Sad J. Math. (2020). https://doi.org/10.30755/NSJOM.06942
Samei, M.E., Hedayati, V., Rezapour, S.: Existence results for a fraction hybrid differential inclusion with Caputo–Hadamard type fractional derivative. Adv. Differ. Equ. 2019, 163 (2019). https://doi.org/10.1186/s13662-019-2090-8
Samei, M.E., Khalilzadeh Ranjbar, G.: Some theorems of existence of solutions for fractional hybrid q-difference inclusion. J. Adv. Math. Stud. 12(1), 63–76 (2019)
Sun, S., Zhao, Y., Han, Z., Li, Y.: The existence of solutions for boundary value problem of fractional hybrid differential equations. Commun. Nonlinear Sci. Numer. Simul. 17, 4961–4967 (2012)
Dhage, B.C., Lakshmikantham, V.: Basic results on hybrid differential equation. Nonlinear Anal. Hybrid Syst. 4, 414–424 (2010)
Zhao, Y., Sun, S., Han, Z., Li, Q.: Theory of fractional hybrid differential equations. Comput. Math. Appl. 62, 1312–1324 (2011)
Ahmad, B., Ntouyas, S., Tariboon, J.: On hybrid Caputo fractional integro-differential inclusions with nonlocal conditions. J. Nonlinear Sci. Appl. 9, 4235–4246 (2016). https://doi.org/10.22436/jnsa.009.06.65
Baleanu, D., Hedayati, V., Rezapour, S., Al Qurashi, M.M.: On two fractional differential inclusions. SpringerPlus 5(1), 882 (2016). https://doi.org/10.1186/s40064-016-2564-z
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Philadelphia (1993)
Miller, K.S., Ross, B.: An Introduction to Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Deimling, K.: Multi-Valued Differential Equations. de Gruyter, Berlin (1992)
Aubin, J., Ceuina, A.: Differential Inclusions: Set-Valued Maps and Viability Theory. Springer, New York (1984)
Amini-Harandi, A.: Endpoints of set-valued contractions in metric spaces. Nonlinear Anal., Theory Methods Appl. 72, 132–134 (2010). https://doi.org/10.1016/j.na.2009.06.074
Lasota, A., Opial, Z.: An application of the Kakutani–Ky Fan theorem in the theory of ordinary differential equations. Bull. Acad. Pol. Sci. Set. Sci. Math. Astronom. Phy. 13, 781–786 (1965)
Dhage, B.C.: Existence results for neutral functional differential inclusions in Banach algebras. Nonlinear Anal. 64, 1290–1306 (2006)
Acknowledgements
The first and second authors were supported by Azarbaijan Shahid Madani University. The third author was supported by Bu-Ali Sina University. The authors express their gratitude to unknown referees for their helpful suggestions which improved final version of this paper.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Etemad, S., Rezapour, S. & Samei, M.E. On fractional hybrid and non-hybrid multi-term integro-differential inclusions with three-point integral hybrid boundary conditions. Adv Differ Equ 2020, 161 (2020). https://doi.org/10.1186/s13662-020-02627-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02627-8