Skip to main content

Existence and stability results for nonlocal boundary value problems of fractional order

Abstract

In this paper, we prove the existence and uniqueness of solutions for the nonlocal boundary value problem (BVP) using Caputo fractional derivative (CFD). We derive Green’s function and give some estimation for it to derive our main results. The main principles applied to investigate our results are based on the Banach contraction fixed point theorem and Schauder fixed point approach. We dwell in detail on some results concerning the Hyers-Ulam (H-U) type and generalized H-U (g-H-U) type stability also for problem we are considering. We justify our results with an illustrative example.

Introduction

Fractional differential equations (FDEs) refer to the generalization of integer-order differential equations. They appear in various scientific and engineering fields, for instance, the mathematical modeling of different dynamical processes in epidemiology [14], chemistry, physics [5], psychology [6], biology, signal and image processing, control theory, ecology [7], etc. As a result, the concept of non-integer order differential equations is continuously getting more consequences and relevancy. For instances and details, see [811] and the given references therein. After all, even though the BVPs theory for nonlinear and nonclassical differential equations is still in its infancy, many directions of this literature need to be expanded further.

The topic of multi-point nonlocal BVPs has been raised by various researchers (we refer [1215]). The multi-point boundary constraints arise in various problems of physics, fluid mechanics, and wave propagation (we refer to [16, 17] for interest). For instance, in controllers, the multi-point boundary constraints may be found such that the controllers at the endpoints spread or add energy with related sensors placed at middle-level positions. In the same line, the third-order differential equations in which differentiation of acceleration is involved are called jerk equations, where the time derivative of acceleration occurs (see details in [18, 19]). The said equations are important for engineers and physicists, and they try to plan the vehicles in a way that jerks may be minimal. The third-order differential equations are special cases of FDEs with orders between 2 and 3. The fractional order goes through three, the considered equation possibly corresponds to the jerk equation.

The results related to investigating the existence and uniqueness of solutions for nonlinear multi-point BVPs have been studied by a number of researchers. For example, authors in [20, 21], and references therein have investigated various classes of BVPs of FDEs. Authors [22] have proved the existence of a solution for non-integer order BVP with nonlocal multi-point boundary constraints using Schaefer’s and Krasnoselskii’s fixed point theorems. On the other hand, stability results are important to be investigated in most cases to demonstrate the authenticity and validity of numerical algorithms, methods, and procedures. In this regard, valuable work has been done in the last many decades. Various concepts of stability have been introduced, including exponential, Mittag-Leffler, and Lyapunov types. The stability aspects are very important from the optimization and numerical point of view. So far, we know, a huge amount of work has been done [2327]. Another version of stability introduced by Ulam and explained by Hyers attracted the attention of researchers very well. The said version is easy and understandable for approximate solutions. For functional equations, this kind of stability has been investigated very well (see details in a few articles as [2830]). The mentioned stability has been very well studied for ordinary differential problems. In the last few decades, this aspect has been given more attention and investigated for different classes of initial value problems of FDEs (see [3134]). However, for simple BVPs, the concerned stability has also been well studied. However, in the case of nonlocal BVPs, it is very rarely investigated, especially for jerk-like problems. In this regard, we refer to [3538].

Inspired by the above work, we will extend the results of the following problem [39] to fractional order as

$$\begin{aligned}& y'''+\Lambda (t,y)=0,\quad t\in [{c,d}], \end{aligned}$$
(1.1)
$$\begin{aligned}& y(c)=y'(c)=0,\qquad y(d)=ky(\beta ). \end{aligned}$$
(1.2)

Here \(\beta \in ({c,d})\), \(k \in \mathbb{R}\), \(\Lambda \in C([{c,d}]\times \mathbb{R},\mathbb{R})\), and \(\Lambda (t,0)\neq 0\). In our work, we intend to extend the above (1.1) and (1.2) by taking the Caputo fractional order derivative instead of ordinary (we refer the reader to see [40] for definitions and basic consequences on non-integer order calculus) in the place of the classical operator \(y'''\). Here, we prove the existence and uniqueness of the solution for the following non-integer order BVP of FDEs as

$$\begin{aligned}& ^{c}D_{0+}^{\zeta }y(t)+\Lambda (t,y)=0,\quad t\in [{c,d}], \end{aligned}$$
(1.3)
$$\begin{aligned}& y(c)=y'(c)=0,\qquad y(d)=ky(\beta ), \end{aligned}$$
(1.4)

where \(2< \zeta \le 3\), by assuming that \(\Lambda :[{c,d}]\times \mathbb{R} \to \mathbb{R}\) is a continuous mapping and follows a uniform Lipschitz inequality with respect to y on \([{c,d}]\times \mathbb{R}\), such that there exists a constant \(L>0\), where for every \((t,y),(t,z) \in [{c,d}]\times \mathbb{R}\), we have

$$\begin{aligned} \bigl\vert \Lambda (t,y)-\Lambda (t,z) \bigr\vert \le L \vert y-z \vert . \end{aligned}$$

If \((d-c)^{2} \neq k(c-\beta )^{2}\) with \(c \neq \beta \), \(c\neq d\) and \((d-c)\) is as small such that

$$\begin{aligned} \frac{(d-c)^{3}}{3}+\frac{| k | }{3} \frac{(d-c)^{5}}{| (d-c)^{2}-k(\beta -c)^{2} | }< \frac{1}{L}. \end{aligned}$$

Under the said condition, a unique solution to Problem (1.3) and (1.4) exists. This result will be investigated using fixed point techniques. After that, we will also evaluate the proposed stability analysis for our considered Problem (1.3) and (1.4). Also, H-U and g-H-U stability results are developed for the considered problem using some sophisticated procedure of nonlinear analysis.

The remaining article is arranged as follows: In Sect. 2, we recall some basic definitions and results. In Sect. 3, we compute fractional Green’s function. In Sect. 4, some results about Green’s function and its estimation are given. Section 5 is devoted to existing results. In Sect. 6, we elaborate on stability results. Also, we have given an example to demonstrate our results in Sect. 7. The conclusion is given in Sect. 7.

Elementary results

Here, we recall some basic results of fractional integral and derivative found in [40].

Definition 2.1

The fractional integral of order \(\zeta >0\), for an absolutely continuous function \(y:(0,\infty )\to R\) is defined as

$$\begin{aligned} I_{+0}^{\zeta }y(t)=\frac{1}{\Gamma (\zeta )} \int _{0}^{t}(t-s)^{ \zeta -1}y(s)\,ds , \end{aligned}$$
(2.1)

provided the integral converges at the right sides over \((0, \infty )\).

Definition 2.2

The Caputo fractional derivative of order \(\zeta >0\), for an absolutely continuous function \(y\in C^{n}[c, d]\) is defined as

$$\begin{aligned} ^{c}D_{0+}^{\zeta }y(t) =& \frac{1}{\Gamma (n-\zeta )} \int _{0}^{t}(t-s)^{n- \zeta -1} \frac{d^{n}}{dt^{n}}y(s)\,ds ,\quad n-1< \zeta \leq n, t\in [c, d], \\ \text{where } n =&[\zeta ]+1, \end{aligned}$$
(2.2)

