Theory and Modern Applications

# Stability analysis for boundary value problems with generalized nonlocal condition via Hilfer–Katugampola fractional derivative

## Abstract

In this research, we present the stability analysis of a fractional differential equation of a generalized Liouville–Caputo-type (Katugampola) via the Hilfer fractional derivative with a nonlocal integral boundary condition. Besides, we derive the relation between the proposed problem and the Volterra integral equation. Using the concepts of Banach and Krasnoselskii’s fixed point theorems, we investigate the existence and uniqueness of solutions to the proposed problem. Finally, we present two examples to clarify the abstract result.

## 1 Introduction

Fractional calculus is a branch of mathematics that examines the properties of derivatives and integrals of arbitrary non-integer order. This theory has been studied over the years and was initiated in a letter written to Guillaume de l’Hopital by Gottfried Wilhelm Leibniz in 1965. Subsequently, the area has become a great area of interest to many famous mathematicians such as Fourier, Laplace, Abel, Liouville, Riemann, Letnikov etc. For more interpretation on the fundamentals ideas of fractional calculus, physical and geometric meanings we refer the reader to see the books, [29, 37, 39, 54] etc.

There are various definitions of fractional order derivatives and integrals, for example, we have the Riemann, Liouville, Caputo, Riemann–Liouville, Weyl, Hadamard, and Grunwald–Letnikov versions. These derivatives do not coincide in general except for some special cases. This is due to the fact that the authors try to preserve some properties of these operators. However, the most famous definitions are the ones for Riemann, Liouville, Riemann–Liouville, and Caputo fractional order derivatives and integrals.

Fractional differential equations are an area that is related to the fractional calculus and it played an important role in numerous fields of engineering and scientific areas such as physics, chemistry, biology, economics, control theory, signal and image processing. Recently, it was proved that fractional derivatives and integrals of arbitrary order are more advantageous and pragmatic for characterizing the memory and hereditary properties of different materials and processes than the integer-order derivatives; see [14, 18, 32].

Existence, uniqueness and stability analyses of fractional differential equations with different types of initial and boundary conditions belong to the most essential parts in the theory of fractional differential equations to which this paper is devoted. However, many researchers studied the existence and uniqueness of solutions for boundary value problems (BVPs) of fractional differential equations with different types of fractional integrals and derivatives; see for example [5, 7, 13, 17, 25, 33, 36, 4043, 45, 52, 55]. Hilfer initiated a new class of Riemann–Liouville fractional derivatives, called Hilfer fractional derivatives. These fractional derivatives coincide with the classical Riemann–Liouville and Caputo fractional derivatives. The main advantage of these operators is the degree of freedom on the initial conditions. Thus, based on this setting, it motivated a lot of researchers to initiate research and finding the existence, uniqueness and stability results; see [24, 8, 10, 15, 16, 21, 27, 48, 50].

More recently, motivated by Hilfer fractional derivatives and some well-known results in respect of the generalized classical definitions of Riemann–Liouville and Caputo fractional derivatives, Oliveira and Capelas [35] proposed new fractional derivatives called Hilfer–Katugampola fractional derivatives, which incorporate Hilfer and generalized fractional derivatives. These have been contemplated by some researchers in the field of fractional calculus, results can be found in [1, 9, 20, 23, 24, 26, 28, 53] and the references therein. Stability analysis is one of the most important aspects of fractional differential equations. This notion was initiated by Ulam [22], which motivated many researchers to make contributions in this area [6, 8, 10, 11, 21, 28, 31, 38, 46, 47, 51]. For instance, Ahmed et al. [9] developed the existence and uniqueness criteria for solutions of boundary value problems (BVPs) with a generalized nonlocal integral and multi-point conditions described by

$$\textstyle\begin{cases} {}^{\rho }\mathcal{D}^{\nu }_{0^{+}}z(s)=g(s, z(s)), \quad s\in \mathcal{J}=(0, T], s>0, \\ \delta z(0) =\sum_{j=1}^{k}d_{j}z(\lambda _{j}), \qquad z(T) =\sum_{i=1}^{m}b_{i}{^{ \rho }\mathcal{I}}^{q}_{0^{+}}z(\xi _{i})+c, \quad \xi _{i},\lambda _{j} \in \mathcal{J}, c,b_{i},d_{j}\in \mathbb{R}, \\ 0< \xi _{1}< \cdots < \xi _{i}< \cdots < \xi _{m}< \lambda _{1}< \cdots < \lambda _{j}< \cdots < \lambda _{k}< T, \end{cases}$$
(1.1)

and the inclusion problem

$$\textstyle\begin{cases} {}^{\rho }\mathcal{D}^{\nu }_{0^{+}}z(s)\in G(s, z(s)), \quad s \in \mathcal{J}=(0, T], s>0, \\ \delta z(0) =\sum_{j=1}^{k}d_{j}z(\lambda _{j}), \qquad z(T) =\sum_{i=1}^{m}b_{i}{^{ \rho }\mathcal{I}}^{q}_{0^{+}}z(\xi _{i})+c, \quad \xi _{i},\lambda _{j} \in \mathcal{J}, \\ 0< \xi _{1}< \cdots < \xi _{i}< \cdots < \xi _{m}< \lambda _{1}< \cdots < \lambda _{j}< \cdots < \lambda _{k}< T, \end{cases}$$
(1.2)

where $${}^{\rho }\mathcal{D}^{\nu }_{0^{+}}(\cdot )$$ is the generalized fractional derivatives of order ($$1<\nu\le2$$) and $${}^{\rho }\mathcal{I}^{q}_{0^{+}}(\cdot )$$ is a generalized fractional integral of order $$q>0$$, $$\delta =s^{1-\rho }\frac{d}{ds}$$, $$\rho >0$$, $$g:(0, T]\times \mathbb{R}\rightarrow \mathbb{R}$$ is a continuous function, $$T>0$$ and $$G: \mathcal{J}\times \mathbb{R}\rightarrow \mathbb{P}(\mathbb{R})$$ is a multivalued function. Recently, Suphawat et al. [12] initiated research and found existence and uniqueness results for the boundary value problems (BVPs) which involve Hilfer fractional derivatives and a nonlocal condition described by

$$\textstyle\begin{cases} {}^{H}\mathcal{D}^{p, q}_{a^{+}}w(s)=\varTheta (s, w(s)),\quad s\in \mathcal{I}=[a, b], b>a>0, \\ w(a) =0, \qquad w(b) =\sum_{k=1}^{m}b_{k}\mathcal{I}^{r_{k}}_{a^{+}}z( \xi _{k}), \quad \xi _{k}\in \mathcal{I}, b_{k}\in \mathbb{R}, \\ a< \xi _{1}< \cdots < \xi _{i}< \cdots < \xi _{k}< b, \end{cases}$$
(1.3)

where $${}^{H}\mathcal{D}^{p,q}_{a^{+}}(\cdot )$$ is the Hilfer fractional derivatives of order ($$1< p<2$$) and the parameter $$0\le q \le 1$$, $$\mathcal{I}^{r_{k}}_{a^{+}}(\cdot )$$ is the Riemann–Liouville fractional integral of order $$r_{k}>0$$, $$\varTheta :\mathcal{I}\times \mathbb{R}\rightarrow \mathbb{R}$$ is a continuous function. The authors employed a fixed point approach of the Banach contraction principle, and the Hölder, Boyd and Wang, Leray–Schauder and Krasnoselskii’s approaches to obtain their results.

In [20], Harikrishnan considered an initial value problem with the nonlocal condition given by

$$\textstyle\begin{cases} {}^{\rho }D^{\upsilon , q}_{a^{+}}u(\tau )=f(\tau , u(\tau )), \quad \tau \in I=(a, T], \\ {}^{\rho }I^{1-r}_{a^{+}}u(a)=\sum_{j=1}^{n}c_{j}u(\sigma _{j}),\quad \sigma _{j}\in I, \end{cases}$$
(1.4)

where $${}^{\rho }D^{\upsilon ,q}_{a^{+}}(\cdot )$$ is the Hilfer–Katugampola fractional derivative of order ($$0<\upsilon <1$$) and parameter $$0\le q\le 1$$, $${}^{\rho }I^{1-r}_{a^{+}}(\cdot )$$ is the generalized fractional integral of order $$1-r>0$$, $$\rho >0$$, $$f:I\times \mathbb{R}\rightarrow \mathbb{R}$$ is a continuous function, $$c_{j}\in \mathbb{R}$$ and $$\sigma _{j}\in I$$ satisfying $$0< a<\sigma _{1}\leq \sigma _{2}\leq \cdots \leq \sigma _{n}<T$$ for $$j=1,2,\ldots ,n$$. Existence results were obtained using Krasnoselskii’s fixed point theorem.

More recently, Vivek et al.[48] studied an implicit differential equation with nonlocal condition via Hilfer fractional derivatives described by

$$\textstyle\begin{cases} D^{\alpha , \beta }_{0^{+}}v(s)=\varTheta (s, v(s), D^{\alpha , \beta }_{0^{+}}v(s)), \quad s\in \mathcal{T}=[0, b], b>0, \\ I^{1-r}_{0^{+}}v(0)=\sum_{i=1}^{m}e_{i}v(\tau _{i}), \quad \tau _{i}\in \mathcal{T}, r=\alpha +\beta -\alpha \beta , \end{cases}$$
(1.5)

where $$D^{\alpha ,\beta }_{0^{+}}(\cdot )$$ is the Hilfer fractional derivatives of order $$(0<\alpha <1)$$ and type $$0\le \beta \le 1$$, $$I^{1-r}_{0^{+}}(\cdot )$$ is the Riemann–Liouville fractional integral of order $$1-r>0$$, $$\varTheta :\mathcal{T}\times \mathbb{R}^{2}\rightarrow \mathbb{R}$$ is a continuous function, $$e_{i}\in \mathbb{R}$$, $$\tau _{i}\in \mathcal{\mathcal{T}}$$ satisfying $$0<\tau _{1}\leq \cdots \leq \tau _{m}<b$$. The authors proved the existence and uniqueness via Schafer’s and Banach’s fixed point theorems. Furthermore, stability results were also investigated.

