Advertisement

Ulam–Hyers stability analysis to a class of nonlinear implicit impulsive fractional differential equations with three point boundary conditions

  • Asma
  • Arshad Ali
  • Kamal Shah
  • Fahd Jarad
Open Access
Research
  • 151 Downloads
Part of the following topical collections:
  1. Advances in Fractional Differential Equations and Their Real World Applications - Part Two

Abstract

In this article, we discuss the sufficient conditions for the existence, uniqueness and stability of solutions to a class of nonlinear impulsive boundary value problem of fractional order differential equations. Using classical fixed point theorems, we develop the required conditions. Further, using the techniques of nonlinear functional analysis, we investigate Ulam–Hyers stability results to the proposed problem. For applications of our derived results, we present two numerical examples.

Keywords

Impulsive conditions Implicit differential equations Ulam–Hyers stability 

Abbreviations

FDEs, IBVP, BVP, UH

stability

GUH

stability

GUHR

stability

MSC

26A33 34A08 34A34 

1 Introduction

The concept of fractional calculus has been introduced in 1695, when in a letter to Leibnitz, L’Hospital asked a question about the derivative of order \(q=1/2\). This question was proved a base for the generalization of classical calculus to fractional calculus. Later on, for the first time Lacroix [23] introduced the fractional derivative. In 19th and 20th century, Abel, Riemman and Liouvilli formally developed the concepts of fractional derivatives and integrals. Recently the fractional calculus has become an attractive area of research. One can see its enormous number of applications in different fields of science and engineering like physics, chemistry, finance, diffusion processes, modeling of mechanical properties of materials, signal processing, image processing, modeling of the behavior of viscoelastic and visco-plastic materials under external influences, bioengineering, description of mechanical systems, control theory, psychology phenomenons, etc. For more about this area and its applications, we refer to [1, 2, 3, 4, 5, 8, 9, 11, 12, 13, 14, 21, 22, 25, 26] and the references therein.

The impulsive differential equations constitute an important class of differential equations. These equations arise as a result of modeling the processes subject to abrupt (sudden) changes and discontinuous jumps occur in their states with respect to different intervals of time. Such a phenomenon is naturally seen in various subjects of science like physics, dynamics, geology, geography, biology, engineering and management sciences, etc. Due to the significant applications of impulsive differential equations, this area has got much importance and attention. For its general study and applications, we refer to [10, 27, 30, 31, 32, 35, 39, 41] and the references therein.

On the research side of both classical and fractional calculus, fixed point theory and mathematical inequalities play an important role. Researchers use different techniques to investigate the existence and uniqueness of solutions to various systems of differential equations, we refer to [6, 7, 29].

On other hand, stability analysis has got too much importance on research side. It is very important from numerical and optimization point of view in investigating various problems of physics, mathematical biology, biophysics, economics, where the actual solution is almost difficult. In literature, we come across different approaches towards stability analysis. However, in this paper we discuss the Ulam–Hyers (UH) stability approach which is comparatively the most simple and easy way of investigation the stability of systems. Its history goes back to the middle of the 19th century. In 1940 Ulam posed the question in a seminar held at Wisconsin University “Under what conditions does there exist an additive mapping near an approximately additive mapping?” (see [33, 34]). In 1941, Hyers [18] found the solution to Ulam’s question in the case of Banach spaces. In the year 1978, Rassias investigated the UH stability for linear and nonlinear mappings. In 1988, Jung (see [19, 20]) established the UH stability of more general mappings on restricted domains. In 1993, Obloza [24] established the UH stability of linear differential equations. Later on many researchers generalized these results in many directions.

Impulsive boundary value problems (BVPs) corresponding to integer order differential equations with impulsive conditions have been considered extensively in the literature, but in the case of non-integer order differential equations the problems still need further investigation under impulsive conditions. The aforesaid stability has been investigated for a class of linear fractional order differential equations (FDEs) [38]. Also the above results have been recently extended to semilinear differential equations, impulsive differential equations and partial differential equations, for detail see [16, 36]. Wang et al. [37], studied the above results for a fractional order differential switched systems with coupled nonlocal initial and impulsive conditions.