provided that the right side is point wise defined on \((0,\infty )\).

Lemma 2.1

([40])

Let \(\zeta > 0\) and if y is absolutely continuous function, then we have

$$\begin{aligned} I_{+0}^{\zeta }\bigl[^{c}D_{+0}^{\zeta }y(t) \bigr]=y(t)+C_{0}+C_{1}t+\cdots +C_{n-1}t^{ \zeta -n}, \end{aligned}$$
(2.3)

for some constants \(C_{i} \in \mathbb{R}\), \(i=0,1,2,\ldots,n-1\).

Computation and estimation of Green’s function

Now, let us establish Green’s function for the following two-point BVP

$$\begin{aligned}& ^{c}D_{+0}^{\zeta }u(t)+h(t)=0,\quad t \in [{c,d}], \end{aligned}$$
(3.1)
$$\begin{aligned}& u(c)=u'(c)=0,\quad u(d)=0 \end{aligned}$$
(3.2)

with \(c \neq \beta \), \(c\neq d\) and afterwards, supposing that the solution of the following three-point BVP

$$\begin{aligned}& ^{c}D_{+0}^{\zeta }y(t)+h(t)=0,\quad t \in [{c,d}], \end{aligned}$$
(3.3)
$$\begin{aligned}& y(c)=y'(c)=0,\qquad y(d)=ky(\beta ) \end{aligned}$$
(3.4)

can be stated as follows

$$\begin{aligned} y(t)=u(t)+\bigl(\lambda _{0}+\lambda _{1}t+\lambda _{2}t^{2}\bigr)u(\beta ), \end{aligned}$$

where \(\lambda _{0}\), \(\lambda _{1}\), and \(\lambda _{2}\) are constants that will be specified later. We will estimate Green’s function for (3.3) and (3.4), respectively.

Proposition 3.1

If \(h:[{c,d}] \to \mathbb{R}\) is continuous mapping, then BVP (3.1) and (3.2) has a unique solution given by

$$\begin{aligned} u(t)= \int _{c}^{t}{ \biggl[ \frac{(c-t)^{2} (d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}}- \frac{(t-s)^{\zeta -1}}{\Gamma (\zeta )} \biggr]h(s)} \,ds + \int _{t}^{d}{ \biggl[ \frac{(c-t)^{2} (d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}} \biggr]h(s)} \,ds , \end{aligned}$$

which can be expressed in compact form as

$$\begin{aligned} u(t)= \int _{c}^{d}{R(t,s)h(s)\,ds }, \end{aligned}$$

where

$$ R(t,s)= \textstyle\begin{cases}\frac{(c-t)^{2} (d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}}- \frac{(t-s)^{\zeta -1}}{\Gamma (\zeta )},& {c\le s \le t \le d,} \\ \frac{(c-t)^{2} (d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}},& c \le t \le s \le d. \end{cases} $$
(3.5)

Proof

It is well known that Problem (3.1) and (3.2) is similar to solving the integral equation

$$\begin{aligned} u(t)=c_{1}+c_{2}(t-c)+c_{3}(t-c)^{2}- \frac{1}{\Gamma (\zeta )} \int _{c}^{t}(t-s)^{\zeta -1}h(s)\,ds , \end{aligned}$$

where \(c_{1}\), \(c_{2}\), and \(c_{3}\) are some real constants. Using boundary conditions given in (1.4), we can obtain

$$\begin{aligned}& c_{1}=\frac{c^{2}}{\Gamma (\zeta )(c-d)^{2}} \int _{c}^{d} (d-s)^{ \zeta -1}h(s) \,ds , \\& c_{2}=-\frac{2c}{\Gamma (\zeta )(c-d)^{2}} \int _{c}^{d} (d-s)^{ \zeta -1}h(s)\,ds , \\& c_{3}=\frac{1}{\Gamma (\zeta )(c-d)^{2}} \int _{c}^{d} (d-s)^{\zeta -1}h(s) \,ds . \end{aligned}$$

Thus, we get

$$\begin{aligned} u(t) =& \int _{c}^{d} \frac{(c-t)^{2} (d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2} } h(s)\,ds - \int _{c}^{t} \frac{(t-s)^{\zeta -1}}{\Gamma (\zeta ) } h(s)\,ds \\ =& \int _{c}^{t} \frac{(c-t)^{2} (d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2} } h(s)\,ds + \int _{t}^{d} \frac{(c-t)^{2} (d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2} } h(s)\,ds \\ &{} - \int _{c}^{t} \frac{(t-s)^{\zeta -1}}{\Gamma (\zeta ) }h(s)\,ds \\ =& \int _{c}^{t} \biggl[ \frac{(c-t)^{2} (d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}}- \frac{(t-s)^{\zeta -1}}{\Gamma (\zeta )} \biggr]h(s)\,ds \\ &{}+ \int _{t}^{d} \biggl[ \frac{(c-t)^{2} (d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}} \biggr]h(s)\,ds . \end{aligned}$$
(3.6)

 □

The unique result exists from the assumption that the completely homogeneous BVP has only the trivial solution. So Proposition 3.1 has been proved.

Proposition 3.2

Let \(h:[{c,d}] \to \mathbb{R}\) be a continuous mapping, if \(k(c-\beta )^{2} \neq (c-d)^{2}\) and \(c\neq \beta \), \(c\neq d\), then BVP (3.3) and (3.4) has a unique solution given by

$$\begin{aligned} y(t)=u(t)+\frac{k(c-t)^{2}}{(c-d)^{2}-k(c-\beta )^{2}}u(\beta ). \end{aligned}$$

The solution can be written further as

$$\begin{aligned} y(t)= \int _{c}^{d}G(t,s)h(s)\,ds , \end{aligned}$$

where

$$ G(t,s)=R(t,s)+\frac{k(c-t)^{2}}{(c-d)^{2}-k(c-\beta )^{2}}R(\beta ,s). $$
(3.7)

Proof

Let

$$\begin{aligned} y(t)=u(t)+\bigl(\lambda _{0}+\lambda _{1}t+\lambda _{2}t^{2}\bigr)u(\beta ), \end{aligned}$$

where \(\lambda _{0}\), \(\lambda _{1}\), \(\lambda _{2}\) are constants that will be determined using boundary conditions given in (3.4) and

$$\begin{aligned} u(t)= \int _{c}^{d}R(t,s)h(s)\,ds . \end{aligned}$$

Therefore, to compute \(\lambda _{0}\), \(\lambda _{1}\), \(\lambda _{2}\), we proceed as

