Skip to main content

Nonlocal and multiple-point fractional boundary value problem in the frame of a generalized Hilfer derivative

Abstract

The aim of this manuscript is to handle the nonlocal boundary value problem for a specific kind of nonlinear fractional differential equations involving a ξ-Hilfer derivative. The used fractional operator is generated by the kernel of the kind \(k(\vartheta,s)=\xi (\vartheta )-\xi (s)\) and the operator of differentiation \({ D}_{\xi } = ( \frac{1}{\xi ^{\prime }(\vartheta )}\frac{d}{d\vartheta } ) \). The existence and uniqueness of solutions are established for the considered system. Our perspective relies on the properties of the generalized Hilfer derivative and the implementation of Krasnoselskii’s fixed point approach and Banach’s contraction principle with respect to the Bielecki norm to obtain the uniqueness of solution on a bounded domain in a Banach space. Besides, we discuss the Ulam–Hyers stability criteria for the main fractional system. Finally, some examples are given to illustrate the viability of the main theories.

Introduction

Fractional calculus (FC) was introduced at the end of the seventeenth century as a branch of mathematical analysis that deals with the examinations of various possibilities to term real (or complex) number powers of the integration (and differentiation) operators. FC is the generalization of ordinary calculus concerned with operations of integration (and differentiation) of noninteger order.

Fractional differential equations (FDEs) including Caputo, Riemann–Liouville (RL), Hilfer, Hadamard, and Erdelyi–Kober fractional derivatives (FDs) have been used in different areas of technological disciplines and concentrated on by numerous mathematicians, see the books [15] and the references given therein. Recently, using the generalized Mittag-Leffler function, Atangana and Baleanu [6] suggested a new formulation of the fractional derivative with a nonlocal and nonsingular kernel. Atangana [7] introduced a new differentiation which combines fractal differentiation and fractional differentiation. Very recently, another methodology of FDs having a general kernel with respect to another function known as the ψ-Caputo and ψ-Hilfer operator has been introduced by Almeida [8] and Sousa and Oliveira [9], respectively, drawing on the idea of Kilbas et al. [1, 3] and Agrawal [10] who made some generalizations to fractional integrals and derivatives with respect to another function. Jarad and Abdeljawad [11] presented interesting properties of generalized operators with another function, including the generalized Laplace transform. A few specialists were as of late occupied with the advancement of ξ-Caputo (or ξ-Hilfer)-type FDEs, see [1225] and the references therein. Impressive considerations have been provided to the investigation of the Ulam–Hyers (UH) stability of a wide range of FDEs, see [2632].

In this regard, we investigate the existence, uniqueness, and UH stability of solutions for the following nonlocal boundary value problem:

$$\begin{aligned} &{\mathcal{D}}_{a^{+}}^{\varrho _{1},\varrho _{2};\xi }z(\vartheta )= \mathcal{F} \bigl(\vartheta,z(\vartheta )\bigr), \quad\vartheta \in \mathscr{J}:=[a,b], \end{aligned}$$
(1.1)
$$\begin{aligned} &z(a)=z_{a}+\mathfrak{p}(z),\qquad z_{\xi }^{\prime }(b)=z_{b}+ \sum_{i=1}^{m-2} \lambda _{i}z_{\xi }^{\prime }( \varkappa _{i}), \end{aligned}$$
(1.2)

where \(z_{\xi }^{\prime }=\frac{z^{\prime }}{\xi ^{\prime }}\) and \({\mathcal{D}}_{a^{+}}^{\varrho _{1},\varrho _{2};\xi }\) is the ξ-Hilfer FD of order \(\varrho _{1}\in (1,2)\) and type \(\varrho _{2}\in {}[ 0,1]\), \(z_{a},z_{b}\in \mathscr{R}\), \(\lambda _{i}>0\), \(a<\varkappa _{i}<b\), \(i=1,2,\dots,m-2\), \(\sum_{i=1}^{m-2}\lambda _{i}z_{\xi }^{\prime }(\varkappa _{i)}:=d<1\), and \(\mathcal{F}:\mathscr{J}\times \mathscr{R}\rightarrow \mathscr{R}\) and \(\mathfrak{p}:C(\mathscr{J},\mathscr{R})\rightarrow \mathscr{R}\) are continuous.

Remark 1.1

Our results for problem (1.1)–(1.2) remain true for the following cases:

  • RL-type problem for \(\xi (\vartheta )=\vartheta \) and \(\varrho _{2}=0 \).

  • Caputo-type problem for \(\xi (\vartheta )=\vartheta \) and \(\varrho _{2}=1\).

  • ξ-RL-type problem for \(\varrho _{2}=0\).

  • ξ-Caputo-type problem for \(\varrho _{2}=1\).

  • Hilfer-type problem for \(\xi (\vartheta )=\vartheta \).

  • Hilfer–Hadamard-type problem for \(\xi (\vartheta )=\log \vartheta \).

  • Katugampola-type problem for \(\xi (\vartheta )=\vartheta ^{\rho }\).

Remark 1.2

Results acquired for problem (1.1)–(1.2) include the results of Zhong and Lin [33] and Asawasamrit et al. [34], in particular:

  1. (1)

    For \(\xi (\vartheta )=\vartheta \) and \(\varrho _{2}=1\), the outcomes obtained in the present work incorporate the results of Zhong and Lin [33] for Caputo-type nonlocal and multiple-point BVP.

  2. (2)

    If, in problem (1.1)–(1.2), \(\xi (\vartheta )=\vartheta \) and replacing conditions \(z(a)=0, z(b)=\sum_{i=1}^{m}\lambda _{i}\mathcal{I}^{\delta _{i}}(\varkappa _{i})\) with (1.2), then our current results cover the results of Asawasamrit et al. [34] for Hilfer nonlocal BVP.

The main contribution of the current work is to determine the equivalent fractional integral equation to ξ-Hilfer type FDEs (1.1)–(1.2) and to explore the existence and uniqueness results. Further, we discuss the Ulam–Hyers stability result to such equations. Observe that, with the above discussions, problem (1.1)–(1.2) not just incorporates the previously specified BVPs in the literature, yet additionally nontrivially extends the status to a more comprehensive class of nonlocal BVPs, i.e., for various values of \(\varrho _{2}\) and ξ, our considered problem covers the problems referenced in Remark 1.1. Consequently, problem (1.1)–(1.2) studied in this paper is novel and is the first to investigate fractional nonlocal problems of ξ-Hilfer type.

Here is a brief outline of the paper. Section 2 provides the definitions and preliminary facts that we will need for our forthcoming analysis. In Sect. 3, we prove the existence, uniqueness, and UH stability results for problem (1.1)–(1.2). Two examples are given in Sect. 5. This work closes with a conclusion.

Preliminaries

In this section, we give some notions regarding the fractional integrals and derivatives with respect to another function ξ. For more details, we refer to [13, 5].

Let \(\mathscr{J}=[a,b]\subset \mathscr{R}\). Denote by \(\mathcal{C}:=C(\mathscr{J},\mathbb{R} )\) the Banach space of continuous functions \(\omega:\mathscr{J}\rightarrow \mathscr{R}\) with the norm

$$\begin{aligned} \Vert \omega \Vert _{\infty }=\sup \bigl\{ \bigl\vert \omega ( \vartheta ) \bigr\vert ,\vartheta \in \mathscr{J}\bigr\} . \end{aligned}$$

Let \(\xi,\omega \in \mathcal{C}^{n}\) such that ξ is increasing and \(\xi ^{\prime }(\vartheta )\neq 0\) for all \(\vartheta \in \mathscr{J}\).

Definition 2.1

([9])

The ξ-Hilfer FD of a function ω of order \(\varrho _{1} \in (n-1,n]\) and type \(\varrho _{2} \in {}[ 0,1]\) is defined by

$$\begin{aligned} \mathcal{D}_{a+}^{\varrho _{1},\varrho _{2};\xi }\omega ( \vartheta ) = \mathcal{I}_{a+}^{\varrho _{2} ( n-\varrho _{1} );\xi }\text{ }D_{\xi }^{n} \text{ }\mathcal{I}_{a+}^{ ( 1-\varrho _{2} ) ( n-\varrho _{1} );\xi }\omega ( \vartheta ), \end{aligned}$$
(2.1)

where \(n=[\varrho _{1}]+1\), \(n\in \mathbb{N}\), and \(D_{\xi }^{n}= ( \frac{1}{\xi ^{\prime } ( \vartheta ) }\frac{d}{dt} ) ^{n}\). Relation (2.1) can be written as

$$\begin{aligned} \mathcal{D}_{a+}^{\varrho _{1},\varrho _{2};\xi }\omega ( \vartheta ) = \mathcal{I}_{a+}^{\gamma -\varrho _{1};\xi }{}^{RL} \mathcal{D}_{a+}^{\gamma;\xi } \omega ( \vartheta ), \end{aligned}$$
(2.2)

with \(\gamma =\varrho _{1}+\varrho _{2} ( n-\varrho _{1} ) \), \(\mathcal{I}_{a+}^{\gamma -\varrho _{1};\xi }(\cdot )\) and \({}^{RL} \mathcal{D}_{a+}^{\gamma;\xi }(\cdot )\) are the ξ-RL fractional integral and derivative defined by (see [1])

$$\begin{aligned} \mathcal{I}_{a+}^{\theta;\xi }\omega ( \vartheta ) = \frac{1}{\Gamma ( \theta ) } \int _{a}^{\vartheta }\xi ^{\prime } ( s ) \bigl( \xi ( \vartheta ) -\xi ( s ) \bigr) ^{\theta -1}\omega ( s ) \,\mathrm{d}s \end{aligned}$$
(2.3)

and

$$\begin{aligned} ^{RL}\mathcal{D}_{a+}^{\theta;\xi }\omega ( x ) =D_{\xi }^{n} \mathcal{I}_{a+}^{n-\theta;\xi }\omega ( \vartheta ), \end{aligned}$$
(2.4)

respectively. Furthermore, the ξ-Caputo FD is given by (see [8])

$$\begin{aligned} ^{C}\mathcal{D}_{a+}^{\theta;\xi }\omega ( \vartheta ) = \mathcal{I}_{a+}^{n-\theta;\xi }\text{ }D_{\xi }^{n} \text{ }\omega ( \vartheta ), \end{aligned}$$
(2.5)

where \(\theta \in \{ \gamma -\varrho _{1},\gamma,\varrho _{1} \} \).

Remark 2.2

If we set \(\xi ( \vartheta ) =\vartheta \) in relations (2.1), (2.3), (2.4), and (2.5), we obtain the classical fractional operators introduced in [1, 5, 35].

Lemma 2.3

([1, 9])

Let \(\varrho _{1},\varrho _{2}>0\) and \(\omega \in \mathcal{C}\). Then

$$\begin{aligned} \mathcal{I}_{a+}^{\varrho _{1};\xi }\mathcal{I}_{a+}^{\varrho _{2}; \xi } \omega ( \vartheta ) =\mathcal{I}_{a+}^{\varrho _{1}+ \varrho _{2};\xi }\omega ( \vartheta ) \end{aligned}$$

and

$$\begin{aligned} \mathcal{D}_{a+}^{\varrho _{1},\varrho _{2};\xi }\mathcal{I}_{a+}^{ \varrho _{1};\xi } \omega ( \vartheta ) =\omega ( \vartheta ). \end{aligned}$$

Lemma 2.4

([1, 9])