Recently, Benchohra et al. [15], studied the existence and uniqueness of solution for a class of initial value problems with impulsive conditions given by where Open image in new window is the Caputo fractional derivative, \(f : J\times \mathbf{R}\times \mathbf{R}\rightarrow \mathbf{R}\) is a given continuous function.
The aim of this paper is to study existence, uniqueness of solution and UH stability analysis to the following BVP of implicit impulsive fractional differential equations: where \(f:J\times \mathbf{R}\times \mathbf{R}\rightarrow \mathbf{R}\) and Open image in new window , are nonlinear continuous functions for Open image in new window . Further Open image in new window , Open image in new window , where Open image in new window and Open image in new window denote the right and left-hand limit of the function \(\theta (t)\), respectively, at Open image in new window . Similarly Open image in new window and Open image in new window denote the right and left-hand limit of the function \(\theta '(t)\), respectively, at Open image in new window . Also, \(0=t_{0}< t_{1}<\cdots <t_{ \mathbf{b}}<t_{\mathbf{b}+1}=1\); b is a positive integer.

For existence of solution, we use Schaefer’s fixed point theorem while for investigation of uniqueness result, we use Banach’s fixed point theorem. For applications of our obtained results, we give two numerical examples.

2 Preliminaries and background materials

In this section, we introduce some notations, spaces and definitions and previous results which are used throughout this manuscript. We divide the interval \(J=[0,1]\) into sub intervals \([0,t_{1}], (t_{1},t_{2}], (t _{2},t_{3}],\ldots ,(t_{\mathbf{b}-1},t_{\mathbf{b}}], (t_{ \mathbf{b}},1]\), and denote these sub intervals by \(J_{0}\), \(J_{1}\), \(J_{2}\), …, \(J_{\mathbf{b}-1}\), \(J_{\mathbf{b}}\), respectively. Let \(\acute{J}=J\setminus \{t_{1},t_{2},t_{3},\dots ,t_{\mathbf{b}} \}\). Define the space by Obviously \((\operatorname{PC}(J,\mathbf{R}),\|\theta \|_{\operatorname{PC}(J,\mathbf{R})})\) with the norm \(\|\theta \|_{\operatorname{PC}}=\sup_{t\in J}|\theta (t)|\) is a Banach space.

Definition 2.1

([26])

The fractional integral of order \(q\in \mathbf{R_{+}}\) for a function \(h:(0, \infty )\rightarrow \mathbf{R}\) is defined by
$$ I^{q}_{t} h(t)=\frac{1}{\varGamma (q)} \int _{0}^{t}(t-s)^{q-1}h(s)\,ds, $$
where Γ is the Euler gamma function defined by \(\varGamma (q)= \int _{0}^{\infty }t^{q-1}e^{-t}\,dt\), with \(q>0\). Further the integral on the right side is pointwise defined on \((0, \infty )\).

Definition 2.2

([21])

The Caputo derivative of fractional order \(q>0\) of a function \(h:(0, \infty )\rightarrow \mathbf{R}\) is defined by
$$ ^{c}\mathcal{D}^{q}_{t} h(t)=\frac{1}{\varGamma (q-1)} \int _{0}^{t}(t-s)^{n-q-1}h ^{(n)}(s)\,ds. $$
Here \(n=[q]+1\) and \([q]\) represents the integer part of the real number q, and the integral on the right side is pointwise defined on \((0, \infty )\).

Lemma 2.3

([21])

For\(q>0\), we have the following result:
$$ I^{q}_{t}{^{c}\mathcal{D}^{q}_{t}} h(t)=h(t)-\sum_{i=0}^{n-1} \frac{h ^{(i)}(0)}{i!}t^{i},\quad \textit{where } n=[q]+1. $$

Lemma 2.4

([40])

The given FDE
$$ ^{c}\mathcal{D}^{q}_{t} h(t)=\phi (t),\quad q>0, $$
has a solution given by
$$ I{^{q}}_{t} {^{c}\mathcal{D}^{q}_{t}} h(t)=I^{q}_{t}\phi (t)+c_{0}+c _{1}t+c_{2}t^{2}+c_{3}t^{3}+ \cdots +c_{n-1}t^{n-1}, $$
where\(c_{i}\in \mathbf{R}\), \(i=0\), \(1,2,3,\dots ,n-1\), \(n=[q]+1\).
For the UH’s type stability concepts to the concerned problem, we need the following inequalities. Let \(\varTheta \in \operatorname{PC}(J,\mathbf{R})\), and there exist a constant \(\varphi >0\), \(\epsilon >0\) and nondecreasing function \(\vartheta \in C(J, \mathbf{R})\), such that the following inequalities exist: and

Definition 2.5

([28])

The problem (1) is UH stable if there exists a real number \(c_{f,\mathbf{b}}>0\), such that, for each \(\epsilon >0\) and to each solution \(\varTheta \in \operatorname{PC}(J,\mathbf{R})\) of the inequality (2), there exists a unique solution \(\theta \in \operatorname{PC}(J, \mathbf{R})\) of the problem (1) such that
$$ \bigl\vert \varTheta (t)-\theta (t) \bigr\vert \leq c_{f,\mathbf{b}} (\epsilon ), \quad t\in J, $$
holds.

Definition 2.6

([28])

The problem (1) is GUH stable if there exists \(\psi _{f,\mathbf{b}}\in C(\mathbf{R_{+}},\mathbf{R_{+}})\), \(\psi _{f,\mathbf{b}}(0)=0\), such that, for each solution \(\varTheta \in \operatorname{PC}(J,\mathbf{R})\) of the inequality (2), there exists a unique solution \(\theta \in \operatorname{PC}(J,\mathbf{R})\) to the problem (1) such that
$$ \bigl\vert \varTheta (t)-\theta (t) \bigr\vert \leq \psi _{f,\mathbf{b}} ( \epsilon ), \quad t\in J, $$
holds.

Definition 2.7

([28])

The problem (1) is UHR stable with respect to \((\vartheta ,\varphi )\), if there exists a real number \(c_{f, \mathbf{b},\vartheta }>0\), such that, for each \(\epsilon >0\) and every solution \(\varTheta \in \operatorname{PC}(J,\mathbf{R})\) of the inequality (3), there exists a unique solution \(\theta \in \operatorname{PC}(J,\mathbf{R})\) of the problem (1) such that
$$ \bigl\vert \varTheta (t)-\theta (t) \bigr\vert \leq c_{f,\mathbf{b},\vartheta }\epsilon \bigl( \vartheta (t)+\varphi \bigr), \quad t\in J, $$
holds.

Definition 2.8

([28])

The problem (1) is GUHR stable with respect to \((\vartheta ,\varphi )\), if there exists a real number \(c_{f, \mathbf{b},\vartheta }>0\), such that, for each solution \(\varTheta \in \operatorname{PC}(J,\mathbf{R})\) of the inequality (4), there exists a unique solution \(\theta \in \operatorname{PC}(J,\mathbf{R})\) to the problem (1) such that
$$ \bigl\vert \varTheta (t)-\theta (t) \bigr\vert \leq c_{f,\mathbf{b},\vartheta }\bigl( \vartheta (t)+ \varphi \bigr), \quad t\in J, $$
holds.

Remark 2.9

A function \(\varTheta \in \operatorname{PC}(J,\mathbf{R})\) is a solution of the inequality (2), if there exist a function \(\phi \in \operatorname{PC}(J,\mathbf{R})\) and a sequence Open image in new window , Open image in new window (which depend on Θ only) such that

Remark 2.10

A function \(\varTheta \in \operatorname{PC}(J,\mathbf{R})\) is a solution of the inequality (4), if there exist a function \(\phi \in \operatorname{PC}(J,\mathbf{R})\) and a sequence Open image in new window , Open image in new window (which depend on Θ only) such that

Similarly, one can state the remark for the inequality (3) in the same way.

Theorem 2.11

((Banach’s fixed point theorem) [17])

LetCbe a non-empty closed subset of a Banach spaceE. Then any contraction mapping\(\mathcal{F}\)fromCinto itself has a unique fixed point.

Theorem 2.12

((Schaefer’s fixed point theorem) [17])

LetEbe a Banach space and\(\mathcal{F} : \mathbf{E}\rightarrow \mathbf{E}\)is a completely continuous operator and the set\(\mathbf{D} = \{\theta \in \mathbf{E} :\theta = \mu \mathcal{F}\theta , 0<\mu <1\}\)is bounded. Then\(\mathcal{F}\)has a fixed point inE.

3 Main results

In this section, we study the existence and uniqueness of solution to the proposed class of impulsive BVP of implicit FDEs.

Lemma 3.1

Let\(1< q\leq 2\)and assume that\(\sigma : J\rightarrow \mathbf{R}\)be a continuous function. Then the solution\(\theta \in \operatorname{PC}(J, \mathbf{R})\)of the following implicit impulsive BVP: is given by fractional integral equation aswhere
$$\begin{aligned} \mathbf{B} =&\frac{-t}{\delta } \biggl[\frac{\int _{t_{\mathbf{b}}}^{1}(1-s)^{q-1} \sigma (s))}{\varGamma (q)}\,ds \biggr]- \frac{t(1-\lambda )}{\delta } \sum_{i=1}^{\mathbf{b}} \biggl[ \frac{\int _{t_{i-1}}^{t_{i}}(t _{i}-s)^{q-1}\sigma (s))\,ds}{\varGamma (q)}+I_{i}\theta (t_{i}) \biggr] \\ &{}-\frac{t(1-\lambda )}{\delta }\sum_{i=1}^{\mathbf{b}-1}(t _{\mathbf{b}}-t_{i}) \biggl[\frac{\int _{t_{i-1}}^{t_{i}}(t_{i}-s)^{q-2} \sigma (s)\,ds}{\varGamma (q-1)}+\bar{I}_{i}{ \theta }(t_{i}) \biggr] \\ &{}-\frac{t}{\delta }(1-t_{\mathbf{b}})\sum_{i=1}^{\mathbf{b}} \biggl[\frac{\int _{t_{i-1}}^{t_{i}}(t_{i}-s)^{q-2}\sigma (s)\,ds}{ \varGamma (q-1)}+\bar{I}_{i}(\theta ) (t_{i}) \biggr]-\frac{t\lambda }{ \delta } \biggl[\frac{\int _{t_{\mathbf{b}}}^{\eta }(\eta -s)^{q-1} \sigma (s)\,ds}{\varGamma (q)} \biggr] \\ &{}+\frac{t\lambda (\eta -t_{\mathbf{b}})}{\delta }\sum_{i=1} ^{\mathbf{b}} \biggl[\frac{\int _{t_{i-1}}^{t_{i}}(t_{i}-s)^{q-2}\sigma (s)\,ds}{\varGamma (q-1)}+\bar{I}_{i}(\theta ) (t_{i}) \biggr] \end{aligned}$$
and\(\delta =1-\lambda \eta \), \(\lambda \eta <1\).

Proof

Assume that θ is a solution of problem (5), then, for any \(t\in J_{0}\), there exist constants \(c_{1},c_{2}\in \mathbf{R}\) such that
$$ \begin{aligned} &\theta (t) =I^{q}_{t} \sigma (t)-c_{1}-c_{2}t=\frac{1}{\varGamma (q)} \int _{0}^{t}(t-s)^{q-1}\sigma (s)\,ds-c_{1}-c_{2}t \\ &\theta ^{\prime }(t) =\frac{1}{\varGamma (q-1)} \int _{0}^{t}(t-s)^{q-2} \sigma (s)\,ds-c_{2}. \end{aligned} $$
(7)
Similarly for \(t\in J_{1}\), there exist constants \(d_{1},d_{2}\in \mathbf{R}\), such that
$$ \begin{aligned} &\theta (t) =\frac{1}{\varGamma (q)} \int _{t_{1}}^{t}(t-s)^{q-1}\sigma (s)\,ds-d _{1}-d_{2}(t-t_{1}), \\ &\theta ^{\prime }(t) =\frac{1}{\varGamma (q-1)} \int _{t_{1}}^{t}(t-s)^{q-2} \sigma (s)\,ds-d_{2}. \end{aligned} $$
(8)
From (7) and (8), we have
$$\begin{aligned} &\theta \bigl(t_{1}^{-}\bigr) =\frac{1}{\varGamma (q)} \int _{t_{0}}^{t_{1}}(t_{1}-s)^{q-1} \sigma (s)\,ds-c_{1}-c_{2}t_{1}, \qquad \theta \bigl(t_{1}^{+}\bigr)=-d_{1}, \\ &\theta ^{\prime }\bigl(t_{1}^{-}\bigr) = \frac{1}{\varGamma (q-1)} \int _{0}^{t_{1}}(t _{1}-s)^{q-2} \sigma (s)\,ds-c_{2}, \qquad {\theta }^{\prime } \bigl(t_{1}^{+}\bigr)=-d_{2}. \end{aligned}$$
In view of
$$ \Delta \theta (t_{1})=\theta \bigl(t_{1}^{+} \bigr)-\theta \bigl(t_{1}^{-}\bigr)=I_{1}\bigl( \theta (t_{1})\bigr) \quad \mbox{and} \quad \Delta \theta ^{\prime }(t_{1})= \theta ^{\prime }\bigl(t_{1}^{+}\bigr)- \theta ^{\prime }\bigl(t_{1}^{-}\bigr)=\bar{I}_{1} \bigl(\theta (t_{1})\bigr), $$
we get
$$\begin{aligned} &{-}d_{1} =\frac{1}{\varGamma (q)} \int _{t_{0}}^{t_{1}}(t_{1}-s)^{q-1} \sigma (s)\,ds-c_{1}-c_{2}t_{1}+I_{1} \bigl(\theta (t_{1})\bigr), \\ &{-}d_{2} =\frac{1}{\varGamma (q-1)} \int _{0}^{t_{1}}(t_{1}-s)^{q-2} \sigma (s)\,ds-c_{2}+\bar{I}_{1}\bigl(\theta (t_{1})\bigr). \end{aligned}$$
Consequently,
$$\begin{aligned} \theta (t) =&\frac{1}{\varGamma (q)} \int _{t_{1}}^{t}(t-s)^{q-1}\sigma (s)\,ds+ \frac{1}{ \varGamma (q)} \int _{0}^{t_{1}}(t_{1}-s)^{q-1} \sigma (s)\,ds \\ &{}+\frac{t-t_{1}}{\varGamma (q-1)} \int _{0}^{t_{1}}(t_{1}-s)^{q-2} \sigma (s)\,ds+I_{i}\bigl(\theta (t_{1})\bigr)+(t-t_{1}) \bar{I}_{1}\bigl(\theta (t_{1})\bigr)\\ &{}-c _{1}-c_{2}t, \quad t\in J_{1}. \end{aligned}$$
By a similar way repeating the same process, we get Applying the given boundary conditions \(\theta (0)=0\) and \(\theta (1)= \lambda \theta (\eta )\), we get \(c_{1}=0\) and Substituting these values of \(c_{1}\) and \(c_{2}\) in (7) and (9), we get (6). □
Assume that, for any \(v, \bar{v}, x, \bar{x}\in \mathbf{R}\), \(t\in J\), the following hypotheses hold:
\((H_{1})\)