$$\begin{aligned} y(c) =&u(c)+\bigl(\lambda _{0}+\lambda _{1}c+\lambda _{2}c^{2}\bigr)u(\beta )=\bigl( \lambda _{0}+\lambda _{1}c+\lambda _{2}c^{2} \bigr)u(\beta ), \\ y'(c) =&u'(c)+(\lambda _{1}+2\lambda _{2}c)u(\beta )=(\lambda _{1}+2 \lambda _{2}c)u(\beta ), \\ y(d) =&u(d)+\bigl(\lambda _{0}+\lambda _{1}d+\lambda _{2}d^{2}\bigr)u(\beta )=\bigl( \lambda _{0}+\lambda _{1}d+\lambda _{2}d^{2} \bigr)u(\beta ), \\ y(\beta ) =&u(\beta )+\bigl(\lambda _{0}+\lambda _{1} \beta +\lambda _{2} \beta ^{2}\bigr)u(\beta )=u(\beta ) \bigl(\lambda _{0}+\lambda _{1}\beta + \lambda _{2}\beta ^{2}+1\bigr). \end{aligned}$$

We get

$$\begin{aligned} \bigl(\lambda _{0} &{}+\lambda _{1}c+\lambda _{2}c^{2}\bigr)u(\beta )=0, \\ (\lambda _{1} &{}+2\lambda _{2}c)u(\beta )=0, \\ \bigl(\lambda _{0} &{}+\lambda _{1}d+\lambda _{2}d^{2}\bigr)u(\beta )=ku(\beta ) \bigl( \lambda _{0}+\lambda _{1}\beta +\lambda _{2}\beta ^{2}+1\bigr),\vadjust{\goodbreak} \end{aligned}$$

or

$$\begin{aligned}& \lambda _{0}+\lambda _{1}c+\lambda _{2}c^{2}=0, \\& (\lambda _{1}+2\lambda _{2}c)=0, \\& (1-k)\lambda _{0}+(d-k\beta )\lambda _{1}+ \bigl(d^{2}-k\beta ^{2}\bigr) \lambda _{2}=k. \end{aligned}$$

Solving the system, we get the corresponding values as

$$\begin{aligned}& \lambda _{0}=\frac{c^{2} k}{(c-d)^{2}-k(c-\beta )^{2}},\qquad \lambda _{1}= \frac{-2c k}{(c-d)^{2}-k(c-\beta )^{2}}, \\& \lambda _{2}=\frac{k}{(c-d)^{2}-k(c-\beta )^{2}}. \end{aligned}$$

Therefore, the final solution becomes

$$\begin{aligned} y(t) =&u(t)+ \biggl(\frac{c^{2} k}{(c-d)^{2}-k(c-\beta )^{2}}- \frac{2c kt}{(c-d)^{2}-k(c-\beta )^{2}}+ \frac{k t^{2}}{(c-d)^{2}-k(c-\beta )^{2}} \biggr)u(\beta ) \\ =&u(t)+\frac{k(c-t)^{2}}{(c-d)^{2}-k(c-\beta )^{2}}u(\beta ). \end{aligned}$$

Now we derive the proof of the uniqueness. Let z be also a solution to (3.3) and (3.4), that is

$$\begin{aligned}& ^{c}D_{+0}^{\zeta }z(t)+h(t)=0,\quad t\in [{c,d}], \end{aligned}$$
(3.8)
$$\begin{aligned}& z(c)=z'(d)=0,\qquad z(d)=kz(\beta ). \end{aligned}$$
(3.9)

Let \(\Omega (t)=z(t)-y(t)\), \(t\in [{c, d}]\). Due to linearity property of the Caputo non-integer order derivative, we have

$$\begin{aligned} ^{c}D_{+0}^{\zeta }\Omega (t) =&^{c}D_{+0}^{\zeta }z(t)-^{c}D_{+0}^{ \zeta }y(t) =-h(t)+h(t)=0,\quad t\in [{c, d}]. \end{aligned}$$

Therefore, \(\Omega (t)=c_{1}+c_{2}t+c_{3}t^{2}\), where \(c_{1}\), \(c_{2}\), and \(c_{3}\) are constants that will be computed later. We have

$$\begin{aligned}& \Omega (c)=z(c)-y(c), \\& \Omega '(c)=z'(c)-y'(c), \\& \Omega (d)=z(d)-y(d)=kz(\beta )-ky(\beta )=k\bigl(z(\beta )-y(\beta )\bigr)=k \Omega (\beta ), \end{aligned}$$

or

$$\begin{aligned} \Omega (c) =&c_{1}+c_{2}c+c_{3}c^{2}, \\ \Omega '(c) =&c_{2}+2c_{3}c, \\ \Omega (d) =&c_{1}+c_{2}d+c_{3}d^{2}=k \bigl(c_{1}+c_{2}\beta +c_{3}\beta ^{2}\bigr)=k \Omega (\beta ). \end{aligned}$$

We get the following homogeneous system

$$\begin{aligned} \textstyle\begin{cases} {c_{1}+c_{2}a+c_{3}c^{2}=0,} \\ {c_{2}+2c_{3}c=0,} \\ {c_{1}(1-k)+c_{2}(d-k\beta )+c_{3} \bigl(d^{2}-k\beta ^{2}\bigr)=0,} \end{cases}\displaystyle \end{aligned}$$

with determinant

$$ \begin{vmatrix} 1 & c & c^{2} \\ 0 & 1 & 2c \\ 1-k & d-k\beta & d^{2}-k\beta ^{2} \end{vmatrix}=(c-d)^{2}-k(c-\beta )^{2}\neq 0.$$

Therefore, the homogeneous system contains only the trivial solution, and hence \(\Omega (t)\equiv 0\), \(t\in [{c,d}]\) or \(y(t)\equiv z(t)\), \(t\in [{c, d}]\). Thus, the proof is completed. □

Green’s function estimations

Proposition 4.1

Let \(R(t,s)\) be Green’s function given in Proposition 3.1, then

$$\begin{aligned} \int _{c}^{d}\bigl| R(t,s)\bigr| \,ds \le 2 \frac{(d-c)^{\zeta }}{\Gamma (\zeta +1)},\quad \textit{for } t \in [{c, d}]. \end{aligned}$$

Proof

We deduce the proof as

$$\begin{aligned} \int _{c}^{d}\bigl| R(t,s)\bigr| \,ds \leq & \int _{c}^{t}\bigl| R(t,s)\bigr| \,ds + \int _{t}^{d}\bigl| R(t,s)\bigr| \,ds \\ =& \int _{c}^{t} \biggl\vert { \frac{(c-t)^{2} (d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}}- \frac{(t-s)^{\zeta -1}}{\Gamma (\zeta )}} \biggr\vert \,ds + \int _{t}^{d} \frac{(c-t)^{2} (d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}} \,ds \\ \leq & \int _{c}^{t} \biggl({ \frac{(c-t)^{2} (d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}}+ \frac{(t-s)^{\zeta -1}}{\Gamma (\zeta )}} \biggr)\,ds + \int _{t}^{d} \frac{(c-t)^{2} (d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}} \,ds \\ =& \biggl({ \frac{(c-t)^{2} (d-s)^{\zeta }}{\Gamma (\zeta +1)(c-d)^{2}}+ \frac{(t-s)^{\zeta }}{\Gamma (\zeta +1)}} \biggr)|^{t}_{c}+ \biggl({ \frac{(c-t)^{2} (d-s)^{\zeta }}{\Gamma (\zeta +1)(c-d)^{2}}} \biggr) |^{d}_{t} \\ =&\frac{(c-t)^{2} (d-t)^{\zeta }}{\Gamma (\zeta +1)(c-d)^{2}}- \frac{(c-t)^{2} (d-c)^{\zeta }}{\Gamma (\zeta +1)(d-c)^{2}}- \frac{(t-c)^{\zeta }}{\Gamma (\zeta +1)}- \frac{(c-t)^{2} (d-t)^{\zeta }}{\Gamma (\zeta +1)(c-d)^{2}} \\ =&-\frac{(c-t)^{2} (d-c)^{\zeta }}{\Gamma (\zeta +1)(c-d)^{2}}- \frac{(t-c)^{\zeta }}{\Gamma (\zeta +1)} \\ \leq & \frac{(d-c)^{2} (d-c)^{\zeta }}{\Gamma (\zeta +1)(c-d)^{2}}+ \frac{(d-c)^{\zeta }}{\Gamma (\zeta +1)}= \frac{(d-c)^{\zeta }}{\Gamma (\zeta +1)}+ \frac{(d-c)^{\zeta }}{\Gamma (\zeta +1)}=2 \frac{(d-c)^{\zeta }}{\Gamma (\zeta +1)}. \end{aligned}$$

 □

