Skip to main content

Boundary value problem for nonlinear fractional differential equations of variable order via Kuratowski MNC technique


In the present research study, for a given multiterm boundary value problem (BVP) involving the Riemann-Liouville fractional differential equation of variable order, the existence properties are analyzed. To achieve this aim, we firstly investigate some specifications of this kind of variable-order operators, and then we derive the required criteria to confirm the existence of solution and study the stability of the obtained solution in the sense of Ulam-Hyers-Rassias (UHR). All results in this study are established with the help of the Darbo’s fixed point theorem (DFPT) combined with Kuratowski measure of noncompactness (KMNC). We construct an example to illustrate the validity of our observed results.


The idea of fractional calculus is replacing the natural numbers in the derivative order with rational ones. Although it seems an elementary consideration, it has an interesting correspondence in explaining some physical phenomena. In the last two decades, significant research studies appeared on this topic, and some papers dealt with the existence of solutions to the problems of variable order; see, for example, [17].

Whereas many researchers investigated the existence of solutions for fractional constant-order problems, the existence of solutions of variable-order problems is rarely mentioned in the literature (we refer to [813]).

As a result of our investigation in this interesting research field, our findings are unique and noteworthy.

Furthermore, all of the findings in this paper have a great potential to be applied in a variety of transdisciplinary science applications. With the support of our original findings in this research study, we are able to do further research on this open research topic. In other words, the proposed BVP can be extended to more sophisticated real mathematical fractional models in the future.

In particular, Bai et al. [14] studied the following problem:

$$\begin{aligned} \textstyle\begin{cases} ^{c}D^{u}_{0^{+}}x(t)= f(t, x(t), I^{u}_{0^{+}}x(t)),& t\in J:= [a, b], u\in ]0, 1], \\ x(a)=x_{a}, \end{cases}\displaystyle \end{aligned}$$

where \(^{c}D^{u}_{0^{+}}\) and \(I^{u}_{0^{+}}\) stand for the Caputo–Hadamard derivative and Hadamard integral operators of order u, respectively, f is a given function, \(x_{a}\in \mathbb{R}\), and \(0< a< b<\infty \).

Inspired by [14] and [15], we deal with the boundary value problem (BVP)

$$ \textstyle\begin{cases} D^{u(t)}_{0^{+}}x(t)= f_{1}(t, x(t), I^{u(t)}_{0^{+}}x(t)),& t\in J:= [0, T], \\ x(0)=0,\qquad x(T)=0, \end{cases} $$

where \(1< u(t)\leq 2\), \(f_{1}:J\times X \times X \rightarrow X\) is a continuous function, and \(D^{u(t)}_{0^{+}}\) and \(I^{u(t)}_{0^{+}}\) are the Riemann–Liouville fractional derivative and integral of variable order \(u(t)\).

In this paper, we investigate the solution of (1). Further, we study the stability of the obtained solution of (1) in the Ulam–Hyers–Rassias (UHR) sense.


In this section, we introduce some important fundamental definitions that will be needed for obtaining our results in the next sections.

By \(C(J, X)\) we denote the Banach space of continuous functions \(\varkappa :J \to X\) with the norm

$$ \Vert \varkappa \Vert =\sup \bigl\{ \bigl\Vert \varkappa (t) \bigr\Vert : t\in J \bigr\} , $$

where X is a real (or complex) Banach space.

For \(- \infty < a_{1} < a_{2} < + \infty \), we consider the mappings \(u(t): [a_{1}, a_{2}]\rightarrow (0, +\infty ) \) and \(v(t): [a_{1}, a_{2}]\rightarrow (n-1, n)\). Then the left Riemann–Liouville fractional integral (RLFI) of variable order \(u(t)\) for function \(h_{1}(t)\) is [1517]

$$ I^{u(t)}_{a_{1}^{+}}h_{1}(t)= \int _{a_{1}}^{t} \frac{(t-s)^{u(t)-1}}{\Gamma (u(t))}h_{1}(s)\,ds ,\quad t> a_{1}, $$

and the left Riemann–Liouville fractional derivative (RLFD) of variable-order \(v(t)\) for function \(h_{1}(t)\) is [1517]

$$ D^{v(t)}_{a_{1}^{+}}h_{1}(t)= \biggl( \frac{d}{dt} \biggr)^{n} I^{n-v(t)}_{a_{1}^{+}}h_{1}(t)= \biggl(\frac{d}{dt} \biggr)^{n} \int _{a_{1}}^{t} \frac{(t-s)^{n-v(t)-1}}{\Gamma (n-v(t))}h_{1}(s)\,ds ,\quad t> a_{1}. $$

In case of constant \(u(t)\) and \(v(t)\), RLFI and RLFD coincide with the standard Riemann–Liouville fractional derivative and integral, respectively; see, for example, [15, 16, 18].

Let us recall the following pivotal observation.

Lemma 2.1


Let \(\alpha _{1}, \alpha _{2} >0\), \(a_{1} >0\), \(h_{1} \in L(a_{1}, a_{2})\), and \(D_{a_{1}^{+}}^{\alpha _{1}}h_{1}\in L(a_{1}, a_{2})\). Then the differential equation

$$ D_{a_{1}^{+}}^{\alpha _{1}}h_{1}=0 $$

has the unique solution

$$ h_{1}(t)=\omega _{1}(t-a_{1})^{\alpha _{1}-1}+ \omega _{2}(t-a_{1})^{ \alpha _{1}-2}+\cdots+\omega _{n}(t-a_{1})^{\alpha _{1}-n}, $$


$$ I_{a_{1}^{+}}^{\alpha _{1}}D_{a_{1}^{+}}^{\alpha _{1}}h_{1}(t)=h_{1}(t)+ \omega _{1}(t-a_{1})^{\alpha _{1}-1}+\omega _{2}(t-a_{1})^{\alpha _{1}-2}+\cdots +\omega _{n}(t-a_{1})^{\alpha _{1}-n} $$

with \(n-1 < \alpha _{1} \leq n\), \(\omega _{\ell }\in \mathbb{R}\), \(\ell =1,2,\ldots,n\).


$$ D_{a_{1}^{+}}^{\alpha _{1}}I_{a_{1}^{+}}^{\alpha _{1}}h_{1}(t)=h_{1}(t) $$


$$ I_{a_{1}^{+}}^{\alpha _{1}}I_{a_{1}^{+}}^{\alpha _{2}}h_{1}(t)=I_{a_{1}^{+}}^{ \alpha _{2}}I_{a_{1}^{+}}^{\alpha _{1}}h_{1}(t)=I_{a_{1}^{+}}^{ \alpha _{1}+\alpha _{2}}h_{1}(t). $$

Remark 2.1


Note that the semigroup property is not fulfilled for general functions \(u(t)\), \(v(t)\), that is,

$$ I_{a_{1}^{+}}^{u(t)}I_{a_{1}^{+}}^{v(t)}h_{1}(t) \neq I_{a_{1}^{+}}^{u(t)+v(t)}h_{1}(t). $$

Example 2.1


$$\begin{aligned}& u(t)=t,\quad t \in [0, 4], \qquad v(t)= \textstyle\begin{cases} 2, & t \in [0, 1], \\ 3, & t \in ]1, 4], \end{cases}\displaystyle \qquad h_{1}(t)=2,\quad t \in [0, 4], \\& \begin{aligned} I_{0^{+}}^{u(t)}I_{0^{+}}^{v(t)}h_{1}(t)&= \int _{0}^{t} \frac{(t-s)^{u(t)-1}}{\Gamma (u(t))} \int _{0}^{s} \frac{(s-\tau )^{v(s)-1}}{\Gamma (v(s))}h_{1}( \tau )\,d\tau \,ds \\ &= \int _{0}^{t}\frac{(t-s)^{t-1}}{\Gamma (t)} \biggl[ \int _{0}^{1} \frac{(s-\tau )}{\Gamma (2)}2\,d\tau + \int _{1}^{s} \frac{(s-\tau )^{2}}{\Gamma (3)}2\,d\tau \biggr]\,ds \\ &= \int _{0}^{t}\frac{(t-s)^{t-1}}{\Gamma (t)} \biggl[ 2s-1 + \frac{(s-1)^{3}}{3} \biggr] \,ds, \end{aligned} \end{aligned}$$


$$\begin{aligned} I_{0^{+}}^{u(t)+v(t)}h_{1}(t)| =& \int _{0}^{t} \frac{(t-s)^{u(t)+v(t)-1}}{\Gamma (u(t)+v(t))}h_{1}(s)\,ds. \end{aligned}$$

So we get

$$\begin{aligned}& I_{0^{+}}^{u(t)}I_{0^{+}}^{v(t)}h_{1}(t)|_{t=3}= \int _{0}^{3} \frac{(3-s)^{2}}{\Gamma (3)} \biggl[ 2s-1 +\frac{(s-1)^{3}}{3} \biggr] \,ds =\frac{21}{10}, \\& \begin{aligned} I_{0^{+}}^{u(t)+v(t)}h_{1}(t)|_{t=3}={}& \int _{0}^{3} \frac{(3-s)^{u(t)+v(t)-1}}{\Gamma (u(t)+v(t))}h_{1}(s)\,ds \\ ={}& \int _{0}^{1}\frac{(3-s)^{4}}{\Gamma (5)}2\,ds + \int _{1}^{3} \frac{(3-s)^{5}}{\Gamma (6)}2\,ds \\ ={}&\frac{1}{12} \int _{0}^{1} \bigl(s^{4}-12s^{3}+54s^{2}-108s+81 \bigr)\,ds \\ &{}+\frac{1}{60} \int _{1}^{3} \bigl(-s^{5}+15s^{4}-90s^{3}+270s^{2}-405s+243 \bigr)\,ds \\ ={}&\frac{665}{180}. \end{aligned} \end{aligned}$$