Motivated by the above series of papers and some basic ideas of the fractional calculus, the main objectives of this paper is to extend the results of [9, 12, 19] and also to discuss the stability analysis in the framework of Ulam–Hyers and generalized Ulam–Hyers theory. More specifically, we consider the fractional differential equation given by

$$\textstyle\begin{cases} {}^{\rho }\mathfrak{D}^{p,q}_{a^{+}}x(t)=f(t,x(t)), \quad t\in [a, b], b>a>0, \rho >0, \\ x(a)=0, \qquad x(b)= \sum_{i=1}^{m}\mu _{i}^{\rho } \mathfrak{I}^{\xi _{i}}_{a^{+}}x(\delta _{i})+\varrho ,\quad \xi _{i}>0, \varrho ,\mu _{i}\in \mathbb{R}, \delta _{i}\in (a,b), \end{cases}$$
(1.6)

where $${}^{\rho }\mathfrak{D}^{p,q}_{a^{+}}(\cdot )$$ is the Hilfer–Katugampola fractional derivative of order ($$1< p\le 2$$) and parameter $$0\le q\le 1$$, $${}^{\rho }\mathfrak{I}^{\xi _{i}}_{a^{+}}(\cdot )$$ is the generalized fractional integral of order $$\xi _{i}>0$$, $$f:[a, b]\times \mathbb{R}\rightarrow \mathbb{R}$$ is a continuous function, $$\mu _{i}\in \mathbb{R}$$ and $$\delta _{i}\in [a, b]$$ satisfying $$0< a<\delta _{1}\leq \delta _{2}\leq \cdots \leq \delta _{m}<b$$ for $$i=1,2,\ldots ,m$$. Problem (1.6) is simply called a boundary value problem (BVP).

Evidently, to the best of our knowledge, stability analysis of boundary value problems (BVPs) is still in the initial stage. Thus the main contribution of this paper is to investigate the stability analysis of Ulam–Hyers and generalized Ulam–Hyers theory, which is not established in [9, 12, 19]. Besides, we also show the equivalence between problem (1.6) and the Volterra integral equation and apply the Banach and Krasnoselskii’s fixed point theorems to establish the existence and uniqueness results. Moreover, problem (1.6) coincides with:

• the Riemann–Liouville and Hadamard fractional derivative when $$q=0$$, $$\rho \rightarrow 1$$;

• the Hilfer and Hilfer–Hadamard fractional derivative ($$\rho \rightarrow 1$$, and $$\rho \rightarrow 0^{+}$$);

• the generalized (defined by Katugampola) and Caputo-type versions ($$q=0$$) and ($$q=1$$).

We organize the remaining part of the paper as follows: Some preliminary facts, vital definitions, and theoretical results are recalled in Sect. 2. In Sect. 3, we derive the relation between the Volterra integral equation and the proposed problem (1.6). Also, with the help of these equations, the existence and uniqueness of solutions are proven using the concepts of the Banach and Krasnoselskii fixed point theorems. In Sect. 4, we present certain criteria under which the proposed problem (1.6) is both Ulam–Hyers and generalized Ulam–Hyers stable. Furthermore, as an application, two examples are given to show the applicability of the obtained results. Finally, we summarize the paper in the last section.

## 2 Preliminaries and theoretical results

This section summarizes the basic definitions and principles of fractional derivatives and integrals and describes the theoretical findings that are useful in this paper. For further information, see [29, 35, 37].

### Definition 2.1

Let $$-\infty < a< t< b<\infty$$, $$n-1< p< n$$ with $$n\in \mathbb{N}$$, $$n=[p]+1$$ and $$\rho >0$$. Then

$$\bigl({}^{\rho }\mathfrak{I}^{p}_{a^{+}}f \bigr) (t)=\frac{1}{\varGamma (p)} \int _{a}^{t} \biggl( \frac{t^{\rho }-\tau ^{\rho }}{\rho } \biggr) ^{p-1}\tau ^{\rho -1}f( \tau )\,d\tau ,$$
(2.1)

which is referred to as a left-sided generalized fractional integral of order p provided the right side is point-wise defined on $$(a, \infty )$$; $$\varGamma (\cdot )$$ denotes the gamma function.

Likewise, the generalized fractional derivative is defined in terms of the generalized fractional integral (2.1),

\begin{aligned}[b] \bigl({}^{\rho } \mathfrak{D}^{p}_{a^{+}}f\bigr) (t)&= \biggl(t^{1- \rho } \frac{d}{dt} \biggr)^{n} \bigl( {}^{\rho } \mathfrak{I}^{n-p}_{a^{+}}f \bigr) (t) \\ &=\frac{1}{\varGamma (n-p)} \biggl( t^{1-\rho }\frac{d}{dt} \biggr)^{n} \int _{a}^{t} \biggl( \frac{t^{\rho }-\tau ^{\rho }}{\rho } \biggr) ^{n-p+1} \tau ^{\rho -1}f(\tau )\,d\tau . \end{aligned}
(2.2)

### Definition 2.2

Suppose $$n-1< p\le n$$, $$0\le q\le 1$$ with $$n\in \mathbb{N}$$ and $$\rho >1$$. Then the fractional operator

$$\bigl({}^{\rho }\mathfrak{D}^{p,q}_{a^{+}}f\bigr) (t)= \biggl({}^{\rho }\mathfrak{I}^{q(n-p)}_{a^{+}} \biggl(t^{1-\rho }\frac{d}{dt} \biggr)^{n}{{}^{\rho } \mathfrak{I}^{(1-q)(n-p)}_{a^{+}}}f \biggr) (t),$$
(2.3)

is called the left-sided Hilfer generalized (or simply Hilfer–Katugampola) fractional derivative of order p and parameter q.

### Remark 2.3

The operator $${}^{\rho }\mathfrak{D}^{p,q}_{a^{+}}$$ can be further simplified as

\begin{aligned}[b] \bigl({}^{\rho } \mathfrak{D}^{p,q}_{a^{+}}f\bigr) (t)&= \biggl( {}^{ \rho }\mathfrak{I}^{q(n-p)}_{a^{+}} \biggl(t^{1-\rho }\frac{d}{dt} \biggr)^{n}{{}^{\rho } \mathfrak{I}^{(1-q)(n-p)}_{a^{+}}}f \biggr) (t) \\ &={}^{\rho }\mathfrak{I}^{q(2-p)}_{a^{+}}{{}^{\rho } \mathfrak{D}^{r}_{a^{+}}}, \end{aligned}
(2.4)

where $$r=p+q(2-p)$$, $$1< p\leq 2$$, $$0\le q\le 1$$ and the operators $${}^{\rho }\mathfrak{I}_{a^{+}}$$, $${}^{\rho }\mathfrak{D}_{a^{+}}$$ are defined in (2.1) and (2.2), respectively.

Next, we consider some important properties of these operators as follows.

### Lemma 2.4

Let$$p,\theta >0$$, $$1\le p<\infty$$, $$0< a< b<\infty$$and$$\rho ,c\in \mathbb{R}$$such that$$\rho \ge c$$. Then, for$$f\in X_{c}^{p}(a, b)$$, the following relations hold:

$$\bigl( {}^{\rho }\mathfrak{I}^{p}_{a^{+}}{{}^{\rho } \mathfrak{I}^{ \theta }_{a^{+}}}f \bigr) (\cdot )= \bigl( {}^{\rho }\mathfrak{I}^{p+ \theta }_{a^{+}}f \bigr) (\cdot )$$

and

$$\bigl( {}^{\rho }\mathfrak{D}^{p}_{a^{+}}{{}^{\rho } \mathfrak{I}^{p}_{a^{+}}}f \bigr) (\cdot )=f(\cdot ).$$

### Lemma 2.5

In view of Eqs. (2.1) and (2.2), for any$$p,\theta \ge 0$$, we have

\begin{aligned} &\biggl({}^{\rho }\mathfrak{I}^{p}_{a^{+}} \biggl( \frac{t^{\rho }-a^{\rho }}{\rho } \biggr)^{\theta -1} \biggr) (x) = \frac{\varGamma (\theta )}{\varGamma (p+\theta )} \biggl( \frac{t^{\rho }-a^{\rho }}{\rho } \biggr)^{p+\theta -1}, \\ &\biggl({}^{\rho }\mathfrak{D}^{p}_{a^{+}} \biggl( \frac{t^{\rho }-a^{\rho }}{\rho } \biggr)^{p-1} \biggr) (x) =0,\quad 0< p< 1. \end{aligned}

### Lemma 2.6

If$$1< p\le 2$$, then

$${}^{\rho }\mathfrak{I}^{p}_{a^{+}} \bigl( {}^{\rho }\mathfrak{D}^{p}_{a^{+}}f \bigr) (t)=f(t)- \frac{({}^{\rho }\mathfrak{I}^{1-r}f)(a)}{\varGamma (r)} \biggl( \frac{t^{\rho }-a^{\rho }}{\rho } \biggr)^{r-1} - \frac{({}^{\rho }\mathfrak{I}^{2-r}f)(a)}{\varGamma (r-1)} \biggl( \frac{t^{\rho }-a^{\rho }}{\rho } \biggr)^{r-2}.$$

## 3 Main results

In this section, firstly, we establish the relationship between the proposed problem (1.6) and the Volterra integral equation. Secondly, with the help of these equation, we derive the existence and uniqueness of solutions based on Banach’s and Krasnoselskii’s fixed point theorems.

### 3.1 Equivalence with the Volterra integral equation

We consider the generalized boundary value problem described by

$${{}^{\rho }\mathfrak{D}^{p,q}_{a^{+}}}x(t)=f \bigl(t,x(t)\bigr),\quad b \in [a, b], b>a>0,$$
(3.1)

where $$p\in (1, 2]$$, $$q\in [0, 1]$$, $$\rho >0$$, subject to the boundary conditions:

$$x(a)=0,\qquad x(b)= \sum_{i=1}^{m} \mu _{i} {{}^{\rho }\mathfrak{I}^{\xi _{i}}_{a^{+}}}x( \delta _{i})+ \varrho ,\quad \xi _{i}>0, \varrho ,\mu _{i}\in \mathbb{R}, \delta _{i} \in (a,b).$$
(3.2)

The following lemma shows the relationship between problem (3.1)–(3.2) and the Volterra integral equation of the form

\begin{aligned}[b] x(t)={}&\frac{\rho ^{1-r}}{\varUpsilon \varGamma (r)} \bigl(t^{\rho }-a^{\rho }\bigr)^{r-1} \Biggl( {}^{\rho }\mathfrak{I}^{p}_{a^{+}}f\bigl(s,x(s)\bigr) (b)- \sum_{i=1}^{m}\mu _{i}^{\rho }\mathfrak{I}^{p+\xi _{i}}_{a^{+}}f \bigl(s,x(s)\bigr) ( \delta _{i})-\varrho \Biggr) \\ &{}+{}^{\rho }\mathfrak{I}^{p}_{a^{+}}f\bigl(s,x(s) \bigr) (t), \end{aligned}
(3.3)

where

$$\varUpsilon = \sum_{i=1}^{m} \frac{\mu _{i}\rho ^{1-(r+\xi _{i})}}{\varGamma (r+\xi _{i})}\bigl(\delta _{i}^{ \rho }-a^{\rho } \bigr)^{r+\xi _{i}-1}-\frac{\rho ^{1-r}}{\varGamma (r)}\bigl(b^{ \rho }-a^{\rho } \bigr)^{r-1}\ne 0.$$
(3.4)

### Lemma 3.1

Let$$1< p\le 2$$, $$0\le q\le 1$$such that$$r=p+2q-pq$$and$$f(\cdot , x(\cdot ))\in \mathcal{C}([a, b]\times \mathbb{R})$$. Thenxis a solution of the problems (3.1), (3.2) if and only if it satisfies Eq. (3.3).

### Proof

Indeed, in view of (2.4), Eq. (3.1) can be written as

$${}^{\rho }\mathfrak{I}^{q(2-p)}_{a^{+}}{{}^{\rho } \mathfrak{D}^{r}}_{a^{+}}x(t)=f\bigl(t, x(t)\bigr).$$
(3.5)

Applying the operator $${}^{\rho }\mathfrak{I}^{p}_{a^{+}}$$ to both sides of Eq. (3.5) and using Lemma 2.6, we get

$$x(t)=\frac{({}^{\rho }\mathfrak{I}^{1-r}_{a^{+}}x)(a)}{\varGamma (r)} \biggl( \frac{t^{\rho }-a^{\rho }}{\rho } \biggr)^{r-1} + \frac{({}^{\rho }\mathfrak{I}^{2-r}_{a^{+}}x)(a)}{\varGamma (r-1)} \biggl( \frac{t^{\rho }-a^{\rho }}{\rho } \biggr)^{r-2}+{}^{\rho }\mathfrak{I}^{p}_{a^{+}}f \bigl(t, x(t)\bigr).$$
(3.6)

Denoting $$e_{1}=({}^{\rho }\mathfrak{I}^{2-r}_{a^{+}}x)(a)$$ and $$e_{2}=({}^{\rho }\mathfrak{I}^{1-r}_{a^{+}}x)(a)$$ in Eq. (3.6) yields

$$x(t)=\frac{e_{2}}{\varGamma (r)} \biggl( \frac{t^{\rho }-a^{\rho }}{\rho } \biggr)^{r-1} + \frac{e_{1}}{\varGamma (r-1)} \biggl( \frac{t^{\rho }-a^{\rho }}{\rho } \biggr)^{r-2}+{}^{\rho }\mathfrak{I}^{p}_{a^{+}}f \bigl(t, x(t)\bigr).$$
(3.7)

By substituting the boundary condition $$x(a)=0$$ in Eq. (3.7), we get $$e_{1}=0$$. Thus

$$x(t)=\frac{e_{2}}{\varGamma (r)} \biggl( \frac{t^{\rho }-a^{\rho }}{\rho } \biggr)^{r-1} +{}^{\rho }\mathfrak{I}^{p}_{a^{+}}f \bigl(t, x(t)\bigr).$$
(3.8)

Substituting $$t=\delta _{i}$$ and multiplying through by $$\mu _{i}$$ in Eq. (3.8), we have

$$\mu _{i}x(\delta _{i})= \frac{\mu _{i}e_{2}}{\varGamma (r)} \biggl( \frac{\delta _{i}^{\rho }-a^{\rho }}{\rho } \biggr)^{r-1} +\mu _{i}{^{ \rho }\mathfrak{I}^{p}_{a^{+}}}f \bigl(\delta _{i}, x(\delta _{i})\bigr).$$
(3.9)

Applying $${}^{\rho }\mathfrak{I}^{\xi _{i}}_{a^{+}}$$ to both sides of Eq. (3.9) and using Lemmas 2.5 and 2.4 yield

$$\mu _{i}{{}^{\rho }\mathfrak{I}^{\xi _{i}}_{a^{+}}}x( \delta _{i})= \frac{\mu _{i}e_{2}}{\varGamma (r+\xi _{i})} \biggl( \frac{\delta _{i}^{\rho }-a^{\rho }}{\rho } \biggr)^{r+\xi _{i}-1} + \mu _{i}{{}^{\rho } \mathfrak{I}^{p+\xi _{i}}_{a^{+}}}f\bigl(\delta _{i}, x( \delta _{i})\bigr),$$
(3.10)

which implies that

\begin{aligned}[b] \sum_{i=1}^{m}\mu _{i}{{}^{\rho }\mathfrak{I}^{\xi _{i}}_{a^{+}}}x( \delta _{i})+\varrho &=e_{2} \sum _{i=1}^{m} \frac{\mu _{i}}{\varGamma (r+\xi _{i})} \biggl( \frac{\delta _{i}^{\rho }-a^{\rho }}{\rho } \biggr)^{r+\xi _{i}-1} \\ &\quad {}+ \sum _{i=1}^{m}\mu _{i}{{}^{\rho } \mathfrak{I}^{p+\xi _{i}}_{a^{+}}}f\bigl( \delta _{i}, x(\delta _{i})\bigr)+\varrho . \end{aligned}
(3.11)

Also,

$$x(b)=\frac{e_{2}}{\varGamma (r)} \biggl( \frac{b^{\rho }-a^{\rho }}{\rho } \biggr)^{r-1} +{}^{\rho }\mathfrak{I}^{p}_{a^{+}}f \bigl(b, x(b)\bigr).$$
(3.12)

From the boundary condition $$x(b)=\sum_{i=1}^{m}\mu _{i}^{\rho }\mathfrak{I}^{\xi _{i}}_{a^{+}}x( \delta _{i})+\varrho$$ and in view of Eqs. (3.11), (3.12), we obtain

\begin{aligned}[b] \frac{e_{2}}{\varGamma (r)} \biggl( \frac{b^{\rho }-a^{\rho }}{\rho } \biggr)^{r-1} +{}^{\rho } \mathfrak{I}^{p}_{a^{+}}f\bigl(b, x(b)\bigr)={}&e_{2} \sum_{i=1}^{m} \frac{\mu _{i}}{\varGamma (r+\xi _{i})} \biggl( \frac{\delta _{i}^{\rho }-a^{\rho }}{\rho } \biggr)^{r+\xi _{i}-1} \\ &{}+ \sum_{i=1}^{m}\mu _{i}{{}^{\rho }\mathfrak{I}^{p+\xi _{i}}_{a^{+}}}f \bigl( \delta _{i}, x(\delta _{i})\bigr)+\varrho , \end{aligned}
(3.13)

which implies that

$$e_{2}=\frac{1}{\varUpsilon } \Biggl({}^{\rho } \mathfrak{I}^{p}_{a^{+}}f\bigl(b, x(b)\bigr)- \sum _{i=1}^{m}\mu _{i}{{}^{\rho } \mathfrak{I}^{p+ \xi _{i}}_{a^{+}}}f\bigl(\delta _{i}, x( \delta _{i})\bigr)-\varrho \Biggr).$$
(3.14)

Therefore, the results follow by substituting Eq. (3.14) in Eq. (3.8). The converse follows by simple calculation as above. □

Denote by $$\mathtt{C}=C([a, b], \mathbb{R})$$ the Banach space of all continuous functions from $$[a, b]$$ to $$\mathbb{R}$$ defined by

$$\Vert x \Vert = \sup_{a\le t\le b} \bigl\vert x(t) \bigr\vert ,$$

and define the operator $$\mathbb{F}: \mathtt{C}\rightarrow \mathtt{C}$$ by

\begin{aligned}[b] (\mathbb{F}x) (t)={}& \frac{\rho ^{1-r}}{\varUpsilon \varGamma (r)}\bigl(t^{\rho }-a^{\rho } \bigr)^{r-1} \Biggl( {}^{\rho }\mathfrak{I}^{p}_{a^{+}}f \bigl(s,x(s)\bigr) (b)- \sum_{i=1}^{m}\mu _{i}^{\rho }\mathfrak{I}^{p+\xi _{i}}_{a^{+}}f \bigl(s,x(s)\bigr) ( \delta _{i})-\varrho \Biggr) \\ &{}+{}^{\rho }\mathfrak{I}^{p}_{a^{+}}f\bigl(s,x(s) \bigr) (t). \end{aligned}
(3.15)

We show that the operator $$\mathbb{F}$$ has a fixed point which is the solutions of the problem (1.6). For simplicity, we denote

\begin{aligned}[b] \varPhi ={}&\frac{\rho ^{1-(p+r)}(b^{\rho }-a^{\rho })^{p+r-1}}{ \vert \varUpsilon \vert \varGamma (r)\varGamma (p+1)}+ \frac{\rho ^{1-r}(b^{\rho }-a^{\rho })^{r-1}}{ \vert \varUpsilon \vert \varGamma (r)} \sum_{i=1}^{m} \vert \mu _{i} \vert \frac{(\delta _{i}^{\rho }-a^{\rho })^{p+\xi _{i}}}{\rho ^{p+\xi _{i}}\varGamma (p+\xi _{i}+1)} \\ &{}+\frac{(b^{\rho }-a^{\rho })^{p}}{\rho ^{p}\varGamma (p+1)}. \end{aligned}
(3.16)

