Abstract
In this paper, we establish sufficient conditions for the existence and uniqueness of solutions for boundary value problems of Hadamard-type fractional functional differential equations and inclusions involving both retarded and advanced arguments. We make use of the standard tools of fixed point theory to obtain the main results.
Similar content being viewed by others
1 Introduction
Differential equations of fractional order play a very important role in describing many real world phenomena. The tools of fractional calculus are effectively employed in improving mathematical modeling of several problems in physics, mechanics and other fields. The theory of differential equations of fractional order has recently received great attention and now constitutes a significant branch of mathematical analysis. For details and examples, we refer the reader to a series of papers and monographs; for instance, see [1–20].
Functional differential equations arise in a variety of areas of biological, physical, and engineering applications, see, for example, the books of Kolmanovskii and Myshkis [21] and Hale and Verduyn Lunel [22], and the references cited therein. Recently, in [23], the authors studied the existence and uniqueness of solutions for fractional order Hadamard-type functional and neutral functional differential equations.
In this paper, motivated by [23], we study boundary value problems of Hadamard-type fractional functional differential equations and inclusions involving both retarded and advanced arguments. As a first problem, we consider
where \(D^{\alpha}\) is the Hadamard fractional derivative. Here, \(f:[1,e]\times C([-r,h],\mathbb{R}) \rightarrow\mathbb{R}\) is a given function, \(\chi\in C([1-r,1],\mathbb{R})\) with \(\chi(1)=0\) and \(\psi\in C([e,e+h],\mathbb{R})\) with \(\psi(e)=0\). For any function x defined on \([1-r,e+h]\) and any \(1\leq t\leq e\), we denote by \(x^{t}\) the element of \(C([-r,h],\mathbb{R})\) defined by \(x^{t}(\theta)=x(t+\theta)\) for \(-r\leq\theta\leq h\), where \(r, h\geq0\) are constants.
In the second problem, we extend our study to the multi-valued case given by
where \(F: [1,e]\times C([-r,h],{\mathbb {R}})\to{\mathcal {P}}({\mathbb {R}})\) is a multi-valued map (\({\mathcal {P}}({\mathbb {R}})\) is the family of all nonempty subjects of \({\mathbb {R}}\)).
The paper is organized as follows. In Section 2 we recall some preliminary concepts. We obtain existence and uniqueness results for the problem (1)-(3) in Section 3. These results are based on a nonlinear alternative of Leray-Schauder type and the Banach contraction mapping principle. In Section 4, we present the existence results for convex and nonconvex multi-valued maps involved in the problem (4)-(6) which, respectively, rely on the nonlinear alternative of Leray-Schauder type and a fixed point theorem for contractive multi-valued maps due to Covitz and Nadler.
2 Auxiliary facts and results
This section is devoted to some definitions and results which will be needed throughout this paper.
By \(C:=C([-r,h],\mathbb{R})\) we denote the Banach space of all continuous functions from \([-r,h]\) into \(\mathbb{R}\) equipped with the norm
and \(C([1,e],\mathbb{R})\) is the Banach space endowed with the norm \(\Vert x\Vert _{0}=\sup\{\vert x(t)\vert :1\leq t\leq e\}\). Also, let \(E=C([1-r, e+h], {\mathbb {R}})\), \(E_{1}=C([1-r, 1], {\mathbb {R}})\), and \(E_{2}=C([e, e+h], {\mathbb {R}})\) be, respectively, endowed with the norms \(\Vert x\Vert _{[1-r, e+h]}=\sup\{\vert x(t)\vert : 1-r\le t\le e+h\}\), \(\Vert x\Vert _{[1-r, 1]}=\sup\{\vert x(t)\vert :1-r\leq t\leq1\}\), and \(\Vert x\Vert _{[e, e+h]}=\sup\{\vert x(t)\vert :e\leq t\leq e+h\}\).
Definition 2.1
[7]
The Hadamard derivative of fractional order q for a function \(g: [1, \infty)\to\mathbb{R}\) is defined as
where \([q]\) denotes the integer part of the real number q and \(\log(\cdot) =\log_{e} (\cdot)\).
Definition 2.2
[7]
The Hadamard fractional integral of order q for a function g is defined as
provided the integral exists.
Lemma 2.3
Given \(g\in AC([1,e], {\mathbb {R}})\) and \(1<\alpha\le2\), the solution \(u \in C^{2}([1,e], {\mathbb {R}})\) of the problem
is equivalent to the integral equation
where
Proof
As argued in [7], the solution of the Hadamard differential equation (7) can be written as
Using the given boundary conditions, we find that \(c_{2}=0\) and
Substituting the values of \(c_{1}\) and \(c_{2}\) in (11), we obtain
where \(G(t,s)\) is given by (10). The converse of the theorem follows by direct computation. This completes the proof. □
Now we recall some facts from multi-valued analysis. Let \((X, \Vert \cdot \Vert )\) be a Banach space. Let \({\mathcal {P}}(X)=\{Y \subset X: Y\neq\emptyset\}\), \({\mathcal {P}}_{b}(X)=\{Y\in{\mathcal {P}}(X): Y \mbox{ bounded}\}\), \({\mathcal {P}}_{\mathit{cl}}(X)=\{Y\in{\mathcal {P}}(X): Y \mbox{ closed}\}\), \({\mathcal {P}}_{b,\mathit{cl}}(X)=\{Y\in{\mathcal {P}}(X): Y \mbox{ bounded and closed}\}\), \({\mathcal {P}}_{\mathit{cp}}(X)=\{Y\in{\mathcal {P}}(X): Y \mbox{ compact}\}\), \({\mathcal {P}}_{\mathit{cp},c}(X)=\{Y\in{\mathcal {P}}(X): Y \mbox{ compact and convex}\}\).
A multi-valued map \(G:X\to{\mathcal {P}}(X)\) has convex (closed) values if \(G(x)\) is convex (closed) for all \(x\in X\). We say that G is bounded on bounded sets if \(G(B)\) is bounded in X for each bounded set B of X, i.e., \(\sup_{x\in B}\{\sup\{\Vert y\Vert : y\in G(x) \}\}<\infty\). The map G is called upper semicontinuous (u.s.c.) on X if for each \(x_{0}\in X\) the set \(G(x_{0})\) is a nonempty, closed subset of X, and if for each open set N of X containing \(G(x_{0})\), there exists an open neighborhood M of \(x_{0}\) such that \(G(M)\subseteq N\). Also, G is said to be completely continuous if \(G(B)\) is relatively compact for every bounded subset \(B\subseteq X\). If the multi-valued map G is completely continuous with nonempty compact values, then G is u.s.c. if and only if G has a closed graph (i.e., \(x_{n}\to x_{*}\), \(y_{n}\to y_{*}\), \(y_{n}\in G(x_{n})\) imply \(y_{*}\in G(x_{*})\)). Finally, we say that G has a fixed point if there exists \(x\in X\) such that \(x\in G(x)\).
A multi-valued map \(G:J \to{\mathcal {P}}_{\mathit{cl}}(X)\) is said to be measurable if, for each \(x\in E\), the function \(Y:J \to X\) defined by
is Lebesgue measurable.
Definition 2.4
A multi-valued map \(F: J\times C([-r,h],\mathbb{R}) \to{\mathcal {P}}_{\mathit{cp},c}(\mathbb{R})\) is said to be \(L^{1}\)-Carathéodory if
-
(i)
\(t\mapsto F(t,x)\) is measurable, for each \(x\in C([-r,h],\mathbb{R})\),
-
(ii)
\(x\mapsto F(t,x)\) is upper semicontinuous for almost all \(t\in J\), and
-
(iii)
for each real number \(\rho> 0\), there exists a function \(h_{\rho}\in L^{1}(J,{\mathbb{R}}^{+})\) such that
$$\bigl\Vert F(t,u)\bigr\Vert :=\sup\bigl\{ \vert v\vert : v\in F(t,u)\bigr\} \le h_{\rho}(t), \quad \mbox{a.e. } t\in J $$for all \(u\in C([-r,h],\mathbb{R})\) with \(\Vert u\Vert \le \rho\).
Let \((X,d)\) be a metric space induced from the normed space \((X, \Vert \cdot \Vert )\). Consider \(H_{d}:{\mathcal {P}}(X)\times{\mathcal {P}}(X)\longrightarrow{\mathbb {R}}_{+}\cup\{\infty\}\), given by
where \(d({\mathcal {A}},b)=\inf_{a\in{\mathcal {A}}}d(a,b)\), \(d(a,{\mathcal {B}})=\inf_{b\in{\mathcal {B}}}d(a,b)\). Then \(({\mathcal {P}}_{b,\mathit{cl}}(X),H_{d})\) is a metric space and \(({\mathcal {P}}_{\mathit{cl}}(X),H_{d})\) is a generalized (complete) metric space.
Definition 2.5
A multi-valued operator \(G:X\to {\mathcal {P}}_{\mathit{cl}}(X)\) is called
-
(a)
γ-Lipschitz if there exists \(\gamma>0\) such that
$$H_{d}\bigl(G(x),G(y)\bigr)\leq\gamma d(x,y), \quad\mbox{for each } x, y\in X, $$ -
(b)
a contraction if it is γ-Lipschitz with \(\gamma<1\).
For more details on multi-valued maps we refer to the books of Deimling [24], Górniewicz [25], Hu and Papageorgiou [26], and Tolstonogov [27].
3 Existence results for the problem (1)-(3)
By a solution of (1)-(3) we mean a function \(x\in C^{2}([1-r,e+h],\mathbb{R})\) that satisfies the equation \(D^{\alpha}x(t)=f(t,x^{t})\) on \([1,e]\) and the conditions \(x(t)=\chi(t)\), \(\chi(1)=0\) on \([1-r,1]\) and \(x(t)=\psi(t)\), \(\psi(e)=0\) on \([e,e+h]\).
Our existence result for the boundary value problem (1)-(3) is based on the following fixed point theorem.
Lemma 3.1
(Nonlinear alternative for single-valued maps ([28]))
Let E be a Banach space, C a closed, convex subset of E, U an open subset of C and \(0\in U\). Suppose that \(F:\overline{U}\to C\) is a continuous, compact (that is, \(F(\overline{U})\) is a relatively compact subset of C) map. Then either
-
(i)
F has a fixed point in U̅, or
-
(ii)
there is a \(u\in\partial U\) (the boundary of U in C) and \(\lambda\in(0,1)\) with \(u=\lambda F(u)\).
Theorem 3.2
Let \(f:[1,e]\times C([-r,h],\mathbb{R})\rightarrow\mathbb{R}\) be a continuous function. Assume the following assumptions hold:
- \((H_{1})\) :
-
there exist \(p\in C(J,{\mathbb {R}})\) and \(\Omega: [0,\infty)\to(0,\infty)\) continuous and nondecreasing such that
$$\bigl\vert f(t,u)\bigr\vert \leq p(t)\Omega\bigl(\Vert u\Vert _{[-r,h]}\bigr) $$for all \(t\in J\) and all \(u\in C([-r,h],{\mathbb {R}})\);
- \((H_{2})\) :
-
there exists a number \(K_{0}>0\) such that
$$\frac{K_{0}}{ \frac{2\Vert p\Vert _{0}}{\Gamma(\alpha +1)}\Omega(K_{0}+\max\{\Vert x\Vert _{[1-r,1]}, \Vert x\Vert _{[e,e+h]}\})}>1. $$
Then the boundary value problem (1)-(3) has at least one solution on the interval \([1-r, e+h]\).
Proof
To transform the problem (1)-(3) into a fixed point problem, we consider an operator \({\mathcal{Q}}:C([1-r,e+h],\mathbb{R})\rightarrow C([1-r,e+h],\mathbb{R})\) defined by
Let \(u:[1-r,e+h]\rightarrow\mathbb{R}\) be a function defined by
For each \(y\in C([1,e],\mathbb{R})\) with \(y(1)=0\) we denote by z the function defined by
Let us set \(x(t)=y(t)+u(t)\) such that \(x^{t}=y^{t}+u^{t}\) for every \(1\leq t\leq e\), where
Next, we define \(B=\{y\in C([1-r, e+h],\mathbb{R}):y(1)=0\}\) and let \(\mathfrak{S}:B\rightarrow B\) be an operator given by
Then it is enough to show that the operator \(\mathfrak{S}\) has a fixed point which will imply that the operator \(\mathcal{Q}\) has a fixed point and in consequence, this fixed point will correspond to a solution of the problem (1)-(3). In the following three steps, it will be shown that the operator \(\mathfrak{S}\) is continuous and completely continuous.
Step 1: \(\mathfrak{S}\) is continuous.
Let \((y_{n})\) be a sequence such that \(y_{n}\rightarrow y\) in B. Then we have
Since the function f is continuous, we have
Step 2: \(\mathfrak{S}\) maps bounded sets into bounded sets in B.
For any \(k>0\), it is enough to show that there exists a positive constant L̂ such that, for each \(y\in U_{k}:=\{y\in B:\Vert y\Vert _{[1-r,e+h]}\leq k\}\), we have \(\Vert {\mathfrak{S}}y\Vert _{[1-r,e+h]}\leq\hat{L}\). For \(y\in B\) and \(s\in J\) we have
and
Let \(y\in U_{k}\). Since f is continuous, therefore, for \(t\in[1,e]\), we have
and so
Consequently, \(\mathfrak{S}\) maps bounded sets into bounded sets in B.
Step 3: \(\mathfrak{S}\) maps bounded sets into equicontinuous sets of B.
Let \(t_{1}, t_{2}\in [1,e]\) with \(t_{1}< t_{2}\) and \(U_{k}\) be a bounded set of B as in Step 2. Let \(y\in U_{k}\), then we have
As \(t_{1}\rightarrow t_{2}\) the right-hand side of the last inequality tends to zero. The equicontinuity for the cases \(t_{1}< t_{2}\leq0\) and \(t_{1}\leq0\leq t_{2}\) is obvious.
In view of Steps 1 to 3, it follows by the Arzelá-Ascoli theorem that the operator \(\mathfrak{S}\) is continuous and completely continuous.
Step 4: A priori bounds.
We will show that there exists an open set \(U\subset B\) with \(y\neq\lambda{\mathfrak{S}}y\) for \(0<\lambda<1\) and \(y\in\partial U\). Let \(y\in B\) and \(y=\lambda{\mathfrak{S}}y\) for some \(0<\lambda<1\). Thus, for each \(t\in[1,e]\), we have
This implies by our assumptions that, for each \(t\in J\), we get
Then
By \((H_{2})\), there exists \(K_{0}\) such that \(\Vert y\Vert _{[1-r,e+h]}\ne K_{0}\). Set
By our choice of U, there is no \(y\in\partial U\) such that \(y=\lambda{\mathfrak{S}}y\) for some \(0<\lambda<1\). As a consequence of the nonlinear alternative of Leray-Schauder type (Lemma 3.1), we deduce that \(\mathfrak{S}\) has a fixed point \(y\in\bar{U}\) which is a solution to problem (1)-(3). This completes the proof. □
The next result, concerning the existence of a unique solution of problem (1)-(3), is based on the Banach fixed point theorem.
Theorem 3.3
Let \(f:[1,e]\times C([-r,h],{\mathbb {R}})\rightarrow{\mathbb {R}}\). Assume that there exists \(L>0\) such that
for \(t\in[1,e]\) and every \(u, v\in C([-r,h],{\mathbb {R}})\).
If
then the BVP (1)-(3) has a unique solution on the interval \([1-r,e+h]\).
Proof
As argued in the proof of the preceding theorem, it will be shown that the operator \(\mathfrak{S}:B\rightarrow B\) defined by (13) is a contraction, where \(B=\{y\in C([1-r, e+h],\mathbb{R}):y(1)=0\}\). For that, let \(y_{1}, y_{2}\in B\). Then, for \(t\in[1,e]\), we obtain
Consequently, we get
which implies that \({\mathfrak{S}}\) is a contraction by the given assumption, and hence \({\mathfrak{S}}\) has a unique fixed point by means of the Banach contraction mapping principle. This, in turn, implies that the problem (1)-(3) has a unique solution on the interval \([1-r,e+h]\). □
4 Existence results for the problem (4)-(6)
For the forthcoming analysis, we need the following lemmas.
Lemma 4.1
(Nonlinear alternative for Kakutani maps ([28]))
Let E be a Banach space, C a closed convex subset of E, U an open subset of C and \(0\in U\). Suppose that \(F: \overline{U}\to{\mathcal {P}}_{\mathit{cp},c}(C)\) is a upper semicontinuous compact map. Then either
-
(i)
F has a fixed point in U̅, or
-
(ii)
there is a \(u\in\partial U\) and \(\lambda\in(0,1)\) with \(u\in \lambda F(u)\).
Lemma 4.2
([29])
Let X be a Banach space. Let \(F : [0, 1] \times X \to{\mathcal {P}}_{\mathit{cp},c}(X)\) be an \(L^{1}\)-Carathéodory multi-valued map and let Θ be a linear continuous mapping from \(L^{1}([0,1],X)\) to \(C([0,1],X)\). Then the operator
is a closed graph operator in \(C([0,1],X) \times C([0,1],X)\).
The next fixed point theorem is the well-known Covitz and Nadler fixed point theorem for multi-valued contractions [30] (see also Deimling, [24] Theorem 11.1).
Lemma 4.3
(Covitz and Nadler ([30]))
Let \((X,d)\) be a complete metric space. If \(G:X\to{\mathcal {P}}_{\mathit{cl}}(X)\) is a contraction, then \(Fix G\neq\emptyset\).
Theorem 4.4
Assume that \((H_{2})\) holds. In addition, we suppose that the following conditions hold:
- \((A_{1})\) :
-
\(F: [1,e]\times C([-r,h],{\mathbb {R}})\to{\mathcal {P}}_{\mathit{cp},c}({\mathbb {R}})\) is an \(L^{1}\)-Carathéodory multi-valued map;
- \((A_{2})\) :
-
there exist \(p\in C([1,e],{\mathbb {R}})\) and \(\Omega:[0,\infty)\to(0,\infty)\) continuous and nondecreasing such that
$$\bigl\Vert F(t,u)\bigr\Vert :=\sup\bigl\{ \vert v\vert : v\in F(t,u) \bigr\} \leq p(t)\Omega\bigl(\Vert u\Vert _{[-r,h]}\bigr) $$for almost all \(t\in[1,e]\) and all \(u\in C([-r,h],{\mathbb {R}})\).
Then the problem (4)-(6) has at least one solution on the interval \([1-r,e+h]\).
Proof
We transform the problem (4)-(6) into a fixed point problem. A solution to (4)-(6) is a fixed point of the operator \({\mathcal {N}}:C([1-r,e+h],{\mathbb {R}})\longrightarrow{\mathcal {P}}(C([1-r,e+h],{\mathbb {R}}))\) defined by
where
As in the proof of Theorem 3.2, let \(B=\{y\in C([1-r, e+h],{\mathbb {R}}):y(1)=0\}\) and let \(\mathfrak{T}:B\rightarrow{\mathcal {P}}(B)\) be defined by
Now we show that the operator \(\mathfrak{T}\) has a fixed point which is equivalent to proving that the operator \({\mathcal {N}}\) has a fixed point. This, in turn, will imply that there exists a solution of the problem (4)-(6). We do it in several steps.
Claim 1
\(\mathfrak{T}(y)\) is convex for each \(y\in C([1-r,e+h],{\mathbb {R}})\).
This claim is obvious, since F has convex values.
Claim 2
\(\mathfrak{T}\) maps bounded sets into bounded sets in \(C([1-r,e+h],{\mathbb {R}})\).
As is Step 2 of the proof of Theorem 3.2, let \(U_{k}=\{y\in B:\Vert y\Vert _{[1-r,e+h]}\leq k\}\).
Let \(y\in U_{k}\). Then, for each \(h\in\mathfrak{T}(y)\), there exists \(v\in S_{F,y}\) such that
and that
Thus
This shows that \(\mathfrak{T}\) maps bounded sets into bounded sets in B.
Claim 3
\(\mathfrak{T}\) maps bounded sets in \(C([1-r,e+h],{\mathbb {R}})\) into equicontinuous sets.
We consider \(B_{k}\) as in Claim 2 and let \(h\in\mathfrak{T}(y)\) for \(y\in B_{k}\), \(k >0\). Now let \(t_{1},t_{2}\in[1,e]\) with \(t_{2}>t_{1}\). Then we have
Clearly the right-hand side of the last inequality tends to zero as \(t_{1}\rightarrow t_{2}\). In view of Claims 2, 3, and the Arzelá-Ascoli theorem, we can conclude that \(\mathfrak{T}:B\longrightarrow{\mathcal {P}}(B)\) is completely continuous.
In our next step, we show that \(\mathfrak{T}\) is upper semicontinuous. It is well known [24], Proposition 1.2, that \(\mathfrak{T}\) will be upper semicontinuous if we prove that it has a closed graph, since \(\mathfrak{T}\) is already shown to be completely continuous.
Claim 4
\(\mathfrak{T}\) has closed graph.
Let \(x_{n} \to x_{*}\), \(h_{n} \in\mathfrak{T} (x_{n})\), and \(h_{n} \to h_{*}\). Then we need to show that \(h_{*} \in \mathfrak{T} (x_{*})\). Associated with \(h_{n} \in\mathfrak{T} (x_{n})\), there exists \(v_{n} \in S_{F,x_{n}}\) such that, for each \(t \in[0,1]\),
Thus it suffices to show that there exists \(v_{*} \in S_{F,x_{*}}\) such that, for each \(t \in[0,1]\),
Let us consider the linear operator \(\Theta: L^{1}([0,1], \mathbb{R}) \to C([0,1], \mathbb{R})\) given by
Observe that
Thus, it follows by Lemma 4.2 that \(\Theta\circ S_{F}\) is a closed graph operator. Further, we have \(h_{n}(t) \in \Theta(S_{F,x_{n}})\). Since \(x_{n} \to x_{*}\), therefore, we have
for some \(v_{*} \in S_{F,x_{*}}\).
Claim 5
We will show that there exists an open set \(U\subset B\) with \(y\neq\lambda\mathfrak{T}y\) for \(0<\lambda<1\) and \(y\in\partial U\).
Let \(y\in B\) be such that \(y\in \lambda\mathfrak{T}(y)\) for some \(0<\lambda<1\). Then there exists \(v\in S_{F,y}\) such that
This implies by our assumptions that, for each \(t\in[1,e]\), we have
Then
By \((H_{2})\), there exists \(K_{0}\) such that \(\Vert y\Vert _{[1-r,e+h]}\ne K_{0}\). Set
From the choice of U there is no \(y\in\partial U\) such that \(y\in \lambda\mathfrak{T}(y)\) for \(\lambda\in (0,1)\). As a consequence of the Leray-Schauder alternative for Kakutani maps (Lemma 4.1), we deduce that \(\mathfrak{T}\) has a fixed point, which implies that the problem (4)-(6) has at least one solution. This completes the proof. □
Finally, we present an existence result for the problem (4)-(6) with nonconvex valued right-hand side by using Covitz and Nadler’s fixed point theorem.
Theorem 4.5
Suppose that:
- \((B_{1})\) :
-
\(F: [1,e]\times C([-r,h],{\mathbb {R}}) \longrightarrow{\mathcal {P}}_{\mathit{cp}}({\mathbb {R}})\) has the property that \(F(\cdot,y): [1,e]\longmapsto{\mathcal {P}}_{\mathit{cp}}({\mathbb {R}})\) is measurable for each \(y\in C([-r,h],{\mathbb {R}})\);
- \((B_{2})\) :
-
there exists \(\ell\in C(J,{\mathbb {R}})\), such that
$$H_{d}\bigl(F(t,u),F(t,\bar{u})\bigr)\le\ell(t)\Vert u-\bar{u}\Vert _{[-r,h]} \quad\textit{for every } u,\bar{u}\in C\bigl([-r,h],{\mathbb {R}} \bigr), $$and
$$d\bigl(0,F(0,u)\bigr)\le\ell(t), \quad\textit{for a.e. } t\in[1,e]. $$
If
then the problem (4)-(6) has at least one solution.
Proof
Transform the problem (4)-(6) into a fixed point problem by means of the multi-valued operator \(\mathfrak{T}: B\to{\mathcal {P}}(B)\) introduced in Theorem 4.4. We shall show that \(\mathfrak{T}\) satisfies the assumptions of Lemma 4.3. The proof will be given in two steps.
Step 1: \(\mathfrak{T}(y)\in {\mathcal {P}}_{\mathit{cl}}(B)\) for each \(y\in B\) .
Indeed, let \((y_{n})_{n\geq0}\in\mathfrak{T}(y)\) such that \(y_{n}\longrightarrow\tilde{y}\) in B. Then \(\tilde{y}\in B\) and there exists \(g_{n}\in S_{F,y}\) such that, for each \(t\in[1,e]\),
Using \((B_{1})\) together with the fact that F has compact values, we may pass to a subsequence to see that \(g_{n}\) converges weakly to g in \(L^{1}([0.1],{\mathbb {R}})\). Then \(g\in S_{F,x}\) and, for each \(t\in [1,e]\), we have
So \(\tilde{y}\in\mathfrak{T}(y)\).
Step 2: There exists \(\gamma < 1\) ( \(\gamma:= \frac{2}{\Gamma(\alpha+1)}\Vert \ell \Vert _{0}\) ) such that
Let \(y, \overline{y} \in B\) and \(h\in \mathfrak{T}(y)\). Then there exists \(g(t)\in F(t,y^{t}+u^{t})\) such that
for each \(t\in J\). From \((B_{2})\) it follows that
Hence there is \(w\in F(t,\overline{y}^{t}+u^{t})\) such that
Consider \(U: [1,e]\to{\mathcal {P}}(E)\), given by
Since the multi-valued operator \(V(t)=U(t)\cap F(t,\overline{y}^{t}+u^{t})\) is measurable (see Proposition III.4 in [31]), there exists a function \(\overline{g}(t)\), which is a measurable selection for V. So, \(\overline{g}(t)\in F(t,\overline{y}^{t}+u^{t})\) and
Let us define, for each \(t\in [1,e]\),
and
Thus
Analogously, interchanging the roles of y and y̅, it follows that
So, \(\mathfrak{T}\) is a contraction and hence, by Lemma 4.3, \(\mathfrak{T}\) has a fixed point y, which is a solution to (4)-(6). □
5 Conclusions
We have obtained several existence results for boundary value problems of Hadamard-type fractional differential equations and inclusions involving both retarded and advanced arguments by applying some standard tools of fixed point theory for single-valued and multi-valued maps. Our results are new and yield several new ones by fixing the parameters r and h appropriately. For example, the results for ordinary Hadamard-type fractional differential equations/inclusions follow by taking \(r=h=0\). Our results reduce to the retarded and advanced argument cases for \(r>0\), \(h=0\) and \(r=0\), \(h>0\), respectively. The mixed (both retarded and advanced) case follows by choosing \(r>0\) and \(h>0\).
References
Agrawal, OP: Analytical schemes for a new class of fractional differential equations. J. Phys. A 40(21), 5469-5477 (2007)
Ahmad, B, Ntouyas, SK: A fully Hadamard type integral boundary value problem of a coupled system of fractional differential equations. Fract. Calc. Appl. Anal. 17, 348-360 (2014)
Darwish, MA, Ntouyas, SK: Existence results for a fractional functional differential equation of mixed type. Commun. Appl. Nonlinear Anal. 15, 47-55 (2008)
El-Sayed, AMA, Gaafar, FM: Fractional calculus and some intermediate physical processes. Appl. Math. Comput. 144(1), 117-126 (2003)
Graef, JR, Kong, L, Wang, M: Existence and uniqueness of solutions for a fractional boundary value problem on a graph. Fract. Calc. Appl. Anal. 17, 499-510 (2014)
Hilfer, R: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Kirane, M, Ahmad, B, Alsaedi, A, Al-Yami, M: Non-existence of global solutions to a system of fractional diffusion equations. Acta Appl. Math. 133, 235-248 (2014)
Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York (1993)
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Punzo, F, Terrone, G: On the Cauchy problem for a general fractional porous medium equation with variable density. Nonlinear Anal. 98, 27-47 (2014)
Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Amsterdam (1993) (Russian edition, 1987)
Saxena, RK, Kalla, SL: On a fractional generalization of free electron laser equation. Appl. Math. Comput. 143, 89-97 (2003)
Saxena, RK, Mathai, AM, Haubold, HL: On generalized fractional kinetic equations. Physica A 344, 657-664 (2004)
Baleanu, D, Rezapour, S, Salehi, S: On the existence of solutions for a fractional finite difference inclusion via three points boundary conditions. Adv. Differ. Equ. 2015, 242 (2015)
Agarwal, RP, Baleanu, D, Hedayati, V, Rezapour, S: Two fractional derivative inclusion problems via integral boundary condition. Appl. Math. Comput. 257, 205-212 (2015)
Gambo, Y, Jarad, F, Baleanu, D, Abdeljawad, T: On Caputo modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2014, 10 (2014)
Yang, X-J, Srivastava, HM: An asymptotic perturbation solution for a linear oscillator of free damped vibrations in fractal medium described by local fractional derivatives. Commun. Nonlinear Sci. Numer. Simul. 29, 499-504 (2015)
Yu, C, Gao, G: Existence of fractional differential equations. J. Math. Anal. Appl. 310, 26-29 (2005)
Zhao, X, Yang, HT, He, YQ: Identification of constitutive parameters for fractional viscoelasticity. Commun. Nonlinear Sci. Numer. Simul. 19, 311-322 (2014)
Kolmanovskii, V, Myshkis, A: Introduction to the Theory and Applications of Functional-Differential Equations. Mathematics and Its Applications, vol. 463. Kluwer Academic, Dordrecht (1999)
Hale, J, Verduyn Lunel, SM: Introduction to Functional Differential Equations. Applied Mathematical Sciences, vol. 99. Springer, New York (1993)
Ahmad, B, Ntouyas, SK: Initial value problems of fractional order Hadamard-type functional differential equations. Electron. J. Differ. Equ. 2015, 77 (2015)
Deimling, K: Multivalued Differential Equations. de Gruyter, Berlin (1992)
Gorniewicz, L: Topological Fixed Point Theory of Multivalued Mappings. Mathematics and Its Applications, vol. 495. Kluwer Academic, Dordrecht (1999)
Hu, S, Papageorgiou, N: Handbook of Multivalued Analysis, Theory I. Kluwer Academic, Dordrecht (1997)
Tolstonogov, AA: Differential Inclusions in a Banach Space. Kluwer Academic, Dordrecht (2000)
Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2005)
Lasota, A, Opial, Z: An application of the Kakutani-Ky Fan theorem in the theory of ordinary differential equations. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 13, 781-786 (1965)
Covitz, H, Nadler, SB Jr.: Multivalued contraction mappings in generalized metric spaces. Isr. J. Math. 8, 5-11 (1970)
Castaing, C, Valadier, M: Convex Analysis and Measurable Multifunctions. Lecture Notes in Mathematics, vol. 580. Springer, Berlin (1977)
Acknowledgements
This project was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, under grant no. HiCi-46-130-36. The authors, therefore, acknowledge with thanks DSR for technical and financial support. The authors also acknowledge the referees for their constructive remarks.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Each of the authors, RPA, SKN, BA, and AKA contributed to each part of this work equally and read and approved the final version of the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Agarwal, R.P., Ntouyas, S.K., Ahmad, B. et al. Hadamard-type fractional functional differential equations and inclusions with retarded and advanced arguments. Adv Differ Equ 2016, 92 (2016). https://doi.org/10.1186/s13662-016-0810-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0810-x