The next result is also important in our study.

Proposition 4.2

Green’s function \(G(t, s)\) given in Proposition 3.2satisfies the following inequality

$$\begin{aligned} \int _{c}^{d}\bigl| G(t,s)\bigr| \,ds \le 2 \frac{(d-c)^{\zeta }}{\Gamma (\zeta +1)}+2 \frac{| k | }{\Gamma (\zeta +1)} \frac{(d-c)^{\zeta +2}}{| (d-c)^{2}-k(\beta -c)^{2} | }, \end{aligned}$$

for \(t\in [{c, d}]\).

Proof

Here we derive the proof as

$$\begin{aligned} \int _{c}^{d} \bigl\vert G(t,s) \bigr\vert \,ds =& \int _{c}^{d} \biggl\vert {R(t,s)+ \frac{k(c-t)^{2}}{ (c-d)^{2}-k(c-\beta )^{2} }R(\beta ,s)} \biggr\vert \,ds \\ \leq & \int _{c}^{d} \bigl\vert R(t,s) \bigr\vert \,ds + \biggl\vert { \frac{k(c-t)^{2}}{ (c-d)^{2}-k(c-\beta )^{2} }} \biggr\vert \int _{c}^{d} \bigl\vert R( \beta ,s) \bigr\vert \,ds \\ \leq & 2\frac{(d-c)^{\zeta }}{\Gamma (\zeta +1)}+ { \frac{ \vert k(c-t)^{2} \vert }{ \vert (c-d)^{2}-k(c-\beta )^{2} \vert }}2 \frac{(d-c)^{\zeta }}{\Gamma (\zeta +1)} \\ \leq & 2\frac{(d-c)^{\zeta }}{\Gamma (\zeta +1)}+2 \frac{ \vert k \vert }{\Gamma (\zeta +1)} \frac{(d-c)^{\zeta +2}}{ \vert (d-c)^{2}-k(\beta -c)^{2} \vert }. \end{aligned}$$

 □

Existence results for the solution

For further correspondence in this work, we define the following:

$$\begin{aligned} G(t, s) = R(t, s) + \frac{k(c-t)^{2}}{(c-d)^{2}-k(c-\beta )^{2}}R( \beta , s). \end{aligned}$$

For further analysis, we also denote the Banach space by \(X=C[c, d]\) under the norm \(\|y\|=\sup_{t\in [c, d]}|y(t)|\). Hence we define the operator \(T:X\rightarrow X\) by

$$ Ty(t)= \int _{c}^{d} G(t, s)\Lambda \bigl(s, y(s) \bigr)\,ds , \quad t\in [c, d].$$
(5.1)

The following hypothesis needed also to be held:

\((H_{1})\):

Let \(\Lambda :[{c,d}]\times \mathbb{R} \to \mathbb{R}\) is continuous and follows the uniform Lipschitz inequality for y on \([{c, d}]\times \mathbb{R}\), such that there exists a constant L, for all \((t,y),(t,z) \in [{c,d}] \times \mathbb{R}\),

$$ \bigl\vert \Lambda (t,y)-\Lambda (t,z) \bigr\vert \le L \vert y-z \vert .$$

Theorem 5.1

Under the hypothesis \((H_{1})\) and if the condition \((d-c)^{2} \neq k(c-\beta )^{2}\), with \(c \neq \beta \) holds and \(d-c\) is sufficiently small, such that

$$ 2\frac{(d-c)^{\zeta }}{\Gamma (\zeta +1)}+2 \frac{ \vert k \vert }{\Gamma (\zeta +1)} \frac{(d-c)^{\zeta +2}}{ \vert (d-c)^{2}-k(\beta -c)^{2} \vert }< \frac{1}{L}, $$
(5.2)

then there exists a unique solution to (1.3) and (1.4).

Proof

Note that y is a solution to (1.3) and (1.4) if and only if it is a solution to (3.3) and (3.4) with \(h(t)\) replaced by \(\Lambda (t,y(t))\). However, (3.3) and (3.4) have a unique solution given by

$$ y(t)= \int _{c}^{d}G(t,s)\Lambda \bigl(s,y(s) \bigr)\,ds ,$$
(5.3)

where \(G(t,s)\) is specified in Proposition 3.2. Define the operator \(T:X \to X\) by

$$\begin{aligned} Ty(t)= \int _{c}^{d}G(t,s)\Lambda \bigl(s,y(s)\bigr)\,ds , \quad t\in [c, d]. \end{aligned}$$
(5.4)

We will apply the Banach fixed point theorem to determine whether the operator T has a unique fixed point. Assume that \(y,z\in X\), then for \(t\in [c, d]\), we have

$$\begin{aligned} \bigl\vert Ty(t)-Tz(t) \bigr\vert =& \biggl\vert \int _{c}^{d}G(t,s) \bigl(\Lambda \bigl(s,y(s) \bigr)-\Lambda \bigl(s,z(s)\bigr)\bigr)\,ds \biggr\vert \\ \leq & \int _{c}^{d} \bigl\vert G(t,s) \| \Lambda \bigl(s,y(s)\bigr)-\Lambda \bigl(s,z(s)\bigr) \bigr\vert \,ds \\ \leq & \int _{c}^{d} \bigl\vert G(t,s) \bigr\vert L \bigl\vert y(s)-z(s) \bigr\vert \,ds \\ \leq & L \int _{c}^{d} \bigl\vert G(t,s) \bigr\vert \,ds \Vert y-z \Vert \\ \leq & {L \biggl[ 2 \frac{(d-c)^{\zeta }}{\Gamma (\zeta +1)}+2 \frac{ \vert k \vert }{\Gamma (\zeta +1)} \frac{(d-c)^{\zeta +2}}{ \vert (d-c)^{2}-k(\beta -c)^{2} \vert } \biggr]} \Vert x-y \Vert , \end{aligned}$$

where we have utilized Proposition 4.1. It agrees that