### 3.2 Existence result via Banach contraction principle

We prove first the existence and uniqueness result of the proposed problem (1.6) by applying the concept of the Banach contraction principle in this subsection. Thus, before we state the main theorem, we make the following assumptions:

$$(T_{1})$$:

Suppose that $$f: [a, b]\times \mathbb{R}\rightarrow \mathbb{R}$$ is a continuous functions such that $$f(\cdot ,x(\cdot ))\in \mathtt{C}$$ for any $$x\in \mathtt{C}$$.

$$(T_{2})$$:

There exists a constant $$\mathcal{A}>0$$ such that

$$\bigl\vert f(t,x)-f(t,y) \bigr\vert \le \mathcal{A} \vert x-y \vert ,\quad \text{for all } x,y\in \mathbb{R}, t\in [a, b].$$

### Theorem 3.2

Suppose that assumptions$$(T_{1})$$$$(T_{2})$$are satisfied. Then problem (1.6) has a unique solution on$$[a, b]$$provided that

$$\mathcal{A}\varPhi < 1,$$
(3.17)

whereΦis defined by (3.16).

### Proof

Firstly, we construct a ball $$\mathbb{B}_{\chi }=\{x\in \mathtt{C}: \|x\|\le \chi \}$$, where

$$\chi \ge \frac{P\varPhi +\frac{\rho ^{1-r}(b^{\rho }-a^{\rho })^{r-1} \vert \varrho \vert }{ \vert \varUpsilon \vert \varGamma (r)}}{1-\mathcal{A}\varPhi },\quad P= \sup_{t\in [a,b]} \bigl\vert f(t,0) \bigr\vert .$$

Then we show that $$\mathbb{F}\mathbb{B}_{\chi }\subset \mathbb{B}_{\chi }$$. Now, for any $$x\in \mathbb{B}_{\chi }$$, we have

\begin{aligned} \bigl\vert (\mathbb{F}x)(t) \bigr\vert &\le \sup _{t\in [a,b]}\Biggl\lbrace \frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)} \bigl(b^{\rho }-a^{\rho }\bigr)^{r-1} {^{\rho}\mathfrak{I}^{p}_{a^{+}}} \bigl\vert f\bigl(s,x(s)\bigr) \bigr\vert (b) \\ &\quad {}+\frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{\rho }-a^{\rho } \bigr)^{r-1} \sum_{i=1}^{m} \vert \mu _{i} \vert {^{\rho}\mathfrak{I}^{p+\xi_{i}}_{a^{+}}} \bigl\vert f\bigl(s,x(s)\bigr) \bigr\vert ( \delta _{i}) \\ &\quad {}+\frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{\rho }-a^{\rho } \bigr)^{r-1} \vert \varrho \vert +{^{\rho}\mathfrak{I}^{p}_{a^{+}}} \bigl\vert f\bigl(s,x(s)\bigr) \bigr\vert (t)\Biggr\rbrace \\ &\le \frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{\rho }-a^{\rho } \bigr)^{r-1} {^{\rho}\mathfrak{I}^{p}_{a^{+}}} \bigl( \bigl\vert f\bigl(s,x(s)\bigr)-f(s,0) \bigr\vert + \bigl\vert f(s, 0) \bigr\vert \bigr) (b) \\ &\quad {}+\frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{\rho }-a^{\rho } \bigr)^{r-1} \sum_{i=1}^{m} \vert \mu _{i} \vert {^{\rho}\mathfrak{I}^{p+\xi_{i}}_{a^{+}}} \bigl( \bigl\vert f\bigl(s,x(s)\bigr)-f(s, 0) \bigr\vert + \bigl\vert f(s, 0) \bigr\vert \bigr) (\delta _{i}) \\ &\quad {}+\frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{\rho }-a^{\rho } \bigr)^{r-1} \vert \varrho \vert +{^{\rho}\mathfrak{I}^{p}_{a^{+}}} \bigl( \bigl\vert f\bigl(s,x(s)\bigr)-f(s, 0) \bigr\vert + \bigl\vert f(s, 0) \bigr\vert \bigr) (t) \\ &\le \bigl(\mathcal{A} \Vert x \Vert +P \bigr)\Biggl( \frac{\rho ^{1-(p+r)}}{ \vert \varUpsilon \vert \varGamma (r)\varGamma (p+1)}\bigl(b^{\rho }-a^{ \rho } \bigr)^{p+r-1} \\ &\quad {}+\frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{\rho }-a^{\rho } \bigr)^{r-1} \sum_{i=1}^{m} \frac{ \vert \mu _{i} \vert }{\varGamma (p+\xi _{i}+1)} \biggl( \frac{\delta _{i}^{\rho }-a^{\rho }}{\rho } \biggr)^{p+\xi _{i}}+ \frac{(b^{\rho }-a^{\rho })^{p}}{\rho ^{p}\varGamma (p+1)}\Biggr) \\ &\quad {}+\frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{\rho }-a^{\rho } \bigr)^{r-1} \vert \varrho \vert \\ &\le \bigl(\mathcal{A} \Vert x \Vert +P\bigr)\varPhi + \frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)} \bigl(b^{\rho }-a^{\rho }\bigr)^{r-1} \vert \varrho \vert \\ &\le \chi . \end{aligned}
(3.18)

This shows that $$\|(\mathbb{F})(x)\|\le \chi$$ and hence $$\mathbb{F}\mathbb{B}_{\chi }\subset \mathbb{B}_{\chi }$$. Finally, we show that the operator $$\mathbb{F}$$ defined by (3.15) is contractive. Indeed, for any $$x,y\in \mathbb{B}_{\chi }$$, we have

\begin{aligned}[b] &\bigl\vert (\mathbb{F}x) (t)-(\mathbb{F}y) (t) \bigr\vert \\ &\quad \le \frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{\rho }-a^{\rho } \bigr)^{r-1} {^{\rho}\mathfrak{I}^{p}_{a^{+}}} \bigl( \bigl\vert f\bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr) \bigr\vert \bigr) (b) \\ &\qquad {}+\frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{\rho }-a^{\rho } \bigr)^{r-1} \sum_{i=1}^{m} \vert \mu _{i} \vert {^{\rho}\mathfrak{I}^{p+\xi_{i}}_{a^{+}}} \bigl( \bigl\vert f\bigl(s,x(s)\bigr)-f\bigl(s, y(s)\bigr) \bigr\vert \bigr) (\delta _{i}) \\ &\qquad {}+{^{\rho}\mathfrak{I}^{p}_{a^{+}}} \bigl( \bigl\vert f \bigl(s,x(s)\bigr)-f\bigl(s, y(s)\bigr) \bigr\vert \bigr) (t) \\ &\quad \le \mathcal{A}|x-y| \Biggl( \frac{\rho ^{1-(p+r)}}{ \vert \varUpsilon \vert \varGamma (r)\varGamma (p+1)}\bigl(b^{\rho }-a^{ \rho } \bigr)^{p+r-1} \\ &\qquad {}+\frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{\rho }-a^{\rho } \bigr)^{r-1} \sum_{i=1}^{m} \frac{ \vert \mu _{i} \vert }{\varGamma (p+\xi _{i}+1)} \biggl( \frac{\delta _{i}^{\rho }-a^{\rho }}{\rho } \biggr)^{p+\xi _{i}}+ \frac{(b^{\rho }-a^{\rho })^{p}}{\rho ^{p}\varGamma (p+1)} \Biggr) \\ &\quad \le \mathcal{A}\varPhi |x-y| . \end{aligned}
(3.19)

Therefore, $$\|\mathbb{F}x-\mathbb{F}y\|\le \mathcal{A}\varPhi \|x-y\|$$. Thus in view of (3.17), the operator $$\mathbb{F}$$ is contractive and hence by the Banach contraction principle, problem (1.6) has a unique solution on $$[a, b]$$. □

### Remark 3.3

We now present some special cases of our Theorem 3.2. For instance, to obtain the result of [12] (see Theorem 3.2), we set the parameters $$\rho =1$$ and $$\varrho =0$$, then we obtain

$$\varPhi ^{*}=\frac{(b-a)^{p+r-1}}{ \vert \varUpsilon ^{*} \vert \varGamma (r)\varGamma (p+1)} + \frac{(b-a)^{r-1}}{ \vert \varUpsilon ^{*} \vert \varGamma (r)} \sum _{i=1}^{m} \vert \mu _{i} \vert \frac{(\delta _{i}-a)^{p+\xi _{i}}}{\varGamma (p+\xi _{i}+1)}+ \frac{(b-a)^{p}}{\varGamma (p+1)},$$
(3.20)

where

$$\varUpsilon ^{*}= \sum_{i=1}^{m} \frac{\mu _{i}}{\varGamma (r+\xi _{i})}(\delta _{i}-a)^{r+\xi _{i}-1}- \frac{1}{\varGamma (r)}(b-a)^{r-1}.$$
(3.21)

We now state the following corollary.

### Corollary 3.4

Suppose that assumptions$$(T_{1})$$$$(T_{2})$$hold. Then problem (1.6) has a unique solution provided that$$\mathcal{A}\varPhi ^{*}<1$$.

Our next existence results are established using the concepts of Krasnoselskii’s fixed point theorem.

### 3.3 Existence result via Krasnoselskii’s fixed point theorem

In this subsection, we establish the existence results via Kransnoselkii’s fixed point theorem [30].

### Theorem 3.5

([30])

LetPbe a closed, convex, and nonempty subset of a Banach spaceX, and let$$F_{1}$$, $$F_{2}$$be operators such that:

1. (i)

$$F_{1}y+F_{2}z\in M$$whenever$$y,z\in P$$.

2. (ii)

$$F_{1}$$is compact and continuous.

3. (iii)

$$F_{2}$$is a contraction mapping.