Therefore we obtain

$$ I_{0^{+}}^{u(t)}I_{0^{+}}^{v(t)}h_{1}(t)|_{t=3} \neq I_{0^{+}}^{u(t)+v(t)}h_{1}(t)|_{t=3}. $$

Lemma 2.2


Let \(u: J \rightarrow (1, 2]\) be a continuous function. Then for

$$h_{1} \in C_{\delta }(J, X)= \bigl\{ h_{1}(t) \in C(J, X), t^{\delta }h_{1}(t) \in C(J, X) \bigr\} \quad \Bigl(0 \leq \delta \leq \min_{t\in J} \bigl\vert u(t) \bigr\vert \Bigr), $$

the variable-order fractional integral \(I^{u(t)}_{0^{+}}h_{1}(t)\) exists for any points on J.

Lemma 2.3


Let \(u: J \rightarrow (1, 2]\) be a continuous function. Then

$$I^{u(t)}_{0^{+}} h_{1}(t)\in C(J, X)\quad \textit{for }h_{1} \in C(J, X). $$

Definition 2.1


A set \(I\subset \mathbb{R}\) is called a generalized interval if it is either an interval, or \(\{a_{1}\}\), or \(\{ \ \}\).

A finite set \({\mathcal {P}}\) of generalized intervals is called a partition of I if each \(x\in I\) lies in exactly one generalized interval E in \({\mathcal {P}}\).

A function \(g: I \rightarrow X\) is called piecewise constant with respect to partition \({\mathcal {P}}\) of I if for any \(E \in {\mathcal {P}}\), g is constant on E.

Measure of noncompactness

In this subsection, we discuss some necessary background information about KMNCs.

Definition 2.2


Let X be a Banach space, and let \(\Omega _{X}\) be the bounded subsets of X. A KMNC is a mapping \(\zeta :\Omega _{X}\to [0,\infty ]\) constructed as follows:

$$ \zeta (D)=\inf \bigl\{ \epsilon >0: D (\in \Omega _{X}) \subseteq \cup _{ \ell =1}^{n}D_{\ell } , \operatorname {diam} (D_{\ell })\leq \epsilon \bigr\} , $$


$$ \operatorname {diam}(D_{\ell })=\sup \bigl\{ \Vert x-y \Vert : x, y \in D_{\ell } \bigr\} . $$

The following properties are valid for KMNCs.

Proposition 2.1

([26, 27])

Let X be a Banach space, and let D, \(D_{1}\), and \(D_{2}\) be bounded subsets of X. Then:

  1. 1.

    \(\zeta (D)=0\Longleftrightarrow D\) is relatively compact.

  2. 2.

    \(\zeta (\phi )= 0\).

  3. 3.

    \(\zeta (D) =\zeta (\overline{D}) = \zeta (\mathit {convD})\).

  4. 4.

    \(D_{1} \subset D_{2} \Longrightarrow \zeta (D_{1})\leq \zeta (D_{2})\).

  5. 5.

    \(\zeta (D_{1}+D_{2}) \leq \zeta (D_{1})+\zeta (D_{2})\).

  6. 6.

    \(\zeta (\lambda D)=|\lambda |\zeta (D)\), \(\lambda \in \mathbb{R}\).

  7. 7.

    \(\zeta (D_{1}\cup D_{2})=\operatorname {Max}\{\zeta (D_{1}), \zeta (D_{2})\}\).

  8. 8.

    \(\zeta (D_{1}\cap D_{2})=\operatorname {Min}\{\zeta (D_{1}), \zeta (D_{2})\}\).

  9. 9.

    \(\zeta (D+ x_{0})=\zeta (D)\) for all \(x_{0}\in X\).

Lemma 2.4


If \(U\subset C(J, X)\) is an equicontinuous and bounded set, then:

  1. (i)

    the function \(\zeta (U(t))\) is continuous for \(t\in J\), and

    $$ \widehat{\zeta }(U)=\sup_{t\in J} \zeta \bigl(U(t) \bigr); $$
  2. (ii)

    \(\zeta (\int _{0}^{T} x(\theta )\,d\theta :x\in U )\leq \int _{0}^{T}\zeta (U(\theta ))\,d\theta \),


$$ U(s)= \bigl\{ x(s):x\in U \bigr\} , \quad s\in J. $$

Theorem 2.1

(DFPT [26])

Let Λ be nonempty, closed, bounded, and convex subset of a Banach space X, and let \(\digamma : \Lambda \longrightarrow \Lambda \) be a continuous operator satisfying

$$ \zeta \bigl(\digamma (S) \bigr)\leq k\zeta (S) \quad \textit{for any } (S\neq \emptyset )\subset \Lambda , k\in [0, 1), $$

that is, Ϝ is a k-set contraction.

Then Ϝ has at least one fixed point in Λ.

Definition 2.3


Let \(\vartheta \in C(J, X)\). Equation of (1) is UHR stable with respect to ϑ if there exists \(c_{f}>0\) such that for any \(\epsilon >0\) and every solution \(z \in C(J, X)\) of the inequality

$$ \bigl\Vert D^{u(t)}_{0^{+}}z(t)- f \bigl(t, z(t), I^{u(t)}_{0^{+}}z(t) \bigr) \bigr\Vert \leq \epsilon \vartheta (t),\quad t\in J, $$

there exists a solution \(x \in C(J, X)\) of equation (1) with

$$ \bigl\Vert z(t)- x(t) \bigr\Vert \leq c_{f} \epsilon \vartheta (t),\quad t\in J. $$

Existence of solutions

Let us introduce the following assumptions:

  1. (H1)

    Let \(n\in \mathbb{N}\) be an integer, let \({\mathcal {P}} =\{J_{1}:=[0,T_{1}], J_{2}:=(T_{1},T_{2}], J_{3}:=(T_{2},T_{3}],\ldots,J_{n}:=(T_{n-1},T] \}\) be a partition of the interval J, and let \(u(t): J \rightarrow (1,2]\) be a piecewise constant function with respect to \({\mathcal {P}}\), that is,

    $$ u(t)=\sum_{\ell =1}^{n}u_{\ell }I_{\ell }(t)= \textstyle\begin{cases} u_{1} &\text{for } t\in J_{1}, \\ u_{2} & \text{for } t\in J_{2}, \\ \vdots\\ u_{n} &\text{for } t\in J_{n}, \end{cases} $$

    where \(1< u_{\ell } \leq 2 \) are constants, and \(I_{\ell }\) is the indicator of the interval \(J_{\ell }:=(T_{\ell -1},T_{\ell }]\), \(\ell =1,2,\ldots,n\) (with \(T_{0}=0\), \(T_{n}=T\)), such that

    $$ I_{\ell }(t)= \textstyle\begin{cases} 1 & \text{for } t\in J_{\ell }, \\ 0 &\text{elsewhere}. \end{cases} $$
  2. (H2)

    Let \(t^{\delta } f_{1}: J \times X\times X \rightarrow X\) be a continuous function \((0\leq \delta \leq \min_{{t\in J}}|(u(t))|)\). There exist constants \(K, L >0\) such that

    $$t^{\delta } \bigl\Vert f_{1}(t,y_{1}, z_{1})- f_{1}(t,y_{2}, z_{2}) \bigr\Vert \leq K \Vert y_{1}-y_{2} \Vert + L \Vert z_{1}-z_{2} \Vert \quad \text{for all }y_{1}, y_{2}, z_{1}, z_{2} \in X\text{ and } t\in J. $$

Remark 3.1

According to the remark of [30] on page 20, we can easily show that condition (H2) and the inequality

$$ \zeta \bigl(t^{\delta } \bigl\Vert f_{1}(t,B_{1}, B_{2}) \bigr\Vert \bigr)\leq K\zeta (B_{1})+ L \zeta (B_{2}) $$

are equivalent for any bounded sets \(B_{1}, B_{2} \subset X\) and \(t\in J\).

Further, for a given set U of functions \(u: J \to X\), let us denote

$$ U(t)= \bigl\{ u(t), u \in U \bigr\} , \quad t\in J, $$


$$ U(J)= \bigl\{ U(t):v\in U , t\in J \bigr\} . $$

Let us now prove the existence of solution for the BVP (1) via the concepts of MNCK and DFPT.

For \(\ell \in \{1, 2,\ldots,n \}\), by \(E_{\ell }= C(J_{\ell },X)\) we denote the Banach space of continuous functions \(x:J_{\ell } \to X\) equipped with the norm

$$ \Vert x \Vert _{E_{\ell }}=\sup_{t\in J_{\ell }} \bigl\Vert x(t) \bigr\Vert . $$

First, we analyze BVP (1).

By (3) the equation of BVP (1) can be expressed as

