Advertisement

Advances in Difference Equations

, 2019:139 | Cite as

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

  • Aphirak Aphithana
  • Sotiris K. Ntouyas
  • Jessada TariboonEmail author
Open Access
Research
  • 228 Downloads

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.

Keywords

Existence and uniqueness Fixed point theorem Fractional differential equations Conformable integrals Conformable derivatives Ulam–Hyers stability 

MSC

34A08 34C10 26A33 

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)
wherenis 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\), nis 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
(H1)

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])

LetMbe a closed, bounded, convex, and nonempty subset of a Banach spaceX. LetA, Bbe the operators such that (a) \(Ax+By \in M\)whenever\(x, y \in M\); (b) Ais compact and continuous; (c) Bis 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 (H1). In addition we assume that
(H2)

\(|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])

LetEbe a Banach space, Cbe a closed, convex subset ofE, Xbe an open subset ofC, 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 ofC) map. Then either
  1. (i)

    Fhas a fixed point in, or

     
  2. (ii)

    there is\(x\in \partial X\) (the boundary ofXinC) and\(\lambda \in (0,1)\)with\(x=\lambda F(x)\).

     

Theorem 3.3

Assume that:
(H3)
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}; $$
(H4)
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 (H4), 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
  1. (i)

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

     
  2. (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 (H1) 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
  1. (i)

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

     
  2. (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 (H3). If (H4) holds and there exists a function\(h(t)\)satisfying Remark4.3with\(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 (H1) 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.

Notes

Availability of data and materials

Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.

Authors’ contributions

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

Funding

A. Aphithana is supported by the Thailand Research Fund through the Royal Golden Jubilee PhD Program (Grant No. PHD/0134/2558).

Competing interests

The authors declare that they have no competing interests.

References

  1. 1.
    Ahmad, B., Alsaedi, A., Ntouyas, S.K., Tariboon, J.: Hadamard-Type Fractional Differential Equations, Inclusions and Inequalities. Springer, Cham (2017) CrossRefGoogle Scholar
  2. 2.
    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006) CrossRefGoogle Scholar
  3. 3.
    Kiryakova, V.: Generalized Fractional Calculus and Applications. Pitman Research Notes in Mathematics Series, vol. 301. Longman, Harlow (1994); copublished in the United States with, John Wiley & Sons, Inc., New York zbMATHGoogle Scholar
  4. 4.
    Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York (1993) zbMATHGoogle Scholar
  5. 5.
    Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999) zbMATHGoogle Scholar
  6. 6.
    Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives. Theory and Applications. Gordon & Breach, Yverdon (1993) zbMATHGoogle Scholar
  7. 7.
    Lakshmikantham, V., Leela, S., Devi, J.V.: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge (2009) zbMATHGoogle Scholar
  8. 8.
    Diethelm, K.: The Analysis of Fractional Differential Equations. Lecture Notes in Mathematics. Springer, Berlin (2010) CrossRefGoogle Scholar
  9. 9.
    Graef, J.R., Kong, L.: Existence of positive solutions to a higher order singular boundary value problem with fractional q-derivatives. Fract. Calc. Appl. Anal. 16, 695–708 (2013) MathSciNetCrossRefGoogle Scholar
  10. 10.
    Alsaedi, A., Ntouyas, S.K., Agarwal, R.P., Ahmad, B.: A nonlocal multi-point multi-term fractional boundary value problem with Riemann-Liouville type integral boundary conditions involving two indices. Adv. Differ. Equ. 2013, 369 (2013) MathSciNetCrossRefGoogle Scholar
  11. 11.
    Zhai, C., Xu, L.: Properties of positive solutions to a class of four-point boundary value problem of Caputo fractional differential equations with a parameter. Commun. Nonlinear Sci. Numer. Simul. 19, 2820–2827 (2014) MathSciNetCrossRefGoogle Scholar
  12. 12.
    Li, B., Sun, S., Li, Y., Zhao, P.: Multi-point boundary value problems for a class of Riemann–Liouville fractional differential equations. Adv. Differ. Equ. 2014, 151 (2014) MathSciNetCrossRefGoogle Scholar
  13. 13.
    Zhang, L., Ahmad, B., Wang, G.: Successive iterations for positive extremal solutions of nonlinear fractional differential equations on a half line. Bull. Aust. Math. Soc. 91, 116–128 (2015) MathSciNetCrossRefGoogle Scholar
  14. 14.
    Ntouyas, S.K., Etemad, S.: On the existence of solutions for fractional differential inclusions with sum and integral boundary conditions. Appl. Math. Comput. 266, 235–243 (2015) MathSciNetzbMATHGoogle Scholar
  15. 15.
    Qarout, D., Ahmad, B., Alsaedi, A.: Existence theorems for semilinear Caputo fractional differential equations with nonlocal discrete and integral boundary conditions. Fract. Calc. Appl. Anal. 19, 463–479 (2016) MathSciNetCrossRefGoogle Scholar
  16. 16.
    Ahmad, B., Ntouyas, S.K., Agarwal, R.P., Alsaedi, A.: Existence results for sequential fractional integro-differential equations with nonlocal multi-point and strip conditions. Bound. Value Probl. 2016, 205 (2016) MathSciNetCrossRefGoogle Scholar
  17. 17.
    Agarwal, R.P., Ahmad, B., Garout, D., Alsaedi, A.: Existence results for coupled nonlinear fractional differential equations equipped with nonlocal coupled flux and multi-point boundary conditions. Chaos Solitons Fractals 102, 149–161 (2017) MathSciNetCrossRefGoogle Scholar
  18. 18.
    Xu, M., Han, Z.: Positive solutions for integral boundary value problem of two-term fractional differential equations. Bound. Value Probl. 2018, 100 (2018) MathSciNetCrossRefGoogle Scholar
  19. 19.
    Wang, G., Pei, K., Agarwal, R.P., Zhang, L., Ahmad, B.: Nonlocal Hadamard fractional boundary value problem with Hadamard integral and discrete boundary conditions on a half-line. J. Comput. Appl. Math. 343, 230–239 (2018) MathSciNetCrossRefGoogle Scholar
  20. 20.
    Baleanu, D., Mousalou, A., Rezapour, S.: The extended fractional Caputo-Fabrizio derivative of order \(0\le \sigma < 1\) on \(C_{ \mathbb{R}}[0,1]\) and the existence of solutions for two higher-order series-type differential equations. Adv. Differ. Equ. 2018, 255 (2018) CrossRefGoogle Scholar
  21. 21.
    Baleanu, D., Ghafarnezhad, K., Rezapour, S., Shabibi, M.: On the existence of solutions of a three steps crisis integro-differential equation. Adv. Differ. Equ. 2018, 135 (2018) MathSciNetCrossRefGoogle Scholar
  22. 22.
    Agarwal, R.P., Baleanu, D., Hedayati, V., Rezapour, S.: Two fractional derivative inclusion problems via integral boundary condition. Appl. Math. Comput. 257, 205–212 (2015) MathSciNetzbMATHGoogle Scholar
  23. 23.
    Baleanu, D., Mohammadi, H., Rezapour, S.: The existence of solutions for a nonlinear mixed problem of singular fractional differential equations. Adv. Differ. Equ. 2013, 359 (2013) MathSciNetCrossRefGoogle Scholar
  24. 24.
    Ulam, S.M.: Problems in Modern Mathematics. Wiley, New York (1940) zbMATHGoogle Scholar
  25. 25.
    Ulam, S.M.: A Collection of Mathematical Problems. Interscience, New York (1968) zbMATHGoogle Scholar
  26. 26.
    Hyers, D.H.: On the stability of linear functional equations. Proc. Natl. Acad. Sci. USA 27, 222–224 (1941) MathSciNetCrossRefGoogle Scholar
  27. 27.
    Aoki, T.: On the stability of linear transformation in Banach spaces. J. Math. Soc. Jpn. 2, 64–66 (1950) MathSciNetCrossRefGoogle Scholar
  28. 28.
    Rassias, T.M.: On the stability of linear mapping in Banach spaces. Proc. Am. Math. Soc. 72, 297–300 (1978) MathSciNetCrossRefGoogle Scholar
  29. 29.
    Rassias, T.M.: On a modified Hyers–Ulam sequence. J. Math. Anal. Appl. 158, 106–113 (2003) MathSciNetCrossRefGoogle Scholar
  30. 30.
    Oblaza, M.: Hyers stability of linear differential equation. Rocznik Nauk.-Dydakt. Prace Mat. 13, 259–270 (1993) MathSciNetGoogle Scholar
  31. 31.
    Benchohra, M., Lazreg, J.E.: On stability of nonlinear implicit fractional differential equations. Matematiche 70, 49–61 (2015) MathSciNetzbMATHGoogle Scholar
  32. 32.
    Benchohra, M., Lazreg, J.E.: Existence and Ulam stability for non-linear implicit fractional differential equations with Hadamard derivative. Stud. Univ. Babeş–Bolyai, Math. 62, 27–38 (2017) MathSciNetCrossRefGoogle Scholar
  33. 33.
    Wang, J., Lv, L., Zhou, Y.: Ulam stability and data dependence for fractional differential equations with Caputo derivative. Electron. J. Qual. Theory Differ. Equ. 2011, 63 (2011) MathSciNetCrossRefGoogle Scholar
  34. 34.
    Wang, J., Zhou, Y.: New concepts and results in stability of fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 17, 2530–2538 (2012) MathSciNetCrossRefGoogle Scholar
  35. 35.
    Aliyu, A., Inc, M., Yusuf, A., Baleanu, D.: A fractional model of vertical transmission and cure of vector-borne diseases pertaining to the Atangana–Baleanu fractional derivatives. Chaos Solitons Fractals 116, 268–277 (2018) MathSciNetCrossRefGoogle Scholar
  36. 36.
    Abro, K., Memon, A., Memon, A.: Functionality of circuit via modern fractional differentiations. Analog Integr. Circuits Signal Process. 99, 11–21 (2019) CrossRefGoogle Scholar
  37. 37.
    Yusuf, A., Qureshi, S., Inc, M., Aliyu, A., Baleanu, D., Shaikh, A.: Two-strain epidemic model involving fractional derivative with Mittag-Leffler kernel. Chaos, Interdiscip. J. Nonlinear Sci. 28(12), 123121 (2018) MathSciNetCrossRefGoogle Scholar
  38. 38.
    Qureshi, S., Chandio, M.: Absolute stability for a fractional numerical algorithm. Sindh Univ. Res. J. Sci. Ser. 49(3), 655–658 (2017) Google Scholar
  39. 39.
    Ghanbari, B., Yusuf, A., Inc, M.: Dark optical solitons and modulation instability analysis of nonlinear Schrodinger equation with higher order dispersion and cubic-quintic nonlinearity. J. Coupled Syst. Multiscale Dyn. 6, 217–227 (2018) CrossRefGoogle Scholar
  40. 40.
    Yusuf, A., Inc, M., Bayram, M.: Stability analysis and conservation laws via multiplier approach for the perturbed Kaup–Newell equation. J. Adv. Phys. 7, 451–453 (2018) Google Scholar
  41. 41.
    Abdel-Gawad, H.I., Tantawy, M., Inc, M., Yusuf, A.: On multi-fusion solitons induced by inelastic collision for quasi-periodic propagation with nonlinear refractive index and stability analysis. Mod. Phys. Lett. B 32(29), 1850353 (2018) MathSciNetCrossRefGoogle Scholar
  42. 42.
    Inc, M., Yusuf, A., Aliyu, A., Baleanu, D.: Soliton solutions and stability analysis for some conformable nonlinear partial differential equations in mathematical physics. Opt. Quantum Electron. 50, 190 (2018) CrossRefGoogle Scholar
  43. 43.
    Inc, M., Yusuf, A., Aliyu, A., Hashemi, M.: Soliton solutions, stability analysis and conservation laws for the brusselator reaction diffusion model with time- and constant-dependent coefficients. Eur. Phys. J. Plus 133, 168 (2018) CrossRefGoogle Scholar
  44. 44.
    Wang, J., Zhou, Y., Medved, M.: Existence and stability of fractional differential equations with Hadamard derivative. Topol. Methods Nonlinear Anal. 41, 113–133 (2013) MathSciNetzbMATHGoogle Scholar
  45. 45.
    Jarad, F., Abdeljawad, T., Baleanu, D.: On a new class of fractional operators. Adv. Differ. Equ. 2017, 247 (2017) MathSciNetCrossRefGoogle Scholar
  46. 46.
    Krasnoselskii, M.A.: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123–127 (1955) MathSciNetGoogle Scholar
  47. 47.
    Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003) CrossRefGoogle Scholar

Copyright information

© The Author(s) 2019

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

  1. 1.Intelligent and Nonlinear Dynamic Innovations Research Center, Department of Mathematics, Faculty of Applied ScienceKing Mongkut’s University of Technology North BangkokBangkokThailand
  2. 2.Department of MathematicsUniversity of IoanninaIoanninaGreece
  3. 3.Nonlinear Analysis and Applied Mathematics (NAAM)-Research Group, Department of Mathematics, Faculty of ScienceKing Abdulaziz UniversityJeddahSaudi Arabia

Personalised recommendations