Then there exists$$w\in P$$such that$$w=F_{1}w+F_{2}w$$.

### Theorem 3.6

Suppose that$$f: [a, b]\times \mathbb{R}\rightarrow \mathbb{R}$$is a continuous function fulfilling assumption$$(T_{2})$$and the following hypotheses are true:

$$(T_{3})$$:

$$|f(t,y)|\le \upsilon (t)$$, for all$$(t,y)\in [a ,b]\times \mathbb{R}$$and$$\upsilon : [a, b]\rightarrow \mathbb{R}$$is a continuous function.

Then problem (1.6) has at least one solution on$$[a, b]$$, on condition that

$$\mathcal{A}\psi < 1,$$
(3.22)

where

$$\psi = \frac{\rho ^{1-(p+r)}(b^{\rho }-a^{\rho })^{p+r-1}}{ \vert \varUpsilon \vert \varGamma (r)\varGamma (p+1)}+ \frac{\rho ^{1-r} (b^{\rho }-a^{\rho })^{r-1}}{ \vert \varUpsilon \vert \varGamma (r)} \sum _{i=1}^{m}\frac{ \vert \mu _{i} \vert }{\varGamma (p+\xi _{i}+1)} \biggl( \frac{\delta _{i}^{\rho }-a^{\rho }}{\rho } \biggr)^{p+\xi _{i}}.$$
(3.23)

### Proof

Denoting $$\|\upsilon\|=\sup_{t\in[a,b]}|\upsilon(t)|$$ and selecting $$d\ge \|\upsilon \|\varPhi + \frac{\rho ^{1-r}(b^{\rho }-a^{\rho })^{r-1}}{|\varUpsilon |\varGamma (r)}| \varrho |$$ we consider a set $$\mathcal{B}_{d}=\{x\in \mathcal{C}: \|x\|\le d\}$$. Splitting the operator $$\mathbb{F}: \mathtt{C}\rightarrow \mathtt{C}$$ defined by (3.15) on $$\mathcal{B}_{d}$$ as $$\mathbb{F}=\mathcal{F}+\mathcal{G}$$, where

$$\mathcal{F}x(t)={}^{\rho }\mathfrak{I}^{p+\xi _{i}}_{a^{+}}f \bigl(s,x(s)\bigr) (t),\quad t \in [a, b],$$

and

\begin{aligned}& \mathcal{G}x(t)=\frac{\rho ^{1-r}}{\varUpsilon \varGamma (r)}\bigl(t^{\rho }-a^{ \rho } \bigr)^{r-1} \Biggl( {}^{\rho }\mathfrak{I}^{p}_{a^{+}}f \bigl(s,x(s)\bigr) (b)- \sum_{i=1}^{m}\mu _{i}^{\rho }\mathfrak{I}^{p+\xi _{i}}_{a^{+}}f \bigl(s,x(s)\bigr) ( \delta _{i})-\varrho \Biggr), \\& \quad t\in [a ,b]. \end{aligned}

Step 1. We show that $$\mathcal{F}x+\mathcal{G}y\in \mathcal{B}_{d}$$. Indeed, for any $$x,y\in \mathcal{B}_{d}$$ and $$t\in [a, b]$$, we get

\begin{aligned}& \bigl\vert (\mathcal{F}x) (t)+(\mathcal{G}y) (t) \bigr\vert \\& \quad \le \sup_{t\in [a,b]} \Biggl\lbrace ^{\rho } \mathfrak{I}^{p+\xi _{i}}_{a^{+}} \bigl|f\bigl(s,x(s)\bigr)\bigr|(t) + \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)} ^{ \rho }\mathfrak{I}^{p}_{a^{+}} \bigl\vert f\bigl(s,x(s)\bigr) \bigr\vert (b) \\& \qquad {} + \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)} \sum_{i=1}^{m} \vert \mu _{i} \vert ^{\rho }\mathfrak{I}^{p+\xi _{i}}_{a^{+}} \bigl\vert f\bigl(s,x(s)\bigr) \bigr\vert ( \delta _{i})+ \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)} |\varrho| \Biggr\rbrace \\& \quad \le \Vert \upsilon \Vert \Biggl( \frac{\rho ^{1-(p+r)}}{ \vert \varUpsilon \vert \varGamma (r)\varGamma (p+1)}\bigl(b^{\rho }-a^{ \rho } \bigr)^{p+r-1} \\& \qquad {} +\frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{\rho }-a^{\rho } \bigr)^{r-1} \sum_{i=1}^{m} \frac{ \vert \mu _{i} \vert }{\varGamma (p+\xi _{i}+1)} \biggl( \frac{\delta _{i}^{\rho }-a^{\rho }}{\rho } \biggr)^{p+\xi _{i}}+ \frac{(b^{\rho }-a^{\rho })^{p}}{\rho ^{p}\varGamma (p+1)} \Biggr) \\& \qquad {} +\frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{\rho }-a^{\rho } \bigr)^{r-1} \vert \varrho \vert \\& \quad \le \Vert \upsilon \Vert \varPhi +\frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{ \rho }-a^{\rho } \bigr)^{r-1} \vert \varrho \vert \\& \quad \le d. \end{aligned}
(3.24)

Therefore, $$\|\mathcal{F}x+\mathcal{G}y\|\le d$$, which implies that $$\mathcal{F}x+\mathcal{G}y\in \mathcal{B}_{d}$$.

Step 2. We show that the operator $$\mathcal{G}$$ is a contraction.

Let $$x,y\in \mathcal{B}_{d}$$ and $$t\in [a ,b]$$. We have

\begin{aligned}[b] \Vert \mathcal{G}x-\mathcal{G}y \Vert &\le \sup _{t \in [a,b]} \Biggl\lbrace \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{ \vert \varUpsilon \vert \varGamma (r)} ^{ \rho } \mathfrak{I}^{p}_{a^{+}} \bigl\vert f\bigl(s,x(s)\bigr)-f \bigl(s,y(s)\bigr) \bigr\vert (b) \\ &\quad {}+ \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{ \vert \varUpsilon \vert \varGamma (r)} \sum_{i=1}^{m} \vert \mu _{i} \vert ^{\rho }\mathfrak{I}^{p+\xi _{i}}_{a^{+}} \bigl\vert f\bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr) \bigr\vert ( \delta _{i}) \Biggr\rbrace \\ &\le \mathcal{A} \Biggl( \frac{\rho ^{1-(p+r)}(b^{\rho }-a^{\rho })^{p+r-1}}{ \vert \varUpsilon \vert \varGamma (r)\varGamma (p+1)} \\ &\quad {}+ \frac{\rho ^{1-r}(b^{\rho }-a^{\rho })^{r-1}}{ \vert \varUpsilon \vert \varGamma (r)} \sum_{i=1}^{m} \frac{ \vert \mu _{i} \vert }{\varGamma (p+\xi _{i}+1)} \biggl( \frac{\delta _{i}^{\rho }-a^{\rho }}{\rho } \biggr)^{p+\xi _{i}} \Biggr) \Vert x-y \Vert \\ &\le \mathcal{A}\psi \Vert x-y \Vert . \end{aligned}
(3.25)

Thus, in view of condition (3.23), we conclude that the operator $$\mathcal{G}$$ is a contraction.

Step 3. We show that the operator $$\mathcal{F}$$ is compact and continuous.

Since the function $$f\in C([a,b], \mathbb{R})$$, the operator $$\mathcal{F}$$ is also continuous. Moreover, it is not difficult to see that the operator $$\mathcal{F}$$ is uniformly bounded. For any $$x\in \mathcal{B}_{d}$$, we have

$$\Vert \mathcal{F}x \Vert \le \frac{(b^{\rho }-a^{\rho })^{p}}{\rho ^{p}\varGamma (p+1)} \Vert \upsilon \Vert < \infty .$$

In order to show the compactness of the operator $$\mathcal{F}$$, we set $$\sup_{(t,x)\in {[a,b]\times \mathbb{B}_{d}}}|f(t,x)|= \hat{f}$$ such that, for any $$t_{1},t_{2}\in [a, b]$$ with $$t_{1}< t_{2}$$, one has

\begin{aligned}[b] \bigl\vert (\mathcal{F}x) (t_{2})-( \mathcal{F}x) (t_{1}) \bigr\vert &\leq \biggl\vert \frac{\rho ^{p}}{\varGamma (p)} \biggl( \int _{a}^{t_{1}}s^{\rho -1} \bigl[ \bigl(t_{2}^{\rho }-s^{\rho }\bigr)^{p-1}- \bigl(t_{1}^{\rho }-s^{\rho }\bigr)^{p-1} \bigr] f\bigl(s,x(s)\bigr)\,ds \\ &\quad {}+ \int _{t_{1}}^{t_{2}}s^{\rho -1} \bigl(t_{2}^{\rho }-s^{\rho }\bigr)^{p-1} f\bigl(s,x(s)\bigr)\,ds \biggr) \biggr\vert \\ &\le \frac{\hat{f}}{\rho ^{p}\varGamma (p+a)} \bigl[ 2\bigl(t_{2}^{\rho }-t_{1}^{ \rho } \bigr)^{p}+ \bigl\vert (t_{2}-a)^{\rho p}-(t_{1}-a)^{\rho p} \bigr\vert \bigr] \\ &\rightarrow \infty ,\quad \text{as } t_{2}\rightarrow t_{1}. \end{aligned}
(3.26)

This shows that the operator $$\mathcal{F}$$ is equicontinuous and, therefore, is relatively compact on $$\mathcal{B}_{d}$$. Thus, as a result of the Arzelá–Ascoli theorem, it follows that $$\mathcal{F}$$ is compact on $$\mathcal{B}_{d}$$. Since all the hypotheses of Theorem 3.5 are fulfilled, problem (1.6) has at least one solution on $$[a, b]$$. □

### Remark 3.7

We now present a special case of Theorem 3.2. For instance, to obtained the result of [12] (see Theorem 3.17), we set the parameters $$\rho =1$$ and $$\varrho =0$$, then we obtain