Let \(\varrho _{1},\varrho _{2} >0\) and \(\delta >0\). If \(\psi (\vartheta ):= ( \xi ( \vartheta ) -\xi ( a ) ) ^{\delta -1}\), then

  1. (1)

    \(\mathcal{I}_{a+}^{\varrho _{1};\xi }\psi (\vartheta )= \frac{\Gamma ( \delta ) }{\Gamma ( \varrho _{1}+\delta ) } ( \xi ( \vartheta ) -\xi ( a ) ) ^{\varrho _{1}+\delta -1}\);

  2. (2)

    \(\mathcal{D}_{a+}^{\varrho _{1},\varrho _{2};\xi }\psi (\vartheta )=\frac{\Gamma ( \delta ) }{\Gamma ( \delta -\varrho _{1} ) } ( \xi ( \vartheta ) -\xi ( a ) ) ^{\varrho _{1}-\delta -1}\), \(\delta >\gamma =\varrho _{1}+\varrho _{2} ( n-\varrho _{1} ) \);

  3. (3)

    \(\mathcal{D}_{a+}^{\varrho _{1},\varrho _{2};\xi }\psi (\vartheta )=0\) for \(\delta =\gamma \).

Lemma 2.5

([9])

Let \(\varrho _{1} \in (n-1,n]\) (\(n\in \mathbb{N} \)), \(\varrho _{2} \in {}[ 0,1]\) with \(\gamma =\varrho _{1} +\varrho _{2} ( n-\varrho _{1} ) \) and \(\omega \in \mathcal{C}^{n}\). Then

$$\begin{aligned} \bigl( \mathcal{I}_{a^{+}}^{\varrho _{1};\xi }\mathcal{D}_{a^{+}}^{\varrho _{1},\varrho _{2};\xi } \omega \bigr) (\vartheta )=\omega ( \vartheta )-\sum_{k=1}^{n} \frac{(\xi (\vartheta )-\xi (a))^{\gamma -k}}{\Gamma (\gamma -k+1)}D_{ \xi }^{n}\textit{ } \bigl( \mathcal{I}_{a^{+}}^{(1-\varrho _{2} )(n- \varrho _{1} );\xi }\omega \bigr) (a). \end{aligned}$$

In particular, if \(1<\varrho _{1}\leq 2\), \(0\leq \varrho _{2}\leq 1\),where \(\gamma =\varrho _{1}+\varrho _{2} ( 2-\varrho _{1} ) \), then

$$\begin{aligned} \bigl( \mathcal{I}_{a^{+}}^{\varrho _{1};\xi }\mathcal{D}_{a^{+}}^{ \varrho _{1},\varrho _{2};\xi } \omega \bigr) (\vartheta )={}&\omega ( \vartheta )- \frac{(\xi (\vartheta )-\xi (a))^{\gamma -1}}{\Gamma (\gamma )} \bigl( \mathcal{I}_{a^{+}}^{1-\gamma;\xi }\omega \bigr) (a)\\ &{}- \frac{(\xi (\vartheta )-\xi (a))^{\gamma -2}}{\Gamma (\gamma -1)} \bigl( \mathcal{I}_{a^{+}}^{2-\gamma;\xi }\omega \bigr) (a). \end{aligned}$$

Lemma 2.6

([1])

Let \(n-1\leq \varrho _{1} < n\) and \(\omega \in \mathcal{C}\). Then

$$\begin{aligned} \bigl( \mathcal{I}_{a+}^{\varrho _{1};\xi }\omega \bigr) (a)= \underset{\vartheta \rightarrow a+}{\lim } \bigl( \mathcal{I}_{a+}^{\varrho _{1} ;\xi }\omega \bigr) ( \vartheta ) =0. \end{aligned}$$

Lemma 2.7

Let \(\varrho _{1},\theta >0\). Then, for all \(\vartheta \in \mathscr{J}\), we have

$$\begin{aligned} \mathcal{I}_{a^{+}}^{\varrho _{1};\xi }e^{\theta (\xi (\vartheta )- \xi (a))}\leq \frac{e^{\theta (\xi (\vartheta )-\xi (a))}}{\theta ^{\varrho _{1}}}. \end{aligned}$$

Proof

From equation (2.3), we have

$$\begin{aligned} \mathcal{I}_{a^{+}}^{\varrho _{1};\phi }e^{\theta (\xi (\vartheta )- \xi (a))}=\frac{1}{\Gamma (\varrho _{1})} \int _{a}^{\vartheta }\xi ^{ \prime }(s) \bigl(\xi ( \vartheta )-\xi (s)\bigr)^{\varrho _{1}-1}e^{\theta (\xi (s)- \xi (a))}\,\mathrm{d}s. \end{aligned}$$

By utilizing the change of variables \(\mathrm{y}=\xi (\vartheta )-\xi (s)\), we obtain

$$\begin{aligned} \mathcal{I}_{a^{+}}^{\varrho _{1},\xi }e^{\theta (\xi (\vartheta )- \xi (a))}=\frac{e^{\theta (\xi (\vartheta )-\xi (a))}}{\Gamma (\varrho _{1})}\int _{0}^{\xi (\vartheta )-\xi (a)}\mathrm{y}^{\varrho _{1}-1}e^{- \theta \mathrm{y}} \mathrm{ d}\mathrm{y}. \end{aligned}$$
(2.6)

Again, by utilizing the change of variables \(\mathrm{v}=\theta \mathrm{y}\) in (2.6), we attain

$$\begin{aligned} \begin{aligned} \mathcal{I}_{a^{+}}^{\varrho _{1}, \xi } e^{\theta (\xi (\vartheta )- \xi (a))} &= \frac{e^{\theta (\xi (\vartheta )-\xi (a))}}{\Gamma (\varrho _{1}) \theta ^{\varrho _{1}}} \int _{0}^{\theta (\xi (\vartheta )-\xi (a))} \mathrm{v}^{\varrho _{1}-1} e^{-\mathrm{v}} \mathrm{ d} \mathrm{v} \\ & \leq \frac{e^{\theta (\xi (\vartheta )-\xi (a))}}{\Gamma (\varrho _{1}) \theta ^{\varrho _{1}}} \int _{0}^{\infty } \mathrm{v}^{\varrho _{1}-1} e^{-\mathrm{v}} \mathrm{ d} \mathrm{v} \\ &= \frac{e^{\theta (\xi (\vartheta )-\xi (a))}}{\theta ^{\varrho _{1}}}. \end{aligned} \end{aligned}$$

This completes the proof. □

Let us now conclude this section by recalling the following fixed point theorems.

Theorem 2.8

(Banach [36])

Let \(\mathcal{E}\) be a nonempty closed subset of a Banach space X and \(\mathcal{H}:\mathcal{E}\rightarrow \mathcal{E}\) be a strict contraction mapping, i.e., \(\Vert \mathcal{H}z-\mathcal{H}y \Vert \leq k\mathrm{ } \Vert z-y \Vert \) for all \(z,y\in \mathcal{E}\) and for some \(k\in (0,1)\). Then \(\mathcal{H}\) possesses a unique fixed point.

Theorem 2.9

(Kransnoselskii [37])

Let X be a Banach space. Let \(\mathcal{S}\) be a nonempty convex, closed, and bounded subset of X, and let \(\mathcal{H}_{1},\mathcal{H}_{2}\) be mappings from \(\mathcal{S}\) to X such that:

(i) \(\mathcal{H}_{1}z+\mathcal{H}_{2}y\in \mathcal{S}\) whenever \(z,y\in \mathcal{S}\);

(ii) \(\mathcal{H}_{1}\) is continuous and compact;

(iii) \(\mathcal{H}_{2}\) is a strict contraction. Then there exists \(z\in \mathcal{S}\) such that \(z=\mathcal{H}_{1}z+\mathcal{H}_{2}z\).

Main result

The next lemma transacts with a linear form associated with problem (1.1)–(1.2).

Lemma 3.1

Let \(1<\varrho _{1}\leq 2\), \(0\leq \varrho _{2}\leq 1\), where \(\gamma =\varrho _{1}+\varrho _{2} ( 2-\varrho _{1} ) \) and \(h\in \mathcal{C}\). If

$$\begin{aligned} A= \Biggl[ \frac{[\xi (b)-\xi (a)]^{\gamma -2}}{\Gamma (\gamma -1)}-\sum_{i=1}^{m-2} \lambda _{i} \frac{[\xi (\varkappa _{i})-\xi (a)]^{\gamma -2}}{\Gamma (\gamma -1)} \Biggr] \neq 0, \end{aligned}$$
(3.1)

then the function \(z\in \mathcal{C}\) is a solution of the linear-type problem

$$\begin{aligned} \textstyle\begin{cases} {\mathcal{D}}_{a^{+}}^{\varrho _{1},\varrho _{2};\xi }z(\vartheta )=h( \vartheta ), \quad \varrho _{1}\in (1,2), \vartheta \in \mathscr{J}:=[a,b], \\ z(a)=z_{a}+\mathfrak{p}(z),\qquad z_{\xi }^{\prime }(b)=z_{b}+\sum_{i=1}^{m-2} \lambda _{i}z_{\xi }^{\prime }(\varkappa _{i})\end{cases}\displaystyle \end{aligned}$$
(3.2)

if and only if

$$\begin{aligned} z(\vartheta ) ={}&\mathcal{I}_{a^{+}}^{\varrho _{1};\xi }h(\vartheta )+ \frac{[\xi (\vartheta )-\xi (a)]^{\gamma -1}}{A\Gamma (\gamma )} \Biggl[ z_{b}+\mathcal{I}_{a^{+}}^{\varrho _{1}-1;\xi }h(b)+ \sum_{i=1}^{m-2} \lambda _{i}\mathcal{I}_{a^{+}}^{\varrho _{1}-1;\xi }h(\varkappa _{i}) \Biggr] \\ &{}+\frac{[z_{a}+\mathfrak{p}(z)]}{A} \biggl[ \frac{[\xi (b)-\xi (a)]^{\gamma -3}+\sum_{i=1}^{m-2}\lambda _{i}[\xi (\varkappa _{i})-\xi (a)]^{\gamma -3}}{\Gamma (\gamma -2)}+ \frac{[\xi (\vartheta )-\xi (a)]^{\gamma -2}}{\Gamma (\gamma -1)} \biggr]. \end{aligned}$$
(3.3)

Proof

The first equation of (3.2) can be written as

$$\begin{aligned} \mathcal{I}_{a^{+}}^{2-\varrho _{1};\xi }\mathcal{D}_{a^{+}}^{2;\xi }\mathcal{I}_{a^{+}}^{(1-\varrho _{2})(2-\varrho _{1});\xi }z( \vartheta )=h(\vartheta ). \end{aligned}$$

Applying the operator \(\mathcal{I}_{a^{+}}^{\varrho _{1};\xi }\), we get

$$\begin{aligned} \mathcal{I}_{a^{+}}^{\varrho _{1};\xi }\mathcal{I}_{a^{+}}^{2- \varrho _{1};\xi } \mathcal{D}_{a^{+}}^{2;\xi }\mathcal{I}_{a^{+}}^{(1- \varrho _{2})(2-\varrho _{1});\xi }z( \vartheta )=\mathcal{I}_{a^{+}}^{ \varrho _{1};\xi }h(\vartheta ), \end{aligned}$$

which implies

$$\begin{aligned} \mathcal{I}_{a^{+}}^{\gamma;\xi }{{}^{RL} \mathcal{D}}_{a^{+}}^{ \gamma;\xi }z(\vartheta )=\mathcal{I}_{a^{+}}^{\varrho _{1};\xi }h( \vartheta ),\quad \gamma =\varrho _{1}+\varrho _{2}(2-\varrho _{1}). \end{aligned}$$

By Lemma 2.5 and setting \(\mathcal{I}_{a^{+}}^{2-\gamma;\xi }z(a)=c_{1}\), \(\mathcal{I}_{a^{+}}^{1-\gamma;\xi }z(a)=c_{2}\), we have

