1 Preliminaries

We know that many researchers are working on fractional differential equarions from different point of view (see, for example, ([112] 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, [1419]) and new fractional models and optimal controls of different phenomena with the non-singular derivative operator (see, for example, [2024] 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, [2629] 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.