$$\psi ^{*}=\frac{(b-a)^{p+r-1}}{ \vert \varUpsilon ^{*} \vert \varGamma (r) \varGamma (p+1)}+ \frac{(b-a)^{r-1}}{ \vert \varUpsilon ^{*} \vert \varGamma (r)} \sum _{i=1}^{m} \vert \mu _{i} \vert \frac{(\delta _{i}-a)^{p+\xi _{i}}}{\varGamma (p+\xi _{i}+1)},$$
(3.27)

where

$$\varUpsilon ^{*}= \sum_{i=1}^{m} \frac{\mu _{i}}{\varGamma (r+\xi _{i})}(\delta _{i}-a)^{r+\xi _{i}-1}- \frac{1}{\varGamma (r)}(b-a)^{r-1}.$$
(3.28)

We now state the following corollary.

### Corollary 3.8

Suppose that assumptions$$(T_{1})$$$$(T_{3})$$hold. Then problem (1.6) has at least one solution on$$[a, b]$$, provided that$$\mathcal{A}\psi ^{*}<1$$.

## 4 Stability results

In this section, we present two different types of results for stability, namely Ulam–Hyers and generalized Ulam–Hyers stability, respectively. Before we state the main theorem, the following definitions are needed.

Let $$\epsilon >0$$ and $$\theta : [a,b]\rightarrow [a, \infty ]$$ be a continuous function. We consider the following inequalities:

\begin{aligned}& \bigl\vert {}^{\rho }\mathfrak{D}_{a^{+}}^{p,q}y(t)-f \bigl(t,y(t)\bigr) \bigr\vert \le \epsilon ,\quad t\in [a, b], \end{aligned}
(4.1)
\begin{aligned}& \bigl\vert {}^{\rho }\mathfrak{D}_{a^{+}}^{p,q}y(t)-f \bigl(t,y(t)\bigr) \bigr\vert \le \epsilon \theta (t), \quad t\in [a, b]. \end{aligned}
(4.2)

### Definition 4.1

Problem (1.6) is Ulam–Hyers stable if there exists a constant $$\tau >0$$ such that, for $$\epsilon >0$$ and for each solution $$y\in \mathtt{C}$$ of the inequality (4.1), there exists a solution $$x\in \mathtt{C}$$ of problem (1.6) with

$$\bigl\vert y(t)-x(t) \bigr\vert \le \tau \epsilon ,\quad t\in [a, b].$$
(4.3)

### Definition 4.2

Problem (1.6) is generalized Ulam–Hyers stable if there exists $$\theta _{f}\in C(\mathbb{R}^{+}, \mathbb{R}^{+})$$ and $$\theta _{f}(0)=0$$ such that, for each solution $$y\in \mathtt{C}$$ of the inequality (4.2), there exists a solution $$x\in \mathtt{C}$$ of problem (1.6) with

$$\bigl\vert y(t)-x(t) \bigr\vert \le \theta _{f}(\epsilon ), \quad t \in [a, b].$$
(4.4)

### Remark 4.3

A function $$y\in \mathtt{C}$$ is a solution of the equality (4.1) if and only if there exists a function $$z\in \mathtt{C}$$ (which depends on y) such that:

1. (i)

$$|z(t)|\leq \epsilon$$, $$t\in [a, b]$$.

2. (ii)

$${}^{\rho }\mathfrak{D}_{a^{+}}^{p,q}y(t)=f(t,y(t))+z(t)$$, $$t\in [a, b]$$.

### Lemma 4.4

Let$$1< r\le 2$$, $$0\leq p\leq 1$$, if a function$$y\in \mathtt{C}$$is a solution of the inequality (4.1), thenyis a solution of the following integral inequality:

$$\bigl\vert y(t)-E_{y}-{}^{\rho }\mathfrak{I}^{p}_{a^{+}}f \bigl(s,y(s)\bigr) (t) \bigr\vert \leq \varPhi \epsilon ,$$
(4.5)

where

$$E_{y}= \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)}{^{ \rho }\mathfrak{I}^{p}_{a^{+}}f \bigl(s,y(s)\bigr) (b)}+ \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)} \sum_{i=1}^{m} \mu _{i}^{\rho }\mathfrak{I}^{p+\xi _{i}}_{a^{+}}f \bigl(s,y(s)\bigr) ( \delta _{i}).$$

### Proof

Using Lemma 3.1 and Remark 4.3, it follows that

\begin{aligned} y(t)&=\frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)}{^{ \rho } \mathfrak{I}^{p}_{a^{+}}f\bigl(s,y(s)\bigr) (b)}- \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)} \sum_{i=1}^{m}\mu _{i}^{\rho }\mathfrak{I}^{p+\xi _{i}}_{a^{+}}f \bigl(s,y(s)\bigr) ( \delta _{i}) \\ &\quad {}-\frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)} \varrho +{}^{\rho }\mathfrak{I}^{p}_{a^{+}}f \bigl(s,y(s)\bigr) (t)+ \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)}{^{ \rho } \mathfrak{I}^{p}_{a^{+}}z(b)} \\ &\quad {}-\frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)} \sum_{i=1}^{m} \mu _{i}^{\rho }\mathfrak{I}^{p+\xi _{i}}_{a^{+}}z( \delta _{i})- \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)} \varrho +{}^{\rho } \mathfrak{I}^{p}_{a^{+}}z(t), \end{aligned}
(4.6)

which implies that

\begin{aligned} &\bigl\vert y(t)-E_{y}-{}^{\rho } \mathfrak{I}^{p}_{a^{+}}f\bigl(s,y(s)\bigr) (t) \bigr\vert \\ &\quad = \Biggl\vert \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)}{^{ \rho } \mathfrak{I}^{p}_{a^{+}}z(b)} \\ &\qquad {}-\frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)} \sum_{i=1}^{m} \mu _{i}^{\rho }\mathfrak{I}^{p+\xi _{i}}_{a^{+}}z( \delta _{i})- \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)} \varrho +{}^{\rho } \mathfrak{I}^{p}_{a^{+}}z(t) \Biggr\vert \\ &\quad \le \epsilon \Biggl( \frac{\rho ^{1-(p+r)}}{ \vert \varUpsilon \vert \varGamma (r)\varGamma (p+1)}\bigl(b^{\rho }-a^{ \rho } \bigr)^{p+r-1} \\ &\qquad {}+\frac{\rho ^{1-r}}{ \vert \varUpsilon \vert \varGamma (r)}\bigl(b^{\rho }-a^{\rho } \bigr)^{r-1} \sum_{i=1}^{m} \frac{ \vert \mu _{i} \vert }{\varGamma (p+\xi _{i}+1)} \biggl( \frac{\delta _{i}^{\rho }-a^{\rho }}{\rho } \biggr)^{p+\xi _{i}}+ \frac{(b^{\rho }-a^{\rho })^{p}}{\rho ^{p}\varGamma (p+1)} \Biggr) \\ &\quad \le \varPhi \epsilon . \end{aligned}
(4.7)

□

We now state the main theorem as follows:

### Theorem 4.5

Assume that hypotheses$$(T_{1})$$and$$(T_{2})$$are satisfied with$$\mathcal{A}\varPhi <1$$. Then problem (1.6) is Ulam–Hyers stable and accordingly is generalized Ulam–Hyers stable.

### Proof

Suppose that $$y\in \mathcal{C}$$ is a solution of inequality (4.1) and $$x\in \mathcal{C}$$ is a unique solution of problem (1.6). Then it follows from Lemma 4.1 that

\begin{aligned} \bigl\vert y(t)-x(t) \bigr\vert &= \Biggl\vert y(t)- \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)}{^{ \rho }\mathfrak{I}^{p}_{a^{+}}f \bigl(s,x(s)\bigr) (b)} \\ &\quad {}-\frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)} \sum_{i=1}^{m} \mu _{i}^{\rho }\mathfrak{I}^{p+\xi _{i}}_{a^{+}}f \bigl(s,x(s)\bigr) ( \delta _{i})- \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)} \varrho \\ &\quad {}+{}^{\rho }\mathfrak{I}^{p}_{a^{+}}f\bigl(s,x(s) \bigr) (t) \Biggr\vert \\ &\le \bigl\vert y(t)-E_{y}-{}^{\rho }\mathfrak{I}^{p}_{a^{+}}f \bigl(s,y(s)\bigr) (t) \bigr\vert \\ &\quad {}+ \Biggl\vert \frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)}{^{ \rho }\mathfrak{I}^{p}_{a^{+}} \bigl(f\bigl(s,y(s)\bigr)-f\bigl(s,x(s)\bigr)\bigr) (b)} \\ &\quad {}-\frac{\rho ^{1-r}(t^{\rho }-a^{\rho })^{r-1}}{\varUpsilon \varGamma (r)} \sum_{i=1}^{m} \mu _{i}^{\rho }\mathfrak{I}^{p+\xi _{i}}_{a^{+}} \bigl(f\bigl(s,y(s)\bigr)-f\bigl(s,x(s)\bigr)\bigr) ( \delta _{i}) \\ &\quad {}+{}^{\rho }\mathfrak{I}^{p}_{a^{+}}\bigl(f \bigl(s,y(s)\bigr)-f\bigl(s,x(s)\bigr) (t)\bigr) \Biggr\vert \\ &\le \varPhi \epsilon +\mathcal{A}\varPhi \bigl\vert y(t)-x(t) \bigr\vert , \end{aligned}
(4.8)

which implies that

$$\Vert y-x \Vert \le \tau \epsilon ,$$

where

$$\tau =\frac{\varPhi }{1-\mathcal{A}\varPhi }>0.$$

Hence, we conclude that problem (1.6) is Ulam–Hyers stable. In addition, denoting $$\theta _{f}(\epsilon )=\tau \epsilon$$, such that $$\theta _{f}(0)=0$$, then problem (1.6) is generalized Ulam–Hyers stable. □

## 5 Examples

### Example 5.1

Consider the Hilfer fractional differential equation with nonlocal boundary condition of the form