$$\begin{aligned} z(\vartheta )=\frac{c_{2}}{\Gamma (\gamma )}\bigl[\xi (\vartheta )-\xi (a) \bigr]^{ \gamma -1}+\frac{c_{1}}{\Gamma (\gamma -1)}\bigl[\xi (\vartheta )-\xi (a) \bigr]^{ \gamma -2}+\mathcal{I}_{a^{+}}^{\varrho _{1};\xi }h(\vartheta ). \end{aligned}$$
(3.4)

Differentiation of (3.4) with the fact that \(\mathcal{D}_{\xi }^{k}\mathcal{I}_{a^{+}}^{\sigma,\xi }=\mathcal{I}_{a^{+}}^{\sigma -k, \xi }\) for \(k=0,1,\ldots,n-1\), \(\sigma >k\) (see [12]) leads to

$$\begin{aligned} z_{\xi }^{\prime }(\vartheta )= \frac{z^{\prime }(\vartheta )}{\xi ^{\prime }(\vartheta )}= \frac{c_{2}(\gamma -1)}{\Gamma (\gamma )}\bigl[\xi (\vartheta )-\xi (a)\bigr]^{ \gamma -2}+ \frac{c_{1}(\gamma -2)}{\Gamma (\gamma -1)}\bigl[\xi ( \vartheta )-\xi (a)\bigr]^{\gamma -3}+ \mathcal{I}_{a^{+}}^{\varrho _{1}-1; \xi }h(\vartheta ). \end{aligned}$$

From the boundary conditions of (3.2), we obtain \(c_{1}=z_{a}+\mathfrak{p}(z)\) and

$$\begin{aligned} &\frac{c_{2}}{\Gamma (\gamma -1)}\bigl[\xi (b)-\xi (a)\bigr]^{\gamma -2}+ \frac{[z_{a}+\mathfrak{p}(z)]}{\Gamma (\gamma -2)}\bigl[\xi (b)-\xi (a)\bigr]^{\gamma -3}+ \mathcal{I}_{a^{+}}^{\varrho _{1}-1;\xi }h(b) \\ &\quad=z_{b}+\sum_{i=1}^{m-2}\lambda _{i} \biggl[ \frac{c_{2}}{\Gamma (\gamma -1)}\bigl[\xi (\varkappa _{i})-\xi (a)\bigr]^{\gamma -2}+ \frac{[z_{a}+\mathfrak{p}(z)]}{\Gamma (\gamma -2)}\bigl[\xi ( \varkappa _{i})-\xi (a)\bigr]^{\gamma -3}\\ &\qquad{}+ \mathcal{I}_{a^{+}}^{\varrho _{1}-1;\xi }h( \varkappa _{i}) \biggr]. \end{aligned}$$

It follows that

$$\begin{aligned} &c_{2} \Biggl[ \frac{[\xi (b)-\xi (a)]^{\gamma -2}}{\Gamma (\gamma -1)}-\sum _{i=1}^{m-2}\lambda _{i} \frac{[\xi (\varkappa _{i})-\xi (a)]^{\gamma -2}}{\Gamma (\gamma -1)} \Biggr] \\ &\quad=\frac{[z_{a}+\mathfrak{p}(z)]}{\Gamma (\gamma -2)} \Biggl[ \sum_{i=1}^{m-2} \lambda _{i}\bigl[\xi (\varkappa _{i})-\xi (a) \bigr]^{\gamma -3}-\bigl[\xi (b)-\xi (a)\bigr]^{ \gamma -3} \Biggr] \\ &\qquad{} + z_{b}+\sum_{i=1}^{m-2} \lambda _{i}\mathcal{I}_{a^{+}}^{\varrho _{1}-1;\xi }h( \varkappa _{i})-\mathcal{I}_{a^{+}}^{ \varrho _{1}-1;\xi }h(b). \end{aligned}$$

Therefore,

$$\begin{aligned} c_{2} ={}&\frac{1}{A} \Biggl[ z_{b}+\sum _{i=1}^{m-2}\lambda _{i} \mathcal{I}_{a^{+}}^{\varrho _{1}-1;\xi }h(\varkappa _{i})-\mathcal{I}_{a^{+}}^{ \varrho _{1}-1;\xi }h(b) \\ &{} +\frac{[z_{a}+\mathfrak{p}(z)]}{\Gamma (\gamma -2)} \Biggl( \sum_{i=1}^{m-2} \lambda _{i}\bigl[\xi (\varkappa _{i})-\xi (a) \bigr]^{\gamma -3}-\bigl[ \xi (b)-\xi (a)\bigr]^{\gamma -3} \Biggr) \Biggr]. \end{aligned}$$

Substituting the values of \(c_{1},c_{2}\) into (3.4), we get

$$\begin{aligned} z(\vartheta ) ={}&\mathcal{I}_{a^{+}}^{\varrho _{1};\xi }h(\vartheta )+ \frac{[\xi (\vartheta )-\xi (a)]^{\gamma -1}}{A\Gamma (\gamma )} \Biggl[ z_{b}+ \sum_{i=1}^{m-2} \lambda _{i}\mathcal{I}_{a^{+}}^{\varrho _{1} -1; \xi }h(\varkappa _{i})-\mathcal{I}_{a^{+}}^{\varrho _{1} -1;\xi }h(b) \Biggr] \\ &{}+\frac{[z_{a}+\mathfrak{p}(z)]}{A} \biggl[ \frac{ ( \sum_{i=1}^{m-2}\lambda _{i}[\xi (\varkappa _{i})-\xi (a)]^{\gamma -3}-[\xi (b)-\xi (a)]^{\gamma -3} ) }{\Gamma (\gamma -2)} \\ &{}+ \frac{[\xi (\vartheta ) -\xi (a)]^{\gamma -2}}{\Gamma (\gamma -1)} \biggr]. \end{aligned}$$
(3.5)

Note that

$$\begin{aligned} I_{a^{+}}^{\theta;\xi }h(\vartheta )= \frac{1}{\Gamma ( \theta ) }\int _{a}^{x}\xi ^{\prime }(s) \bigl[ \xi ( \vartheta )-\xi (s) \bigr] ^{\theta -1}h(s)\,\mathrm{d}s,\quad \theta \in \{\varrho _{1},\varrho _{1} -1\}, \text{ and } x\in \{ \vartheta,b,\varkappa _{i}\}. \end{aligned}$$

The converse follows by direct calculation with the aid of the results in Lemmas 2.4, 2.5. This finishes the proof. □

To follow up, we need the following assumptions.

(G1) \(\mathcal{F}:\mathscr{J}\times \mathscr{R}\rightarrow \mathscr{R}\) and \(\mathfrak{p}:\mathcal{C}\rightarrow \mathscr{R}\) are continuous.

(G2) There exist constants \(\mathcal{L}_{1},\mathcal{L}_{2}>0\) such that

$$\begin{aligned} \bigl\vert \mathcal{F}(\vartheta,z)-\mathcal{F}(\vartheta,\overline{z}) \bigr\vert \leq \mathcal{L}_{1} \vert z-\overline{z} \vert ,\quad z, \overline{z}\in \mathbb{\mathbb{R} }, \end{aligned}$$

and

$$\begin{aligned} \bigl\vert \mathfrak{p}(z)-\mathfrak{p}(\overline{z}) \bigr\vert \leq \mathcal{L}_{2} \vert z-\overline{z} \vert ,\quad z, \overline{z}\in \mathcal{C}. \end{aligned}$$

(G3) There exist positive functions \(\varphi,\phi \) with bounds \(\Vert \varphi \Vert \) and \(\Vert \phi \Vert \), respectively, such that:

$$\begin{aligned} &\bigl\vert \mathcal{F}(\vartheta,z) \bigr\vert \leq \varphi (\vartheta ),\quad \forall ( \vartheta,z)\in \mathscr{J}\times \mathbb{\mathbb{R} }, \\ &\bigl\vert \mathfrak{p}(z) \bigr\vert \leq \phi (\vartheta ), \quad\forall ( \vartheta,z) \in \mathscr{J}\times \mathcal{C}. \end{aligned}$$

For simplicity, we denote

$$\begin{aligned} \mathcal{M}:=\sup_{\vartheta \in {}[ a,b]} \bigl\vert \mathcal{F}( \vartheta,0) \bigr\vert , \qquad\bigl\vert \mathfrak{p}(0) \bigr\vert := \mathfrak{p}_{0}, \end{aligned}$$
$$\begin{aligned} &\Delta:= \Biggl[ \mathcal{L}_{1} \Biggl( \frac{(\xi (b)-\xi (a))^{\varrho _{1} }}{\Gamma (\varrho _{1} +1)}+ \frac{[\xi (b)-\xi (a)]^{\gamma -1}}{A\Gamma (\gamma )} \\ &\phantom{\Delta:=}{} \times \Biggl[ \frac{(\xi (b)-\xi (a))^{\varrho _{1} -1}}{\Gamma (\varrho _{1} )}+ \sum_{i=1}^{m-2} \lambda _{i} \frac{(\xi (\varkappa _{i})-\xi (a))^{\varrho _{1} -1}}{\Gamma (\varrho _{1} )} \Biggr] \Biggr) \\ &\phantom{\Delta:=}{} +\mathcal{L}_{2} \biggl[ \frac{[\xi (b)-\xi (a)]^{\gamma -3}+\sum_{i=1}^{m-2}\lambda _{i}[\xi (\varkappa _{i})-\xi (a)]^{\gamma -3}}{A\Gamma (\gamma -2)}+ \frac{[\xi (b)-\xi (a)]^{\gamma -2}}{A\Gamma (\gamma -1)} \biggr] \Biggr], \end{aligned}$$
(3.6)
$$\begin{aligned} &\Theta:= \Biggl[ \mathcal{L}_{1} \Biggl( \frac{[\xi (b)-\xi (a)]^{\gamma -1}}{A\Gamma (\gamma )} \Biggl[ \frac{(\xi (b)-\xi (a))^{\varrho _{1}-1}}{\Gamma (\varrho _{1})}+ \sum_{i=1}^{m-2} \lambda _{i} \frac{(\xi (\varkappa _{i})-\xi (a))^{\varrho _{1}-1}}{\Gamma (\varrho _{1})} \Biggr] \Biggr) \\ &\phantom{\Theta:=}{}+ \mathcal{L}_{2} \biggl[ \frac{[\xi (b)-\xi (a)]^{\gamma -3}+\sum_{i=1}^{m-2}\lambda _{i}[\xi (\varkappa _{i})-\xi (a)]^{\gamma -3}}{A\Gamma (\gamma -2)}+ \frac{[\xi (b)-\xi (a)]^{\gamma -2}}{A\Gamma (\gamma -1)} \biggr] \Biggr], \end{aligned}$$
(3.7)
$$\begin{aligned} &\mu (\vartheta ) := \frac{[\xi (\vartheta )-\xi (a)]^{\gamma -1}}{A\Gamma (\gamma )}, \end{aligned}$$
(3.8)
$$\begin{aligned} &\nu (\vartheta ):= \biggl[ \frac{[\xi (b)-\xi (a)]^{\gamma -3}+\sum_{i=1}^{m-2}\lambda _{i}[\xi (\varkappa _{i})-\xi (a)]^{\gamma -3}}{A\Gamma (\gamma -2)}+ \frac{[\xi (\vartheta )-\xi (a)]^{\gamma -2}}{A\Gamma (\gamma -1)} \biggr], \end{aligned}$$
(3.9)
$$\begin{aligned} &\Lambda _{1}:= \Biggl[ \frac{(\xi (b)-\xi (a))^{\varrho _{1} }}{\Gamma (\varrho _{1} +1)}+ \mu ^{\ast } \Biggl( \frac{(\xi (b)-\xi (a))^{\varrho _{1} -1}}{\Gamma (\varrho _{1} )}+\sum_{i=1}^{m-2} \lambda _{i} \frac{(\xi (\varkappa _{i})-\xi (a))^{\varrho _{1} -1}}{\Gamma (\varrho _{1} )} \Biggr) \Biggr], \\ &\Lambda _{2}:=\nu ^{\ast }, \qquad\Lambda _{3}:= \mu ^{\ast } \vert z_{b} \vert + \nu ^{\ast } \vert z_{a} \vert , \end{aligned}$$
(3.10)
$$\begin{aligned} & \mathcal{G}_{\xi }^{\chi }(\vartheta, s)= \frac{\xi ^{\prime }(s)(\xi (\vartheta )-\xi (s))^{\chi -1}}{\Gamma (\chi )},\quad \chi >0, \\ &\mu ^{\ast }=\max_{0\leq \vartheta \leq b} \bigl\vert \mu (\vartheta ) \bigr\vert , \\ &\nu ^{\ast }=\max_{0< \vartheta < b} \bigl\vert \nu (\vartheta ) \bigr\vert . \end{aligned}$$
(3.11)

