On a class of boundary value problems under ABC fractional derivative

Abstract

In this work, we establish some necessary results about existence theory to a class of boundary value problems (BVPs) of hybrid fractional differential equations (HFDEs) in the frame of Atangana–Baleanu–Caputo (ABC) fractional derivative. Making use of Krasnoselskii and Banach theorems, we obtain the required conditions. Some appropriate results of Hyers–Ulam (H–U) stability corresponding to the considered problem are also established. Also a pertinent example is given to demonstrate the results.

1 Introduction

In previous decades, the area of fractional calculus got much attention from researchers. This is because of numerous applications of fractional order differential equations (FDEs) in mathematical modeling of real world phenomena (see [1–5]). The researchers therefore considered FODEs in their research a lot in the last many years. They established various analyses for the mentioned area including qualitative results for the existence of solution, numerical and stability results, etc. For the respective analysis of FODEs, the researchers used different tools like fixed point approach, Picard type theory, etc. In this respect, huge research work has been established, for details we refer to [6–9].

Here we remark that a class formed from quadratic perturbations of nonlinear differential equations called hybrid differential equations has got proper attention. In this regard, Dhage and Lakshmikantham [10] established significant results and theories. The respective existence theory of solution to the mentioned area is very important and can be established by using hybrid type fixed point approach. As it is known, fractional calculus is more realistic to describe many real world problems including memory and hereditary properties of various materials and processes as compared to classical calculus. Therefore researchers have extended the idea of fractional calculus to investigate H-FDEs from different aspects including existence results and stability theory. In this regard, various interesting results have been established in the literature (see [11–18]). Nowadays, fractional partial differential equations have received a great deal of attention in both analysis and application, and they are used to model various phenomena in diverse areas of science, for instance, chemistry, biology, physics, control theory, and engineering (see [17, 19–21]).

Fractional order derivative has been defined in various ways. Since the mentioned derivative is in fact a definite integral, including its integer counterpart is a special case. Therefore various definitions have been given in the literature in the last decades. Among these definitions, the Riemann–Liouville and Caputo ones have been used in plenty of research articles. Since these definitions involve a singular type kernel, it often makes some complication in numerical treatment of some problems. Therefore very recently Caputo and Fabrizio have defined a new differential operator by replacing singular kernel with nonsingular (exponential type) kernel (we refer to [22]). In subsequent years Atangana and Baleanu introduced a more general definition than Caputo–Fabrizio by including Mittag-Leffler (ML) type kernel (abbreviated as ABC derivative of fractional order). The concerned derivative got much attention and has been used in plenty of research works (see [23–26]). Using the ABC derivative of fractional order, various problems have been studied for existence and stability results, we refer to [27, 28]. In addition, generalized ML kernel operators have been studied by many researchers in applied fields of engineering and sciences. Such kernel types of operators are nonsingular ML kernels with one parameter and also arbitrary ML kernel parameters studied in [29]. Furthermore, some fractional operators have been studied with ML kernels (see [30]). On the other hand, intuitively, fixed point theory can be used in various fields of science and engineering as an authoritative modeling tool to obtain experimental solutions and results. From a broader point of view, the fixed point theory can also be seen as an attempt to link the biological or computational science research on innumerable abstract spaces, on convergence analysis, and on compactness [31]. Further, fixed point theorems are the main core for obtaining the necessary and sufficient conditions for the existence and uniqueness of fractional differential equations. In particular, Banach’s fixed point theorem is essential for the uniqueness of the solution, but it needs a strong hypothesis to be applied (see [32, 33]). Some authors may use a priori limits in system solutions to prove the existence of solutions (see [34, 35]).

Motivated by the aforementioned work, in this article we investigate the following BVP of H-FDEs under the ABC derivative of fractional order:

$$ \textstyle\begin{cases} {}_{0}^{\mathit{ABC}} \mathrm{D}^{\omega }_{t} [\phi (t)-\mathscr{F} (t, \phi (t) ) ]= \mathscr{G} (t,\phi (t) ), \quad 0< \omega \leq {1}, t\in [0, \xi ]=\mathscr{I}, \\ \phi (0)= \int _{0}^{\xi } \frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )}\mathscr{H} (\eta , \phi (\eta ) )\,d\eta , \end{cases} $$

(1)

where

$$ \mathscr{F}, \mathscr{G}, \mathscr{H}: \mathscr{I}\times \mathrm{R} \rightarrow \mathrm{R}. $$