The function \(f : J\times \mathbf{R}\times \mathbf{R}\rightarrow \mathbf{R}\) is continuous;

\((H_{2})\)
there exists a constant \(0< L<1\), such that
$$ \bigl\vert f(t,v,x)-f(t,\bar{v},\bar{x}) \bigr\vert \leq L\bigl( \vert v- \bar{v} \vert + \vert x-\bar{x} \vert \bigr); $$
\((H_{3})\)

there exists a constant \(m>0\) such that Open image in new window ;

\((H_{4})\)

there exists a constant \(l>0\) such that Open image in new window .

Note: For simplicity we shall use Open image in new window .

Theorem 3.2

Under the hypotheses\((H_{1})\)\((H_{4})\), and if the inequality
$$\begin{aligned} &\biggl[\frac{L((1+\mathbf{b})(1+\delta )+\lambda )}{\delta (1-L) \varGamma (q+1)}+\frac{L((\mathbf{b}-1)(\delta +1)+\mathbf{b}(1+\delta + \lambda ))}{\delta (1-L)\varGamma (q)} \\ &\quad {}+\frac{m((2\mathbf{b}-1)(\delta +1)+ \mathbf{b}\lambda )+\mathbf{b} l(\delta +1)}{\delta } \biggr]< 1, \end{aligned}$$
(10)
holds, then problem (1) has a unique solution.

Proof

We define an operator \(\mathcal{F}:\operatorname{PC}(J,\mathbf{R})\rightarrow \operatorname{PC}(J, \mathbf{R})\) by We look for the fixed points. For this purpose we take \(\theta ,\bar{ \theta }\in \operatorname{PC}(J,\mathbf{R})\) and, for each \(t \in J\), we consider Here
$$ \sigma _{\theta }(t)=f\bigl(t, \theta (t), \sigma _{\theta }(t)\bigr) \quad \mbox{and}\quad \sigma _{\bar{\theta }}(t)=f\bigl(t, \bar{\theta }(t), \sigma _{\bar{\theta }}(t)\bigr). $$
By \((H_{2})\), we get
$$ \bigl\vert \sigma _{\theta }(t)-\sigma _{\bar{\theta }}(t) \bigr\vert = \bigl\vert f\bigl(t, \theta (t), \sigma _{\theta }(t)\bigr)-f\bigl(t, \bar{ \theta }(t), \sigma _{\bar{\theta }}(t)\bigr) \bigr\vert \leq L\bigl[ \bigl\vert \theta (t)-\bar{\theta }(t) \bigr\vert + \bigl\vert \sigma _{\theta }(t)- \sigma _{\bar{\theta }}(t) \bigr\vert \bigr]. $$
Then
$$ \bigl\vert \sigma _{\theta }(t)-\sigma _{\bar{\theta }}(t) \bigr\vert \leq \frac{L}{1-L} \bigl\vert \theta (t)- \bar{\theta }(t) \bigr\vert . $$
(13)
Using (13), Open image in new window , \(t\leq 1\), and taking the maximum on both sides of (12), we have
$$ \begin{aligned}[b] & \bigl\Vert \mathcal{F}(\theta )-\mathcal{F}(\bar{ \theta }) \bigr\Vert \\ &\quad \leq \biggl[\frac{L((1+\mathbf{b})(1+\delta )+\lambda )}{\delta (1-L) \varGamma (q+1)}+\frac{L((\mathbf{b}-1)(\delta +1)+\mathbf{b}(1+\delta + \lambda ))}{\delta (1-L)\varGamma (q)} \\ & \qquad {}+\frac{m((2\mathbf{b}-1)(\delta +1)+ \mathbf{b}\lambda )+\mathbf{b} l(\delta +1)}{\delta } \biggr] \|\theta -\bar{\theta }\|_{\operatorname{PC}}. \end{aligned} $$
(14)
We use
$$ \begin{aligned} &\biggl[\frac{L((1+\mathbf{b})(1+\delta )+\lambda )}{\delta (1-L) \varGamma (q+1)}+\frac{L((\mathbf{b}-1)(\delta +1)+\mathbf{b}(1+\delta + \lambda ))}{\delta (1-L)\varGamma (q)} \\ &\quad {}+\frac{m((2\mathbf{b}-1)(\delta +1)+ \mathbf{b}\lambda )+\mathbf{b} l(\delta +1)}{\delta } \biggr]< 1. \end{aligned} $$
Hence, by Banach’s fixed point theorem \(\mathcal{F}\) is a contraction and hence it has a unique fixed point, that is the unique solution of our considered problem (1). □
Introduce the following hypotheses:
\((H_{5})\)
There exist constants \(\alpha , \beta , \gamma \in C(J,\mathbb{R_{+}})\), such that
$$ \bigl\vert f\bigl(t, \theta (t), \sigma _{\theta }(t)\bigr) \bigr\vert \leq \alpha (t)+\beta (t) \vert \theta \vert +\gamma (t) \vert \sigma _{\theta } \vert ,\quad \mbox{for } t \in J, \theta , \bar{ \theta } \in \mathbf{R}, $$
with \(\alpha ^{*}=\sup_{t\in J}\alpha (t)\), \(\beta ^{*}=\sup_{t\in J} \beta (t)\) and \(\gamma ^{*}=\sup_{t\in J}\gamma (t)<1\);
\((H_{6})\)
the functions \(I_{i}:\mathbf{R}\rightarrow \mathbf{R}\) are continuous and there exist constants \(M^{*}, N^{*}>0\), such that
\((H_{7})\)
the functions \(\bar{I}_{i}:\mathbf{R}\rightarrow \mathbf{R}\) are continuous and there exist constants \(F^{*}, G^{*}>0\), such that

Theorem 3.3

Assume\((H_{1})\), \((H_{2})\), \((H_{5})\)\((H_{7})\)hold, then problem (1) has at leat one solution.

Proof

Consider the operator \(\mathcal{F}\) defined in theorem 3.2. Via Schaefer’s fixed point theorem we prove that \(\mathcal{F}\) has a fixed point. The proof completes in four steps.

