Skip to main content

Theory and Modern Applications

On the existence of solutions for a pointwise defined multi-singular integro-differential equation with integral boundary condition

Abstract

It is important that we increase our ability for studying of complicate fractional integro-differential equation. In this paper, we investigates the existence of solutions for a pointwise defined multi-singular fractional differential equation under some integral boundary conditions. We provide an example to illustrate our main result.

1 Preliminaries

We know that many researchers are working on fractional differential equarions from different point of view (see, for example, ([1–12] and [13]). In 2015, a new fractional derivative introduced entitled Caputo–Fabrizio and some researchers tried to obtain new techniques for studying of distinct integro-differential equations via the new derivation (see, for example, [14–19]) and new fractional models and optimal controls of different phenomena with the non-singular derivative operator (see, for example, [20–24] and [25]). Also, there has been published a lot of work about physical studies on fractional calculus and new aspects of fractional different models with Mittag-Leffler law (see, for example, [26–29] and [30]).

Most researchers like to obtain numerical solutions of fractional differential equations specially singular ones (see foe example, [24, 25] and [31]). It is natural that most softwares are not able to calculate solutions of most singular differential equations now while nowadays we can prove that most complicate problems such pointwise defined multi-singular fractional differential equations under some integral boundary conditions have solutions. But finding numerical solutions is not possible yet and this weakliness relates to the structures of the software.

In 2015, Liu and Wong investigated the fractional problem \(^{c}D^{ \alpha }x(t)=f(t,x(t), D^{\beta }x(t))\) with boundary conditions \(x(0)+x'(0)=y(x)\), \(\int _{0}^{1} x(t) \,dt=m\) and \(x''(0)=x^{(3)}(0)= \cdots =x^{(n-1)}(0)=0\), where \(0< t<1\), m is a real number, \(n\geq 2\), \(\alpha \in (n-1,n)\), \(0< \beta <1\), \(D^{\alpha }\) and \(D^{\beta }\) are the Caputo fractional derivatives, \(y \in C_{ \mathbb{R}}([0,1])\) and \(f: (0,1] \times \mathbb{R} \times \mathbb{R} \to \mathbb{R}\) is continuous with \(f(t,x,y)\) may be singular at \(t=0\) [32]. In 2016, Shabibi et al. introduced a new type of fractional differential equations entitled pointwise defined integro-differential problems [33]. Recall that \(D^{\alpha }x(t)+f(t)=0\) is a pointwise defined equation on \([0,1]\) if there exists a set \(E \subset [0,1]\) such that the measure of \(E^{c}\) is zero and the equation holds on E [33]. In 2018, Baleanu et al. reviewed the existence of solutions for the pointwise defined three steps crisis integro-differential equation

$$\begin{aligned} D^{\alpha } x(t)+ f\biggl(t , x(t), x'(t), D^{\beta }x(t), \int _{0}^{t} h( \xi ) x(\xi ) \,d\xi , \phi \bigl(x(t)\bigr)\biggr)=0 \end{aligned}$$

with boundary conditions \(x(1)=x(0)=x''(0)=x^{n}(0)=0\), where \(\alpha \geq 2\), \(\lambda , \mu , \beta \in (0,1)\), \(\phi: X \rightarrow X\) is a mapping such that \(\| \phi (x) - \phi (y)\| \leq \theta _{0} \|x-y\| + \theta _{1} \|x'-y' \|\) for some non-negative real numbers \(\theta _{0}\) and \(\theta _{1} \in [0,\infty )\) and all \(x,y \in X\), \(D^{\alpha }\) is the Caputo fractional derivative of order α, \(f(t,x_{1}(t),\ldots, x_{5}(t))=f_{1}(t,x_{1}(t),\ldots, x_{5}(t))\) for all \(t\in [0,\lambda )\), \(f(t,x_{1}(t),\ldots, x_{5}(t))=f_{2}(t,x_{1}(t),\ldots, x_{5}(t))\) for all \(t\in [\lambda ,\mu ]\) and \(f(t,x_{1}(t),\ldots, x _{5}(t))=f(t,x_{1}(t),\ldots, x_{5}(t))\) for all \(t\in (\mu ,1]\), \(f_{1}(t,\cdot,\cdot,\cdot,\cdot)\) and \(f_{3}(t,\cdot,\cdot,\cdot,\cdot)\) are continuous on \([0,\lambda )\) and \((\mu ,1]\) and \(f_{2}(t,\cdot,\cdot,\cdot,\cdot)\) is multi-singular [34]. In 2019, Chergui et al. reviewed the existence and uniqueness of solution for the nonlinear fractional boundary value problem \(D^{q} x(t)= f(t , x(t), D^{r}x(t))\) with non-separated type integral boundary conditions \(x(0) - \lambda _{1} x(T) = \mu _{1} \int _{0}^{T} g(s, x(s))\,ds\) and \(x'(0) - \lambda _{2} x'(T) = \mu _{2} \int _{0}^{T} h(s, x(s))\,ds\), where \(t \in [0,T]\), \(1 < q \leq 2\), \(0 < r \leq 1\), \(D^{q}\) is the Caputo fractional derivative of order q, \(f \in C_{ \mathbb{R}}([0,T] \times \mathbb{R}\times \mathbb{R})\), \(g,h : [0,T] \times \mathbb{R} \to \mathbb{R}\) are given continuous functions and \(\lambda _{1}, \lambda _{2}, \mu _{1}, \mu _{2} \in \mathbb{R}\) with \(\lambda _{1} \neq 1\) and \(\lambda _{2} \neq 1\) [35].

Motivated by the work, we investigate the existence of solutions for the nonlinear fractional differential pointwise defined problem

$$\begin{aligned} D^{\alpha } x(t) = f\biggl(t, x(t), x'(t), D^{\beta }x(t), \int _{0}^{t} g( \xi ) x(\xi ) \,d\xi \biggr), \end{aligned}$$
(1)

with boundary conditions \(x(\mu )=\int _{0}^{1} g(z) x(z) \,dz\) and \(x(0)= x^{(j)} (0) = 0\), for \(2 \leq j\leq n-1\), where \(\alpha \geq 2\), \(n = [\alpha ] + 1\), \(\mu , \beta \in (0,1)\), \(g,h:[0,1] \to \mathbb{R}\) are two maps such that \(g, h \in L^{1}[0,1]\) and \(f\in L^{1}\) is singular at some points \([0,1]\). Here, \(\|\cdot\|_{1}\) denotes the norm of \(L ^{1} [0,1]\). We consider the sup norm \(\|\cdot\|\) for \(Y=C[0,1]\) and \(\Vert x \Vert _{*} = \max \{\| x \|, \|x'\| \} \) for \(C^{1}[0,1]\). The Riemann–Liouville integral of order p with the lower limit \(a\geq 0\) for a function \(f:(a,\infty )\rightarrow \mathbb{R} \) is defined by \(I^{p}_{a^{+}}f(t)=\frac{1}{ \varGamma (p)} \int _{a}^{t} (t-s)^{p-1} f(s)\,ds\) provided that the right-hand side is pointwise defined on \((a,\infty )\). we denote \(I^{p}f(t)\) for \(I^{p}_{0^{+}}f(t)\) [36]. The Caputo fractional derivative of order \(\alpha >0\) of a function \(f:(a, \infty )\rightarrow \mathbb{R} \) is defined by \({}^{c}D^{\alpha }f(t)=\frac{1}{ \varGamma (n-\alpha )} \int _{0}^{t} \frac{f^{n}(s)}{(t-s)^{\alpha +1-n}}\,ds\), where \(n=[\alpha ]+1\) [36]. We need the following results.

Lemma 1

([37])

Let \(0< n-1\leq \alpha < n\)and \(x\in C(0,1)\). Then there exist real constants \(c_{0},\dots ,c_{n-1}\)such that \(D^{\alpha }x(t)=x(t)+ \sum_{i=0}^{n-1} c_{i}t^{i}\).

Lemma 2

([38])

LetXbe a Banach space, Ca closed and convex ofX, Ωa relatively open subset ofCwith \(0 \in \varOmega \)and \(F:\varOmega \rightarrow C\)a continuous and compact map. Then eitherFhas a fixed point inΩ̄or there exist \(y \in \partial \varOmega \)and \(\lambda \in (0,1)\)such that \(y= \lambda Fy\).

2 Main results

Lemma 3

Let \(\alpha \geq 2\), \(n=[\alpha ] +1\), \(\mu , \beta \in (0,1)\), \(f, h:[0,1] \rightarrow \mathbb{R}\)such that \(f,h \in L^{1}[0,1]\)and \(\mu \neq \int _{0}^{1} zh(z)\,dz\). A mapxis a solution for the pointwise defined equation \(D^{\alpha }x(t)=f(t) \)with boundary conditions \(x(\mu )=\int _{0}^{1} h(z) x(z) \,dz\)and \(x(0)= x^{(j)} (0) = 0\) (\(2 \leq j \leq n\)) if and only if \(x(t)= \int ^{1}_{0} G(t,s) f(s) \,ds\), where

$$ G(t,s)= \textstyle\begin{cases} \frac{(t-s)^{\alpha -1} }{\varGamma (\alpha )}+ \frac{t[(\mu - s)^{ \alpha } - H_{\alpha }(s)]}{A_{\mu } \varGamma (\alpha )}, & 0\leq s \leq t \leq 1, \mu \geq s, \\ \frac{(t-s)^{\alpha -1} }{\varGamma (\alpha )}- \frac{t H_{\alpha }(s)}{A _{\mu } \varGamma (\alpha )}, & 0\leq \mu \leq s \leq t \leq 1, \\ \frac{t[(\mu - s)^{\alpha } - H_{\alpha }(s)]}{A_{\mu } \varGamma ( \alpha )}, & 0\leq t \leq s \leq \mu \leq 1, \\ - \frac{t H_{\alpha }(s)}{A_{\mu } \varGamma (\alpha )}, & 0\leq t \leq s \leq 1, \mu \leq s, \end{cases} $$

\(H_{\alpha }(t)= \int _{t}^{1} (z-t)^{\alpha -1} h(z) \,dz\)and \(A_{\mu }= \int _{0}^{1} (zh(z) - \mu ) \,dz\).

Proof

By following the related proof in [34], we concluded that Lemma 1 is valid on \(L^{1}[0,1]\). Now let \(x(t)\) be a solution for the problem. By using Lemma 1 and \(x^{(j)}(0)=0\) for \(j \geq 2\), we get \(x(t)= \frac{1}{\varGamma (\alpha )} \int ^{t}_{0} (t-s)^{ \alpha - 1} f(s) \,ds + c_{0}+ c_{1} t\). Since \(x(0)=0\), \(c_{0}=0\) and so \(x(t)= \frac{1}{\varGamma (\alpha )} \int ^{t}_{0} (t-s)^{\alpha - 1} f(s) \,ds + c_{1}t\). Hence,

$$\begin{aligned} x(\mu )= \frac{1}{\varGamma (\alpha )} \int ^{\mu }_{0} (\mu -s)^{\alpha - 1} f(s) \,ds + c_{1} \mu \end{aligned}$$
(2)

and \(h(z)x(z)= \frac{1}{\varGamma (\alpha )} h(z) \int ^{z}_{0} (z-s)^{ \alpha - 1} f(s) \,ds + c_{1} z h(z)\) for all \(z \in [0,1]\). Thus,

$$ \int _{0}^{1} h(z)x(z) \,dz= \frac{1}{\varGamma (\alpha )} \int _{0}^{1} \int ^{z}_{0} (z-s)^{\alpha - 1} h(z) f(s) \,ds\, dz+ c_{1} \int _{0}^{1} z h(z) \,dz $$

and so \(\int _{0}^{1} h(z)x(z) \,dz= \frac{1}{\varGamma (\alpha )} \int _{0}^{1} \int ^{1}_{s} (z-s)^{\alpha - 1} h(z) f(s) \,dz \,ds+ c_{1} \int _{0}^{1} z h(z) \,dz\). Put

$$ H_{\alpha }(t)= \int _{t}^{1} (z-t)^{\alpha -1} h(z) \,dz. $$

Then we have \(\int _{0}^{1} h(z)x(z) \,dz= \frac{1}{\varGamma (\alpha )} \int _{0}^{1} H_{\alpha }(s) f(s) \,ds+ c_{1} \int _{0}^{1} z h(z) \,dz\). By using the assumption \(x(\mu )= \int _{0}^{1} z h(z) \,dz\) and (2), we obtain

$$ \frac{1}{\varGamma (\alpha )} \int ^{\mu }_{0} (\mu -s)^{\alpha - 1} f(s) \,ds + c_{1} \mu = \frac{1}{\varGamma (\alpha )} \int _{0}^{1} H_{\alpha }(s) f(s) \,ds+ c_{1} \int _{0}^{1} z h(z) \,dz. $$

Hence, \(c_{1}(\int _{0}^{1} z h(z) \,dz - \mu ) = \frac{1}{\varGamma ( \alpha )} \int ^{\mu }_{0} (\mu -s)^{\alpha - 1} f(s) \,ds -\frac{1}{ \varGamma (\alpha )} \int _{0}^{1} H_{\alpha }(s) f(s) \,ds\) and so

$$ c_{1} = \frac{1}{A_{\mu }\varGamma (\alpha )} \int ^{\mu }_{0} (\mu -s)^{ \alpha - 1} f(s) \,ds - \frac{1}{A_{\mu }\varGamma (\alpha )} \int _{0}^{1} H _{\alpha }(s) f(s) \,ds, $$

where \(A_{\mu }= \int _{0}^{1} (z h(z) - \mu )\,dz\). Thus,

$$\begin{aligned} x(t) ={}& \frac{1}{\varGamma (\alpha )} \int ^{t}_{0} (t-s)^{\alpha - 1} f(s) \,ds + \frac{t}{A_{\mu }\varGamma (\alpha )} \int ^{\mu }_{0} (\mu -s)^{ \alpha - 1} f(s) \,ds \\ & {}-\frac{t}{A_{\mu }\varGamma (\alpha )} \int _{0}^{1} H_{\alpha }(s) f(s) \,ds. \end{aligned}$$
(3)

If \(\mu \leq t\), then

$$\begin{aligned} x(t) ={}& \frac{1}{\varGamma (\alpha )} \biggl( \int ^{\mu }_{0} + \int ^{t}_{ \mu }\biggr) (t-s)^{\alpha - 1} f(s) \,ds + \frac{t}{A_{\mu }\varGamma (\alpha )} \int ^{\mu }_{0} (\mu -s)^{\alpha - 1} f(s) \,ds \\ &{} -\frac{t}{A_{\mu }\varGamma (\alpha )} \biggl( \int ^{\mu }_{0} + \int ^{t} _{\mu } + \int ^{1}_{t} \biggr) H_{\alpha }(s) f(s) \,ds, \end{aligned}$$

and for \(t \leq \mu \) we have

$$\begin{aligned} x(t) ={}& \frac{1}{\varGamma (\alpha )} \int ^{t}_{0} (t-s)^{\alpha - 1} f(s) \,ds + \frac{t}{A_{\mu }\varGamma (\alpha )} \biggl( \int ^{t}_{0} + \int ^{\mu } _{t} \biggr) (\mu -s)^{\alpha - 1} f(s) \,ds \\ &{} -\frac{t}{A_{\mu }\varGamma (\alpha )} \biggl( \int ^{t}_{0} + \int _{t}^{ \mu } + \int ^{1}_{\mu } \biggr) H_{\alpha }(s) f(s) \,ds. \end{aligned}$$

Hence \(x(t)\) is given by \(x(t)= \int ^{1}_{0} G(t,s) f(s) \,ds\), where

$$ G(t,s)=\textstyle\begin{cases} \frac{(t-s)^{\alpha -1} }{\varGamma (\alpha )}+ \frac{t[(\mu - s)^{ \alpha } - H_{\alpha }(s)]}{A_{\mu } \varGamma (\alpha )}, & 0\leq s \leq t \leq 1, \mu \geq s, \\ \frac{(t-s)^{\alpha -1} }{\varGamma (\alpha )}- \frac{t H_{\alpha }(s)}{A _{\mu } \varGamma (\alpha )}, & 0\leq \mu \leq s \leq t \leq 1, \\ \frac{t[(\mu - s)^{\alpha } - H_{\alpha }(s)]}{A_{\mu } \varGamma ( \alpha )}, & 0\leq t \leq s \leq \mu \leq 1, \\ - \frac{t H_{\alpha }(s)}{A_{\mu } \varGamma (\alpha )}, & 0\leq t \leq s \leq 1, \mu \leq s. \end{cases} $$

The converse part could be obtained easily by some straightforward calculations. □

Note that

$$ \frac{\partial G}{\partial t} (t,s)=\textstyle\begin{cases} \frac{(t-s)^{\alpha -2} }{\varGamma (\alpha -1)}+ \frac{(\mu - s)^{ \alpha } - H_{\alpha }(s)}{A_{\mu } \varGamma (\alpha )}, & 0\leq s \leq t \leq 1, \mu \geq s, \\ \frac{(t-s)^{\alpha -2} }{\varGamma (\alpha -1)}- \frac{ H_{\alpha }(s)}{A _{\mu } \varGamma (\alpha )}, & 0\leq \mu \leq s \leq t \leq 1, \\ \frac{(\mu - s)^{\alpha } - H_{\alpha }(s)}{A_{\mu } \varGamma (\alpha )}, & 0\leq t \leq s \leq \mu \leq 1, \\ - \frac{ H_{\alpha }(s)}{A_{\mu } \varGamma (\alpha )}, & 0\leq t \leq s \leq 1, \mu \leq s \end{cases} $$

and so G and \(\frac{ \partial }{ \partial t} G\) are continuous with respect to t. Assume that \(f \in L^{1}([0,1] \times \mathbb{R} \times \mathbb{R} \times \mathbb{R}\times \mathbb{R})\) is a map such that f is singular at some points of \([0,1]\). Define the map \(F:X \to X\) by

$$\begin{aligned} F_{x}(t) ={}& \int _{0}^{1} G(t,s) f\biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g(\xi )x(\xi ) \,d\xi \biggr) \,ds \\ ={}& \frac{1}{\varGamma (\alpha )} \int ^{t}_{0} (t-s)^{\alpha - 1} f\biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g(\xi )x(\xi ) \,d\xi \biggr) \,ds \\ &{}+ \frac{t}{A_{\mu }\varGamma (\alpha )} \int ^{\mu }_{0} (\mu -s)^{ \alpha - 1} f\biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g(\xi )x( \xi ) \,d\xi \biggr) \,ds \\ &{} -\frac{t}{A_{\mu }\varGamma (\alpha )} \int ^{1}_{0} H_{\alpha }(s) f\biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g(\xi )x(\xi ) \,d\xi \biggr) \,ds \end{aligned}$$

for all \(t\in [0,1]\), where \(g: [0,1] \to \mathbb{R}\) belongs to \(L^{1}[0,1]\). Note that, \(|D^{\beta }x| \leq \frac{\|x'\|}{\varGamma (2 - \beta )}\) and \(| \int _{0}^{s} g(\xi ) x(\xi ) \,d\xi | \leq m \|x\|\), where \(m= \int _{0}^{1} |g(\xi )| \,d\xi \). Let \(t\in [0,1]\). Then we have

$$\begin{aligned} F'_{x}(t) ={}& \int _{0}^{1} \frac{ \partial G}{ \partial t} (t,s) f\biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g(\xi )x(\xi ) \,d\xi \biggr) \,ds \\ ={}& \frac{1}{\varGamma (\alpha - 1)} \int ^{t}_{0} (t-s)^{\alpha - 2} f\biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g(\xi )x(\xi ) \,d\xi \biggr) \,ds \\ &{}+ \frac{1}{A_{\mu }\varGamma (\alpha )} \int ^{\mu }_{0} (\mu -s)^{ \alpha - 1} f\biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g(\xi )x( \xi ) \,d\xi \biggr) \,ds \\ &{} -\frac{1}{A_{\mu }\varGamma (\alpha )} \int ^{1}_{0} H_{\alpha }(s) f\biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g(\xi )x(\xi ) \,d\xi \biggr) \,ds. \end{aligned}$$

Note that \(x_{0}\in X\) is a solution for the singular pointwise defined equation (1) if and only if \(x_{0}\) is a fixed point of F.

Theorem 4

Let \(\alpha \geq 2\), \(n=[\alpha ] +1\), \(\mu , \beta \in (0,1)\), \(g, h:[0,1] \rightarrow \mathbb{R}\)are mappings such that \(g, h \in L^{1}[0,1]\)with \(\mu \neq \int _{0}^{1} zh(z)\,dz\), \(\Delta := \max \{1,m, \frac{1}{\varGamma (2 - \beta )} \}\)and \(m:= \|g\|_{1} \). Assume that \(f: [0, 1] \times X^{4} \to \mathbb{R}\)is a mapping such thatfis singular on some point of \([0, 1]\)and for all \(x_{1},\ldots, x_{4}, y_{1},\ldots, y_{4} \in X\)and for almost all \(t \in [0,1]\)we have

$$ \bigl\vert f(t, x_{1}, x_{2}, \ldots, x_{4}) - f(t, y_{1}, y_{2}, \ldots, y_{4}) \bigr\vert \leq \sum_{i=1}^{4} a_{i}(t) \varLambda _{i} \bigl( \vert x_{i} - y_{i} \vert \bigr), $$

where \(a_{i} :[0, 1] \to \mathbb{R}^{+}\), \(\hat{a_{i}} \in L^{1}[0,1]\), \(\hat{a_{i}}(s) = (1-s)^{\alpha -2} a_{i}(s)\), \(\varLambda _{i}: \mathbb{R}^{+} \to \mathbb{R}^{+}\)is a nondecreasing mapping with respect to all their components such that \(\lim_{z \to 0^{+}} \frac{ \varLambda _{i}(z)}{g_{i}(z)}= q_{i}\)for some \(q_{i}\geq 0\). Suppose that \(g_{1},\dots ,g_{4}: \mathbb{R} \to \mathbb{R}^{+}\)are some functions such that \(\lim_{z \to 0^{+}} g_{i}(z)=0\)for \(1 \leq i \leq 4\). Also, assume that for almost all \(t \in [0,1]\)and \(x_{1}, \ldots, x_{4} \in X\)we have

$$ \bigl\vert f(t, x_{1}, x_{2}, \ldots, x_{4}) \bigr\vert \leq \sum_{i=1}^{k_{0}} \theta _{i}(t) M_{i} (x_{1}, \ldots, x_{4}) + N(x_{1}, \ldots, x_{4}), $$

where \(k_{0} \in \mathbb{N}\), \(\theta _{i} :[0, 1] \to \mathbb{R}^{+}\), \(\hat{\theta _{i}} \in L^{1}[0,1]\), \(M_{i}, N : \mathbb{R}^{4} \to [0, \infty )\)are nondecreasing mappings with respect to all their components, \(\lim_{z \to \infty } \frac{M_{i}(z, \ldots, z)}{z}= m_{i} \in (0, \infty )\)and \(\lim_{z \to \infty } N(z, \ldots, z) < \infty \). If \((\frac{1}{\varGamma (\alpha -1)}+ \frac{1+ \|h\|_{1}}{|A_{\mu }| \varGamma (\alpha )})\sum_{i=1}^{k_{0}} m_{i} \| \hat{ \theta _{i}}\|_{[0,1]} \in (0, \frac{1}{\Delta })\), then the problem (1) has a solution.

Proof

We show that the map F is continuous. For \(x, y \in X\) and \(t \in [0,1]\), we have

$$\begin{aligned} &\bigl\vert F_{x}(t)-F_{y}(t) \bigr\vert \\ &\quad\leq \biggl\vert \int ^{1}_{0} G(t,s)f\biggl(s, x(s), x'(s), D ^{\beta }x(s), \int _{0}^{s} g(\xi )x(\xi ) \,d\xi \biggr) \,ds \\ &\qquad{} - \int ^{1}_{0} G(t,s)f\biggl(s, y(s), y'(s), D^{\beta }y(s), \int _{0} ^{s} g(\xi )y(\xi ) \,d\xi \biggr) \biggr\vert \,ds \\ &\quad\leq \frac{1}{\varGamma (\alpha )} \int _{0}^{t} (t-s)^{\alpha - 1} \biggl\vert f \biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g(\xi )x(\xi ) \,d\xi \biggr) \\ &\qquad{} - f\biggl(s, y(s), y'(s), D^{\beta }y(s), \int _{0}^{s} g(\xi )y(\xi ) \,d \xi \biggr) \biggr\vert \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu -s)^{ \alpha - 1} \biggl\vert f\biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g(\xi )x( \xi ) \,d\xi \biggr) \\ &\qquad{} - f\biggl(s, y(s), y'(s), D^{\beta }y(s), \int _{0}^{s} g(\xi )y(\xi ) \,d \xi \biggr) \biggr\vert \,ds \\ & \qquad{}+ \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} \bigl\vert H_{\alpha }(s) \bigr\vert \biggl\vert f\biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g( \xi )x(\xi ) \,d\xi \biggr) \\ &\qquad{} - f\biggl(s, y(s), y'(s), D^{\beta }y(s), \int _{0}^{s} g(\xi )y(\xi ) \,d \xi \biggr) \biggr\vert \,ds \\ &\quad\leq \frac{1}{\varGamma (\alpha )} \int _{0}^{t} (t-s)^{\alpha - 1} \biggl[a _{1}(s) \varLambda _{1}\bigl( \bigl\vert x(s) - y(s) \bigr\vert \bigr) + a_{2}(s) \varLambda _{2}\bigl( \bigl\vert x'(s) - y'(s) \bigr\vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl( \bigl\vert D^{\beta }x(s) - D^{\beta }y(s) \bigr\vert \bigr) + a_{4}(s) \varLambda _{4}\biggl( \biggl\vert \int _{0}^{s} g(\xi ) \bigl(x(\xi ) -y(\xi ) \bigr) \,d\xi \biggr\vert \biggr)\biggr] \,ds \\ & \qquad{}+ \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu -s)^{ \alpha - 1} \biggl[a_{1}(s) \varLambda _{1}\bigl( \bigl\vert x(s) - y(s) \bigr\vert \bigr) + a_{2}(s) \varLambda _{2}\bigl( \bigl\vert x'(s) - y'(s) \bigr\vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl( \bigl\vert D^{\beta }x(s) - D^{\beta }y(s) \bigr\vert \bigr) + a_{4}(s) \varLambda _{4}\biggl( \biggl\vert \int _{0}^{s} g(\xi ) \bigl(x(\xi ) -y(\xi ) \bigr) \,d\xi \biggr\vert \biggr)\biggr] \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} \bigl\vert H_{\alpha }(s) \bigr\vert \biggl[a_{1}(s) \varLambda _{1}\bigl( \bigl\vert x(s) - y(s) \bigr\vert \bigr) + a_{2}(s) \varLambda _{2}\bigl( \bigl\vert x'(s) - y'(s) \bigr\vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl( \bigl\vert D^{\beta }x(s) - D^{\beta }y(s) \bigr\vert \bigr) + a_{4}(s) \varLambda _{4}\biggl( \biggl\vert \int _{0}^{s} g(\xi ) \bigl(x(\xi ) -y(\xi ) \bigr) \,d\xi \biggr\vert \biggr)\biggr] \,ds \\ &\quad\leq \frac{1}{\varGamma (\alpha )} \int _{0}^{t} (t-s)^{\alpha - 1} \biggl[a _{1}(s) \varLambda _{1}\bigl( \Vert x - y \Vert \bigr) + a_{2}(s) \varLambda _{2}\bigl( \bigl\Vert x' - y' \bigr\Vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\biggl(\frac{ \Vert x' - y' \Vert }{\varGamma (2-\beta )}\biggr) + a _{4}(s) \varLambda _{4}\bigl(m \Vert x - y \Vert \bigr))\biggr] \,ds \\ & \qquad{}+ \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu -s)^{ \alpha - 1} \biggl[a_{1}(s) \varLambda _{1}\bigl( \Vert x - y \Vert \bigr) + a_{2}(s) \varLambda _{2}\bigl( \bigl\Vert x' - y' \bigr\Vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\biggl(\frac{ \Vert x' - y' \Vert }{\varGamma (2-\beta )}\biggr) + a _{4}(s) \varLambda _{4}\bigl(m \Vert x - y \Vert \bigr)\biggr] \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} \bigl\vert H_{\alpha }(s) \bigr\vert \biggl[a_{1}(s) \varLambda _{1}\bigl( \Vert x - y \Vert \bigr) + a_{2}(s) \varLambda _{2}\bigl( \bigl\Vert x' - y' \bigr\Vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\biggl(\frac{ \Vert x' - y' \Vert }{\varGamma (2-\beta )}\biggr) + a _{4}(s) \varLambda _{4}\bigl(m \Vert x - y \Vert \bigr)\biggr] \,ds \\ &\quad\leq \frac{1}{\varGamma (\alpha )} \int _{0}^{t} (t-s)^{\alpha - 1} \bigl[a _{1}(s) \varLambda _{1}\bigl(\Delta \Vert x - y \Vert \bigr) + a_{2}(s) \varLambda _{2}\bigl(\Delta \bigl\Vert x' - y' \bigr\Vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl(\Delta \bigl\Vert x' - y' \bigr\Vert \bigr) + a_{4}(s) \varLambda _{4}\bigl( \Delta \Vert x - y \Vert \bigr)\bigr] \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu -s)^{ \alpha - 1} \bigl[a_{1}(s) \varLambda _{1}\bigl(\Delta \Vert x - y \Vert \bigr) + a_{2}(s) \varLambda _{2}\bigl(\Delta \bigl\Vert x' - y' \bigr\Vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl(\Delta \bigl\Vert x' - y' \bigr\Vert \bigr) + a_{4}(s) \varLambda _{4}\bigl( \Delta \Vert x - y \Vert \bigr)\bigr] \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} \bigl\vert H_{\alpha }(s) \bigr\vert \bigl[a_{1}(s) \varLambda _{1}\bigl(\Delta \Vert x - y \Vert \bigr) + a_{2}(s) \varLambda _{2}\bigl(\Delta \bigl\Vert x' - y' \bigr\Vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl(\Delta \bigl\Vert x' - y' \bigr\Vert \bigr) + a_{4}(s) \varLambda _{4}\bigl( \Delta \Vert x - y \Vert \bigr)\bigr] \,ds, \end{aligned}$$

where \(\Delta := \max \{1,m, \frac{1}{\varGamma (2 - \beta )} \}\). Hence,

$$\begin{aligned} &\bigl\vert F_{x}(t)-F_{y}(t) \bigr\vert \\ &\quad \leq \frac{1}{\varGamma (\alpha )} \int _{0}^{t} (t-s)^{ \alpha - 1} \bigl[a_{1}(s) \varLambda _{1}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) + a_{2}(s) \varLambda _{2}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) + a_{4}(s) \varLambda _{4}\bigl( \Delta \Vert x - y \Vert _{*}\bigr)\bigr] \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu -s)^{ \alpha - 1} \bigl[a_{1}(s) \varLambda _{1}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) + a_{2}(s) \varLambda _{2}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) + a_{4}(s) \varLambda _{4}\bigl( \Delta \Vert x - y \Vert _{*}\bigr)\bigr] \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} \bigl\vert H_{\alpha }(s) \bigr\vert \bigl[a_{1}(s) \varLambda _{1}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) + a_{2}(s) \varLambda _{2}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) + a_{4}(s) \varLambda _{4}\bigl( \Delta \Vert x - y \Vert _{*}\bigr)\bigr] \,ds. \end{aligned}$$
(4)

