On Ulam–Hyers–Rassias stability of a generalized Caputo type multi-order boundary value problem with four-point mixed integro-derivative conditions

Abstract

In this research article, we turn to studying the existence and different types of stability such as generalized Ulam–Hyers stability and generalized Ulam–Hyers–Rassias stability of solutions for a new modeling of a boundary value problem equipped with the fractional differential equation which contains the multi-order generalized Caputo type derivatives furnished with four-point mixed generalized Riemann–Liouville type integro-derivative conditions. At the end of the current paper, we formulate two illustrative examples to confirm the correctness of theoretical findings from computational aspects.

1 Introduction

New versions of generalized fractional boundary problems have drawn much interest in recent years owing to their extensive utilization in various directions of applied sciences such as engineering, mechanics, potential theory, biology, chemistry, etc. (for example, refer to [1–15]). Many researchers play an important role in different desirable developments on the existence criteria, and some results about the uniqueness for numerous fractional differential equations have been obtained (see for instance [7, 16–24]). On the other hand, the subject of stability is a very important notion in physics since most phenomena in the real world include this concept. In fact, the stability notion of physical phenomena has an old historical context, and for the sake of such importance and applicability, one can observe a lot of work in the numerous publications not only in the last century but also before it (for example, refer to the references [25–33]). Besides, a considerable attention has been given to reviewing and investigating Hyers–Ulam stability of different functional differential and integral equations during recent decades (for example, see [34–42]).

In 2016, Niyom et al. [21] formulated the following boundary value problem supplemented with Riemann–Liouville fractional derivatives of four different orders:

$$ \textstyle\begin{cases} \lambda ^{*} \mathcal{D}^{k^{*}}(u(t))+(1-\lambda ^{*})\mathcal{D}^{ \theta ^{*}}(u(t))=\hat{\Upsilon } ( t, u(t) ),\quad (t\in [0,T], k^{*}\in [1,2)), \\ u(0)=0, \qquad \mu _{1}^{*}\mathcal{D}^{\gamma _{1}^{*}}u(T)+(1- \mu _{1}^{*})\mathcal{D}^{\gamma _{2}^{*}}u(T)=\delta _{1}^{*}, \end{cases} $$

(1)

where $\lambda ^{*}, \mu ^{*}_{1} \in (0,1)$. One year later, Ntouyas et al. [23] reviewed some existence results for the following boundary value problem furnished with multiple orders of mixed Riemann–Liouville integro-derivative operators:

$$ \textstyle\begin{cases} \lambda ^{*} \mathcal{D}^{k^{*}}(u(t))+(1-\lambda ^{*})\mathcal{D}^{ \theta ^{*}}(u(t))=\hat{\Upsilon } ( t, u(t) ), \quad (t \in [0,T], k^{*}\in [1,2)), \\ u(0)=0,\qquad \mu _{2}^{*}\mathcal{I}^{q_{1}^{*}}u(T)+(1-\mu _{2}^{*}) \mathcal{I}^{q_{2}^{*}}u(T)=\delta _{2}^{*}, \end{cases} $$

(2)

where $\lambda ^{*}, \mu ^{*}_{2} \in (0,1)$.

In this position, by utilizing and mixing interesting ideas of the above-mentioned manuscripts, we intend to check some specific aims about the existence of unique solution and different types of stability for the following proposed four-point generalized Caputo type BVP including multi-order fractional integro-derivative conditions of generalized Riemann–Liouville type:

$$ \textstyle\begin{cases} \lambda ^{*} {}^{CC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho }u(t)+ {}^{CC} \mathcal{D}_{t_{0}}^{\theta ^{*},\varrho }u(t)=\hat{\Upsilon } ( t, u(t) ), \quad (t\in [t_{0},T], k^{*}\in [2,3)), \\ u(t_{0})=0, \\ \mu _{1}^{*} {}^{CC}\mathcal{D}_{t_{0}}^{\gamma _{1}^{*},\varrho }u(T)+ {}^{CC}\mathcal{D}_{t_{0}}^{\gamma _{2}^{*},\varrho }u(\eta )=\delta _{1}, \\ \mu _{2}^{*}{}^{RC}\mathcal{I}_{t_{0}}^{q_{1}^{*},\varrho }u(T)+{}^{RC} \mathcal{I}_{t_{0}}^{q_{2}^{*},\varrho }u(\nu )=\delta _{2}, \end{cases} $$

(3)

where $\nu, \eta \in [t_{0},T]$, $2<\theta ^{*}<k^{*}$, $0<\lambda ^{*}, \mu _{1}^{*},\mu _{2}^{*}\leq 1$, $0\leq \gamma _{1}^{*},\gamma _{2}^{*}< k^{*}-\theta ^{*}$, $q_{1}^{*}, q_{2}^{*} \in \mathbb{R}^{+}$, ${}^{CC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho }$ stands for the left generalized Caputo type derivative of order $\beta ^{*}\in \{k^{*},\theta ^{*}, \gamma _{1}^{*}, \gamma _{2}^{*} \}$ with $\varrho \in (0,1]$ and $t_{0}\geq 0$, ${}^{RC}\mathcal{I}_{t_{0}}^{q^{*},\varrho }$ illustrates the left generalized Riemann–Liouville type integral of order $q* \in \{ q_{1}^{*}, q_{2}^{*}\}$. Moreover, the map $\hat{\Upsilon }: [t_{0},T]\times \mathbb{R} \to \mathbb{R}$ is supposed to be continuous. We draw the reader’s attention to the fact that our proposed problem is unique. The novelty of this research is that we have applied fractional generalized Caputo and Riemann–Liouville type operators in such a multi-order structure for the first time, which can cover some existing works as special cases. As a special case, if we take $\varrho = 1$ and $t_{0}=0$, then our multi-order fractional operators reduce to standard fractional operators in the Caputo and Riemann–Liouville setting. The readers can find more details on the structure of new operators ${}^{CC}\mathcal{D}_{t_{0}}^{\cdot, \varrho }$ and ${}^{RC}\mathcal{I}_{t_{0}}^{\cdot,\varrho }$ in the next section. In fact, we believe that this work gives new ideas for other researchers to challenge themselves to study newer and more complex models. Compared to previous published articles in this field, the strength of this work is that the proposed construction can model different natural structures in which the boundary conditions may be designed as mixed integro-derivative conditions. It is natural that in such a case, simple modelings can satisfy as special cases in the context of our existence theorems. In this research article, we turn to study the existence and different types of stability such as generalized Ulam–Hyers stability and generalized Ulam–Hyers–Rassias stability of solutions for a new modeling of boundary value problem (3) furnished with four-point mixed generalized Riemann–Liouville type integro-derivative conditions. The contents in this research manuscript are arranged as follows. In Sect. 2, we review some fundamental and auxiliary notions and properties of fractional generalized Caputo and Riemann–Liouville type operators. In Sect. 3, the existence criteria of solutions for multi-order problem (3) are investigated with the help of some theoretical theorems based on the analytical methods. In Sect. 4, some results on different types of stability of solutions for the proposed multi-order problem (3) are reviewed. At the end of the current paper, two illustrative examples are formulated in Sect. 5 to confirm the correctness of theoretical findings from computational aspects.

2 Preliminaries

Now, we review some fundamental and auxiliary notions and properties of generalized Caputo and Riemann–Liouville type fractional operators. As we see in many literature works, the fractional integral operator of Riemann–Liouville type of order $k^{*} >0$ for a continuous function $w: [0, + \infty ) \to \mathbb{R}$ is given by ${}^{R}\mathcal{I}_{0}^{ k^{*} } w(t) = \int _{0}^{t} \frac{(t - r )^{ k^{*} -1 }}{\Gamma ( k^{*})} w(r) \,\mathrm{d}r$ provided that the value of the integral is finite [5, 43]. Now, let us assume that $k^{*} \in (n-1, n)$ so that $n = [ k^{*} ] +1$. For a given function $w\in \mathcal{AC}^{(n)}_{\mathbb{R}}([0, + \infty ))$, the Caputo fractional derivative operator is defined as follows:

$$ {}^{C}\mathcal{D}_{0}^{ k^{*} } w(t) = \int _{0}^{t} \frac{(t - r)^{n- k^{*} -1}}{\Gamma (n- k^{*} )} w^{(n)}(r) \,\mathrm{d} r $$

so that the right-hand side integral is finite-valued [5, 43]. The left generalized derivative at the initial point $t_{0}$ for a function $w: [t_{0}, \infty ) \to \mathbb{R}$ with $\varrho \in (0,1]$ is given as follows:

$$ \mathcal{D}_{t_{0}}^{\varrho }w(t) = \lim_{\lambda \to 0} \frac{w(t+ \lambda (t-t_{0})^{ 1- \varrho }) - w(t)}{\lambda } $$

so that the value of limit is finite [44]. Furthermore, it is evident that $\mathcal{D}_{t_{0}}^{\varrho }w(t) = (t-t_{0})^{1-\varrho } w'(t)$ if w is a differentiable function. The definition of the left generalized integral of w with $\varrho \in (0, 1]$ is given in the following form: $\mathcal{I}_{t_{0}}^{\varrho }w(t) = \int _{t_{0}}^{t} w(r) \frac{\mathrm{d}r}{(r-t_{0})^{1-\varrho }}$ whenever the right-hand side integral has finite values [44]. Next, Jarad et al. [45] extended aforementioned generalized operators to arbitrary orders in both Riemann–Liouville and Caputo settings. To see this, we assume that $k^{*} \in \mathbb{C}$ with $\operatorname{Re}(k^{*} ) \geq 0$. Then the generalized Riemann–Liouville type fractional integral for a function w of order $k^{*}$ with $\varrho \in (0,1]$ is formulated as follows:

$$ {}^{RC}\mathcal{I}_{t_{0}}^{k^{*}, \varrho } w (t) = \frac{1}{\Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} w(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } $$

if the value of integral exists [45]. One can easily observe that if we take $t_{0}=0$ and $\varrho =1$, then ${}^{RC}\mathcal{I}_{t_{0}}^{k^{*}, \varrho } w (t)$ reduces to the standard operator named the Riemann–Liouville integral ${}^{R}\mathcal{I}_{0}^{ k^{*} } w (t)$. In addition, the generalized Riemann–Liouville type fractional derivative for a function w of order $k^{*}$ with $\varrho \in (0,1]$ is illustrated as follows:

$$\begin{aligned} {}^{RC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho } w (t) &= \mathcal{D}_{t_{0}}^{n, \varrho } \bigl( {}^{RC} \mathcal{I}_{t_{0}}^{ n-k^{*}, \varrho } w \bigr) (t) \\ &= \frac{\mathcal{D}_{t_{0}}^{n, \varrho }}{\Gamma ( n-k^{*} )} { \int _{t_{0}}^{t} } \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{n- k^{*} -1} w(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \end{aligned}$$

provided that $n = [ \operatorname{Re}(k^{*} )] +1$ and $\mathcal{D}_{t_{0}}^{n, \varrho } = \overbrace{\mathcal{D}_{t_{0}}^{\varrho } \mathcal{D}_{t_{0}}^{\varrho } \dots \mathcal{D}_{t_{0}}^{\varrho }}^{n \text{ times}}$, where $\mathcal{D}_{t_{0}}^{\varrho }$ stands for the left generalized derivative with $\varrho \in (0,1]$ [45]. In a similar manner, it is obvious that if we take $t_{0}=0$ and $\varrho =1$, then ${}^{RC}\mathcal{D}_{t_{0}}^{k^{*},\varrho } w (t)$ reduces to the standard operator named Riemann–Liouville derivative ${}^{R}\mathcal{D}_{0}^{ \varrho } w (t)$. In this position, to formulate a similar concept in the Caputo setting, we construct

$$ \mathcal{L}_{\varrho }(t_{0}):= \bigl\{ \varphi: [s_{0},b] \to \mathbb{R}: \mathcal{I}_{t_{0}}^{\varrho } \varphi (s) \text{ exists for any } s\in [t_{0},b] \bigr\} $$

for $\varrho \in (0,1]$ and set

$$ \mathbb{I}_{\upsilon }\bigl([t_{0},b]\bigr):= \bigl\{ w: [t_{0},b] \to \mathbb{R}: w(t) = \mathcal{I}_{t_{0}}^{\varrho } \varphi (t) + w(t_{0}) \text{ for some } \varphi \in \mathcal{L}_{\varrho }(t_{0}) \bigr\} , $$

where $\mathcal{I}_{t_{0}}^{\varrho }\varphi (t) = \int _{t_{0}}^{t} \varphi (r) \,\mathrm{d} \upsilon (r, t_{0}) = \int _{t_{0}}^{t} \varphi (r) \frac{\mathrm{d}r}{(r-t_{0})^{1-\varrho } }$ is a left generalized integral of φ [46]. For $n= 1,2,\dots$, we represent $\mathcal{C}_{t_{0}, \varrho }^{n} ([t_{0},b]):= \{ w: [t_{0},b] \to \mathbb{R}: \mathcal{D}_{t_{0}}^{n-1, \varrho } w \in \mathbb{I}_{\upsilon }([t_{0},b]) \}$. Then the generalized Caputo type fractional derivative for a function $w \in \mathcal{C}_{t_{0}, \upsilon }^{n} ([t_{0},b])$ of order $k^{*}$ with $\varrho \in (0,1]$ is demonstrated by

$$\begin{aligned} {}^{CC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho } w (t) &= {}^{RC} \mathcal{I}_{t_{0}}^{n-k^{*}, \varrho } \bigl( \mathcal{D}_{t_{0}}^{n, \varrho } w \bigr) (t) \\ &= \frac{1}{\Gamma ( n-k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{n- k^{*} -1} \mathcal{D}_{t_{0}}^{n, \varrho } w(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \end{aligned}$$

so that $n = [ \operatorname{Re}(k^{*} )] + 1$ [45]. Evidently, ${}^{CC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho } w (t) = {}^{C} \mathcal{D}_{0}^{k^{*} } w (t)$ if we take $t_{0}=0$ and $\varrho =1$. In the sequel, some fundamental properties of generalized Caputo and Riemann–Liouville type fractional operators can be regarded in two next lemmas.

Lemma 2.1

([45])

Suppose that $\operatorname{Re}(k^{*} ) > 0$, $\operatorname{Re} (\varpi ) > 0$, and $\operatorname{Re}(\beta ) > 0$. Then, for $\varrho \in (0,1]$ and for any $t>t_{0}$, the following four statements are valid:

• (L1) ${}^{RC}\mathcal{I}_{t_{0}}^{k^{*}, \varrho } ( {}^{RC} \mathcal{I}_{t_{0}}^{\varpi, \varrho } w ) (t) = ( {}^{RC} \mathcal{I}_{t_{0}}^{k^{*}+\varpi, \varrho } w ) (s)$,

• (L2) ${}^{RC}\mathcal{I}_{t_{0}}^{k^{*}, \varrho } (t-t_{0})^{\varrho ( \beta -1)} (z) = \frac{1}{\varrho ^{k^{*}} } \frac{ \Gamma (\beta ) }{ \Gamma ( \beta + k^{*} )} (z-t_{0})^{ \varrho ( \beta + k^{*} -1) }$,

• (L3) ${}^{RC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho } (t-t_{0})^{\varrho ( \beta -1)} (z) = \varrho ^{k^{*}} \frac{ \Gamma (\beta ) }{ \Gamma ( \beta - k^{*} )} (z-t_{0})^{ \varrho ( \beta - k^{*} -1) }$,

• (L4) ${}^{RC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho } ( {}^{RC} \mathcal{I}_{t_{0}}^{\varpi, \varrho } w ) (t) = ( {}^{RC} \mathcal{I}_{t_{0}}^{ \varpi - k^{*}, \varrho } w ) (t), (\operatorname{Re}(k^{*} ) < \operatorname{Re} (\varpi ) )$.

Lemma 2.2

([45])

Let $n-1 < \operatorname{Re}(k^{*} ) < n$ and $w\in \mathcal{C}_{t_{0}, \varrho }^{n} ([t_{0},b])$. Then, for $\varrho \in (0,1]$, we have

$$ {}^{RC}\mathcal{I}_{t_{0}}^{k^{*}, \varrho } \bigl( {}^{CC} \mathcal{D}_{t_{0}}^{k^{*}, \varrho } w \bigr) (t) = w(t) - \sum_{j=0}^{n-1} \frac{\mathcal{D}_{t_{0}}^{j, \varrho } w(t_{0})}{ \upsilon ^{j} j!} (t-t_{0})^{j \varrho }. $$

In the light of the above lemma, one can verify that the general solution of the linear homogeneous equation $({}^{CC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho } w )(t) =0$ is computed by

$$ w(t) = \sum_{j=0}^{n-1} b_{j} (t-t_{0})^{j\varrho } = b_{0} + b_{1} (t-t_{0})^{\varrho }+ b_{2} (s-s_{0})^{2\varrho } + \cdots + b_{n-1}(t-t_{0})^{ (n-1)\varrho }, $$

so that $n-1 < \operatorname{Re}(k^{*} ) < n$ and $b_{0}, b_{1}, \dots, b_{n-1} \in \mathbb{R}$.

Note that the following two theorems are utilized to derive the required existence criteria of solutions for the proposed four-point generalized Caputo type fractional BVP including multi-order fractional integro-derivative conditions of generalized Riemann–Liouville type (3).

Theorem 2.3

([47] Krasnoselskii’s fixed point theorem)

Let $\mathcal{M}$ be a closed, bounded, convex, and nonempty subset of a Banach space $\mathcal{X}_{*}$. Moreover, the operators $\mathcal{A}_{1}$ and $\mathcal{A}_{2}$ on $\mathcal{M}$ are supposed with the following properties:

• (a) $\mathcal{A}_{1}u + \mathcal{A}_{2}w \in \mathcal{M}$ for all $u, w \in \mathcal{M}$,

• (b) $\mathcal{A}_{1}$ is compact and continuous,

• (c) $\mathcal{A}_{2}$ is a contraction.

Then there is $z \in \mathcal{M}$ such that $z = \mathcal{A}_{1}z + \mathcal{A}_{2}z$.

Theorem 2.4

([48] Leray–Schauder’s nonlinear alternative)

Let $\mathcal{X}_{*}$ be a Banach space, $\mathcal{B}^{*}$ be a closed and convex subset of $\mathcal{X}_{*}$, $\mathcal{U}$ be an open subset of $\mathcal{C}$, and $0\in \mathcal{U}$. In addition, let $\mathcal{P}: \bar{\mathcal{U}} \to \mathcal{C}$ be a continuous and compact map. Then either

• (a) $\mathcal{P}$ has a fixed point in $\bar{\mathcal{U}}$, or

• (b) there are an element $u \in \partial \mathcal{U}$ (the boundary of $\mathcal{U}$) and a constant $\tau ^{*} \in (0,1)$ such that $u = \tau ^{*} \mathcal{P}(u)$.

3 Existence criteria of solutions

In this part of the manuscript, we verify some existence results by applying some analytical techniques based on the fixed point theory. Let $0 \leq t_{0} < T$ and take $\tilde{J} =[t_{0},T]$. Then one can easily confirm that $\mathcal{X}_{*} = \mathcal{C}^{2}( \tilde{J},\mathbb{R})$ is a Banach space of continuous mappings furnished with the sup norm $\Vert u\Vert =\sup_{t\in \tilde{J}}\vert u(t)\vert$. First, we formulate the structure of the solution for the four-point multi-order generalized Caputo type fractional BVP as an equivalent generalized Riemann–Liouville type fractional integral equation in the following lemma.

Lemma 3.1

Let $\hat{\Upsilon } \in \mathcal{X}_{*}$. Then a map $\tilde{u}^{*}_{0}$ is a solution for the four-point multi-order linear generalized Caputo type fractional BVP

$$ \textstyle\begin{cases} \lambda ^{*} {}^{CC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho }u(t)+ {}^{CC} \mathcal{D}_{t_{0}}^{\theta ^{*},\varrho }u(t)= \hat{\Upsilon } (t),\quad (t\in \tilde{J}, k^{*}\in (2,3]), \\ u(t_{0})=0, \qquad \mu _{1}^{*} {}^{CC}\mathcal{D}_{t_{0}}^{ \gamma _{1}^{*},\varrho }u(T)+{}^{CC}\mathcal{D}_{t_{0}}^{\gamma _{2}^{*}, \varrho }u(\eta )=\delta _{1}, \\ \mu _{2}^{*}{}^{RC}\mathcal{I}_{t_{0}}^{q_{1}^{*},\varrho }u(T)+{}^{RC} \mathcal{I}_{t_{0}}^{q_{2}^{*},\varrho }u(\nu )=\delta _{2}, \end{cases} $$

(4)

if and only if $\tilde{u}^{*}_{0}$ is a solution for the generalized Riemann–Liouville type integral equation

$$\begin{aligned} u(t)={}&\frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \hat{\Upsilon }(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-k^{*} } } \\ &{}- \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} u_{0}(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-k^{*}+\theta ^{*} } } \\ &{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } (T)- \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}u_{0}(T) \\ &{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon }(\eta )- \frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}u_{0}( \eta )- \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon }(T) \\ &{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}u_{0}(T) -\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon }(\nu ) \\ &{}+\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}u_{0}( \nu )-\delta _{1}\Delta _{4}+\Delta _{2} \delta _{2} \biggr]+ \frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \\ &{}\times \biggl[-\frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\gamma _{1}^{*},\varrho }} \hat{\Upsilon }(T)+ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}u(T) \\ &{}-\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon }(\eta )+ \frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}u_{0}( \eta )+ \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon }(T) \\ &{}-\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}u_{0}(T)+ \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*},\varrho }} \hat{\Upsilon } (\nu ) \\ &{}-\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}u_{0}( \nu )+\delta _{1}\Delta _{3}-\delta _{2} \Delta _{1} \biggr] \end{aligned}$$

(5)

provided that

$$\begin{aligned} &\Delta _{1}=\mu _{1}^{*} \varrho ^{\gamma _{1}^{*}} \frac{1}{\Gamma (2-\gamma _{1}^{*})}(T-t_{0})^{\varrho (1-\gamma _{1}^{*})}+ \varrho ^{\gamma _{2}^{*}} \frac{1}{\Gamma (2-\gamma _{2}^{*})}( \eta -t_{0})^{\varrho (1-\gamma _{2}^{*})}, \\ &\Delta _{2}=\mu _{1}^{*}\varrho ^{\gamma _{1}^{*}} \frac{2}{\Gamma (3-\gamma _{1}^{*})}(T-t_{0})^{\varrho (2-\gamma _{1}^{*})}+ \varrho ^{\gamma _{2}^{*}} \frac{2}{\Gamma (3-\gamma _{2}^{*})}(\eta -t_{0})^{ \varrho (2-\gamma _{2}^{*})}, \\ &\Delta _{3}=\frac{\mu _{2}^{*}}{\varrho ^{q_{1}^{*}}} \frac{1}{\Gamma (2+q_{1}^{*})}(T-t_{0})^{\varrho (1+q_{1}^{*})}+ \frac{1}{\varrho ^{q_{2}^{*}}}\frac{1}{\Gamma (2+q_{2}^{*})}(\nu -t_{0})^{ \varrho (1+q_{2}^{*})}, \\ &\Delta _{4}=\frac{\mu _{2}^{*}}{\varrho ^{q_{1}^{*}}} \frac{2}{\Gamma (3+q_{1}^{*})}(T-t_{0})^{\varrho (2+q_{1}^{*})}+ \frac{1}{\varrho ^{q_{2}^{*}}}\frac{2}{\Gamma (3+q_{2}^{*})}(\nu -t_{0})^{ \varrho (2+q_{2}^{*})}, \\ &\Theta ^{*}=\Delta _{2}\Delta _{3}-\Delta _{1}\Delta _{4}. \end{aligned}$$

(6)

Proof

At the beginning, let $\tilde{u}^{*}_{0}$ be a solution for the four-point multi-order linear generalized Caputo type fractional BVP (4). Then, according to the properties of fractional generalized operators of both Riemann–Liouville and Caputo types, one can write

$$ \tilde{u}^{*}_{0}(t) =\frac{1}{\lambda }{}^{RC}{ \mathcal{I}}_{t_{0}}^{{k^{*}, \varrho }}\hat{\Upsilon }(t)- \frac{1}{\lambda }{}^{RC}{\mathcal{I}}_{t_{0}}^{k^{*}- \theta ^{*},\varrho } \tilde{u}^{*}_{0}(t)+\tilde{c}_{0}^{*}+ \tilde{c}_{1}^{*}(t-t_{0})^{ \varrho }+ \tilde{c}_{2}^{*}(t-t_{0})^{2\varrho }, $$

(7)

where $\tilde{c}_{0}^{*}$, $\tilde{c}_{1}^{*}$, and $\tilde{c}_{2}^{*}$ are arbitrary constants. From the first condition, we get $\tilde{c}_{0}^{*}=0$. By taking the generalized Caputo type derivative of order $\gamma \in \{\gamma _{1}^{*}, \gamma _{2}^{*}\}$, we obtain

$$\begin{aligned} \bigl({}^{CC}\mathcal{D}_{t_{0}}^{\gamma,\varrho } \tilde{u}^{*}_{0}\bigr) (t)={}& \frac{1}{\lambda } {}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}-\gamma,\varrho }} \hat{\Upsilon }(t) \\ &{}-\frac{1}{\lambda } {}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}-\theta ^{*}- \gamma,\varrho }} \tilde{u}^{*}_{0}(t)+\tilde{c}_{1}^{*} \varrho ^{ \gamma }\frac{1}{\Gamma (2-\gamma )}(t-t_{0})^{\varrho (1-\gamma )} \\ &{}+\tilde{c}_{2}^{*}\varrho ^{\gamma } \frac{2}{\Gamma (3-\gamma )}(t-t_{0})^{ \varrho (2-\gamma )}. \end{aligned}$$

(8)

Moreover, by taking the generalized Riemann–Liouville type integral of order $q\in \{q_{1}^{*}, q_{2}^{*}\}$, we obtain

$$\begin{aligned} \bigl({}^{RC}\mathcal{I}_{t_{0}}^{{q,\varrho }} \tilde{u}^{*}_{0}\bigr) (t)= {}&\frac{1}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q+k^{*},\varrho }} \hat{\Upsilon }(t) \\ &{}-\frac{1}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q-\theta ^{*}, \varrho }} \tilde{u}^{*}_{0}(t)+\frac{\tilde{c}_{1}^{*}}{\varrho ^{q}} \frac{1}{\Gamma (2+q)}(t-t_{0})^{\varrho (1+q)} \\ &{}+\frac{\tilde{c}_{2}^{*}}{\varrho ^{q}} \frac{2}{\Gamma (3+q)}(t-t_{0})^{ \varrho (2+q)}. \end{aligned}$$