Here we state that the considered problem is subjected to the nonlinear integral boundary condition (IBC). The BVPs have many applications which can be traced out in the applied mathematical sciences. For instance, in the theory of thermal ignition of gases, nonlinear diffusion generated by nonlinear sources, and concentration in chemical or biological problems. Further BVPs under IBCs have various applications of mathematical modeling in thermal conduction process, hemic conduction procedure, and hydrodynamics problems, see [36, 37]. Keeping in mind the importance of integral BVPs, in this paper, we study the aforesaid considered problem (1) for qualitative analysis of existence and stability results of Ulam type. The concerned H–U stability has been investigated for usual FODEs in detail, see [38–40]. So far the mentioned stability has been very rarely considered for H-FODEs under ABC derivative of fractional order. We use fixed point approach due to Krasnoselskii [41] and Banach’s contraction principle to derive sufficient results for the existence of at least one solution and unique solution. Further, using the concepts of nonlinear analysis, we also establish stability results of H–U type. Finally, a pertinent example is given to justify the results.

This paper is organized as follows: The first part contains a detailed introduction. The second part contains basic results. The third portion is devoted to existence results. Portion four is related to stability results. In the fifth portion, we give an example, and the last part is related to brief conclusion.

2 Axillary results

In this section, we study some fundamental results, which are used in our main work.

Definition 1

([42])

Let $w\in H^{1}(0, \xi )$ with $\omega \in (0, 1]$, the ABC derivative of fractional order is defined as

$$ {}_{0}^{\mathit{ABC}}\mathrm{D}^{\omega }_{t}w(t)= \frac{\mathcal{N}(\omega )}{1-\omega } \int _{0}^{t} \frac{dw}{d\eta } \mathscr{E}_{\omega } \biggl[\frac{-\omega (t-\eta )}{1-\omega } \biggr]\,d\eta , $$

where $\mathscr{E}_{\omega }=\sum_{i=0}^{\infty } \frac{t^{i\omega }}{\Gamma (\omega i+1)}$ is a Mittag-Leffler function. Also $\mathcal{N}(\omega )$ is called normalization function.

Definition 2

([43])

The corresponding integral is expressed for w as

$$ {}_{0}^{\mathit{AB}}\mathrm{I}^{\omega }_{t}w(t)= \frac{(1-\omega )}{\mathcal{N}(\omega )}w(t)+ \frac{\omega }{\mathcal{N}(\omega )} \int _{0}^{t} \frac{(t-\eta )^{\omega -1}}{\Gamma (\omega )}w(\eta )\,d\eta. $$

Lemma 1

([44])

The solution of

$$\begin{aligned}& {}_{0}^{\mathit{ABC}}\mathrm{D}^{\omega }_{t}\phi (t)=\kappa (t), \\& \phi (0)=\phi _{0}, \end{aligned}$$

with the conditions such that the right-hand side vanishes at $t=0$ is given by

$$ \phi (t)=\phi _{0}+\frac{(1-\omega )}{\mathcal{N}(\omega )}\kappa (t) + \frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1}\kappa ( \eta )\,d\omega . $$

Here we denote by $\mathscr{Z}=AC(\mathscr{J})$ the Banach space under the norm $\|\phi \|_{Z}= \max_{t\in \mathscr{J}} |\phi (t)|$.

Theorem 1

([45])

Let for a convex set $\mathscr{B}$ of $\mathscr{Z}$ with a mapping $\mathscr{A}w=Fw+Gu$ such that

• 1. $Fw+Gu$ for every $u, w\in \mathscr{B}$;

• 2. F is compact and continuous;

• 3. G is contraction,

then $\mathscr{A}$ has at least one fixed point.

3 Main results

In this part, we investigate conditions for the existence of at least one solution to H-FDEs (1).

Lemma 2

If $\kappa \in L(\mathscr{J})$, then the solution $\phi \in AC(\mathscr{J})$ of linear BVPs with nonlinear integral BCs

$$ \textstyle\begin{cases} {}_{0}^{\mathit{ABC}} \mathrm{D}^{\omega }_{t}\phi (t)= \kappa (t), \quad 0< \omega \leq {1}, t\in \mathscr{J}, \\ \phi (0)= \int _{0}^{\xi } \frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )}\mathscr{H} (\eta , \phi (\eta ) )\,d\eta , \end{cases} $$

is given by

$$ \begin{aligned} \phi (t) ={}& \int _{0}^{\xi } \frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )}\mathscr{H} \bigl(\eta , \phi (\eta ) \bigr)\,d\eta +\frac{(1-\omega )}{\mathcal{N}(\omega )}\kappa (t) \\ &{}+ \frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1}\kappa ( \eta )\,d\eta . \end{aligned} $$

(2)

Proof 1

Thanks to Lemma 1, we can easily obtain result (2).

Corollary 1