In what follows, we present the needful lemma that represents the equivalent solution to problem (1.1)–(1.2).

Lemma 3.2

Assume that \(\mathcal{F}:\mathscr{J}\times \mathscr{R}\rightarrow \mathscr{R}\), \(\mathfrak{p}:\mathcal{C}\rightarrow \mathscr{R}\) are continuous. A function \(z(\vartheta )\) solves system (1.1)(1.2) if and only if it is a fixed point of the operator \(\mathcal{H}:\mathcal{C}\rightarrow \mathcal{C}\) defined by

$$\begin{aligned} \mathcal{H}z(\vartheta ) ={}&\mathcal{I}_{a^{+}}^{\varrho _{1};\xi } \mathcal{F}\bigl(\vartheta,z(\vartheta )\bigr)+\mu (\vartheta ) \Biggl[ z_{b}+ \mathcal{I}_{a^{+}}^{\varrho _{1}-1;\xi } \mathcal{F}\bigl(b,z(b)\bigr)+\sum_{i=1}^{m-2} \lambda _{i}\mathcal{I}_{a^{+}}^{\varrho _{1}-1;\xi }\mathcal{F} \bigl( \varkappa _{i},z(\varkappa _{i})\bigr) \Biggr] \\ &{}+\nu (\vartheta )\bigl[z_{a}+\mathfrak{p}(z)\bigr]. \end{aligned}$$
(3.12)

Uniqueness results via Theorem 2.8

Theorem 3.3

Assume that (G1)(G2) hold. If

$$\begin{aligned} \Delta:=\mathcal{L}_{1}\Lambda _{1}+ \mathcal{L}_{2}\Lambda _{2} < 1, \end{aligned}$$
(3.13)

then there exists a unique solution for (1.1)(1.2) on \(\mathscr{J} \), where Δ is given by (3.6).

Proof

According to Lemma 3.1, we consider the operator \(\mathcal{H}:\mathcal{C}\rightarrow \mathcal{C}\) defined by (3.12). Then we prove that \(\mathcal{H}\) has a fixed point due to Theorem 2.8. First, we define the closed ball \(\mathcal{B}_{\mathcal{R}}=\{z\in \mathcal{C}:\Vert z\Vert \leq \mathcal{R}\}\subset \) \(\mathcal{C}\) with \(\mathcal{R}> \frac{\mathcal{M}\Lambda _{1}+\Lambda _{3}}{1-(\mathcal{L}_{1}\Lambda _{1}+\mathcal{L}_{2}\Lambda _{2})}\). Then, for \(z\in \mathcal{B}_{\mathcal{R}}\), we have

$$\begin{aligned} \begin{aligned} \bigl\vert \mathcal{F}(s, z(s) \bigr\vert &= \bigl\vert \mathcal{F} \bigl(s, z(s)\bigr)- \mathcal{F}(s, 0)+\mathcal{F}(s, 0) \bigr\vert \\ & \leq \bigl\vert \mathcal{F}\bigl(s, z(s)\bigr)-\mathcal{F}(s, 0) \bigr\vert + \bigl\vert \mathcal{F}(s, 0) \bigr\vert \\ & \leq \bigl(\mathcal{L}_{1} \bigl\vert z(s) \bigr\vert + \bigl\vert \mathcal{F}(s, 0) \bigr\vert \bigr) \\ & \leq \mathcal{L}_{1} \mathcal{R}+\mathcal{M}. \end{aligned} \end{aligned}$$

Similarly, we obtain

$$\begin{aligned} \begin{aligned} \bigl\vert \mathfrak{p}(z) \bigr\vert & \leq \mathcal{L}_{2} \mathcal{R}. \end{aligned} \end{aligned}$$

Hence

$$\begin{aligned} \bigl\vert \mathcal{H}z(\vartheta ) \bigr\vert ={}&\nu (\vartheta ) \bigl[ \vert z_{a} \vert + \bigl\vert \mathfrak{p}(z) \bigr\vert \bigr] + \int _{a}^{\vartheta } \mathcal{G}_{\xi }^{\varrho _{1}}( \vartheta,s) \bigl\vert \mathcal{F}\bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d} \mathbf{s} \\ &{}+\mu (\vartheta ) \Biggl[ \vert z_{b} \vert + \int _{a}^{b}\mathcal{G}_{\xi }^{ \varrho _{1}-1}(b,s) \bigl\vert \mathcal{F}\bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d}\mathbf{s}\\ &{}+ \sum_{i=1}^{m-2}\lambda _{i} \int _{a}^{\varkappa _{i}}\mathcal{G}_{\xi }^{\varrho _{1}-1}( \varkappa _{i},s) \bigl\vert \mathcal{F}\bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d}\mathbf{s} \Biggr] \\ \leq {}&\nu (\vartheta ) \bigl[ \vert z_{a} \vert + \mathcal{L}_{2}\mathcal{R} \bigr] + ( \mathcal{L}_{1} \mathcal{R}+\mathcal{M} ) \int _{a}^{\vartheta }\mathcal{G}_{\xi }^{\varrho _{1}}( \vartheta,s)\,\mathrm{d}\mathbf{s} \\ &{}+\mu (\vartheta ) \Biggl[ \vert z_{b} \vert + ( \mathcal{L}_{1}\mathcal{R}+ \mathcal{M} ) \Biggl( \int _{a}^{b}\mathcal{G}_{\xi }^{\varrho _{1}-1}(b,s) \mathrm{d}\mathbf{s}+\sum_{i=1}^{m-2} \lambda _{i} \int _{a}^{\varkappa _{i}} \mathcal{G}_{\xi }^{\varrho _{1}-1}( \varkappa _{i},s)\,\mathrm{d}\mathbf{s} \Biggr) \Biggr] \\ \leq{} &\nu ^{\ast } \bigl[ \vert z_{a} \vert + \mathcal{L}_{2}\mathcal{R} \bigr] + ( \mathcal{L}_{1} \mathcal{R}+\mathcal{M} ) \frac{(\xi (b)-\xi (a))^{\varrho _{1}}}{\Gamma (\varrho _{1}+1)} \\ &{}+\mu ^{\ast } \Biggl[ \vert z_{b} \vert + ( \mathcal{L}_{1}\mathcal{R}+ \mathcal{M} ) \Biggl( \frac{(\xi (b)-\xi (a))^{\varrho _{1}-1}}{\Gamma (\varrho _{1})}+ \sum_{i=1}^{m-2}\lambda _{i} \frac{(\xi (\varkappa _{i})-\xi (a))^{\varrho _{1}-1}}{\Gamma (\varrho _{1})} \Biggr) \Biggr] \\ \leq{} & ( \mathcal{L}_{1}\mathcal{R}+\mathcal{M} ) \Biggl[ \frac{(\xi (b)-\xi (a))^{\varrho _{1}}}{\Gamma (\varrho _{1}+1)}\\ &{}+\mu ^{ \ast } \Biggl( \frac{(\xi (b)-\xi (a))^{\varrho _{1}-1}}{\Gamma (\varrho _{1})}+\sum _{i=1}^{m-2}\lambda _{i} \frac{(\xi (\varkappa _{i})-\xi (a))^{\varrho _{1}-1}}{\Gamma (\varrho _{1})} \Biggr) \Biggr] \\ &{}+\nu ^{\ast } [ \mathcal{L}_{2}\mathcal{R} ] +\mu ^{ \ast } \vert z_{b} \vert +\nu ^{\ast } \vert z_{a} \vert \\ \leq{} &(\mathcal{L}_{1}\mathcal{R}+\mathcal{M})\Lambda _{1}+( \mathcal{L}_{2}\mathcal{R})\Lambda _{2}+\Lambda _{3}\leq \mathcal{R}, \end{aligned}$$

which implies that \(\Vert \mathcal{H}z\Vert \leq \mathcal{R}\), i.e., \(\mathcal{H}\mathcal{B}_{\mathcal{R}}\subseteq \mathcal{B}_{ \mathcal{R}}\).

Now, we show that \(\mathcal{H}\) is a contraction. Let \(z,y\in \mathcal{C}\). Then, for every \(\vartheta \in \mathscr{J}\),

$$\begin{aligned} \bigl\vert ( \mathcal{H}y ) (\vartheta )- ( \mathcal{H}z ) ( \vartheta ) \bigr\vert ={}&\nu (\vartheta ) \bigl[ \bigl\vert \mathfrak{p}(y)- \mathfrak{p}(z) \bigr\vert \bigr] + \int _{a}^{ \vartheta }\mathcal{G}_{\xi }^{\varrho _{1} }( \vartheta,s) \bigl\vert \mathcal{F}\bigl(s,y(s)\bigr)- \mathcal{F} \bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d}\mathbf{s} \\ &{}+\mu (\vartheta ) \Biggl[ \int _{a}^{b}\mathcal{G}_{\xi }^{\varrho _{1} -1}(b,s) \bigl\vert \mathcal{F}\bigl(s,y(s)\bigr)-\mathcal{F}\bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d}\mathbf{s} \\ &{}+ \sum_{i=1}^{m-2}\lambda _{i} \int _{a}^{\varkappa _{i}} \mathcal{G}_{\xi }^{\varrho _{1} -1}( \varkappa _{i},s) \bigl\vert \mathcal{F}\bigl(s,y(s)\bigr)- \mathcal{F}\bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d}\mathbf{s} \Biggr] \\ \leq{} &\nu (\vartheta ) \bigl[ \mathcal{L}_{2} \bigl\vert y(s)-z(s) \bigr\vert \bigr] + \int _{a}^{\vartheta }\mathcal{G}_{\xi }^{\varrho _{1} }( \vartheta,s)\mathcal{L}_{1} \bigl\vert y(s)-z(s) \bigr\vert \,\mathrm{d}\mathbf{s} \\ &{}+\mu (\vartheta ) \Biggl[ \int _{a}^{b}\mathcal{G}_{\xi }^{\varrho _{1} -1}(b,s) \mathcal{L}_{1} \bigl\vert y(s)-z(s) \bigr\vert \,\mathrm{d} \mathbf{s} \\ &{}+ \sum_{i=1}^{m-2}\lambda _{i} \int _{a}^{\varkappa _{i}} \mathcal{G}_{\xi }^{\varrho _{1} -1}( \varkappa _{i},s)\mathcal{L}_{1} \bigl\vert y(s)-z(s) \bigr\vert \mathrm{d}\mathbf{s} \Biggr] \\ \leq {}& \Vert y-z \Vert \Biggl[ \mathcal{L}_{2}\nu (\vartheta )+ \mathcal{L}_{1} \Biggl( \int _{a}^{\vartheta }\mathcal{G}_{\xi }^{\varrho _{1} }( \vartheta,s)\,\mathrm{d}\mathbf{s}+\mu (\vartheta ) \\ &{}\times \Biggl[ \int _{a}^{b}\mathcal{G}_{\xi }^{ \varrho _{1} -1}(b,s) \,\mathrm{d}\mathbf{s}+\sum_{i=1}^{m-2}\lambda _{i} \int _{a}^{\varkappa _{i}}\mathcal{G}_{\xi }^{\varrho _{1} -1}( \varkappa _{i},s)\,\mathrm{d}\mathbf{s} \Biggr] \Biggr) \Biggr]. \end{aligned}$$

