Abstract
In this research, we first investigate the existence of solutions for a new fractional boundary value problem in the Liouville–Caputo setting with mixed integro-derivative boundary conditions. To do this, Kuratowski’s measure of noncompactness and Sadovskii’s fixed point theorem are our tools to reach this aim. In the sequel, we discuss the continuous dependence of solutions on parameters by means of the generalized Gronwall inequality. Moreover, we consider an inclusion version of the given boundary problem in which we study its existence results by means of the endpoint theory. Finally, we prepare two simulative numerical examples to confirm the validity of the analytical findings.
Similar content being viewed by others
1 Introduction
Fractional models have recently attracted the attention of many scientists and engineers of the modeling fields. This amount of attention can be a motivation for researchers and mathematicians to study the various new fractional models for the complex natural phenomena in the world around. By taking into account the importance and effectiveness of the mathematical modelings, researchers design various novel categories of fractional structures of initial and boundary value problems and study the existence, uniqueness, and stability of solutions by using some analytical and numerical techniques. Furthermore, many researchers endeavor to approximate the obtained solutions by utilizing some numerical and iterative algorithms. The most important to researchers today is the understanding of some qualitative properties of the solutions for such fractional dynamical systems. In this direction, numerous research articles on the existence and stability of solutions have been published, including [1–21].
As we know, the inequalities play an important role in all branches of the pure and applied mathematics, and we can use some of their properties to infer different desired identities and estimates. By following this path, one can observe different published research works in the recent years in which the researchers discuss the existence of solutions for the given boundary problems by combining some analytical methods and some well-known inequalities. For instance, we point out some papers, including [22–25]. Applications of the generalized Gronwall inequality can be found in some papers such as [26–29].
In 2016, Ahmad et al. [30] studied the existence of solutions for a mixed fractional initial value problem in the inclusion version involving Hadamard fractional derivative and Riemann–Liouville fractional integrals given by
where \({}^{\mathcal{H}}\mathfrak{D}^{\alpha }\) is the Hadamard fractional derivative of order \(\alpha \in (0,1]\) and \({}^{\mathcal{RL}}\mathcal{I}^{\phi }\) denotes the Riemann–Liouville fractional integral of order \(0 < \phi \in \{ \beta _{1}, \beta _{2}, \dots, \beta _{m} \}\), \(h_{i} \in \mathcal{C}(J\times \mathbb{R}, \mathbb{R})\) with \(h_{i}(1,0)= 0\ (i=1,2,\dots, m)\), and finally \(F: J \times \mathbb{R} \to \mathcal{P}(\mathbb{R})\) is a multifunction. The authors used the notions defined in the endpoint theory and proved the main existence results for the above initial inclusion problem with the aid of an approximate endpoint property [30].
Some existing structures in the works mentioned above motivate us to design a new fractional structure of the boundary value problem in the Liouville–Caputo framework (Lio–CapBvp) furnished with mixed integro-derivative conditions as
so that \(z\in [0,1]\), \(s_{1}^{*}, s_{2}^{*} \in \mathbb{R}^{+} \), \({}^{\mathcal{C}}\mathfrak{D}_{0}^{ \xi }\) stands for the Liouville–Caputo derivative of order \(\xi \in (1,2)\), \({}^{\mathcal{C}}\mathfrak{D}_{0}^{1} = \frac{\mathrm{d}}{\mathrm{d}z}\) and \(\Phi _{*} \in \mathcal{C}( [0,1] \times \mathbb{R}, \mathbb{R}) \). To derive the existence criteria of solutions for the proposed fractional Lio–CapBvp (1), we invoke the notion of the well-known measure of noncompactness attributed to Kuratowski. In this direction, we construct a condensing operator and establish our existence result by utilizing a well-known fixed point result due to Sadovskii.
In the sequel, we investigate some estimates by utilizing the generalized Gronwall inequality. Moreover, we discuss an inclusion version of the given boundary problem in which the proof process is based on the approximate endpoint property and some properties of inequalities in relation to the Pompeiu–Hausdorff metric defined for multifunctions. It is notable that our proposed fractional Lio–CapBvp (1) involves new mixed integro-derivative boundary conditions simultaneously, and this formulated framework is novel at this moment.
An outline of the current research manuscript is prepared as follows: In Sect. 2, we assemble some auxiliary and key notions and theorems which are essential for the rest of the paper. In Sect. 3, an analytical criterion about the existence of solutions for the fractional Lio–CapBvp (1) is derived based on the fixed point result attributed to Sadovskii. In the following, we check the dependence of solutions by utilizing the generalized Gronwall inequality. In Sect. 4, we regard an inclusion version of the given structure (1) and find endpoints of this system by applying some inequalities in relation to multifunctions. In Sect. 5, we prepare two simulative numerical examples to confirm the validity of the obtained analytical findings.
2 Preliminaries
In this part of the article, we intend to recall some auxiliary and key concepts and theorems which are necessary in the rest of this manuscript. Take \(\xi > 0 \). The Riemann–Liouville integral (RL-integral) for a real-valued function v on \([a,b] \) in the fractional setting is given by
provided that the integral above is finite-valued (see [31, 32]). At this stage, let \(n-1< \xi < n\) or \(n = [ \xi ] +1\). The Liouville–Caputo derivative (Lio–Cap derivative) of a given function \(v \in \mathcal{C}^{(n)}_{\mathbb{R}}([a,b])\) in the fractional setting is defined by
so that the right-hand side integral is finite-valued (see [31, 32]). In [33], one can see that the structure of the general series solution for the homogeneous differential equation \({}^{\mathcal{C}}\mathfrak{D}_{0}^{ \xi } v(z)=0\) is \(v(z ) = \alpha _{*}^{(0)} + \alpha _{*}^{(1)} z + \alpha _{*}^{(2)} z^{2}+ \cdots + \alpha _{*}^{(n-1)} z^{n-1}\), and the following holds:
where \(\alpha _{*}^{(0)},\ldots, \alpha _{*}^{(n-1)} \in \mathbb{R}\) and \(n=[ \xi ]+1\). In the sequel, some important inequalities and analytical notions are reviewed. The measure of noncompactness Ω attributed to Kuratowski is introduced by
so that \(\operatorname{diam}(\mathfrak{B}_{k})= \sup \{ | v - v' |: v,v'\in \mathfrak{B}_{k} \}\) and \(\mathfrak{B}\) is assumed to be a bounded subset of the Banach space \(\mathbb{V}\). Additionally, it is known that \(0 \leq \Omega (\mathfrak{B}) \leq \operatorname{diam}(\mathfrak{B})< + \infty \) (see [34]).
Lemma 1
([34])
Let \(\mathbb{V}\) be an arbitrary real Banach space and \(\mathfrak{B}, \mathfrak{B}_{1}, \mathfrak{B}_{2}\subseteq \mathbb{V}\) be bounded subsets of \(\mathbb{V}\). Then the following are valid:
-
(Con1)
\(\mathfrak{B}\) is precompact iff \(\Omega (\mathfrak{B})=0\);
-
(Con2)
\(\Omega (\mathfrak{B}) = \Omega (\overline{\mathfrak{B}}) = \Omega ( \operatorname{cnvx} (\mathfrak{B}))\), where \(\operatorname{cnvx} (\mathfrak{B})\) and \(\overline{\mathfrak{B}}\) stand for the convex hull and the closure of \(\mathfrak{B}\), respectively;
Moreover, the following inequalities hold:
-
(Con3)
if \(\mathfrak{B}_{1}\subseteq \mathfrak{B}_{2}\), then \(\Omega (\mathfrak{B}_{1})\leq \Omega (\mathfrak{B}_{2})\);
-
(Con4)
\(\Omega (\mu + \mathfrak{B})\leq \Omega (\mathfrak{B})\) for each \(\mu \in \mathbb{R}\);
-
(Con5)
\(\Omega ( \mu \mathfrak{B})=| \mu | \Omega (\mathfrak{B})\) for all \(\mu \in \mathbb{R}\);
-
(Con6)
\(\Omega (\mathfrak{B}_{1} + \mathfrak{B}_{2})\leq \Omega ( \mathfrak{B}_{1} )+\Omega (\mathfrak{B}_{2})\) so that \(\mathfrak{B}_{1}+\mathfrak{B}_{2} =\{ v_{1} + v_{2}; v_{1}\in \mathfrak{B}_{1}, v_{2} \in \mathfrak{B}_{2}\} \);
-
(Con7)
\(\Omega (\mathfrak{B}_{1}\cup \mathfrak{B}_{2})\leq \max \{ \Omega ( \mathfrak{B}_{1}), \Omega (\mathfrak{B}_{2}) \}\).
Lemma 2
([35])
Let \(\mathbb{V}\) be a Banach space. For each bounded subset \(\mathfrak{B}\) of \(\mathbb{V}\), a countable set \(\mathfrak{B}_{0} \) of \(\mathfrak{B}\) exists so that \(\Omega (\mathfrak{B})\leq 2 \Omega (\mathfrak{B}_{0})\).
Lemma 3
([34])
Let \(\mathbb{V}\) be a Banach space. If \(\mathfrak{B}\subseteq \mathcal{C}_{ \mathbb{V} }([a,b])\) is assumed to be a bounded and equicontinuous set, then \(\Omega (\mathfrak{B}(z))\) is continuous on \([a,b]\) and \(\Omega (\mathfrak{B})= \sup_{z\in [a,b]} \Omega (\mathfrak{B}(z))\).
Lemma 4
([34])
Let \(\mathbb{V}\) be a Banach space. If \(\mathfrak{B}= \{ v_{n} \}_{n \geq 1} \subseteq \mathcal{C}_{ \mathbb{V} }([a,b])\) is assumed to be a bounded and countable set, then \(\Omega (\mathfrak{B}(z))\) is Lebesgue integrable on \([a,b]\) and the following inequality is valid:
Definition 5
([34])
Let \(\mathbb{V}\) be a Banach space and \(\Phi _{*}: \mathbb{D}\subset \mathbb{V} \to \mathbb{V}\) be continuous and bounded. Then the operator \(\Phi _{*} \) is called condensing if \(\Omega (\Phi _{*} (\mathfrak{B})) <\Omega (\mathfrak{B}) \) for any bounded closed set \(\mathfrak{B} \subseteq \mathbb{D}\).
Theorem 6
([34], Sadovskii’s fixed point theorem)
Let \(\mathbb{V}\) be a Banach space. Also assume that \(\mathfrak{B}\subseteq \mathbb{V}\) is a bounded closed convex set and the continuous map \(\Phi _{*}: \mathfrak{B}\rightarrow \mathfrak{B}\) is condensing. Then the map \(\Phi _{*} \) has at least one fixed point in \(\mathfrak{B}\).
Theorem 7
([36], The generalized Gronwall inequality)
Let r̆ be a nonnegative locally integrable function on the interval \([0, T]\) for some \(T \leq \infty \) and h a nonnegative nondecreasing continuous mapping on \([0, T]\) satisfying \(h(z)\leq M\) where M is a nonzero constant. In addition, let v̆ be a nonnegative locally integrable function on \([0, T]\) such that
where \(q > 0 \). Then we have
Notation 8
In this manuscript, we denote the normed space by \((\mathbb{V},\Vert \cdot \Vert _{\mathbb{V} })\) and we introduce the notations \({\mathcal{P}}( \mathbb{V} )\), \({\mathcal{P}}_{cls}( \mathbb{V} )\), \({\mathcal{P}}_{bnd}( \mathbb{V} )\), \({\mathcal{P}}_{cmp}( \mathbb{V} )\), and \({\mathcal{P}}_{cvx}( \mathbb{V} )\) for the collections of all nonempty, closed, bounded, compact, and convex subsets in the space \(\mathbb{V}\), respectively.
An element \(v \in \mathbb{V}\) is said to be a fixed point for an abstract multivalued operator \(\mathfrak{Q}_{*}: \mathbb{V} \to \mathcal{P}(\mathbb{V})\) if the inclusion \(v\in \mathfrak{Q}_{*}(v)\) is satisfied [37]. At this phase, we denote the family of all existing fixed points of \(\mathfrak{Q}_{*} \) by \({\mathfrak{FIX}} (\mathfrak{Q}_{*})\) [37]. Subsequently, the Pompeiu–Hausdorff metric \(\mathbb{H}_{d_{\mathbb{V}}}: {\mathcal{P}}(\mathbb{V}) \times { \mathcal{P}}(\mathbb{V}) \to \mathbb{R} \cup \{\infty \}\) is defined by
so that \(d_{\mathbb{V}}(\mathcal{M}_{1},m_{2}) = \inf_{m_{1}\in \mathcal{M}_{1}}d_{\mathbb{V}}(m_{1},m_{2})\) and \(d_{\mathbb{V}}(m_{1},\mathcal{M}_{2}) = \inf_{m_{2}\in \mathcal{M}_{2}}d_{\mathbb{V}}(m_{1},m_{2})\) (see [37]). A multifunction \(\mathfrak{Q}_{*}: \mathbb{V} \to {\mathcal{P}}_{cls}(\mathbb{V})\) is called Lipschitz with real constant \(\hat{\iota } >0 \) if the inequality
is valid for each \(v_{1}, v_{2} \in \mathbb{V} \). It is notable that a Lipschitz map \(\mathfrak{Q}_{*} \) is called a contraction if \(\hat{\iota } \in (0,1)\) (see [37]). Also, we say that \(\mathfrak{Q}_{*}\) possesses the complete continuity property if \(\mathfrak{Q}_{*}(K)\) has the relative compactness property for any \(K\in \mathcal{P}_{bnd}(\mathbb{V})\), and also \(\mathfrak{Q}_{*}: [0,1] \to {\mathcal{P}}_{cls}(\mathbb{R})\) is measurable if \(z \longmapsto d_{\mathbb{V}}( r, \mathfrak{Q}_{*}(z ))\) is measurable for any \(r \in \mathbb{R}\) (see [37, 38]). Furthermore, \(\mathfrak{Q}_{*}\) is called upper semicontinuous (u.s.c.) if for every \(v \in \mathbb{V} \), the set \(\mathfrak{Q}_{*}(v)\) belongs to \(\mathcal{P}_{cls}(\mathbb{V})\) and for any open set \(\mathbb{G}\) which contains \(\mathfrak{Q}_{*}(v)\), a neighborhood \(\mathcal{U}_{0}^{*}\) of v exists so that \(\mathfrak{Q}_{*}(\mathcal{U}_{0}^{*}) \) is contained in \(\mathbb{G}\) [37].
It is an evident fact that \(\mathfrak{Q}_{*}\) possesses convex values if \(\mathfrak{Q}_{*}(v) \in \mathcal{P}_{cvx}(\mathbb{V})\) for any \(v \in \mathbb{V} \). We denote the family of all existing selections of \(\mathfrak{Q}_{*} \) at point \(v \in \mathcal{C}_{\mathbb{R}}([0,1])\) by the following rule:
for any \(z \in [0,1] \) (a.e.) (see [37, 38]). It is important to pay attention to the issue that by assuming \(\mathfrak{Q}_{*}\) as an arbitrary abstract multivalued operator, we deduce that for each \(v \in \mathcal{C}_{\mathbb{V}}([0,1])\), the set \(( \mathfrak{SEL})_{\mathfrak{Q}_{*},v}\) is nonempty if \(\dim (\mathbb{V}) \) is finite (see [37]).
Definition 9
([39])
An element \(v \in \mathbb{V}\) is called an endpoint for the given multivalued operator \(\mathfrak{Q}_{*}: \mathbb{V}\to \mathcal{P}(\mathbb{V})\) if we have \(\mathfrak{Q}_{*}(v )=\{ v \}\).
The multivalued mapping \(\mathfrak{Q}_{*}: \mathbb{V}\to \mathcal{P}(\mathbb{V})\) has an approximate endpoint property (approx-endpoint property) if we have \(\inf_{v_{1} \in \mathbb{V}}\sup_{ v_{2} \in \mathfrak{Q}_{*}(v_{1} )}d_{\mathbb{V}}( v_{1},v_{2} )=0\) [39]. The next result is necessary for us in the rest of the article.
Theorem 10
([39], Endpoint theorem)
Assume that the metric space \((\mathbb{V},d_{\mathbb{V}})\) is complete and \(\psi: [0, \infty ) \to [0, \infty )\) has an upper semicontinuity property provided that \(\psi (z)< z\) and \(\liminf_{z\to \infty }(z-\psi (z))>0\) for any \(z>0\). Additionally, let us assume that \(\mathfrak{Q}_{*}: \mathbb{V}\to \mathcal{P}_{cls,bnd}(\mathbb{V})\) is such that the inequality
is satisfied for any \(v_{1}, v_{2} \in \mathbb{V}\). Then a unique endpoint exists for \(\mathfrak{Q}_{*}\) iff \(\mathfrak{Q}_{*}\) possesses approx-endpoint property.
3 Criterion of existence for the fractional Lio–CapBvp (1)
In the present section, we derive a criterion of existence of solutions for the proposed Lio–CapBvp (1). In order to achieve this goal, we construct the space \(\mathbb{V} = \{ v(z): v(z) \in \mathcal{C}_{ \mathbb{R} }([0,1]) \}\) furnished with the supremum norm \(\Vert v \Vert _{\mathbb{V} } = \sup_{ z\in [0,1] } \vert v(z) \vert \). Then we can simply check that an ordered pair \(( \mathbb{V}, \Vert \cdot \Vert _{\mathbb{V}} )\) is a Banach space. By following the contents of two previous sections, now we establish a new existence criterion and also discuss to the stability of the fractional Lio–CapBvp (1). To achieve this goal, we resort to the next structural lemma in relation to (1) at this moment.
Lemma 11
Let \(\xi \in (1,2)\), \(\xi -1 \in (0,1)\), \(s_{1}^{*}, s_{2}^{*} \in \mathbb{R}^{+} \), and \(g \in \mathcal{C}( [0,1], \mathbb{R}) \). Then the solution of the given linear fractional Lio–CapBvp
is given by
Proof
At first, we assume that \(v_{0}^{*}\) satisfies the fractional Lio–CapBvp (2). Then, in view of some properties of the Caputo and Riemann–Liouville fractional operators, two arbitrary real constants \(\alpha _{*}^{(0)}\) and \(\alpha _{*}^{(1)}\) exist so that the equation \(v_{0}^{*}(z) = {}^{\mathcal{RL}}\mathcal{I}_{0}^{\xi }{g}(z) + \alpha _{*}^{(0)} + \alpha _{*}^{(1)}z \) is valid for any \(z\in [0,1]\). Indeed, we get
In this case, we obtain \({}^{\mathcal{C}}\mathfrak{D}_{0}^{1} v_{0}^{*} (z) = \int _{0}^{z} \frac{(z-\varsigma )^{ \xi -2}}{ \Gamma ( \xi -1)} { g}(\varsigma ) \,\mathrm{d}\varsigma + \alpha _{*}^{(1)}\) and
Now, by utilizing the given integro-derivative boundary conditions in (2), the real constants \(\alpha _{*}^{(0)}\) and \(\alpha _{*}^{(1)}\) are obtained as follows:
and
Here, by inserting the obtained values of \(\alpha _{*}^{(0)}\) and \(\alpha _{*}^{(1)}\) into (4), one can observe that \(v_{0}^{*}\) satisfies the integral equation (3). In other words,
and the proof is completed. □
In what follows, we invoke the notion of Kuratowski’s measure of noncompactness and establish a new criterion of solution existence for the relevant fractional Lio–CapBvp (1) based on some estimates and known existing properties of inequalities.
Theorem 12
Let \(\Phi _{*} \) be a continuous real-valued function defined on \([0,1]\times \mathbb{V} \). Additionally, suppose a continuous function \(\varphi: [0,1] \to \mathbb{R}^{+}\) exists such that the inequality
holds for any \(z \in [0,1]\) and \(v\in \mathbb{V}\). Furthermore, assume that a function \(n_{ \Phi _{*}}: [0,1] \to \mathbb{R}^{+}\) exists so that the inequality
is valid for any bounded set \(\mathfrak{B}\subset \mathbb{V}\) a.e. \(z\in [0,1]\). Then, the given fractional Lio–CapBvp (1) possesses at least one solution on \([0,1]\) if
where \(n_{ \Phi _{*}}^{*} = \sup_{z\in [0,1]} \vert n_{ \Phi _{*}}(z) \vert \).
Proof
To begin the current proof, in relation to Lio–CapBvp (1) and using Lemma 11, we define the mapping \(\mathfrak{P}: \overline{ \mathfrak{E}_{\varepsilon }} \rightarrow \overline{ \mathfrak{E}_{\varepsilon }} \) as follows:
where \(\overline{ \mathfrak{E}_{\varepsilon }}:= \{ v \in \mathbb{V}: \Vert v\Vert _{\mathbb{V} } \leq \varepsilon, \varepsilon \in \mathbb{R}^{+} \}\) is considered to be a convex, closed, and bounded subset of the Banach space \(\mathbb{V}\). In this case, the suggested problem (1) is equivalent to the fixed point problem \(v = \mathfrak{P}v\), and we have to prove that the operator \(\mathfrak{P}\) has a fixed point, since the existence of a fixed point for the newly-introduced operator \(\mathfrak{P}\) will imply the existence of a solution for the given fractional Lio–CapBvp (1).
To check all the hypotheses of Theorem 6, we first confirm the continuity of \(\mathfrak{P}\) on \(\overline{ \mathfrak{E}_{\varepsilon }}\). Let \(\{ v_{n} \}_{n \geq 1} \) be a sequence contained in \(\overline{ \mathfrak{E}_{\varepsilon }}\) so that \(v_{n} \to v\) for each \(v \in \overline{ \mathfrak{E}_{\varepsilon }}\). Due to the continuity of the function \(\Phi _{*} \) on \([0,1]\times \mathbb{V}\), we obtain that \(\lim_{n\to \infty }\Phi _{*} (z,v_{n}(z))=\Phi _{*} (z ,v(z ))\). In this case, by the help of the dominated convergence theorem of Lebesgue, we may write
for any \(z \in [0,1]\). Hence, we realize that \(\lim_{n\to \infty } (\mathfrak{P} v_{n})(z) = (\mathfrak{P} v)(z) \), which confirms the continuity of \(\mathfrak{P}\) on \(\overline{ \mathfrak{E}_{\varepsilon }}\). In the sequel, we want to check the uniform boundedness of \(\mathfrak{P}\) on \(\overline{ \mathfrak{E}_{\varepsilon }}\). To reach this aim, consider an element v belonging to \(\overline{ \mathfrak{E}_{\varepsilon }}\). In the light of the condition (5), we get
for any \(z \in [0,1]\). As a consequence, the above estimate becomes \(\Vert \mathfrak{P} v \Vert _{\mathbb{V}} \leq \hat{\Psi } \varphi ^{*} < \infty \), where
Thus it is proved that \(\mathfrak{P}(\overline{ \mathfrak{E}_{\varepsilon }})\) is a uniformly bounded set contained in \(\mathbb{V} \). Now, we intend to verify that \(\mathfrak{P}\) is equicontinuous. To confirm this, let \(z_{1},z_{2} \in [0,1]\) with \(z_{1}< z_{2}\) and \(v \in \overline{ \mathfrak{E}_{\varepsilon }}\). Then, by assuming \(\sup_{(z,v)\in [0,1]\times \overline{ \mathfrak{E}_{\varepsilon }}} \vert \Phi _{*} (z, v) \vert = \widetilde{\Phi }_{*} > 0\), we obtain
When \(z_{1}\) goes to \(z_{2}\), the right-hand side of the above estimate approaches zero (independent of \(v\in \overline{ \mathfrak{E}_{\varepsilon }}\)). Thus, by assuming \(z_{1} \to z_{2}\), we get \(\Vert (\mathfrak{P} v)(z_{2}) -(\mathfrak{P} v)(z_{1}) \Vert _{ \mathbb{V} } \to 0\) and so \(\mathfrak{P}\) is equicontinuous. Now, by the aid of the well-known theorem due to Arzela–Ascoli, \(\mathfrak{P}\) is proved to be completely continuous, and so is compact on \(\overline{ \mathfrak{E}_{\varepsilon }}\).
At this moment, we are going to verify that the operator \(\mathfrak{P}\) is condensing on \(\overline{ \mathfrak{E}_{\varepsilon }}\). By virtue of Lemma 2, we are sure that for each bounded subset \(\mathfrak{B}\subset \overline{ \mathfrak{E}_{\varepsilon }}\), a countable set \(\mathfrak{B}_{0}= \{v_{n}\}_{n \geq 1} \subset \mathfrak{B}\) exists such that the inequality \(\Omega (\mathfrak{P}(\mathfrak{B})) \leq 2 \Omega (\mathfrak{P} ( \mathfrak{B}_{0})) \) is satisfied. Hence, by invoking Lemmas 1, 3, and 4, we have the following inequalities:
Hence,
As a consequence, by taking into account the given condition (7), we get \(\Omega (\mathfrak{P}(\mathfrak{B})) <\Omega (\mathfrak{B})\), and subsequently it is realized that \(\mathfrak{P} \) is a condensing operator on \(\overline{ \mathfrak{E}_{\varepsilon }}\). Eventually, by resorting to Theorem 6, it is deduced that the operator \(\mathfrak{P}\) has at least one fixed point contained in \(\overline{ \mathfrak{E}_{\varepsilon }}\) which is regarded as a solution for the given fractional Lio–CapBvp (1), and this ends the proof. □
At this moment, we are going to discuss the dependence of solutions for the given fractional Lio–CapBvp (1). Indeed, in this part we assume that the solution of the fractional Lio–CapBvp (1) depends on some parameters provided that the function \(\Phi _{*}\) satisfies the conditions of Theorem 12 which guarantees the existence of solutions and, as we know, the continuous dependence of solutions on these parameters indicates the stability of solutions. So we investigate this property of the solutions of the fractional Lio–CapBvp (1) by making a small change in a parameter of the fractional Lio–CapBvp (1), i.e., its order. To do this, we will apply the generalized Gronwall inequality.
Theorem 13
Consider \(\xi >0\) so that \(1<\xi -\delta < \xi < 2\). Moreover, assume that \(\Phi _{*}: [0,1] \times \mathbb{V} \to \mathbb{V}\) is continuous and a constant \(\rho >0\) exists such that
for any \(v,v'\in \mathbb{V}\) and \(z\in [0,1]\). Additionally, let v be a solution of the fractional Lio–CapBvp (1) and v̄ be a solution of
Then, the following inequality is valid:
provided that \(\mho + \mho \sum_{k=1}^{\infty } \frac{\rho ^{k}}{\Gamma (k(\xi -\delta )+1)}<1 \), where
and
where \(\Vert \Phi _{*} \Vert _{\mathbb{V}} = \sup_{z\in [0,1]} | \Phi _{*} ( z,v(z) ) | \).
Proof
Prior to deriving the desired inequality, in view of the above facts, it is known that the existence of solutions of both fractional Lio–CapBvps (1) and (10) is guaranteed by a similar argument as above and these solutions are given in the form of (8) and
respectively. Then, an estimate for \(v-\bar{v}\) is calculated as follows:
where Δ and ℧ are introduced by (11) and (12). Hence with due attention to the generalized Gronwall inequality (Theorem 7) and by letting \(\breve{v}(z)= \vert v(z) -\bar{v}(z) \vert \), \(\breve{r}(z)=\Delta +\mho \Vert v- \bar{v} \Vert _{\mathbb{V}}\), and \(h(z)=\frac{\rho }{\Gamma (\xi -\delta )}\), we reach
In conclusion, we obtain
and the latter inequality finishes the proof. □
Remark 1
From the above theorem, we deduce that if \(\delta =0\), then \(v=\bar{v}\) and so both considered solutions of the fractional Lio–CapBvp (1) are the same.
4 Inclusion version of the fractional Lio–CapBvp (1)
Here, we continue the above process to establish a criterion of existence of solutions for the inclusion version of the fractional Lio–CapBvp (1) given by
so that \(z\in [0,1]\), \(s_{1}^{*}, s_{2}^{*} \in \mathbb{R}^{+} \), \({}^{\mathcal{C}}\mathfrak{D}_{0}^{ \xi }\) stands for the Cap-derivative of order \(\xi \in (1,2)\), \({}^{\mathcal{C}}\mathfrak{D}_{0}^{1} = \frac{\,\mathrm{d}}{\,\mathrm{d}z}\) and \(\mathfrak{Q}_{*}: [0,1] \times \mathbb{V} \to \mathcal{P}( \mathbb{V}) \) is a multivalued mapping. To continue, we utilize the notion of the approx-endpoint property.
Definition 14
An absolutely continuous function \(v:[0,1]\to \mathbb{R}\) is called a solution for the fractional inclusion Lio–CapBvp (13) whenever there is an \(\hbar \in \mathcal{L}^{1}([0,1],\mathbb{R})\) such that \(\hbar (z)\in \mathfrak{Q}_{*} (z, v(z) )\) for almost all \(z \in [0,1]\) which satisfies integro-derivative boundary conditions
and we also have
for any \(z \in [0,1]\).
For any \(v\in \mathbb{V}\), the family of all existing selections of \(\mathfrak{Q}_{*}\) is denoted by
for almost all \(z\in [0,1]\). Now, we define a multifunction \(\mathfrak{F}: \mathbb{V}\to \mathcal{P}(\mathbb{V})\) by the following rule:
where
By utilizing the approx-endpoint property for the multivalued map \(\mathfrak{F}\), we have the following:
Theorem 15
Regard \(\mathfrak{Q}_{*}: [0,1]\times \mathbb{V}\to \mathcal{P}_{cmp}( \mathbb{V})\) as a multivalued map. Suppose that
- (\(\mathfrak{C}_{1}\)):
-
\(\psi: [0, \infty ) \to [0, \infty )\) is increasing and u.s.c. with \(\lim \inf_{z\to \infty }(z-\psi (z))>0\) and \(\psi (z)< z\) for any \(z>0\);
- (\(\mathfrak{C}_{2}\)):
-
the multifunction \(\mathfrak{Q}_{*}: [0,1]\times \mathbb{V}\to \mathcal{P}_{cmp}( \mathbb{V})\) is integrable and bounded so that \(\mathfrak{Q}_{*}(\cdot, v):[0,1]\to \mathcal{P}_{cmp}(\mathbb{V})\) is measurable for any \(v\in \mathbb{V}\);
- (\(\mathfrak{C}_{3}\)):
-
a function \(\varrho \in \mathcal{C}([0,1], [0, \infty ))\) exists such that
$$ \mathbb{H}_{d_{\mathbb{V}}} \bigl(\mathfrak{Q}_{*} \bigl(z, v_{1}(z) \bigr), \mathfrak{Q}_{*} \bigl(z, v_{2}(z) \bigr) \bigr)\leq \varrho (z)\psi \bigl( \bigl\vert v_{1}(z)-v_{2}(z) \bigr\vert \bigr) \frac{1}{ \hat{\mathbb{O}} } $$for all \(z\in [0,1]\) and \(v_{1}, v_{2}\in \mathbb{V}\), where \(\sup_{z\in [0,1]}|\varrho (z)|=\|\varrho \|\) and
$$ \hat{\mathbb{O}} = \biggl[ \frac{1}{ \Gamma ( \xi +1)} + \frac{ s_{2}^{*} }{ \Gamma ( \xi )} + \frac{ 3( s_{1}^{*} + s_{2}^{*} + 1)\Gamma (4-\xi )}{ 2(2-\xi ) } \biggr] \Vert \varrho \Vert ; $$(15) - (\(\mathfrak{C}_{4}\)):
-
the multifunction \(\mathfrak{F}\) given by (14) has the approx-endpoint property.
Then a solution exists for the fractional inclusion Lio–CapBvp (13).
Proof
In the current proof, we try to confirm the existence of an endpoint for the multivalued map \(\mathfrak{F}: \mathbb{V}\to \mathcal{P}(\mathbb{V})\) defined by (14). To proceed, we first need to check that \(\mathfrak{F}(v)\) is closed for any \(v\in \mathbb{V}\). In the light of the hypothesis (\(\mathfrak{C}_{2}\)), the mapping \(z\mapsto \mathfrak{Q}_{*}(z, v(z))\) is a measurable and closed-valued multivalued map for each \(v\in \mathbb{V}\). As a consequence, \(\mathfrak{Q}_{*}\) has a measurable selection as \((\mathfrak{SEL})_{\mathfrak{Q}_{*},v}\neq \emptyset \). Now, we claim that \(\mathfrak{F}(v)\subseteq \mathbb{V}\) is closed for all \(v\in \mathbb{V}\). Consider a sequence \((v_{n})_{n\geq 1}\) contained in \(\mathfrak{F}(v)\) with \(v_{n} \to v^{*}\). For each n, an element \(\hbar _{n} \in (\mathfrak{SEL})_{\mathfrak{Q}_{*},v}\) exists so that
for almost all \(z\in [0,1]\). Since \(\mathfrak{Q}_{*}\) is a compact multivalued mapping, we get a subsequence \(\{\hbar _{n}\}_{n\geq 1}\) tending to \(\hbar \in \mathcal{L}^{1}([0,1])\). Hence, we have \(\hbar \in (\mathfrak{SEL})_{\mathfrak{Q}_{*},v}\) and
for any \(z\in [0,1]\). Thus \(v \in \mathfrak{F}\) which confirms that \(\mathfrak{F}\) is closed-valued. Therefore, we know that \(\mathfrak{F}(v)\) is bounded for each \(v \in \mathbb{V}\) since \(\mathfrak{Q}_{*}\) is assumed to be compact. Now, we check whether the inequality
holds. Let \(v_{1},v_{2}\in \mathbb{V}\) and \(x_{1}\in \mathfrak{F}(v_{2})\). Select \(\hbar _{1}\in (\mathfrak{SEL})_{\mathfrak{Q}_{*},v_{2}}\) so that
for almost all \(z\in [0,1]\). Since
for any \(z\in [0,1]\), we obtain that \(\hbar ^{*}\in \mathfrak{Q}_{*}(z, v_{1}(z))\) exists such that
for any \(z\in [0,1]\). In the following, consider the multivalued map \(\mathfrak{A}:[0,1]\to \mathcal{P}(\mathbb{V})\) introduced by
Since \(\hbar _{1}\) and \(\sigma =\varrho (\psi (v_{1} -v_{2} )) \frac{1}{ \hat{\mathbb{O}} }\) are measurable, we can choose \(\hbar _{2}(z) \in \mathfrak{Q}_{*}(z, v_{1}(z))\) so that
for all \(z\in [0,1]\). Select \(x_{2}\in \mathfrak{F}(v_{1})\) such that
for each \(z\in [0,1]\). Hence, we get that
This gives \(\|x_{1}-x_{2}\|\leq \psi (\| v_{1} - v_{2} \| )\) and yields \(\mathbb{H}_{d_{\mathbb{V}}}(\mathfrak{F}(v_{1}), \mathfrak{F}(v_{2})) \leq \psi (\|v_{1} - v_{2} \| )\) for any \(v_{1}, v_{2} \in \mathbb{V}\). Also from (\(\mathfrak{C}_{4}\)), we understand that \(\mathfrak{F}\) possesses the approx-endpoint property. Then Theorem 10 gives that \(\mathfrak{F}\) has a unique endpoint. In other words, \(v^{*} \in \mathbb{V}\) exists so that \(\mathfrak{F}(v^{*} )=\{v^{*} \}\). As a consequence, \(v^{*} \) is a solution of the fractional inclusion Lio–CapBvp (13) and the proof is finished. □
5 Numerical examples
Here, we prepare two numerical examples to confirm the validity of the analytical findings. The first example illustrates Theorem 12.
Example 1
With due attention to the proposed fractional Lio–CapBvp (1), we formulate the following structure of the fractional Lio–CapBvp as follows:
so that \(\xi = 1.5\), \(\xi -1 = 0.5\), \(s_{1}^{*} = 0.3\), \(s_{2}^{*} = 0.4\), and \(z\in [0,1]\). In addition, we introduce a continuous function \(\Phi _{*}: [0,1]\times \mathbb{R} \to \mathbb{R}\) given by
Then, for any \(v\in \mathbb{R}\), one can write
where a continuous function \(\varphi: [0,1] \to \mathbb{R}^{+}\) is defined by \(\varphi (z) = \frac{3 + 2e^{-z}}{10\text{,}000} \). On the other hand, for every \(v_{1}, v_{2} \in \mathbb{R}\), we have
As a consequence, for any bounded set \(\mathfrak{B}\subset \mathbb{R}\), we may write
so that \(n_{\Phi _{*}}^{*} = \sup_{z\in [0,1]} \vert n_{\Phi _{*}} \vert = 0.0005\). Then in view of above values, since
the inequality (7) holds. In conclusion, all the hypotheses of Theorem 12 are valid and thus this result implies that there exists at least one solution for the fractional Lio–CapBvp (16).
The next example illustrates Theorem 15.
Example 2
With due attention to (13), we design the fractional inclusion Cap–Bvp in the form
with the same values \(\xi = 1.5\), \(\xi -1 = 0.5\), \(s_{1}^{*} = 0.3\), \(s_{2}^{*} = 0.4\) and \(z\in [0,1]\). At first, we introduce the Banach space \(\mathbb{V}=\{ v(z): v(z)\in \mathcal{C}_{\mathbb{R}}([0, 1])\}\) furnished with \(\| v \|_{\mathbb{V}}=\sup_{z\in [0, 1]}| v(z)|\). In addition, we define a multifunction \(\mathfrak{Q}_{*}: [0, 1]\times \mathbb{V}\to \mathcal{P}(\mathbb{V})\) by
for all \(z\in [0, 1]\). In the next stage, we regard an increasing u.s.c. mapping \(\psi: [0, \infty )\to [0, \infty )\) by \(\psi (z)=\frac{z}{3}\) for all \(z>0\). It is obvious that \(\lim \inf_{z\to \infty }(z-\psi (z))>0\) and \(\psi (z)< z\) for all \(z>0\). At this moment, for any \(v_{1}, v_{2}\in \mathbb{V}\), we have
where
and we obtain \(\varrho \in \mathcal{C}([0, 1], [0, \infty ))\) given by \(\varrho (z)= \frac{e^{-2z}}{4(50 +z)} \) for all z. In this phase, we get \(\|\varrho \|=\sup_{z\in [0, 1]} \vert \varrho (z) \vert = 0.005 \). Finally, we introduce the multifunction \(\mathfrak{F}: \mathbb{V}\to \mathcal{P}(\mathbb{V})\) by
where
Thus we observe that all conditions of Theorem 15 are valid. Hence the fractional inclusion Lio–CapBvp (17) has a solution.
6 Conclusion
In this paper, we designed a new Liouville–Caputo fractional boundary value problem with mixed integro-derivative boundary conditions. To obtain some criteria establishing the existence of solutions for the proposed problem, we used condensing operators and proved the main result with the help of the measure of noncompactness due to Kuratowski. Next, the continuous dependence of solutions was checked by utilizing the generalized Gronwall inequality. In the next step, we considered an inclusion version of the suggested boundary value problem in which we derived existence results based on approximate endpoint property for the defined multifunction. In the final step, we prepared two illustrative examples to show the validity of the results. In spite of many papers published in this field in which the authors use some standard fixed point theorems for deriving the existence results, we here utilized two theoretical techniques contained in measure theory and that of endpoint simultaneously. This defined boundary value problem is an instance of abstract boundary value problem in which one can extend boundary conditions to multipoint multiorder multistrip conditions in the future.
Availability of data and materials
Not applicable.
References
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), 119–134 (2016). www.jstor.org/stable/26407454
Ahmad, B., Ntouyas, S.K., Tariboon, J.: On hybrid Caputo fractional integro-differential inclusions with nonlocal conditions. J. Nonlinear Sci. Appl. 9(6), 4235–4246 (2016). https://doi.org/10.22436/jnsa.009.06.65
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). https://doi.org/10.1186/s13662-017-1404-y
Alsaedi, A., Baleanu, D., Etemad, S., Rezapour, S.: On coupled systems of time-fractional differential problems by using a new fractional derivative. J. Funct. Spaces 2016, Article ID 4626940 (2016). https://doi.org/10.1155/2016/4626940
Amara, A., Etemad, S., Rezapour, S.: Topological degree theory and Caputo–Hadamard fractional boundary value problems. Adv. Differ. Equ. 2020, 369 (2020). https://doi.org/10.1186/s13662-020-02833-4
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, 90 (2018). https://doi.org/10.1186/s13661-018-1008-9
Baleanu, D., Ghafarnezhad, K., Rezapour, S.: On a three steps crisis integro-differential equation. Adv. Differ. Equ. 2019, 153 (2019). https://doi.org/10.1186/s13662-019-2088-2
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, 135 (2018)
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, 145 (2017). https://doi.org/10.1186/s13661-017-0867-9
Rezapour, S., Mohammadi, H., Jajarmi, A.: A new mathematical model for Zika virus transmission. Adv. Differ. Equ. 2020, 589 (2020). https://doi.org/10.1186/s13662-020-03044-7
Benchohra, M., Lazreg, J.E.: Existence and Ulam stability for non-linear implicit fractional differential equations with Hadamard derivative. Stud. Univ. Babeş–Bolyai, Math. 62(1), 29–38 (2017). https://doi.org/10.24193/subbmath.2017.0003
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). https://doi.org/10.15388/NA.2017.2.4
Dumrongpokaphan, T., Patanarapeelert, N., Sitthiwirattham, T.: On sequential fractional q-Hahn integro-difference equations. Mathematics 8(5), 753 (2020). https://doi.org/10.3390/math8050753
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 7(8), 659 (2016). https://doi.org/10.3390/math7080659
Etemad, S., Ntouyas, S.K., Tariboon, J.: Existence results for three-point boundary value problems for nonlinear fractional differential equations. J. Nonlinear Sci. Appl. 9(5), 2105–2116 (2016). https://doi.org/10.22436/jnsa.009.05.16
Mohammadi, H., Rezapour, S., Etemad, S.: On a hybrid fractional Caputo–Hadamard boundary value problem with hybrid Hadamard integral boundary value conditions. Adv. Differ. Equ. 2020, 455 (2020). https://doi.org/10.1186/s13662-020-02914-4
Mohammadi, H., Etemad, S., Rezapour, S., Baleanu, D.: Two sequential fractional hybrid differential inclusions. Adv. Differ. Equ. 2020, 385 (2020). https://doi.org/10.1186/s13662-020-02850-3
Seemab, A., Ur Rehman, M., Alzabut, J., Hamdi, A.: On the existence of positive solutions for generalized fractional boundary value problems. Bound. Value Probl. 2019, 186 (2019). https://doi.org/10.1186/s13661-019-01300-8
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(12), 4961–4967 (2012). https://doi.org/10.1016/j.cnsns.2012.06.001
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). https://doi.org/10.1186/s13662-020-2517-2
Wang, G., Pei, K., Agarwal, R.P., Zhang, L., Ahmad, B.: Nonlocal Hadamard fractional boundary value problem with Hadamard integral and discrete boundary conditions on a half-line. J. Comput. Appl. Math. 343, 230–239 (2018). https://doi.org/10.1016/j.cam.2018.04.062
Cabrera, I., Sadarangani, K., Samet, B.: Hartman–Wintner-type inequalities for a class of nonlocal fractional boundary value problems. Math. Methods Appl. Sci. 40(1), 129–136 (2017). https://doi.org/10.1002/mma.3972
Rahman, G., Ullah, Z., Khan, A., Set, E., Nisar, K.S.: Certain Chebyshec-type inequalities involving fractional conformable integral operators. Mathematics 7(4), 364 (2019). https://doi.org/10.3390/math7040364
Baleanu, D., Rezapour, S., Mohammadi, H.: Some existence results on nonlinear fractional differential equations. Philos. Trans. A Math. Phys. Eng. Sci. 2013, 371 (2013). https://doi.org/10.1098/rsta.2012.0144
Wang, Y.Y., Liang, S.L., Xia, C.X.: A Lyapunov-type inequalities for a fractional differential equation under Sturm–Liouville boundary conditions. Math. Inequal. Appl. 20(1), 139–148 (2017). https://doi.org/10.7153/mia-20-10
Adjabi, Y., Jarad, F., Abdeljawad, T.: On generalized fractional operators and a Gronwall type inequality with applications. Filomat 31(17), 5457–5473 (2017). https://doi.org/10.2298/FIL1717457A
Alzabut, J., Abdeljawad, T.: A generalized discrete fractional Gronwall inequality and its application on the uniqueness of solutions for nonlinear delay fractional difference system. Appl. Anal. Discrete Math. 12(1), 36–48 (2018). https://doi.org/10.2298/AADM1801036A
Butt, R.I., Abdeljawad, T., Alqudah, M.A., Ur Rehman, M.: Ulam stability of Caputo q-fractional delay difference equation: q-fractional Gronwall inequality approach. J. Inequal. Appl. 2019, 305 (2019). https://doi.org/10.1186/s13660-019-2257-6
Feckan, M., Pospisil, M.: Note on fractional difference Gronwall inequalities. Electron. J. Qual. Theory Differ. Equ. 2014, 44 (2014). www.math.u-szeged.hu/ejqtd
Ahmad, B., Ntouyas, S.K., Tariboon, J.: A study of mixed Hadamard and Riemann–Liouville fractional integro-differential inclusions via endpoint theory. Appl. Math. Lett. 52, 9–14 (2016). https://doi.org/10.1016/j.aml.2015.08.002
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of the Fractional Differential Equations. Elsevier, Amsterdam (2006)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Guo, D.J., Lakshmikantham, V., Liu, X.Z.: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic, Dordrecht (1996)
Haq, F., Shah, K., Rahman, G., Shahzad, M.: Numerical analysis of fractional order model of HIV-1 infection of CD4+ T-cells. Comput. Methods Differ. Equ. 5(1), 1–11 (2017)
Ye, H., Gao, J., Ding, Y.: A generalized Gronwall inequity and its application to a fractional differential equation. J. Math. Anal. Appl. 328(2), 1075–1081 (2007). https://doi.org/10.1016/j.jmaa.2006.05.061
Deimling, K.: Multi-Valued Differential Equations. de Gruyter, Berlin (1992)
Aubin, J., Cellna, A.: Differential Inclusions: Set-Valued Maps and Viability Theory. Springer, Berlin (1984)
Amini-Harandi, A.: Endpoints of set-valued contractions in metric spaces. Nonlinear Anal., Theory Methods Appl. 72(1), 132–134 (2010). https://doi.org/10.1016/j.na.2009.06.074
Acknowledgements
Research of the third and fourth authors was supported by Azarbaijan Shahid Madani University. The authors express their gratitude to dear unknown referees for their helpful suggestions which essentially improved the final version of this paper.
Authors’ information
(Hakimeh Mohammadi: hakimeh.mohammadi@yahoo.com; Dumitru Baleanu: dumitru@cankaya.edu.tr; Sina Etemad: sina.etemad@gmail.com)
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.
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
Mohammadi, H., Baleanu, D., Etemad, S. et al. Criteria for existence of solutions for a Liouville–Caputo boundary value problem via generalized Gronwall’s inequality. J Inequal Appl 2021, 36 (2021). https://doi.org/10.1186/s13660-021-02562-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02562-6