Since \(\lim_{z \to 0^{+}} g_{i}(z)=0\), for \(\epsilon >0\) there exists \(\delta _{g}>0\) such that \(0 < z < \delta _{g}\) indicates that \(|g_{i}(z)|< \epsilon \), for all \(1 \leq i \leq 4\). On the other hand by using \(\lim_{z \to 0^{+}} \frac{\varLambda _{i}(z)}{g_{i}(z)}=q_{i}\), for each \(\epsilon >0\) there exists \(\delta _{0} >0\) such that \(\frac{ \varLambda _{i}(z)}{g_{i}(z)} < q_{i} + \epsilon \) for \(0< z< \delta _{0}\) and \(1 \leq i \leq 4\). Thus,

$$ \varLambda _{i}(z) < (q_{i} + \epsilon ) g_{i}(z) $$

for \(0< z< \delta _{0}\). Put \(\delta = \min \{ \delta _{0}, \delta _{g}, \epsilon \}\). Then we have

$$\begin{aligned} \varLambda _{i}(z) < (q_{i} + \epsilon ) \epsilon \end{aligned}$$
(5)

for \(0< z< \delta \) and \(1 \leq i \leq 4\). Let \(\|x -y\|_{*} < \frac{ \delta }{\Delta }\). By using (5) we have