(9)

By combining equations (8) and (9) with boundary conditions of four-point multi-order BVP (3), we get

$$\begin{aligned} \tilde{c}_{1}^{*}={}& \frac{1}{ \Delta _{2}\Delta _{3}-\Delta _{1}\Delta _{4}} \\ &{}\times \biggl[\frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\gamma _{1}^{*},\varrho }} \hat{\Upsilon }(T)- \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }} \tilde{u}^{*}_{0}(T) \\ &{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon }(\eta ) \\ &{}-\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\rho }} \tilde{u}^{*}_{0}(\eta )- \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}\hat{\Upsilon }(T) \\ &{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }} \tilde{u}^{*}_{0}(T) \\ &{}-\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon }(\nu ) +\frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}-\theta ^{*},\varrho }} \tilde{u}^{*}_{0}( \nu )-\delta _{1}\Delta _{4}+\Delta _{2}\delta _{2} \biggr] \end{aligned}$$

and

$$\begin{aligned} \tilde{c}_{2}^{*}={}& \frac{1}{ \Delta _{2}\Delta _{3}-\Delta _{1}\Delta _{4}} \\ &{}\times \biggl[-\frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\gamma _{1}^{*},\varrho }} \hat{\Upsilon }(T)+ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }} \tilde{u}^{*}_{0}(T) \\ &{}-\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon }(\eta ) \\ &{}+\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }} \tilde{u}^{*}_{0}(\eta )+ \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}\hat{\Upsilon }(T) \\ &{}-\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }} \tilde{u}^{*}_{0}(T) \\ &{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon }(\nu ) -\frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}-\theta ^{*},\varrho }} \tilde{u}^{*}_{0}( \nu )+\delta _{1}\Delta _{3}-\delta _{2}\Delta _{1} \biggr]. \end{aligned}$$

Finally, if we substitute constants $\tilde{c}_{0}^{*}$ and $\tilde{c}_{1}^{*}$ and $\tilde{c}_{2}^{*}$ in (7), then we reach the generalized Riemann–Liouville type integral equation (5). In the opposite direction, one can easily verify that $\tilde{u}^{*}_{0}$ is considered as a solution for the four-point multi-order linear generalized Caputo type fractional BVP (4) whenever $\tilde{u}^{*}_{0}$ satisfies the generalized Riemann–Liouville type integral equation (5). □

Based on the implemented calculations in Lemma 3.1, we define the operator $\tilde{\mathcal{F}}_{*}:\mathcal{X}_{*} \to \mathcal{X}_{*}$ in the following framework:

$$\begin{aligned} \tilde{\mathcal{F}}_{*} u(t)={}&\frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \hat{\Upsilon } \bigl( r, u(r) \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &{}- \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} u(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, u(T) \bigr)- \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}u(T) \\ &{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, u(\eta ) \bigr)- \frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}u(\eta ) \\ &{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, u(T) \bigr) \\ &{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}u(T) -\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, u(\nu ) \bigr) \\ &{}+\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}u( \nu ) \\ &{}-\delta _{1}\Delta _{4}+\Delta _{2}\delta _{2} \biggr]+ \frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, u(T) \bigr) \\ &{}+\frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}u(T) \\ &{}-\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, u(\eta ) \bigr)+ \frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}u(\eta ) \\ &{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, u(T) \bigr) \\ &{}-\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}u(T)+ \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*},\varrho }} \hat{\Upsilon } \bigl( \nu, u(\nu ) \bigr) \\ &{}-\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}u( \nu )+\delta _{1}\Delta _{3}-\delta _{2} \Delta _{1} \biggr]. \end{aligned}$$

(10)

It is notable that the four-point multi-order generalized Caputo type fractional BVP (3) has a solution $\tilde{u}^{*}_{0}$ if and only if $\tilde{u}^{*}_{0}$ is a fixed point for the self-map $\tilde{\mathcal{F}}_{*}$. For the sake of convenience in writing, we utilize the following simplified notations:

$$\begin{aligned} \mathcal{W}_{1}={}& \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*}+1 )} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}} \\ &{}+\frac{(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert } \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda \Gamma (k^{*}-\theta ^{*}-\gamma _{1}^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}- \gamma _{1}^{*}} \\ &{}+ \frac{\Delta _{4}}{\lambda \Gamma (k^{*}-\theta ^{*}-\gamma _{2}^{*}+1)} \biggl( \frac{(\eta -t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}- \gamma _{2}^{*}} \\ &{}+ \frac{\mu _{2}^{*}\Delta _{2}}{\lambda \Gamma (q_{1}^{*}+k^{*}-\theta ^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{1}^{*}+k^{*}- \theta ^{*}} \\ &{}+\frac{\Delta _{2}}{\lambda \Gamma (q_{2}^{*}+k^{*}-\theta ^{*}+1)} \biggl( \frac{(\nu -t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{2}^{*}+k^{*}- \theta ^{*}} \biggr]+ \frac{(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert } \\ &{}\times \biggl[ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda \Gamma (k^{*}-\theta ^{*}-\gamma _{1}^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}- \gamma _{1}^{*}} \\ &{}+ \frac{\Delta _{3}}{\lambda \Gamma (k^{*}-\theta ^{*}-\gamma _{2}^{*}+1)} \biggl( \frac{(\eta -t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}- \gamma _{2}^{*}} \\ &{}+ \frac{\mu _{2}^{*}\Delta _{1}}{\lambda \Gamma (q_{1}^{*}+k^{*}-\theta ^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{1}^{*}+k^{*}- \theta ^{*}} \\ &{}+\frac{\Delta _{1}}{\lambda \Gamma (q_{2}^{*}+k^{*}-\theta ^{*}+1)} \biggl( \frac{(\nu -t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{2}^{*}+k^{*}- \theta ^{*}} \biggr] \end{aligned}$$

(11)

and

$$\begin{aligned} \mathcal{W}_{2} ={}&\frac{1}{\lambda \Gamma ( k^{*} +1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}} \\ &{}+\frac{(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert } \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda \Gamma (k^{*}-\gamma _{1}^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\gamma _{1}^{*}} \\ &{}+ \frac{\Delta _{4}}{\lambda \Gamma (k^{*}-\gamma _{2}^{*}+1)} \biggl( \frac{(\eta -t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\gamma _{2}^{*}} \\ &{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda \Gamma (q_{1}^{*}+k^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{1}^{*}+k^{*}} \\ &{}+ \frac{\Delta _{2}}{\lambda \Gamma (q_{2}^{*}+k^{*}+1)} \biggl( \frac{(\nu -t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{2}^{*}+k^{*}} \biggr] \\ &+\frac{(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert } \biggl[ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda \Gamma (k^{*}-\gamma _{1}^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\gamma _{1}^{*}} \\ &{}+ \frac{\Delta _{3}}{\lambda \Gamma (k^{*}-\gamma _{2}^{*}+1)} \biggl( \frac{(\eta -t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\gamma _{2}^{*}} \\ &{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda \Gamma (q_{1}^{*}+k^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{1}^{*}+k^{*}} \\ &{}+ \frac{\Delta _{1}}{\lambda \Gamma (q_{2}^{*}+k^{*}+1)} \biggl( \frac{(\nu -t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{2}^{*}+k^{*}} \biggr]. \end{aligned}$$

(12)

Theorem 3.2

Let the real-valued mapping $\hat{\Upsilon }: \tilde{J}\times \mathcal{X}_{*}\to \mathbb{R}$ be continuous and there be a constant $\mathcal{L}_{*} > 0$ such that $|\hat{\Upsilon }(t, u)-\hat{\Upsilon }(t, u')|\leq \mathcal{L}_{*} |u-u'|$ for all $t\in \tilde{J}$ and $u, u'\in \mathcal{X}_{*}$. If $\mathcal{L}_{*}\mathcal{W}_{2}+\mathcal{W}_{1}<1$, then the four-point multi-order linear generalized Caputo type fractional BVP (3) has a unique solution, where $\mathcal{W}_{1}$ and $\mathcal{W}_{2}$ are illustrated by (11) and (12).

Proof

Put $\sup_{t\in \tilde{J}}|\hat{\Upsilon } (t, 0)|= \mathcal{N}^{*} < \infty$. We choose $\mathcal{R}^{*}>0$ such that

$$ \frac{ \vert \Theta ^{*} \vert N^{*} \mathcal{W}_{2} +(T-t_{0})^{2\varrho } ( \vert \delta _{1}\Delta _{3} \vert + \vert \delta _{2}\Delta _{1} \vert ) +(T-t_{0})^{\varrho }( \vert \delta _{1}\Delta _{4} \vert + \vert \delta _{2}\Delta _{2} \vert )}{ \vert \Theta ^{*} \vert (1-\mathcal{L}_{*}\mathcal{W}_{2}-\mathcal{W}_{1})} \leq \mathcal{R}^{*}, $$

where $\Delta _{j} (j=1, 2, 3, 4)$ are illustrated by (6). Next, construct the set $\mathcal{B}_{\mathcal{R}^{*}}^{*}= \{u \in \mathcal{X}_{*}: \|u\| \leq \mathcal{R}^{*}\}$. In this case, we verify that $\tilde{\mathcal{F}}_{*}\mathcal{B}_{\mathcal{R}^{*}}^{*}\subset \mathcal{B}_{\mathcal{R}^{*}}^{*}$. To observe this, for each $u\in \mathcal{B}_{\mathcal{R}^{*}}^{*}$, we may write

$$\begin{aligned} \bigl\vert \tilde{\mathcal{F}}_{*}u(t) \bigr\vert \leq{}& \frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \\ &{}\times \bigl( \bigl\vert \hat{\Upsilon } \bigl( r, u(r)\bigr)- \hat{\Upsilon } ( r,0 ) \bigr\vert + \bigl\vert \hat{\Upsilon } ( r,0) \bigr\vert \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &{}+ \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} \\ &{}\times \bigl\vert u(r) \bigr\vert \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } }+ \frac{(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert } \\ &{}\times \biggl[\frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\gamma _{1}^{*},\varrho }} \bigl( \bigl\vert \hat{\Upsilon } \bigl( T, u(T)\bigr)-\hat{\Upsilon } ( T,0 ) \bigr\vert + \bigl\vert \hat{\Upsilon } ( T,0) \bigr\vert \bigr) \\ &{}+\frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }} \bigl\vert u(T) \bigr\vert \\ &{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \bigl( \bigl\vert \hat{\Upsilon } \bigl( \eta, u( \eta )\bigr)-\hat{\Upsilon } ( \eta,0 ) \bigr\vert + \bigl\vert \hat{\Upsilon } ( \eta,0) \bigr\vert \bigr) \\ &{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }} \bigl\vert u(\eta ) \bigr\vert \\ &{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \bigl( \bigl\vert \hat{\Upsilon } \bigl( T, u(T)\bigr)- \hat{\Upsilon } ( T,0 ) \bigr\vert + \bigl\vert \hat{\Upsilon } ( T,0) \bigr\vert \bigr) \\ &+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }} \bigl\vert u(T) \bigr\vert \\ &{}+\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \bigl( \bigl\vert \hat{\Upsilon } \bigl( \nu, u(\nu )\bigr)- \hat{\Upsilon } ( \nu,0 ) \bigr\vert + \bigl\vert \hat{\Upsilon } ( \nu,0) \bigr\vert \bigr) \\ &{}+\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }} \bigl\vert u(\nu ) \bigr\vert + \vert \delta _{1}\Delta _{4} \vert + \vert \Delta _{2}\delta _{2} \vert \biggr]+ \frac{(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert } \\ &{}\times \biggl[\frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\gamma _{1}^{*},\varrho }} \bigl( \bigl\vert \hat{\Upsilon } \bigl( T, u(T)\bigr)-\hat{\Upsilon } ( T,0 ) \bigr\vert + \bigl\vert \hat{\Upsilon } ( T,0) \bigr\vert \bigr) \\ &{}+\frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }} \bigl\vert u(T) \bigr\vert \\ &{}+\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \bigl( \bigl\vert \hat{\Upsilon } \bigl( \eta, u( \eta )\bigr)-\hat{\Upsilon } ( \eta,0 ) \bigr\vert + \bigl\vert \hat{\Upsilon } ( \eta,0) \bigr\vert \bigr) \\ &{}+\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }} \bigl\vert u(\eta ) \bigr\vert \\ &{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \bigl( \bigl\vert \hat{\Upsilon } \bigl( T, u(T)\bigr)- \hat{\Upsilon } ( T,0 ) \bigr\vert + \bigl\vert \hat{\Upsilon } ( T,0) \bigr\vert \bigr) \\ &{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }} \bigl\vert u(T) \bigr\vert \\ &{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \bigl( \bigl\vert \hat{\Upsilon } \bigl( \nu, u(\nu )\bigr)- \hat{\Upsilon } ( \nu,0 ) \bigr\vert + \bigl\vert \hat{\Upsilon } ( \nu,0) \bigr\vert \bigr) \\ &{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }} \bigl\vert u(\nu ) \bigr\vert + \vert \delta _{1}\Delta _{3} \vert + \vert \delta _{2}\Delta _{1} \vert \biggr] \\ \leq{}& \bigl(\mathcal{L}_{*}\|u\|+\mathcal{N}^{*}\bigr) \mathcal{W}_{2}+ \|u\| \mathcal{W}_{1}+\frac{(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert } \bigl( \vert \delta _{1}\Delta _{3} \vert + \vert \delta _{2}\Delta _{1} \vert \bigr) \\ &{}+\frac{(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1} \Delta _{4} \vert + \vert \delta _{2}\Delta _{2} \vert \bigr) \\ \leq{}& (\mathcal{L}_{*}\mathcal{W}_{2}+\mathcal{W}_{1} ) \mathcal{R}+\mathcal{N}^{*}\mathcal{W}_{2} + \frac{(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1} \Delta _{3} \vert + \vert \delta _{2}\Delta _{1} \vert \bigr) \\ &{}+\frac{(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1} \Delta _{4} \vert + \vert \delta _{2}\Delta _{2} \vert \bigr)\leq \mathcal{R}^{*}. \end{aligned}$$

Thus, we reach the inequality $\Vert \tilde{\mathcal{F}}_{*} u\Vert \leq \mathcal{R}^{*}$, which means that $\tilde{\mathcal{F}}_{*} \mathcal{B}_{\mathcal{R}^{*}}^{*}\subset \mathcal{B}_{\mathcal{R}^{*}}^{*}$. In the next stage, let us assume that $u, u'\in \mathcal{X}_{*}$. For any $t\in \tilde{J}$, one can write

$$\begin{aligned} & \bigl\vert \tilde{\mathcal{F}}_{*} u(t)- \tilde{ \mathcal{F}}_{*} u'(t) \bigr\vert \\ &\quad \leq \frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \\ &\qquad{}\times \bigl(\bigl\vert \hat{\Upsilon } \bigl( r, u(r)\bigr)- \hat{\Upsilon } \bigl(r, u'(r) \bigr)\bigr\vert \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}+ \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} \\ &\qquad{}\times \bigl\vert u(r)-u'(r) \bigr\vert \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } }+ \frac{(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert } \\ &\qquad{}\times \biggl[\frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\gamma _{1}^{*},\varrho }} \bigl(\bigl\vert \hat{\Upsilon } \bigl( T, u(T)\bigr)-\hat{\Upsilon } \bigl( T,u'(T) \bigr) \bigr\vert \bigr) \\ &\qquad{}+\frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }} \bigl\vert u(T)-u'(T) \bigr\vert \\ &\qquad{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \bigl(\bigl\vert \hat{\Upsilon } \bigl( \eta, u( \eta )\bigr)-\hat{\Upsilon } \bigl( \eta, u'(\eta ) \bigr)\bigr\vert \bigr) \\ &\qquad{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }} \bigl\vert u(\eta )-u'(\eta ) \bigr\vert \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \bigl(\bigl\vert \hat{\Upsilon } \bigl( T, u(T)\bigr)- \hat{\Upsilon } \bigl(T,u'(T) \bigr)\bigr\vert \bigr) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }} \bigl\vert u(T)-u'(T) \bigr\vert \\ &\qquad{}\times\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \bigl(\bigl\vert \hat{\Upsilon } \bigl( \nu, u(\nu )\bigr)- \hat{\Upsilon } \bigl(\nu, u'(\nu ) \bigr) \bigr\vert \bigr) \\ &\qquad{}+\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }} \bigl\vert u(\nu )-u'(\nu ) \bigr\vert \biggr] \\ &\qquad{}+\frac{(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert } \biggl[ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }} \bigl( \bigl\vert \hat{\Upsilon } \bigl( T, u(T) \bigr)-\hat{\Upsilon } \bigl( T, u'(T) \bigr) \bigr\vert \bigr) \\ &\qquad{}+\frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }} \bigl\vert u(T)-u'(T) \bigr\vert \\ &\qquad{}+\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \bigl( \bigl\vert \hat{\Upsilon } \bigl( \eta, u( \eta ) \bigr)-\hat{\Upsilon } \bigl(\eta, u'(\eta ) \bigr) \bigr\vert \bigr) \\ &\qquad{}+\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }} \bigl\vert u(\eta )-u'(\eta ) \bigr\vert \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \bigl( \bigl\vert \hat{\Upsilon } \bigl( T, u(T) \bigr)- \hat{\Upsilon } \bigl(T, u'(T) \bigr) \bigr\vert \bigr) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }} \bigl\vert u(T)-u'(T) \bigr\vert \\ &\qquad{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \bigl( \bigl\vert \hat{\Upsilon } \bigl( \nu, u(\nu ) \bigr)- \hat{\Upsilon } \bigl( \nu, u'(\nu ) \bigr) \bigr\vert \bigr) \\ &\qquad{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }} \bigl\vert u(\nu )-u'(\nu ) \bigr\vert \biggr] \\ &\quad\leq \bigl(\mathcal{L}_{*} \bigl\Vert u-u' \bigr\Vert \bigr) \mathcal{W}_{2} + \bigl\Vert u-u' \bigr\Vert \mathcal{W}_{1}= ( \mathcal{L}_{*}\mathcal{W}_{2}+ \mathcal{W}_{1} ) \bigl\Vert u-u' \bigr\Vert . \end{aligned}$$