$$ \frac{d^{2}}{dt^{2}} \int _{0}^{t} \frac{(t-s)^{1-u(t)}}{\Gamma (2-u(t))}x(s)\,ds = f_{1} \bigl(t, x(t), I^{u(t)}_{0^{+}}x(t) \bigr), \quad t \in J. $$

Taking \((H1)\) into account, equation(4) in the interval \(J_{\ell }, \ell = 1, 2, \ldots, n\), can be written as

$$\begin{aligned}& \frac{d^{2}}{dt^{2}} \biggl( \int _{0}^{T_{1}} \frac{(t-s)^{1-u_{1}}}{\Gamma (2-u_{1})}x(s)\,ds + \cdots+ \int _{T_{\ell -1}}^{t} \frac{(t-s)^{1-u_{\ell }}}{\Gamma (2-u_{\ell })}x(s)\,ds \biggr) \\& \quad = f_{1} \bigl(t, x(t), I^{u_{\ell }}_{0^{+}}x(t) \bigr),\quad t \in J_{\ell }. \end{aligned}$$

Now we introduce the solution to BVP (1).

Definition 3.1

BVP (1) has a solution if there are functions \(x_{\ell }, \ell =1, 2,\ldots, n\), such that \(x_{\ell } \in C([0, T_{\ell }], X)\) fulfills equation (5) and \(x_{\ell }(0) = 0 = x_{\ell }(T_{\ell })\).

According the above observation, BVP (1) can be expressed for any \(t\in J_{ l}\), \(l = 1, 2, \dots , n\), as (5).

For \(0 \leq t \leq T_{\ell -1}\), taking \(x(t)\equiv 0\), we can write (5) as

$$ D^{u_{\ell }}_{T_{\ell -1}^{+}} x(t)= f_{1} \bigl(t, x(t), I^{u_{\ell }}_{T_{ \ell -1}^{+}}x(t) \bigr),\quad t \in J_{\ell }. $$

We will deal with the following BVP:

$$ \textstyle\begin{cases} D^{u_{\ell }}_{T_{\ell -1}^{+}} x(t)= f_{1}(t, x(t), I^{u_{\ell }}_{T_{ \ell -1}^{+}}x(t)),&t \in J_{\ell }, \\ x(T_{{\ell -1}})=0,\qquad x(T_{\ell })=0. \end{cases} $$

For our purpose, the following lemma will be the basis of the solution of (6).

Lemma 3.1

A function \(x \in E_{\ell }\) forms a solution of (6) if and only if x fulfills the integral equation

$$\begin{aligned} x(t) =&-(T_{\ell }-T_{{\ell -1}})^{1-u_{\ell }}(t-T_{\ell -1})^{u_{\ell }-1} I^{u_{\ell }}_{T_{\ell -1}^{+}} f_{1} \bigl(T_{\ell }, x(T_{\ell }), I^{u_{ \ell }}_{T_{\ell -1}^{+}}x(T_{\ell }) \bigr) \\ &{}+I^{u_{\ell }}_{T_{\ell -1}^{+}}f_{1} \bigl(t, x(t), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(t) \bigr). \end{aligned}$$


Let \(x \in E_{\ell }\) be solution of problem (6). Applying the operator \(I^{u_{\ell }}_{T_{\ell -1}^{+}}\) to both sides of (6), from Lemma 2.1 we find

$$\begin{aligned} x(t) =&\omega _{1}(t-T_{{\ell -1}})^{u_{\ell }-1} + \omega _{2}(t-T_{{ \ell -1}})^{u_{\ell }-2} \\ &{}+ \frac{1}{\Gamma (u_{\ell })} \int _{T_{{\ell -1}}}^{t}(t-s)^{u_{ \ell }-1} f_{1} \bigl(s, x(s), I^{u_{\ell }}_{{T_{\ell -1}^{+}}}x(s) \bigr)\,ds, \quad t \in J_{\ell }. \end{aligned}$$

Due to the assumption on the function \(f_{1}\) along with \(x(T_{\ell -1}) = 0\), we conclude that \(\omega _{2}=0\).

Let x satisfy \(x(T_{\ell })=0\). Observe that

$$ \omega _{1} = -(T_{\ell }-T_{{\ell -1}})^{1-u_{\ell }} I^{u_{\ell }}_{T_{ \ell -1}^{+}} f_{1} \bigl(T_{\ell }, x(T_{\ell }), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(T_{ \ell }) \bigr). $$

Then we find

$$\begin{aligned} x(t) =&-(T_{\ell }-T_{{\ell -1}})^{1-u_{\ell }}(t-T_{\ell -1})^{u_{ \ell }-1} I^{u_{\ell }}_{T_{\ell -1}^{+}} f_{1} \bigl(T_{\ell }, x(T_{\ell }), I^{u_{ \ell }}_{T_{\ell -1}^{+}}x(T_{\ell }) \bigr) \\ &{}+ I^{u_{\ell }}_{T_{\ell -1}^{+}}f_{1} \bigl(t, x(t), I^{u_{\ell }}_{T_{ \ell -1}^{+}}x(t) \bigr) , \quad t \in J_{\ell }. \end{aligned}$$

Conversely, let \(x \in E_{\ell }\) be a solution of integral equation (7), Regarding the continuity of the unction \(t^{\delta } f_{1}\) and Lemma 2.1, we deduce that x is a solution of problem (6). □

Our first existence result is based on Theorem 2.1.

Theorem 3.1

Assume that conditions (H1) and (H2) hold and

$$ \frac{2(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}(T_{\ell }^{1-\delta }-T_{\ell -1}^{1-\delta })}{(1-\delta )\Gamma (u_{\ell })} \biggl(K+ L\frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \biggr)< 1. $$

Then problem (6) possesses at least one solution on J.


We construct the operator

$$ W : E_{\ell } \rightarrow E_{\ell } $$

as follows:

$$\begin{aligned} Wx(t) =&-(T_{\ell }-T_{{\ell -1}})^{1-u_{\ell }}(t-T_{\ell -1})^{u_{\ell }-1} I^{u_{\ell }}_{T_{\ell -1}^{+}} f_{1} \bigl(T_{\ell }, x(T_{\ell }), I^{u_{ \ell }}_{T_{\ell -1}^{+}}x(T_{\ell }) \bigr) \\ &{}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{{\ell -1}}}^{t}(t-s)^{u_{\ell -1}} f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr)\,ds, \quad t \in J_{ \ell }. \end{aligned}$$

It follows from the properties of fractional integrals and the continuity of function \(t^{\delta }f_{1}\) that the operator W is well defined.


$$ R_{\ell } \geq \frac{\frac{2f^{\star }(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell })}}{1-\frac{2(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}(T_{\ell }^{1-\delta }-T_{\ell -1}^{1-\delta })}{(1-\delta )\Gamma (u_{\ell })} (K+ L\frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)})} $$


$$ f^{\star }= \sup_{t\in J_{\ell }} \bigl\Vert f_{1}(t, 0, 0) \bigr\Vert . $$

We consider the set

$$ B_{R_{\ell }}= \bigl\{ x \in E_{\ell }, \Vert x \Vert _{E_{\ell }}\leq R_{\ell } \bigr\} . $$

Clearly, \(B_{R_{\ell }}\) is nonempty, closed, convex, and bounded.

Now we demonstrate that W satisfies the assumptions of Theorem 2.1. We shall prove it in four phases.

Step 1: \(W(B_{R_{\ell }})\subseteq (B_{R_{\ell }})\).

For \(x \in B_{R_{\ell }}\), by (H2) we get:

$$\begin{aligned} \bigl\Vert Wx(t) \bigr\Vert \leq & \frac{(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}(t-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1} \bigl\Vert f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr) \bigr\Vert \,ds \\ &{}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{t}(t-s)^{u_{\ell }-1} \bigl\Vert f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr) \bigr\Vert \,ds \\ \leq &\frac{2}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }}(T_{ \ell }-s)^{u_{\ell }-1} \bigl\Vert f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr) \bigr\Vert \,ds \\ \leq &\frac{2}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }}(T_{ \ell }-s)^{u_{\ell }-1} \bigl\Vert f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr)-f_{1}(s, 0, 0) \bigr\Vert \,ds \\ &{}+\frac{2}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{ \ell }-1} \bigl\Vert f_{1}(s, 0, 0) \bigr\Vert \,ds \\ \leq &\frac{2}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }}(T_{ \ell }-s)^{u_{\ell }-1} s^{-\delta } \bigl(K \bigl\Vert x(s) \bigr\Vert + L \bigl\Vert I^{u_{\ell }}_{T_{ \ell -1}^{+}}x(s) \bigr\Vert \bigr)\,ds + \frac{2f^{\star }(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell })} \\ \leq &\frac{2(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }} s^{-\delta } \biggl(K+ L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \biggr) \bigl\Vert x(s) \bigr\Vert \,ds\\ &{} + \frac{2f^{\star }(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell })} \\ \leq &\frac{2(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}(T_{\ell }^{1-\delta }-T_{\ell -1}^{1-\delta })}{(1-\delta )\Gamma (u_{\ell })} \biggl(K+ L\frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \biggr)R_{ \ell }\\ &{} + \frac{2f^{\star }(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell })} \\ \leq & R_{\ell }, \end{aligned}$$

which means that \(W(B_{R_{\ell }}) \subseteq B_{R_{\ell }} \).

Step 2: W is continuous.