In view of Lemma 2, the solution of nonlinear integral BVPs (1) is given by

$$ \begin{aligned} \phi (t)={}&\mathscr{F} \bigl(t,\phi (t) \bigr)+ \frac{(1-\omega )}{\mathcal{N}(\omega )}\mathscr{G} \bigl(t,\phi (t) \bigr) + \int _{0}^{\xi }\frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )} \mathscr{H} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \\ &{}+\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta . \end{aligned} $$

(3)

To derive the interrelated results, we need the following hypothesis to hold:

$(A_{1})$:

For constants $L_{\mathscr{F}}, L_{\mathscr{G}}, L_{\mathscr{H}}>0$, we have for any $\phi , \bar{\phi }\in \mathscr{Z}$

$$\begin{aligned}& \bigl\vert \mathscr{F} \bigl(t,\phi (t) \bigr)-\mathscr{F} \bigl(t,\bar{\phi }(t) \bigr) \bigr\vert \leq L_{ \mathscr{F}} \bigl\vert \phi (t)-\bar{\phi }(t) \bigr\vert , \\& \bigl\vert \mathscr{G} \bigl(t,\phi (t) \bigr)-\mathscr{G} \bigl(t,\bar{\phi }(t) \bigr) \bigr\vert \leq L_{ \mathscr{G}} \bigl\vert \phi (t)-\bar{\phi }(t) \bigr\vert , \end{aligned}$$

and

$$ \bigl\vert \mathscr{H} \bigl(t,\phi (t) \bigr)-\mathscr{H} \bigl(t,\bar{\phi }(t) \bigr) \bigr\vert \leq L_{ \mathscr{H}} \bigl\vert \phi (t)-\bar{\phi }(t) \bigr\vert . $$

$(A_{2})$:

For any real constants $C_{\mathscr{G}}, M_{\mathscr{G}}>0$, we have

$$ \bigl\vert \mathscr{G} \bigl(t,\phi (t) \bigr) \bigr\vert \leq C_{\mathscr{G}} \bigl\vert \phi (t) \bigr\vert +M_{ \mathscr{G}}. $$

$(A_{3})$:

Also, for real constants $C_{\mathscr{H}}>0$, $M_{\mathscr{H}}>0$, we have

$$ \bigl\vert \mathscr{H} \bigl(t,\phi (t) \bigr) \bigr\vert \leq C_{\mathscr{H}} \bigl\vert \phi (t) \bigr\vert +M_{ \mathscr{H}}. $$

On using (3), we define the operator $\mathscr{A}: \mathscr{Z}\rightarrow \mathscr{Z}$ by

$$ \begin{aligned} \mathscr{A}\phi (t)={}& \mathscr{F} \bigl(t,\phi (t) \bigr)+ \frac{(1-\omega )}{\mathcal{N}(\omega )}\mathscr{G} \bigl(t,\phi (t) \bigr) + \int _{0}^{\xi }\frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )} \mathscr{H} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \\ &{}+\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta , \quad t\in \mathscr{J}. \end{aligned} $$

(4)

Theorem 2

Under hypothesis $(A_{1})$, the considered problem (1) has a unique solution if

$$ \Upsilon = \biggl(L_{\mathscr{F}}+ \frac{(1-\omega )}{\mathcal{N}(\omega )}L_{\mathscr{G}} + \frac{L_{\mathscr{H}}\xi ^{\omega }}{\Gamma (\omega +1)} \biggl(1+ \frac{\omega }{\mathcal{N}(\omega )} \biggr) \biggr)< 1. $$

Proof 2

If $\phi , \bar{\phi }\in \mathscr{Z}$, from (4) we have