Also note that

$$\begin{aligned} \int _{a}^{\vartheta }\mathcal{G}_{\xi }^{\chi }( \vartheta,s) \,\mathrm{d}s\leq \frac{(\xi (b)-\xi (a))^{\chi }}{\Gamma (\chi +1)}, \quad\chi >0. \end{aligned}$$

Using the above arguments, we get

$$\begin{aligned} &\Vert \mathcal{H}y-\mathcal{H}z \Vert _{\infty } \\ &\quad\leq \Vert y-z \Vert _{\infty } \Biggl[ \mathcal{L}_{2}\nu ^{\ast }+ \mathcal{L}_{1} \Biggl( \frac{(\xi (b)-\xi (a))^{\varrho _{1} }}{\Gamma (\varrho _{1} +1)} \\ &\qquad{}+ \mu ^{\ast } \Biggl[ \frac{(\xi (b)-\xi (a))^{\varrho _{1} -1}}{\Gamma (\varrho _{1} )}+\sum _{i=1}^{m-2}\lambda _{i} \frac{(\xi (\varkappa _{i})-\xi (a))^{\varrho _{1} -1}}{\Gamma (\varrho _{1} )} \Biggr] \Biggr) \Biggr] \\ &\quad:= \Delta \Vert y-z \Vert _{\infty }. \end{aligned}$$

As \(\Delta <1\), we deduce that \(\mathcal{H}\) is a contraction. Hence, Theorem 2.8 shows that BVP (1.1)–(1.2) has a unique solution. This completes the proof. □

Remark 3.4

We would like to point out that the strong condition \(\Delta <1\) can be removed if we use the well-known Bielecki norm.

In fact, just like the discussion in Theorem 3.3, we only prove that \(\mathcal{H}\) defined as before is a contraction on \(\mathcal{C}\) via the Bielecki norm. Given \(z,y\in \mathcal{C}\) and \(\vartheta \in \mathscr{J}\), using (G2) and Lemma 2.7, we have

$$\begin{aligned} &\bigl\vert ( \mathcal{H}y ) (\vartheta )- ( \mathcal{H}z ) ( \vartheta ) \bigr\vert \\ &\quad\leq \nu (\vartheta ) \bigl[ \bigl\vert \mathfrak{p}(y)-\mathfrak{p}(z) \bigr\vert \bigr] + \int _{a}^{\vartheta }\mathcal{G}_{\xi }^{\varrho _{1} }( \vartheta,s) \bigl\vert \mathcal{F}\bigl(s,y(s)\bigr)- \mathcal{F} \bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d}\mathbf{s} \\ &\qquad{}+\mu (\vartheta ) \Biggl[ \int _{a}^{b}\mathcal{G}_{\xi }^{\varrho _{1} -1}(b,s) \bigl\vert \mathcal{F}\bigl(s,y(s)\bigr)-\mathcal{F}\bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d}\mathbf{s} \\ &\qquad{}+ \sum_{i=1}^{m-2}\lambda _{i} \int _{a}^{\varkappa _{i}} \mathcal{G}_{\xi }^{\varrho _{1} -1}( \varkappa _{i},s) \bigl\vert \mathcal{F}\bigl(s,y(s)\bigr)- \mathcal{F}\bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d}\mathbf{s} \Biggr] \\ &\quad\leq \nu (\vartheta ) \biggl[ \frac{\mathcal{L}_{2} \vert y(\vartheta )-z(\vartheta ) \vert }{e^{\theta (\xi (\vartheta )-\xi (a))}}e^{ \theta (\xi (\vartheta )-\xi (a))} \biggr] \\ &\qquad{}+ \int _{a}^{\vartheta }\mathcal{G}_{\xi }^{\varrho _{1} }( \vartheta,s) \frac{\mathcal{L}_{1} \vert y(s)-z(s) \vert }{e^{\theta (\xi (s)-\xi (a))}}e^{\theta ( \xi (s)-\xi (a))}\,\mathrm{d}\mathrm{s} \\ &\qquad{}+\mu (\vartheta ) \Biggl[ \int _{a}^{b}\mathcal{G}_{\xi }^{\varrho _{1} -1}(b,s) \frac{\mathcal{L}_{1} \vert y(s)-z(s) \vert }{e^{\theta (\xi (s)-\xi (a))}}e^{\theta (\xi (s)-\xi (a))}\,\mathrm{d}\mathrm{s} \\ &\qquad{}+ \sum_{i=1}^{m-2}\lambda _{i} \int _{a}^{\varkappa _{i}} \mathcal{G}_{\xi }^{\varrho _{1} -1}( \varkappa _{i},s) \frac{\mathcal{L}_{1} \vert y(s)-z(s) \vert }{e^{\theta (\xi (s)-\xi (a))}}e^{\theta (\xi (s)-\xi (a))}\,\mathrm{d} \mathrm{s} \Biggr] \\ &\quad\leq \Biggl[ \nu (\vartheta )\mathcal{L}_{2} \bigl[ e^{\theta (\xi ( \vartheta )-\xi (a))} \bigr] +\mathcal{L}_{1} \int _{a}^{\vartheta } \mathcal{G}_{\xi }^{\varrho _{1} }( \vartheta,s)e^{\theta (\xi (s)-\xi (a))} \,\mathrm{d}\mathrm{s} \\ &\qquad{}+\mu (\vartheta )\mathcal{L}_{1} \Biggl[ \int _{a}^{b}\mathcal{G}_{ \xi }^{\varrho _{1} -1}(b,s)e^{\theta (\xi (s)-\xi (a))} \,\mathrm{d} \mathrm{s}\\ &\qquad{}+ \sum_{i=1}^{m-2}\lambda _{i} \int _{a}^{\varkappa _{i}}\mathcal{G}_{\xi }^{\varrho _{1} -1}( \varkappa _{i},s)e^{\theta (\xi (s)- \xi (a))}\,\mathrm{d}\mathrm{s} \Biggr] \Biggr] \Vert y-z \Vert _{ \theta } \\ &\quad\leq \Biggl[ \biggl( \nu ^{\ast }\mathcal{L}_{2}+ \frac{\mathcal{L}_{1}}{\theta ^{\varrho _{1} }} \biggr) e^{\theta (\xi (\vartheta )-\xi (a))} \\ &\qquad{}+ \frac{\mu ^{\ast }\mathcal{L}_{1}}{\theta ^{\varrho _{1} -1}}e^{\theta (\xi (b)-\xi (a))}+\sum _{i=1}^{m-2}\lambda _{i} \frac{\mathcal{L}_{1}\mu ^{\ast }}{\theta ^{\varrho _{1} -1}}e^{\theta (\xi ( \varkappa _{i})-\xi (a))} \Biggr] \Vert y-z \Vert _{\theta }, \end{aligned}$$

where

$$\begin{aligned} \Vert z \Vert _{\theta }:=\sup_{\vartheta \in \mathscr{J}} \frac{ \vert z(\vartheta ) \vert }{e^{\theta (\xi (\vartheta )-\xi (a))}},\quad \theta >0, \end{aligned}$$

denotes the Bielecki-type norm on the Banach space \(\mathcal{C}\). Thus, we obtain

$$\begin{aligned} \Vert \mathcal{H}y-\mathcal{H}z \Vert _{\theta }\leq \Biggl[ \mathcal{L}_{2}\nu ^{\ast }+\mathcal{L}_{1} \Biggl( \frac{1}{\theta ^{\varrho _{1} }}+\frac{\mu ^{\ast }}{\theta ^{\varrho _{1} -1}}+\sum _{i=1}^{m-2} \lambda _{i}\frac{\mu ^{\ast }}{\theta ^{\varrho _{1} -1}} \Biggr) \Biggr] \Vert y-z \Vert _{\theta }. \end{aligned}$$

Taking \(\theta >0\) large enough such that

$$\begin{aligned} \Biggl[ \mathcal{L}_{2}\nu ^{\ast }+\mathcal{L}_{1} \Biggl( \frac{1}{\theta ^{\varrho _{1} }}+ \frac{\mu ^{\ast }}{\theta ^{\varrho _{1} -1}}+\sum _{i=1}^{m-2}\lambda _{i} \frac{\mu ^{\ast }}{\theta ^{\varrho _{1} -1}} \Biggr) \Biggr] < 1, \end{aligned}$$

it follows that

$$\begin{aligned} \Vert \mathcal{H}y-\mathcal{H}z \Vert _{\theta }< \Vert y-z \Vert _{ \theta }. \end{aligned}$$

This means that \(\mathcal{H}\) is a contraction with respect to the Bielecki norm. Hence, Theorem 2.8 shows that BVP (1.1)–(1.2) has a unique solution.

Existence result via Theorem 2.9

Theorem 3.5

Assume that (G1)(G3) hold. Then (1.1)(1.2) has at least one solution on \(\mathscr{J}\), provided

$$\begin{aligned} \Theta < 1, \end{aligned}$$
(3.14)

where Θ is given by (3.7).

Proof

By assumption (G3), we can fix

$$\begin{aligned} \rho \geq \Vert \varphi \Vert \Lambda _{1}+ \Vert \phi \Vert \Lambda _{2}+\Lambda _{3}, \end{aligned}$$

where \(B_{\rho }=\{z\in \mathcal{C}:\Vert z\Vert \leq \rho \}\). Let us split the operator \(\mathcal{H}:\mathcal{C}\rightarrow \mathcal{C}\) defined by (3.12) as \(\mathcal{H}=\mathcal{H}_{1}+\mathcal{H}_{2}\), where \(\mathcal{H}_{1}\) and \(\mathcal{H}_{2}\) are given by

$$\begin{aligned} &\begin{aligned} \mathcal{H}_{1} z(\vartheta )= \int _{a}^{\vartheta } \mathcal{G}_{\xi }^{ \varrho _{1}}( \vartheta, s)\mathcal{F} \bigl(s, z(s) \bigr) \,\mathrm{d} \mathrm{s}, \end{aligned} \\ &\begin{aligned} \mathcal{H}_{2}z(\vartheta ) ={}&\mu (\vartheta ) \Biggl[ z_{b}+ \int _{a}^{b}\mathcal{G}_{\xi }^{\varrho _{1} }(b,s) \mathcal{F} \bigl( s,z(s) \bigr) \,\mathrm{d}\mathrm{s}+\sum _{i=1}^{m-2}\lambda _{i} \int _{a}^{ \varkappa _{i}}\mathcal{G}_{\xi }^{\varrho _{1} }( \varkappa _{i},s)\mathcal{F} \bigl( s,z(s) \bigr) \,\mathrm{d} \mathrm{s} \Biggr] \\ &{}+\nu (\vartheta )\bigl[z_{a}+\mathfrak{p}(z)\bigr]. \end{aligned} \end{aligned}$$

The proof will be split into numerous steps.

Step 1: \(\mathcal{H}_{1}(z)+\mathcal{H}_{2}(z_{1})\in B_{\rho }\). Indeed, for each \(z,z_{1}\in B_{\rho }\) and \(\vartheta \in \mathscr{J}\), then

