Existence and Ulam–Hyers stability for Caputo conformable differential equations with four-point integral conditions

Abstract

In this article, we investigate the existence and uniqueness of solutions for conformable derivatives in the Caputo setting with four-point integral conditions, applying standard fixed point theorems such as Banach contraction mapping principle, Krasnoselskii’s fixed point theorem, and Leray–Schauder nonlinear alternative. Further, we present Ulam–Hyers stability results by using direct analysis methods. Different types of Ulam stability, such as Ulam–Hyers stability, generalized Ulam–Hyers stability, Ulam–Hyers–Rassias stability, and generalized Ulam–Hyers–Rassias stability, are studied. Examples which support our theoretical results are also presented.

1 Introduction

Fractional calculus extends the theory of differentiation and integration of integer order to real or complex order. Recently, there has been shown a great interest in the study of differential equations and inclusions with non-integer order, since fractional order models are more accurate than integer order models. Fractional derivatives provide an excellent instrument for the description of systems with memory and hereditary properties. Many books and monographs are devoted to the development of fractional calculus, see for instance [1,2,3,4,5,6,7,8] and the references therein.

One of the most prominent research areas in the field of fractional differential equations, which has attracted great attention from the researchers, is devoted to the existence theory of solutions. For theoretical development of the topic, we refer the reader to papers [9,10,11,12,13,14,15,16,17,18,19,20,21,22,23] and the references cited therein. Another important and interesting area of research, which has got great attention from the researchers recently, is devoted to the stability analysis of differential equations for classical and fractional order. The notion of Ulam stability, which can be considered as a special type of data dependence, was initiated by Ulam [24, 25]. Hyers, Aoki, Rassias, and Obloza contributed in the development of this field (see [26,27,28,29,30] and the references therein). Meanwhile, there have been few works considering the Ulam stability of a variety of classes of fractional differential equations [31,32,33,34,35,36,37,38,39,40,41,42,43,44].

In this paper, we study the existence, uniqueness, and Ulam–Hyers stability of solutions for conformable derivatives in the Caputo setting with four-point integral conditions:

$$ \textstyle\begin{cases} ({{}_{a}^{C}}\mathfrak{D}^{\alpha ,\rho }x )(t)=f(t,x(t)),\quad 1< \alpha \leq 2, a< t< T, \\ x(a)=\mu _{1}x(\xi )+\mu _{2} ,\qquad x(T)= \lambda ({{}_{a}} \mathfrak{I}^{\beta ,\rho }x )(\sigma ), \end{cases} $$

(1.1)

where ${{}_{a}^{C}}\mathfrak{D}^{\alpha ,\rho }$ denotes the left conformable derivative in the Caputo setting of order α with $\rho \in (0,1]$, $f:[a,T]\times \mathbb{R}\to \mathbb{R}$ is a continuous function, $a\geq 0$, the points $\xi , \sigma \in {(a,T)}$, given constants $\mu _{1},\mu _{2},\lambda \in \mathbb{R}$, and ${}_{a}\mathfrak{I}^{\beta ,\rho }$ is the left conformable integral operator of order $\beta >0$. Indeed, we study existence and uniqueness results by applying standard fixed point theorem such as the Banach contraction mapping principle, Krasnoselskii’s fixed point theorem, and Leray–Schauder nonlinear alternative. In addition, we study different types of Ulam stability: Ulam–Hyers stability, generalized Ulam–Hyers stability, Ulam–Hyers–Rassias stability, and generalized Ulam–Hyers–Rassias stability for problem (1.1).

The paper is organized as follows. A brief review of the fractional calculus theory is given in Sect. 2. In Sect. 3, we prove the existence and uniqueness of solutions for problem (1.1). In Sect. 4, we discuss the Ulam–Hyers stability results. Finally, examples are given in Sect. 5 to illustrate the usefulness of our main results.

2 Preliminaries

In this section, we introduce some notations and definitions of fractional calculus and present preliminary results needed in our proofs later.

Definition 2.1

The left conformable derivative starting at a point a of the function $f:[a,\infty )\rightarrow \mathbb{R}$ of order $0<\rho \leq 1$ is defined by

$$ \bigl({}_{a}D^{\rho }f \bigr) (t)=\lim _{\epsilon \rightarrow 0}\frac{f(t+ \epsilon (t-a)^{1-\rho })-f(t)}{\epsilon }. $$

If $({}_{a}D^{\rho }f )(t)$ exists on $(a,b)$, then $({}_{a}D^{\rho }f )(a)=\lim_{t\rightarrow a^{+}} ({}_{a}D ^{\rho }f )(t)$. If f is differentiable, then

$$ \bigl({}_{a}D^{\rho }f \bigr) (t)=(t-a)^{1-\rho }f'(t). $$

(2.1)

The corresponding left conformable integral is defined as

$$ _{a}I^{\rho }f(x)= \int _{a}^{x}f(t)\frac{dt}{(t-a)^{1-\rho }},\quad 0< \rho \leq 1. $$

For the extension to the higher order $\rho >1$, see [45].

Definition 2.2

([45])

The left Riemann–Liouville conformable integral of a function $f:[a,\infty )\rightarrow \mathbb{R}$ of order α with $0<\rho \leq 1$ is defined by

$$ _{a}\mathfrak{I}^{\alpha ,\rho }f(x)=\frac{1}{\varGamma (\alpha )} \int _{a}^{x} \biggl(\frac{(x-a)^{\rho }-(t-a)^{\rho }}{\rho } \biggr)^{ \alpha -1}\frac{f(t)\,dt}{(t-a)^{1-\rho }}, $$

(2.2)

where $\alpha \in \mathbb{C}$, $\Re (\alpha )\geq 0$.

Definition 2.3

([45])

The left Riemann–Liouville conformable derivative of a function $f:[a,\infty )\rightarrow \mathbb{R}$ of order $\alpha \in \mathbb{C}$, $\Re (\alpha )\geq 0$ with $0<\rho \leq 1$ is defined by

$$\begin{aligned} {}_{a}\mathfrak{D}^{\alpha ,\rho }f(x) =&{}_{a}^{m}D^{\rho } \bigl({}_{a} \mathfrak{I}^{m-\alpha ,\rho } \bigr)f(x) \\ =&\frac{{}_{a}^{m}D^{\rho }}{\varGamma (m-\alpha )} \int _{a}^{x} \biggl(\frac{(x-a)^{ \rho }-(t-a)^{\rho }}{\rho } \biggr)^{m-\alpha -1}\frac{f(t)\,dt}{(t-a)^{1- \rho }}, \end{aligned}$$

(2.3)

where $m=\lceil \Re (\alpha )\rceil =\min \{m\in \mathbb{Z}|m\geq \Re (\alpha )\}$, ${}_{a}^{m}D^{\rho }=\underbrace{{{}_{a}D^{\rho }} {{}_{a}D^{\rho }} \cdots {{}_{a}D^{\rho }}}_{{m\text{-times}}}$, and ${}_{a}D^{ \rho }$ is the left conformable differential operator presented in Definition 2.1.

Definition 2.4

([45])

The left Caputo conformable derivative of a function $f:[a,\infty )\rightarrow \mathbb{R}$ of order $\alpha \in \mathbb{C}$, $\Re (\alpha )\geq 0$ with $0<\rho \leq 1$ is defined by

$$\begin{aligned} {}_{a}^{C}\mathfrak{D}^{\alpha ,\rho }f(x) =&{}_{a}\mathfrak{I}^{m-\alpha ,\rho } \bigl({}_{a}^{m}D^{\rho }f(x) \bigr) \\ =&\frac{1}{\varGamma (m-\alpha )} \int _{a}^{x} \biggl(\frac{(x-a)^{ \rho }-(t-a)^{\rho }}{\rho } \biggr)^{m-\alpha -1}\frac{{}_{a}^{m}D ^{\rho }f(t)\,dt}{(t-a)^{1-\rho }}, \end{aligned}$$

(2.4)

provided the right-hand side exists.

Lemma 2.1

([45])

Let $\Re (\alpha )>0$, $\Re (\beta )>0$, and $\Re ( \nu )>0$. Then the following formulas hold:

$$ \bigl({}_{a}\mathfrak{I}^{\alpha ,\rho } \bigl({}_{a} \mathfrak{I}^{ \beta ,\rho }f \bigr) \bigr) (x)= \bigl({{}_{a} \mathfrak{I}}^{\alpha + \beta ,\rho }f \bigr) (x) $$

(2.5)

and