$$\begin{aligned} \bigl\Vert \mathscr{A}(\phi )-\mathscr{A}(\bar{\phi }) \bigr\Vert _{\mathscr{Z}} =&\max_{t \in \mathscr{J}} \bigl\vert \mathscr{A}\phi (t)-\mathscr{A}\bar{\phi }(t) \bigr\vert \\ =&\max_{t\in \mathscr{J}} \biggl\vert \mathscr{F} \bigl(t,\phi (t) \bigr)+ \frac{(1-\omega )}{\mathcal{N}(\omega )}\mathscr{G} \bigl(t,\phi (t) \bigr) \\ &{}+ \int _{0}^{\xi }\frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )} \mathscr{H} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \\ &{}+\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \\ &{}-\mathscr{F} \bigl(t,\bar{\phi }(t) \bigr)- \frac{(1-\omega )}{\mathcal{N}(\omega )}\mathscr{G} \bigl(t,\bar{\phi }(t) \bigr) \\ &{}- \int _{0}^{\xi }\frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )} \mathscr{H} \bigl(\eta ,\bar{\phi }(\eta ) \bigr)\,d\eta \\ &{}-\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \mathscr{G} \bigl(\eta ,\bar{\phi }(\eta ) \bigr)\,d\eta \biggr\vert \\ \leq & L_{\mathscr{F}} \Vert \phi -\bar{\phi } \Vert _{\mathscr{Z}}+ \frac{(1-\omega )}{\mathcal{N}(\omega )}L_{\mathscr{G}} \Vert \phi - \bar{\phi } \Vert _{\mathscr{Z}} \\ &{}+\frac{L_{\mathscr{H}}\xi ^{\omega }}{\Gamma (\omega +1)} \Vert \phi - \bar{\phi } \Vert _{\mathscr{Z}} + \frac{\omega L_{\mathscr{H}}\xi ^{\omega }}{\mathcal{N}(\omega )\Gamma (\omega +1)} \Vert \phi -\bar{\phi } \Vert _{\mathscr{Z}}. \end{aligned}$$

Hence, we obtain

$$ \bigl\Vert \mathscr{A}(\phi )-\mathscr{A}(\bar{\phi }) \bigr\Vert _{ \mathscr{Z}} \leq \biggl(L_{\mathscr{F}}+ \frac{(1-\omega )}{\mathcal{N}(\omega )}L_{\mathscr{G}} + \frac{L_{\mathscr{H}}\xi ^{\omega }}{\Gamma (\omega +1)} \biggl(1+ \frac{\omega }{\mathcal{N}(\omega )} \biggr) \biggr) \Vert \phi -\bar{\phi } \Vert _{ \mathscr{Z}}. $$

Thus we get

$$ \bigl\Vert \mathscr{A}(\phi )-\mathscr{A}(\bar{\phi }) \bigr\Vert _{\mathscr{Z}}\leq \Upsilon \Vert \phi -\bar{\phi } \Vert _{\mathscr{Z}}.$$

(5)

Therefore, $\mathscr{A}$ is a contraction and the said problem (1) has unique solutions.

Thanks to Theorem 1, we derive the next result.

Theorem 3

Thanks to hypotheses $(A_{1})$ and $(A_{2})$, the H-FDE (1) has at least one solution if

$$ L_{\mathscr{F}}+\frac{(1-\omega )}{\mathcal{N}(\omega )}L_{ \mathscr{G}}< 1. $$

Proof 3

Here we define two operators F and G from (4) as

$$\begin{aligned}& F\phi (t)= \mathscr{F} \bigl(t,\phi (t) \bigr)+ \frac{(1-\omega )}{\mathcal{N}(\omega )}\mathscr{G} \bigl(t,\phi (t) \bigr), \\& \begin{aligned}[t] G\phi (t)={}& \int _{0}^{\xi } \frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )}\mathscr{H} \bigl(\eta , \phi (\eta ) \bigr)\,d\eta \\ &{}+\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta . \end{aligned} \end{aligned}$$

(6)

Step 1. Let $\phi ,\bar{\phi }\in \mathscr{Z}$, we have from (6)

$$ \bigl\vert F\phi (t)-F\bar{\phi }(t) \bigr\vert \leq \bigl\vert \mathscr{F} \bigl(t,\phi (t) \bigr)- \mathscr{F} \bigl(t,\bar{\phi }(t) \bigr) \bigr\vert + \biggl\vert \frac{(1-\omega )}{\mathcal{N}(\omega )} \bigl(\mathscr{G} \bigl(t,\phi (t) \bigr)- \mathscr{G} \bigl(t,\bar{\phi }(t) \bigr) \bigr) \biggr\vert . $$

On simplification, we obtain

$$ \Vert F\phi -F\bar{\phi } \Vert _{\mathscr{Z}} \leq L_{\mathscr{F}} \Vert \phi - \bar{\phi } \Vert _{\mathscr{Z}} +\frac{(1-\omega )}{\mathcal{N}(\omega )}L_{ \mathscr{G}} \Vert \phi -\bar{\phi } \Vert _{\mathscr{Z}}. $$

We have

$$ \Vert F\phi -F\bar{\phi } \Vert _{\mathscr{Z}} \leq \biggl(L_{\mathscr{F}}+ \frac{(1-\omega )}{\mathcal{N}(\omega )}L_{\mathscr{G}} \biggr) \Vert \phi - \bar{\phi } \Vert _{\mathscr{Z}}. $$

Thus F is contraction.

Step 2. To derive the required condition in respect of G, let $\mathscr{B}=\{\phi \in \mathscr{Z}; \|\phi \|_{\mathscr{Z}}\leq \rho \}$, then from (6) we can do