Step 1: \(\mathcal{F}\) is continuous. Let \(\{\theta _{n}\}\) be a sequence such that \(\theta _{n}\rightarrow \theta \in \operatorname{PC}(J, \mathbf{R})\). Then, for each \(t\in J\), we have where
$$ \sigma ^{(n)}_{\theta }(t)=f\bigl(t,\theta _{n}(t), \sigma ^{(n)}_{\theta }(t)\bigr) $$
and
$$ \sigma (t)=f\bigl(t,\theta (t),\sigma _{\theta }(t)\bigr). $$
In view of \((H_{2})\), we have
$$\begin{aligned} \bigl\vert \sigma ^{(n)}_{\theta }(t)-\sigma _{\theta }(t) \bigr\vert =& \bigl\vert f\bigl(t,\theta _{n}(t), \sigma ^{(n)}_{\theta }(t)\bigr)-f\bigl(t,\theta (t),\sigma _{\theta }(t)\bigr) \bigr\vert \\ \leq & L\bigl( \bigl\vert \theta _{n}(t)-\theta (t) \bigr\vert + \bigl\vert \sigma ^{(n)}_{\theta }(t)- \sigma _{\theta }(t) \bigr\vert \bigr). \end{aligned}$$
Thus
$$ \bigl\vert \sigma ^{(n)}_{\theta }(t)-\sigma _{\theta }(t) \bigr\vert \leq \frac{L}{1-L} \bigl\vert \theta _{n}(t)-\theta (t) \bigr\vert . $$
Since \(\theta _{n}\rightarrow \theta \), consequently \(\sigma ^{(n)}_{ \theta }(t)\rightarrow \sigma _{\theta }(t)\) as \(n\rightarrow \infty \), for each \(t\in J\). Applying the Lebesgue dominated convergent theorem, the right hand side of (15) goes to zero as \(n\rightarrow \infty \). Hence
$$ \bigl\vert \mathcal{F}(\theta _{n}) (t)-\mathcal{F}(\theta ) (t) \bigr\vert \rightarrow 0,\quad \text{as } n\rightarrow \infty . $$
Thus
$$ \bigl\Vert \mathcal{F}(\theta _{n})-\mathcal{F}(\theta ) \bigr\Vert _{\operatorname{PC}}\rightarrow 0, \quad \text{as } n\rightarrow \infty . $$
Hence \(\mathcal{F}\) is continuous.
Step 2: \(\mathcal{F}\) maps bounded set into bounded set in \(\operatorname{PC}(J,\mathbf{R})\). We need to show that, for any \(\mu ^{*}>0\), there exists a positive constant ρ such that, for each \(\theta \in \varOmega _{\mu ^{*}}=\{\theta \in \operatorname{PC}(J,\mathbf{R}) : \|\theta \|_{\operatorname{PC}} \leq \mu *\}\), we have \(\|\mathcal{F}(\theta )\|_{\operatorname{PC}}\leq \rho \). Therefore, for each \(t\in J\), we have Using \((H_{5})\), we have for each \(t\in J\)
$$\begin{aligned} \bigl\vert \sigma _{\theta }(t) \bigr\vert =& \bigl\vert f\bigl(t,\theta (t),\sigma _{\theta }(t)\bigr) \bigr\vert \\ \leq &\alpha (t)+\beta (t) \bigl\vert \theta (t) \bigr\vert +\gamma (t) \bigl\vert \sigma _{\theta }(t) \bigr\vert \\ \leq &\alpha (t)+\beta (t)\mu ^{*}+\gamma (t) \bigl\vert \sigma _{\theta }(t) \bigr\vert \\ \leq &\alpha ^{*}+\beta ^{*}\mu ^{*}+\gamma ^{*} \bigl\vert \sigma _{\theta }(t) \bigr\vert , \end{aligned}$$
where \(\alpha ^{*}\), \(\beta ^{*}\), \(\gamma ^{*}\) are defined in \((H_{5})\).
The last result implies that
$$ \bigl\vert \sigma _{\theta }(t) \bigr\vert \leq \frac{\alpha ^{*}+\beta ^{*}\mu ^{*}}{1-\gamma ^{*}}=:M. $$
(17)
Using (17) in (16), we have Thus, we have
$$\begin{aligned} \bigl\Vert \mathcal{F}(\theta ) \bigr\Vert _{\operatorname{PC}} \leq & \frac{M}{\delta \varGamma (q+1)} \bigl[(1+\mathbf{b}) (1+\delta )+\lambda \bigr]+ \frac{M}{\delta \varGamma (q)} \bigl[(2\mathbf{b}-1) (\delta +1)+\mathbf{b}\lambda \bigr] \\ &{}+\frac{\mathbf{b}(\delta +1)(M^{*}\mu ^{*}+N^{*})}{\delta }+\frac{ [(2\mathbf{b}-1)(\delta +1)+\mathbf{b}\lambda ](F^{*}\mu ^{*}+G^{*})}{\delta }=\rho . \end{aligned}$$
Step 3: \(\mathcal{F}\) maps bounded set into equi-continuous set. Take \(t_{1}\), \(t_{2}\in J\) with \(t_{1}< t_{2}\) and let \(\varOmega _{\mu ^{*}}\) be a bounded set of \(\operatorname{PC}(J,\mathbf{R})\) as in the previous Step 2, then, for \(\theta \in \varOmega _{\mu ^{*}}\), we have Using inequality (17) and hypotheses \((H_{6})\), \((H_{7})\), we have The right hand side of (18) goes to zero as \(t_{1}\rightarrow t_{2}\), consequently
$$ \bigl\vert \mathcal{F}(\theta ) (t_{2})-\mathcal{F}(\theta ) (t_{1}) \bigr\vert \rightarrow 0,\quad \mbox{as } t_{1}\rightarrow t_{2}. $$
As a result of Steps 1 to 3 together with the Arzela–Ascoli theorem, we see that \(\mathcal{F}\) is completely continuous.

Step 4: A priori bound.