This represents $\| \tilde{\mathcal{F}}_{*} u- \tilde{\mathcal{F}}_{*} u'\| \leq ( \mathcal{L}_{*}\mathcal{W}_{2}+\mathcal{W}_{1}) \|u-u'\|$, which implies that $\tilde{\mathcal{F}}_{*}$ is a contraction since $\mathcal{L}_{*}\mathcal{W}_{2}+\mathcal{W}_{1} < 1$. Hence, with due attention to the Banach principle, the operator $\tilde{\mathcal{F}}_{*}$ has a unique fixed point, which means that the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) has a unique solution. □

Here, by applying another method based on Krasnoselskii’s fixed point theorem, we derive another kind of existence criterion of solutions for the proposed problem (3).

Theorem 3.3

Consider a continuous map $\hat{\Upsilon }: \tilde{J} \times \mathcal{X}_{*} \to \mathbb{R}$. Let there be a positive constant $\mathcal{L}_{*}$ so that an inequality $|\hat{\Upsilon }(t, u)-\hat{\Upsilon }(t, u')|\leq \mathcal{L}_{*} |u-u'|$ holds for any $t\in \tilde{J}$ and $u, u'\in \mathcal{X}_{*}$. If there exists $\mathcal{V}(t)\in \mathcal{C}_{\mathbb{R}^{+}}(\tilde{J})$ provided that $\hat{\Upsilon } (t,u)\leq \mathcal{V}(t)$ for all $(t,u)\in \tilde{J}\times \mathcal{X}_{*}$ and $\mathcal{L}_{*}\mathcal{W}_{2}<$1, then the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) has at least one solution. Note that $\mathcal{W}_{2}$ is defined in (12).

Proof

By setting $\Vert \mathcal{V} \Vert =\sup_{t\in \tilde{J}}|\mathcal{V}(t)|$ and choosing an appropriate constant $r^{*}>0$, construct the nonempty set $\mathcal{B}_{r^{*}}^{*} = \{u\in \mathcal{X}_{*}: \|u\|\leq r^{*} \}$, where

$$ \frac{ \vert \Theta ^{*} \vert \Vert \mathcal{V} \Vert \mathcal{W}_{2} +(T-t_{0})^{2\varrho } ( \vert \delta _{1} \Delta _{3} \vert + \vert \delta _{2} \Delta _{1} \vert ) +(T-t_{0})^{\varrho }( \vert \delta _{1}\Delta _{4} \vert + \vert \delta _{2}\Delta _{2} \vert )}{ \vert \Theta ^{*} \vert (1-\mathcal{W}_{1})} \leq r^{*} $$

and $\Delta _{1},\Delta _{2},\Delta _{3},\Delta _{4}$, $\mathcal{W}_{1}$ and $\mathcal{W}_{2}$ are given by (6), (11), and (12), respectively. For every $t \in \tilde{J}$, we consider two operators $\hat{\mathcal{F}}_{1}$ and $\hat{\mathcal{F}}_{2}$ on $\mathcal{B}_{r^{*}}^{*}$ by the following defined rules:

$$\begin{aligned} \hat{\mathcal{F}}_{1}u(t)= {}&\frac{-1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} u(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}u(T)- \frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}u(\eta ) \\ &{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}u(T)+ \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}-\theta ^{*},\varrho }}u( \nu ) \biggr] \\ &{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}u(T)\frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\theta ^{*}-\gamma _{2}^{*},\varrho }}u( \eta ) \\ &{}-\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}u(T)- \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}-\theta ^{*},\varrho }}u( \nu ) \biggr] \end{aligned}$$

and

$$\begin{aligned} \hat{\mathcal{F}}_{2}u(t)={}&\frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \hat{\Upsilon } \bigl( r, u(r) \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, u(T) \bigr)+ \frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}\hat{ \Upsilon } \bigl( \eta, u(\eta ) \bigr) \\ &{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, u(T) \bigr)- \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}\hat{\Upsilon } \bigl( \nu, u(\nu ) \bigr) -\delta _{1}\Delta _{4}+\Delta _{2}\delta _{2} \biggr] \\ &{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, u(T) \bigr)- \frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}\hat{ \Upsilon } \bigl( \eta, u(\eta ) \bigr) \\ &{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, u(T) \bigr)+ \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}\hat{\Upsilon } \bigl( \nu, u(\nu ) \bigr)+\delta _{1}\Delta _{3}- \delta _{2} \Delta _{1} \biggr]. \end{aligned}$$

In this position, we intend to prove that $\hat{\mathcal{F}}_{1}u +\hat{\mathcal{F}}_{2}u' \in \mathcal{B}_{r^{*}}^{*}$. Let $u, u' \in \mathcal{B}_{r^{*}}^{*}$. Then one can write

$$\begin{aligned} & \bigl\vert \hat{\mathcal{F}}_{1} u(t)+ \hat{ \mathcal{F}}_{2} u'(t) \bigr\vert \\ &\quad \leq \Vert u \Vert \biggl[ \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*}+1 )} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}}+ \frac{(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert } \\ &\qquad{}\times \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda \Gamma (k^{*}-\theta ^{*}-\gamma _{1}^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}- \gamma _{1}^{*}} \\ &\qquad{}+ \frac{\Delta _{4}}{\lambda \Gamma (k^{*}-\theta ^{*}-\gamma _{2}^{*}+1)} \biggl( \frac{(\eta -t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}- \gamma _{2}^{*}} \\ &\qquad{}+ \frac{\mu _{2}^{*}\Delta _{2}}{\lambda \Gamma (q_{1}^{*}+k^{*}-\theta ^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{1}^{*}+k^{*}- \theta ^{*}} \\ &\qquad{}+\frac{\Delta _{2}}{\lambda \Gamma (q_{2}^{*}+k^{*}-\theta ^{*}+1)} \biggl( \frac{(\nu -t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{2}^{*}+k^{*}- \theta ^{*}} \biggr] \\ &\qquad{}+\frac{(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert } \biggl[ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda \Gamma (k^{*}-\theta ^{*}-\gamma _{1}^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}- \gamma _{1}^{*}} \\ &\qquad{}+ \frac{\Delta _{3}}{\lambda \Gamma (k^{*}-\theta ^{*}-\gamma _{2}^{*}+1)} \biggl( \frac{(\eta -t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}- \gamma _{2}^{*}} \\ &\qquad{}+ \frac{\mu _{2}^{*}\Delta _{1}}{\lambda \Gamma (q_{1}^{*}+k^{*}-\theta ^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{1}^{*}+k^{*}- \theta ^{*}} \\ &\qquad{}+\frac{\Delta _{1}}{\lambda \Gamma (q_{2}^{*}+k^{*}-\theta ^{*}+1)} \biggl( \frac{(\nu -t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{2}^{*}+k^{*}- \theta ^{*}} \biggr] \biggr] \\ &\qquad{}+ \Vert \mathcal{V} \Vert \biggl[\frac{1}{\lambda \Gamma ( k^{*} +1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}} \\ &\qquad{}+\frac{(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert } \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda \Gamma (k^{*}-\gamma _{1}^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\gamma _{1}^{*}} \\ &\qquad{}+ \frac{\Delta _{4}}{\lambda \Gamma (k^{*}-\gamma _{2}^{*}+1)} \biggl( \frac{(\eta -t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\gamma _{2}^{*}} \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda \Gamma (q_{1}^{*}+k^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{1}^{*}+k^{*}} \\ &\qquad{}+ \frac{\Delta _{2}}{\lambda \Gamma (q_{2}^{*}+k^{*}+1)} \biggl( \frac{(\nu -t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{2}^{*}+k^{*}} \biggr] \\ &\qquad{}+\frac{(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert } \biggl[ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda \Gamma (k^{*}-\gamma _{1}^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\gamma _{1}^{*}} \\ &\qquad{}+ \frac{\Delta _{3}}{\lambda \Gamma (k^{*}-\gamma _{2}^{*}+1)} \biggl( \frac{(\eta -t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\gamma _{2}^{*}} + \frac{\mu _{2}^{*}\Delta _{1}}{\lambda \Gamma (q_{1}^{*}+k^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{1}^{*}+k^{*}} \\ &\qquad{}+ \frac{\Delta _{1}}{\lambda \Gamma (q_{2}^{*}+k^{*}+1)} \biggl( \frac{(\nu -t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{2}^{*}+k^{*}} \biggr] \biggr]+\frac{(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1}\Delta _{3} \vert + \vert \delta _{2}\Delta _{1} \vert \bigr) \\ &\qquad{}+\frac{(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1} \Delta _{4} \vert + \vert \delta _{2}\Delta _{2} \vert \bigr) \\ &\quad\leq \bigl(r^{*}\mathcal{W}_{1}+ \Vert \mathcal{V} \Vert \mathcal{W}_{2} \bigr)+\frac{(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1}\Delta _{3} \vert + \vert \delta _{2} \Delta _{1} \vert \bigr) \\ &\qquad{}+\frac{(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1} \Delta _{4} \vert + \vert \delta _{2}\Delta _{2} \vert \bigr)\leq r^{*}, \end{aligned}$$