$$\begin{aligned}& \begin{aligned} \bigl\vert G\phi (t) \bigr\vert &\leq \biggl\vert \int _{0}^{\xi } \frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )}\mathscr{H} \bigl(\eta , \phi (\eta ) \bigr)\,d\eta \biggr\vert + \biggl\vert \frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \biggr\vert \\ &\leq \int _{0}^{\xi } \frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )} \bigl\vert \mathscr{H} \bigl(\eta , \phi (\eta ) \bigr) \bigr\vert \,d\eta + \frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \bigl\vert \mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr) \bigr\vert \,d\eta , \end{aligned} \\& \Vert G\phi \Vert _{\mathscr{Z}} \leq \frac{\xi ^{\omega }}{\Gamma (\omega +1)} \bigl(C_{\mathscr{H}} \Vert \phi \Vert _{\mathscr{Z}}+M_{\mathscr{H}} \bigr) + \frac{\omega \xi ^{\omega }}{\mathcal{N}(\omega )\Gamma (\omega +1)} \bigl(C_{\mathscr{G}} \Vert \phi \Vert _{\mathscr{Z}}+M_{\mathscr{G}} \bigr), \\& \Vert G\phi \Vert _{\mathscr{Z}} \leq \frac{\xi ^{\omega }}{\Gamma (\omega +1)} \biggl(C_{\mathscr{H}}\rho +M_{ \mathscr{H}}+\frac{\omega }{\mathcal{N}(\omega )} (C_{\mathscr{G}} \rho +M_{\mathscr{G}} ) \biggr)=\Lambda , \\& \Vert G\phi \Vert _{\mathscr{Z}} \leq \Lambda . \end{aligned}$$

Thus G is bounded. Further, as $\mathscr{H}$, $\mathscr{G}$ are continuous, therefore G is also.

Step 3. For equicontinuity, let ${t}_{1}<{t}_{2}\in \mathscr{J}$, we have

$$\begin{aligned} \bigl\vert G\phi (t_{2})-G\phi (t_{1}) \bigr\vert \leq & \biggl\vert \frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t_{2}}(t_{2}- \eta )^{\omega -1}\mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \\ &{}-\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t_{1}}(t_{1}- \eta )^{\omega -1}\mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \biggr\vert \\ \leq & \biggl\vert \frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t_{1}} \bigl[(t_{2}-\eta )^{\omega -1}-(t_{2}-\eta )^{\omega -1} \bigr] \mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \biggr\vert \\ &{}+ \biggl\vert \frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{t_{1}}^{t_{2}}(t_{2}- \eta )^{\omega -1}\mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \biggr\vert \\ \leq &\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega +1)} (C_{ \mathscr{G}}\rho +M_{\mathscr{G}} ) \bigl(t_{1}^{\omega }-t_{2}^{ \omega } \bigr). \end{aligned}$$

(7)

Obviously, from (7), we see that $t_{1}\rightarrow t_{2}$, the right-hand side of the above inequality goes to zero, therefore $\|G\phi (t_{2})-G\phi (t_{1})\|_{\mathscr{Z}}\rightarrow 0$ as $t_{1}\rightarrow t_{2}$. As the operator Gϕ is continuous and bounded, so it is uniformly continuous. Also $G(\mathscr{B})\subset \mathscr{B}$ is compact. Thanks to Arzelá–Ascoli theorem, the operator G fulfills all the conditions of complete continuity. Hence H-FDE (1) has at least one solution.

4 Stability results

This portion is devoted to establishing results about H–U stability for considered H-FDE (1).

Definition 3

H-FDE (1) is H–U stable if, for any $\varepsilon >0$, for the given inequality

$$ \bigl\vert _{0}^{\mathit{ABC}}\mathrm{D}^{\omega }_{t} \bigl[\phi (t)-\mathscr{F} \bigl(t, \phi (t) \bigr) \bigr]- \mathscr{G} \bigl(t, \phi (t) \bigr) \bigr\vert < \varepsilon \quad \text{for all } t \in \mathscr{J}, $$

there exists the unique solution ϕ̄ with a constant $\mathscr{W}_{\mathscr{F}}$ such that

$$ \bigl\vert \phi (t)-\bar{\phi }(t) \bigr\vert \leq \mathscr{W}_{\mathscr{F}} \varepsilon \quad \text{for all } t\in \mathscr{J}. $$

Further, H-FDE problem (1) will be generalized H–U stable if there exists a nondecreasing function $\varphi :(0, 1)\rightarrow (0, \infty )$ such that