$$ {}_{a}\mathfrak{I}^{\beta ,\rho }(t-a)^{\rho (\nu -1)}(x)= \frac{1}{ \rho ^{\beta }}\frac{\varGamma (\nu )}{\varGamma (\beta +\nu )}(x-a)^{\rho ( \nu -1)+\rho \beta }. $$

(2.6)

Lemma 2.2

([45])

Let $f\in C_{\alpha ,a}^{n}[a,b]$, $\alpha \in \mathbb{C}$. Then

$$ {}_{a}\mathfrak{I}^{\alpha ,\rho } \bigl({}_{a}^{C} \mathfrak{D}^{\alpha , \rho }f \bigr) (x)=f(x)-\sum_{k=0}^{n-1} \frac{{}_{a}^{k}D^{\rho }f(a)(x-a)^{ \rho k}}{\rho ^{k}k!}, $$

(2.7)

where n is the smallest integer greater than or equal to α.

Lemma 2.3

For $\alpha >0$, the general solution of the fractional differential equation ${}_{a}^{C}\mathfrak{D}^{\alpha ,\rho } u(t)=0$ is given by

$$ u(t)=c_{0}+c_{1}(t-a)^{\rho }+c_{2}(t-a)^{2\rho }+ \cdots +c_{n-1}(t-a)^{ \rho (n-1)}, $$

(2.8)

where $c_{i}\in \mathbb{R}$, $i=0,1,\ldots ,n-1$, n is the smallest integer greater than or equal to α.

In view of Lemma 2.3, it follows that

$$ {{}_{a}}\mathfrak{I}^{\alpha ,\rho } \bigl({{}_{a}^{C}}\mathfrak{D}^{ \alpha ,\rho }u(t) \bigr)= u(t)+c_{0}+c_{1}(t-a)^{\rho }+\cdots +c _{n-1}(t-a)^{\rho (n-1)} $$

(2.9)

for some $c_{i}\in \mathbb{R}$, $i=0,1,\ldots ,n-1$.

For convenience we set constants

$$ \eta _{1}=\frac{\lambda (\sigma -a)^{\rho \beta }}{\rho ^{\beta } \varGamma (\beta +1)}-1, \qquad \eta _{2}= \frac{\lambda (\sigma -a)^{ \rho (\beta +1)}}{\rho ^{\beta }\varGamma (\beta +2)}-(T-a)^{\rho }. $$

(2.10)

Lemma 2.4

Let $1<\alpha \leq 2$, $0<\rho \leq 1$, $\beta >0$, $\xi ,\sigma \in (a,T)$, $\lambda , \mu _{1}, \mu _{2}\in \mathbb{R}$, and $y\in C([a,T],\mathbb{R})$ and a constant

$$ \mathcal{J}=\eta _{2}(1-\mu _{1})+\eta _{1}\mu _{1}(\xi -a)^{\rho }\ne 0. $$

Then the problem

$$\begin{aligned}& \bigl({{}_{a}^{C}}\mathfrak{D}^{\alpha ,\rho }x \bigr) (t)=y(t),\quad a< t< T, \end{aligned}$$

(2.11)

$$\begin{aligned}& x(a)=\mu _{1}x(\xi )+\mu _{2} , \qquad x(T)=\lambda \bigl({{}_{a}} \mathfrak{I}^{\beta ,\rho }x \bigr) (\sigma ), \end{aligned}$$

(2.12)

has a unique solution given by