and so it follows that $\hat{\mathcal{F}}_{1}u +\hat{\mathcal{F}}_{2}u' \in \mathcal{B}_{r^{*}}^{*}$. Now, we claim that $\hat{\mathcal{F}}_{2}$ is a contraction. To confirm this claim, for each two elements u, $u'\in \mathcal{B}_{r^{*}}^{*}$, we have

$$\begin{aligned} & \bigl\vert \hat{\mathcal{F}}_{2} u(t)- \hat{\mathcal{F}}_{2} u'(t) \bigr\vert \\ &\quad = \biggl\vert \frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \\ &\qquad{}\times \hat{\Upsilon } \bigl( r, u(r) \bigr)-\hat{\Upsilon } \bigl( r, u'(r) \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }} \bigl(\hat{\Upsilon } \bigl( T, u(T) \bigr)- \hat{\Upsilon } \bigl( T, u'(T) \bigr) \bigr) \\ &\qquad{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \bigl(\hat{\Upsilon } \bigl( \eta, u(\eta ) \bigr)-\hat{\Upsilon } \bigl( \eta, u'(\eta ) \bigr) \bigr) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \bigl(\hat{\Upsilon } \bigl( T, u(T) \bigr)-\hat{\Upsilon } \bigl( T, u'(T) \bigr) \bigr) \\ &\qquad{}-\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \bigl(\hat{\Upsilon } \bigl( \nu, u(\nu ) \bigr)- \hat{\Upsilon } \bigl( \nu, u( \nu ) \bigr) \bigr) \biggr] \\ &\qquad{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }} \bigl(\hat{\Upsilon } \bigl( T, u(T) \bigr)- \hat{\Upsilon } \bigl( T, u'(T) \bigr) \bigr) \\ &\qquad{}-\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \bigl(\hat{\Upsilon } \bigl( \eta, u(\eta ) \bigr)-\hat{\Upsilon } \bigl( \eta, u'(\eta ) \bigr) \bigr) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \bigl(\hat{\Upsilon } \bigl( T, u(T) \bigr)-\hat{\Upsilon } \bigl( T, u'(T) \bigr) \bigr) \\ &\qquad{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \bigl(\hat{\Upsilon } \bigl( \nu, u(\nu ) \bigr)- \hat{\Upsilon } \bigl( \nu, u'(\nu ) \bigr) \bigr) \biggr] \biggr\vert \\ &\quad\leq \mathcal{L}_{*}\mathcal{W}_{2} \bigl\Vert u-u' \bigr\Vert . \end{aligned}$$

Since $\mathcal{L}_{*}\mathcal{W}_{2}< 1$, thus $\mathcal{F}_{2}$ is a contraction. In the subsequent step, we check the continuity of $\hat{\mathcal{F}}_{1}$ on $\mathcal{B}_{r^{*}}^{*}$. To reach this aim, let $\{u_{n}\}$ be a sequence in $\mathcal{B}_{r^{*}}^{*}$ approaching a point $u\in \mathcal{B}_{r^{*}}^{*}$. Then, due to the continuity of the generalized Riemann–Liouville type operator, one can write

$$\begin{aligned} \lim_{n\to +\infty }\hat{\mathcal{F}}_{1} u_{n}(t) ={}& \frac{-1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} \\ &{}\times \lim_{n\to +\infty }u_{n}(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }} \lim_{n\to +\infty }u_{n}(T) \\ &{}- \frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }} \lim_{n\to +\infty }u_{n}( \eta ) \\ &{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }} \lim_{n\to +\infty }u_{n}(T)+ \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}\lim_{n\to +\infty }u_{n}( \nu ) \biggr] \\ &{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}\lim_{n\to +\infty }u_{n}(T) \\ &{}+ \frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }} \lim_{n\to +\infty }u_{n}( \eta ) \\ &{}-\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }} \lim_{n\to +\infty }u_{n}(T)- \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}\lim_{n\to +\infty }u_{n}( \nu ) \biggr] \\ ={}& \hat{\mathcal{F}}_{1} u(t) \end{aligned}$$

for any $t\in [t_{0},T]$. This indicates that $\hat{\mathcal{F}}_{1}$ is a continuous operator on $\mathcal{B}_{r^{*}}^{*}$. Next, we are going to investigate that $\hat{\mathcal{F}}_{1}(\mathcal{B}_{r^{*}}^{*})$ is uniformly bounded on $\mathcal{B}_{r^{*}}^{*}$. For any $u\in \mathcal{B}_{r^{*}}^{*}$, we have

$$\begin{aligned} \bigl\vert \hat{\mathcal{F}}_{1} u(t) \bigr\vert \leq{}& \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} \bigl\vert u(r) \bigr\vert \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &{}+\frac{(T-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }} \bigl\vert u(T) \bigr\vert + \frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }} \bigl\vert u(\eta ) \bigr\vert \\ &{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }} \bigl\vert u(T) \bigr\vert +\frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}-\theta ^{*},\varrho }} \bigl\vert u( \nu ) \bigr\vert \biggr] \\ &{}+\frac{(T-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }} \bigl\vert u(T) \bigr\vert + \frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }} \bigl\vert u(\eta ) \bigr\vert \\ &{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }} \bigl\vert u(T) \bigr\vert +\frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}-\theta ^{*},\varrho }} \bigl\vert u( \nu ) \bigr\vert \biggr] \\ \leq {}&\mathcal{W}_{1} \Vert u \Vert =\mathcal{W}_{1} r^{*}. \end{aligned}$$

Thus $\Vert \hat{\mathcal{F}}_{1}\Vert \leq \mathcal{W}_{1} r^{*}$ for all $u\in \mathcal{B}_{r^{*}}^{*}$ with $\mathcal{W}_{1}$ given in (11). The latter inequality confirms the fact that $\hat{\mathcal{F}}_{1}$ is uniformly bounded on $\mathcal{B}_{r^{*}}^{*}$. Eventually, we review another property of the operator $\mathcal{F}_{1}$, i.e., its equicontinuity. For each $t_{1}, t_{2} \in \tilde{J}$ with $t_{1} < t_{2}$ and each $u \in \mathcal{B}_{r^{*}}^{*}$, we have

$$\begin{aligned} & \bigl\vert \mathcal{F}_{1}u(t_{2}) - \mathcal{F}_{1}u(t_{1}) \bigr\vert \\ &\quad\leq \frac{r^{*} ( 2 \vert ((t_{2}-t_{0})^{\varrho }-(t_{2}-t_{0})^{\varrho })^{k^{*}-\theta ^{*}} \vert + \vert (t_{2}-t_{0})^{\varrho (k^{*}-\theta ^{*})} -(t_{1}-t_{0})^{\varrho (k^{*}-\theta ^{*})} \vert )}{\lambda ^{*}\Gamma (k^{*}-\theta ^{*}+1)} \\ &\qquad{} +r^{*} \biggl\vert \frac{(t_{2}-t_{0})^{\varrho }-(t_{1}-t_{0})^{\varrho }}{\Theta ^{*}} \biggr\vert \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda \Gamma (k^{*}-\theta ^{*}-\gamma _{1}^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}- \gamma _{1}^{*}} \\ &\qquad{}+ \frac{\Delta _{4}}{\lambda \Gamma (k^{*}-\theta ^{*}-\gamma _{2}^{*}+1)} \biggl( \frac{(\eta -t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}- \gamma _{2}^{*}} \\ &\qquad{}+ \frac{\mu _{2}^{*}\Delta _{2}}{\lambda \Gamma (q_{1}^{*}+k^{*}-\theta ^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{1}^{*}+k^{*}- \theta ^{*}} \\ &\qquad{}+\frac{\Delta _{2}}{\lambda \Gamma (q_{2}^{*}+k^{*}-\theta ^{*}+1)} \biggl( \frac{(\nu -t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{2}^{*}+k^{*}- \theta ^{*}} \biggr] \\ &\qquad{}+r^{*} \biggl\vert \frac{(t_{2}-t_{0})^{2\varrho }-(t_{1}-t_{0})^{2\varrho }}{\Theta ^{*}} \biggr\vert \\ &\qquad{}\times \biggl[ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda \Gamma (k^{*}-\theta ^{*}-\gamma _{1}^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}- \gamma _{1}^{*}} \\ &\qquad{}+ \frac{\Delta _{3}}{\lambda \Gamma (k^{*}-\theta ^{*}-\gamma _{2}^{*}+1)} \biggl( \frac{(\eta -t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}-\theta ^{*}- \gamma _{2}^{*}} \\ &\qquad{}+ \frac{\mu _{2}^{*}\Delta _{1}}{\lambda \Gamma (q_{1}^{*}+k^{*}-\theta ^{*}+1)} \biggl( \frac{(T-t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{1}^{*}+k^{*}- \theta ^{*}} \\ &\qquad{}+\frac{\Delta _{1}}{\lambda \Gamma (q_{2}^{*}+k^{*}-\theta ^{*}+1)} \biggl( \frac{(\nu -t_{0})^{\varrho }}{ \varrho } \biggr)^{q_{2}^{*}+k^{*}- \theta ^{*}} \biggr]. \end{aligned}$$

As you observe, the RHS of the latter inequality approaches zero independently of u whenever $t_{1} \to t_{2}$. Hence, the operator $\mathcal{F}_{1}$ is equicontinuous, and so $\mathcal{F}_{1}$ is relatively compact on $\mathcal{B}_{r^{*}}^{*}$. Consequently, by invoking the Arzela–Ascoli theorem, $\mathcal{F}_{1}$ is compact on $\mathcal{B}_{r^{*}}^{*}$. In conclusion, by taking into account Theorem 2.3, the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) has at least one solution. □

Here, with due attention to the Leray–Schauder theorem, we provide another criterion for the existence of solutions for the proposed problem (3).

Theorem 3.4

Let $\hat{\Upsilon }: \tilde{J} \times \mathcal{X}_{*} \to \mathbb{R}$ be continuous and there exist a nondecreasing continuous function $\Psi:[0,\infty )\to (0,\infty )$ and $\Phi \in \mathcal{C}_{\mathbb{R}^{+}}(\tilde{J})$ such that $|\hat{\Upsilon }(t,u)|\leq \Phi (t)\Psi (\|u\|)$ for each $(t,u)\in \tilde{J}\times \mathcal{X}_{*}$. Moreover, suppose that there is a constant $\mathcal{Q}^{*} > 0$ such that

$$\begin{aligned} &\frac{\mathcal{Q}^{*} \vert \Theta ^{*} \vert }{\mathcal{Q}^{*} \vert \Theta ^{*} \vert \mathcal{W}_{1}+ \Psi (\mathcal{Q}^{*}) \Vert \Phi \Vert \vert \Theta ^{*} \vert \mathcal{W}_{2}+(T-t_{0})^{2\varrho }( \vert \delta _{1}\Delta _{3} \vert + \vert \delta _{2}\Delta _{1} \vert ) +(T-t_{0})^{\varrho } ( \vert \delta _{1}\Delta _{4} \vert + \vert \delta _{2}\Delta _{2} \vert )} \\ &\quad >1, \end{aligned}$$

(13)

where $\mathcal{W}_{1}$ and $\mathcal{W}_{2}$ are represented by (11) and (12), respectively. Then the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) has at least one solution.

Proof

Consider the operator $\tilde{\mathcal{F}}_{*}$ formulated by (10). We intend to verify that $\tilde{\mathcal{F}}_{*}$ maps bounded sets into bounded subsets of $\mathcal{X}_{*}$. Select an appropriate constant $\rho ^{*} > 0$ and build a bounded ball $\mathcal{B}_{\rho ^{*}}^{*} = \{u\in \mathcal{X}_{*}:\|u\|\leq \rho ^{*}\}$ in $\mathcal{X}_{*}$. Then, for each $t\in \tilde{J}$, we have

$$\begin{aligned} & \bigl\vert \tilde{\mathcal{F}}_{*} u(t) \bigr\vert \\ &\quad \leq \sup _{t\in \tilde{J}} \biggl\vert \frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \hat{\Upsilon } \bigl( r, u(r) \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}- \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} u(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, u(T) \bigr)- \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}u(T) \\ &\qquad{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, u(\eta ) \bigr)- \frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}u(\eta ) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, u(T) \bigr) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}u(T) -\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, u(\nu ) \bigr) \\ &\qquad{}+\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}u( \nu ) \\ &\qquad{}-\delta _{1}\Delta _{4}+\Delta _{2}\delta _{2} \biggr]+ \frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, u(T) \bigr) \\ &\qquad{}+\frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}u(T) \\ &\qquad{}-\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, u(\eta ) \bigr)+ \frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}u(\eta ) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, u(T) \bigr) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}u(T)+ \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*},\varrho }} \hat{\Upsilon } \bigl( \nu, u(\nu ) \bigr) \\ &\qquad{}-\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}u( \nu ) +\delta _{1}\Delta _{3}-\delta _{2} \Delta _{1} \biggr] \biggr\vert \\ &\quad \leq \Vert \Phi \Vert \Psi \bigl( \Vert u \Vert \bigr)\mathcal{W}_{2}+ \Vert u \Vert \mathcal{W}_{1} \\ &\qquad{}+\frac{(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1} \Delta _{3} \vert + \vert \delta _{2}\Delta _{1} \vert \bigr) + \frac{(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1} \Delta _{4} \vert + \vert \delta _{2}\Delta _{2} \vert \bigr), \end{aligned}$$