$$ \bigl\vert \phi (t)-\bar{\phi }(t) \bigr\vert \leq \mathscr{W}_{\mathscr{F}} \varphi ( \varepsilon )\quad \text{for all } t\in \mathscr{J}, $$

with $\varphi (0)=0$.

The given result is needed.

Remark 1

If we have a function ψ independent of $\phi \in \mathscr{Z}$ with $\psi (0)=0$ and $\psi (\xi )=0$ with

• 1. $|\psi (t)|\leq \varepsilon$ for every $t\in \mathscr{J}$;

• 2. ${}_{0}^{\mathit{ABC}}\mathrm{D}^{\omega }_{t}[\phi (t)-\mathscr{F}(t, \phi (t))]= \mathscr{G}(t,\phi (t))+\psi (t)$ for all $t\in \mathscr{J}$.

Lemma 3

The solution of the given H-FDE problem

$$ \textstyle\begin{cases} {}_{0}^{\mathit{ABC}} \mathrm{D}^{\omega }_{t} [\phi (t)-\mathscr{F} (t, \phi (t) ) ]= \mathscr{G} (t,\phi (t) )+\psi (t), \quad 0< \omega \leq {1}, t \in \mathscr{J}, \\ \phi (0)= \int _{0}^{\xi } \frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )}\mathscr{H} (\eta , \phi (\eta ) )\,d\eta \end{cases} $$

(8)

is

$$\begin{aligned} \phi (t) =&\mathscr{F} \bigl(t,\phi (t) \bigr)+ \frac{(1-\omega )}{\mathcal{N}(\omega )}\mathscr{G} \bigl(t,\phi (t) \bigr) + \frac{(1-\omega )}{\mathcal{N}(\omega )} \psi (t))+ \int _{0}^{\xi } \frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )}\mathscr{H} \bigl(\eta , \phi (\eta ) \bigr)\,d\eta \\ &{}+\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \\ &{}+ \frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1}\psi ( \eta )\,d\eta . \end{aligned}$$

(9)

Moreover, from (9), we have

$$\begin{aligned}& \biggl\vert \phi (t) - \biggl[\mathscr{F} \bigl(t, \phi (t) \bigr)+ \frac{(1-\omega )}{\mathcal{N}(\omega )}\mathscr{G} \bigl(t,\phi (t) \bigr) + \int _{0}^{\xi }\frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )} \mathscr{H} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \\& \qquad {}+\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \biggr] \biggr\vert \\& \quad \leq \biggl(\frac{(1-\omega )}{\mathcal{N}(\omega )}+ \frac{\omega \xi ^{\omega }}{\mathcal{N}(\omega )\Gamma (\omega +1)} \biggr)\varepsilon . \end{aligned}$$

(10)

Proof 4

Thanks to Lemma 2, we obtain solution (9). Further, thanks to Remark 1, result (10) is obvious.

Theorem 4

Under Lemma 3, the solution of considered H-FDE (1) is H–U and generalized H–U stable if $\Upsilon <1$ exists.

Proof 5

If $\phi \in \mathscr{Z}$ is any solution of problem (1) and $\bar{\phi }\in \mathscr{Z}$ is at most one result of (1), then consider

$$\begin{aligned} \Vert \phi -\bar{\phi } \Vert _{\mathscr{Z}} =& \max_{t\in \mathscr{J}} \bigl\vert \phi (t)- \bar{ \phi }(t) \bigr\vert \\ =&\max_{t\in \mathscr{J}} \biggl\vert \phi (t)- \biggl[\mathscr{F} \bigl(t, \bar{\phi }(t) \bigr)+\frac{(1-\omega )}{\mathcal{N}(\omega )}\mathscr{G} \bigl(t, \bar{\phi }(t) \bigr) \\ &{} + \int _{0}^{\xi } \frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )}\mathscr{H} \bigl(\eta , \bar{\phi }(\eta ) \bigr)\,d\eta \\ &{}+\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \mathscr{G} \bigl(\eta ,\bar{\phi }(\eta ) \bigr)\,d\eta \biggr] \biggr\vert \\ =&\max_{t\in \mathscr{J}} \biggl\vert \phi (t)- \biggl[\mathscr{F} \bigl(t,\phi (t) \bigr)+ \frac{(1-\omega )}{\mathcal{N}(\omega )}\mathscr{G} \bigl(t,\phi (t) \bigr) \\ &{}+ \int _{0}^{\xi }\frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )} \mathscr{H} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \\ &{}+\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \biggr] \\ &{}+ \biggl(\mathscr{F} \bigl(t,\phi (t) \bigr)+ \frac{(1-\omega )}{\mathcal{N}(\omega )}\mathscr{G} \bigl(t,\phi (t) \bigr) + \int _{0}^{\xi }\frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )} \mathscr{H} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \\ &{}+\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \biggr) \\ &{}- \biggl(\mathscr{F} \bigl(t,\bar{\phi }(t) \bigr)+ \frac{(1-\omega )}{\mathcal{N}(\omega )} \mathscr{G} \bigl(t,\bar{\phi }(t) \bigr) + \int _{0}^{\xi }\frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )} \mathscr{H} \bigl(\eta ,\bar{\phi }(\eta ) \bigr)\,d\eta \\ &{}+\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \mathscr{G} \bigl(\eta ,\bar{\phi }(\eta ) \bigr)\,d\eta \biggr) \biggr\vert . \end{aligned}$$