$$ x(t)= {{}_{a}}\mathfrak{I}^{\alpha ,\rho }y(t)+\lambda _{1}(t){{}_{a}} \mathfrak{I}^{\alpha ,\rho }y(\xi )+\lambda _{2}(t){{}_{a}}\mathfrak{I} ^{\alpha ,\rho }y(T)-\lambda _{3}(t){{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }y(\sigma )+ \lambda _{4}(t), $$

(2.13)

where

$$\begin{aligned}& \lambda _{1}(t) = \frac{\mu _{1}}{\mathcal{J}}\bigl\{ \eta _{2}-(t-a)^{\rho } \eta _{1}\bigr\} , \qquad \lambda _{2}(t)=\frac{1}{\mathcal{J}} \bigl\{ (t-a)^{\rho }(1- \mu _{1})+ \mu _{1}(\xi -a)^{\rho }\bigr\} , \\& \lambda _{3}(t) = \frac{\lambda }{\mathcal{J}}\bigl\{ \mu _{1}(\xi -a)^{ \rho }+(1-\mu _{1}) (t-a)^{\rho }\bigr\} , \qquad \lambda _{4}(t)=\frac{1}{ \mathcal{J}}\bigl\{ \eta _{2}\mu _{2}-(t-a)^{\rho }\eta _{1}\mu _{2}\bigr\} . \end{aligned}$$

Proof

Using Lemma 2.3, (2.11) can be expressed as an equivalent integral equation

$$ x(t)= {{}_{a}}\mathfrak{I}^{\alpha ,\rho }y(t)+c_{0}+c_{1}(t-a)^{\rho } $$

(2.14)

for arbitrary constants $c_{0},c_{1}\in \mathbb{R}$.

Taking the left-fractional conformable integral operator of order $\beta >0$ for (2.14), we have

$$ {{}_{a}}\mathfrak{I}^{\beta ,\rho }x(t)= {{}_{a}}\mathfrak{I}^{\alpha + \beta ,\rho }y(t)+c_{0} \frac{(t-a)^{\rho \beta }}{\rho ^{\beta } \varGamma (\beta +1)}+c_{1}\frac{(t-a)^{\rho (\beta +1)}}{\rho ^{\beta } \varGamma (\beta +2)}. $$

(2.15)

From the first condition of (2.12), it follows that

$$ (1-\mu _{1})c_{0}-\mu _{1}(\xi -a)^{\rho }c_{1}=\mu _{1}{{}_{a}} \mathfrak{I}^{\alpha ,\rho }y(\xi )+\mu _{2}. $$

(2.16)

The second condition of (2.12) and (2.15) implies

$$ \eta _{1}c_{0}+\eta _{2}c_{1}={{}_{a}} \mathfrak{I}^{\alpha ,\rho }y(T)- \lambda {{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }y( \sigma ). $$

(2.17)

From (2.16) and (2.17), we obtain two constants as follows:

$$ c_{0}=\frac{1}{\mathcal{J}} \bigl\{ \eta _{2}\mu _{1}\,{{}_{a}}\mathfrak{I} ^{\alpha ,\rho }y(\xi )+\eta _{2}\mu _{2}+\mu _{1}(\xi -a)^{\rho } \bigl[ {{}_{a}}\mathfrak{I}^{\alpha ,\rho }y(T)-\lambda \,{{}_{a}}\mathfrak{I} ^{\alpha +\beta ,\rho }y(\sigma ) \bigr] \bigr\} $$

and

$$ c_{1}=\frac{1}{\mathcal{J}} \bigl\{ (1-\mu _{1}) \bigl[{{}_{a}}\mathfrak{I} ^{\alpha ,\rho }y(T)-\lambda \, {{}_{a}}\mathfrak{I}^{\alpha +\beta , \rho }y(\sigma ) \bigr]-\eta _{1} \bigl[\mu _{1}{{}_{a}}\mathfrak{I}^{\alpha ,\rho }y( \xi )+\mu _{2} \bigr] \bigr\} . $$

Substituting constants $c_{0}$ and $c_{1}$ into (2.14), we obtain (2.13). The converse follows by direct computation. The proof is completed. □

3 Existence and uniqueness results

Let $\mathcal{C}=C([a, T],\mathbb{R})$ denote the Banach space of all continuous functions from $[a, T]$ to $\mathbb{R}$ endowed with the norm defined by $\|x\|=\sup_{t\in [a, T]}|x(t)|$. Throughout this paper, for convenience, the expression ${{}_{a}}\mathfrak{I}^{b,\rho }f(s,x(s))(c)$ means

$$ {{}_{a}}\mathfrak{I}^{b,\rho } f\bigl(s,x(s)\bigr) (c)= \frac{1}{\varGamma (b)} \int _{a}^{c} \biggl(\frac{(c-a)^{\rho }-(s-a)^{\rho }}{\rho } \biggr)^{b-1}\frac{f(s,x(s))\,ds}{(s-a)^{1- \rho }},\quad t\in [a,T], $$

where $b\in \{\alpha ,\alpha +\beta \}$ and $c\in \{t,T,\xi ,\sigma \}$.

In view of Lemma 2.4, we define an operator $\mathcal{F}: \mathcal{C}\rightarrow \mathcal{C}$ by

$$\begin{aligned} (\mathcal{F}x) (t) =& {{}_{a}}\mathfrak{I}^{\alpha ,\rho } f \bigl(s,x(s)\bigr) (t)+\lambda _{1}(t)\, {{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,x(s)\bigr) (\xi ) \\ &{} +\lambda _{2}(t)\,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }f \bigl(s,x(s)\bigr) (T)-\lambda _{3}(t)\, {{}_{a}} \mathfrak{I}^{\alpha +\beta ,\rho }f\bigl(s,x(s)\bigr) (\sigma )+ \lambda _{4}(t). \end{aligned}$$

(3.1)

It should be noticed that problem (1.1) has solutions if and only if the operator $\mathcal{F}$ has fixed points. In the following subsections we prove existence, as well as existence and uniqueness results, for the boundary value problem (1.1) by using a variety of fixed point theorems. In addition, we set

$$\begin{aligned}& \bigl\vert \lambda _{1}(t) \bigr\vert \le M_{1}:=\frac{|\mu _{1}|}{|\mathcal{J}|} \bigl\{ | \eta _{2}|+(T-a)^{\rho }| \eta _{1}| \bigr\} , \end{aligned}$$

(3.2)

$$\begin{aligned}& \bigl\vert \lambda _{2}(t) \bigr\vert \le M_{2}:= \frac{1}{|\mathcal{J}|} \bigl\{ (T-a)^{ \rho }\bigl(1+ \vert \mu _{1} \vert \bigr)+|\mu _{1}|(\xi -a)^{\rho } \bigr\} , \end{aligned}$$

(3.3)

$$\begin{aligned}& \bigl\vert \lambda _{3}(t) \bigr\vert \le M_{3}:= \frac{|\lambda |}{|\mathcal{J}|} \bigl\{ | \mu _{1}|(\xi -a)^{\rho }+(T-a)^{\rho } \bigl(1+ \vert \mu _{1} \vert \bigr) \bigr\} , \end{aligned}$$

(3.4)

$$\begin{aligned}& \bigl\vert \lambda _{4}(t) \bigr\vert \le M_{4}:= \frac{1}{|\mathcal{J}|} \bigl\{ |\mu _{2}|\bigl(| \eta _{2}|+(T-a)^{\rho }| \eta _{1}|\bigr) \bigr\} , \end{aligned}$$

(3.5)

and

$$ \varPhi = \frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}+M_{1}\frac{( \xi -a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}+M_{2} \frac{(T-a)^{ \rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}+M_{3}\frac{(\sigma -a)^{\rho (\alpha +\beta )}}{\rho ^{\alpha +\beta }\varGamma (\alpha + \beta +1)}. $$

(3.6)

3.1 Existence and uniqueness result via Banach’s fixed point theorem

The first existence and uniqueness result is based on the Banach contraction mapping principle (Banach’s fixed point theorem).

Theorem 3.1

Assume that $f:[a,T]\times \mathbb{R}\to \mathbb{R}$ is a continuous function such that

(H₁):

there exists a constant $L>0$ such that $|f(t,x)-f(t,y)| \leq L|x-y|$ for each $t\in [a, T]$ and $x, y\in \mathbb{R}$.

If

$$ L\varPhi < 1, $$

(3.7)

where Φ is defined by (3.6), then the boundary value problem (1.1) has a unique solution on $[a, T]$.

Proof

We transform problem (1.1) into a fixed point problem, $x=\mathcal{F}x$, where the operator $\mathcal{F}$ is defined as in (3.1). Observe that the fixed points of the operator $\mathcal{F}$ are solutions of problem (1.1). Applying the Banach contraction mapping principle, we shall show that $\mathcal{F}$ has a unique fixed point. Now, we let $\sup_{t \in [a,T]}|f(t,0)|=M< \infty$ and choose a positive constant r satisfying

$$ r\geq \frac{\varPhi M+M_{4}}{1-L\varPhi }. $$

Next, we show that $\mathcal{F} B_{r} \subset B_{r}$, where $B_{r}=\{x \in {\mathcal{{C}}}: \|x\|\le r \}$. For any $x \in B_{r}$, we have

$$\begin{aligned}& \bigl\vert (\mathcal{F}x) (t) \bigr\vert \\& \quad = \bigl\vert {{}_{a}}\mathfrak{I}^{\alpha ,\rho } f\bigl(s,x(s) \bigr) (t)+\lambda _{1}(t)\, {{}_{a}}\mathfrak{I}^{\alpha ,\rho }f \bigl(s,x(s)\bigr) (\xi )+\lambda _{2}(t)\, {{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,x(s)\bigr) (T) \\& \qquad {} -\lambda _{3}(t)\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f \bigl(s,x(s)\bigr) ( \sigma )+\lambda _{4}(t) \bigr\vert \\& \quad \le {{}_{a}}\mathfrak{I}^{\alpha ,\rho } \bigl\vert f \bigl(s,x(s)\bigr) \bigr\vert (t)+ \bigl\vert \lambda _{1}(t) \bigr\vert \, {{}_{a}}\mathfrak{I}^{\alpha ,\rho } \bigl\vert f \bigl(s,x(s)\bigr) \bigr\vert (\xi )+ \bigl\vert \lambda _{2}(t) \bigr\vert \, {{}_{a}}\mathfrak{I}^{\alpha ,\rho } \bigl\vert f \bigl(s,x(s)\bigr) \bigr\vert (T) \\& \qquad {} + \bigl\vert \lambda _{3}(t) \bigr\vert \,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho } \bigl\vert f\bigl(s,x(s)\bigr) \bigr\vert ( \sigma )+ \bigl\vert \lambda _{4}(t) \bigr\vert \\& \quad \le {{}_{a}}\mathfrak{I}^{\alpha ,\rho } \bigl( \bigl\vert f \bigl(s,x(s)\bigr)-f(s,0) \bigr\vert + \bigl\vert f(s,0) \bigr\vert \bigr) (T) \\& \qquad {} +M_{1}\,{{}_{a}}\mathfrak{I}^{\alpha ,\rho } \bigl( \bigl\vert f\bigl(s,x(s)\bigr)-f(s,0) \bigr\vert + \bigl\vert f(s,0) \bigr\vert \bigr) (\xi ) \\& \qquad {} +M_{2}\,{{}_{a}}\mathfrak{I}^{\alpha ,\rho } \bigl( \bigl\vert f\bigl(s,x(s)\bigr)-f(s,0) \bigr\vert + \bigl\vert f(s,0) \bigr\vert \bigr) (T) \\& \qquad {} +M_{3}\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho } \bigl( \bigl\vert f\bigl(s,x(s)\bigr)-f(s,0) \bigr\vert + \bigl\vert f(s,0) \bigr\vert \bigr) (\sigma )+M_{4} \\& \quad \le (Lr+M)\,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }(1) (T)+(Lr+M)M_{1}\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }(1) ( \xi )+(Lr+M)M_{2}\,{{}_{a}}\mathfrak{I} ^{\alpha ,\rho }(1) (T) \\& \qquad {} +(Lr+M)M_{3}\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }(1) (\sigma )+M _{4} \\& \quad = (Lr+M) \biggl[\frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}+M_{1}\frac{(\xi -a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma ( \alpha +1)}+M_{2} \frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma ( \alpha +1)} \\& \qquad {} +M_{3}\frac{(\sigma -a)^{\rho (\alpha +\beta )}}{\rho ^{\alpha + \beta }\varGamma (\alpha +\beta +1)} \biggr]+M_{4} \\& \quad = (Lr+M)\varPhi +M_{4}\leq r, \end{aligned}$$

which implies that $\|{\mathcal{F}}x\|\le r$ and therefore $\mathcal{F}B_{r}\subset B_{r}$.

Next, we let $x, y\in \mathcal{C}$. Then, for $t\in [a,T]$, we have