Finally, we show that the set \(\varOmega _{\mu ^{*}}=\{\theta \in \operatorname{PC}(J, \mathbf{R}) : \theta = \mu \mathcal{F}(\theta ) \text{ for some } 0< \mu <1\}\) is bounded. Let \(\theta \in \varOmega _{\mu ^{*}}\), then \(\theta = \mu \mathcal{F}(\theta )\), for some \(0<\mu <1\), we have for each \(t \in J\) Using (17) and \((H_{5})\)\((H_{7})\), we have After rearranging the terms, we get
$$\begin{aligned} \bigl\vert \theta (t) \bigr\vert \leq &\frac{\frac{1}{1-\gamma ^{*}}(\alpha ^{*}+\beta ^{*} \vert \theta (t) \vert )}{\delta \varGamma (q+1)} \bigl[(1+ \mathbf{b}) (1+\delta )+ \lambda \bigr]\\ &{}+\frac{\frac{1}{1-\gamma ^{*}}(\alpha ^{*}+\beta ^{*} \vert \theta (t) \vert )}{\delta \varGamma (q)} \bigl[(2\mathbf{b}-1) (\delta +1)+ \mathbf{b}\lambda \bigr] \\ &{}+\frac{\mathbf{b}(\delta +1)(M^{*}\mu ^{*}+N^{*})}{\delta }+\frac{ [(2\mathbf{b}-1)(\delta +1)+\mathbf{b}\lambda ](F^{*}\mu ^{*}+G^{*})}{\delta }. \end{aligned}$$
Taking the maximum on both sides and using for simplicity the notion
$$ \varUpsilon =\frac{\mathbf{b}(\delta +1)(M^{*}\mu ^{*}+N^{*})}{\delta }+\frac{ [(2\mathbf{b}-1)(\delta +1)+\mathbf{b}\lambda ](F^{*}\mu ^{*}+G^{*})}{\delta } $$
and
$$ \varPi = \biggl[\frac{\frac{1}{1-\gamma ^{*}}(\alpha ^{*}+\beta ^{*}}{\delta \varGamma (q+1)} \bigl[(1+\mathbf{b}) (1+\delta )+\lambda \bigr]+\frac{\frac{1}{1- \gamma ^{*}}(\alpha ^{*}+\beta ^{*}}{\delta \varGamma (q)} \bigl[(2 \mathbf{b}-1) (\delta +1)+\mathbf{b}\lambda \bigr] \biggr], $$
we get
$$\begin{aligned} \Vert \theta \Vert _{\operatorname{PC}} \leq &\varPi \Vert \theta \Vert _{\operatorname{PC}}+ \varUpsilon . \end{aligned}$$
From this we have
$$\begin{aligned} \Vert \theta \Vert _{\operatorname{PC}} \leq &\frac{\varUpsilon }{1-\varPi }. \end{aligned}$$
(19)
This implies that the set \(\varOmega _{\mu ^{*}}\) is bounded, hence by Schaefer’s fixed point theorem, we can say that \(\mathcal{F}\) has at least one fixed point which is a solution of our problem (5). □

4 UH stability analysis of IBVP (5)

In this section, we develop some adequate conditions under which the proposed problem (5) satisfies the assumptions of various kinds of UH stability.

Lemma 4.1

Let\(1 < q \leq 2\), if\(\theta \in \operatorname{PC}(J,\mathbf{R})\)is the solution of the inequality (2), thenθis a solution of the following inequality:
$$\begin{aligned} \bigl\vert \theta (t)-F(t) \bigr\vert \leq &\frac{1}{\delta } \biggl( \frac{(\mathbf{b}+1)( \delta +1)+1}{\varGamma (q+1)}+\frac{(2\mathbf{b}-1)(\delta +1)+ \mathbf{b}}{\varGamma (q)}+(3\mathbf{b}-1) (\delta +1)+\mathbf{b} \biggr) \epsilon . \end{aligned}$$

Proof

Since Θ is a solution of inequality (2) and in view of remark 2.9, we have Obviously, the solution of (20) will be where \(\delta =1-\eta \).
For the sake of simplicity, let us denote the sum of terms free of ϕ by \(F(t)\), that is, Then we have from the above This upon simplification yields
$$\begin{aligned} \bigl\vert \theta (t)-F(t) \bigr\vert \leq &\frac{\epsilon }{\varGamma (q+1)}+ \frac{ \mathbf{b}\epsilon }{\varGamma (q+1)}+\mathbf{b}\epsilon +\frac{( \mathbf{b}-1)\epsilon }{\varGamma (q)} +(\mathbf{b}-1) \epsilon +\frac{ \mathbf{b}\epsilon }{\varGamma (q)}+\mathbf{b}\epsilon\\ &{} +\frac{\epsilon }{ \delta \varGamma (q+1)} +\frac{\mathbf{b}\epsilon }{\delta \varGamma (q+1)}+\frac{\mathbf{b} \epsilon }{\delta }+\frac{(\mathbf{b}-1)\epsilon }{\delta \varGamma (q)}+ \frac{( \mathbf{b}-1)\epsilon }{\delta }+\frac{\mathbf{b}\epsilon }{\delta \varGamma (q)} \\ &{}+\frac{\mathbf{b}\epsilon }{\delta }+\frac{\epsilon }{ \delta \varGamma (q+1)}+ \frac{\mathbf{b}\epsilon }{\delta \varGamma (q)}+\frac{ \mathbf{b}\epsilon }{\delta }. \end{aligned}$$
From which it implies that
$$\begin{aligned} \bigl\vert \theta (t)-F(t) \bigr\vert \leq &\frac{1}{\delta } \biggl( \frac{(\mathbf{b}+1)( \delta +1)+1}{\varGamma (q+1)}+\frac{(2\mathbf{b}-1)(\delta +1)+ \mathbf{b}}{\varGamma (q)}+(3\mathbf{b}-1) (\delta +1)+\mathbf{b} \biggr) \epsilon . \end{aligned}$$
 □
\((H_{8})\)
There exists \(\varpi _{\vartheta }>0\) for the nondecreasing function \(\vartheta \in C(J,\mathbf{R})\), such that, for any \(t\in J\), the inequality
$$ I^{q}\vartheta (t)\leq \varpi _{\vartheta }\vartheta (t)\quad \text{and consequently } I^{q-1}\vartheta (t)\leq \varpi _{\vartheta } \vartheta (t) $$
hold.

Lemma 4.2

If\(\theta \in \operatorname{PC}(J,\mathbf{R})\)is the solution of the inequality (4), thenθsatisfies the following inequality:
$$\begin{aligned} \bigl\vert \theta (t)-F(t) \bigr\vert \leq &\epsilon \bigl(\vartheta (t)+ \varphi \bigr) \biggl[\frac{( \mathbf{b}(3\delta +4)\varpi _{\vartheta }+3\delta +4)+\varpi _{\vartheta }-(\delta +1)}{\delta } \biggr]. \end{aligned}$$

Proof

From the proof of Lemma 4.1, we have the following inequality: By Remark 2.10 and hypothesis \((H_{8})\), we get
$$\begin{aligned} \bigl\vert \theta (t)-F(t) \bigr\vert \leq &\epsilon \varpi _{\vartheta } \vartheta (t)+ \mathbf{b}\epsilon \varpi _{\vartheta }\vartheta (t)+\mathbf{b} \epsilon \varphi +(\mathbf{b}-1)\epsilon \varpi _{\vartheta }\vartheta (t)+( \mathbf{b}-1)\epsilon \varphi\\ &{} +\mathbf{b}\epsilon \varpi _{\vartheta } \vartheta (t) +\mathbf{b}\epsilon \varphi +\frac{\epsilon \varpi _{\vartheta } \vartheta (t)}{\delta }+\frac{\mathbf{b}\epsilon \varpi _{\vartheta } \vartheta (t)}{\delta }+ \frac{\mathbf{b}\epsilon \varphi }{\delta }\\ &{}+\frac{( \mathbf{b}-1)\epsilon \varpi _{\vartheta }\vartheta (t)}{\delta }+\frac{( \mathbf{b}-1)\epsilon \varphi }{\delta } +\frac{\mathbf{b}\epsilon \varpi _{\vartheta }\vartheta (t)}{\delta }+\frac{\mathbf{b}\epsilon \varphi }{\delta }\\ &{}+\frac{\epsilon \varpi _{\vartheta }\vartheta (t)}{\delta }+ \frac{\mathbf{b}\epsilon \varpi _{\vartheta }\vartheta (t)}{\delta }+\frac{\mathbf{b}\epsilon \varphi }{\delta }. \end{aligned}$$
This implies that
$$\begin{aligned} \bigl\vert \theta (t)-F(t) \bigr\vert \leq &\epsilon \bigl(\vartheta (t)+ \varphi \bigr) \biggl[\frac{( \mathbf{b}(3\delta +4)\varpi _{\vartheta }+3\delta +4)+\varpi _{\vartheta }-(\delta +1)}{\delta } \biggr]. \end{aligned}$$
 □

Theorem 4.3

Assume that the hypotheses\((H_{1})\)\((H_{4})\)hold and if
$$\begin{aligned} &\biggl[\frac{L((1+\mathbf{b})(1+\delta )+\lambda )}{ \delta (1-L)\varGamma (q+1)}+\frac{L((\mathbf{b}-1)(\delta +1)+ \mathbf{b}(1+\delta +\lambda ))}{\delta (1-L)\varGamma (q)} \\ &\quad {}+\frac{m((2\mathbf{b}-1)(\delta +1)+\mathbf{b}\lambda )+ \mathbf{b} l(\delta +1)}{\delta } \biggr]< 1, \end{aligned}$$
then the IBVP (5) is UH stable and consequently GUH stable.

Proof

Let \(\theta \in \operatorname{PC}(J,\mathbf{R})\) be any solution of inequality (2) and θ̄ be a unique solution of problem (5), then we have
$$\begin{aligned} \bigl\vert \bar{\theta }(t)-\theta (t) \bigr\vert = \bigl\vert \bar{\theta }(t)-F(t)+F(t)-\theta (t) \bigr\vert \leq \bigl\vert \bar{ \theta }(t)-F(t) \bigr\vert + \bigl\vert F(t)-\theta (t) \bigr\vert . \end{aligned}$$
(21)
In view of Lemma 4.1, from (21) one has Using \((H_{2})\) we have
$$\begin{aligned} \bigl\vert \sigma _{\bar{\theta }}(t) (t)-\sigma _{\theta }(t) \bigr\vert =& \bigl\vert f\bigl(t,\bar{\theta }(t), \sigma _{\bar{\theta }}(t) \bigr)-f\bigl(t,\theta (t),\sigma _{\theta }(t)\bigr) \bigr\vert \\ \leq& L \bigl( \bigl\vert \bar{\theta }(t)-\theta (t) \bigr\vert + \bigl\vert \sigma _{\bar{\theta }}(t) (t)- \sigma _{\theta }(t) \bigr\vert \bigr). \end{aligned}$$
From this we have
$$ \bigl\vert \sigma _{\bar{\theta }}(t) (t)-\sigma _{\theta }(t) \bigr\vert \leq \frac{L}{1-L} \bigl\vert \bar{ \theta }(t)-\theta (t) \bigr\vert . $$
(23)
Using \((H_{3})\), \((H_{4})\) and (23), for each \(t\in J\), (22) implies that
$$\begin{aligned} \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}} \leq &\frac{1}{\delta } \biggl(\frac{( \mathbf{b}+1)(\delta +1)+1}{\varGamma (q+1)}+\frac{(2\mathbf{b}-1)( \delta +1)+\mathbf{b}}{\varGamma (q)}+(3\mathbf{b}-1) (\delta +1)+ \mathbf{b} \biggr)\epsilon \\ &{}+\frac{L}{(1-L)\varGamma (q+1)} \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}}+ \frac{mL}{(1-L) \varGamma (q+1)} \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}}+ \mathbf{b} l \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}} \\ &{}+\frac{(\mathbf{b}-1)L}{(1-L)\varGamma (q)} \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}}+( \mathbf{b}-1)m \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}}+ \frac{\mathbf{b} L}{(1-L) \varGamma (q)} \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}} \\ &{}+\mathbf{b}m \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}}+ \frac{L}{(1-L)\delta \varGamma (q+1)} \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}}\\ &{}+ \frac{\mathbf{b} L}{(1-L) \delta \varGamma (q+1)} \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}} +\frac{\mathbf{b} l}{\delta } \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}}+ \frac{( \mathbf{b}-1)L}{(1-L)\delta \varGamma (q)} \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}}\\ &{}+ \frac{( \mathbf{b}-1)m}{\delta } \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}}+ \frac{ \mathbf{b} L}{(1-L)\delta \varGamma (q)} \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}} +\frac{\mathbf{b}m}{\delta } \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}}\\ &{}+ \frac{L}{(1-L) \delta \varGamma (q+1)} \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}}+ \frac{\mathbf{b} L}{(1-L) \delta \varGamma (q)} \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}}+ \frac{\mathbf{b}m}{ \delta } \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}}. \end{aligned}$$
Simplifying, we have
$$\begin{aligned} \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}} \leq &\frac{\frac{1}{\delta } (\frac{( \mathbf{b}+1)(\delta +1)+1}{\varGamma (q+1)}+\frac{(2\mathbf{b}-1)( \delta +1)+\mathbf{b}}{\varGamma (q)}+(3\mathbf{b}-1)(\delta +1)+ \mathbf{b} )}{1- [\frac{L((1+\mathbf{b})(1+\delta )+\lambda )}{\delta (1-L)\varGamma (q+1)}+\frac{L((\mathbf{b}-1)(\delta +1)+ \mathbf{b}(1+\delta +\lambda ))}{\delta (1-L)\varGamma (q)} +\frac{m((2 \mathbf{b}-1)(\delta +1)+\mathbf{b}\lambda )+\mathbf{b} l(\delta +1)}{ \delta } ]} \epsilon . \end{aligned}$$
Therefore, we have
$$\begin{aligned} \Vert \bar{\theta }-\theta \Vert \leq & c_{f,\mathbf{b}}\epsilon ,\quad \text{where} \\ c_{f,\mathbf{b}} =&\frac{\frac{1}{\delta } (\frac{(\mathbf{b}+1)( \delta +1)+1}{\varGamma (q+1)}+\frac{(2\mathbf{b}-1)(\delta +1)+ \mathbf{b}}{\varGamma (q)}+(3\mathbf{b}-1)(\delta +1)+\mathbf{b} )}{1- [\frac{L((1+\mathbf{b})(1+\delta )+\lambda )}{\delta (1-L) \varGamma (q+1)}+\frac{L((\mathbf{b}-1)(\delta +1)+\mathbf{b}(1+\delta + \lambda ))}{\delta (1-L)\varGamma (q)} +\frac{m((2\mathbf{b}-1)(\delta +1)+ \mathbf{b}\lambda )+\mathbf{b} l(\delta +1)}{\delta } ]}. \end{aligned}$$
From this we conclude that the problem (5) is UH stable. Further if we set \(\psi (\epsilon )=c_{f,\mathbf{b}}(\epsilon )\); \(\psi (0)=0\), then the problem is GUH stable. □