Let a sequence \((x_{n})\) converge to x in \(E_{\ell }\), and let \(t \in J_{\ell }\). Then

$$\begin{aligned}& \bigl\Vert (Wx_{n}) (t)-(Wx) (t) \bigr\Vert \\& \quad \leq \frac{(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}(t-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1} \bigl\Vert f_{1} \bigl(s, x_{n}(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x_{n}(s) \bigr) \\& \qquad{}-f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr) \bigr\Vert \,ds \\& \qquad{}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{t}(t-s)^{u_{\ell }-1} \bigl\Vert f_{1} \bigl(s, x_{n}(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x_{n}(s) \bigr)-f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr) \bigr\Vert \,ds \\& \quad\leq \frac{(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1} \bigl\Vert f_{1} \bigl(s, x_{n}(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x_{n}(s) \bigr) \\& \qquad{}-f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr) \bigr\Vert \,ds \\& \qquad{}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }}(t-s)^{u_{ \ell }-1} \bigl\Vert f_{1} \bigl(s, x_{n}(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x_{n}(s) \bigr)-f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr) \bigr\Vert \,ds \\& \quad\leq \frac{2}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }}(T_{ \ell }-s)^{u_{\ell }-1} \bigl\Vert f_{1} \bigl(s, x_{n}(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x_{n}(s) \bigr)-f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr) \bigr\Vert \,ds \\& \quad\leq \frac{2}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }}s^{- \delta }(T_{\ell }-s)^{u_{\ell }-1} \bigl(K \bigl\Vert x_{n}(s)- x(s) \bigr\Vert +L I^{u_{\ell }}_{T_{ \ell -1}^{+}}\|x_{n}(s)-x(s) \bigr)\|)\,ds \\& \quad\leq \frac{2K}{\Gamma (u_{\ell })} \Vert x_{n}- x \Vert _{E_{\ell }} \int _{T_{ \ell -1}}^{T_{\ell }}s^{-\delta }(T_{\ell }-s)^{u_{\ell }-1}\,ds \\& \qquad{}+ \frac{2L}{\Gamma (u_{\ell })} \bigl\Vert I^{u_{\ell }}_{T_{\ell -1}^{+}}(x_{n}-x) \bigr\Vert _{E_{\ell }} \int _{T_{\ell -1}}^{T_{\ell }}s^{-\delta }(T_{\ell }-s)^{u_{ \ell }-1}\,ds \\& \quad\leq \frac{2K}{\Gamma (u_{\ell })} \Vert x_{n}- x \Vert _{E_{\ell }} \int _{T_{ \ell -1}}^{T_{\ell }}s^{-\delta }(T_{\ell }-s)^{u_{\ell }-1}\,ds \\& \qquad{}+ \frac{2L(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell })\Gamma (u_{\ell }+1)} \Vert x_{n}-x \Vert _{E_{\ell }} \int _{T_{\ell -1}}^{T_{\ell }}s^{-\delta }(T_{ \ell }-s)^{u_{\ell }-1}\,ds \\& \quad\leq \biggl(\frac{2K}{\Gamma (u_{\ell })}+ \frac{2L(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell })\Gamma (u_{\ell }+1)} \biggr) \Vert x_{n}-x \Vert _{E_{\ell }} \int _{T_{\ell -1}}^{T_{\ell }}s^{-\delta }(T_{ \ell }-s)^{u_{\ell }-1}\,ds \\& \quad\leq \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}({T_{\ell }}^{1-\delta }-{T_{\ell -1}}^{1-\delta })}{(1-\delta )\Gamma (u_{\ell })} \biggl(2K + \frac{2L(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \biggr) \Vert x_{n}-x \Vert _{E_{\ell }}, \end{aligned}$$

that is,

$$ \bigl\Vert (Wx_{n})-(Wx) \bigr\Vert _{E_{\ell }}\rightarrow 0\quad \text{as } n \rightarrow \infty . $$

Thus the operator W is continuous on \(E_{\ell }\).

Step 3: W is bounded and equicontinuous.

From Step 2 we have \(W(B_{R_{\ell }})= \{W(x): x \in B_{R_{\ell }} \} \subset B_{R_{\ell }}\), and hence, for each \(x \in B_{R_{\ell }}\), we have \(\|W(x)\|_{E_{\ell }} \leq R_{\ell }\), which means that \(W(B_{R_{\ell }})\) is bounded. It remains to check that \(W(B_{R_{\ell }})\) is equicontinuous.

For \(t_{1},t_{2}\in J_{\ell }\), \(t_{1} < t_{2}\), and \(x \in B_{R_{\ell }}\), we have:

$$\begin{aligned}& \bigl\Vert (Wx) (t_{2})-(Wx) (t_{1}) \bigr\Vert \\& \quad = \biggl\Vert - \frac{(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}(t_{2}-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \\& \qquad {}\times \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1} f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr)\,ds \\& \qquad{}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{t_{2}}(t_{2}-s)^{u_{ \ell }-1} f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr)\,ds+ \frac{(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}(t_{1}-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \\& \qquad {}\times \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1} f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr)\,ds\\& \qquad {}- \frac{1}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{t_{1}}(t_{1}-s)^{u_{\ell }-1} f_{1} \bigl(s, x(s), I^{u_{ \ell }}_{T_{\ell -1}^{+}}x(s) \bigr)\,ds \biggr\Vert \\& \quad \leq \frac{(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}}{\Gamma (u_{\ell })} \bigl((t_{2}-T_{\ell -1})^{u_{\ell }-1}-(t_{1}-T_{\ell -1})^{u_{\ell }-1} \bigr)\\& \qquad{}\times \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1} \bigl\Vert f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr) \bigr\Vert \,ds \\& \qquad{}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{t_{1}} \bigl((t_{2}-s)^{u_{ \ell }-1}-(t_{1}-s)^{u_{\ell }-1} \bigr) \bigl\Vert f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{ \ell -1}^{+}}x(s) \bigr) \bigr\Vert \,ds \\& \qquad{}+\frac{1}{\Gamma (u_{\ell })} \int _{t_{1}}^{t_{2}}(t_{2}-s)^{u_{ \ell }-1} \bigl\Vert f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr) \bigr\Vert \,ds \\& \quad \leq \frac{(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}}{\Gamma (u_{\ell })} \bigl((t_{2}-T_{\ell -1})^{u_{\ell }-1}-(t_{1}-T_{\ell -1})^{u_{\ell }-1} \bigr) \\& \qquad{}\times \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1} \bigl\Vert f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr)-f_{1}(s, 0, 0) \bigr\Vert \,ds \\& \qquad{}+\frac{(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}}{\Gamma (u_{\ell })} \bigl((t_{2}-T_{\ell -1})^{u_{\ell }-1}-(t_{1}-T_{\ell -1})^{u_{\ell }-1} \bigr) \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1} \bigl\Vert f_{1}(s, 0, 0) \bigr\Vert \,ds \\& \qquad{}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{t_{1}} \bigl((t_{2}-s)^{u_{ \ell }-1}-(t_{1}-s)^{u_{\ell }-1} \bigr) \bigl\Vert f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{ \ell -1}^{+}}x(s) \bigr)-f_{1}(s, 0, 0) \bigr\Vert \,ds \\& \qquad{}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{t_{1}} \bigl((t_{2}-s)^{u_{ \ell }-1}-(t_{1}-s)^{u_{\ell }-1} \bigr) \bigl\Vert f_{1}(s, 0, 0) \bigr\Vert \,ds \\& \qquad{}+\frac{1}{\Gamma (u_{\ell })} \int _{t_{1}}^{t_{2}}(t_{2}-s)^{u_{ \ell }-1} \bigl\Vert f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr)-f_{1}(s, 0, 0) \bigr\Vert \,ds\\& \qquad{}+\frac{1}{\Gamma (u_{\ell })} \int _{t_{1}}^{t_{2}}(t_{2}-s)^{u_{ \ell }-1} \bigl\Vert f_{1}(s, 0, 0) \bigr\Vert \,ds. \\& \quad \leq \frac{(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}}{\Gamma (u_{\ell })} \bigl((t_{2}-T_{\ell -1})^{u_{\ell }-1}-(t_{1}-T_{\ell -1})^{u_{\ell }-1} \bigr) \\& \qquad{}\times \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1}s^{-\delta } \bigl(K \bigl\Vert x(s) \bigr\Vert +L \bigl\Vert I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr\Vert \bigr)\,ds \\& \qquad{}+\frac{f^{\star }(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}}{\Gamma (u_{\ell })} \bigl((t_{2}-T_{\ell -1})^{u_{\ell }-1}-(t_{1}-T_{\ell -1})^{u_{\ell }-1} \bigr) \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1}\,ds \\& \qquad{}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{t_{1}}s^{-\delta } \bigl((t_{2}-s)^{u_{\ell }-1}-(t_{1}-s)^{u_{\ell }-1} \bigr) \bigl(K \bigl\Vert x(s) \bigr\Vert +L \bigl\Vert I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr\Vert \bigr)\,ds \\& \qquad{}+\frac{f^{\star }}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{t_{1}} \bigl((t_{2}-s)^{u_{\ell }-1}-(t_{1}-s)^{u_{\ell }-1} \bigr)\,ds\\& \qquad{}+ \frac{1}{\Gamma (u_{\ell })} \int _{t_{1}}^{t_{2}}s^{-\delta }(t_{2}-s)^{u_{ \ell }-1} \bigl(K \bigl\Vert x(s) \bigr\Vert +L \bigl\Vert I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr\Vert \bigr)\,ds \\& \qquad{}+\frac{f^{\star }}{\Gamma (u_{\ell })} \int _{t_{1}}^{t_{2}}(t_{2}-s)^{u_{ \ell }-1} \,ds \\& \quad \leq \frac{1}{\Gamma (u_{\ell })} \bigl((t_{2}-T_{\ell -1})^{u_{\ell }-1}-(t_{1}-T_{ \ell -1})^{u_{\ell }-1} \bigr) \bigl(K \Vert x \Vert _{E_{\ell }}+L \bigl\Vert I^{u_{\ell }}_{T_{ \ell -1}^{+}}x \bigr\Vert _{E_{\ell }} \bigr) \int _{T_{\ell -1}}^{T_{\ell }}s^{-\delta }\,ds \\& \qquad{}+\frac{f^{\star }(T_{\ell }-T_{\ell -1})}{\Gamma (u_{\ell }+1)} \bigl((t_{2}-T_{ \ell -1})^{u_{\ell }-1}-(t_{1}-T_{\ell -1})^{u_{\ell }-1} \bigr) \\& \qquad{}+\frac{1}{\Gamma (u_{\ell })} \bigl(K \Vert x \Vert _{E_{\ell }}+L \bigl\Vert I^{u_{\ell }}_{T_{ \ell -1}^{+}}x \bigr\Vert _{E_{\ell }} \bigr) \int _{T_{\ell -1}}^{t_{1}}s^{-\delta } \bigl((t_{2}-t_{1})^{u_{ \ell }-1} \bigr)\,ds \\& \qquad{}+ \frac{f^{\star }}{\Gamma (u_{\ell })} \biggl( \frac{(t_{2}-T_{\ell -1})^{u_{\ell }}}{u_{\ell }}- \frac{(t_{2}-t_{1})^{u_{\ell }}}{{u_{\ell }}}- \frac{(t_{1}-T_{\ell -1})^{u_{\ell }}}{{u_{\ell }}} \biggr) \\& \qquad{}+\frac{(t_{2}-t_{1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \bigl(K \Vert x \Vert _{E_{ \ell }}+L \bigl\Vert I^{u_{\ell }}_{T_{\ell -1}^{+}}x \bigr\Vert _{E_{\ell }} \bigr) \int _{t_{1}}^{t_{2}}s^{- \delta }\,ds+ \frac{f^{\star }}{\Gamma (u_{\ell })} \frac{(t_{2}-t_{1})^{u_{\ell }}}{u_{\ell }} \\& \quad \leq \frac{{T_{\ell }}^{1-\delta }-{T_{\ell -1}}^{1-\delta }}{(1-\delta )\Gamma (u_{\ell })} \bigl((t_{2}-T_{\ell -1})^{u_{\ell }-1}-(t_{1}-T_{\ell -1})^{u_{\ell }-1} \bigr)\\& \qquad{}\times \biggl(K \Vert x \Vert _{E_{\ell }}+L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \Vert x \Vert _{E_{ \ell }} \biggr) \\& \qquad{}+\frac{f^{\star }(T_{\ell }-T_{\ell -1})}{\Gamma (u_{\ell }+1)} \bigl((t_{2}-T_{ \ell -1})^{u_{\ell }-1}-(t_{1}-T_{\ell -1})^{u_{\ell }-1} \bigr) \\& \qquad{}+ \biggl( \frac{({t_{1}}^{1-\delta }-{T_{\ell -1}}^{1-\delta })(t_{2}-t_{1})^{u_{\ell }-1}}{(1-\delta )\Gamma (u_{\ell })} \biggr) \biggl(K \Vert x \Vert _{E_{\ell }}+L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \Vert x \Vert _{E_{ \ell }} \biggr) \\& \qquad{}+ \frac{f^{\star }}{\Gamma (u_{\ell }+1)} \bigl((t_{2}-T_{\ell -1})^{u_{ \ell }}-(t_{2}-t_{1})^{u_{\ell }}-(t_{1}-T_{\ell -1})^{u_{\ell }} \bigr) \\& \qquad{}+ \frac{({t_{2}}^{1-\delta }-{t_{1}}^{1-\delta })(t_{2}-t_{1})^{u_{\ell }-1}}{(1-\delta )\Gamma (u_{\ell })} \biggl(K \Vert x \Vert _{E_{\ell }}+L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \Vert x \Vert _{E_{ \ell }} \biggr) + \frac{f^{\star }(t_{2}-t_{1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \\& \quad \leq \biggl( \frac{{T_{\ell }}^{1-\delta }-{T_{\ell -1}}^{1-\delta }}{(1-\delta )\Gamma (u_{\ell })} \biggl(K+L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \biggr) \Vert x \Vert _{E_{ \ell }}+ \frac{f^{\star }(T_{\ell }-T_{\ell -1})}{\Gamma (u_{\ell }+1)} \biggr)\\& \qquad{}\times \bigl((t_{2}-T_{\ell -1})^{u_{\ell }-1}-(t_{1}-T_{\ell -1})^{u_{ \ell }-1} \bigr) \\& \qquad{}+ \biggl( \frac{{t_{2}}^{1-\delta }-{T_{\ell -1}}^{1-\delta }}{(1-\delta )\Gamma (u_{\ell })} \biggl(K+L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \biggr) \Vert x \Vert _{E_{ \ell }} \biggr) (t_{2}-t_{1})^{u_{\ell }-1} \\& \qquad{}+\frac{f^{\star }}{\Gamma (u_{\ell }+1)} \bigl((t_{2}-T_{\ell -1})^{u_{ \ell }}-(t_{1}-T_{\ell -1})^{u_{\ell }} \bigr). \end{aligned}$$

Hence \(\|(Wx)(t_{2})-(Wx)(t_{1})\|_{E_{\ell }}\rightarrow 0\) as \(|t_{2}-t_{1}|\rightarrow 0\), which implies that \(T(B_{R_{\ell }})\) is equicontinuous.

Step 4: W is a k-set contraction.

For \(U \in B_{R_{\ell }}\) and \(t \in J_{\ell }\), we have:

$$\begin{aligned} \zeta \bigl(W(U) (t) \bigr) =&\zeta \bigl({(Wx) (t), x\in U} \bigr) \\ \leq & \biggl\{ \frac{(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}(t-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1} \zeta f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr)\,ds \\ &{}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{t}(t-s)^{u_{\ell }-1} \zeta f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr)\,ds, x \in U \biggr\} . \end{aligned}$$

Then Remark 3.1 implies that, for each \(s\in J_{i}\),

$$\begin{aligned}& \zeta \bigl(W(U) (t) \bigr)\\& \quad \leq \biggl\{ \frac{(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}(t-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \\& \qquad{}\times \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1} \biggl[K \widehat{\zeta }(U) \int _{T_{{\ell -1}}}^{T_{\ell }}s^{-\delta }\,ds+L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \widehat{\zeta }(U) \int _{T_{{\ell -1}}}^{T_{\ell }}s^{-\delta }\,ds \biggr] \\& \qquad {}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{t}(t-s)^{u_{\ell }-1} \biggl[K \widehat{\zeta }(U) \int _{T_{{\ell -1}}}^{t}s^{-\delta }\,ds\\& \qquad {}+L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \widehat{\zeta }(U) \int _{T_{{\ell -1}}}^{t}s^{-\delta }\,ds \biggr], x \in U \biggr\} \\& \quad \leq \biggl\{ \frac{(t-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }} \biggl[K\widehat{\zeta }(U) \int _{T_{{ \ell -1}}}^{T_{\ell }}s^{-\delta }\,ds+L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \widehat{\zeta }(U) \int _{T_{{\ell -1}}}^{T_{\ell }}s^{-\delta }\,ds \biggr] \\& \qquad {}+\frac{(t-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \int _{T_{ \ell -1}}^{t} \biggl[K\widehat{\zeta }(U) \int _{T_{{\ell -1}}}^{t}s^{- \delta }\,ds\\& \qquad {}+L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \widehat{\zeta }(U) \int _{T_{{\ell -1}}}^{t}s^{-\delta }\,ds \biggr], x \in U \biggr\} \\& \quad \leq \frac{[({T_{\ell }}^{1-\delta }-{T_{\ell -1}}^{1-\delta })+(t^{1-\delta }-{T_{\ell -1}}^{1-\delta })](t-T_{\ell -1})^{u_{\ell }-1}}{(1-\delta )\Gamma (u_{\ell })} \biggl(K+L\frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \biggr) \widehat{ \zeta }(U) \\& \quad \leq \frac{2({T_{\ell }}^{1-\delta }-{T_{\ell -1}}^{1-\delta })(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}}{(1-\delta )\Gamma (u_{\ell })} \biggl(K+L\frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \biggr) \widehat{ \zeta }(U). \end{aligned}$$

Therefore we have:

$$ \widehat{\zeta }(WU)\leq \frac{2({T_{\ell }}^{1-\delta }-{T_{\ell -1}}^{1-\delta })(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}}{(1-\delta )\Gamma (u_{\ell })} \biggl(K+L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \biggr) \widehat{\zeta }(U). $$

Consequently, from (8) we deduce that W forms a set contraction. Hence by Theorem 2.1 problem (6) has at least a solution \(\widetilde{x_{\ell }}\) in \(B_{R_{\ell }}\).


$$ {x}_{\ell }= \textstyle\begin{cases} 0, & t \in [0, T_{\ell -1}], \\ \widetilde{x}_{\ell },& t \in J_{\ell }. \end{cases} $$

We know that \(x_{\ell } \in C([0, T_{\ell }], X)\) defined by (10) satisfies the equation

$$ \frac{d^{2}}{dt^{2}} \biggl( \int _{0}^{T_{1}} \frac{(t-s)^{1-u_{1}}}{\Gamma (2-u_{1})}x_{\ell }(s)\,ds+ \cdots+ \int _{T_{ \ell -1}}^{t}\frac{(t-s)^{1-u_{\ell }}}{\Gamma (2-u_{\ell })}{x_{\ell }}(s)\,ds \biggr) =f_{1} \bigl(s, x_{\ell }(s), I^{u_{\ell }}_{0^{+}} x_{\ell }(s) \bigr) $$

for \(t \in J_{\ell }\), which means that \(x_{\ell }\) is a solution of (5) with \(x_{\ell }(0) =0\) and \(x_{\ell }(T_{\ell }) = \widetilde{x}_{\ell }(T_{\ell }) = 0\). Then

$$ x(t)= \textstyle\begin{cases} x_{1}(t), \quad t \in J_{1}, \\ x_{2}(t)= \textstyle\begin{cases} 0, & t \in J_{1}, \\ \widetilde{x}_{2},& t \in J_{2}, \end{cases}\displaystyle \\ \vdots \\ x_{n}(t)= \textstyle\begin{cases} 0, & t \in [0, T_{\ell -1}], \\ \widetilde{x}_{\ell },& t \in J_{\ell }, \end{cases}\displaystyle \end{cases} $$

forms a solution of BVP (1). □

Ulam–Hyers–Rassias stability

Theorem 4.1

Assume (H1), (H2), (8), and


\(\vartheta \in C(J_{\ell }, X)\) is an increasing function, and there exists \(\lambda _{\vartheta } > 0\) such that

$$ I^{u_{\ell }}_{{T_{\ell -1}}^{+}}\vartheta (t)\leq \lambda _{{ \vartheta }(t)}{\vartheta }(t) \quad \textit{for all } t \in J_{\ell }. $$

Then equation of (1) is UHR stable with respect to ϑ.


Let \(z \in C(J_{\ell }, X)\) be a solution of the inequality

$$ \bigl\Vert D^{u_{\ell }}_{{T_{\ell -1}}^{+}}z(t)- f_{1} \bigl(t, z(t), I^{u_{\ell }}_{{T_{ \ell -1}}^{+}}z(t) \bigr) \bigr\Vert \leq \epsilon \vartheta (t),\quad t \in J_{\ell }. $$

Let \(x \in C(J_{\ell }, X)\) be a solution of the problem

$$\begin{aligned}& D^{u_{\ell }}_{{T_{\ell -1}}^{+}}x(t)= f_{1} \bigl(t, x(t), I^{u_{\ell }}_{{T_{ \ell -1}}^{+}}x(t) \bigr),\quad t\in J_{\ell }. \\& x(T_{\ell -1})=0,\quad x(T_{\ell })=0 \end{aligned}$$

By Lemma 3.1 we have:

$$\begin{aligned} x(t) =& - \frac{(T_{\ell }-T_{{\ell -1}})^{1-u_{\ell }}(t-T_{\ell -1})^{u_{\ell }-1}}{{\Gamma (u_{\ell })}} \int _{T_{{\ell -1}}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell -1}} f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr)\,ds \\ &{}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{{\ell -1}}}^{t}(t-s)^{u_{ \ell -1}} f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr)\,ds. \end{aligned}$$

By integration of (11) from (H3) we obtain:

$$\begin{aligned}& \biggl\Vert z(t){}+\frac{(T_{\ell }-T_{{\ell -1}})^{1-u_{\ell }}(t-T_{\ell -1})^{u_{\ell }-1}}{{\Gamma (u_{\ell })}} \int _{T_{{\ell -1}}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell -1}} f_{1} \bigl(s, z(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}z(s) \bigr)\,ds \\& \qquad {}-\frac{1}{\Gamma (u_{\ell })} \int _{T_{{\ell -1}}}^{t}(t-s)^{u_{ \ell -1}} f_{1} \bigl(s, z(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}z(s) \bigr)\,ds \biggr\Vert \\& \quad \leq \epsilon \int _{T_{\ell -1}}^{t} \frac{(t-s)^{u(i)-1}}{\Gamma (u(i))}\vartheta (s)\,ds \\& \quad \leq \epsilon \lambda _{{\vartheta }(t)}{\vartheta }(t). \end{aligned}$$

On the other hand, for each \(t \in J_{\ell }\), we have:

$$\begin{aligned}& \bigl\Vert z(t)-x(t) \bigr\Vert \\& \quad = \biggl\Vert z(t)+ \frac{(T_{\ell }-T_{{\ell -1}})^{1-u_{\ell }}(t-T_{\ell -1})^{u_{\ell }-1}}{{\Gamma (u_{\ell })}} \int _{T_{{\ell -1}}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell -1}} f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr)\,ds \\& \qquad {}-\frac{1}{\Gamma (u_{\ell })} \int _{T_{{\ell -1}}}^{t}(t-s)^{u_{ \ell -1}} f_{1} \bigl(s, x(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}x(s) \bigr)\,ds \biggr\Vert \\& \quad = \biggl\Vert z(t)+ \frac{(T_{\ell }-T_{{\ell -1}})^{1-u_{\ell }}(t-T_{\ell -1})^{u_{\ell }-1}}{{\Gamma (u_{\ell })}} \int _{T_{{\ell -1}}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell -1}} f_{1} \bigl(s, z(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}z(s) \bigr)\,ds \\& \qquad {}-\frac{1}{\Gamma (u_{\ell })} \int _{T_{{\ell -1}}}^{t}(t-s)^{u_{ \ell -1}} f_{1} \bigl(s, z(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}z(s) \bigr)\,ds \biggr\Vert \\& \qquad {}+\frac{(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}(t-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1} \\& \qquad \bigl\Vert f_{1} \bigl(s, z(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}z \bigr)-f_{1} \bigl(s, x(s), I^{u_{ \ell }}_{T_{\ell -1}^{+}}x \bigr) \bigr\Vert \,ds \\& \qquad {}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{t}(t-s)^{u_{\ell }-1} \bigl\Vert f_{1} \bigl(s, z(s), I^{u_{\ell }}_{T_{\ell -1}^{+}}z \bigr)-f_{1} \bigl(s, x(s), I^{u_{ \ell }}_{T_{\ell -1}^{+}}x \bigr) \bigr\Vert \,ds \\& \quad\leq \lambda _{{\vartheta }(t)}\epsilon {\vartheta }(t)+ \frac{(T_{\ell }-T_{\ell -1})^{1-u_{\ell }}(t-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \\& \qquad{}\times \int _{T_{\ell -1}}^{T_{\ell }}(T_{\ell }-s)^{u_{\ell }-1} s^{-\delta } \bigl(K \bigl\Vert z(s)-x(s) \bigr\Vert +L I^{u_{\ell }}_{T_{\ell -1}^{+}} \bigl\Vert z(s)-x(s) \bigr\Vert \bigr)\,ds \\& \qquad {}+\frac{1}{\Gamma (u_{\ell })} \int _{T_{\ell -1}}^{t}(t-s)^{u_{\ell }-1} s^{-\delta } \bigl(K \bigl\Vert z(s)-x(s) \bigr\Vert +L I^{u_{\ell }}_{T_{\ell -1}^{+}} \bigl\Vert z(s)-x(s) \bigr\Vert \bigr)\,ds \\& \quad\leq \lambda _{{\vartheta }(t)}\epsilon {\vartheta }(t)+ \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \bigl(K \Vert z-x \Vert _{E_{\ell }}+L I^{u_{\ell }}_{T_{\ell -1}^{+}} \Vert z-x \Vert _{E_{\ell }} \bigr) \int _{T_{\ell -1}}^{T_{\ell }} s^{-\delta }\,ds \\& \qquad {}+\frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}}{\Gamma (u_{\ell })} \bigl(K \Vert z-x \Vert _{E_{\ell }}+L I^{u_{\ell }}_{T_{\ell -1}^{+}} \Vert z-x \Vert _{E_{\ell }} \bigr) \int _{T_{\ell -1}}^{t} s^{-\delta }\,ds \\& \quad\leq \lambda _{{\vartheta }(t)}\epsilon {\vartheta }(t)+ \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}({T_{\ell }}^{1-\delta }-{T_{\ell -1}}^{1-\delta })}{(1-\delta )\Gamma (u_{\ell })} \\& \qquad {}\times\biggl(K \Vert z-x \Vert _{E_{\ell }}+ L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \Vert z-x \Vert _{E_{ \ell }} \biggr) \\& \qquad {}+\frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}({t}^{1-\delta }-{T_{\ell -1}}^{1-\delta })}{(1-\delta )\Gamma (u_{\ell })} \biggl(K \Vert z-x \Vert _{E_{\ell }}+ L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \Vert z-x \Vert _{E_{ \ell }} \biggr) \\& \quad\leq \lambda _{{\vartheta }(t)}\epsilon {\vartheta }(t)+ \frac{2(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}({T_{\ell }}^{1-\delta }-{T_{\ell -1}}^{1-\delta })}{(1-\delta )\Gamma (u_{\ell })} \biggl(K+ L \frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \biggr) \Vert z-x \Vert _{E_{\ell }}. \end{aligned}$$


