- Research
- Open access
- Published:
Existence results for a fraction hybrid differential inclusion with Caputo–Hadamard type fractional derivative
Advances in Difference Equations volume 2019, Article number: 163 (2019)
Abstract
In this manuscript, we talk over the existence of solutions of a class of hybrid Caputo–Hadamard fractional differential inclusions with Dirichlet boundary conditions. Our results are based on the Arzelá–Ascoli theorem and some suitable theorems of fixed point theory. As well, to illustrate our results, we confront the exceptional case of the fractional differential inclusions with examples.
1 Introduction
During the last decade, the subject of fractional differential equations and inclusions has been developed intensively (for example, see [1,2,3,4,5,6,7,8] and the references therein). An excellent account on the study of fractional differential equations can be found in [9,10,11,12]. Hybrid fractional differential equations and inclusions, certain classes of equations and inclusions involve the fractional derivative of an unknown function hybrid with the nonlinearity depending on it. Also, they have been examined by several researchers (for example, see [13,14,15]). Most of the workplace on the fractional differential equations and inclusions is based on Riemann–Liouville, Caputo, and Hadamard type fractional derivatives. In 2012, Jarad et al. modified the Hadamard fractional derivative into a more suitable one having physical interpretable initial conditions similar to the singles in the Caputo setting and called it Caputo–Hadamard fractional derivative. To determine the properties of the modified derivative, refer to [16]. In 2011, Zhao et al. investigated the existence results for the initial value problems of hybrid fractional integro-differential equation
with real-valued initial condition \(\theta (0)=\theta _{0} \), where \(D^{q}\) denotes the Riemann–Liouville fractional derivative of order \(0< q <1\), \(t \in J=[0,T)\), \(u \in C(J \times \mathbb{R}, \mathbb{R}- \{0\})\), and v in \(C(J\times \mathbb{R}, \mathbb{R})\) (for more details, see [13]). In 2016, Ahmad et al. studied the existence of solutions for a nonlocal boundary value problem of hybrid fractional integro-differential inclusions
where \({}^{C}D^{\alpha }\) and \(I^{\alpha }\) denote the Caputo fractional derivative and Riemann–Liouville integral of order α, respectively, \(t\in J =[0,1]\), \(m \in \mathbb{N}\), \(A \in \mathbb{R} \), \(1 < \alpha \leq 2\), \(\beta _{i}>0\) for \(i=1,2, \ldots , m\), the functions \(f: J\times \mathbb{R} \to \mathbb{R} -\{0\}\), \(h_{i}: J \times \mathbb{R} \to \mathbb{R}\) for \(i=1,2, \ldots , m\), \(\mu : C(J, \mathbb{R}) \to \mathbb{R}\), and the multifunction \(G: J\times \mathbb{R}\to P(\mathbb{R})\) satisfies certain conditions (for more details, see [14]).
Motivated by these articles, we look into the existence of solutions for the following hybrid Caputo–Hadamard fractional differential inclusion:
where \({}^{C}_{H} D^{\alpha }\) and \(I^{\alpha }\) denote the Caputo–Hadamard fractional derivative and Hadamard integral of order α, respectively, \(t \in J=[1, e]\), \(n, m \in \mathbb{N}\), \(1 < \alpha \leq 2 \), \(\beta _{i} >0\) for \(i=1, 2, \ldots , n\), \(\gamma _{i}>0\) for \(i=1,2, \ldots , m\), the functions \(f : J\times \mathbb{R}^{n+1} \to \mathbb{R}\), \(g: J \times \mathbb{R}^{m+1} \to \mathbb{R}-\{0\}\), \(h_{i}: J \times \mathbb{R} \to \mathbb{R}\) for \(i=1,2, \ldots , n\), functions μ, η map \(C(J, \mathbb{R})\) into \(\mathbb{R}\), and the multifunction \(K: J\times \mathbb{R}\to P( \mathbb{R})\) satisfies certain conditions.
The Hadamard fractional integral of order \(\alpha >0\) of a function y is defined by
where \(a>0\), \(t>a\). In particular, \(I_{1}^{\alpha }y(t):=I^{\alpha }y(t)\).
Definition 1
Let \(n\in \mathbb{N}\), \(n-1<\alpha \leq n\), \(y\in AC^{n}_{\delta }[a, b]\), where \(0< a< b<\infty \) and
-
(i)
If \(\alpha \neq n\), then the Caputo–Hadamard fractional derivative of order α is defined by
$${}^{C}_{H}D_{a}^{\alpha }y(t) = \frac{1}{\varGamma (n -\alpha )} \int _{a} ^{t} \biggl( \ln \frac{t}{s} \biggr)^{n- \alpha - 1}\delta ^{n} \frac{y(s)}{s}\,ds = I_{a}^{n-\alpha } \delta ^{n} y(t). $$ -
(ii)
If \(\alpha = n\), then the Caputo–Hadamard fractional derivative of order n is defined by
$${}^{C}_{H}D_{a}^{n} y(t) = \delta ^{n} y(t). $$In particular, \({}^{C}_{H}D_{1}^{0} y(t):= y(t)\) and \({}^{C}_{H}D _{1}^{\alpha }y(t):={}^{C}_{H}D^{\alpha }y(t)\).
Lemma 2
([16])
Let \(\alpha >0\), \(n=[\alpha ]+1\), and \(\beta >0\). Then
where \(\beta >n\), \(k=0, 1, \ldots ,n-1\), and \({}^{C}_{H}D_{a}^{\alpha }c=0\) for all \(c\in \mathbb{R}\).
Lemma 3
([16])
Let \(n\in \mathbb{N}\), \(n-1<\alpha \leq n\), and \(x\in AC^{n}_{\delta }[a, b]\). Then one has
where \(c_{0}, c_{1}, \ldots , c_{n-1}\in \mathbb{R}\).
Lemma 4
([16])
Let \(n\in \mathbb{N}\), \(n-1<\alpha \leq n\), and \(x\in C [a, b]\). Then one has \({}^{C}_{H} D_{a}^{\alpha } ( I_{a}^{\alpha } ) x(t)= x(t)\).
Let \(( X,\|\cdot\| )\) be a normed space. Denote the set of compact and convex subsets of X, the set of closed subsets of X, and the set of bounded subsets of X by \(P_{cp,cv}(X)\), \(P_{cl}(X)\), and \(P_{bd}(X)\), respectively. An element \(x\in X\) is called a fixed point of \(T: X\to 2^{X}\) whenever \(x\in T(x)\). A multifunction \(T: J\to 2^{ \mathbb{R}}\) is said to be measurable whenever the function \(t\mapsto d(x, T(t))\) is measurable for all \(x\in \mathbb{R}\). A multifunction \(T: J\times \mathbb{R}\to 2^{\mathbb{R}}\) is a Caratheodory multifunction whenever the map \(t\mapsto T(t, x)\) is measurable for all \(x\in \mathbb{R}\) and the map \(x\mapsto T(t, x)\) is upper semi-continuous for almost all \(t\in J\). Also, a Caratheodory multifunction \(T: J\times \mathbb{R} \to 2^{\mathbb{R}}\) is called \(L^{1}\)-Caratheodory whenever, for each \(\rho >0\), there exists \(\phi _{\rho }\in L^{1}(J,\mathbb{R}^{+})\) such that
for all \(x\in \mathbb{R}\) with \(|x|\leq \rho \) and almost all \(t\in [1,e]\).
Suppose that x belongs to \(C(J, \mathbb{R})\). We define the set of the selections of a multifunction \(T: J\times \mathbb{R} \to 2^{ \mathbb{R}}\) at x by
Lemma 5
([17])
The selections \(S_{T, x} \neq \emptyset \) for all x belong to \(C(J, \mathbb{R})\) whenever a multifunction \(T: J\times \mathbb{R} \to 2^{\mathbb{R}}\) is an \(L^{1}\)-Caratheodory multifunction.
Lemma 6
([17])
Let \(T: J\times X\to P_{cp,cv}(X)\) be an \(L^{1}\)-Caratheodory multifunction and linear mapping \(\varTheta : L^{1}(J,X) \to C(J,X)\) be continuous. Then the operator
is a closed graph operator in \(C(J,X)\times C(J,X)\).
Lemma 7
([17])
If a multifunction \(T: J\times X\to P_{cl}(X)\) is compact and has a closed graph, then it is upper semi-continuous.
Let \(B_{r}(0)\) and \(\overline{B_{r}(0)} \) be the open and closed balls centered at the origin 0 of radius r in a Banach algebra X, respectively.
Theorem 8
([18])
Suppose that A, B, C from X to X are three operators such that
-
(a)
\(\frac{I}{A}\) is well-defined and one-to-one,
-
(b)
A and C are Lipschitzians with the Lipschitz constants \(q_{1}\) and \(q_{2}\), respectively,
-
(c)
B is completely continuous,
-
(d)
\(Mq_{1} + q_{2} < \frac{1}{2}\), where
$$ M = \bigl\Vert B\bigl( \overline{B_{r}(0) }\bigr) \bigr\Vert = \sup \bigl\{ \vert Bx \vert : x \in \overline{B_{r}(0) } \bigr\} . $$(2)
Then either
-
(i)
the operator equation \(Ax Bx + Cx = x\) has a solution in \(\overline{ B_{r}(0)}\), or
-
(ii)
there exists \(u \in X\) with \(\|u\| = r\) such that \(\mu u = Au Bu + Cu \) for some \(\mu > 1\).
Theorem 9
([19])
Let \(A,C : \overline{B_{r}(0)} \to X\) and \(B : \overline{ B_{r}(0)} \to P_{cp, cv}(X)\) be three operators such that
-
(a)
A and C are single-valued Lipschitz with the Lipschitz constants \(q_{1}\) and \(q_{2}\), respectively;
-
(b)
B is upper-semi continuous and compact;
-
(c)
\(M q_{1} + q_{2} < \frac{1}{2}\), where M is defined by (2).
Then either
-
(i)
the operator inclusion \(x \in Ax Bx + Cx\) has a solution, or
-
(ii)
there exists \(u \in X\) with \(\| u \| = r\) such that \(\mu u \in Au Bu + Cu \) for some \(\mu > 1\).
2 Main results
In this section, by using fixed point theorems, we look into the existence of solution for the boundary value problem (1). In the first step, by applying the following lemma, we break down the solution kind of hybrid fractional differential inclusion (1).
Lemma 10
Let \(y \in C(J,\mathbb{R})\) and
Then the unique solution of the hybrid fractional differential equation
via the boundary conditions \(x(1) =\mu (x)\) and \(x(e) = \eta (x)\), is
for all \(t\in J\), where
Proof
Let \(x(t)\) be a solution of equation (3). By using the operator \(I^{\alpha }\) on both sides of equation (3) and applying Lemma 3, we have
where \(c_{0}, c_{1} \in \mathbb{R}\) denote arbitrary constants. Thus
Now, by utilizing the boundary conditions, we conclude \(c_{0}=a_{0}\) and
Conversely, it is easy to check that equation (4) satisfies the boundary conditions \(x(1) = \mu (x)\) and \(x(e) = \eta (x)\). On the other hand, by deformation equation (4) to
and by applying Lemmas 2 and 4, we have
where \(a_{0}\), \(a_{1}\) are defined in Lemma 10. This finishes our proof. □
A function x belonging to \(C(J,\mathbb{R})\) is a solution of problem (1) whenever it satisfies the boundary conditions, and there exists a function \(y \in S_{K,x}\) such that
for \(t\in J\), where
Let \(\mathcal{X}=C(J,\mathbb{R})\) denote the Banach algebra of all continuous functions from J to \(\mathbb{R}\) endowed with the norm defined by \(\|x\|=\sup \{|x(t)| : t\in J\}\).
Theorem 11
Suppose that
- \((H_{1})\) :
-
The multifunction \(K: J\times \mathbb{R}\to P_{cp, cv}( \mathbb{R})\) is an \(L^{1}\)-Caratheodory such that
$$\bigl\Vert K(t, x) \bigr\Vert = \sup \bigl\{ \vert y \vert : y \in K(t, x) \bigr\} \leq p(t) \varphi \bigl( \vert x \vert \bigr) $$for \((t, x)\in J\times \mathbb{R}\), where \(p\in C(J, \mathbb{R^{+}})\) and \(\varphi : [0, \infty ) \to (0, \infty )\) is a continuous and increasing function;
- \((H_{2})\) :
-
Function \(f: J\times \mathbb{R}^{n+1}\to \mathbb{R}\) is continuous, and there exists \(\phi \in C(J, \mathbb{R}^{+})\) such that
$$\bigl\vert f ( t, x_{1}, x_{2}, \ldots , x_{n+1} ) - f \bigl( t, x'_{1}, x'_{2}, \ldots , x'_{n+1} \bigr) \bigr\vert \leq \phi (t) \sum_{i=1}^{n+1} \bigl\vert x_{i} - x'_{i} \bigr\vert , $$where \(x_{i}, x'_{i}\in \mathbb{R}\) for \(i=1, 2, \ldots , n+1\), \(t\in J\), and \(n\in \mathbb{N}\);
- \((H_{3})\) :
-
Function \(g: J \times \mathbb{R}^{m+1} \to \mathbb{R} - \{0\}\) is continuous, and there exists \(\psi \in C (J, \mathbb{R}^{+})\) such that
$$\bigl\vert g (t , x_{1}, x_{2}, \ldots , x_{m+1} ) - f \bigl( t, x'_{1}, x'_{2}, \ldots , x'_{m+1} \bigr) \bigr\vert \leq \psi (t) \sum_{i=1}^{m+1} \bigl\vert x_{i} - x'_{i} \bigr\vert , $$where \(x_{i}, x'_{i}\in \mathbb{R}\) for \(i=1,2, \ldots , m+1\), \(t\in J\), and \(m\in \mathbb{N}\);
- \((H_{4})\) :
-
Functions \(h_{i}: J\times \mathbb{R}\to \mathbb{R}\) are continuous for \(i=1,2, \ldots , n\), and there exists \(p_{i}\in C(J, \mathbb{R}^{+})\) for \(i=1, 2, \ldots , n\) such that \(\vert h_{i}(t, x) - h_{i}(t, x') \vert \leq p_{i}(t) \vert x- x' \vert \) for \(i=1,2, \ldots , n\), where \(x, x'\in \mathbb{R}\), \(n\in \mathbb{N}\), \(t\in J\);
- \((H_{5})\) :
-
There exist constants \(M_{0}, M_{1}>0\) such that
$$\biggl\vert \frac{ \eta (x) - f ( t, x(t), I^{\beta _{1}}h _{1}(t, x(t) ), I^{\beta _{2}} h_{2}(t, x(t) ), \ldots , I^{\beta _{n}} h_{n} (t, x(t)) ) |_{t=e}}{ g ( t, x(t), I ^{\gamma _{1}} x(t), I^{\gamma _{2}}x(t), \ldots , I^{\gamma _{m}} x(t) ) |_{t=e}} \biggr\vert < M_{1} $$and
$$\biggl\vert \frac{ \mu (x) - f(1, \mu (x), \overbrace{0, \ldots , 0}^{n})}{ g ( 1, \mu (x), \underbrace{0, \ldots , 0}_{m} )} \biggr\vert < M _{0} $$for all \(x\in C(J, \mathbb{R})\).
The fractional differential inclusion (1) admits a solution whenever, for \(i=1,2, \ldots , n\),
where \(G_{0} = \sup_{t\in J} | g (t, \underbrace{ 0, \ldots , 0}_{m+1} ) |\), \(F_{0} = \sup_{t\in J} | f ( t , \underbrace{0, \ldots , 0}_{n+1} ) |\), \(H_{i, 0} = \sup_{t \in J} |h_{i}(t, 0) |\), and
Proof
Let \(\overline{B_{r}(0)} = \{ x\in \mathcal{X}: \|x\|\leq r \}\). Define operators \(A:\overline{B_{r}(0)}\to \mathcal{X}\), \(B:\overline{B_{r}(0)}\to P(\mathcal{X})\) and \(C:\overline{B_{r}(0)} \to \mathcal{X}\) by
respectively. We establish that the operators A, B, and C satisfy all the conditions of Theorem 9. Since the operator K is \(L^{1}\)-Caratheodory, \(S_{K, x}\neq \emptyset \) for all \(x\in \mathcal{X}\). First, we show that Bx is a convex subset of \(\mathcal{X}\) for all \(x\in \overline{B_{r}(0)}\). Consider \(x\in \overline{B _{r}(0)}\) and \(v_{1}, v_{2} \in Bx\). Choose \(y_{1}, y_{2}\in S_{K, x}\) such that
At present, for any \(0\leq \lambda \leq 1\), we have
Since K has convex values, hence \(S_{K, x}\) is convex and \(\lambda y_{1}+ (1-\lambda )y_{2}\in S_{K, x}\). So \(\lambda v_{1}+ (1- \lambda ) v_{2} \in Bx\), which results in that Bx is a convex subset of \(\mathcal{X}\). Now, we show that Bx is a compact subset of \(\mathcal{X}\) for all \(x\in \overline{B_{r}(0)}\). Let \(x\in \overline{B _{r}(0)}\) and \(\{v_{n}\}\) be a sequence in Bx. For each n, choose \(y_{n}\in S_{K,x}\) such that
Since K is compact-valued, \(\{y_{n}\}\) has a subsequence which pointwise converges to y. We denote this subsequence again by \(\{y_{n}\}\). Since \(y(t)\in K(t, x(t))\) and \(\|K(t, x(t)) \|\leq p(t) \varphi (|x(t)|)\), by using Lebesgue dominated convergence theorem \(y\in S_{K, x}\), we have
pointwise on J. Let \(t_{1}< t_{2}\in J\). Then we have
As \(t_{1}\to t_{2}\), the right-hand side of the above inequality tends to zero. Hence \(\{ v_{n} \}\) is an equicontinuous sequence. Therefore \(\{ v_{n} \}\) has a subsequence that uniformly converges to \(v\in Bx\), which proves that Bx is a compact subset of \(\mathcal{X}\). In this section, we shall show that the operator B is compact on \(\overline{B_{r}(0)}\). Let \(S\subset \overline{B_{r}(0)}\). We prove that \(\overline{B(S)}\) is a compact set in \(\mathcal{X}\). To do this, we apply Arzelá–Ascoli theorem and show that \(B(S)\) is a uniformly bounded and equicontinuous set. Let \(x\in S\), \(v\in Bx\), and \(t_{1}< t_{2}\in J\). Choose \(y\in S_{K,x}\) such that
Therefore, we have
Thus, \(\|v\|\leq \frac{2\|p\|\varphi (r)}{\varGamma (\alpha +1)}+2M_{0}+M _{1}\). Also, we have
As \(t_{1}\to t_{2}\), the right-hand side of the above inequality tends to zero. Thus, \(B(S)\) is a uniformly bounded and equicontinuous set in \(\mathcal{X}\) and B is a compact operator. In the following, we shall show that the operator B is upper semi-continuous on \(\overline{B _{r}(0)}\). To do this, we apply Lemma 7 and show that B has a closed graph. Let \(x_{n}\to x_{0}\) and \(v_{n}\in Bx_{n}\) (\(n\geq 1\)) with \(v_{n}\to v_{0}\). We prove that \(v_{0}\in Bx_{0}\). For each natural number n, choose \(y_{n}\in S_{K, x_{n}}\) such that
Define the continuous linear operator \(\theta :L^{1}(J,\mathbb{R}) \to \mathcal{X}\) by
By using Lemma 6, \(\theta o S_{K}\) is a closed graph operator. Since \(v_{n}\in \theta ( S_{K, x_{n}})\) for all n and \(x_{n}\to x_{0}\), there exists \(y_{0}\in S_{K, x_{0}}\) such that
Hence, \(v_{0}\in Bx_{0}\). This implies that B has a closed graph, and as a result, B is upper semi-continuous. Now, we show that the operators A, C are Lipschitz on \(\overline{B_{r}(0)}\). Let \(x, y \in \overline{B_{r}(0)}\). Then we have
which implies that
Also,
Since
we have
Hence, all the conditions of Theorem 9 hold. Let \(u\in \mathcal{X}\), \(\|u\|=r\), \(\mu >1\), and \(\mu u\in AuBu+Cu\). Then we have
for some \(y\in S_{K,u}\). Therefore
As a result, we have
Since \(\|u\|=r\), we have
This is an apparent contradiction, and conclusion (ii) of Theorem 9 does not hold. Hence, there exists \(x\in \overline{B_{r}(0)}\) such that \(x\in Ax Bx + Cx\), and it is a solution of hybrid fractional differential inclusion (1). □
In the following, we review the existence of solution for the hybrid fractional differential equation
where \({}^{C}_{H} D^{\alpha }\) and \(I^{\alpha }\) denote the Caputo–Hadamard fractional derivative and Hadamard integral of order α, respectively, \(t \in J=[1,e]\), \(n, m \in \mathbb{N}\), \(1<\alpha \leq 2\), \(\beta _{i}>0\) \((i=1,2, \ldots , n)\), \(\gamma _{i}>0\) \((i=1,2, \ldots , m)\), the functions \(f: J\times \mathbb{R}^{n+1} \to \mathbb{R}\), \(g:J\times \mathbb{R}^{m+1} \to \mathbb{R}-\{0\}\), \(h_{i}: J\times \mathbb{R} \to \mathbb{R}\)\((i=1,2, \ldots , n)\), \(k: J \times \mathbb{R} \to \mathbb{R}\), and \(\mu , \eta : C(J, \mathbb{R}) \to \mathbb{R}\) satisfy certain conditions. It is clear that equation (5) is a special case of inclusion (1), where \(K (t, x(t)) = \{k(t, x(t))\}\). With argument similar to the proof of Theorem 11, and applying Theorem 8, we can prove the following theorem.
Theorem 12
Suppose that
- \((H'_{1})\) :
-
The function \(k: J\times \mathbb{R}\to \mathbb{R}\) is a continuous map such that \(|k(t, x)|\leq p(t) \varphi (|x|)\) for all \((t, x)\in J \times \mathbb{R}\), where \(p\in C(J, \mathbb{R^{+}})\) and \(\varphi : [0, \infty )\to (0, \infty )\) is a continuous and increasing function;
- \((H'_{2})\) :
-
If \(\frac{(x_{1}, x_{2}, \ldots , x_{m+1})}{g(t, x _{1}, x_{2}, \ldots , x_{m+1} )} = \frac{(y_{1}, y_{2}, \ldots , y _{m+1})}{g(t, y_{1}, y_{2}, \ldots , y_{m+1} )}\), then
$$(x_{1}, x_{2}, \ldots , x_{m+1})=(y_{1}, y_{2}, \ldots , y_{m+1}) $$for all \(t\in J\) and \((x_{1}, x_{2}, \ldots , x_{m+1}) \in \mathbb{R} ^{m+1}\).
Also, assume that conditions \((H_{2})\), \((H_{3})\), \((H_{4})\), and \((H_{5})\) in Theorem 11 hold. If
where r is the constant that was introduced in Theorem 11, then the fractional differential equation (5) has at least one solution on J.
Example 1
Consider the following hybrid Caputo–Hadamard fractional differential inclusion:
Here \(\alpha =\frac{3}{2}\), \(m=n=2\), \(\beta _{1}=\frac{1}{3}\), \(\beta _{2}=\frac{1}{2}\), \(\gamma _{1}=\frac{2}{3}\), \(\gamma _{2}= \frac{3}{4}\),
\(K(t,x)=[0, e^{t}\sin x +2]\), \(h_{1}(t, x)=\sin t \tan ^{-1}x\), \(h_{2}(t, x) = \frac{t^{2}|x|}{ 5(1+|x|)}\), \(\mu (y) =\sin (y( \frac{3}{2}))\), and \(\eta (y)=\cos (y(\frac{5}{2}))\) for all x, \(x_{1}\), \(x_{2}\), and \(x_{3}\in \mathbb{R}\), \(t\in J\) and \(y \in C(J, \mathbb{R})\). Obviously,
\(|h_{1}(t, x_{1})-h_{1}(t, x'_{1})| \leq \sin t|x_{1}-x'_{1}|\), \(|h_{2}(t, x_{1})-h_{2}(t, x'_{1})| \leq \frac{t^{2}}{5}|x_{1}-x'_{1}|\),
\(\|K(t, x)\|\leq e^{t} + 2\), \(F_{0}\leq 3.01\), \(G_{0}=1\), and \(H_{1,0}= H_{2,0}=0\) for all \(x_{1}\), \(x_{2}\), \(x_{3}\), \(x'_{1}\), \(x'_{2}\), \(x'_{3}\), and \(x \in \mathbb{R}\), \(t \in J\), and \(y\in C(J, \mathbb{R})\). Now, by setting \(p(t)=e^{t}+2\), \(\varphi (x)=1\), \(\psi (t) = \frac{e^{-\pi t}}{1000(1 +e^{-\pi t})}\), \(\phi (t) = \frac{t^{2}}{100(1 + t^{2})}\), \(p_{1}(t)=\sin t\), \(p_{2}(t)=\frac{t^{2}}{5}\), \(M_{0}=4.03\), and \(M_{1}= 4.03\) for all \(t\in J\) and \(x\in \mathbb{R}^{+}\), we have \(\|p\|= e^{e}+2\), \(\|\phi \|\leq \frac{1}{100}\), \(\|\psi \|\leq \frac{1}{1000}\), \(\|p_{1}\|=1\), and \(\|p_{2}\|=\frac{e^{2}}{5}\). Hence
Therefore, all the conditions in Theorem 11 are satisfied, and problem (6) has at least one solution on \(\overline{B_{r}(0)}\), where
References
Hedayati, V., Rezapour, S.: The existence of solution for a k-dimensional system of fractional differential inclusions with anti-periodic boundary value conditions. Filomat 30(6), 1601–1613 (2016). https://doi.org/10.2298/FIL1606601H
Ahmad, B., Ntouyas, S.K.: Boundary value problem for fractional differential inclusions with four-point integral boundary conditions. Surv. Math. Appl. 6, 175–193 (2011)
Agarwal, R.P., Ahmad, B.: Existence theory for anti-periodic boundary value problems of fractional differential equations and inclusions. Comput. Math. Appl. 62, 1200–1214 (2011). https://doi.org/10.1016/j.camwa.2011.03.001
Baleanu, D., Nazemi, S.Z., Rezapour, S.: Existence and uniqueness of solutions for multi-term nonlinear fractional integro-differential equations. Adv. Differ. Equ. 2013, 368 (2013). https://doi.org/10.1186/1687-1847-2013-368
Agarwal, R.P., Baleanu, D., Hedayati, V., Rezapour, S.: Two fractional derivative inclusion problems via integral boundary condition. Appl. Math. Comput. 257, 205–212 (2015). https://doi.org/10.1016/j.amc.2014.10.082
Rezapour, S., Hedayati, V.: On a Caputo fractional differential inclusion with integral boundary condition for convex-compact and nonconvex-compact valued multifunctions. Kragujev. J. Math. 41(1), 143–158 (2017). https://doi.org/10.5937/KgJMath1701143R
Ghorbanian, R., Hedayati, V., Postolache, M., Rezapour, S.: On a fractional differential inclusion via a new integral boundary condition. J. Inequal. Appl. 2014, 319 (2014). https://doi.org/10.1186/1029-242X-2014-319
Agarwal, R.P., Baleanu, D., Hedayati, V., Rezapour, S.: Two fractional derivative inclusion problems via integral boundary condition. Appl. Math. Comput. 257, 205–212 (2015). https://doi.org/10.1016/j.amc.2014.10.082
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000). https://doi.org/10.1142/3779
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies. Elsevier, Amsterdam (2006)
Podlubny, I.: Fractional Differential Equations. Academic Press, Slovak Republic (1999)
Kac, V., Cheung, P.: Quantum Calculus. Universitext. Springer, New York (2002)
Zhao, Y., Sun, S., Han, Z., Li, Q.: Theory of fractional hybrid differential equations. Comput. Math. Appl. 62(3), 1312–1324 (2011). https://doi.org/10.1016/j.camwa.2011.03.041
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
Jarad, F., Abdeljawad, T., Baleanu, D.: Caputo-type modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2012, 142 (2012). https://doi.org/10.1186/1687-1847-2012-142
Djebali, S., Górniewicz, L., Ouahab, A.: Solution Sets for Differential Equations and Inclusions. De Gruyter Series in Nonlinear Analysis and Applications. Germany (2012). https://doi.org/10.1515/9783110293562.
Dhage, B.: On some nonlinear alternatives of Leray-Schauder type and functional integral equations. Arch. Math. 42, 11–23 (2006)
Dhage, B.: On solvability of operator inclusions \(x \in ax bx + cx\) in Banach algebras and differential inclusions. Commun. Appl. Anal. 14(4), 567–596 (2010)
Acknowledgements
The authors would like to thank the editors and the anonymous reviewers for their constructive comments and suggestions that have helped to improve the present paper. Also, the authors are very grateful to the submission editor of Springer Nature, Dhanshri Nagargoje, for helpful guidance. We thank Dear Vanesa Mae Ledesma for good guidance and following the paper with patience.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in this manuscript, and they read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Additional information
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
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2090-8