$$\begin{aligned} &\Vert \mathcal{H}_{1}z+\mathcal{H}_{2}z_{1} \Vert \\ &\quad=\sup_{ \vartheta \in \mathscr{J}} \bigl\vert ( \mathcal{H}_{1}z ) (\vartheta )+ ( \mathcal{H}_{2}z_{1} ) (\vartheta ) \bigr\vert \\ &\quad\leq \int _{a}^{\vartheta }\mathcal{G}_{\xi }^{\varrho _{1} }( \vartheta,s) \bigl\vert \mathcal{F}\bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d}\mathbf{s}+\mu (\vartheta ) \\ &\qquad{}\times \Biggl[ \vert z_{b} \vert + \int _{a}^{b} \mathcal{G}_{\xi }^{\varrho _{1} -1}(b,s) \bigl\vert \mathcal{F}\bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d} \mathbf{s}\\ &\qquad{}+\sum_{i=1}^{m-2}\lambda _{i} \int _{a}^{\varkappa _{i}}\mathcal{G}_{ \xi }^{\varrho _{1} -1}( \varkappa _{i},s) \bigl\vert \mathcal{F}\bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d}\mathbf{s} \Biggr] \\ &\qquad{}+\nu (\vartheta ) \bigl[ \vert z_{a} \vert + \bigl\vert \mathfrak{p}(z) \bigr\vert \bigr] \\ &\quad\leq \Vert \varphi \Vert \Biggl[ \frac{(\xi (b)-\xi (a))^{\varrho _{1} }}{\Gamma (\varrho _{1} +1)}+ \mu ^{\ast } \Biggl( \frac{(\xi (b)-\xi (a))^{\varrho _{1} -1}}{\Gamma (\varrho _{1} )}+ \sum_{i=1}^{m-2}\lambda _{i} \frac{(\xi (\varkappa _{i})-\xi (a))^{\varrho _{1} -1}}{\Gamma (\varrho _{1} )} \Biggr) \Biggr] \\ &\qquad{}+ \Vert \phi \Vert \nu ^{\ast }+ \vert z_{a} \vert \nu ^{\ast }+ \mu ^{\ast } \vert z_{b} \vert \\ &\quad\leq \Vert \varphi \Vert \Lambda _{1}+ \Vert \phi \Vert \Lambda _{2}+\Lambda _{3}\leq \rho. \end{aligned}$$

Hence

$$\begin{aligned} \Vert \mathcal{H}_{1}z+\mathcal{H}_{2}z_{1} \Vert \leq \rho, \end{aligned}$$

which shows that \(\mathcal{H}_{1}z+\mathcal{H}_{2}z_{1}\in B_{\rho }\).

Step 2: \(\mathcal{H}_{2}\) is a contraction map on \(B_{\rho }\).

Due to the contractility of \(\mathcal{H}\) as in Theorem 3.3, \(\mathcal{H}_{2}\) is a contraction map too.

Step 3: \(\mathcal{H}_{1}\) is completely continuous on \(B_{\rho }\).

From the continuity of \(\mathcal{F} ( \cdot,z(\cdot ) ) \) it follows that \(\mathcal{H}_{1}\) is continuous.

Since

$$\begin{aligned} \begin{aligned} \Vert \mathcal{H}_{1}z \Vert &=\sup _{\vartheta \in \mathscr{J}} \bigl\vert \mathcal{H}_{1}z(\vartheta ) \bigr\vert \leq \int _{a}^{\vartheta } \mathcal{G}_{\xi }^{\varrho _{1}}( \vartheta, s) \bigl\vert \mathcal{F}\bigl(s, z(s)\bigr) \bigr\vert \, \mathrm{d} \mathbf{s} \\ &\leq \Vert \phi \Vert \frac{(\xi (b)-\xi (a))^{\varrho _{1}}}{\Gamma (\varrho _{1}+1)}:=\mathfrak{p},\quad z\in B_{\rho }, \end{aligned} \end{aligned}$$

we get \(\Vert \mathcal{H}_{1}z \Vert \leq \mathfrak{p}\), which emphasizes that \(\mathcal{H}_{1}\) uniformly bounded on \(B_{\rho }\).

Finally, we prove the compactness of \(\mathcal{H}_{1}\).

For \(z\in B_{\rho }\) and \(\vartheta \in \mathscr{J}\), we can estimate the operator derivative as follows:

$$\begin{aligned} \begin{aligned} \bigl\vert (\mathcal{H}_{1}z)_{\xi }^{(1)}( \vartheta ) \bigr\vert & \leq \int _{a}^{\vartheta } \mathcal{G}_{\xi }^{\varrho _{1}-1}( \vartheta, s) \bigl\vert \mathcal{F}\bigl(s, z(s)\bigr) \bigr\vert \, \mathrm{d} \mathbf{s} \\ &\leq \Vert \varphi \Vert \frac{(\xi (b)-\xi (a))^{\varrho _{1}-1}}{\Gamma (\varrho _{1})}:= \ell, \end{aligned} \end{aligned}$$

where we used the fact

$$\begin{aligned} \mathcal{D}_{\xi }^{k}\mathbb{ \mathcal{I}}_{a^{+}}^{\varrho _{1}, \xi }=\mathcal{I}_{a^{+}}^{\varrho _{1}-k,\xi },\qquad \omega _{\xi }^{(k)}( \vartheta )= \biggl( \frac{1}{\xi ^{\prime }(\vartheta )} \frac{d}{d\vartheta } \biggr) ^{k} \omega (\vartheta )\quad\text{for }k=0,1,\ldots,n-1. \end{aligned}$$

Hence, for each \(\vartheta _{1},\vartheta _{2}\in \mathscr{J}\) with \(a<\vartheta _{1}<\vartheta _{2}<b\) and for \(z\in B_{\rho }\), we get

$$\begin{aligned} \bigl\vert ( \mathcal{H}_{1}z ) (\vartheta _{2})- ( \mathcal{H}_{1}z ) (\vartheta _{1}) \bigr\vert = \int _{\vartheta _{1}}^{ \vartheta _{2}} \bigl\vert (\mathcal{H}_{1}z)^{\prime }(s) \bigr\vert \,\mathrm{d}s\leq \ell (\vartheta _{2}-\vartheta _{1}), \end{aligned}$$

where \((\vartheta _{2}-\vartheta _{1})\) tends to zero independent of z. So, \(\mathcal{H}_{1}\) is equicontinuous. In light of the previous arguments along with the Arzela–Ascoli theorem, we derive that \(\mathcal{H}_{1}\) is compact on \(B_{\rho }\). Thus, the hypotheses of Theorem 2.9 hold. So there exists at least one solution of (1.1)–(1.2) on \(\mathscr{J}\). □

Remark 3.6

In Theorem 3.5, we can exchange the roles of the operators \(\mathcal{H}_{1}\) and \(\mathcal{H}_{2}\) to obtain a second result by replacing (3.14) with the following condition:

$$\begin{aligned} \mathcal{L}_{1} \biggl( \frac{(\xi (b)-\xi (a))^{\varrho _{1} }}{\Gamma (\varrho _{1} +1)} \biggr) < 1. \end{aligned}$$

UH stability analysis

In this section, we discuss UH and generalized UH stability of (1.1)–(1.2). Let \(\varepsilon >0\). We consider the following inequality:

$$\begin{aligned} \bigl\vert \mathcal{D}_{a^{+}}^{\varrho _{1},\varrho _{2};\xi } \tilde{z}( \vartheta )-\mathcal{F}\bigl(\vartheta,\tilde{z}(\vartheta )\bigr) \bigr\vert \leq \varepsilon,\quad \vartheta \in \mathscr{J}. \end{aligned}$$
(4.1)

Definition 4.1

FDE (1.1)–(1.2) is UH stable if there exists \(c_{\mathcal{F}}\in \mathbb{R} ^{+}\) such that, for any \(\varepsilon >0\) and for each solution \(\tilde{z}\in \mathcal{C}\) of inequality (4.1), there exists a solution \(z\in \mathcal{U}\) of 1.1)–(1.2) with

$$\begin{aligned} \bigl\vert \tilde{z}(\vartheta )-z(\vartheta ) \bigr\vert \leq \varepsilon c_{\mathcal{F}}, \quad\vartheta \in \mathscr{J}. \end{aligned}$$

Definition 4.2

FDE (1.1)–(1.2) is called generalized UH stable if there exists \(\varphi _{\mathcal{F}}\in \) \(\mathcal{C} ( \mathscr{R}_{+},\mathscr{R}_{+} ) \) along with \(\varphi _{\mathcal{F}}(0)=0\) if, for any \(\varepsilon >0\) and for each solution \(\tilde{z}\in \mathcal{C}\) of inequality (4.1), a solution \(z\in \mathcal{C}\) of (1.1)–(1.2) exists uniquely for which

$$\begin{aligned} \bigl\vert \tilde{z}(\vartheta )-z(\vartheta ) \bigr\vert \leq \varphi _{\mathcal{F}}( \varepsilon ),\quad \vartheta \in \mathscr{J}. \end{aligned}$$

Remark 4.3

A function \(\tilde{z}\in \mathcal{C}\) is a solution of (4.1) iff there exists a function \(\upsilon \in \mathcal{C}\) (which depends on solution ) such that

1. \(|\upsilon (\vartheta )|\leq \varepsilon,\vartheta \in \mathscr{J}\).

2. \(\mathcal{D}_{a^{+}}^{\varrho _{1},\varrho _{2};\xi }\tilde{z}( \vartheta )=\mathcal{F}(\vartheta,\tilde{z}(\vartheta ))+\upsilon (\vartheta ), \vartheta \in \mathscr{J}\).

Theorem 4.4

Let \(\Delta <1\) and hypotheses (G1) and (G2) be satisfied. Then FDE (1.1)(1.2) is UH stable on \(\mathscr{J}\) and consequently generalized UH stable.

Proof

Let \(\varepsilon >0\) and \(\widetilde{z}\in \mathcal{C}\) satisfy inequality (4.1), and let \(z\in \mathcal{C}\) be the unique solution of the following problem:

$$\begin{aligned} \textstyle\begin{cases} {\mathcal{D}}_{a^{+}}^{\varrho _{1},\varrho _{2};\xi }z(\vartheta )= \mathcal{F}(\vartheta,z(\vartheta )),\quad \vartheta \in \mathscr{J}:=[a,b], \\ z(a)=z_{a}+\mathfrak{p}(z),\qquad z_{\xi }^{\prime }(b)=z_{b}+\sum_{i=1}^{m-2} \lambda _{i}z_{\xi }^{\prime }(\varkappa _{i)}.\end{cases}\displaystyle \end{aligned}$$
(4.2)

By Lemma 3.1, we have

$$\begin{aligned} z(\vartheta ) ={}&\mathcal{I}_{a^{+}}^{\varrho _{1};\xi }h(\vartheta )+ \mu ( \vartheta ) \Biggl[ z_{b}+\mathcal{I}_{a^{+}}^{\varrho _{1} -1; \xi }h(b)+ \sum_{i=1}^{m-2}\lambda _{i} \mathcal{I}_{a^{+}}^{\varrho _{1} -1;\xi }h(\varkappa _{i}) \Biggr] + \nu (\vartheta )\bigl[z_{a}+ \mathfrak{p}(z)\bigr] \\ ={}& \int _{a}^{\vartheta }\mathcal{G}_{\xi }^{\varrho _{1} }( \vartheta,s)\mathcal{F} \bigl( s,z(s) \bigr) \,\mathrm{d}\mathrm{s} \\ &{}+\mu (\vartheta ) \Biggl[ z_{b}+ \int _{a}^{b}\mathcal{G}_{\xi }^{ \varrho _{1} -1}(b,s) \mathcal{F} \bigl( s,z(s) \bigr) \,\mathrm{d} \mathrm{s}+\sum _{i=1}^{m-2}\lambda _{i} \int _{a}^{\varkappa _{i}}\mathcal{G}_{ \xi }^{\varrho _{1} -1}( \varkappa _{i},s)\mathcal{F} \bigl( s,z(s) \bigr) \mathrm{d}\mathrm{s} \Biggr] \\ &{}+\nu (\vartheta )\bigl[z_{a}+\mathfrak{p}(z)\bigr]. \end{aligned}$$
(4.3)