$$\begin{aligned} \varLambda _{i}\bigl(\Delta \Vert x-y \Vert _{*}\bigr) < (q_{i}+ \epsilon )\epsilon , \end{aligned}$$
(6)

for all \(1 \leq i \leq 4\). Thus by using (4), for \(\|x -y\|_{*} < \frac{\delta }{\Delta }\) we get

$$\begin{aligned} &\bigl\vert F_{x}(t)-F_{y}(t) \bigr\vert \\ &\quad \leq \frac{1}{\varGamma (\alpha )} \int _{0}^{t} (t-s)^{ \alpha - 1} \bigl[a_{1}(s) (q_{1}+\epsilon ) \epsilon + \cdots+ a_{4}(s) \varLambda _{4}(q_{4}+\epsilon ) \epsilon \bigr] \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu -s)^{ \alpha - 1} \bigl[a_{1}(s) (q_{1}+\epsilon ) \epsilon + \cdots+ a_{4}(s) \varLambda _{4}(q_{4}+\epsilon ) \epsilon \bigr] \,ds \\ & \qquad{}+ \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} \bigl\vert H_{\alpha }(s) \bigr\vert \bigl[a_{1}(s) (q_{1}+\epsilon ) \epsilon + \cdots+ a_{4}(s) \varLambda _{4}(q_{4}+\epsilon ) \epsilon \bigr] \,ds \\ &\quad\leq \frac{\epsilon }{\varGamma (\alpha )} \int _{0}^{1} (1-s)^{ \alpha - 1} \sum _{i=1}^{4} a_{i}(s) (q_{i}+ \epsilon ) \,ds \\ &\qquad{} + \frac{\epsilon t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} (1-s)^{ \alpha - 1} \sum _{i=1}^{4} a_{i}(s) (q_{i}+ \epsilon ) \,ds \\ & \qquad{}+ \frac{\epsilon t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} \bigl\vert H _{\alpha }(s) \bigr\vert \sum_{i=1}^{4} a_{i}(s) (q_{i}+\epsilon ) \,ds. \end{aligned}$$