$$\begin{aligned} \bigl\vert (\mathcal{F}x) (t)-(\mathcal{F}y) (t) \bigr\vert \le & {{}_{a}}\mathfrak{I}^{\alpha ,\rho } \bigl\vert f\bigl(s,x(s)\bigr)-f \bigl(s,y(s)\bigr) \bigr\vert (t) \\ &{}+ \bigl\vert \lambda _{1}(t) \bigr\vert \,{{}_{a}} \mathfrak{I}^{\alpha ,\rho } \bigl\vert f\bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr) \bigr\vert ( \xi ) \\ &{}+ \bigl\vert \lambda _{2}(t) \bigr\vert \,{{}_{a}} \mathfrak{I}^{\alpha ,\rho } \bigl\vert f\bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr) \bigr\vert (T) \\ &{}+ \bigl\vert \lambda _{3}(t) \bigr\vert \,{{}_{a}} \mathfrak{I}^{\alpha +\beta ,\rho } \bigl\vert f\bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr) \bigr\vert ( \sigma ) \\ \le & L\|x-y\|\,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }(1) (T)+L\|x-y \|M_{1}\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }(1) (\xi ) \\ &{}+L\|x-y\|M_{2}\,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }(1) (T)+L\|x-y\|M _{3}\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }(1) (\sigma ) \\ = & L \biggl(\frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}+M _{1}\frac{(\xi -a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}+M _{2}\frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)} \\ &{} +M_{3}\frac{(\sigma -a)^{\rho (\alpha +\beta )}}{\rho ^{\alpha + \beta }\varGamma (\alpha +\beta +1)} \biggr)\|x-y\| \\ = & L\varPhi \|x-y\|, \end{aligned}$$

which implies that $\|\mathcal{F}x-\mathcal{F}y\|\leq L\varPhi \|x-y\|$. As $L\varPhi <1$, $\mathcal{F}$ is a contraction operator. Therefore, we deduce, by the Banach contraction mapping principle, that $\mathcal{F}$ has a fixed point which is the unique solution of problem (1.1) on $[a,T]$. The proof is completed. □

3.2 Existence result via Krasnoselskii’s fixed point theorem

The next existence theorem is based on Krasnoselskii’s fixed point theorem.

Lemma 3.1

(Krasnoselskii’s fixed point theorem [46])

Let M be a closed, bounded, convex, and nonempty subset of a Banach space X. Let A, B be the operators such that (a) $Ax+By \in M$ whenever $x, y \in M$; (b) A is compact and continuous; (c) B is a contraction mapping. Then there exists $z \in M$ such that $z=Az+Bz$.

Theorem 3.2

Let $f : [a,T]\times {\mathbb{R}} \to \mathbb{R}$ be a continuous function satisfying (H₁). In addition we assume that

(H₂):

$|f(t,x)|\le \delta (t)$, $\forall (t,x) \in [a,T] \times {\mathbb{R}}$, and $\delta \in C([a,T], {\mathbb{R}}^{+})$.

Then the boundary value problem (1.1) has at least one solution on $[a,T]$ provided

$$ M_{1} \frac{(\xi -a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}+M _{2} \frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}+M _{3}\frac{(\sigma -a)^{\rho (\alpha +\beta )}}{\rho ^{\alpha +\beta } \varGamma (\alpha +\beta +1)}< 1. $$

(3.8)

Proof

Setting $\sup_{t\in [a, T]}|\delta (t)|=\|\delta \|$ and choosing

$$ \overline{r}\geq \|\delta \|\varPhi +M_{4}, $$

(3.9)

where Φ is defined by (3.6), we consider $B_{\overline{r}}=\{x\in \mathcal{C}:\|x\|\leq \overline{r}\}$. Let us define the operators $\mathcal{F}_{1}$ and $\mathcal{F}_{2}$ on $B_{\overline{r}}$ by

$$\begin{aligned}& \mathcal{F}_{1}x(t) = {{}_{a}}\mathfrak{I}^{\alpha ,\rho } f \bigl(s,x(s)\bigr) (t),\quad t\in [a,T], \\& \begin{aligned} \mathcal{F}_{2}x(t) &= \lambda _{1}(t) \,{{}_{a}}\mathfrak{I}^{\alpha , \rho }f\bigl(s,x(s)\bigr) (\xi )+\lambda _{2}(t)\,{{}_{a}}\mathfrak{I}^{\alpha , \rho }f\bigl(s,x(s) \bigr) (T) \\ &\quad {}-\lambda _{3}(t)\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f \bigl(s,x(s)\bigr) ( \sigma )+\lambda _{4}(t),\quad t\in [a,T]. \end{aligned} \end{aligned}$$

For any $x,y\in B_{\overline{r}}$, we have

$$\begin{aligned} \|\mathcal{F}_{1}x+\mathcal{F}_{2}y\| \le & \sup _{t\in [a,T]} \bigl\{ {{}_{a}}\mathfrak{I}^{\alpha ,\rho } \bigl\vert f\bigl(s,x(s)\bigr) \bigr\vert (t)+ \bigl\vert \lambda _{1}(t) \bigr\vert \,{{}_{a}}\mathfrak{I}^{\alpha ,\rho } \bigl\vert f\bigl(s,y(s)\bigr) \bigr\vert (\xi ) \\ &{}+ \bigl\vert \lambda _{2}(t) \bigr\vert \,{{}_{a}} \mathfrak{I}^{\alpha ,\rho } \bigl\vert f\bigl(s,y(s)\bigr) \bigr\vert (T)+ \bigl\vert \lambda _{3}(t) \bigr\vert \,{{}_{a}} \mathfrak{I}^{\alpha +\beta ,\rho } \bigl\vert f\bigl(s,y(s)\bigr) \bigr\vert ( \sigma )+ \bigl\vert \lambda _{4}(t) \bigr\vert \bigr\} \\ \le & \|\delta \| \biggl[M_{1}\frac{(\xi -a)^{\rho \alpha }}{\rho ^{\alpha } \varGamma (\alpha +1)}+M_{2} \frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha } \varGamma (\alpha +1)}+M_{3}\frac{(\sigma -a)^{\rho (\alpha +\beta )}}{ \rho ^{\alpha +\beta }\varGamma (\alpha +\beta +1)} \biggr]+M_{4} \\ =&\|\delta \|\varPhi +M_{4} \le {\overline{r}}. \end{aligned}$$

This shows that $\mathcal{F}_{1}x+\mathcal{F}_{2}y\in B_{\overline{r}}$ which satisfies condition (a) of Lemma 3.1. It is easy to see, using (3.8), that $\mathcal{F}_{2}$ is a contraction mapping and also condition (c) of Lemma 3.1 holds.

To show that condition (b) of Lemma 3.1 is fulfilled, we apply the continuity of a function f, which leads to operator $\mathcal{F}_{1}$ being continuous. Also, the set $\mathcal{F}_{1} B _{\overline{r}}$ is uniformly bounded as

$$ \|\mathcal{F}_{1} x\| \le \frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha } \varGamma (\alpha +1)}\|\delta \|. $$

Next, we prove the compactness of the operator $\mathcal{F}_{1}$ by setting $\sup_{(t,x) \in [a,T] \times B_{\overline{r}}}|f(t,x)|= \overline{f}< \infty$. Then, for $a\le t_{1}\le t_{2}\le T$, we have

$$\begin{aligned} & \bigl\vert \mathcal{F}_{1}x(t_{2})- \mathcal{F}_{1}x(t_{1}) \bigr\vert \\ &\quad = \bigl\vert {{}_{a}}\mathfrak{I}^{\alpha ,\rho } f \bigl(s,x(s)\bigr) (t_{2})-{{}_{a}} \mathfrak{I}^{\alpha ,\rho } f\bigl(s,x(s)\bigr) (t_{1}) \bigr\vert \\ &\quad \le \biggl\vert \frac{1}{\varGamma (\alpha )} \biggl[ \int _{a}^{t_{1}} \biggl(\frac{(t _{2}-a)^{\rho }-(s-a)^{\rho }}{\rho } \biggr)^{\alpha -1}- \int _{a} ^{t_{1}} \biggl(\frac{(t_{1}-a)^{\rho }-(s-a)^{\rho }}{\rho } \biggr) ^{\alpha -1} \biggr] \\ &\qquad {}\times\frac{f(s,x(s))\,ds}{(s-a)^{1-\rho }}+\frac{1}{\varGamma (\alpha )} \int _{t_{1}}^{t_{2}} \biggl(\frac{(t _{2}-a)^{\rho }-(s-a)^{\rho }}{\rho } \biggr)^{\alpha -1}\frac{f(s,x(s))\,ds}{(s-a)^{1- \rho }} \biggr\vert \\ &\quad \le \frac{\overline{f}}{\rho ^{\alpha }\varGamma (\alpha +1)} \bigl[2 \bigl\vert (t_{2}-a)^{\rho \alpha }-(t_{1}-a)^{\rho \alpha } \bigr\vert +\bigl\vert (t _{2}-a)^{\rho \alpha }-(t_{1}-a)^{\rho \alpha }\bigr\vert \bigr], \end{aligned}$$