and consequently,

$$\begin{aligned} \bigl\Vert \tilde{\mathcal{F}}_{*} (t) \bigr\Vert \leq {}&\Vert \Phi \Vert \Psi \bigl( \Vert u \Vert \bigr)\mathcal{W}_{2}+ \Vert u \Vert \mathcal{W}_{1}+ \frac{(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1} \Delta _{3} \vert + \vert \delta _{2}\Delta _{1} \vert \bigr) \\ &{}+\frac{(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1} \Delta _{4} \vert + \vert \delta _{2}\Delta _{2} \vert \bigr). \end{aligned}$$

Now, we continue to prove that the operator $\tilde{\mathcal{F}}_{*}$ maps bounded sets (balls) into equicontinuous sets of $\mathcal{X}_{*}$. Assuming $t_{1}, t_{2} \in \tilde{J}$ with $t_{1} < t_{2}$ and $u \in \mathcal{B}_{\rho ^{*}}^{*}$, we have

$$\begin{aligned} & \bigl\vert \tilde{\mathcal{F}}_{*}u(t_{2}) - \tilde{ \mathcal{F}}_{*}u(t_{1}) \bigr\vert \\ &\quad \leq\frac{\Phi (t)\Psi ( \Vert u \Vert ) ( 2 \vert ((t_{2}-t_{0})^{\varrho }-(t_{2}-t_{0})^{\varrho })^{k^{*}} \vert + \vert (t_{2}-t_{0})^{\varrho k^{*}} -(t_{1}-t_{0})^{\varrho k^{*}} \vert )}{\lambda ^{*}\Gamma (k^{*}+1)} \\ &\qquad{}+ \frac{ \Vert u \Vert ( 2 \vert ((t_{2}-t_{0})^{\varrho }-(t_{2}-t_{0})^{\varrho })^{k^{*}-\theta } \vert + \vert (t_{2}-t_{0})^{\varrho ( k^{*}-\theta )} -(t_{1}-t_{0})^{\varrho (k^{*}-\theta )} \vert )}{\lambda ^{*}\Gamma (k^{*}-\theta +1)} \\ &\qquad{}+ \frac{ \vert (t_{2}-t_{0})^{\varrho }-(t_{1}-t_{0})^{\varrho } \vert }{ \vert \Theta ^{*} \vert } \biggl[ \biggl\vert \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, u(T) \bigr) \biggr\vert \\ &\qquad{}+\biggl\vert \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\theta ^{*}-\gamma _{1}^{*},\varrho }}u(T) \\ &\qquad{}+ \biggl\vert \frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, u(\eta ) \bigr) \biggr\vert + \biggl\vert \frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}u( \eta ) \biggr\vert \\ &\qquad{}+\biggl\vert \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*},\varrho }} \hat{\Upsilon } \bigl( T , u(T) \bigr)\biggr\vert \\ &\qquad{}+ \biggl\vert \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}-\theta ^{*},\varrho }}u(T) \biggr\vert + \biggl\vert \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}\hat{\Upsilon } \bigl( \nu, u(\nu ) \bigr) \biggr\vert \\ &\qquad{}+ \biggl\vert \frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}u( \nu ) \biggr\vert \\ &\qquad{}+ \vert \delta _{1}\Delta _{4} \vert + \vert \Delta _{2} \delta _{2} \vert \biggr]+ \frac{ \vert (t_{2}-t_{0})^{2\varrho }-(t_{1}-t_{0})^{2\varrho } \vert }{ \vert \Theta ^{*} \vert } \\ &\qquad{}\times \biggl[ \biggl\vert \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, u(T) \bigr) \biggr\vert \\ &\qquad{}+ \biggl\vert \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\theta ^{*}-\gamma _{1}^{*},\varrho }}u(T) \biggr\vert \biggl\vert \frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}\hat{\Upsilon } \bigl( \eta, u(\eta ) \bigr) \biggr\vert \\ &\qquad{}+ \biggl\vert \frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}u( \eta ) \biggr\vert \\ &\qquad{}+ \biggl\vert \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*},\varrho }} \hat{\Upsilon } \bigl( T , u(T) \bigr) \biggr\vert \biggl\vert \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}u(T) \biggr\vert \\ &\qquad{}+ \biggl\vert \frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, u(\nu ) \bigr) \biggr\vert \\ &\qquad{}+ \biggl\vert \frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}u( \nu ) \biggr\vert + \vert \delta _{1}\Delta _{3} \vert + \vert \delta _{2}\Delta _{1} \vert \biggr]. \end{aligned}$$

If $t_{1} \to t_{2}$, then the RHS of the above inequality approaches 0 independently of $u\in \mathcal{B}_{\rho ^{*}}^{*}$. This implies the equicontinuity of $\tilde{\mathcal{F}}_{*}$, and so the relative compactness of $\tilde{\mathcal{F}}_{*}$ on $\mathcal{B}_{\rho ^{*}}^{*}$. Hence from the Arzela–Ascoli theorem it follows that $\tilde{\mathcal{F}}_{*}$ is completely continuous, and so $\tilde{\mathcal{F}}_{*}$ is compact on $\mathcal{B}_{\rho ^{*}}^{*}$. The desired result is completed from the Leray–Schauder theorem 2.4 once we can verify the boundedness of the set of solutions for an equation $u=\omega ^{*} \tilde{\mathcal{F}}_{*} u$ for some $\omega ^{*} \in (0,1)$. To reach this goal, let us assume that u is a solution for the latter equation. For any $t\in \tilde{J}$, we obtain

$$\begin{aligned} \bigl\vert u(t) \bigr\vert \leq{}& \Vert \Phi \Vert \Psi \bigl( \Vert u \Vert \bigr)\mathcal{W}_{2}+ \Vert u \Vert \mathcal{W}_{1}+ \frac{(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1} \Delta _{3} \vert + \vert \delta _{2}\Delta _{1} \vert \bigr) \\ &{}+ \frac{(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert } \bigl( \vert \delta _{1} \Delta _{4} \vert + \vert \delta _{2}\Delta _{2} \vert \bigr), \end{aligned}$$

and so

$$\begin{aligned} &\frac{ \Vert u \Vert \vert \Theta ^{*} \vert }{ \Vert u \Vert \vert \Theta ^{*} \vert \mathcal{W}_{1}+\Psi ( \Vert u \Vert ) \Vert \Phi \Vert \vert \Theta ^{*} \vert \mathcal{W}_{2}+(T-t_{0})^{2\varrho }( \vert \delta _{1}\Delta _{3} \vert + \vert \delta _{2}\Delta _{1} \vert ) +(T-t_{0})^{\varrho }( \vert \delta _{1}\Delta _{4} \vert + \vert \delta _{2}\Delta _{2} \vert )}\\ &\quad < 1 . \end{aligned}$$

Select the constant $\mathcal{Q}^{*}$ with $\Vert u\Vert \ne \mathcal{Q}^{*}$. Put $\mathcal{U}=\{x\in \mathcal{X}_{*}: \Vert u \Vert <\mathcal{Q}^{*}\}$. Then one can realize that the operator $\tilde{\mathcal{F}}_{*}:\bar{\mathcal{U}}\to \mathcal{X}_{*}$ is continuous and completely continuous. By considering the choice of $\mathcal{U}$, there is no $u\in \partial \mathcal{U}$ satisfying $u=\omega ^{*} \tilde{\mathcal{F}}_{*} u$ for some $\omega ^{*} \in (0,1)$. Therefore by utilizing the Leray–Schauder theorem, it is deduced that $\tilde{\mathcal{F}}_{*}$ is an operator having a fixed point $u\in \bar{\mathcal{U}}$ which is a solution for the four-point multi-order nonlinear generalized Caputo type fractional BVP (3). □

4 Stability analysis

In the current section, we are going to investigate some well-known stability results such as Ulam–Hyers, generalized Ulam–Hyers, Ulam–Hyers–Rassias, and generalized Ulam–Hyers–Rassias stability of solutions for the four-point multi-order nonlinear generalized Caputo type fractional BVP (3). First, we state the relevant concepts in this regard, which are adapted from paper [49].

Definition 4.1

([49])

We say that the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) is Ulam–Hyers stable whenever there is a positive constant $\kappa \in \mathbb{R}$ such that, for $\varepsilon > 0$ and for each solution function $v\in \mathcal{X}_{*}$ of the following inequality

$$ \bigl\vert \lambda ^{*} {}^{CC} \mathcal{D}_{t_{0}}^{k^{*}, \varrho }v(t)+ {}^{CC} \mathcal{D}_{t_{0}}^{\theta ^{*},\varrho }v(t)-\hat{\Upsilon } \bigl( t, v(t) \bigr) \bigr\vert \leq \varepsilon, \quad\bigl(t\in [t_{0},T]\bigr), $$

(14)

there is another solution function $u\in \mathcal{X}_{*}$ for the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) with the following property:

$$ \bigl\vert v(t)-u(t) \bigr\vert \leq \kappa \varepsilon, \quad\bigl(t \in [t_{0},T]\bigr). $$

Definition 4.2

([49])

We say that the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) is generalized Ulam–Hyers stable if there exists $\psi _{\hat{\Upsilon }} \in \mathcal{C}_{\mathbb{R^{+}}}( \mathbb{R^{+}})$ with $\psi _{\hat{\Upsilon }} (0)=0$ provided that, for each solution function $v\in \mathcal{X}_{*}$ of inequality (14), there is another solution function $u\in \mathcal{X}_{*}$ for the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) satisfying the following inequality:

$$ \bigl\vert v(t)-u(t) \bigr\vert \leq \psi _{\hat{\Upsilon }}( \varepsilon ),\quad \bigl(t\in [t_{0},T]\bigr). $$

Definition 4.3

([49])

The four-point multi-order nonlinear generalized Caputo type fractional BVP (3) is defined to be Ulam–Hyers–Rassias stable depending on $\varphi: [t_{0},T]\to \mathbb{R^{+}}$ if there is a positive constant $\kappa _{\varphi } \in \mathbb{R}$ such that, for each $\varepsilon > 0$ and for every solution function $v\in \mathcal{X}_{*}$ of inequality

$$ \bigl\vert \lambda ^{*} {}^{CC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho }v(t)+ {}^{CC}\mathcal{D}_{t_{0}}^{\theta ^{*},\varrho }v(t)-\hat{\Upsilon } \bigl( t, v(t) \bigr) \bigr\vert \leq \varepsilon \varphi (t),\quad \bigl(t \in [t_{0},T]\bigr), $$

(15)

there exists another solution function $u \in \mathcal{X}_{*}$ of the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) satisfying the following inequality:

$$ \bigl\vert v(t)-u(t) \bigr\vert \leq \kappa _{\varphi }\varepsilon \varphi (t),\quad \bigl(t\in [t_{0},T]\bigr). $$

Definition 4.4

([49])

The four-point multi-order nonlinear generalized Caputo type fractional BVP (3) is said to be generalized Ulam–Hyers–Rassias stable depending on the function $\varphi: [t_{0},T]\to \mathbb{R^{+}}$ if there is a positive constant $\kappa _{\varphi }\mathbb{R}$ provided that, for any $\varepsilon > 0$ and for every solution function $v\in \mathcal{X}_{*}$ of the inequality

$$ \bigl\vert \lambda ^{*} {}^{CC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho }v(t)+ {}^{CC}\mathcal{D}_{t_{0}}^{\theta ^{*},\varrho }v(t)-\hat{\Upsilon } \bigl( t, v(t) \bigr) \bigr\vert \leq \varphi (t),\quad \bigl(t\in [t_{0},T]\bigr), $$

(16)

there is another solution function $u\in \mathcal{X}_{*}$ for the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) which satisfies the following inequality:

$$ \bigl\vert v(t)-u(t) \bigr\vert \leq \kappa _{\varphi }\varphi (t),\quad \bigl(t \in [t_{0},T]\bigr). $$

Remark 4.5

Notice that the function $v\in \mathcal{X}_{*}$ is called a solution for inequality (14) if and only if there is a function $g\in \mathcal{X}_{*}$ depending on v such that

• (i) $\vert g(t)\vert < \varepsilon, (t\in [t_{0},T])$;