$$\begin{aligned} \Vert z- y \Vert _{E_{\ell }} \biggl(1- \frac{2({T_{\ell }}^{1-\delta }-{T_{\ell -1}}^{1-\delta })(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}}{(1-\delta )\Gamma (u_{\ell })} \biggl( K + L\frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \biggr) \biggr) \leq & \lambda _{{\vartheta }(t)} \epsilon {\vartheta }(t) \end{aligned}$$

For each \(t \in J_{\ell }\), we obtain:

$$\begin{aligned} \Vert z- y \Vert _{E_{\ell }} \leq & \frac{ \lambda _{{\vartheta }(t)}\epsilon {\vartheta }(t)}{(1-\frac{2({T_{\ell }}^{1-\delta }-{T_{\ell -1}}^{1-\delta })(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}}{(1-\delta )\Gamma (u_{\ell })} ( K + L\frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)}))} \\ =& \biggl[1- \frac{2({T_{\ell }}^{1-\delta }-{T_{\ell -1}}^{1-\delta })(T_{\ell }-T_{\ell -1})^{u_{\ell }-1}}{(1-\delta )\Gamma (u_{\ell })} \biggl( K + L\frac{(T_{\ell }-T_{\ell -1})^{u_{\ell }}}{\Gamma (u_{\ell }+1)} \biggr) \biggr]^{-1}\\ &{}\times \lambda _{{\vartheta }(t)}\epsilon {\vartheta }(t):=c_{f_{1}}\epsilon \vartheta (t). \end{aligned}$$