This implies that

$$\begin{aligned} \bigl\vert H_{\alpha }(s) \bigr\vert &\leq \int _{s}^{1} (z-s)^{\alpha -1} \bigl\vert h(z) \bigr\vert \,dz \leq \int _{s}^{1} (1-s)^{\alpha -1} \bigl\vert h(z) \bigr\vert \,dz \\ &\leq (1-s)^{\alpha -1} \int _{0}^{1} \bigl\vert h(z) \bigr\vert \,dz = (1-s)^{\alpha -1} \Vert h \Vert _{1} \leq (1-s)^{\alpha -2} \Vert h \Vert _{1} \end{aligned}$$

for all \(s \in [0,1]\). Now for each \(t \in [0,1]\) and \(x,y \in X\) with \(\|x -y\|_{*} < \frac{\delta }{\Delta }\), we have

$$\begin{aligned} &\bigl\vert F_{x}(t)-F_{y}(t) \bigr\vert \\ &\quad \leq \frac{\epsilon }{\varGamma (\alpha )} \sum_{i=1}^{4} (q_{i}+\epsilon ) \biggl[ \int _{0}^{1} (1-s)^{\alpha - 2} a_{i}(s) \,ds\biggr] \\ & \qquad{}+ \frac{\epsilon t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{4} (q _{i}+\epsilon ) \biggl[ \int _{0}^{1} (1-s)^{\alpha - 2} a_{i}(s) \,ds\biggr] \\ &\qquad{} + \frac{\epsilon t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{4} (q _{i}+\epsilon ) \biggl[ \int _{0}^{1} (1-s)^{\alpha - 2} a_{i}(s) \,ds\biggr] \\ &\quad = \Biggl( \sum_{i=1}^{4} (q_{i}+\epsilon ) \Vert \hat{a_{i}} \Vert _{[0,1]} \Biggr) \biggl(\frac{1}{ \varGamma (\alpha )} +\frac{ t}{ \vert A_{\mu } \vert \varGamma (\alpha )} + \frac{ t \Vert h \Vert _{1}}{ \vert A_{\mu } \vert \varGamma (\alpha )} \biggr) \epsilon. \end{aligned}$$

Thus,

$$\begin{aligned} \Vert F_{x}-F_{y} \Vert \leq \Biggl( \sum _{i=1}^{4} (q_{i}+\epsilon ) \Vert \hat{a_{i}} \Vert _{[0,1]} \Biggr) \biggl(\frac{1}{\varGamma (\alpha )} + \frac{ 1+ \Vert h \Vert _{1}}{ \vert A_{\mu } \vert \varGamma (\alpha )} \biggr) \epsilon \end{aligned}$$

for \(\|x -y\|_{*} < \frac{\delta }{\Delta }\). Also for each \(t \in [0,1]\) and \(x,y \in X\), we have

$$\begin{aligned} &\bigl\vert F'_{x}(t)-F'_{y}(t) \bigr\vert \\ &\quad\leq \frac{1}{\varGamma (\alpha -1)} \int _{0} ^{t} (t-s)^{\alpha - 2} \biggl\vert f \biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0} ^{s} g(\xi )x(\xi ) \,d\xi \biggr) \\ &\qquad{} - f\biggl(s, y(s), y'(s), D^{\beta }y(s), \int _{0}^{s} g(\xi )y(\xi ) \,d \xi \biggr) \biggr\vert \,ds \\ &\qquad{} + \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu -s)^{ \alpha - 1} \biggl\vert f\biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g(\xi )x( \xi ) \,d\xi \biggr) \\ &\qquad{} - f\biggl(s, y(s), y'(s), D^{\beta }y(s), \int _{0}^{s} g(\xi )y(\xi ) \,d \xi \biggr) \biggr\vert \,ds \\ & \qquad{}+ \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} \bigl\vert H_{\alpha }(s) \bigr\vert \biggl\vert f\biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g( \xi )x(\xi ) \,d\xi \biggr) \\ & \qquad{}- f\biggl(s, y(s), y'(s), D^{\beta }y(s), \int _{0}^{s} g(\xi )y(\xi ) \,d \xi \biggr) \biggr\vert \,ds \\ &\quad\leq \frac{1}{\varGamma (\alpha -1)} \int _{0}^{t} (t-s)^{\alpha - 2} \biggl[a _{1}(s) \varLambda _{1}\bigl( \bigl\vert x(s) - y(s) \bigr\vert \bigr) + a_{2}(s) \varLambda _{2}\bigl( \bigl\vert x'(s) - y'(s) \bigr\vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl( \bigl\vert D^{\beta }x(s) - D^{\beta }y(s) \bigr\vert \bigr) + a_{4}(s) \varLambda _{4}\biggl( \biggl\vert \int _{0}^{s} g(\xi ) \bigl(x(\xi ) -y(\xi ) \bigr) \,d\xi \biggr\vert \biggr)\biggr] \,ds \\ &\qquad{} + \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu -s)^{ \alpha - 1} \biggl[a_{1}(s) \varLambda _{1}\bigl( \bigl\vert x(s) - y(s) \bigr\vert \bigr) + a_{2}(s) \varLambda _{2}\bigl( \bigl\vert x'(s) - y'(s) \bigr\vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl( \bigl\vert D^{\beta }x(s) - D^{\beta }y(s) \bigr\vert \bigr) + a_{4}(s) \varLambda _{4}\biggl( \biggl\vert \int _{0}^{s} g(\xi ) \bigl(x(\xi ) -y(\xi ) \bigr) \,d\xi \biggr\vert \biggr)\biggr] \,ds \\ &\qquad{} + \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} \bigl\vert H_{\alpha }(s) \bigr\vert \biggl[a_{1}(s) \varLambda _{1}\bigl( \bigl\vert x(s) - y(s) \bigr\vert \bigr) + a_{2}(s) \varLambda _{2}\bigl( \bigl\vert x'(s) - y'(s) \bigr\vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl( \bigl\vert D^{\beta }x(s) - D^{\beta }y(s) \bigr\vert \bigr) + a_{4}(s) \varLambda _{4}\biggl( \biggl\vert \int _{0}^{s} g(\xi ) \bigl(x(\xi ) -y(\xi ) \bigr) \,d\xi \biggr\vert \biggr)\biggr] \,ds \\ &\quad\leq \frac{1}{\varGamma (\alpha -1)} \int _{0}^{t} (t-s)^{\alpha - 2} \biggl[a _{1}(s) \varLambda _{1}\bigl( \Vert x - y \Vert \bigr) + a_{2}(s) \varLambda _{2}\bigl( \bigl\Vert x' - y' \bigr\Vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\biggl(\frac{ \Vert x' - y' \Vert }{\varGamma (2-\beta )}\biggr) + a _{4}(s) \varLambda _{4}\bigl(m \Vert x - y \Vert \bigr))\biggr] \,ds \\ &\qquad{} + \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu -s)^{ \alpha - 1} \biggl[a_{1}(s) \varLambda _{1}\bigl( \Vert x - y \Vert \bigr) + a_{2}(s) \varLambda _{2}\bigl( \bigl\Vert x' - y' \bigr\Vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\biggl(\frac{ \Vert x' - y' \Vert }{\varGamma (2-\beta )}\biggr) + a _{4}(s) \varLambda _{4}\bigl(m \Vert x - y \Vert \bigr)\biggr] \,ds \\ & \qquad{}+ \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} \bigl\vert H_{\alpha }(s) \bigr\vert \biggl[a_{1}(s) \varLambda _{1}\bigl( \Vert x - y \Vert \bigr) + a_{2}(s) \varLambda _{2}\bigl( \bigl\Vert x' - y' \bigr\Vert \bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\biggl(\frac{ \Vert x' - y' \Vert }{\varGamma (2-\beta )}\biggr) + a _{4}(s) \varLambda _{4}\bigl(m \Vert x - y \Vert \bigr)\biggr] \,ds \\ &\quad \leq \frac{1}{\varGamma (\alpha -1)} \int _{0}^{t} (t-s)^{\alpha - 2} \bigl[a_{1}(s) \varLambda _{1}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) + a_{2}(s) \varLambda _{2}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) + a_{4}(s) \varLambda _{4}\bigl( \Delta \Vert x - y \Vert _{*}\bigr)\bigr] \,ds \\ &\qquad{} + \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu -s)^{ \alpha - 1} \bigl[a_{1}(s) \varLambda _{1}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) + a_{2}(s) \varLambda _{2}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) + a_{4}(s) \varLambda _{4}\bigl( \Delta \Vert x - y \Vert _{*}\bigr)\bigr] \,ds \\ &\qquad{} + \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} \bigl\vert H_{\alpha }(s) \bigr\vert \bigl[a_{1}(s) \varLambda _{1}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) + a_{2}(s) \varLambda _{2}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) \\ &\qquad{}+ a_{3}(s) \varLambda _{3}\bigl( \Delta \Vert x - y \Vert _{*}\bigr) + a_{4}(s) \varLambda _{4}\bigl( \Delta \Vert x - y \Vert _{*}\bigr)\bigr] \,ds. \end{aligned}$$

Thus, by using (5), we get

$$\begin{aligned} &\bigl\vert F'_{x}(t)-F'_{y}(t) \bigr\vert \\ &\quad \leq \frac{\epsilon }{\varGamma (\alpha -1)} \int _{0}^{1} (1-s)^{\alpha - 2} \sum _{i=1}^{4} a_{i}(s) (q_{i}+ \epsilon ) \,ds \\ & \qquad{}+ \frac{\epsilon }{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} (1-s)^{ \alpha - 1} \sum _{i=1}^{4} a_{i}(s) (q_{i}+ \epsilon ) \,ds \\ &\qquad{} + \frac{\epsilon }{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} \bigl\vert H _{\alpha }(s) \bigr\vert \sum_{i=1}^{4} a_{i}(s) (q_{i}+\epsilon ) \,ds \\ &\quad \leq \frac{\epsilon }{\varGamma (\alpha -1)} \sum_{i=1}^{4} (q_{i}+ \epsilon ) \biggl[ \int _{0}^{1} (1-s)^{\alpha - 2} a_{i}(s) \,ds\biggr] \\ & \qquad{}+ \frac{\epsilon }{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{4} (q _{i}+\epsilon ) \biggl[ \int _{0}^{1} (1-s)^{\alpha - 2} a_{i}(s) \,ds\biggr] \\ &\qquad{} + \frac{\epsilon }{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{4} (q _{i}+\epsilon ) \biggl[ \int _{0}^{1} (1-s)^{\alpha - 2} a_{i}(s) \,ds\biggr] \\ &\quad = \Biggl( \sum_{i=1}^{4} (q_{i}+\epsilon ) \Vert \hat{a_{i}} \Vert _{[0,1]} \Biggr) \biggl(\frac{1}{ \varGamma (\alpha )} +\frac{ 1}{ \vert A_{\mu } \vert \varGamma (\alpha )} + \frac{ \Vert h \Vert _{1}}{ \vert A_{\mu } \vert \varGamma (\alpha )} \biggr) \epsilon \end{aligned}$$

whenever \(\|x -y\|_{*} < \frac{\delta }{\Delta }\). Hence, \(\|F'_{x}-F'_{y} \| \leq ( \sum_{i=1}^{4} (q_{i}+\epsilon ) \| \hat{a_{i}} \|_{[0,1]} ) (\frac{1}{\varGamma (\alpha -1)} +\frac{ 1+ \|h\|_{1}}{|A_{\mu }| \varGamma (\alpha )} ) \epsilon \) whenever \(\|x -y\|_{*} < \frac{\delta }{ \Delta }\) and so

$$\begin{aligned} \Vert F_{x}-F_{y} \Vert _{*} &= \max \bigl\{ \Vert F_{x}-F_{y} \Vert , \bigl\Vert F'_{x}-F'_{y} \bigr\Vert \bigr\} \\ & \leq \Biggl( \sum_{i=1}^{4} (q_{i}+\epsilon ) \Vert \hat{a_{i}} \Vert _{[0,1]} \Biggr) \biggl(\frac{1}{\varGamma (\alpha -1)} +\frac{ 1+ \Vert h \Vert _{1}}{ \vert A_{\mu } \vert \varGamma (\alpha )} \biggr) \epsilon \end{aligned}$$

whenever \(\|x -y\|_{*} < \frac{\delta }{\Delta }\). Since \(\epsilon >0\) was arbitrary, \(\|F_{x}-F_{y}\|_{*} \to 0\) whenever \(\|x - y \|_{*} \to 0\). This implies that F is continuous. Since \(\lim_{z \to \infty } \frac{M_{i}(\Delta z, \ldots, \Delta z)}{ \Delta z}= m_{i}\) for all \(1 \leq i \leq k_{0}\), for each \(\epsilon >0\) there exists \(r(\epsilon ) >0\) such that \(|\frac{M_{i}(\Delta z, \ldots, \Delta z)}{ \Delta z} - m_{i} | < \epsilon \) whenever \(z \in [r(\epsilon ), \infty )\). Thus,

$$\begin{aligned} M_{i}(\Delta z, \ldots, \Delta z) < (m_{i} + \epsilon ) \Delta z \end{aligned}$$
(7)

for all \(z \in [r(\epsilon ), \infty )\). Since \(\lim_{z \to \infty } N( \Delta z, \ldots, \Delta z) < \infty \), \(\lim_{z \to \infty } \frac{N( \Delta z, \ldots, \Delta z)}{ \Delta z}= 0\). Hence, there exists \(r'(\epsilon ) >0\) such that \(\frac{N(\Delta z, \ldots, \Delta z)}{ \Delta z} < \epsilon \) and

$$\begin{aligned} N(\Delta z, \ldots, \Delta z) < \Delta z \epsilon , \end{aligned}$$
(8)

for all \(z \in [r'(\epsilon ), \infty )\). Since \((\frac{1}{\varGamma ( \alpha -1)}+ \frac{1+ \|h\|_{1}}{|A_{\mu }| \varGamma (\alpha )})\sum_{i=1}^{k_{0}} m_{i} \| \hat{ \theta _{i}}\|_{[0,1]} \in (0, \frac{1}{ \Delta })\), there exists \(\epsilon _{0} > 0\) such that \((\frac{1}{ \varGamma (\alpha -1)}+ \frac{1+ \|h\|_{1}}{|A_{\mu }| \varGamma (\alpha )}) \sum_{i=1}^{k_{0}} (m_{i} + \epsilon ) \| \hat{ \theta _{i}}\|_{[0,1]} + (\frac{1}{\varGamma (\alpha + 1)}+ \frac{\mu ^{\alpha }+ \|h\|_{1}}{|A _{\mu }| \varGamma (\alpha + 1)}) \epsilon _{0} \in (0, \frac{1}{\Delta })\). Now, put \(r_{0} := \max \{ r(\epsilon _{0}), r'(\epsilon _{0}) \}\). By using (7) and (8) for \(z=r_{0}\), we get \(M_{i}(\Delta r_{0}, \ldots, \Delta r_{0}) < (m_{i} + \epsilon _{0}) \Delta r_{0}\) and \(N(\Delta r_{0}, \ldots, \Delta r_{0}) < \Delta r_{0} \epsilon _{0}\). Define \(\varOmega = \{ x \in X: \|x\|_{*} < r_{0} \}\). Let \(x_{0} \in \partial \varOmega \) and \(\lambda \in (0,1)\) be such that \(x_{0} = \lambda F_{x _{0}}\). Then \(\|x_{0}\|_{*} = r\). Now for each \(t \in [0,1]\), we have

$$ x_{0}(t) = \lambda \int _{0}^{1} G(t,s) f\biggl(s, x(s), x'(s), D^{\beta }x(s), \int _{0}^{s} g(\xi )x(\xi ) \,d\xi \biggr) \,ds $$

and so

$$\begin{aligned} & \bigl\vert x_{0}(t) \bigr\vert \\ &\quad = \biggl\vert \lambda \int _{0}^{1} G(t,s) f\biggl(s, x_{0}(s), x'_{0}(s), D^{\beta }x_{0}(s), \int _{0}^{s} g(\xi )x_{0}(\xi ) \,d\xi \biggr) \,ds \biggr\vert \\ &\quad \leq \lambda \Biggl[ \frac{1}{\varGamma (\alpha )} \int _{0}^{t} (t - s)^{ \alpha -1} \sum _{i=1}^{k_{0}} \theta _{i}(s) M_{i} \biggl(x_{0}(s), x'_{0}(s), D^{\beta }x_{0}(s), \int _{0}^{s} g(\xi )x_{0}(\xi ) \,d\xi \biggr) \,ds \\ &\qquad{}+ \frac{1}{\varGamma (\alpha )} \int _{0}^{t} (t - s)^{\alpha -1} N\biggl(x _{0}(s), x'_{0}(s), D^{\beta }x_{0}(s), \int _{0}^{s} g(\xi )x_{0}( \xi ) \,d\xi \biggr) \,ds \\ & \qquad{}+ \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu - s)^{ \alpha -1} \sum _{i=1}^{k_{0}} \theta _{i}(s) M_{i}\biggl(x_{0}(s), x'_{0}(s), D^{\beta }x_{0}(s), \int _{0}^{s} g(\xi )x_{0}(\xi ) \,d\xi \biggr) \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu - s)^{ \alpha -1} N \biggl(x_{0}(s), x'_{0}(s), D^{\beta }x_{0}(s), \int _{0}^{s} g( \xi )x_{0}(\xi ) \,d\xi \biggr) \,ds \\ & \qquad{}+ \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} H_{\alpha }(s) \sum _{i=1}^{k_{0}} \theta _{i}(s) M_{i} \biggl(x_{0}(s), x'_{0}(s), D^{\beta }x_{0}(s), \int _{0}^{s} g(\xi )x_{0}(\xi ) \,d\xi \biggr) \,ds \\ &\qquad{}+ \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} H_{\alpha }(s) \sum _{i=1}^{k_{0}} \theta _{i}(s) N \biggl(x_{0}(s), x'_{0}(s), D^{\beta }x _{0}(s), \int _{0}^{s} g(\xi )x_{0}(\xi ) \,d\xi \biggr) \,ds\Biggr] \\ &\quad \leq \lambda \Biggl[ \frac{1}{\varGamma (\alpha )} \sum_{i=1}^{k_{0}} \int _{0}^{t} (t - s)^{\alpha -1} \theta _{i}(s) M_{i}\biggl( \Vert x_{0} \Vert _{*}, \Vert x _{0} \Vert _{*}, \frac{ \Vert x_{0} \Vert _{*}}{\varGamma (2 - \beta )}, m \Vert x_{0} \Vert _{*}\biggr) \,ds \\ &\qquad{}+ \frac{1}{\varGamma (\alpha )} \int _{0}^{t} (t - s)^{\alpha -1} N\biggl( \Vert x _{0} \Vert _{*}, \Vert x_{0} \Vert _{*}, \frac{ \Vert x_{0} \Vert _{*}}{\varGamma (2 - \beta )}, m \Vert x_{0} \Vert _{*}\biggr) \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{k_{0}} \int _{0}^{\mu } (\mu - s)^{\alpha -1} \theta _{i}(s) M_{i}\biggl( \Vert x_{0} \Vert _{*}, \Vert x_{0} \Vert _{*}, \frac{ \Vert x_{0} \Vert _{*}}{\varGamma (2 - \beta )}, m \Vert x_{0} \Vert _{*}\biggr) \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu - s)^{ \alpha -1} N\biggl( \Vert x_{0} \Vert _{*}, \Vert x_{0} \Vert _{*}, \frac{ \Vert x_{0} \Vert _{*}}{ \varGamma (2 - \beta )}, m \Vert x_{0} \Vert _{*}\biggr) \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{k_{0}} \int _{0}^{1} H_{\alpha }(s) \theta _{i}(s) M_{i}\biggl( \Vert x_{0} \Vert _{*}, \Vert x_{0} \Vert _{*}, \frac{ \Vert x_{0} \Vert _{*}}{\varGamma (2 - \beta )}, m \Vert x_{0} \Vert _{*}\biggr) \,ds \\ &\qquad{}+ \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} H_{\alpha }(s) \sum _{i=1}^{k_{0}} \theta _{i}(s) N\biggl( \Vert x_{0} \Vert _{*}, \Vert x_{0} \Vert _{*}, \frac{ \Vert x_{0} \Vert _{*}}{\varGamma (2 - \beta )}, m \Vert x_{0} \Vert _{*}\biggr) \,ds \Biggr] \\ &\quad \leq \lambda \Biggl[ \frac{1}{\varGamma (\alpha )} \sum_{i=1}^{k_{0}} M _{i}(\Delta r_{0}, \Delta r_{0}, \Delta r_{0}, \Delta r_{0} ) \int _{0}^{1} (1 - s)^{\alpha -2} \theta _{i}(s) \,ds \\ &\qquad{}+ \frac{1}{\varGamma (\alpha )} N(\Delta r_{0}, \Delta r_{0}, \Delta r_{0}, \Delta r_{0} ) \int _{0}^{t} (t - s)^{\alpha -1} \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{k_{0}} M_{i}( \Delta r_{0}, \Delta r_{0}, \Delta r_{0}, \Delta r_{0} ) \int _{0}^{1} (1- s)^{\alpha -2} \theta _{i}(s) \,ds \\ & \qquad{}+ \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} N(\Delta r_{0}, \Delta r _{0}, \Delta r_{0}, \Delta r_{0} ) \int _{0}^{\mu } (\mu - s)^{\alpha -1} \,ds \\ &\qquad{} + \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \Vert h \Vert _{1} \sum _{i=1}^{k _{0}} M_{i} (\Delta r_{0}, \Delta r_{0}, \Delta r_{0}, \Delta r_{0} ) \int _{0}^{1} (1 - s)^{\alpha -2} \theta _{i}(s) \,ds \\ &\qquad{}+ \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \Vert h \Vert _{1} N(\Delta r_{0}, \Delta r_{0}, \Delta r_{0}, \Delta r_{0} ) \int _{0}^{1} (1 - s)^{ \alpha -1} \,ds \Biggr] \\ &\quad \leq \lambda \Biggl[ \frac{1}{\varGamma (\alpha )} \sum_{i=1}^{k_{0}} \Delta (m_{i} + \epsilon _{0}) r_{0} \Vert \hat{ \theta _{i}} \Vert _{[0,1]} + \frac{t^{\alpha }}{\varGamma (\alpha +1)} \Delta r_{0} \epsilon _{0} \\ &\qquad{}+ \frac{t}{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{k_{0}} \Delta (m_{i} + \epsilon _{0}) r_{0} \Vert \hat{ \theta _{i}} \Vert _{[0,1]} + \frac{t \mu ^{\alpha }}{ \vert A_{\mu } \vert \varGamma (\alpha + 1)} \Delta r_{0} \epsilon _{0} \\ &\qquad{}+ \frac{t \Vert h \Vert _{1}}{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{k _{0}} \Delta (m_{i} + \epsilon _{0}) r_{0} \Vert \hat{ \theta _{i}} \Vert _{[0,1]} + \frac{t \Vert h \Vert _{1}}{ \vert A_{\mu } \vert \varGamma (\alpha + 1)} \Delta r_{0} \epsilon _{0}\Biggr] \end{aligned}$$

for all \(t \in [0,1]\). Hence,

$$\begin{aligned} \Vert x_{0} \Vert \leq{}& \lambda \Biggl[ \biggl( \frac{1}{\varGamma (\alpha )} +\frac{1+ \Vert h \Vert _{1}}{ \vert A_{\mu } \vert \varGamma (\alpha )}\biggr) \sum_{i=1}^{k_{0}} (m_{i} + \epsilon _{0}) \Vert \hat{ \theta _{i}} \Vert _{[0,1]} \\ &{}+ \biggl(\frac{1}{\varGamma ( \alpha +1)} + \frac{\mu ^{\alpha }+ \Vert h \Vert _{1}}{ \vert A_{\mu } \vert \varGamma ( \alpha +1 )}\biggr) \epsilon _{0}\Biggr] \Delta r_{0} \\ \leq{}& \lambda \Biggl[ \biggl(\frac{1}{\varGamma (\alpha -1)} +\frac{1+ \Vert h \Vert _{1}}{ \vert A_{\mu } \vert \varGamma (\alpha )}\biggr) \sum_{i=1}^{k_{0}} (m_{i} + \epsilon _{0}) \Vert \hat{ \theta _{i}} \Vert _{[0,1]} \\ &{}+ \biggl(\frac{1}{\varGamma (\alpha +1)} +\frac{ \mu ^{\alpha }+ \Vert h \Vert _{1}}{ \vert A_{\mu } \vert \varGamma (\alpha +1 )}\biggr) \epsilon _{0} \Biggr] \Delta r_{0} \\ < {}& r_{0}. \end{aligned}$$

Also for each \(t \in [0,1]\), we have

$$\begin{aligned} & \bigl\vert x'_{0}(t) \bigr\vert \\ &\quad = \biggl\vert \lambda \int _{0}^{1} \frac{\partial G}{\partial t} (t,s) f\biggl(s, x_{0}(s), x'_{0}(s), D^{\beta }x_{0}(s), \int _{0}^{s} g( \xi )x_{0}(\xi ) \,d\xi \biggr) \,ds \biggr\vert \\ &\quad \leq \lambda \Biggl[ \frac{1}{\varGamma (\alpha -1)} \int _{0}^{t} (t - s)^{ \alpha -2} \sum _{i=1}^{k_{0}} \theta _{i}(s) M_{i} \biggl(x_{0}(s), x'_{0}(s), D^{\beta }x_{0}(s), \int _{0}^{s} g(\xi )x_{0}(\xi ) \,d\xi \biggr) \,ds \\ &\qquad{}+ \frac{1}{\varGamma (\alpha -1)} \int _{0}^{t} (t - s)^{\alpha -2} N\biggl(x _{0}(s), x'_{0}(s), D^{\beta }x_{0}(s), \int _{0}^{s} g(\xi )x_{0}( \xi ) \,d\xi \biggr) \,ds \\ &\qquad{} + \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu - s)^{ \alpha -1} \sum _{i=1}^{k_{0}} \theta _{i}(s) M_{i}\biggl(x_{0}(s), x'_{0}(s), D^{\beta }x_{0}(s), \int _{0}^{s} g(\xi )x_{0}(\xi ) \,d\xi \biggr) \,ds \\ &\qquad{} + \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu - s)^{ \alpha -1} N \biggl(x_{0}(s), x'_{0}(s), D^{\beta }x_{0}(s), \int _{0}^{s} g( \xi )x_{0}(\xi ) \,d\xi \biggr) \,ds \\ &\qquad{} + \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} H_{\alpha }(s) \sum _{i=1}^{k_{0}} \theta _{i}(s) M_{i} \biggl(x_{0}(s), x'_{0}(s), D^{\beta }x_{0}(s), \int _{0}^{s} g(\xi )x_{0}(\xi ) \,d\xi \biggr) \,ds \\ &\qquad{}+ \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} H_{\alpha }(s) \sum _{i=1}^{k_{0}} \theta _{i}(s) N \biggl(x_{0}(s), x'_{0}(s), D^{\beta }x _{0}(s), \int _{0}^{s} g(\xi )x_{0}(\xi ) \,d\xi \biggr) \,ds\Biggr] \\ &\quad \leq \lambda \Biggl[ \frac{1}{\varGamma (\alpha -1)} \sum_{i=1}^{k_{0}} \int _{0}^{t} (t - s)^{\alpha -2} \theta _{i}(s) M_{i}\biggl( \Vert x_{0} \Vert _{*}, \Vert x_{0} \Vert _{*}, \frac{ \Vert x_{0} \Vert _{*}}{\varGamma (2 - \beta )}, m \Vert x_{0} \Vert _{*}\biggr) \,ds \\ &\qquad{}+ \frac{1}{\varGamma (\alpha -1)} \int _{0}^{t} (t - s)^{\alpha -2} N\biggl( \Vert x_{0} \Vert _{*}, \Vert x_{0} \Vert _{*}, \frac{ \Vert x_{0} \Vert _{*}}{\varGamma (2 - \beta )}, m \Vert x_{0} \Vert _{*}\biggr) \,ds \\ &\qquad {}+ \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{k_{0}} \int _{0}^{\mu } (\mu - s)^{\alpha -1} \theta _{i}(s) M_{i}\biggl( \Vert x_{0} \Vert _{*}, \Vert x_{0} \Vert _{*}, \frac{ \Vert x_{0} \Vert _{*}}{\varGamma (2 - \beta )}, m \Vert x_{0} \Vert _{*}\biggr) \,ds \\ &\qquad{} + \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{\mu } (\mu - s)^{ \alpha -1} N\biggl( \Vert x_{0} \Vert _{*}, \Vert x_{0} \Vert _{*}, \frac{ \Vert x_{0} \Vert _{*}}{ \varGamma (2 - \beta )}, m \Vert x_{0} \Vert _{*}\biggr) \,ds \\ & \qquad{}+ \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{k_{0}} \int _{0}^{1} H_{\alpha }(s) \theta _{i}(s) M_{i}\biggl( \Vert x_{0} \Vert _{*}, \Vert x_{0} \Vert _{*}, \frac{ \Vert x_{0} \Vert _{*}}{\varGamma (2 - \beta )}, m \Vert x_{0} \Vert _{*}\biggr) \,ds \\ &\qquad{}+ \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \int _{0}^{1} H_{\alpha }(s) \sum _{i=1}^{k_{0}} \theta _{i}(s) N\biggl( \Vert x_{0} \Vert _{*}, \Vert x_{0} \Vert _{*}, \frac{ \Vert x_{0} \Vert _{*}}{\varGamma (2 - \beta )}, m \Vert x_{0} \Vert _{*}\biggr) \,ds \Biggr] \\ &\quad \leq \lambda \Biggl[ \frac{1}{\varGamma (\alpha -1)} \sum_{i=1}^{k_{0}} M _{i}(\Delta r_{0}, \Delta r_{0}, \Delta r_{0}, \Delta r_{0} ) \int _{0}^{1} (1 - s)^{\alpha -2} \theta _{i}(s) \,ds \\ &\qquad{}+ \frac{1}{\varGamma (\alpha -1)} N(\Delta r_{0}, \Delta r_{0}, \Delta r_{0}, \Delta r_{0} ) \int _{0}^{t} (t - s)^{\alpha -2} \,ds \\ & \qquad{}+ \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{k_{0}} M_{i}( \Delta r_{0}, \Delta r_{0}, \Delta r_{0}, \Delta r_{0} ) \int _{0}^{1} (1- s)^{\alpha -2} \theta _{i}(s) \,ds \\ &\qquad{} + \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} N(\Delta r_{0}, \Delta r _{0}, \Delta r_{0}, \Delta r_{0} ) \int _{0}^{\mu } (\mu - s)^{\alpha -1} \,ds \\ &\qquad{} + \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \Vert h \Vert _{1} \sum _{i=1}^{k _{0}} M_{i} (\Delta r_{0}, \Delta r_{0}, \Delta r_{0}, \Delta r_{0} ) \int _{0}^{1} (1 - s)^{\alpha -2} \theta _{i}(s) \,ds \\ &\qquad{}+ \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \Vert h \Vert _{1} N(\Delta r_{0}, \Delta r_{0}, \Delta r_{0}, \Delta r_{0} ) \int _{0}^{1} (1 - s)^{ \alpha -1} \,ds \Biggr] \\ &\quad \leq \lambda \Biggl[ \frac{1}{\varGamma (\alpha -1)} \sum_{i=1}^{k_{0}} \Delta (m_{i} + \epsilon _{0}) r_{0} \Vert \hat{ \theta _{i}} \Vert _{[0,1]} + \frac{t^{\alpha -1}}{\varGamma (\alpha )} \Delta r_{0} \epsilon _{0} \\ &\qquad{}+ \frac{1}{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{k_{0}} \Delta (m_{i} + \epsilon _{0}) r_{0} \Vert \hat{ \theta _{i}} \Vert _{[0,1]} + \frac{ \mu ^{\alpha }}{ \vert A_{\mu } \vert \varGamma (\alpha + 1)} \Delta r_{0} \epsilon _{0} \\ &\qquad{}+ \frac{ \Vert h \Vert _{1}}{ \vert A_{\mu } \vert \varGamma (\alpha )} \sum_{i=1}^{k _{0}} \Delta (m_{i} + \epsilon _{0}) r_{0} \Vert \hat{ \theta _{i}} \Vert _{[0,1]} + \frac{ \Vert h \Vert _{1}}{ \vert A_{\mu } \vert \varGamma ( \alpha + 1)} \Delta r_{0} \epsilon _{0}\Biggr]. \end{aligned}$$

Thus, \(\|x'_{0}\| \leq \lambda [ (\frac{1}{\varGamma (\alpha -1)} +\frac{1+ \|h\|_{1}}{| A_{\mu }| \varGamma (\alpha )}) \sum_{i=1}^{k_{0}} (m_{i} + \epsilon _{0}) \| \hat{ \theta _{i}}\|_{[0,1]} + (\frac{1}{ \varGamma (\alpha +1)} +\frac{\mu ^{\alpha }+ \|h\|_{1}}{| A_{\mu }| \varGamma (\alpha +1 )}) \epsilon _{0}] \Delta r_{0} < r_{0}\) and so \(\|x_{0}\|_{*} = \max \{ \|x_{0}\|, \|x'_{0}\| \} < r_{0}\). Now by using Lemma 2, F has a fixed point in Ω̄ and so the problem (1) has a solution. □