Since we have assumed that is a solution of (4.1), we have by Remark 4.3

$$\begin{aligned} \textstyle\begin{cases} {\mathcal{D}}_{a^{+}}^{\varrho _{1},\varrho _{2};\xi }\widetilde{z}(\vartheta )=\mathcal{F}(\vartheta,\widetilde{z}(\vartheta ))+ \upsilon (\vartheta ), \quad \vartheta \in \mathscr{J}:=[a,b], \\ \widetilde{z}(a)=z_{a}+\mathfrak{p}(\widetilde{z}),\qquad \widetilde{z}_{\xi }^{\prime }(b)=z_{b}+\sum_{i=1}^{m-2}\lambda _{i} \widetilde{z}_{\xi }^{\prime }(\varkappa _{i)}.\end{cases}\displaystyle \end{aligned}$$
(4.4)

Again by Lemma 3.1, we have

$$\begin{aligned} \widetilde{z}(\vartheta )={}& \int _{a}^{\vartheta }\mathcal{G}_{\xi }^{ \varrho _{1}}( \vartheta,s)\mathcal{F} \bigl( s,\widetilde{z}(s) \bigr) \,\mathrm{d}\mathrm{s}+ \int _{a}^{\vartheta }\mathcal{G}_{\xi }^{\varrho _{1}}( \vartheta,s)\upsilon (s)\,\mathrm{d}\mathrm{s} \\ &{} +\mu (\vartheta ) \Biggl[ z_{b}+ \int _{a}^{b}\mathcal{G}_{\xi }^{ \varrho _{1}-1}(b,s) \mathcal{F} \bigl( s,\widetilde{z}(s) \bigr) \,\mathrm{d}\mathrm{s}+ \int _{a}^{b}\mathcal{G}_{\xi }^{\varrho _{1}-1}(b,s) \upsilon (s) \,\mathrm{d}\mathrm{s} \\ & {} +\sum_{i=1}^{m-2}\lambda _{i} \int _{a}^{\varkappa _{i}} \mathcal{G}_{\xi }^{\varrho _{1}-1}( \varkappa _{i},s)\mathcal{F} \bigl( s, \widetilde{z}(s) \bigr) \,\mathrm{d}\mathrm{s}+\sum_{i=1}^{m-2} \lambda _{i} \int _{a}^{ \varkappa _{i}}\mathcal{G}_{\xi }^{\varrho _{1}-1}( \varkappa _{i},s) \upsilon (s)\,\mathrm{d}\mathrm{s} \Biggr] \\ &{} +\nu (\vartheta )\bigl[z_{a}+\mathfrak{p}(\widetilde{z})\bigr]. \end{aligned}$$

Consequently, for each \(\vartheta \in \mathscr{J}\), we have

$$\begin{aligned} &\bigl\vert \widetilde{z}(\vartheta )-z(\vartheta ) \bigr\vert \\ &\quad = \int _{a}^{\vartheta } \mathcal{G}_{\xi }^{\varrho _{1}}( \vartheta,s) \bigl\vert \mathcal{F}\bigl(s,\widetilde{z}(s)\bigr)-\mathcal{F}\bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d}\mathrm{s}+ \int _{a}^{\vartheta } \mathcal{G}_{\xi }^{\varrho _{1}}( \vartheta,s)\upsilon (s)\,\mathrm{d}\mathrm{s} \\ &\qquad {}+\mu (\vartheta ) \Biggl[ \int _{a}^{b}\mathcal{G}_{\xi }^{\varrho _{1}-1}(b,s) \bigl\vert \mathcal{F}\bigl(s,\widetilde{z}(s)\bigr)-\mathcal{F}\bigl(s,z(s) \bigr) \bigr\vert \,\mathrm{d}\mathrm{s}+ \int _{a}^{b}\mathcal{G}_{\xi }^{\varrho _{1}-1}(b,s) \upsilon (s)\,\mathrm{d}\mathrm{s} \\ & \qquad{} +\sum_{i=1}^{m-2}\lambda _{i} \int _{a}^{\varkappa _{i}} \mathcal{G}_{\xi }^{\varrho _{1}-1}( \varkappa _{i},s) \bigl\vert \mathcal{F}\bigl(s, \widetilde{z}(s) \bigr)-\mathcal{F}\bigl(s,z(s)\bigr) \bigr\vert \,\mathrm{d} \mathrm{s} \\ &\qquad{}+\sum_{i=1}^{m-2}\lambda _{i} \int _{a}^{\varkappa _{i}}\mathcal{G}_{\xi }^{\varrho _{1}-1}( \varkappa _{i},s)\upsilon (s)\,\mathrm{d}\mathrm{s} \Biggr] \\ &\qquad{} +\nu (\vartheta ) \bigl\vert \mathfrak{p}(\widetilde{z})- \mathfrak{p}(z) \bigr\vert . \end{aligned}$$
(4.5)

From Remark 4.3 and (G2), we derive

$$\begin{aligned} &\bigl\vert \widetilde{z}(\vartheta )-z(\vartheta ) \bigr\vert \\ &\quad \leq\Delta \Vert \widetilde{z}-z \Vert \\ &\qquad{}+ \Biggl( \frac{(\xi (b)-\xi (a))^{\varrho _{1}}}{\Gamma (\varrho _{1}+1)}+\mu ^{\ast } \Biggl[ \frac{(\xi (b)-\xi (a))^{\varrho _{1}-1}}{\Gamma (\varrho _{1})}+ \sum_{i=1}^{m-2}\lambda _{i} \frac{(\xi (\varkappa _{i})-\xi (a))^{\varrho _{1}-1}}{\Gamma (\varrho _{1})} \Biggr] \Biggr) \varepsilon \\ &\quad:= \Delta \Vert \widetilde{z}-z \Vert +\Lambda \varepsilon, \end{aligned}$$

where Δ is defined in (3.6). In consequence, it follows that

$$\begin{aligned} \Vert \widetilde{z}-z \Vert _{\infty }\leq \frac{\Lambda \varepsilon }{(1-\Delta )}. \end{aligned}$$

If we set \(c_{\mathcal{F}}=\frac{\Lambda }{(1-\Delta )}\), then the UH stability condition holds. Moreover, for \(\varphi _{\mathcal{F}}(\varepsilon )= \frac{\Lambda \varepsilon }{(1-\Delta )}\) with \(\varphi _{\mathcal{F}}(0)=0\), the generalized UH stability condition holds too. This completes the proof. □

Examples

In this section, we consider two examples to better illustrate our main results.

Example 5.1

Consider the following BVP for FDE:

$$\begin{aligned} \textstyle\begin{cases} {\mathcal{D}}_{0^{+}}^{\frac{3}{2},0;\vartheta }z(\vartheta )= \mathcal{F}(\vartheta,z(\vartheta )), \quad \vartheta \in \mathscr{J}:=[0,1], \\ z(0)=\frac{1}{5}+\sum_{j=1}^{n}c_{j}z(\vartheta _{j}),\qquad z_{ \vartheta }^{\prime }(1)=\frac{2}{7}+\frac{1}{10}z^{\prime }( \frac{1}{6})+\frac{1}{15}z^{\prime }(\frac{2}{9}),\end{cases}\displaystyle \end{aligned}$$
(5.1)

where

$$\begin{aligned} &\varrho _{1} =\gamma =\frac{3}{2},\qquad\varrho _{2}=0,\qquad b=1,\qquad a=0,\qquad\xi ( \vartheta )=\vartheta, \\ &z_{a} =\frac{1}{5};\qquad z_{b}=\frac{2}{7};\qquad \lambda _{1}=\frac{1}{10},\qquad \lambda _{2}=\frac{1}{15}, \\ &\varkappa _{1} =\frac{1}{6},\qquad \varkappa _{2}= \frac{2}{9}. \end{aligned}$$
(5.2)

Using the given data, we find that

$$\begin{aligned} A= \Biggl[ \frac{[b-a)]^{\gamma -2}}{\Gamma (\gamma -1)}-\sum_{i=1}^{m-2}\lambda _{i}\frac{[\varkappa _{i}-a]^{\gamma -2}}{\Gamma (\gamma -1)} \Biggr] \simeq 0.3462\neq 0. \end{aligned}$$

In order to illustrate Theorem 3.3 and Theorem 3.5, we take

$$\begin{aligned} \begin{aligned} &f\bigl(\vartheta, z(\vartheta )\bigr)= \frac{\vartheta ^{2}-1}{(2-\sin ^{2}\pi \vartheta )^{3}} \biggl( \frac{ \vert z(\vartheta ) \vert }{1+ \vert z(\vartheta ) \vert } \biggr), \\ &\mathfrak{p}(z)=\sum_{j=1}^{n}c_{j}z( \vartheta _{i}), \end{aligned} \end{aligned}$$
(5.3)

in (1.1), where \(0<\vartheta _{1}<\vartheta _{2}<\cdots <\vartheta _{n}<c_{j}\), \(j=1,\ldots,n\), are given positive constants with \(\sum_{j=1}^{n}c_{j}<\frac{2}{5}\), and note that

$$\begin{aligned} \begin{aligned} & \bigl\Vert f(\vartheta, z)-f(\vartheta, v) \bigr\Vert \leq \frac{1}{8} \Vert z-v \Vert , \\ & \bigl\Vert \mathfrak{p}(z)-\mathfrak{p}(v) \bigr\Vert =\sum _{j=1}^{n}c_{j} \Vert z-v \Vert . \end{aligned} \end{aligned}$$
(5.4)

Hence conditions (G1)–(G3) hold with \(\mathcal{L}_{1}=\frac{1}{8}\), \(\mathcal{L}_{2}=\frac{2}{5}\). Further, from the above given data it is easy to calculate

$$\begin{aligned} \Theta \simeq 0.1325< 1. \end{aligned}$$

By Theorem 3.5, problem (5.1) with data (5.2) and (5.3) has at least a solution z. Furthermore \(\Delta \simeq 0.2265<1\). Hence, by Theorem 3.3, problem (5.1) with data (5.2) and (5.3) has a unique solution.

Example 5.2

Let us consider BVP for FDE (1.1)–(1.2) with

$$\begin{aligned} &\xi (\vartheta ) =2^{\vartheta },\qquad \varrho _{1}=\frac{5}{3},\qquad \varrho _{2}=\frac{1}{3},\qquad \gamma =\frac{16}{9}, \\ &z_{a} =\frac{1}{5};\qquad z_{b}=\frac{2}{7};\qquad \lambda _{1}=\frac{1}{5},\qquad \lambda _{2}=\frac{2}{7}, \\ &\varkappa _{1} =\frac{3}{4},\qquad \varkappa _{2}= \frac{2}{5},\qquad b=1,\qquad a=0. \end{aligned}$$

In order to illustrate Theorem 3.3 and Theorem 3.5, we take

$$\begin{aligned} \begin{aligned} &f\bigl(\vartheta, z(\vartheta )\bigr)= \frac{e^{-2\vartheta }}{(\vartheta ^{4}+25)} \bigl(\sin \bigl\vert z(\vartheta ) \bigr\vert \bigr), \\ &\mathfrak{p}(z)=\sum_{j=1}^{n}c_{j}z( \vartheta _{i}) \end{aligned} \end{aligned}$$
(5.5)