$$\begin{aligned} \Vert Ty-Tz \Vert \leq \Omega L \Vert y-z \Vert , \end{aligned}$$

where

$$\begin{aligned} \Omega ={ \biggl[ 2\frac{(d-c)^{\zeta }}{\Gamma (\zeta +1)}+2 \frac{ \vert k \vert }{\Gamma (\zeta +1)} \frac{(d-c)^{\zeta +2}}{ \vert (d-c)^{2}-k(\beta -c)^{2} \vert } \biggr]}. \end{aligned}$$
(5.5)

Hence, we deduce that T is a contraction mapping on X, and from the Banach contraction mapping theorem, we receive the required result. □

For next result, the following hypothesis need to be hold:

\((H_{2})\):

For \((i=1,2)\), let there exists \(\varphi _{i}: [c, d]\rightarrow R\) and \(y\in X\), such that

$$ \bigl\vert \Lambda \bigl(t, y(t)\bigr) \bigr\vert \leq \varphi _{1}(t)+ \varphi _{2}(t) \vert y \vert ,\quad t\in [c, d].$$

Further putting \(\varphi ^{*}_{1}= \sup_{t\in [c, d]}|\varphi _{1}(t)|\) and \(\varphi ^{*}_{2}= \sup_{t\in [c, d]}|\varphi _{2}(t)|\).

Theorem 5.2

Under the hypothesis \((H_{2})\), if \(T:B\rightarrow B\) is a completely continuous operator, then T has at least one fixed point in \(B_{r}\).

Proof

Let X be a Banach space and \(B_{r}\subset X\) be a bounded closed convex subset.

Step 1: First, we are going to show that operator T is continuous.

Let \(\{y_{n}\}\) be a sequence, such that \(B_{r} = \{y \in X: \|y\|\leq r\}\), then, for \(t\in [c, d]\), we have

$$\begin{aligned} \Vert Ty_{n}- Ty \Vert \leq & \sup_{t\in [c, d]} \int _{c}^{d} \bigl\vert G(t, s)\| \Lambda \bigl(s, y_{n}(s)\bigr)- \Lambda \bigl(s, \overline{y}(s)\bigr) \bigr\vert \,ds , \\ \leq & 2 \biggl[\frac{(d-c)^{\zeta }}{\Gamma (\zeta +1)} + \frac{ \vert k \vert }{\Gamma (\zeta +1)} \frac{(d-c)^{\zeta +1}}{(d-c)^{2}-(\beta - c)^{2}} \biggr] \Vert y_{n}-y \Vert \\ =& \Omega L \Vert y_{n}-y \Vert , \end{aligned}$$

where Ω is given in (5.5).

$$\begin{aligned} y_{n}\rightarrow y\quad \text{as } n\rightarrow \infty , \end{aligned}$$

then we have

$$\begin{aligned} \Vert Ty_{n}- Ty \Vert \rightarrow 0,\quad \text{as } n \rightarrow \infty . \end{aligned}$$

Hence T is continuous.

Step 2: Next, to show that T is bounded means maps bounded sets to bounded sets on X. Let \(y\in B_{r}\), then for \(t\in [c, d]\), we have

$$\begin{aligned} \bigl\Vert Ty(t) \bigr\Vert \leq & \sup_{t\in [c, d]} \int _{c}^{d} \bigl\vert G(t, s)\|\Lambda \bigl(s, y(s)\bigr) \bigr\vert \,ds \\ \leq & \Omega \mathop{\operatorname{Sup}}\limits_{t\in [c, d]} \int _{c}^{d}\bigl[ \bigl\vert \varphi _{1}(s) \bigr\vert + \bigl\vert \varphi _{2}(s) \bigr\vert \vert y \vert \bigr] \,ds \\ \leq & \Omega \int _{c}^{d}|\bigl[\varphi ^{*}_{1} \vert + \vert \varphi ^{*}_{2} \vert \bigr] \,ds \\ =& \Omega \bigl(\varphi ^{*}_{1}+ \varphi ^{*}_{2}r\bigr) (d-c) = \epsilon ^{*}. \end{aligned}$$

Hence one has

$$ \Vert Ty \Vert \leq \epsilon ^{*}.$$

Thus, T is a bounded operator.

Step 3: Now, we are going to show that T is equi-continuous. Let \(t_{1}\) and \(t_{2}\in [c, d]\), then