Theorem 4.4

Under the hypotheses\((H_{1})\)\((H_{4})\), \((H_{8})\)and if
$$\begin{aligned} &\biggl[\frac{L((1+\mathbf{b})(1+\delta )+\lambda )}{ \delta (1-L)\varGamma (q+1)}+\frac{L((\mathbf{b}-1)(\delta +1)+ \mathbf{b}(1+\delta +\lambda ))}{\delta (1-L)\varGamma (q)} \\ &\quad {}+\frac{m((2\mathbf{b}-1)(\delta +1)+\mathbf{b}\lambda )+ \mathbf{b} l(\delta +1)}{\delta } \biggr]< 1 \end{aligned}$$
is satisfied, then the IBVP (5) is UHR stable with respect to\((\vartheta ,\varphi )\), consequently GUHR stable.

Proof

Let \(\theta \in \operatorname{PC}(J,\mathbf{R})\) be the solution of inequality (4) and let θ be the unique solution of the IBVP (5), then, for each \(t\in J\), we have
$$\begin{aligned} \bigl\vert \bar{\theta }(t)-\theta (t) \bigr\vert \leq & \bigl\vert \bar{\theta }(t)-F(t) \bigr\vert + \bigl\vert F(t)- \theta (t) \bigr\vert . \end{aligned}$$
(24)
By Lemma 4.2, we have
$$\begin{aligned} \bigl\vert \bar{\theta }(t)-F(t) \bigr\vert \leq & \biggl[ \frac{(\mathbf{b}(3\delta +4) \varpi _{\vartheta }+3\delta +4)+\varpi _{\vartheta }-(\delta +1)}{ \delta } \biggr]\epsilon \bigl(\vartheta (t)+\varphi \bigr), \end{aligned}$$
and from the proof of Theorem 4.3, we get
$$\begin{aligned} \bigl\vert F(t)-\theta (t) \bigr\vert \leq& \biggl[\frac{L((1+\mathbf{b})(1+\delta )+ \lambda )}{\delta (1-L)\varGamma (q+1)}\frac{L((\mathbf{b}-1)(\delta +1)+ \mathbf{b}(1+\delta +\lambda ))}{\delta (1-L)\varGamma (q)} \biggr] \Vert \bar{ \theta }- \theta \Vert _{\operatorname{PC}} \\ & {}+ \biggl[\frac{m((2\mathbf{b}-1)(\delta +1)+\mathbf{b} \lambda )+\mathbf{b} l(\delta +1)}{\delta } \biggr] \Vert \bar{\theta }- \theta \Vert _{\operatorname{PC}}. \end{aligned}$$
Hence the inequality (24) becomes
$$\begin{aligned} \Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}} \leq& \biggl[\frac{( \mathbf{b}(3\delta +4)\varpi _{\vartheta }+3\delta +4)+\varpi _{\vartheta }-(\delta +1)}{\delta } \biggr]\epsilon \bigl(\vartheta (t)+\varphi \bigr) \\ & {}+ \biggl[\frac{L((1+\mathbf{b})(1+\delta )+\lambda )}{ \delta (1-L)\varGamma (q+1)}+\frac{L((\mathbf{b}-1)(\delta +1)+ \mathbf{b}(1+\delta +\lambda ))}{\delta (1-L)\varGamma (q)} \biggr] \Vert \bar{ \theta }-\theta \Vert _{\operatorname{PC}} \\ & {}+ \biggl[\frac{m((2\mathbf{b}-1)(\delta +1)+\mathbf{b} \lambda )+\mathbf{b} l(\delta +1)}{\delta } \biggr] \Vert \bar{\theta }- \theta \Vert _{\operatorname{PC}}. \end{aligned}$$
This implies that
$$\begin{aligned} &\Vert \bar{\theta }-\theta \Vert _{\operatorname{PC}} \\ &\quad \leq \frac{ [\frac{(\mathbf{b}(3 \delta +4)\varpi _{\vartheta }+3\delta +4)+\varpi _{\vartheta }-(\delta +1)}{\delta } ]}{1- [\frac{L((1+\mathbf{b})(1+\delta )+ \lambda )}{\delta (1-L)\varGamma (q+1)}+\frac{L((\mathbf{b}-1)(\delta +1)+ \mathbf{b}(1+\delta +\lambda ))}{\delta (1-L)\varGamma (q)} +\frac{m((2 \mathbf{b}-1)(\delta +1)+\mathbf{b}\lambda )+\mathbf{b} l(\delta +1)}{ \delta } ]} \epsilon \bigl(\vartheta (t)+\varphi \bigr). \end{aligned}$$
Hence
$$ \Vert \bar{\theta }-\theta \Vert \leq c_{f,\mathbf{b},\vartheta }\epsilon ( \vartheta + \varphi ), $$
where
$$\begin{aligned} c_{f,\mathbf{b},\vartheta }=\frac{ [\frac{(\mathbf{b}(3\delta +4) \varpi _{\vartheta }+3\delta +4)+\varpi _{\vartheta }-(\delta +1)}{ \delta } ]}{1- [\frac{L((1+\mathbf{b})(1+\delta )+\lambda )}{\delta (1-L)\varGamma (q+1)}+\frac{L((\mathbf{b}-1)(\delta +1)+ \mathbf{b}(1+\delta +\lambda ))}{\delta (1-L)\varGamma (q)} +\frac{m((2 \mathbf{b}-1)(\delta +1)+\mathbf{b}\lambda )+\mathbf{b} l(\delta +1)}{ \delta } ]}. \end{aligned}$$
This shows that the problem (5) is UHR stable.

Consequently, it can easily be shown that the problem (5) is GUHR stable. □

5 Example

To demonstrate our main results, we provide the following examples.

Example 5.1