$$\textstyle\begin{cases} {}^{1}\mathfrak{D}^{\frac{4}{3},\frac{1}{2}}_{{\frac{1}{3}}^{+}}x(t)= \frac{1}{3(2^{3t}+1)} ( \frac{ \vert x(t) \vert }{1+ \vert x(t) \vert } ) + \frac{3}{2}, \quad t\in [\frac{1}{3}, 3], \\ x(1)=0, \qquad x(3)=\sqrt{2}{^{1}\mathfrak{I}}^{\frac{3}{2}}_{{ \frac{1}{3}}^{+}}x(\frac{9}{4})+\frac{5}{3}{^{1}\mathfrak{I}}^{ \frac{3}{5}}_{{\frac{1}{3}}^{+}}x(\frac{8}{3})+5{^{1}\mathfrak{I}}^{ \frac{2}{3}}_{{\frac{1}{3}}^{+}}x(\frac{7}{4}). \end{cases}$$
(5.1)

By comparing problems (1.6) with (5.1), it is not difficult to figure out the following values:

$$\rho =1$$, $$p=\frac{4}{3}$$, $$q=\frac{1}{2}$$, $$r=\frac{5}{3}$$, $$a= \frac{1}{3}$$, $$b=3$$, $$\mu _{1}=\sqrt{2}$$, $$\mu _{2}=\frac{5}{3}$$, $$\mu _{3}=5$$, $$\xi _{1}=\frac{3}{2}$$, $$\xi _{2}=\frac{3}{5}$$, $$\xi _{3}=\frac{2}{3}$$, $$\delta _{1}=\frac{9}{4}$$, $$\delta _{2}=\frac{8}{3}$$, $$\delta _{3}= \frac{7}{4}$$, $$\varrho =0$$, $$m=1,2,3$$. Obviously, for any $$w\in \mathbb{R}$$ and $$t\in [\frac{1}{3},3]$$, the function $$f: [\frac{1}{3}, 3]\times \mathbb{R}\rightarrow \mathbb{R}$$ with

$$f(t, w)=\frac{1}{3(2^{3t}+1)} \biggl( \frac{ \vert w \vert }{1+ \vert w \vert } \biggr) + \frac{3}{2}$$

is a continuous function and, for all $$w, \bar{w}\in \mathbb{R}_{+}$$ and $$t\in [\frac{1}{3}, 3]$$, this yields

$$\bigl\vert f(t, w)-f(t, \bar{w}) \bigr\vert \leq \frac{1}{9} \bigl( \vert w-\bar{w} \vert \bigr).$$

Consequently, it follows that assumptions $$(T_{1})$$ and $$(T_{2})$$ are satisfied with $$\mathcal{A}=\frac{1}{9}$$. Moreover, by simple calculations, we get $$|\varUpsilon |\approx 11.2817$$, $$\varPhi =5.8525>0$$, $$\psi =2.7466>0$$ and

$$\mathcal{A}\varPhi \approx 0.6503< 1,$$

which implies that all the assumptions of Theorem 3.2 are satisfied. Hence, problem (1.6) has a unique solution on $$[\frac{1}{3}, 3]$$. Furthermore,

$$\mathcal{A}\psi \approx 0.3052< 1,$$

this shows that all hypotheses of Theorem 3.6 also hold, thus problem (1.6) has at least one solution on $$[\frac{1}{3}, 3]$$. In addition, we can see that $$\tau \approx 16.7358>0$$. So, according to Theorem 4.5, problem (1.6) is both Ulam–Hyers and generalized Ulam–Hyers stable.

### Example 5.2

Consider the generalized nonlocal boundary value problem which involves the Hilfer–Katugampola fractional derivative described by

$$\textstyle\begin{cases} ^{\frac{1}{2}}\mathfrak{D}^{\frac{5}{2},\frac{2}{3}}_{0^{+}}x(t)=f(t, x(t)), \quad t\in [0, 1], \\ x(0)=0, \qquad x(1)=\frac{2}{3}{^{\frac{1}{2}}\mathfrak{I}}^{\frac{5}{4}}_{0^{+}}x( \frac{1}{3})+\frac{7}{3}{^{\frac{1}{2}}\mathfrak{I}}^{\frac{4}{3}}_{0^{+}}x( \frac{2}{5})+2. \end{cases}$$
(5.2)

Here $$\rho =\frac{1}{2}$$, $$p=\frac{5}{2}$$, $$q=\frac{2}{3}$$, $$r=\frac{3}{2}$$, $$a=0$$, $$b=1$$, $$\mu _{1}=\frac{2}{3}$$, $$\mu _{2}=\frac{7}{3}$$, $$\xi _{1}=\frac{5}{4}$$, $$\xi _{2}=\frac{4}{3}$$, $$\delta _{1}=\frac{1}{3}$$, $$\delta _{2}= \frac{2}{5}$$, $$\varrho =2$$, $$m=1,2$$. By substituting these values in Eqs. (3.4), (3.16) and (3.23), we obtain

$$\vert \varUpsilon \vert \approx 1.0188, \qquad \varPhi \approx 12.2772>0\quad \text{and}\quad \psi \approx 10.5754>0.$$

Denote $$f(t, x(t))=\frac{e^{2t}+\cos (2t)}{(4+3^{t})} ( \frac{|x(t)|}{1+|x(t)|} )+\frac{\sqrt{3}}{2}$$. Then, for any $$u,\bar{u}\in \mathbb{R}_{+}$$ and $$t\in [0, 1]$$,

$$\bigl\vert f(t,u)-f(t,\bar{u}) \bigr\vert \leq \frac{1}{25} \bigl( \vert u-\bar{u} \vert \bigr).$$

So assumptions $$(T_{1})$$ and $$(T_{2})$$ are fulfilled with $$\mathcal{A}=\frac{1}{25}$$ and $$\mathcal{A}\varPhi \approx 0.4911<1$$. Therefore, all the assumptions of Theorem 3.2 are satisfied and problem (1.6) has a unique solution on $$[0, 1]$$. Moreover, we can see that $$\mathcal{A}\psi \approx 0.4230<1$$. Thus, all the hypotheses of Theorem 3.6 hold. Hence, problem (1.6) has at least one solution on $$[0, 1]$$.

## 6 Conclusions

In this article, we have shown that the proposed problem (1.6) is equivalent to the Volterra integral equation. Based on this equation, we have provided some sufficient conditions for the existence and uniqueness of solutions by utilizing the concepts of the Banach and Krasnoselskii’s fixed point theorems. Also, we derive stability in the case of Ulam–Hyers and generalized Ulam–Hyers, respectively. Furthermore, two examples are given as an application to validate the results obtained. Also, it enables us to make the accompanying comments:

• If $$\rho \rightarrow 1$$, $$\varrho =0$$ problem (1.6) reduces to the problem considered in [12].

• Setting $$0< p<1$$, $$\rho \rightarrow 1$$, $$\varrho =0$$ and $$\xi _{i}=0$$, $$i=1,\ldots ,m$$, problem (1.6) reduces to the problem considered in [48].

• Setting $$0< p<1$$, $$\varrho =0$$ and $$\xi _{i}=0$$, $$i=1,\ldots ,m$$, problem (1.6) reduces to the problem considered in [20].

• If $$\rho \rightarrow 0$$, $$\varrho =0$$ and $$\xi _{i}=0$$ for all $$i=1,\ldots ,m$$, the generalized nonlocal Riemann–Liouville integral condition reduces to the one considered in [20, 44, 48, 49].

• If $$\xi _{i}=1$$ for all $$i=1,\ldots ,m$$, the generalized nonlocal Riemann–Liouville integral condition takes the form

$$x(b)=\mu _{1} \int _{a}^{\delta _{1}}x(\tau )\,d\tau +\mu _{2} \int _{a}^{ \delta _{2}}x(\tau )\,d\tau +\cdots +\mu _{m} \int _{a}^{\delta _{m}}x( \tau )\,d\tau +\varrho ,$$

which plays a significant role in computational fluid dynamics, ill-posed problems and mathematical models and yields a better result than the initial condition $$x(b)=x_{b}$$ [14, 34].

Therefore, based on this setting, we conclude that our results are new and extend the above cited results which can be considered as a further development of the qualitative analysis of fractional differential equations. The analysis of the Ulam–Hyers–Mittag-Leffler function is to be discussed shortly in the context of Hilfer–Katugampola fractional derivative with generalized nonlocal conditions proposed in this paper or another mixed boundary condition.

## References

1. Abbas, S., Arifi, N.A., Benchohra, M., Zhou, Y.: Random coupled Hilfer and Hadamard fractional differential systems in generalized Banach spaces. Mathematics 7(3), 285 (2019)

2. Abbas, S., Benchohra, M., Lagreg, J., Alsaedi, A., Zhou, Y.: Existence and Ulam stability for fractional differential equations of Hilfer–Hadamard type. Adv. Differ. Equ. 2017(1), 180 (2017)

3. Abdeljawad, T., Jarad, F., Baleanu, D.: On the existence and the uniqueness theorem for fractional differential equations with bounded delay within Caputo derivatives. Sci. China Ser. A, Math. 51(10), 1775–1786 (2008)

4. Abdo, M.S., Panchal, S.K., Bhairat, S.P.: Existence of solution for Hilfer fractional differential equations with boundary value conditions. arXiv preprint (2019). arXiv:1909.13680

5. Ahmad, B., Nieto, J.J.: Existence results for nonlinear boundary value problems of fractional integrodifferential equations with integral boundary conditions. Bound. Value Probl. 2009(1), 708576 (2009)

6. Ahmed, I., Kumam, P., Shah, K., Borisut, P., Sitthithakerngkiet, K., Demba, M.A.: Stability results for implicit fractional pantograph differential equations via ϕ-Hilfer fractional derivative with a nonlocal Riemann–Liouville fractional integral condition. Mathematics 8(1), 94 (2020)

7. Ali, A., Shah, K., Jarad, F., et al.: Ulam–Hyers stability analysis to a class of nonlinear implicit impulsive fractional differential equations with three point boundary conditions. Adv. Differ. Equ. 2019(1), 7 (2019)