• (ii) ${}^{CC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho }v(t)+{}^{CC}\mathcal{D}_{t_{0}}^{ \theta ^{*},\varrho }v(t)=\hat{\Upsilon } ( t, v(t) )+g(t), (t \in [t_{0},T])$.

Now, in the light of Remark 4.5, the solution function of equation

$$ {}^{CC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho }v(t)+{}^{CC} \mathcal{D}_{t_{0}}^{ \theta ^{*},\varrho }v(t)=\hat{\Upsilon } \bigl( t, v(t) \bigr)+g(t), \quad\bigl(t \in [t_{0},T]\bigr) $$

(17)

can be represented by the following generalized Riemann–Liouville type fractional integral equation:

$$\begin{aligned} v(t)={}&\frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \hat{\Upsilon } \bigl( r, v(r) \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &{}+\frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} g(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &{}- \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} v(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr) \\ &{}+\frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}g(T)- \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)+ \frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}g(\eta ) \\ &{}-\frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\theta ^{*}-\gamma _{2}^{*},\varrho }}v( \eta ) \\ &{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)- \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}g(T) \\ &{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &{}-\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)- \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}g(\nu ) \\ &{}+\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v( \nu )-\delta _{1}\Delta _{4}+\Delta _{2} \delta _{2} \biggr] \\ &{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr)- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}g(T) \\ &{}+\frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &{}-\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)- \frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}g(\eta )+\frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\theta ^{*}-\gamma _{2}^{*},\varrho }}v( \eta ) \\ &{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)+ \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}g(T) \\ &{}-\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)+ \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}g(\nu ) \\ &{}-\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v( \nu )+\delta _{1}\Delta _{3}-\delta _{2} \Delta _{1} \biggr]. \end{aligned}$$

In the sequel, by considering the above findings and by implementing some routine computations, we obtain the following estimate:

$$\begin{aligned} & \biggl\vert v(t) - \biggl\{ \frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \hat{\Upsilon } \bigl( r, v(r) \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}+\frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} g(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}- \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} v(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr)+ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}g(T) \\ &\qquad{}-\frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &\qquad{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)+ \frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}g(\eta )-\frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\theta ^{*}-\gamma _{2}^{*},\varrho }}v( \eta ) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)- \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}g(T) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &\qquad{}-\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)- \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}g(\nu ) \\ &\qquad{}+\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v( \nu )-\delta _{1}\Delta _{4}+\Delta _{2} \delta _{2} \biggr] \\ &\qquad{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr)- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}g(T) \\ &\qquad{}+\frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &\qquad{}-\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)- \frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}g(\eta ) \\ &\qquad{}+\frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\theta ^{*}-\gamma _{2}^{*},\varrho }}v( \eta ) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)+ \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}g(T) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &\qquad{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)+ \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}g(\nu ) \\ &\qquad{}-\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v( \nu )+\delta _{1}\Delta _{3}-\delta _{2} \Delta _{1} \biggr] \biggr\} \biggr\vert \\ &\quad\leq \biggl\vert \frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} g(r)\frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \biggr\vert \\ &\qquad{}+ \frac{(t-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert } \biggl[ \biggl\vert \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}g(T) \biggr\vert + \biggl\vert \frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}g( \eta ) \biggr\vert \\ &\qquad{}+ \biggl\vert \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*},\varrho }}g(T) \biggr\vert + \biggl\vert \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}g(\nu ) \biggr\vert \biggr] \\ &\qquad{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[ \biggl\vert \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}g(T) \biggr\vert \\ &\qquad{}+ \biggl\vert \frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } g(\eta ) \biggr\vert \\ &\qquad{}+ \biggl\vert \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*},\varrho }} \hat{\Upsilon } g(T) \biggr\vert + \biggl\vert \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}g(\nu ) \biggr\vert \biggr] \leq \varepsilon \mathcal{W}_{2}. \end{aligned}$$

Now, we are ready to check the establishment of Ulam–Hyers stability for the proposed problem (3).

Theorem 4.6

Assume that the map $\hat{\Upsilon }: \tilde{J} \times \mathfrak{X}_{*} \to \mathbb{R}$ is continuous and there is a positive constant $\mathcal{L}_{*}\in \mathbb{R}$ provided that $|\hat{\Upsilon }(t, u)-\hat{\Upsilon }(t, u')|\leq \mathcal{L}_{*} |u-u'|$ for each $t\in \tilde{J}$ and $u, u'\in \mathfrak{X}_{*}$ with $\mathcal{L}_{*}\mathcal{W}_{2}+\mathcal{W}_{1} < 1$. Then the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) is Ulam–Hyers stable and consequently is generalized Ulam–Hyers stable on $\tilde{J} = [t_{0}, T]$.

Proof

Assume that $v \in \mathcal{X}_{*}$ is a solution of inequality (14). Also, let $u \in \mathcal{X}_{*}$ be a unique solution for the four-point multi-order nonlinear generalized Caputo type fractional BVP (3). Then one can write

$$\begin{aligned} & \bigl\vert v(t) -u(t) \bigr\vert \\ &\quad \leq \biggl\vert v(t)- \biggl\{ \frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \hat{\Upsilon } \bigl( r, v(r) \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}+\frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} g(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}- \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} v(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr)+ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}g(T) \\ &\qquad{}-\frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &\qquad{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)+ \frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}g(\eta )-\frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\theta ^{*}-\gamma _{2}^{*},\varrho }}v( \eta ) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)- \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}g(T) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &\qquad{}-\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)- \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}g(\nu ) \\ &\qquad{}+\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v( \nu )-\delta _{1}\Delta _{4}+\Delta _{2} \delta _{2} \biggr] \\ &\qquad{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr) \\ &\qquad{}-\frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}g(T)+ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &\qquad{}-\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)- \frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}g(\eta )+\frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\theta ^{*}-\gamma _{2}^{*},\varrho }}v( \eta ) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)+ \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}g(T) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &\qquad{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)+ \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}g(\nu ) \\ &\qquad{}-\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v( \nu )+\delta _{1}\Delta _{3}-\delta _{2} \Delta _{1} \biggr] \biggr\} \\ &\qquad{}+ \biggl\{ \frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \hat{\Upsilon } \bigl( r, v(r) \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}+\frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} g(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}- \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} v(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr) \\ &\qquad{}+\frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}g(T)- \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &\qquad{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)+ \frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}g(\eta ) \\ &\qquad{}-\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}v( \eta ) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}g(T)+ \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}-\theta ^{*},\varrho }}v(T) \\ &\qquad{}-\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)- \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}g(\nu ) \\ &\qquad{}+\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v( \nu )-\delta _{1}\Delta _{4}+\Delta _{2} \delta _{2} \biggr] \\ &\qquad{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr) \\ &\qquad{}-\frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}g(T)+ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &\qquad{}-\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)- \frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}g(\eta )+\frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}-\theta ^{*}-\gamma _{2}^{*},\varrho }}v( \eta ) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)+ \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}g(T) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &\qquad{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)+ \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}g(\nu ) \\ &\qquad{}-\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v( \nu )+\delta _{1}\Delta _{3}-\delta _{2} \Delta _{1} \biggr] \biggr\} -u(t) \biggr\vert \\ &\quad\leq \varepsilon \mathcal{W}_{2} +(\mathcal{L}_{*} \mathcal{W}_{2}+ \mathcal{W}_{1}) \bigl\vert v(t)-u(t) \bigr\vert , \end{aligned}$$

which yields that

$$ \bigl\vert v(t)-u(t) \bigr\vert \leq \frac{\varepsilon \mathcal{W}_{2}}{1-(\mathcal{L}_{*}\mathcal{W}_{2}+\mathcal{W}_{1})}. $$

(18)

For the sake of simplicity in writing, we take $\kappa = \frac{\mathcal{W}_{2}}{1-(\mathcal{L}\mathcal{W}_{2}+\mathcal{W}_{1})}$, and so

$$ (\mathcal{L}_{*}\mathcal{W}_{2}+\mathcal{W}_{1}) \leq 1. $$

Then (18) becomes

$$ \bigl\vert v(t)-u(t) \bigr\vert \leq \varepsilon \kappa \quad\bigl(t\in \tilde{J} = [t_{0},T]\bigr). $$

Thus it is deduced that the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) is Ulam–Hyers stable. Furthermore, assuming $\psi _{\hat{\Upsilon }}(\epsilon )=\varepsilon \kappa$, it is clear that $\psi _{\hat{\Upsilon }}(0)=0$. Consequently, it follows that the solution function of the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) is generalized Ulam–Hyers stable and the proof is completed. □

Remark 4.7

Notice that a function $v\in \mathcal{X}_{*}$ is a solution of inequality (4.3) if and only if there is another function $h^{*}\in \mathcal{X}_{*}$ depending on v provided that

• (i) $|h^{*}(t)| < \varepsilon \varphi (t), (t\in [t_{0},T])$

• (ii) ${}^{CC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho }v(t)+{}^{CC}\mathcal{D}_{t_{0}}^{ \theta ^{*},\varrho }v(t)=\hat{\Upsilon } ( t, v(t) )+h^{*}(t), (t \in [t_{0},T])$.

In the light of Remark (4.7), the solution function of the equation

$$ {}^{CC}\mathcal{D}_{t_{0}}^{k^{*}, \varrho }v(t)+{}^{CC} \mathcal{D}_{t_{0}}^{ \theta ^{*},\varrho }v(t)=\hat{\Upsilon } \bigl( t, v(t) \bigr)+h^{*}(t), \quad\bigl(t \in [t_{0},T]\bigr) $$

can be represented by

$$\begin{aligned} v(t)={}&\frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \hat{\Upsilon } \bigl( r, v(r) \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &{}+\frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} h^{*}(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &{}- \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} v(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr)+ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}h^{*}(T) \\ &{}-\frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)+ \frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}h^{*}(\eta ) \\ &{}-\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}v( \eta ) \\ &{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr) \\ &{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}h^{*}(T)+ \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}-\theta ^{*},\varrho }}v(T) \\ &{}-\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)- \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}h^{*}(\nu ) \\ &{}+\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v( \nu )-\delta _{1}\Delta _{4}+\Delta _{2} \delta _{2} \biggr] \\ &{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr)- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}h^{*}(T) \\ &{}+\frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &{}-\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)- \frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}h^{*}(\eta ) \\ &{}+\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}v( \eta ) \\ &{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)+ \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}h^{*}(T) \\ &{}-\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)+ \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}h^{*}(\nu ) \\ &{}-\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v( \nu )+\delta _{1}\Delta _{3}-\delta _{2} \Delta _{1} \biggr]. \end{aligned}$$

Then the following estimate holds:

$$\begin{aligned} & \biggl\vert v(t)- \biggl\{ \frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \hat{\Upsilon } \bigl( r, v(r) \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}+\frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} h^{*}(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}- \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} v(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr) \\ &\qquad{}+\frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}h^{*}(T)- \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &\qquad{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)+ \frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}h^{*}(\eta ) \\ &\qquad{}-\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}v( \eta ) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)- \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}h^{*}(T) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &\qquad{}-\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)- \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}h^{*}(\nu ) \\ &\qquad{}+\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v( \nu )-\delta _{1}\Delta _{4}+\Delta _{2} \delta _{2} \biggr] \\ &\qquad{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr)- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}h^{*}(T) \\ &\qquad{}+\frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &\qquad{}-\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)- \frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}h^{*}(\eta ) \\ &\qquad{}+\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}v( \eta ) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)+ \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }}h^{*}(T) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &\qquad{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)+ \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}h^{*}(\nu ) \\ &\qquad{}-\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v( \nu )+\delta _{1}\Delta _{3}-\delta _{2} \Delta _{1} \biggr] \biggr\} \biggr\vert \\ &\quad\leq \biggl\vert \frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} h^{*}(r)\frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \biggr\vert \\ &\qquad{}+\biggl\vert \frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \biggl\vert \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}h^{*}(T) \biggr\vert + \biggl\vert \frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }}h^{*}( \eta ) \biggr\vert \\ &\qquad{}+ \biggl\vert \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*},\varrho }}h^{*}(T) \biggr\vert + \biggl\vert \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}h^{*}(\nu ) \biggr\vert \biggr] \\ &\qquad{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[ \biggl\vert \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}h^{*}(T) \biggr\vert + \biggl\vert \frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} h^{*}(\eta ) \biggr\vert \\ &\qquad{}+ \biggl\vert \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*},\varrho }} h^{*}(T) \biggr\vert + \biggl\vert \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }}h^{*}(\nu ) \biggr\vert \biggr] \\ &\quad\leq \varepsilon \varphi (t)\mathcal{W}_{2}. \end{aligned}$$

Now, we are ready to check the establishment of Ulam–Hyers–Rassias stability for the proposed problem (3).

Theorem 4.8

Let $\hat{\Upsilon }:[t_{0},T]\times \mathfrak{X}_{*} \to \mathbb{R}$ be a continuous function and there exist a nondecreasing continuous function $\Psi:[0,\infty )\to (0,\infty )$ and $\Phi \in \mathcal{C}_{\mathbb{R}^{+}}(\tilde{J})$ provided that $|\hat{\Upsilon }(t,u)|\leq \Phi (t)\Psi (\|u\|)$ for each $(t,u)\in \tilde{J}\times \mathfrak{X}_{*}$. If condition (13) is valid and there is a function $h^{*}$ which satisfies Remark 4.7with $2\mathcal{Q}^{*} \leq h^{*}(t)$ for any $t\in \tilde{J} = [t_{0},T]$, then the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) is Ulam–Hyers–Rassias stable, and so it is generalized Ulam–Hyers–Rassias stable.

