- Research
- Open Access
- Published:
Hilfer fractional differential inclusions with Erdélyi–Kober fractional integral boundary condition
Advances in Difference Equations volume 2021, Article number: 244 (2021)
Abstract
In this article, we debate the existence of solutions for a nonlinear Hilfer fractional differential inclusion with nonlocal Erdélyi–Kober fractional integral boundary conditions (FIBC). Both cases of convex- and nonconvex-valued right-hand side are considered. Our obtained results are new in the framework of Hilfer fractional derivative and Erdélyi–Kober fractional integral with FIBC via the fixed point theorems (FPTs) for a set-valued analysis. Some pertinent examples demonstrating the effectiveness of the theoretical results are presented.
1 Introduction
In recent years, fractional differential equation (FDE) theory has received very broad attention in the fields of both pure and applied mathematics, see [27, 35, 39, 45]. FDEs and fractional differential inclusions (FDIs) emerge naturally in diverse areas of science with many applications, see, e.g., [19, 23, 25, 26, 28, 31, 41, 47, 50]. In the literature, there are many definitions of fractional derivatives (FDs) and fractional integrals (FIs), e.g., Riemann–Liouville [35], Caputo [21], Hadamard [30], Hilfer [31], Katugampola [34], Caputo–Hadamard [32], Caputo–Katugampola [15], Caputo–Fabrizio [22], Atangana–Baleanu–Caputo [18]. In addition, several new operators have emerged to combine a wide category of FDs, such as ψ-Caputo [14] and ψ-Hilfer [46].
In the last few years, many researchers have started to discuss the qualitative properties of solutions of fractional FDEs and FDIs, such as existence, uniqueness, stability, controllability, and optimization, etc., see [1–3, 7–10, 20, 43, 44, 49]. Some other researchers have devoted their works to discussing further analytical properties of solutions of such equations and inclusions, while others already have oriented their investigations towards numerical applications and solutions. For further specialized articles on the existence, uniqueness, and stability of FDEs involving various types of FDs, we refer to [4, 6, 11, 16, 33, 37, 38, 46].
Recently, Asawasamrit et al. [17] have initiated the study of Hilfer FDEs with nonlocal IBCs of the type
where \(1< r_{1}<2\), \(0\leq r_{2}\leq 1\), \(\eta _{i}>0\), \(\theta _{i}\in \mathbb{R} \), \({}^{H}D_{a^{+}}^{r_{1},r_{2}}\) is the Hilfer FD of order \(r_{1}\) and type \(r_{2}\), \(I_{\mathfrak{a}+}^{\eta _{i}}\) is the Riemann–Liouville FI of order \(\eta _{i}\). Later, the authors of [42] have investigated the existence and stability results of an implicit problem for FDE (1.1) involving ψ-Hilfer FD.
On the other hand, Abbas [5] investigated the existence and Ulam–Hyers stability results for the FDE of type (1.1) with the consideration of Erdélyi–Kober FI instead of Riemann–Liouville FI. The set-valued case of problem (1.1) has been studied by Wongcharoen et al. [48].
In order to enhance the work and fill the gap on BVPs of fractional order involving more IBCs, we consider a nonlinear Hilfer-type FDI with Erdélyi–Kober fractional IBC, that is,
where \(^{H}D^{r_{1},r_{2}}\) is the Hilfer FD of order \(r_{1}\in ( 1,2 ) \) and type \(r_{2}\in [ 0,1 ] \), \(I^{\eta _{i};\xi _{i}}\) is the Erdélyi–Kober FI of order \(\xi _{i}>0\) with \(\gamma _{i}>0\) and \(\eta _{i}\in \mathbb{R} \), \(Q: [ 0,\mathcal{T} ] \times \mathbb{R} \rightarrow \mathcal{O} ( \mathbb{R} ) \) is a set-valued map (svm) from \([ 0,\mathcal{T} ] \times \mathbb{R}\) to the family of \(\mathcal{O} ( \mathbb{R} ) \subset \mathbb{R} \), \(\theta _{i}\in \mathbb{R} \), \(\delta _{i}\in ( 0,T ) \), \(i=1\), \(2,\dots ,m\). Our main concern in this manuscript is to obtain the existence results for the Hilfer inclusion problem (1.2) involving convex, nonconvex set-valued maps via some FPTs of Leray–Schauder type, as well as those of Covitz and Nadler, where some pertinent examples are built for the demonstration of our findings.
Remark 1
-
i)
If Erdélyi–Kober FI \(I^{\eta _{i};\xi _{i}}\) is replaced by Riemann–Liouville FI \(I_{\mathfrak{a}+}^{\eta _{i}} \) in problem (1.2), then the inclusion problem for it has been studied by Wongcharoen et al. [48].
-
ii)
If r\(_{2}=0\) in (1.2), then our problem reduces to Riemann–Liouville inclusion problem considered by Ahmad and Ntouyas in [12].
-
iii)
If r\(_{2}=1\) in (1.2), then our problem also covers other problems, including those of Caputo type.
This paper is structured as follows. In Sect. 2, we give some fundamental concepts of fractional calculus, set-valued analysis, and FP techniques. In Sect. 3, we study some existence results for the Hilfer inclusion problem (1.2) relying on some FPTs of Leray–Schauder, Covitz, and Nadler. At the end, some examples are given in Sect. 4.
2 Preliminaries
2.1 Fractional Calculus (FC)
In this part, we give some essential ideas of FC and axiom outcomes that are prerequisites in our analysis.
Let \(\mathfrak{P}= [ 0,\mathcal{T} ] \), \(r_{1}\in ( 1,2 ) \), \(r_{2}\in [ 0,1 ] \), where \(\mathfrak{v}=r_{1}+r_{2} ( 2-r_{1} ) \in ( 1,2 ] \). By \(\mathcal{C=}C ( \mathfrak{P},\mathbb{R} ) \) we denote the Banach space of all continuous functions \(\varkappa :\mathfrak{P}\rightarrow \mathbb{R} \) with norm
and \(L^{1} ( \mathfrak{P},\mathbb{R} ) \) is the Banach space of Lebesgue integrable functions \(\varkappa :\mathfrak{P}\rightarrow \mathbb{R} \) with norm
Definition 1
([35])
The Riemann–Liouville FI of a function ϰ of order \(r_{1}\) is described by
provided the integral exists.
Definition 2
([35])
The Riemann–Liouville FD of a function h of order \(r_{1}\) is described by
where \(n= [ r_{1} ] +1\), \(n\in \mathbb{N} \).
Definition 3
([46])
The Hilfer FD of a function ϰ of order \(r_{1}\) and type \(r_{2}\) is described by
where \(D^{ [ n ] } = ( \frac{d}{d\mathfrak{t}} ) ^{n}\).
Definition 4
([35])
The Erdélyi–Kober FI of a function ϰ of order \(\xi >0\) with \(\gamma >0\) and \(\eta \in \mathbb{R} \) is formulated by
provided the integral exists.
Remark 2
For \(\gamma =1\), (2.1) is reduced to the Kober operator
For \(\eta =0\), (2.2) leads to the Riemann–Liouville FI with a power weight,
Lemma 1
([35])
Let \(\xi ,\eta >0\) and \(\gamma ,\alpha \in \mathbb{R} \). Then
Lemma 2
([35])
Let \(\gamma ,\xi ,\beta >0\). Then
where \(B ( \cdot ,\cdot ) \) is the beta function determined by
Lemma 3
([31])
Let \(r_{1}\in ( 1,2 ] \). Then
Lemma 4
([5])
Let
and consider any \(\mathfrak{h}\in \mathcal{C}\). Then the solution of the nonlocal BVP
is obtained as
2.2 Set-valued analysis
We recall some concepts concerning the theory of set-valued maps. For this, let \(( \upsilon , \Vert \cdot \Vert ) \) be a Banach space and \(\mathfrak{N}:\upsilon \rightarrow \mathcal{O} ( \upsilon ) \) be a set-valued map, which
-
(a)
is convex-(closed-)valued if \(\mathfrak{N} ( \upsilon ) \) is convex (closed) for any \(\upsilon \in \mathcal{O}\),
-
(b)
is bounded if \(\mathfrak{N} ( \mathcal{B} ) =\bigcup_{\upsilon \in \mathcal{B}}\mathfrak{N} ( \upsilon ) \) is bounded in υ for all bounded sets \(\mathcal{B}\) of υ, i.e.,
$$ \sup_{\upsilon \in \mathcal{B}} \bigl\{ \bigl\{ \sup \vert \rho \vert :\rho \in \mathfrak{N} ( \upsilon ) \bigr\} \bigr\} < \infty , $$ -
(c)
is measurable if ∀ \(\rho \in \mathbb{R} \), the function
$$ \upsilon \rightarrow d \bigl( \rho ,\mathfrak{N} ( \upsilon ) \bigr) =\inf \bigl\{ \vert \rho -\mathcal{\eta } \vert :\mathcal{ \eta }\in \mathfrak{N} ( \upsilon ) \bigr\} , $$is measurable.
For the definitions of completely continuous and u.s.c., we refer to [13].
Moreover, a collection of selections of Q at a point \(\rho \in \mathcal{C}\) is defined by
Next, we denote
where \(\mathcal{O}_{\mathrm{cp}}\), \(\mathcal{O}_{b}\), \(\mathcal{O}_{\mathrm{cl}}\), \(\mathcal{O}_{c}\) denote the categories of all compact, bounded, closed, and convex subsets of υ, respectively. Also, \(\mathcal{O}_{\mathrm{cp},c}\) denotes the category of all convex and compact subsets of υ.
Definition 5
([26])
A set-valued map \(Q:\mathfrak{P}\times \mathbb{R} \rightarrow \mathcal{O} ( \mathbb{R} ) \) is called Carathéodory whenever the map \(\mathfrak{t}\rightarrow Q ( \mathfrak{t},\upsilon ) \) is measurable for any \(\upsilon \in \mathbb{R} \), and the map \(\upsilon \rightarrow Q ( \mathfrak{t},\upsilon ) \) is u.s.c. for (a.e.) all \(\mathfrak{t}\in \mathfrak{P}\).
Moreover, a set-valued map Q is called \(L^{1}\)-Carathéodory if ∀ \(w>0\), there exists \(\varphi \in L^{1} ( \mathfrak{P},\mathbb{R} ^{+} ) \) such that
for all \(\Vert \upsilon \Vert \leq w\) and for a.e. \(\mathfrak{t}\in \mathfrak{P}\).
We will use the following lemmas that will play an important role in the achievement of the desired results in this research.
Lemma 5
([26, Proposition 1.2])
Let \(\operatorname{Gr} ( \mathfrak{N} ) = \{ ( \upsilon ,\rho ) \in \upsilon \times Z,\rho \in \mathfrak{N} ( \upsilon ) \} \) be the graph of \(\mathfrak{N}\). If \(\mathfrak{N}:\upsilon \rightarrow \mathcal{O}_{\mathrm{cl}} ( \upsilon ) \) is u.s.c., then \(\operatorname{Gr} ( \mathfrak{N} ) \) is a closed subset of \(\upsilon \times Z\). If \(\mathfrak{N}\) is completely continuous and has a closed graph, then it is u.s.c.
Lemma 6
([40])
Let υ be a separable Banach space, \(Q:\mathfrak{P}\times \upsilon \rightarrow \mathcal{O}_{\mathrm{cp},c} ( \upsilon ) \) be an \(L^{1}\)-Carathéodory set-valued map, and \(\mathcal{Z}:L^{1} ( \mathfrak{P},\upsilon ) \rightarrow C ( \mathfrak{P},\upsilon ) \) be a linear continuous mapping. Then the operator
has a closed graph in \(C ( \mathfrak{P},\upsilon ) \times C ( \mathfrak{P}, \upsilon ) \).
3 Existence results for (1.2)
Definition 6
A function \(\upsilon \in \mathcal{C}\) is considered a solution of (1.2), if there is an integrable function \(\tilde{v}\in L^{1} ( \mathfrak{P},\mathbb{R} ) \) with \(\tilde{v} ( \mathfrak{t} ) \in Q ( \mathfrak{t},\upsilon ) \) for all \(\mathfrak{t}\in \) \(\mathfrak{P}\) satisfying the nonlocal fractional IBC
and
3.1 The U.S.C. case
The first result deals with a convex-valued Q relying on Leray–Schauder principle for set-valued maps [29].
Theorem 1
Let
and assume that:
-
(As1)
\(Q:\mathfrak{P}\times \mathbb{R} \rightarrow \mathcal{O}_{\mathrm{cp},c} ( \mathbb{R} ) \) is an \(L^{1}\)-Carathéodory set-valued map,
-
(As2)
There is a nondecreasing function \(\vartheta \in C ( \mathbb{R} ^{+},\mathbb{R} ^{+} ) \) and a continuous function \(P:\mathfrak{P}\rightarrow \mathbb{R} ^{+}\) such that
$$ \bigl\Vert Q ( \mathfrak{t},\upsilon ) \bigr\Vert _{ \mathcal{O}}=\sup \bigl\{ \vert \rho \vert :\rho \in Q ( \mathfrak{t},\upsilon ) \bigr\} \leq P ( \mathfrak{t} ) \vartheta \bigl( \Vert \upsilon \Vert \bigr) , \quad \forall ( \mathfrak{t},\upsilon ) \in \mathfrak{P} \times \mathbb{R} . $$ -
(As3)
There is a constant \(\mathcal{L}>0\) such that
$$ \frac{\mathcal{L}}{\varrho \Vert P \Vert \vartheta ( \mathcal{ L} ) }>1. $$(3.2)
Then problem (1.2) has at least one solution on \(\mathfrak{P}\).
Proof
Initially, to write problem (1.2) as an FP problem, we consider the operator \(\tilde{\mathcal{S}}:\mathcal{C}\rightarrow \mathcal{O} ( \mathcal{C} ) \) defined by
for \(\tilde{v}\in \mathcal{R}_{Q,\upsilon }\). Obviously, the solution of (1.2) is an FP of the operator \(\tilde{\mathcal{S}}\). The proof steps will be presented as follows:
Step 1. The set-valued map \(\tilde{\mathcal{S}} ( \upsilon ) \) is convex for any \(\upsilon \in \mathcal{C}\).
Let \(\mathfrak{\phi }_{1}\), \(\mathfrak{\phi }_{2}\in \tilde{\mathcal{S}} ( \upsilon ) \). Then, there exist \(\tilde{v}_{1}\), \(\tilde{v}_{2}\in \mathcal{R}_{Q,\upsilon }\) such that
Let \(\mathcal{\lambda }\in [ 0,1 ] \). Then for any \(\mathfrak{t}\in \mathfrak{P,}\)
Since Q has convex values, \(\mathcal{R}_{Q,\upsilon }\) is convex and \([ \mathcal{\lambda }\tilde{v}_{1} ( \mathfrak{t} ) + ( 1-\mathcal{\lambda } ) \tilde{v}_{2} ( \mathfrak{t} ) ] \in \mathcal{R}_{Q,\upsilon }\). Thus, \(\mathcal{\lambda }\mathfrak{\phi }_{1}+ ( 1-\mathcal{\lambda } ) \mathfrak{\phi }_{2}\in \tilde{\mathcal{S}} ( \upsilon ) \).
Step 2. \(\tilde{\mathcal{S}}\) is bounded on bounded sets of \(\mathcal{C}\).
For a constant \(r>0\), let \(B_{r}= \{ \upsilon \in \mathcal{ C}: \Vert \upsilon \Vert \leq r \} \) be a bounded set in \(\mathcal{C}\). Then for each \(\mathfrak{\phi }\in \tilde{\mathcal{S}} ( \upsilon ) \) and \(\upsilon \in B_{r}\), there exists \(\tilde{v}\in \mathcal{R}_{Q,\upsilon }\) such that
Under the hypothesis (As2) and for any \(\mathfrak{t}\in \mathfrak{P}\), we obtain
Thus
Step 3. \(\tilde{\mathcal{S}}\) sends bounded sets of \(\mathcal{C}\) into equicontinuous sets.
Let υ ∈ \(B_{r}\) and \(\mathfrak{\phi }\in \tilde{\mathcal{S}} ( \upsilon ) \). Then there is a function \(\tilde{v}\in \mathcal{R}_{Q,\upsilon }\) such that
Let \(\mathfrak{t}_{1}\), \(\mathfrak{t}_{2}\in \mathfrak{P}\), \(\mathfrak{t}_{1}<\mathfrak{t}_{2}\). Then
As \(\mathfrak{t}_{1}\rightarrow \mathfrak{t}_{2}\), we obtain
Hence \(\tilde{\mathcal{S}} ( B_{r} ) \) is equicontinuous. From the above-mentioned steps 2–3, along with Arzela–Ascoli theorem, we infer that \(\tilde{\mathcal{S}}\) is completely continuous.
Step 4. We prove that the graph of \(\tilde{\mathcal{S}}\) is closed.
Let \(\upsilon _{n}\rightarrow \upsilon _{\ast }\), \(\mathfrak{\phi }_{n}\in \tilde{\mathcal{S}} ( \upsilon _{n} ) \) and \(\mathfrak{\phi }_{n}\) tends to \(\mathfrak{\phi }_{\ast }\). We show that \(\mathfrak{\phi }_{\ast }\in \tilde{\mathcal{S}} ( \upsilon _{ \ast } ) \). Since \(\mathfrak{\phi }_{n}\in \tilde{\mathcal{S}} ( \upsilon _{n} ) \), there exists \(\tilde{v}_{n}\in \mathcal{R}_{Q,\upsilon _{n}}\) such that
Therefore, we have to prove that there exists \(\tilde{v}_{\ast }\in \mathcal{ R}_{Q,\upsilon _{\ast }}\) such that, for each \(\mathfrak{t}\in \mathfrak{P}\),
Define the continuous linear operator \(\mathcal{Z}:L^{1} ( \mathfrak{P},\upsilon ) \rightarrow C ( \mathfrak{P},\upsilon ) \) as follows:
Notice that
when \(n\rightarrow \infty \). So in view of Lemma 6, the operator \(\mathcal{Z}\circ \mathcal{R}_{Q,\upsilon }\) has a closed graph. Moreover, we have
Since \(\upsilon _{n}\rightarrow \upsilon _{\ast }\), Lemma 6 gives
for some \(\tilde{v}_{\ast }\in \mathcal{R}_{Q,\upsilon _{\ast }}\).
Step 5. We show there exists an open set \(\mathcal{D}\subseteq \mathcal{C}\) with \(\upsilon \notin \mathcal{\mu }\tilde{\mathcal{S}} ( \upsilon ) \) for each \(0<\mathcal{\mu }<1\) and ∀ \(\upsilon \in \partial \mathcal{D}\).
Let \(\mathcal{\mu }\in ( 0,1 ) \) and \(\upsilon \in \mathcal{\mu} \tilde{\mathcal{S}} ( \upsilon ) \). Then there exists \(\tilde{v}\in \mathcal{R}_{Q,\upsilon }\) such that
Thus, we have
Consequently, we obtain
Under the hypothesis (As3), there is an \(\mathcal{L}>0\) such that \(\Vert \upsilon \Vert \neq \mathcal{L}\). We build the set \(\mathcal{D}\) as follows:
From steps 1–4, the operator \(\tilde{\mathcal{S}}:\overline{\mathcal{D}}\rightarrow \mathcal{O} ( \mathcal{C} ) \) is u.s.c. and completely continuous. From the choice of \(\mathcal{D}\), there is no \(\upsilon \in \partial \mathcal{D}\) such that \(\upsilon \in \mathcal{\mu} \tilde{\mathcal{S}} ( \upsilon ) \) for some \(\mathcal{\mu }\in ( 0,1 ) \). So, by Leray–Schauder theorem for set-valued maps, we infer that problem (1.2) has at least one solution \(\upsilon \in \overline{\mathcal{D}}\). □
3.2 The Lipschitz case
For further existence investigation of problem (1.2) in this subsection, we deal with another existence criterion under new hypotheses. In what follows, we will demonstrate that our desired existence of solutions in the case of nonconvex-valued right-hand side follows by Covitz and Nadler theorem [24].
Let \(( \upsilon ,d ) \) be a metric space induced from the normed space \(( \upsilon , \Vert \cdot \Vert ) \). Consider \(\mathcal{H}_{d}:\mathcal{O} ( \upsilon ) \times \mathcal{O} ( \upsilon ) \rightarrow \mathbb{R} ^{+}\cup \{ \infty \} \) defined by
where \(d ( \tilde{A},\tilde{b} ) =\inf_{\tilde{a}\in \tilde{A}}d ( \tilde{a},\tilde{b} ) \) and \(d ( \tilde{a},\tilde{B} ) =\inf_{\tilde{b}\in \tilde{B}}d ( \tilde{a},\tilde{b} ) \). Then \(( \mathcal{O}_{b,\mathrm{cl}} ( \upsilon ) ,\mathcal{H}_{d} ) \) is a metric space (see [36]).
Definition 7
A set-valued operator \(\tilde{\mathcal{S}}:\upsilon \rightarrow \mathcal{O}_{\mathrm{cl}} ( \upsilon ) \) is said to be κ-Lipschitz if and only if there exists \(\kappa >0\) such that
In particular, if \(\kappa <1\), the set valued operator \(\tilde{\mathcal{S}}\) is a contraction.
Theorem 2
Suppose the following hypotheses are valid:
-
(As4)
\(Q:\mathfrak{P}\times \mathbb{R} \rightarrow \mathcal{O}_{\mathrm{cp}} ( \mathbb{R} ) \) is such that \(Q ( \cdot,\upsilon ) :\mathfrak{P}\rightarrow \mathcal{O}_{\mathrm{cp}} ( \mathbb{R} ) \) is measurable for any \(\upsilon \in \mathbb{R} \),
-
(As5)
\(\mathcal{H}_{d} ( Q ( \mathfrak{t},\upsilon ) ,Q ( \mathfrak{t},\overline{\upsilon } ) ) \leq \mathfrak{\varpi } ( \mathfrak{t} ) \vert \upsilon - \overline{\upsilon } \vert \) for (a.e.) all \(\mathfrak{t}\in \mathfrak{P}\) and \(\upsilon ,\overline{\upsilon }\in \mathbb{R} \) with \(\mathfrak{\varpi }\in C ( \mathfrak{P},\mathbb{R} ^{+} ) \) and \(d ( 0,Q ( \mathfrak{t},0 ) ) \leq \mathfrak{\varpi } ( \mathfrak{t} ) \) for (a.e.) all \(\mathfrak{t}\in \mathfrak{P}\).
Then, (1.2) has at least one solution on \(\mathfrak{P}\) if
where ϱ is defined in (3.1).
Proof
By using the hypothesis (As4) and Theorem III.6 in [23], Q has a measurable selection \(\tilde{v}:\mathfrak{P}\mathcal{\rightarrow \mathbb{R} }\), \(\tilde{v}\in L^{1} ( \mathfrak{P},\mathbb{R} ) \), and so Q is integrably bounded. Thus, \(\mathcal{R}_{Q,\upsilon }\) ≠∅. Now, we show that \(\tilde{\mathcal{S}}:\mathcal{C}\rightarrow \mathcal{O} ( \mathcal{C} ) \) defined in (3.3) satisfies the hypotheses of FPT of Nadler and Covitz. To prove that \(\tilde{\mathcal{S}} ( \upsilon ) \) is closed for any \(\upsilon \in \mathcal{C}\), let \(\{ u_{n} \} _{n=0}^{\infty }\in \tilde{\mathcal{ S}} ( \upsilon ) \) be such that \(\mathfrak{u}_{n}\rightarrow \mathfrak{u}\) \(( n\rightarrow \infty ) \) in \(\mathcal{C}\). Then \(\mathfrak{u}\in \mathcal{C}\) and there is \(\tilde{v}_{n}\in \mathcal{R}_{Q,\upsilon _{n}}\) such that
As Q has compact values, so there exists a subsequence \(\tilde{v}_{n}\) converging to ṽ in \(L^{1} ( \mathfrak{P},\mathbb{R} ) \). Thus \(\tilde{v}\in \mathcal{R}_{Q,\upsilon }\), and we get
Hence \(u\in \tilde{\mathcal{S}} ( \upsilon ) \).
Next, we prove that there is a \(\vartheta \in ( 0,1 ) \) \(( \vartheta =\varrho \Vert \mathfrak{\varpi } \Vert ) \) such that
Let υ, \(\overline{\upsilon }\in C ( \mathfrak{P},\mathbb{R} ) \) and \(\mathfrak{\phi }_{1}\in \tilde{\mathcal{S}} ( \upsilon ) \). Then there exists \(\tilde{v}_{1} ( \mathfrak{t} ) \in Q ( \mathfrak{t}, \upsilon ( \mathfrak{t} ) ) \) such that
By (As5), we have
So, there exists \(\tilde{w} ( \mathfrak{t} ) \in Q ( \mathfrak{t},\overline{\upsilon } ) \) such that
We construct a set-valued map \(\mathcal{E}:\mathfrak{P}\rightarrow \mathcal{O} ( \mathbb{R} ) \) as follows:
We see that \(\tilde{v}_{1}\) and \(\sigma =\mathfrak{\varpi } \vert \upsilon -\overline{\upsilon } \vert \) are measurable, therefore we can conclude that the set-valued map \(\mathcal{E} ( \mathfrak{t} ) \cap Q ( \mathfrak{t}, \overline{\upsilon } ) \) is measurable. Now, we choose the function \(\tilde{v}_{2} ( \mathfrak{t} ) \in Q ( \mathfrak{t}, \overline{\upsilon } ) \) such that
We define
As a result, we obtain
Therefore
Similarly, interchanging the roles of υ and υ̅, we get
Since \(\tilde{\mathcal{S}}\) is a contraction, in the light of Covitz and Nadler theorem, we infer that \(\tilde{\mathcal{S}}\) has an FP υ which is a solution of (1.2). □
4 Examples
Let us first consider the following FDI:
The next examples are special cases of the FDI given by (4.1).
Example 1
Consider the FDI given by (4.1) with \(r_{1}=\frac{5}{4}\), \(r_{2}=0\), \(\mathcal{T}=1\), \(\theta _{1}=\frac{1}{4}\), \(\theta _{2}=\frac{1}{6}\), \(\eta _{1}=\frac{1}{2}\), \(\eta _{2}=\frac{5}{2}\), \(\xi _{1}=\frac{1}{2}\), \(\xi _{2}=\frac{3}{2}\), \(\gamma _{1}=\frac{1}{6}\), \(\gamma _{2}=\frac{1}{8}\), \(\delta _{1}=\frac{1}{4}\), and \(\delta _{2}=\frac{1}{2}\) Then, problem (4.1) reduces to
which is an FDI involving Riemann–Liouville FD. In this case \(\mathfrak{v}=\frac{5}{4}\). Let \(Q: [ 0,1 ] \times \mathbb{R} \rightarrow \mathcal{O} ( \mathbb{R} ) \) be a mapping such that
With reference to the above, we find \(\Lambda \simeq 0.88343\neq 0\). Obviously, Q satisfies hypothesis (As1) and
where \(\Vert P \Vert =\frac{1}{6}\) and \(\vartheta ( \Vert \upsilon \Vert ) =1\). Thus, assumption (As2) is fulfilled, and by (As3), we get \(\mathcal{L}>0.31633\).
Therefore, all the hypotheses of Theorem 1 are valid. Hence problem (4.2) with \(\mathfrak{F}\) given by (4.3) has at least one solution on \([ 0,1 ] \).
Example 2
Consider the FDI given by (4.1) with \(r_{1}=\frac{3}{2}\), \(r_{2}=1\), \(\mathcal{T}=1\), \(\theta _{1}=\frac{1}{2}\), \(\theta _{2}=\frac{1}{4}\), \(\eta _{1}=\frac{1}{4}\), \(\eta _{2}=\frac{3}{2}\), \(\xi _{1}=\frac{1}{6}\), \(\xi _{2}=\frac{3}{2}\), \(\gamma _{1}=\frac{1}{2}\), \(\gamma _{2}=\frac{1}{8}\), \(\delta _{1}=\frac{1}{6}\), and \(\delta _{2}=\frac{1}{4}\). Then, problem (4.1) reduces to
which is an FDI involving Caputo FD. In this case, \(\mathfrak{v}=2\). Let \(Q: [ 0,1 ] \times \mathbb{R} \rightarrow \mathcal{O} ( \mathbb{R} ) \) be a mapping with
From the above data, we find that \(\Lambda \simeq 0.92823\neq 0\). Obviously Q satisfies hypothesis (As1) and
where \(\Vert P \Vert =1\) and \(\vartheta ( \Vert \upsilon \Vert ) =7\). Thus, assumption (As2) is fulfilled, and by (As3), we get \(\mathcal{L}>6.4976\).
Therefore, all the hypotheses of Theorem 1 are valid, and consequently there exists at least one solution of (4.4) on \([ 0,1 ] \) with \(\mathfrak{F}\) given by (4.5).
Example 3
Consider the FDI given by (4.1). Take \(r_{1}=\frac{5}{4}\), \(r_{2}=\frac{1}{2}\), \(\mathcal{T}=1\), \(\theta _{1}=\frac{1}{4}\), \(\theta _{2}=\frac{1}{6}\), \(\eta _{1}=\frac{1}{2}\), \(\eta _{2}=\frac{5}{2}\), \(\xi _{1}=\frac{1}{2} \), \(\xi _{2}=\frac{3}{2}\), \(\gamma _{1}=\frac{1}{6}\), \(\gamma _{2}=\frac{1}{8}\), \(\delta _{1}=\frac{1}{4}\), and \(\delta _{2}=\frac{1}{2}\). Then, problem (4.1) reduces to
which is an FDI involving Hilfer FD. In this case, we have \(\mathfrak{v}=\frac{13}{8}\). Let \(Q: [ 0,1 ] \times \mathbb{R} \rightarrow \mathcal{O} ( \mathbb{R} ) \) be given by
From the above data, we find that \(\Lambda \simeq 0.88343\neq 0\). Clearly, \(H_{d} ( Q ( \mathfrak{t},\upsilon ) ,Q ( \mathfrak{t},\overline{\upsilon } ) ) \leq \mathfrak{\varpi } ( \mathfrak{t} ) \vert \upsilon -\overline{\upsilon } \vert \), where \(\mathfrak{\varpi } ( \mathfrak{t} ) = \frac{1}{\exp ( \mathfrak{t}^{2} ) +9}\) and \(d ( 0,Q ( \mathfrak{t},0 ) ) =\frac{1}{15}\leq \mathfrak{\varpi } ( \mathfrak{t} ) \) for (a.e.) all \(\mathfrak{t}\in [ 0,1 ] \). Besides, we obtain \(\Vert \mathfrak{\varpi } \Vert =\frac{1}{10}\), which implies \(\varrho \Vert \mathfrak{\varpi } \Vert \approx 0.19<1\). Therefore all the assumptions of Theorem 2 are valid, and hence there exists at least one solution of (4.6) on \([ 0,1 ] \) with Q given by (4.7).
5 Conclusions
We have studied a class of BVPs for Hilfer FDIs with nonlocal fractional IBC. Indeed, we acquired the existence of solutions by taking into account the cases when the set-valued map has convex or nonconvex values. The Leray–Schauder FPT was applied in the case of a convex set-valued map, whereas the FPT due to Nadler and Covitz concerning set-valued contractions was used in the case of a nonconvex set-valued map. The acquired results have been well demonstrated by numerous pertinent examples. We assert that our obtained findings are novel in the framework of Hilfer FDIs with Erdélyi–Kober fractional nonlocal IBC and they greatly contribute to the existing literature on this topic.
Availability of data and materials
Not applicable in this study.
References
Abada, N., Benchohra, M., Hammouche, H.: Existence and controllability results for nondensely defined impulsive semilinear functional differential inclusions. J. Differ. Equ. 246(10), 3834–3863 (2009)
Abbas, M.I.: On the controllability of Hilfer–Katugampola fractional differential equations. Acta Comment. Univ. Tartu Math. 24(2) (2020). https://doi.org/10.12697/ACUTM.2020.24.13
Abbas, M.I.: On the nonlinear sequential Ψ-Hilfer fractional differential equations. Int. J. Math. Anal. 14(2), 77–90 (2020). https://doi.org/10.12988/ijma.2020.91283
Abbas, M.I.: Existence results and the Ulam stability for fractional differential equations with hybrid proportional-Caputo derivatives. J. Nonlinear Funct. Anal. 2020, Article ID 48 (2020). https://doi.org/10.23952/jnfa.2020.48
Abbas, M.I.: On a Hilfer fractional differential equation with nonlocal Erdélyi–Kober fractional integral boundary conditions. Filomat 34(9), 3003–3014 (2020)
Abdo, M.S.: Further results on the existence of solutions for generalized fractional quadratic functional integral equations. J. Math. Anal. Model. 1(1), 33–46 (2020)
Abdo, M.S., Abdeljawad, T., Ali, S.M., Shah, K., Jarad, F.: Existence of positive solutions for weighted fractional order differential equations. Chaos Solitons Fractals 141, 110341 (2020)
Abdo, M.S., Abdeljawad, T., Shah, K., Jarad, F.: Study of impulsive problems under Mittag-Leffler power law. Heliyon 6(10), e05109 (2020)
Abdo, M.S., Ibrahim, A.G., Panchal, S.K.: State-dependent delayed sweeping process with a noncompact perturbation in Banach spaces. Acta Univ. Apulensis 54(2), 63–74 (2018)
Abdo, M.S., Ibrahim, A.G., Panchal, S.K.: Noncompact perturbation of nonconvex noncompact sweeping process with delay. Comment. Math. Univ. Carol. 11(2), 1–22 (2020)
Abdo, M.S., Panchal, S.: Fractional integro-differential equations involving ξ-Hilfer fractional derivative. Adv. Appl. Math. Mech. 11, 1–22 (2019)
Ahmad, B., Ntouyas, S.K.: Existence results for fractional differential inclusions with Erdélyi–Kober fractional integral conditions. An. Ştiinţ. Univ. ‘Ovidius’ Constanţa, Ser. Mat. 25(2), 5–24 (2017)
Aitalioubrahim, M., Sajid, S.: Higher-order boundary value problems for Caratheodory differential inclusions. Miskolc Math. Notes 9(1), 7–15 (2008)
Almeida, R.: A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 44, 460–481 (2017)
Almeida, R.: A Gronwall inequality for a general Caputo fractional operator. Math. Inequal. Appl. 20(4), 1089–1105 (2017)
Ardjouni, A., Lachouri, A., Djoudi, A.: Existence and uniqueness results for nonlinear hybrid implicit Caputo–Hadamard fractional differential equations. Open J. Math. Anal. 3(2), 106–111 (2019)
Asawasamrit, S., Kijjathanakorn, A., Ntouyas, S.K., Tariboon, J.: Nonlocal boundary value problems for Hilfer fractional differential equations. Bull. Korean Math. Soc. 55(6), 1639–1657 (2018)
Atangana, A., Baleanu, D.: New fractional derivatives with nonlocal and non-singular kernel: theory and application to heat transfer model. Therm. Sci. 20(2), 763–769 (2016)
Baleanu, D., Machado, J.A.T., Luo, A.C.J.: Fractional Dynamics and Control. Springer, New York (2002)
Benchohra, M., Ouahab, A.: Initial boundary value problems for second order impulsive functional differential inclusions. Electron. J. Qual. Theory Differ. Equ. 2003, 3 (2003)
Caputo, M.: Linear model of dissipation whose Q is almost frequency independent. II. Geophys. J. Int. 13(5), 529–539 (1967)
Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 73–85 (2015)
Castaing, C., Valadier, M.: Convex Analysis and Measurable Multifunctions. Lecture Notes in Mathematics, vol. 580. Springer, Berlin (1977)
Covitz, H., Nadler, S.B. Jr.: Multivalued contraction mappings in generalized metric spaces. Isr. J. Math. 8, 5–11 (1970)
Debnath, L.: Recent applications of fractional calculus to science and engineering. Int. J. Math. Math. Sci. 54, 3413–3442 (2003)
Deimling, K.: Multivalued Differential Equations. de Gruyter, Berlin (1992)
Diethelm, K.: The Analysis of Fractional Differential Equations. Lecture Notes in Mathematics. Springer, Berlin (2010)
Górniewicz, L.: Topological Fixed Point Theory of Set-Valued Mappings. Mathematics and Its Applications. Kluwer, Dordrecht (1999)
Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2005)
Hadamard, J.: Essai sur l’etude des fonctions donnees par leur developpement de Taylor. J. Math. Pures Appl. 4(8), 101–186 (1892)
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Jarad, F., Abdeljawad, T., Baleanu, D.: Caputo-type modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2012, 142 (2012)
Jarad, F., Ug̃urlu, E., Abdeljawad, T., Baleanu, D.: On a new class of fractional operators. Adv. Differ. Equ. 2017(1), 247 (2017)
Katugampola, U.N.: A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl. 6(4), 1–15 (2014)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier Science B. V., Amsterdam (2006)
Kisielewicz, M.: Differential Inclusions and Optimal Control. Kluwer, Dordrecht (1991)
Lachouri, A., Ardjouni, A., Djoudi, A.: Existence and Ulam stability results for nonlinear hybrid implicit Caputo fractional differential equations. Math. Morav. 24(1), 109–122 (2020)
Lachouri, A., Ardjouni, A., Djoudi, A.: Positive solutions of a fractional integro-differential equation with integral boundary conditions. Commun. Optim. Theory 2020, 1 (2020)
Lakshmikantham, V., Leela, S., Devi, J.V.: Theory of Fractional Dynamic Systems. Cambridge Scientific Publishers, Cambridge (2009)
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)
Magin, R.: Fractional calculus in bioengineering. Crit. Rev. Biomed. Eng. 32, 1–104 (2004)
Mali, D.A., Kucche, K.D.: Nonlocal boundary value problem for generalized Hilfer implicit fractional differential equations. Math. Methods Appl. Sci. 43(15), 8608–8631 (2020)
Ntouyas, S.K., Tariboon, J., Sudsutad, W.: Boundary value problems for Riemann–Liouville fractional differential inclusions with nonlocal Hadamard fractional integral conditions. Mediterr. J. Math. 13(3), 939–954 (2016)
Ntouyas, S.K., Tariboon, J., Thaiprayoon, C.: Nonlocal boundary value problems for Riemann–Liouville fractional differential inclusions with Hadamard fractional integral boundary conditions. Taiwan. J. Math. 20(1), 91–107 (2016)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Sousa, J.V.C., Oliveira, E.C.D.: On the ξ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 60, 72–91 (2018)
Tarasov, V.E.: Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media. Springer, New York (2011)
Wongcharoen, A., Ntouyas, S.K., Tariboon, J.: Boundary value problems for Hilfer fractional differential inclusions with nonlocal integral boundary conditions. Mathematics 8(11), 1905 (2020)
Wongcharoen, A., Ntouyas, S.K., Tariboon, J.: Nonlocal boundary value problems for Hilfer type pantograph fractional differential equations and inclusions. Adv. Differ. Equ. 2020, 279 (2020)
Zhou, Y.: Fractional Evolution Equations and Inclusions: Analysis and Control. Elsevier, Amsterdam (2015)
Acknowledgements
The authors T. Abdeljawad and B. Abdalla would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All the authors contributed equally to this manuscript. 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
Lachouri, A., Abdo, M.S., Ardjouni, A. et al. Hilfer fractional differential inclusions with Erdélyi–Kober fractional integral boundary condition. Adv Differ Equ 2021, 244 (2021). https://doi.org/10.1186/s13662-021-03397-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03397-7
MSC
- 34A08
- 34A12
- 34B15
Keywords
- Fractional inclusion problem
- Hilfer and Erdélyi–Kober fractional operators
- Existence
- Fractional integral boundary conditions
- Convex
- Nonconvex
- Fixed point theorems