$$\begin{aligned}& \bigl\Vert Ty(t_{2})-Ty(t_{1}) \bigr\Vert \\& \quad \leq \int _{c}^{d} \bigl\vert G(t_{2}, s)-G(t_{1}, s)\bigr\vert \bigl\vert \Lambda \bigl(s, y(s)\bigr) \bigr\vert \,ds \\& \quad \leq \int _{c}^{t_{2}} \biggl[ \frac{(c-t_{2})^{2}(d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}}- \frac{(t_{2}-s)^{\zeta -1}}{\Gamma (\zeta )} \biggr] \bigl[\varphi ^{*}_{1}+ \varphi ^{*}_{2}r\bigr]\,ds \\& \qquad {}+ \int _{t_{2}}^{d} \frac{(c-t_{2})^{2}(d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}}\bigl[ \varphi ^{*}_{1}+ \varphi ^{*}_{2}r \bigr]\,ds \\& \qquad {}+ \frac{k(c-t_{2})^{2}}{(c-d)^{2}-k(c-\beta )^{2}} \int _{c}^{d} \bigl\vert R( \beta , s)\bigr\vert \bigl\vert \varphi ^{*}_{1}+ \varphi ^{*}_{2}r \bigr\vert \,ds \\& \qquad {} - \int _{c}^{t_{1}} \biggl[ \frac{(c-t_{1})^{2}(d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}}- \frac{(t_{1}-s)^{\zeta -1}}{\Gamma (\zeta )} \biggr] \bigl[\varphi ^{*}_{1}+ \varphi ^{*}_{2}r\bigr]\,ds \\& \qquad {} - \int _{t_{1}}^{d} [ \frac{(c-t_{1})^{2}(d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}}\bigl[ \varphi ^{*}_{1}+ \varphi ^{*}_{2}r \bigr]\,ds \\& \qquad {}- \frac{k(c-t_{1})^{2}}{(c-d)^{1}-k(c-\beta )^{2}} \int _{c}^{d} \bigl\vert R( \beta , s)\bigr\vert \bigl\vert \varphi ^{*}_{1}+ \varphi ^{*}_{2}r \bigr\vert \,ds \\& \quad = \bigl[\varphi ^{*}_{1}+ \varphi ^{*}_{2}r\bigr] \biggl( \int _{c}^{t_{2}} \frac{(c-t_{2})^{2}(d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}}- \int _{c}^{t_{1}} \frac{(c-t_{1})^{2}(d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}} \biggr) \\& \qquad {}+\bigl[\varphi ^{*}_{1}+ \varphi ^{*}_{2}r\bigr] \biggl( \int _{c}^{t_{1}} \frac{(t_{1}-s)^{\zeta -1}}{\Gamma (\zeta )}- \int _{c}^{t_{2}} \frac{(t_{2}-s)^{\zeta -1}}{\Gamma (\zeta )} \biggr) \\& \qquad {}+ \bigl[\varphi ^{*}_{1}+ \varphi ^{*}_{2}r\bigr] \biggl( \int _{t_{2}}^{d} \frac{(c-t_{2})^{2}(d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}}\,ds - \int _{t_{1}}^{d} \frac{(c-t_{1})^{2}(d-s)^{\zeta -1}}{\Gamma (\zeta )(c-d)^{2}} \biggr) \\& \qquad {}+ \frac{k}{(c-d)^{2}-k(c-\beta )^{2}}\bigl[(c-t_{2})^{2}-(c-t_{1})^{2} \bigr] \int _{c}^{d} \bigl\vert R(\beta , s) \bigr\vert \bigl[\varphi ^{*}_{1}+ \varphi ^{*}_{2}r\bigr]\,ds . \end{aligned}$$

On further simplification, one has

$$\begin{aligned} \bigl\Vert Ty(t_{2})-Ty(t_{1}) \bigr\Vert \leq & \frac{[\varphi ^{*}_{1}+ \varphi ^{*}_{2}r]}{\Gamma (\zeta +1)(c-d)^{2}} \bigl[(c-t_{2})^{2} \bigl[(d-c)^{\zeta }-(d-t_{2})^{\zeta }\bigr]\\ &{}+ (c-t_{1})^{2}\bigl[(d-t_{1})^{ \zeta }-(d-c)^{\zeta } \bigr] \bigr] \\ &{}+\frac{[\varphi ^{*}_{1}+ \varphi ^{*}_{2}r]}{\Gamma (\zeta +1)} \bigl[(t_{1}-c)^{c}-(t_{2}-c)^{c}) \bigr] \\ &{}+ \frac{[\varphi ^{*}_{1}+ \varphi ^{*}_{2}r]}{\Gamma (\zeta +1)(c-d)^{2}} [(c-t_{2})^{2}(d-t_{2})^{\zeta }- (c-t_{1})^{2}\bigl[(d-t_{1})^{\zeta } \bigr] \\ &{}+ \frac{k[\varphi ^{*}_{1}+ \varphi ^{*}_{2}r]}{(c-d)^{2}-k(c-\beta )^{2}}\bigl[(c-t_{2})^{2}-(c-t_{1})^{2} \bigr] \int _{c}^{d} \bigl\vert R(\beta , s) \bigr\vert \,ds . \end{aligned}$$

We see that as \(t_{1}\rightarrow t_{2}\), then the right-hand side tends to 0. As T is bounded and continuous on \(B_{r}\) therefore is uniformly continuous.

Hence we claim that

$$ \bigl\Vert Ty(t_{2})-Ty(t_{1}) \bigr\Vert \rightarrow 0\quad \text{as } t_{1} \rightarrow t_{2}.$$

Thus, using Arzelá Arcoli theorem, one can say that operator T is relatively compact, bounded, and uniformly continuous. Thus, T is the completely continuous operator. Hence, T has at least one fixed point. Therefore, the considered problem has at least one solution. □

Stability results

Here we describe some stability results. The said stability results are based on the H-U concept.

Remark 6.1

We consider a mapping ϕ independent of y, such that \(|\phi (t)|\leq \epsilon \), for every, \(t \in [c, d]\).

Theorem 6.1

The solution to the following perturbed problem

$$ ^{c}D^{\zeta }y(t) = \Lambda \bigl(t, y(t)\bigr) +\phi (t), \quad t \in [c, d], 2< \zeta \leq 3 $$
(6.1)

satisfies the following relation

$$ \biggl\vert y(t)- \int _{c}^{d}G(t, s)\Lambda \bigl(s, y(s) \bigr)\,ds \biggr\vert \leq \Omega \epsilon , $$
(6.2)

where Ω has been given above in (5.5).

Proof

In view of Lemma 2.1, the solution is given by

$$ y(t)= \int _{c}^{d}G(t, s)\Lambda \bigl(s, y(s) \bigr)\,ds + \int _{c}^{d}G(t, s) \phi (s)\,ds . $$
(6.3)

Further, we have for \(t\in [c, d]\)

$$\begin{aligned} \biggl\vert y(t)- \int _{c}^{d}G(t, s)\Lambda \bigl(s, y(s) \bigr)\,ds \biggr\vert \leq & \int _{c}^{d} \bigl\vert G(t, s)\|\phi (s) \bigr\vert \,ds \\ \leq & 2 \biggl\vert \frac{(d-c)^{2}}{\Gamma (\zeta +1)}+ \frac{ \vert k \vert }{\Gamma (\zeta +1)} \frac{(d-c)^{\zeta + 2}}{[(d-c)^{2}-k(\beta -c)^{2}]} \biggr\vert \epsilon \\ =& \Omega \epsilon . \end{aligned}$$

 □

Theorem 6.2

In view of Theorem 6.1and assumption \((H_{1})\), the solution of Problem (1.3) and (1.4) is H-U stable and in the same line will be g-H-U stable if and only if the condition \(\Omega <\frac{1}{L}\) holds.

Proof

Let y be any solution and x be the unique solution of Problem (1.3) and (1.4), such that \(x, y \in X\), then consider

$$\begin{aligned} \Vert x-y \Vert =& \sup_{t \in [c, d]} \biggl\vert x(t)- \int _{c}^{d}G(t, s) \Lambda \bigl(s, y(s) \bigr)\,ds \biggr\vert \\ \leq & \sup_{t \in [c, d]} \biggl\vert x(t)- \int _{c}^{d}G(t, s)\Lambda \bigl(s, x(s) \bigr)\,ds \biggr\vert \\ &{}+ \sup_{t \in [c, d]} \biggl\vert \int _{c}^{d}G(t, s)\Lambda \bigl(s, x(s) \bigr)\,ds - \int _{c}^{d}G(t, s)\Lambda \bigl(s, y(s) \bigr)\,ds \biggr\vert \\ \leq &\Omega \epsilon + L\Omega \Vert x-y \Vert . \end{aligned}$$

Hence

$$\begin{aligned} \Vert x-y \Vert \leq \frac{\Omega }{1-L\Omega }\epsilon , \end{aligned}$$

where \(C_{L,\Omega } = \frac{\Omega }{1-L\Omega }\).

Forth, if we have a non-decreasing function \(\psi : [c, d]\rightarrow R^{+}\), then

$$\begin{aligned} \Vert x-y \Vert \leq C_{L,\Omega }\psi (\epsilon ),\quad \text{where } \psi ( \epsilon ) = \epsilon , \end{aligned}$$

where \(\psi (0) = 0\). So, the solution to the considered problem is also g-H-U stable. □

Illustrative example

Here to support our findings, we present the following example.

Example 7.1

Consider the following nonlocal nonlinear BVP of FDEs as

$$ \textstyle\begin{cases} ^{c}D_{+0}^{\frac{27}{10}}y(t)+2+t^{2}+ \frac{y^{2}}{2(y^{2}+1)}=0, \quad t\in [0, 1], \\ y(0)=y'(0)=0,\qquad y(1)=\frac{3}{4}y \biggl( \frac{1}{2} \biggr). \end{cases} $$
(7.1)

We see from (7.1) that

$$ \Lambda (t,y)=2+t^{2}+ \frac{y^{2}}{2(y^{2}+1)},\qquad \Lambda (t,0)=2+t^{2} \ne 0,$$

and

$$\begin{aligned} \bigl\vert \Lambda (t,y_{1})-\Lambda (t,y_{2}) \bigr\vert =& \biggl\vert \frac{y_{1}^{2}}{2(y_{1}^{2}+1)}-\frac{y_{2}^{2}}{2(y_{2}^{2}+1)} \biggr\vert \\ =& \biggl\vert \frac{y_{1}^{2}(y_{2}^{2}+1)-y_{2}^{2}(y_{1}^{2}+1)}{2(y_{1}^{2}+1)(y_{2}^{2}+1)} \biggr\vert \\ =& \biggl\vert \frac{(y_{1}^{2}-y_{2}^{2})}{2(y_{1}^{2}+1)(y_{2}^{2}+1)} \biggr\vert \\ =& \biggl\vert \frac{(y_{1}-y_{2})(y_{1}+y_{2})}{2(y_{1}^{2}+1)(y_{2}^{2}+1)} \biggr\vert \\ =&\frac{1}{2} \vert y_{1}-y_{2} \vert \biggl\vert \frac{y_{1}+y_{2}}{(y_{1}^{2}+1)(y_{2}^{2}+1)} \biggr\vert \\ =&\frac{1}{2} \vert y_{1}-y_{2} \vert \biggl\vert \frac{y_{1}}{(y_{1}^{2}+1)(y_{2}^{2}+1)}+ \frac{y_{2}}{(y_{1}^{2}+1)(y_{2}^{2}+1)} \biggr\vert \\ < &\frac{1}{2} \vert y_{1}-y_{2} \vert \biggl\vert \frac{y_{1}}{y_{1}^{2}+1}+ \frac{y_{2}}{y_{2}^{2}+1} \biggr\vert \\ < &\frac{1}{2} \vert y_{1}-y_{2} \vert ( 2) \\ =& \vert y_{1}-y_{2} \vert . \end{aligned}$$

So, Λ is a Lipschitz with respect to y on \([0, 1]\times \mathbb{R}\) with the Lipschitz constant \(L=1\).

Since \((d-c)^{2}=1\ne \frac{3}{16}=k(c-\beta )^{2}\) and

$$\begin{aligned} 2\frac{(d-c)^{\frac{27}{10}}}{\Gamma (\frac{27}{10}+1)}+2 \frac{ \vert k \vert }{\Gamma (\frac{27}{10}+1)} \frac{(d-c)^{\frac{27}{10}+2}}{ \vert (d-c)^{2}-k(\beta -c)^{2} \vert } =& \frac{2}{\Gamma (\frac{37}{10})}+\frac{24}{13\Gamma (\frac{37}{10})} \\ =&\frac{50}{13{\Gamma (\frac{37}{10})}}\cong 0.922195< \frac{1}{L}=1. \end{aligned}$$

Now in view of Theorem 5.1, Problem (7.1) has a unique solution. The graph of the solution \(y(t)\) is displayed in Fig. 1. Note that the solution has been obtained here by the generalized differential transform method, which is a very effective tool to give semi-analytical solutions for FDEs (see for details [41]). Also, the condition of H-U stability and g-H-U is obvious. The graphical presentation of the approximate solution is given in Fig. 1.

Figure 1
figure 1

Graphical presentation of approximate solution of Problem (7.1)

Conclusion

We have given some sufficient conditions that demonstrate the existence and uniqueness of the solution for a non-integer order three-point nonlocal BVP of FDEs. Some pertinent results regarding H-U and g-H-U stability have been incorporated. Thanks to the fixed point approach and nonlinear functional analysis, these findings have been established. For validation of our results, an interesting example has also been given. From the mentioned discussion and results, we conclude that fixed point theory is a powerful tool to deal with nonlinear problems of FDEs corresponding to different initial and boundary conditions.

Availability of data and materials

All the data is included in the manuscript.

References

  1. Nabi, K.N., Abboubakar, H., Kumar, P.: Forecasting of COVID-19 pandemic: from integer derivatives to fractional derivatives. Chaos Solitons Fractals 141, 110283 (2020)

    MathSciNet  Article  Google Scholar 

  2. Vellappandi, M., Kumar, P., Govindaraj, V., Albalawi, W.: An optimal control problem for mosaic disease via Caputo fractional derivative. Alex. Eng. J. 61(10), 8027–8037 (2022)

    Article  Google Scholar 

  3. Kumar, P., Erturk, V.S., Yusuf, A., Kumar, S.: Fractional time-delay mathematical modeling of Oncolytic Virotherapy. Chaos Solitons Fractals 150, 111123 (2021)

    MathSciNet  Article  Google Scholar 

  4. Abbas, S., Tyagi, S., Kumar, P., Ertürk, V.S., Momani, S.: Stability and bifurcation analysis of a fractional-order model of cell-to-cell spread of HIV-1 with a discrete time delay. Math. Methods Appl. Sci. (2022)

  5. Erturk, V.S., Godwe, E., Baleanu, D., Kumar, P., Asad, J., Jajarmi, A.: Novel fractional-order Lagrangian to describe motion of beam on nanowire. Acta Phys. Pol. A 140(3), 265 (2021)

    Article  Google Scholar 

  6. Kumar, P., Erturk, V.S., Murillo-Arcila, M.: A complex fractional mathematical modeling for the love story of Layla and Majnun. Chaos Solitons Fractals 150, 111091 (2021)

    MathSciNet  Article  Google Scholar 

  7. Kumar, P., Erturk, V.S., Banerjee, R., Yavuz, M., Govindaraj, V.: Fractional modeling of plankton oxygen dynamics under climate change by the application of a recent numerical algorithm. Phys. Scr. 96(12), 124044 (2021)

    Article  Google Scholar 

  8. Constantinescu, C.D., Ramirez, J.M., Zhu, W.R.: An application of fractional differential equations to risk theory. Finance Stoch. 23, 1001–1024 (2019)

    MathSciNet  Article  Google Scholar 

  9. Tolba, M.F., et al.: Fractional order integrator/differentiator: FPGA implementation and FOPID controller application. Int. J. Elect. Commun. 98, 220–229 (2019)

    Article  Google Scholar 

  10. Shah, K., Zeb, S., Khan, R.A.: Multiplicity results of multi-point boundary value problem of nonlinear fractional differential equations. Appl. Math. Inf. Sci. 12(3), 1–8 (2018)

    MathSciNet  Google Scholar 

  11. Ahmad, B.: Approximation of solutions of the forced Duffing equation with m-point boundary conditions. Commun. Appl. Anal. 13(1), 11 (2009)

    MathSciNet  MATH  Google Scholar 

  12. Ma, R.: A survey on nonlocal boundary value problems. Appl. Math. E-Notes 7, 257–279 (2007)

    MathSciNet  MATH  Google Scholar 

  13. Agarwal, R.P., Bohner, M., Shakhmurov, V.B.: Linear and nonlinear nonlocal boundary value problems for differential-operator equations. Appl. Anal. 85(6–7), 701–716 (2006)

    MathSciNet  Article  Google Scholar 

  14. Graef, J.R., Webb, J.R.L.: Third order boundary value problems with nonlocal boundary conditions. Nonlinear Anal., Theory Methods Appl. 71(5–6), 1542–1551 (2009)

    MathSciNet  Article  Google Scholar 

  15. Bekri, Z., Erturk, V.S., Kumar, P.: On the existence and uniqueness of a nonlinear q-difference boundary value problem of fractional order. Int. J. Model. Simul. Sci. Comput. 13, 2250011 (2021)

    Article  Google Scholar 

  16. Przeradzki, B., Stáczy, R.: Solvability of a multi-point boundary value problem at resonance. J. Math. Anal. Appl. 264, 253–261 (2001)

    MathSciNet  Article  Google Scholar 

  17. Zhang, X., Liu, L.: Positive solutions of fourth-order multi-point boundary value problems with bending term. Appl. Math. Comput. 194(2), 321–332 (2007)

    MathSciNet  MATH  Google Scholar 

  18. Alam, M., et al.: A fractional differential equation with multi-point strip boundary condition involving the Caputo fractional derivative and its Hyers-Ulam stability. Bound. Value Probl. 2021(1), 73 (2021)

    MathSciNet  Article  Google Scholar 

  19. Ziada, E.: Numerical solution for multi-term fractional delay differential equations. J. Frac. Cal. Nonl. Sys. 2(2), 1–12 (2021)

    Article  Google Scholar 

  20. Alsaedi, A., Ahmad, B., Kirane, M., Torebek, B.T.: Blowing-up solutions of the time-fractional dispersive equations. Adv. Nonlinear Anal. 10(1), 952–971 (2021)

    MathSciNet  Article  Google Scholar 

  21. Zhao, H.Y.: Pseudo almost periodic solutions for a class of differential equation with delays depending on state. Adv. Nonlinear Anal. 9(1), 1251–1258 (2020)

    MathSciNet  Article  Google Scholar 

  22. Mehmood, N., Ahmad, N.: Existence results for fractional order boundary value problem with nonlocal non-separated type multi-point integral boundary conditions. AIMS Math. 5(1), 385–398 (2020)

    MathSciNet  Article  Google Scholar 

  23. Burton, T.A., Furumochi, T.: Krasnoselskiis fixed point theorem and stability. Nonlinear Anal., Theory Methods Appl. 49(4), 445–454 (2004)

    MathSciNet  Article  Google Scholar 

  24. Rassias, T.M., Semrl, P.: On the Hyers-Ulam stability of linear mappings. J. Math. Anal. Appl. 173(2), 325–338 (1993)

    MathSciNet  Article  Google Scholar 

  25. Jung, S.M.: Hyers-Ulam stability of linear differential equations of first order. Appl. Math. Lett. 17(10), 1135–1140 (2004)

    MathSciNet  Article  Google Scholar 

  26. Jung, S.M.: Hyers-Ulam stability of linear differential equations of first order, II. Appl. Math. Lett. 19(9), 854–858 (2006)

    MathSciNet  Article  Google Scholar 

  27. Forti, G.L.: Hyers-Ulam stability of functional equations in several variables. Aequ. Math. 50(1), 143–190 (1995)

    MathSciNet  Article  Google Scholar 

  28. Khan, A., Khan, H., Gómez-Aguilar, J.F., Abdeljawad, T.: Existence and Hyers-Ulam stability for a nonlinear singular fractional differential equations with Mittag-Leffler kernel. Chaos Solitons Fractals 127, 422–427 (2019)

    MathSciNet  Article  Google Scholar 

  29. Liu, K., Wang, J., Zhou, Y., O’Regan, D.: Hyers-Ulam stability and existence of solutions for fractional differential equations with Mittag–Leffler kernel. Chaos Solitons Fractals 132, 109534 (2020)

    MathSciNet  Article  Google Scholar 

  30. Ibrahim, R.W.: Generalized Ulam-Hyers stability for fractional differential equations. Int. J. Math. 23(05), 1250056 (2012)

    MathSciNet  Article  Google Scholar 

  31. Khan, H., Abdeljawad, T., Aslam, M., Khan, R.A., Khan, A.: Existence of positive solution and Hyers–Ulam stability for a nonlinear singular-delay-fractional differential equation. Adv. Differ. Equ. 2019(1), 104 (2019)

    MathSciNet  Article  Google Scholar 

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

    MathSciNet  Article  Google Scholar 

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

    MathSciNet  Article  Google Scholar 

  34. Ahmad, M., Zada, A., Alzabut, J.: Hyers-Ulam stability of a coupled system of fractional differential equations of Hilfer-Hadamard type. Demonstr. Math. 52(1), 283–295 (2019)

    MathSciNet  Article  Google Scholar 

  35. Haq, F., et al.: Hyers-Ulam stability to a class of fractional differential equations with boundary conditions. Int. J. Appl. Comput. Math. 3(1), 1135–1147 (2017)

    MathSciNet  Article  Google Scholar 

  36. Shah, K., Arfan, M., Ullah, A., Al-Mdallal, Q., Ansari, K.J., Abdeljawad, T.: Computational study on the dynamics of fractional order differential equations with applications. Chaos Solitons Fractals 157, 111955 (2022)

    MathSciNet  Article  Google Scholar 

  37. Khan, A., Shah, K., Li, Y., Khan, T.S.: Ulam type stability for a coupled system of boundary value problems of nonlinear fractional differential equations. J. Funct. Spaces 2017, Article ID 3046013 (2017)

    MathSciNet  MATH  Google Scholar 

  38. Shah, K., Sher, M., Ali, A., Abdeljawad, T.: On degree theory for non-monotone type fractional order delay differential equations. AIMS Math. 7(5), 9479–9492 (2022)

    MathSciNet  Article  Google Scholar 

  39. Smirnov, S.: Green’s function and existence of a unique solution for a third-order three-point boundary value problem. Math. Model. Anal. 24(2), 171–178 (2019)

    MathSciNet  Article  Google Scholar 

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

    Book  Google Scholar 

  41. Odibat, Z., Momani, S., Erturk, V.S.: Generalized differential transform method: application to differential equations of fractional order. Appl. Math. Comput. 197(21), 467–477 (2008)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors Kamal Shah and Thabet Abdeljawad would like to thank Prince Sultan University for paying the APC and for the support through the TAS research lab.

Funding

There does not exist any funding source.

Author information

Authors and Affiliations

Authors

Contributions

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

Corresponding author

Correspondence to Thabet Abdeljawad.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Ertürk, V.S., Ali, A., Shah, K. et al. Existence and stability results for nonlocal boundary value problems of fractional order. Bound Value Probl 2022, 25 (2022). https://doi.org/10.1186/s13661-022-01606-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-022-01606-0

MSC

  • 26A03
  • 34A08

Keywords

  • CFD
  • BVP
  • Existence and uniqueness
  • g-H-U stability