Proof

Suppose that $v\in \mathcal{X}_{*}$ is a solution of inequality (4.3), and also let $u\in \mathcal{X}_{*}$ be a solution for the four-point multi-order nonlinear generalized Caputo type fractional BVP (3). Then we get

$$\begin{aligned} & \bigl\vert v(t)-u(t) \bigr\vert \\ &\quad \leq\biggl\vert v(t)- \biggl\{ \frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \hat{\Upsilon } \bigl( r, v(r) \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}- \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} v(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr)- \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &\qquad{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)- \frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}v(\eta ) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)+ \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &\qquad{}-\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)+ \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v(\nu )-\delta _{1}\Delta _{4}+\Delta _{2} \delta _{2} \biggr] \\ &\qquad{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr)+ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &\qquad{}-\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)+ \frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}v(\eta ) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)- \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &\qquad{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)- \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v(\nu )+\delta _{1}\Delta _{3}-\delta _{2} \Delta _{1} \biggr] \biggr\} \biggr\vert \\ &\qquad{}+ \biggl\vert \biggl\{ \frac{1}{\lambda \Gamma ( k^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*} -1} \hat{\Upsilon } \bigl( r, v(r) \bigr) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}- \frac{1}{\lambda \Gamma ( k^{*}-\theta ^{*} )} \int _{t_{0}}^{t} \biggl( \frac{(t-t_{0})^{\varrho }- (r-t_{0})^{\varrho }}{ \varrho } \biggr)^{k^{*}- \theta ^{*} -1} v(r) \frac{ \mathrm{d}r}{(r-t_{0})^{1-\varrho } } \\ &\qquad{}+\frac{(t-t_{0})^{\varrho }}{\Theta ^{*}} \biggl[ \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr)- \frac{\mu _{1}^{*}\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &\qquad{}+\frac{\Delta _{4}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)- \frac{\Delta _{4}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}v(\eta ) \\ &\qquad{}-\frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)+ \frac{\mu _{2}^{*}\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &\qquad{}-\frac{\Delta _{2}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)+ \frac{\Delta _{2}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v(\nu )-\delta _{1}\Delta _{4}+\Delta _{2} \delta _{2} \biggr] \\ &\qquad{}+\frac{(t-t_{0})^{2\varrho }}{\Theta ^{*}} \biggl[- \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{1}^{*},\varrho }}\hat{\Upsilon } \bigl( T, v(T) \bigr)+ \frac{\mu _{1}^{*}\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{1}^{*},\varrho }}v(T) \\ &\qquad{}-\frac{\Delta _{3}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{k^{*}- \gamma _{2}^{*},\varrho }} \hat{\Upsilon } \bigl( \eta, v(\eta ) \bigr)+ \frac{\Delta _{3}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}- \theta ^{*}-\gamma _{2}^{*},\varrho }}v(\eta ) \\ &\qquad{}+\frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{1}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( T, v(T) \bigr)- \frac{\mu _{2}^{*}\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{1}^{*}- \theta ^{*},\varrho }}v(T) \\ &\qquad{}+\frac{\Delta _{1}}{\lambda }{}^{RC}\mathcal{I}_{t_{0}}^{{q_{2}^{*}+k^{*}, \varrho }} \hat{\Upsilon } \bigl( \nu, v(\nu ) \bigr)- \frac{\Delta _{1}}{\lambda }{}^{RC} \mathcal{I}_{t_{0}}^{{k^{*}+q_{2}^{*}- \theta ^{*},\varrho }}v(\nu ) \\ &\qquad{}+\delta _{1}\Delta _{3}-\delta _{2}\Delta _{1} \biggr] \biggr\} \biggr\vert + \bigl\vert u(t) \bigr\vert \\ &\quad\leq \varepsilon \varphi (t)\mathcal{W}_{2} + \Vert \Phi \Vert \Psi \bigl( \Vert v \Vert \bigr) \mathcal{W}_{2}+ \Vert v \Vert \mathcal{W}_{1}++ \Vert \Phi \Vert \Psi \bigl( \Vert u \Vert \bigr) \mathcal{W}_{2}+ \Vert u \Vert \mathcal{W}_{1} \\ &\qquad{}+\frac{2(T-t_{0})^{2\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1} \Delta _{3} \vert + \vert \delta _{2}\Delta _{1} \vert \bigr) + \frac{2(T-t_{0})^{\varrho }}{ \vert \Theta ^{*} \vert }\bigl( \vert \delta _{1} \Delta _{4} \vert + \vert \delta _{2}\Delta _{2} \vert \bigr) \\ &\quad\leq \varepsilon \varphi (t)\mathcal{W}_{2}+2\mathcal{Q}^{*} \leq \varepsilon \varphi (t)\mathcal{W}_{2}+\varepsilon \varphi (t), \end{aligned}$$

which yields that

$$ \bigl\vert v(t)-u(t) \bigr\vert \leq \varepsilon ( \mathcal{W}_{2}+1) \varphi (t). $$

(19)

For the sake of simplicity in writing, we take $\kappa _{\varphi }= \mathcal{W}_{2}+1$. Then (19) becomes

$$ \bigl\vert v(t)-u(t) \bigr\vert \leq \kappa _{\varphi }\varepsilon \varphi (t). $$

This means that the four-point multi-order nonlinear generalized Caputo type fractional BVP (3) is Ulam–Hyers–Rassias stable. Moreover, in the same manner, one can show that the mentioned problem (3) is generalized Ulam–Hyers–Rassias stable. □

5 Examples

In this part of the current paper, we formulate two illustrative examples to confirm the correctness of theoretical findings from the computational aspects. Indeed, in the following examples, we consider two cases with different functions in the proposed BVPs.

Example 5.1

With due attention to the proposed problem (3), we design the following four-point multi-order nonlinear generalized Caputo type fractional BVP:

$$ \textstyle\begin{cases} \frac{47}{48}{}^{CC}\mathcal{D}_{\frac{1}{10}}^{ \frac{57}{20}, 0.9 }u(t)+ {}^{CC}\mathcal{D}_{\frac{1}{10}}^{ \frac{33}{16},0.9}u(t)=\hat{\Upsilon }(t,u(t)), \quad (t\in [ \frac{1}{10},\frac{1}{5}]), \\ u( \frac{1}{10})=0, \\ \frac{1}{33}{}^{CC}\mathcal{D}_{\frac{1}{10}}^{ \frac{7}{15},0.9 }u(\frac{1}{5})+{}^{CC}\mathcal{D}_{\frac{1}{10}}^{ \frac{77}{99},0.9}u(\frac{1}{7})=\frac{1}{100}, \\ \frac{3}{44}{}^{RC}\mathcal{I}_{\frac{1}{10}}^{ \frac{4}{3},0.9}u(\frac{1}{5})+{}^{RC}\mathcal{I}_{\frac{1}{10}}^{ \frac{5}{3},0.9}u(\frac{1}{6})= \frac{1}{50}, \end{cases} $$

(20)

where $\lambda ^{*}=47/54$, $\varrho = 0.9$, $k^{*}=57/20$, $\theta ^{*}=33/16$, $\gamma _{1}^{*}=7/15$, $\gamma _{2}^{*}=77/99$, $q_{1}^{*}=4/3$, $q_{2}^{*}=5/3$, $\delta _{1}=1/100$, $\delta _{2}=1/50$, $t_{0}= 1/10$, $\nu =1/7$, $\eta =1/6$, $\mu _{1}^{*} = 1/33$, $\mu _{2}^{*} = 3/44$, and $T=1/5$. Moreover, notice that $0<\gamma _{1}^{*},\gamma _{2}^{*}<0.7875=k^{*}-\theta ^{*}$.

If we define a continuous function $\hat{\Upsilon }: [\frac{1}{10},\frac{1}{5}] \times \mathbb{R} \to \mathbb{R}$ as follows:

$$ \hat{\Upsilon }\bigl(t,u(t)\bigr)=t^{2}\biggl( \frac{ \vert u(t) \vert }{1+ \vert u(t) \vert } \biggr)\sin \bigl(u(t)\bigr), $$

then we get $\vert \hat{\Upsilon }(t,u(t))-{\Upsilon }(t,u'(t))\vert \leq \frac{1}{25}\vert u(t)-u'(t)\vert$ with $\mathcal{L}_{*} =1/25$. In addition, we have $\vert \hat{\Upsilon }(t,u(t))\vert \leq t^{2}=\mathcal{V}(t)$. Besides, we obtain the following values:

$$\begin{aligned} &\Delta _{1} \approx 0.5485,\qquad \Delta _{2} \approx 0.8939,\qquad \Delta _{3} \approx 6.7130\times 10^{-4},\qquad \Delta _{4} \approx 3.7840 \times 10^{-4}, \\ &\Theta ^{*} \approx 3.9255\times 10^{-4},\qquad \mathcal{W}_{1} \approx 0.8593, \qquad\mathcal{W}_{2}\approx 0.0014. \end{aligned}$$

Hence, it is clear that $\mathcal{L}_{*}\mathcal{W}_{2}+\mathcal{W}_{1}\approx 0.8594<1$. Therefore, by considering the assumptions of Theorem 3.2, the four-point multi-order nonlinear generalized Caputo type fractional BVP (20) has a unique solution. Furthermore, by some simple computations, we find that $\kappa = \frac{\mathcal{W}_{2}}{1-(\mathcal{L}_{*}\mathcal{W}_{2}+\mathcal{W}_{1})}=0.0096>0$. Hence, the conditions of Theorem 4.6 imply that the aforementioned problem (20) is Ulam–Hyers stable and it is also generalized Ulam–Hyers stable.

Example 5.2

We take the same values and parameters mentioned in the above example, and we just change the function ϒ̂ given by the following form:

$$ \hat{\Upsilon }\bigl(t,u(t)\bigr)=\frac{1}{t^{2}+5}\biggl( \frac{u^{2}(t)}{ \vert u(t) \vert +1}+4\biggr). $$

(21)

Then we have

$$ \bigl\vert \hat{\Upsilon }\bigl(t,u(t)\bigr) \bigr\vert = \biggl\vert \frac{1}{t^{2}+5} \biggl( \frac{u^{2}(t)}{ \vert u(t) \vert +1}+4 \biggr) \biggr\vert \leq \frac{1}{t^{2}+5}\bigl( \vert x \vert +4\bigr). $$

Put $\Phi (t)=\frac{1}{t^{2}+5}$ and $\Psi (|u|)=\vert x\vert +4$, and select $\mathcal{Q}^{*} > 44.0032$ so that

$$\begin{aligned} &\frac{\mathcal{Q}^{*} \vert \Theta ^{*} \vert }{\mathcal{Q}^{*} \vert \Theta ^{*} \vert \mathcal{W}_{1}+\Psi (\mathcal{Q}^{*}) \Vert \Phi \Vert \vert \Theta ^{*} \vert \mathcal{W}_{2}+(T-t_{0})^{2\varrho }( \vert \delta _{1}\Delta _{3} \vert + \vert \delta _{2}\Delta _{1} \vert ) +(T-t_{0})^{\varrho }( \vert \delta _{1}\Delta _{4} \vert + \vert \delta _{2}\Delta _{2} \vert )}\\ &\quad >1. \end{aligned}$$

Now, in view of the assumptions of Theorem 3.4, we deduce that the four-point multi-order nonlinear generalized Caputo type fractional BVP (20) with ϒ̂ defined as in (21) has at least one solution.

Moreover, by defining $h^{*}(t)=2\exp (t+2)^{2}$ and $\mathcal{Q}^{*}=45$, we reach the inequality $2\mathcal{Q}^{*} \leq h^{*}(t)$ for any $t\in [\frac{1}{10}, \frac{1}{5}]$. Now, we set $\varphi =\exp (t+2)^{2}$, and we obtain $\kappa _{\varphi }= \mathcal{W}_{2}+1=1.0014>0$. Hence, Theorem 4.8 indicates that the mentioned problem (20) with ϒ̂ illustrated by (21) is Ulam–Hyers–Rassias stable and also it is generalized Ulam–Hyers–Rassias stable on $[\frac{1}{10}, \frac{1}{5}]$.

6 Conclusion

New versions of generalized fractional boundary problems have drawn much interest in recent years owing to their extensive utilization in various directions of applied sciences such as engineering, mechanics, potential theory, biology, chemistry, etc. The subject of stability is a very important notion in physics since most phenomena in the real world include this concept. In fact, the stability notion of physical phenomena has an old historical context, and for the sake of such importance and applicability, one can observe a lot of works in the numerous publications not only in the last century but also before it. In this research article, we turn to study the existence and different types of stability such as generalized Ulam–Hyers stability and generalized Ulam–Hyers–Rassias stability of solutions for a new modeling of a boundary value problem equipped with the fractional differential equation which contains multi-order generalized Caputo type derivatives furnished with four-point mixed generalized Riemann–Liouville type integro-derivative conditions. At the end of the current paper, we formulate two illustrative examples to confirm the correctness of theoretical findings from computational aspects.