(11)

Hence we get on using $\Omega _{1}=\frac{(1-\omega )}{\mathcal{N}(\omega )}+ \frac{\omega \xi ^{\omega }}{\mathcal{N}(\omega )\Gamma (\omega +1)}$

$$\begin{aligned} \Vert \phi -\bar{\phi } \Vert _{\mathscr{Z}} \leq &\max_{t\in \mathscr{J}} \biggl\vert \phi (t)- \biggl[\mathscr{F} \bigl(t,\phi (t) \bigr)+ \frac{(1-\omega )}{\mathcal{N}(\omega )}\mathscr{G} \bigl(t,\phi (t) \bigr) \\ &{}+ \int _{0}^{\xi }\frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )} \mathscr{H} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \\ &{}+\frac{\omega }{\mathcal{N}(\omega )\Gamma (\omega )} \int _{0}^{t}(t- \eta )^{\omega -1} \mathscr{G} \bigl(\eta ,\phi (\eta ) \bigr)\,d\eta \biggr] \biggr\vert \\ &{}+\max_{t\in \mathscr{J}} \bigl\vert \mathscr{F} \bigl(t,\phi (t) \bigr)-\mathscr{F} \bigl(t, \bar{\phi }(t) \bigr) \bigr\vert + \frac{(1-\omega )}{\mathcal{N}(\omega )}\max_{t\in \mathscr{J}} \bigl\vert \mathscr{G} \bigl(t,\phi (t) \bigr)-\mathscr{G} \bigl(t,\bar{\phi }(t) \bigr) \bigr\vert \\ &{}+\max_{t\in \mathscr{J}} \int _{0}^{\xi } \frac{(\xi -\eta )^{\omega -1}}{\Gamma (\omega )} \bigl\vert \mathscr{H} \bigl(\eta , \phi (\eta ) \bigr)-\mathscr{H} \bigl(\eta ,\bar{\phi }( \eta ) \bigr) \bigr\vert \,d\eta . \end{aligned}$$

(12)

Using hypothesis $(A_{1})$, after some simplification in (12), we obtain by using Lemma 3

$$\begin{aligned} \Vert \phi -\bar{\phi } \Vert _{\mathscr{Z}} \leq &\Omega _{1}\varepsilon \\ &{}+ \biggl[L_{\mathscr{F}}+ \biggl( \frac{(1-\omega )}{\mathcal{N}(\omega )}+ \frac{\omega \xi ^{\omega }}{\mathcal{N}(\omega )\Gamma (\omega +1)} \biggr)L_{\mathscr{G}} \\ &{}+\frac{\xi ^{\omega }L_{\mathscr{H}}}{\Gamma (\omega +1)} \biggr] \Vert \phi -\bar{\phi } \Vert _{\mathscr{Z}}. \end{aligned}$$

(13)

Hence, we get from (13)

$$ \Vert \phi -\bar{\phi } \Vert _{\mathscr{Z}} \leq \frac{\Omega _{1}}{1-\Upsilon } \varepsilon . $$

(14)

Thus, the solution is H–U stable. Further, for generalized H–U stability, we have

$$ \mathscr{W}_{\mathscr{F}}=\frac{\Omega _{1}}{1-\Upsilon }, $$

and there exists a nondecreasing function $\varphi \in C((0, 1),(0,\infty ))$. Then from (14) we get

$$ \Vert \phi -\bar{\phi } \Vert _{\mathscr{Z}}\leq \mathscr{W}_{\mathscr{F}} \varphi (\varepsilon ) \quad \text{with } \varphi (0)=0. $$

So the required result for generalized H–U stability is received.

5 Example of our analysis

In this part, we justify our results via examples as follows.

Example 1

Consider the given H-FDE