which is independent of x and tends to zero as $t_{2}\to t_{1}$. Thus, the set $\mathcal{F}_{1}B_{\overline{r}}$ is equicontinuous. So the set $\mathcal{F}_{1}B_{\overline{r}}$ is relatively compact. Hence, by the Arzelá–Ascoli theorem, the operator $\mathcal{F}_{1}$ is compact on $B_{\overline{r}}$. Thus all the assumptions of Lemma 3.1 are satisfied. So, the conclusion of Lemma 3.1 implies that the boundary value problem (1.1) has at least one solution on $[a,T]$. The proof is completed. □

3.3 Existence result via Leray–Schauder’s nonlinear alternative

By using Leray–Schauder’s nonlinear alternative, we give in this subsection our last existence theorem.

Lemma 3.2

(Nonlinear alternative for single-valued maps [47])

Let E be a Banach space, C be a closed, convex subset of E, X be an open subset of C, and $0\in X$. Suppose that $F:\overline{X}\to C$ is a continuous, compact (that is, $F( \overline{X})$ is a relatively compact subset of C) map. Then either

• (i) F has a fixed point in X̅, or

• (ii) there is $x\in \partial X$ (the boundary of X in C) and $\lambda \in (0,1)$ with $x=\lambda F(x)$.

Theorem 3.3

Assume that:

(H₃):

there exist a continuous nondecreasing function $\psi :[0,\infty )\to (0,\infty )$ and a function $p\in C([a,T], \mathbb{R}^{+})$ such that

$$ \bigl\vert f(t,x) \bigr\vert \le p(t)\psi \bigl( \Vert x \Vert \bigr) \quad \textit{for each } (t,x) \in [a,T]\times \mathbb{R}; $$

(H₄):

there exists a constant $N>0$ such that

$$ \frac{N}{\|p\|\psi (N)\varPhi +M_{4}}> 1, $$

where Φ is defined by (3.6).

Then the boundary value problem (1.1) has at least one solution on $[a,T]$.

Proof

Let the operator $\mathcal{F}$ be defined by (3.1). Firstly, we shall show that $\mathcal{F}$ maps bounded sets (balls) into bounded sets in $\mathcal{C}$. For a number $R>0$, let $B_{R} = \{x \in \mathcal{C}: \|x\| \le R\}$ be a bounded ball in $\mathcal{C}$. Then, for $t\in [a,T]$, we have

$$\begin{aligned}& \bigl\vert (\mathcal{F}x) (t) \bigr\vert \\& \quad \le {{}_{a}}\mathfrak{I}^{\alpha ,\rho } \bigl\vert f \bigl(s,x(s)\bigr) \bigr\vert (t)+ \bigl\vert \lambda _{1}(t) \bigr\vert \, {{}_{a}}\mathfrak{I}^{\alpha ,\rho } \bigl\vert f \bigl(s,x(s)\bigr) \bigr\vert (\xi )+ \bigl\vert \lambda _{2}(t) \bigr\vert \, {{}_{a}}\mathfrak{I}^{\alpha ,\rho } \bigl\vert f \bigl(s,x(s)\bigr) \bigr\vert (T) \\& \qquad {} + \bigl\vert \lambda _{3}(t) \bigr\vert \,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho } \bigl\vert f\bigl(s,x(s)\bigr) \bigr\vert ( \sigma )+ \bigl\vert \lambda _{4}(t) \bigr\vert \\& \quad \le \Vert p \Vert \psi \bigl( \Vert x \Vert \bigr) \frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma ( \alpha +1)}+ \Vert p \Vert \psi \bigl( \Vert x \Vert \bigr)M_{1}\frac{(\xi -a)^{\rho \alpha }}{ \rho ^{\alpha }\varGamma (\alpha +1)} \\& \qquad {}+ \Vert p \Vert \psi \bigl( \Vert x \Vert \bigr)M_{2}\frac{(T-a)^{ \rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)} + \Vert p \Vert \psi \bigl( \Vert x \Vert \bigr)M_{3}\frac{(\sigma -a)^{\rho (\alpha +\beta )}}{ \rho ^{\alpha +\beta }\varGamma (\alpha +\beta +1)}+M_{4}, \end{aligned}$$

which leads to

$$\begin{aligned} \|\mathcal{F}x\| \le & \|p\|\psi (R) \biggl\{ \frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha } \varGamma (\alpha +1)}+ M_{1}\frac{(\xi -a)^{\rho \alpha }}{\rho ^{ \alpha }\varGamma (\alpha +1)}+ M_{2}\frac{(T-a)^{\rho \alpha }}{ \rho ^{\alpha }\varGamma (\alpha +1)} \\ &{}+ M_{3}\frac{(\sigma -a)^{\rho (\alpha +\beta )}}{\rho ^{\alpha + \beta }\varGamma (\alpha +\beta +1)} \biggr\} +M_{4} \\ :=& K. \end{aligned}$$

Secondly, we show that $\mathcal{F}$ maps bounded sets into equicontinuous sets of $\mathcal{C}$. Let $v_{1}, v_{2} \in [a,T]$ with $v_{1}< v_{2}$ and $x \in B_{R}$. Then we have

$$\begin{aligned}& \bigl\vert (\mathcal{F}x) (v_{2})-(\mathcal{F}x) (v_{1}) \bigr\vert \\& \quad = \bigl\vert {{}_{a}}\mathfrak{I}^{\alpha ,\rho } f\bigl(s,x(s) \bigr) (v_{2})+\lambda _{1}(v _{2}) \,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }f\bigl(s,x(s)\bigr) (\xi )+\lambda _{2}(v _{2})\,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }f \bigl(s,x(s)\bigr) (T) \\& \qquad {}-\lambda _{3}(v_{2})\,{{}_{a}} \mathfrak{I}^{\alpha +\beta ,\rho }f\bigl(s,x(s)\bigr) ( \sigma )+\lambda _{4}(v_{2}) -{{}_{a}}\mathfrak{I}^{\alpha ,\rho } f\bigl(s,x(s)\bigr) (v _{1}) \\& \qquad {}-\lambda _{1}(v_{1}) \,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }f\bigl(s,x(s)\bigr) ( \xi )-\lambda _{2}(v_{1})\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,x(s)\bigr) (T) \\& \qquad {}+ \lambda _{3}(v_{1}) \,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f\bigl(s,x(s)\bigr) ( \sigma )- \lambda _{4}(v_{1}) \bigr\vert \\& \quad \le \frac{\|p\|\psi (R)}{\varGamma (\alpha )} \biggl\vert \int _{a}^{v_{1}} \biggl[ \biggl(\frac{(v_{2}-a)^{\rho }-(s-a)^{\rho }}{\rho } \biggr) ^{\alpha -1}- \biggl(\frac{(v_{1}-a)^{\rho }-(s-a)^{\rho }}{\rho } \biggr) ^{\alpha -1} \biggr] \frac{ds}{(s-a)^{1-\rho }} \\& \qquad {}+ \int _{v_{1}}^{v_{2}} \biggl(\frac{(v_{2}-a)^{\rho }-(s-a)^{ \rho }}{\rho } \biggr)^{\alpha -1}\frac{ds}{(s-a)^{1-\rho }} \biggr\vert \\& \qquad {}+ \|p\|\psi (R) \biggl\{ \frac{(\xi -a)^{\rho \alpha }}{\rho ^{\alpha } \varGamma (\alpha +1)} \bigl\vert \lambda _{1}(v_{2})-\lambda _{1}(v_{1}) \bigr\vert \\& \qquad {}+\frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)} \bigl\vert \lambda _{2}(v_{2})- \lambda _{2}(v_{1}) \bigr\vert +\frac{(\sigma -a)^{\rho (\alpha +\beta )}}{\rho ^{\alpha +\beta }\varGamma (\alpha + \beta +1)} \bigl\vert \lambda _{3}(v_{2})-\lambda _{3}(v_{1}) \bigr\vert \biggr\} \\& \qquad {}+ \bigl\vert \lambda _{4}(v_{2})-\lambda _{4}(v_{1}) \bigr\vert \\& \quad \le \frac{\|p\|\psi (R)}{\rho ^{\alpha }\varGamma (\alpha +1)} \bigl[2 \bigl\vert (t_{2}-a)^{\rho \alpha }-(t_{1}-a)^{\rho \alpha } \bigr\vert + \bigl\vert (t _{2}-a)^{\rho \alpha }-(t_{1}-a)^{\rho \alpha } \bigr\vert \bigr] \\& \qquad {}+\|p\|\psi (R) \biggl\{ \frac{(\xi -a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)} \bigl\vert \lambda _{1}(v_{2})-\lambda _{1}(v_{1}) \bigr\vert \\& \qquad {}+\frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)} \bigl\vert \lambda _{2}(v_{2})- \lambda _{2}(v_{1}) \bigr\vert +\frac{(\sigma -a)^{\rho (\alpha +\beta )}}{\rho ^{\alpha +\beta }\varGamma (\alpha + \beta +1)} \bigl\vert \lambda _{3}(v_{2})-\lambda _{3}(v_{1}) \bigr\vert \biggr\} \\& \qquad {}+ \bigl\vert \lambda _{4}(v_{2})-\lambda _{4}(v_{1}) \bigr\vert . \end{aligned}$$