8. Ali, A., Shah, K., Jarad, F., Gupta, V., Abdeljawad, T.: Existence and stability analysis to a coupled system of implicit type impulsive boundary value problems of fractional-order differential equations. Adv. Differ. Equ. 2019(1), 101 (2019)

9. Alsaedi, A., Alghanmi, M., Ahmad, B., Ntouyas, S.: Generalized Liouville–Caputo fractional differential equations and inclusions with nonlocal generalized fractional integral and multipoint boundary conditions. Symmetry 10(12), 667 (2018)

10. Ameen, R., Jarad, F., Abdeljawad, T.: Ulam stability for delay fractional differential equations with a generalized Caputo derivative. Filomat 32(15), 5265–5274 (2018)

11. Aphithana, A., Ntouyas, S.K., Tariboon, J.: Existence and Ulam–Hyers stability for Caputo conformable differential equations with four-point integral conditions. Adv. Differ. Equ. 2019(1), 139 (2019)

12. 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)

13. Borisut, P., Kumam, P., Ahmed, I., Sitthithakerngkiet, K.: Nonlinear Caputo fractional derivative with nonlocal Riemann–Liouville fractional integral condition via fixed point theorems. Symmetry 11(6), 829 (2019)

14. Ciegis, R., Bugajev, A.: Numerical approximation of one model of bacterial self-organization. Nonlinear Anal., Model. Control 17(3), 253–270 (2012)

15. Furati, K.M., Kassim, M.D., et al.: Existence and uniqueness for a problem involving Hilfer fractional derivative. Comput. Math. Appl. 64(6), 1616–1626 (2012)

16. Gambo, Y., Ameen, R., Jarad, F., Abdeljawad, T.: Existence and uniqueness of solutions to fractional differential equations in the frame of generalized Caputo fractional derivatives. Adv. Differ. Equ. 2018(1), 134 (2018)

17. Gambo, Y.Y., Jarad, F., Baleanu, D., Abdeljawad, T.: On Caputo modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2014(1), 10 (2014)

18. Gerolymatou, E., Vardoulakis, I., Hilfer, R.: Modelling infiltration by means of a nonlinear fractional diffusion model. J. Phys. D, Appl. Phys. 39(18), 4104 (2006)

19. Harikrishnan, S., Ibrahim, R., Kanagarajan, K.: Establishing the existence of Hilfer fractional pantograph equations with impulses. Fundam. J. Math. Appl. 1(1), 36–42 (2018)

20. Harikrishnan, S., Kanagarajan, K., Elsayed, E.: Existence of solutions of nonlocal initial value problems for differential equations with Hilfer–Katugampola fractional derivative. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. (2019). https://doi.org/10.1007/s13398-019-00645-0

21. Harikrishnan, S., Shah, K., Baleanu, D., Kanagarajan, K.: Note on the solution of random differential equations via ψ-Hilfer fractional derivative. Adv. Differ. Equ. 2018(1), 224 (2018)

22. Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27(4), 222 (1941)

23. Jarad, F., Abdeljawad, T.: A modified Laplace transform for certain generalized fractional operators. Results Nonlinear Anal. 1(2), 88–98 (2018)

24. Jarad, F., Abdeljawad, T.: Variational principles in the frame of certain generalized fractional derivatives. Discrete Contin. Dyn. Syst., Ser. S 13(3), 695–708 (2020)

25. Jarad, F., Abdeljawad, T., Baleanu, D.: Caputo-type modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2012(1), 142 (2012)

26. Jarad, F., Abdeljawad, T., Baleanu, D.: On the generalized fractional derivatives and their Caputo modification. J. Nonlinear Sci. Appl. 10(5), 2607–2619 (2017)

27. Jarad, F., Abdeljawad, T., Hammouch, Z.: On a class of ordinary differential equations in the frame of Atangana–Baleanu fractional derivative. Chaos Solitons Fractals 117, 16–20 (2018)

28. 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–739 (2020)

29. Kilbas, A., Srivastava, H., Trujillo, J.: Theory and Applications of Fractional Derivatial Equations. North-Holland Mathematics Studies, vol. 204 (2006)

30. Krasnoselskii, M.: Two remarks about the method of successive approximations. Mat. Nauk 10, 123–127 (1955)

31. Luo, D., Shah, K., Luo, Z.: On the novel Ulam–Hyers stability for a class of nonlinear ψ-Hilfer fractional differential equation with time-varying delays. Mediterr. J. Math. 16(5), 112 (2019)

32. Mainardi, F.: Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models. World Scientific, Singapore (2010)

33. Nieto, J., Ouahab, A., Venktesh, V.: Implicit fractional differential equations via the Liouville–Caputo derivative. Mathematics 3(2), 398–411 (2015)

34. Ntouyas, S.: Nonlocal initial and boundary value problems: a survey. In: Handbook of Differential Equations: Ordinary Differential Equations, vol. 2, pp. 461–557. Elsevier, Amsterdam (2006)

35. Oliveira, D., de Oliveira, E.C.: Hilfer–Katugampola fractional derivatives. Comput. Appl. Math. 37(3), 3672–3690 (2018)

36. Osler, T.J.: The fractional derivative of a composite function. SIAM J. Math. Anal. 1(2), 288–293 (1970)

37. Podlubny, I.: Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications, vol. 198. Elsevier, Amsterdam (1998)

38. Rassias, T.M.: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72(2), 297–300 (1978)

39. Samko, S.G., Kilbas, A.A., Marichev, O.I., et al.: Fractional Integrals and Derivatives, vol. 1993. Gordon & Breach, Yverdon (1993)

40. Shah, K., Ali, A., Bushnaq, S.: Hyers–Ulam stability analysis to implicit Cauchy problem of fractional differential equations with impulsive conditions. Math. Methods Appl. Sci. 41(17), 8329–8343 (2018)

41. Shah, K., Hussain, W.: Investigating a class of nonlinear fractional differential equations and its Hyers–Ulam stability by means of topological degree theory. Numer. Funct. Anal. Optim. 40(12), 1355–1372 (2019)

42. Srivastava, H., El-Sayed, A., Gaafar, F.: A class of nonlinear boundary value problems for an arbitrary fractional-order differential equation with the Riemann–Stieltjes functional integral and infinite-point boundary conditions. Symmetry 10(10), 508 (2018)

43. Srivastava, H.M., Das, A., Hazarika, B., Mohiuddine, S.: Existence of solution for non-linear functional integral equations of two variables in Banach algebra. Symmetry 11(5), 674 (2019)

44. Staněk, S.: Existence results for implicit fractional differential equations with nonlocal boundary conditions. Mem. Differ. Equ. Math. Phys. 72, 119–130 (2017)

45. Tomovski, Ž., Hilfer, R., Srivastava, H.M.: Fractional and operational calculus with generalized fractional derivative operators and Mittag-Leffler type functions. Integral Transforms Spec. Funct. 21(11), 797–814 (2010)

46. Ulam, S.M.: A Collection of Mathematical Problems, vol. 8. Interscience, New York (1960)

47. Ulam, S.M.: Problems in Modern Mathematics. Courier Corporation, Chelmsford (2004)

48. Vivek, D., Kanagarajan, K., Elsayed, E.: Some existence and stability results for Hilfer-fractional implicit differential equations with nonlocal conditions. Mediterr. J. Math. 15(1), 15 (2018)

49. Vivek, D., Kanagarajan, K., Harikrishnan, S.: Analytic study on nonlocal initial value problems for pantograph equations with Hilfer–Hadamard fractional derivative. rn 55, 7 (2018)

50. Vivek, D., Kanagarajan, K., Sivasundaram, S.: Dynamics and stability of pantograph equations via Hilfer fractional derivative. Nonlinear Stud. 23, 4 (2016)

51. Wang, C., Xu, T.-Z.: Stability of the nonlinear fractional differential equations with the right-sided Riemann–Liouville fractional derivative. Discrete Contin. Dyn. Syst., Ser. S 10, 3 (2017)

52. Wang, G., Ghanmi, A., Horrigue, S., Madian, S.: Existence result and uniqueness for some fractional problem. Mathematics 7(6), 516 (2019)

53. Wang, J., Zhang, Y.: Nonlocal initial value problems for differential equations with Hilfer fractional derivative. Appl. Math. Comput. 266, 850–859 (2015)

54. Yong, Z., Jinrong, W., Lu, Z.: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2016)

55. Zhang, W., Liu, W., Xue, T.: Existence and uniqueness results for the coupled systems of implicit fractional differential equations with periodic boundary conditions. Adv. Differ. Equ. 2018(1), 413 (2018)

### Acknowledgements

The authors acknowledge the financial support provided by the Center of Excellence in Theoretical and Computational Science (TaCS-CoE), KMUTT. The first author was supported by the “Petchra Pra Jom Klao Ph.D. Research Scholarship from King Mongkut’s University of Technology Thonburi” (Grant No. 13/2561). Also, the King Mongkut’s University of Technology Thonburi financially funded this research work through the KMUTT 55th Anniversary Commemorative Fund.

Not applicable.

## Funding

Petchra Pra Jom Klao Doctoral Scholarship for Ph.D. program of King Mongkut’s University of Technology Thonburi (KMUTT). The Center of Excellence in Theoretical and Computational Science (TaCS-CoE), KMUTT. Center of Excellence in Theoretical and Computational Science (TaCS-CoE), KMUTT. King Mongkut’s University of Technology North Bangkok, Contract no. KMUTNB-63-KNOW-033.

## Author information

Authors

### Contributions

The authors contributed equally in writing this article. All authors read and approved the final manuscripts.

### Corresponding author

Correspondence to Poom Kumam.

## Ethics declarations

### Competing interests

The authors declare to have no conflict of interest.

## Rights and permissions

Reprints and permissions

Ahmed, I., Kumam, P., Jarad, F. et al. Stability analysis for boundary value problems with generalized nonlocal condition via Hilfer–Katugampola fractional derivative. Adv Differ Equ 2020, 225 (2020). https://doi.org/10.1186/s13662-020-02681-2

• Accepted:

• Published:

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