$$ \textstyle\begin{cases} {}_{0}^{\mathit{ABC}}\mathrm{D}^{\frac{1}{2}}_{t} [\phi (t)- \frac{\cos \vert \phi (t) \vert }{35} ]= \frac{t^{3}+\sin \vert \phi (t) \vert }{45},\quad t\in {[0,1]}, \\ \phi (0)=\int _{0}^{1}\frac{(1-\eta )^{\omega -1}}{\Gamma (\omega )} \frac{1}{25}\exp (-\phi (\eta ))\,d\eta , \end{cases} $$

(15)

where

$$ \mathscr{F} \bigl(t,\phi (t) \bigr)= \frac{\cos \vert \phi (t) \vert }{35}, \qquad \mathscr{G} \bigl(t, \phi (t) \bigr)= \frac{t^{3}+\sin \vert \phi (t) \vert }{45} $$

and $\mathscr{H}(t,\phi (t))= \frac{1}{25}\exp (-\phi (t))$. As $\xi =1$ and $\omega =\frac{1}{2}$, let $\phi , \bar{\phi }\in \mathscr{Z}$, one has

$$\begin{aligned}& \begin{aligned} \bigl\vert \mathscr{F} \bigl(t,\phi (t) \bigr)-\mathscr{F} \bigl(t,\bar{\phi }(t) \bigr) \bigr\vert &= \biggl\vert \frac{\cos \vert \phi (t) \vert }{35}- \frac{\cos \vert \bar{\phi }(t) \vert }{35} \biggr\vert \\ &\leq \frac{1}{35} \bigl\vert \phi (t)-\bar{\phi }(t) \bigr\vert , \end{aligned} \\& \begin{aligned} \bigl\vert \mathscr{G} \bigl(t,\phi (t) \bigr)-\mathscr{G} \bigl(t,\bar{\phi }(t) \bigr) \bigr\vert &= \biggl\vert \frac{t^{3}+\sin \vert \phi (t) \vert }{45}- \frac{t^{3}+\sin \vert \bar{\phi }(t) \vert }{45} \biggr\vert \\ &\leq \frac{1}{45} \bigl\vert \phi (t)-\bar{\phi }(t) \bigr\vert \end{aligned} \end{aligned}$$

and

$$\begin{aligned} \bigl\vert \mathscr{H} \bigl(t,\phi (t) \bigr)-\mathscr{H} \bigl(t,\bar{\phi }(t) \bigr) \bigr\vert =& \biggl\vert \frac{1}{25}\exp \bigl(-\phi (t) \bigr)-\frac{1}{25}\exp \bigl(-\bar{\phi }(t) \bigr) \biggr\vert \\ \leq &\frac{1}{25} \bigl\vert \phi (t)-\bar{\phi }(t) \bigr\vert . \end{aligned}$$

Thus we have ${L}_{f}=\frac{1}{35}$, ${L}_{g}=\frac{1}{45}$, and ${L}_{h}=\frac{1}{25}$. Now we check the conditions of the theorems and obtain

$$ \Upsilon =L_{\mathscr{F}}+\frac{1-\omega }{\mathcal{N}(\omega )}L_{ \mathscr{G}} + \frac{L_{\mathscr{H}}\xi ^{\omega }}{\Gamma (\omega +1)} \biggl(1+\frac{\omega }{\mathcal{N}(\omega )} \biggr)=\frac{409}{6300}< 1. $$

Thus, the condition of Theorem 2 is satisfied. Therefore, problem (15) has a unique solution. Next

$$ L_{\mathscr{F}}+\frac{1-\omega }{\mathcal{N}(\omega )}L_{\mathscr{G}}= \frac{25}{630}< 1. $$

Thus, the condition of Theorem 3 is also satisfied, hence the given problem (15) has at least one solution. Also for H–U stability

$$ L_{\mathscr{F}}+ \biggl(\frac{1-\omega }{\mathcal{N}(\omega )}+ \frac{\omega \xi ^{\omega }}{\mathcal{N}(\omega )\Gamma (\omega +1)} \biggr)L_{\mathscr{G}} + \frac{\xi ^{\omega }L_{\mathscr{H}}}{\Gamma (\omega +1)}= \frac{377}{3150}\approx 0.11968< 1. $$

Thus problem (15) is H–U and generalized H–U stable.

6 Conclusion

This work has successfully developed existence and stability results for the integral BVP of H-FDEs under nonsingular kernel type derivative. The concerned BC is nonlinear of integral type. Such problems have many applications in mathematical modeling of thermal and hydrodynamical problems. Based on fixed point approach, we have established some adequate results for at least one solution. Also some interesting results for H–U type stability have been derived. The aforesaid derived results have been justified by providing a suitable problem. In the future, the aforesaid analysis can be extended to a nonlinear coupled system with integral BCs involving a Mittag-Leffler type derivative.