Obviously, the above inequality tends to zero independently of $x\in B_{R}$ as $v_{2} \to v_{1}$. Therefore it follows from the Arzelá–Ascoli theorem that $\mathcal{F}: \mathcal{C} \to \mathcal{C}$ is completely continuous.

Finally, we show that there exists an open set $X\subseteq \mathcal{C}$ with $x\ne \theta \mathcal{F}(x)$ for $\theta \in (0,1)$ and $x\in \partial X$.

Let $x\in \mathcal{C}$ be a solution of $x=\theta \mathcal{F}x$ for $\theta \in [ 0,1]$. Then, for $t\in [a,T]$, we have

$$\begin{aligned} \bigl\vert x(t) \bigr\vert =& \bigl\vert \nu (\mathcal{F}x) (t) \bigr\vert \\ \le &\|p\|\psi \bigl( \Vert x \Vert \bigr) \biggl\{ \frac{(T-a)^{\rho \alpha }}{\rho ^{ \alpha }\varGamma (\alpha +1)}+ M_{1}\frac{(\xi -a)^{\rho \alpha }}{ \rho ^{\alpha }\varGamma (\alpha +1)}+ M_{2}\frac{(T-a)^{\rho \alpha }}{ \rho ^{\alpha }\varGamma (\alpha +1)} \\ &{}+ M_{3}\frac{(\sigma -a)^{\rho (\alpha +\beta )}}{\rho ^{\alpha + \beta }\varGamma (\alpha +\beta +1)} \biggr\} +M_{4} \\ = & \|p\|\psi \bigl( \Vert x \Vert \bigr)\varPhi +M_{4}, \end{aligned}$$

which, on taking the norm for $t \in [a,T]$, implies that

$$ \|x\|\le \|p\|\psi \bigl( \Vert x \Vert \bigr)\varPhi +M_{4}. $$

Consequently, we have

$$ \frac{\|x\|}{\|p\|\psi ( \Vert x \Vert )\varPhi +M_{4}}\leq 1. $$

In view of (H₄), there exists N such that $\|x\|\ne N$. Let us set

$$ X=\bigl\{ x\in \mathcal{C}: \Vert x \Vert < N\bigr\} \quad \text{and} \quad Y=X\cap B_{R}. $$

Note that the operator $\mathcal{F}:\overline{Y}\rightarrow \mathcal{C}$ is continuous and completely continuous. From the choice of Y, there is no $x\in \partial Y$ such that $x=\theta \mathcal{F}x$ for some $\theta \in (0,1)$. Consequently, by the nonlinear alternative of Leray–Schauder type (Lemma 3.2), we deduce that $\mathcal{F}$ has a fixed point $x\in \overline{Y}$ which is a solution of the boundary value problem (1.1). This completes the proof. □

4 Ulam–Hyers stability analysis

In this section, we study Ulam–Hyers, generalized Ulam–Hyers, Ulam–Hyers–Rassias, and generalized Ulam–Hyers–Rassias stability of problem (1.1).

Definition 4.1

Problem (1.1) is Ulam–Hyers stable if there exists a real constant $\kappa >0$ such that, for $\varepsilon >0$ and for every solution $y\in \mathcal{C}$ of the inequality

$$ \bigl\vert {{}_{a}^{C}} \mathfrak{D}^{\alpha ,\rho }y(t)-f\bigl(t,y(t)\bigr) \bigr\vert \le \varepsilon , \quad t\in [a,T], $$

(4.1)

there exists a solution $x\in \mathcal{C}$ of problem (1.1) with

$$ \bigl\vert y(t)-x(t) \bigr\vert \le \kappa \varepsilon , \quad t\in [a,T]. $$

Definition 4.2

Problem (1.1) is generalized Ulam–Hyers stable if there is $\varPsi _{f}\in C(\mathbb{R}^{+},\mathbb{R}^{+})$ and $\varPsi _{f}(0)=0$ such that for every solution $y\in \mathcal{C}$ of inequality (4.1) there exists a solution $x\in \mathcal{C}$ of problem (1.1) which satisfies the following inequality:

$$ \bigl\vert y(t)-x(t) \bigr\vert \le \varPsi _{f}(\varepsilon ), \quad t\in [a,T]. $$

Definition 4.3

Problem (1.1) is Ulam–Hyers–Rassias stable with respect to $\varphi :[a,T]\to \mathbb{R}^{+}$ if there exists a real constant $\kappa _{\varphi } >0$ such that, for $\varepsilon >0$ and for every solution $y\in \mathcal{C}$ of the inequality

$$ \bigl\vert {{}_{a}^{C}} \mathfrak{D}^{\alpha ,\rho }y(t)-f\bigl(t,y(t)\bigr) \bigr\vert \le \varepsilon \varphi (t), \quad t\in [a,T], $$

(4.2)

there exists a solution $x\in \mathcal{C}$ of problem (1.1) with

$$ \bigl\vert y(t)-x(t) \bigr\vert \le \kappa _{\varphi }\varepsilon \varphi (t),\quad t\in [a,T]. $$

Definition 4.4

Problem (1.1) is generalized Ulam–Hyers–Rassias stable with respect to $\varphi :[a,T]\to \mathbb{R}^{+}$ if there exists a real constant $\kappa _{\varphi } >0$ such that, for $\varepsilon >0$ and for every solution $y\in \mathcal{C}$ of the inequality

$$ \bigl\vert {{}_{a}^{C}} \mathfrak{D}^{\alpha ,\rho }y(t)-f\bigl(t,y(t)\bigr) \bigr\vert \le \varphi (t), \quad t\in [a,T], $$

(4.3)

there exists a solution $x\in \mathcal{C}$ of problem (1.1) with

$$ \bigl\vert y(t)-x(t) \bigr\vert \le \kappa _{\varphi }\varphi (t),\quad t \in [a,T]. $$

Remark 4.1

A function $y\in \mathcal{C}$ is a solution of inequality (4.1) if and only if there exists a function $g\in \mathcal{C}$ (which depends on y) such that

• (i) $|g(t)|<\varepsilon$, $t\in [a,T]$,

• (ii) ${{}_{a}^{C}}\mathfrak{D}^{\alpha ,\rho }y(t)=f(t,y(t))+g(t)$, $t\in [a,T]$.

By Remark 4.1, the solution of the equation

$$ {{}_{a}^{C}}\mathfrak{D}^{\alpha ,\rho }y(t)=f\bigl(t,y(t) \bigr)+g(t), \quad t \in [a,T], $$

can be formulated by

$$\begin{aligned} y(t) =&{{}_{a}}\mathfrak{I}^{\alpha ,\rho } f\bigl(s,y(s)\bigr) (t)+ \lambda _{1}(t)\, {{}_{a}}\mathfrak{I}^{\alpha ,\rho }f \bigl(s,y(s)\bigr) (\xi )+\lambda _{2}(t)\, {{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,y(s)\bigr) (T) \\ &{}-\lambda _{3}(t)\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f \bigl(s,y(s)\bigr) ( \sigma )+\lambda _{4}(t)+{{}_{a}} \mathfrak{I}^{\alpha ,\rho } g(t)+ \lambda _{1}(t)\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }g(\xi ) \\ &{}+\lambda _{2}(t)\,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }g(T)- \lambda _{3}(t)\, {{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }g( \sigma ). \end{aligned}$$

Then we have the following estimation.

Remark 4.2

Let $y\in \mathcal{C}$ be a solution of inequality (4.1). Then y is a solution of the following integral inequality:

$$\begin{aligned}& \bigl\vert y(t)-{{}_{a}}\mathfrak{I}^{\alpha ,\rho } f\bigl(s,y(s) \bigr) (t)- \lambda _{1}(t)\,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }f \bigl(s,y(s)\bigr) (\xi )- \lambda _{2}(t)\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,y(s)\bigr) (T) \\& \qquad {}+\lambda _{3}(t)\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f \bigl(s,y(s)\bigr) ( \sigma )-\lambda _{4}(t) \bigr\vert \\& \quad = \bigl\vert {{}_{a}}\mathfrak{I}^{\alpha ,\rho } g(t)+\lambda _{1}(t)\, {{}_{a}}\mathfrak{I}^{\alpha ,\rho }g(\xi )+\lambda _{2}(t)\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }g(T)-\lambda _{3}(t)\,{{}_{a}}\mathfrak{I} ^{\alpha +\beta ,\rho }g(\sigma ) \bigr\vert \\& \quad \le \varepsilon \biggl[\frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha } \varGamma (\alpha +1)}+M_{1} \frac{(\xi -a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}+M_{2}\frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha } \varGamma (\alpha +1)}+M_{3} \frac{(\sigma -a)^{\rho (\alpha +\beta )}}{ \rho ^{\alpha +\beta }\varGamma (\alpha +\beta +1)} \biggr] \\& \quad = \varepsilon \varPhi . \end{aligned}$$