Consider the BVP given by
$$ \textstyle\begin{cases} {}^{c}\mathcal{D}^{\frac{3}{2}}_{t_{1}} \theta (t)=\frac{ \vert \theta (t) \vert }{20(t+1)(1+ \vert \theta (t) \vert )}+\frac{\sin \vert {}^{c}\mathcal{D}^{\frac{3}{2}}_{t_{1}}\theta (t) \vert }{20+t^{2}},\quad t\in J, t\neq t_{1}=\frac{1}{3}, \\ \theta (0)=0,\qquad \theta (1) =\frac{1}{2} \theta (\frac{1}{2} ), \\ \Delta \theta (\frac{1}{3} )=\frac{ \vert \theta (\frac{1}{3} ) \vert }{40+ \vert \theta (\frac{1}{3} ) \vert },\qquad \Delta {\theta '} (\frac{1}{3} )=\frac{ \vert \theta (\frac{1}{3} ) \vert }{20+ \vert \theta (\frac{1}{3} ) \vert }. \end{cases} $$
(25)
From (25), we see that \(q=\frac{3}{2}\), \(\lambda =\frac{1}{2}\), \(\eta =\frac{1}{2}\), \(\mathbf{b}=1\). Set
$$ \bigl\vert f(t, v,x) \bigr\vert =\frac{ \vert v(t) \vert }{20(t+1)(1+ \vert v(t) \vert )}+ \frac{\sin \vert x \vert }{20+t^{2}}. $$
Obviously, the function f is continuous.
Now for any \(v, \bar{v}, x, \bar{x}\in \mathbf{R}\), we have
$$ \bigl\vert f(t, v,x)-f(t,\bar{v},\bar{x}) \bigr\vert \leq \frac{1}{20}\bigl( \bigl\vert v(t)-\bar{v}(t) \bigr\vert + \bigl\vert x(t)- \bar{x}(t) \bigr\vert \bigr). $$
Hence \((H_{2})\) satisfied with \(L=\frac{1}{20}\). For \((H_{3})\) and \((H_{4})\), let
$$ I(\theta )=\frac{ \vert \theta \vert }{40+ \vert \theta \vert }\quad \mbox{and}\quad \bar{I}(\theta )=\frac{ \vert \theta \vert }{20+ \vert \theta \vert }, \quad \text{respectively}, \theta \in \operatorname{PC}(J, \mathbf{R}). $$
For each \(\theta , \bar{\theta }\in \operatorname{PC}(J,\mathbf{R})\), \(t\in J\), we have
$$ \bigl\vert I(\theta )-I(\bar{\theta }) \bigr\vert = \biggl\vert \frac{ \vert \theta \vert }{40+ \vert \theta \vert }-\frac{ \vert \bar{ \theta } \vert }{40+ \vert \bar{\theta } \vert } \biggr\vert \leq \frac{1}{40} \Vert \theta -\bar{ \theta } \Vert $$
and
$$ \bigl\vert \bar{I}(\theta )-\bar{I}(\bar{\theta }) \bigr\vert = \biggl\vert \frac{ \vert \theta \vert }{20+ \vert \theta \vert }-\frac{ \vert \bar{\theta } \vert }{20+ \vert \bar{\theta } \vert } \biggr\vert \leq \frac{1}{20} \Vert \theta -\bar{\theta } \Vert . $$
Hence \((H_{3})\) and \((H_{4})\) are satisfied with \(m=\frac{1}{40}\), \(l= \frac{1}{20}\). Also \(\delta =1-\eta =\frac{1}{2}\). Therefore, we have
$$ \begin{aligned} & \biggl[\frac{L((1+\mathbf{b})(1+\delta )+\lambda )}{\delta (1-L) \varGamma (q+1)}+\frac{L((\mathbf{b}-1)(\delta +1)+\mathbf{b}(1+\delta + \lambda ))}{\delta (1-L)\varGamma (q)} \\ &\qquad {}+ \frac{m((2\mathbf{b}-1)(\delta +1)+ \mathbf{b}\lambda )+\mathbf{b} l(\delta +1)}{\delta } \biggr] \\ &\quad =0.85395< 1. \end{aligned} $$
Hence in view of Theorem 3.2, the given impulsive BVP (25) has a unique solution. From the conditions of Theorem 4.3 it follows that the given IBVP (25) is UH stable and consequently GUH stable.
For \(\vartheta (t)=t\), \(\varphi =1 \) we have
$$ I^{\frac{3}{2}}_{t}\vartheta (t)=\frac{1}{\varGamma (\frac{3}{2})} \int _{0}^{t}(t-s)^{\frac{3}{2}-1}s\,ds\leq \frac{8t^{2}}{15}\sqrt{\frac{t}{ \pi }} , $$
consequently
$$ I^{\frac{3}{2}-1}_{t}\vartheta (t)=\frac{1}{\varGamma (\frac{3}{2}-1)} \int _{0}^{t}(t-s)^{\frac{3}{2}-2}s\,ds\leq \frac{2t}{\sqrt{\pi }}, $$
hence condition \((H_{8})\) is satisfied with \(\omega _{\vartheta }=\frac{2}{\sqrt{ \pi }}\), therefore, all the conditions of Theorem 4.4 are satisfied, thus the given IBVP (25) is UHR stable with respect to \((\vartheta ,\varphi )\). Further it is also obvious that the given IBVP (25) is GUHR stable.

Example 5.2

For the verification we take another example:
$$ \textstyle\begin{cases} {}^{c}\mathcal{D}^{\frac{3}{2}}_{t_{1}} \theta (t)=\frac{10+ \vert \theta (t) \vert + \vert ^{c} \mathcal{D}^{\frac{3}{2}}_{t_{1}}\theta (t) \vert }{130e^{t+20}(1+ \vert \theta (t) \vert + \vert ^{c} \mathcal{D}^{\frac{3}{2}}_{t_{1}}\theta (t) \vert )},\quad t\in J, t\neq t_{1}= \frac{1}{4}, \\ \theta (0)=0,\qquad \theta (1) =\frac{1}{3} \theta (\frac{1}{5} ), \\ \Delta \theta (\frac{1}{4} )=\frac{ \vert \theta (\frac{1}{4} ) \vert }{25+ \vert \theta (\frac{1}{4} ) \vert },\qquad \Delta {\theta '} (\frac{1}{4} )=\frac{ \vert \theta (\frac{1}{4} ) \vert }{50+ \vert \theta (\frac{1}{4} ) \vert }. \end{cases} $$
(26)
Here \(q=\frac{3}{2}\), \(\lambda =\frac{1}{3}\), \(\eta =\frac{1}{5}\), \(\mathbf{b}=1\). We set
$$ \bigl\vert f(t, v, x) \bigr\vert =\frac{10+ \vert v(t) \vert + \vert x(t) \vert }{130e^{t+20}(1+ \vert v(t) \vert + \vert x(t) \vert )}. $$
The continuity of f is obvious.
For any \(v, x\in \mathbf{R}\), we have
$$ \bigl\vert f(t,v,x) \bigr\vert \leq \frac{1}{130e^{t+20}}\bigl( \bigl\vert 10+|v(t) \bigr\vert + \bigl\vert x(t) \bigr\vert \bigr). $$
We see that \(\alpha (t)=\frac{1}{13e^{t+20}}\), \(\beta (t)=\gamma (t)=\frac{1}{130e ^{t+20}}\). We see that \(\alpha ^{*}=\sup_{t\in J}\alpha (t)=\frac{1}{13e ^{20}}\), \(\beta ^{*}=\sup_{t\in J}\beta (t)=\frac{1}{130e^{20}}\) and \(\gamma ^{*}=\sup_{t\in J}\gamma (t)=\frac{1}{130e^{20}}<1\). This satisfies \((H_{5})\). Let
$$ I\theta \biggl(\frac{1}{4} \biggr)=\frac{ \vert \theta (\frac{1}{4} ) \vert }{25+ \vert \theta (\frac{1}{4} ) \vert }\quad \mbox{and}\quad \bar{I} \theta \biggl(\frac{1}{4} \biggr)=\frac{ \vert \theta ( \frac{1}{4} ) \vert }{50+ \vert \theta (\frac{1}{4} ) \vert }, \quad \text{respectively}, \theta \in \operatorname{PC}(J,\mathbf{R}). $$
Then, for any \(\theta \in \operatorname{PC}(J,\mathbf{R})\), \(t\in J\), we have
$$ \biggl\vert I\theta \biggl(\frac{1}{4} \biggr) \biggr\vert \leq \frac{1}{25} \vert \theta \vert +1 $$
and
$$ \bar{I}\theta \biggl(\frac{1}{4} \biggr)|\leq \frac{1}{50} \vert \theta \vert +1. $$
The first inequality satisfies \((H_{6})\) with \(M^{*}=\frac{1}{25}>0\), \(N^{*}=1>0\) and the second inequality satisfies \((H_{7})\) with \(F^{*}=\frac{1}{25}>0\), \(G^{*}=1>0\). Therefore, by Theorem 3.3, problem (26) has at least one solution.
Also for any \(v, \bar{v}, x, \bar{x}\in \mathbf{R}\), we have
$$ \bigl\vert f(t,v,x)-f(t,\bar{v},\bar{x}) \bigr\vert \leq \frac{1}{130e^{20}} \bigl( \bigl\vert v(t)-\bar{v}(t) \bigr\vert + \bigl\vert x(t)- \bar{x}(t) \bigr\vert \bigr). $$
Hence \((H_{2})\) satisfied with \(L=\frac{1}{130e^{20}}\).
And for any \(\theta , \bar{\theta }\in \operatorname{PC}(J,\mathbf{R})\), \(t\in J\), we have
$$ \bigl\vert I(\theta )-I(\bar{\theta }) \bigr\vert \leq \frac{1}{25} \Vert \theta -\bar{\theta } \Vert . $$
Similarly
$$ \bigl\vert \bar{I}(\theta )-\bar{I}(\bar{\theta }) \bigr\vert \leq \frac{1}{50} \Vert \theta -\bar{ \theta } \Vert . $$
The last two inequalities imply that \(m=\frac{1}{25}\) and \(l= \frac{1}{50}\) and hence \((H_{3})\) and \((H_{4})\) are satisfied as well. To find δ, we have \(\delta =1-\eta =1-\frac{1}{5}=\frac{4}{5}\). For these values of L, b, m, l, λ, δ, η and q, the inequality
$$ \begin{aligned} & \frac{L((1+\mathbf{b})(1+\delta )+\lambda )}{\delta (1-L)\varGamma (q+1)}+\frac{L(( \mathbf{b}-1)(\delta +1)+\mathbf{b}(1+\delta +\lambda ))}{\delta (1-L) \varGamma (q)} \\ &\quad {} +\frac{m((2\mathbf{b}-1)(\delta +1)+\mathbf{b}\lambda )+\mathbf{b} l( \delta +1)}{\delta }< 1 \end{aligned} $$
holds. Therefore, by Theorem 3.2, the impulsive BVP (26) has a unique solution. From the conditions of Theorem 4.3 it follows that the given IBVP (26) is UH stable and consequently GUH stable.

6 Conclusion

In this paper we have studied a class of three point BVP of nonlinear implicit FDEs with impulsive conditions. Using fixed point theory and nonlinear functional analysis, we have obtained sufficient conditions under which the given problem has at least one solution. Also in Theorem 3.2, we have obtained sufficient conditions which guarantee the uniqueness of solution of the given problem. Similarly in Theorem 4.3 and Theorem 4.4, we have derived some sufficient conditions under which the solutions of the concerned problem is UH stable and UHR stable, respectively. In the last section we have given two numerical examples to verify our results.

Notes

Acknowledgements

We are very thankful to the anonymous referees for their useful corrections.

Authors’ contributions

All authors have equal contribution in this paper. All authors read and approved the final manuscript.

Funding

This research work has been financially supported by Higher Education Commission (HEC) of Pakistan under the grant number 21-1657/SRGP/R&D/HEC/2017.

Competing interests

There does not exist any competing interest regarding this manuscript.

References

  1. 1.
    Abbas, S., Benchohra, M., N’Guerekata, G.M.: Advanced Fractional Differential and Integral Equations. Nova Science Publishers, New York (2015) zbMATHGoogle Scholar
  2. 2.
    Abbas, S., Benchohra, M., N’Guerekata, G.M.N.: Topics in Fractional Differential Equations. Springer, Berlin (2012) CrossRefGoogle Scholar
  3. 3.
    Agarwal, P., Al-Mdallal, Q., Cho, Y.J., Jain, S.: Fractional differential equations for the generalized Mittag–Leffler function. Adv. Differ. Equ. 2018, 58 (2018) MathSciNetCrossRefGoogle Scholar
  4. 4.
    Agarwal, P., Choi, J.: Fractional calculus operators and their image formulas. J. Korean Math. Soc. 53, 1183–1210 (2016) MathSciNetCrossRefGoogle Scholar
  5. 5.
    Agarwal, P., Choi, J., Paris, R.B.: Extended Riemann–Liouville fractional derivative operator and its applications. J. Nonlinear Sci. Appl. 8, 451–466 (2015) MathSciNetCrossRefGoogle Scholar
  6. 6.
    Agarwal, P., Dragomir, S.S., Jleli, M., Samet, B.: Advances in Mathematical Inequalities and Applications (Trends in Mathematics) (2019) Google Scholar
  7. 7.
    Agarwal, P., Jleli, M., Samet, B.: Fixed Point Theory in Metric Spaces. Recent Advances and Applications (2018) Google Scholar
  8. 8.
    Agarwal, R.P., Belmekki, M., Benchohra, M.: A survey on semilinear differential equations and inclusions involving Riemann-Liouville fractional derivative. Adv. Differ. Equ. 2009, 981728 (2009) MathSciNetzbMATHGoogle Scholar
  9. 9.
    Agarwal, R.P., Benchohra, M., Hamani, S.: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 109, 973–1033 (2010) MathSciNetCrossRefGoogle Scholar
  10. 10.
    Ali, A., Rabiei, F., Shah, K.: On Ulam’s type stability for a class of impulsive fractional differential equations with nonlinear integral boundary conditions. J. Nonlinear Sci. Appl. 10, 4760–4775 (2017) MathSciNetCrossRefGoogle Scholar
  11. 11.
    Anastassiou, G.A.: Advances on Fractional Inequalities. Springer, New York (2011) CrossRefGoogle Scholar
  12. 12.
    Baleanu, D., Diethelm, K., Scalas, E., Trujillo, J.J.: Fractional Calculus Models and Numerical Methods. World Scientific, New York (2012) CrossRefGoogle Scholar
  13. 13.
    Baleanu, D., Guvenc, Z.B., Machado, J.A.T.: New Trends in Nanotechnology and Fractional Calculus Applications. Springer, New York (2010) CrossRefGoogle Scholar
  14. 14.
    Benchohra, M., Lazreg, J.E.: Nonlinear fractional implicit differential equations. Commun. Appl. Anal. 17, 471–482 (2013) MathSciNetzbMATHGoogle Scholar
  15. 15.
    Benchohra, M., Lazreg, J.E.: Existence results for nonlinear implicit fractional deferential equations with impulses. Commun. Appl. Anal. 19, 413–426 (2015) Google Scholar
  16. 16.
    Fečkan, M., Wang, J.: A general class of impulsive evolution equations. Topol. Methods Nonlinear Anal. 46, 915–933 (2015) MathSciNetzbMATHGoogle Scholar
  17. 17.
    Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003) CrossRefGoogle Scholar
  18. 18.
    Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27, 222–224 (1941) MathSciNetCrossRefGoogle Scholar
  19. 19.
    Jung, S.M.: On the Hyers–Ulam stability of the functional equations that have the quadratic property. J. Math. Anal. Appl. 222, 126–137 (1998) MathSciNetCrossRefGoogle Scholar
  20. 20.
    Jung, S.M.: Hyers–Ulam stability of linear differential equations of first order. Appl. Math. Lett. 19, 854–858 (2006) MathSciNetCrossRefGoogle Scholar
  21. 21.
    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
  22. 22.
    Kiymaz, I.O., Cetinkaya, A., Agarwal, P.: An extension of Caputo fractional derivative operator and its applications. J. Nonlinear Sci. Appl. 9, 3611–3621 (2016) MathSciNetCrossRefGoogle Scholar
  23. 23.
    Machado, J.T., Kiryakova, V., Mainardi, F.: Recent history of fractional calculus. Commun. Nonlinear Sci. Numer. Simul. (2010) Google Scholar
  24. 24.
    Obloza, M.: Hyers stability of the linear differential equation. Rocznik Nauk.-Dydakt. Prace Mat. 13, 259–270 (1993) MathSciNetzbMATHGoogle Scholar
  25. 25.
    Otigueira, M.D.: Fractional Calculus for Scientists and Engineers. Lecture Notes in Electrical Engineering. Springer, Dordrecht (2011) CrossRefGoogle Scholar
  26. 26.
    Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999) zbMATHGoogle Scholar
  27. 27.
    Rogovchenko, Y.V.: Impulsive evolution systems: main results and new trends. Dyn. Contin. Discrete Impuls. Syst. 3, 57–88 (1997) MathSciNetzbMATHGoogle Scholar
  28. 28.
    Rus, I.A.: Ulam stabilities of ordinary differential equations in a Banach space. Carpath. J. Math. 26, 103–107 (2010) MathSciNetzbMATHGoogle Scholar
  29. 29.
    Ruzhansky, M., Cho, Y.J., Agarwal, P., Area, I.: Advances in Real and Complex Analysis with Applications. Springer, Singapore (2017) CrossRefGoogle Scholar
  30. 30.
    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, 1–15 (2018) CrossRefGoogle Scholar
  31. 31.
    Shah, K., Khalil, H., Khan, R.A.: Investigation of positive solution to a coupled system of impulsive boundary value problems for nonlinear fractional order differential equations. Chaos Solitons Fractals 77, 240–246 (2015) MathSciNetCrossRefGoogle Scholar
  32. 32.
    Sun, J.X.: Nonlinear Functional Analysis and Its Application. Science Press, Beijing (2008) Google Scholar
  33. 33.
    Ulam, S.M.: Problems in Modern Mathematics. Wiley, New York (1940) zbMATHGoogle Scholar
  34. 34.
    Ulam, S.M.: A Collection of Mathematical Problems. Interscience, New York (1960) zbMATHGoogle Scholar
  35. 35.
    Wang, G., Zhang, L., Song, G.: Extremal solutions for the first order impulsive functional differential equations with upper and lower solutions in reversed order. J. Comput. Appl. Math. 235, 325–333 (2010) MathSciNetCrossRefGoogle Scholar
  36. 36.
    Wang, J.R., Fečkan, M., Tian, Y.: Stability analysis for a general class of non-instantaneous impulsive differential equations. Mediterr. J. Math. 14, 1–21 (2017) MathSciNetCrossRefGoogle Scholar
  37. 37.
    Wang, J.R., Fečkan, M., Zhou, Y.: Fractional order differential switched systems with coupled nonlocal initial and impulsive conditions. Bull. Sci. Math. 141, 727–746 (2017) MathSciNetCrossRefGoogle Scholar
  38. 38.
    Wang, J.R., Xuezhu, L.: A uniform method to Ulam–Hyers stability for some linear fractional equations. Mediterr. J. Math. 13, 625–635 (2016) MathSciNetCrossRefGoogle Scholar
  39. 39.
    Zavalishchin, S.T., Sesekin, A.N.: Dynamic Impulse Systems. Theory and Applications. Kluwer Academic, Dordrecht (1997) CrossRefGoogle Scholar
  40. 40.
    Zhang, S.: Positive solutions for boundary value problem of nonlinear fractional differential equations. Electron. J. Differ. Equ. 2006, 36 (2006) MathSciNetCrossRefGoogle Scholar
  41. 41.
    Zhang, X., Agarwal, P., Liu, Z., Peng, H.: The general solution for impulsive differential equations with Riemann–Liouville fractional-order \(q\in (1, 2)\). Open Mathematics 13 (2015) Google 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.Department of MathematicsCOMSATS University IslamabadSahiwalPakistan
  2. 2.Department of MathematicsUniversity of MalakandKhyber PakhtunkhwaPakistan
  3. 3.Department of Mathematics, Faculty of Arts and SciencesCankaya UniversityAnkaraTurkey

Personalised recommendations