in (1.1), where \(0<\vartheta _{1}<\vartheta _{2}<\cdots <\vartheta _{n}<c_{j}\), \(i=1,\ldots,n\), are given positive constants with \(\sum_{j=1}^{n}c_{j}<\frac{2}{15}\), and note that

$$\begin{aligned} \begin{aligned} & \bigl\Vert f(\vartheta, z)-f(\vartheta, v) \bigr\Vert \leq \frac{1}{25} \Vert z-v \Vert , \\ & \bigl\Vert \mathfrak{p}(z)-\mathfrak{p}(v) \bigr\Vert =\sum _{j=1}^{n}c_{j} \Vert z-v \Vert . \end{aligned} \end{aligned}$$
(5.6)

Hence conditions (G1)–(G3) hold with \(\mathcal{L}_{1}=\frac{1}{25}\) and \(\mathcal{L}_{1}=\frac{1}{15}\). Further, from the above given data, it is easy to calculate

$$\begin{aligned} \Theta \simeq 0.7967< 1. \end{aligned}$$

Using the given values of the parameters in (3.1), by the Matlab program, we find that

$$\begin{aligned} A= \Biggl[ \frac{[2^{b}-2^{a}]^{\gamma -2}}{\Gamma (\gamma -1)}-\sum_{i=1}^{m-2} \lambda _{i} \frac{[2^{\varkappa _{i}}-2^{a}]^{\gamma -2}}{\Gamma (\gamma -1)} \Biggr] \simeq 0.3449\neq 0. \end{aligned}$$

Hence condition (G2) holds with \(\mathcal{L}_{1}=\frac{1}{16}\), \(\mathcal{L}_{2}=\frac{1}{24}\). We shall check that condition (3.13) is satisfied. Indeed, using simple calculations, we can find

$$\begin{aligned} \Delta \simeq 0.8811< 1. \end{aligned}$$

Hence, by Theorem 3.3, BVP (1.1)–(1.2) has a unique solution on \(\mathscr{J}\). Moreover, Theorem 4.4 ensures that BVP (1.1)–(1.2) is HU stable and generalized HU stable.

Conclusion

By using standard fixed point techniques, we have established some advantageous results about the existence, uniqueness, and stability of the Ulam–Hyers type of the BVP for nonlinear FDEs involving a ξ-Hilfer FD under nonlocal boundary conditions. The acquired results have been justified by two examples. Furthermore, problem (1.1)–(1.2) not just incorporates the formerly specified BVPs in the literature, but it does cover as many problems as special cases for various values of \(\varrho _{2}\) and ξ, as referenced in Remarks 1.1, 1.2. Consequently, the fixed point technique is a powerful approach to investigate diverse nonlinear problems, which is very important in many theoretical and applied fields.

Availability of data and materials

Not applicable.

References

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

    Book  Google Scholar 

  2. Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)

    MATH  Google Scholar 

  3. Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993)

    MATH  Google Scholar 

  4. Tarasov, V.E.: Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media. Springer, Heidelberg (2010)

    Book  Google Scholar 

  5. Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)

    Book  Google Scholar 

  6. Atangana, A., Baleanu, D.: New fractional derivatives with non-local and non-singular kernel: theory and application to heat transfer model. Therm. Sci. 20(2), 763–769 (2016)

    Article  Google Scholar 

  7. Atangana, A.: Fractal-fractional differentiation and integration: connecting fractal calculus and fractional calculus to predict complex system. Chaos Solitons Fractals 102, 396–406 (2017)

    MathSciNet  Article  Google Scholar 

  8. Almeida, R.: A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 44, 460–481 (2017)

    MathSciNet  Article  Google Scholar 

  9. Sousa, J.V.D.C., Oliveira, E.C.: On the ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 60, 72–91 (2018)

    MathSciNet  Article  Google Scholar 

  10. Agrawal, O.P.: Some generalized fractional calculus operators and their applications in integral equations. Fract. Calc. Appl. Anal. 15(4), 700–711 (2012)

    MathSciNet  Article  Google Scholar 

  11. Jarad, F., Abdeljawad, T.: Generalized fractional derivatives and Laplace transform. Discrete Contin. Dyn. Syst., Ser. S 13(3), 709 (2020)

    MathSciNet  MATH  Google Scholar 

  12. Abdo, M.S., Ibrahim, A.G., Panchal, S.K.: Nonlinear implicit fractional differential equation involving ψ-Caputo fractional derivative. Proc. Jangjeon Math. Soc. 22(3), 387–400 (2019)

    MathSciNet  MATH  Google Scholar 

  13. Abdo, M.S., Abdeljawad, T., Ali, S.M., Shah, K., Jarad, F.: Existence of positive solutions for weighted fractional order differential equations. Chaos Solitons Fractals 141, 110341 (2020)

    MathSciNet  Article  Google Scholar 

  14. Abdo, M.S.: Further results on the existence of solutions for generalized fractional quadratic functional integral equations. J. Math. Anal. Model. 1(1), 33–46 (2020)

    Article  Google Scholar 

  15. Almeida, R.: Fractional differential equations with mixed boundary conditions. Bull. Malays. Math. Sci. Soc. 42(4), 1687–1697 (2019)

    MathSciNet  Article  Google Scholar 

  16. Boutiara, A., Abdo, M.S., Benbachir, M.: Existence results for ψ–Caputo fractional neutral functional integro-differential equations with finite delay. Turk. J. Math. 44, 2380–2401 (2020)

    MathSciNet  Article  Google Scholar 

  17. Adjimi, N., Boutiara, A., Abdo, M.S., Benbachir, M.: Existence results for nonlinear neutral generalized Caputo fractional differential equations. J. Pseudo-Differ. Oper. Appl. 12(2), 1–17 (2021)

    MathSciNet  Article  Google Scholar 

  18. Mali, A.D., Kucche, K.D.: Nonlocal boundary value problem for generalized Hilfer implicit fractional differential equations. Math. Methods Appl. Sci. 43(15), 8608–8631 (2020)

    MathSciNet  Article  Google Scholar 

  19. Sudsutad, W., Thaiprayoon, C., Ntouyas, S.K.: Existence and stability results for ψ-Hilfer fractional integro-differential equation with mixed nonlocal boundary conditions. AIMS Math. 6(4), 4119–4141 (2021)

    MathSciNet  Article  Google Scholar 

  20. Ntouyas, S.K., Vivek, D.: Existence and uniqueness results for sequential ψ-Hilfer fractional differential equations with multi-point boundary conditions. Acta Math. Univ. Comen. 90(2), 1–15 (2021)

    Google Scholar 

  21. Ahmed, I., Kumam, P., Abdeljawad, T., Jarad, F., Borisut, P., Demba, M.A., Kumam, W.: Existence and uniqueness results for φ-Caputo implicit fractional pantograph differential equation with generalized anti-periodic boundary condition. Adv. Differ. Equ. 2020, 555 (2020)

    MathSciNet  Article  Google Scholar 

  22. Belmor, S., Ravichandran, C., Jarad, F.: Nonlinear generalized fractional differential equations with generalized fractional integral conditions. J. Taibah Univ. Sci. 14(1), 114–123 (2020)

    Article  Google Scholar 

  23. Jarad, F., Harikrishnan, S., Shah, K., Kanagarajan, K.: Existence and stability results to a class of fractional random implicit differential equations involving a generalized Hilfer fractional derivative. Discrete Contin. Dyn. Syst., Ser. S 13(3), 723 (2020)

    MathSciNet  MATH  Google Scholar 

  24. Sousa, J.V.D.C., Jarad, F., Abdeljawad, T.: Existence of mild solutions to Hilfer fractional evolution equations in Banach space. Ann. Funct. Anal. 12(1), 1–16 (2021)

    MathSciNet  Article  Google Scholar 

  25. Wahash, H.A., Abdo, M.S., Saeed, A.M., Panchal, S.K.: Singular fractional differential equations with ψ-Caputo operator and modified Picard’s iterative method. Appl. Math. E-Notes 20, 215–229 (2020)

    MathSciNet  Google Scholar 

  26. Abdo, M.S., Thabet, S.T., Ahmad, B.: The existence and Ulam–Hyers stability results for ψ-Hilfer fractional integrodifferential equations. J. Pseudo-Differ. Oper. Appl. 11(4), 1757–1780 (2020)

    MathSciNet  Article  Google Scholar 

  27. Abdo, M.S., Panchal, S.K., Hussien, H.S.: Fractional integro-differential equations with nonlocal conditions and ψ-Hilfer fractional derivative. Math. Model. Anal. 24(4), 564–584 (2019)

    MathSciNet  Article  Google Scholar 

  28. Abdo, M.S., Shah, K., Panchal, S.K., Wahash, H.A.: Existence and Ulam stability results of a coupled system for terminal value problems involving ψ-Hilfer fractional operator. Adv. Differ. Equ. 2020, 316 (2020)

    MathSciNet  Article  Google Scholar 

  29. Abdo, M.S., Panchal, S.K., Wahash, H.A.: Ulam–Hyers–Mittag-Leffler stability for a ψ-Hilfer problem with fractional order and infinite delay. Results Appl. Math. 7, 100–115 (2020)

    Article  Google Scholar 

  30. Boutiara, A., Etemad, S., Hussain, A., Rezapour, S.: The generalized U–H and U–H stability and existence analysis of a coupled hybrid system of integro-differential IVPs involving φ-Caputo fractional operators. Adv. Differ. Equ. 2021, 95 (2021). https://doi.org/10.1186/s13662-021-03253-8

    MathSciNet  Article  Google Scholar 

  31. Sousa, J.V.D.C., Oliveira, E.C.: On the Ulam–Hyers–Rassias stability for nonlinear fractional differential equations using the ψ-Hilfer operator. J. Fixed Point Theory Appl. 20(3), 1–21 (2018)

    MathSciNet  Article  Google Scholar 

  32. Almalahi, M.A., Abdo, M.S., Panchal, S.K.: Existence and Ulam–Hyers–Mittag-Leffler stability results of ψ-Hilfer nonlocal Cauchy problem. Rend. Circ. Mat. Palermo 2, 1–21 (2020)

    MATH  Google Scholar 

  33. Zhong, W., Lin, W.: Nonlocal and multiple-point boundary value problem for fractional differential equations. Comput. Math. Appl. 59(3), 1345–1351 (2010)

    MathSciNet  Article  Google Scholar 

  34. Asawasamrit, S., Kijjathanakorn, A., Ntouyas, S.K., Tariboon, J.: Nonlocal boundary value problems for Hilfer fractional differential equations. Bull. Korean Math. Soc. 55(6), 1639–1657 (2018)

    MathSciNet  MATH  Google Scholar 

  35. Srivastava, H., Tomovski, Z.: Fractional calculus with an integral operator containing a generalized Mittag-Leffler function in the kernel. Appl. Math. Comput. 211(1), 198–210 (2009)

    MathSciNet  MATH  Google Scholar 

  36. Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003)

    Book  Google Scholar 

  37. Krasnoselskii, M.A.: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123–127 (1995)

    MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors are very thankful to the reviewers for their useful suggestions. The first and fifth authors would like to thank Prince Sultan University for funding this research work.

Funding

Prince Sultan University provided funding to support this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM), group number [RG-DES-2017-01-17].

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally to this article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Wasfi Shatanawi.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Shatanawi, W., Boutiara, A., Abdo, M.S. et al. Nonlocal and multiple-point fractional boundary value problem in the frame of a generalized Hilfer derivative. Adv Differ Equ 2021, 294 (2021). https://doi.org/10.1186/s13662-021-03450-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-021-03450-5

MSC

  • 34A08
  • 26A33
  • 34A34

Keywords

  • Nonlocal fractional differential equations
  • Generalized Hilfer fractional derivative
  • Existence and Ulam stability
  • Fixed point theorem