Now we are ready to state our Ulam–Hyers stability result.

Theorem 4.1

Assume that $f:[a,T]\times \mathbb{R}\to \mathbb{R}$ is a continuous function and (H₁) holds with $L<\varPhi ^{-1}$. Then problem (1.1) is Ulam–Hyers stable on $[a,T]$ and consequently generalized Ulam–Hyers stable.

Proof

Let $y\in \mathcal{C}$ be the solution of inequality (4.1) and let $x\in \mathcal{C}$ be the unique solution of

$$ \textstyle\begin{cases} ({{}_{a}^{C}}\mathfrak{D}^{\alpha ,\rho }x )(t)=f(t,x(t)), \quad 1< \alpha \leq 2, a< t< T, \\ x(a)=\mu _{1}x(\xi )+\mu _{2} , \qquad x(T)= \lambda ({{}_{a}} \mathfrak{I}^{\beta ,\rho }x )(\sigma ), \quad \xi , \sigma \in {(a,T)}. \end{cases} $$

Then consider

$$\begin{aligned}& \bigl\vert y(t)-x(t) \bigr\vert \\& \quad = \bigl\vert y(t)- {{}_{a}}\mathfrak{I}^{\alpha ,\rho } f \bigl(s,x(s)\bigr) (t)- \lambda _{1}(t)\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,x(s)\bigr) (\xi )- \lambda _{2}(t) \,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }f\bigl(s,x(s)\bigr) (T) \\& \qquad {} +\lambda _{3}(t)\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f \bigl(s,x(s)\bigr) ( \sigma )-\lambda _{4}(t) \bigr\vert \\& \quad = \bigl\vert y(t)- {{}_{a}}\mathfrak{I}^{\alpha ,\rho } f \bigl(s,y(s)\bigr) (t)- \lambda _{1}(t)\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,y(s)\bigr) (\xi )- \lambda _{2}(t) \,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }f\bigl(s,y(s)\bigr) (T) \\& \qquad {} +\lambda _{3}(t)\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f \bigl(s,y(s)\bigr) ( \sigma )-\lambda _{4}(t)+ {{}_{a}} \mathfrak{I}^{\alpha ,\rho } f\bigl(s,y(s)\bigr) (t)+ \lambda _{1}(t) \,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }f\bigl(s,y(s)\bigr) ( \xi ) \\& \qquad {} +\lambda _{2}(t)\,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }f \bigl(s,y(s)\bigr) (T) - \lambda _{3}(t)\,{{}_{a}} \mathfrak{I}^{\alpha +\beta ,\rho }f\bigl(s,y(s)\bigr) ( \sigma )+\lambda _{4}(t)- {{}_{a}}\mathfrak{I}^{\alpha ,\rho } f\bigl(s,x(s) \bigr) (t) \\& \qquad {} - \lambda _{1}(t)\,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }f \bigl(s,x(s)\bigr) ( \xi )-\lambda _{2}(t)\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,x(s)\bigr) (T)+ \lambda _{3}(t) \,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f\bigl(s,x(s)\bigr) ( \sigma ) \\& \qquad {} -\lambda _{4}(t) \bigr\vert \\& \quad \le \varepsilon \varPhi +L \varPhi \bigl\vert y(t)-x(t) \bigr\vert , \end{aligned}$$

which yields that

$$ \bigl\vert y(t)-x(t) \bigr\vert \le \frac{\varepsilon \varPhi }{1-L\varPhi }. $$

(4.4)

Taking for simplicity

$$ \kappa =\frac{ \varPhi }{1-L\varPhi } $$

such that $L\varPhi < 1$, then (4.4) becomes

$$ \bigl\vert y(t)-x(t) \bigr\vert \le \kappa \varepsilon , \quad t\in [a,T]. $$

Thus problem (1.1) is Ulam–Hyers stable. Further, using $\varPsi _{f}(\varepsilon )=\kappa \varepsilon$, $\varPsi _{f}(0)=0$ implies that solution of (1.1) is generalized Ulam–Hyers stable. This completes the proof. □

Remark 4.3

A function $y\in {\mathcal{C}}$ is a solution of inequality (4.2) if and only if there exists a function $h\in {\mathcal{C}}$ (which depends on y) such that

• (i) $|h(t)|<\varepsilon \varphi (t)$, $t\in [a,T]$,

• (ii) ${{}_{a}^{C}}\mathfrak{D}^{\alpha ,\rho }y(t)=f(t,y(t))+h(t)$, $t\in [a,T]$.

By Remark 4.3, the solution of the equation

$$ {{}_{a}^{C}}\mathfrak{D}^{\alpha ,\rho }y(t)=f\bigl(t,y(t) \bigr)+h(t),\quad t \in [a,T], $$

can be formulated by

$$\begin{aligned} y(t) =&{{}_{a}}\mathfrak{I}^{\alpha ,\rho } f\bigl(s,y(s)\bigr) (t)+ \lambda _{1}(t)\, {{}_{a}}\mathfrak{I}^{\alpha ,\rho }f \bigl(s,y(s)\bigr) (\xi )+\lambda _{2}(t)\, {{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,y(s)\bigr) (T) \\ &{}-\lambda _{3}(t)\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f \bigl(s,y(s)\bigr) ( \sigma )+\lambda _{4}(t)+{{}_{a}} \mathfrak{I}^{\alpha ,\rho } h(t)+ \lambda _{1}(t)\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }h(\xi ) \\ &{}+\lambda _{2}(t)\,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }h(T)- \lambda _{3}(t)\, {{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }h( \sigma ). \end{aligned}$$

Then we have the following estimation.

Remark 4.4

Let $y\in {\mathcal{C}}$ be a solution of inequality (4.2). Then y is a solution of the following integral inequality:

$$\begin{aligned}& \bigl\vert y(t)-{{}_{a}}\mathfrak{I}^{\alpha ,\rho } f\bigl(s,y(s) \bigr) (t)- \lambda _{1}(t)\,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }f \bigl(s,y(s)\bigr) (\xi )- \lambda _{2}(t)\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,y(s)\bigr) (T) \\& \qquad {} +\lambda _{3}(t)\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f \bigl(s,y(s)\bigr) ( \sigma )-\lambda _{4}(t) \bigr\vert \\& \quad = \bigl\vert {{}_{a}}\mathfrak{I}^{\alpha ,\rho } h(t)+\lambda _{1}(t)\, {{}_{a}}\mathfrak{I}^{\alpha ,\rho }h(\xi )+\lambda _{2}(t)\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }h(T)-\lambda _{3}(t)\,{{}_{a}}\mathfrak{I} ^{\alpha +\beta ,\rho }h(\sigma ) \bigr\vert \\& \quad \le \varepsilon \varphi (t) \biggl[\frac{(T-a)^{\rho \alpha }}{ \rho ^{\alpha }\varGamma (\alpha +1)}+M_{1} \frac{(\xi -a)^{\rho \alpha }}{ \rho ^{\alpha }\varGamma (\alpha +1)}+M_{2}\frac{(T-a)^{\rho \alpha }}{ \rho ^{\alpha }\varGamma (\alpha +1)}+M_{3} \frac{(\sigma -a)^{\rho ( \alpha +\beta )}}{\rho ^{\alpha +\beta }\varGamma (\alpha +\beta +1)} \biggr] \\& \quad \le \varepsilon \varphi (t) \varPhi . \end{aligned}$$