Example 1

Consider the problem

$$\begin{aligned} &D^{\frac{5}{2}} x(t) + \theta (t) M\biggl(x(t), x'(t), D^{\frac{1}{2}} x(t), \int _{0}^{t} \xi x(\xi ) \,d\xi \biggr) + N \biggl(x(t), x'(t), D^{\frac{1}{2}} x(t), \int _{0}^{t} \xi x(\xi ) \,d\xi \biggr)\\ &\quad=0 \end{aligned}$$

with boundary conditions \(x(\frac{2}{3})=\int _{0}^{1} z x(z) \,dz\) and \(x(0)= x'' (0) = 0\), where \(M( x_{1}, \ldots, x_{4})= \varSigma _{i=1}^{4} |x_{i}|\), \(N( x_{1}, \ldots, x_{4}) =\sum_{i=1}^{4} \frac{|x_{i}|}{1+|x _{i}|}\), \(\theta (t) = \frac{1}{50 \sqrt{1-t} p(t)}\) and \(p(t)=0\) whenever \(t\in [0,1] \cap \mathcal{Q}\) and \(p(t)=1\) as \(t\in [0,1] \cap \mathcal{Q}^{c}\). Put \(f(t, (x_{1},\dots , x_{4}) = \theta (t) M( x_{1},\dots , x_{4})+ N( x_{1}, \ldots, x_{4})\), \(k_{0} =1\), \(M_{1}(x _{1},\dots , x_{4}) := M(x_{1},\dots , x_{4})\), \(\theta _{1}(t) := \theta (t)\), \(a_{1}(t) = \cdots = a_{4} (t) := 1+\theta (t)\), \(\varLambda _{1}(z) =\cdots = \varLambda _{4}(z)= z\), \(g_{1}(z)=\cdots = g_{4}(z)=g(t)= h(t)= t\), \(\alpha = \frac{5}{2}\), \(\beta = \frac{1}{2}\), \(\lambda = \frac{1}{2}\) and \(\mu =\frac{2}{3}\). Then we have

$$\begin{aligned} & \bigl\vert f(t, x_{1}, x_{2}, \ldots, x_{4}) - f(t, y_{1}, y_{2}, \ldots, y_{4}) \bigr\vert \\ &\quad= \theta (t) \Biggl\vert \sum_{i=1}^{4} \vert x_{i} \vert - \vert y_{i} \vert \Biggr\vert + \Biggl\vert \sum_{i=1} ^{4} \frac{(1+ \vert y_{i} \vert ) \vert x_{i} \vert - (1+ \vert x_{i} \vert ) \vert y_{i} \vert }{(1+ \vert x_{i} \vert ) (1+ \vert y _{i} \vert )} \Biggr\vert \\ &\quad \leq \theta (t) \sum_{i=1}^{4} \vert x_{i} - y_{i} \vert + \sum_{i=1}^{4} \frac{ \vert x _{i} - y_{i} \vert }{(1+ \vert x_{i} \vert ) (1+ \vert y_{i} \vert )} \\ &\quad \leq \theta (t) \sum_{i=1}^{4} \vert x_{i} - y_{i} \vert + \sum_{i=1}^{4} \vert x _{i} - y_{i} \vert \\ &\quad = \bigl(\theta (t) +1\bigr) \sum_{i=1}^{4} \vert x_{i} - y_{i} \vert = \sum _{i=1}^{4} a _{i}(t) \varLambda _{i} \bigl( \vert x_{i} - y_{i} \vert \bigr). \end{aligned}$$

One can see that \(\hat{a_{i}}(t) = (1-s)^{\alpha -2} a_{i}(t) \in L ^{1}[0,1]\), \(\varLambda _{i}: \mathbb{R}^{+} \to \mathbb{R}^{+}\) is nondecreasing, \(\lim_{z \to 0^{+}} \frac{\varLambda _{i}(z)}{g_{i}(z)}= 1:= q_{i} \in [0, \infty )\) and \(\lim_{z \to 0^{+}}g_{i}(z)= 0\) for \(1 \leq i \leq 4\). Also, M and N are nondecreasing with respect to all their components, \(\lim_{z \to \infty } \frac{M_{1}(z, \ldots, z)}{z}= 4 :=m_{1} \in (0, \infty )\) and \(\lim_{z \to \infty } N(z, \ldots, z)= 4 < \infty \). Note that, \(g,h \in L^{1}[0,1]\), \(\int _{0}^{1} z h(z)\, dz = \frac{1}{3} \neq \mu \), \(m:= \|g\|_{1} = \frac{1}{2}\), \(A_{\mu }= \int _{0}^{1} (zh(z) - \mu ) \,dz = \int _{0}^{1} (z^{2} - \frac{2}{3}) \,dz = \frac{1}{3}\), \(\Delta := \max \{ 1, m, \frac{1}{\varGamma (2-\beta )} \}= \frac{2}{\sqrt{ \pi }}\) and \(\| \hat{\theta _{1}}\|_{[0,1]} = \frac{1}{50}\). Finally, we have

$$\begin{aligned} & \biggl(\frac{1}{\varGamma (\alpha - 1)}+ \frac{1+ \Vert h \Vert _{1}}{ \vert A_{\mu } \vert \varGamma (\alpha )}\biggr)\sum _{i=1}^{k_{0}} m_{i} \Vert \hat{ \theta _{i}} \Vert _{[0,1]} \\ &\quad = \biggl(\frac{1}{\varGamma (\frac{3}{2})}+ \frac{1+ \frac{1}{2}}{ \frac{1}{3} \varGamma (\frac{5}{2})}\biggr) \times 4 \times \frac{1}{ 50 } \\ &\quad = \biggl(\frac{2 }{\sqrt{\pi }}+ 6 \sqrt{\pi }\biggr) \times 4 \times \frac{1}{ 50 } \in \biggl(0, \frac{2}{\sqrt{\pi }}\biggr) = \biggl(0, \frac{1}{ \Delta }\biggr). \end{aligned}$$

Thus by using Theorem 4, this problem has a solution.

3 Conclusion

It is important that we increase our ability for studying of complicate fractional integro-differential equation. One of such equations are pointwise defined multi-singular fractional differential equations. Solving of such equations prepares us for modeling of most phenomena without removing most parameters which play a role in the phenomena. It is natural that most software is not able to calculate solutions of most singular differential equations now, while this weakliness relates to the structures of the softwares. In this work, we study the existence of solutions for a pointwise defined multi-singular fractional differential equation under some integral boundary conditions.

References

  1. 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(2), 119–134 (2016)

    MathSciNet  MATH  Google Scholar 

  2. Baleanu, D., Ghafarnezhad, K., Rezapour, S.: On a three steps crisis integro-differential equation. Adv. Differ. Equ. 2018, 135 (2018). https://doi.org/10.1186/s13662-019-2088-2

    Article  MathSciNet  MATH  Google Scholar 

  3. Baleanu, D., Mohammadi, H., Rezapour, S.: On a nonlinear fractional differential equation on partially ordered metric spaces. Adv. Differ. Equ. 2013, 83 (2013). https://doi.org/10.1186/1687-1847-2013-83

    Article  MathSciNet  MATH  Google Scholar 

  4. Baleanu, D., Rezapour, S., Mohammadi, H.: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. A, Math. Phys. Eng. Sci. 371, 7 (2013). https://doi.org/10.1098/rsta.2012.0144

    Article  MathSciNet  MATH  Google Scholar 

  5. Baleanu, D., Mohammadi, H., Rezapour, S.: The existence of solutions for a nonlinear mixed problem of singular fractional differential equations. Adv. Differ. Equ. 2013, 359 (2013). https://doi.org/10.1186/1687-1847-2013-359

    Article  MathSciNet  MATH  Google Scholar 

  6. Baleanu, D., Hedayati, V., Rezapour, S., Al-Qurashi, M.M.: On two fractional differential inclusions. SpringerPlus 5(1), 882 (2016)

    Article  Google Scholar 

  7. Baleanu, D., Khan, H., Jafari, H., Khan, R.A., Alipour, M.: On existence results for solutions of a coupled system of hybrid boundary value problems with hybrid conditions. Adv. Differ. Equ. 2015, 318 (2015)

    Article  MathSciNet  Google Scholar 

  8. Baleanu, D., Rezapour, S., Etemad, S., Alsaedi, A.: On a time-fractional integro-differential equation via three-point boundary value conditions. Math. Probl. Eng. 2015, 12 (2015)

    Article  Google Scholar 

  9. Bragdi, M., Debbouche, A., Baleanu, D.: Existence of solutions for fractional differential inclusions with separated boundary conditions in Banach space. Adv. Math. Phys. 2013, 5 (2013)

    Article  MathSciNet  Google Scholar 

  10. Hristova, S., Tunc, C.: Stability of nonlinear Volterra integro-differential equations with Caputo fractional derivative and bounded delays. Electron. J. Differ. Equ. 2019(30), 11 (2019)

    MathSciNet  MATH  Google Scholar 

  11. Khan, H., Tunc, C., Chen, W., Khan, A.: Existence theorems and Hyers–Ulam stability for a class of hybrid fractional differential equations with p-Laplacian operator. J. Appl. Anal. Comput. 8(4), 1211–1226 (2018)

    MathSciNet  Google Scholar 

  12. Ntouyas, S.K., Etemad, S.: On the existence of solutions for fractional differential inclusions with sum and integral boundary conditions. Appl. Math. Comput. 266, 235–243 (2015)

    MathSciNet  MATH  Google Scholar 

  13. Samei, M.E., Hedayati, V., Rezapour, S.: Existence results for a fraction hybrid differential inclusion with Caputo–Hadamard type fractional derivative. Adv. Differ. Equ. 2019, 163 (2019). https://doi.org/10.1186/s13662-019-2090-8

    Article  MathSciNet  MATH  Google Scholar 

  14. Aydogan, M.S., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Bound. Value Probl. 2018(1), 90 (2018). https://doi.org/10.1186/s13661-018-1008-9

    Article  MathSciNet  MATH  Google Scholar 

  15. Aydogan, S.M., Baleanu, D., Mousalou, A., Rezapour, S.: On approximate solutions for two higher-order Caputo–Fabrizio fractional integro-differential equations. Adv. Differ. Equ. 2017(1), 221 (2017). https://doi.org/10.1186/s13662-017-1258-3

    Article  MathSciNet  MATH  Google Scholar 

  16. Baleanu, D., Mousalou, A., Rezapour, S.: A new method for investigating approximate solutions of some fractional integro-differential equations involving the Caputo–Fabrizio derivative. Adv. Differ. Equ. 2017(1), 51 (2017). https://doi.org/10.1186/s13662-017-1088-3

    Article  MathSciNet  MATH  Google Scholar 

  17. Baleanu, D., Mousalou, A., Rezapour, S.: The extended fractional Caputo–Fabrizio derivative of order \(0 \leq \sigma <1\) on \(c_{\mathbb{R} } [0,1]\) and the existence of solutions for two higher-order series-type differential equations. Adv. Differ. Equ. 2018(1), 255 (2018). https://doi.org/10.1186/s13662-018-1696-6

    Article  MATH  Google Scholar 

  18. Baleanu, D., Mousalou, A., Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo–Fabrizio fractional integro-differential equations. Bound. Value Probl. 2017(1), 145 (2017). https://doi.org/10.1186/s13661-017-0867-9

    Article  MathSciNet  MATH  Google Scholar 

  19. Baleanu, D., Rezapour, S., Saberpour, Z.: On fractional integro-differential inclusions via the extended fractional Caputo–Fabrizio derivation. Bound. Value Probl. 2019, 79 (2019). https://doi.org/10.1186/s13661-019-1194-0

    Article  MathSciNet  Google Scholar 

  20. Baleanu, D., Jajarmi, A., Sajjadi, S.S., Mozyrska, D.: A new fractional model and optimal control of a tumor-immune surveillance with non-singular derivative operator. Chaos 29, 083127 (2019). https://doi.org/10.1063/1.5096159

    Article  MathSciNet  MATH  Google Scholar 

  21. Hajipour, M., Jajarmi, A., Baleanu, D.: On the accurate discretization of a highly nonlinear boundary value problem. Numer. Algorithms 79, 679–695 (2018)

    Article  MathSciNet  Google Scholar 

  22. Hajipour, M., Jajarmi, A., Malek, A., Baleanu, D.: Positivity-preserving sixth-order implicit finite difference weighted essentially non-oscillatory scheme for the nonlinear heat equation. Appl. Math. Comput. 325, 146–158 (2018)

    MathSciNet  MATH  Google Scholar 

  23. Jajarmi, A., Arshad, S., Baleanu, D.: A new fractional modelling and control strategy for the outbreak of dengue fever. Phys. A, Stat. Mech. Appl. 535, 122524 (2019). https://doi.org/10.1016/j.physa.2019.122524

    Article  MathSciNet  Google Scholar 

  24. Jajarmi, A., Baleanu, D., Sajjadi, S.S., Asad, J.H.: A new feature of the fractional Euler–Lagrange equations for a coupled oscillator using a nonsingular operator approach. Front. Phys. 7, 196 (2019)

    Article  Google Scholar 

  25. Jajarmi, A., Ghanbari, B., Baleanu, D.: A new and efficient numerical method for the fractional modeling and optimal control of diabetes and tuberculosis co-existence. Chaos 29, 093111 (2019). https://doi.org/10.1063/1.5112177

    Article  MathSciNet  MATH  Google Scholar 

  26. Goswami, A., Singh, J., Kumar, D., Gupta, S., Sushila: An efficient analytical technique for fractional partial differential equations occurring in ion acoustic waves in plasma. J. Ocean Eng. Sci. 4(2), 85–99 (2019)

    Article  Google Scholar 

  27. Goswami, A., Singh, J., Kumar, D., Gupta, S., Sushila: An efficient analytical approach for fractional equal width equations describing hydro-magnetic waves in cold plasma. Phys. A, Stat. Mech. Appl. 524, 563–575 (2019)

    Article  MathSciNet  Google Scholar 

  28. Kumar, D., Singh, J., Baleanu, D.: On the analysis of vibration equation involving a fractional derivative with Mittag-Leffler law. Math. Methods Appl. Sci. 43(1), 443–457 (2020)

    Article  Google Scholar 

  29. Singh, J., Kumar, D., Baleanu, D.: New aspects of fractional Biswas–Milovic model with Mittag-Leffler law. Math. Model. Nat. Phenom. 14(3), 303 (2019)

    Article  MathSciNet  Google Scholar 

  30. Singh, J., Kumar, D., Baleanu, D., Rathore, S.: On the local fractional wave equation in fractal strings. Math. Methods Appl. Sci. 42(5), 1588–1595 (2019)

    Article  MathSciNet  Google Scholar 

  31. Mohammadi, A., Aghazadeh, N., Rezapour, S.: Haar wavelet collocation method for solving singular and nonlinear fractional time-dependent Emden–Fowler equations with initial and boundary conditions. Math. Sci. 13, 255–265 (2019)

    Article  MathSciNet  Google Scholar 

  32. Liu, Y., Wong, P.J.Y.: Global existence of solutions for a system of singular fractional differential equations with impulse effects. J. Appl. Math. Inform. 33(3–4), 327–342 (2015)

    Article  MathSciNet  Google Scholar 

  33. Shabibi, M., Postolache, M., Rezapour, S., Vaezpour, S.M.: Investigation of a multisingular pointwise defined fractional integro-differential equation. J. Math. Anal. 7(5), 61–77 (2016)

    MathSciNet  MATH  Google Scholar 

  34. 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). https://doi.org/10.1186/s13662-018-1583-1

    Article  MathSciNet  MATH  Google Scholar 

  35. Chergui, D., Oussaeif, T.E., Ahcene, M.: Existence and uniqueness of solutions for nonlinear fractional differential equations depending on lower-order derivative with non-separated type integral boundary conditions. AIMS Math. 4(1), 112–133 (2019)

    Article  Google Scholar 

  36. Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  37. Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon and Breach Science Publishers, Switzerland (1993)

    MATH  Google Scholar 

  38. Zeidler, E.: Nonlinear Functional Analysis and Its Applications-I: Fixed Point Theorems. Springer, USA (1986)

    Book  Google Scholar 

Download references

Acknowledgements

The first and third authors were supported by South Tehran Branch, Islamic Azad University. The fourth author was supported by Azarbaijan Shahid Madani University. The authors express their gratitude to the dear unknown referees for their helpful suggestions which improved the final version of this paper.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

Funding

Not available.

Author information

Authors and Affiliations

Authors

Contributions

The authors declare that the study was realized in collaboration with equal responsibilities. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Shahram Rezapour.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Not applicable.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is 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/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Talaee, M., Shabibi, M., Gilani, A. et al. 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-020-2517-2

MSC

Keywords