Then the equation in (6) is UHR stable with respect to ϑ for each \(\ell \in \{1,2,\ldots,n\}\).

Consequently, the equation in (1) is UHR stable with respect to ϑ. □


In this example, we deal with the fractional boundary value problem

$$ \textstyle\begin{cases} D^{u(t)}_{0^{+}}x(t)= \frac{t^{-\frac{1}{3}}e^{-t}}{(e^{e^{\frac{t^{2}}{1+t}}}+4e^{2t}+1)(1+ \vert x(t) \vert + \vert I_{0}^{u(t)}x(t) \vert )}, & t\in J:= [0,2], \\ x(0)=0,\qquad x(2)=0. \end{cases} $$


$$\begin{aligned}& f_{1}(t, y, z)= \frac{t^{-\frac{1}{3}}e^{-t}}{(e^{e^{\frac{t^{2}}{1+t}}}+4e^{2t}+1)(1+y+z)}, \quad (t,y,z)\in [0,2]\times [0,+\infty )\times [0,+\infty ), \\& u(t)= \textstyle\begin{cases} \frac{3}{2}, & t \in J_{1}:=[0, 1], \\ \frac{9}{5}, & t \in J_{2}:=]1, 2]. \end{cases}\displaystyle \end{aligned}$$

Then we have:

$$\begin{aligned} t^{\frac{1}{3}} \bigl\vert f_{1}(t,y_{1},z_{1})-f_{1}(t,y_{2},z_{2}) \bigr\vert =& \biggl\vert \frac{e^{-t}}{(e^{e^{\frac{t^{2}}{1+t}}}+4e^{2t}+1)} \biggl( \frac{1}{1+y_{1}+z_{1}}-\frac{1}{1+y_{2}+z_{2}} \biggr) \biggr\vert \\ \leq &\frac{e^{-t}( \vert y_{1}-y_{2} \vert + \vert z_{1}-z_{2} \vert )}{(e^{e^{\frac{t^{2}}{1+t}}}+4e^{2t}+1)(1+y_{1}+z_{1})(1+y_{2}+z_{2})} \\ \leq &\frac{e^{-t}}{(e^{e^{\frac{t^{2}}{1+t}}}+4e^{2t}+1)} \bigl( \vert y_{1}-y_{2} \vert + \vert z_{1}-z_{2} \vert \bigr) \\ \leq &\frac{1}{(e+5)} \vert y_{1}-y_{2} \vert +\frac{1}{(e+5)} \vert z_{1}-z_{2} \vert . \end{aligned}$$

Thus (H2) holds with \(\delta =\frac{1}{3}\) and \(K =L = \frac{1}{e+5}\).

By (13) the equation of problem (12) can be divided into two expressions as follows:

$$\begin{aligned}& D^{\frac{3}{2}}_{0^{+}}x(t)= \frac{t^{-\frac{1}{3}}e^{-t}}{(e^{e^{\frac{t^{2}}{1+t}}}+4e^{2t}+1)(1+ \vert x(t) \vert + \vert I_{0}^{\frac{3}{2}}x(t) \vert )}, \quad t \in J_{1}, \\& D^{\frac{9}{5}}_{1^{+}}x(t)= \frac{t^{-\frac{1}{3}}e^{-t}}{(e^{e^{\frac{t^{2}}{1+t}}}+4e^{2t}+1)(1+ \vert x(t) \vert + \vert I_{0}^{\frac{9}{5}}x(t) \vert )}, \quad t \in J_{2}. \end{aligned}$$

For \(t\in J_{1}\), problem (12) is equivalent to the problem

$$ \textstyle\begin{cases} D^{\frac{3}{2}}_{0^{+}}x(t)= \frac{t^{-\frac{1}{3}}e^{-t}}{(e^{e^{\frac{t^{2}}{1+t}}}+4e^{2t}+1)(1+ \vert x(t) \vert + \vert I_{0}^{\frac{3}{2}}x(t) \vert )}, & t \in J_{1}, \\ x(0)=0,\qquad x(1)=0. \end{cases} $$

Next, we prove that condition (8) is fulfilled.

$$\begin{aligned}& \frac{2({T_{1}}^{1-\delta }-{T_{0}}^{1-\delta })(T_{1}-T_{0})^{u_{1}-1}}{(1-\delta )\Gamma (u_{1})} \biggl(K + \frac{L(T_{1}-T_{0})^{u_{1}}}{\Gamma (u_{1}+1)} \biggr)\\& \quad = \frac{2}{\frac{2}{3}(e+5)\Gamma (\frac{3}{2})} \biggl(1 + \frac{1}{\Gamma (\frac{5}{2})} \biggr) \simeq 0.7685< 1. \end{aligned}$$

Let \(\vartheta (t)=t^{\frac{1}{2}}\). Then

$$\begin{aligned} I^{u_{1}}_{0^{+}}\vartheta (t) =&\frac{1}{\Gamma (\frac{3}{2})} \int _{0}^{t}(t-s)^{ \frac{1}{2}}s^{\frac{1}{2}} \,ds \\ \leq & \frac{1}{\Gamma (\frac{3}{2})} \int _{0}^{t}(t-s)^{\frac{1}{2}} \,ds \\ \leq & \frac{2}{3\Gamma (\frac{3}{2})}\vartheta (t):= \lambda _{{ \vartheta }(t)}{ \vartheta }(t). \end{aligned}$$

Thus (H3) is satisfied with \(\vartheta (t)=t^{\frac{1}{2}}\) and \(\lambda _{{\vartheta }(t)}=\frac{2}{3\Gamma (\frac{3}{2})}\).

By Theorem 3.1 problem (14) has a solution \(x_{1} \in E_{1}\), and by Theorem 4.1 the equation in (14) is UHR stable.

For \(t \in J_{2}\), problem (12) can be written as follows:

$$ \textstyle\begin{cases} D^{\frac{9}{5}}_{1^{+}}x(t)= \frac{t^{-\frac{1}{3}}e^{-t}}{(e^{e^{\frac{t^{2}}{1+t}}}+4e^{2t}+1)(1+ \vert x(t) \vert + \vert I_{0}^{\frac{9}{5}}x(t) \vert )}, & t \in J_{2}, \\ x(1)=0,\qquad x(2)=0. \end{cases} $$

We see that

$$\begin{aligned}& \frac{2({T_{2}}^{1-\delta }-{T_{1}}^{1-\delta })(T_{2}-T_{1})^{u_{2}-1}}{(1-\delta )\Gamma (u_{2})} \biggl(K + \frac{L(T_{2}-T_{1})^{u_{2}}}{\Gamma (u_{2}+1)} \biggr)\\& \quad = \frac{2({2}^{\frac{2}{3}}-1)}{\frac{2}{3}\Gamma (\frac{9}{5})} \frac{1}{e+5} \biggl(1 + \frac{1}{\Gamma (\frac{14}{5})} \biggr)\simeq 0.3913< 1. \end{aligned}$$

As a result, condition (8) is satisfied. Moreover,

$$\begin{aligned} I^{u_{2}}_{1^{+}}\vartheta (t) =&\frac{1}{\Gamma (\frac{9}{5})} \int _{1}^{t}(t-s)^{ \frac{4}{5}}s^{\frac{1}{2}} \,ds \\ \leq & \frac{1}{\Gamma (\frac{9}{5})} \int _{1}^{t}(t-s)^{\frac{4}{5}} \,ds \\ \leq & \frac{5}{9\Gamma (\frac{9}{5})}\vartheta (t) := \lambda _{{ \vartheta }(t)}{ \vartheta }(t). \end{aligned}$$