Now we are ready to state our Ulam–Hyers–Rassias stability result.

Theorem 4.2

Assume that $f:[a,T]\times \mathbb{R}\to \mathbb{R}$ is a continuous function satisfying (H₃). If (H₄) holds and there exists a function $h(t)$ satisfying Remark 4.3 with $2N\leq h(t)$, $t\in [a,T]$, then problem (1.1) is Ulam–Hyers–Rassias stable and consequently generalized Ulam–Hyers–Rassias stable.

Proof

Let $y\in \mathcal{C}$ be the solution of inequality (4.2) and $x\in \mathcal{C}$ be a solution of

$$ \textstyle\begin{cases} ({{}_{a}^{C}}\mathfrak{D}^{\alpha ,\rho }x )(t)=f(t,x(t)), \quad 1< \alpha \leq 2, a< t< T, \\ x(a)=\mu _{1}x(\xi )+\mu _{2} , \qquad x(T)= \lambda ({{}_{a}} \mathfrak{I}^{\beta ,\rho }x )(\sigma ), \quad \xi , \sigma \in {(a,T)}. \end{cases} $$

Then we consider

$$\begin{aligned}& \bigl\vert y(t)-x(t) \bigr\vert \\& \quad = \bigl\vert y(t)- {{}_{a}}\mathfrak{I}^{\alpha ,\rho } f \bigl(s,x(s)\bigr) (t)- \lambda _{1}(t)\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,x(s)\bigr) (\xi )- \lambda _{2}(t) \,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }f\bigl(s,x(s)\bigr) (T) \\& \qquad {}+\lambda _{3}(t)\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f \bigl(s,x(s)\bigr) ( \sigma )-\lambda _{4}(t) \bigr\vert \\& \quad \le \bigl\vert y(t)- {{}_{a}}\mathfrak{I}^{\alpha ,\rho } f \bigl(s,y(s)\bigr) (t)- \lambda _{1}(t)\,{{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,y(s)\bigr) (\xi )- \lambda _{2}(t) \,{{}_{a}}\mathfrak{I}^{\alpha ,\rho }f\bigl(s,y(s)\bigr) (T) \\& \qquad {}+\lambda _{3}(t)\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f \bigl(s,y(s)\bigr) ( \sigma )-\lambda _{4}(t) \bigr\vert \\& \qquad {}+ \bigl\vert {{}_{a}}\mathfrak{I}^{\alpha ,\rho } f \bigl(s,y(s)\bigr) (t)+ \lambda _{1}(t)\, {{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,y(s)\bigr) (\xi )+\lambda _{2}(t)\, {{}_{a}}\mathfrak{I}^{\alpha ,\rho }f\bigl(s,y(s)\bigr) (T) \\& \qquad {}-\lambda _{3}(t)\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f \bigl(s,y(s)\bigr) ( \sigma )+\lambda _{4}(t) \bigr\vert \\& \qquad {}+ \bigl\vert {{}_{a}}\mathfrak{I}^{\alpha ,\rho } f \bigl(s,x(s)\bigr) (t)+ \lambda _{1}(t)\, {{}_{a}} \mathfrak{I}^{\alpha ,\rho }f\bigl(s,x(s)\bigr) (\xi )+\lambda _{2}(t)\, {{}_{a}}\mathfrak{I}^{\alpha ,\rho }f\bigl(s,x(s)\bigr) (T) \\& \qquad {}-\lambda _{3}(t)\,{{}_{a}}\mathfrak{I}^{\alpha +\beta ,\rho }f \bigl(s,x(s)\bigr) ( \sigma )+\lambda _{4}(t) \bigr\vert \\& \quad \le \varepsilon \varphi (t)\varPhi +\|p\|\psi \bigl( \Vert x \Vert \bigr) \varPhi +\|p\|\psi \bigl( \Vert y \Vert \bigr)\varPhi +2M_{4} \\& \quad \le \varepsilon \varphi (t)\varPhi +2N \leq \varepsilon \varphi (t)\varPhi + \varepsilon \varphi (t), \end{aligned}$$

which yields that

$$ \bigl\vert y(t)-x(t) \bigr\vert \le \varepsilon (1+\varPhi ) \varphi (t). $$

(4.5)

Taking for simplicity $\kappa _{\varphi }=(1+\varPhi )$, then (4.5) becomes

$$ \bigl\vert y(t)-x(t) \bigr\vert \le \kappa _{\varphi }\varepsilon \varphi (t), \quad t\in [a,T]. $$

Thus problem (1.1) is Ulam–Hyers–Rassias stable. Further, in the same fashion, it can be shown that problem (1.1) is generalized Ulam–Hyers–Rassias stable. □

5 Examples

In this section, we present examples to illustrate our results.

Example 5.1

Consider the following four-point integral boundary value problem:

$$ \textstyle\begin{cases} ({{}_{0}^{C}}\mathfrak{D}^{\frac{3}{2},1}x )(t)=f(t,x(t)), \quad 0 < t < 1, \\ x(0)=\frac{1}{2}x (\frac{1}{2} )+\frac{3}{4}, \qquad x(1)=109 ({{}_{0}}\mathfrak{I}^{\frac{1}{3},1}x ) (\frac{1}{3} ). \end{cases} $$

(5.1)

Here $\alpha =3/2$, $\rho =1$, $a=0$, $T=1$, $\mu _{1}=1/2$, $\mu _{2}=3/4$, $\xi =1/2$, $\lambda =109$, $\sigma =1/3$, $\beta =1/3$. From information, we can find that $\mathcal{J}= 30.98772937\neq 0$ and

$$\begin{aligned} \varPhi &= \frac{(T-a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}+M_{1}\frac{( \xi -a)^{\rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}+M_{2} \frac{(T-a)^{ \rho \alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}+M_{3}\frac{(\sigma -a)^{\rho (\alpha +\beta )}}{\rho ^{\alpha +\beta }\varGamma (\alpha + \beta +1)} \\ &= 1.71645006. \end{aligned}$$

(i) If

$$ f(t,x)=\frac{2}{57}\sin \bigl((t+1)^{2}\bigr) \biggl( \frac{|x|}{1+|x|}+ \frac{1}{2+|x|} \biggr)|x|, $$

then $|f(t,x)-f(t,y)| \leq 2/57|x-y|$, and consequently (H₁) is satisfied with $L=2/57$. Thus $L\varPhi = 0.06022632<1$. Hence, by Theorem 3.1, problem (5.1) has a unique solution on $[0,1]$.

Further, we can find that $\kappa =\varPhi /(1-L\varPhi )=1.82645044>0$. Hence, by Theorem 4.1, problem (5.1) is Ulam–Hyers stable and also generalized Ulam–Hyers stable.

(ii) If

$$ f(t,x)=\frac{1}{19}(t-1)^{2} \biggl(\frac{x^{2}}{1+|x|}+ \frac{|x|+2}{3+|x|} \biggr), $$

it follows that

$$ \bigl\vert f(t,x) \bigr\vert \leq \frac{1}{19}(t-1)^{2} \bigl( \vert x \vert +1\bigr). $$

Choosing $p(t) = (1/19)(t-1)^{2}$ and $\psi (|x|) = |x| + 1$, we can show that

$$ \frac{N}{\|p\|\psi (N)\varPhi +M_{4}}>1 $$

implies that $N>2.860892580$. Hence, by Theorem 3.3, problem (5.1) has at least one solution on $[0,1]$.

Further, by choosing $h(t)=7e^{(t+1)^{2}}$ and $N=3$, then we have $2N\leq h(t)$ for all $t\in [0,1]$. Now we set $\varphi (t)=e^{(t+1)^{2}}$ and we find that $\kappa _{\varphi }=(1+ \varPhi )=2.71645006>0$. Hence, by Theorem 4.2, problem (5.1) is Ulam–Hyers–Rassias stable and also generalized Ulam–Hyers–Rassias stable on $[0,1]$.

6 Conclusion

Existence and uniqueness of solutions for conformable derivatives in the Caputo setting with four-point integral conditions are investigated. The existence results are proved via Krasnoselskii’s fixed point theorem and Leray–Schauder nonlinear alternative, while the uniqueness result is obtained by applying the Banach contraction mapping principle. Further, different types of Ulam stability, such as Ulam–Hyers stability, generalized Ulam–Hyers stability, Ulam–Hyers–Rassias stability, and generalized Ulam–Hyers–Rassias stability, are presented. Examples illustrating the obtained results are also included.