Thus (H3) is fulfilled with \(\vartheta (t)=t^{\frac{1}{2}}\) and \(\lambda _{{\vartheta }(t)}=\frac{5}{9\Gamma (\frac{9}{5})}\).

By Theorem 3.1 problem (15) possesses a solution \(\widetilde{x}_{2} \in E_{2}\), Further, Theorem 4.1 yields that (15) is UHR stable.

It is known that

$$ x_{2}(t)= \textstyle\begin{cases} 0 ,& t \in J_{1} \\ \widetilde{x}_{2}(t), & t \in J_{2}. \end{cases} $$

As a result, by Definition 3.1 the boundary value problem (12) has a solution

$$ x(t)= \textstyle\begin{cases} x_{1}(t), \quad t \in J_{1}, \\ x_{2}(t)= \textstyle\begin{cases} 0, & t \in J_{1}, \\ \widetilde{x}_{2}(t), & t \in J_{2}. \end{cases}\displaystyle \end{cases} $$

In addition, by Theorem 4.1 the equation in (12) is UHR stable.


Our proposed multiterm BVP has been successfully investigated in this work via three theorems: The Darbo’s fixed point theorem (DFPT), the Kuratowski measure of noncompactness (KMNC), and the Ulam-Hyers-Rassias stability (UHR) to prove the existence and stability of solutions for our proposed BVP. A numerical example is given at the end to support and validate the potentiality of all our obtained results. As a result of our investigation into this particular research subject, our results are new and novel. Furthermore, with the support of our new results in this work, further research works can be investigated on this open research subject. Our proposed BVP can be possibly extended to other fractional models.

Availability of data and materials

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


  1. Gomez-Aguilar, J.F.: Analytical and numerical solutions of nonlinear alcoholism model via variable-order fractional differential equations. Physica A 494, 52–57 (2018)

    Article  MathSciNet  Google Scholar 

  2. Sun, H., Chen, W., Wei, H., Chen, Y.: A comparative study of constant-order and variable-order fractional models in characterizing memory property of systems. Eur. Phys. J. Spec. Top. 193, 185–192 (2011)

    Article  Google Scholar 

  3. Tavares, D., Almeida, R., Torres, D.F.M.: Caputo derivatives of fractional variable order numerical approximations. Commun. Nonlinear Sci. Numer. Simul. 35, 69–87 (2016)

    Article  MathSciNet  Google Scholar 

  4. da Vanterler, C., Sousa, J., Capelas de Oliverira, E.: Two new fractional derivatives of variable order with non-singular kernel and fractional differential equation. Comput. Appl. Math. 37, 5375–5394 (2018)

    Article  MathSciNet  Google Scholar 

  5. Yang, J., Yao, H., Wu, B.: An efficient numerical method for variable order fractional functional differential equation. Appl. Math. Lett. 76, 221–226 (2018)

    Article  MathSciNet  Google Scholar 

  6. Alzabut, J., Selvam, A., Dhineshbabu, R., Kaabar, M.K.A.: The existence, uniqueness, and stability analysis of the discrete fractional three-point boundary value problem for the elastic beam equation. Symmetry 13(5), 1–18 (2021)

    Article  Google Scholar 

  7. Matar, M.M., Abbas, M.I., Alzabut, J., Kaabar, M.K.A., Etemad, S., Rezapour, Sh.: Investigation of the p-Laplacian nonperiodic nonlinear boundary value problem via generalized Caputo fractional derivatives. Adv. Differ. Equ. 2021, 68 (2021)

    Article  MathSciNet  Google Scholar 

  8. Can, N.H., Kumar, D., Viet, T.V., Nguyen, A.T.: On time fractional pseudo-parabolic equations with nonlocal in time condition. Math. Methods Appl. Sci. 1(19) (2021)

  9. Liua, J.G., Yang, X.J., Feng, Y.Y., Cui, P.: On group analysis of the time fractional extended (2 + 1)-dimensional Zakharov–Kuznetsov equation in quantum magneto-plasmas. Math. Comput. Simul. 178, 407–421 (2020)

    Article  MathSciNet  Google Scholar 

  10. Liua, J.G., Yang, X.J., Feng, Y.Y., Cui, P., Geng, L.L.: On integrability of the higher dimensional time fractional KdV-type equation. J. Geom. Phys. 160, 104000 (2021)

    Article  MathSciNet  Google Scholar 

  11. Phuong, N.D., Hoan, L.V.C., Karapinar, E., Singh, J., Binh, H.D., Can, N.H.: Fractional order continuity of a time semi-linear fractional diffusion-wave system. Alex. Eng. J. 59(6), 4959–4968 (2020)

    Article  Google Scholar 

  12. Singh, J., Kumar, D., Purohit, S.D., Mishra, A.M., Bohra, M.: An efficient numerical approach for fractional multidimensional diffusion equations with exponential memory. Numer. Methods Partial Differ. Equ. 37(2), 1631–1651 (2021)

    Article  MathSciNet  Google Scholar 

  13. Bouazza, Z., Etemad, S., Souid, M.S., Rezapour, S., Martínez, F., Kaabar, M.K.A.: A study on the solutions of a multiterm FBVP of variable order. J. Funct. Spaces 2021, 1–9 (2021)

    Article  MathSciNet  Google Scholar 

  14. Bai, Y., Kong, H.: Existence of solutions for nonlinear Caputo–Hadamard fractional differential equations via the method of upper and lower solutions. J. Nonlinear Sci. Appl. 10, 5744–5752 (2017)

    Article  MathSciNet  Google Scholar 

  15. Samko, S.G.: Fractional integration and differentiation of variable order. Anal. Math. 21, 213–236 (1995)

    Article  MathSciNet  Google Scholar 

  16. Samko, S.G., Boss, B.: Integration and differentiation to a variable fractional order. Integral Transforms Spec. Funct. 1, 277–300 (1993)

    Article  MathSciNet  Google Scholar 

  17. Valerio, D., Costa, J.S.: Variable-order fractional derivatives and their numerical approximations. Signal Process. 91, 470–483 (2011)

    Article  Google Scholar 

  18. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

    Book  Google Scholar 

  19. Zhang, S.: Existence of solutions for two point boundary value problems with singular differential equations of variable order. Electron. J. Differ. Equ. 245, 1 (2013)

    MathSciNet  Google Scholar 

  20. Zhang, S., Hu, L.: Unique existence result of approximate solution to initial value problem for fractional differential equation of variable order involving the derivative arguments on the half-axis. Mathematics 7(286), 1–23 (2019)

    Google Scholar 

  21. Zhang, S., Hu, L.: The existeness and uniqueness result of solutions to initial value problems of nonlinear diffusion equations involving with the conformable variable. Azerb. J. Math. 9(1), 22–45 (2019)

    MathSciNet  Google Scholar 

  22. Zhang, S., Sun, S., Hu, L.: Approximate solutions to initial value problem for differential equation of variable order. J. Fract. Calc. Appl. 9(2), 93–112 (2018)

    MathSciNet  Google Scholar 

  23. Jiahui, A., Pengyu, C.: Uniqueness of solutions to initial value problem of fractional differential equations of variable-order. Dyn. Syst. Appl. 28(3), 607–623 (2019)

    Google Scholar 

  24. Zhang, S.: The uniqueness result of solutions to initial value problems of differential equations of variable-order. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 112, 407–423 (2018)

    Article  MathSciNet  Google Scholar 

  25. Zhang, S., Hu, L.: The existence of solutions and generalized Lyapunov-type inequalities to boundary value problems of differential equations of variable order. AIMS Math. 5(4), 2923–2943 (2020)

    Article  MathSciNet  Google Scholar 

  26. Banas̀, J., Goebel, K.: Measures of Noncompactness in Banach Spaces. Dekker, New York (1980)

    Google Scholar 

  27. Banas̀, J., Olszowy, L.: Measures of noncompactness related to monotonicity. Comment. Math. Prace Mat. 41, 13–23 (2001)

    MathSciNet  MATH  Google Scholar 

  28. Guo, D.J., Lakshmikantham, V., Liu, X.: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic, Dordrecht (1996)

    Book  Google Scholar 

  29. Rus, I.A.: Ulam stabilities of ordinary differential equations in a Banach space. Carpath. J. Math. 26, 103–107 (2010)

    MathSciNet  MATH  Google Scholar 

  30. Benchohra, M., Bouriah, S., Lazreg, J.E., Nieto, J.J.: Nonlinear implicit Hadamard’s fractional differential equations with delay in Banach space. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 55(1), 15–26 (2016)

    MathSciNet  MATH  Google Scholar 

Download references


Not applicable.


Not applicable.

Author information

Authors and Affiliations



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

Corresponding author

Correspondence to Mustafa Inc.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Not applicable.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Benkerrouche, A., Baleanu, D., Said Souid, M. et al. Boundary value problem for nonlinear fractional differential equations of variable order via Kuratowski MNC technique. Adv Differ Equ 2021, 365 (2021).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • 26A33
  • 34K37


  • Fractional differential equations of variable order
  • Boundary value problem
  • Darbo’s fixed point theorem
  • Measure of noncompactness
  • Ulam–Hyers–Rassias stability